Traducteur automatique utilisé pour l’enseignement.

Automatic Translator for Teaching purposes est un outil de traduction instantanée à usage pédagogique. L’outil est basé sur deux briques logicielles : une brique enseignante qui capture (reconnaissance de la parole) et stocke le discours de l’enseignant dans sa langue ; et une brique étudiant qui traduit de manière automatique et instantanée et restitue (synthèse vocale) le discours de l’enseignant dans la langue de l’étudiant. Plusieurs étudiants peuvent se connecter au système simultanément et dans des langues différentes. L’outil intègre également des fonctionnalités de prise de notes automatique du cours et chat universel (dans le sens où chaque participant s’exprime dans sa langue, tous les échanges sont traduits).

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...

Mathematical Components library

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.

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.

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.

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)

OS temps réel.

Système d'exploitation temps-réel compatible OSEK/VDX/ et AUTOSAR /Compilateur OIL / Suite de test.

• 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.

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

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.

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
Dictionnaire contraintes (texte/LaTeX + métadonnées/Prolog)
lien (vol. 1) : http://soda.swedishict.se/5195/
m.à.j. : https://www.dropbox.com/s/q0eehycmocs353j/catalog_volume_1.pdf
lien (vol. 2 ): https://arxiv.org/abs/1609.08925v2