Projects
Progetto Bandiera EPIGEN
Activity time range: 2015 - 2018
Project leader: Paola Paci
Source of funding: Ministry of Reserach

Questa nuova proposta, oggetto di un ri-finanziamento, nasce come complemento delle ricerche originariamente proposte dall’unità IASI-CNR e attualmente in corso  di svolgimento nell’ambito del progetto EPIGEN (SP2-WP5) il cui finanziamento riguarda gli anni 2012-2015. In particolare, due ulteriori obiettivi si aggiungono a integrare quelli originariamente prefissati: i. lo sviluppo di un software per l’identificazione di una speciale sotto-categoria di geni differenzialmente espressi tra due condizioni cellulari a confronto che sono stati per la prima volta caratterizzati in [Palumbo et al. 2014] in Vitis Vinifera; ii. lo sviluppo di una piattaforma di servizi e soluzioni analitiche integrate per la gestione e il trattamento di ``Big Data” genomici di interesse bio-clinico. 

Palumbo, MC, Zenoni S, Fasoli M, Massonnet M, Farina L, Castiglione F, Pezzotti M, and Paci P (2014) The Plant Cell, 26(12), 4617-4635.

Project home page
INSPIRE - Innovative Services for Fragile People in Rome
Activity time range: 2015 - 2017
Project leader: Elaheh Pourabbas
Source of funding: European Community

INSPIRE ha come obiettivo la sperimentazione di servizi innovativi di sostegno alla fragilità sociale nella Città di Roma

 

Project home page
INDAM-GNCS: Generazione automatica delle asserzioni per la verifica di programmi da semantiche formali
Activity time range: 2015 - 2016
Project leader: Maurizio Proietti
Source of funding: Ministry of Reserach

Questo progetto ha sviluppato varie metodologie e tecniche per la verifica automatica del software mediante metodi formali basati sulla logica matematica. L'aspetto principale affrontato è consistito nella generazione di formule logiche, chiamate in letteratura condizioni di verifica, la cui soddisfacibilità implica la correttezza del programma. È stato proposto un metodo per generare automaticamente tali formule a partire dalla specifica formale della semantica del linguaggio di programmazione e della logica in cui è espressa la proprietà da verificare. Le condizioni di verifica generate sono espresse nel linguaggio delle clausole di Horn con vincoli. Le clausole sono poi fornite in input a sistemi (dimostratori automatici di teoremi) che provano, in modo parzialmente automatizzato, la loro soddisfacibilità e, quindi, la correttezza del programma.

Il metodo proposto è basato su trasformazioni delle formule che rappresentano la semantica e la proprietà da verificare. Un vantaggio essenziale del metodo trasformazionale è che esso permette di generare condizioni di verifica in modo parametrico rispetto alla semantica, senza richiedere dimostrazioni ad-hoc di correttezza, che invece è assicurata dall'uso di opportune regole di trasformazione.

Il progetto ha sviluppato un sistema prototipale, chiamato VeriMAP, che permette di applicare automaticamente molte delle tecniche sviluppate. VeriMAP ha varie funzionalità: (1) la generazione automatica delle condizioni di verifica basata sul metodo di trasformazione (varie semantiche del linguaggio di programmazione possono essere fornite in input per questo task), (2) la linearizzazione automatica delle condizioni di verifica in opportune classi di programmi, (3) la traduzione delle condizioni di verifica nel formato SMT-lib, che è lo standard per molti tool per la verifica automatica di soddisfacibilità di clausole di Horn con vincoli. L’efficacia di VeriMAP è stata mostrata per mezzo di un’estensiva valutazione sperimentale.

Il progetto è stato finanziato dal Gruppo Nazionale Calcolo Scientifico (GNCS) dell INdAM.

 


TECA, TECNOLOGIA E CULTURA
Activity time range: 2015 - 2016
Project leader: Mauro Mazzei
Source of funding: Public Administration

Il Progetto TECA offre tre tipologie di servizi che sintetizziamo di seguito:

  • Servizi in Micro Locazione. Il Visitatore che all’interno di un Museo  o nel parco (all’aperto dunque) di una dimora storica si avvicini ad un’opera d’arte, un quadro, un vaso, una statua, ecc. può essere localizzato da TECA che immediatamente notifica allo smartphone del visitatore i servizi disponibili, adatti al suo profilo, ad esempio, scaricare la guida informativa dell’opera o il prezzo di un volume dedicato all’opera, ecc.
  • Servizi in Macro Locazione. Il Visitatore, nei pressi del Museo o del parco dell’esempio precedente, ha a disposizione, sul suo smartphone, dei servizi di condivisione e scambio con gli atri visitatori nella stessa locazione (es: chat), oppure servizi informativi come il costo delle guide al Museo, il menù del ristorante interno, ecc. Anche questi servizi vengono erogati tra quelli adatti al suo profilo.
  • Servizi di monitoraggio in Micro Localizzazione. Un meccanismo di gestione di sensori può attivare delle risposte automatiche al superamento di alcune soglie di temperatura, umidità, rumore, ecc. Il dispositivo BLED può servire alla direzione del museo per monitorare l’avanzamento dei gruppi lungo il percorso. In questo modo è possibile coordinare le visite guidate in ambienti in cui il numero di persone non può superare certe soglie per stanza.

MIE - Mobilita' Intelligente Ecosostenibile
Activity time range: 2014
Project leader: Giuseppe Stecca
Source of funding: Ministry of Reserach

Il progetto MIE - Mobilità Intelligente Ecosostenibile ha l’obiettivo di definire le metodologie hardware / software, gli indicatori e le politiche di gestione della mobilità mirate alla minimizzazione dell’impatto ambientale e al miglioramento del servizio erogato agli utenti (tempi di percorrenza e dell’ottimizzazione dei consumi necessari per compiere gli spostamenti). Il progetto intende sviluppare un modello di gestione della mobilità, tramite un sistema di monitoraggio e controllo che sfrutti tecnologie innovative (sensori wireless a basso consumo energetico, applicazioni su smartphone, semafori intelligenti, varchi di controllo, accessi informatizzati per gestire in modo ottimizzato il traffico di persone e merci in situazioni di traffico ordinario o in situazioni straordinarie), e un sistema di supporto decisionale a sostegno di politiche per la mobilità intelligente, con modelli sui dati storici o sui dati in tempo reale.



Health @ Home
Activity time range: 2014
Project leader: Fabrizio Ricci
Source of funding: Ministry of Reserach

Il Progetto Health at Home si propone di sviluppare prodotti e processi innovativi per creare un’assistenza al cittadino basata su una rete di servizi sanitari e sociali integrati e dispositivi/sistemi interoperabili. L'attività del CNR, svolta dallo IASI in collaborazione con l'IRPPS, consisterà nello studiare ed individuare indicatori che sintetizzino e permettano una corretta correlazione dei modelli che rappresentino scenari e/o identifichino le nuove specifiche da integrare/collegare ai modelli basati su RIM (Reference Information Model)-HL7. L’attività è incentrata sull’integrazione del FSE (EHR) del Fascicolo Sanitario Personale (FSP) nell’infrastruttura Cloud, la quale necessita del modello di business appropriato seguendo una logica di infrastruttura SOA affinché i diversi dispositivi implementino le informazioni relative alla salute del cittadino e che saranno in grado di monitorare la qualità della vita, i comportamenti e gli ambienti circostanti. L’obiettivo è quello di elaborare un modello più completo che copra tutte le fasi del processo di terapia di reparto e che si basi su un flusso informatico per la formalizzazione del percorso di cura e dei rischi collegati, in modo da identificare i possibili/eventuali miglioramenti rispetto ai potenziali errori che possono verificarsi. L’attività di ricerca verrà, in particolare, focalizzata alllo studio di interfacce utenti flessibili e idonee ad astrarre le complessità funzionali dei moduli componenti e su metodologie di decisione di tipo “bio-inspired”. Per procedere su queste linee occorrerà attuare la costruzione di specifici tesauri multilingua e multiregistro per la rappresentazione strutturata e l’accesso alla conoscenza di dominio.


DIRS - Device Infomobility Reference Station
Activity time range: 2014
Project leader: Mauro Mazzei
Source of funding: Ministry of Reserach

Obiettivo del progetto è la realizzazione di un dispositivo DIRS (Device Infomobility Reference Station) a mezzo di rete infrastrutturale GPS/GNSS in grado di geolocalizzare dispositivi mobili con estrema precisione ed integrare servizi di infomobilità per la sicurezza e la salvaguardia individuale.

Project home page
Study of determinants of secondary and primary resistance to antiretrovirals to support control strategies of HIV-1 transmission
Activity time range: 2014
Project leader: Giovanni Felici
Source of funding: CNR

This project will obtain data from the nationwide ARCA (Antiretroviral Resistance Cohort Analysis) database, presently including 27,445 patients of whom 4,416 subjects naïve for therapy. The collaboration of 7 different Units nationwide will address the following issues: i) the evaluation of HIV-1 resistance to antiretrovirals of all available classes, both in naive and treated infected individuals (primary and secondary resistance, respectively) in a retrospective (2003-2012) and prospective (2013-2015) study; ii) the estimate of the proportion of failing patients as potential transmitters of infection and resistant strains. Mathematical models will be used to predict the future scenarios of HIV-1 resistance, to design interventions, evidence-based and tailored on the epidemiological situation, conceived to control the epidemic in Italy


Mixed-Integer Nonlinear Optimization: Approaches and Applications
Activity time range: 2014 - 2017
Project leader: Claudio Gentile
Source of funding: Ministry of Reserach

Mathematical Optimization (MO) applied to Decision Making is nowadays, together with other disciplines like statistics and simulation, an established methodology for pursuing efficiency, reliability and safety in a variety of contexts such as (to mention but a few) energy production and distribution, smart mobility, and green technology. This is testified at the European Union level by the kick-off of the COST Action TD1207 "Mathematical Optimization in the Decision Support Systems for Efficient and Robust Energy Networks", within the ICT domain, which aims at fostering the tight collaboration among energy experts, decision makers, engineers and mathematicians to improve efficiency, safety and reliability of energy production and distribution.

From a mathematical perspective, this success is due to the impressive progress within the decades of two specific research areas, namely Discrete Optimization (DO) and Nonlinear Programming (NLP). Almost in isolation from each other, DO and NLP have been able to successfully link methodological advances with software development, a process fostered and stimulated by the goal of solving real-world applications. These remarkable achievements are demonstrated by the variety of high-quality open-source software tools currently available and, simultaneously, by a handful of commercial software tools that compete, by closer and closer releases, on the exciting software market of optimization.

The very last kick that is allowing MO to establish itself so firmly as a reference tool for Decision Making has been the final merge of DO and NLP. Indeed, many real-world applications require to simultaneously deal with discrete decisions (one unit is on or off, etc.) and nonlinear characteristics of the (physical) systems (energy-to-fuel conversion, etc.) giving rise to problems that would be totally intractable without specific algorithmic techniques derived within this unified framework currently known as Mixed-Integer Non Linear Programming (MINLP).

This final merge is relatively recent with significant milestones as the successful joint research program between Carnegie Mellon University and IBM T.J. Watson Research in 2005 in the USA, the PRIN2009 "Integrated Approaches for Discrete and Non Linear Optimization" in Italy and the Marie-Curie ITN "Mixed-Integer Nonlinear Optimization" FP7-PEOPLE-ITN-2012 at the EU level.

While the PRIN2009 project was still in the pioneering side of MINLP, trying to create solid connections between the two distinct communities and studying the links between the corresponding theoretical foundations, the current project aims at making a substantial step further, not only by integrating DO techniques within NLP and vice versa, but also by developing ad hoc algorithms and unified methodological frameworks. This will contribute to kick-starting the positive feedback loop between theoretical analysis and applications, with far-reaching consequences both on MO and on many applied fields.


IMPRESS - IMproving Preparedness and Response of HEalth Services in major criseS
Activity time range: 2014 - 2017
Project leader: Andrea De Gaetano
Source of funding: European Community

