Modeling, forecasting and game control of road traffic systems 5 maggio 2014The Grenoble Traffic Lab (GTL http://necs.inrialpes.fr/pages/reseach/gtl.php) initiative is a real-...
A Calculus for Quality30 aprile 2014A main challenge of programming component-based software is to ensure that the components continue...
Reduced order methods for the simulation and control of viscous flows28 aprile 2014We review the application of reduced basis method as a computational reduction strategy for the...
A Formal Methodology for Engineering Trustworthy Software-intensive Systems16 aprile 2014We present a methodology based on formal languages for designing, modelling, analysing, programming...
Computational modelling of complex systems16 aprile 2014Informatics is the engine of a new scientific revolution. The combination of big-data analysis and...
Creating Images of the past: Archaeology and its Representation in the Turkish Republic 14 aprile 2014This talk explores the role of archaeology and its visual representation in the Turkish Republic...
Approaches to explanation in political science11 aprile 2014How can political and social phenomena be systematically explained? The presentation will focus on...
Two-step and direct approaches in controls, autonomous kites and the gap between control theory and applications 4 aprile 2014When dealing with problems of prediction, estimation, or control of complex systems, two starting...
Formal modelling and scalable analysis of massively parallel systems3 aprile 2014Many natural and engineered systems can be described in terms of interactions between large...
Towards the Future of Search and Query Answering on the Web3 aprile 2014In this talk, I will give an overview of my recent research activities towards future search and...