76.

01 mars 2016

Logiciel

SMTCoq
Plug-in de communication entre Coq et prouveurs externes

KELLER, Chantal

77.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

78.

18 déc. 2017

Logiciel

Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq

JOURDAN, Jacques-Henri

79.

20 juin 2020

Logiciel

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

80.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

81.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

82.

26 oct. 2015

Logiciel

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

83.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

84.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

85.

01 mai 2007

Logiciel

MPICH-V
Interface àpassage de messages pour les ressources volatiles

HERAULT, Thomas

86.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

87.

01 janv. 2014

Logiciel

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

88.

01 janv. 2021

Logiciel

Codalab
open source framework for running competitions

GUYON, Isabelle

89.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

90.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

91.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

92.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

93.

01 janv. 2010

Logiciel

SomeWhere
Calcul de conséquences en pair-à-pair

GOASDOUE, François

94.

01 janv. 2014

Logiciel

FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists

GOASDOUE, François

95.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

96.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

97.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

98.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

99.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

100.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori