Ph.D. Theses in Computer Science
The following theses are available in pdf or gzipped postscript format (when possible)
» 2014
- Federico Iuricich (XXVI ciclo),
Multi-resolution shape analysis
based on discrete Morse decompositions
- Alessandra Staglianò (XXV ciclo),
A Weakly Supervised Framework
for Adaptive Signal Representation
- Alessandro Tiso (XXV ciclo),
MeDMoT: an effective method for developing model transformations
- Riccardo Traverso (XXVI ciclo),
Parameterized Verification of
Ad Hoc Networks
» 2013
- Federico Cavalieri (XXV ciclo),
Updates on XML Documents and Schemas
- Gabriele Chiusano (XXV ciclo),
Automatic assessment of imaging biomarkers in medical images
- Giovanni Fusco (XXV ciclo),
Computer Vision methods as an aid
to visually impaired users
- Salvatore Masecchia (XXV ciclo),
Regularized methods
for high-throughput data
- Luca Zini (XXV ciclo),
Video-surveillance methods with
low constraints for the analysis of complex scenarios
» 2012
- David Canino (XXXII ciclo),
Tools for modeling and analysis
of non-manifold shapes
- Chiara Olivieri (XXIV ciclo),
Wavelet-based Denoising for Images Corrupted by Poisson Noise
- Daniele Panozzo (XXIV ciclo),
From Irregular Meshes to Structured Models
- Saverio Salzo (XXIII ciclo),
Variational Regularization for Image Registration:
Theory and Algorithms
- Grzegorz Zycinski (XXIV ciclo),
Applying Data Integration into
Reconstruction of Gene Networks from Microarray Data
» 2011
- Daniela Briola (XXIII ciclo),
Negotiation in Multiagent Systems:
Protocols, Ontologies and Applications
- Andrea La Camera (XXIII ciclo),
Advanced Methods for Astronomical Image
Reconstruction: Analysis, Validation and Implementation in the Software
Packages AIRY and AIRY-LN
- Marco Servetto (XXIII ciclo),
MetaFJig: A Meta-Circular Composition
Language for Java-like Classes
» 2010
- Davide Chiarella (XXI ciclo),
Worm detection: a monitoring behaviour based system for Anomaly Detection
- Antonio Cuni (XXII ciclo),
High performance implementation of Python for CLI/.NET with JIT
compiler generation for dynamic languages
- Gabriele Desiderà (XXII ciclo),
The AIRY-LN software package for the LINC-NIRVANA interferometer
of the Large Binocular Telescope (LBT): image reconstruction methods and
simulations
- Marco Ferrante (XXII ciclo),
A Java framework for high-level distributed scientific
programming
- Paolo Gasti (XXII ciclo),
On the Privacy and Security of Internet Communications: an Attempt to Fix Some
of The Current Conceptual and Practical "Bugs"
- Alessio Merlo (XXI ciclo),
An architectural approach to the management of applications
with QoS requirements on Grid
- Paola Podestà (XX ciclo),
Query Processing and Analysis of Multi-resolution Spatial Data
in Distributed Architectures
- Nicoletta Noceti (XXII ciclo),
Learning to classify visual dynamic cues
- Nicola Rebagliati (XXII ciclo),
Towards a principled use of spectral clustering
- Maria Vitali (XX ciclo),
Morse Decomposition of Geometric Meshes with Applications
» 2009
-
Laura Lo Gerfo,
Automatic Image Annotation based on Learning Visual Cues
-
Nico Pietroni,
A robust approach to interactive virtual cutting: geometry and color
-
Gianluca Quercini,
Optimizing and Visualizing Planar Graphs via Rectangular Dualization
» 2008
-
Matteo Dell'Amico,
Exploiting Social Networks in Robust P2P Applications
-
Augusto Destrero,
Selecting features for face recognition from examples
-
Maurizio Filippone,
Central Clustering in Kernel-Induced Spaces
-
Emanuele Gabrielli,
An Architecture To Support Volunteer Computing Among Institutions
-
Antonella Galizia,
Design of Parallel Image Processing Libraries for Distributed and Grid Environments
-
Giuseppe Vicidomini,
3D Image Restoration in Fluorescence Microscopy
» 2007
-
Delponte Elisabetta,
Local image descriptors for matching and classification
-
Pini Sonia,
Blueprint: A High-Level Pattern Based AOP Language
» 2006
-
Anconelli Barbara,
Multiple image deconvolution: methods, software and application to the Large Binocular Telescope
-
D'Agostino Daniele,
Designing Parallel Programs for 3D Data Processing on Distributed Architectures
-
Maddalena Anna,
A Unified Framework for Heterogeneous Pattern Management
-
Rosasco Lorenzo,
Regularization Approaches in Learning Theory
-
Sobrero Davide,
Efficient Representations for Multi-Resolution Modeling
» 2005
-
Annalisa Barla,
A General Framework for Image Kernel Engineering
-
Emanuele Danovaro,
Multi-resolution mesh-based modeling of discrete scalar fields
-
Sonia Fagorzi,
Module calculi for dynamic reconfiguration
-
Emanuele Franceschi,
Advanced hypothesis testing techniques and their applications to image classification
» 2004
-
Francesco Camastra,
Kernel Methods for Unsupervised Learning
-
Giovanni Lagorio,
Type systems for Java separate compilation and selective recompilation
-
Luca Paolini,
Lambda-theories: some investigations
-
Laura Papaleo,
Surface Reconstruction: Online Mosaicing and Modeling with Uncertainty
» 2003
-
Marco Mesiti,
A Structural Similarity Measure for XML Documents
-
Franco Morando,
Decomposing and Modeling in the Non-manifold Domain
-
Filippo Ricca,
Analysis, Testing and Re-structuring of Web Applications
-
Giorgio Valentini,
Ensemble Methods Based on Bias-variance Analysis
» 2002
-
Marco Bozzano,
A Logic-based Approach to Model
Checking of Parameterized and Infinite-State Systems
-
Cristiano Calcagno,
Semantic and Logical Properties of Stateful Programming
-
Ruben Carvajal,
GSPN Analysis in a Distributed Environment
-
Viviana Mascardi,
Logic-based Specification Environment for Multi-agent Systems
-
Francesca Odone,
Representation and Identification of Objects in Image Sequences
» 2001
-
Paola Bonetto,
Tomographic Imaging: Reconstruction and Qualitative Evaluation
-
Isabella Merlo,
Extending the ODMG Object Model with Temporal and Active Capabilities
-
Floriano Zini,
CaseLP, a Rapid Prototyping Environment for Agent-Based Software
» 2000
-
Giuseppe Ateniese,
Secure and Efficient Group Communication in Wide and Local Area Networks
-
Antonio Capani,
The Design of the CoCoA 3 System
-
Eva Coscia,
JTN: a Visual Notation for the Specification and
Development of Java Correct Programs
-
Massimiliano Pittore,
A Trainable System for Event Detection and Recognition
» 1999
-
Gianna Belle`,
Shape, Intensional Semantics and Polymorphism
-
Giuseppe Ciaccio,
A Communication System for Efficient Parallel Processing on Clusters
of Personal Computers
-
Paola Magillo,
Spatial Operations on Multiresolution Cell Complexes
» 1998
-
Michela Bertolotto,
Geometric Modeling of Spacial Entities at Multiple Levels of Resolution
-
Giovanna Guerrini,
An Active and Object-Oriented DataModel