I temi trattati sono quelli dello sviluppo di algoritmi efficienti per la generazione esaustiva di strutture combinatorie quali poliomini, pile di sabbia, pile di ghiaccio e particolari classi di matrici di interi, nonché dello studio di classi di linguaggi con funzioni generatrici che soddisfano equazioni differenziali lineari a coefficienti polinomiali (funzioni D-finite).
Da una parte, l'uso di particolari sistemi dinamici discreti permette la realizzazione di algoritmi di generazione esaustiva che operano in tempo ammortizzato costante. Dall'altra, le particolari proprietà di chiusura della classe delle funzioni D-finite permettono la soluzione di classici problemi in teoria di linguaggi (e.g. inclusione, equivalenza, vuotità, universo) per quelle classi di linguaggi che ammettono funzione generatrice D-finita e che possiedono alcune proprietà di chiusura rispetto agli operatori tradizionali (e.g. unione, intersezione).
Tra gli obiettivi anche lo sviluppo di package specifici per sistemi di computer algebra.

I componenti sono:

• Paolo Massazza - professore associato (responsabile)

Parole chiave: poliomini, algoritmi di generazione esaustiva, funzioni generatrici, serie d-finite, linguaggi algebrici
Settori ERC: PE1_15, PE6_4, PE6_6
Collaboriamo con: Università di Nizza-Sophia Antipolis (Francia), Università di Palermo, Università di Firenze

Il gruppo svolge attività di ricerca e sviluppo nel campo del deep learning, computer vision, pattern recognition e text mining. L’affiliazione del gruppo di ricerca con il mondo dell’industria offre una grande opportunità per testare nuove soluzioni di ricerca in ambienti reali.

Il gruppo di ricerca ha collaborato con il prof. Gabriele Piccoli della Louisiana State University, LA, USA, su un problema di riconoscimento facciale basato sulle Convolutional Neural Network (CNN).

Arte-Lab ha collaborato con il Digital Data Streams Laboratory (DDSLab) dell'Università di Pavia per cercare di migliorare la capacità di un analista di prevedere con precisione eventi futuri di rilevanza economica, sfruttando le tecniche di Natural Language Processing e Machine Learning.

Arte-Lab sta studiando nuovi modelli di business per l'e-commerce avanzato, collaborando con il Prof. Pierluigi Gallo dell'Università di Palermo.

Il gruppo ha sviluppato e gestisce un servizio online (meterreader.dista.uninsubria.it) per la lettura automatica dei vari tipi di contatori a partire da una foto digitale. L'algoritmo, per raggiungere performance elevate, utilizza un hardware specifico ad alte prestazioni basato su schede grafiche (GPU).

I componenti sono:

• Ignazio Gallo - ricercatore (responsabile)
• Alessandro Calefati - dottorando
• Shah Nawaz - dottorando
• Omer Arshad - dottorando
• Riccardo La Grassa - dottorando

Sito del gruppo: http://artelab.dista.uninsubria.it/
Parole chiave: Deep Learning, Pattern Recognition, Computer Vision, Data Mining
Collaboriamo con: Louisiana State University (USA), Università di Palermo, Università di Pavia, University of Engineering and Technology, Lahore (Pakistan), National University of Sciences and Technology, Islamabad (Pakistan), 7Pixel srl (www.7pixel.it), Gruppo MOL (www.gruppomol.it), Athena srl (www.athenagroup.eu)

Il gruppo di ricerca si occupa di definire ed applicare metodi di analisi di dati nell'ambito dell'ingegneria del software empirica, di definire strumenti concettuali e operativi per l'analisi della qualità del software e del suo processo produttivo, di definire, sperimentare e convalidare misure del software praticamente utilizzabili, di definire soluzioni in grado di garantire requisiti di sicurezza e privacy nelle reti wireless di sensori, caratterizzate da limitate capacità energetiche e computazionali, di definire soluzioni per garantire sicurezza e privacy, controllo dell’accesso ed enforcement delle policy, nell’ambito di Internet of Things (IoT).

