Dipartimento Di Scienze Dell'Informazione www.dsi.unimi.it

Indirizzo: Via Comelico, 39/41 - Milano Telefono: 0250316200 Fax: 0250316201 E-Mail: segreteria@dsi.unimi.it Direttore: Prof. Alberto Bertoni Macro-Settore: Scienze Matematiche e Informatiche Area di afferenza 1: Scienze Informatiche

1. Organico assegnato e altri collaboratori alla ricerca afferenti alla struttura

1.1 Personale docente

Professori di I fascia a tempo pieno Apolloni Bruno tel. 0250316284 apolloni@dsi.unimi.it

Bertoni Alberto " 0250316236 bertoni@dsi.unimi.it

Campadelli Paola " 0250316231 campadelli@dsi.unimi.it

Cesa Bianchi Nicolo' Antonio " 0250316280 nicolo.cesa-bianchi@unimi.it

De Falco Diego " 0250316240 defalco@dsi.unimi.it

Ghilardi Silvio " 0250316217 ghilardi@dsi.unimi.it

Valle Giorgio " 0250316242 valle@dsi.unimi.it

Professori di II fascia a tempo pieno Borghese Nunzio Alberto tel. 0250316325 borghese@dsi.unimi.it

Goldwurm Massimiliano " 0250316233 goldwurm@dsi.unimi.it

Mereghetti Carlo " 0250316261 mereghetti@dsi.unimi.it

Ornaghi Mario " 0250316331 ornaghi@dsi.unimi.it

Torelli Mauro " 0250316232 torelli@dsi.unimi.it

Trubian Marco " 0250316230 trubian@dsi.unimi.it

Vigna Sebastiano " 0250316324 vigna@dsi.unimi.it

Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Aguzzoli Stefano tel. 0250316356 aguzzoli@dsi.unimi.it

Arca Stefano " 0250316294 arca@dsi.unimi.it

Boldi Paolo " 0250316305 boldi@dsi.unimi.it

Bucalo Anna " 0250316283 bucalo@dsi.unimi.it

Casiraghi Elena " 0250316285 casiraghi@dsi.unimi.it

Ferrari Mauro " 0250316259 ferrari@dsi.unimi.it

Fiorentini Camillo " 0250316269 fiorentini@dsi.unimi.it

Frosio Iuri " 0250316361 frosio@dsi.unimi.it

Gaito Sabrina Tiziana " 0250316282 gaito@dsi.unimi.it

Grossi Giuliano " 0250316262 grossi@dsi.unimi.it

Lanzarotti Raffaella " 0250316293 lanzarotti@dsi.unimi.it

Lonati Violetta " 0250316294 lonati@dsi.unimi.it

Malchiodi Dario " 0250316338 malchiodi@dsi.unimi.it

Marra Vincenzo " 0250316296 marra@dsi.unimi.it

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 1

Momigliano Alberto " 0250316331 momigliano@dsi.unimi.it

Morpurgo Anna Chiara Giovanna " 0250316316 morpurgo@dsi.unimi.it

Palano Beatrice Santa " 0250316254 palano@dsi.unimi.it

Sacchetti Lorenzo " 0250316331 sacchetti@dsi.unimi.it

Santini Massimo " 0250316259 santini@dsi.unimi.it

Valentini Giorgio " 0250316225 valentini@dsi.unimi.it

Zanaboni Anna Maria " 0250316329 zanaboni@dsi.unimi.it

1.2 Personale tecnico - amministrativo

Personale amministrativo-contabile e tecnici di categoria D - EP Angelillo Filomena tel. 0250316216 angelillo@dsi.unimi.it

Arona Arianna " 0250316405 arianna@dsi.unimi.it

Bignami Guido Maria " 0250316248 bignami@dsi.unimi.it

Casella Giulio Francesco " 0250316392 casella@dsi.unimi.it

Giudici Stefano " 0250316200 giudici@dsi.unimi.it

Reggio Marco " 0250316332 marco.reggio@dsi.unimi.it

Sensalari Michele " 0250316391 sensalari@dsi.unimi.it

Personale amministrativo-contabile e tecnici di categoria B - C Abitante Angelo tel. 0250316396 abitante@dsi.unimi.it

Biacchi Giorgio " 0250316392 biacchi@dsi.unimi.it

Borrelli Alessandro " 0250316270 sandro.borrelli@unimi.it

Ciliento Giuseppina " 0250316393 ciliento@dsi.unimi.it

De Stasio Sergio " 0250316210 destasio@dsi.unimi.it

Di Fiore Salvatore " 0250316343 difiore@dsi.unimi.it

Gazzillo Isidora Vincenza " 0250316214 gazzillo@dsi.unimi.it

Giambanco Salvatore " 0250316372 giambanc@dsi.unimi.it

Gioffre' Claudio " 0250316387 gioffre@dsi.unimi.it

Lopez Massimo " 0250316267 lopez@dsi.unimi.it

Missaglia Sandro " 0250316386 missaglia@dsi.unimi.it

Pignataro Giuseppe " 0250313694 pignataro@dsi.unimi.it

Sala Lorena " 0250316349 lorena@dsi.unimi.it

Senatore Vincenzo " 0250316396 senatore@dsi.unimi.it

Tallarico Francesca " 0250316410 tallarico@dsi.unimi.it

1.3 Dottorandi, specializzandi e borsisti

Dottorandi attivi, nell'anno, presso la struttura Agreste Santa tel.

Andric Andreja " 0250316297 aandreja@dsi.unimi.it

Arca Stefano " arca@dsi.unimi.it

Azzini Antonia " azzini@dti.unimi.it

Baccichet Pierpaolo " baccichet@dico.unimi.it

Bernareggi Cristian " bernareggi@dsi.unimi.it

Bertolo Maresa " bertolo@dsi.unimi.it

Bianchessi Nicola " bianchessi@dsi.unimi.it

Camossi Elena " camossi@disi.unige.it

Casiraghi Elena " 0250316293 casiraghi@dsi.unimi.it

Ceravolo Paolo " ceravolo@dti.unimi.it

Ceselli Alberto " ceselli@dti.unimi.it

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 2

Cino Giovanni " cino@dsi.unimi.it

Civati Giovanni " civati@dti.unimi.it

Diana Loretta " 0250316257 loretta@dico.unimi.it

Ferrante Alberto " ferrante@dsi.unimi.it

Ferrara Alfio " ferrara@dico.unimi.it

Fugazza Cristiano " fugazza@dsi.unimi.it

Gadia Davide " gadia@dico.unimi.it

Gambare' Stefano " gambare@dsi.unimi.it

Gatta Carlo " gatta@dti.unimi.it

Lonati Violetta " 0250316294 lonati@dsi.unimi.it

Ludovico Luca Andrea " ludovico@dsi.unimi.it

Marchetto Alessandro " alessandro.marchetto@unimi.it

Marchi Massimo " marchi@dsi.unimi.it

