Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI)

Type
Label
  • Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (literal)
  • Institute for system analysis and computer science \"Antonio Ruberti\" (IASI) (literal)
Comment
  • Address: Via dei Taurini 19, 00185 Roma Director: Dr. Giovanni Rinaldi Permanent staff: 25 researchers, 4 engineer, 7 technicians The Institute for Systems Analysis and Computer Science \"A. Ruberti\" (IASI) results from merging two CNR structures: the Institute for Systems Analysis and Computer Science founded by A. Ruberti in 1980 and the Center for the Study of the Pathophysiology of Shock of CNR, hosted at the Catholic University School of Medicine \"A. Gemelli\". After the merging, in 2002, the Institute was named after its founder. The Institute has two sites in Rome and a Reseach Unit in Tuscany, hosted at the Math. Department of the University of Florence. The Institute carries out investigations in different fields of Mathematics, Computer Science, Biomedicine and its applications. The main areas of activity are: 1. COMPUTATIONAL AND SYSTEMS BIOLOGY Starting from the human genome sequencing, in the last fifteen years there was a dramatic increase of connections between mathematics, statistics, computer science and biology to analyze the amount of information related to genes and proteins and the interactions between different macromolecules. New insight is required of mathematical methods for representing and simulating biological complex systems. The Computational and Systems Biology Group of IASI has been created in 2005. 2. DISCRETE MATHEMATICS FOR COMPUTER SCIENCE Discrete mathematics is the branch of mathematics that studies the underlying principles which govern discrete structures and the binary universe. It has become popular in recent decades because of its applications to computerscience and its bridging role between mathematics and communications and computing. Theory and techniques in discrete mathematics are well-coupled with applications and implementations. They also have the remarkable feature of being versatile and applicable to all fields of computer science as well as to physical and biological sciences. 3. INFORMATION SYSTEMS AND KNOWLEDGE BASES Research in the area of Information Systems, Knowledge and Data Bases has been carried out in the Institute since its constitution, along the following lines: methodological, system-oriented and experimental activities. Several applications of advanced methodological and technological solutions have been achieved in the sectors of medicine, transport, enterprise management, territory management, cultural heritage and environment, public administration. All the above activities are pursued, at national and international level. 4. LOGIC AND THEORY OF PROGRAMMING Research in this area focuses on the study of logic-based methodologies for the development of correct software from formal specifications. We consider programming environments where specifications use a formalism based on suitable fragments of predicate logic, and programs are written in a declarative programming language, such as, constraint or logic programming. This approach allows us to view the process of software development as deduction in a logical theory, thereby guaranteeing the correctness of the final software product. A major effort is being expended to mechanize those deductive techniques which can be employed for the automated production of correct software. 5. MATHEMATICAL MODELING IN BIOLOGY AND MEDICINE In life and health sciences there is an urgent need for the advancement and the more widespread use of predictive and quantitative methods, which are essential for improving delivery of health care and quality of life, and for decreasing economical and ethical costs. The research activity in this field aims at developing mathematical models for studying biological and physiological phenomena and for analyzing experimental data in the biomedical field. 6. MATHEMATICAL OPTIMIZATION AND OPERATIONS RESEARCH This area is characterized by a wide range of research activities including the study of the mathematical structure of optimization problems, the development of algorithms for their solution, the implementation and testing of these algorithms. The research topics are Continuous optimization, Discrete optimization and Methods and Tools for Transport and Traffic Systems Management. 7. PATHOPHYSIOLOGY, METABOLISM AND IMMUNOLOGY The research activity is directed to the study of the mechanisms of biologic and pathophysiologic changes and adaptive mechanisms in critical illness, from compensated stages to extreme unbalanced states, with particular attention to severe trauma, major surgical procedures, sepsis and shock. A practical implication is the optimization of metabolic, cardiorespiratory and surgical treatment. 8. SYSTEMS AND CONTROL THEORY This area is characterized by the development of methodologies for stochastic systems analysis and for the synthesis of algorithms of control, filtering and identification. The main research topics are \"Stochastic Dynamic Systems Filtering\" and \"Signal and Image Processing\". The Institute hosts the following laboratories: 1. OPTIMIZATION LABORATORY FOR DATA MINING (OLDAM) In this lab AI and OR methods and techniques are applied to the problem of Data Mining, i.e. the problem of extract relevant information and relations from large data sets. The interest in Data Mining has largely increased in the last years and is motivated by the need of understanding complex phenomena that are \"hidden\" in large bodies of data and observations. 2. LABORATORY FOR ENTERPRISE KNOWLEDGE AND SYSTEMS (LEKS) It was created in November 1999, as a spin-off of IASI-CNR. Its main goals are to experiment scientific results, participate both to national and international projects and test software and knowledge tools. Currently, LEKS research interests are focused on the themes of Ontology-based platforms, Semantic Web and Knowledge Representation and Management. The principal related fields are: Business process and enterprise modeling; eLearning; Groupware and cooperation technologies; Ontology Representation and Management; Prototyping of experimented applications of Enterprise Ontologies; Semantic Annotation; Semantic Interoperability; Semantic Query and Retrieval; Semantic Reconciliation; Web-Services. LEKS research group is composed of 12 Researchers and specialists. 3. BIOMATLAB The Laboratory is mainly dedicated to applied mathematical modeling (metabolic kinetics, pulmonary circulation) and to research in estimation techniques for nonlinear and delay dynamical models. (literal)
  • Indirizzo: Via dei Taurini 19, 00185 Roma Direttore: Dott. Giovanni Rinaldi Personale di ruolo: 26 ricercatori, 4 tecnologi, 7 tecnici L'Istituto di Analisi dei Sistemi ed Informatica \"A. Ruberti\" (IASI) risulta dalla fusione di due istituzioni CNR: l'Istituto di Analisi dei Sistemi ed Informatica, fondato nel 1980 da A. Ruberti, e il Centro di Fisiopatologia dello Shock ospitato presso l'Università Cattolica di Roma \"A. Gemelli\". L'Istituto ha due sedi in Roma. L'Istituto svolge attività di ricerca in diversi campi della Matematica, Informatica, Biomedicina e relative applicazioni. I pricipali settori di competenza dello IASI sono: 1. BIOLOGIA COMPUTAZIONALE e SISTEMI BIOLOGICI A partire dal sequenziamento del genoma umano, negli ultimi quindici anni c'è stato un enorme incremento di connessioni tra matematica, statistica, informatica e biologia al fine di analizzare il complesso delle informazioni relative a geni, proteine ad alle interazioni tra differenti macromolecole. Al fine di rappresentare e simulare sistemi biologici complesse è necessaria una profonda conoscenza dei più avanzati metodi matematici. Il gruppo di biologia computazionale e sistemi biologici dello IASI è stato fondato nel 2005. 2. MATEMATICA DISCRETA PER L'INFORMATICA La matematica discreta studia i principi che governano le strutture discrete della matematica, ovvero quelle che non richiedono concetti di continuità. Ha acquisito una enorme rilevanza con l'avvento dell'informatica che è sostanzialmente fondata su un universo binario e costituisce il punto di raccordo tra la matematica e le teorie della comunicazione e del calcolo. I suoi strumenti metodologici consentono di affrontare i problemi da diversi punti di vista: strutturale, algoritmico o di ottimizzazione, e trovano applicazione non solo in informatica ma anche in fisica e in biologia. 3. SISTEMI INFORMATIVI E BASI DI CONOSCENZA L'attività di ricerca nell'area dei Sistemi Informativi e delle Basi di Dati e di Conoscenza viene svolta in istituto sin dalla sua costituzione, coinvolgendo attività metodologiche, di sviluppo di prototipi software e sperimentali. Le attività sono condotte in un contesto nazionale ed internazionale, ed i risultati ottenuti sono applicati in vari settori: medicina, trasporti, gestione di impresa, gestione del territorio, beni culturali ed ambientali, amministrazione pubblica. 4. LOGICA E TEORIA DELLA PROGRAMMAZIONE In quest'area la ricerca si concentra sullo studio di metodologie basate sulla logica per lo sviluppo di software corretto da specifiche formali. Si prendono in considerazione ambienti di programmazione dove le specifiche utilizzano un formalismo basato su opportuni frammenti della logica dei predicati, e i programmi sono scritti in un linguaggio di programmazione dichiarativo, come la programmazione a vincoli e la programmazione logica. Questo approccio ci permette di vedere il processo di sviluppo del software come un processo di deduzione in una teoria logica, garantendo quindi la correttezza del prodotto software finale. Un impegno notevole viene diretto alla meccanizzazione di quelle tecniche deduttive che si possono applicare alla produzione automatica di software corretto. 5. MODELLISTICA MATEMATICA IN BIOLOGIA E MEDICINA Nelle scienze biologiche e nella medicina vi è una crescente necessità di sviluppare e diffondere metodi quantitativi e predittivi per migliorare l'efficacia delle terapie e la qualità della vita, nonché per ridurre i costi economici ed etici. L'attività di ricerca in quest'area ha lo scopo di sviluppare modelli matematici utili per la migliore comprensione di fenomeni biologici e fisiologici e per l'analisi di dati sperimentali in campo biomedico. 6. OTTIMIZZAZIONE MATEMATICA E RICERCA OPERATIVA Questa area è caratterizzata da una vasta gamma di attività di ricerca che includono lo studio della struttura matematica di problemi di ottimizzazione, lo sviluppo di algoritmi per la loro soluzione, l'implementazione e il test di tali algoritmi. Gli argomenti di ricerca sono Ottimizzazione continua, Ottimizzazione discreta e Metodi e strumenti per la gestione dei sistemi di trasporto e del traffico. 7. FISIOPATOLOGIA, METABOLISMO E IMMUNOLOGIA L'attività di ricerca è diretta allo studio dei cambiamenti biologici e fisiopatologici e dei meccanismi di adattamento nei pazienti critici, dagli stati compensati fino a condizioni estreme di grave squilibrio, con  particolare attenzione a traumi gravi, grandi interventi chirurgici, sepsi e shock. Un'applicazione pratica è l'ottimizzazione della terapia metabolica, cardiorespiratoria e chirurgica. 8. TEORIA DEI SISTEMI E DEL CONTROLLO Quest'area è caratterizzata dallo sviluppo di metodologie per l'analisi dei sistemi stocastici e per la sintesi di algoritmi di controllo, filtraggio e identificazione. Gli argomenti di ricerca principali sono: Filtraggio di sistemi dinamici stocastici, ed Elaborazione di Segnali e Immagini. L'Istituto ospita i seguenti laboratori: 1. LABORATORIO DI OTTIMIZZAZIONE PER IL DATA MINING In questo laboratorio si applicano i metodi della Ricerca Operativa e dell'Intelligenza Artificiale ai problemi di Data Mining, ovvero ai problemi di estrarre informazioni rilevanti e relazioni in grandi insiemi di dati. L'interesse nel Data Mining è estremamente aumentato negli ultimi anni a causa del bisogno di capire fenomeni complessi \"nascosti\" in grandi insiemi di dati e osservazioni. 2. LABORATORIO PER LA CONOSCENZA E SISTEMI D'IMPRESA Il laboratorio è stato fondato nel Novembre del 1999. Il LEKS è fortemente impegnato in progetti nazionali ed internazionali, dove svolge attività di ricerca e di sperimentazione di risultati scientifici. Principali interessi di ricerca riguardano: rappresentazione e gestione della conoscenza, web semantico, piattaforme semantiche basate su ontologie, annotazione e riconcilizione semantica per la ricerca di risorse digitali e l'interoperabilità tra applicazioni software, modellazione di processi di business e di conoscenza d'impresa, eLearning, tecnologie cooperative e groupware, web services. Il LEKS è composto da 12 unità tra ricercatori e contrattisti a progetto. 3. BIOMATLAB Il laboratorio è' dedicato principalmente alla modellistica matematica (cinetiche metaboliche, circolazione polmonare) e alla ricerca nelle tecniche di stima per modelli dinamici nonlineari e con ritardo. 4. Laboratorio di Studi sulla Ricerca e il Trasferimento Tecnologico (RTT Lab) Il Laboratorio di Studi sulla Ricerca e il Trasferimento Tecnologico (RTT) del CNR - Istituto di Analisi dei Sistemi e Informatica \"A. Ruberti\" nasce nel luglio 2002 dall'incontro di due forze prorompenti di domanda ed offerta. Da una parte la forte esigenza del paese di un recupero di efficienza produttiva e competitività, soprattutto a base tecnologica e, dall'altra, la convergenza di interessi e disponibilità di risorse umane specializzate in management dell'innovazione, fortemente motivate ad integrare sinergicamente le proprie conoscenze ed esperienze e metterle a disposizione dei bisogni del paese. Le diverse competenze sono state focalizzate sul problema della valorizzazione dei risultati di ricerca pubblica, attraverso il loro trasferimento al mondo produttivo e sul tema della valutazione della ricerca. Nel 2006 il Laboratorio ha dato vita allo spin-off CNR \"Research Value S.r.l.\" che eroga servizi di supporto alla valutazione della ricerca su licenza Thomson Reuters della base dati bibliometrica Web of Science. (literal)
