Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

134 010 Results
Image document

Integer points close to a transcendental curve and correctly-rounded evaluation of a function

Nicolas Brisebarre , Guillaume Hanrot
2023
Preprints, Working Papers, ... hal-03240179v4

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations

Cas Cremers , Charlie Jacomme , Aurora Naska
USENIX Security 2023 - 32nd USENIX SEcurity Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03996689v1
Image document

Testing scenarios on geological models: Local interface insertion in a 2D mesh and its impact on seismic wave simulation

Capucine Legentil , Jeanne Pellerin , Paul Cupillard , Algiane Froehly , Guillaume Caumon
Computers & Geosciences, 2022, 159, pp.105013. ⟨10.1016/j.cageo.2021.105013⟩
Journal articles hal-03602649v1

A Two-Step Optimization-Based Synthesis of Squat Movements

Bach Quoc Hoa , Vincent Padois , Faïz Benamar , Eric Desailly
International Conference on Human-Computer Interaction, Jul 2021, Washington DC, United States. pp.122-138, ⟨10.1007/978-3-030-77817-0_11⟩
Conference papers hal-03990088v1
Image document

Optimal Square Detection Over General Alphabets

Jonas Ellert , Paweł Gawrychowski , Garance Gourdel
SODA - 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2023, Florence, Italy. pp.5220-5242, ⟨10.1137/1.9781611977554.ch189⟩
Conference papers hal-03991054v1

CROCO: CROSS-MODAL CONTRASTIVE LEARNING FOR LOCALIZATION OF EARTH OBSERVATION DATA

W.-H. Tseng , H.-A. Lê , A. Boulch , Sébastien Lefèvre , D. Tiede
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2022, V-2-2022, pp.415-421. ⟨10.5194/isprs-annals-V-2-2022-415-2022⟩
Journal articles hal-03991207v1

Deep Active Contour Models for Delineating Glacier Calving Fronts

Konrad Heidler , Lichao Mou , Erik Loebel , Mirko Scheinert , Sébastien Lefèvre , et al.
IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium, Jul 2022, Kuala Lumpur, Malaysia. pp.4490-4493, ⟨10.1109/IGARSS46834.2022.9884819⟩
Conference papers hal-03991217v1

The 2022 IEEE GRSS Data Fusion Contest: Semisupervised Learning [Technical Committees]

Ronny Hansch , Claudio Persello , Gemine Vivone , Javiera Castillo Navarro , Alexandre Boulch , et al.
IEEE geoscience and remote sensing magazine, 2022, 10 (1), pp.334-337. ⟨10.1109/MGRS.2022.3144291⟩
Journal articles hal-03991258v1

Manipulating ΔFOSB in D1-type Medium Spiny Neurons of the nucleus accumbens reshapes whole brain functional connectivity

Marion Sourty , Md Taufiq Nasseef , Cédric Champagnol-Di Liberti , Mary Mondino , Vincent Noblet , et al.
Biological Psychiatry, 2023, ⟨10.1016/j.biopsych.2023.07.013⟩
Journal articles hal-04184489v1

MPFR : vers un calcul flottant correct ?

Paul Zimmermann
Interstices, 2005
Journal articles inria-00000536v1
Image document

Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005

Nicolas Navet
Nicolas Navet. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.296, 2005, 2 905267-47-X
Books inria-00000543v1
Image document

Exemples de systèmes temps réel et choix d'implémentation

Françoise Simonot-Lion , Yvon Trinquet
Jacky Akoka - Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Book sections inria-00000558v1
Image document

Design of automotive X-by-Wire systems

Cédric Wilwert , Nicolas Navet , Ye-Qiong Song , Françoise Simonot-Lion
Richard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777
Book sections inria-00000562v1
Image document

A New HPSG Approach to Polish Auxiliary Constructions

Anna Kupść , Jesse Tseng
Proceedings of the 12th International Conference on Head-Driven Phrase Structure Grammar, Aug 2005, Lisbon, Portugal. pp.253-273
Conference papers halshs-00005195v1

L3.2 : Etat de l'art des protocoles de gestion des clés dans les communications de groupe

Abdelmadjid Bouabdallah , Mohamed Salah Bouassida , Isabelle Chrisment , Hani Ragab
[Contrat] Livrable L3.2, 2005, pp.47
Reports inria-00000601v1
Image document

Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
[Research Report] PI 1758, 2005, pp.24
Reports inria-00000604v1
Image document

Calcul de trajectoires utilisant les propriétés d'interversibilité

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé
RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France
Conference papers inria-00000525v1

Réseaux sans fil de nouvelle génération

David Simplot-Ryl
Interstices, 2004
Journal articles inria-00000527v1
Image document

Limiting laws associated with Brownian motion perturbed by its maximum, minimum and local time II

Bernard Roynette , Pierre P. Vallois , Marc Yor
Studia Scientiarum Mathematicarum Hungarica, 2006, 43 (3), pp.295-360
Journal articles hal-00012705v1

Implicit Complexity over an Arbitrary Structure: Quantifier Alternations

Olivier Bournez , Felipe Cucker , Paulin Jacobé de Naurois , Jean-Yves Marion
Information and Computation, 2006, 204 (2), pp.210--230
Journal articles inria-00000516v1

Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions

Olivier Bournez , Emmanuel Hainry
Theoretical Computer Science, 2005, 348 (2-3), pp.130--147. ⟨10.1016/j.tcs.2005.09.010⟩
Journal articles inria-00000518v1

Pulse propagation in discrete excitatory networks of integrate-and-fire neurons

Laurent Badel , Arnaud Tonnelier
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2004, 70 (1), pp.011906-1--011906-7
Journal articles inria-00000584v1

On the Impact of Management on the Performance of a Managed System: A JMX-Based Management Case Study

Abdelkader Lahmadi , Laurent Andrey , Olivier Festor
16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management - Management of Ambient Networks - DSOM 2005, Universitat Politècnica de Catalunya, Oct 2005, Barcelona/Spain, pp.24--35, ⟨10.1007/11568285⟩
Conference papers inria-00000587v1
Image document

Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms

Olga Roudenko , Marc Schoenauer
Parallel Problem Solving from Nature 2004, 2004, Birmingham, pp.812-821
Conference papers inria-00000095v1
Image document

Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives

Inès Mouakher , Francis Alexandre , Khaled Bsaïes
Premières Journées Francophones de Programmation par Contraintes - JFPC'2005, CRIL - CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
Conference papers inria-00000070v1
Image document

Un système de types pour CHR

Emmanuel Coquery , Francois Fages
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.189-198
Conference papers inria-00000074v1
Image document

A Robotic CAD system using a Bayesian framework

Kamel Mekhnacha , Emmanuel Mazer , Pierre Bessiere
--, 2000, France. pp.1597-1604 (Vol.3)
Conference papers hal-00004990v1

Motion Autonomy Through Sensor­Guided Manoeuvre

Philippe Garnier , Thierry Fraichard , Christian Laugier , Igor Paromtchik , Alexis Scheuer
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
Conference papers inria-00000017v1
Image document

Self-* Distributed Query Region Covering in Sensor Networks

Ajoy Datta , Maria Gradinariu , Preethy Linga , Philippe Raïpin-Parvédy
[Research Report] PI 1715, 2005, pp.20
Reports inria-00000027v1

La grenouille et le robot

Thierry Viéville , Odile Lausecker
Interstices, 2005
Journal articles inria-00000455v1