Mazzoleni Pietro " mazzoleni@dico.unimi.it

Mella Giovanni " 0250316295 mella@dico.unimi.it

Mera Filippo " mera@dico.unimi.it

Mileo Alessandra " mileo@dico.unimi.it

Montanelli Stefano " montanelli@dico.unimi.it

Nai Fovino Igor " nai@dico.unimi.it

Nucita Andrea " 0250316295 nucita@dico.unimi.it

Parasiliti Provenza Loredana " parasiliti@dico.unimi.it

Perego Andrea " perego@dico.unimi.it

Peyras Julien " 0250316285 peyras@dsi.unimi.it

Radicioni Roberto " 0250316294 radicioni@dsi.unimi.it

Reggio Caterina " 0250317623 reggio@dico.unimi.it

Riboni Daniele " riboni@dico.unimi.it

Ruffino Francesca " francesca.ruffino@dsi.unimi.it

Salani Matteo " salani@dti.unimi.it

Santi Diego " santi@dsi.unimi.it

Selmo Davide Matteo " davide.selmo@dico.unimi.it

Squicciarini Anna Cinzia " squicciarini@dico.unimi.it

Tahayori Hooman " 02503.16347 hooman.tahayori@unimi.it

Tironi Andrea " tironi@dti.unimi.it

Trucco Gabriella " trucco@dsi.unimi.it

Vacchi Samuele " vacchi@sb2.it

Vercellesi Giancarlo " vercellesi@dsi.unimi.it

Visconti Andrea " visconti@dico.unimi.it

Zaniboni Luca " zaniboni@dti.unimi.it

Organico

Personale docente No. Professori I fascia a tempo pieno 7No. Professori I fascia a tempo definito 0No. Professori II fascia a tempo pieno 7No. Professori II fascia a tempo definito 0No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti 21No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo definito 0

Personale tecnico-amministrativo

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 3

No. Personale amministrativo-contabile e tecnici di categoria D - EP 7No. Altri collaboratori di ricerca con contratti di collaborazione coordinata e continuativa 0No. Personale amministrativo-contabile e tecnici di categoria B - C 15

Dottorandi, specializzandi e borsisti No. Dottorandi attivi, nell'anno, presso la struttura 50No. Borsisti di Training and Mobility of Research della C.E. e No. borsisti post-dottorato attivi, nell'anno, presso la struttura 0No. Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura

0

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 4

2. Dati economico finanziari

(Gli importi sono espressi in Euro)

2.1 Finanziamenti per la ricerca Finanziamento complessivo per progetti di Ricerca da fondi di Ateneo 5.200,00 Finanziamento complessivo da fondi MURST 95.000,00 Finanziamento complessivo da contributi CNR 0,00 Finanziamento complessivo da altri organismi pubblici nazionali e da contratti CNR 0,00 Finanziamento complessivo da altri organismi privati e imprese nazionali 109.021,00 Finanziamento complessivo da Commissione Europea 0,00 Finanziamento complessivo da altri organismi pubblici internazionali 0,00 Finanziamento complessivo da altri organismi privati e imprese internazionali 0,00 Totale 209.221,00 2.2 Dati relativi alle spese per la ricerca Somme pagate Somme impegnateSpese annuali complessive della struttura 974.919,00 1.009.298,00Spese annuali della struttura esclusivamente per ricerca 190.173,00 201.263,00

2.3 Attrezzature scientifiche e materiale bibliotecario Spesa totale annuale per attrezzature scientifiche 157.342,00 Spesa totale annuale per materiale bibliotecario 232.464,00 2.4 Finanziamenti per ricerca gestiti sul bilancio di altri enti e resi disponibili per la strutturaFinanziamenti complessivi messi a disposizione da enti pubblici nazionali 0,00 Altri finanziamenti 0,00

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 5

3. Progetti di ricerca in corso presso la struttura, finanziati da enti esterni

No. contratto 01 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente CNR Titolo del progetto Robocare Finanziamento complessivo (Euro) 40.000,00

Responsabile del progetto BORGHESE NUNZIO ALBERTO No. contratto 02 Durata (mesi) 6 Tipologia del contraente Enti privati Contraente Gendex Dental Systems Titolo del progetto Miglioramento delle Immagini Radiologiche Digitali Finanziamento complessivo (Euro) 24.000,00

Responsabile del progetto BORGHESE NUNZIO ALBERTO No. contratto 03 Durata (mesi) 2 Tipologia del contraente Enti privati Contraente Gendex Dental Systems

Titolo del progetto Sviluppo di un filtro per l¿esaltazione dell’ informazione anatomica nelle immagini tipo Ceph (Soft Tissue Filter).

Finanziamento complessivo (Euro) 7.500,00

Responsabile del progetto BORGHESE NUNZIO ALBERTO No. contratto 04 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Acquisizione e compressione di range data e tecniche di modellazione 3D di volti da immagini. Finanziamento complessivo (Euro) 36.700,00

Responsabile del progetto CAMPADELLI PAOLA No. contratto 05 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Linguaggi formali e automi:Metodi, modelli e applicazioni. Finanziamento complessivo (Euro) 59.800,00

Responsabile del progetto BERTONI ALBERTO No. contratto 06 Durata (mesi) 36 Tipologia del contraente Organismi internazionali Contraente Comunità Europea Titolo del progetto KerMIT Finanziamento complessivo (Euro) 90.000,00

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 6

Responsabile del progetto CESA BIANCHI NICOLO' ANTONIO No. contratto 07 Durata (mesi) 48 Tipologia del contraente Organismi internazionali Contraente Comunità Europea Titolo del progetto PASCAL Finanziamento complessivo (Euro) 100.000,00

Responsabile del progetto CESA BIANCHI NICOLO' ANTONIO No. contratto 08 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Aspetti semantici e computazionali nella logica e nei fondamenti dell'informatica . Finanziamento complessivo (Euro) 34.000,00

Responsabile del progetto GHILARDI SILVIO No. contratto 09 Durata (mesi) 1 Tipologia del contraente Enti pubblici Contraente CNR IDPA e ASI Titolo del progetto Correlazione tra fasi minerali e parametri processuali nella produzione di sanitari. Finanziamento complessivo (Euro) 5.560,00

Responsabile del progetto CAMPADELLI PAOLA

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 7

4. Elenco delle iniziative scientifiche organizzate e gestite nell'ambito della struttura (congressi, convegni, cicli di conferenze e/o seminari, workshop, mostre ed altre

iniziative)

SEMINARI

Data Luogo Titolo Relatore Docente responsabile

20/1/2004 DSI “Blackfinger: una mano robotica, ispirata alla biologia”

Dott. Michele Folgheraiter, Politecnico di Milano N. Alberto Borghese

11/3/2004 DSI

“Active Learning and its Applications to Speech Recognition and Understanding"

Dott. Giuseppe Riccardi, AT&T Labs Research Nicolò Cesa-Bianchi

