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
1.
01 janv. 2021
Logiciel
Codalab
open source framework for running competitions
GUYON, Isabelle
2.
20 juin 2020
Logiciel
DNADNA
Deep Neural Architectures for DNA
JAY, Flora
3.
02 déc. 2019
Logiciel
CARTOLABE
CARTOLABE
CAILLOU, Philippe
4.
24 mai 2018
Logiciel
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
5.
15 mai 2018
Logiciel
LODAtlas
Browsing Linked Data Catalogs with LODAtlas
PIETRIGA, Emmanuel
6.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
7.
20 avril 2018
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
8.
29 mars 2018
Logiciel
MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization
PIETRIGA, Emmanuel
9.
29 mars 2018
Logiciel
Baia
Advanced animated transitions between before-and-after satellite images
PIETRIGA, Emmanuel
10.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
11.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
12.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
13.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
14.
22 janv. 2018
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
15.
11 janv. 2018
Logiciel
HP-Combi
High Performance Combinatorics
HIVERT, Florent
16.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
17.
01 janv. 2018
Logiciel
io.datascience
Input Output Data Science
GERMAIN, Cécile
18.
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
19.
15 déc. 2017
Logiciel
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
20.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
21.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
22.
13 nov. 2017
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
23.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
24.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
25.
20 oct. 2017
Brevet
CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant
MACKAY, Wendy
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]