Per quanto concerne IoT, la ricerca si orienta verso la definizione di architetture distribuite e scalabili, modelli e meccanismi per garantire adeguati livelli di qualità, protocolli e middleware per l'analisi e la condivisione di informazioni e servizi. Vengono impiegate tecniche per garantire un'efficiente condivisione e storage dell'informazione, gestire il caching dei dati e fornire informazioni circa l'affidabilità, la sicurezza e la qualità dei servizi. Si affrontano, inoltre, problematiche riguardo l'analisi di vulnerabilità, la definizione di protocolli di cifratura scalabili, la definizione di framework per la specifica e l'enforcement di politiche di controllo dell'accesso.

Per quanto riguarda l'area empirica, qualità e misure, la ricerca corrente verte sullo studio e definizione di modelli statistici delle qualità esterne del software (correttezza, manutenibilità, ecc.) sulla base di misure degli attributi interni del software (dimensioni, complessità, accoppiamento, coesione, ecc.). Particolare enfasi viene posta nella definizione di nuovi metodi e nella validazione (o confutazione) dei metodi esistenti. Inoltre vengono investigate le tematiche relative alla stima dei tempi e dei costi relativi allo sviluppo di prodotti software industriali, allo scopo di migliorarne la capacità di predizione, soprattutto a partire dalle informazioni che sono disponibili nelle primissime fasi dello sviluppo software.

I componenti sono:

• Alberto Coen Porisini - professore ordinario (responsabile)
• Sandro Morasca - professore ordinario
• Luigi Lavazza - professore associato
• Sabrina Sicari - professore associato
• Davide Tosi - ricercatore
• Alessandra Rizzardi - assegnista

Parole chiave: Ingegneria del software empirica, Misure del software, Qualità del software, Stima di tempi e costi, Internet of Things, Wireless Sensor Networks, Sicurezza e privacy, Politiche per il controllo dell’accesso
Settori ERC: PE6_1, PE6_2, PE6_3, PE6_11
Collaboriamo con: Politecnico di Milano, Politecnico di Bari, Università degli Studi di Pisa, Centro di ricerca Create-Net di Trento, U-Hopper di Trento, CNR-LAAS di Tolosa (Francia), Hangzhou Dianzi University (Cina), Tampere University (Finlandia), Kuwait University (Kuwait)

Si studiano e sperimentano tecniche di Machine Learning per l’analisi di immagini e testi riferiti ad ambiti biomedici. In particolare le attività del Gruppo riguardano i seguenti temi di ricerca:

• Segmentazione automatica di immagini biomediche con metodi di machine learning supervisionati. Obiettivo della ricerca è realizzare sistemi automatici per l’identificazione di aree patologiche in immagini biomediche. In particolare si sperimentano le potenzialità dei modelli basati su Support Vector Machine e Convolutional Neural Networks per la segmentazione di lesioni in Immagini Volumetriche di Risonanza Magnetica e Immagini Mammografiche.
• Metodi di Clustering per l’Analisi di dati fMRI. Obiettivo della ricerca è valutare le potenzialità degli approcci di machine learning non supervisionato nell’ analisi di dati acquisiti da risonanza magnetica funzionale per l’esplorazione della connettività funzionale del cervello. In particolare si sperimentano tecniche di clustering basate su soft competitive learning e fuzzy set theory.
• Text Analytics per la valutazione dei dialoghi con assistenti virtuali. Obiettivo della ricerca è l’applicazione di tecniche di Machine Learning per la valutazione automatica della qualità della conversazione di ChatBOTs, finalizzata al miglioramento degli accessi dei portali, in particolare portali della Sanità Pubblica.

I componenti sono:

• Elisabetta Binaghi - professore associato (responsabile)
• Gloria Gonella - dottorando
• Samuele Martinelli - dottorando

Parole chiave: Pattern Recognition, Image Processing, Machine Learning, Neural Computing, Biomedical Image Segmentation
Settori ERC: PE6_7, PE6_11, PE6_7, PE6_11, LS5_10
Collaboriamo con: Politecnico di Milano- Image and Sound Laboratory; ASST dei Sette Laghi– Ospedale di Circolo Fondazione Macchi Varese; Middlesex University London (UK), Eudata srl; CRAIIM - Centro di Ricerca in Analisi di Immagini e Informatica medica - Università degli Studi dell’Insubria.

