Current projects
Recent past projects
- Analysis of dependencies in environmental time-series data (AD/ED) ( - 2010-12-31)
- Bayesian Machine Learning Methods for Modelling Nonlinear Dynamical Systems ( - 2010-12-31)
- Computational data fusion of multiple biological information (MULTIBIO) ( - 2010-09-30)
- Computer Aided Cryptography Engineering ( - 2010-12-31)
- Exploration methods that make use of multiple information sources, applied to bioinformatics ( - 2010-12-31)
- Model-Based Safety Evaluation of Automation Systems (MODSAFE) ( - 2010-12-31)
- Novel machine learning techniques for studying climate variability and its impacts ( - 2010-12-31)
- Personal Information Navigator Adapting through Viewing (PinView) (- 2010-12-31)
- Testing, Verification, and Synthesis of Distributed Systems ( - 2010-12-31)
- Unsupervised machine learning for latent variable models ( - 2010-12-31)
- Auditory approaches to automatic speech recognition ( - 2009-12-31)
- Computer Aided Verification Theory and Tools (CAV) ( - 2009-12-31)
- Intelligent Structural Health Monitoring System (ISMO) ( - 2009-12-31)
- Learning of effective and cognitive representations to a natural language ( - 2009-12-31)
- LightweIght formal Methods for distributed component-based Embedded systems (LIME) ( - 2009-09-31)
- Modeling and simulation of changing needs of consumers ( - 2009-12-31)
- Urban Contextual Information Interfaces with Multimodal Augmented Reality (UI-ART) ( - 2009-12-31)