1/4/2004 DSI "Una rassegna del progetto MRG (Mobile Resource Guarantees)"

Dr. Alberto Momigliano, Dipartimento di Scienze dell'Informazione (attualmente visiting presso Laboratory for Foundations of Computer Science Università di Edimburgo

Mario Ornaghi

30/4/2004 DSI

“Introduzione alla modellazione di sistemi interattivi - Seminario II: La modellazione orientata agli oggetti”

Prof. Paolo Bottoni, Dipartimento di Informatica dell’Università “La Sapienza “ di Roma

Piero Mussio, Giorgio Valle

30/4/2004 DSI

“Introduzione alla modellazione di sistemi interattivi -Seminario I: L’interfaccia separabile”

Prof. Paolo Bottoni, Dipartimento di Informatica dell’Università “La Sapienza “ di Roma

Piero Mussio, Giorgio Valle

7/5/2004 DSI

"Research In The Knowledge-Based Intelligent Engineering Systems Centre (Kes)"

L.C. Jain, BE(Hons), ME, PhD, Fellow IE (Australia), Professor of Knowledge-Based Engineering; Founder/Director, Knowledge-Based Intelligent Engineering Systems (KES) Centre

Bruno Apolloni

7/5/2004 DSI

“Introduzione alla modellazione di sistemi interattivi - Seminario III: Lo strumento UML”

Prof. Paolo Bottoni, Dipartimento di Informatica dell’Università “La Sapienza “ di Roma

Piero Mussio, Giorgio Valle

7/5/2004 DSI

“Introduzione alla modellazione di sistemi interattivi - Seminario IV: Il controllo del dialogo”

Prof. Paolo Bottoni, Dipartimento di Informatica dell’Università “La Sapienza “ di Roma

Piero Mussio, Giorgio Valle

9/6/2004 DSI "Distanza Sintenica" Prof. Christian Choffrut, LIAFA Universitè Paris, 7 Alberto Bertoni

14/6/2004 DSI "Scheduling tasks to multiprocessor systems"

Tatjana Davidovic, Institute of Mathematics Academy of Sciences of Belgrade

Marco Trubian

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 8

SEMINARI

Data Luogo Titolo Relatore Docente responsabile

18/6/2004 DSI Ciclo di seminari sulla “Bioinformatica” al DSI.

Dr. Giorgio Valentini, Assegnista di Ricerca c/o il Dipartimento di Scienze dell' Informazione

Alberto Bertoni

18/6/2004 DSI “Grazing on the Creative Commons”

Roni Linser, Political Science Department at the University of Melbourne

Philip Grew

21/6/2004 DSI “The ICT Revolution and the Transformation of Learning Spaces”

Roni Linser, Political Science Department at the University of Melbourne

Philip Grew

2/7/2004 DSI “Computer Science in the post-genomic era”

Dott. Giulio Pavesi, DICO

Vincenzo Marra, Giorgio Valentini

6/7/2004 DSI “Visione per veicoli intelligenti: prototipi ed algoritmi”

Prof.ssa Alessandra Fascioli, Dipartimento di Ingegneria dell'Informazione, Universita` di Parma

Giorgio Valle

14/7/2004 DSI "Towards Automatic Model Theory of Modal Logic"

Prof. V. GORANKO, Rand Afrikaans University di Johannesburg

Silvio Ghilardi

22/7/2004 DSI "Reti neurali e potenziali d'azione (Spiking Neurons)" Dr. Pietro Mele Alberto Bertoni

23/7/2004 DSI "The algebraic side of modal logic: recent developments"

Prof. Y. VENEMA, Institute for Logic, Language and Computation dell’Università di Amsterdam

Silvio Ghilardi

10/9/2004 DSI "Collage d'Immagini"Prof. Christian Choffrut e Dr. Berke Durak, LIAFA Universitè Paris, 7

Alberto Bertoni

29/9/2004 DSI “Sistemi immunitari artificiali e sicurezza: stato dell’arte e ricerche in atto”

Prof.ssa Anastasia Pagnoni Dr. Andrea Visconti, Dipartimento di Informatica e Comunicazione

Alberto Bertoni, Giorgio Valentini

8/10/2004 DSI "Answer Set Programming for learning agents"

Dr.ssa Magdalena Ortiz de la Fuente, Univ. de las Americas, Puebla, Mexico

Mario Ornaghi

20/10/2004 DSI

"Solving a Quantum Chemistry problem with Deterministic Global Optimization"

Dott. Leo Liberti, DEI - Politecnico di Milano Marco Trubian

21/10/2004 DSI "Sistemi immunitari artificiali e sicurezza: stato dell'arte e ricerche in atto."

Prof.ssa Anastasia Pagnoni Dr. Visconti Andrea, Dipartimento di Informatica e Comunicazione

Alberto Bertoni, Giorgio Valentini

22/10/2004 DSI "Ant Colony Optimization" Dr. Roberto Ghizzioli, Dipartimento di Informatica, N. Alberto Borghese

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 9

SEMINARI

Data Luogo Titolo Relatore Docente responsabile

Università di Milano e Istituto di Intelligenza Artificiale (IRIDIA), Università libera di Bruxelles.

5/11/2004 DSI "Unavoidable sets and well quasi-orders"

Dr. Flavio D'Alessandro, Dipartimento di Matematica "G. Castelnuovo" Università di Roma "La Sapienza"

Carlo Mereghetti

2/12/2004 DSI

“Monitoraggio del commercio internazionale: il "carosello" ed altri casi di frode”.

Dr. Domenico Perrotta, ISPRA Paola Campadelli

10/12/2004 DSI "Approcci computazionali per l'allineamento di genomi"

Flavio Mignone, Dipartimento di Scienze Biomolecolari e Biotecnologie, Università degli Studi di Milano

Alberto Bertoni, Giorgio Valentini

16/12/2004 DSI "Immersioni tra spazi metrici ed applicazioni algoritmiche: una introduzione"

Prof. Alberto Bertoni, Dipartimento di Scienze dell'Informazione - UNIMI

Alberto Bertoni

INIZIATIVE

Data Luogo Titolo Relatore Docente responsabile

16/10/2004 DSI

Incontro pubblico su:ISTRUZIONE SCIENTIFICA E DISABILITA' VISIVA

Francesco Levantini: IBM IT, Education Services; Prof. Spoletini: Ufficio Disabilita' e Handicap, Universita' degli Studi di Milano; Daniele Arreghini: Biblioteca Italiana per Ciechi; Cristian Bernareggi: Dottorato di Ricerca in Informatica Universita' degli Studi di Milano; Giancarlo Dalto: Biblioteca di Informatica Universita' degli Studi di Milano; Gruppo italiano del progetto LAMBDA

Giovanni Degli Antoni

Congressi, convegni, conferenze, workshops, organizzati da membri della struttura Giorgio Valle: • "Technology-Enhanced Learning", T.E.L. 2004. Dal 15 al 17 Novembre presso la DIDATTECA dell’Università degli Studi di Milano,Via Venezian 15, 20133 Milano Organizzatori: prof. Giorgio Valle.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 10