L’attività del gruppo si colloca nell’ambito della Filosofia, dell’Epistemologia e della Storia del pensiero scientifico, nonché della Storia delle differenti tradizioni concettuali, prestando particolare attenzione alla tradizione del Razionalismo critico europeo (studiato in tutte le sue molteplici ramificazioni e sviluppando anche una particolare attenzione alle metodologie di indagine inter e pluri-disciplinari concernenti lo sviluppo della conoscenza umana in tutti i suoi differenziati ambiti di attività).

I principali temi di ricerca sono:

1. lo sviluppo storico del Razionalismo critico europeo, dall’età moderna all’età contemporanea, prestando particolare attenzione alla tradizione del Razionalismo critico lombardo dal Settecento ad oggi;
2. lo studio della “scuola di Milano” formatasi nel corso del Novecento attorno al magistero di Antonio Banfi e dei suoi grandi allievi degli anni Trenta (Enzo Paci, Remo Cantoni, Giulio Preti, Dino Formaggio, etc. etc.);
3. una disamina dell’esperienza storica degli ultimi secoli, considerata in tutta la sua effettiva ricchezza e nella sua tipica “complessità” e “vischiosità”;
4. l’approfondimento di alcuni nodi problematici strutturali, aperti e decisivi, della storia culturale contemporanea;
5. lo studio di alcuni diffusi “nuclei di apoditticità” presenti tra le pieghe, è più riposte e silenti, delle scienze contemporanee;
6. l’analisi delle tecno-scienze proprie del nostro patrimonio conoscitivo attinente il mondo della praxis;
7. l’approfondimento degli articolatissimi poliedri politecnici, a là Cattaneo, presenti all’interno del patrimonio tecnico-conoscitivo contemporaneo studiati nella lor complessa configurazione teoretica, storica, civile, culturale ed economica;
8. lo  sviluppo di una cultura del confine e dell’interconnessione critico-disciplinare nei cui ambiti possono essere studiati i nessi tra scienza e filosofia, il problema della dimensione epistemologica, la questione del rapporto tra riflessione teorica e mondo della prassi, la configurazione delle tecno-scienze, i problemi filosofici delle differenti tecnologia, l’intrecciarsi parallelo delle molteplici tradizioni letterarie, poetiche, architettoniche, artistiche e di design, mettendo costantemente in luce le specifiche, poliedriche, originali ed innovative struttura formali che informano l’azione umana;
9. lo sviluppo del progetto dei Giovani Pensatori (giunto al suo undicesimo anno di attività) per creare un’osmosi diretta tra il mondo dell’università e della ricerca e il mondo della formazione secondaria e primaria onde poter diffondere uno spirito critico come punto irrinunciabile per la formazione a qualsiasi livello scolastico;
10. la salvaguardia, il reperimento e lo studio di Archivi storici e di Biblioteche d’Autore inerenti questa articolata e complessa tradizione di pensiero.

Tutte queste attività trovano il loro punto di riferimento privilegiato nell’attività del Centro di ricerca speciale denominato Centro internazionale insubrico “Carlo Cattaneo” e “Giulio Preti” per la filosofia, l’epistemologia, le scienze cognitive e la storia della scienza e delle tecniche dell’Università degli Studi dell’Insubria, che è stato fondato nel 2009 e che allo stato attuale ha raccolto 22 archivi storici, sette Biblioteche d’Autore e ha promosso la pubblicazione di 82 volumi con cui ha approfondito differenti aspetti di questo articolato programma di ricerca e studio.

I componenti sono:

• Fabio Minazzi, professore ordinario (responsabile)
• Elisabetta Scolozzi, assegnista di ricerca
• Florinda Cambria, docente incaricata
• Marina Lazzari, docente incaricata
• Stefania Barile, dottore di ricerca
• Valeria Ponzellini, dottore di ricerca
• Rossana Veneziano, dottore di ricerca
• Giovanni Carrozzini, dottore di ricerca
• Giulia Santi, dottore di ricerca
• Paolo Giannitrapani, bibliotecario del Centro