There exists a huge variety in the occurrence and characteristics of major incidents. Incident management stakeholders and in particular emergency health service providers have to deal with two basic challenges: The disproportion between the needs and the available human/material resources in the response capacity and the inherent time constraints of an emergency. These critical factors play a seminal role in the decision-making process during a crisis event, which affects all levels of command & control (strategic, operational, tactical). The drawback with current health emergency management systems lies with the command & control operations that should coordinate the actions of the separate services and turn them into an effective, multi-faceted crisis response mechanism. IMPRESS will improve the efficiency of decision making in emergency health operations, which will have a direct impact on the quality of services provided to citizens. It will provide a consolidated concept of operations, to effectively manage medical resources, prepare and coordinate response activities, supported by a Decision Support System, using data from multiple heterogeneous sources. The proposed solution will facilitate communication between Health Services (and Emergency Responders) at all levels of response and the crisis cycle with the necessary health care systems support, supervision and management of participating organizations. It will assist health services in becoming more proactive, better prepared and interoperable with other emergency response organizations. Thus, medical emergency teams will be turned, using IMPRESS, into one coherent force. IMPRESS will catalyze a dramatic and durable impact in the way in which Health Services are provided in crisis situations, and will help improve the integration of health care actors and volunteers with other Crisis Management stakeholders, providing also an overall competitive advantage of CM-related SMEs and large businesses in Europe


Project home page
COMMODITY 12 - COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2
Activity time range: 2014 - 2015
Project leader: Andrea De Gaetano
Source of funding: European Community

In COMMODITY12 we will build a multi-layered multi-parametric infrastructure for continuous monitoring of diabetes type 1 and 2. The COMMODITY12 system will exploit multi-parametric data to provide healthcare workers and patients, with clinical indicators for the treatment of diabetes type 1 and 2. COMMODITY12 will focus on the interaction between diabetes and cardiovascular diseases. To address the 5.1b) Challenge under the FP7 ICT 7th, we propose a four-layered platform structured as follows: -Body Area Network Layer (BAN): this layer will employ sensors from the BodyTel PHS and additional Bluetooth sensors to monitor the patient physiological signals. This layer will perform multi-parametric aggregation of data for the Smart Hub layer. -The Smart Hub Layer (SHL): the BodyTel PHS at this layer receives aggregated data from the BAN and applies machine learning to classify the signals and provide indications about abnormalities in the curves. SHL will communicate with DRR over the cell-phone network. -The Data Representation And Retrieval Layer (DRR): this layer, based on the Portavita PHS to manage EHR, interfaces to the SHL and utilises existing medical data to perform information retrieval and produce structured information for the agents at the AIL. -The Artificial Intelligence Layer (AIL): this layer uses the DRR layer to retrieve structured background knowledge of the patient for intelligent agents applying diagnostic reasoning to the patient's condition. The system will be validated with diabetes (type 1 and 2) with a pilot in the form of a trial. The project outcome will aim to curb diabetes hospitalisation costs and to curb the percentage of diabetic patients experiencing cardiovascular complications. The main focus of our platform in Challenge 5.1 b) will be on “correlating the multi-parametric data with established biomedical knowledge to derive clinically relevant indicators”.


SIGMA - Sistema Integrato di sensori in ambiente cloud per la Gestione Multirischio Avanzata
Activity time range: 2013
Project leader: Giuseppe Stecca
Source of funding: Public Administration

ll Sistema Integrato di sensori in ambiente cloud per la Gestione Multirischio Avanzata (SIGMA) è un’architettura multilivello che ha la funzione di acquisire, integrare ed elaborare dati eterogenei provenienti da diverse reti di sensori(meteo, sismiche, vulcaniche, idriche, pluviali, del traffico auto e navale, ambientali, video, ecc) con lo scopo di potenziare i sistemi di controllo e di monitoraggio sia ambientali che di produzione industriale per fornire dati utili alla prevenzione e gestione di situazioni di rischio tramite servizi erogati al cittadino ed alle imprese, sia pubbliche che private. Il sistema è progettato per consentirne l’utilizzo anche in aree e situazioni critiche nelle quali non siano disponibili le normali infrastrutture di comunicazione necessarie a veicolare i dati raccolti dalle reti di sensori.

Project home page
CONTRAST
Activity time range: 2013 - 2015
Project leader: Paolo Ventura
Source of funding: Public Administration

Object of the CONTRAST project, developed together with Aresoft s.r.l., University of Genova, and University "La Sapienza" of Rome, has been the realization of a software package for managing some crucial logistic issues arising in the container yard of an intermodal transport hub. Such a software, usable via web by the station operators, allows an optimized management of the movements of containers and cranes within the yard, minimizing, at the same time, the number of reshuffle operations performed together with the total distance covered by the cranes.


SysBioNet - infrastruttura di ricerca per la System Biology
Activity time range: 2012
Project leader: Pasquale Palumbo
Source of funding: Ministry of Reserach

SYSBIO.IT – Centro di Systems Biology”, è un’Infrastruttura di Ricerca (IR) “open access” distribuita sul territorio italiano e focalizzata sulla ricerca nell’ambito della Systems Biology, il nuovo paradigma per lo studio delle Scienze della Vita, che incrocia analisi molecolare, anche genome-wide, con la modelizzazione matematica ed analisi di simulazione. SYSBIO.IT è finanziato dal MIUR nell’ambito della roadmap italiana per le IR, ed opera grazie all’accordo tra CNR e l’Università di Milano-Bicocca.

SYSBIO.IT è focalizzata sulla Systems Biology del metabolismo del mitocondrio, e le sue connessioni con i processi di crescita e ciclo cellulare, ovvero di morte cellulare, meccanismi molecolari implicati nel cancro e nella neurodegenerazione.

Project home page
Progetto Bandiera Nanomax: "Nanotechnology-based Diagnostics In Neurological diseases and Experimental oncology" (NADINE)
Activity time range: 2012
Project leader: Giovanni Felici
Source of funding: Ministry of Reserach

The present proposal covers key topics in innovative diagnostic tools for neurodegenerative diseases and oncology. In particular, the project will entails the development of a novel generation of diagnostic nanoparticles based on symmetrical polymeric proteins of the ferritin family (Ft-NPs) that have been genetically engineered in order to bear selective N-terminal peptide sequences (Short Linear Motifs, SLiMs). The platform of Ft-NPs will be exploited for the development of diagnostic/prognostic tests for neoplastic diseases comprising breast cancer, neuroblastoma, lung cancers, melanoma, hepatocellular carcinoma (HCC) and other malignant pathologies. Discovery, validation and technological application of easily accessible biomarkers for the diagnosis of neurological and neurodegenerative diseases will also be applied to Alzheimer’s, amyotrophic lateral sclerosis (ALS), spinocerebellar/episodic ataxia (SCA/EA), glioblastoma (GBM) and obesity. MicroRNAs, in particular, will be considered as novel diagnostic molecules in view of their central role in cell physiology and pathology. Likewise, analysis of cDNA derived from coding and non-coding RNAs obtained from blood plasma/serum and cells could be extremely useful to spot mutations and SNPs of expressed genes, avoiding the much more expensive whole genome sequencing.  


