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
76.
01 janv. 2014
Logiciel
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
77.
01 janv. 2014
Logiciel
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
78.
01 janv. 2014
Logiciel
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
79.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
80.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
81.
01 janv. 2014
Logiciel
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
82.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
83.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
84.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
85.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
86.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
87.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
88.
01 janv. 2014
Logiciel
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
89.
01 janv. 2014
Logiciel
CFML
Program Verification for ML through Characteristic Formula
CHARGUERAUD, Arthur
90.
01 janv. 2014
Logiciel
MultiBoost
MultiBoost
KÉGL, Balázs
91.
01 déc. 2013
Logiciel
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
92.
07 nov. 2013
Logiciel
Clay
Clay
BASTOUL, Cédric
93.
11 oct. 2013
Logiciel
CLooG
Chunky Loop Generator
BASTOUL, Cédric
94.
23 sept. 2013
Logiciel
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
95.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
96.
06 sept. 2013
Logiciel
WILD Input Server
Configurateur d'entrées
HUOT, Stéphane
97.
26 juil. 2013
Logiciel
XRP
The XR platform
GOASDOUE, François
98.
15 mai 2013
Logiciel
YML
Large-Scale Workflow Computing
PETITON, Serge
99.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
100.
01 avril 2013
Logiciel
EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données
MANOLESCU-GOUJOT, Ioana
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]