dm:phdworkshop2011
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente | ||
dm:phdworkshop2011 [11/01/2011 alle 13:36 (14 anni fa)] – [SESSION 1: PARALLEL, STREAMED AND NETWORKED SYSTEMS 09:00-10:40] Fosca Giannotti | dm:phdworkshop2011 [12/01/2011 alle 23:31 (14 anni fa)] (versione attuale) – Fosca Giannotti | ||
---|---|---|---|
Linea 1: | Linea 1: | ||
- | |||
====== PhD Workshop 2011 ====== | ====== PhD Workshop 2011 ====== | ||
Linea 20: | Linea 19: | ||
====== Program ====== | ====== Program ====== | ||
- | ===== Opening | + | ===== Opening |
- | * **08: | + | ===== SESSION 1: PARALLEL |
- | ===== SESSION 1: PARALLEL, STREAMED | + | |
- | * **09: | + | * **09: |
* **09: | * **09: | ||
- | // {{: | + | // {{: |
* **09: | * **09: | ||
- | // {{: | + | // {{: |
- | * **10: | + | * **10: |
- | // {{: | + | |
- | + | ||
- | * **10: | + | |
---- | ---- | ||
- | **10:40-10:55 BREAK ** | + | **10:20-10:35 BREAK ** |
---- | ---- | ||
- | ===== SESSION 2: DATABASES AND FORMAL CALCULI | + | ===== SESSION 2: DATABASES AND FORMAL CALCULI |
- | * **10: | + | |
- | * **11:15-11:35** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]] | + | * **10:35-10:55** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]] |
- | * **11:35-11:55** Giacoma Monreale: //Labelled transition system semantics for process calculi from their graphical encodings.// | + | * **10:55-11:15** Luca Pardini: //Updatable RDF views.// [[abstract.pardinil|Abstract]] Supervisor: G. Ghelli. Committee: A. Brogi, F. Turini. |
+ | |||
+ | * **11:15-11:35** Giacoma Monreale: //Labelled transition system semantics for process calculi from their graphical encodings.// | ||
---- | ---- | ||
- | **11:55-12:10 | + | **11:35-11:50 BREAK ** |
---- | ---- | ||
- | ===== SESSION 3: DATA MINING AND MACHINE LEARNING | + | ===== SESSION 3: DATA MINING AND MACHINE LEARNING |
- | * **12:10-12:30** Claudio Gallicchio: //Reservoir computing for learning in structured domains.// {{:dm:abstractgallicchio.pdf|Abstract}} | + | * **11:50-12:10** Michele Coscia: //Multidimensional network analysis. |
+ | // {{:dm:coscia_abstract.pdf|Abstract}} | ||
- | * **12:30-12:50** Rebecca Uy Ong: //From pattern discovery to pattern interpretation of semantically-enriched trajectory data.// [[abstract.ong|Abstract]] | + | * **12:10-12:30** Rebecca Uy Ong: //From pattern discovery to pattern interpretation of semantically-enriched trajectory data.// [[abstract.ong|Abstract]] |
- | * **12:50-13:10** Michele Coscia: //Multidimensional network analysis. | + | * **12:30-12:50** Claudio Gallicchio: //Reservoir computing for learning in structured domains.// {{:dm:abstractgallicchio.pdf|Abstract}} |
- | // {{:dm:coscia_abstract.pdf|Abstract}} | + | |
- | * **13:10-13:30** Anna Monreale: //Privacy by design in data mining. | + | * **12:50-13:10** Anna Monreale: //Privacy by design in data mining. |
- | // [[abstract.anna|Abstract]] | + | // [[abstract.anna|Abstract]] |
---- | ---- | ||
- | **13:30-14:20 | + | **13:10-14:00 |
---- | ---- | ||
- | ===== SESSION 4: SEARCH ALGORITHMS | + | ===== SESSION 4: SEARCH ALGORITHMS |
- | * **14:20-14:40** Augusto Rui Ferreira: //Finding frequent combinatorial patterns in graphs | + | * **14:00-14:20** Augusto Rui Ferreira: //Finding frequent combinatorial patterns in graphs |
- | // Supervisor: R. Grossi. | + | // Supervisor: R. Grossi. |
- | * **14:40-15:00** Giuseppe | + | * **14:20-14:40** Giuseppe |
- | // [[abstract.ottaviano|Abstract]] | + | // [[abstract.ottaviano|Abstract]] |
- | * **15:00-15:20** Giovanni Battaglia: //Discovery of unconventional patterns for sequence analysis: theory and algorithms.// | + | * **14:40-15:00** Giovanni Battaglia: //Discovery of unconventional patterns for sequence analysis: theory and algorithms.// |
- | * **15:20-15:40** Alessio Orlandi: //Advanced rank/select data structures: succinctness, | + | * **15:00-15:20** Alessio Orlandi: //Advanced rank/select data structures: succinctness, |
- | // Supervisor: R. Grossi. | + | // [[abstract.orlandi|Abstract]] |
- | * **15:40-16:00** Giovanni Viglietta: //Guarding and searching polyhedral environments | + | * **15:20-15:40** Giovanni Viglietta: //Guarding and searching polyhedral environments |
- | // {{: | + | // {{: |
---- | ---- | ||
- | **16:00-16:15 BREAK** | + | **15:40-15:55 |
---- | ---- | ||
- | ===== SESSION 5: BIOLOGICAL SYSTEM MODELING | + | ===== SESSION 5: BIOLOGICAL SYSTEM MODELING |
- | * **16:15-16:35** Aureliano Rama: // | + | * **15:55-16:15** Aureliano Rama: // |
- | // Supervisors: | + | // [[abstract.rama|Abstract]] |
- | * **16:35-16:55** Peter Drabik: //Modular verification of biological systems | + | * **16:15-16:35** Peter Drabik: //Modular verification of biological systems. |
- | // [[abstract.drabik|Abstract]] | + | // [[abstract.drabik|Abstract]] |
- | * **16:55-17:15** Giulio Caravagna: //Formal modeling and simulation of biological systems with delays. | + | * **16:35-16:55** Giulio Caravagna: //Formal modeling and simulation of biological systems with delays. |
- | // [[abstract.caravagna|Abstract]] | + | // [[abstract.caravagna|Abstract]] |
- | * **17:15-17:35** Giovanni Pardini: //Formal modelling and simulation of biological systems with spatiality. | + | * **16:55-17:15** Giovanni Pardini: //Formal modelling and simulation of biological systems with spatiality. |
- | // [[abstract.pardinig|Abstract]] | + | // [[abstract.pardinig|Abstract]] |
+ | |||
+ | |||
+ | ===== SESSION 6: WIRELESS NETWORKS | ||
+ | |||
+ | * **17: | ||
+ | // {{: | ||
+ | |||
+ | * **17: | ||
---- | ---- | ||
- | **17:35-17:50 | + | **17:55-18:10 |
---- | ---- | ||
- | ===== SESSION | + | ===== SESSION |
- | * **17:50-18:10** Thaizel Fuentes: //Enhanced service discovery in embedded peer-to-peer systems. | + | * **18:10-18:30** Thaizel Fuentes: //Enhanced service discovery in embedded peer-to-peer systems. |
- | // [[abstract.fuentes|Abstract]] | + | // [[abstract.fuentes|Abstract]] |
- | * **18:10-18:30** Gabriele Costa: //On the security of software systems and services. | + | * **18:30-18:50** Gabriele Costa: //On the security of software systems and services. |
- | // [[abstract.costa|Abstract]] Supervisor: P. Degano, F. Martinelli (IIT-CNR). | + | // [[abstract.costa|Abstract]] Supervisor: P. Degano, F. Martinelli (IIT-CNR). |
- | * **18:30-18:50** Aliaksandr Lazouski: //On usage control for grid services. | + | * **18:50-19:10** Aliaksandr Lazouski: //On usage control for grid services. |
- | // [[abstract.lazouski|Abstract]] | + | // [[abstract.lazouski|Abstract]] |
- | * **18:50-19:10** Leanid Krautsevich: | + | * **19:10-19:30** Leanid Krautsevich: |
- | // {{: | + | // {{: |
Linea 138: | Linea 142: | ||
Dino Pedreschi [[[email protected]]], | Dino Pedreschi [[[email protected]]], | ||
- | |||
- | |||
dm/phdworkshop2011.1294752997.txt.gz · Ultima modifica: 11/01/2011 alle 13:36 (14 anni fa) da Fosca Giannotti