Logiciels
Le Loria développe et maintient des logiciels à un niveau de TRL avancé. Depuis 2016, le laboratoire a déposé 52 logiciels et 8 brevets.
Voici une liste non exhaustive des logiciels produits par le Loria.
Vous trouverez une vue plus détaillée des productions sur les pages de chaque équipe.
| Équipe | Nom du logiciel | 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 |
| CARAMBA | Belenios | Système de vote libre et véritable |
| CARAMBA | Cado-nfs | An implementation of the number Field Sieve Algorithm |
| GAMBLE | GEOMETRY Factory | Commercialisation du package Cgal. |
| GAMBLE | HEFROOTS | Algorithme pour accélerer les temps de calculs. |
| PESTO | Cl-Atse | Constraint Logic based Attack Searcher for cryptographic protocols and services |
| PESTO | Belenios | Système de vote libre et véritable |
| PESTO | Tamarin | Recherche de failles dans les protocoles |
| MFX | IceSL | Advanced modeling and slicing for 3 D printing |
| MOSEL-VERIDIS | VeriT solver | Satisfiability Modulo Theories (SMT) solver |
| MADYNES | KIF | Multi-protocol fuzzing framework |
| COAST | Bonita | Flexible Workflow management system |
| ORPAILLEUR | Taaable | System whose objectives are to retrieve and then to adapt whenever needed textual cooking recipe |
| OPTIMIST | MND | Logiciel developpé avec le Laboratoire Réactions et Génie des Procédés |
| MULTISPEECH | WinSnoori | Speech analysis software |
| MULTISPEECH | Asteroid toolkit | Librairie open-source pour la séparation des sources audio |
| 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 | 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 |
| SIMBIOT | MECSYCO | Logiciel de co-simulation en partenariat avec EDF pour la gestion de l’energie. |
| BISCUIT | GINNet/DynNet | Decision making platform |
| CAPSID | EROS-DOCK | Nouvel algorithme de docking rigide pour des paires de protéines, par une exploration systématique de l’espace des rotations 3D |
| BIRD | SofoS | Plateforme pair-à-pair permettant le filtrage collaboratif distribué temps réel |


