Software
Here’s some software developed. You can find the list of the software on the website of each teams.
| Team | Software | Description |
|---|---|---|
| ABC | M-SVM | Open source software package dedicated to the family of multi-class support vector machines |
| ADAGIO | SIGffRid | The prediction of sigma factor binding sites in prokariotic genomes using comparative genomic and statistics |
| ALICE | Graphite | Research platform for computer graphics, 3D modeling and numerical geometry. |
| CARAMBA | GNU MPFR/MPC | Computing with arbitrary precision floating-point numbers, together with well-defined semantics |
| CASSIS | Cl-Atse | Constraint Logic based Attack Searcher for cryptographic protocols and services |
| MOSEL | VeriT solver | Satisfiability Modulo Theories (SMT) solver |
| PAREO | Tom | Language designed to manipulate tree structures and XML documents. Its semantics is based on equational matching, rewrite rules, and strategies. |
| ALGORILLE | SimGrid | Scientific instrument to the evaluation of algorithmic solutions for large-scale distributed experiments through simulation |
| MADYNES | KIF | Multi-protocol fuzzing framework |
| SCORE | Bonita | Flexible Workflow management system |
| ORPAILLEUR | Taaable | System whose objectives are to retrieve and then to adapt whenever needed textual cooking recipe |
| PAROLE | WinSnoori | Speech analysis software |
| SEMAGRAMME | LEOPAR | Parser for natural languages which is based on the formalism of Interaction Grammars. It uses a parsing principle, called “electrostatic parsing” which consists in neutralizing opposite polarities |
| SYNALP (ex TALARIS) | GENI | Sentence generator implemented in Haskell. GENI is compatible with both a grammar for french (SEMTAG) and for English (SEMXTAG), both grammars being produced using the Meta-Grammar Compiler |
| CORTEX | GINNet/DynNet | Decision making platform |
| KIWI | SofoS | Plateforme pair-à-pair permettant le filtrage collaboratif distribué temps réel |
| MAIA | ISeeML | Integrated Smooth, Efficient and Esay-to-use Motion Library. It offers a simple way to compute continuous-curvature paths for car-like robots, using line segments, circula arcs and pieces of clothoids |
