Logiciels développés dans les laboratoires de l'INS2I

implémentation d'algorithmes de traitement du texte

librairie de manipulation d'automates écrite en C++

bases de Fourier locales et décomposition de domaine pour simuler un front de polymérisation

ensemble de bibliothèques C++ dédiées à la bioinformatique

décrire et simuler les systèmes multi-modèles en biologie

construction parallèle de l'arbre des composantes connexes

résolution des problèmes de convection-diffusion avec adaptation de maillages

grille de calcul “légère”

Calcul d'Ondes en Milieux Aleatoires 2D

combinatoires sur les groupes de Coxeter

topologie des coupes pour le traitement d'images

pour le déployement d'applications sous forme de logique distribuée sur réseau de capteurs

plateforme philologique pour la construction de documents multistructurés

reconnaissance de disfluences dans des transcriptions orales

calcul des déformations de corps hyperélastiques

interpreteur de commandes interactif pour le langage TCL

visualisation d'alignements multiples corrélés à la structure secondaire

résolution du problème de l’explosion thermique dans des fluides

déformation et changement de conformation biomolécules par excitations externes (Modes Statiques)

quantification vectorielle avec régularisation spatiale (boîte à outils C/C++)

intégration de modules fonctionnels pour les systèmes embarqués

biblothèque C++ d'éléments finis interfacée scilab-python-matlab

résolution numérique de problèmes de moments généralisés

bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire

ouverture linéaire pour GPU/CUDA

plate-forme d'outils collaboratifs pour des traitements linguistiques

résolution de problèmes de contrôle optimal via les méthodes indirectes et homotopiques

calcul par la méthode de Heegner du générateur d'une tordue quadratique de rang 1

solveur de systèmes linéaires creux

moteur générique de diagnostic à base de modèles pour les systèmes hybrides

bibliothèques C++ pour l'enseignement, le traitement d'images et le calcul scientifique

visualisation et analyse d'image interactive multiplateforme

multiméthodes en Java

descripteurs par lignes virtuelles pour la correspondance sûre de points d'intérêt

extension de leJOS mettant en œuvre la spécification temps réel pour Java

étiqueteur grammatical réaliste incluant la reconnaissance de mots composés

boîte à outils de traitement d'images

implémentation des algorithmes de la combinatoire des mots

Monte Carlo 2D, solveur de l'équation de transfert radiatif

utilisation unifiée des normes MIMO et 802.11e

ensemble logiciel de classification supervisée et non supervisée des données

framework pour intégrer les logiciels bioinformatiques

granulométries morphologiques sur un support 1D et 2D

bibliothèque de combinatoire algébrique pour le système MuPAD

accélération de la méthode de Newton par POD

résolution du problème de Navier-Stokes à viscosité variable avec adaptation de maillage

gestionnaire de ressources pour grandes grappes de calcul

to provide an initial condition to various tsunami propagation codes

bibliothèque pour la modélisation, l'image de synthèse et la simulation

bibliothèque C++ pour la géométrie multi-vues en vision par ordinateur

recalage automatique d'images par homographie

simulation multi-échelle de l’oxydation du silicium : surface, multicouches et mésoscopique

solveur parallèle d'équations différentielles (Parallel Spectral Deferred Correction)

reconstruction de parties manquantes dans une image numérique 2D par copier-coller d'échantillons

bibliothèque de couplage de code

plate-forme de recherche de similarité sur du code source

environnement de travail coopératif synchrone

middleware pour les systèmes embarqués et la robotique

implantation des bases des polynômes multivariés en Sage

segmentation d'image 2D et 3D

gestion des publications scientifiques d'un laboratoire

générateur de diagrammes temps réel pour LaTeX en Python

boîte à outils Matlab pour la restauration d'images dans le cas d'un bruit gaussien

toolbox Matlab de restauration d'images par l'algorithme Explicite-Implicite à métrique variable

optimisation numérique pour la robotique

boite à outils "Robust Multi-Objective Control"

simulateur de système temps réel

boîte à outils pour l'exploration informatique en combinatoire (algébrique)

résolution du problème de Stokes à viscosité variable avec adaptation de maillage

partitionneur de graphes et renuméroteur de matrices creuses, séquentiel et parallèle

délimitation automatique du myocarde du ventricule gauche en IRM 3D+t

génération et séparation de signaux numériques

calcul de la SOLution du modèle d'Elrod-Adams

Java et la conception visiteur

plugin de Sundials pour la résolution parallèle de type complément de Schur dans BDF

outil en ligne permettant la recherche de régions candidates par analyse de données SNP

boite à outils Matlab pour la décomposition en composantes géométrique et de texture

édition et analyse de réseaux de Petri et de réseaux temporels

méthode de lissage pour des objets 2D et 3D

générer des nuages arborés à partir d'un texte

Vlasov approximation

résolution des problèmes d'écoulement de fluides viscoélastique (loi d'Oldroyd)