Promossa dalla Associazione Amici di Scienze dell’Informazione e Patrocinata dalla Regione Lombardia l’edizione 2004 della Conferenza Internazionale in Technology Enhanced Learning TEL’04 si è arricchita quest’anno di una sezione Italiana specificamente rivolta all’apprendimento in età pre-Universitaria ed in presenza di handicap. Bruno Apolloni, Alberto Bertoni, Alberto. Borghese, Paola. Campadelli: • "WIRN04”. XV ITALIAN WORKSHOP ON NEURAL NETWORK University of Perugia September 15 - 17, 2004.

PARTECIPAZIONI

Afferenze a consorzi o reti di ricerca nazionali Bruno Apolloni: • Presidente della SIREN (Società Italiana Reti Neuroniche), società fondata nel 1988 dal Prof. Edoardo Caianiello per lo studio delle reti neurali sia come paradigma di calcolo che come modello computazionale delle attività cerebrali.

Partecipazioni a valutazioni di progetti di ricerca internazionali Alberto Borghese • Ha partecipato alla valutazione home-based di progetti Europei di tipo STREP. Paola Campadelli: • Ha partecipato alla valutazione di progetti europei del 6° programma quadro nel settore IST, in particolare ha valutato progetti integrati nella call "Multimodal Interfaces" e nella call "Cognitive Systems". Nicolò Cesa-Bianchi: • Ha partecipato alla valutazione di Engineering & Phyisical Sciences Research Council, England.

Membri di comitati editoriali di riviste e/o collane scientifiche internazionali Alberto Borghese • Associate Editor - Mathematics and Computer in Simulations (MATCOM), Elsevier. Alberto Bertoni: Membro dell'Editorial Board della Rivista Internazionale: • Theoretical Informatics and Applications, EDP Sciences. Bruno Apolloni: Action Editor della Rivista Internazionale: • Neural Network, Pergamon Press, New York. Membro dell' Editorial Board della Rivista Internationale: • International Series on Advanced Intelligence, Advanced Knowledge International, Adelaide Advisory Board della collana Internationale: • Journal on Hybrid Systems, Advanced Knowledge International, Adelaide. Nicolò Cesa-Bianchi: Associate Editor della Rivista Internazionale: • Machine Learning Springer, New York, USA. • Mathematical Reviews. American Mathematical Society, Providence, USA.

Pubblicazioni recensite da membri della struttura Dario Malchiodi: • Mathematics and Computers in Simulation - Elsevier – NL IEEE Transactions on Neural Networks - IEEE – USA. Marco Trubian: • European Journal of Operational Research, Elsevier, Olanda 4OR, Springer Verlag, Germany.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 11

Giorgio Valentini: • Lei Chen et al. A Modular System for the Classification of Time Series Data Fifth Int. Workshop on Multiple Classifier Systems (MCS 2004) Springer, Berlin • F. Marrocco et al., A method for designing Cost-sensitive ECOC Fifth Int. Workshop on Multiple Classifier Systems (MCS 2004) Springer, Berlin • Heterogeneous Ensembles of Support Vector Machines IEEE Transactions on Systems, Men and Cybernetics - Part B Systems, Man and Cybernetics Society • Emotion Recognition Involved In Speech Using Support Vector Machines. IEEE Transactions on Systems, Man, and Cybernetics: Part C Systems, Man and Cybernetics Society • Bahram G. Kermani, Susan S. Schiffman, H. Troy Nagle PERFORMANCE OF THE LEVENBERG-MARQUARDT NEURAL NETWORK TRAINING METHOD IN ELECTRONIC NOSE APPLICATIONS IEEE Transactions on Neural Networks • SVM Network Approach to The Automatic Counting Of White Blood Cells of Myelogenous Leukemia IEEE Transactions on Systems, Man, and Cybernetics: Part C Systems, Man and Cybernetics Society • G. Alexe, S. Alexe, D. E. Axelrod, P.L. Hammer* and D. Weissmann Logical Analysis of Diffuse Large B-Cell Lymphomas Artificial Intelligence in Medicine Elsevier, Amsterdam • Promotional sales increase analysis using support vector machines for semiparametric regression IEEE Transactions on Neural Networks • Cascading SVMs as a Tool for Medical Diagnosis using Multi-class Gene Expression Data International Journal of Artificial Intelligence Tools. • Li Guozheng et al. Application of Support Vector Machines on Predicting Degree of Malignancy in Brain Glioma Artificial Intelligence in Medicine Elsevier, Amsterdam. • Massimiliano Pavan and Marcello Pelillo Fast Dominant-Set Clustering Proc. of WIRN 2004. • Luigi Di Lascio, Aniello Nappi Resolving uncertainty in medical diagnosis Proc. of WIRN 2004.

Posizioni di responsabilità: coordinatori programmi ricerca nazionali Bruno Apolloni: • Coordinatore locale del progetto ex 40% dal titolo “Processi Stocastici” che riunisce più sedi nazionali sotto il coordinamento del Prof. Gandolfi (Università di Milano Bicocca) per lo studio dei Processi Stocastici sul piano sia teorico che applicativo, con particolare riferimento ad applicazioni nel campo informatico. Tali applicazioni riguardano sia i processi di apprendimento che il Quantum Computing. Alberto Borghese: • Coordinatore di Unità operativa sulla visione- Progetto strategico CNR, Robocare. Alberto Bertoni: • Coordinatore locale del progetto Cofin da titolo "Linguaggi Formali e Automi: teoria ed applicazioni”. Paola Campadelli: • Coordinatore locale del progetto Cofin dal titolo "Acquisizione e compressione di range data e tecniche di modellazione 3D di volti da immagini”.

Posizioni di responsabilità: coordinatori programmi ricerca internazionali Bruno Apolloni, Paola Campadelli: • Membri del collegio docenti DEA in Sciences de la Cognition (Cognitive sciences), Université Victor Segalen Bordeaux 2. Nicolò Cesa-Bianchi: • Coordinatore locale dei progetti europei KerMIT e PASCAL.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 12

5. Direzione di riviste, collane o rilevanti opere collettive a carattere scientifico che fanno capo a docenti della struttura;

partecipazioni a comitati scientifici responsabili di iniziative editoriali

Bruno Apolloni • WIRN04.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 13

6. Risultati dell'attività di ricerca

Riassunto

Macro-Settore Scienze Matematiche e InformaticheArticoli completi in atti di congresso con revisori E 30Articoli completi in atti di congresso senza revisori E 2 Articoli su rivista di livello elevato E 9 Articoli su rivista di livello medio E 1 Articoli su riviste scientifiche ISI 4 Capitoli di libro, monografie enciclopediche E 1 Rapporti finali di ricerca pubblicati e disponibili al pubblico E 1 Rapporti interni 3

