 | Up a level |
Antonioli, Alberto and Tecchiolli, Giampietro (rel.) and Brancato, Beniamino (correl.) (2000) [BM Tesi I 0064]. - Analisi di feature multiscala per la mammografia assistita dal calcolatore (CAM). Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bellomi, Francesco and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0063]. - Un prototipo di linguaggio basato sul pattern matching per lo sviluppo di strategie per la ricerca di dimostrazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Benedetti, Carlo and Murino, Vittorio (rel.) and Fiorini, Paolo (correl.) (2000) [BM Tesi I 0062]. - Architettura per il controllo di sistemi di teleoperazione con ritardo variabile. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bissoli, Roberto and Veneziani, Alessandro (rel.) and Saleri, Fausto (correl.) (2000) [BM Tesi I 0065]. - Studio numerico della propagazione delle onde di velocità e pressione in un distretto vascolare con proprietà viscoelastiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bonato, Roberto and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0061]. - Uno studio sull'apprendibilità delle grammatiche di Lambek rigide. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bortoletto, Nicola and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0053]. - PA* : un pianificatore euristico completo per scali ferroviari. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Botturi, Debora and Fiorini, Paolo (rel.) and Martelli, Sandra (correl.) (2000) [BM Tesi I 0052]. - Metodo geometrico per la determinazione dello spazio di lavoro di un manipolatore seriale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cailotto, Stefano and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0051]. - Progetto incrementale con capacità di tolleranza ai guasti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Calò, Christian and Murino, Vittorio (rel.) and Fenzi, Alberto (rel.) and Tognoni, Gilberto (correl.) (2000) [BM Tesi I 0056]. - Stima della visibilità in autostrada : un approccio basato sull'elaborazione delle immagini. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Campion, Gianni and Fiorini, Paolo (rel.) and Martelli, Sandra (correl.) (2000) [BM Tesi I 0058]. - Metodo di calibrazione per robot manipolatori basato su una telecamera mobile. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dalle Vedove, Alessandro and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0050]. - Un approccio geometrico alla pianificazione di moto in presenza di incertezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
De Munari, Renato and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Oliboni, Barbara (correl.) (2000) [BM Tesi I 0074]. - Uno studio sull'interrogazione di più documenti XML connessi da link. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Franchini, Matteo and Murino, Vittorio (rel.) and Fiorini, Paolo (correl.) (2000) [BM Tesi I 0054]. - Stabilità e percezione nei sistemi di teleoperazione con ritardo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guarnieri, Franco and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0049]. - Riconoscimento di oggetti tramite invarianti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guarnieri, Michele and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0059]. - Analisi e controllo di formazioni di robot autonomi in movimento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lavarini, Nico and Dovier, Agostino (rel.) and Quintarelli, Elisa (correl.) (2000) [BM Tesi I 0060]. - Estensione della semantica logica per linguaggi grafici di interrogazione di dati semistrutturati e risoluzione efficiente basata sul model-checking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ottaviani, Laura and Rocchesso, Davide (rel.) (2000) [BM Tesi I 0057]. - Separazione di segnale vocale da scene acustiche complesse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pagani, Gian Pietro and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0048]. - Pianificazione di traiettorie in spazi multidimensionali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pavani, Walter and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0047]. - Tecniche per la realizzazione di sistemi embedded distribuiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pellegrini, Andrea and Tecchiolli, Giampietro (correl.) (2000) [BM Tesi I 0055]. - Calcolo della disparità basato sulla differenza di fase realizzato in aritmetica intera su architettura PSP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Perbellini, Giovanni and Fummi, Franco (rel.) and Sartori, Alvise (correl.) (2000) [BM Tesi I 0046]. - Generazione automatica di descrizioni VHDL parametriche per processori IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Peroni, Alessandro and Fummi, Franco (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0045]. - Il test funzionale per sistemi digitali basato su programmazione logica con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Piccinini, Nicola and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0044]. - Tecniche di teoria della dimostrazione per l'identificazione di prove della logica classica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pongiluppi, Wilmer and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0043]. - Elaborazione di dati acustici tridimensionali per la ricostruzione di scene subacquee. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pravadelli, Graziano and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2000) [BM Tesi I 0042]. - Simulazione di errore per descrizioni VHDL e systemC per il test funzionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Mirko and Fummi, Franco (rel.) (2000) [BM Tesi I 0041]. - Generazione del test funzionale per descrizioni hardware-software basata su tecniche di giustificazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Valinetti, Alberto and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0040]. - Tecniche di inseguimento di un modello per la realtà aumentata. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Veneri, Elisa and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0032]. - Programmazione con vincoli di sicurezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
