Search - Archive ouverte HAL Access content directly

Filter your results

26 917 Results
Image document

MOOMIN – Mathematical explOration of ’Omics data on a MetabolIc Network

Taneli Pusa , Mariana G. Ferrarini , Ricardo Andrade , Arnaud Mary , Alberto Marchetti-Spaccamela et al.
Bioinformatics, 2020, 36 (2), pp.514-523. ⟨10.1093/bioinformatics/btz584⟩
Journal articles hal-02284835v1
Image document

Intra-operative Update of Boundary Conditions for Patient-specific Surgical Simulation

Eleonora Tagliabue , Marco Piccinelli , Diego Dall'Alba , Juan Verde , Micha Pfeiffer et al.
MICCAI 2021 - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg, France. pp.373-382
Conference papers hal-03315008v1
Image document

Design, implementation and control of a deformable manipulator robot based on a compliant spine

Thor Morales Bieze , Alexandre Kruszewski , Bruno Carrez , Christian Duriez
The International Journal of Robotics Research, 2020, ⟨10.1177/ToBeAssigned⟩
Journal articles hal-03028723v1
Image document

Comparing anisotropic adaptive strategies on the second AIAA sonic boom workshop geometry

Adrien Loseille , Loïc Frazza , Frédéric Alauzet
Journal of Aircraft, 2019, 56 (3), pp.938-952. ⟨10.2514/1.C034840⟩
Journal articles hal-03162311v1
Image document

Recovery of disrupted airline operations using k-Maximum Matching in Graphs

Nicolas Nisse , Alexandre Salch , Valentin Weber
European Journal of Operational Research, 2018
Journal articles hal-03583581v1

Realistic Procedural Plant Modeling from Multiple View Images

Jianwei Guo , Shibiao Xu , Dong-Ming Yan , Zhanglin Cheng , Marc Jaeger et al.
IEEE Transactions on Visualization and Computer Graphics, 2020, 26 (2), pp.1372-1384. ⟨10.1109/TVCG.2018.2869784⟩
Journal articles hal-02291248v1

Observer Design for Nonlinear Dynamical Systems

Driss Boutat , Gang Zheng
2021, 978-3-030-73742-9. ⟨10.1007/978-3-030-73742-9⟩
Books hal-03168869v1
Image document

Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Reports hal-03247624v1
Image document

Sufficient Stability Conditions for Time-varying Networks of Telegrapher's Equations or Difference Delay Equations

Laurent Baratchart , Sébastien Fueyo , Gilles Lebeau , Jean-Baptiste Pomet
SIAM Journal on Mathematical Analysis, 2021, 53, pp.1831-1856. ⟨10.1137/19M1301795⟩
Journal articles hal-02385548v3
Image document

Periodic solutions for a nonautonomous mathematical model of hematopoietic stem cell dynamics

Mostafa Adimy , Pablo Amster , Julián Epstein
Nonlinear Analysis: Theory, Methods and Applications, 2021, 211, pp.112397. ⟨10.1016/⟩
Journal articles hal-03518591v1
Image document

Drone assisted multi-technology rescue operations

Farouk Mezghani , Nathalie Mitton
CORES 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint Laurent de la Cabrerisse, France
Conference papers hal-02122806v1
Image document

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Radu Mateescu , Wendelin Serwe , Aymane Bouzafour , Marc Renaudin
MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩
Conference papers hal-02559125v1
Image document

Guaranteed error estimates for finite element discretizations of Helmholtz problems

Théophile Chaumont-Frelet , Alexandre Ern , Martin Vohralík
Numerical Waves, Oct 2021, Nice, France
Conference papers hal-03404014v1
Image document

Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization

Olivier Rodriguez , Reza Akbarinia , Federico Ulliana
RuleML+RR 2019 - 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. pp.198-206, ⟨10.1007/978-3-030-31095-0_15⟩
Conference papers lirmm-02195593v1
Image document

Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE

Christophe Alias , Fabrice Baray , Alain Darte
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
Conference papers hal-03106126v1
Image document

Functional Connectivity for BCI: OpenViBE implementation

Arthur Desbois , Tiziana Cattai , Marie-Constance Corsi , Fabrizio de Vico Fallani
JJC-ICON’2021 - Journée Jeunes Chercheurs en Interfaces Cerveau-Ordinateur et Neurofeedback, CORTICO : COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, May 2021, Virtual, France
Conference papers hal-03313685v1
Image document

