UNIVERSITA’ DEGLI STUDI DI MILANO - BICOCCA
Dipartimento di Informatica, Sistemistica e
Comunicazione
Relazione sull’attività scientifica
2010
1
Indice
1. INTRODUZIONE................................................................................................... 4
2. ORGANICO DI STRUTTURA.............................................................................. 6
3. DATI FINANZIARI ............................................................................................. 22
4. PROGETTI DI RICERCA, CONTRATTI, CONVENZIONI ............................. 23
5. CENTRI DI RICERCA E ORGANIZZAZIONI ASSOCIATE........................... 30
6. INIZIATIVE SCIENTIFICHE ............................................................................. 35
7. PUBBLICAZIONI ................................................................................................ 38
8. SCUOLE E/O CORSI ........................................................................................... 59
9. LABORATORI DI RICERCA ............................................................................. 60
2
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E
COMUNICAZIONE
Anagrafica del DISCo
Indirizzo
Edificio U14, Viale Sarca 336, 20126 Milano
Segreteria 02.6448.7869
Telefono
Direttore 02.6448.7828
Url
http://www.disco.unimib.it
Fax
02.6448.7839
Direttore
Prof. Giancarlo Mauri
Mail
[email protected]
Intelligenza Artificiale
Robotica e Controllo Automatico
Settori ISI-CRUI
Scienza e Ingegneria Informatica
Tecnologia dell'Informazione e Sistemi di Comunicazione
3
1. Introduzione
Il Dipartimento di Informatica, Sistemistica e Comunicazione (DISCo) dell’Università degli Studi di MilanoBicocca.è stato costituito il 1 gennaio 1999. Al Dipartimento afferiscono attualmente 11 professori ordinari,
14 professori associati, 21 ricercatori, 12 tra tecnici e personale amministrativo e 42 tra studenti di PhD,
borsisti e post-doc.
Obiettivo primario del DISCo è sviluppare in modo integrato attività di ricerca e di didattica di eccellenza, in
modo da contribuire significativamente ai processi innovativi del sistema produttivo italiano ed europeo e
al rilancio della ricerca europea nel campo delle Tecnologie per la Società dell'Informazione.
Le attività di ricerca del Dipartimento possono essere raggruppate in sei macroaree:
-
Algoritmica, bioinformatica, scienze della complessità e modellazione e simulazione di sistemi
complessi, modelli formali di sistemi distribuiti;
Architetture, ingegneria e analisi del software, sistemi distribuiti, ambient intelligence, imaging e
visione artificiale, robotica;
sistemi per la gestione, l'accesso e la qualità delle informazioni, sistemi informativi e scienza dei
servizi;
Processi decisionali nei sistemi organizzati, con applicazioni in particolare alla finanza, all'ambiente,
alle scienze della vita;
Intelligenza artificiale, ingegneria e gestione della conoscenza e tecnologie per la cooperazione
Reti, mobilità, localizzazione, sicurezza.
Per il loro svolgimento sono attivi 17 laboratori, che ospitano stagisti, laureandi e dottorandi, inseriti nei
numerosi progetti di ricerca in cui i docenti sono impegnati.
Le aree tematiche di ricerca del DISCo vedono convergere più professionalità attorno a temi portanti
dell’informatica. Le competenze presenti nel Dipartimento sono multidisciplinari. Particolare attenzione
viene rivolta a quei temi di ricerca molto avanzati che consentono di stabilire rapporti di collaborazione fra
il Dipartimento e altre realtà scientifiche italiane e straniere e con centri di ricerca industriale. I gruppi di
ricerca del Dipartimento sono impegnati in numerose collaborazioni internazionali e con industrie.
Un altro aspetto importante del Dipartimento riguarda gli spin-off. Il nostro Dipartimento è quello che negli
anni ha più contribuito nella Università degli Studi di Milano - Bicocca alla nascita di spin-off. Le
collaborazioni internazionali del DISCo sono in forte espansione: già oggi il DISCo è partner di diverse Reti di
Eccellenza Europee e coordinatore di diversi progetti.
Per quanto riguarda l'offerta formativa, i docenti del DISCo hanno fatto la scelta di attivare un solo corso di
laurea triennale ed un solo corso di laurea magistrale in informatica, articolati al loro interno in diversi
indirizzi, che consentono di orientare gli studenti verso diverse professionalità, pur mantenendo una forte
unitarietà di base ed una grande flessibilità. L’attività didattica è strutturata in modo da rendere visibile e
valorizzare il ruolo propositivo e preminente che le professioni informatiche possono giocare in questo
inizio di millennio. Noi vogliamo formare non semplici programmatori, ma progettisti della società
dell'informazione, capaci di dare forma, collaborando con architetti, designer, antropologi e psicologi, ad
una vera e propria società della conoscenza aperta e dinamica, secondo le indicazioni della Comunità
Europea. Il DISCo contribuisce inoltre alla didattica del corso di Laurea Magistrale in Teoria e Tecnologia
della Comunicazione, in collaborazione con la Facoltà di Psicologia.
4
Il Dipartimento accoglie studenti Erasmus e ricercatori stranieri, ed invia suoi studenti e ricercatori per
stages all’estero, presso centri di ricerca riconosciuti internazionalmente.
Eventi rilevanti della vita del Dipartimento nel 2010 sono stati:
• il pensionamento del prof. Fagiuoli.
• la prosecuzione del progetto grandi attrezzature scientifiche secondo le fasi pianificate; ricordo che il
progetto ha lo scopo di dotare l’edificio di strumenti e servizi di Ambient Intelligence,
• la costituzione di un nuovo spin off da parte della professoressa Bandini.
Riguardo ai finanziamenti nelle tabelle successive si riportano numericamente e graficamente i
finanziamenti negli anni dal 2008 al 2010, suddivisi per tipologia.
2008
2009
2010
RICERCA - FINANZIAMENTI MINISTERIALI
223.968,24
358.418,89 307.603,00
RICERCA - FINANZIAMENTI UE
538.415,66
200.383,15 297.565,50
RICERCA - ALTRI FINANZIMENTI
157.057,38
59.139,83 431.892,95
RICERCA - C/TERZI
306.865,40
TOTALE PER ANNO
1.226.306,68
125.600,00 81.680,00
743.541,87 1.118.741,45
3.000.000,00
2.500.000,00
2.000.000,00
TOTALE PER ANNO
RICERCA - C/TERZI
RICERCA - ALTRI FINANZIMENTI
1.500.000,00
RICERCA - FINANZIAMENTI UE
RICERCA - FINANZIAMENTI
MINISTERIALI
1.000.000,00
500.000,00
0,00
2008
2009
2010
5
2. Organico di struttura
2.1 Personale docente
Professori Ordinari
Archetti Francesco Antonio
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7855/2186
Ufficio
U14,st.2044/U9,stR07
1
ANALISI DEI SISTEMI FINANZIARI
LABORATORIO DI SISTEMI
METODI NUMERICI PER LA BIOINFORMATICA
SISTEMI DI SUPPORTO ALLE DECISIONI PER LA FINANZA E LA GESTIONE
C.d.L. MAGISTRALE IN BIOINFORMATICA
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Bandini Stefania
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7835
Ufficio U14, st. 2049
ASPETTI EPISTEMOLOGICI DELL'INFORMATICA
INGEGNERIA DELLA CONOSCENZA E SISTEMI ESPERTI
METODI COMPUTAZIONALI
MODELLI E SISTEMI
SISTEMI COMPLESSI: MODELLI E APPLICAZIONI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Batini Carlo
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7826
ARCHITETTURE
BASI DI DATI
INFORMATICA PER L'ORGANIZZAZIONE
SISTEMI INFORMATIVI 2
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2045
[email protected]
Telefono 7800
ARCHITETTURE
FONDAMENTI DI LOCALIZZAZIONE E MOBILITA'
LOCALIZZAZIONE E MOBILITA'
PROGRAMMAZIONE E AMMINISTRAZIONE DI RETE
SISTEMI OPERATIVI E RETI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2040
[email protected]
Telefono 7814
ALGORITMI E RICERCA OPERATIVA
BIOINFORMATICA
MODELLI E SISTEMI
Ufficio U14, st. 2035
Bisiani Roberto
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Bonizzoni Paola
Mail
Insegnamenti
6
Corsi di Laurea
Facoltà
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
De Michelis Giorgio
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7825
Ufficio U14, st. 2034
GESTIONE DELLA CONOSCENZA PER LE ORGANIZZAZIONI
INFORMATICA PER L'ORGANIZZAZIONE
LABORATORIO DI PROGETTAZIONE
LABORATORIO DI SISTEMI INFORMATIVI E TECNOLOGIE PER L'INTERAZIONE 2
C.d.L. MAGISTRALE IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE
CDL MAGISTRALE IN INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Mauri Giancarlo
Mail
[email protected]
Telefono 7828
ALGORITMI E RICERCA OPERATIVA
BIOINFORMATICA: TECNICHE DI BASE
FONDAMENTI DELL'INFORMATICA
C.d.L. MAGISTRALE IN BIOINFORMATICA
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2055
[email protected]
Telefono 7830
ARCHITETTURA
SERVIZI DI TELECOMUNICAZIONE
SISTEMI DI TELECOMUNICAZIONE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2060
[email protected]
Telefono 7882
CONTROLLO DELLA QUALITA' DEL SOFTWARE
PROGETTO E SVILUPPO DEL SOFTWARE
TEST E ANALISI DEL SOFTWARE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2052
Ufficio U14, st. 2062
Corsi di Laurea
[email protected]
Telefono 7821
LINGUAGGI DI PROGRAMMAZIONE
METODI FORMALI
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Insegnamenti
Corsi di Laurea
Facoltà
Melen Riccardo
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Pezze' Mauro
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Simone Carla
Mail
Insegnamenti
Tisato Francesco
Mail
[email protected]
Insegnamenti
ARCHITETTURE
Telefono 7834
Ufficio U14, st. 2059
7
Corsi di Laurea
Facoltà
PROGETTO E SVILUPPO DEL SOFTWARE
PROGRAMMAZIONE
SISTEMI INTEGRATI DI SUPERVISIONE E CONTROLLO
TECNOLOGIE HARDWARE PER SISTEMI DEDICATI
TECNOLOGIE SOFTWARE PER SISTEMI DEDICATI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Professori Associati
Agostini Alessandra
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7867
Ufficio U14, st. 2003
ALGORITMI E PROGRAMMAZIONE
DESIGN DELL'INTERAZIONE
LABORATORIO DI SISTEMI INFORMATIVI E TECNOLOGIE PER L'INTERAZIONE 1
LABORATORIO SITI
SISTEMI COLLABORATIVI
TECNOLOGIE PER LA COOPERAZIONE
UBIQUITOUS COMPUTING
C.d.L. MAGISTRALE IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Antoniotti Marco
Mail
Corsi di Laurea
[email protected]
Telefono 7901
ALGORITMI E PROGRAMMAZIONE
LABORATORIO DI BIOINFORMATICA
LINGUAGGI DI PROGRAMMAZIONE
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Insegnamenti
Ufficio U14, st. 2043
Arcelli Fontana Francesca
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7813
Ufficio U14, st. 2051
EVOLUZIONE DEI SISTEMI SOFTWARE E REVERSE ENGINEERING
INGEGNERIA DEL SOFTWARE
INGEGNERIA DEL SOFTWARE (COMPLEMENTI)
PROGETTO E SVILUPPO DEL SOFTWARE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
De Paoli Flavio Maria
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7836
INFORMATICA 2
SISTEMI DISTRIBUITI
SISTEMI OPERATIVI E RETI
TECNOLOGIE E APPLICAZIONI DEI SISTEMI DISTRIBUITI
CDL COMUNICAZIONE E PSICOLOGIA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2050
8
Ferretti Claudio
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7819
PROGRAMMAZIONE
SICUREZZA DEI SISTEMI INFORMATICI
SICUREZZA INFORMATICA
SISTEMI OPERATIVI E RETI
C.d.L. MAGISTRALE IN BIOINFORMATICA
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2053
[email protected]
Telefono 7833
ALGORITMI E RICERCA OPERATIVA
METODI COMPUTAZIONALI
MODELLI E SISTEMI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2048
[email protected]
Telefono 7847
INFORMATION RETRIEVAL
LINGUAGGI DI PROGRAMMAZIONE
SISTEMI DI ACCESSO ALLE INFORMAZIONI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2009
Messina Vincenzina
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Pasi Gabriella
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Polillo Roberto
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7846
Ufficio U14, st. 2039
DESIGN DELL'INTERAZIONE
INTERAZIONE UOMO-MACCHINA
LABORATORIO DI PROGETTAZIONE
C.d.L. MAGISTRALE IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Pomello Chinaglia Lucia
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7816
FONDAMENTI DELL'INFORMATICA
LINGUAGGI DI PROGRAMMAZIONE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2064
_______________________________________________________________________________
Schettini Raimondo
Mail
Insegnamenti
[email protected]
Telefono 7840
BASI DI DATI
ELABORAZIONE DELLE IMMAGINI (COMPLEMENTI)
Ufficio U14, st. 2061
9
Corsi di Laurea
Facoltà
ELABORAZIONE DELLE IMMAGINI (ELEMENTI)
SISTEMI INFORMATIVI MULTIMEDIALI
TRATTAMENTO DATI E IMMAGINI
TRATTAMENTO DI IMMAGINI A COLORI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
CdL. OTTICA E OPTOMETRIA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Sorrenti Domenico Giorgio
Mail
[email protected]
Telefono 7841
ARCHITETTURA
FONDAMENTI DI ROBOTICA
ROBOTICA
VISIONE ARTIFICIALE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2018
[email protected]
Telefono 7837
BUSINESS INTELLIGENCE
FONDAMENTI DELL'INFORMATICA
PROBABILITA' E STATISTICA
TEXT MINING
LABORATORIO DI METODI COMPUTAZIONALI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2046
Ufficio U14, st. 1010
Corsi di Laurea
[email protected]
Telefono 7875
ALGORITMI E PROGRAMMAZIONE
METODI COMPUTAZIONALI PER LA BIOLOGIA
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Insegnamenti
Corsi di Laurea
Facoltà
Stella Fabio Antonio
Mail
Insegnamenti
Corsi di Laurea
Facoltà
Zandron Claudio
Mail
Insegnamenti
Ricercatori
Bernardinello Luca
Mail
Insegnamenti
Corsi di Laurea
Facoltà
[email protected]
Telefono 7872
LABORATORIO DI INFORMATICA I
LABORATORIO DI METODI FORMALI
MODELLI PER LA CONCORRENZA
SISTEMI OPERATIVI E RETI
CDL MAGISTRALE IN INFORMATICA
CdL. FISICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2011
[email protected]
Telefono 7915
INGEGNERIA DEL SOFTWARE
INGEGNERIA DEL SOFTWARE (COMPLEMENTI)
Ufficio U14, st. 1008
Braione Pietro
Mail
Insegnamenti
10
Corsi di Laurea
Facoltà
PROGETTO E SVILUPPO DEL SOFTWARE
TEST E ANALISI DEL SOFTWARE
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ciocca Gianluigi
Mail
[email protected]
Telefono 7922
ALGORITMI E PROGRAMMAZIONE
ELABORAZIONE DELLE IMMAGINI (COMPLEMENTI)
METODI DI RICONOSCIMENTO BIOMETRICO
PROGRAMMAZIONE C++
SISTEMI INFORMATIVI MULTIMEDIALI
CDL MAGISTRALE IN INFORMATICA
CdL. INFORMATICA
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 1009
[email protected]
Telefono 7902
ALGORITMI E PROGRAMMAZIONE
InsegnamentiMODELLI E SISTEMI
TRATTAMENTO FORMALE DELL'INCERTEZZA
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2001
Insegnamenti
Corsi di Laurea
Facoltà
Ciucci Davide Elio
Mail
Denaro Giovanni
Mail
[email protected]
Telefono 7810
PROCESSO DI SVILUPPO DI SISTEMI COMPLESSI
Insegnamenti
PROGRAMMAZIONE
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2012
Dennunzio Alberto
Mail
[email protected]
Telefono 7868
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2002
Dominoni Matteo Alessandro
Mail
[email protected]
Telefono 7804
ARCHITETTURA
Insegnamenti
SISTEMI PARALLELI
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2023
Gasparini Francesca
Mail
[email protected]
Telefono 7856
BASI DI DATI
ELABORAZIONE DELLE IMMAGINI (ELEMENTI)
Insegnamenti
ELABORAZIONE NUMERICA DEI SEGNALI
FORMATI MULTIMEDIALI
Ufficio U14, st. 1012
11
Corsi di
Laurea
Facoltà
STATISTICA E INFORMATICA
CdL. INFORMATICA
CdL. SCIENZE E TECNOLOGIE PER L'AMBIENTE
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Leporati Alberto Ottavio
Mail
[email protected]
Telefono 7877
ALGORITMI E PROGRAMMAZIONE
InsegnamentiCRITTOGRAFIA
TEORIA DELL'INFORMAZIONE
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2010
Lulli Guglielmo
Mail
[email protected]
Telefono 7896
ALGORITMI E RICERCA OPERATIVA
InsegnamentiLABORATORIO DI METODI COMPUTAZIONALI
MATEMATICA APPLICATA
Corsi di
C.d.L. MAGISTRALE IN BIOINFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2016
Manzoni Sara Lucia
Mail
[email protected]
Telefono 7808
CONOSCENZE INFORMATICHE
Insegnamenti
INFORMATICA GENERALE
Corsi di
CdL MAGISTRALE IN GIURISPRUDENZA
Laurea
Facoltà
FACOLTA' DI GIURISPRUDENZA
Ufficio U14, st. 2042
Marchese Fabio Mario Guido
Mail
[email protected]
Telefono 7831
ARCHITETTURA
CONTROLLI AUTOMATICI PER L'INFORMATICA
Insegnamenti
FONDAMENTI DI AUTOMATICA
ROBOTICA
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2022
Mariani Leonardo
Mail
[email protected]
Telefono 7870
INGEGNERIA DEL SOFTWARE
InsegnamentiPROGETTO E SVILUPPO DEL SOFTWARE
SISTEMI OPERATIVI E RETI
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2012
Maurino Andrea
Mail
[email protected]
Telefono 7897
Ufficio U14, st. 2017
12
ARCHITETTURE
BASI DI DATI
InsegnamentiBASI DI DATI (COMPLEMENTI)
LABORATORIO DI SISTEMI INFORMATIVI E TECNOLOGIE PER L'INTERAZIONE 1
LABORATORIO SITI
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Micucci Daniela
Mail
[email protected]
Telefono 7866
ALGORITMI E PROGRAMMAZIONE
InsegnamentiPROGETTO E SVILUPPO DEL SOFTWARE
PROGRAMMAZIONE
CDL MAGISTRALE IN INFORMATICA
Corsi di
CdL. INFORMATICA
Laurea
CdL. MATEMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2006
Raibulet Claudia
Mail
[email protected]
Telefono 7803
Ufficio U14, st. 2014
EVOLUZIONE DEI SISTEMI SOFTWARE E REVERSE ENGINEERING
Insegnamenti
INGEGNERIA DEL SOFTWARE
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Rizzi Raffaella
Mail
[email protected]
Telefono 7838
BIOINFORMATICA: TECNICHE DI BASE
InsegnamentiMODELLI E SISTEMI
PROGRAMMAZIONE
Corsi di
C.d.L. MAGISTRALE IN BIOINFORMATICA
Laurea
CDL MAGISTRALE IN INFORMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2047
_______________________________________________________________________________
Sartori Fabio
Mail
[email protected]
Telefono 7910
INGEGNERIA DEL SOFTWARE
InsegnamentiINGEGNERIA DELLA CONOSCENZA E SISTEMI ESPERTI
PROGRAMMAZIONE
Corsi di
CdL. INFORMATICA
Laurea
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2005
Vanneschi Leonardo
Mail
[email protected]
Telefono 7874
ALGORITMI E RICERCA OPERATIVA
INFORMATICA PER LE SCIENZE DELLA TERRA
Insegnamenti
PROGRAMMAZIONE
SOFT COMPUTING
CDL MAGISTRALE IN INFORMATICA
Corsi di
CdL. INFORMATICA
Laurea
CdL. SCIENZE E TECNOLOGIE GEOLOGICHE
Ufficio U14, st. 2004
13
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Vizzari Giuseppe
Mail
[email protected]
Telefono 7865
Ufficio U14, st. 1011
INGEGNERIA DEL SOFTWARE
INTELLIGENZA ARTIFICIALE
Insegnamenti
LABORATORIO DI MATEMATICA E INFORMATICA
LINGUAGGI DI PROGRAMMAZIONE
C.d.L. MAGISTRALE IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE
Corsi di
CdL. INFORMATICA
Laurea
CdL. MATEMATICA
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Zoppis Italo Francesco
Mail
[email protected]
Telefono 7864
FONDAMENTI DELL'INFORMATICA
Insegnamenti
INFORMATICA
Corsi di
CDL MAGISTRALE IN INFORMATICA
Laurea
CdL. BIOTECNOLOGIE (FACOLTA' di SCIENZE MM.FF.NN. )
Facoltà
FACOLTA' DI SCIENZE DELLA FORMAZIONE
Ufficio U14, st. 2013
14
2.2 Assegnisti di ricerca
Anthonath Roslin Sagaya Mary
Mail
[email protected]
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Bianco Simone
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Cabitza Federico Antonio Niccolo' Amedeo
Mail
[email protected]
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Calegari Silvia
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Cazzaniga Paolo
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Colombo Alessandro
Mail
[email protected]
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Colombo Gianluca
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Comerio Marco
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
De Matteis Giovanni
Mail
[email protected]
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Fersini Elisabetta
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Fiamberti Francesco
Mail
[email protected]
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Locatelli Marco Paolo
Mail
[email protected]
15
Facoltà
Mileo Alessandra
Mail
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Palmonari Matteo Luigi
Mail
[email protected] Telefono 7904
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio U14, st. 2021
Pescini Dario
Mail
[email protected]
Telefono 5835
Facoltà
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Riganelli Oliviero
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ruocco Sergio
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Santoro Mauro
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Viscusi Gianluigi
Mail
Facoltà
[email protected]
FACOLTA' DI SCIENZE MATEMATICHE FISICHE E NATURALI
Ufficio
U7, st. 2081
ex 239
16
2.3 Dottorandi
Amato Paolo
Mail
[email protected]
Ciclo XXIV
Beretta Stefano
Mail
[email protected]
Ciclo XXV
Bernini Diego
Mail
[email protected]
Ciclo XXIV
Castaldi Davide Fabio
Mail
[email protected]
Ciclo XXVI
Castelli Mauro
Mail
[email protected]
Ciclo XXIV
Codecasa Daniele
Mail
[email protected]
Ciclo XXVI
Corchs Silvia
Mail
[email protected]
Ciclo XXV
Corolli Luca
Mail
[email protected]
Ciclo XXVI
Furlan Axel
Mail
[email protected]
Ciclo XXV
Gesso Iade
Mail
[email protected]
Ciclo XXV
[email protected]
Ciclo XXIV
Luciani Davide
Mail
[email protected]
Ciclo XXVI
Maj Carlo
Mail
[email protected]
Ciclo XXVI
Li Pei
Mail
Manenti Lorenza Alessandra
Mail
[email protected]
Ciclo XXV
Mangioni Elisabetta
Mail
[email protected]
Ciclo XXIV
Manzoni Luca
Mail
Ciclo XXV
[email protected]
17
Marini Fabrizio
Mail
[email protected]
Ciclo XXIII
[email protected]
Ciclo XXV
[email protected]
Ciclo XXV
Panzeri Emanuele
Mail
Panziera Luca
Mail
Porreca Antonio Enrico
Mail
[email protected]
Ciclo XXIV
Rula Anisa
Mail
[email protected]
Ciclo XXVI
Tenti Paolo
Mail
[email protected]
Ciclo XXVI
Zanoni Marco
Mail
[email protected]
Ciclo XXIV
18
2.4 Personale tecnico - amministrativo
Tecnico o amministrativo categorie B - C
Arosio Eleonora
Mail
[email protected]
Dose Bianca Rosa
Mail
[email protected]
7895
7860
Ufficio U14, St. T11
Telefono 7926
Ufficio U14, St. T12
Telefono
Perrotta Francesco
Mail
[email protected] Telefono 7863
Ufficio U14, st. 1031
Pravettoni Pamela
Mail
[email protected] Telefono 7884
Ufficio U14, st. 2037
Proietto Andrea
Mail
[email protected]
Telefono 7925
Ufficio U14, St. 1032
Robaldo Silvia
Mail
[email protected]
Telefono 7869
Ufficio U14, st. 2038
Vanola Maria Grazia
Mail
[email protected] Telefono 7802
Ufficio U14, st. T12
Tecnico o amministrativo categorie D - EP
Gallicchio Teresa
Mail
[email protected]
Telefono 7883
Iovino Claudio
Mail
[email protected]
Telefono
7929
7822
Ufficio
U14, st. 1032
U14, st. 2027
[email protected]
Telefono
7801
7860
Ufficio
U14, st. 2036
U14, st. T11
Pellegrini Fabrizia
Mail
Ufficio U14, st. 2026
Reguzzoni Fabio Carlo
Mail
[email protected] Telefono 7807
Ufficio U14, st. 1030
Rocca Luca
Mail
Ufficio U14, st. 1032
[email protected]
Telefono 7811
19
2.5 Visitatori
Paula Cordero Moreno
Ferigato Carlo, ricercatore presso Joint Research Centre - European Commission
Felice Cardone, professore associato, Università degli Studi di Torino
Rombolà Stefania, collaboratrice esterna
Prof Alain Tremeau Université Saint Etienne, France
Xiaohu Song (PhD student), Université Saint Etienne, France
Prof. Hung Son Nguyen, University of Warsaw
20
Sommario organico
Personale docente
Professore Ordinario
Professore Associato
Ricercatore a tempo pieno
11
14
21
19
Assegnistidi Ricerca
Dottorandi
23
Personale tecnico - amministrativo
Tecnico o amministrativo categorie B - C
Tecnico o amministrativo categorie D - EP
Visitatori
7
5
7
21
3. Dati finanziari
(Gli importi sono espressi in Euro)
Entrate
DOTAZIONE ORDINARIA DI FUNZIONAMENTO
FINANZIAMENTI PER LA DIDATTICA
FINANZIAMENTI PER I CORSI DI DOTTORATO DI RICERCA
FINANZIAMENTI DA CONTRATTI CONTO TERZI
FONDO D'ATENEO PER LA RICERCA
FINANZIAMENTI MIUR (PRIN, FIRB, FAR…)
FINANZIAMENTI PER LA RICERCA DA ENTI PUBBLICI E PRIVATI
Spese
SPESE PER CONTRATTI DI RICERCA CONTO TERZI
SPESE PER IL FUNZIONAMENTO DEI CORSI DOTTORATI DI
RICERCA
SPESE PER L'ACQUISTO DI APPARECCHIATURE TECNICOSCIENTIFICHE
SPESE PER L'ACQUISTO DI APPARECCHIATURE INFORMATICHE
SPESE PER IL FUNZIONAMENTO RICERCA FONDO D'ATENEO
SPESE PER IL FUNZIONAMENTO RICERCA FINANZIATA DAL MIUR
SPESE PER IL FUNZIONAMENTO RICERCA FINANZIATA DA ALTRI
ENTI PUBBLICI E PRIVATI
SPESE PER IL FUNZIONAMENTO RICERCA FINANZIATA DAL CNR CONTRIBUTI
94.000,00
119.897,21
22.100,00
81.680,00
119.363,00
307.603,00
729.458,45
50.026,89
19.293,50
41.440,61
15.176,66
178.876,73
89.282,65
238.841,01
928,05
22
4. Progetti di ricerca, contratti, convenzioni
Contratti su commissione - Consulenza
CAMMI
No. pratica
2010-COMM-0044
Responsabile
SCHETTINI RAIMONDO
Corrispettivo
Totale
Durata (mesi)
Contraente
12
SELEX GALILEO SPA
18.000,00 €
Consulenza Peritale per Italcementi
No. pratica
2010-COMM-0049
Responsabile
TISATO FRANCESCO
Durata (mesi)
Contraente
12
Italcementi S.p.A.
Metodi bioinformatica e statistici per l’identificazione e validazione di marcatori
No. Pratica2010-comm-0085
ResponsabileARCHETTI FRANCESCO ANTONIO
Contraente: PRIMM s.r.l.
Corrispettivo totale120000,00€
Contratti su commissione - Formazione
Servizi di Formazione sul tema “ontologie applicate”
No. pratica
2010-COMM-0028
Responsabile
BANDINI STEFANIA
Corrispettivo
Totale
24.900,00 €
Durata (mesi)
Contraente
10
Eni Corporate University
spa
Contratti su commissione - Ricerca
"COLOR RENDITION FOR DIGITAL CAMERAS".consulenza bozza di contratto derivante da Form
STMicroelectronics S.r.l.
No. pratica
Durata (mesi)
2010-COMM-0012
12
Responsabile
Contraente
SCHETTINI RAIMONDO
STMICROELETTRONICS
Corrispettivo
Totale
36.000,00 €
Contratto di edizione - Contratto a termine
Contratto relativo alla collana di monografie del Dipartimento di Informatica, Sistemistica e
Comunicazione
No. pratica
Durata (mesi)
2010-EDI-0009
36
Responsabile
Contraente
BATINI CARLO
SCRIPTAWEB CIVIS s.n.c.
23
Convenzioni - Convenzione di collaborazione scientifica
CAMERA IMAGE QUALITY RESEARCH
No. pratica
2010-CONV25-0022
Responsabile
SCHETTINI RAIMONDO
Corrispettivo
Totale
CRYSTALS
No. pratica
Responsabile
Corrispettivo
Totale
Contraente
Università of Helsinki
Durata (mesi)
9
Umm Al-Qura University
16.000,00€
2010-CONV-0020
BANDINI STEFANIA
Contraente
199.000,00 €
Integrazione di ontologie fuzzy in un ECM Open Source
2010 CONV25-0018
ResponsabileCIUCCI DAVIDE ELIO Contraente
NEW-GO S.r.l.
No. pratica
Corrispettivo
Totale
16.800,00 €
NFORMATION RETRIEVAL
No. Pratica
2010-CONV25-0011
Responsabile
PASI GABRIELLA
Corrispettivo
Totale
Contraente
SAES GETTERS S.p.A.
Durata (mesi)
36
AT&T Labs Inc.
9.960,00 €
Solomon data integration system
No. pratica
2010-CONV-0015
Responsabile
BATINI CARLO
Contraente
Sviluppo di uno strumento che fornisca una valutazione delle qualità software
No. pratica
2011-CONV25-0011
Responsabile
ARCELLI FONTANA FRANCESCA
Contraente
DELTA80 S.r.l.
Totale
30.000,00€
Traffic, Transportation, Crowd Management
No. pratica
2010-CONV-0031
Responsabile
BANDINI STEFANIA
Contraente
Umm Al-Qura University
24
Fondo di Ateneo
ADAPTIVE IMAGE ENHANCEMENT
No. pratica
2010-ATE-0117
Responsabile
SCHETTINI RAIMONDO
Finanziamento
Complessivo
7.778,00 €
Contraente
Università degli Studi di
Milano-Bicocca
Contraente
Università degli Studi di
Milano-Bicocca
CHEMICAL CROWDS
No. pratica
2010-ATE-0302
Responsabile
MANZONI SARA LUCIA
Finanziamento
Complessivo
9.722,00 €
Definizione di modelli e sistemi per l'accesso personalizzato e flessibile a informazioni
No. pratica
2010-ATE-0022
Responsabile PASI GABRIELLA
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 3.889,00
€
Integrazione di SLAM e multi-target tracking
No. pratica
2010-ATE-0374
SORRENTI DOMENICO
Responsabile
Contraente Università degli Studi di Milano-Bicocca
GIORGIO
Finanziamento
Complessivo 2.917,00
Descrizione
€
Integrazione di tecniche statistiche e "knowledge-based" per il riconoscimento di situazioni.
No. pratica
2010-ATE-0422
Responsabile BISIANI ROBERTO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 4.861,00
€
Metodi algoritmici per l'analisi di strutture combinatorie in bioinformatica
No. pratica 2010-ATE-0381
Responsabil
BONIZZONI
e
Finanziamen
to
6.806,00 €
Complessivo
PAOLA
Contraente
Università degli Studi di Milano-Bicocca
Metodi e modelli della concorrenza, comunicazione e computazione
No. pratica
2010-ATE-0221
POMELLO
CHINAGLIA
Responsabile
Contraente Università degli Studi di Milano-Bicocca
LUCIA
25
Finanziamento
Complessivo 5.833,00
Descrizione
€
Modelli di calcolo naturale e applicazioni alla systems biology
No. pratica
2010-ATE-0109
Responsabile MAURI GIANCARLO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 21.390,00 €
Modelli ed algoritmi di Data e Text Mining per la classificazione automatica di dati non strutturati e
semi-strutturati
No. pratica
2010-ATE-0131
Responsabile STELLA FABIO ANTONIO Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo
3.255,00 €
Modelli probabilistici e di ottimizzazione per l'apprendimento automatico
No. pratica 2010-ATE-0258
Responsabile MESSINA VINCENZINA
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 7.218,00
€
Progettazione di architetture dati: problematiche legate alla scelta della architettura ottima e
alla definizione del concetto di potenziale informativo in presenza di dati di qualita' e di dati
affetti da errori
No. pratica
2010-ATE-0292
Responsabile BATINI CARLO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 4.861,00
Descrizione
€
Progettazione e ricostruzione di architetture software per sistemi integrati e adattivi
di supervisione e controllo
No. pratica
2010-ATE-0403
Responsabile TISATO FRANCESCO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 14.583,00 €
STRUMENTI E SERVIZI WEB 2.0 PER LA PRESENZA WEB DELLE ONG
(ORGANIZZAZIONI NON GOVERNATIVE)
No. pratica
2010-ATE-0251
Responsabile POLILLO ROBERTO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 1.944,00
€
Sistemi Complessi e Incerti: teoria ed applicazioni
26
No. pratica
2010-ATE-0471
ALBERTO
Responsabile DENNUNZIO
Finanziamento
Complessivo 3.889,00 €
Contraente
Università degli Studi di Milano-Bicocca
Sistemi adattivi di supporto alla cooperazione e alla gestione della conoscenza
No. pratica
2010-ATE-0314
Responsabile SIMONE CARLA
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 6.806,00
€
Static-dynamic analysis for automated, high-coverage structural testing
(analisi statica-dinamica per test strutturale automatico e ad elevata copertura)
No. pratica
2010-ATE-0293
Responsabile PEZZE' MAURO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 8.750,00
€
Sviluppo di itsme come workstation per il medico di base ed, in subordine, per il paziente
No. pratica
2010-ATE-0296
Responsabile DE MICHELIS GIORGIO
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 1.944,00
€
eSMAV - eService Matching with Added-Value indicators of non-functional properties
No. pratica
2010-ATE-0145
Responsabile DE PAOLI FLAVIO MARIA
Contraente Università degli Studi di Milano-Bicocca
Finanziamento
Complessivo 2.917,00
€
Nazionali - PRIN
La Gestione dei Flussi del Traffico Aereo in condizioni di Incertezza
i
Durata
No. pratica 200833E3RL_001
30
(mesi)
Responsabile LULLI Guglielmo
Finanziamento
Complessivo 15.931,00 €
Contraente
MIUR PRIN-2008
Modelli probabilistici per la rappresentazione dell’incertezza per la
definizione di metodologie di selezione del portafoglio
No. pratica
20073BZ5A5_002
Responsabile MESSINA Vincenzina
Finanziamento
Complessivo 12.004,00 €
Durata
(mesi)
Contraente
24
MIUR PRIN-2007
Tecniche e strumenti basati sulla conoscenza per la gestione, la
27
correlazione e la fruizione di dati archeologici
No. pratica
20089MKC9B_003
Responsabile DE PAOLI Flavio Maria
Finanziamento
Complessivo 25.458,00 €
Durata
(mesi)
Contraente
30
18
MIUR PRIN-2008
Progetti di Ricerca Finanziati
H20 Leak
No. pratica
2009-NAZ-0160
Durata
(mesi)
Responsabile
MESSINA VINCENZINA
Contraente
Finanziamento
Complessivo 98.990,45 €
Regione Lombardia
Bando ATP
Health Care throught Intelligent Monitoring
No. pratica
2007-NAZ-0008
Responsabile BISIANI ROBERTO
Finanziamento
Complessivo 379.986,10 €
INtegrated SYstem for EMErgency
No. pratica
2007-NAZ-0027
Responsabile
ARCHETTI FRANCESCO
ANTONIO
Durata
(mesi)
Contraente
36
Durata
(mesi)
36
Contraente
MIUR FAR
MIUR FAR ex L 297/99
Finanziamento
Complessivo 280.000,00 €
Judicial Management by digital libraries semantics
No. pratica
2007-QUAD-0098
Durata
(mesi)
Responsabile
BANDINI STEFANIA
Contraente
Finanziamento
Complessivo 60.000,00 €
36
European Commission
FP7 - ICT - 2007 - 1
LENVIS - Localised environmental and healt information services for
all: user centric collaborative decision support network for water
and air quality management
No. pratica
2007-QUAD-0087
Responsabile
ARCHETTI FRANCESCO
ANTONIO
Durata
(mesi)
Contraente
Finanziamento
Complessivo 220.518,00 €
Mobile Services for Agrofood
No. pratica
2009-NAZ-0164
Responsabile
BATINI CARLO
Durata
(mesi)
Contraente
36
European Commission
ICT-2007.6.3
18
Regione Lombardia
28
Bando accordo quadro
Finanziamento
Complessivo 254.970,00 €
PINCETTE - Validating Changes and Upgrades in Embedded Software
No. pratica
2009-QUAD-0009
Durata
(mesi)
Responsabile
MARIANI LEONARDO
Contraente
European Commission
FPT-ICT-2009-4
18
Finanziamento
143.790,00 €
Complessivo
RetroNet
No. pratica
2009-NAZ-0147
Durata
(mesi)
Responsabile
ANTONIOTTI MARCO
Contraente
Finanziamento
Complessivo 202.008,43 €
36
Regione Lombardia
Bando Astil
Riqualificazione delle filiere ortofrutticole e frutticole lombarde
No. pratica
Responsabile
2008-NAZ-0148
BATINI CARLO
Durata
(mesi)
Contraente
Finanziamento
Complessivo 30.000,00 €
18
Regione Lombardia
Piano di sviluppo
rurale PSR 2007-2013
Secure Memories and Applications Related Technologies
No. pratica
Responsabile
2009-PICO-0004
TISATO FRANCESCO
Durata
(mesi)
Contraente
Finanziamento
Complessivo 100.699,20 €
36
European Commission
MIUR eniac joint
undertaking ENIAC2009-1
Tecnologie integrate per la documentazione e la valorizzazione del
patrimonio culturale lombardo
No. pratica
2009-NAZ-0177
Durata
(mesi)
Responsabile
SIMONE CARLA
Contraente
Finanziamento
Complessivo 160.000,00 €
18
Regione Lombardia
Bando accordo quadro
Virtual Physiological Human Network of Exellence
No. pratica
2009-QUAD-0035
Durata
(mesi)
Responsabile
ANTONIOTTI MARCO
Contraente
24
European Commission
FP7-ICT-2007.5.3
29
5. Centri di ricerca e organizzazioni associate
Centri di ricerca universitari/interuniversitari
Center for Interdisciplinary Studies in Economics, Psichology and Social Sciences
Il CISEPS si propone di contribuire all'avanzamento delle scienze sociali per mezzo di ricerche
interdisciplinari mirate al miglioramento delle capacità esplicative e predittive dei principali
modelli usati in economia, psicologia e in generale nelle scienze sociali.Scopo delle ricerche è
quindi sia l'approfondimento che l'ampliamento degli approcci tradizionali a queste discipline,
partendo dall'idea che uno dei modi più efficaci di elaborare nuove ed interessanti teorie sia il
ricorso a modi originali di studiare problemi ben noti e definiti.Punto di partenza del programma di
ricerca del Centro è l'idea che il progresso nella comprensione dei fatti sociali richieda una reale
cooperazione tra differenti approcci disciplinari senza alcuna subordinazione gerarchica, perché
ogni impostazione può offrire contributi specifici nella soluzione di problemi e nella comprensione
di argomenti che sono di interesse per tutti gli ambiti disciplinari considerati.Il CISEPS favorisce la
collaborazione e lo scambio scientifico fra economisti, psicologi e scienziati sociali in generale, sia
in ambito nazionale che internazionale, promuovendo ricerche che coinvolgano studiosi di tutte le
discipline interessate.
Centro Universitario per la Gestione dei Beni Culturali
Il CResM, costituito nell’aprile del 2009, vede la partecipazione dei seguenti Dipartimenti
dell’Ateneo:
• Dipartimento di Informatica, Sistemistica e Comunicazione
• Dipartimento di Fisica
• Dipartimento di Scienze Ambientali
• Dipartimento di Scienze dei Materiali
• Dipartimento di Scienze Umane per la Formazione
• Dipartimento di Sociologia e Ricerca Sociale
• Dipartimento di Statisticae ha sede amministrativa presso il Dipartimento di Informatica,
Sistemistica e Comunicazione. Il Direttore Scientifico è la Prof. Carla Simone.Il CResM nasce con
l’obiettivo di diventare un centro di riferimento per le Istituzioni coinvolte nella gestione e
valorizzazione dei Beni Culturali a livello locale, nazionale ed europeo. Propone una visione
innovativa e interdisciplinare della gestione dei Beni Culturali che tiene unite tre tipologie di
attività: scientifica in quanto la ricerca svolta all’interno di molte discipline fornisce prodotti di
ricerca che possono essere direttamente utilizzati (modelli, tecniche, metodologie e strumenti);
organizzativa in quanto la gestione del patrimonio culturale è una missione che può essere
perseguita dalle Istituzioni preposte solo con un approccio efficiente ed efficace; culturale in
quanto la gestione dei Beni Culturali e’ un mezzo fondamentale per la diffusione di conoscenze
rivolto ad un pubblico sempre più vasto e articolato in termini di domanda di cultura.
Centro Universitario per le datazioni
Il Centro è stato istituito su iniziativa e con la partecipazione del Dipartimento di Scienze
Geologiche e Geotecnologie, del Dipartimento di Scienza dei Materiali, del Dipartimento di Fisica
"G. Occhialini" e del Dipartimento di Scienze dell'Ambiente e del Territorio.Il Centro si propone di
perseguire le seguenti finalità:incentivare lo studio e la ricerca sui metodi di datazione per le
scienze geologiche e ambientali e per i beni culturali promuovere l'aggregazione di ricercatori
30
attivi nei vari settori di questa tematica e stimolare il lavoro attraverso cooperazioni scientifiche
interdisciplinari promuovere e compartecipare alla stesura di progetti di ricerca nazionali ed
internazionali aventi come obiettivo il miglioramento delle tecniche di datazione sia classiche che
innovative; favorire la preparazione di pubblicazioni scientifiche su riviste nazionali e internazionali
sulle metodologie e sulle applicazioni delle tecniche di datazione; attivare rapporti di
collaborazione con Istituti, Centri di ricerca pubblici e privati e Soprintendenze e rendere
disponibili le competenze del Centro per attività comuni.
Centro di Ricerca Interdipartimentale in Bioinformatica e Proteomica
Il Centro è stato istituito su iniziativa e con la partecipazione del Dipartimento di Medicina
Sperimentale, Ambientale e Biotecnologie Mediche, del Dipartimento di Informatica Sistemistica e
Comunicazione e del Dipartimento di Biotecnologie e Bioscienze.Il Centro è attivo nelle aree
"Applicazioni dell'Informatica in campo biomedico" e "Proteomica e Farmacogenomica" e
persegue le seguenti finalità:promuovere e svolgere attività di ricerca industriale, con particolare
riguardo a progetti presentati congiuntamente con aziende per il cofinanziamento al Fondo
Agevolazione della Ricerca (FAR) del MIUR e al Fondo Innovazione Tecnologica (FIT) del MAP
promuovere la partecipazione a progetti di ricerca europea contribuire con il risultato delle
proprie ricerche alla conoscenza, all'aggiornamento continuo e alla diffusione dei più moderni
orientamenti diagnostici e terapeutici che fanno riferimento alla bioinformatica e alla proteomica
contribuire alla valorizzazione della proprietà intellettuale dell'Università degli Studi di MilanoBicocca nel campo della bioinformatica, proteomica e farmacogenomica promuovere l'avvio di
nuove imprese con particolare riguardo a spin-off.
Complex Systems and Artificial Intelligence
Il Centro Studi e Ricerca "Complex Systems and Artificial Intelligence (CSAI)" dell'Università degli
Studi di Milano - Bicocca riunisce docenti e ricercatori nel campo dei Sistemi Complessi e
dell'Intelligenza Artificiale con lo scopo di promuovere l'approfondimento e lo scambio di
conoscenze, d'informazioni e di prospettive attorno ai temi:Crowds Dynamics Modeling &
Simulation Cultural Resources Management Computational Knowledge & Evolutionary Economics
Self Organization Models for Design and Arts Finalità del Centro CSAI è l'incremento dello stato
delle conoscenze nel campo dei modelli computazionali atti a supportare l'investigazione e
l'applicazione di scenari innovativi della ricerca nel settore dei Sistemi Complessi e dell'Intelligenza
Artificiale, incentivando l'attività di ricerca di studiosi italiani e stranieri, nonché promuovendo
seminari, conferenze, incontri e dibattiti per l'approfondimento e lo scambio di informazioni,
conoscenze, e valori nell'area dei Sistemi Complessi e dell'Intelligenza Artificiale.
31
Consorzi
Consorzio Milano Ricerche
Il Consorzio Milano Ricerche è un ente no-profit creato nel 1986 da Università, Enti di Ricerca e
alcune grandi e medie imprese dell’area milanese, con l’obiettivo di realizzare e promuovere
progetti congiunti di ricerca industriale e sviluppo tecnologico tra i propri soci e altre aziende
partner, a livello regionale, nazionale (Ministero Istruzione, Università e Ricerca - MIUR- e
Ministero dello Sviluppo Economico - MiSE) ed europeo.
I principali settori in cui si sviluppano le competenze e le attività di Milano Ricerche sono ICT,
Bioscenze e Medicina, Ambiente ed Energia. ICT è il settore più rilevante nelle attività del
Consorzio sia per le tecnologie software sviluppate sia per le loro applicazioni nella impostazione
ed esecuzione di progetti negli altri settori di interesse.
Tra i progetti più significativi svolti in collaborazione con DISCO si segnalano:
JUMAS (Judicial Management by Digital Libraries Semantics), un progetto FP7 per
sviluppare strumenti di analisi della conoscenza nel settore giudiziario.
INSyEME (Integrated System for Emergency Management), un progetto FIRB per
sviluppare strumenti di analisi di dati e modelli in Wireless Sensor Network per
monitoraggio ambientale.
Cefriel - Società Consortile a responsabilità limitata
CEFRIEL opera dal 1988 come centro di eccellenza per l’innovazione, la ricerca e la formazione nel
settore dell’Information & Communication Technology.Suo obiettivo primario è rafforzare i legami
tra università e imprese attraverso un approccio multidisciplinare che, partendo dalle esigenze
dell’impresa, integra i risultati della ricerca, le migliori tecnologie presenti sul mercato, gli standard
emergenti e la realtà dei processi industriali, per innovare o realizzare nuovi prodotti e
servizi.CEFRIEL è oggi una società consortile a responsabilità limitata senza scopo di lucro i cui soci
sono il Politecnico di Milano, l'Università degli Studi di Milano, l'Università degli Studi di MilanoBicocca, l’Università degli Studi dell’Insubria, la Regione Lombardia e 15 aziende multinazionali
operanti nel settore ICT e dell'editoria multimediale.
Consorzio Interuniversitario Nazionale per l'Informatica - CINI
Il Consorzio Interuniversitario Nazionale per l’Informatica (CINI), riconosciuto dal MIUR , è stato
creato nel 1989, ed è una organizzazione senza scopi di lucro, che vede consorziate 34 tra le
maggiori Università italiane, con lo scopo di svolgere attività di ricerca in campo informatico a
livello nazionale ed internazionale. Le Università consorziate sono le seguenti:Politecnico di
Milano;Politecnico di Torino;Università di Bari;Università di Bologna;Università di
Genova;Università di Lecce;Università di Milano.
32
Spin-off
Delos s.r.l.
SETTORE: Bio-InformaticaANNO DI COSTITUZIONE: 2005ATTIVITÀ: Applicazioni strategiche del
supercalcolo nei settori della farmaceutica e delle biotecnologie.PRODOTTI E
SERVIZI:Progettazione e realizzazione di prodotti software per il virtual screening di librerie
molecolari, il rational drug design e l'ottimizzazione di target proteici. Consulenza per la
progettazione e sviluppo di sistemi software customerizzati per Il drug design e l'ottimizzazione
(anche in funzione dei parametri ADMET) di lead compounds. Prestazione di servizi collegati alle
attività precedenti ivi comprese l'organizzazione e la gestione di corsi di formazione, con
particolare riferimento ai settori della bio-informatica e del drug design.
NFC Alias S.r.l.
SETTORE: InformaticaANNO DI COSTITUZIONE: 2009ATTIVITÀ: La società sviluppa software per
dispositivi radiomobili dotati di interfacce NFC (Near Field Communication). NFC è una tecnologia
di comunicazione wireless a breve raggio (0-20 cm), che permette a due dispositivi in stretto
contatto di scambiarsi dati in modalità semplice, sicura e bidirezionale. In particolare questa
tecnologia trova crescente diffusione nel campo dei dispositivi radiomobili, per supportare servizi
informativi e di pagamento: secondo le previsioni del centro studi dell'NFC Forum, entro 5 anni
saranno in commercio oltre 450 milioni di dispositivi mobili dotati di tecnologia NFC.PRODOTTI E
SERVIZI: Il prodotto di base è un applicativo mobile "universale", chiamato NFC Alias, che per
ciascun servizio utilizzato è in grado di modificare la sua funzione in termini di processo e di user
experience (disposizione dei menu, menu, colori, loghi, funzionalità, etc.). L'utente sul proprio
dispositivo mobile ha un unico applicativo, certificato e firmato, di cui si può fidare, che allo
sfioramento di uno dei distributori di servizi aderenti (biglietteria, vending machine, parcheggi,
informazioni, ...) recupera in modo trasparente i parametri del servizio e li presenta con loghi,
prezzi, procedure specifiche del servizio stesso. L'utente non deve aggiungere nulla al proprio
dispositivo mobile, non deve imparare nuovi modi di interazione: può usufruire da subito del
servizio. I fornitori di servizi potranno concentrarsi sul delivery degli stessi e non sulla modalità
tecnica di interazione con i dispositivi mobili.
Nextt Lab s.r.l.
SETTORE: InformaticaANNO DI COSTITUZIONE: 2007ATTIVITÀ: L'idea imprenditoriale di NEXTT LAB
S.r.l. - Networked Expertises Technologies and Tools - e' quella di offrire consulenza e prodotti
derivati dalle tecnologie della informazione e della comunicazione (ICT) alle Istituzioni ed agli Enti
pubblici e privati, per abilitarli ai processi di innovazione connessi alle iniziative di governo e di
governance elettronica (eGovernment e eGovernance). Il progetto industriale di NEXTT LAB S.r.l.
nasce con due anime: da una parte, spin-off accademico dell'Università degli Studi di Milano
Bicocca, grazie ad un finanziamento per lo sviluppo di un progetto di ricerca industriale accordato
dal Ministero dell'Università e della Ricerca; dall'altra, vera e propria research company di un
gruppo industriale strutturato, Progetto Europa Group, che la partecipa, garantendo un portato
ventennale di esperienza, relazioni, business.Per perseguire questo disegno, NEXTT LAB si pone
due grandi obiettivi:Divenire un punto di riferimento nella ricerca e nello sviluppo di soluzioni
complete nel campo dell'e-Governance delle organizzazioni pubbliche e private. Impostare un
modello di business basato su un market mix fatto di consulenza strategica, design delle soluzioni,
erogazione dei prodotti di e-Governance. Per la declinazione di questi obiettivi, NEXTT LAB ha
messo a punto, e sta concretamente sperimentando, un modello produttivo fatto di
individuazione dei bisogni del mercato, promozione della ricerca, sviluppo competitivo delle
33
soluzioni, go-to-market, dove - coerentemente con i trend mondiali- le fasi di "ricerca", "sviluppo"
e "ingresso sul mercato" vanno sempre più avvicinandosi nel tempo.PRODOTTI E SERVIZI : Il
prodotto base, è chiamato e-GoRA readiness analysis della eGovernance. Costituito da linee guida
metodologiche e da strumenti di supporto, verrà progressivamente specializzato in quattro
prodotti relativi alle fasi caratteristiche di ciascun processo d'innovazione, rispettivamente:eGoRA-assessment e-GoRA-planning e-GoRA-design e-GoRA-monitoring. Il prodotto assiste una
organizzazione nei processi di innovazione abilitati dall'ICT analizzando nelle fasi di assessment e di
pianificazione strategica l'insieme delle interrelazioni tra un insieme di tematiche quali:contesto
macro / micro / di mercato (elemento oggettivo) contesto sociale obiettivi dell'organizzazione
efficacia / efficienza / percezione per l'utenza vincoli legislativi /regolamentari /attività vincoli /
opportunità finanziarie individuando le opzioni possibili per il miglioramento.
Nomadis Solutions s.r.l.
SETTORE: eHealth, education e multimedialitàANNO DI COSTITUZIONE: 2007ATTIVITÀ: Nomadis
Solutions sviluppa e commercializza servizi e applicazioni basati sull'applicazione di tecnologie di
mobile computing. L'approccio metodologico si basa sull'integrazione delle tecnologie di rete
wireless, delle comunicazioni multimediali e dei servizi location-based per le aree della mobilità,
propinquità, e ubiquità, al fine della messa a punto di applicazioni e servizi nei settori
dell'healthcare, dell'education e info-edutainment, del turismo e della culturaPRODOTTI E SERVIZI:
Sistemi di assistenza domiciliare e monitoraggio intelligente di persone, con possibilità di integrare
attività di comunicazione digitale e intrattenimento; applicazioni basate sulla georeferenziazione
delle informazioni; sistemi di navigazione pedonale e interna agli edifici; sviluppo di piattaforme e
di servizi nel campo del mobile learning.
Tabulaex s.r.l.
SETTORE: InformaticaANNO DI COSTITUZIONE: 2005ATTIVITÀ: TabulaeX raccoglie competenze
maturate nella ricerca applicata e nell'esperienza applicativa, focalizzandosi sulla realizzazione di
sistemi informativi basati su flussi documentali. L'approccio metodologico, architetturale e
tecnologico consente di realizzare soluzioni efficaci e "leggere" per l'integrazione e l'estensione
progressiva dei sistemi informativi, in contesti a forte decentramento organizzativo nei quali la
gestione dei flussi documentali costituisce un aspetto centrale.PRODOTTI E SERVIZI:Piattaforma
tecnologica Open Source e strumenti di sviluppo per la gestione di flussi documentali. Applicazioni
Open Source per la pianificazione e la gestione della didattica universitaria. Progettazione e
sviluppo di soluzioni per piccolo-medie imprese e per la Pubblica Amministrazione. Servizi
professionali e formazione.
itsme s.r.l.
SETTORE: InformaticaANNO DI COSTITUZIONE: 2009ATTIVITÀ: sviluppo di software per interazione
con gli utentiPRODOTTI E SERVIZI: itsme, workstation innovativa basata su una nuova metafora, e
prodotti similari.
34
6. Iniziative scientifiche
Seminari:
Titolo seminario
Sognando la Silicon Valley...il
lancio di una start-up: Mashape
Bioinformatics for mass
spectrometry-based proteomics
analysis
PhD Training Programs: A Critical
Opportunity for Economic and
Cultural Development
Algebre relazionali e teorie dei
Rough Sets e dei Concept Lattices
Incontro pubblico sul tema "ICT e
Innovazione: che fare?"
Misure di Bloat, Overfitting e
Complessità Funzionale in
Programmazione Genetica
Incontro pubblico sul tema "Le
Riforme dell'Università"
IPAM e servizi fondamentali di
rete: novità antiche?
My Home BTicino
Approcci proteomici allo studio del
tumore renale
Ontologie società e impresa
Data
Relatore
Affiliazione
20-gen-10 Michele Zonca e
Augusto Marietti
27-gen-10 Pierluigi Mauri
Mashape Inc.
17-feb-10 Thomas Casavant
University of Iowa - USA
18-feb-10 Piero Pagliani
Freelance
24-feb-10 Giorgio De Michelis
e Alfonso Fuggetta
24-feb-10 Mauro Castelli
Università di Milano - Bicocca e
Politecnico di Milano
Università di Milano - Bicocca
8-mar-10 Walter Tocci
Centro Riforma dello Stato
CNR - Milano
19-mar-10 Giancarlo Palmieri
Infoblox
26-mar-10 Lorenzo Pini
BTicino
7-apr-10 Fulvio Magni
Università di Milano - Bicocca
19-apr-10 Paolo Naggar
Università di Roma - La Sapienza
A Robust Block Based Image/Video
Registration: Approach for Mobile
Imaging Devices
microRNA Target Gene Prediction
23-apr-10 Sebastiano Battiato
Università di Catania
28-apr-10 Francesco Masulli
Università di Genova
Models of Collaboration as a
Foundation for Collaboration
Technologies
Biogas Management in Cuba: an
experience from the Sancti Spíritus
University
Architecting Critical Software
Systems (I parte)
Architecting Critical Software
Systems (II parte)
Arte digitale e interattiva:
applicazioni e strumenti
dell'Informatica
Biogas production process: an
ontological perspective
Automation of bioinformatics data
analysis through workflow
29-apr-10 Steven Poltrock
Freelance
7-mag-10 Roxana Martin
Ramos
Universidad José Martí Pérez CUBA
13-mag-10 Henry Muccini
Università de L'Aquila
14-mag-10 Henry Muccini
Università de L'Aquila
19-mag-10 Luca Carrubba e
Giovanni Ghisleni
Freelance
26-mag-10 Roxana Martin
Ramos
27-mag-10 Paolo Romano
Universidad José Martí Pérez CUBA
Istituto Nazionale per la Ricerca
sul Cancro - Genova
35
management systems
Virtual Stability as a General
Principle of Complex Adaptive
Systems
Application Security
EKF vision-based SLAM
8-giu-10 Burton Voorhees
Athabasca University - CANADA
9-giu-10 Antonio Parata e
Francesco Beatino
9-giu-10 Pedro Piniès
Freelance
Università di Zaragoza
EKF vision-based SLAM
10-giu-10 Pedro Piniès
Università di Zaragoza
EKF vision-based SLAM
11-giu-10 Pedro Piniès
Università di Zaragoza
Traces of Cellular Automata
25-giu-10 Enrico Formenti
Département d'Informatique,
Université de Nice-Sophia
Antipolis
Parco Tecnologico Padano
Analisi statistica e bioinformatica
di genomi animali
Systematic Software Testing Using
Test Abstractions
Approximate Boolean Reasoning:
Foundations and Applications in
Data Mining
Augmenting the interaction
support with Virtual Sensors and
Document Annotation
Algorithms for Sequence Finding
and Selection Problems
Graphical Decision Models:
Representation and Solution
6-lug-10 Alessandra Stella
12-lug-10 Darko Marinov
1-sett-10 Hung Son Nguyen
University of Illinois at UrbanaChampaign
University of Warsaw
7-ott-10 Bottoni Paolo
Gaspare
Università di Roma - La Sapienza
7-ott-10 Lee Der-Tsai
Academia Sinica, Taiwan
19-ott-10 Finn Verner Jensen
Aalborg University, Denmark
Altre iniziative scientifiche:
Multimedia Content Access: Algorithms and Systems IV Conference.
21 gennaio 2010
San Jose, California, USA
Responsabile Conference Chairs: Theo Gevers, Univ. van Amsterdam (Netherlands); Raimondo
Schettini, Univ. degli Studi di Milano-Bicocca (Italy); Cees Snoek, Univ. van Amsterdam
(Netherlands)
Special Track on Advances in Computer Simulation nell’ambito del 26th ACM Symposium on
Applied Computing 2010
March 22-29, 2010
Crans Montana, Switzerland.
Co Chair: Giuseppe Vizzari (con Fabien Michel)
Special Track on Information Access and Retrieval nell’ambito del 26th ACM Symposium on
Applied Computing 2010
March 22-29, 2010
Crans Montana, Switzerland.
36
General Co Chair: Gabriella Pasi (con Gloria Bordogna)
Third International Symposium on Agent Based Modeling and Simulation
Symposium K of EMCSR 2010
April 6 - 9, 2010, University of Vienna, Austria, EU
Chairs: Stefania Bandini, Paolo Petta, Giuseppe Vizzari
Nona edizione della conferenza internazionale RIAO 2010: Conference Adaptivity, Personalization
and Fusion of Heterogeneous Information
28-30 Aprile 2010
Parigi, Francia.
Program Co-Chair (con Prabakhar Raghavan, Yahoo Research e Tie-Yan Liu, Microsoft Research):
Gabriella Pasi
33rd Annual ACM SIGIR Conference, 19-23 July 2010, Geneva, Switzerland
Poster co-chair (with Peter Bruza and Ellen Voorhes): Gabriella Pasi
Ageing Society and Technology:Systems, Theories, Practices
Summer School - Ascoli Piceno (Italy) - September 20-24, 2010
Chair and Scientific Coordinator:Stefania Bandini, University of Milano-Bicocca
Co-Chairs and Program Coordinators: Ludovico Ciferri, ISMB - Politecnico di Torino, Takeo Hondoh,
Hokkaido University (Japan)
Third international workshop on Crowd and Cellular Automata
21 settembre 2010
Ascoli Piceno, Ialy
Chairs: Sara Manzoni, Shin Morishita
First International Workshop on Asynchronous Cellular Automata
21 settembre 2010
Ascoli Piceno
Responsabile: Alberto Dennunzio
9th International Conference on Cellular Automata for Research and Industry (ACRI 2010).
September 21-24, 2010
Ascoli Piceno, Italy
Conference Chairs: Stefania Bandini, Hiroshi Umeo
Second International Workshop on Rough Sets Theory (RST10)
19-21 ottobre 2010
Zhejiang Ocean University, Zhoushan, Zheijiang (China)
Responsabile: Davide Ciucci
Convegno “Osservatorio ICT del non-profit”, organizzato in collaborazione con l’associazione onlus
Informatici Senza Frontiere. Prima edizione di un convegno annuale che si propone di monitorare
l’utilizzo delle tecnologie informatiche nel terzo settore
22 novembre 2010
Università degli Studi di Milano Bicocca, Aula Martini, edificio U6
Responsabile: Roberto Polillo
37
7. Pubblicazioni
Nota: si segnala che gli Impact Factor attribuiti alle pubblicazioni sono quelli pubblicati in banca dati ISI Journal
Citation Reporte relativi al 2009, ultima annata disponibile al momento della compilazione della Relazione.
7.1 Articolo su rivista
A. Agnetis, E. Messina, M. Pranzo
Call planning in pharmaceutical sales force management”, IMA Journal of Management
Mathematics, 21(3), 267-280.
[Con referee] [Rilevanza internazionale]
Antoniotti, M., Carreras, M., Farinaccio, A., Mauri, G., Merico, D., & Zoppis, I.F.
An Application of Kernel Methods to Gene Cluster Temporal Meta-Analysis. Computers &
operations research, 37, 1361-1368.
[IF:1.769] [Con referee] [Rilevanza internazionale]
Archetti, F.A., Frigerio, M., Messina, V., & Toscani, D.
IKNOS Inference and knowledge in networks of sensors. International Journal of Sensor Networks,
7.
[Con referee] [Rilevanza internazionale]
Archetti, FA; Giordani, I; Vanneschi, L
Genetic Programming for Anticancer Therapeutic Response Prediction using the NCI-60 Dataset.
Computers & Operations Research, 37(8), 1395-1405.
[IF:1.769] [Con referee] [Rilevanza internazionale]
Archetti, FA; Giordani, I; Vanneschi, L
Genetic programming for QSAR investigation of docking energy. Applied soft computing, 10(1),
170-182.
[IF:2.084] [Con referee] [Rilevanza internazionale]
Bandini, S; Bonomi, A; Vizzari, G; Acconci, V
Self-organization models for adaptive environments: Envisioning and evaluation of alternative
approaches. Simulation modelling practice and theory, 18(10), 1483-1492.
[IF:0.728] [Con referee] [Rilevanza internazionale]
Bandini, S; Sartori, F
From handicraft prototypes to limited serial productions: Exploiting knowledge artifacts to support
the industrial design of high quality products. Artificial Intelligence for Engineering Design, Analysis
and Manufacturing, 24(01), 17-34.
[IF:0.64] [Con referee] [Rilevanza internazionale]
Bernardinello, L; Pomello Chinaglia, L; Rombolà, S
Closure Operators and Lattices Derived from Concurrency in Posets andOccurrence Nets.
Fundamenta Informaticae, 105(3), 211-235.
[IF:0.522] [Con referee] [Rilevanza internazionale]
38
Bertino, E; Maurino, A; Scannapieco, M.
Guest Editors' Introduction: Data Quality in the Internet Era
In IEEE Internet Computing 14, (4), pp 11-13, IEEE.
[con Referee] [Internazionale]
Bianco, S
Reflectance spectra recovery from tristimulus values by adaptive estimation with metameric
shape correction, Journal of the Optical Society of America A, 27(8),1868-1877.
[IF:1.933] [Con referee] [Rilevanza internazionale]
Bianco, S; Ciocca, G; Cusano, C; Schettini, R
Automatic Color Constancy Algorithm Selection and Combination, Pattern Recognition, 43(3), 695705
[IF:2.607] [Con referee] [Rilevanza internazionale]
Bianco, S; Schettini, R
Two New von Kries Based Chromatic Adaptation Transforms Found by Numerical Optimization,
Color Research and Application, 35(3),184-192
[IF:0.753] [Con referee] [Rilevanza internazionale]
Bisiani, R; Merico, D; Mileo, A; Pinardi, S
A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support. The Computer
Journal, Special Issue on "Artificial Societies for Ambient Intelligence", ISSN: 0010-4620, Oxford
University Press, 53(8): 1257-1276 first published online January 24,
2009, doi:10.1093/comjnl/bxn074.
[Con referee] [Rilevanza internazionale]
Bonizzoni, P
Constants and label-equivalence: A decision procedure for reflexive regular splicing languages.
Theoretical computer science, 411(6), 865-877.
[IF:0.838] [Con referee] [Rilevanza internazionale]
Bonizzoni, P; Della Vedova, G; Dondi, R; Mauri, G
Fingerprint Clustering with Bounded Number of Missing Values. Algorithmica, 58(2), 282-303.
[IF:1.239] [Con referee] [Rilevanza internazionale]
Bonizzoni, P; Della Vedova, G; Dondi, R; Pirola, Y
Variants of constrained longest common subsequence. Information processing letters, 110(20),
877-881.
[IF:0.612] [Con referee] [Rilevanza internazionale]
Bonizzoni, P; Della Vedova, G; Dondi, R; Pirola, Y; Rizzi, R
Pure Parsimony Xor Haplotyping. IEEE/ACM transactions on computational biology and
bioinformatics, 7(4), 598-610.
[IF:1.664] [Con referee] [Rilevanza internazionale]
Bonizzoni, P; Paun, G;Rozenberg, G; Zandron C
Preface. Natural Computing 9(2): 381-382
39
[Con referee] [Rilevanza internazionale]
Bonizzoni, P;De Felice, C; Fici, G; Zizza R
On the regularity of circular splicing languages: a survey and new developments. Natural
Computing 9(2): 397-420
[Con referee] [Rilevanza internazionale]
Bonizzoni, P; De Felice, C; Zizza R
A characterization of (regular) circular languages generated by monotone complete splicing
systems. Theor. Comput. Sci. 411(48): 4149-4161
[Con referee] [Rilevanza internazionale]
Bordogna, G; Pasi, G
A flexible multi criteria information filtering model. Soft Computing Journal, 14(8): 799-809.
[IF:1.512][Con referee] [Rilevanza internazionale]
Calegari, S; Pasi, G
Ontology-based Information Behaviour to improve Web Search. Future Internet, 2(4), 533-558.
[Con referee] [Rilevanza internazionale]
Cerofolini, G; Amato, P; Masserini, M; Mauri, G
A surveillance system for early-stage diagnosis of endogenous diseases by swarms of nanobots.
Advanced Science Letters, 3(4), 345-352.
[IF:1.253] [Con referee] [Rilevanza internazionale]
Ciocca, G
A Robust Multi-Feature Cut Detection Algorithm for Video Segmentation. ELCVIA: electronic
letters on computer vision and image analysis, 9(1), 32-46.
[Con referee] [Rilevanza internazionale
Ciucci, DE; Calegari, S
Granular Computing Applied to Ontologies. International journal of approximate reasoning, 51(4),
391-409.
[IF:1.679] [Con referee] [Rilevanza internazionale]
Colombo, G; Merico, D; Boncoraglio, G; De Paoli, FM; Ellul, J; Frisoni, G; et al
An Ontological Modelling Approach to Neurovascular Disease Study: the NEUROWEB Case. Journal
of biomedical informatics.
[IF:1.719] [Con referee] [Rilevanza internazionale]
Felloni, S; Leporati, A; Strini G
Diagrams of States in Quantum Information: An Illustrative Tutorial. International Journal of
Unconventional Computing, 6(3-4):197–221.
[Con referee] [Rilevanza internazionale]
Fersini, E; Messina, V; Archetti, FA
A probabilistic relational approach for web document clustering. Information processing &
management, 46(2), 117-130.
40
[IF:1.673] [Con referee] [Rilevanza internazionale]
Fersini, E; Messina, V; Archetti, FA; Manfredotti, CE
Combining Gene Expression Profiles and Drug Activity Patterns Analysis: A Relational Clustering
Approach. International Journal of Mathematical Modelling and Algorithms, 9(3), 275-289.
[Con referee] [Rilevanza internazionale]
Gianazza, E; Mainini, V; Castoldi, G; Chinello, C; Zerbini, G; Bianchi, C; et al
Different expression of Fibrinopeptide A and related fragments in serum of type 1 diabetic
patients with nephropathy. Journal of Proteomics, 73(3), 593-601.
[IF:5.074] [Con referee] [Rilevanza internazionale]
Gorla, A; Mariani, L; Pastore, F; Pezze', M; Wuttke, J
Achieving Cost-Effective Software Reliability Through Self-Healing. Computing and Informatics, 2,
1001-1022.
[IF:0.356] [Con referee] [Rilevanza internazionale]
Ishdorj, T.–O.; Leporati, A.; Pan, L.; Zeng, X; Zhang, X
Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre–computed
resources.Theoretical Computer Science 411:2345–2358.
[IF:0.838] [Con referee] [Rilevanza internazionale]
Lulli, G; Messina, V; Archetti, FA; Lanzeni, S
A mathematical model for optimal functional disruption of biochemical networks. Journal of
mathematical modelling and algorithms, 9(1), 19-37.
[Con referee] [Rilevanza internazionale]
Leporati, A.; Besozzi, D; Cazzaniga, P.; Pescini, D.; Ferretti C
Computing with energy and chemical reactions. Natural Computing, 9, 493-512.
[Con referee] [Rilevanza internazionale]
Leporati, A; Ferretti, C.
Modeling and Analysis of Firewalls by (Tissue-like) P Systems. Romanian Journal of Information
Science and Technology (ROMJIST), 13(2):169-180.
[IF:0.188] [Con referee] [Rilevanza internazionale]
Mileo, A.; Merico, D.; Bisiani R.
Support for Context-aware monitoring in Home Healthcare”. Journal of Ambient Intelligence and
Smart Environments (JAISE). Thematic Issue on "Computational Modeling of Human-Oriented
Knowledge in Ambient Intelligence", ISSN: 1876-1364, 2(1): 49-66, IOS Press.
[Con referee] [Rilevanza internazionale]
Misuraca, G; Viscusi, G
e-Governance for Development: lessons learned and strategic principles for designing an
operational roadmap. International Journal of Electronic Governance, 3(2), 118-133.
[Con referee] [Rilevanza internazionale]
Pasi, G
41
Issues in Personalizing Information Retrieval. IEEE Intelligent Informatics Bulletin, 11(1):3-6.
[Con referee] [Rilevanza internazionale]
Porreca, AE; Leporati, AO; Mauri, G; Zandron, C
Complete problems for a variant of P systems with active membranes. Romanian journal of
information science and technology, 13(2), 197-207.
[IF:0.188] [Con referee] [Rilevanza internazionale]
Porreca, AE; Mauri, G; Zandron, C
Non-confluence in divisionless P systems with active membranes. Theoretical computer science,
411, 878-887.
[IF:0.838] [Con referee] [Rilevanza internazionale]
Ramakrishnan, N; Tadepalli, S; Watson, LT; Helm, RF; Antoniotti, M; Mishra, B
Reverse Engineering Dynamic Temporal Models of Biological Processes and their Relationships.
Proceedings of the National Academy of Sciences of the United States of America.
[IF:9.771] [Con referee] [Rilevanza internazionale]
Sartori, F; Bandini, S; Petraglia, F; Svensson, J
A conceptual and computational approach to support learning and education in wide
organisations. International Journal of Entrepreneurship and Innovation Management, 11(3), 341355.
[Con referee] [Rilevanza internazionale]
Schettini, R; Corchs, S
Underwater image processing: state of the art of restoration and image enhancement methods,
EURASIP Journal on Advances in Signal Processing, 2010, Vol. 2010, Article ID 746052, 14 pages
doi:10.1155/2010/746052
[IF:1.012] [Con referee] [Rilevanza internazionale]
Schettini, R; Gasparini, F; Corchs, S; Marini, F; Capra, A; Castorina, A
A contrast image correction method, Journal of Electronic Imaging, 19(2), April-June 2010,
doi:10.1117/1.3386681
[IF:0.682] [Con referee] [Rilevanza internazionale]
Vizzari, G; Loregian, M; Locatelli, MP
Artificial societies in a community-based approach to ambient intelligence. The Computer Journal,
53(8), 1152-1168.
[IF:1.327] [Con referee] [Rilevanza internazionale]
Zadrozny, S.; De Tré, G.; Herrera-Viedma,E; and Pasi,G.
Guest Editorial: Soft approaches to information processing: from theory to applications. Control
and Cybernetics, 39, 895-897.
[Con referee] [Rilevanza internazionale]
Zhang,L; Battiato, S; Wang, Z; Schettini, R; Rao, KR
Emerging Methods for Color Image and Video Quality Enhancement, EURASIP Journal on Image
42
and Video Processing 2010, 2010:891703 doi:10.1155/2010/891703
[IF:0.619] [Con referee] [Rilevanza internazionale]
7.2 Intervento a convegno
Acerbi, E; Perez, G; Stella, FA
Hybrid Syntactic-Semantic Reranking for Parsing Results of ECAs Interactions usingCRFs. In
Advances in Natural Language Processing, 15-26, Springer.
[Con referee] [Rilevanza internazionale]
Agostini, A; Di Biase, E; Loregian, M
Stimulating cooperative and participative learning to match digital natives’ needs:Large multitouch-screens as cornerstone of pervasive classrooms. In Proceedings of Eighth Annual IEEE
International Conference on Pervasive Computing and Communications: PerCom 2010. PerEL
2010: The 6^th IEEE International Workshop on PervasivE Learning. Mannheim, Germany, 29
Marzo – 2 Aprile 2010, 274-279,IEEE.
[Rilevanza internazionale]
Amato, P; Masserini, ME; Mauri, G; Cerofolini, G
Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario. In
Swarm Intelligence. 7th International Conference, ANTS 2010 (pp.408-415). Berlin: Springer.
[Rilevanza internazionale]
Arcelli, F.; Franzosi, D.; Raibulet, C
NET Reverse Engineering with MARPLE, Proceedings of the 5th International Conference on
Software Engineering Advances (ICSEA 2010), Nice, France, 22nd-27th of August, 2010,227-231
[Rilevanza internazionale]
Arcelli, F; Maggioni, S
A metrics based detection of Micro Patterns, Proceedings of the IEEE WETSOM Workshop, colocated event with ICSE 2010, Cape Town, May 2010.
Arcelli, F; Perin, F; Raibulet, C; Ravani, F
Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach, ENASE
Communications in Computer and Information Science (CCIS) 69 Proceedings, L. A. Maciaszek, C.
González-Pérez, S. Jablonski (Eds.), 163-179, Springer-Verlag Berlin Heidelberg, 2010
[Rilevanza internazionale]
Arcelli, F; Viscusi, G; Zanoni, M
Unifying Software and Data Reverse Engineering, A Pattern Based Approach, in the Proceedings of
ICSOFT 2010, Athens, July 2010.
[Rilevanza internazionale]
Arcelli, F; Franzosi, D; Raibulet, C
Net Reengineering with Marple, Proceedings of International IEEE Conference ICSEA 2010, Nice,
August 2010.
43
[Rilevanza internazionale]
Arcelli, F; Zanoni, M; Caracciolo,A
A benchmark platform for design patterns detection, in the Proceedings of the PATTERNS 2010
Conference, Lisboa, Portugal November 2010.
[Rilevanza internazionale]
Arcelli, F; Formato F; Pareschi, R
Ontologies and communities co-evolution in information systems, Proceedings of KEOD
Conference 2010, Valencia Spain, Oct, 2010.
[Rilevanza internazionale]
Arcelli, F; Formato F; Pareschi,R
Information driven Collective intelligence, Proceedings of the International Conference on
Computational Collective Inteligence (ICCCI 2010), LNCS, Taiwan, November 2010.
[Rilevanza internazionale]
Arcelli, F; Zanoni, M; Vivianti, M; Porrini, E
A model proposal for program comprehension, Proceedings of International Conference on
Distributed Multimedia Systems, Chicago, USA, October 2010.
[Rilevanza internazionale]
Archetti, FA; Giordani, I; Messina, V; Maccagnola, D; Ogliari, G; Mari, D
A model for cost effectiveness analysis of using genetic information of oral anticoagulation
patients. In 2010 IEEE Workshop on Health Care Management (WHCM 2010). Institute of Electrical
and Electronics Engineers (IEEE).
[Rilevanza internazionale]
Baeza-Yates, R; Boldi, P. ; Bozzon, A. ; Brambilla, M.; Ceri, S.; Pasi, G.
Trends in Search Interaction, in Marco Brambilla and Stefano Ceri eds., Second Search Computing
Workshop: Challenges and Directions, number 6585, Lecture Notes in Computer Science, Springer
Verlag, Milano, 25-31.
[Con referee] [Rilevanza internazionale]
Baluda, M; Braione, P; Denaro, G; Pezzè, M
Structural Coverage of Feasible Code. In Proceedings of the Fifth International Workshop on
Automation of Software Test.
[Rilevanza internazionale]
Barone, D; Stella, FA; Batini, C
Dependency Discovery in Data Quality. In Advanced Information Systems Engineering 22nd
International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, Proceedings.
[Con referee] [Rilevanza internazionale]
Batini C., Grega S., Maurino, A
Optimal enterprise data architecture using publish and subscribe. HPDC 2010: 541-547
[Rilevanza internazionale]
44
Bernini, D
Architectural abstractions for space and time awareness: the case of responsive environments. In
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume,
12-16,ACM.
[Rilevanza internazionale]
Bernini, D; Micucci, D; Tisato F
A Platform for Interoperability via Multiple Spatial Views in Open Smart Spaces. In Proceedings of
the The IEEE symposium on Computers and Communications,1047-1052,IEEE.
[Con referee] [Rilevanza internazionale]
Bernini, D; Micucci, D; Tisato, F
Space Integration Services: a Platform for Space-aware Communication. In Proceedings of the
2010 International Conference on Wireless Communications and Mobile Computing: Connecting
the World Wirelessly. ACM.
[Rilevanza internazionale]
Bernini, D; Micucci, D; Tisato, F
A Space-Based Interoperability Model. In Ontology, Conceptualization and Epistemology for
Information Systems, Software Engineering and Service Science, 75-89, Springer.
[Con referee] [Rilevanza internazionale]
Bernini, D; Tisato, F
Explaining Architectural Choices to Non-architects. In Software Architecture, 352-359,Berlin:
Springer.
[Con referee] [Rilevanza internazionale]
Besozzi, D; Cazzaniga, P; Pescini, D; Mauri, G
An analysis on the influence of network topologies on local and global dynamics of
metapopulation systems. In Proceedings First Workshop onApplications of Membrane computing,
Concurrency and Agent-based modelling in POPulation biology Jena, Germany, 25th August 2010,
1-17.
[Rilevanza internazionale]
Bonizzoni, P; Della Vedova, G; Dondi, R; Pirola Y
Parameterized Complexity of k-Anonymity: Hardness and Tractability. IWOCA 2010: 242-255.
[Con referee] [Rilevanza internazionale]
Bonizzoni, P; Della Vedova, G; Dondi, R; Pirola Y; Rizzi, R
Pure Parsimony Xor Haplotyping CoRR abs/1001.1210
[Con referee] [Rilevanza internazionale]
Brisaboa, N. R; Cerdeira-Pena, A; Navarro, G; Pasi, G.
An efficient implementation of a flexible XPath extension. RIAO 2010: 140-147.
[Con referee] [Rilevanza internazionale]
Cabitza, F; Locatelli, MP; Simone, C
45
Awareness Information to Support Collaboration among Heterogeneous Communities: the case of
Care Networks, in IADIS International Conference Collaborative Technologies, 109-116.
[Con referee] [Rilevanza internazionale]
Cabitza, C; Viscusi, G
Care and enterprise systems: an archeology of case management, in Proc. of the 7th Conference
of the Italian Chapter of AIS - itAIS2010, October 8-9, Naples, Italy, D'Atri, A., Ferrara, M., George,
J.F., and Spagnoletti, P. (eds.), ISBN 978-88-6105-124-9.Best paper in Track ESA/2 Enterprise
systems adoption.
[Con referee] [Rilevanza internazionale]
Cabitza, C; Colombo, G; Simone, C
Online Lifebooks - depicting lived lives to foster personalized images of one?s own aging and
health. In the Proceedings of the track "Technology, Innovation and Images of Health and Aging"
at EASST Conference 2010, 'Practicing Science and Technology, Performing the Social' track
University of Trento, Italy, 2-4 September.
[Con referee] [Rilevanza internazionale]
Cabitza, C; Locatelli, M; Simone, C
Awareness Information To Support Collaboration Among Heterogeneous Communities: The Case
Of Care Networks. In CT 2010, Proceedings of the IADIS Conference on Collaborative Technologies,
Freiburg, Germany. 26 - 29 July. Part of MCCSIS 2010, IADIS Multi Conference On Computer
Science and Information Systems. ISBN: 978-972-8939-21-2
[Con referee] [Rilevanza internazionale]
Cabitza,C
Faithful to the Earth?: Reporting Experiences of Artifact-Centered Design in Healthcare. In
COOP2010: Proceedings of the 9th International Conference on the Design of Cooperative
Systems. 19-21 May, 2010. Aix en Provence, France. 25-44. ISBN: 978-1-84996-210-0 Acceptance
Rate: 34%.
[Con referee] [Rilevanza internazionale]
Cabitza, C; Zorzato, G
Developing A Flexible Electronic Patient Record As A Web Of Active Documents. Healthinf2010:
Proceedings of the Third International Conference on Health Informatics, 20-23 January 2010,
Valencia, Spain. 46-53. ISBN: 978-989-674-016-0 Acceptance Rate: 11% (46/410).
[Con referee] [Rilevanza internazionale]
Cagnoni, S; Vanneschi, L; Azzini, A
FDC-based particle swarm optimization. In Artificial Life and Evolutionary Computation:
Proceedings of Wivace 2008. World Scientific Publishing.
[Rilevanza internazionale]
S. Calegari, G. Pasi
Gronto: a granular ontology for diversifying search results. Proceedings of the First Italian
Information Retrieval Workshop (IIR 2010), CEUR-ws, 560, ISSN 1613-0073, 59-63.
[Con referee] [Rilevanza internazionale]
46
Cammareri, D; Raibulet, C
An Enhanced Approach to Automatic Generation of Mobile Widgets. Intervento presentato a: 12th
International Conference on Information Integration and Web-based Applications and
Services,Paris, France, 755-758.
[Rilevanza internazionale]
Carzaniga, A; Gorla, A; Perino, N; Pezzè, M
RAW: runtime automatic workarounds. In Proceedings of the 32nd ACM/IEEE International
Conference on Software Engineering – 2, 321-322, Association for Computing Machinery.
[Rilevanza internazionale]
Castelli, L; Lulli, G; Corolli, L
The Air Traffic Flow Management Problem with Time Windows. In Proceedings of the 4th
International Conference on Research in Air Transportation,201-208.
[Con referee] [Rilevanza internazionale]
Cazzaniga, P; Mauri, G; Milanesi, L; Mosca, E; Pescini, D
A novel variant of tissue P Systems for the modelling of biochemical systems. In Membrane
Computing, 210-226, Springer-Verlag.
[Rilevanza internazionale]
[Con referee] [Rilevanza internazionale]
Ciocca, G; Cusano, C; Schettini, R
Image orientation detection using low-level features and faces, Proceedings of SPIE Digital
Photography VI, 7537, 75370R.
[Con referee] [Rilevanza internazionale]
Ciocca, G; Schettini, R
Multiple Image Thumbnailing, Proceedings of SPIE Digital Photography VI, 7537, 75370S.
[Con referee] [Rilevanza internazionale]
Ciucci, DE
Classification of Dynamics in Rough Sets. In Rough Sets and Current Trends in Computing.7th
International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings, 257-266.
Berlin: Springer.
[Con referee] [Rilevanza internazionale]
Ciucci, DE
Temporal Dynamics in Rough Sets Based on Coverings. In RSKT Proceedings, 126-133.
[Con referee] [Rilevanza internazionale]
Ciucci, DE; Dubois, D
Rough sets and three valued connectives - Extended Abstract. In RST Proceeding, Journal of
Zhejiang Ocean University, 29, 411-415.
[Con referee] [Rilevanza internazionale]
47
Ciucci, DE; Dubois, D
Truth-Functionality, Rough Sets and Three-Valued Logics. In 40th International Symposium on
Multiple-Valued Logic 2010. IEEE.
[Con referee] [Rilevanza internazionale]
Célia da Costa Pereira, Dragoni, M; Pasi, G
User Evaluation of Multidimensional Relevance Assessment. Proceedings of the First Italian
Information Retrieval Workshop (IIR 2010), CEUR-ws, 560, ISSN 1613-0073, 29-33.
[Con referee] [Rilevanza internazionale]
Comerio, M; Truong H-L., TH; Batini, C; Dustdar, S
Service-oriented data quality engineering and data publishing in the cloud. SOCA 2010: 1-6
[Con referee] [Rilevanza internazionale]
Cusano, C; Santini, S
Cooperative classification of shared images. In Proc. of SPIE Multimedia Content Access:
Algorithms and Systems IV, volume SPIE 7540b, page 75400T.
[Con referee] [Rilevanza internazionale]
Dennunzio, A; Formenti, E; Weiss, M
2D Cellular Automata: dynamics and undecidability. Proceedings of 6th International Conference
on Computability in Europe 2010 (CiE 2010).
[Con referee] [Rilevanza internazionale]
Dominoni, MA; Pinardi, S; Riva, G
Omega Network: An adaptive approach to social learning. In Intelligent Systems Design and
Applications (ISDA), 2010 10th International Conference on, 953-958, IEEE.
[Con referee] [Rilevanza internazionale]
Farinaccio, A; Giacobini, M; Mauri, G; Provero, P; Vanneschi, L
On the Use of Genetic Programming for the Prediction of Survival in Cancer. In Gecco 2010.
Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, 163-170.
New York : ACM Press.
[Rilevanza internazionale]
Fersini, E; Messina, V; Archetti, FA
Web Page Classification: A Probabilistic Model with Relational Uncertainty. In Computational
Intelligence for Knowledge-Based Systems Design, 109-118,Springer.
[Con referee] [Rilevanza internazionale]
Fersini, E; Messina, V; Archetti, FA
Multimedia Summarization in Law Courts: A Clustering-Based Environment for Browsing and
Consulting Judicial Folders. In Advances in data mining. Applications and theoretical aspects, 237247,Petra Perner.
[Con referee] [Rilevanza internazionale]
Fersini, E; Messina, V; Arosio, G; Archetti, FA
Emotion recognition in judicial domain: a multilayer SVM approach. In MLDM 2009, 594-602.
48
[Rilevanza internazionale]
Fersini, E; Messina, V; Toscani, D; Archetti, FA; Cislaghi, M
Semantics and Machine Learning for Building the Next Generation of Judicial Court Management
Systems. In Proceedings of the International Conference on Knowledge Management and
Information Sharing.
[Con referee] [Rilevanza internazionale]
Fugini, MG; Raibulet, C; Ubezio, L
Risk Characterization and Prototyping. Intervento presentato a: 10th International Conference on
New Technologies of Distributed Systems.
[Rilevanza internazionale]
Fugini, MG; Raibulet, C; Ubezio, L
An Architectural Perspective on Risk Management in Work Environments. Intervento presentato a:
2010 Workshop Web2Touch - Living Experience through Web (Web2Touch 2010).
[Rilevanza internazionale]
Gasparini, F; Guarnera, M; Marini, F; Schettini, R
No-reference metrics for demosaicing, In Proc. of SPIE Image Quality and System Performance VII,
volume SPIE 7529
[Con referee] [Rilevanza internazionale]
Ishdorj, T.-O; Leporati, A; Pan, L; Wang, J
Solving NP-complete Problems by Spiking Neural P Systems with Budding Rules. In: Gh. Păun et al
(Eds.), Membrane Computing, 10th International Workshop, WMC 10, Revised Selected and
Invited Papers, 335–353, LNCS 5957, Springer.
[Con referee] [Rilevanza internazionale]
Kaddoum, E; Raibulet, C; Georgé, JP; Picard, G; Gleizes, MP
Criteria for the Evaluation of Self-* Systems. Intervento presentato a: ICSE 2010 Workshop on
Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
[Rilevanza internazionale]
Li, P; Viscusi, G
Quality Evaluation for Strategic Alignment Engineering: an eGovernment application, in Proc. of
the 5th International Workshop on BUSiness/IT Alignment and Interoperability BUSITAL'10 June
7th 2010 M. Petit, G. Gal, A. Castiaux, J. Ralyté, and P. Plebani (Eds.):, held in conjunction with
the The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10),
Hammamet, Tunisia. CEUR Workshop Proceedings (CEUR-WS.org) Vol-599 urn:nbn:de:0074599-8, ISSN 1613-0073.
[Con referee] [Rilevanza internazionale]
Locatelli, MP; Simone, C; Ardesia, V
Collocated Social Practices Surrounding Photo Usage in Archaeology, in 9th International
Conference on the Design of Cooperative Systems (COOP 2010), 163-182.
[Con referee] [Rilevanza internazionale]
49
Locatelli, MP; Ardesia, V; Cabitza, F
Supporting Learning By Doing In Archaeology With Active Process Maps. In eLearning 2010,
Proceedings of the IADIS International Conference on e-Learning, Freiburg, Germany. 26 - 29 July
2010. Part of MCCSIS 2010, IADIS Multi Conference On Computer Science and Information
Systems.
[Con referee] [Rilevanza internazionale]
Locatelli, MP; Simone, C
A community based metaphor supporting EUD within communities", in Proceedings of the
International Conference on Advanced Visual Interfaces, pp. 406.
[Con referee] [Rilevanza internazionale]
Mariani, L; Pezzè, M; Riganelli, O; Santoro, M
SEIM: Static Inference of Interaction Models. In Proceedings of the 2nd International Workshop on
Principles of Engineering Service Oriented Systems (PESOS).
[Rilevanza internazionale]
Marini, F; Cusano, C; Schettini, R
No-reference metrics for JPEG: analysis and refinement using wavelets. In Proc. of SPIE Image
Quality and System Performance VII, volume SPIE 7529, page 75290C.
[Con referee] [Rilevanza internazionale]
Marrara, S; Panzeri, E; Pasi, G
A double layer indexing structure for flexible querying of XML documents. RIAO 2010: 130-131
[Con referee] [Rilevanza internazionale]
Masi, I.; Sangalli, E.; Sannazzaro, O.; Agostini, A.; Di Biase, E.
FormAzione Docente e Apprendimento PartecipAttivo: Sperimentazione didattica con l’uso
dell’Interactive WhiteBoard. In Workshop GRIN-Kangourou Informatica e Scuola. Mirabilandia
(Cesena), Italy, 5-6 Maggio 2010.
[Con referee] [Rilevanza nazionale]
Mauri, G; Leporati, AO; Porreca, AE; Zandron, C
Computational Complexity Aspects in Membrane Computing. In Programs, proofs, processes. Proc.
CiE 2010, 317-320, LNCS 6158, Berlin: Springer.
[Con referee] [Rilevanza internazionale]
Mauri, G; Leporati, AO; Zandron, C
Energy-based Models of P systems. In: Gh. Păun et al (Eds.), Membrane Computing, 10th
International Workshop, WMC 10, Revised Selected and Invited Papers,104-124, LNCS 5957,
Springer-Verlag.
[Con referee] [Rilevanza internazionale]
Maurino, A; Batini, C; Grega, S
Using information capacity to assess integrated schema. In Proc. of International conference on
Information Quality 2010 Little Rock, USA.
[con Referee] [Internazionale]
50
Merico, D.; Bisiani, R.; Mileo, A.
Situation-Aware Indoor Tracking with high-density, large-scale Wireless
SensorNetworks," Indoor Positioning and Indoor Navigation (IPIN), 2010 International Conference
on,1-7, 15-17 Sept. 2010, doi: 10.1109/IPIN.2010.5646776
[Con referee] [Rilevanza internazionale]
Mileo, A; Pinardi, S; Bisiani, R
Movement Recognition using Context: a Lexical Approach Based on Coherence. In Proceedings of
the Sixth International Workshop on Modeling and Reasoning in Context.
[Rilevanza internazionale]
Mileo, A; Schaub, T; Merico, D; Bisiani R
Knowledge-Based Multi-criteria Optimization to Support Indoor Positioning.. Intervento
presentato a: Experimental evaluation of algorithms for solving problems with combinatorial
explosion (RCRA 2010), Bologna.
[Rilevanza internazionale]
Ogliari, G; Giordani, I; Mihalich, A; Castaldi, D; Di Blasio, AM; Dubini, A; et al
Profiling The Elderly In Oral Anticoagulant Therapy: Genetics, Informatics And Clinical Practice.
Intervento presentato a: COLONGY The 1st international congress on controversies in LONGEVITY,
HEALTH AND AGING, Barcelona, Spain.
[Rilevanza internazionale]
Ovaska, E; Raibulet, C
Doctoral Symposium of the European Conference on Software Architecture 2010. Intervento
presentato a: Fourth European Conference on Software Architecture: Companion Volume.
[Rilevanza internazionale]
Palmonari, M; Batini C
Design, redesign and publication of linked schema repositories in the large. MEDES 2010: 87-94
[Rilevanza internazionale]
Panziera L., Palmonari L., Comerio M., De Paoli F
WSML or OWL? A Lesson Learned by Addressing NFP-based Selection of Semantic Web Services. In
Proc. of NFPSLAM 2010
[con Referee] [Internazionale]
Pinardi, S. ; Bisiani R.
Movement Recognition with Intelligent Multisensor Analysis, a Lexical
Approach. Intelligent Environments (Workshops) 2010: 170-177
[Rilevanza internazionale]
Pirola, Y; Bonizzoni, P; Jiang, T
Haplotype Inference on Pedigrees with Recombinations and Mutations. In Algorithms in
Bioinformatics, 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010.
Proceedings, 148-161, Springer.
[Rilevanza internazionale]
51
Porreca, A. E; Leporati, A; Mauri, G; Zandron, C
P Systems with Elementary Active Membranes: Beyond NP and coNP. In M. Gheorghe, T. Hinze,
Gh. Păun (Editors), Proceedings of the Eleventh International Conference on Membrane Computing
(CMC 11), Springer-Verlag Heidelberg, 338–347. ISBN 978-3-86805-721-8.
[Con referee] [Rilevanza internazionale]
Porreca, A. E; Leporati, A; Zandron, C
On a Powerful Class of Non-Universal P Systems with Active Membranes. Developments in
Language Theory (DLT 2010), 364–375, LNCS 6224, Springer.
[Con referee] [Rilevanza internazionale]
Ramirez, EH; Brena, R; Magatti, D; Stella, FA
Probabilistic Metrics for Soft-Clustering and Topic Model Validation. In International Conference
on Web Intelligence and Intelligent Agent Technology, 406-412.
[Con referee] [Rilevanza internazionale]
Redaelli, S; Manzoni, SL; Federici, ML; Bandini, S
A SCA-based model for Open Crowd aggregation. In 4th International Conference on Pedestrian
and Evacuation Dynamics, 438-449,Springer.
[Rilevanza internazionale]
Solidoro, A; Viscusi, G
Convergence of Digital Media And Information Growth in Newspapers: A Case Study. In MCIS 2010
Proceedings.
[Con referee] [Rilevanza internazionale]
Solidoro, A, Viscusi G
Emergent issues in information growth and mediation: organizational practices and design in
newspapers evolution, the 3rd Latin American and European Meeting on Organization Studies
(LAEMOS), 7–10 April 2010, Buenos Aires. Sub-theme 4: Digital media, information and
organizations.
Tisato, F; Micucci, D; Bernini, D
A Uniform Approach to Communication and Computation. In Proceedings of the 2010
International Conference on Wireless Communications and Mobile Computing: Connecting the
World Wirelessly, 646-650,ACM.
[Con referee] [Rilevanza internazionale]
Toffetti, G; Gambi, G; Pezzè, M; Pautasso, C
Engineering Autonomic Controllers for Virtualized Web Applications. In Proceedings of the 10th
International Conference on Web Engineering, 66-80,Springer.
[Rilevanza internazionale]
Toscani, D; Bargna, F; Quarenghi, L; Archetti, FA; Giordani, I
A software system for data integration and decision support for evaluation of air pollution health
impact. In Proceedings of the12th International Conference onEnterprise Information
Systems.Volume 2,Artificial Intelligence and Decision Support Systems,284-290,Joaquim Filipe and
José Cordeiro.
52
[Rilevanza internazionale]
Truong, L; Comerio, M; Maurino, A; Dustdar, S;De Paoli, F
On Identifying and Reducing Irrelevant Information in Service Composition and Execution.
In Proc. of wise 2010, 52-66
[con Referee] [Internazionale]
Truong, L; Dustdar, S; Maurino, A; Comerio, M
Context, Quality and Relevance: Dependencies and Impacts on RESTful Web Services Design
In Proc. of ICWE Workshops 2010, 347-359
[con Referee] [Internazionale]
Ughetto, L; Pasi, G; Claveau, V; Pivert, O; Bosc, P.
Implication in information retrieval systems. RIAO 2010: 61-64
[Con referee] [Rilevanza internazionale]
Valsecchi, A; Porreca, AE; Leporati, A; Mauri, G; Zandron, C
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active
Membranes. In Membrane Computing, 461-478, LNCS 5957, Springer-Verlag.
[Rilevanza internazionale]
Valsecchi, A; Vanneschi, L; Mauri, G
A Study on the Automatic Generation of Asynchronous Cellular Automata Rules by Means of
Genetic Algorithms. In Cellular Automata, 429-438, Berlin: Springer.
[Con referee] [Rilevanza internazionale]
Vanneschi, L; Castelli, M; Bianco, S; Schettini, R
Genetic Algorithms for Training Data and Polynomial Optimization in Colorimetric Characterization
of Scanners, 12th European Workshop on Evolutionary Computation in Image Analysis and Signal
Processing (EvoIASP2010) incorporated in Evo* 2010, in Applications of Evolutionary Computing,
Lecture Notes in Computer Science, 6024, 282-291, Istanbul (Turkey)
[Con referee] [Rilevanza internazionale]
Vanneschi, L; Codecasa, D; Mauri, G
An Empirical Comparison of Parallel and Distributed Particle Swarm Optimization Methods. In
Gecco 2010. Proceedings of the 12th Annual Conference on Genetic and Evolutionary
Computation,15-22. New York : ACM Press.
[Rilevanza internazionale]
Vanneschi, L; Codecasa, D; Mauri, G
A Study of Parallel and Distributed Particle Swarm Optimization Methods. In BADS '10. Proceeding
of the 2nd workshop on Bio-inspired algorithms for distributed systems, 9-16,New York : ACM
Press.
[Rilevanza internazionale]
Vanneschi, L; Farinaccio, A; Giacobini, M; Antoniotti, M; Mauri, G; Provero, P
Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A
53
Comparison of Machine Learning Techniques. In Proceedings of the EvoBIO 2010 Conference, Evo*
2010, 110-121.
[Rilevanza internazionale]
Ventresque, A.; Cazalens, S. ; Cerqueus, T. ; Lamarre, P.; Pasi, G.
Personalization through Query Explanation and Document Adaptation, PersDB 2010, 4th
International Workshop on Personalized Access, Profile Management, and Context Awareness in
Databases, in conjunction with the VLBD Conference, 13 September 2010, Singapore.
[Con referee] [Rilevanza internazionale]
Viscusi, G; Batini, C
Legal issues in eGovernment services planning, in “Information Technology and Innovation Trends
in Organizations”, Proc. of the 7th Conference of the Italian Chapter of AIS – itAIS2010, October 89, 2010, Naples, Italy, D’Atri, A., Ferrara, M., George, J.F., and Spagnoletti, P. (eds.), Physica-Verlag
HD, ISBN 978-88-6105-124-9.
Whalen, M; Godefroid, P; Polini, A; Tillmann, N; Visser, W
FITE: Future Integrated Testing Environment. In Proceedings of the Workshop on the Future of
Software Engineering Research.
[Rilevanza internazionale]
7.3 Contributo in libro
Bandini, S; Bonomi, A; Vizzari, G
What Do We Mean by Asynchronous CA? A Reflection on Types and Effects of Asynchronicity. In S.
Bandini, S. Manzoni, H. Umeo, & G. Vizzari (a cura di), Cellular Automata, 385-394.
[Con referee] [Rilevanza internazionale]
Bandini, S; Bonomi, A; Vizzari, G
Modeling and Programming Asynchronous Automata Networks: The MOCA Approach. In S.
Bandini, S. Manzoni, H. Umeo, & G. Vizzari (a cura di), Cellular Automata, 345-355.
[Con referee] [Rilevanza internazionale]
Bandini, S; Bonomi, A; Vizzari, G; Acconci, V
A Cellular Automata-Based Modular Lighting System. In S. Bandini, S. Manzoni, H. Umeo, & G.
Vizzari (a cura di), Cellular Automata, 334-344.
[Con referee] [Rilevanza internazionale]
Bordogna, G.; Pagani, M; Pasi, G.
Imperfect Multisource Spatial Data Fusion Based on a Local Consensual Dynamics. in J. Kacprzyk, F.
E. Petry, A. Yazici (Eds.): Uncertainty Approaches for Spatial Data Modeling and Processing: A
Decision Support Perspective. Studies in Computational Intelligence, 271, Springer.
[Con referee] [Rilevanza internazionale]
Cabitza, F
A User Study on How To Render Criticality in Interfaces that Visualize Process Maps. In A. D'Atri et
al. (eds.), Management of the Interconnected World. DOI 10.1007/978-3-7908-2404-9_45, ISBN:
54
978-3-7908-2403-2. Springer-Verlag Berlin Heidelberg.
[Con referee] [Rilevanza internazionale]
Cabitza, F; Simone, C
Supporting document augmentation to leverage representations in knowledge work. International
reports on socio-informatics, 7(1), 271-279 IISI. ISSN 1861-4280
[Con referee] [Rilevanza internazionale]
Comerio M., De Paoli F., Grega S., Maurino A., Batini C.
WSMoD: A Methodology for QoS-Based Web Services Design. In Liang-Jie Zhang (ed.) : Web
Services Research for Emerging Applications – Discoveries and Trends, IGI Global 2010. ISBN
9781616922641.
[con Referee] [Internazionale]
De Michelis, G.
Dal nord Italia al’Europa: un nuovo modo di fare industria?, in: P. Perulli, A. Pichierri, a cura di, La
crisi italiana nel mondo globale. Economia e società del Nord, Einaudi, Torino, 305-321.
[Rilevanza nazionale]
De Michelis, G.
Made in Italy: due o tre cose che so di lui e perché forse sono importanti, In: S. Carpentieri, A.
Pagliardini, B. Tasser, L. Zybatow, a cura di, Italia e Italie - Identità di un Paese al plurale, Peter
Lang, Frankfurt am Mein ,175-188.
[Rilevanza nazionale]
Dennunzio, A; Formenti, E.; Kurka, P
Cellular automata dynamical systems. In G. Rozenberg, T. Back, & J.N. Kok (a cura di), Handbook of
Natural Computing, 25-75, Springer-Verlag.
[Con referee] [Rilevanza internazionale]
Ibarra, O.H; Leporati, A; Păun, A; Woodworth, S.
Spiking Neural P Systems: Characterizations and Complexity. In Gh. Păun, G. Rozenberg, A.
Salomaa (eds.), chapter 23, The Oxford Handbook of Membrane Computing.
[Con referee] [Rilevanza internazionale]
Kleinberg, S; Antoniotti, M; Tadepalli, S; Ramakrishnan, N; Mishra, B
Systems Biology via Redescription and Ontologies (II): A Tool for Discovery in Complex Systems. In
A.A. Minai, D. Braha, & Y. Bar-Dam (a cura di), Proceedings of the Sixth International Conference
on Complex Systems. New York: Springer.
[Rilevanza internazionale]
Kraft, D.; Bordogna, G; Pasi G.
Fuzzy Set Theory. Encyclopedia of Library and Information Sciences, Third Edition, DOI: 10.1081/EELIS3-120043233, Taylor & Francis.
[Con referee] [Rilevanza internazionale]
Leporati A
55
Quantum Inspired (UREM) P Systems: Definition and Computational Power. Chapter 13 of Gh.
Păun,G. Rozenberg, A. Salomaa (eds.), The Oxford Handbook of Membrane Computing.
[Con referee] [Rilevanza internazionale]
Mantegari, G; Palmonari, ML; Vizzari, G
Rapid Prototyping a Semantic Web Application for Cultural Heritage: The Case of MANTIC. In L.
Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, et al. (a cura di), The
Semantic Web: Research and Applications, 406-410.
[Con referee] [Rilevanza internazionale]
Palmonari, M. and Viscusi, G.
Semantic Repositories for eGovernment Initiatives: Integrating Knowledge and Services, in Vitvar,
Tomas; Peristeras, Vassilios; Tarabanis, Konstantinos (Eds.) Semantic Technologies for EGovernment, Springer Berlin Heidelberg, pp. 185-207.
Pasi G.
Approaches to Intelligent Information Retrieval, in "Machine Interpretation of Patterns: Image
Analysis and Data Mining", R. K. De, D. P. Mandal, A. Ghosh (eds.), World Scientific.
[Con referee] [Rilevanza internazionale]
Viscusi, G; Batini, C
Design of Information Systems Integration as Research Intervention: A Case Study. In A. D’Atri, M.
De Marco, A.M. Braccini, & F. Cabiddu (a cura di), Management of the Interconnected World, The
Italian Association for Information Systems, 351-358,Physica-Verlag HD, ISBN: 978-3-7908-24032.Springer.
[Con referee] [Rilevanza internazionale]
7.4 Monografia
Polillo, R
Facile da usare - Una moderna introduzione all'ingegneria della usabilità. Milano: Apogeo.
[Rilevanza nazionale]
Viscusi, G; Batini, C; Mecella, M
Information Systems for eGovernment: a quality of service perspective. SPRINGER.
[Con referee] [Rilevanza internazionale]
7.5 Curatele
Cheng, B; de Lemos, R; Garlan, D: Giese, H; Litoiu, M; Magee, J; Müller, H; et al
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Association for Computing Machinery.
[Rilevanza internazionale]
Melucci, M; Mizzaro, S; Pasi, G.
56
IIR 2010 - Proceedings of the First Italian Information Retrieval Workshop, Padua, Italy, January 2728, CEUR-WS.org 2010.
[Con referee] [Rilevanza internazionale]
Messina E.
Operation Research and Data mining in Biological Data” Computers and Operations Research,
37(8), 1359-1514.
7.6 Tesi di dottorato
BIANCO, S.
Color correction algorithms for digital cameras. (Tesi di dottorato, Università degli Studi di MilanoBicocca).
BONOMI, A.
Dissipative multilayered cellular automata facing adaptive lighting. (Tesi di dottorato, Università
degli Studi di Milano-Bicocca).
CAZZANIGA, P.
Stochastic algorithms for biochemical processes. (Tesi di dottorato, Università degli Studi di
Milano-Bicocca).
COMERIO, M.
Web service contracts: specification, selection and composition. (Tesi di dottorato, Università degli
Studi di Milano-Bicocca).
GIORDANI, I.
Relational clustering for knowledge discovery in life sciences. (Tesi di dottorato, Università degli
Studi di Milano-Bicocca).
MAGGIONI, S.
Design pattern detection and software architecture reconstruction: an integrated approach based
on software micro-structures. (Tesi di dottorato, Università degli Studi di Milano-Bicocca, 2010).
MANFREDOTTI, C.E.
Modeling and inference with relational dynamic bayesian networks. (Tesi di dottorato, Università
degli Studi di Milano-Bicocca).
MERICO, D.
Tracking with high-density, large-scale wireless sensor networks. (Tesi di dottorato, Università
degli Studi di Milano-Bicocca).
PASTORE, F.
Automatic diagnosis of software functional faults by means of inferred behavioral models. (Tesi di
dottorato, Università degli Studi di Milano-Bicocca).
57
PIROLA, Y.
Combinatorial problems in studies of genetic variations: haplotyping and transcript analysis. (Tesi
di dottorato, Università degli Studi di Milano-Bicocca).
58
8. Scuole e/o Corsi
Corso di Dottorato
INFORMATICA
Corso di Dottorato di Ricerca In Informatica
Responsabile/i: BANDINI STEFANIA
Master di Secondo Livello
INFORMATION AND COMMUNICATION TECHNOLOGY (ICT) MANAGEMENT
Responsabile/i: ARCELLI FONTANA FRANCESCA
59
9. Laboratori di ricerca
Si riportano nel seguito informazioni sintetiche sui laboratori operanti nel Dipartimento,
ilresponsabile, gli afferenti, e le principali linee di ricerca. Informazioni e presentazioni molto
piùdettagliate
delle
attività
e
dei
risultati
raggiunti
si
possono
trovare
all’indirizzohttp://www.disco.unimib.it/go/177452892 che si raggiunge dal sito del
Dipartimentowww.disco.unimib.it selezionando la voce ricerca. Tali presentazioni sono lo
strumento più utileper comprendere le linee di ricerca del Dipartimento DISCO.
Laboratorio di Analisi e Test del Software (LTA)
Responsabile: Pezzè Mauro
Afferenti: Braione Pietro, Denaro Giovanni, Mariani Leonardo, Pastore Fabrizio, Oliviero Riganelli,
Santoro Mauro.
Principali linee delle ricerche.
Area generale: ingegneria del software ed in particolare:
- analisi dinamica e statica del software;
- integrazione di tecniche di analisi statica e dinamica
- generazione di casi di test
- diagnosi e correzione automatica dei difetti;
- sistemi autonomici ed auto adattativi;
I risultati conseguiti hanno permesso l’ottenimento di un nuovo finanziamento da parte della
comunità europea (progetto STREP Pincette, iniziato nel 2010). Inoltre, i risultati di ogni linea di
ricerca, sono stati presentati nell’ambito delle principali conferenze e comunità internazionali di
riferimento.
Nel corso del 2011, il Laboratorio LTA continuerà a perseguire ed estendere le linee di ricerca
sopra-elencate, avvalendosi del finanziamento Pincette (EU STREP).
Laboratorio di Applicazioni delle Tecnologie Mobili (NOMADIS)
Responsabile: Bisiani Roberto
Afferenti: Dominoni Matteo, Ruocco Sergio ,Mileo Alessandra, Merico Davide, Pinardi Stefano
NOMADIS svolge attività di ricerca e sperimentazione nel campo delle applicazioni delle tecnologie
mobili sia dal punto di vista della rilevanza sociale ed economica sia dal punto di vista informatico.
In particolare NOMADIS si propone di:
- fornire l'ambiente e il know-how per lo sviluppo e il testing di idee innovative nel campo delle
applicazioni delle tecnologie della mobilità;
- fornire risposte innovative per quanto riguarda le tecnologie mobili;
- collaborare con Enti e Istituzioni di ricerca pubblici e privati o soggetti industriali nel campo delle
applicazioni mobili, con particolare riguardo a come queste applicazioni possano migliorare la
qualità della vita e i sistemi di mobilità.
NOMADIS valorizza i risultati della ricerca e della sperimentazione nel campo delle applicazioni
delle tecnologie mobili sviluppando prototipi innovativi in diversi settori:
60
Salute (assistenza e monitoraggio anziani);
Trasporti e Turismo;
Ambiente e Scienze del Territorio;
Istruzione (e-Learning e Mobile Learning).
Particolare importanza è stata data a tutti quei sistemi che possono risultare utili a livello sociale e
personale, come ad esempio quelli volti a fornire supporto per health care, ovvero in ambito
medico-sanitario e di salute della persona.
Il Laboratorio è dotato di numerose tecnologie di localizzazione, interna ed esterna, che lo
pongono all'avanguardia in questo settore.
Interessanti risultati sono stati ottenuti nell’ambito della navigazione e localizzazione basata su
dati inerziali e del riconoscimento del movimento. Tali risultati sono confluiti nella tematica più
generale di riconoscimento delle attività di un anziano al domicilio allo scopo di monitorare il
comportamento e di generare un feedback. Si è affrontato il problema della localizzazione del
paziente nell'ambiente e si sono ottenuti risultati incoraggianti basati sulla combinazione di
tecniche di elaborazione dei segnali e analisi probabilistica a tecniche basate sulla conoscenza per
il riconoscimento di situazioni di interesse. Questi risultati sono stati presentati a conferenze
internazionali in ambito AI, Smart Environment, WSN ed Assisted Living e pubblicati su riviste
scientifiche di settore a cura di Oxford University Press, IOS press e Cambridge University Press.
Nell’ambito della conferenza internazionale su Intelligent Environments (IE09, Luglio 2009
Barcellona, Spagna) abbiamo partecipato al workshop WISHWELL (Workshop on Intelligent
Environments Supporting Healthcare and Well-being) presentando il paper dal titolo “Support for
Context-aware Monitoring in Home Healthcare” incluso negli atti del worskshop e
successivamente pubblicato su journal. La presentazione a cura del Dott. Davide Merico ha vinto il
premio come miglior presentazione.
Nell’ambito del progetto di monitoraggio e assistenza sanitaria SINDI, abbiamo realizzato
interfacce specifiche e differenziate per consentire l’accesso alle informazioni a diversi livelli di
dettaglio sia da parte del personale medico e paramedico che del soggetto monitorato e dei suoi
cari.
Le attività del Laboratorio Nomadis sono state portate avanti prestando particolare attenzione
non solo al contributo scientifico della ricerca, ma anche all’importanza delle collaborazioni
internazionali. Tali collaborazioni ed il lavoro svolto fino ad ora hanno reso possibile la
presentazione e l’approvazione di un Progetto di Ricerca che rientra nell’ambito del Programma
Cooperativo Europeo su AAL, dal titolo: “Fostering social interactions of home-bound and less
educated elderly people” (EASY REACH)
Le attività di ricerca svolte nell’ambito di questo progetto saranno guidate dall’esperienza del
laboratorio Nomadis sotto la guida del prof. Roberto Bisiani. Gli altri paesi membri sono Grecia,
Spagna, Germania e Olanda.
Le sfide tecnologiche a cui ci si propone di rispondere si focalizzano su alcuni aspetti principali:
- Mantenere gli anziani socialmente attivi, aumentando il numero e la qualità dei contatti
con il mondo esterno.
- Recuperare le esperienze che andrebbero perse invece di essere trasferite ai giovani.
- Rendere disponibili i servizi on line agendo da intermediario tra la persona ed il servizio.
- Aiutare l’utente nell’organizzazione delle proprie attività, supportando le capacità di
organizzazione e memorizzazione
- Mantenere le relazioni sociali acquisite durante la propria esistenza, tramite la gestione di
comunità “reali”.
Nell’ambito del progetto europeo EASY REACH, si intende realizzare un sistema che supporterà
molti tipi di interazione sociale tra utenti. L’hardware sarà molto semplice e le interazioni sociali
61
saranno gestite da un software capace di gestire le richieste e le interazioni implementate come
“servizi”, ad esempio:
- Organizzando gruppi di utenti che già si conoscono, come parenti e amici;
- Creando gruppi di persone interessate ad un particolare argomento;
- Organizzando gruppi per lo scopo di interfacciare l’utente con organizzazioni reali già
esistenti, come una parrocchia o un club;
- Organizzando sessioni di “aiuto” nelle quali un anziano con una particolare esperienza
supporta e istruisce altre persone che trarranno così beneficio del suo bagaglio di
conoscenze.
Inoltre EasyReach esaminerà continuamente le azioni e le interazioni dell’anziano in modo da:
- Supportare un’agenda di appuntamenti e “cose da fare”;
- Organizzare automaticamente le informazioni dell’utente;
- Monitorare la qualità delle interazioni dell’utente per fornire un feedback (all’anziano o a
un caregiver);
- Promuovere nuove interazioni tra utenti.
Nell’ambito più generale del riconoscimento di situazioni (sistemi context-aware), si sono
identificati possibili partner commerciali per l’implementazione di soluzioni basate sulla
metodologia innovative per il “monitoraggio intelligente” basata su:
- la raccolta di dati sensoriali eterogenei;
- l’aggregazione di ogni singolo tipo di dato tramite algoritmi specifici di feature analysis;
- la formalizzazione di un processo di interpretazione (situation assessment) delle
informazioni raccolte con tecniche basate sulla rappresentazione della conoscenza e
ragionamento automatico (knowledge-based data fusion).
Tra i possibili ambiti applicativi di tale metodologia considereremo la domotica remota evoluta, le
soluzioni per agricoltura di precisione, il monitoraggio di animali, le soluzioni per il controllo degli
accessi, la logistica “attiva”.
Nell’ambito più specifico del progetto SINDI, intendiamo continuare a verificare la validità delle
specifiche del sistema in merito alla tollerabilità degli strumenti utilizzati sia per pazienti in RSA
che per soggetti residenti al proprio domicilio.
Il nuovo prototipo del sistema SINDI sarà inoltre testato utilizzando dei prototipi di nodi di rete di
sensori appositamente realizzati. Questi nodi già dotati di tutti i sensori necessari al sistema
saranno integrati con dati provenienti da sensori inerziali e da celle di carico.
L’utilizzo dei nuovi nodi di rete di sensori non sarà limitato al solo progetto SINDI. E’ in atto la
valutazione del loro utilizzo per quanto riguarda la grande attrezzatura scientifica “Piattaforma di
Ambient Intelligence per realizzazioni sperimentali” in fase di attivazione presso il DISCo.
I prototipi nuovi nodi infine costituiscono un importante strumento per la verifica dei progetti di
navigazione off-board e di raccolta dati georeferenziata.
Laboratorio di Architetture Software (SAL)
Responsabile: Tisato Francesco
Afferenti: Micucci Daniela, Bernini Diego, Francesco Fiamberti
SAL conduce attività di ricerca di base e applicata nell’area delle architetture software. L’obiettivo
principale è quello di definire, sviluppare e sperimentare modelli architetturali di riferimento,
metodologie e strumenti orientati a risolvere problematiche legate a domini applicativi emergenti.
62
L’attività del Laboratorio spazia dalla ricerca di base fino alla realizzazione di applicazioni e si
articola in:
− ricerca di base, orientata alla definizione di modelli architetturali innovativi;
− progetti pilota, orientati alla applicazione dei modelli generali e alla sperimentazione di
tecnologie emergenti attraverso lo sviluppo di piattaforme prototipali;
− progetti applicativi, in cui le conoscenze acquisite nella ricerca di base e nei progetti pilota sono
trasferite nella soluzione di problemi concreti, attraverso la collaborazione organica con realtà
produttive e utenti finali.
Le esperienze maturate nei progetti applicativi e la conseguente identificazione di problemi critici
costituiscono a loro volta lo stimolo principale per la definizione e la calibrazione delle tematiche
di ricerca.
Le aree di ricerca affrontate dal SAL possono essere ricondotte alle seguenti keywords: time
awareness, space awareness, self awareness (architectural reflection) e multimodality.
Time awareness indica la capacità di un sistema nel poter ragionare su aspetti temporali legati
all’informazione di dominio e/o nel percepire il “flusso” del tempo reale.
Space awareness indica la capacità di un sistema nel poter ragionare su locazioni spaziali, sia
fisiche e sia logiche (e su eventuali entità in esse posizionate), senza dover conoscere
esplicitamente, e quindi gestire, la struttura dello spazio.
Self awareness indica la capacità di un sistema di osservare e controllare se stesso in termini di
QoS, comportamento, risorse.
Multimodality indica l’abilità di supportare tipi di flussi informativi eterogenei fra componenti
software.
Le quattro aree di ricerca trovano la loro concretizzazione in specifici domini applicativi. Ad
esempio, la time awareness è applicata nei sistemi di videosorveglianza e nella robotica; la space
awareness è applicata nei sistemi di gestione delle emergenze, nei sistemi di monitoraggio e
controllo ambientale e nei sistemi di supply chain; infine, sia la self-awareness e sia la
multimodality sono utili in tutti quei domini applicativi che ricadono sotto il termine di ambient
intelligence. Le quattro aree sono, inoltre, tra loro complementari: ad esempio, in un sistema di
tracking di persone è importante poter ragionare sulla posizione spaziale di una persona e sugli
istanti temporali in cui la persona è stata rilevata al fine di poter prevedere dove è diretta e
quando arriverà.
La partecipazione a progetti di ricerca finanziati dalla EU, dal MIUR nonché da società esterne e la
collaborazione con il Consorzio Milano Ricerche, ha permesso al SAL di realizzare sia applicazioni
pilota che sistemi concreti in cui tradurre i risultati della ricerca. Si riportano a titolo
esemplificativo il progetto InSyEme, il progetto MAIS, il progetto ESCORT e il progetto Sviluppo di
un sistema integrato di elaborazione delle immagini 3D, modulare adattabile alle diverse
applicazioni.
Infine, è parte essenziale delle attività del Laboratorio lo svolgimento di Tesi di Laurea e di
Dottorato, fortemente integrate con i progetti, con l’obiettivo di formare sia ricercatori, sia
professionisti con forte attitudine al trasferimento tecnologico.
Nel 2010-2011 l'attività del Laboratorio costituirà l'evoluzione di quella pregressa, sperimentando
il prototipo della piattaforma atta a supportare il deplopment e la gestione dinamica di
applicazioni distribuite e adattive ("Mobile Grid") per la gestione di emergenze nell’ambito del
progetto InSyEme. La piattaforma realizza meccanismi di riflessione architetturale attraverso una
chiara separazione fra livello base e livello meta. Parallelamente, si metterà a punto un prototipo
che realizza sia un meccanismo standardizzato per la definizione di informazioni spazialmente
contestualizzate, sia meccanismi atti a supportare l’interoperabilità fra componenti (flussi
comunicativi) basati anch’essi su contestualizzazione spazio-temporale. In questo ambito si
63
affronteranno problematiche relative al context-based routing applicato a contesti spaziali. Si
condurranno sperimentazioni nel contesto del progetto di dipartimento GAS, nel contesto della
domotica grazie ad una collaborazione con BTicino che ha messo a disposizione del laboratori parti
del loro impianto di domotica, nonché nel dominio dei responsive environment.
Laboratorio di Assistenza Tecnologica alle Organizzazioni Non Governative (TangoLab)
Responsabile: Polillo Roberto
Il laboratorio Tango intende costituire un punto di sperimentazione e di diffusione di esperienze
per la realizzazione di applicazioni Web innovative per organizzazioni non-profit e per i Paesi in via
di sviluppo. In particolare, nell’ambito di TangoLab vengono svolte tesi di laurea e stage finalizzati
alla identificazione, sperimentazione e valutazione di strumenti innovativi di tipo Web 2.0, che
possano aiutare le organizzazioni di volontariato (e, in particolare, le ONG che operano nei Paesi
in via di sviluppo), a svolgere meglio il loro lavoro. La filosofia è quella di perseguire la
valorizzazione e il riuso di componenti software open-source e di servizi gratuiti disponibili in rete.
Nell’ambito di questi obbiettivi, gli specifici temi di ricerca sono i seguenti:
­ interaction design patterns per siti Web di organizzazioni non-profit;
­ piattaforme open-source per site-building e per il social networking;
­ piattaforme e servizi online per la comunicazione attraverso la rete, con particolare attenzione
ai servizi compatibili con infrastrutture low-band;
­ tecnologie di integrazione e mashup di componenti software Web 2.0 e servizi applicativi rete;
L’attività del 2010 ha riguardato:
­ l’analisi della presenza web delle ONG italiane e statunitensi, con identificazione delle bestpractices del settore, con particolare riferimento a funzionalità di tipo “social” e per fundraising;
­ l’identificazione e la sperimentazione di componenti software open-source e di servizi online
gratuiti o a basso costo per la realizzazione della presenza Web di organizzazioni non-profit,
con riferimento alle best-practices individuate. Particolare attenzione è stata data ai
componenti di tipo “Web 2.0” e ai servizi di cloud-computing.
- realizzazione del sito Web www.tangonet.it , portale informativo sui temi di interesse del
laboratorio. Il portale è il principale strumento di diffusione dei risultati delle sperimentazioni
del laboratorio.
Fra le esperienze significative, si cita la realizzazione di una prima versione del sito Web della
Università di Sancti Spiritus a Cuba (CUSS), realizzata nell’ambito del programma Exchange di
cooperazione fra CUSS e Unimib, attraverso due tesi di laurea magistrale in Teoria e tecnologia
della Comunicazione.
Laboratorio di Bioinformatica e Calcolo Naturale (BIMIB)
Responsabile: Mauri Giancarlo
Afferenti: Bonizzoni Paola, Antoniotti Marco, Zandron Claudio, Rizzi Raffaella, Vanneschi Leonardo,
Zoppis Italo, Anthonath Roslin Sagaya Mary, Pescini Dario, Cazzaniga Paolo, Pirola Yuri, Farinaccio
Antonella, Porreca Antonio
64
Il laboratorio di Bioinformatica e Calcolo Naturale conduce ricerche nei campi della Biologia
Computazionale, dell'Analisi di Sequenze, della "Systems Biology" e nella applicazione contestuale
di tecniche algoritmiche avanzate.
Sottosezioni del laboratorio:
Algoritmica Sperimentale: Responsabile P. Bonizzoni.
L'attività di ricerca della sottosezione di Algoritmica Sperimentale ha come obiettivi principali lo
sviluppo e sperimentazione di algoritmi per la ricostruzione di filogenesi nell'ambito del modello
perfetto, in presenza di eventi di ricombinazione o mutazioni ricorrenti. In particolare si intende
affrontare la soluzione efficiente di problemi di confronto tra alberi filogenetici ed alberi di geni
(riconciliazione). Nell'ambito del laboratorio di Bioinformatica, la ricerca principalmente si
focalizzerà sul problem computazionale della ricostruzione di trascritti (o assembly) e predizione
dello splicing alternativo a partire da short-reads e pair-ends.
Temi di ricerca:
– Disegno di metodi algoritmici e sperimentazione di algoritmi nei seguenti ambiti tematici in
genomica comparativa: predizione della struttura genica a partire da trascritti (splicing
alternativo) e problema della aplotipizzazione ed inferenza degli SNP (Single Nucleotide
Polymormism).
– Modelli di calcolo basati sullo splicing nel DNA lineare e circolare medianti strumenti della
teoria dei linguaggi formali.
– Studio della complessità computazionale e di approssimazione del problema della
anonimizzazione dei dati.
Risultati ottenuti: Algoritmi esatti, parametrici e di approssimazione per il problema dello XORgenotyping. Sviluppo del software PIntron per la predizione della struttura introne-esone di geni
basato su una procedura efficiente di fattorizzazione degli EST e di una metodologia di agreement
di dati di fattorizzazione. Disegno di una procedura di decisione per linguaggi regolari riflessivi di
aplicing. Caratterizzazione e decisione di linguaggi di splicing circolare generati da sistemi
monotoni completi.Si è dimostrato che in vari casi il problema della anonimizzazione di tabelle è
difficile da approssimare e si è fornito un algoritmo parametrico.
Systems Biology: Responsabile M. Antoniotti
Temi di ricerca: Micro array studies, Statistical Methods and Systems Biology. Metodi di clustering
per studi di micro arrays, ontologie per la loro descrizione, mappature genotipo-fenotipo
simulazione di modelli di sistemi biologici.
Nei prossimi due anni le attività della sottosezione Systems Biology si concentrerà su tre temi:
1 Ricostruzione di modelli di sistemi biologici a partire da misure sperimentali in serie temporale ad esempio, esperimenti di misura di espressione genica; particolare attenzione verrà rivolta
aproblematiche di ottimizzazione basate su algoritmi genetici.
2 Possibile inferenza di mutazioni e/o componenti mancanti in un modello o pathway tramite
analisi di algoritmi di controllo.
3 Definizione di ontologie e relativi strumenti software per la mappatura genotipo-fenotipo.
Laboratorio di Evoluzione dei Sistemi Software e Reverse Engineering (ESSERE)
Responsabile: Arcelli Fontana Francesca
Afferenti: Raibulet Claudia, Zanoni Marco
65
Temi di ricerca: Analisi di tecniche e tools per la reverse engineering, in particolare per la
ricostruzione dell’architettura software e per il riconoscimento dei design patterns da codice Java
e C++. Analisi di strumenti per l’Application Portfolio Management, per la visualizzazione di
codice, per l’analisi statica e dinamica del codice e per la migrazione di componenti legacy verso
architetture orientate ai servizi. Utilizzo di tecniche di classificazione supervisionata per il
riconoscimento di design patterns.
Nei prossimi anni oltre a cercare maggiori finanziamenti a livello nazionale ed internazionale,
verranno sviluppate attività di ricerca nelle seguenti direzioni:
- nell’area della reverse engineering, si cercherà prima di tutto di estendere, migliorare le
prestazioni e completare le funzionalità offerte da Marple (Metrics and Architetcure
Reconstruction plug-in for Eclipse) che attualmente è in grado di ricostruire l’architettura
software di un sistema Java attraverso alcune viste, di riconoscere alcuni design patterns da
codice Java e di calcolare metriche orientate agli oggetti. Nuove tecniche per la ricostruzione
dell’architettura software e il riconoscimento dei design pattern verranno sperimentate.
Sempre in questo ambito si cercherà di proporre un benchmark per il confronto dei risultati
offerti dai vari strumenti di design pattern detection disponibili (collaborazione in corso con
University of Szeged, Ungheria) e possibilmente anche un benchmark per il confronto di
strumenti di software architecture reconstruction.
- Nell’ambito dell’evoluzione dei sistemi software e sempre della reverse engineering si cercherà
di proporre un insieme di metriche per la valutazione del design e dell’architettura software di
un sistema attraverso il riconoscimento di micro-strutture nel codice, che possono fornire
indizi sulla qualità del sistema e sui punti che necessitano maggiore attività di refactoring o
reengineering. Ci si concentrerà sull’informazione ricavata attraverso il riconoscimento dei
design pattern, dei micro pattern e degli anti pattern (code smell). In particolare nell’ottica
software evolution il riconoscimento di queste strutture può essere usato non solo per la
reverse engineering ma anche come strumento di supporto in fase di sviluppo, attraverso
anche l’integrazione di un modulo di riconoscimento di best practices di
programmazione/progettazione.
- Nell’area della modernizzazione dei sistemi esistenti, ricerca parzialmente finanziata, oltre a
sperimentare tool di supporto alla comprensione e modernizzazione di sistemi legacy (anche in
Cobol, RPG,..) sviluppati da IBM, ACG, Microfocus, si cercherà di definire una metodologia per
la migrazione di sistemi esistenti verso architetture SOA. Inoltre nell’ambito di Marple, verrà
sviluppato e integrato un plug-in di eclipse per l’esportazione di modelli da codice come
supporto all’Architecture Driven Modernization e alla Model driven Reverse Engineering In
questo ambito sarà nostro interesse avviare una collaborazione con il gruppo in Francia (INRIAAtlas Group) che ha maggiormente lavorato in questo ambito.
- Sempre nell’ambito della reverse engineering, verrà sviluppata una metodologia congiunta di
integrazione per dati e funzioni estendendo una metodologia precedentemente sviluppata per
le fasi di reverse engineering e integrazione concettuale sviluppata dal Prof. Batini e dal suo
gruppo di ricerca.
- Nell’area di ricerca recentemente avviata sulla Community driven Web Intelligence che ha
l’obiettivo di combinare algoritmi e metodi per l’analisi delle comunità web e algoritmi per la
classificazione del contenuto testuale al fine di comprendere l’evoluzione del Web 2.0,
particolare interesse sarà rivolto allo sviluppo di applicazioni che vanno dalla generazione
automatica di ontologie specializzate associate a specifiche comunità fino all’identificazione di
comunità che utilizzano le ontologie per condividere la conoscenza. Ci si concentrerà
66
sull’analisi della co-evoluzione nei sistemi informativi, considerando il semantic web come una
rete dinamica. La ricerca intenderà anche mostrare come è possibile estrarre un insieme di
web communities data una ontologia attraverso tecniche di matching e l’applicazione di
tecniche di interrogazione dei linguaggi concettuali e algoritmi di community detection dalla
tradizione delle complex networks.
- Verranno incentivate collaborazioni internazionali sia attraverso la ricerca di visitatori
interessati alle nostre attività di ricerca e sia attraverso periodi all’estero in particolare dei
dottorandi.
Laboratorio di Imaging and Vision (IVL)
Responsabile: Schettini Raimondo
Afferenti: Ciocca Gianluigi, Gasparini Francesca, Colombo Alessandro, Corchs Silvia, Cusano
Claudio, Bianco Simone, Marini Fabrizio
Le attività del Laboratorio sono finalizzate alla:
- Ricerca di base per lo sviluppo di nuovi algoritmi e metodologie per l’imaging, l’analisi e
classificazione di immagini, e la visione che potranno trovare applicazione nel medio e lungo
periodo.
- Ricerca e sviluppo di nuovi algoritmi di elaborazione ed analisi per prodotti di largo consumo,
quali telefoni cellulari, fotocamere, webcam, monitor, video-proiettori, stampanti a colori,
fotocopiatrici e fax multifunzionali.
- Ricerca e sviluppo di nuovi algoritmi, metodi, modelli e sistemi per la gestione e riproduzione
del colore.
- Ricerca e sviluppo di algoritmi, metodi e modelli atti a quantificare la qualità percepita di
immagini e video.
- Ricerca e sviluppo di nuovi algoritmi di indicizzazione e ricerca per i sistemi di archiviazione di
informazioni multimediali (immagini, video, oggetti 3D).
- Ricerca e sviluppo di nuovi algoritmi e metodologie per la videosorveglianza e la biometria dei
volti 2D e 3D.
- Diagnostica per immagini, controllo qualità, visualizzazione e fruizione di dati scientifici.
- Human-Computer Interaction basata su tecniche di visione artificiale.
- 2D e 3D Augmented Reality.
- Cooperazione con Organismi Internazionali finalizzata alla definizione di standard legati
all’imaging, quali: misura e specifica del colore, stima della qualità delle immagini e dei video;
codifica dell’informazione pittorica.
I risultati delle ricerche svolte sono visibili nelle pubblicazioni, nei dimostratori SW realizzati e
visibili presso il Laboratorio, nei deliverable dei progetti finanziati da enti esterni.
La ricerca nel 2011-12 sarà prevalentemente orientata all’analisi ed interpretazione semantica di
media pittorici (in cooperazione con l’Università’ di Madrid); la stima automatica della qualità di
dati multimediali (attività supportata da Oce’); il riconoscimento e la classificazione di veicoli
(progetto SMELLER e progetto TRAFFIC); il riconoscimento di oggetto in scene complesse (attività
supportata da Almaviva, Almawave e Accenture).
Verrà, ove possibile, potenziata la cooperazione con le imprese e lo scambio di collaboratori e
dottorandi con Università estere.
67
Laboratorio di Informatica e Robotica per l’Automazione (IRA)
Responsabile: Sorrenti Domenico Giorgio
Le principali linee delle ricerche sono:
- elaborazione delle immagini e visione artificiale per la robotica mobile ed il controllo del traffico;
- modellizzazione 2D/3D di ambienti (SLAM) sia basandosi su sistemi stereoscopici che singola
camera (monoslam);
- (auto)localizzazione di robot mobili;
- tracking e localizzazione di agenti (anche robotici) mobili (per benchmarking robotico).
Nel corso del 2009 i principali risultati scientifici hanno riguardato le linee di ricerca della
modellizzazione di ambienti basandosi su sistemi di visione ed il benchmarking in generale di
sistemi si modellizzazione di ambienti.
Per quanto riguarda la modellizzazione di ambienti basandosi su sistemi di visione si e' proposta
una nuova parametrizzazione dei punti che, pur consentendo una immediata inizializzazione dei
punti nel filtro di SLAM, consente un risparmio significativo in termini di occupazione di memoria;
la significatività deriva dalla dipendenza quadratica che si ha nello strumento analitico di elezione
per questo tipo di problemi, il filtro di Kalman, rispetto al numero di punti del mondo. Per questo
motivo con una parametrizzazione più parsimoniosa si possono rappresentare mondi di
dimensioni maggiori, a parità di complessità computazionale.
Per quanto riguarda il benchmarking generico di sistemi di modellizzazione di ambienti, si sono
proposte delle tecniche di raccolta della cosiddetta Ground Truth della robot pose, cosa di difficile
esecuzione in indoor, indipendenti dai sensori dei robot. Il lavoro, oltre ad essere stato pubblicato
su rivista, ha contribuito al successo del progetto CEE RAWSEEDS, dedicato al benchmarking
generico di sistemi di modellizzazione di ambienti, che si è concluso con i complimenti di reviewers
ed officier.
La linea di ricerca sulla navigazione robotica su mappa nota verrà perseguita, nell'ambito indoor,
all'interno del progetto Grandi Attrezzature 2008, che si intende far divenire il contesto in cui
svolgere la valutazione delle prestazioni di diversi approcci. Su questo aspetto siamo nello stato
dell'arte e la parte interessante è la possibilità di effettuare valutazioni di prestazioni realistiche.
Ciò si collega alla linea di benchmarking menzionata più avanti.
La linea di costruzione autonoma di mappe verrà proseguita nella direzione di gestione di ambienti
dinamici, questo lavoro verrà svolto in collaborazione con il gruppo di robotica del dipartimento di
Elettronica e Informazione del Politecnico di Milano. In quest'area siamo sulla frontiera della
ricerca e non si vuole perdere il vantaggio acquisito Inoltre, per i risultati in questo ambito,
diventerà sempre più importante, scientificamente, fornire una valutazione delle prestazioni. Ciò si
collega alla linea di benchmarking menzionata più avanti.
La linea di ricerca sulla navigazione autonoma urban outdoor verrà perseguita attraverso la
congiunzione dei lavori di tracking robusto da osservatore in movimento e di modellazione
autonoma del mondo già svolti. Questo lavoro prevede anche il completamento dell'attrezzaggio
di un veicolo outdoor per portarlo sotto controllo da calcolatore. Questa tematica, oggetto di una
proposta, inopinatamente bocciata, per il bando Grandi Attrezzature 2007, è ancora ritenuta di
rilevanza strategica, non solo per il laboratorio.
La linea di benchmarking degli algoritmi di SLAM, visto anche il lavoro e l'apprezzamento riscosso
con revisori ed officier del progetto RAWSEEDS, finanziato dalla CEE, verrà continuato basandosi
sulla infrastruttura del progetto Grandi Attrezzature 2008 e ricercando nuove fonti di
finanziamento.
68
Laboratorio di Information Retrieval (IR)
Responsabile: Pasi Gabriella
Afferenti: Calegari Silvia, Emanuele Panzeri
L'avvento e la rapida diffusione di Internet e del World Wide Web hanno generato un grande
interesse per le problematiche legate all'accesso automatico di informazioni rilevanti alle necessità
informative di un utente. La quantità di informazioni disponibili sul Web è cresciuta tanto da
generare una reale esigenza di sistemi efficaci che permettano un accesso semplice e flessibile alle
informazioni di interesse. Col termine flessibilità in questo contesto si intende la capacità del
sistema di gestire informazioni imperfette (vaghe e/o incerte), e di adattare e personalizzare il suo
comportamento al contesto dell'utente, apprendendone le reali esigenze. I sistemi più usati per
accedere alle informazioni su Web sono i motori di ricerca, che costituiscono la punta dell'iceberg
dell’attività di ricerca in Information Retrieval (letteralmente “reperimento di informazioni”),
disciplina le cui radici risalgono agli anni sessanta.
L'attività di ricerca del Gruppo di Information Retrieval è finalizzata alla definizione di modelli e
tecniche innovative, con particolare attenzione alla tematica della personalizzazione e della
modellazione del contesto. Le principali attività di ricerca del Gruppo riguardano:
- Definizione di linguaggi di interrogazione flessibili per il reperimento di documenti
semistrutturati (XML). L'attività di ricerca svolta ha portato alla definizione di strutture dati per
documenti XML che permettono di verificare in modo efficiente vincoli flessibili sia sulla
struttura sia sul contenuto dei documenti.
- Implementazione e valutazione di sistemi che verificano la rilevanza di documenti sulla base di
molteplici criteri (quali pertinenza, affidabilita’ della sorgente di informazione, copertura degli
interessi dell’utente) in modo personalizzato
- Definizione di approcci concettuali all’IR: definizione di metodi basati su ontologie per la
diversificazione personalizzata dei risultati ottenuti dopo una ricerca su Web, e definizione di
metodi basati su ontologie per l’espansione concettuale di query.
- Definizione e implementazione di tecniche innovative per il clustering gerarchico applicato a
basi documentali. Definizione di nuovi algoritmi di clustering basati sul concetto di “qualità dei
cluster”.
Le attività di ricerca svolte nell’ambito del Laboratorio di IR si collocano in un contesto di ricerca
internazionale, con particolare attenzione alle problematiche considerate di punta dalla comunità
scientifica di IR. La ricerca che si intende svolgere riguarderà principalmente le seguenti tematiche:
definizione di approcci personalizzati all’IR, modellazione del contesto, approcci concettuali all’IR,
valutazione della rilevanza e della qualità delle informazioni. Si definiranno progetti internazionali
che favoriranno le collaborazioni con altri centri di ricerca (principalmente mediante strumenti di
finanziamento europei). La visibilità internazionale del laboratorio sarà garantita da collaborazioni
scientifiche, dalla visita di ricercatori stranieri, da collaborazioni con Università estere, e da
organizzazione di eventi scientifici di rilievo internazionale. Si intende inoltre collaborare con altri
laboratori di ricerca del Dipartimento.
Laboratorio di Tecnologie Innovative per l'Interazione e i Servizi (ITIS)
69
Responsabile: De Paoli Flavio
Afferenti 1: De Michelis Giorgio, Simone Carla, Agostini Alessandra, Maurino Andrea, Comerio
Marco, Cabitza Federico, Li Pei, Locatelli Marco,Panziera Luca, RulaAnisa, Viscusi Gianluigi,
Dal 2010 C. Batini, che faceva parte in precedenza del laboratorio ITIS, se neè distaccato, per
divergenze sulle strategie di crescita. Batini continua a collaborare con gli altri componenti il
laboratorio, ma in posizione di autonomia.
Le principali attività di ricerca riguardano la modellazione, progettazione e sviluppo di tecnologie e
la definizione di metodologie e framework per l'interazione, i sistemi informativi, i servizi, la
qualità delle informazioni e l'e-government. In particolare:
-
la modellazione riguarda la definizione di modelli e linguaggi per la descrizione di:
◦ processi di lavoro e organizzativi;
◦ requisiti di qualità dei servizi;
◦ informazioni di contesto;
◦ workstation del futuro in un contesto cooperativo;
◦ sistemi di ambient intelligence per migliorare la capacità di accogliere di un edificio
universitario.
-
la progettazione di sistemi e lo sviluppo di nuove tecnologie riguardano:
◦ sistemi e tecnologie peer-to-peer per il supporto alla collaborazione e per la gestione e
condivisione della conoscenza;
◦ sistemi di supporto alla collaborazione e al coordinamento in strutture organizzative
complesse;
◦ sistemi di classificazione (semi)automatica di documenti e servizi mediante ontologie e
tracciamento del comportamento;
◦ sviluppo di tecnologie per l’interazione e interfacce uomo-macchina multimodali per
sistemi collaborativi;
◦ sviluppo di tecniche e strumenti per l'analisi e il miglioramento della qualità dei dati;
◦ sviluppo di tecniche semantiche per la descrizione di proprietà non funzionali dei servizi
(costo, performance, disponibilità del servizio, sicurezza, trust,licenze d’uso, ecc.);
◦ progettazione e sviluppo di una pervasive classroom.
-
la definizione di metodologie e i relativi framework tecnologici riguardano la Service Science
con un approccio multidisciplinare che comprende:
◦ aspetti di management, socio-organizzativi e tecnologici;
◦ definizione di tecniche e strumenti semantici per la selezione e ordinamento di Web
services;
◦ definizione di tecniche e strumenti per la valutazione di compatibilità e composizione di
Dal 2010 Batini Carlo, che faceva parte in precedenza del laboratorio ITIS, se neè distaccato, per
divergenze sulle strategie di crescita. Batini Carlo continua a collaborare con gli altri componenti il
laboratorio, ma in posizione di autonomia.
1
70
contratti associati a servizi.
Le principali aree applicative coinvolte sono: context-aware computing, eGovernment, sistemi
collaborativi flessibili adattabili al contesto e personalizzabili, sistemi informativi per le
organizzazioni, social computing, ubiquitous e mobile computing, web services, qualità dei dati e
dei servizi, repositories di schemi concettuali e ontologie.
Nell’area del coordinamento è proseguita l’analisi in diversi ambiti applicativi: in particolare, in
quello sanitario e in quello dell’Archeologia, e più in generale dei Beni Culturali. Quest’ultima
ricerca è stata svolta in collaborazione con enti ospedalieri lombardi e con l’Università di Bologna,
sui due ambiti applicativi. Il prototipo che combina in modo flessibile l’accesso a documenti con la
presenza di processi di lavoro (ProDoc) è stato arricchito con funzionalità che facilitino la
contestualizzazione della raccolta di informazioni documentali rispetto al processo.
Nell’area sistemi Multi Agente il modello CASMAS-E e l’architettura che supporta l’esecuzione di
applicazioni con esso modellate è stato completato consentendone l’utilizzo in applicazioni che
colmano la frattura tra mondo reale in cui gli attori operano e gli spazi virtuali definiti dalle
informazioni gestite dall’applicazione stessa.
Nell’area delle tecnologie WEB 2.0, è proseguita l’integrazione con strumenti Open Source a
supporto di reti di attori appartenenti a strutture organizzative debolmente connesse che hanno
trovato una prima area di sperimentazione nel progetto AOP UNOLOMBARDIA: IL PRIMARIO
AVANZATO- FEASR- Misura 124.
Nell'area di modellazione e sviluppo di workstation del futuro in un contesto cooperativo, le
principali linee di ricerca sono:
- lo sviluppo di un nuovo concept per le applicazioni di utente che si ispira alla situated
action perspective;
- lo sviluppo di un approccio al design (in particolare al design dell'interazione) capace di
saldare la creatività con l'ascolto degli stakeholders;
- la riflessione sul social computing, visto come allargamento dello spazio di possibilità di
interazione sociale e non come costititutivo di uno spazio virtuale.
Nell’area della progettazione e sviluppo di una “pervasive classroom” ci si è concentrati nell’uso
dei larghi schermi interattivi svolgendo, tra le altre cose, una sperimentazione in collaborazione
con una scuola superiore e con il coinvolgimento di alcuni studenti della LM in TTC. È iniziata la
collaborazione con una scuola elementare di Arona per un disegno partecipativo di un ciclo di
lezioni che utilizzi una versione semplificata (per schermi single-touch invece che multi-touch) del
prototipo “Fairytale Box”.
Nell’area sistemi Multi Agente il modello CASMAS-E e la sua architettura sono state sperimentate
in applicazioni per la didattica interattiva e utilizzando le tecnologie ed i dispositive messi a
disposizione del DISCo nell’ambito del progetto Grandi Attrezzature Scientifiche dell’Ateneo nel
corso del 2009.
Nell’area specifica dei Beni Culturali, si e’ consolidato lo sviluppo di un prototipo per la fruizione
dei beni relativi alla Milano antica combinando tecnologie e approcci innovativi: il prototipo è
stato presentato alla DG Cultura della Regione Lombardia suscitando interesse in vista delle
attività relative ad EXPO2015. Nell’ambito del progetto PRIN “Tecniche e strumenti basati sulla
conoscenza per la gestione, la correlazione e la fruizione di dati archeologici” è iniziato lo sviluppo
di un sistema per la gestione di dati archeologici integrato con funzionalità di georeferenziazione e
integrazione di dati provenienti da scavi e gruppi di ricerca diversi. È inoltre allo studio
71
l’integrazione con basi di dati esterne, per esempio dati bibliografici di natura diversa, per
costruire un primo prototipo di strumento di supporto all’interpretazione socio-economica degli
insediamenti nell'Età del Bronzo in Italia. L’attività è svolta in collaborazione con il Laboratorio
Lintar e i dipartimenti di archeologia dell’Università di Bologna e dell’Università di Milano.
Nel dicembre 2010 ha preso avvio il progetto “Tecnologie Integrate per la Documentazione e la
Valorizzazione dei Beni Culturali” finanziato dalla Regione Lombardia nell’ambito dell’Accordo
Quadro con le Universita’ Lombarde. L’Università di Milano-Bicocca è coordinatore mentre gli altri
partner sono il Politecnico di Milano, l’Università di Milano e l’Università di Pavia.
Nell'area di eGovernment, sono attivi due progetti internazionali con l'Università di Birzeit in
Palestina focalizzati sui temi dell'interoperabilità semantica e l'open government. Inoltre, la
metodologia eG4M è stata presentata come best practice nel Workshop - E-Government Tools in
Practice: How to Develop a Sound Implementation Road Map, tenutosi a Ramallah nel luglio
2010,nell’ambito delMENA-OECD Governance Programme(http://www.oecd.org/).
Nell'area di modellazione e sviluppo di workstation del futuro in un contesto cooperativo, i
risultati di particolare rilevanza ottenuti nel 2010 sono:
- Il progetto del sistema operativo per workstation itsme
- Il libro in uscita presso MIT Press (contratto già firmato) 'design things' scritto sotto lo
pseudonimo di A. Telier in collaborazione con T. Binder, P. Ehn, P. Linde, G. Jacucci e I.
Wagner.
Il finanziamento del laboratorio dovrà essere maggiormente qualificato verso
l’internazionalizzazione, sia verso progetti europei sia come sviluppo del progetto eG4M verso i
paesi del Mediterraneo, di cui in seguito. Per i progetti Europei verranno sviluppati i temi della
qualità dei dati, della descrizione delle qualità non funzionali dei servizi e delle tecniche di
valutazione e ranking associate, dei sistemi di coordinamento e del knowledge management in
ambito Web 2.0 e Semantic Web. Per il progetto eG4M, sarà dato spazio a sperimentazioni della
metodologia e allo sviluppo di strumenti di supporto, che, configurandosi come ricerca applicativa,
verranno affidati allo spin-off NexttLab. Altri strumenti di finanziamento sarà la partecipazione ai
progetti finanziati dal MIUR e dalla Regione Lombardia.
La metodologia di eGovernment, studiata nel progetto eG4M, verrà estesa ad aspetti economicoorganizzativi e giuridici. Riguardo agli aspetti economici, verrà analizzato il tema del valore di
business dei servizi e delle informazioni, e il supporto a una modellazione evolutiva del sistema
informativo al fine di rilevare il grado di allineamento tra strategia e ICT.
Nell’area della qualità dei dati si passerà dallo studio prevalentemente metodologico degli ultimi
anni allo sviluppo di tecniche su aspetti avanzati quali la misurazione della qualità in un contesto di
privacy, l’analisi delle relazioni tra dipendenze e il miglioramento delle tecniche di record linkage
mediante conoscenza sullo schema. Negli aspetti metodologici sarà arricchita l’estensione già in
atto da dati strutturati verso mappe, immagini e testi. Verranno anche in quest’area sviluppati
strumenti applicativi; in quest’ambito, e le metodologie sviluppate saranno collegate alle suite di
strumenti dei provider di piattaforme (Oracle, IBM, ecc.), che hanno proceduto recentemente a
acquisizioni di aziende specializzate nella qualità dei dati, a dimostrazione del carattere strategico
dell’area.
Nell’area Beni Culturali proseguirà l’attività del progetto PRIN per lo sviluppo delle funzionalità di
georeferenziazione e integrazione di dati provenienti da scavi e gruppi di ricerca diversi e da basi di
dati esterne, per esempio dati bibliografici di natura diversa. Verrà inoltre avviato lo studio degli
aspetti di presentazione e interazione per consentire ai ricercatori di archeologia sia l’inserimento
72
e la classificazione dei reperti e dei siti di scavo, sia l’accesso al sistema per l’interpretazione socioeconomica degli insediamenti nell'Età del Bronzo in Italia. L’attività sarà svolta in collaborazione
con il Laboratorio Lintar e i dipartimenti di archeologia dell’Università di Bologna e dell’Università
di Milano.
Nell’area delle tecnologie d’integrazione, saranno estese le metodologie precedentemente
sviluppate per le fasi di reverse engineering e integrazione concettuale. Per la parte reverse
engineering sarà sviluppata una metodologia congiunta per dati e funzioni. Verranno analizzate
nuove tecniche di integrazione, di tipo integration on demand e “heterogeneous information
integration” basate sull’approccio data space e su information retrieval. Verranno inoltre
sviluppati strumenti di supporto a cura dello spin off NexttLab.
Nell’area del “governo dei dati (data governance)” verrà arricchito l’approccio basato su repository
di schemi concettuali al fine di considerare sorgenti di dati eterogenee, di condividere schemi e
modelli concettuali e di riutilizzare tali schemi a supporto di attività di integrazione, gestione
documentale e pianificazione strategica. In questa prospettiva verrà definito un Conceptual Metadata Management framework per l’integrazione di schemi concettuali su vasta scala. In questo
ambito verranno studiate le forme espressive e i meccanismi inferenziali per rappresentare ed
elaborare astrazioni di modelli concettuali.
Nell’area dei servizi verrà consolidato il modello di descrizione delle proprietà non funzionali PCM
(Policy Centered Meta-Model) per produrre un linguaggio intermedio per la descrizione di
proprietà che svolga il compito di unificare le descrizioni e permettere di applicare algoritmi e
tecniche per la valutazione, il confronto e il ranking dei servizi. Inoltre, il PCM, attualmente
descrittonei linguaggi semantici WSML e OWL, sarà ridefinito nel linguaggio RDF per ottenre
descrizioni più “leggere”, quindi più pratiche e performanti, ed aumentare la compatibilità con gli
standard che si stanno affermando nell’ambito del Semantic Web. Proseguirà lo sviluppo del
prototipo PoliMaR (Policy Matchmaker and Ranker) per consentire di trattare diversi formalismi di
descrizione dei servizi e fornire descrizioni compatibili con lo standard dei Linked Open Data.
L'attività sarà sviluppata in collaborazione con l’Open University di Londra (UK).
Sempre nell'area dei servizi verranno definite tecniche per automatizzare il processo di
valutazione di compatibilità tra contratti associati a servizi composti. Il prototipo SeCO2 esteso e
consolidato al fine di trattare contratti espressi mediante formalismi eterogenei che permettono
di descrivere varie tipologie di clausole (ad esempio, qualità dei servizi, termini di business,
contesto e legali). L'attività sarà sviluppata in collaborazione con l’Università Tecnica di Vienna
(Austria).
Nel 2011 l'attività di ricerca proseguirà nelle linee dell’anno 2010 consolidando i vari prototipi sulla
base di nuove funzionalità, di nuovi domini applicativi e della integrazione con tecnologie
complementari, specialmente all’interno dei progetti in corso. In particolare, l’area della
collaborazione si arricchirà delle tematiche relative all’aging che aprono interessanti spunti di
ricerca e di relazioni internazionali.
Laboratorio di Intelligenza Artificiale (L.Int.Ar)
Responsabile: Manzoni Sara
Afferenti (personale DISCo): Bandini Stefania, Sartori Fabio, Vizzari Giuseppe, Lorenza Manenti
(studente PhD in Informatica)
73
http://www.lintar.disco.unimib.it/
http://www.disco.unimib.it/uploadredirect/upload/LINTAR-wksDISCo-160609.pdf
Le attività di ricerca del laboratorio LINTAR si orientano allo sviluppo e sperimentazione di originali
modelli, metodi, strumenti e tecnologie dell’Intelligenza Artificiale, dell’Ingegneria della
Conoscenza, e di Semantic Web a diversi contesti applicativi.
Le aree di ricerca dell’Intelligenza Artificiale coinvolti nelle ricerche attuali del laboratorio sono:
Intelligenza Artificiale Distribuita: Automi Cellulari, Multi-Agent Based Simulation; Modelli e
tecnologie per il web semantico; Ingegneria e rappresentazione della conoscenza: acquisizione,
rappresentazione e gestione della conoscenza (Knowledge Based Systems, Case-Based Reasoning,
Knowledge Management, Metodi di reasoning basati su Logiche modali spaziali).
LINTAR svolge le proprie ricerche in vari contesti applicativi grazie al supporto di partner
industriali, di ricerca e esperti di diversi settori applicativi: Pervasive Computing (Project
Automation, Engin Soft S.p.A.), Knowledge Management for Product and Process design (Pirelli
Tires, Fontana Pietro S.p.A., NOAH Guitars, Acconci Studio, Politecnico Calzaturiero), Crowd
Profiling and Management (Polizia di Stato, organizzatori di eventi e artisti, Comune di Milano,
CROWDYXITY SRL).
Durante il 2010 i contesti applicativi in cui si sono principalmente concentrate le attività di ricerca
sono state:
Crowd studies in collaborazione con il centro di ricerca CSAI (Complex Systems and Artificial
Intelligence, www.csai.unimib.it) e suoi partner (Prof. Fabietti, Dip. Scienze Umane per la
Formazione, Prof.ssa Zajczyk, Dip. di Sociologia e ricerca sociale, Università di Tokyo, Saudi Arabia
Hajj Core research center, Università di Eindoven).
In particolare, in collaborazione con il laboratorio MC3, il centro di ricerca CSAI, il laboratorio
RCAST dell’Università di Tokyo e il centro di ricerca Hajj Core in Arabia Saudita sono state
sviluppate soluzioni originali per lo studio di crowd dynamics. Il contesto di studio specifico ha
riguardato l’Hajj del 2010 (progetto CRYSTALS).
Laboratorio di Modelli di Concorrenza, Comunicazione e Computazione (MC3)
Responsabile: Lucia Pomello
L’attività di ricerca ha riguardato prevalentemente i fondamenti della teoria della concorrenza, lo
studio di tecniche formali di supporto allo sviluppo e alla verifica modulare di sistemi distribuiti, lo
sviluppo di un modello di reti di Petri gerarchiche.
In particolare le ricerche si sono focalizzate sullo studio di strutture algebriche di particolari
sottoinsiemi di ordini parziali ottenuti attraverso operatori di chiusura indotti dalle relazioni di
dipendenza e indipendenza causale. I principali risultati mostrano che sotto particolari ipotesi di
densità (N-densità) del poset considerato la struttura degli insiemi chiusi ottenuti rispetto alla
relazione di indipendenza causale è un reticolo completo, ortomodulare e algebrico, inoltre nel
caso di reti di occorrenza K-dense è stata data una caratterizzazione degli insiemi chiusi nei termini
di sottoprocessi causalmente chiusi.
Questi risultati verranno estesi al caso di strutture più generali come gli unfolding, e discussi
nell’ambito della logica e della semantica per la concorrenza. Su questi temi è iniziata anche una
collaborazione con Stefan Haar (INRIA e Ecole Normale Superieure de Cachan, Francia) con la
prospettiva di applicare tali ricerche a problemi di diagnosi di sistemi distribuiti.
74
Proseguendo una linea di ricerca avviata negli anni, sono state studiate nozioni di morfismo tra
sistemi a supporto di una definizione di composizione tra sistemi basata sulla nozione di
interfaccia e che peservi proprietà di comportamento. Sono state studiate inotre nozioni di
"opacità" e di flusso di informazione fra componenti in sistemi distribuiti con l’obiettivo di
applicare i risultati sulla composizionalità e sulle proprietà da essa preservate che saranno oggetto
di ulteriore indagine a questioni di sicurezza. Questa attività è svolta nell’ambito della tesi di
dottorato di Elisabetta Mangioni e in collaborazione con Carlo Ferigato dell’Istituto per la
protezione e la sicurezza del cittadino del JRC di Ispra.
Per applicazioni in ambito di agenti mobili, sono state studiate classi di reti di Petri gerarchiche ad
alto livello in cui alcune marche sono reti che possono essere manipolate da altre reti. In
particolare le “Petri Hypernets”, una classe di reti già introdotta precedentemente, sono state
generalizzate e per tale classe è stata definita una nozione di processo e di unfolding. Tale classe di
reti è stata utilizzata per modellare processi nell’ambito del grid computing.
Inoltre, nell’ambito dello stage di dottorato di Marco Mascheroni presso l’università di Amburgo,
sono state implementate alcune funzionalità che supportano il modello di sistemi con le Hypernets
e che integrano il tool RENEW. Il lavoro in quest’ambito continuerà in particolare sulle tecniche di
model checking riprendendo la collaborazione con il gruppo di ricerca dell’IPI – PAN a Gdansk
(Marek Bednarczyk, e Wieslaw Pawlowski).
Laboratorio di Modelli e Algoritmi per Ricerche Testuali e di Dati (MAD)
Responsabili: Fagiuoli Enrico, Stella Fabio
http://www.disco.unimib.it/upload/gestioneFiles/docs/MADPres.pdfTemi di Ricerca: Modelli ed
algoritmi di Data Mining (DM) e Text Mining (TM) con particolare riferimento ad aspetti teorici ed
algoritmici del ragionamento e della decisione in condizioni di incertezza. Artificial neural
networks, Bayesian belief networks, continuous time Bayesian networks e support vector
machines sono i principali modelli di DM che vengono studiati e applicati alla business intelligence,
alla bioinformatica ed alla diagnostica medica. Latent Dirichlet allocation, hierarchical latent
Dirichlet allocation, nested Chinese restaurant process, Indian buffet process, conditional random
fields e support vector machines sono i principali modelli di TM studiati e sviluppati. In ambito TM
vengono progettati e realizzati moduli software per l’individuazione automatica dei topic,
l’autoclassificazione di documenti, pagine WEB e newswire, l’estrazione automatica
dell’informazione a partire da documenti semi-strutturati quali fatture commerciali. Infine, un
altro ambito di ricerca storicamente attivo fa riferimento alla finanza computazionale. In tale area
di ricerca vengono studiati e sviluppati algoritmi di on-line portfolio investment e implementati
sistemi software per la misurazione ed il controllo integrato del rischio finanziario, rischio di
mercato e rischio di credito.
Nel corso dei prossimi tre anni il gruppo di ricerca si concentrerà al raggiungimento dei seguenti
obiettivi:
- Internazionalizzazione del gruppo di ricerca; è auspicabile un incremento della mobilità dei
componenti del gruppo di ricerca, lo sviluppo di una capacità di ospitare ricercatori stranieri
per seminari e corsi di dottorato, la permanenza presso centri di ricerca stranieri dei
componenti del gruppo di ricerca con specifico riferimento ai dottorandi ed infine la capacità
di attrarre dottorandi stranieri presso il laboratorio MAD.
75
- Acquisizione di maggiori risorse finanziarie per supportare l’attività di ricerca e di
internazionalizzazione di cui al punto precedente. Tale obiettivo verrà perseguito sia tramite
attività di consulenza per conto di aziende italiane che operino nell’ambito della Business
Intelligence, della finanza quantitativa, della gestione documentale, sia partecipando a progetti
di ricerca a base nazionale e a base internazionale.
Progettazione ed implementazione di dimostratori software nei seguenti domini applicativi; Text
Mining (TM) e Data Mining (DM). Nello specifico per il TM è prevista la progettazione e
l’implementazione di due sistemi software: uno dedicato al processing automatico di fatture
commerciali ed uno finalizzato all’estrazione automatica di gerarchie di argomenti in ambito legale
e medico a partire da documenti non strutturati. Per quanto attiene il DM il dominio sul quale si
focalizzeranno gli sforzi è la diagnostica medica. Nello specifico è prevista la progettazione e
l’implementazione di un sistema inferenziale/decisionale in condizioni di incertezza in tempo
continuo per la diagnosi medica in tempo continuo con particolare riferimento all’embolia
polmonare.
Laboratorio di Modelli nei Processi Decisionali e nell'Analisi di Dati (MIND)
Responsabili: Archetti Francesco, Messina Vincenzina
Afferenti: Lulli Guglielmo, Fersini Elisabetta, Giordani
Ilariahttp://www.disco.unimib.it/upload/gestioneFiles/docs/MINDPres.pdf
Temi di ricerca: l’attività di ricerca svolta presso il laboratorio MIND (Models in Decision making
and data analysis) è rivolta allo studio e all’implementazione di algoritmi per l’analisi dei dati per la
rappresentazione e l’ottimizzazione delle decisioni. L’approccio modellistico e metodologico
riguarda in particolare modelli probabilistici relazionali finalizzati allo sviluppo di nuove tecniche di
machine learning e all’ottimizzazione in condizioni di incertezza.
Le attività del laboratorio e dei docenti, ricercatori, dottorandi e collaboratori ad esso afferenti
verranno sviluppate secondo le seguenti direzioni strategiche:
- Internazionalizzazione: Questo obiettivo verrà perseguito istituzionalizzando i rapporti già
in essere con la Brunel University (U.K.) e con Fraunhofer ITWM (Germany). Continueranno
ad avere un ruolo importante progetti di ricerca Europei ma anche collaborazioni mirate
verso Paesi extra-Europei, sinergiche con le iniziative di Expo 2015 proposte dal nostro
Ateneo su tema dello sviluppo sostenibile. Nelle collaborazioni internazionali verranno
particolarmente incoraggiati gli scambi di personale sia ricercatori sia studenti di Dottorato
e di Laurea Magistrale.
- Metodologie: Il laboratorio MIND ha come obiettivo primario lo studio e lo sviluppo di
modelli probabilistici, che siano in grado di trattare istanze di dati rappresentate attraverso
formalismi relazionali. I modelli che si andranno ad investigare si focalizzeranno su una
rappresentazione dell’incertezza che sia in grado di tenere in considerazione sia le relazioni
esistenti tra gli oggetti che le relazioni fra gli attributi, al fine di migliorare le perfomance in
fase di apprendimento/inferenza. Si eviterà pertanto di introdurre distorsioni statistiche e
una perdita sostanziale di informazioni fornita dalla struttura relazionale sottostante i dati
stessi. Particolare attenzione verrà rivolta agli aspetti di apprendimento ed inferenza nei
modelli probabilistici relazionali, quali Conditional Random Fields, Relational Bayesian
Network e Markov Logic Networks.
- Applicazioni: Questi modelli trovano un naturale sbocco applicativo in tutti quegli ambiti
dove gli oggetti da classificare fanno parte di una rete di oggetti in relazione, o dove il
76
modello dei dati può essere rappresentato da un modello relazionale. In particolare
verranno investigate tecniche di classificazione e clustering relazionale in diverse aree
applicative, fra cui:
- Web Mining: la classificazione ed il clustering di collezioni di documenti rivestono un
ruolo di particolare rilevanza caratterizzato da problemi ancora aperti in molti domini
applicativi. In tale contesto, la ricerca proposta sarà focalizzata alla definizione di nuovi
metodi computazionali per l’identificazione di pattern nascosti all’interno di collezioni
documentali, al fine di superare le limitazioni degli attuali approcci, ossia il limitato utilizzo
di informazioni legate alle strutture relazionali che caratterizzano tali collezioni.
- Biological Systems analysis: le recenti innovazioni tecnologiche in biologia molecolare
offrono l’opportunità di inferire importanti informazioni da integrare in nuovi metodi di
machine learning per la costruzione di reti biologiche. In tale ambito si studieranno
algoritmi di clustering relazionale per l’apprendimento di reti regolatorie, integrando dati
di espressione genica e dati trascrizionali.
- Ambient Intelligence: l’attività in tale ambito riguarderà principalmente lo sviluppo di
algoritmi per la localizzazione e tracking di oggetti, al fine di supportare i sistemi di videosorveglianza nell’identificazione di situazioni anomale.
- E-Justice: L’ormai consolidata applicazione delle tecnologie informatiche al dominio
Giustizia mette in evidenza diverse problematiche legate al reperimento e all’estrazione di
informazione da documenti multimediali in relazione. In tale ambito la ricerca proposta
sarà focalizzata alla definizione di metodi di apprendimento per dati sequenziali, quali
conditional random fields, arricchiti da informazioni di carattere relazionale in fase di
apprendimento ed inferenza.
- Problemi di logistica, trasporti, traffico aereo.
Laboratorio di Strumenti Open Source e Sicurezza Informatica (OpenIt)
Responsabili: Ferretti Claudio, Leporati Alberto
Linee ricerche svolte: analisi del codice sorgente; sicurezza.
L'attività di ricerca copre tutte le competenze legate all'utilizzo innovativo del codice sorgente di
sistemi e applicazioni, proponendo in particolare strumenti avanzati per il debugging dei
malfunzionamenti di sistemi informatici e per la ricerca automatizzata di vulnerabilità nelle
applicazioni, oltre a più classici approcci alle tecnologie per la sicurezza su sistemi e reti.
OpenIt è attivamente presente nel mondo Open Source. Sono stati pubblicati contributi a progetti
open internazionali e sono state poste in essere convenzioni con aziende operanti in tale settore e
con gruppi internazionali di sviluppatori. Sono in corso attività congiunte con altri laboratori di
ricerca presenti nel Dipartimento: "Evoluzione dei Sistemi Software e Reverse Engineering ESSERE", per la parte di analisi statica del software, e "Telecomunicazioni - TELCO" per la sicurezza
sulle reti, oltre ad aver partecipato a progetti di "security assessment" per aziende esterne.
Nel 2010 si è lavorato al refactoring del software sinora sviluppato, permettendo così a nuovi
collaboratori di contribuire più agevolmente al codice, rendendo aperta l'architettura del nostro
strumento di comunicazione resistente all'analisi del traffico. Inoltre, sono stati sviluppati plugin di
analisi del codice per l'applicazione IDE Eclipse, mettendo le basi di una innovativa infrastruttura
che verrà arricchita nel tempo.
77
Si svilupperanno le linee sin qui seguite, in particolare quelle delle applicazioni innovative della
crittografia nelle comunicazioni critiche su rete e tra apparati mobili personali, e quelle dell'esame
automatizzato del codice sorgente di applicazioni, open source e non.
Laboratorio di Sistemi Complessi e Incerti – SYSLAB
Responsabili: Ciucci Davide e Dennunzio Alberto
Competenze:
Trattamento formale di sistemi complessi, in particolare Automi Cellulari, in contesti di dinamica
simbolica e linguaggi formali.
Trattamento logico-algebrico dell’informazione incerta tramite rough sets e fuzzy sets.
Sviluppo di metodologie parallele e distribuite secondo il paradigma Grid per la simulazione
numerica di sistemi in un contesto reale con grandi flussi di dati.
Temi di ricerca: le ricerche condotte riguardano principalmente il trattamento formale di Sistemi
Complessi e Incerti, loro modellazione e implementazioni.
- Studi formali di Sistemi Complessi, in particolare di modelli paradigmatici per la descrizione e
simulazioni di Sistemi Complessi quali gli Automi Cellulari. Gli studi sono rivolti a comprendere a
fondo le proprietà principali di tali Modelli anche con l’obiettivo di permetterne un adeguato
utilizzo nelle applicazioni. Le proprietà riguardano principalmente comportamenti dinamici
complessi e loro decidibilità, robustezza rispetto a perturbazioni, aspetti computazionali. Le
tecniche di indagine provengono da diversi domini dell’Informatica Teorica Moderna.
- Studio teorico dei rough sets e delle connessioni esistenti tra i diversi modelli di rough sets e tra
rough sets ed altri paradigmi. Applicazione dei rough sets al data mining e connesso studio
dell’entropia e della dinamica nei rough sets con lo scopo di estenderne l’usabilità.
- Utilizzo dei fuzzy sets e delle tecniche di granular computing in connessione con le ontologie.
Applicazione di questi strumenti per il trattamento dell’informazione incerta nel campo del
semantic web.
- Parallelismo classico e Grid Computing: sviluppo di metodologie parallele e distribuite secondo il
paradigma Grid per la simulazione numerica di sistemi in un contesto reale con grandi flussi di dati
provenienti sia da apparati sperimentali reali (esperimento CMS presso LHC - CERN di Ginevra) sia
da contesti simulati (sintesi di modelli). Sviluppo di architetture High Throughput Computing per
l'analisi dati distribuita per grandi esperimenti di fisica delle alte energie. Studio delle
problematiche connesse al load balancing dinamico, con approccio diffusivo per sistemi paralleli e
distribuiti disomogenei. Indagine sulle proprietà di auto-organizzazione dei sistemi Grid mediante
metodologie di costruzione di reti overlay le metodologie derivanti dalle tematiche del P2P
computing. In questo ambito vengono studiate le problematiche di service discovery, di resource
brokering collaborativo e di load balancing dinamico.
Risultati nel 2010.
Nell’area del trattamento formale dei Sistemi Complessi i risultati ottenuti riguardano
principalmente modelli in dimensione 2 (2D) e superiori, ambiti di crescente interesse per i legami
con altri domini scientifici e nei quali i modelli sono maggiormente utilizzati nelle applicazioni.
Nell’area del trattamento formale dell’Incertezza, sono stati introdotti aspetti dinamici nei rough
sets allo scopo di usarli quando i dati evolvono nel tempo o quando provengo da fonti differenti.
Si è iniziato inoltre uno studio delle logiche a tre valori di verità, sia dal punto teorico che in
connessione alle possibili applicazioni.
Nel 2010 si sono ulteriormente consolidate le collaborazioni internazionali in particolare con
l’Université de Nice-Sophia Antipolis e con l’Université Toulouse III.
78
Sviluppi.
Proseguire e rafforzare ulteriormente le collaborazioni internazionali già esistenti sulle tematiche
sopra descritte cercando di attrarre ricercatori dall’estero a trascorrere periodi di ricerca presso il
Laboratorio; inoltre i membri del Laboratorio continueranno a trascorrere periodi all’estero per
svolgere attività di ricerca all’interno di progetti di collaborazione internazionali. Sono previsti
anche altri periodi di docenza all’estero tramite borse Erasmus. Saranno inoltre promosse tesi di
Laurea e di Dottorato in cotutela con le Università straniere partner di collaborazioni scientifiche.
Organizzare workshop e special session a conferenze internazionali sulle tematiche di ricerca
del gruppo. In particolare, nel 2011 verrà organizzato il terzo workshop internazionale su “Rough
Set Theory” a Milano.
Laboratorio di Telecomunicazioni (TELCO)
Responsabile: R.Melen
Attrezzature ospitate: PC, server
Postazioni di lavoro disponibili: 2
Integrazione tra interessi di ricerca e docenza svolta: Servizi di Telecomunicazione, Architettura –
Reti, Sistemi di Telecomunicazione
Temi di ricerca:
- VPN sicure
- applicazioni della tecnologia NFC
- piattaforme ad eventi
Breve descrizione delle attività di ricerca:
- l’attività relativa alle reti private virtuali sicure viene svolta in collaborazione con il
laboratorio Openit, e riguarda la realizzazione di VPN sicure anche dal punto di vista
dell’analisi statistica del traffico; in particolare, le VPN vengono studiate dal punto di vista
della topologia e degli algoritmi per la riconfigurazione dinamica; nel 2010 è stata
completata la realizzazione di un package software Open Source per la realizzazione di tali
reti;
- gli studi relativi alle applicazioni della tecnologia NFC vengono condotti in stretta
collaborazione con lo spinoff NFC Alias; sono state approfondite le possibili applicazioni nei
settori della logistica e del controllo di filiere produttive; inoltre è stata avviata la
collaborazione nell’ambito del progetto Mobile Services for AgroFood, dedicato a servizi
mobili informativi e di supporto alle scelte del cliente in ambito agroalimentare;
- è stata attivata una linea di ricerca dedicata alla realizzazione di un sistema per la
distribuzione intelligente di eventi, integrato in un router con piattaforma Cisco AXP; le
principali applicazioni di questo sistema potranno essere nei settori della sicurezza e del
controllo delle infrastrutture critiche.
Evoluzione della ricerca nel 2010-2011: Si intende focalizzare l’attività sulle piattaforme per la
gestione degli eventi di sicurezza, ricercando anche la possibilità di collaborazioni con altre aziende
e centri di ricerca.
79