Progetto premiale MATHTECH
Activity time range: 2012
Project leader: Giovanni Felici
Source of funding: European Community

Il progetto MATHTECH "La Matematica per la società e l'innovazione tecnologica" è basato sull'utilizzo di metodi matematici in alcuni degli ambiti di intervento prioritari per il paese e inseriti nel programma Horizon 2020. Tale progetto intende promuovere la massima interazione tra le discipline matematiche rappresentate nel CNR, e le esigenze di ricerca tecnologiche e sociali dell'industria e della società


ICT4SM ICT for sustainable mobility
Activity time range: 2012
Project leader: Giovanni Felici
Source of funding: Ministry of Reserach

Design and implementation of software and portals for the integration of meteo data, produced adopting the crowd sourcing paradigm or by running specific models and simulations, for intelligent and sustainable mobility applications


MINO - Mixed Integer Nonlinear Optimization (Marie Curie Initial Training Network)
Activity time range: 2012 - 2016
Project leader: Claudio Gentile
Source of funding: European Community

Complex decision-making in enterprises should involve mathematical optimization methods, because a “best choice” has to be made out of a huge number of feasible options. A mathematical description of such decision processes typically involves both “continuous” and “discrete” decisions. If the latter are present, the customary modeling approach is to use integer variables, which are also used to represent all possible nonlinearities, so that the remaining part of the model is linear. This leads to Mixed-Integer Linear Optimization (MILO) problems, which can be handled nowadays by many packages, but are often very difficult to solve.

The difficulty of MILO problems is often due to the fact that objective functions or constraints that are structurally nonlinear (e.g., quadratic) are linearized by introducing new integer variables. In many cases, it was observed that this is not the best way to proceed, as facing the nonlinearity directly without the new variables leads to much better results. Algorithmic technology for the resulting Mixed-Integer Nonlinear Optimization (MINO) problems is still at its early stage.

The present situation is that enterprises facing a MINO problem generally give up due to the lack of efficient solvers, or try to convert it to a MILO one often too hard to be solved in practice. On the other hand, in the academia there is now an increasing expertise in MINO, which is however hardly exported outside due to the lack of interaction with the industrial world. It is the purpose of this project to help satisfy the increasing demand for highly qualified researchers receiving, at the same time, a state-of-the-art scientific training from the academia and hands-on experience with real-world applications from the industry.

The researchers formed within this project, once recruited by an enterprise at the end of their training, will have the potential to apply all the available knowledge to optimize complex decision-making in the real world.

Project home page
InterOmics
Activity time range: 2012 - 2015
Project leader: Paola Bertolazzi
Source of funding: Ministry of Reserach

 

Development of an integrated platform for the application of "omic" sciences to biomarker definition and theranostic, predictive and diagnostic profiles. The project will develop expertise for the whole supply chain of "omic" sciences, with particular focus on genomics, proteomics, bioinformatics and systems biology. 

The project aims at developing applications focusing on:
• bioinformatics and systems biology;
• virology;
• medical clinic and oncology;
• dynamics of bacterial, yeast and protozoan infections;
• identification of novel molecular biomarkers

"Omic" sciences, including genomics, epigenomics, proteomics, bioinformatics and systems biology, are the paradigm biomedical and life sciences research revolves around.
The project aims at developing:
• novel bioinformatics methods for the integration and management of 'omics' data and for the innovation of knowledge in medical clinic and biotechnology.
• novel methods and models for the integration of genomics data (human, eukaryotic, bacterial and viral) with biochemical, physiological and clinical data

Project home page
BIVEE: Business Innovation and Virtual Enterprise Environment
Activity time range: 2011 - 2014
Project leader: Francesco Taglino
Source of funding: European Community

The objective of the project was to develop a rich framework and platform to promote innovation in virtual enterprise environments. The role of the IASI was the design and develop a semantics-based infrastructure for supporting: (i) collaborative open innovation through knowledge building, management and sharing; (ii) enterprise systems interoperability within a Virtual Enterprise.

Project home page
PRIN 2011 - Integrated Approaches for Discrete and Non Linear Optimization
Activity time range: 2011 - 2013
Project leader: Claudio Gentile
Source of funding: Ministry of Reserach

The last 40 years have been living proof of a startling development of methodologies for integer and mixed integer linear programs (MILP). As a consequence many solvers for MILP were produced, both open-source and commercial. These are based on the latest theoretical results on MILP theory and they are being constantly updated. Even though the development of MILP techniques has not by far reached an end, the area of mixed integer non-liner programs (MINLP) is now a new frontier. To this area belong some classical optimization problems that can be regarded as an intersection of mixed integer linear (MILP) and continuous non-linear (NLP) problems. An important example is the Max-Cut problem which is particularly interesting from a theoretical point of view as well as practical, and has been
widely studied using different approaches.
MINLP problems are particularly difficult to solve for two main reasons: first the presence of integrality constraints leads to discontinuities and non-convexities in the model, second non-linear functions are present. Surprisingly, for a long time, these two aspects have been studied separately by two detached research communities, the MILP community concentrated on the first aspect and NLP on the second. Only recently the MINLP area has received a significant share of attention. This is partly due to the major achievements in both the MILP and NLP areas. But also because via MINLP one can model a wider range of complex mathematical structures and so it is closer to nowadays application needs. For this reason the MINLP area attracts an increasing number of researchers and professionals like chemical and
industrial engineers, operational researchers, physicists, economists, statisticians, computer scientists and mathematicians, who are interested to solve large-scale MINLP problems. The interest in this area on an international level can be proved looking at two important MINLP workshops that took place in Minneapolis in 2008 (“Institute for Mathematics and its Applications”), and Marseille in 2010 (“Centre International de Rencontres Mathématiques”). But more importantly the presence of an entire MINLP cluster at the International Symposium of Mathematical Programming (Chicago 2009).
This project is meant to explore different classes of MINLP problems both from a theoretical and algorithmic point of view and following two main guidelines. On the one hand we intend to investigate new solution methodologies with a special interest for the classical problems that, as we have previously mentioned, happen to belong to the intersection of MILP and NLP areas. On the other hand we also aim at solving real-life problems for which an MINLP formulation seems to be much closer to their description in the practical context they arise.
The “methodology” research branch will care for the integration of MILP techniques (that generally address integrality issues) with the case of non-linear functions, but also the possibility of using NLP techniques (e.g., relaxations and convex programming methods) to improve existing MILP approaches.
The “application” research branch will concentrate mainly on telecommunication, electricity production and distribution, bioinformatics, wave form synthesis for impulse modulation and finally device physics. These topics are particularly relevant in engineering contexts, but also physics (e.g., spin-glass energy minimization).
Clearly the possibility of reaching these goals in the MINLP area with a significant impact in the applied context (as it has already happened for MILP and NLP) is subject to the collaboration among researchers that belong to these two communities. An example of collaboration and its benefits is represented, on an international level, by the joint research project between Carnegie Mellon University and IBM T.J. Watson research center. The project started in 2004 and led to the important development of open-source software able to solve MINLP convex problems (Bonmin is available through the COIN-OR framework, www.coin-or.org, supported by INFORMS) and currently consists of the MINLP Cyber-Infrastructure (www.minlp.org), a web-site sponsored by NSF that represents a theoretical and applied MINLP forum.
Our project follows the same direction joining research units with both MILP and NLP knowledge to obtain relevant methodological insight into the MINLP area where many of the researchers involved are by now already expert. The research units have a broad theoretical background as well as an effective ability to interact, and many joint scientific publications as well as other research project can prove this.


