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
101.
15 avril 2008
Logiciel
Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge
FROIDEVAUX, Christine
102.
01 janv. 2014
Logiciel
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
103.
11 mars 2009
Logiciel
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
104.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
105.
01 janv. 2011
Logiciel
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
106.
01 janv. 2014
Logiciel
GridObservatory
Grid Observatory
GERMAIN, Cécile
107.
01 janv. 2018
Logiciel
io.datascience
Input Output Data Science
GERMAIN, Cécile
108.
30 juin 2017
Logiciel
DIGISCAPE
Middleware de téléprésence
GLADIN, Olivier
109.
26 juil. 2013
Logiciel
XRP
The XR platform
GOASDOUE, François
110.
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
111.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
112.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
113.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
114.
01 janv. 2012
Logiciel
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
115.
01 janv. 2021
Logiciel
Codalab
open source framework for running competitions
GUYON, Isabelle
116.
01 janv. 2014
Logiciel
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
117.
01 janv. 2014
Logiciel
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
118.
01 mai 2007
Logiciel
MPICH-V
Interface àpassage de messages pour les ressources volatiles
HERAULT, Thomas
119.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
120.
11 janv. 2018
Logiciel
HP-Combi
High Performance Combinatorics
HIVERT, Florent
121.
26 oct. 2015
Logiciel
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
122.
06 sept. 2013
Logiciel
WILD Input Server
Configurateur d'entrées
HUOT, Stéphane
123.
01 janv. 2013
Logiciel
jBricks
Toolkit Java pour plateformes de visualisation interactives
HUOT, Stéphane
124.
20 juin 2020
Logiciel
DNADNA
Deep Neural Architectures for DNA
JAY, Flora
125.
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]