Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
26.
10 janv. 2014
Logiciel
Flocq Library
Flocq Library
BOLDO, Sylvie
27.
10 janv. 2014
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
28.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
29.
01 janv. 2014
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
30.
01 janv. 2014
Logiciel
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
31.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
32.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
33.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
34.
01 janv. 2014
Logiciel
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
35.
01 janv. 2014
Logiciel
GeneValorization
L'importance des gènes en un clin d'oeil
COHEN-BOULAKIA, Sarah
36.
01 janv. 2014
Logiciel
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
37.
01 janv. 2014
Logiciel
GridObservatory
Grid Observatory
GERMAIN, Cécile
38.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
39.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
40.
01 janv. 2014
Logiciel
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
41.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
42.
01 janv. 2014
Logiciel
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
43.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
44.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
45.
01 janv. 2014
Logiciel
GlideCursor
Mac OS X application that implements the inertial cursor
BEAUDOUIN-LAFON, Michel
46.
01 janv. 2014
Logiciel
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
47.
01 janv. 2014
Logiciel
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
48.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
49.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
50.
01 janv. 2014
Logiciel
PigReuse
a platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 2 sur 7]