SENTINEL: Semantic ENTerprIse NEtcentric Layer
Activity time range: 2011 - 2013
Project leader: Francesco Taglino
Source of funding: Public Administration

The SENTINEL project was funded under the POR FESR Lazio programme. The main objective of the project was to develop a semantics-based platform for supporting software reuse in an enterprise context.


Algoritmi avanzati per l'analisi di misure sperimentali relative a dinamiche microfluidiche
Activity time range: 2011 - 2013
Project leader: Francesco Carravetta
Source of funding: Ministry of Reserach

L'obiettivo della ricerca è stato l'ideazione e la realizzazione di un sistema di diagnostica automatica per 

dispositivi microfluidici. Più in dettaglio, il compito dell'unità IASI è stato quello di elaborare i dati che sarebbero stati 

forniti da misure sperimentali su un dispositivo di insufflamento di bolle d'aria, o altro fluido, all'interno di un liquido portante 

circolante in dei microtubi. La costruzione del dispositivo e l'effettuazione delle misure è stato il compito dell'unità 

di Catania. L'obiettivo specifico dell'unità IASI è stato quello della progettazione di un dispositivo per il conteggio automatico delle bolle, a partire da misurazioni effettuate tramite un sensore ottico. 


CNR-SOGEI: Ristrutturazione Ontologica del Dizionario Fiscale Integrato, strumenti e processi
Activity time range: 2011 - 2012
Project leader: Maurizio Proietti
Source of funding: Other sources

Il progetto ha l’obiettivo di studiare e sperimentare l’utilizzo delle tecnologie semantiche come strumento per la rappresentazione e l’integrazione di dati, servizi e processi nel contesto del patrimonio informativo di SOGEI.



ENSEMBLE - Envisioning, Supporting and Promoting Future Internet Enterprise Systems Research through Scientific Collaboration
Activity time range: 2010 - 2012
Project leader: Michele Missikoff
Source of funding: European Community

ENSEMBLE combines systemic approaches, scientific multi‐disciplinary, innovative Web 2.0 collaboration tools with a community‐driven mentality, to significantly increase the impact of the future internet enterprise systems domain


Bilateral Project CNR-CNRS: Verification of Infinite State and Real Time Systems
Activity time range: 2010 - 2011
Project leader: Maurizio Proietti
Source of funding: CNR

One of the most relevant challenges of the current research in the field of software verification consists in designing techniques that are able to analyse the correctness properties of systems with an unbounded number of states, the so-called infinite state systems. 

The overall objective of this project is to develop techniques and tools for the verification of infinite state systems by making use of: (i) constraint logic programming and (ii) program transformation. The researchers of the CNRS and CNR teams participating in this proposal  have been among the first to advocate the use of constraint logic programming and program transformation for the verification of infinite state systems.

The transformational verification method works as follows: given an infinite state system and a correctness property we want to prove, the first step consists in the construction of a constraint logic program that encodes that system and that  property. Constraints allow us to easily represent in a symbolic way infinite sets of states and the transition relation between states. The temporal property of interest is encoded by means of a suitable query to the constraint logic program. However, since in general the set of states which are reachable by the system can be infinite, it may happen that the model of this constraint logic program is infinite and the standard techniques for query evaluation do not converge.

The transformational verification method applies to the program that encodes the system and the property to be verified, a sequence of transformations that preserve the validity of that property, with the objective of obtaining a final program where the property is defined by a finite set of constraints that can be solved by a special purpose constraint solver.


COIN - COllaboration and INteroperability for networked enterprises (IP, Integrated Project - FP7-IST216256)
Activity time range: 2008 - 2011
Project leader: Michele Missikoff
Source of funding: European Community

The project aims to integrate, compose and mash-up in a secure and adaptive way existing and innovative to-be developed Enterprise Interoperability and Enterprise Collaboration services.

Project home page
SICMA - SImulation of Crisis Management Activities
Activity time range: 2008 - 2011
Project leader: Andrea De Gaetano
Source of funding: European Community

The project objective is to improve Health Service crisis manager decision-making capabilities. This is achieved through development of SICMA which is an integrated suite of modelling and analysis tools. SICMA provides insight into the collective behaviour of the whole organisation in preparation and response to crisis scenarios.

Project home page
MOTUS
Activity time range: 2008 - 2010
Project leader: Giovanni Felici
Source of funding: CNR

MOTUS is a project financed by INDUSTRIA 2015 and led by Telecom Italia. Its purpose is to develop new tools for info mobility based on new technologies among which new methods to track cellular phone traffic to support vehicle and pedestrian mobility in 6 main Italian cities. The main focus of the project are tourist flows, that will be oriented and guided through the many options offered by the main artistic Italian cities. The project is developed by a large team of research institutes and laboratories (from CNR and Universities) and several private companies.


SINERGIA - Sistema INnovativo di Evoluzione delle tecnologie di Rete per la Gestione Industriale dell'Azienda
Activity time range: 2008 - 2009
Project leader: Michele Missikoff
Source of funding: Domestic private companies

Development of an ontology-based prototype model for supporting the planning and control of a software project, organized in accordance with the RUP methodology.


