Difference between revisions of "Projects"

From LRDE

 
(32 intermediate revisions by 6 users not shown)
Line 1: Line 1:
= Main Internal Projects =
+
= Internal Projects =
   
 
You will find a more thorough presentation of the different projects by clicking each project name.
 
You will find a more thorough presentation of the different projects by clicking each project name.
Line 6: Line 6:
 
== [[Olena]]: a generic image processing library ==
 
== [[Olena]]: a generic image processing library ==
   
[[File:olena.jpg|64px]]
+
[[File:olena.jpg|64px|left]]
   
 
[[Olena]] is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library called Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use image data structures (regular 1D, 2D, 3D images, graph-based images, etc.) and algorithms. Milena's algorithms are built upon classical entities from the image processing field (images, points/sites, domains, neighborhoods, etc.). This design allows image processing developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency.
 
[[Olena]] is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library called Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use image data structures (regular 1D, 2D, 3D images, graph-based images, etc.) and algorithms. Milena's algorithms are built upon classical entities from the image processing field (images, points/sites, domains, neighborhoods, etc.). This design allows image processing developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency.
Line 15: Line 15:
 
* Image processing
 
* Image processing
   
== [[Vaucanson]]: a finite state machine manipulation platform ==
 
   
[[File:vaucanson-log.png]]
 
   
 
== [[Spot]]: a temporal logic and automaton manipulation library ==
[[Vaucanson]] is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique.
 
About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility).
 
 
* Software design
 
** Generic programming
 
** Design patterns
 
* Automata theory
 
 
== [[Spot]]: a model checking library ==
 
 
[[File:spot.png|64px]]
 
   
 
[[File:spot.png|64px|left]]
[[Spot]] is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker based on transition-based generalized Büchi automata.
 
  +
[[Spot]] is a C++ library for the manipulation of temporal logical formulas and ω-automata with arbitrary acceptance conditions. It offers a set of bricks to experiment with and develop your own model checker, automata transformations, LTL synthesis, and more. The library is also distributed with a set of command-line utilities, as well as Python bindings, making it very easy to build upon.
Spot was born in the MoVe team at LIP6 and is now co-maintained by the LRDE.
 
   
 
* Automata theory
 
* Automata theory
 
* Model Checking
 
* Model Checking
  +
* Controller Synthesis
   
  +
== [[Climb]]: a generic image processing library written in Lisp ==
== [[Speaker ID]]: Speaker's Voice Print ==
 
   
 
The [[Climb]] team of the laboratory has chosen to focus on the persistent question of ''performance and genericity'', only from a different point of view. The purpose of this research is to examine the solutions offered by languages other than C++, dynamic languages notably, and Lisp in particular. The Climb project aims at investigating the same domain as Olena, but starting from an opposite view.
The [[Speaker ID|Speaker Recognition team]] is working on Machine Learning solutions applied to Speaker Recognition tasks. We propose statistical representations of speech signal which are more robust to the problem of session and channel variabilities.
 
   
Keywords:
 
* Speaker Recognition
 
* Total Variability Space (TV, I-Vectors)
 
* Joint Factor Analysis (JFA)
 
* Cosine Distance Scoring (CDS)
 
* SVM and Kernel Tricks (GSV, NAP, ...)
 
   
== [[Climb]]: a generic image processing library written in Lisp ==
+
== [[Vcsn]]: a finite state machine manipulation platform ==
   
 
[[File:vaucanson-log.png|64px|left]]
The [[Climb]] team of the laboratory has chosen to focus on the persistent question of ''performance and genericity'', only from a different point of view. The purpose of this research is to examine the solutions offered by languages other than C++, dynamic languages notably, and Lisp in particular. The Climb project aims at investigating the same domain as Olena, but starting from an opposite view.
 
 
[[Vcsn]] is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique.
 
About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility).
   
 
* Software design
= Funded projects =
 
 
** Generic programming
 
** Design patterns
 
* Automata theory
   
Aware of its youth and its small size, the laboratory has grown slowly among different calls for proposals and participates today in projects of all types: French Interministerial Fund FUI with the help of the Competitiveness Clusters Systematic and cap-digital, ANR, projects funded by bpifrance, by the national Cancer Institute, and European projects. ([[Partnerships | More...]])
 
   
= Other Projects =
+
= Publicly Funded Projects =
   
 
Aware of its youth and its small size, the laboratory has grown slowly among different calls for proposals and participates today in projects of all types: French Interministerial Fund FUI with the help of the Competitiveness Clusters Systematic and cap-digital, ANR, projects funded by bpifrance, by the national Cancer Institute, and European projects. ([[Partnerships | More...]])
[[File:tiger.png]]
 
   
  +
== [[MOBIDEM|Mobidem]] ==
== Tiger Compiler: a Tiger compiler written in C++ 2011 ==
 
   
The [[Tiger.WebHome|Tiger Compiler]] project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum.
 
   
  +
MOBile IDEntity for the Masses - a platform for mobile signatures (FUI 21 project - 2016-2019 - labeled by the Competitiveness Cluster [http://www.systematic-paris-region.org/ Systematic]).
It includes subprojects:
 
   
=== [[Tiger.Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ===
 
   
  +
== [[SoDUCo|Soduco]] ==
   
  +
SOcial Dynamics in Urban COntext - a platform for historical cartography of the city of Paris (ANR 2018 project - 2018 - 2022 - labeled by the Competitiveness Cluster [https://www.capdigital.com/ Cap Digital]).
   
=== [[Tiger.Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ===
 
   
  +
== [[TickTac|Ticktac]] ==
   
  +
Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems (ANR project - 2019 to 2022). [https://www.irisa.fr/sumo/ticktac/ Web site]
=== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ===
 
   
  +
= Archive =
= [[Old Projects|Old Projects]] =
 
   
  +
[[Old Projects|Archive]] of past internal and publicly financed projects.
   
 
= [[Conference committees|Conference committees]] =
 
= [[Conference committees|Conference committees]] =

Latest revision as of 09:19, 29 July 2022

Internal Projects

You will find a more thorough presentation of the different projects by clicking each project name.


Olena: a generic image processing library

Olena.jpg

Olena is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library called Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use image data structures (regular 1D, 2D, 3D images, graph-based images, etc.) and algorithms. Milena's algorithms are built upon classical entities from the image processing field (images, points/sites, domains, neighborhoods, etc.). This design allows image processing developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency.

  • Software design
    • Generic programming
    • Design patterns
  • Image processing


Spot: a temporal logic and automaton manipulation library

Spot.png

Spot is a C++ library for the manipulation of temporal logical formulas and ω-automata with arbitrary acceptance conditions. It offers a set of bricks to experiment with and develop your own model checker, automata transformations, LTL synthesis, and more. The library is also distributed with a set of command-line utilities, as well as Python bindings, making it very easy to build upon.

  • Automata theory
  • Model Checking
  • Controller Synthesis

Climb: a generic image processing library written in Lisp

The Climb team of the laboratory has chosen to focus on the persistent question of performance and genericity, only from a different point of view. The purpose of this research is to examine the solutions offered by languages other than C++, dynamic languages notably, and Lisp in particular. The Climb project aims at investigating the same domain as Olena, but starting from an opposite view.


Vcsn: a finite state machine manipulation platform

Vcsn-logo.png

Vcsn is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique. About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility).

  • Software design
    • Generic programming
    • Design patterns
  • Automata theory


Publicly Funded Projects

Aware of its youth and its small size, the laboratory has grown slowly among different calls for proposals and participates today in projects of all types: French Interministerial Fund FUI with the help of the Competitiveness Clusters Systematic and cap-digital, ANR, projects funded by bpifrance, by the national Cancer Institute, and European projects. ( More...)

Mobidem

MOBile IDEntity for the Masses - a platform for mobile signatures (FUI 21 project - 2016-2019 - labeled by the Competitiveness Cluster Systematic).


Soduco

SOcial Dynamics in Urban COntext - a platform for historical cartography of the city of Paris (ANR 2018 project - 2018 - 2022 - labeled by the Competitiveness Cluster Cap Digital).


Ticktac

Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems (ANR project - 2019 to 2022). Web site

Archive

Archive of past internal and publicly financed projects.

Conference committees