Elenco Riviste-Apolloni Bruno, Esposito Anna, Malchiodi Dario, Orovas Christos, Palmas Giorgio, Taylor John G., A. Esposito, C.Orovas, G.Palmas, J.G. Taylor; A general framework for learning rules from data; IEEE Transactions on Neural Networks; 2004; IEEE Society; vol. 6; pagg. 1333-1349.

-Campadelli Paola, Lanzarotti Raffaella, 0; Fiducial point localization in color images of face foregroounds; Image and Vision Computing; 2004; Elsevier Science; vol. 22; pagg. 863-872.

-Cesa Bianchi Nicolo' Antonio, Alex Conconi, Claudio Gentile; On the generalization ability of on-line learning algorithms; IEEE Transactions on Information Theory; 2004; IEEE Press; vol. 50; pagg. 2050-2057.

-De Falco Diego, Goldwurm Massimiliano, Lonati Violetta; Frequency of symbol occurrences in bicomponentstochastic models; Theoretical Computer Science; 2004; Elsevier; vol. 327; pagg. 268-300.

-Ferrari Stefano, Borghese Nunzio Alberto, Maggioni M; Multi-Scale Approximation with Hierarchical Radial Basis Functions Networks; IEEE Trans. Neural Networks; 2004; vol. 15; pagg. 178-188.

-Frosio Iuri, Borghese Nunzio Alberto; Salt and Pepper noise removal; Proc. MIC 2004; 2004. -Ghilardi Silvio, Sacchetti Lorenzo; Filtering Unification and Most General Unifiers in Modal Logic; Journal of Symbolic Logic; 2004; vol. 69; pagg. 879-906.

-Ghilardi Silvio; Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras; Annals of Pure and Applied Logic; 2004; vol. 127; pagg. 99-115.

-Righini Giovanni, Trubian Marco; A note on the approximation of the Asymmetric Traveling Salesman Problem;European Journal of Operational Research; 2004; Elsevier; vol. 153; pagg. 255-265.

-Santini Massimo, Bruno Codenotti, Gianluca De Marco, Mauro Leoncini, Manuela Montangero; ApproximationAlgorithms for a Hierarchically Structured Bin Packing Problem; Information Processing Letters; 2004; Elsevier; vol. 5; pagg. 215-221.

-Valentini Giorgio, Masulli Francesco, Masulli Francesco; An experimental analysis of the dependence amongcodeword bit errors in ECOC learning machines; Neurocomputing; 2004; Elsevier; vol. 57; pagg. 189-214.

-Valentini Giorgio, Dietterich Thomas G., Dietterich Thomas G.; Bias-variance analysis of Support Vector Machines for the development of SVM-based ensemble methods; Journal of Machine Learning Research; 2004; MIT Press; vol. 5; pagg. 727-775.

-Valentini Giorgio, Ruffino Francesca, Muselli Marco, 1; Cancer recognition with bagged ensembles of SupportVector Machines; Neurocomputing; 2004; Elsevier; vol. 56; pagg. 461-466.

-Vigna Sebastiano, Santini Massimo, Boldi Paolo, Codenotti Bruno; Ubicrawler: A scalable fully distributed web crawler; Software: Practice and Experience; 2004; vol. 8; pagg. 711-726.

Contributi in Volume (anche Curatele e Editor)-Apolloni Bruno, Mesiano Christian, Malchiodi Dario, Brega Andrea, C. Mesiano; Detecting driving awareness; Lecture notes in artificial intelligence; 2004; Springer Berlino.

-Apolloni Bruno, Malchiodi Dario, Mesiano Christian, C. Mesiano; Detecting driving awareness; Proceedings of the 2004 IEEE Int. Conf on ComputationalIntelligence for Homeland Security and Person; 2004; IEEE Society; 23-29.

-Arca Stefano, Campadelli Paola, Lanzarotti Raffaella; An efficient method to detect facial fiducial points for facerecognition; Conference Proceedings; 2004.

-Avellone Alessandro, Fiorino Guido, Moscato Ugo, Fiorentini Camillo; A Space Efficient Implementation of a

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 14

Tableau Calculus for a Logic with a Constructive Negatio; Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference; 2004; Springer Verlag LNCS.

-Bertoni Alberto, Choffrut Christian, Goldwurm Massimiliano, Lonati Violetta, 1; Local limit distributions in patternstatistics: beyond the Markovian models; Proceedings STACS 2004; 2004; Springer-Verlag; Lecture Notes in Computer Science.

-Campadelli Paola, Lanzarotti Raffaella, Lipori Giuseppe; Face detection in color images of generic scenes;Proceedings of CIHSPS 2004; 2004; IEEE.

-Choffrut Christian, Goldwurm Massimiliano, Lonati Violetta, 1; On the maximum coefficients of rational formalseries in commuting variables; Proceedings DLT 2004; 2004; Springer-Verlag; Lecture Notes in Computer Science.

-Ghilardi Silvio, Baader Franz, Tinelli Cesare; A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic; Automated Reasoning; 2004; Springer; Lecture Notes in Artificial Intelligence.

-Momigliano Alberto, D. Aspinall, L. Beringer, M. Hofmann, H-W. Loidl; A Program Logic for Resource Verification; TPHOLs'04; 2004; Springer; LNCS.

-Momigliano Alberto, Alwen Tiu; Induction and Co-induction in Sequent; TYPES 2003; 2004; Springer; LNCS. -Momigliano Alberto, L. Beringer, M. Hofmann, O. Shkaravska; Towards Certification Generation for Linear HeapConsumption; Logics for Resources, Processes, and Programs; 2004.

-Ornaghi Mario, Kung-Kiu Lau; Specifying Compositional Units for Correct Program Development; Program Development in Computational Logic; 2004; Springer; LNCS.

-Valentini Giorgio; Random aggregated and bagged ensembles of SVMs: an empirical bias-variance analysis; Fifth International Workshop on Multiple Classifier Systems; 2004; Springer; Lecture Notes on Computer Science.

-Vigna Sebastiano, Santini Massimo, Boldi Paolo; Do your worst to make the best: Paradoxical effects in PageRankincremental computations; Proc. WAW 2004; 2004; Springer; Lecture Notes in Computer Science.

-Vigna Sebastiano; Reachability problems in entity-relationship schema instances; Conceptual Modeling¿ER 2004. 23rd International Conference on Conceptual Modeling; 2004; Springer Verlag; LNCS.

Relazioni ai Congressi/Abstract-Aguzzoli Stefano, Besozzi Daniela, Ioan I. Ardelean, Brunella Gerla, Corrado Manara; P systems under uncertainty:the case of transmembrane proteins; Uncertainty in membrane computing; Proceedings of brainstorming workshop onuncertainty in membrane computing; 2004; Palma de Mallorca; pagg. 107-117.