FLEETS
Activity time range: 2008 - 2009
Project leader: Giovanni Felici
Source of funding: Domestic private companies

Development of a Planning and Optimization of Fleets system that manages the whole life cycle of the vehicles, from planning to disposal, including both Statutory and Managerial Accounting fulfillments.

Project home page
PROGESOFT
Activity time range: 2008 - 2009
Project leader: Giovanni Felici
Source of funding: CNR

Progetto di trasferimento tecnologico per la formulazione tramite programmazione matematica di problemi di ottimizzazione di flotte di veicoli per società di car renta


ONTOMAN - Metodologia per la costruzione di bridge sulla base di ONTologie di dominio della MANutenzione impianti industriali
Activity time range: 2007 - 2008
Project leader: Michele Missikoff
Source of funding: Ministry of Reserach

Development of a an ontology-based platform for business documents reconciliation.


LEMAIA - Learning Educational Methodologies: An Innovative Approach (eLearning Programme EACEA, 2007-2008)
Activity time range: 2007 - 2008
Project leader: Michele Missikoff
Source of funding: Other sources

The project’s objective is to provide information and digital literacy on eLearning in collaboration with subject specialists. To this end, it aims at creating a community of teachers developing and exchanging learning objects across Europe by using advanced tools as knowledge management systems and ontology-based tools.


FIRB TOCAI.IT - Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in InterneT
Activity time range: 2006 - 2010
Project leader: Anna Formica
Source of funding: Ministry of Reserach

The project aims at developing an integrated group of methodologies, techniques, and software systems based on the most advanced knowledge technologies and suitable to perform on-the-field analysis, specification, implementation, and evaluation of new enterprise organization models in the “internetworked enterprise” perspective. Funds MIUR.


Q@-KIT
Activity time range: 2006 - 2008
Project leader: Carlo Gaibisso
Source of funding: European Community

Dissemination of Quality in Education and Training in a More Competitive and Dynamic Europe.

Project home page
LD-CAST - Local Development Cooperation Actions enabled by Semantic Technology (FP6-2004-IST-4 No. 26919)
Activity time range: 2006 - 2008
Project leader: Michele Missikoff
Source of funding: Domestic private companies

The project aims at enabling cross border cooperation between European chambers of commerce, in order to support the development of private company initiatives.


TMS
Activity time range: 2006 - 2008
Project leader: Giovanni Felici
Source of funding: CNR

Design of a innovative transmission system of a surface propeller for leisure boats; analysis, design and development of the automatic control algorithm of trims and flaps of the transmission system; design and development of an automatic system for the optimization of navigation comfort.

Project home page
ONTODEV
Activity time range: 2006 - 2007
Project leader: Michele Missikoff
Source of funding: Ministry of Reserach

Realization of an ontology-based knowledge management platform for supporting territorial development projects.


FIRB
Activity time range: 2005 - 2008
Project leader: Alessandro Bertuzzi
Source of funding: Ministry of Reserach

Metodi dell'analisi matematica in biologia, medicina e ambiente”


CODESNET
Activity time range: 2005 - 2008
Project leader: Bielli M.
Source of funding: European Community

Collaborative enterprises network.

This coordination action was designed to promote the diffusion of the European scientific knowledge on the problem of designing and managing large-scale multi-functional multi-agents collaborative demand & supply networks of production, logistics and service enterprises operating within a common industrial sector. Main activities carried out consist of setting up a common information system with tools, procedures, performance evaluations and best practices in supply and logistics fields. In particular, a Virtual Library was organised in order to collect scientific papers and solution procedures. Then, a Virtual Laboratory provides a benchmark of enterprises clusters in Europe, by presenting an aggregate analysis of their financial, economic, operational structure, the organizational issues, the interactions with the socio-economic environment and the expected development. One of the key contributions is the identification of a number of performances indicators specific for this context.

Project home page
FIRB 2005 - Interazione tra regolazione semaforica ed equilibrio di flussi di traffico nelle reti stradali
Activity time range: 2005 - 2008
Project leader: Giovanni Felici
Source of funding: Ministry of Reserach

The object of the research was to develop a general framework for study, model and solve the problem of optimal road network signal settings, by taking into account the interaction between signal control systems and traffic flow patterns. Therefore, the research has been focused on modelling traffic flows along coordinated arteries and urban networks, on the integration of signal control and dynamic traffic assignment, on advanced models and methods for traffic signal setting and traffic control strategies.


LILLY Services S.A.
Activity time range: 2005 - 2007
Project leader: Andrea De Gaetano
Source of funding: Foreign private companies

Advancement of understanding of the long-term development of diabetes


Metodi trasformazionali per la dimostrazione automatica di teoremi
Activity time range: 2005 - 2007
Project leader: Maurizio Proietti
Source of funding: CNR

I metodi di dimostrazione automatica dei teoremi hanno l'obiettivo di provare in maniera meccanica che una formula e' una conseguenza logica di un insieme di assiomi. Una delle applicazioni piu' rilevanti della dimostrazione automatica dei teoremi consiste nella prova automatica di proprieta' di correttezza di sistemi software.

In questa ricerca si propone lo studio di metodi trasformazionali di prova, cioe' di metodi basati su trasformazioni degli assiomi che conservano l'insieme delle conseguenze logiche. Tali metodi consentono di utilizzare le tecniche sviluppate negli ultimi anni nel campo della trasformazione dei programmi (in particolare, programmi logici con vincoli), che hanno raggiunto un notevole livello di automazione.


ADONET-Algorithm Discrete Optimization Network
Activity time range: 2004 - 2008
Project leader: Giovanni Rinaldi
Source of funding: European Community

Increasing international competition on all markets steadily puts further requirements on productivity, product quality and environmental compatibility for companies operating in Europe. In order to meet these challenging requirements, it is important to use mathematical tools in practice. In fact, many of the design and planning problems arising in practice involve decisions that ought to be taken in an optimal way. Since decisions can only be taken or not, models from discrete mathematics are a natural framework to attach such questions. Finding the optimal soultion of the mathematical model requires the development of algorithms from discrete mathematics that are high complex, and hence, can only be designed by a network of scientists with great expertise in this domain.

The research objective of this network activity is to advance our ability to solve practical optimization problems. This requires the design of novel algorithms for a variety of discrete models that are based on the solution of structural and algoritmic questions in the area of integer programming, convex programming and combinatorial optimization.

