fr fr fr fr en fr fr en fr fr ca fr fr fr fr fi de en en en fr fr fr fr fr fr fr en fr fr en fr fr fr fr fr fr fr fr fr fr pt fr fr fr en fr fr en fr en it fr fr fr it nds fr fr pt fr fr fr en fr fr en fr fr en en fr en en fr fr fr en en fr en fr pt fr fr fr en fr fr en fr en en fr fr fr fr en fr fr fr it en en fr en en en fr fr pt fr fr fr en fr fr en fr en ca en fr fr en ca en en fr fr pt fr fr fr en fr fr en fr en fr en en en fr en en en fr en en fr pt fr fr fr en fr fr en fr da en en en en en fr fr en en fr fr fr fr en fr pt fr fr fr en fr fr en fr hu en fr en en fr en en en en en fr fr pt fr fr fr en fr fr en fr de de pt en fr fr pt fr fr fr en fr fr en fr en eo en en en en en en pl fr en en fr pt fr fr fr en fr fr en fr br en mr fr fr nl eo mr fr en eo pt fr cs fr mr fr fr pt fr fr fr en fr fr en fr fr en fr fr pl en en en fr pt fr fr fr en fr fr en fr pt en fr fr en en en fr eo en en fr fr es en en fr fr en fr en fr eo fr en fr fr en fr fr fr fr pt fr fr fr en fr fr en fr en eo fa en en fr en ru en it en ru en eo en ru en fr pt fr fr fr en fr fr en fr en en fr fr fr fr pt fr fr fr en fr fr en fr ceb fr fr en fr pl fr az en en en fr fr fr fr fr fr en fr ru en en fr fa fr es fr de en en fr fr ru fr en fr fr pl es fr fr pt fr fr fr en fr fr en fr es eo ro fr fr ru en fr pt fr fr en fr mr fr fr en eo fr fr fr fr fr en en fr fr fr it
ARMEN ; ComBi ; DUKe ; Gallinette ; GDD ; IPI ; IS3P ; MeForBio ; NaoMod ; OGRE ; ROMAS ; SIMS ; STACK ; STR ; TALN ; TASC
Simule le comportement d’un véhicule électrique de la manière la plus réaliste possible pour le développement des algorithmes de contrôle et de planification des véhicules ICARs. Les algorithmes développés sur ce simulateur peuvent fonctionner directement sur les véhicules réels sans avoir besoin d’une intégration spécifique au niveau logiciel.
Sim SM (Simulateur dynamique de robots sous-marins)
Le simulateur freefloating-gazebo vise à étendre les fonctionnalités de Gazebo. Ce dernier fait partie de ROS (Robot Operating System) et simule à la fois la dynamique des corps rigides (bras, robots mobiles, roues, etc.) et de nombreux capteurs (centrale inertielle, caméra, LiDAR, GPS...).
Interface python du logiciel bensolve, solver de problèmes linéaires vectoriels.
ATFT (Automatic Translator For Teaching Purposes )
Traducteur automatique utilisé pour l’enseignement.
dépot APP, diffusion GPL à venir
Procurve (Paramétrage d’images projetées en 3D)
dépôt de brevet en cours
Ce logiciel met en œuvre un système prenant en charge de manière entièrement automatisé tout le processus de configuration et de visualisation d’un système immersif sur des supports à géométrie quelconque. Il assure la détection de la courbure de la surface de projection (ou d’affichage), la calibration automatique de système d’affichage et la correction de l’image 3D projetée en fonction de la position de l’utilisateur dans le système.
Le logiciel lance un monde virtuel utilisable dans un casque de réalité virtuelle dans lequel l’utilisateur est amené à traverser une planche de bois pour passer d’une plateforme à une autre sur des étages de plus en plus élevés. A chaque étage, il peut décrire son inconfort sur une échelle de 0 à 10. La situation est prévue pour durer une vingtaine de minutes. A visée thérapeutique, ce logiciel a pour but d’aider les personnes atteintes d’acrophobie à diminuer leur stress lorsqu’ils y sont soumis.
Le logiciel se compose de six tableaux de bord destinés à des professeurs et des médiateurs de musées qui accueillent des scolaires. Ils leur permettent de préparer, suivre et analyser l’activité des élèves dont ils ont la charge à différents moments de la visite (avant, pendant, après). Les tableaux de bord sont construits à partir de données générées d’une part par la plateforme Wezit pendant la visite (Mazedia), de l’autre par la plateforme scolaire Tactiléo (Maskott), et stockées au format xAPI.
Un assistant de preuve interactif pour la formalisation mathématique et la preuve de programmes.
Coq offre tout à la fois un langage de programmation fonctionnelle à types dépendants et un formalisme logique qui, ensemble, permettent tout autant le développement de théories mathématiques que la spécification et la certification de propriétés de programmes. Coq fournit aussi un ensemble vaste et extensible de méthodes de preuve. Les programmes de Coq sont extractibles vers OCaml, Haskell, Scheme...
La bibliothèque Mathematical Components est un ensemble de bibliothèques Coq couvrant les prérequis pour la vérification du théorème de l'ordre impair.
SooCrate (Real-time collaborative editor in browsers)
SooCrate is a real-time editor running in browsers, but cloudless.
SaGe ( A Preemptive SPARQL Query Engine for Knowledge Graphs )
SaGe is a SPARQL query engine for Knowledge Graphs that implements Web preemption. Web preemption, by suspending and resuming allow to execute any long-running queries.
SWEEP (a Streaming Web Service to Deduce Basic Graph Patterns from Triple Pattern Fragments)
SWEEP is a tool that allows data providers using a TPF server (see LDF @ linkeddatafragments.org/) to know the queries of their TPF clients, i.e., how their data are used.
Multi-stream two-stage learning for pill recognition.
Logiciel pour la compression de textures dynamiques basée sur l’exploitation d’un modèle de distorsion perceptuelle.
Logiciel pour l’encodage des textures par la recherche de bloc similaire moins coûteux à coder.
This platform extends the efforts carried out with the organization of the two Salient360 ! Grand Challenges at ICME’17 and ICME’18, providing a continuous benchmark of visual attention models for 360-degree content.
Méthode d'analyse sémantique de corpus textuels
Multi-part build orientation optimizer
Optimisation de l'orientation de construction en un objectif pour la production en fabrication additive
Automatic extraction of 2D projection boundaries from 3D models
Automatic extraction of 2D projection boundaries (contours) from 3D models presented in triangular facets (STL format) / polygon facets
2D parallel work space planner
Aménagement de l'espace de travail en 2D dans une machine de fabrication additive
Python implementation of the main algorithms of the Learning From Interpretation Transitions framework
Le logiciel intègre les différents travaux théoriques développés dans l’équipe pour apprendre la dynamique d’un système depuis ses transitions d’états discrets. Il est utilisé pour l’apprentissage de modèle dynamique de réseaux biologiques à partir des séries temporelles.
EMF Views (Lightweight views for your models)
EMF Views is an Eclipse plugin that brings the concept of database views to the modeling world. You can create views that focus on only part of a model, or views that combine several models from different metamodels, and navigate/use them as regular models.
NeoEMF (Multi-backend EMF persistence framework)
NeoEMF is a multi-backend framework developped to allow an easy integration of custom backends depending on user needs.
A library of common classes and methods used in Naomod’s projects.
10000 ( juin 2020 )
GAOL est une bibliothèque C++ pour le calcul garanti et la résolution de contraintes sur les intervalles réels.
IBEX est une bibliothèque C++ pour la conception d’algorithme ensembliste haut-niveau (outils de résolution).
Un outil pour conception optimale de filtres FIR et leur implantation FPGA.
FPNGlib est une bibliothèque offrant de nombreuses possibilités de choix aléatoire de nombres en virgule flottante.
Logiciel pour la surveillance du ponçage robotisé.
ARACHNIS is a graphical user interface for the analysis and parametric design of Cable-Driven Parallel Robots (CDPRs). ARACHNIS takes as inputs the design parameters of the robot, the task specifications, and returns a visualisation of the CDPR Wrench Feasible Workspace (WFW) and Interference-Free Constant Orientation Workspace (IFCOW).
CNRS, CN, ECM, Univ. Paul Sabatier, Univ. Aix-Marseille
Logiciel d’imagerie pour la microscopie de fluorescence. Le principe est proche de la microscopie SIM (Structured Illumination Microscopy), avec deux différences importantes : d’une part, les grilles de lumière sont supposées être des speckles pleinement développés (spatialement corrélées par le passage à travers le système optique) ; d’autre part, le logiciel AlgoRIM ne nécessite pas la connaissance des grilles de lumière. Comme en microscopie SIM 2D, la capacité théorique de super-résolution de AlgoRIM est un doublement de la résolution transversale des images, avec une très bonne capacité de sectionnement optique. De plus, la démarche statistique utilisée confère à AlgoRIM une robustesse supérieure à SIM vis-à-vis de distorsions des grilles de lumière. En pratique, le logiciel implémente un algorithme itératif consistant à trouver la carte de fluorescence super-résolue la plus fidèle à une statistique empirique de variance spatiale déduite des images collectées.
CNRS, CN, UN, IFSTTAR, INPT
Le relevé automatique des dégradations de surface à partir d’images de la chaussée est devenu un enjeu important dans de nombreux pays. Parmi les différentes méthodes proposées dans la littérature, cet article propose d’utiliser un algorithme de recherche de chemin minimal pour détecter les fissures. La méthode proposée prend simultanément en compte les caractéristiques photométriqueset géométriques des fissures et n’impose pas des contraintes sur la forme de la fissure. Dans son état d’avancement actuel, l’algorithme fournit le squelette des fissures dans les images, qui est ensuite comparé à la pseudo-vérité terrain associée aux images.
Code numérique EMILIO : Maximisation de l’entropie pour l’inversion de la transformée de Laplace par optimisation itérative
Ce logiciel, nommé EMILIO, permet de réaliser l’inversion numérique d’une transformée de Laplace mono ou bidimensionnelle dans le cadres de traitement de données de relaxométrie en résonnance magnétique nucléaire. Il propose une interface graphique permettant de superviser toutes les étapes de traitement des données (chargement, analys , optimisation, affichage et sauvegarde des résultats). Le logiciel est composé d’un module de calcul principal et d’un ensemble de routines permettant de gérer l’interfaçage avec l’utilisateur, la prise en charge des données, la spécification du modèle de mesure associé aux données à traiter et le réglage de l’algorithme de calcul numérique.
Extension du code numérique EMILIO au traitement de données issues ou incluant le signal de précession libre appelé FID
Ce logiciel permet de réaliser l’inversion numérique d’une transformée de Laplace mono ou bidimensionnelle de données de temps de relaxation T1 (IR ou SR) et T2 incluant la FID et/ou la CPMG, à partir de données acquises en une seule séquence de façon simultanée ou séparément par résonance magnétique nucléaire (RMN). Le logiciel EMILIO-FID est composé d’un module de calcul principal et d’un ensemble de routines permettant de gérer l’interfaçage avec l’utilisateur, la prise en charge des données, la spécification du modèle de mesure associé aux données à traiter et la quantification des distributions en T1, T2 et T1-T2.
NNOG - Non-negative orthogonal greedy algorithms
Un ensemble de fonctions Matlab implémentant les algorithmes itératifs Non-Negative Orthogonal Greedy (NNOG) (algorithmes NNOMP, NNOLS et SNNOLS). Ces algorithmes permettent la reconstruction et la décomposition de signaux parcimonieux sous contrainte de positivité.
Génération de scènes sonores pour la génération de corpus d'évaluation d'algorithmes de détection d'événements audio
SimScene facilite la mise en place d’évaluations rigoureuses d’algorithmes de détection d’événements sonores par la production de scènes sonores simulées.
Corpus d'évaluation d'algorithmes de détection d'évènement sonores utilisé dans la campagne d'évaluation internationale DCASE 2016
Le matériel a été enregistré dans un environnement calme, à l’aide du microphone fusil AT8035 connecté à un enregistreur ZOOM H4n. Les fichiers audio sont échantillonnés à 44,1 kHz et sont monophoniques. Les paramètres contrôlant le matériel synthétisé comprennent le rapport événement sur fond (EBR) avec des valeurs -6, 0, 6 dB, la présence / absence d’événements qui se chevauchent (scène monophonique / polyphonique), ainsi que le nombre d’événements par classe. Des exemples isolés dans l’ensemble d’entraînement seront annotés avec l’heure de début, l’heure de fin et l’étiquette d’événement pour tous les événements sonores, tandis que pour les mélanges synthétiques, les annotations sont fournies automatiquement par le synthétiseur de séquence d’événements.
A dedicated framework to evaluate and compare VM placement algorithms.
Although the virtualization extensions are recent, several projects leveraging them have been already proposed. Among them, ASCOLA is working on dedicated framework to evaluate and compare VM placement algorithms. Entitled VMPlaces, this framework is composed of two major components: the injector and the VM placement algorithm. The injector is the generic part of the framework (i.e. the one you can directly use) while the VM placement algorithm is the part you want to study (or compare with available algorithms)
MAD (Canevas logiciel pour la définition et le control du deploiement d'un logiciel distribué)
MAD is an implementation of the Madeus model that aims to efficiently and safely deploy distributed software from a fine-grained description of their deployment process and their dependencies.
Concerto is an implementation of the formal model Concerto. Concerto allows to efficiently and safely reconfigure stateful service-oriented distributed software systems from a fine-grain description of the life-cycle of each of its components as well as their dependencies.
A library to help researchers conduct large-scale experiments.
Système d'exploitation temps-réel compatible OSEK/VDX/ et AUTOSAR /Compilateur OIL / Suite de test.
56 "stars" ; 16 "fork"
Analyseur à base de règles de contenu structuré.
2953 ( 04/2020 )
pke is an open source python-based keyphrase extraction toolkit. It provides an end-to-end keyphrase extraction pipeline in which each component can be easily modified or extended to develop new models. pke also allows for easy benchmarking of state-of-the-art keyphrase extraction models, and ships with supervised models trained on theSemEval-2010 dataset.
TermSuite est outil libre sous licence Apache 2 dédié à l’extraction terminologique monolingue et à l’extraction terminologique bilingue à partir de corpus comparables. TermSuite traite les langues : anglais, français, allemand, espagnol, letton, chinois et russe. TermSuite adopte la plate-forme Apache UIMA conçue pour faciliter l’assemblage de composants, leur intégration au sein d’une chaîne de traitement ainsi que le passage à l’échelle. TermSuite effectue les traitements informatiques en 3 phases :
Analyses linguistiques : découpage du texte en mots, analyse morphosyntaxique et lemmatisation et conversion au format Multext à l’aide TreeTagger ;
Extraction terminologique monolingue : détection d’occurrences de termes simples et complexes, normalisation et regroupement des termes en fonction de leurs variations, filtrage statistique ; listes de termes en format tsv et TBX.
Alignement terminologique bilingue : plusieurs types d’alignement par paires de langues sont proposés qui adoptent différentes approches : distributionnelle pour les termes simples, compositionnelle ou mixte pour les termes complexes et les composés savants.
Creative Commons By-NC-SA 3.0
French corpus of computer-mediated communication) composé de conversations issues de divers canaux (forum, mail, irc).
HORAE Hours - Recognition, Analysis, Editions (corpus)
Corpus de 350 livres d’heures retranscrits.
Keyphrase generation is the task of predict-ing a set of lexical units that conveys the main content of a source text. Existing datasets for keyphrase generation are only readily avail-able for the scholarly domain and include non-expert annotations. In this paper we present KPTimes, a large-scale dataset of news texts paired with editor-curated keyphrases. Exploring the dataset, we show how editors tag documents, and how their annotations differ from those found in existing datasets. We also train and evaluate state-of-the-art neural keyphrase generation models on KPTimesto gain insights on how well they perform on the news domain.
More informations here https://www.aclweb.org/anthology/W19-8617.pdf
DEFT2016 - DÉfi Fouille de Textes (corpus)
Creative Commons By-NC-SA 3.0
Notices bibliographiques annotées en mots clés par des indexeurs professionnels dans 4 domaines de spécialités en français.
Creative Commons CC BY-NC-SA 2.0
Le projet DiLAF (Dictionnaires Langues Africaines - Français) est une méthodologie de conversion de dictionnaires éditoriaux en un format XML permettant leur pérennisation et leur partage. Il met à disposition des dictionnaires bilingues de plusieurs langues (bambara, haoussa, kanouri, nouchi, songhai-zarma, tamajaq) - français
en 2019, 57494 téléchargements, toutes versions confondues
CHOCO est une bibliothèque de programmation par contraintes en Java contenant un nombre important de contraintes dans sa version 3 (le projet a débuté en 2001), une documentation détaillée fournie, un moteur ouvert avec des fonctionnalité uniques (intégration des explications et du pilotage de la propagation).
Toolkit de programmation par contraintes en C++.
GHOST est une bibliothèque C++ faite pour aider les développeurs à modéliser et implémenter leur problème d'optimisation combinatoire. L'idée est de revenir à la source de la programmation par contrainte, où l'utilisateur modélise son problème, idéalement de la manière la plus simple possible, et où il n'aura qu'à appeler dans son code le solveur intégré à GHOST, sans besoin de paramètrage ni d'expertise en programmation par contrainte, laissant à ce dernier le soin de s'occuper de la résolution du problème.
Solveur basé sur les domaines abstraits.
Absolute est un résolveur de contraintes basé sur des domaines abstraits de la théorie de l'interprétation abstraite. Il met en œuvre la méthode de résolution présentée dans : « Un solveur de contraintes basé sur des domaines abstraits ». Il a continué à être développé dans le projet ANR Coverif.
GCCat - Global Constraint Catalogue (corpus)
Texte : Creative Commons Attribution-NonCommercial-ShareAlike 4.0 ; Logiciel : Mozilla
Dictionnaire de contraintes (texte/LaTeX + métadonnées/Prolog).
Dictionnaire de contraintes décrivant les contraintes en termes de méta données. Le volume 2 sur les contraintes sur les séries temporelles a été étendu (bornes, base de données d'invariants paramétrés) à l'occasion des projets Gaspard Monge et du projet Graceful, voir https://arxiv.org/abs/1609.08925