Un outil pour la modélisation macroéconométrique comprenant un langage de description de modèles haut niveau, une décomposition de blocs Dulmage-Mendelsohn du modèle, un calcul symbolique de la jacobienne et plusieurs choix de solveurs numériques.

Ce projet concerne la modélisation de processus métiers et la conception de systèmes d'information à l'aide du langage de modélisation unifié (UML). Il permet de représenter graphiquement l'architecture logicielle d'un système d'information en utilisant des diagrammes de différents types (cas d'utilisation, classes, séquence, etc.).

Ce projet propose une sémantique formelle pour le langage de programmation Erlang, axée sur l'ordre des messages et la gestion des signaux. Il vise à simplifier la représentation du parallélisme et de la concurrence, tout en offrant une modélisation des comportements de surveillance et de gestion des exceptions. Les fonctionnalités telles que la création dynamique de processus, la représentation du temps continu ou la mise à jour dynamique du code ne sont pas prises en charge.

Projet de recherche collaboratif franco-allemand visant à étudier l'évolution grammaticale du français de Normandie et du vénitien entre le Moyen Âge et le XVIIe siècle. Il s'appuie sur la constitution d'un corpus bilingue de textes non littéraires (procès, correspondances) annotés et lemmatisés selon les standards TEI. L'objectif est de modéliser les changements syntaxiques en lien avec l'acquisition du langage, en intégrant des données historiques et juridiques pour éclairer les pratiques linguistiques de l'époque.

Ce projet propose des laboratoires et tutoriels dédiés à l'ingénierie dirigée par les modèles (MDE). Il couvre la création de métamodèles, l'utilisation du framework EMF (Eclipse Modeling Framework) et du langage ATL (Atlanmod Transformation Language) pour transformer des modèles. Les exercices sont conçus pour former les utilisateurs à ces technologies essentielles en modélisation logicielle.

Ce projet permet de traiter et transformer les décisions de justice du Conseil d'État sous forme de fichiers DOC en données exploitables pour l'analyse juridique automatisée. Il facilite la modélisation du langage et la reconnaissance d'entités nommées, tout en fournissant des outils pour entraîner des modèles d'IA spécialisés dans le domaine juridique.

Ce projet académique consiste à développer un simulateur du protocole ALOHA discrétisé en langage C. L'objectif est de modéliser le comportement de ce protocole de communication réseau et d'analyser les résultats obtenus à l'aide d'outils statistiques. Les données générées permettent d'étudier les performances et les limites du protocole dans différents scénarios.

Ce package permet l'exploitation et la transformation des fichiers DOC contenant les décisions de justice du Conseil d'État. Il sert à préparer les données pour la modélisation du langage (language modelling) et la reconnaissance d'entités nommées (named entity recognition).

Ce projet permet d'analyser les définitions issues du dictionnaire WordNet pour en extraire des connaissances structurées. Il génère des ontologies à partir de mots et de leurs relations sémantiques, facilitant ainsi la compréhension et l'exploitation automatique du langage naturel. Utilisé dans le cadre d'une thèse, il contribue à la modélisation de concepts et à l'identification de liens entre eux.

Outil de traduction automatique du langage Minibex, utilisé dans la bibliothèque Ibex, vers d'autres langages de modélisation comme AMPL ou GAMS. Il facilite la conversion de fichiers de contraintes mathématiques pour les solveurs d'optimisation, permettant une interopérabilité entre différents environnements de programmation mathématique.