Logiciels

IntituléDescriptifPremier co-auteur IRIT
ACRUXSolution de stratégie de géolocalisation hors de portée GPS, notamment utile pour des applications indoorAndré-luc Beylot
AdHocMacRelayProcédé de contrôle du fonctionnement d’un réseau de communication et dispositifs associésAndré-luc Beylot
Astrion – HIdentification automatique d’hamoniques et de bandes latérales de modulation dans le spectre d’un signal Application amélioration de la maintenance conditionnelle de capteurs et de systèmes embarquésCorinne Mailhes
ELASTICITY SKINNINGDans le domaine de la synthèse d’images et plus spécifiquement dans l’animation 3D de personnages, il est difficile d’obtenir un rendu réaliste de la compression des tissus (peau, muscles) lorsque deux membres articulés se replient l’un sur l’autre. ELASTICTY SKINNING est une solution simple et temps-réel, qui permet d’effectuer cette opération de manière très réalisteLoïc Barthe
EVOLEXLogiciel de tests de fluence verbale : de l’amélioration de la reconnaissance vocale au test en situation écologique auprès d’orthophonistesJulien Pinquier
FoeRythme : Logiciel RFC Monitoring V1.0Traitement du signal Doppler pour le monitoring du rythme cardiaque du fœtusDenis Kouamé
OPTIMIZATION CELLMéthode d’optimisation en temps réel tenant compte de contraintes externes permettant de trouver la répartition spatiale optimale de “cellules”. Les “cellules” représentent n’importe quels objets tels que des éoliennes, des antennes 4G, etc.Sylvain Cussat Blanc
PalexOutil interactif d’aide à la création de palettes de couleurs prenant en compte des contraintes métiers variées (respects des contrastes, respects de la complémentarités, consistance pour les daltoniens, optimisation de la consommation du display, etc.)Nicolas Mellado
PROSODIESolution d’analyse de l’intonation (prosodie) de la voix permettant d’améliorer la qualité d’analyse automatique du langageJérôme Farinas
Ray PortalsSolution algorithmique s’insérant dans le pipeline des moteurs de rendu 3D. Permet d’intercepter les rayons de lumière traversant une surface et de les restituer tels quels ou filtrés depuis une ou plusieurs autres surfaces. Les surfaces d’entrée et sortie des rayons sont appelés portails et sont définies par l’utilisateur / le light-designerDavid Vanderhaeghe
Réalité AugmentéeLogiciels de Photoréalisme ( application essayage virtuel de lunettes ; reconstitution 3D de zones de la peau…)Vincent Charvillat
SAFSolution d’allocation de fréquences dans un système de radiocommunication satellitaire multifaisceauxEmmanuel Chaput
SICASSELogiciel embarqué pour POI appliqué au tourisme (parcs nationaux)Vincent Charvillat
Sons environnementauxCaractérisation psycho-acoustique sous forme de tables/bdd mettant en évidence les sons importants d’un point de vue humain. Briques logicielles d’analyse automatique de séquences sonores ayant la propriété de ne pas nécessiter d’entrainement (pas besoin de données d’apprentissageJulien Pinquier
Toolbox AudioBriques logicielles pour le traitement du flux audio et utiles à des tâches variées comme la détection de zones de parole, la mesure d’intelligibilité, mesure du niveau sonore, la détection et reconnaissance de sons clésJulien Pinquier
ZombieSwap sur RAM des machines endormiesDaniel Hagimont
AcronymeIntituléPoint de contact IRIT
ABCD SolverA parallel hybrid solver based on the Augmented Block Cimmino method for the solution of sparse systems of linear equations on distributed and shared memory supercomputersDaniel Ruiz
ADELFEAtelier de DEveloppement de Logiciels à Fonctionnalité EmergenteCarole Bernon
CanardComplex Alignment Need and A-box based Relation DiscoveryEquipe MELODI
CIRCUSICS Integrated modelling environments (tasks, system, co-execution…)Equipe ICS
Continuation simplicialeTraitement du signal Doppler pour le monitoring du rythme cardiaque du fœtusEquipe APO
CotCotConditions of order two, conjugate timesEquipe APO
DAPmDécodeurs acoustico-phonétiques multilinguesEquipe SAMOVA
ELAASTICApplication digitale facilitant la mise en œuvre de pédagogie active durant les cours en face à face ou à distanceJulien Broisin, Franck Silvestre
ELSDEllipse and Line Segment DetectionEquipe REVA
FrontCAn OCAML library providing a C parser and lexerHugues Cassé
GLISSGenerator of Library for Instructions-Set-SimulatorsPascal Sainrat
GRAFIXSoftware for representation and management of abstract argumentation graphsMarie-Christine Lagasquie-Schiex
GRNeatGRN with augmented topologiesSylvain Cussat-Blanc
HAMPATHA solver for optimal control problems based on indirect and path following methodsOlivier Cots
HAMSTERSHuman – centered Assessment and Modelling to Support Task Engineering for Resilient SystemsEquipe ICS
HPDDMA parallel domain decomposition solver for the solution of sparse linear systems of equations on large scale distributed memory supercomputersPierre Jolivet
IFx-OMEGAA simulator/model checker for UML/SysMLIulian Ober
Image Annotation Web AppWeb application for image annotationAxel Carlier
Lab4CEA Remote Laboratory for Computer EducationJulien Broisin
LARAtLayout Annotation for Relation Acquisition toolEquipe MELODI
Learn-ocaml.elAn emacs mode for students using the learn-ocaml platformErik Martin-Dorel
LELIE-LELIOPersonal intelligent assistant for improving technical documentsPatrick Saint-Dizier
LoTRECGeneric Tableau Theorem proverEquipe LILAC
MECACELLA cell physics simulatorYves Duthen
MfMaxMaximum final Mass Orbit TransferJoseph Gergaud
Miage & CompétencesThis platform allows (i) educational teams to design and support professional learning following a skills-based approach, (ii) learners to orient themselves according to the targeted professions, and (iii) professionals to target training situations according to their business needsJulien Broisin
MojitO/SAn open source energy and network monitoring tool at the operating system levelGeorges
Da-Costa
MPSMinimal path selectionSylvie Chambon
MUMPSA parallel direct solver based on the multifrontal method for the solution of sparse systems of linear equations on distributed and shared memory supercomputersPatrick Amestoy, Chiara Puglisi
MyMOOCSpaceA cloud‐based mobile system to support effective collaboration in higher education online coursesMaria-Perez Sanaugustin
NEPTUNENice Environment with a Process and Tools Using Norms and ExampleThierry Millan
NMPNote My ProgressMaria-Perez Sanaugustin
OTAWA toolsetOpen Tool for Adaptive WCET AnalysesEquipe TRACES
oYCDiscourse analysis tools: libraries educe, attelo, and analysers for Stac, RST-DTEquipe MELODI
PapaBenchReal-time embedded benchmarkEquipe TRACES
PetShopPetshop environnementEquipe ICS
Prog&PlayA library designed for Real Time Strategy gamesEquipe SIERA
qr_mumpsA parallel direct solver based on the multifrontal method for the solution of sparse least-squares problems on multicore and GPUsAlfredo Buttari
SBMRSkeleton based multi-view reconstructionGeraldine Morin, Sylvie Chambon
SemanticSearchUne inteface de requête de données associées à des images d’observation de la TerreEquipe MELODI
SEMCOMDTOutil logiciel de gestion des security paterns pour faciliter la conception de systèmes critiquesBrahim HAMID
SESAMESEmantics Specification for Abstract arguMEntationPhilippe Besnard, Sylvie Doutre, Dominique Longin
SPARQLRewriting of SPARQL queries based on complex alignmentsEquipe MELODI
TfMinMinimum time orbit transferEquipe APO
TouISTInterface for SAT solvers for propositional logic and theoriesAndreas Herzig, Dominique Longin, Frédéric Maris
UniMathUnivalent mathematicsEquipe ACADIE
VacsA library of communication modelsPhilippe Queinnec
ValidSDPA Coq tactic for proving multivariate inequalities using SDP solversErik Martin Dorel
VLC DCP pluginPlayer for digital cinemaEquipe REVA
VOARA configurable web-based environment for visualizing and manipulating multiple ontology alignmentsCassia Trojahn
WASPa Wavelet Adaptive Solver for boundary value ProblemsEquipe APO
WINDFLOWindFarm simulatorPierre Gurdjos