Past Internal Projects
- Urbi et Orbi: a distributed environment framework.
The Urbi et Orbi project (no longer maintained at the LRDE) aimed at building a distributed environment framework whose first applications were virtual worlds. Virtual worlds are virtual 3D scenes personneld with common objects (houses, trees, etc.), avatars (i.e. the virtual image of the users) in which one may walk around and interact. In addition, this virtual world is distributed, in the sense that its full description is spread over several computers, connected via a network. There is no need for a single host to have a full knowledge of the world. We focused on virtual worlds for a large audience, therefore there were no other material requirements than a standard personal machine, with a connection to a local network or the Internet. Windows and unix or linux platforms were supported. Scalability was required
- Transformers: a set of tools to manipulate the C++ language.
Thanks to the keyword template, and almost by accident, C++ is a very special language where one can not only specify what a program will do once compiled, but in addition one can specify how the compiler will compile a program. This feature gave birth to powerful programming techniques, commonly referred to as metaprogramming. Because of its committment in the Olena and Vcsn projects, the LRDE has developped expertize in metaprogramming. Unfortunately the implementation is tricky and very error-prone. Starting from the simple idea that we want metaprogramming efficiency, but we don't want to write it, the Transformers project was initiated. It aimed at converting naive (but decent) C++ programming into high-speed (but indecent) C++ source code. To this end, aimed at designing a set of tools to manipulate C++ programs.
The Transformers project is no longer maintained by the LRDE. A former student has exported it to Norway where he did his PhD thesis. This project consisted of writing a modular C++ grammar, and of the provision of a library with methods for C++ program transformation. Some extensions of C/C++ have been implemented. However, the full coverage of C + + was not achieved when the project was closed in 2009.
It should be noted that this project was watched closely by the most influential personalities in the C++ community, because they saw the opportunity to experiment easily various extensions to the language.
- APMC: Approximate Probabilistic Model Checker
- Miscellaneous projects
- Decision Diagrams (DD)
- Game theory
Past Publicly Funded Projects
- TerraRush - Investissement d'avenir - Grand Emprunt - 2013-2015
A platform for indexing video files from digitized rushes (project labeled by the Competitiveness Cluster cap-digital).
- Vaucanson 2 - ANR - 2011-2014
A finite state machine manipulation platform.
Semi-automatic and Collaborative Retrieval of Information Based on Ontologies.
- Mélimage - INCa - 2006-2009
Functional characterization and quantification of response to treatment using multimodality imaging.
- EFIGI - ANR - 2004-2008
Extraction of idealized forms of Galaxies in Image Processing.
- Interactive autonomous agents - ROBEA - 2002
Computer modeling and experimental study in cognitive psychology of decision-making action of interacting agents.
- eTourism Augmented Reality - Investissement d'avenir - Grand Emprunt - 2013 (abandoned project)
A toolbox with augmented reality applications for mobile devices to assist tourists before, during and after their visit (project labeled by cap-digital).
- OpenSE - LLP project - 2009-2012
An infrastructure for teaching and learning of computer science through free software.