Istituto esecutore di
Prodotto
Ha afferente
Codice
  • IASI (literal)
Nome
  • Institute for system analysis and computer science \"Antonio Ruberti\" (IASI) (literal)
  • Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (literal)
Parte di
Afferisce a
Collaborazioni
  • Lo IASI collabora con innumerevoli e prestigiose istituzioni scientifiche italiane ed internazionali. Università di Roma \"La Sapienza\", Dipartimento di Informatica e Sistemistica, Università di Roma \"La Sapienza\", Dipartimento di Statistica, Probabilità e Statistiche Applicate, Università di Roma \"La Sapienza\", Dipartimento di Idraulica, Trasporti e Strade, Università di Roma \"Tor Vergata\" Dipartimento di Informatica, Sistemi e Produzione, Università di Roma \"Tor Vergata\", Dipartimento di Matematica, Università di Roma Tre, Dipartimento di Informatica e Automazione, Università de L'Aquila, Dipartimento di Ingegneria Elettrica, Università de L'Aquila, Dipartimento di Informatica, Università di Padova Dipartimento di Matematica Pura ed Applicata, Università di Padova Dipartimento di Elettronica e Informatica, Università Cattolica del Sacro Cuore, Roma, Istituto di Medicina Interna e Geriatria, Universita' Cattolica del Sacro Cuore, Roma , Istituto di Anestesiologia e Rianimazione, Universita' Cattolica del Sacro Cuore, Roma, Istituto di Clinica Medica, Universita' Cattolica del Sacro Cuore, Roma , Istituto di Anatomia, Universita' di Trieste, Istituto di Anestesiologia e Rianimazione, Università di Firenze, Dipartimento di Matematica \"U. Dini\", Università di Urbino, Dipartimento. di Biomatematica, Università di Napoli Federico II, Dipartimento di Matematica e Applicazioni \"R.M. Caccioppoli\", Politecnico di Milano, Dipartimento di Ingegneria Gestionale, Politecnico di Torino, Dipartimento Sistemi di Produzione ed Economia dell’Impresa, Università della Calabria, Dipartimento di Elettronica, Informatica e Sistemistica, Università, degli Studi di Udine Dipartimento di Informatica, Università di Urbino, Istituto di Biomatematica, Università di Trento, Dipartimento di Matematica, Università di Venezia, Dipartimento di Statistica, Università di Padova, Dipartimento di Statistica, Università del Piemonte Orientale, Dipartimento di Scienze Mediche, Università di Modena e Reggio Emilia, Dipartimento di Scienze Sociali Cognitive e Quantitative, Università Statale di Milano, Università di Bari, Università di Pisa, Università di Ancona, Università di Chieti - Pescara \"G. d'Annunzio\", Università degli Studi di Camerino, Universita’ di Lecce, Dipartimento di Matematica, Universita’ del Salento CNR, Istituto Tecnologie Biomediche, CNR, Istituto di Neurobiologia e Medicina Molecolare, CNR, Istituto di Analisi e Calcolo \"M. Picone\", CNR, Istituto di Scienze e Tecnologie Cognitive, CNR, Istituto di Calcolo ad alte prestazioni e Reti, CNR, Istituto di Scienze e Tecnologie Informatiche, CNR, Istituto di Informatica e Telematica, CNR, Istituto di ricerche sulla popolazione e le politiche sociali, CNR, Istituto per le Tecnologie della Costruzione, CNR, Istituto di ingegneria biomedica, CNR, Istituto Motori, PIN- Prato, Servizi didattici e scientifici per l’Università di Firenze, Istituto di Ricerche Farmacologiche \"Mario Negri\", Milano, Istituto Europeo di Oncologia, Milano, Ospedale Universitario San Raffaele, Dipartimento di Medicina Polmonare, Milano, Istituto Dermatologico Italiano (IDI), Roma, Istituto Superiore di Sanita', Roma, Istituto Nazionale di Statistica, Roma, Eurostat, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), Bourgogne University, France Karl-Franzens University, Graz (Abt. Math), University of Kobenhavn, Department of Mathematics, Università di Stoccolma, University of Tel Aviv, Department of Electrical Engineering-Systems, University of Texas at Dallas, Computer Science Program, Charles University of Prague, Simon Fraser University , Burnaby, British Columbia, Canada, University of Cologne, Institute of Computer Science, Max Plank fuer Informatik, Saarbrucken, CORE University of Louvain-la-Neuve, Universite Joseph Fourier, Greenoble, Université de Pau et des Pays de l'Adour Droit, Utrecht University, Department of Computer Science, University of Uppsala (Sweden), University of Toronto (Canada), University of Klagenfurt (Austria), Hebrew University (Israel), University of Hamburg, Charles University (Hradec Kralove, Repubblica Ceca), Department of Metabolic Care and Gerontology, University of Medicine and Dentistry of New Jersey (Newark, USA), Depts of Anatomy, Cell Biology and Injury Sciences, Universidade Estadual de Campinas (Campinas Sao Paulo, Brasile), Departamento de Cirurgia, Universitat Politècnica de Catalunya, Barcellona, Otto-von-Guericke-Universität, Magdeburg, Ecole Polytechnique Fédérale de Lausanne, Universita’ di Dortmund, Institut Kommunikation & Umweltplanung GmbH - Dortmund - (Germania), Universita' Louis Pasteur, Strasburgo, Georgia Institute of Technology, Atlanta, Georgia, Politechnic University, Engineering Faculty, Istanbul, Politecnico di Montreal (CANADA), Institut de Rechérche pour le Devéloppement, Bondy, Paris, Laboratoire de Specification et Verification - ENS Cachan (France), Lawrence Berkeley National Laboratory (Berkeley - California), Autonomous System Laboratory, ETHZ, Zurich, Switzerland, INRIA Rhone Alpes, St. Ismier Cedex, France, Mc Gill University, Zurich Research Laboratory, Zuse Institute, Berlin, Gruppo Formula, TXT, SAP, NIST, EADS, AIDIMA, CM Sistemi S.p.A., Selex Sistemi Integrati S.p.A., Think3 Inc., TRS, SEDIIN SPA (IT), ALLWEB (Athens - Greece), LA RIOJA (Logroño - Spain), CSI / ZSI Centre for Social Innovation, Austria), KADIS (Slovenia), Centro Radioelettrico Sperimentale \"Guglielmo Marconi\", GESI s.r.l., Iriscom s.r.l., T6 S. r. l., IGEAM S.r.l., I.p.T. s.r.l., Regione Lazio, Gaiasoft (Inghilterra), MIUR, Unione Europea, Atos Origin S.p.A., IRPPS, Società SAGO SPA, Gruppo RS, TMS, Master in Data Intelligence e Strategie Decisionali, Università di Roma \"La Sapienza\", Gruppo RS, Datamat spa, Ericsson, Istat, Telecom Italia Mobile, Insean – Vasca Navale, (literal)
