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
Page :
triés par
Image document

BifurcationKit.jl

 Romain Veltz
2020, ⟨swh:1:dir:257669cd4bf202bc8393a4efa22bfe5f6f517b03;origin=https://hal.archives-ouvertes.fr/hal-02902346;visit=swh:1:snp:73c1c5e9525b1b9b09b8a79ca056057fcb26b8a9;anchor=swh:1:rev:31bea805201b64435aa28e4d036e156ab189c3d5;path=/⟩
Logiciel hal-02902346v1
Image document

V2V Autonomic Coordination - Europarc roundabout, Creteil, France - 5PM / 7PM - Extract

 Marie-Ange Lebre , Frédéric Le Mouël , Eric Ménard
2017
Vidéo medihal-01539961v1
Image document

Multi-Contact Whole Body Force Control for Position-Controlled Robots

 Quentin Rouxel , Serena Ivaldi , Jean-Baptiste Mouret
2023
Vidéo hal-04364494v2
Image document

CISE Safety Tool

 Marc Shapiro , Mahsa Najafzadeh
2015
Vidéo medihal-01242710v1
Image document

An Independent C-library for Register Pressure Reduction in Data Dependence Graphs.

 Sébastien Briais , Sid Touati
2021, ⟨swh:1:dir:0b9ea5cf3f444bf0920d99d5df58af2b6b484133;origin=https://hal.archives-ouvertes.fr/hal-03445804;visit=swh:1:snp:dc58dc9c3866979847adb3ee5202b8e14ac7b9cd;anchor=swh:1:rel:b0827bb530d7e2258121543e63e06de4b2c640c0;path=/⟩
Logiciel hal-03445804v1
Image document

Zellij

 Thomas Firmin , El-Ghazali Talbi
2021, ⟨swh:1:dir:20748179c0a34a55f374e1f4af5b17f3e70f9676;origin=https://hal.archives-ouvertes.fr/hal-03780423;visit=swh:1:snp:404941683c5c78ffe4b1c2e337453f8781bf7daf;anchor=swh:1:rel:fdbd5b100461ed8e74ad43f4546935ee2a4f8b26;path=/⟩
Logiciel hal-03780423v2
Image document

LinBox

 The Linbox Group
2022, ⟨swh:1:dir:ab3150274e077cc4c4d18ab7bc074fab0a5c12d3;origin=https://hal.archives-ouvertes.fr/hal-03788347;visit=swh:1:snp:99e4a5b29527e7089567751cd8b75113ecd12c0b;anchor=swh:1:rel:35391e40ce3a7b02180e2dc159c095a89ed26a91;path=/⟩
Logiciel hal-03788347v1
Image document

Ribbit

 Gabriel Radanne , Laure Gonnord , Thaïs Baudon
2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩
Logiciel hal-03860442v1
Image document

Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization

 Quoc-Tung Le , Rémi Gribonval
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
Logiciel hal-03572265v1
Image document

FFLAS-FFPACK

 The Fflas-Ffpack Group
2019, ⟨swh:1:dir:6c36b055a48b4415ec5d864f6943f0d3082bd44b;origin=https://hal.archives-ouvertes.fr/hal-02128878;visit=swh:1:snp:508f4adf76ec4ad481e2fbc5fdb312a13a7a0b4b;anchor=swh:1:rev:4201397494d9af8b687117e8ff4d85a8944f5c5a;path=/⟩
Logiciel hal-02128878v1

Modbus RTU network trafic capture.

 Stéphane Mocanu , Estelle Hotellier
2024, ⟨swh:1:dir:0a75e2eea028af46bb34bd570001aafbab844d29;origin=https://hal.archives-ouvertes.fr/hal-04426339;visit=swh:1:snp:3b2375b33cb0fcd5f90c5ab3e9cd0108361c42ec;anchor=swh:1:rel:c80f2f43706cf5bd219c980827ad768eedf198e9;path=/⟩
Logiciel hal-04426339v1
Image document

SiReNe

 Nathalie Azevedo Carvalho , Sylvain Contassot-Vivier , Laure Buhry , Dominique Martinez
2020, ⟨swh:1:dir:878020672fc98ba91b7082883a42be1baf53f9e8;origin=https://hal.archives-ouvertes.fr/hal-03569077;visit=swh:1:snp:5d68cb8cf3a2666ea64b5836f5c7c0e2ad26c227;anchor=swh:1:rel:617ff1429aaba606b7b4c8ce887124a56b2ed8f9;path=/⟩
Logiciel hal-03569077v2
Image document

A C-library for Register Saturation Computation

 Sébastien Briais , Sid Touati
2021, ⟨swh:1:dir:353f14fe73608aeb968e1b7d961293c4292bcc91;origin=https://hal.archives-ouvertes.fr/hal-03445821;visit=swh:1:snp:f19987035256ae2536dabfadf31f38afa689e5d7;anchor=swh:1:rel:20809d0c43faec53646297b5271a12e9beec8f24;path=/⟩
Logiciel hal-03445821v1
Image document

FADAlib: an open source C++ library for fuzzy array dataflow analysis

 Marouane Belaoucha , Christophe Alias , Denis Barthou , Sid Touati
2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
Logiciel hal-03445991v1

IMUSEF

 Benoît Sijobert , Ronan Le Guillou , Christine Azevedo Coste
2019
Logiciel hal-02091524v1
Image document

Software Heritage Navigation in the archive

 Morane Gruenpeter
