Corsi di Dottorato
Corsi della sezione di
ELETTRONICA BIOMEDICA, DELL'ELETTROMAGNETISMO E DELLE TELECOMUNICAZIONI
Corsi della sezione di
INGEGNERIA MECCANICA E INDUSTRIALE
Corsi della sezione di
SCIENZE DELL'INGEGNERIA CIVILE
-
- Docente: Thomas Erlebach (Leicester University, UK)
- Breve descrizione: Il corso si articola in due parti, di cui la prima in Aprile, seguiranno daettagli per la seconda parte.
- Periodo: dal 7 al 9 e dal 12 al 13 Aprile 2010, ore 11.30-13.00, sala riunioni DIA
- Stato: -
- Pagina del corso: -
-
- Docente: Ulrich Pferschy (Università di Graz)
- Breve descrizione: After a short recapitulation of Column Generation we introduce the Dantzig-Wolfe Decomposition with its theoretical background, possible applications and a numerical example. As a related topic we briefly discuss Bender’s decomposition.
- Periodo: Giovedì 30 settembre, ore 10.00-13.00, sala riunioni DIA
- Stato: -
- Pagina del corso: -
-
- Docente: Ulrich Pferschy (Università di Graz)
- Breve descrizione: We consider Fractional Optimization, where the objective function is the fraction of two linear functions. To solve such a fractional optimization problem in general we consider the classical Newton Method and the improvements of complexity derived from Megiddo’s method.
- Periodo: Giovedì 30 settembre, ore 14.30-16:00, sala riunioni DIA
- Stato: -
- Pagina del corso: -
-
- Docente: Ulrich Pferschy (Università di Graz)
- Breve descrizione: Based on two real-world applications, namely the layout of district heating networks and the design of fiber optic networks with redundant connectivity, we present different ILP-models and some improvements of standard formulations. Considered models will be Cutting Plane, multi-commodity flow, Column Generation.
- Periodo: Lunedì 4 ottobre, ore 14.30-16.30, sala riunioni DIA (A causa dello sciopero dei mezzi previsto per Venerdì 1 ottobre, il seminario dal titolo "Improved ILP models for Network Design problems" è rimandato a lunedi 4 ottobre dalle 14.30 alle 16.30.)
- Stato: -
- Pagina del corso: -
-
- Docente: Ulrich Pferschy (Università di Graz)
- Breve descrizione:
- New challenges in Optimization: Using social preferences instead of linear costs as objective functions. We will see what kind of questions arise from this cooperation with Social Choice Theory from the computer science points of view (algorithms, complexity).
- Solving real world problems: Difficulties and experiences gained from solving industrial problems with ILP-models and heuristics.
- Periodo: Mercoledì 6 ottobre, ore 14.30-17.30, sala riunioni DIA
- Stato: -
- Pagina del corso: -
-
- Docente: Roberto Tamassia
- Breve descrizione: -
- Periodo: 22 e 24 Giugno 2009, ore 11.00-12.30, sala riunioni DIA
- Stato: -
- Pagina del corso: -
-
-
- Docente: prof. Alessandro Saffiotti dell'Universita' di Orebro (Svezia)
- Breve descrizione: -
- Periodo: 4 Maggio (15:45), 5 Maggio (14:00), 7 maggio (15:45), 8 Maggio (14:00), Aula N3 del DIA
- Stato: -
- Pagina del corso: Programma del corso
-
- Docente: Giuseppe Di Battista
- Breve descrizione: -
- Periodo: (20 ore): settembre 2008
- Stato: -
- Pagina del corso: -
-
- Docente: Stefano Panzieri
- Breve descrizione: -
- Periodo: (20 ore): marzo 2008
- Stato: -
- Pagina del corso: -
-
- Docente: Riccardo Torlone
- Breve descrizione: -
- Periodo: luglio 2008
- Stato: -
- Pagina del corso: -
-
- Docente: Paolo Atzeni
- Breve descrizione: -
- Periodo: febbraio 2008
- Stato: -
- Pagina del corso: -
-
- Docente: Gaia Nicosia
- Breve descrizione:
- Periodo: (20 ore): 1/5/07-30/6/07
- Stato: confermato
- Pagina del corso: -
-
- Docente: Giuseppe Di Battista
- Breve descrizione:
- Periodo: (20 ore): 1/7/07-31/7/07
- Stato: confermato
- Pagina del corso: -
-
- Docente: A. Godi e P. Bertolazzi
- Breve descrizione:
- Periodo: (20 ore): 1/4/07-31/5/07
- Stato: confermato
- Pagina del corso: -
-
- Docente: Riccardo Torlone
- Breve descrizione:
- Periodo: 11/9, 13/9, 18/9, 20/9, 25/9, 27/9, 2/10, 4/10 dalle 14:30 alle 17:30 (le ultime due giornate saranno più lunghe).
- Stato: confermato
- Pagina del corso: -
-
- Docente: Patrizia Grifoni
- Breve descrizione:
- Periodo: gio 14/6, lun 18/6, gio 21/6, lun 25/6, gio 28/6 ore 14:00 - 18:00
- Stato: confermato
- Pagina del corso: -
-
- Docente: Fernando Ferri
- Breve descrizione:
- Periodo: lun 28/5, gio 31/5, lun 4/6, gio 7/6, lun 11/6 ore 14:00 - 18:00
- Stato: confermato
- Pagina del corso: -
-
- Docente: Paolo Atzeni
- Breve descrizione:
- Periodo: tutti i mercoledi' dal 28/02 al 18/04, dalle 14:30 alle 17:30.
- Stato: confermato
- Pagina del corso: -
-
- Docente: Giuseppe Di Battista
- Breve descrizione:
- Periodo: giugno - luglio 2006
- Stato: terminato
- Pagina del corso: -
-
- Docente: Paolo Atzeni
- Breve descrizione:
- Periodo: 09/02/2006, 14/02/2006, 16/02/2006, 21/02/2006, 23/02/2006, 28/02/2006, 02/03/2006, 14/03/2006, 16/03/2006
(8 lezioni di 2 ore, 1 lezione da 4)
- Stato: terminato
- Pagina del corso: -
-
- Docente: Alberto Paoluzzi
- Breve descrizione:
- Periodo: settembre 2006
- Stato: terminato
- Pagina del corso: -
-
- Docente: Riccardo Torlone
- Breve descrizione:
- Periodo: 17/01/2006, 19/01/2006, 24/01/2006, 26/01/2006, 31/01/2006, 02/02/2006, 07/02/2006, 07/03/2006, 09/03/2006
(8 lezioni di 2 ore, 1 lezione da 4)
- Stato: terminato
- Pagina del corso: http://torlone.dia.uniroma3.it/tbd/
-
- Docente: Michele Missikoff
- Breve descrizione:
Il corso presenta le tecnologie di base per il Web Semantico, con una particolare attenzione ai principi di base ed alle soluzioni basate su ontologie. In particolare il corso affronta le problematiche di rappresentazione della conoscenza e di soluzioni semantiche per problemi relativi all'interoperabilita' tra applicazioni software in un contesto di business. Il corso consiste in lezioni ed attivita' di laboratorio.
- M1 - Introduzione al Web Semantico
- M2 - Gestione della conoscenza ed ontologie
- M3 - Resource Definition Framework: il linguaggio RDF(S)
- Lab1 - Un'ontologia per uno scenario di business
- M4 - Interoperabilita' semantica e reconciliation
- M5 - Jena2: uno strumento per il Web Semantico
- Lab2 - Costruzione di un ambiente per la reconciliation di dati semantici
- Periodo: 23/01/2006, 08/02/2006, 22/02/2006, 15/03/2006, 03/04/2006 (lezioni di 4 ore)
- Stato: terminato
- Pagina del corso: -
-
- Docente: Giuseppe Di Battista
- Breve descrizione:
-
Unicast routing
-
Multicast routing
-
Geocast routing
-
Location based routing
-
Positioning systems
-
Il livello MAC
- Periodo: 30/06/2005 17:00-19:00; 05/07/2005 16:00-18:00;
07/07/2005 17:00-19:00; 14/07/2005 09:30-13:00;
21/07/2005 09:30-13:00
- Stato: terminato
- Pagina del corso: -
-
-
-
- Docenti: Stefano Panzieri, Giovanni Ulivi, Federica Pascucci
- Breve descrizione:
-
Il corso si propone di illustrare le problematiche relative alla fusione
di dati sensoriali, e più in generale alla fusione di dati, per
applicazioni di tipo robotico.
Verranno illustrate le principali architetture presenti in letteratura e
le metodologie che più di frequente vengono impiegate in questo campo.
In particolare saranno illustrati il filtro di Kalman, la logica fuzzy e
la teoria della possibilità. Infine, verranno mostrati alcuni esempi
di tipo robotico realizzati nelle tre metodologie sopra citate.
-
16/02/05
10:00-13:00 - Architetture e problematiche di data fusion (Stefano Panzieri).
14:00-17:00 - Autopresentazione degli studenti.
-
23/02/05
10:00-13:00 - La stima Bayesiana ed il filtro di Kalman (Federica Pascucci).
14:00-17:00 - Esercitazione con il filtro di Kalman (Federica Pascucci).
-
25/02/05
10:00-13:00 - La logica fuzzy (Giovanni Ulivi).
14:00-17:00 - Applicazioni alla data fusion del filtro di Kalman (Federica Pascucci).
-
02/03/05
10:00-13:00 - La teoria della possibilità. Dempster-Shafer (Giovanni Ulivi).
14:00-17:00 - Applicazioni della logica fuzzy alla data fusion (Giovanni Ulivi).
-
09/03/05
10:00-13:00 - Applicazioni di data fusion (Stefano Panzieri).
14:00-17:00 - Applicazioni di data fusion (Stefano Panzieri).
- Periodo: 16/02/05 - 09/03/05
- Stato: terminato
- Pagina del corso: -
-
- Docente: -
- Breve descrizione:
-
La Biblioteca di area scientifico-tecnologica organizza un corso riservato ai dottorandi sull'uso
delle risorse elettroniche e sui servizi della Biblioteca. Il corso, della durata di 4 ore, si
svolgerà il prossimo 14 marzo (ore 09:00-13:00) e verrà replicato il 17 marzo (ore
09:00-13:00).
-
Modalità di iscrizione: I posti sono limitati a nr. 18 per ogni incontro; l'iscrizione è
pertanto obbligatoria e può avvenire entro l'8 marzo. Per iscriversi occorre inviare la richiesta
per e-mail all'indirizzo bibarea.sct@uniroma3.it indicando
il proprio nominativo, il ciclo di dottorato e il dipartimento di appartenenza, la data prescelta ed i
propri recapiti e-mail e telefonici. La Biblioteca invierà una risposta di conferma. Nel caso
il numero degli iscritti superi i posti a disposizione, il corso verrà riproposto in date da
definirsi.
-
Sede di svolgimento: I corsi si svolgeranno presso il Laboratorio di Matematica 005, sito al piano
terra palazzina C, Largo S. Leonardo Murialdo, 1.
-
Programma del corso:
-
Le citazioni bibliografiche: scopo della citazione bibliografica; elementi della citazione bibliografica;
esempi di citazione per le varie tipologie di documenti citati (monografie, parti di monografie, articoli
di periodici, atti di convegno, articoli di enciclopedia, letteratura grigia, siti web).
-
Risorse bibliografiche del Sistema Bibliotecario di Ateneo: Libri - presentazione del
catalogo di Ateneo; ricerche per parola e per scorrimento;
visualizzazione collocazioni; collocazione secondo la CDD. Periodici - nuova pagina dei periodici che
raccoglie i diversi accessi ai periodici elettronici e non dell'Ateneo
(Catalogo di Ateneo,
Dipartimento di Fisica,
Dipartimento di Matematica,
Emeroteca virtuale,
IEEE Xplore,
Pagina periodici elettronici dello SBA,
Pagina delle novità). Banche dati:
pagina delle risorse elettroniche dello SBA.
-
Servizi della Biblioteca di area scientifico-tecnologica:
Prestito automatizzato (come funziona;
accesso al servizio: consegna modulo per l'iscrizione ai servizi di biblioteca;
prenotazioni e rinnovi via web).
Document delivery: come funziona;
distribuzione della locandina.
-
Esercitazioni
- Periodo: 14/03/05; 17/03/05
- Stato: terminato
- Pagina del corso: -
-
- Docente: Dario Pacciarelli
- Breve descrizione:
-
Introduzione, problemi su grafi, problemi "facili" e "difficili",
piano del corso.
-
Problemi di massimo flusso e taglio minimo: applicazioni; algoritmi
"cammini aumentanti" e "push-relable"; taglio minimo in grafi non orientati,
Gomory-Hu cut tree.
-
Flusso di costo minimo: algoritmi primale, primale-duale, duale, dual scaling.
-
Problemi di matching: cammini aumentanti, algoritmo di Edmonds, matching perfetto, T-join,
proprietà geometriche e algoritmo di Goemans-Williamson.
-
Combinatorica poliedrale: poliedri, facce, involucro convesso, total dual integrality, piani di taglio,
problema di separazione.
-
Matroidi: definizioni, proprietà e assiomi, algoritmi greedy, intersezione di matroidi, intersezione pesata.
- Periodo: 27/03/04 - 24/04/04
- Stato: terminato
- Pagina del corso: -
-
- Docente: Gaia Nicosia
- Breve descrizione:
-
Le tecniche classiche dell'ottimizzazione combinatoria forniscono un potente strumento
per la risoluzione di problemi complessi che nascono da diverse applicazioni. Le tecniche
tradizionali dell'ottimizzazione assumono, in generale, che la conoscenza dei dati di input
sia completa. Tuttavia, esistono molti casi in cui devono essere prese delle decisioni
in tempo reale, prima che un'informazione completa sull'input sia nota. Spesso, si deve
produrre parte della soluzione del problema, non appena una "nuova parte di informazione"
diventa nota. Questa situazione viene detta online e un algoritmo viene detto online se
prende decisioni, ossia produce un output, senza la conoscenza completa dell'input. I problemi
online nascono in contesti applicativi quali ad esempio l'allocazione di risorse nei sistemi
operativi, robotica, organizzazione dei dati, scheduling e sistemi distributiti.
-
In questo corso, basandosi sui contenuti del libro "Online Computation and Competitive Analysis"
di A. Borodin e R. El-Yaniv, verranno fornite le nozioni di base e presentate le tecniche più
importanti usate nell'analisi degli algoritmi online. Verranno poi analizzati alcuni problemi
che nascono in contesti applicativi.
- Periodo: 19/4/04 - 30/4/04, 17/5/04 - 28/5/04
- Stato: terminato
- Pagina del corso: -
-
- Docente: Alberto Paoluzzi
- Breve descrizione:
-
Il corso intende introdurre alla progettazione 3D integrata e alle nuove
figure professionali specializzate nella gestione dei temi tecnico-gestionali-organizzativi
relativi a un prodotto. Il corso, di tipo sperimentale, si svolgerà nel nuovo
laboratorio di "Intelligent Computational Design" utilizzando software PLM evoluti
come CATIA (il software CAD dell'industria aerospaziale ed automobilistica) e
SmartTeam (una sorta di CVS aziendale per lo sviluppo di prodotto) di IBM/Dassault.
L'argomento del corso è di grande rilevanza industriale e di ricerca.
- Periodo: dal 14/6/04
- Stato: terminato
- Pagina del corso:
http://paoluzzi.dia.uniroma3.it/did/plmintro/web/plmintro.html
-
- Docente: Paolo Merialdo
- Breve descrizione:
-
Il corso ha lo scopo di introdurre alle tecnologie ed ai modelli adottati tipicamente
nell'ambito dei Web Services.
-
Il corso è organizzato come una carrellata dell'evoluzione dei servizi web dal
semplice server HTTP ai paradigmi recentemente utilizzati nell'ambito di applicazioni
complesse.
-
Completa il corso un ciclo di seminari nell'ambito dei quali vengono discusse specifiche
tecnologie e soluzioni di particolare interesse.
- Periodo: -
- Stato: terminato
- Pagina del corso: -
-
- Docenti: Paolo Atzeni, Riccardo Torlone, Luca Cabibbo, Paolo Merialdo, Valter Crescenzi,
Giuseppe Di Battista, Maurizio Pizzonia, Maurizio Patrignani
- Breve descrizione: -
- Periodo: fine Febbraio - metà Aprile
- Stato: terminato
- Pagina del corso:
http://cabibbo.dia.uniroma3.it/eiiddr/
-
- Docenti: Marta Cialdea, Wolfgang Gehrke, Carla Limongelli
- Breve descrizione:
-
Richiami sulla programmazione funzionale in OCaml
-
La codifica di tecniche di programmazione generali per mezzo di funzioni di ordine superiore
e funtori
-
Compilazione separata
-
Dimostrazione dell'uso di make, lex e yacc per OCaml mediante l'esempio del processing XML.
- Periodo: Maggio - Giugno
- Stato: terminato
- Pagina del corso:
http://gehrke.dia.uniroma3.it/afp/
-
- Docenti: Paoluzzi et al.
- Breve descrizione:
-
Elementi di geometria computazionale (4 ore)
-
Metodi impliciti di modellazione di varietà (4 ore)
-
Metodi parametrici di modellazione di varietà (4 ore)
-
Metodi e risultati di complessità nel motion planning (4 ore)
-
Fondamenti di animazione (4 ore)
- Periodo: Giugno - Luglio
- Stato: terminato
- Pagina del corso: -
-
- Docente: Alessandro Micarelli
- Breve descrizione:
-
Le Tecniche di Modellazione dell'Utente
-
Caratteristiche generali della modellazione utente
-
Contenuti e rappresentazione del modello utente
-
Tecniche per la costruzione del modello utente
-
Utilizzo del modello utente
-
Shell per la modellazione utente
-
Tecniche per la Personalizzazione su Web
-
Metodi di identificazione dell'utente
-
Acquisizione di informazioni sull'utente
-
Web Usage Mining
-
Il filtraggio delle informazioni
-
Metodi di valutazione sperimentale di sistemi basati su modelli utente
-
La Personalizzazione nell'Accesso alle Informazioni
-
Strumenti tradizionali per la ricerca di informazioni
-
L'Information Filtering adattivo
-
Casi di studio
-
La Personalizzazione nel Commercio Elettronico, nell'e-Learning e nell'e-Government
- Periodo: Settembre - Ottobre
- Stato: terminato
- Pagina del corso: -
-
- Docente: Giovanni Ulivi
- Breve descrizione:
-
Richiami sulla logica fuzzy
-
Relazioni fuzzy
-
Inferenze fuzzy
-
Sistemi di controllo basati su regole fuzzy
-
Applicazioni in robotica mobile
- Periodo: Maggio - Giugno
- Stato: terminato
- Pagina del corso:
http://www.dia.uniroma3.it/autom/FuzzyContr/
-
- Docente: Dario Pacciarelli
- Breve descrizione:
-
Definizioni preliminari, proprietà
-
Rilassamenti: lineare, Lagrangiano, surrogato
-
Schemi di enumerazione, metodi di programmazione dinamica
-
Concetti di formulazione, disequazioni valide, involucro convesso, piani di taglio
-
Metodi di separazione: tagli di Chvatal-Gomory, disequazioni rango, tagli disgiuntivi
-
Procedura di convessificazione sequenziale
- Periodo: -
- Stato: terminato
- Pagina del corso: -
-
- Docente: Gaia Nicosia
- Breve descrizione:
-
Definizioni preliminari, proprietà
-
Problemi e algoritmi di soluzione: Matching, Albero ricoprente, problemi di flusso, massimo stabile e minimo cover
- Periodo: -
- Stato: terminato
- Pagina del corso: -
Ultimo aggiornamento: 17/12/2010