Logiciels développés dans les laboratoires de l'INS2I
Dans la liste des logiciels, en cliquant sur le nom du logiciel, vous accédez à sa description.
Logiciel![]() |
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 | CDCSP, ICJ |
Algorithmique du texte |
implémentation d'algorithmes de traitement du texte |
diffusé, stable | LIGM, LITIS |
AS1DPSCR2D |
Aitken-Schwarz 1D Partial Solution of Cyclic Reduction 2D |
utilisé en interne | CDCSP, ICJ |
ASTL |
librairie de manipulation d'automates écrite en C++ |
diffusé, stable | LIGM |
BeC3 |
création d'applications Internet des Objets (IdO) |
en développement | LIGM |
BFL_DDM_PF |
bases de Fourier locales et décomposition de domaine pour simuler un front de polymérisation |
utilisé en interne | CDCSP, ICJ |
bibtex2html |
collection d'outils pour traduire BibTeX vers HTML |
diffusé, stable | LRI |
Bio++ |
ensemble de bibliothèques C++ dédiées à la bioinformatique |
diffusé, stable diffusé en beta en développement |
GenHort, ISEM, LBBE, LIRMM |
BioMAJ |
mise à jour et transformation automatique de banques biologiques |
validé (au sens PLUME) diffusé, stable |
GenOuest, INRIA Rennes, IRISA, MIG, UBIA |
BioRica |
décrire et simuler les systèmes multi-modèles en biologie |
en développement | INRIA Bordeaux, LABRI |
CALDER |
CAvitation en Lubrification et DEscription des effets de Rugosités |
utilisé en interne | ICJ, Labo Maths Orsay |
CAPCC |
construction parallèle de l'arbre des composantes connexes |
en développement | LIGM |
Causalito |
génération automatique de graphe causal pour les systèmes à modes de fonctionnement multiples |
en développement | LAAS |
CDiffA |
résolution des problèmes de convection-diffusion avec adaptation de maillages |
utilisé en interne | ICJ |
Chemotaxis |
approximation de modèles EDP (parabolique, hyperbolique et cinétique) |
en développement | ICJ |
CiGri |
grille de calcul “légère” |
validé (au sens PLUME) diffusé, stable en développement |
LIG |
CimulA |
analyse de perturbations sur automates cellulaires |
diffusé en beta | LIP |
COMA 2D |
Calcul d'Ondes en Milieux Aleatoires 2D |
en projet | ICJ |
Compter les premiers |
sommations portant sur les nombres premiers inférieurs à une borne x |
en développement | ICJ |
coxeter |
combinatoires sur les groupes de Coxeter |
diffusé en beta | ICJ |
Critical kernels |
méthode de squelettisation parallèle |
diffusé, stable | LIGM |
Cross-Section topology |
topologie des coupes pour le traitement d'images |
diffusé, stable | LIGM |
cses |
service web pour la rédaction des rapports et l’aide à la décision des commissions de spécialistes |
utilisé en interne | ICJ |
D-LITe |
pour le déployement d'applications sous forme de logique distribuée sur réseau de capteurs |
diffusé, stable | LIGM |
Décompositions 1D ondelettes |
toolbox Matlab pour les décompositions 1D en ondelettes en arbre dual M-bandes |
diffusé, stable | LIGM |
Dinah |
plateforme philologique pour la construction de documents multistructurés |
utilisé en interne en développement |
LIRIS |
DisocclusionEuler |
reconstruction de parties manquantes dans une image numérique 2D |
diffusé en beta | ICJ |
Distagger |
reconnaissance de disfluences dans des transcriptions orales |
diffusé en beta | LIGM |
Ed'Nimbus |
filtre de séquences ADN |
diffusé, stable | LIGM |
ElasNNVF |
calcul des déformations de corps hyperélastiques |
utilisé en interne | ICJ |
ellanalyticrank |
calcul du rang analytique d'une courbe elliptique définie sur Q |
diffusé en beta | ICJ |
eltclsh |
interpreteur de commandes interactif pour le langage TCL |
diffusé, stable | LAAS |
ESA - PetriNet |
génération de scénarios redoutés |
diffusé en beta | LAAS |
ESPript |
visualisation d'alignements multiples corrélés à la structure secondaire |
IBCP, IPBS | |
Euclidean skeletons |
méthodes pour la squelettisation euclidienne robuste en 2D et 3D |
diffusé, stable | LIGM |
Explo 2D |
résolution du problème de l’explosion thermique dans des fluides |
utilisé en interne | ICJ |
Fast Boltzmann |
solving the Boltzmann equation in N log N |
en développement | ICJ |
FLEXIBLE |
déformation et changement de conformation biomolécules par excitations externes (Modes Statiques) |
en développement | LAAS |
G'MIC |
outil de manipulation d'images génériques |
diffusé, stable | GREYC |
GC-PPXA-QUANTIZER |
quantification vectorielle avec régularisation spatiale (boîte à outils C/C++) |
diffusé, stable | LIGM |
Gdhe |
visualisation 3D en robotique et systèmes embarqués |
diffusé, stable | LAAS |
Genom |
intégration de modules fonctionnels pour les systèmes embarqués |
diffusé, stable | LAAS |
GeoGuidePatchReproduce |
reconstruction de parties manquantes dans une image numérique 2D par copier-coller avec guidage |
utilisé en interne | ICJ, IRISA, LTCI |
GetFem++ |
biblothèque C++ d'éléments finis interfacée scilab-python-matlab |
validé (au sens PLUME) diffusé, stable |
ICJ, IMT, LaMCoS |
Givaro |
C++ library for computer algebra: exact arithmetic and data structures |
diffusé, stable | LIG, LIP, LIRMM, LJK |
Gloptipoly 3 |
résolution numérique de problèmes de moments généralisés |
diffusé, stable | IMT, LAAS |
GMTE |
moteur de matching et transformation de graphes |
en développement | LAAS |
GNU MPC |
bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire |
validé (au sens PLUME) | IMB, LORIA |
GNU MPFR |
bibliothèque de calcul à virgule flottante en précision arbitraire avec arrondi correct |
validé (au sens PLUME) diffusé, stable |
LIP, LORIA |
gpu-openings |
ouverture linéaire pour GPU/CUDA |
diffusé, stable | CMM, LIGM |
GraalWeb |
interface d'accès à une bibliothèque décentralisée de grammaires locales |
en développement | LIGM |
Gramlab |
plate-forme d'outils collaboratifs pour des traitements linguistiques |
diffusé, stable | LIGM |
GraMoFoNe |
un plugin pour Cytoscape |
diffusé, stable | LIGM |
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 |
IMB, INRIA Sophia, Institut Maths Bourgogne, IRIT |
HECTAR |
localisation subcellulaire, heterokont, machine à vecteur support, metaclassifier, motif, annotation |
LORIA, Végétaux Marins et Biomolécules | |
heegner_twist |
calcul par la méthode de Heegner du générateur d'une tordue quadratique de rang 1 |
utilisé en interne | ICJ |
HIKAD |
simulation à l’échelle atomique du dépôt des matériaux fortes permittivités par le procédé ALD |
en développement | DAM, LAAS |
HIPS |
solveur de systèmes linéaires creux |
validé (au sens PLUME) diffusé en beta |
INRIA Bordeaux, LABRI |
Hoop |
plate-forme pour la gestion et l'exploitation distribuée de ressources linguistiques |
diffusé, stable | LIGM |
HyDiag |
moteur générique de diagnostic à base de modèles pour les systèmes hybrides |
utilisé en interne | LAAS |
Ibex |
bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes |
diffusé en beta | Lab-STICC, LIGM, LINA, LIRMM, OSM |
Imagine++ |
bibliothèques C++ pour l'enseignement, le traitement d'images et le calcul scientifique |
diffusé, stable en développement |
LIGM |
ImagineMVS |
reconstruction 3D en stéréo multi-vues |
utilisé en interne | LIGM |
Imview |
visualisation et analyse d'image interactive multiplateforme |
diffusé, stable | LIGM |
InvariantRingPermutationGroup |
calculs des invariants algébriques d'un groupe de permutations |
diffusé, stable | Labo Maths Orsay, LIGM |
JMMF |
multiméthodes en Java |
diffusé, stable | LIGM |
jPicEdt |
générer du dessin vectoriel pour LaTeX |
diffusé en beta | ETIS |
K-VLD |
descripteurs par lignes virtuelles pour la correspondance sûre de points d'intérêt |
diffusé, stable | LIGM |
Krig-SL |
équation d'advection, méthodes semi-lagrangienne et de krigeage |
utilisé en interne | ICJ |
LeJosRT |
extension de leJOS mettant en œuvre la spécification temps réel pour Java |
diffusé en beta utilisé en interne en développement |
LIGM |
LGExtract |
générateur de lexiques syntaxiques à partir des tables du lexique-grammaire |
diffusé, stable | LIGM |
LGTagger |
étiqueteur grammatical réaliste incluant la reconnaissance de mots composés |
diffusé, stable | LIGM |
libchop |
bibliothèque C pour le stockage réparti et la sauvegarde de données |
diffusé en beta | LAAS |
libcrn |
boîte à outils de traitement d'images |
diffusé en beta | LIRIS |
Libraero-Schwarz |
preconditionneur Restricted Additive Schwarz accéléré par Aitken |
en développement | CDCSP, ICJ |
Lothaire package |
implémentation des algorithmes de la combinatoire des mots |
diffusé, stable | LIGM |
LSMM |
boîte à outils Matlab de recherche de pas pour la minimisation d'un critère à barrière logarithmique |
diffusé, stable | IRCCyN, LIGM |
MC 2D |
Monte Carlo 2D, solveur de l'équation de transfert radiatif |
en développement | ICJ |
MEDL |
environnement de développement pour méta-événements |
utilisé en interne | LIGM |
MIMO-802.11e |
utilisation unifiée des normes MIMO et 802.11e |
diffusé en beta en développement |
LIGM |
Minbrkpts |
tests des performances d'une heuristique permettant la linéarisation d'ordres partiels |
utilisé en interne | LIGM |
Mixmod |
ensemble logiciel de classification supervisée et non supervisée des données |
validé (au sens PLUME) diffusé, stable |
Heudiasyc, INRIA Saclay, Labo Maths Besançon, Paul Painlevé |
MLV |
bibliothèque multimedia simplifiée |
diffusé, stable | LIGM |
Mobyle |
framework pour intégrer les logiciels bioinformatiques |
validé (au sens PLUME) diffusé, stable |
GenOuest, Institut Pasteur, IRISA, LIPM, RPBS |
Morse |
simulation pour la robotique |
diffusé, stable | LAAS, ONERA |
MPaS |
granulométries morphologiques sur un support 1D et 2D |
utilisé en interne en développement |
CMM, LIGM |
MUMPS |
solveur parallèle de systèmes linéaires creux |
validé (au sens PLUME) diffusé, stable |
CERFACS, ENS Lyon, INRIA, IRIT, LABRI |
MuPAD-Combinat |
bibliothèque de combinatoire algébrique pour le système MuPAD |
validé (au sens PLUME) diffusé, stable |
ICJ, Labo Maths Orsay, LIGM, LIPN, LITIS |
NAT Braille |
transcription/détranscription en Braille |
diffusé en beta | LIRIS |
NITSOL_POD |
accélération de la méthode de Newton par POD |
utilisé en interne | CDCSP, ICJ |
Norm_Est |
estimation de normales de nuage de points |
diffusé, stable | LIGM |
NS2DVV |
résolution du problème de Navier-Stokes à viscosité variable avec adaptation de maillage |
utilisé en interne | ICJ |
NS_ADI_MCSD |
résolution parallèle de Navier-Stokes 3D formulation Vitesse-tourbillon par ADI et multigrille DDM |
utilisé en interne | CDCSP, ICJ, ONERA |
OAR |
gestionnaire de ressources pour grandes grappes de calcul |
validé (au sens PLUME) | LIG |
Ocean-eddy |
équations de Saint Venant en océanographie |
utilisé en interne | ICJ |
Okada solution |
to provide an initial condition to various tsunami propagation codes |
diffusé, stable | CMLA |
Olena |
traitement d'images |
diffusé, stable en développement |
LIGM, LRDE |
OpenKN |
bibliothèque pour la modélisation, l'image de synthèse et la simulation |
diffusé, stable | LIGM |
OpenMEEG |
résolution de problèmes directs en électroencéphalographie et magnétoencéphalographie |
diffusé, stable | INRIA Sophia, LIGM |
OpenMVG |
bibliothèque C++ pour la géométrie multi-vues en vision par ordinateur |
diffusé, stable | LIGM |
OpenPRS |
langage de raisonnement procédural |
diffusé, stable | LAAS |
OrsaHomography |
recalage automatique d'images par homographie |
diffusé, stable | LIGM |
Outilex |
plate-forme de traitement automatique des langues naturelles |
diffusé, stable | LIGM |
OXCAD |
simulation multi-échelle de l’oxydation du silicium : surface, multicouches et mésoscopique |
en développement | DAM, LAAS |
padicfields |
calcul des extensions de degré donné d'un corps p-adique |
diffusé en beta | ICJ |
Parallel-SDC |
solveur parallèle d'équations différentielles (Parallel Spectral Deferred Correction) |
en développement | CDCSP, ICJ |
PaStiX |
résolution parallèle de systèmes linéaires creux (factorisation directe et incomplète) |
validé (au sens PLUME) diffusé, stable |
INRIA Bordeaux, LABRI |
PatchReproduce |
reconstruction de parties manquantes dans une image numérique 2D par copier-coller d'échantillons |
utilisé en interne | ICJ, LTCI |
PINK |
bibliothèque de traitement d'images |
en développement | LIGM |
PIPCL |
bibliothèque de couplage de code |
utilisé en interne | CDCSP, ICJ |
PISTOU |
gestion des notices bibliographiques dans un laboratoire |
utilisé en interne | LIG |
Plade |
plate-forme de recherche de similarité sur du code source |
en développement | LIGM |
PLAMP |
diffusion atomique et appartenance de groupe |
en développement | LAAS |
PLATINE |
environnement de travail coopératif synchrone |
diffusé en beta utilisé en interne en développement |
LAAS |
pMRILab |
toolbox Matlab pour la reconstruction d'images pour l'Imagerie par Résonance Magnétique parallèle |
diffusé, stable | LIGM, NeuroSpin |
pocolibs |
middleware pour les systèmes embarqués et la robotique |
diffusé, stable | LAAS |
PODDODE |
solveur de système d'ODE par un découplage du système en sous-système par POD |
en développement | CDCSP, ICJ |
Polynômes multivariés |
implantation des bases des polynômes multivariés en Sage |
diffusé en beta | LIGM |
Porous |
DDM pour Darcy 3D avec une distribution log-normale de la perméabilité |
CDCSP, ICJ | |
PowerWatershed |
segmentation d'image 2D et 3D |
diffusé en beta | LIGM |
PST-Cox |
bibliothèque PSTricks permettant de dessiner des projections 2D de polytopes complexes réguliers |
diffusé, stable | LIGM |
Pulman |
gestion des publications scientifiques d'un laboratoire |
diffusé, stable | LAAS |
Qolyester |
plateforme de test pour le protocole de routage QOLSR |
diffusé, stable | LIGM, LRI |
realtimez |
générateur de diagrammes temps réel pour LaTeX en Python |
diffusé en beta en développement |
LIGM |
Regal |
paquetage C++ pour la génération d'automates déterministes finis |
en développement | LIGM |
RestoMMMG_Lab |
boîte à outils Matlab pour la restauration d'images dans le cas d'un bruit gaussien |
diffusé, stable | LIGM |
RestoPPXA_Lab |
Boite à outils Matlab pour la restauration d'images |
diffusé, stable | LIGM |
RestoVMFB_Lab |
toolbox Matlab de restauration d'images par l'algorithme Explicite-Implicite à métrique variable |
diffusé, stable | LIGM |
RoadColoringImpl |
une implémentation pour le problème du coloriage des routes |
utilisé en interne | LIGM |
RobOptim |
optimisation numérique pour la robotique |
diffusé en beta | LAAS |
robotpkg |
système de compilation et de gestion de paquets logiciels dédié à la robotique |
diffusé, stable | LAAS |
RoMulOC |
boite à outils "Robust Multi-Objective Control" |
diffusé, stable | LAAS |
rtmsim |
simulateur temps réel multiprocesseurs en Java |
diffusé en beta en développement |
LIGM |
RTSS |
simulateur de système temps réel |
diffusé, stable | LIGM |
Saburo |
environnement de développement de serveurs Internet |
diffusé, stable | LIGM |
Sage-Combinat |
boîte à outils pour l'exploration informatique en combinatoire (algébrique) |
validé (au sens PLUME) diffusé, stable en développement |
IML, Labo Maths Orsay, LIGM, LITIS, LRI, Univ Aix Marseille 1 |
SALSA |
Situation Assessment using LAMDA claSsification Analysis |
diffusé en beta utilisé en interne en développement |
LAAS |
SCarr2DA |
résolution du problème de Stokes à viscosité variable avec adaptation de maillage |
utilisé en interne | ICJ |
Schur |
calculs de propriétés sur des groupes de Lie et des fonctions symétriques |
diffusé, stable | LIGM, LIPN |
Scotch |
partitionneur de graphes et renuméroteur de matrices creuses, séquentiel et parallèle |
validé (au sens PLUME) diffusé, stable |
INRIA Bordeaux, LABRI |
SEdit |
édition et annotation de documents (HTML) en coopération |
diffusé, stable | LAAS |
Segmentation d'IRM cardiaque 3d+t |
délimitation automatique du myocarde du ventricule gauche en IRM 3D+t |
utilisé en interne | LIGM |
Séparation aveugle de sources |
toolbox Matlab |
diffusé, stable | CITI INT, LIGM |
Séparation de signaux |
génération et séparation de signaux numériques |
utilisé en interne | LIGM |
SMAT |
plateforme coopérative d'annotation de contenu multimédia |
diffusé en beta | IRIT |
SOLEA |
calcul de la SOLution du modèle d'Elrod-Adams |
en développement | ICJ, Labo Maths Orsay |
SPARCC |
croissance hétéroépitaxiale des semiconducteurs avec caractérisation in situ RHEED et photoémission |
en développement | LAAS |
Sprintabout |
Java et la conception visiteur |
diffusé, stable | LIGM |
Stratuslab |
distribution complète de cloud IaaS |
diffusé, stable | IBCP, LAL |
SUNDIAL-SCHUR |
plugin de Sundials pour la résolution parallèle de type complément de Schur dans BDF |
en développement | CDCSP, ICJ, LAMSADE |
SURELET-DECONV |
déconvolution d'images basée sur le principe de Stein (toolbox Matlab) |
diffusé, stable | LIGM |
TASE |
outil en ligne permettant la recherche de régions candidates par analyse de données SNP |
utilisé en interne | INSERM-U583, LIRMM |
Tatoo |
compilateur de compilateurs développé en Java |
en développement | LIGM |
TexGeoPPXA_Lab |
boite à outils Matlab pour la décomposition en composantes géométrique et de texture |
diffusé, stable | LIGM |
TIM (Time Instrumentation Methods) |
instrumentation de programmes Fortran multi-processeurs |
diffusé, stable | IDRIS |
Tina |
édition et analyse de réseaux de Petri et de réseaux temporels |
validé (au sens PLUME) diffusé, stable |
LAAS |
TOMUSS |
tableur web collaboratif pour la gestion pédagogique des étudiants |
diffusé, stable | LIRIS |
Topological smoothing |
méthode de lissage pour des objets 2D et 3D |
diffusé, stable | LIGM |
Topological watershed |
segmentation d'images n-dimensionnelles |
diffusé, stable | LIGM |
TreeCloud |
générer des nuages arborés à partir d'un texte |
en développement | LIF, LIGM, LIRMM |
Unitex |
traitement de corpus utilisant des technologies à états finis |
validé (au sens PLUME) diffusé, stable en développement |
LIGM |
Vador |
Vlasov approximation |
diffusé en beta | ICJ, INRIA Nancy |
Vaucanson |
une plate-forme de manipulation d'automates |
en développement | LIGM, LRDE, LTCI |
VElasOldroyd |
résolution des problèmes d'écoulement de fluides viscoélastique (loi d'Oldroyd) |
utilisé en interne | ICJ |
VIBRATOM |
dynamique vibrationnelle des systèmes désordonnés. Simulation des spectres IR et Raman |
diffusé, stable | LAAS |
Zebre |
résolution de systèmes de Réaction-Diffusion |
diffusé en beta en développement |
ICJ |