Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

231 résultats
Type de document : Image
Type de document : Vidéo
Type de document : Son
Type de document : Carte
Type de document : Logiciel

RT$\_$Stim : Real-Time simulation for functional electrical Stimulation

Daniel Simon , Samy Lafnoune
2019
Logiciel hal-02091230v1
Image document

ISF and BDIFFMIN

Jean-Pierre Dussault , Jean Charles Gilbert , Baptiste Plaquevent-Jourdain
Logiciel hal-04124994v1
Image document

Specification and Verification of a Transient Stack (Artifact)

Alexandre Moine , Arthur Charguéraud , François Pottier
Logiciel hal-03473197v1
Image document

TALON: Tractograms As Linear Operators in Neuroimaging

Matteo Frigo , Mauro Zucchelli , Rachid Deriche , Samuel Deslauriers-Gauthier
Logiciel hal-03116143v1

SoftRobots

Christian Duriez , Eulalie Coevoet , Damien Christian Pierre Madeleine Marchal , Félix Vanneste , Olivier Goury , et al.
Logiciel hal-04265796v1

DataFlowTasks.jl

Luiz Faria , François Févotte , Vincent Sivadon , Laurent Plagne
Logiciel hal-03940572v1

OpenAlea

Christophe Pradal , Christian Fournier , Frédéric Boudon , Patrick Valduriez , Esther Pacitti , et al.
2019
Logiciel hal-02100181v1
Image document

as_seg: module for computing and segmenting autosimilarity matrices

Axel Marmoret , Jérémy E Cohen , Frédéric Bimbot
Logiciel hal-03797507v1

LogMagnet

Florent Masseglia , Julien Diener
2019
Logiciel hal-02098365v1
Image document

Software - ANR Continuum D2.3 - Illustration of system reconfiguration due to varying conditions: same-island, and migration

Erven Rohou
Logiciel hal-03375509v1
Image document

A-SPADE demo

Srđan Kitić
Logiciel hal-03024051v2

Partial pole placement via delay action

Islam Boussaada , Guilherme Mazanti , Silviu-Iulian Niculescu , Julien Huynh , Adrien Leclerc , et al.
2023
Logiciel hal-04342601v1

CADO-NFS, An Implementation of the Number Field Sieve Algorithm

The Cado-Nfs Development Team
Logiciel hal-02099620v1

CGAL 2D Periodic Hyperbolic Triangulations

Iordan Iordanov , Monique Teillaud
Logiciel hal-02983428v1

Je peux voir les mots que tu dis !

Blonz Christian , Lelarge Denis , Piquard-Kipffer Agnès
2011
Vidéo hal-00681724v1
Image document

M2QN1

Claude Lemaréchal , Éliane Panier
Logiciel hal-04179682v1
Image document

Epipolar geometry of catadioptric cameras

Peter Sturm
2021
Vidéo hal-03564997v1
Image document

Gwezheneg Robert - Généralisation des codes de Gabidulin à la caractéristique nulle

Gwezheneg Robert , Daniel Augot , Pierre Loidreau , Fanny Bastien
2014
Vidéo medihal-01346163v1
Image document

Simulation of the growth-fragmentation equation in a periodic case - Non-dissipative numerical scheme

Marie Doumic
2016
Vidéo medihal-01407826v1

PLNmodels: Poisson lognormal models

Julien Chiquet , Mahendra Mariadassou , Stephane S. Robin , François Gindraud
Logiciel hal-04440660v1
Image document

SWoTTeD : An Extension of Tensor Decomposition to Temporal Phenotyping

Hana Sebia
2023
Vidéo hal-04310487v1
Image document

MusicNTD

Axel Marmoret , Jérémy E Cohen , Nancy Bertin , Frédéric Bimbot
Logiciel hal-02915453v1
Image document

1 minute avec...Emmanuelle Saillard

Emmanuelle Saillard
2022
Vidéo hal-03656775v1
Image document

Formal study in Coq of pi computations using arithmetic-geometric means

Yves Bertot
Logiciel hal-01767263v1

Hydronaut

Jan-Michael Rye
Logiciel hal-04246627v1
Image document

Compressive Spectral Clustering Toolbox

Nicolas Tremblay , Gilles Puy , Rémi Gribonval , Pierre Vandergheynst
Logiciel hal-02960679v1
Image document

TreeTaggerWrapper

Laurent Pointal
Logiciel hal-04469660v1

Symfinder: Identifying and visualizing variability implementations in variability-rich Java systems

Johann Mortara , Philippe Collet , Xhevahire Tërnava
Logiciel hal-04449959v1

k shortest simple paths

Ali Al Zoobi , David Coudert , Nicolas Nisse
Logiciel hal-03438331v1

SPARQL Micro-Services

Franck Michel
Logiciel hal-04115815v1