Attività di formazione
  • Lo IASI è attivo sia nell'ambito della formazione alla ricerca sia nell'ambito della formazione professionale. Per quanto riguarda la formazione alla ricerca i ricercatori sono relatori di tesi di laurea (triennale e specialistica), tutor di borse di dottorato e di assegni di ricerca. Sono state attivate convenzioni con diversi dottorati, ai cui collegi dei docenti i ricercatori dello IASI partecipano. Le collaborazioni più significative sono quelle con i seguenti programmi di dottorato:
    • Ricerca Operativa (Università \"La Sapienza\" di Roma)
    • Informatica e Automazione (Università \"Roma Tre\")
    Per quanto riguarda la formazione professionale lo IASI, in collaborazione con la Regione Lazio, ha svolto di recente i seguenti corsi:
    • Configurazione, gestione e sicurezza di piattaforme open source (Linux/Unix) (2005) 1200 ore
    • Progettazione e sviluppo di applicazioni e servizi distribuiti orientati al web a elevato contenuto tecnologico (2005/06), 480 ore
    • Progettazione e sviluppo di giochi digitali (2006/07) 1000 ore
    L'Istituto ha organizzato i seguenti Master di II livello:
    • Project Management, in collaborazione con l'Universita' \"Roma Tre\" (dal 2004)
    • Metodi di Ottimizzaizione e Data Mining, in collaborazione con l'Università dell'Aquila e la Regione Abruzzo (a.a. 2007/2008)
    Dal 2005 vengono svolti con regolarità corsi di avviamento all'attività di ricerca presso la Mahidol University di Bangkok. Dal 2003 presso l'Istituto vengono svolti soggiorni di formazione all'attività di ricerca, di durata variabile da 3 mesi ad un anno da parte di post-doc provenienti da Austria, Francia e Germania (nell'ambito del Programma Marie Curie della UE) e dalla Thailandia (nell'ambito di una convenzione con la Mahidol University. Dal 2005 al 2008 è stato realizzato un esperimento sull'insegnamento dell'ottimizzazione a studenti di licei scientifici, in collaborazione col Liceo J.F. Kennedy di Roma, nell'ambito del programma \"Alternanza Scuola Lavoro\", con corsi della durata di un mese per ogni anno scolastico. (literal)
Http://www.cnr.it/ontology/cnr/localizzazione.owl#via
  • Via dei Taurini, 19 (literal)
Cap
  • 00185 (literal)
Città
  • Roma (literal)
Http://www.cnr.it/ontology/cnr/localizzazione.owl#provincia
  • RM (literal)
Telefono
  • +39 06 4993 7102 (literal)
Codice CDS
  • 003 (literal)
Servizi
  • Il principale servizio erogato dallo IASI è la biblioteca che contiene una ricca collezione, una delle migliori in Italia, e sicuramente unica nel CNR, di volumi e collezioni di riviste nel settore dell'Informatica, Ricerca Operativa e Teoria dei Controlli. (literal)
Competenze
  • The expertise of the researchers of the Institute covers the following fields:
    • Control and systems theory
      • Filtering of stochastic dynamic systems
      • Signal and image processing
    • Mathematical modelling in medicine and biology (model formulation and identification)
    • Operation research and mathematical programming
      • Combinatorics
      • Algorithms for optimization problems
      • Computational Biology
      • Data Mining
      • Modelling for transportation systems
    • Computer science
      • metodologies and techonologies to design and manage data bases
      • knowledge systems
      • language and programming theory
      • communication networks
    • Pathophysiology, metabolism and immunology
    The competence is supported by a large number of articles published in top level journals in the above fields. (literal)
Email
  • mailto:direzione@iasi.cnr.it (literal)
  • direzione@iasi.cnr.it (literal)
Indirizzo
  • Via dei Taurini, 19 - 00185 Roma (RM) (literal)
Direttore
Missione
  • Incrementare attività di ricerca nei seguenti settori: biomatematica, basi di dati, fisiopatologia, metabolismo ed immunologia, linguaggi di programmazione, matematica discreta, algoritmi e reti, ottimizzazione e ricerca operativa, sistemi basati su conoscenza, teoria dei sistemi e del controllo. (literal)
Attività di ricerca
  • Nell'Istituto si svolge attività di ricerca sui seguenti argomenti: 1. BIOLOGIA COMPUTAZIONALE e SISTEMI BIOLOGICI
    • RETI DI INTERAZIONI BIOLOGICHE: Reverse engineering; modellistica del ciclo cellulare; analisi funzionale basata su moduli; circuiti su reti biochimiche; proprietà al livello sistema.
    • GENOMICA e STRUTTURE PROTEICHE: algoritmi per problemi di haplotyping; predizione di marcatori SNP; biodiversità e analisi di barcode; analisi dell'espressione genica su microarray; confronto e allineamento di strutture proteiche; tecniche di data mining per problemi biologici.
    2. MATEMATICA DISCRETA PER L'INFORMATICA
    • ALGORITMICA: analisi di algoritmi; complessità computazionale; algoritmi approssimati per problemi su reti; disegno di grafi; algoritmi combinatori per la fisica statistica.
    • COMBINATORIA: design theory; combinatoria delle parole.
    • TEORIA DEI GRAFI: colorazione di grafi; insiemi stabili e insiemi dominanti; flusso e connettività su grafi; matching.
    3. SISTEMI INFORMATIVI E BASI DI CONOSCENZA
    • BASI DI DATI: Query Processing e Optimization, Data Warehousing-OLAP, Basi di Dati Statistici, Interoperabilità di Basi Dati, Data Integration, Basi di Dati Spaziali, Modellizzazione di Dati e Linguaggi di Query.
    • SISTEMI INFORMATIVI: Information Retrieval e Sistemi di Basi di Dati, Sistemi Informativi Geografici (GIS), Human-Computer Interaction, Qualità di Dati e Sistemi Informativi Cooperativi.
    • BASI DI CONOSCENZA: metodi per la rappresentazione di conoscenza statica e dinamica; validazione di basi di conoscenza (es.: controllo di correttezza di gerarchie di specializazzione); web semantico; metodi e tool per la costruzione e gestione di ontologie; interoperabilità semantica e riconciliazione semantica di documenti; metodi e tool per la modellazione e gestione di conoscenza d'impresa; modellazione di processi di business; ambienti di lavoro collaborativi (groupware), e sistemi di supporto alle decisioni per la gestione della conoscenza; information retrieval e text mining.
    4. LOGICA E TEORIA DELLA PROGRAMMAZIONE
    • TRASFORMAZIONE DI PROGRAMMI: Trasformazione basata su regole di programmi logici e a vincoli; ottimizzazione automatica di programmi; specializzazione di programmi; sintesi di programmi.
    • VERIFICA DI SISTEMI SOFTWARE: Dimostrazione automatica di teoremi in logica del prim'ordine; verifica di sistemi reattivi; model checking di sistemi a stati infiniti.
    5. MODELLISTICA MATEMATICA IN BIOLOGIA E MEDICINA
    • POPOLAZIONI CELLULARI: modelli di popolazione con struttura; modelli per popolazioni cellulari con eterogeneità' cinetica; metodi per l'analisi di dati da citometria a flusso.
    • MODELLI DI ESPOSIZIONE IN EPIDEMIOLOGIA: modellistica matematica dell'esposizione ad agenti ambientali e occupazionali; stima della dose per agenti chimici e fisici; analisi dell'impatto sulla salute.
    • METABOLISMO: modelli matematici del sistema glucosio-insulina e loro identificazione; farmacocinetica e metabolismo degli acidi dicarbossilici; composizione corporea e analisi di dati da bioimpedenziometria; tecniche di stima per modelli dinamici fortemente nonlineari.
    • CRESCITA TUMORALE E TRATTAMENTO: modelli matematici di corde e sferoidi tumorali che includono la diffusione dei nutrienti e il metabolismo cellulare; dinamica del tessuto tumorale e delle regioni necrotiche in risposta al trattamento; modelli per la chemioterapia e la radioterapia; angiogenesi e terapie anti-angiogeniche.
    6. OTTIMIZZAZIONE MATEMATICA E RICERCA OPERATIVA
    • APPLICAZIONI DELLA RICERCA OPERATIVA: Applicazioni su modelli tattici per la produzione di energia elettrica e per il mercato elettrico; distribuzione di prodotti petroliferi via mare; sistemi di gestione delle flotte.
    • METODI E STRUMENTI PER LA GESTIONE DEI SISTEMI DI TRASPORTO E TRAFFICO: Tecniche di Ricerca Operativa e Intelligenza Artificiale per misurare, prevedere e controllare sistemi di traffico e trasporto; Sistemi telematici per il controllo del trasporto e della mobilita'; Reti neurali per la modellazione e la previsione del traffico; Sistemi di trasporto intelligente per la gestione del traffico su strada
    • OTTIMIZZAZIONE COMBINATORIA E MISTA INTERA: combinatorica poliedrale; algoritmi branch-and-cut: problema del commesso viaggiatore, problema dell'insieme stabile, problema del taglio massimo in grafi, problema del vehicle routing, programmazione lineare 0-1, programmazione nonlineare intera mista, programmazione polinomiale 0-1, programmazione logica; metodi per il progetto di sistemi esperti e di controllo del traffico; problemi di scheduling e routing; algoritmi esatti ed euristici.
    • PROGRAMMAZIONE NON LINEARE: ottimizzazione vincolata e non vincolata a grandi dimensioni; minimizzazione di funzioni quadratiche e applicazioni a problemi di minimi quadrati; ottimizzazione senza uso di derivate; ottimizzazione globale; metodi per l'addestramento di Reti Neurali e Support Vector Machines.
    • METODI DI OTTIMIZZAZIONE PER IL DATA MINING: Progetto e sviluppo di algoritmi di ottimizzazione non lineare per l'addestramento di Reti Neurali e Support Vector Machines; Metodi basati sulla programmazione intera e la soluzione di problemi di Soddisfacibilità di costo minimo per l'estrazione della conoscenza in forma logica da grandi insiemi di dati; modelli di programmzione intera per il problema della Feature Selection in elevate dimensioni e implementazione di algoritmi euristici efficienti per la loro soluzione.
    7. FISIOPATOLOGIA, METABOLISMO E IMMUNOLOGIA
    • BIOMATERIALI: Stabilità fisica e strutturale; accesso centrale venoso a lungo termine.
    • MOTILITA' GASTRO-INTESTINALE: Inibizione della motilità; effetti della tossina botulinica.
    • IMMUNOMODULAZIONE: Risposta immune cellulare e molecolare; cooperazione cellulare; farmaci immunosoppressivi, peptidi specifici, fattori di crescita.
    • FISIOPATOLOGIA DELLA SEPSI E DEL TRAUMA: Controllo metabolico in differenti stadi della malattia; meccanismi di sopravvivenza in situazioni estreme; riconoscimento precoce di indicatori prognostici; impatto di substrati nutrizionali specifici; danno endoteliale e modulazione genica delle citochine nel trauma, nella sepsi e nella insufficienza multi-organo.
    8. TEORIA DEI SISTEMI E DEL CONTROLLO
    • SISTEMI DETERMINISTICI E STOCASTICI E TEORIA DEL CONTROLLO: Filtraggio polinomiale di sistemi nonlineari e/o non gaussiani; Filtraggio polinomiale di sistemi digitali non gaussiani; filtraggio polinomiale di sistemi descritti da equazioni differenziali stocastiche; Filtraggio minimax per sistemi incerti; Convergenza di stimatori polinomiali; Filtraggio di sistemi retroazionati; Controllo stocastico non gaussiano; Controllo Ottimo di sistemi con ritardo; Filtraggio e Interpolazione di HMM (Hidden Markov Models), HRM (Hidden Reciprocal Models); Interpolazione di campi markoviani.
    • ELABORAZIONE DI SEGNALI E IMMAGINI
    • STIMA STATISTICA PARAMETRICA
    • FILTRAGGIO E IDENTIFICAZIONE DEI SISTEMI: Modellistica, caratterizzazione e realizzazione stocastica di HRM e di campi markoviani.
    (literal)
Unità organizzativa di supporto

Incoming links:


Prodotto di
data.CNR.it