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 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
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
90.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
91.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
92.
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
93.
26 juil. 2013
Logiciel
XRP
The XR platform
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]