Indirizzo
Via COMELICO 39/41 - 20135 - Milano
Sito Web
Progetti
Progetti finanziati (35)
ARS TechnoMedia (Algoritmica per le Reti Sociali Tecno-mediate)
PRIN10-11 - PRIN bando 2010-11
Progetto
2013
Automi e Linguaggi Formali: Aspetti Matematici e Applicativi
PRIN10-11 - PRIN bando 2010-11
Progetto
2013
2013
Rehabilitative Wayout In Responsive home Environments
7PQCP-CSA - 7 Programma Quadro_Collaborative Project/Network/Coordination and Support Action
Progetto
2011
Mathematical Tools for the Management of Uncertain and Vague Information
7PQ_MC_IR - 7 Programma Quadro_Marie Curie IRSES
Progetto
2011
Fitness and physical rehabilitation at home under export planning, prescription and control with deployment of the telemedicine solutions
DGRUP - Programmi della DG Regional and Urban Policy (REGIO)
Progetto
2010
2010
2009
2009
2009
Metodi logici e algoritmici nella analisi, specifica e verifica di sistemi.
PUR90 - PUR 90%
Progetto
2009
2008
Dynamical kickback and noncommuting impurities in a spin chain.
PUR20062008 - PUR 2006-2008
Progetto
2008
2008
Progetto e sviluppo di modelli e algoritmi per problemi di programmazione matematica
PUR20062008 - PUR 2006-2008
Progetto
2008
2008
Tecniche formali per l'analisi di sistemi computazionali e applicazioni
PUR20062008 - PUR 2006-2008
Progetto
2008
2008
Valutazione dell'utilizzo di accelerometri MEMS per il motion Capture.
PUR20062008 - PUR 2006-2008
Progetto
2008
2007
2007
2007
2007
Processi non markoviani per reti di telecomunicazione opportunistiche
PUR20062008 - PUR 2006-2008
Progetto
2007
2007
2007
Tecniche logiche nella specifica e verifica formale di sistemi.
PUR20062008 - PUR 2006-2008
Progetto
2007
2006
Logiche non classiche nella specificazione e verifica dei programmi
PUR20062008 - PUR 2006-2008
Progetto
2006
2006
2006
Modelli stocastici e quantistici per problemi computazionali e di bioinformatica
PUR20062008 - PUR 2006-2008
Progetto
2006
2006
2006
2006
No Results Found