Archivio TESI al DISIT

Tesi Svolte (alcune fra le piu' significative tesi degli ultimi anni, triennali e specialistiche, vecchio e nuovo ordinamento e dottorato, tipologie non menzionate in modo esplicito).

per le modalita' segui questo link.

le tesi dopo il 2015 non sono state elencate,

Architecture and Knowledge Modelling for Smart City, Ph.D. in Informatics, Systems and Telecommunications, Tesi di Dottorato Telematica e Società dell'informazione, Ciclo XXVII, Università di Firenze, 02/2015;
Studio ed estensione di un sistema di navigazione in ambienti chiusi su più piani,
Study and extension of an indoor navigation system for multiple floors environments, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 02/2015;
Models and Tools for aggregating and relating audiovisual contents for education and entertainment, Tesi di Dottorato Telematica e Società dell'informazione, Ciclo XXVI, Università di Firenze, 2014;
Modellazione e simulazione di un sistema di guida automatica per l'alta velocità e ferrovie leggere basato su standard CBTC tramite metodi formali, Modeling and simulation of an automatic driving system for high-speed and light rail based on CBTC standard using formal methods, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 11/2013
Analisi e sviluppo di un ssitema di interrogazione e modellazione della conoscenza da open data a supporto ed analisi di soluzioni smart city, analysis and development of an integration and knowledge modelling system on open data to support and analyze smart city solutions, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 11/2013, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 11/2013
Analisi e progettazione di un sistema di monitoraggio per infrastrutture Cloud, Analysis and design of a cloud infrastructure monitoring system, Università di Firenze, 11/2013, Tesi di Laurea Magistrale in Ingegneria Informatica, Università di Firenze, 11/2013
Studio e realizzazione di un modello per la generazione di applicazioni culturali ed educazionali per piattaforma iPhone, Study and fulfillment of a model for generation of iPhone cultural and educational Apps, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 11/2013
Analisi e Sviluppo di un sistema di integrazione e modellazione della conoscenza da open data provenienti dalla pubblica amministrazione toscana per smart city e info-mobilità, analysis and development of an integration and knowledge modelling system on open data of tuscany public administrations for smart city and infomobility, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 11/2013
User Behaviour and Information Retrieval in a Best Practice Network, Tesi di Dottorato Telematica e Società dell'informazione, Ciclo XXV, Università di Firenze, 2013
Analisi e realizzazione di un sistema distribuito di raccomandazioni personalizzate per social media, analysis and implementation of a distributed personalized recommendation system for social media, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 04/2013
Analisi e realizzazione di strumenti per la navigazione fra relazioni semantiche per social media, analysis and realization of navigation tools among semantic relations for social media, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 02/2013
Sistema avanzato per la gestione delle MaxiEmergenze ospedaliere su piattaforma iOS, Advanced Systems for the Hospital Emergencies Management for iOS Platform, Tesi di Laurea Magistrale in Ingegneria Informatica, Università di Firenze, 11/2012
Analisi e sviluppo di un'applicazione di project management per enterprise social networks, Analysis and development of a project management application in an Enterprise Social Network Scenario, accessible on IUF social network, Tesi di Laurea Specialistica in Ingegneria Informatica, Università di Firenze, 11/2012
Ristrutturazione del sistema di raccomandazioni utente-utente per la rete sociale ECLAP, Renovation of the user recommendation system of ECLAP Social Network, Tesi di Laurea in Ingegneria Informatica, Università di Firenze,09/2012
Estenzione di una applicazione per la gestione dei contenuti multimediali su piattaforma iOS, Extension of an application for multimedia content management on iOS platform, Tesi di Laurea Spcialistica in Ingegneria delle Telecomunicazioni, Università di Firenze, 09/2012
Ontologie per le Neuroscienze, Human Brain Project, Tesi di Laurea in Informatica, Facoltà di Scienze Matematiche Fisiche Naturali, 09/2012
Analisi e sviluppo di crawler per la creazione di una base di conoscenza semantica del personale universitario, Tesi di Laurea in Informatica, Facoltà di Scienze Matematiche Fisiche Naturali, 7/2012
Studio e implementatione di un sistema per l'estrazione e la ricerca di relazioni semantiche da testi in Italiano integrato con un'ontologia di dominio, Study and realization of a semantic relation extraction and research system from Italian texts integrated with a domain ontology, Tesi di Laurea Magistrale in Ingegneria Informatica, Università di Firenze, 06/2012
Studio e realizzazione di un sistema per la gestione dei servizi e delle emergenze a bordo di un treno Alta Velocità, Study and implementation of a system for managing services and emergencies on high speed trains, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 03/2012
Studio e Sviluppo di una applicazione per uso di contenuti cross mediali in dispositivi mobili Android, Study and development of a crossmedia content application for Android devices, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 03/2012
Estensione e valutazione di un sistema per l'estrazione di semantica da documenti tecnici in linguaggio naturale su base ontologica, Tesi di Laurea Magistrale in Ingegneria Informatica, Università' di Firenze, 09/2011
Studio e realizzazione di un sistema di pagamento per sistemi mobili supportato da un meccanismo di firma digitale / Study and realization of a payment system for mobiles devices supported by digital signature mechanism, Tesi di Laurea Magistrale in Ingegneria Informatica, Università di Firenze, 09/2011
Analisi e realizzazione di un sitema di navigazione dei prodotti della ricerca registrati su CINECA, UGOV,Tesi di Laurea in Ingegneria Elettronica, Università' di Firenze, 09/2011
Studio sperimentazione e validazione di un sistema di ricerche o richieste in linguaggio naturale per basi di dati ontologiche di competenze, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 07/2011
Analisi e sviluppo du piattaforma Windows Phone 7 di una applicazione per l'acquisizione e gestione di contenuti multimedia, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2011
Analisi e realizzazione di un'applicazione per la gestione di contenuti multimediali su piattaforma Android, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 07/2011
Studio e realizzazione di un sistema per l'estrazione semantica da documenti tecnici in linguaggio naturale, Tesi di Laurea in Ingegneria Informatica, Università' di Firenze, 03/2011
Studio e realizzazione di uno strumento per reti P2P: monitoraggio di contenuti ed analisi del traffico, Tesi di Laurea in Specialistica in Ingegneria Informatica, Universita' di Firenze, 3/2011
Studio e realizzazione di un sistema per la gestione della Maxi emergenze ospedaliere su piattaforma iPhone, Tesi di Laurea Magistrale in Ingegneria Informatica, Universita' di Firenze, 10/2010
Analisi e Verifica della Sicurezza lato utente del Fascicolo sanitario elettronico della Regione Toscana, security, FSE, cartella clinica, smart card, Tesi di Laurea Magistrale in Ingegneria Informatica, Universita' di Firenze, 10/2010
Studio e realizzazione di una soluzione paritaria scalabile per la gestione dei diritti di contenuti multimediali integrata nell'architettura AXMEDIS DRM, MPEG-21, P2P DRM, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 09/2010
Metodi di separazione di sorgenti audio multicanale basati su fattorizzazione di matrici non negative con applicazione alla trascrizione automatica di segnali musicali, Tesi di Laurea Specialistica in Ingegneria delle Telecomunicazioni, Universita' di Firenze, 04/2010
Analisi e sviluppo di una soluzione per la Gestione di Servizi per Social Media con l'Ausio di sistemi di supporto alle decisioni, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 04/2010
Studio e realizzazione di modelli e soluzioni per la navigazione non lineare in strutture di oggetti multimediali annotati semanticamente, RDF, Ontologie, MyStoryPlayer, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 04/2010
Studio e realizzazione di un sistema di modellazione, distribuzione e fruizione semantica di contenuti multimediali su piattaforma iPhone (mobile medicine app su apple store), Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2009
Analisi ed estensione di un player multimediale basato su architettura DirectShow per la riproduzione di contenuti protetti da diritto d'autore, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2009
Analisi e sviluppo di un'architettura cluster in failover per sistemi GRID ad alta affidabilita', HA, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2009
Studio ed estenzione di regole per la gestione delle occorrenze di fallimento di verifiche formali HW/SW per sistemi di protezione e controllo accessi, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2009
Analisi e sviluppo di un sistema di riconoscimento di tracce audio basato su fingerprint su architettura GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 07/2009
Studio e realizzazione di una soluzione di protezione e de-protezione per stream MPEG2-TS HD in tempo reale a file aperto, HD, Full HD, scrambling/descrambling, DVB-T, DVB-S, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 04/2009
Studio e Implementazione di una Social Network per la condivisione di contenuti cross mediali multicanale con elaborazione semantica dei profili degli utenti, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 04/2009
Studio ed utilizzo della libreria LIB BitTorrent per la realizzazione di un client BitTorrent, P2P, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2008
Studio e realizzazione di un sistema ad alta efficienza per la distribuzione di contenuti protetti attraverso download, progressive download, DRM, CAS, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2008
Studio del sistema televisivo digitale terrestre, DVB-T, MHP, con i suoi tool di sviluppo, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2008
Analisi e realizzazione di un componente per l'elaborazione di segnali audio e video, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2008
Analisi prestazionale di un tracker bitTorrent P2P tramite logging e sviluppo di appositi metodi di parsing, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Metodi distribuiti per la fruizione di audiovisuali su sistemi mobili tramite reti P2P, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Analisi e Sviluppo di un modello per la previsione delle prestazioni di esecutori in sistemi GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Analisi e sviluppo di metodologie e strumenti per la verifica di proprieta' in sistemi specificati con logica temporale TILCO, metodi formali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Studio e realizzazione di un modello ad oggetti per la gestione di flussi MIDI real time in applicazioni di notazione musicale, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Analisi e Sviluppo di un supporto per la gestione di un ambiente domotico basato su architettura GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Analisi e Sviluppo di soluzioni per la sincronizzazione tra esecuzioni e spartiti musicali, score follower, inseguitore della musica, Tesi di Laurea in Ingegneria delle Telecomunicazioni, Universita' di Firenze, 7/2008
Analisi, progettazione e realizzazione di un motore di decisione per l'adattamento di cotenuti cross mediali, DIA, reasoning, semantic processing, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Analisi e realizzazione di un processo di workflow per la produzione autoamtica di contenuti digitali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Elaborazione del formato di WEDELMUSIC in linguaggio strutturato, notazione musicale, processing autoamtico di XML, generazione automatica di codice, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2008
Studio e realizzazione di un modello ad oggetti per la gestione di news nel formato NewsML e conversione nel formato MPEG-21/AXMEDIS, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2008
Analisi e sviluppo di un modello per la gestione del formato MXF e integrazione all'interno del framework MPEG-21 AXMEDIS, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2008
Analisi e studio di una soluzione automatizzata per l'acquisizione di contenuti digitali dagli utenti e loro distribuzione con DRM, user generated content, UCG, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2008
Analisi e sviluppo di un sistema di pagamenti on-line, pay pal ma non solo, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2008
Analisi, sviluppo e valutazione di algoritmi per il riconoscimento di tracce audio tramite fingerprint, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2007
Analisi e revisione di modelli per contenuti cross mediali basati du MPEG-21, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2007
Analisi e sviluppo di un modello di rappresentazione della notazione musicale conforme allo standard MPEG SMR (symbolic music representation), Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2007
Analisi e realizzazione di modelli e strumenti per l'annotazone di contenuti cross mediali e multimediali basati du Mpeg-21, semantica, semantica dei contenuti, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2007
Studio e valutazione dell'analisi bispettrale per il riconoscimento automatico di musica polifonica, Tesi di Laurea in Ingegneria delle Telecomunicazioni, Universita' di Firenze, 9/2007
Studio e valutazione di un piattaforma aperta per la creazione e la distribuzione di contenuti multimediali protetti basati su MPEG-4, OPEN IPMP, porting on windows, ISMA, , Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2007
Analisi e c onfronto di modelli di presentazione cross mediali, multimediali: sudio e realizzazione di algoritmi di conversione da SMIL ad HTML, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2007
Analisi di modelli capture and playback per il collaudo di applicativi con interfaccia grafica e realizzazione di un piano di test (collaudo) per un caso reale, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2007
Analisi del modello di linking (connessione, collegamento ipertestuale) fra presentazioni SMIL e suo utilizzo in un'interfaccia grafica per la gestione di multi-scenari, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2007
Analisi di soluzioni domotiche nella realta' attuale con approfondimento dello standard LonWorks, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Analisi di modelli capture and playback per il collaudo di applicativi con interfaccia grafica e realizzazione di un piano di test per un caso reale, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Studio di Politiche di Gestione Distribuita di informazioni per reti di supervisione per il DRM e realizzazione di un simulatore, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Analisi di soluzioni domotiche nella realta' attuale con approfondimento dello standard LonWorks, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Studio di politiche di gestione distribuita di informazioni per reti geografiche di supervisione per il DRM e realizzazione di un simulatore, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Analisi e Confronto tra AXMEDIS e BRICKS: due piattaforme per la distribuzione e la protezione di contenuti multimediali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 6/2007
Progettazione e Sviluppo di una Analizzatore spettrale real-time per l'elaborazione di segnali audio musicali, Tesi di Laurea in Ingegneria Elettronica, Universita' di Firenze, 4/2007
Modelli e strumenti per la valutazione di service provider tramite analisi di formalizzazioni di transazioni, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Analisi e realizzazione di un'architettura modulare per applicazioni cooperative real-time peer-to-peer, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Analisi e realizzazione di soluzioni per la pianificazione e ottimizzazione di processi per sistemi GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Analisi e realizzazione di algoritmi per la ricostruzione di immagini di opere d'arte ottenute con la riflettografia all'infrarosso, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Analisi e realizzazione della condivisione di servizi in abienti distribuiti con dispositivi a risorse limitate tramite sviluppo a componenti, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Analisi e realizzazione di un sistema per lo scambio di dati strutturati tra applicazioni musicali simboliche, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 4/2007
Studio e realizzazione di un modello ad eventi per la manipolazione di package multimediali e integrazione nel framework AXMEDIS, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2006
Posizionamento di reti wireless: analisi delle problematiche e definizione degli scenari per la realizzazione di servizi location aware, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2006
Studio e applicazione di algoritmi genetici per l'ottimizzazione delle proprieta' visuali di una rappresentazione multimediale SMIl, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2006
Analisi di un MPEG-4 player per l'integrazione tramite nodo BIFS di un decoder per la rappresentazione della Musica Simbolica, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2006
Analisi e realizzazione di un servizio di produzione autoamtica di contenuti OMA basato su GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2006
Analisi e sperimentazione di un model checker basato su CTL per la verifica di proprieta' expresse in logicqa TILCO-X, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2006
analisi realizzazione e valutazione di algoritmi per il riconoscimento automatico di tracce audio, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2006
Analisi e realizzazione di un decoder per contenuti XML binarizzati secondo lo standard MPEG-B, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Studio e realizzazione di una rete Peer-to-peer di autorizzazione basata su MPEG-21 REL che consenta la valutazione di diverse strategie, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Studio e Realizzazione di un'architettura distribuita per l'autenticazione sicura di entita' tramite autorita' di certificazione per l'utilizzao di servizi in rete mediante web service, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Analisi e definizione di una architettura per editing audio/video con controllo e supporto di formati MPEG, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Re-ingegnerizzazione di un editor musicale, Tesi di Laurea in Ingegneria delle Telecomunicazioni, Universita' di Firenze, 7/2006
Modello di Riferimento per le fasi di gestione di progetti di una societa' di engineering & contracting, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Modelli e strumenti per la descrizione e la selezione di stili perla formattazione automatica di contenuti multimediali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
AERIS: analisi e sviluppo di una piattaforma modulare di elaborazione di segnali audio digitali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Studio e realizzazione di un'architettura per la migrazione controllata di contenuti digitali protetti fra applicativi indipendenti con mutua certificazione, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 7/2006
Integrazione della notazione simbolica musicale nel reference software MPEG-4, Tesi di Laurea in Ingegneria, Universita' di Firenze, 3/2006
Teleservizi, domotica e building automation: il caso della pubblica amministrazione, Tesi di Laurea in Ingegneria Elettronica, Universita' di Firenze, 3/2006
Analisi di un modello a componenti per i servizi distribuiti multipiattaforma e realizzazione del realtivo supporto di esecuzione, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 3/2006
Studio e realizzazione di applicazioni P2P, Peer to peer, per la condivisione di contenuti multimediali digitali tra dispositivi mobili, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 3/2006
Studioe e realizzazione di un supporto per l'integrazione di meccanismi di comunicazione con sistemi per la gestione di cotenuti, in un linguaggio per nodi GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 3/2006
Studioe e realizzazione di librerie di supporto allo sviluppo di applicazioni P2P per il lavoro cooperativo, CSCW, Computer Supported Cooperative Work, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 3/2006
Il sistema di interrogazione del progetto AXMEDIS: studio e realizzazione, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 3/2006
Riconoscimento automatico di segnali musicali basato su analisi a q-costante, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 12/2005
Studio e realizzazione di una libreria a supporto per applicazioni per la fruizione di contenuti multimediali con meccanismi di controllo, protezione, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2005
Studio e realizzazione di modello dati (MPEG-21) per la rappresentazione e la ghestione di contenuti multiemdiali variamente strutturati, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2005
Analisi e sviluppo di un modello per la gestione dinamica di componenti per l'elaborazione di contenuti digitali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2005
Studio e realizzazione di un sistema distribuito basato su WEB service per l'assegnazione di identificativi univoci agli oggetti digitali e la gestione dei relativi metadati, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2005
Cinema Digitale multisala: analisi e sviluppo di un sistema distribuito flessibile a componenti, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 11/2005
Studio e integrazione delle tecnologie Microsoft Windows Media e AXMEDIS per la distribuzione e protezione dei cotenuti digitali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
Studio ed estensione di un modello ed oggetti della notazione musicale per la riproduzione sonora e visuale, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
Algoritmi e strumenti di supporto per l'analisi e l'estrazione di proprieta' dei segnali audio, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
A return on investment model for software configuration management, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
Analisi, progetto e realizzazione di un modulo software per lo scambio interattivo e trasparente di primitive tra applicazioni GRID e rete, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
Analisi e sviluppo di un ambiente distribuito per la produzione automatica di contenuti multimediali basato su un'infrastruttura GRID, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2009
Metodi e strumenti per la decomposizione vettoriale di immagini di partiture musicali, Optical Music recognition, restautor di partiture musicali, restoring of sheet music, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2005
Analisi e sviluppo di tecnologie dinamiche di controllo a supporto del commerciio e dell'uso di contenuti digitali, Tesi di Laurea in Ingegneria Informatica, Universita' di Firenze, 9/2005
Integrazione di metadati provenienti da basi di dati bibliografiche tramite piattaforma di acquisizione documentale, Crawler, Focuseek, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2005
Studio e integrazione di un modello per la personalizzazione di applicazioni in un catalogo web per la distribuzione di contenuti multimediali, content distribution, mobile, PDA, personalization, profiling, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2005
Analisi e progetto di Integrazione tra sistemi amministrativi e SAP R/3, R3, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2005
Perfezionamento e validazione di un traduttore dalla logica temporale TILCO-A a LTL per l'integrazione di TILCO-X nel model checker SPIN, sistemi di tempor reale, verifica e validazione, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2005
Meccanismi e problematiche di un processo di pubblicazione documentale strutturato in una intranet aziendale basata su architettura Microsoft, .NET, Workflow, Document Automation, Tesi di Laurea in Ingegneria, Università di Firenze, 4/2005
Integrazione di comandi vocali in ambienti Domotici, domotica, home automation, Tesi di Laurea in Ingegneria, Università di Firenze, 4/2005
Recupero di metadati provenienti da basi di dati bibliografiche tramite il protocollo Z39.50, Tesi di Laurea in Ingegneria, Università di Firenze, 4/2005
Studio e realizzazione di un modello basato su componenti e del supporto di esecuzione (run time) per lo sviluppo di applicazioni multimediali multipiattaforma, multimedia middleware, MPEG M3W, Tesi di Laurea in Ingegneria, Università di Firenze, 4/2005
Studio e realizzazione di un traduttore dalla logica temporale TILCO-C a LTL per l'integrazione di TILCO-X nel model checker SPIN, specifica di sistemi di tempo reale, verifica e validazione, Tesi di Laurea in Ingegneria, Università di Firenze, 1/2005
Studio e Realizzazione di un modello di supporto per lo sviluppo di sistemi distribuiti con logica temporale eseguibile TILCO, Tesi di Laurea in Ingegneria, Università di Firenze, 1/2005
Supporto Software distirbutito per applicazioni cooperative, ambienti mobili, PDA, DIMOB, sistemi P2P, CSVW, Tesi di Laurea in Ingegneria, Università di Firenze, 1/2005
Analisi e realizzazione di un'architettura per sistema di manipolazione oggetti compatibili MPEG-21, contenuti digitali, protezione dei contenuti digitali multimediali, Tesi di Laurea in Ingegneria, Università di Firenze, 10/2004
Analisi e sviluppo di un'architettura per la distribuzione sicura di contenuti multimediali in rete, certificazione e supervisione, WEDELMUSIC, Tesi di Laurea in Ingegneria, Università di Firenze, 10/2004
Analisi e sviluppo di un sistema per l'interpolazione di traiettorie per machine utensili multi-asse, industrial automation, indexing, interpolation, generazione di traiettorie, multitasking, sistemi embedded, automazione industriale, Tesi di Laurea in Ingegneria, Università di Firenze, 7/2004
Analisi di registrazioni audio musicali: metodi e strumenti poer la scrittura automatica di spartiti musicali, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 7/2004
Introduzione di Modelli Interattivi e Operativi in Sistemi Autore per L'insegnamento della Musica, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 10/2003, tesi con due candidati , sviluppata in coppia.
Undo non lineare e selettivo per notazione musicale, Tesi di Laurea in Ingegneria Informatica, Università di Firenze, 9/2003
Sviluppo di un sistema di trascrizione automatica di musica polifonica, Tesi di Laurea in Ingegneria Elettronica, Univ. Cagliari, 4/2003
Confronto e Definizione di Metodi per la predizione della Difettosità del Software, metriche, manutenzione, valutazione della qualità, Tesi con due candidati in coppia, Tesi di Laurea in Ingegneria Informatica, 3/2003
Ottimizzazione con Algoritmi Genetici di Isole Robotizzate, ottimizzazione di processo di produzione, Tesi di Laurea in Ingegneria Informatica, 21/10/2002
Analisi e Sviluppo di un Motore TABU Search (TABOO Search) per l'ottimizzazione di processi di produzione, industriale, Tesi di Laurea in Ingegneria Informatica, 21/10/2002
Gestione delle Parti Liriche in Partiture Musicali, lirca multilingua, caricamento dinamico, XML, Tesi di Laurea in Ingegneria Elettronica, 4/9/2002
Stima dei Costyi di Sviluppo software: case di studio in ambito Bancario, metriche, Tesi di Laurea in Ingegneria Elettronica, 4/9/2002
Stima del beat tracking da analisi di segnali audio, riconoscimento della musica, Tesi con la Ecole Central de Nantes, 9/2002
Meccanismi di Plug in e Protocolli per le Applicazioni in Sicurezza Connesse A Internet, commercio eletronico, etc, Tesi di Laurea in Ingegneria Informatica, 10/4/2002
Monitoriaggio del Processo di Test del Software, Tesi di Laurea in Ingegneria Elettronica, 10/4/2002
Analisi e Sviluppo di un Riproduttore MIDI per l'Esecuzione di Partiture Musicali, Tesi di Laurea in Ingegneria Elettronica, 28/2/2002
estensione del Modello ad Oggetti di un editor musicale per la gestione di Musica Polifonica, Tesi di Laurea in Ingegneria Elettronica, 22/10/2001
navigazione e manipolazione di modelli ad oggetti per la notazione simbolica della musica, Tesi di Laurea in Ingegneria Elettronica, 22/10/2001
Lo scambi otermico nelle turbine a Gas: lo studio sperimentale con i cristalli liquidi, Tesi di Dottorato, 2001
tecniche di marcatura (wartermark) delle partiture musicali, Tesi di Dottorato, 2001
Un'interfaccia grafica per il provatore di Teoremi Isabelle, Logiche Temporali, GUI, Tesi di Laurea in Ingegneria Informatica, 28/2/2001
Sincronizzazione ed Esecuzione a Passo Variabile di Audio e Partiture Musicali, Tesi di Laurea in Ingegneria Elettronica, 30/5/2000.
Sistema Distribuito per la Gstione per Immagini della Musica per Orchestre, Tesi di Laurea in Ingegneria Informatica, 13/4/2000.
Algoritmi e Strumenti per l'analisi di duplicazione ed evoluzione di codice di sistemi software, Tesi di Laurea in Ingegneria Informatica, 23/3/2000.
Un Esecutore di Specifiche Logiche in Tempo Reale, Tesi di Laurea in Ingegneria Informatica, 22/2/2000.
Studio e definizione di Modelli di Predizione di Difettosità per Sistemi Software, Tesi di Laurea in Ingegneria Elettronica, 17/2/2000.
Analisi e sviluppo di un modello per la ricostruzione di spartiti musicali, Tesi di Laurea in Ingegneria Informatica, 5/1/2000.
Automatizzazione del processo di estrazione di elementi grafici in spartiti musicali e classificazione con reti neurali, Tesi di Laurea in Ingegneria Elettronica, 25/10/1999.
Ottimizzazione di algoritmi e architetture per il controllo di qualita' dei tessuti in tempo reale, Tesi di Laurea in Ingegneria Elettronica, 28/6/1999.
Valutazione di sistemi orientati agli oggetti per l'analisi dei problemi di manutenzione, Tesi di Laurea in Ingegneria Elettronica, 28/6/1999.
Analisi della difettosita' di tessuti sulla base delle componenti di colore, Tesi di Laurea in Ingegneria Elettronica, 8/6/1999.
Analisi e sviluppo di un modello per la decodifica MIDI, Tesi di Laurea in Ingegneria Informatica, 9/4/1999.
La qualità del software e la sicurezza delle apparecchiature elettromedicali, Tesi di Laurea in Ingegneria Informatica, 9/4/1999.
Valutazione ed adattamento di un sistema operativo embedded per l'impiego in controllori distribuiti, Tesi di Laurea in Ingegneria Informatica, 8/4/1999.
Strumenti Informatici per l'integrazione di fabbrica, Tesi di Laurea in Ingegneria Elettronica, 31/3/1999.
Pianificazione e supervisione della produzione in isole robotizzate, Tesi di Laurea in Ingegneria Elettronica, 31/3/1999.
Analisi della difettosita' dei tessuti mediante tecniche di elaborazione di immagini, Tesi di Laurea in Ingegneria Elettronica, 1/3/1999.
Definizione di un linguaggio, formalizzazione e interpretazione delle regole per una corretta rappresentazione della notazione musicale, Tesi di Laurea in Ingegneria Elettronica, 22/2/1999.
MOODS: un linguaggio per la musica, Tesi di Laurea in Ingegneria Informatica, 23/10/1998.
Configurazione Fisca e Logica di un sistema distribuito di Leggii (per la musica), Tesi di Laurea in Ingegneria per le Telecomunicazioni, 17/9/1998.
Supporto di rete per un sistema distribuito di leggii, Tesi di Laurea in Ingegneria Elettronica, 1/6/1998
Valutazione dei Costi e della Complessità in sistemi orientati agli ogegtti, Tesi di Laurea in Ingegneria Elettronica, 6/4/1998.
Il Monitoraggio dei contratti di fornitura software, Tesi di Laurea in Ingegneria Informatica, 6/4/1998.
Analisi e re-ingegnerizzazione ad oggetti di sistemi COBOL, Tesi di Laurea in Ingegneria Elettronica, 6/4/1998.
Valutazioni dei costi e della complessita'in sistemi orienteati agli oggetti, Tesi di Laurea in Ingegneria Elettronica, 6/4/1998.
Interfaccia Utente per un sistema distribuito di Leggii, Tesi di Laurea in Ingegneria Elettronica, 6/4/1998.
Progetto di un Chip per la stima regolarizzata dell'andamento del flusso ottico, Tesi di Laurea in Ingegneria Elettronica, 2/2/1998.
Valutazione di sistemi object oriented e del loro processo di produzione, Tesi di Laurea in Ingegneria Elettronica, 2/2/1998.
Supporto per la comunicazione e la definizione di processi di tempo reale per una logica temporale ad intervalli, Tesi di Laurea in Ingegneria Informatica, 2/7/1997.
Analisi, Valutazione e realizzazione dell'architettura di tempo reale di un controllore numerico per macchine utensili, Tesi di Laurea in Ingegneria Elettronica, 30/6/1997.
Analisi e Realizzazione di un sistema software per la gestione industriale nel settore delle confezioni, Tesi di Laurea in Ingegneria Elettronica, 30/6/1997.
Studio di tecniche e realizzazione ad oggetti di uno strumento per l'estrazione di simboli elementari da immagini di partiture musicali, Tesi di Laurea in Ingegneria Elettronica, 2/4/1997.
Analisi e progettazione ad oggetti di un sistema distribuito di leggii per orchestra, 6/12/1996.
Analisi orientata agli oggetti di applicazioni COBOL, Tesi di Laurea in Ingegneria Informatica, Universita' degli Studi di Pisa, 12/10/1996.
Re-Ingegnerizzazione del sistema Index-Z80 verso una piattaforma Multiprocessore, Tesi di Laurea in Ingegneria Elettronica, 1/7/1996.
Definizione di Algoritmi per l'Allocazione di processi Aperiodici critici in sistemi di tempo reale, Tesi di Laurea in Ingegneria Elettronica, 1/4/1996.
Stima della Complessita' di sistemi Object Oriented (C++), Tesi di Laurea in Ingegneria Elettronica, 3/7/1995.
Verifica e validazione di specifiche TROL in ambiente TOOMS, Tesi di Laurea in Ingegneria Elettronica, 30/1/1995.
Esecutore di specifiche logiche in tempo reale, Tesi di Laurea in Ingegneria Elettronica, 27/1/1995.
Mouse 3D Virtuale con Tecniche di Visione, Tesi di Laurea in Ingegneria Elettronica, 4/7/1994.
Modellazione ad oggetti di un controllore numerico per fresatrici riconfigurabili, Tesi di Laurea in Ingegneria Elettronica, 30/5/1994