-Aguzzoli Stefano, Besozzi Daniela, Brunella Gerla, Corrado Manara; P systems with vague boundaries: the t-norm approach; Uncertainty in membrane computing; Proceedings of brainstorming workshop on uncertainty in membrane computing; 2004; Palma de Mallorca; pagg. 97-105.

-Aguzzoli Stefano; Uniform Description of Calculi for All t-norm Logics; ISMVL 2004; Proceedings of ISMVL 2004; 2004; Toronto, Canada; IEEE Computer Society Press; pagg. 38-43.

-Arca Stefano, Campadelli Paola, Lanzarotti Raffaella; An automatic feature-based face recognition system; WIAMIS 2004; Conference proceedings; 2004; Lisbona.

-Bertoni Alberto, Valentini Giorgio, Folgieri Raffaella; Feature selection combined with random subspace ensemblefor gene expression based diagnosis of malignancies; CIBB WIRN 2004; 2004; Perugia; Kluwer.

-Bertoni Alberto, Valentini Giorgio, Folgieri Raffaella; Random subspace ensembles for the bio-molecular diagnosis of tumors; NETTAB 04; Proc. of NETTAB 2004; 2004; Camerino.

-Boldi Paolo, Vigna Sebastiano; The WebGraph framework I: Compression techniques; WWW 2004; Proc. of theThirteenth International World Wide Web Conference; 2004; New York; ACM Press; pagg. 595-601.

-Borghese Nunzio Alberto, Ferrari Stefano, Piuri Vincenzo, Frosio Iuri; Enhanced Vector Quantization for datareduction and filtering; Proc. of the 2nd Intl Symp 3D Data Processing, Visualization, and Transmission (3DPVT2004),; 2004.

-Campadelli Paola, Casiraghi Elena; A nodule detection system for postero-anterior chest radiographs; MCO 2004; 2004.

-Campadelli Paola, Casiraghi Elena; Nodule detection in postero anterior chest radiographs; MICCAI2004; 2004. -Campadelli Paola, Casiraghi Elena; Pruning the nodule candidate set in postero anterior chest radiographs; WIRN2004; 2004.

-Cesa Bianchi Nicolo' Antonio; Applications of regularized least squares to classification problems; The 15th Int.Conf. on Alg. Learning Th.; 2004; Padova; Springer, New York; Lecture Notes in Artificial Intelligence pagg. 14-18.

-Cesa Bianchi Nicolo' Antonio, Gabor Lugosi, Gilles Stoltz; Minimizing regret with label efficient prediction; The 17th Annual Conf. on Learning Theory; 2004; Banff, Canada; Lecture Notes in Artificial Intelligence pagg. 77-92.

-Cesa Bianchi Nicolo' Antonio, Alex Conconi, Claudio Gentile; Regret bounds for hierarchical classification with linear-threshold functions; The 17th Annual Conf. on Learning Theory; 2004; Banff, Canada; Springer, New York;Lecture Notes in Artificial Intelligence pagg. 93-108.

-Fiorentini Camillo, Ferrari Mauro, Fiorino Guido; A secondary semantics for second order intuitionistic propositionallogic.; Mathematical Logic Quarterly; 2004; pagg. 202-210.

-Ruffino Francesca, Valentini Giorgio, Muselli Marco, Marco Muselli; An Artificial Model for Validating GeneSelection Methods; BITS 2004; Bioinformatics Italian Society Meeting; 2004; Padova.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 15

-Trubian Marco, Ardagna Danilo, Francalanci Chiara, 2; A Cost-Oriented Approach For Infrastructural Design; 19-th ACM Symposium on Applied Computing; Proceedings of SAC 2004; 2004; Nicosia, Cyprus; pagg. 1431-1437.

-Vigna Sebastiano, Boldi Paolo; WebGraph: Things you thought you could not do with Java; PPPJ04; Proc. of the 3rdInternational Conference on Principles and Practice of Programming in Java; 2004; Las Vegas; ACM InternationalConference Proceedings Series; pagg. 1-8.

Rapporti-Bertoni Alberto, Choffrut Christian, Goldwurm Massimiliano, Lonati Violetta, 1; Local limit properties for patternstatistics and rational models; 2004; Novembre 2004; Rapporto Interno n. 301-04, Dip. Scienze.

-Mereghetti Carlo, Bertoni Alberto, Palano Beatrice Santa; Small size quantum automata recognizing some regularlanguages; 2004.

-Mereghetti Carlo, Palano Beatrice Santa; The complexity of minimum difference cover; 2004. -Pighizzini Giovanni, Mereghetti Carlo, Viliam Geffert; Complementing two-way finite automata; 2004.

7. Centri di ricerca con sede nel dipartimento o istituto, consorzi per la ricerca cui partecipa la struttura

Nessuno

8. Partecipazione dei componenti della struttura ad organi di governo, coordinamento, gestione, ecc. della facoltà e/o dell'ateneo

NOMINATIVO ORGANO DI APPARTENENZA Paola Campadelli

- Rappresentante di area nella Giunta della Facoltà di Scienze M.M.F.F.N.N. - Membro della Commissione per le Strategie Informatiche.

Alberto Bertoni

- Membro Comitato d'Area n. A06;

- Coordinatore della Laurea Specialistica in Informatica; - Coordinatore della Laurea in Informatica;

Bruno Apolloni

- Responsabile Progetto ERASMUS - Area Informatica;

- Membro della Commissione per 1'Internazionalizzazione della Facoltà di Scienze M.M.F.F.N.N.

Giorgio Valle

- Coordinatore della Laurea in Comunicazione Digitale.

Dario Malchiodi

- Rappresentante dei Ricercatori nel Consiglio della Facoltà di Scienze M.M.F.F.N.N.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 16

9. Dottorati di Ricerca aventi sede Amministrativa presso la struttura

DOTTORATO DI RICERCA IN INFORMATICA

Coordinatore: Prof. Giovanni Degli Antoni

XVII CICLO Anno Attivazione 2001/2002 Durata: 3 anni Numero dottorandi con borsa: Tot. 7 Numero dottorandi senza borsa: Tot. 4 ( di cui 1 dottorando del XVI ciclo)

XVIII CICLO Anno Attivazione 2002/2003 Durata: 3 anni Numero dottorandi con borsa: Tot. 10 Numero dottorandi senza borsa: Tot. 11

XIX CICLO Anno Attivazione 2003/2004

Durata: 3 anni Numero dottorandi con borsa: Tot. 11 Numero dottorandi senza borsa: Tot. 7

XX CICLO Anno Attivazione 2004/2005 Durata: 3 anni Numero dottorandi con borsa: Tot. 11 Numero dottorandi senza borsa: Tot. 12Nel 2004 hanno conseguito il titolo di Dottore di Ricerca in Informatica i seguenti dottorandi del XVII CICLO: Dottorandi Titolo tesi Elena Camossi Spatio-temporal multigranularity in an object data model Elena Casiraghi A computer aided diagnosis system for lung nodule detection in postero

