| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| dm:phdworkshop2011 [11/01/2011 alle 23:24 (14 anni fa)] – [SESSION 1: PARALLEL, STREAMED AND NETWORKED SYSTEMS 09:00-11:00] Fosca Giannotti | dm:phdworkshop2011 [12/01/2011 alle 23:31 (14 anni fa)] (versione attuale) – Fosca Giannotti |
|---|
| |
| ====== PhD Workshop 2011 ====== | ====== PhD Workshop 2011 ====== |
| |
| ====== Program ====== | ====== Program ====== |
| |
| ===== Opening 8:30 ===== | ===== Opening 8:45 ===== |
| |
| * **08:40-09:00 ** (Teleconferencing from Macau) Zhang Liang. //Graph transformation framework for object- and service-based systems//. 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: PARALLEL, STREAMED AND NETWORKED SYSTEMS 09:00-11:00 ===== | |
| |
| * **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** Marco Di Benedetto: //Multiresolution techniques for real-time visualization of urban environments and terrains.// [[abstract.dibenedetto|Abstract]] Supervisor: P. Cignoni (ISTI-CNR), F. Ganovelli (ISTI-CNR). Commission: G. Attardi, A. Cisternino. | * **10:00-10:20** Marco Di Benedetto: //Multiresolution techniques for real-time visualization of urban environments and terrains.// [[abstract.dibenedetto|Abstract]] Supervisor: P. Cignoni (ISTI-CNR), F. Ganovelli (ISTI-CNR). Committee: G. Attardi, A. Cisternino. |
| | |
| * **10:20-10:40** Donatella Ermini: //Traffic scheduling in point-to-multipoint OFDMA-based systems. | |
| // {{:dm:abstract_erminid.pdf|Abstract }} Supervisor: M. Bonuccelli. Commission: M. Danelutto, R. Grossi. | |
| | |
| * **10:40-11:00** 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). Commission: A. Albano, M. Bonuccelli. | |
| |
| ---- | ---- |
| **11:00-11:30 BREAK ** | **10:20-10:35 BREAK ** |
| ---- | ---- |
| |
| ===== SESSION 2: DATABASES AND FORMAL CALCULI 11:30-12:10 ===== | ===== SESSION 2: DATABASES AND FORMAL CALCULI [10:35-11:35] ===== |
| * **11:30-11:50** Luca Pardini: //Updatable RDF views.// [[abstract.pardinil|Abstract]] Supervisor: G. Ghelli. Commission: A. Brogi, F. Turini. | |
| |
| * **11:50-12:10** 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:35-10:55** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]] Supervisors: C. Bodei, G. Ferrari. Committee: A. Brogi, P. Degano. |
| |
| | * **10:55-11:15** Luca Pardini: //Updatable RDF views.// [[abstract.pardinil|Abstract]] Supervisor: G. Ghelli. Committee: A. Brogi, F. Turini. |
| |
| ===== SESSION 3: DATA MINING AND MACHINE LEARNING 12:10-13:30 ===== | * **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. |
| |
| * **12:10-12:30** Claudio Gallicchio: //Reservoir computing for learning in structured domains.// {{:dm:abstractgallicchio.pdf|Abstract}} Supervisor: A. Micheli. Commission: P. Mancarella, S. Ruggieri. | ---- |
| | **11:35-11:50 BREAK ** |
| | ---- |
| | |
| | ===== SESSION 3: DATA MINING AND MACHINE LEARNING [11:50-13:10] ===== |
| | |
| | * **11:50-12:10** Michele Coscia: //Multidimensional network analysis. |
| | // {{:dm:coscia_abstract.pdf|Abstract}} Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Committee: P. Ferragina, M. Simi. |
| |
| * **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}} Supervisor: A. Micheli. Committee: P. Mancarella, S. Ruggieri. |
| // {{:dm:coscia_abstract.pdf|Abstract}} Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Commission: P. Ferragina, M. Simi. | |
| |
| * **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. |
| // [[abstract.rama|Abstract]] 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** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]] Supervisors: C. Bodei, G. Ferrari. Commission: A. Brogi, P. Degano. | |
| |
| * **18:10-18:30** 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:30-18:50** 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:50-19:10** 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. |
| |
| * **19:10-19:30** 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). Commission: F. Baiardi, P. Degano. | // {{:dm:krautsevich_abstract_1_.pdf|Abstract}} Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari. |
| |
| |
| |
| Dino Pedreschi [[[email protected]]], Pierpaolo Degano | Dino Pedreschi [[[email protected]]], Pierpaolo Degano |
| |
| |
| |
