where to find us
telephone e-mail
?
Education
People
Collegial bodies
Offices and service facilities
News & Events
News
Seminars
Libraries
University Home
Faculty Home
Bachelor programs
Master's programs
Tirocini Formativi Attivi
Specialized degree courses
Specialized degree courses (partially running)
Courses in the state 'partially running':
Specialized degree in Agroindustrial Biotechnology
Specialized degree in Computer Science
Courses
Schedule
Didactic plan and student's guide
Lecture timetable
Exam calendar
Course news
Thesis and internship proposals
Collegial bodies
Faculty staff
Specialized degree in Intelligent and Multimedia Systems
Specialized Degree in Molecular and Industrial Biotechniques
Completion courses
University Master
Specialized degree in Computer Science
Course partially running
List of thesis and internship proposals
Stage
Various topics
Stage presso Ecole Politechnique Federale de Lausanne (EPFL)
Stage presso Freescale Semiconductor UK
Thesis proposals
Research area "INFORMATION SYSTEMS APPLICATIONS"
Dati geografici
Various topics
10. SVILUPPO DI UN SISTEMA PER IL RAGIONAMENTO DIAGRAMMATICO COLLETTIVO
11. DETEZIONE DI FRODI DA DOCUMENTI CON METODI DI RAGIONAMENTO ABDUTTIVO E TEXT MINING
12. SVILUPPO DI UN SISTEMA DI WORKFLOW PER IL CONTROLLO DI QUALITA’ IN UN INDUSTRIA MECCANICA
13. ANALISI DELLA SIMILITUDINE DI DISEGNI CAD CON LEGENDA STRUTTURATA MEDIANTE TECNICHE DI DATA MINING ED ANALISI STATISTICA DEL LINGUAGGIO NATURALE
1. TECNICHE PER LA RIDUZIONE DELLA COMPLESSITA’ DEL RAGIONAMENTO IN LOGICHE DESCRITTIVE CON OPERATORI SPAZIALI
2. ANALISI DEL POTERE ESPRESSIVO RELATIVO DI LOGICHE DESCRITTIVE E ALGEBRE DI RELAZIONI
3. ANALISI DELLA DISTRIBUZIONE STATISTICA DEGLI ERRORI IN DATASET SEMISTRUTTURATI TESTUALI
4. ANALISI DI DATASET DIAGNOSTICI E ANAMNESTICI PER PAZIENTI IN SCREENING INIZIALE O FOLLOW-UP MEDIANTE DIAGNOSTICA STRUMENTALE ANATOMO-PATOLOGICA
5. ESTRAZIONE SEMIAUTOMATICA DI LINEE GUIDA NON PRELIMINARMENTE DEFINITE DA DATASET DIAGNOSTICI ED ANAMNESTICI
6. ANALISI DELLA SIMILITUDINE DI PAGINE WEB MEDIANTE SEGMENTAZIONE DEL LAYOUT E CLUSTERING NON SPERVISIONATO DEL TESTO
7. NEGOZIAZIONE DI TASSONOMIE ANNOTATE, TERMINOLOGIE ED ABOX DA COPPIE DI PEER E SU SISTEMI MULTIPLI
8. MISURE DI ONTOLOGIE FORMALI PER L’INGEGNERIA DELLA CONOSCENZA
9. MODELLAZIONE DI UN PROCESSO DI NEGOZIAZIONE DI NORMATIVE DISALLINEATE SU UN CONTESTO COMUNE MEDIANTE TECNICHE DI DIALOGUE GAME
Analisi e ottimizzazione del consumo di potenza in multiprocessori
Data Mining su informazioni semistrutturate e documenti XML.
Data Warehouse e dati semistrutturati: analisi dei dati.
DEFINIZIONE DI UN FORMALISMO PER LA RAPPRESENTAZIONE DI INDIRIZZI POSTALI MULTILINGUA
Documenti XML e tempo. Gestione degli aspetti temporali e definizione di vincoli.
Gestione dati analisi di microarray.
Informazioni semistrutturate e documenti XML: definizione di linguaggi per l'interrogazione di versioni.
Informazioni semistrutturate e documenti XML: rappresentazione di versioni.
Interpretazione astratta probabilistica
Interrogazione di basi di dati semistrutturate, temporali e multimediali.
Linguaggi e Quantum Computing
Modelli universali per la computazione quantistica
Ottimizzazione di applicazioni di networking IPv6 per network processor ad alte prestazioni
Top
strada le Grazie 15 I-37134 Verona Italy
Copyright © 2002-2004 University of Verona.
Site information