Strumenti Utente

Strumenti Sito


dm:phdworkshop2011

Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

Link a questa pagina di confronto

Entrambe le parti precedenti la revisione Revisione precedente
Prossima revisione
Revisione precedente
dm:phdworkshop2011 [11/01/2011 alle 13:44 (13 anni fa)]
Fosca Giannotti [Opening 8:30]
dm:phdworkshop2011 [12/01/2011 alle 23:31 (13 anni fa)] (versione attuale)
Fosca Giannotti
Linea 1: Linea 1:
- 
 ====== PhD Workshop 2011 ====== ====== PhD Workshop 2011 ======
  
Linea 20: Linea 19:
 ====== Program ====== ====== Program ======
  
-===== Opening  8:30 =====+===== Opening  8:45 =====
  
-  * **08:40-09:00 ** (Teleconferencing from Macau) Zhang Liang. //TDB//. Supervisors: R. Bruni, Z. Liu (United Nations Univ., Macau). Commission: A. Cerone, A. Maggiolo. +===== SESSION 1: PARALLEL AND STREAMED SYSTEMS  [09:00-10:20] =====
-===== SESSION 1: PARALLELSTREAMED AND NETWORKED SYSTEMS  09:00-10:40 =====+
  
-  * **09:00-09:20** Gabriele Mencagli: //A control-theoretic methodology for adaptive structured parallel computations.// [[abstract.mencagli|Abstract]]  Supervisor: M. Vanneschi. Commission: A. Cisternino, M. Danelutto.+  * **09:00-09:20** Gabriele Mencagli: //A control-theoretic methodology for adaptive structured parallel computations.// [[abstract.mencagli|Abstract]]  Supervisor: M. Vanneschi. Committee: A. Cisternino, M. Danelutto.
  
   * **09:20-09:40 ** Gabriele Capannini: //K-model: a new computational model for stream processors.   * **09:20-09:40 ** Gabriele Capannini: //K-model: a new computational model for stream processors.
-// {{:dm:abstract.capannini.pdf|Abstract}}  Supervisors: R. Baraglia (ISTI-CNR), F. Silvestri (ISTI-CNR). Commission: P. Ferragina, R. Baeza-Yates (Yahoo!), L. Ricci, D. Pedreschi.+// {{:dm:abstract.capannini.pdf|Abstract}}  Supervisors: R. Baraglia (ISTI-CNR), F. Silvestri (ISTI-CNR). Committee: P. Ferragina, R. Baeza-Yates (Yahoo!), L. Ricci, D. Pedreschi.
  
   * **09:40-10:00** Gianpaolo Palma: //Surface appearance reconstruction from image streams.   * **09:40-10:00** Gianpaolo Palma: //Surface appearance reconstruction from image streams.
-// {{:dm:abstract.palma.pdf|Abstract}}  Supervisors: R. Scopigno (ISTI-CNR), M. Callieri (ISTI-CNR). Commission: G. Attardi, P. Ferragina.+// {{:dm:abstract.palma.pdf|Abstract}}  Supervisors: R. Scopigno (ISTI-CNR), M. Callieri (ISTI-CNR). Committee: G. Attardi, P. Ferragina.
  
-  * **10:00-10:20** Donatella Ermini: //Traffic scheduling in point-to-multipoint OFDMA-based systems. +  * **10:00-10:20** Marco Di Benedetto: //Multiresolution techniques for real-time visualization of urban environments and terrains.// [[abstract.dibenedetto|Abstract]]  SupervisorPCignoni (ISTI-CNR)FGanovelli (ISTI-CNR). CommitteeGAttardiACisternino.
-// {{:dm:abstract_erminid.pdf|Abstract }} Supervisor: M. Bonuccelli. Commission: M. Danelutto, R. Grossi. +
- +
-  * **10:20-10:40** Claudio Francesco Vairo: //A query language for dynamic tracking of moving events in wireless sensor networks.// [[abstract.vairo|Abstract]]  SupervisorsSChessaGAmato (ISTI-CNR). CommissionAAlbanoMBonuccelli.+
  
 ---- ----
-**10:40-10:55  BREAK **+**10:20-10:35  BREAK **
 ---- ----
  
-===== SESSION 2: DATABASES AND FORMAL CALCULI  10:55-11:55 ===== +===== SESSION 2: DATABASES AND FORMAL CALCULI  [10:35-11:35] =====
-  * **10:55-11:15** Luca Pardini: //Updatable RDF views.// [[abstract.pardinil|Abstract]] Supervisor: G. Ghelli. Commission: A. Brogi, F. Turini+
  
-  * **11:15-11:35** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]]  Supervisors: C. Bodei, G. Ferrari. Commission: A. Brogi, P. Degano.+  * **10:35-10:55** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]]  Supervisors: C. Bodei, G. Ferrari. Committee: A. Brogi, P. Degano.
  
-  * **11:35-11:55** Giacoma Monreale: //Labelled transition system semantics for process calculi from their graphical encodings.// [[abstract.valentina|Abstract]]  Supervisor: F. Gadducci. Commission: G. Ghelli, U. Montanari.+  * **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.// [[abstract.valentina|Abstract]]  Supervisor: F. Gadducci. Committee: G. Ghelli, U. Montanari.
  
 ---- ----
-**11:55-12:10  BREAK**+**11:35-11:50  BREAK **
 ---- ----
  
-===== SESSION 3: DATA MINING AND MACHINE LEARNING  12:10-13:30 =====+===== SESSION 3: DATA MINING AND MACHINE LEARNING  [11:50-13:10] =====
  
-  * **12:10-12:30** Claudio Gallicchio: //Reservoir computing for learning in structured domains.// {{:dm:abstractgallicchio.pdf|Abstract}}  SupervisorAMicheliCommission: P. MancarellaSRuggieri.+  * **11:50-12:10** Michele Coscia: //Multidimensional network analysis. 
 +// {{:dm:coscia_abstract.pdf|Abstract}}  SupervisorsDPedreschi, F. Giannotti (ISTI-CNR)Committee: P. FerraginaMSimi.
  
-  * **12:30-12:50** Rebecca Uy Ong: //From pattern discovery to pattern interpretation of semantically-enriched trajectory data.// [[abstract.ong|Abstract]]  Supervisors: D. Pedreschi, M. Nanni (ISTI-CNR), C. Renso (ISTI-CNR). Commission: G. Ghelli, P. Mogorovich.+  * **12:10-12:30** Rebecca Uy Ong: //From pattern discovery to pattern interpretation of semantically-enriched trajectory data.// [[abstract.ong|Abstract]]  Supervisors: D. Pedreschi, M. Nanni (ISTI-CNR), C. Renso (ISTI-CNR). Committee: G. Ghelli, P. Mogorovich.
  
-  * **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}}  SupervisorAMicheliCommittee: P. MancarellaSRuggieri.
-// {{:dm:coscia_abstract.pdf|Abstract}}  SupervisorsDPedreschi, F. Giannotti (ISTI-CNR)Commission: P. FerraginaMSimi.+
  
-  * **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]]  Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Commission: C. Bodei, R. Grossi.+// [[abstract.anna|Abstract]]  Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Committee: C. Bodei, R. Grossi.
  
 ---- ----
-**13:30-14:20  LUNCH**+**13:10-14:00  LUNCH**
 ---- ----
  
-===== SESSION 4: SEARCH ALGORITHMS   14:20-16:00 =====+===== SESSION 4: SEARCH ALGORITHMS   [14:00-15:40] =====
  
-  * **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. Commission: F. Giannotti (ISTI-CNR), F. Romani.+// Supervisor: R. Grossi. Committee: F. Giannotti (ISTI-CNR), F. Romani.
  
-  * **14:40-15:00** Giuseppe  Ottaviano: //High dimensional geometry for efficient information retrieval. +  * **14:20-14:40** Giuseppe  Ottaviano: //High dimensional geometry for efficient information retrieval. 
-// [[abstract.ottaviano|Abstract]]  Supervisor: R. Grossi. Commission: M. Pellegrini (IIT-CNR), F. Sebastiani (ISTI-CNR).+// [[abstract.ottaviano|Abstract]]  Supervisor: R. Grossi. Committee: M. Pellegrini (IIT-CNR), F. Sebastiani (ISTI-CNR).
  
-  * **15:00-15:20** Giovanni Battaglia: //Discovery of unconventional patterns for sequence analysis: theory and algorithms.// [[abstract.battaglia|Abstract]]  Supervisor: R. Grossi. Commission: R. Barbuti, D. Pedreschi.+  * **14:40-15:00** Giovanni Battaglia: //Discovery of unconventional patterns for sequence analysis: theory and algorithms.// [[abstract.battaglia|Abstract]]  Supervisor: R. Grossi. Committee: R. Barbuti, D. Pedreschi.
  
-  * **15:20-15:40** Alessio Orlandi: //Advanced rank/select data structures: succinctness, bounds, applications +  * **15:00-15:20** Alessio Orlandi: //Advanced rank/select data structures: succinctness, bounds, applications. 
-// Supervisor: R. Grossi. Commission: M. Bonuccelli, M. Pellegrini (IIT-CNR).+// [[abstract.orlandi|Abstract]]  Supervisor: R. Grossi. Committee: M. Bonuccelli, M. Pellegrini (IIT-CNR).
  
-  * **15:40-16:00** Giovanni Viglietta: //Guarding and searching polyhedral environments +  * **15:20-15:40** Giovanni Viglietta: //Guarding and searching polyhedral environments 
-//  {{:dm:advancementviglietta.pdf|Abstract}}  Supervisor: L. Pagli. Commission: M. Bonuccelli, G. Prencipe.+//  {{:dm:advancementviglietta.pdf|Abstract}}  Supervisor: L. Pagli. Committee: M. Bonuccelli, G. Prencipe.
  
 ---- ----
-**16:00-16:15  BREAK**+**15:40-15:55  BREAK**
 ---- ----
  
-===== SESSION 5: BIOLOGICAL SYSTEM MODELING   16:15-17:35 =====+===== SESSION 5: BIOLOGICAL SYSTEM MODELING   [15:55-17:15] =====
  
-  * **16:15-16:35** Aureliano Rama: //Formalisms for ecological applications +  * **15:55-16:15** Aureliano Rama: //Formalisms for ecological applications. 
-// Supervisors: R. Barbuti, P. Milazzo. Commission: F. Levi, P. Luschi (Dip. Biologia, Univ. Pisa).+// [[abstract.rama|Abstract]]  Supervisors: R. Barbuti, P. Milazzo. Committee: F. Levi, P. Luschi (Dip. Biologia, Univ. Pisa).
  
-  * **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]]  Supervisors: A. Maggiolo, P. Milazzo. Commission: G. Ferrari, C. Bodei.+// [[abstract.drabik|Abstract]]  Supervisors: A. Maggiolo, P. Milazzo. Committee: G. Ferrari, C. Bodei.
  
-  * **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]]  Supervisors: R. Barbuti, P. Milazzo. Commission: A. D'Onofrio (Istituto Europeo di Oncologia, Milano), R. Grossi.+// [[abstract.caravagna|Abstract]]  Supervisors: R. Barbuti, P. Milazzo. Committee: A. D'Onofrio (Istituto Europeo di Oncologia, Milano), R. Grossi.
  
-  * **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]]  Supervisors: R. Barbuti, A. Maggiolo. Commission: P. Degano, F. Levi.+// [[abstract.pardinig|Abstract]]  Supervisors: R. Barbuti, A. Maggiolo. Committee: P. Degano, F. Levi
 + 
 + 
 +===== SESSION 6: WIRELESS NETWORKS   [17:15-17:55] ===== 
 + 
 +  * **17:15-17:35** Donatella Ermini: //Traffic scheduling in point-to-multipoint OFDMA-based systems. 
 +// {{:dm:abstract_erminid.pdf|Abstract }} Supervisor: M. Bonuccelli. Committee: M. Danelutto, R. Grossi. 
 + 
 +  * **17:35-17:55** Claudio Francesco Vairo: //A query language for dynamic tracking of moving events in wireless sensor networks.// [[abstract.vairo|Abstract]]  Supervisors: S. Chessa, G. Amato (ISTI-CNR). Committee: A. Albano, M. Bonuccelli.
  
 ---- ----
-**17:35-17:50  BREAK**+**17:55-18:10  BREAK**
 ---- ----
  
-===== SESSION 6: SECURITY AND SERVICES  17:50-19:10 =====+===== SESSION 7: SECURITY AND SERVICES  [18:10-19:10=====
  
-  * **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]]  Supervisor: A. Brogi. Commission: S. Chessa, G. Ghelli.+// [[abstract.fuentes|Abstract]]  Supervisor: A. Brogi. Committee: S. Chessa, G. Ghelli.
  
-  * **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). Commission: A. Brogi, F. Gadducci.+// [[abstract.costa|Abstract]] Supervisor: P. Degano, F. Martinelli (IIT-CNR). Committee: A. Brogi, F. Gadducci.
  
-  * **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]]  Supervisor: F. Martinelli (IIT-CNR). Commission: P. Degano, G. Ferrari.+// [[abstract.lazouski|Abstract]]  Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari.
  
-  * **18:50-19:10** Leanid Krautsevich: //Risk management for usage control in services. +  * **19:10-19:30** Leanid Krautsevich: //Risk management for usage control in services. 
-// {{:dm:krautsevich_abstract_1_.pdf|Abstract}}  Supervisor: F. Martinelli (IIT-CNR). CommissionFBaiardiPDegano.+// {{:dm:krautsevich_abstract_1_.pdf|Abstract}}  Supervisor: F. Martinelli (IIT-CNR). CommitteePDeganoGFerrari.
  
  
Linea 138: Linea 142:
  
 Dino Pedreschi [[pedre@di.unipi.it]], Pierpaolo Degano Dino Pedreschi [[pedre@di.unipi.it]], Pierpaolo Degano
- 
- 
  
dm/phdworkshop2011.1294753474.txt.gz · Ultima modifica: 11/01/2011 alle 13:44 (13 anni fa) da Fosca Giannotti