151.

25 juil. 2011

Logiciel

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie

152.

30 sept. 2011

Logiciel

SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents

THIAM, Mouhamadou

153.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

154.

01 janv. 2014

Logiciel

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

GOASDOUE, François

155.

01 janv. 2014

Logiciel

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

156.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

157.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

158.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

159.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

160.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

161.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

162.

01 avril 2015

Logiciel

SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations

BABOULIN, Marc

163.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

164.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

165.

12 avril 2014

Logiciel

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

166.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

167.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

168.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc

169.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

170.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

171.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

172.

01 janv. 2014

Logiciel

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

173.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

174.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

175.

06 juin 2012

Logiciel

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine