Sign In

2012 Ph.D. Workshop - January 30th, 2012 - Department of Computer Science, University of Pisa
The 2012 edition of the Ph.D. workshop will be held on January 30th, 2012, in the Gerace auditorium of the Department of Computer Science at the University of Pisa. The objective of the workshop is to allow the Ph.D. students of the Department that already completed their second year of studies to shortly illustrate their research activity to the whole Department. Students are expected to illustrate their main results, by highlighting their motivations and relevance, in a way understandable also to non-experts in the specific research field. The program will include 16 short presentations. Each presentation will not exceed 15 minutes so as to allow at least 5 minutes for questions. Other 6 presentations can be accessed from this page, they were recorded by students that will not have the possibility of attending the event in Pisa. Participation in the event is open to all.
09:15-09:30 Opening
09:30-11:10 Processing visual data
L. Benedetti. Applications and visual representation of photo collections in 3D space.
D. Bernabei. Efficient rendering of subsurface light scattering.
G. Palma. Surface appearance reconstruction from video sequences.
G. Viglietta. Guarding and searching polyhedra.
L.D. Spano. A model-based approach for gesture interfaces.
11:10-11:40 Coffee break
11:40-13:00 Parallel programming and services
D. Buono. Support models and cost models for structured parallel programming on multi and many cores.
G. Mencagli. A control-theoretic methodology for adaptive structured parallel computations.
L. Krautsevich. Risk-based methods for complex services.
C.F. Vairo. Detection and dynamic tracking of composite events in wireless sensor networks.
13:00-14:30 Lunch break
14:30-15:50 Algorithms
D. Ceccarelli. Improving search engines using query logs and a bit of semantics.
A. V. Miceli Barone. Statistical machine translation and natural language processing based on syntactic analysis.
R. A. Ferreira. Finding frequent combinatorial patterns in graphs.
G. Ottaviano. Compressed data structures for massive string collections.
15:50-16:20 Coffee break
16:20-17:20 Formal methods
M. Sammartino. A categorical framework for resource-aware process calculi for global computing.
D.V. Dung. On type checking local and global properties of resources.
A. Rama. Formalisms for ecological applications.
17:20-17:40 Closing

Recorded presentations
R. Basanya. Mining whole-of-government collaboration opportunities. [abstract | presentation ]
M. Coscia. Multidimensional network analysis. [abstract | presentation]
R. Dong. An automata-based interface model of component-based software. [abstract | presentation]
H.A. Kholidy. Cloud computing security, an intrusion detection system for cloud computing systems. [abstract | presentation]
Z. Liang. Graphs and graph transformations for object-oriented and service-oriented systems. [abstract | presentation]
A. Orlandi. Advanced rank/select data structures: succinctness and lower bounds. [abstract | presentation]

Workshop program organizer: Antonio Brogi