 | Up a level |
Agliada, Nicola and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0033]. - Simulazione e co-simulazione hardware e software per la progettazione di sitemi digitali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Azzoni, Paolo and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2001) [BM Tesi I 0018]. - Tecniche semiformali di verifica per il test funzionale di dispositivi hardware. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Badinelli, Laura and Murino, Vittorio (rel.) and Rocchesso, Davide (rel.) (2001) [BM Tesi I 0003]. - Sonorizzazione di forme di oggetti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Baltieri, Claudio and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0010]. - Una metodologia di progetto ad alto livello di dispositivi di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Caldrer, Stefano and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0006]. - Sintesi di viste da immagini non calibrate con parallasse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Carlini, Marco and Rocchesso, Davide (rel.) (2001) [BM Tesi I 0019]. - Studio di un modello di frizione per la sintesi del suono in tempo reale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cason, Eros and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0011]. - Impatto tecnologico dei sistemi per la videoconferenza sulle reti IP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Castellani, Loris and Damiani, Ernesto (rel.) and Combi, Carlo (rel.) and Breda, Francesco (correl.) (2001) [BM Tesi I 0002]. - Host to web & wireless : un modello di piattaforma multiprotocollo per rispondere alle nuove esigenze di eBusiness. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ceglie, Sara and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0014]. - Composizione di immagini con parallasse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cosma, Claudio and Fiorini, Paolo (rel.) (2001) [BM Tesi I 0015]. - Un algoritmo per la localizzazione di un robot saltatore. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cristofaletti, Sonia and Murino, Vittorio (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0024]. - Algoritmi per l'elaborazione ed il riconoscimento delle impronte digitali per sistemi di calcolo ad elevata integrazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Danzi, Francesca and Pica, Angelo (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0023]. - Metodi di addestramento basati su algoritmi evolutivi per reti neurali pseudo-logaritmiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Faccin, Enrico and Combi, Carlo (rel.) and Biscaro, Roberto (correl.) and Bellomi, Francesco (correl.) (2001) [BM Tesi I 0012]. - Clustering non supervisionato di documenti testuali mediante reti neurali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Facciotti, Giancarlo and Fummi, Franco (rel.) and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0034]. - Applicazione di teorie di interpratazione astratta e analisi statica su codici HDL comportamentali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Formica, Claudio and Fiorini, Paolo (rel.) and Bianco, Giovanni (correl.) (2001) [BM Tesi I 0026]. - Localizzazione automatica con riferimenti visuali per robot mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Franchetto, Michele and Biscaro, Roberto (correl.) (2001) [BM Tesi I 0031]. - La clusterizzazione tramite reti neurali autoorganizzanti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Galati, Luciano and Cristani, Matteo (rel.) and Giordano, Massiimo (correl.) and Mazzei, Luca (correl.) (2001) [BM Tesi I 0035]. - Analisi e sviluppo prototipale di una applicazione client/server per transazioni bancarie su palmare. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Galavotti, Matteo and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0008]. - Il test funzionale di interfacce HW/SW. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gobbi, Michele and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) and Rocchesso, Davide (correl.) (2001) [BM Tesi I 0036]. - Rendering spaziale sonoro mediante laser pointer. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Governo, Michele Davide and Fiorini, Paolo (rel.) and Bianco, Giovanni (correl.) (2001) [BM Tesi I 0025]. - Mappatura topologica mediante l'utilizzo di campi di potenziale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Iacono, Gianluca and Murino, Vittorio (rel.) (2001) [BM Tesi I 0004]. - Metodi avanzati di classificazione di immagini per il riconoscimento di volti modellati con funzioni B-Spline multilivello. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marcon, Michele and Priami, Corrado (rel.) (2001) [BM Tesi I 0027]. - Definizione di semantiche parametrizzate per micro agenti mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Cristiana and Giacobazzi, Roberto (rel.) and Mazzei, Luca (correl.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0020]. - Il ruolo di SOAP e le problematiche della sicurezza nei servizi web : analisi, proposte e realizzazione di un protocollo per l'integrazione della firma digitale in SOAP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Roberto and Pica, Angelo (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0029]. - Analisi delle proprietà delle reti neurali in aritmetica pseudo-logaritmica ed addestramento con la ricerca tabù reattiva. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Stefano and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0021]. - Modellazione di protocolli di rete per la sintesi automatica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mastroeni, Isabella and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0037]. - Costruzione sistematica di semantiche mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mattern, Nikolaus and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0013]. - Sintesi di viste da una singola immagine non calibrata. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ranalter, Kurt and Bellin, Gianluigi (rel.) (2001) [BM Tesi I 0028]. - Una semantica di Kripke per la logica intuizionistica della prammatica ILP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ronchetti, Luca and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) and Castellani, Umberto (correl.) (2001) [BM Tesi I 0016]. - Tecniche di registrazione di sequenze di immagini acustiche di profondità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ruggeri, Alberto and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0007]. - Valutazione di sistemi operativi embedded e relative applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Denis and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0038]. - Generazione del test funzionale per architetture basate su IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tacchella, Paolo and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0017]. - Analisi di flussi di informazione sicura in programmi logici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Triolo, Enrico and Priami, Corrado (rel.) and Mazzei, Luca (correl.) (2001) [BM Tesi I 0039]. - Un sistema per la pubblicazione in rete di cataloghi di servizi distribuiti in ambienti eterogenei mediante SOAP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zanotti, Mirko and Giacobazzi, Roberto (rel.) and Solitro, Ugo (controrel.) (2001) [BM Tesi I 0022]. - Derivazione di tipi di sicurezza mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