Illustration. Paris, France. 2017
Image medihal-01535619v1
Image document

Alain Couvreur - Comment domestiquer les codes de Goppa sauvages?

 Alain Couvreur , Fanny Bastien
2014
Vidéo medihal-01346167v1
Image document

Marcelle

 Jules Françoise , Baptiste Caramiaux , Téo Sanchez
2024, ⟨swh:1:dir:eaa29c4f411c944af49ae25925682a1d72a46a09;origin=https://hal.archives-ouvertes.fr/hal-04387239;visit=swh:1:snp:a75791f5f9803ea19810c2031d0a0bb7c6855571;anchor=swh:1:rel:ca1180054d9caf8b664bedaea8866e187377f88d;path=/⟩
Logiciel hal-04387239v1
Image document

SQPlab

 Jean Charles Gilbert
2011, ⟨swh:1:dir:e2589bf56512ba849fb2b6828c05c0e3e4a45128;origin=https://hal.archives-ouvertes.fr/hal-04157088;visit=swh:1:snp:8d9f31be778163ac5d8c65f535ce29a629adfc34;anchor=swh:1:rel:deca49e893ce0a2eb00a529b6aa8fd13c6808129;path=/⟩
Logiciel hal-04157088v1
Image document

nn_fac: Nonnegative Factorization techniques toolbox

 Axel Marmoret , Jérémy E Cohen
2020, ⟨swh:1:dir:ec2a2153951a7f79b7d980ea0d9c7601e5755de9;origin=https://hal.archives-ouvertes.fr/hal-02915456;visit=swh:1:snp:6e4be34b95db089bc5e4455abb4037d0b633b9fe;anchor=swh:1:rev:88782798ee67126597c52fb12312a462e9f6439b;path=/⟩
Logiciel hal-02915456v1

WebSmatch

 Remi Coletta , Emmanuel Castanier , Patrick Valduriez
2014
Logiciel hal-02092613v1
Image document

Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey

 Lionel Eyraud-Dubois , Louis-Claude Canon
2019, ⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe;origin=https://hal.archives-ouvertes.fr/hal-02159005;visit=swh:1:snp:6c6bd2ef190e40d7026749369725dd954c1c75d6;anchor=swh:1:rev:b2af27e129fad7558d725e6b60da7aaea5b0c86f;path=/⟩
Logiciel hal-02159005v2
Image document

Hebrew TTS Audiocarnet 2023

 Sharoni Orian
2023
Son hal-04412597v1
Image document

NS2DDV - Navier-Stokes 2D à Densité Variable

 Alexandre Mouton , Caterina Calgaro , Emmanuel Creusé
2020, ⟨swh:1:dir:ea24497c97c446b847eb1e6b144fc0528b22798f;origin=https://hal.archives-ouvertes.fr/hal-02137040;visit=swh:1:snp:6d9b0a7121ef7aee4569095d3304fd3c77f27314;anchor=swh:1:rev:04a7cf3445bc390bc8dfaf93341a1f8f2008072c;path=/⟩
Logiciel hal-02137040v2
Image document

RKA Security for PRFs Beyond the Linear Barrier

 Alain Passelègue , Michel Abdalla , Paterson Kenny , Fabrice Benhamouda , Fanny Bastien
2014
Vidéo medihal-01346242v1
Image document

Testing Unconditional Binomiality in Reversible Chemical Reaction Networks using Linear Algebra and Graph Theoretical approaches

 Cristian Vargas Montero , Hamid Rahkooy
2020, ⟨swh:1:dir:6f354b75626021ec820d2f30f8ce41de4e40b6e1;origin=https://hal.archives-ouvertes.fr/hal-03146301;visit=swh:1:snp:2606e63e5a998754f4df2c4a683bd556c2ec9b02;anchor=swh:1:rev:331bf66efe08227f4732afbb28843db025c90a92;path=/⟩
Logiciel hal-03146301v1
Image document

Paul Lajoie-Mazenc - Signatures de réputation

 Paul Lajoie-Mazenc , Emmanuelle Anceaume , Gilles Guette , Fanny Bastien
2014
Vidéo medihal-01346179v1
Image document

BICYCL

 Cyril Bouvier , Guilhem Castagnos , Laurent Imbert , Fabien Laguillaumie
2022, ⟨swh:1:dir:b0fc22af0acbb995711313e71dda1a9b907e9e72;origin=https://hal.archives-ouvertes.fr/lirmm-03827193;visit=swh:1:snp:32a44231094baaaf2db6f7303a5712c6bc7c78d4;anchor=swh:1:rel:7ed7e725bcc693394b27e20adf146aad5bbd41c8;path=/⟩
Logiciel lirmm-03827193v1
Image document

CamlDim

 Bruno Blanchet , Xavier Leroy , Damien Doligez , François Rouaix , Jérôme Vouillon , et al.
1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩
Logiciel hal-01863457v1

Hyperbolicity

 David Coudert , André Nusser , Laurent Viennot
2021, ⟨swh:1:dir:719d653945a6c7958028c8b5aab00960fb52d551;origin=https://gitlab.inria.fr/dcoudert/hyperbolicity/;visit=swh:1:snp:0d13e52e2c1d0b4e50153af070155c216f148d3e;anchor=swh:1:rev:4f9c8ce6eed890ed5bad1f56ff550577b4819bad⟩
Logiciel hal-03438325v1
Page :