 | Up a level |
Aldà, Roberto and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2004) [BM Tesi I 0148]. - Il test funzionale di sistemi programmabili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Allegri, Andrea and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0241]. - Basi di dati semistrutturate multimediali : progettazione e realizzazione di un sistema basato su DBMS XML nativi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Babbi, Claudia and Posenato, Roberto (rel.) (2004) [BM Tesi I 0248]. - Studio delle reti di Hopfield lagrangiane aumentate per la risoluzione dell'insieme di indipendenza massimo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bernardelli, Nicola and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) and Rossato, Rosalba (correl.) (2004) [BM Tesi I 0224]. - Regole di associazione per documenti XML : definizione e valutazione di indici di similarià strutturale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bertagnoli, Monica and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2004) [BM Tesi I 0225]. - Studio e realizzazione di un'interfaccia per la mosaicatura di immagini mediante la tecnica di progettazione centrata sull'utente. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brojanigo, Alberto and Manca, Vincenzo (rel.) (2004) [BM Tesi I 0233]. - Modelli simbolici di reazioni oscillanti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bukovitz, Michele and Segala, Roberto (rel.) (2004) [BM Tesi I 0240]. - Combinazione di tecniche di model checking e theorem proving applicate al modello probabilistico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Caramaschi, Ermes and Rocchesso, Davide (rel.) and Borin, Gianpaolo (correl.) (2004) [BM Tesi I 0234]. - Un modello fisico del pianoforte per la sintesi del suono. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Colombari, Omar and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0221]. - Definizione di viste su dati semistrutturati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Daducci, Alessandro and Posenato, Roberto (rel.) (2004) [BM Tesi I 0249]. - Analisi e simulazione di un modello genetico nel caso di popolazione finita. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dal Degan, Mattia and Combi, Carlo (rel.) (2004) [BM Tesi I 0227]. - Progettazione concettuale di documenti XML : progettazione e realizzazione di moduli per un ambiente basato su diagrammi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Degani, Sara and Combi, Carlo (rel.) and Rossato, Rosalba (correl.) (2004) [BM Tesi I 0228]. - Specifica algebrica di granularità temporali : uno studio di operatori algebrici basato su un recente formalismo logico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Falamischia, Daniela and Murino, Vittorio (rel.) and Cristani, Marco (correl.) (2004) [BM Tesi I 0235]. - Modellazione e riconoscimento di attività interattive in video sequenze mediante reti di Bayes dinamiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ferrari, Stefano and Bonacina, Maria Paola (rel.) (2004) [BM Tesi I 0237]. - Procedure di decisione mediante ragionamento automatico equazionale : esperimenti in teoria degli array. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gherardi, Riccardo and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2004) [BM Tesi I 0264]. - Calcolo della disparità stereo con Markov Random Fiels e stima automatica dei parametri. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Grigoli, Fabio Maria and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0222]. - Un prototipo per la rappresentazione in XML di dati semistrutturati temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guglielmi, Laura and Giacobazzi, Roberto (rel.) and Merro, Massimo (correl.) and Mastroeni, Isabella (correl.) (2004) [BM Tesi I 0236]. - Non interferenza astratta per programmi concorrenti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Letis, Martin and Poncino, Massimo (rel.) and Loghi, Mirko (correl.) (2004) [BM Tesi I 0285]. - Prestazioni e consumo energetico di protocolli di coerenza della cache in sistemi multiprocessore su singolo chip. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lotto, Matteo and Combi, Carlo (rel.) (2004) [BM Tesi I 0243]. - Progettazione di basi di dati temporali multidimensionali : metodi e tecniche per la traduzione di schemi concettuali temporali in schemi logici con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mancini, Michele and Fiorini, Paolo (rel.) and Cosma, Claudio (correl.) (2004) [BM Tesi I 0242]. - Mappatura di ambienti interni con scanner laser. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Manganotto, Filippo and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0239]. - Progettazione concettuale di dati XML. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marcolungo, Diego and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0251]. - Generazione di bytecode anomali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marconcini, Riccardo and Combi, Carlo (rel.) and Balestrin, Daniele (correl.) (2004) [BM Tesi I 0252]. - Metodologie per la progettazione di business process : una proposta basata su BPMN e BPEL. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Migliorini, Sara and Belussi, Alberto (rel.) and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0229]. - GeoMTGM : un modello dei dati semistrutturati per la gestione di informazioni geografiche, multimediali e temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Montieni, Simone and Fiorini, Paolo (rel.) and Botturi, Debora (correl.) (2004) [BM Tesi I 0238]. - Robotica cooperativa : moto vincolato di robot autonomi eterogenei. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Moscarelli, Luigi and Poncino, Massimo (rel.) (2004) [BM Tesi I 0256]. - Ottimizzazione del consumo energetico in algoritmi di scheduling real-time per server aperiodici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Negretto, Flavio and Combi, Carlo (rel.) (2004) [BM Tesi I 0286]. - Tecniche di compressione per basi di dati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Nottegar, Matteo and Combi, Carlo (rel.) (2004) [BM Tesi I 0253]. - Granularità, indeterminatezza e precondizioni nel ragionamento su azioni e cambiamento : una proposta basata sull'event calculus. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Oliosi, Enrico and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0211]. - Tecniche di program slicing ed interpretazione astratta nel testing regressivo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Olivieri, Germana and Rocchesso, Davide (rel.) and Ottaviani, Laura (correl.) (2004) [BM Tesi I 0265]. - Percezione di suoni di sintesi : caratterizzazione psicoacustica del rotolamento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Olivieri, Simone and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0246]. - Analisi critica della decompilazione di Java bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Orsatti, Lorenzo and Fiorini, Paolo (rel.) (2004) [BM Tesi I 0294]. - Modelli deformabili di organi per applicazioni in ambito medico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pannullo, Donato and Murino, Vittorio (rel.) and Cristani, Marco (correl.) (2004) [BM Tesi I 0266]. - Modellazione di video sequenze mediante modelli grafici generativi : applicazione al problema della super-risoluzione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pigozzo, Stefano and Combi, Carlo (rel.) and Febi, Andrea (correl.) (2004) [BM Tesi I 0257]. - Progettazione e sviluppo di un modulo software per l'acquisizione, l'archiviazione, la modifica e la gestione di immagini, integrabile in gestionali per il trattamento di dati clinici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pozzo, Andrea and Combi, Carlo (rel.) (2004) [BM Tesi I 0230]. - Interrogazione di basi di dati temporali multidimensionali : progettazione e realizzazione di un prototipo basato su MySQL. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Prandini, Marco and Combi, Carlo (rel.) (2004) [BM Tesi I 0231]. - Vincoli su dati semistrutturati temporali : progettazione e realizzazione di un sistema per la specifica di vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ranzi, Elena and Combi, Carlo (rel.) (2004) [BM Tesi I 0223]. - Compressione di serie temporali per interrogazioni approssimate. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Rossignoli, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0245]. - Analisi di non ciclicità per strutture dati ricorsive. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Saluth, Luca Agha Mohammadi and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0247]. - Analisi di classe con informazione di raggiungibilità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Scalco, Christian and Fummi, Franco (rel.) (2004) [BM Tesi I 0213]. - Requisiti hardware e software per applicazioni per dispositivi wireless. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Scudiero, Thomas and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0210]. - Abstract program slicing. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Secci, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0250]. - Analisi di sharing per java bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Spiller, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0244]. - Analisi statiche per la stack inspection. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tessari, Andrea and Combi, Carlo (rel.) (2004) [BM Tesi I 0030]. - Gestione di aspetti temporali nei sistemi di workflow : una proposta basata su openflow e oracle. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tolin, Michele and Combi, Carlo (rel.) (2004) [BM Tesi I 0232]. - Vincoli su dati semistrutturati temporali : progettazione e realizzazione di un sistema per la verifica di vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vasari, Michela and Combi, Carlo (rel.) and Sbarbati, Andrea (correl.) and Marzola, Pasquina (correl.) (2004) [BM Tesi I 0254]. - Aspetti temporali e multimediali nella gestione di dati relativi ad esperimenti basati su risonanza magnetica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vedovi, Ilaria and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2004) [BM Tesi I 0212]. - Analisi della correlazione tra copertura di guasto funzionale e proprietà temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Voltolini, Francesca and Fummi, Franco (rel.) and Collini, Amos (correl.) (2004) [BM Tesi I 0214]. - Realizzazione di un software embedded per un sistema di misure automatiche su wafer. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zampieri, Marco and Combi, Carlo (rel.) and Murino, Vittorio (rel.) and Sbarbati, Andrea (correl.) and Marzola, Pasquina (correl.) and Castellani, Umberto (correl.) (2004) [BM Tesi I 0255]. - Visualizzazione ed analisi di dati scientifici : progettazione e realizzazione di strumenti per il supporto di esperimenti di risonananza magnetica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
