Skip to main content

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)