anterior chest radiographs. Loretta Diana An XML-based Querying Model for MIR Applications within a Multi-

Layered Music Information Environment Violetta Lonati Pattern statistics in rational models .Giovanni Mella Distributed and Cooperative updates of XML Documents

Andrea Nucita Query Optimization in GIS Andrea Visconti Intrusion Detection via Artificial Immune Systems 3 dottorandi hanno fatto richiesta di poter posticipare la discussione della tesi nel 2005.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 17

10. Dati di contesto didattico

No. totale insegnamenti tenuti da docenti afferenti alla struttura 68No. insegnamenti corsi di laurea 68No. insegnamenti corsi di diploma universitario 0No. insegnamenti corsi di scuole di specializzazione 0No. insegnamenti corsi di scuole di perfezionamento 0No. insegnamenti corsi di dottorati 5No. insegnamenti corsi di scuole post-laurea 2No. corsi di aggiornamento 0No. totale esami tenuti da docenti afferenti alla struttura 2323No. esami profitto corsi di laurea 2314No. esami profitto corsi di diploma universitario 9No. esami profitto scuole di specializzazione 0No. esami profitto scuole di perfezionamento 0No. tesi di laurea 53No. tesine di diploma 0No. tesi di specialità 0No. dottorati di ricerca con sede amministrativa presso la struttura 4No. dottorati di ricerca con sede amministrativa esterna 0No. dottori di ricerca che hanno conseguito il titolo 7No. di tirocinanti 240No. programmi di tutoraggio 0No. professori a contratto, lettori e docenti di corsi di sostegno 0

11. Commento conclusivo del direttore

a) Le principali linee delle ricerche svolte nell’ambito della struttura nel corso dell’anno 2004 e i progressi ottenuti Il DSI è sede di una intensa attività di ricerca nei principali settori delle Scienze e Tecnologie dell’Informazione e Comunicazione, riguardanti gli aspetti sistemistici, algoritmici e architetturali dell’Informatica, con particolare attenzione al punto di vista teorico-metodologico e con ricadute applicative. Più analiticamente, le principali attività di ricerca del DSI possono essere divise nei seguenti settori: - Sistemi Intelligenti La progettazione e la realizzazione di sistemi informatici complessi richiede l'introduzione di soluzioni dotate di alta flessibilità e adattatività, sia in presenza sia in assenza di esempi di comportamento desiderato. Le tecniche basate sull'apprendimento sono particolarmente efficaci per questa problematica. Esse riguardano la costruzione di ipotesi a partire da osservazioni, e il loro sviluppo richiede ricerche interdisciplinari nell’ambito della statistica, teoria dell’informazione e teoria dei giochi. Oltre agli aspetti di carattere teorico e metodologico, si è posta attenzione anche agli aspetti di tipo tecnologico e applicativo, in ambiti che variano dalla biomedicina al controllo industriale. Particolare attenzione è stata dedicata alla ricostruzione di tassonomie attraverso l’analisi di testi. Si è sviluppata una nuova linea di ricerca nell’ambito della ROBOTICA, riguardante sia lo studio del movimento di robot umanoidi che il controllo e il coordinamento di flotte di robot. - Modelli di calcolo, Algoritmi e Complessità

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 18

Un modello di calcolo viene specificato astrattamente dalla relazione sistema-comportamento-risorse utilizzate; le problematiche affrontate sono quelle di progettazione/analisi (correttezza, complessità concreta e strutturale); in questo ambito i metodi sviluppati per lo studio dei linguaggi formali si sono rilevati utili strumenti di lavoro. All'interno di questo quadro sono proseguite linee di ricerca per lo studio di modelli di calcolo non convenzionali (neurali, genetici) con applicazioni all'ottimizzazione e all'apprendimento. Particolare attenzione è stata dedicata ai modelli di calcolo quantistici, circoscrivendo lo studio a semplici modelli di automi a stati finiti. In quest’ambito si sono affrontati problemi di sintesi e di stima di complessità descrizionale. Nell’ambito della descrizione, conteggio e generazione casuale di strutture combinatorie, sono stati proposti algoritmi efficienti per conteggio e generazione casuale di parole in classi di linguaggi. Sono stati proposti e studiati nuovi modelli per le statistiche motif, con potenziali ricadute sul riconoscimento di geni in sequenze di DNA. Nell’ambito infine dei modelli distribuiti, è stato analizzato a fondo il senso della direzione e sono stati sviluppati algoritmi basati sull'analisi strutturale del Web. - Sistemi Distribuiti La ricerca nel campo dei sistemi distribuiti è stata dedicata in gran parte alla progettazione e sviluppo di algoritmi di accesso al Web. Sono stati in particolare progettati algoritmi finalizzati al crawling e all'analisi del World-Wide Web, creando strumenti di grande interesse per gruppi che necessitino di scaricare grandi quantità di dati ed aprendo nuove potenziali applicazioni di Internet. In particolare, è stata dedicata grande attenzione agli algoritmi di “ordinamento” tra i documenti (ranking), con attenzione alla rilevazione di tecniche di disturbo avversariale (spamming). Si è proposto un iniziale approccio a problematiche del Grid computing Il Grid è una infrastruttura su scala internazionale, paradigma emergente per la prossima generazione di calcolo distribuito. La ricerca sviluppata in Dipartimento si è concentrata sulle problematiche degli algoritmi di scheduling. - Trattamento di immagini e video La ricerca di oggetti in immagini statiche o in sequenze di immagini è un problema di interesse in molti contesti, dalla multimedialità all’automazione e alla diagnosi medica. In questo contesto sono proseguite le ricerche indirizzate all'identificazione di persone da immagini di volti, alla ricostruzione tridimensionale del volto e al riconoscimento di volti in scene arbitrarie. Nel campo dell’analisi di immagini mediche, sono stati sviluppati algoritmi per il miglioramento della qualità di immagini radiologiche e si è sviluppata una metodologia per la diagnostica da immagini radiografiche del tumore polmonare. Da un punto di vista più ingegneristico, sono stati sviluppati sistemi di “motion capture” a basso costo e sistemi di scanner 3D. - Dimostrazione Automatica in Logiche Multivalenti, Costruttive e Modali L'attività di ricerca si è concentrata su varie tematiche emergenti nella dimostrazione automatica, con particolare rilievo al settore delle logiche non classiche. Una prima linea di ricerca si è concentrata sulla specificazione e verifica di programmi, espresse nell'ambito di sistemi logici formalizzati. Viene qui assegnato particolare rilievo agli aspetti di modularità e consumo di risorse; sono stati inoltre proposti metodi per l'estrazione dell'informazione da prove in calcoli “costruttivi”. Una seconda linea si riferisce al progetto di algoritmi (con analisi della loro complessità computazionale) per varie problematiche inerenti le logiche costruttive e modali. In questo ambito si sono sviluppate tecniche di dimostrazione automatica basate su combinazioni di procedure di decisione (problemi della parola, problemi di soddisfacibilità di vincoli). Sono state infine proposte semantiche algebriche per logiche polivalenti, e sviluppati metodi per lo studio di forme normali in logiche a molti valori. Tra le applicazioni, si segnalano lo sviluppo di sistemi per il controllo fuzzy e il filtraggio. - Bioinformatica e diagnostica automatica Competenze già consolidate nell' ambito della diagnostica automatica e l’apporto di nuovi ricercatori hanno consentito di avviare nuove tematiche di ricerca in ambito bioinformatico. Tra le ricerche consolidate si segnala lo sviluppo di metodi di regressione non lineare applicati alla diagnostica medica. Le attivita' in ambito bioinformatico hanno riguardato lo sviluppo e l'applicazione di metodi di apprendimento automatico all' analisi di dati bio-molecolari generati tramite bio-tecnologie high-throughput.In particolare si sono sviluppati metodi basati su multi-classificatori in grado di classificare con elevata sensibilita' geni o tessuti in diversi stati funzionali o di selezionare geni correlati ad una particolare patologia tramite l'analisi di dati di DNA microarray. Nell' ambito delle applicazioni biomediche tali metodi consentono di supportare la diagnosi di diverse tipologie di malattie (ad es: tumori) sulla base dell' analisi del profilo di espressione genica dei pazienti.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 19

