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

L'INS2I est l'Institut des Sciences Informatiques et de leurs Interactions du CNRS. Ci-dessous, sont listés les logiciels développés dans un des laboratoires rattachés à l'INS2I (rattachement principal ou secondaire) décrits dans PLUME sous forme de fiche Dév ESR.
Vous pouvez sélectionner un ou plusieurs laboratoires particuliers dans la liste déroulante. Pour (dé)sélectionner plusieurs éléments, maintenez la touche "Ctrl" de votre clavier appuyée.

Dans la liste des logiciels, en cliquant sur le nom du logiciel, vous accédez à sa description.
Logicielicone de tri Description Etat du développement Laboratoire(s)
AITKENBRATU_2.5d

résolution du problème séparable (Bratu) par décomposition de Schwarz accélérée par Aitken

utilisé en interne
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

diffusé, stable
AS1DPSCR2D

Aitken-Schwarz 1D Partial Solution of Cyclic Reduction 2D

utilisé en interne
ASTL

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

diffusé, stable
BeC3

création d'applications Internet des Objets (IdO)

en développement
BFL_DDM_PF

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

utilisé en interne
bibtex2html

collection d'outils pour traduire BibTeX vers HTML

diffusé, stable
Bio++

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

diffusé, stable
diffusé en beta
en développement
BioMAJ

mise à jour et transformation automatique de banques biologiques

validé (au sens PLUME)
diffusé, stable
BioRica

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

en développement
CALDER

CAvitation en Lubrification et DEscription des effets de Rugosités

utilisé en interne
CAPCC

construction parallèle de l'arbre des composantes connexes

en développement
Causalito

génération automatique de graphe causal pour les systèmes à modes de fonctionnement multiples

en développement
CDiffA

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

utilisé en interne
Chemotaxis

approximation de modèles EDP (parabolique, hyperbolique et cinétique)

en développement
CiGri

grille de calcul “légère”

validé (au sens PLUME)
diffusé, stable
en développement
CimulA

analyse de perturbations sur automates cellulaires

diffusé en beta
COMA 2D

Calcul d'Ondes en Milieux Aleatoires 2D

en projet
Compter les premiers

sommations portant sur les nombres premiers inférieurs à une borne x

en développement
coxeter

combinatoires sur les groupes de Coxeter

diffusé en beta
Critical kernels

méthode de squelettisation parallèle

diffusé, stable
Cross-Section topology

topologie des coupes pour le traitement d'images

diffusé, stable
cses

service web pour la rédaction des rapports et l’aide à la décision des commissions de spécialistes

utilisé en interne
D-LITe

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

diffusé, stable
Décompositions 1D ondelettes

toolbox Matlab pour les décompositions 1D en ondelettes en arbre dual M-bandes

diffusé, stable
Dinah

plateforme philologique pour la construction de documents multistructurés

utilisé en interne
en développement
DisocclusionEuler

reconstruction de parties manquantes dans une image numérique 2D

diffusé en beta
Distagger

reconnaissance de disfluences dans des transcriptions orales

diffusé en beta
Ed'Nimbus

filtre de séquences ADN

diffusé, stable
ElasNNVF

calcul des déformations de corps hyperélastiques

utilisé en interne
ellanalyticrank

calcul du rang analytique d'une courbe elliptique définie sur Q

diffusé en beta
eltclsh

interpreteur de commandes interactif pour le langage TCL

diffusé, stable
ESA - PetriNet

génération de scénarios redoutés

diffusé en beta
ESPript

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

Euclidean skeletons

méthodes pour la squelettisation euclidienne robuste en 2D et 3D

diffusé, stable
Explo 2D

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

utilisé en interne
Fast Boltzmann

solving the Boltzmann equation in N log N

en développement
FLEXIBLE

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

en développement
G'MIC

outil de manipulation d'images génériques

diffusé, stable
GC-PPXA-QUANTIZER

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

diffusé, stable
Gdhe

visualisation 3D en robotique et systèmes embarqués

diffusé, stable
Genom

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

diffusé, stable
GeoGuidePatchReproduce

reconstruction de parties manquantes dans une image numérique 2D par copier-coller avec guidage

utilisé en interne
GetFem++

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

validé (au sens PLUME)
diffusé, stable
Givaro

C++ library for computer algebra: exact arithmetic and data structures

diffusé, stable
Gloptipoly 3

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

diffusé, stable
GMTE

moteur de matching et transformation de graphes

en développement
GNU MPC

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

validé (au sens PLUME)
GNU MPFR

bibliothèque de calcul à virgule flottante en précision arbitraire avec arrondi correct

