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 |