Parole chiave: epistemologia; storia del pensiero scientifico; tradizioni concettuali; topiche; ontologismo critico; trascendentalismo storico-critico
Settore ERC: SH4_10 Filosofia della mente, epistemologia e logica; SH4_11 Educazione: sistemi ed istituzioni, insegnamento e apprendimento; SH5_6 Filosofia, storia della filosofia; SH6_10 History of ideas, intellectual history, history of sciences and techniques; SH6_11 Cultural history, history of collective identities and memories; SH6_12 Historiography, theory and methods of history.
Collaboriamo con: Società Italiana di Logica e Filosofia della scienza (SILFS); Académie Internationalle de Philosophie des Science di Bruxelles (AISP); Società Filosofica Italiana nazionale di Roma (SFI); Accademia della Crusca di Firenze; Gruppo Internazionale di INTEREPISTEME di Torino; Edizione Nazionale delle Opere di Vallisneri (Milano); Istituto per la Storia del pensiero filosofico e scientifco moderno del Consiglio Nazionale delle Ricerche (ISPFS)

L’attività del gruppo si colloca nell’ambito della storia delle scienze, delle tecniche e delle tecnologie, nonché della  storia della cultura materiale, con particolare attenzione alle metodologie di indagine interdisciplinare riguardanti lo sviluppo delle scienze della Terra e della vita, anche in relazione al contesto sociale, filosofico e ambientale.

I principali temi di ricerca sono:

1. lo sviluppo storico delle forme di comunicazione scientifica e tecnica, con particolare attenzione alle diverse tipologie di rumours e di linguaggio visivo (visual language), agli immaginari scientifici, alla storia dell’informazione scientifica, nonché alle forme di narrazione della scienza e della tecnologia nei mass media in età contemporanea;
2. il ruolo delle istituzioni (università, musei, accademie, società scientifiche, organi statali, enti di ricerca) nello sviluppo delle scienze della Terra e della vita in Italia;
3. storia della geologia e delle tecniche minerarie in aree montane;
4. storia della stratigrafia, "classificazioni" delle montagne e sviluppo della ricerca sul terreno;
5. storia della scoperta e ricerche sull’evoluzione della sovrapposizione genica, codifica multipla delle proteine all’interno dei genomi degli organismi;
6. storia e controversie nella comunità scientifica intorno alla proliferazione cellulare e all’origine del cancro;
7. storia ambientale e geostoria, con particolare attenzione alla storia geo-ambientale, sia degli sviluppi civili dell’energia nucleare, sia delle attività di sfruttamento minerario;
8. storia della cultura materiale e delle tecniche nel territorio veneto, piemontese e lombardo, con particolare attenzione all'archeologia industriale e alle attività estrattive (cave e miniere).

Alcune di queste attività sono condotte all'interno del Centro di ricerca sulla Storia della montagna, della Cultura materiale e delle Scienze della Terra, istituito presso il DiSTA e a cui afferiscono tutti i componenti del gruppo di ricerca:

• Ezio Vaccari, professore ordinario (responsabile)
• Andrea Candela, ricercatore
• Alberto Vianelli, ricercatore
• Maria Faccioli, assegnista di ricerca

Parole chiave: storia delle scienze; storia delle tecniche; cultura materiale; storia ambientale; comunicazione scientifica; scienze della Terra; scienze della vita
Settori ERC: SH2_11 Social studies of science and technology; SH6_10 History of ideas, intellectual history, history of sciences and techniques; SH6_11 Cultural history, history of collective identities and memories; SH6_12 Historiography, theory and methods of history.
Collaboriamo con: Società Italiana di Storia della Scienza (SISS); International Commission on the History of Geological Sciences (INHIGEO); Laboratoire SPH (Sciences, Philosophie, Humanités), Université Bordeaux Montaigne; Department of Geology, Trinity College Dublin;  Centre Cavaillès, République des savoirs, École Normale Supérieure, Paris.