The partners of the project are the following: University of Magdeburg (Germany) , Catholique University of Louvain - CORE (Belgium), CWI-Amsterdam (The Netherlands), National Research Council of Italy, Institute for System Analysis and Computer Science "A. Ruberti" (Italy), Institut National Polytechnique de Grenoble (France), Federal Institute of Technology of Lausanne (Switzerland),  University of Lisbon (Portugal), Dash Optimization (UK), Vienna University of Technology (Austria), Eotvos Lorand University Budapest (Hungary).


HEARTS
Activity time range: 2004 - 2007
Project leader: Andrea De Gaetano
Source of funding: European Community

Health Early Alarm Recognition and Telemonitoring System


ATHENA - Advanced technologies for interoperability of heterogeneous enterprise networks and their applications (FP6-IST-2002-2.3.1.9)
Activity time range: 2004 - 2007
Project leader: Michele Missikoff
Source of funding: European Community

ATHENA aims to be the most comprehensive and systematic European research initiative in IT to remove barriers to interoperability, to transfer and apply the research results in industrial sectors, and to foster a new- networked business culture.

Project home page
INTEROP - Interoperability Research for Networked Enterprises Applications and Software - (IST-2003-508011)
Activity time range: 2003 - 2007
Project leader: Michele Missikoff
Source of funding: European Community

Network of Excellence on the ESA interoperability; an instrument for strengthening excellence of European research in interoperability of enterprise applications, by bringing together the complementary competences needed to develop interoperability in a more global and innovative way.

Project home page
NOE INTEROP: Interoperability Research for Networked Enterprises Applications and Software
Activity time range: 2003 - 2007
Project leader: Michele Missikoff
Source of funding: European Community
The project was focussed on enterprise software applications interoperability by integrating three key thematic components: (i) Ontology to identify interoperability semantics in the enterprise; (ii) Enterprise Modelling to define interoperability requirements; (iii) Architectures and Enabling Technologies to provide implementation frameworks.


HARMONISE - Tourism Harmonisation Network (IST- 2000-29329)
Activity time range: 2003 - 2005
Project leader: Michele Missikoff
Source of funding: European Community

The project concerns the definition and development of an ontology-based platform for the semantic interoperability of tourism organisation.

Project home page
WEB LEARNING - Web Learning per la qualita' del capitale umano
Activity time range: 2003 - 2004
Project leader: Michele Missikoff
Source of funding: Ministry of Reserach

Study, design and development of methods and tools for web learning, aimed at facilitating the information literacy.


FIRB
Activity time range: 2003 - 2004
Project leader: Caterina De Simone
Source of funding: Ministry of Reserach

Graph colouring problems


Sp6
Activity time range: 2002
Project leader: Michele Missikoff
Source of funding: Ministry of Reserach

Web Learning per la qualità del capitale umano


Trans-ICT
Activity time range: 2002
Project leader: Michele Missikoff
Source of funding: Public Administration

The Trans-ICT Project, aimed at providing the managers of small and medium enterprises (SME) operating in the Regione Lazio, with a reference framework for supporting them in the transition towards the Net Economy. 


BENZENE
Activity time range: 2002 - 2003
Project leader: Salvan A.
Source of funding: Domestic private companies

Genetic polymorphisms and biological monitoring of benzene”, funds “Fondazione Maugeri”


AIRC
Activity time range: 2002 - 2003
Project leader: Salvan A.
Source of funding: Domestic private companies

Epidemiologic study of risk factors for childhood cancer”, funds AIRC (Italian Association for Research on Cancer)


FITOSANITARI
Activity time range: 2002 - 2003
Project leader: Salvan A.
Source of funding: Public Administration

Monitoring of working populations exposed to pesticides. A pilot project”,  funds ISS (Italian National Health Institute - Istituto Superiore di Sanità)


IDEAS - Interoperability Developments for Enterprise Application and Software roadmaps (IST-2001-37368)
Activity time range: 2002 - 2003
Project leader: Michele Missikoff
Source of funding: European Community

The main objectives of the project was to create and to manage a Working Group for the definition of a strategic roadmap in the domain of enterprise application and software interoperability for the next ten year.

Project home page
eGOV, Progetto Nazionale di Ricerca con oggetto e-government e enti locali.
Activity time range: 2002 - 2003
Project leader: Michele Missikoff
Source of funding: Ministry of Reserach

The project’s aims are about the definition of a methodology and the realization of a prototype able to support semantic interoperability among administrative processes.


SORSA - Network Simulation and Optimization: Software and Applications
Activity time range: 2002 - 2003
Project leader: Giovanni Rinaldi
Source of funding: Ministry of Reserach

The project concerns the study of new design and management network problems in production and in public services. In particular, the target is to develop new and more efficient simulation and optimization network algorithms both at a local and at a national scale. Two specific fields of application will be addressed: telecommunication networks (in cooperation with Telecom Italia) and transportation networks (in cooperation with Ferrovie dello Stato and Alitalia). Another target, to be pursued in parallel, is to conceive and create a data base of standardized and documented software for the solution of simulation and optimization problems on networks. The software collection will be made available, also after the project end, to the scientific community as well as to private and public companies, and to the public administration. The subproject consists of three research actions:

  1. Simulation e Optimization for Telecommunication Networks (SORTEL)
  2. Simulation e Optimization for Transportation Networks (SORTRA)
  3. Software for Network Simulation e Optimization (SOFSOR)


Project home page
AGENZIA 2000
Activity time range: 2001 - 2003
Project leader: Anna Galluccio
Source of funding: CNR

Algorithms to design and maintain survivable communication networks

Project home page
DONET
Activity time range: 2000 - 2003
Project leader: Giovanni Rinaldi
Source of funding: European Community

Discrete Optimization Network


AGENZIA 2000
Activity time range: 2000 - 2003
Project leader: Claudio Gentile
Source of funding: CNR

Optimization Models and Algorithms for the Production and Distribution of Power Energy in the Free Market

(subproject Polyhedral Methods for Problems arising in Production and Distribution of Power Energy):

Polyhedral methods for Mixed Integer Non Linear Programming. Solution Algorithms for Unit Commitment problems. Models and Algorithms for the design of Bidding Strategies. Dynamic Programming algorithms for ramp constrained Unit Commitment problems.

 


FETISH: Federated European Tourism Information System Harmonization
Activity time range: 2000 - 2002
Project leader: Michele Missikoff
Source of funding: European Community
The project was focused on the development of ontology-based platforms for supporting SMEs interoperability in the tourism sector.