Simplification of 2D Polygonal Partitions via Point‐line Projective Duality, and Application to Urban Reconstruction

Julien Vuillamy , André Lieutier , Florent Lafarge , Pierre Alliez
Computer Graphics Forum, 2022, ⟨10.1111/cgf.14511⟩
Journal articles hal-03661872v1
Image document

Automatic Normalisation of Early Modern French

Rachel Bawden , Jonathan Poinhos , Eleni Kogkitsidou , Philippe Gambette , Benoît Sagot et al.
LREC 2022 - 13th Language Resources and Evaluation Conference, European Language Resources Association, Jun 2022, Marseille, France. pp.3354-3366, ⟨10.5281/zenodo.5865428⟩
Conference papers hal-03540226v2
Image document

Parallel Transport on Kendall Shape Spaces

Nicolas Guigui , Elodie Maignant , Alain Trouvé , Xavier Pennec
GSI 2021 - 5th conference on Geometric Science of Information, Jul 2021, Paris, France. pp.103-110, ⟨10.1007/978-3-030-80209-7_12⟩
Conference papers hal-03160677v1
Image document

A Multi-Rate Precision Timed Programming Language for Multi-Cores

Alain Girault , Nicolas Hili , Éric Jenn , Eugene Yip
FDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
Conference papers hal-02399998v1
Image document

Optimal solution error quantification in variational data assimilation involving imperfect models

Victor Shutyaev , Igor Gejadze , Arthur Vidard , Francois-Xavier Le Dimet
International Journal for Numerical Methods in Fluids, 2017, 83 (3), pp.276-290. ⟨10.1002/fld.4266⟩
Journal articles hal-01411666v1
Image document

Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction

Yana Hasson , Bugra Tekin , Federica Bogo , Ivan Laptev , Marc Pollefeys et al.
CVPR 2020 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2020, Seattle / Virtual, United States. pp.568-577, ⟨10.1109/CVPR42600.2020.00065⟩
Conference papers hal-02557112v1
Image document

Vibration‐based damage localization with load vectors under temperature changes

Md Delwar Hossain Bhuyan , Guillaume Gautier , Nicolas Le Touz , Michael Döhler , Falk Hille et al.
Structural Control and Health Monitoring, 2019, 26 (11), pp.e2439. ⟨10.1002/stc.2439⟩
Journal articles hal-02293057v1

hawen: time-harmonic wave modeling and inversion using hybridizable discontinuous Galerkin discretization

Florian Faucher
Journal of Open Source Software, 2021, 6 (57), pp.2699. ⟨10.21105/joss.02699⟩
Journal articles hal-03406861v1
Image document

Efficient computation of modal Green's kernels for vectorial equations in helioseismology under spherical symmetry

Hélène Barucq , Florian Faucher , Damien Fournier , Laurent Gizon , Ha Pham et al.
[Research Report] RR-9433, Inria Bordeaux - Sud Ouest. 2021, pp.86
Reports hal-03406855v1

Outgoing modal solutions for Galbrun's equation in helioseismology

Hélène Barucq , Florian Faucher , Damien Fournier , Laurent Gizon , Ha Pham et al.
Journal of Differential Equations, 2021, 286, pp.494-530. ⟨10.1016/j.jde.2021.03.031⟩
Journal articles hal-03406864v1
Image document

Towards S-NAMO: Socially-aware Navigation Among Movable Obstacles

Benoit Renault , Jacques Saraydaryan , Olivier Simonin
RoboCup 2019 - 23rd Annual RoboCup International Symposium, Jul 2019, Sydney, Australia. pp.241-254, ⟨10.1007/978-3-030-35699-6_19⟩
Conference papers hal-02293242v1
Image document

Optimization of a discontinuous Galerkin solver with OpenCL and StarPU

Bérenger Bramas , Philippe Helluy , Laura Mendoza , Bruno Weber
International Journal on Finite Volumes, 2020, 15 (1), pp.1-19
Journal articles hal-01942863v3
Image document

Direct and adaptive approaches to multi-objective optimization

Jean-Antoine Désidéri , Régis Duvigneau
[Research Report] RR-9291, Inria - Sophia Antipolis. 2019
Reports hal-02285899v1
Image document

Parallelization of Automatic Speech Recognition

Yahya Ould Mohamed El Hadj , Nathalie Revol
[Research Report] RR-4110, LIP RR-2001-02, INRIA, LIP. 2001
Reports inria-00072521v1