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 Arte-Lab svolge attività di ricerca e sviluppo nel campo del deep learning, computer vision, pattern recognition e text mining. L’affiliazione del gruppo con il mondo dell’industria offre una grande opportunità per testare nuove soluzioni di ricerca in ambienti reali.

Il gruppo ha collaborato, ad esempio, con il professor Gabriele Piccoli della Louisiana State University (USA) su un progetto di riconoscimento facciale basato sulle Convolutional Neural Network (CNN). Inoltre, Arte-Lab ha collaborato con il Digital Data Streams Laboratory (DDSLab) dell'Università di Pavia, impegnandosi a migliorare la capacità degli analisti di prevedere con precisione eventi futuri di rilevanza economica sfruttando tecniche di Natural Language Processing e Machine Learning. Recentemente, il gruppo ha avviato una collaborazione con l'Ospedale di Circolo e Fondazione Macchi di Varese, in particolare con il Dipartimento di Dermatologia, per sviluppare strumenti avanzati di analisi delle immagini a supporto della diagnostica dermatologica.

I componenti sono:

• Ignazio Gallo - ricercatore (responsabile)
• Silvia Corchs - professore associato
• Mattia Gatti - dottorando
• Leonardo Sgroi - 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).

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, professore associato
• 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, professore associato
• 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.