Progetto Strategico: Metodi e Modelli Matematici nello Studio dei Fenomeni Biologici
Activity time range: 1999 - 2001
Project leader: Alessandro Bertuzzi
Source of funding: CNR

L'attività di ricerca riguarda:

  • Sviluppo di modelli di popolazione per la stima dell'eterogenità cinetica nei tumori sperimentali

  • Studio della dinamica di corde tumorali in condizioni non perturbate e sotto l'azione di trattamenti terapeutici.

Progetto Strategico "Museo Virtuale della Storia dell'Informatica in Italia"
Activity time range: 1998 - 2001
Project leader: Maurizio Proietti
Source of funding: CNR

L’obiettivo del progetto è stato quello di realizzare una base di dati multimediale contenente informazioni sulla storia dell'Informatica in Italia e di sviluppare una applicazione multimediale interattiva che sia in grado di presentare in forma ipertestuale tali informazioni. L'attività dell’unità operativa dello IASI è consistita nell'acquisizione, l'organizzazione e l'archiviazione del materiale documentale disponibile relativo alla prima macchina elettronica romana, la FINAC e la relativa integrazione con documenti tecnici e storici, immagini, rapporti scientifici ed interviste dei personaggi che hanno operato con tale macchina sia a livello tecnico che di ricerca. I materiali raccolti sono stati classificati in base a differenti categorie individuate nell'ambito del progetto, cioè personaggi, eventi, curiosità, ecc. in modo da realizzare un'omogeneità dei diversi argomenti e soggetti. Sono state descritte anche le principali caratteristiche della macchina CINAC usata come emulatore delle FINAC. Successivamente, le informazioni sono state inserite e memorizzate mediante un interfaccia del prototipo multimediale realizzato utilizzando l'ambiente di sviluppo del Macromedia Director6 - Multimedia Studio. Il prototipo realizzato permette la fruizione degli elementi così ottenuti da parte di utenti anche non specializzati.


"Sistemi di Intelligenza Artificiale di supporto alla rappresentazione e alla gestione di conoscenze Distribuite " (SIAD)
Activity time range: 1998 - 2000
Project leader: Anna Formica
Source of funding: CNR

La rappresentazione e la gestione dell'informazione assumono sempre piuù un ruolo centrale sia nelle attività produttive che in quelle di gestione e fornitura di servizi di una società moderna. Sempre più gli operatori e gli utenti di tali attività si trovano di fronte al problema della gestione di grosse quantità di dati frequentemente rappresentati in formati differenti, disponibili su media eterogenei spesso distribuiti sia geograficamente che all'interno di una stessa struttura.

Obiettivo del Progetto SIAD è quello dello studio di metodologie e strumenti di Intelligenza Artificiale che possano servire come supporto allo sviluppo di sitemi per la rappresentazione e gestione di informazioni multimediali distribuite.

In particolare si sviluppreranno metodologie e tecniche per la caratterizzazione, archiviazione e recupero di conoscenza grafico/pittorica distribuita, per il modellamento di conoscenza logica, disgiuntivo/causale distribuita e per l'integrazione di conoscenze eterogenee.

Verranno infine studiati i sistemi e le architetture per la cooperazione ed il coordinamento di agenti dedicati alla gestione di conoscenza distribuita e le metodologie e tecniche per l'accesso intelligente a conoscenze distribuite su rete.


HCHLOUSO - Hydrocarbon and chemical logistics optimization under uncertainty via stochastic optimization
Activity time range: 1997 - 2000
Project leader: Giovanni Felici
Source of funding: European Community

The ability to solve large (in terms of the number of decision variables) and stochastic (in terms of parameters whose values cannot be controlled by the decision maker and are uncertain) industrial problems in practice depends on the sophistication of the tools and techniques available. The project will remedy the inadequacies of the tools currently available by developing flexible software for Supply, Transformation and Distribution (STD) logistics scheduling under uncertainty with access to new, more powerful methods capable of solving problems currently considered intractable. Specifically, the project aims to confer the ability to solve vital revenue critical problems for the industrial partners, namely, STD logistics scheduling under uncertainty for the Hydrocarbon and Chemical sector.

The project addresses improvements in both quality (better scheduling, lower costs) and efficiency (shorter response times) in STD scheduling through parallel computing algorithm implementations. This will have a direct bearing on the industrial partners' competitiveness world-wide as they face the challenges of deregulation and market globalization; Furthermore, the software developments which result will be of benefit to other industrial end-users beyond the consortium. HPC offers the means to obtain solutions very quickly, which can mean the difference between obtaining a practical solution and one which is too late for industrial purposes or is not the best solution that can be provided. The project will synthesise existing technology in the following domains: high level model generation, automatic uncertain data scenario generation,
optimization through recursion to deal with uncertainty and very large-scale problems, and advanced data structures to benefit from the opportunity to use parallel computing


Progetto Nazionale Telemedicina del MURST "Sistema di ausilio per la comunicazione dei disabili - Accesso a mini libere a terminali e servizi telematici"
Activity time range: 1996 - 1998
Project leader: Maurizio Rafanelli
Source of funding: Ministry of Reserach

Nell'ambito del Progetto Nazionale Telemedicina del MURST (oggi MIUR), relativamente al Tema "Sistemi di Ausilio per la Comunicazione dei Disabili", lo IASI, in collaborazione con piccole e medie imprese, ha progettato e realizzato un sistema, guidato dalla voce, di supporto a persone con disabilità motoria (senza o con ridotto uso delle mani) per accedere a calcolatori e servizi telematici.
Il sistema fu realizzato per permettere alle suddette persone un'attività lavorativa, di apprendimento e di comunicazione con altre persone.

Le interfacce vocali in commercio non avevano alcune funzionalità, ad esempio, scrivere simboli grafici matematici (come l'integrale), o usare tools che non prevedono il loro uso mediante comandi vocali o, infine, navigare in rete, usare internet, accedere a databases in linea, ecc.
Con questo sistema è stato possibile, mediante l'uso di una piccola telecamera, far svolgere al disabile telelavoro e teledidattica.

Il sistema è in funzione a Bologna, presso un centro disabili ed ha ricevuto nel 1998 dalla Comunità Europea il Primo Premio Europeo dell'European Telework Award per "The Most Innovative Use of Technology".


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -