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. |
| BIRD | Sofo | Peer-to-peer platform for real-time distributed collaborative filtering. |
| CAPSID | EROS-DOCK | New rigid docking algorithm for protein pairs by systematic exploration of 3D rotation space. |
| CARAMBA | GNU MPFR/MPC | Computing with arbitrary precision floating-point numbers, together with well-defined semantics |
| CARAMBA | Cado-NFS | Computing with arbitrary precision floating-point numbers, together with well-defined semantics |
| GAMBLE | Cl-Atse | Constraint Logic based Attack Searcher for cryptographic protocols and services |
| MOSEL | VeriT solver | Satisfiability Modulo Theories (SMT) solver |
| PESTO | Tamarin | 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 |
| MULTISPEECH | WinSnoori | Speech analysis software |
| MFX | IceSL | Flexible Workflow management system |
| ORPAILLEUR | Taaable | System whose objectives are to retrieve and then to adapt whenever needed textual cooking recipe |
| MULTISPEECH | 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 |
