Dottorato di ricerca 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:30-11:10 Processing visual data
Applications and visual representation of photo collections in 3D space
Efficient rendering of subsurface light scattering
Surface appearance reconstruction from video sequences
Guarding and searching polyhedra
A model-based approach for gesture interfaces
11:10-11:40 Coffee break
11:40-13:00 Parallel programming and services
Support models and cost models for structured parallel programming on multi and many cores
A control-theoretic methodology for adaptive structured parallel computations
Risk-based methods for complex services
Detection and dynamic tracking of composite events in wireless sensor networks
13:00-14:30 Lunch break
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
Compressed data structures for massive string collections
15:50-16:20 Coffee break
16:20-17:20 Formal methods
A categorical framework for resource-aware process calculi for global computing
On type checking local and global properties of resources
Formalisms for ecological applications
R. Basanya. Mining whole-of-government collaboration opportunities. [
M. Coscia. Multidimensional network analysis. [
R. Dong. An automata-based interface model of component-based software. [
H.A. Kholidy. Cloud computing security, an intrusion detection system for cloud computing systems. [
Z. Liang. Graphs and graph transformations for object-oriented and service-oriented systems. [
A. Orlandi. Advanced rank/select data structures: succinctness and lower bounds. [
Workshop program organizer:
Student (personal area)
PhD research seminars
PhD Regulation (italian)
Old site - expired
Coord. Naz. Dottorati Inf.
Ass. Dott. Ric. It.