validé (au sens PLUME)
diffusé, stable
gpu-openings

ouverture linéaire pour GPU/CUDA

diffusé, stable
GraalWeb

interface d'accès à une bibliothèque décentralisée de grammaires locales

en développement
Gramlab

plate-forme d'outils collaboratifs pour des traitements linguistiques

diffusé, stable
GraMoFoNe

un plugin pour Cytoscape

diffusé, stable
Hampath

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

diffusé, stable
utilisé en interne
en développement
HECTAR

localisation subcellulaire, heterokont, machine à vecteur support, metaclassifier, motif, annotation

heegner_twist

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

utilisé en interne
HIKAD

simulation à l’échelle atomique du dépôt des matériaux fortes permittivités par le procédé ALD

en développement
HIPS

solveur de systèmes linéaires creux

validé (au sens PLUME)
diffusé en beta
Hoop

plate-forme pour la gestion et l'exploitation distribuée de ressources linguistiques

diffusé, stable
HyDiag

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

utilisé en interne
Ibex

bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

diffusé en beta
Imagine++

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

diffusé, stable
en développement
ImagineMVS

reconstruction 3D en stéréo multi-vues

utilisé en interne
Imview

visualisation et analyse d'image interactive multiplateforme

diffusé, stable
InvariantRingPermutationGroup

calculs des invariants algébriques d'un groupe de permutations

diffusé, stable
JMMF

multiméthodes en Java

diffusé, stable
jPicEdt

générer du dessin vectoriel pour LaTeX

diffusé en beta
K-VLD

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

diffusé, stable
Krig-SL

équation d'advection, méthodes semi-lagrangienne et de krigeage

utilisé en interne
LeJosRT

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

diffusé en beta
utilisé en interne
en développement
LGExtract

générateur de lexiques syntaxiques à partir des tables du lexique-grammaire

diffusé, stable
LGTagger

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

diffusé, stable
libchop

bibliothèque C pour le stockage réparti et la sauvegarde de données

diffusé en beta
libcrn

boîte à outils de traitement d'images

diffusé en beta
Libraero-Schwarz

preconditionneur Restricted Additive Schwarz accéléré par Aitken

en développement
Lothaire package

implémentation des algorithmes de la combinatoire des mots

diffusé, stable
LSMM

boîte à outils Matlab de recherche de pas pour la minimisation d'un critère à barrière logarithmique

diffusé, stable
MC 2D

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

en développement
MEDL

environnement de développement pour méta-événements

utilisé en interne
MIMO-802.11e

utilisation unifiée des normes MIMO et 802.11e

diffusé en beta
en développement
Minbrkpts

tests des performances d'une heuristique permettant la linéarisation d'ordres partiels

utilisé en interne
Mixmod

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

validé (au sens PLUME)
diffusé, stable
MLV

bibliothèque multimedia simplifiée

diffusé, stable
Mobyle

framework pour intégrer les logiciels bioinformatiques

validé (au sens PLUME)
diffusé, stable
Morse

simulation pour la robotique

diffusé, stable
MPaS

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

utilisé en interne
en développement
MUMPS

solveur parallèle de systèmes linéaires creux

validé (au sens PLUME)
diffusé, stable
MuPAD-Combinat

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

validé (au sens PLUME)
diffusé, stable
NAT Braille

transcription/détranscription en Braille

diffusé en beta
NITSOL_POD

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

utilisé en interne
Norm_Est

estimation de normales de nuage de points

diffusé, stable
NS2DVV

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

utilisé en interne
NS_ADI_MCSD

résolution parallèle de Navier-Stokes 3D formulation Vitesse-tourbillon par ADI et multigrille DDM

utilisé en interne
OAR

gestionnaire de ressources pour grandes grappes de calcul

validé (au sens PLUME)
Ocean-eddy

équations de Saint Venant en océanographie

utilisé en interne
Okada solution

to provide an initial condition to various tsunami propagation codes

diffusé, stable
Olena

traitement d'images

diffusé, stable
en développement
OpenKN

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

diffusé, stable
OpenMEEG

résolution de problèmes directs en électroencéphalographie et magnétoencéphalographie

diffusé, stable
OpenMVG

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

diffusé, stable
OpenPRS

langage de raisonnement procédural

diffusé, stable
OrsaHomography

recalage automatique d'images par homographie

diffusé, stable
Outilex

plate-forme de traitement automatique des langues naturelles

diffusé, stable
OXCAD

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

en développement
padicfields

calcul des extensions de degré donné d'un corps p-adique

diffusé en beta
Parallel-SDC

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

en développement
PaStiX

résolution parallèle de systèmes linéaires creux (factorisation directe et incomplète)