b) I risultati di particolare rilevanza e visibilità esterna per il progresso scientifico, ottenuti dalla struttura nel corso dell’anno 2004 Si segnalano qui alcune linee di Ricerca che evidenziano immediati risvolti applicativi, nell’area degli algoritmi di crawling, della interfaccia uomo-macchina e dell’utilizzo di tecniche di elaborazione delle immagini a fini diagnostici.

- Il Laboratorio di Algoritmica del Web ha sviluppato progetti finalizzati al crawling e all'analisi del World-Wide Web. Si è creata una collaborazione con il Language Observatory Project (presso l'Università di Nagaoka, in Giappone), un progetto di analisi linguistica patrocinato dall'Unesco e finalizzato ad osservare charset e encoding di comunità linguistiche poco rappresentate nel Web. Si è inoltre fornita una consulenza ad Italia On-Line per la ristrutturazione del motore di ricerca Arianna

- .Il progetto ORESTEIA aveva l’obbiettivo di sviluppare un sistema di monitoraggio dello stato di attenzione di

un guidatore, basato su segnali fisiologici prelevati dal guidatore ed elaborati con algoritmi di pattern recognition messi a punto nel Laboratorio Reti Neurali. Questo paradigma di apprendimento è stato esteso ad una sessione prototipale di e-learning, con la creazione di una interfaccia cognitiva nel calcolatore che eroga la lezione, in modo che possa percepire l’atteggiamento dell’utente nei suoi confronti.

- Il problema di riconoscere persone a partire da immagini di volti è di interesse in numerosi ambiti applicativi

come l’automatizzazione degli accessi a servizi. A partire da una metodologia sviluppata dal Laboratorio di immagini per l’identificazione di soggetti acquisiti con sfondo uniforme, sono stati proposti vari sistemi di riconoscimento, sperimentati su diverse basi di dati. Ulteriormente, il Laboratorio di “Applied Intelligent Systems” ha continuato l’attività volta al miglioramento della qualità di immagini radiografiche con tecniche di filtraggio, ottenendo notevole successo.

c) Le possibili linee di sviluppo dell’attività di Ricerca che la struttura intende perseguire per il 2005 Nei settori consolidati, lo sviluppo della ricerca proseguirà in modo naturale lungo le linee tratteggiate in precedenza. Va rimarcata l’attivazione di due nuove linee. La prima, già tratteggiata, si sviluppa nel settore della Bioinformatica, recuperando competenze di base già presenti nel DSI con l’apporto di un nuovo ricercatore; questa linea di ricerca porta in modo naturale a collaborazioni scientifiche non occasionali con i Biologi della nostra Università. La seconda linea è volta allo sviluppo di architetture per la realizzazione hardware di algoritmi per segnali di varia origine ed ha portato all’attivazione di un laboratorio di Sistemi Digitali. L’istituzione di un laboratorio in questa direzione non solo allarga lo spettro di competenze, ma diventa anche occasione di incontro tra diverse aree di ricerca del DSI. Ulteriormente rende possibili collaborazioni con colleghi di Chimica (all’interno del Centro di Eccellenza CIMAINA) e di Fisica (un esempio è la proposta di Master in Elettronica). Per quanto riguarda gli aspetti organizzativi, le differenziazioni nell’area informatica, create dalle grandi potenzialità di applicazioni delle Scienze e Tecnologie dell’Informazioni, hanno portato alla divisione del DSI con la formazione di un nuovo Dipartimento (Dipartimento di Informatica e Comunicazione), attivo dal 1.1.2003, con sede nello stesso stabile in Via Comelico 39. Dopo un anno di assestamento, si può segnalare la buona armonia tra i due Dipartimenti con sviluppo di naturali collaborazioni. Attualmente afferiscono al Dipartimento di Scienze dell’Informazione 7 Professori Ordinari, 9 Professori Associati e 13 Ricercatori universitari. Il personale non docente consiste in 21 tecnici e amministrativi, di cui 11 afferiscono al “Servizio di Informatica” avente il compito di gestire i Laboratori Didattici, le aule informatizzate e la rete di comunicazione dei due Dipartimenti DSI e DICO. Va qui rilevato che durante l’anno si è rilevato un sensibile incremento di ricercatori afferenti, come risultato della politica di riequilibrio della nostra Università, di fronte alle pressanti richieste di formazione a carattere universitario cui la comunità informatica è chiamata a rispondere. Le nuove richieste di formazione della società hanno portato alla progettazione e attivazione di numerose iniziative, sempre sostenute con generosità dai colleghi docenti e dal personale tecnico-amministrativo, nonostante le difficili condizioni (il rapporto docenti/studenti per l’area informatica è di 1:53). Queste attività hanno portato ad una saturazione degli spazi, soprattutto nei laboratori didattici. A tal riguardo, sono stati introdotti significativi miglioramenti nella dotazione, flessibilità e sicurezza del laboratorio didattico (SiLab) e delle aule didattiche informatizzate (aula alfa, beta, gamma e delta), sono in avanzata fase di realizzazione due nuove aule informatizzate e verrà affittata una struttura esterna in via Gressoney, 1. Ciò nonostante, si prevede che tutte le strutture saranno utilizzate a ciclo continuo.

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 20

Una reale soluzione al problema degli spazi sarà ottenuta dalla realizzazione del nuovo “Campus per l’Informatica” localizzato in via S. Faustino. Sono stati fatti importanti passi in questa direzione, e ci si augura che l’Amministrazione ci possa aiutare con coerenza su questo obbiettivo. Il Direttore Prof. Alberto Bertoni

Relazione Annuale 2004 - Dipartimento di Scienze dell’Informazione Pag. 21