Theses in the APICe space

Available

• Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto del sottosistema di fault tolerance con particolare attenzione alle perdite di connettività. (Enrico Denti, 01/02/2013)
• Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto e sviluppo del sottosistema di personalizzazione. (Enrico Denti, 01/02/2013)
• Class loading in Android: applicazione a tuProlog (Enrico Denti, 24/01/2013)
• Riprogettazione dell'editor dell'interprete tuProlog (Enrico Denti, 01/10/2012)
• Traduzione semi-automatica di applicazioni: approcci a confronto (Enrico Denti, 01/09/2012)
• Estensione dell'interfaccia grafica in tuProlog per Android (Enrico Denti, 01/09/2012)
• Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (Enrico Denti, 01/09/2012)
• Pervasive Traffic Analysis through Alchemist (Mirko Viroli, 03/07/2012)
• From images to rich pervasive environments (Mirko Viroli, 03/07/2012)
• Approximate Stochastic Model Checking in Alchemist (Mirko Viroli, 01/07/2012)
• Alchemist based biochemical simulator with multiple mobile compartments (Mirko Viroli, 01/07/2012)
• Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK sul simulatore stocastico ALCHEMIST (Sara Montagna, 30/11/2011)
• Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART (Alessandro Ricci, 01/11/2011)
• Progetto di una libreria CLP per tuProlog (Enrico Denti, 17/05/2011)
• Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi (Mirko Viroli, 12/05/2011)
• Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi (Mirko Viroli, 12/05/2011)
• "Agenti Volanti" - Sperimentazione di Tecnologie ad Agenti - JaCa in particolare - per la Programmazione di Sistemi UAV basati su AR-Drone (09/05/2011)
• Sistemi basati su Mobile Augmented Reality (Alessandro Ricci, 31/03/2011)
• Sviluppo dello strumento Graph&SODA per il supporto della metodologia SODA (Ambra Molesini, 25/03/2011)
• Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog (Andrea Omicini, 01/11/2010)
• Sicurezza in TuCSoN: Progettazione e Implementazione (Andrea Omicini, 15/01/2010)
• Mobile Computing - piattaforma Android (Alessandro Ricci, 01/01/2010)
• Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti (01/01/2010)
• Coordinazione Fuzzy Tramite ReSpecT (Andrea Omicini, 16/06/2009)
• Agent-Oriented Computing - Programmazione orientata agli agenti (Alessandro Ricci, 01/01/2009)
• Infrastrutture di Virtualizzazione (Alessandro Ricci, 01/01/2009)
• "A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti (Alessandro Ricci, 01/01/2009)
• Simulazione e Verifica di Sistemi Biochimici in PRISM (17/12/2008)
• Analisi alto-livello di sistemi in PRISM (17/12/2008)
• Eco-coordination: sviluppo di modelli ecologici di coordinazione (17/12/2008)
• Pattern di computazione su piattaforma biochimica (Mirko Viroli, 17/12/2008)
• Simulazione markoviana di sotto-processi di embriogenesi (Mirko Viroli, 17/12/2008)
• Kit&SODA: A Toolkit for SODA (Ambra Molesini, 13/04/2008)