validé (au sens PLUME)
diffusé, stable
PatchReproduce

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

utilisé en interne
PINK

bibliothèque de traitement d'images

en développement
PIPCL

bibliothèque de couplage de code

utilisé en interne
PISTOU

gestion des notices bibliographiques dans un laboratoire

utilisé en interne
Plade

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

en développement
PLAMP

diffusion atomique et appartenance de groupe

en développement
PLATINE

environnement de travail coopératif synchrone

diffusé en beta
utilisé en interne
en développement
pMRILab

toolbox Matlab pour la reconstruction d'images pour l'Imagerie par Résonance Magnétique parallèle

diffusé, stable
pocolibs

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

diffusé, stable
PODDODE

solveur de système d'ODE par un découplage du système en sous-système par POD

en développement
Polynômes multivariés

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

diffusé en beta
Porous

DDM pour Darcy 3D avec une distribution log-normale de la perméabilité

PowerWatershed

segmentation d'image 2D et 3D

diffusé en beta
PST-Cox

bibliothèque PSTricks permettant de dessiner des projections 2D de polytopes complexes réguliers

diffusé, stable
Pulman

gestion des publications scientifiques d'un laboratoire

diffusé, stable
Qolyester

plateforme de test pour le protocole de routage QOLSR

diffusé, stable
realtimez

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

diffusé en beta
en développement
Regal

paquetage C++ pour la génération d'automates déterministes finis

en développement
RestoMMMG_Lab

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

diffusé, stable
RestoPPXA_Lab

Boite à outils Matlab pour la restauration d'images

diffusé, stable
RestoVMFB_Lab

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

diffusé, stable
RoadColoringImpl

une implémentation pour le problème du coloriage des routes

utilisé en interne
RobOptim

optimisation numérique pour la robotique

diffusé en beta
robotpkg

système de compilation et de gestion de paquets logiciels dédié à la robotique

diffusé, stable
RoMulOC

boite à outils "Robust Multi-Objective Control"

diffusé, stable
rtmsim

simulateur temps réel multiprocesseurs en Java

diffusé en beta
en développement
RTSS

simulateur de système temps réel

diffusé, stable
Saburo

environnement de développement de serveurs Internet

diffusé, stable
Sage-Combinat

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

validé (au sens PLUME)
diffusé, stable
en développement
SALSA

Situation Assessment using LAMDA claSsification Analysis

diffusé en beta
utilisé en interne
en développement
SCarr2DA

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

utilisé en interne
Schur

calculs de propriétés sur des groupes de Lie et des fonctions symétriques

diffusé, stable
Scotch

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

validé (au sens PLUME)
diffusé, stable
SEdit

édition et annotation de documents (HTML) en coopération

diffusé, stable
Segmentation d'IRM cardiaque 3d+t

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

utilisé en interne
Séparation aveugle de sources

toolbox Matlab

diffusé, stable
Séparation de signaux

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

utilisé en interne
SMAT

plateforme coopérative d'annotation de contenu multimédia

diffusé en beta
SOLEA

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

en développement
SPARCC

croissance hétéroépitaxiale des semiconducteurs avec caractérisation in situ RHEED et photoémission

en développement
Sprintabout

Java et la conception visiteur

diffusé, stable
Stratuslab

distribution complète de cloud IaaS

diffusé, stable
SUNDIAL-SCHUR

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

en développement
SURELET-DECONV

déconvolution d'images basée sur le principe de Stein (toolbox Matlab)

diffusé, stable
TASE

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

utilisé en interne
Tatoo

compilateur de compilateurs développé en Java

en développement
TexGeoPPXA_Lab

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

diffusé, stable
TIM (Time Instrumentation Methods)

instrumentation de programmes Fortran multi-processeurs

diffusé, stable
Tina

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

validé (au sens PLUME)
diffusé, stable
TOMUSS

tableur web collaboratif pour la gestion pédagogique des étudiants

diffusé, stable
Topological smoothing

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

diffusé, stable
Topological watershed

segmentation d'images n-dimensionnelles

diffusé, stable
TreeCloud

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

en développement
Unitex

traitement de corpus utilisant des technologies à états finis

validé (au sens PLUME)
diffusé, stable
en développement
Vador

Vlasov approximation

diffusé en beta
Vaucanson

une plate-forme de manipulation d'automates

en développement
VElasOldroyd

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

utilisé en interne
VIBRATOM

dynamique vibrationnelle des systèmes désordonnés. Simulation des spectres IR et Raman

diffusé, stable
Zebre

résolution de systèmes de Réaction-Diffusion

diffusé en beta
en développement