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

Filter your results

5 062 Results
Deposit type : Fulltext
Image document

Data-driven simulation for augmented surgery

Andrea Mendizabal , Eleonora Tagliabue , Tristan Hoellinger , Jean-Nicolas Brunet , Sergei Nikolaev , et al.
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
Book sections hal-02538101v1
Image document

A Practical Path Guiding Method for Participating Media

Hong Deng , Beibei Wang , Rui Wang , Nicolas Holzschuch
Computational Visual Media, 2020, 6, pp.37-51. ⟨10.1007/s41095-020-0160-1⟩
Journal articles hal-02486014v1
Image document

MOMO - multi-objective metabolic mixed integer optimization: application to yeast strain engineering

Ricardo Andrade , Mahdi Doostmohammadi , João Santos , Marie-France Sagot , Nuno P Mira , et al.
BMC Bioinformatics, 2020, 21 (1), pp.1-13. ⟨10.1186/s12859-020-3377-1⟩
Journal articles hal-02490353v1
Image document

Multiple asymptotics of kinetic equations with internal states

Benoît Perthame , Weiran Sun , Min Tang , Shugo Yasuda
Mathematical Models and Methods in Applied Sciences, 2020, 30 (06), ⟨10.1142/S0218202520400060⟩
Journal articles hal-02194421v1
Image document

Automatic multiplanar CT reformatting from trans-axial into left ventricle short-axis view

Marta Nuñez-Garcia , Nicolas Cedilnik , Shuman Jia , Maxime Sermesant , Hubert Cochet
STACOM 2020 - 11th International Workshop on Statistical Atlases and Computational Models of the Heart, Oct 2020, Lima, Peru. p.108--116
Conference papers hal-02961500v1
Image document

Habilitationà Diriger des Recherches (HDR)

Alain Sarlette
Optimization and Control [math.OC]. Sorbonne Universites, UPMC University of Paris 6, 2020
Habilitation à diriger des recherches tel-03160258v1
Image document

Bringing an Accurate Fresnel to Real-Time Rendering: a Preintegrable Decomposition

Laurent Belcour , Mégane Bati , Pascal Barla
SIGGRAPH’20 Courses, Aug 2020, Washington, D.C., United States. ⟨10.1145/3388767.3407325⟩
Documents associated with scientific events hal-02883680v2
Image document

Tensorial rheological model for concentrated non-colloidal suspensions: normal-stress differences

Olivier Ozenda , Pierre Saramito , Guillaume Chambon
Journal of Fluid Mechanics Digital Archive, 2020, 898, pp.A25. ⟨10.1017/jfm.2020.405⟩
Journal articles hal-02138682v3
Image document

Stand Up Indulgent Rendezvous

Quentin Bramas , Anissa Lamani , Sébastien Tixeuil
Preprints, Working Papers, ... hal-02961247v1
Image document

The diversity of interaction types drives the functioning of ecological communities

Vincent Miele , Christian Guill , Rodrigo Ramos-Jiliberto , Sonia Kéfi
Preprints, Working Papers, ... hal-03009740v1
Image document

Continuity of functional transducers: a profinite study of rational functions

Michaël Cadilhac , Olivier Carton , Charles Paperman
Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(1:24)2020⟩
Journal articles hal-03111682v1
Image document

Méta-interprétation pour la génération de compilateur Just-In-Time

Nicolas Margulies
Programming Languages [cs.PL]. 2020
Master thesis hal-03012007v1
Image document

Transient Hypoxia Model Revealed Cerebrovascular Impairment in Anemia Using BOLD MRI and Near‐Infrared Spectroscopy

Julie Coloigner , Chau Vu , Matthew Borzage , Adam Bush , Soyoung Choi , et al.
Journal of Magnetic Resonance Imaging, 2020, 52 (5), pp.1400-1412. ⟨10.1002/jmri.27210⟩
Journal articles inserm-02913695v1
Image document

Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime

Rasha Omar , Mostafa Abbas , Ahmed El-Mahdy , Erven Rohou
PLoS ONE, 2020, 15 (4), pp.1-20. ⟨10.1371/journal.pone.0230904⟩
Journal articles hal-02913722v1
Image document

On Multi-Agent Coordination of Agri-Robot Fleets

Marin Lujak , Elizabeth Sklar , Frédéric Semet
Eleventh International Workshop on Agents in Traffic and Transportation, Sep 2020, Santiago de Compostela, Spain
Conference papers hal-03114321v1
Image document

IETF Reliable and Available Wireless (RAW): Use Cases and Problem Statement

Georgios Papadopoulos , Fabrice Theoleyre , Pascal Thubert , Nicolas Montavont
AdHoc-Now, Oct 2020, Bari (on line), Italy
Conference papers hal-02965755v1
Image document

Les libertés publiques face au traçage numérique

François Pellegrini , Hélène Skrzypniak
Numérique et crise sanitaire, Université de Bordeaux, Nov 2020, Bordeaux, France. pp.17-40
Conference papers hal-03158589v1
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

A New Method for Counting Reproductive Structures in Digitized Herbarium Specimens Using Mask R-CNN

Charles C. Davis , Julien Champ , Daniel Park , Ian Breckheimer , Goia Lyra , et al.
Frontiers in Plant Science, 2020, 11, ⟨10.3389/fpls.2020.01129⟩
Journal articles hal-02909794v1
Image document

Towards Smart-City Implementation for Crisis Management in Fast-Growing and Unplanned Cities: The Colombian Scenario

Michael Puentes , Irene Arroyo Delgado , Oscar Carrillo , Carlos J Barrios , Frédéric Le Mouël
Ingeniería y Ciencia, 2020, 16 (32), pp.151 - 169. ⟨10.17230/ingciencia.16.32.7⟩
Journal articles hal-03010693v1
Image document

Distributed observers with time-varying delays

Haik Silm , Rosane Ushirobira , Denis Efimov , Emilia Fridman , Jean-Pierre Richard , et al.
IEEE Transactions on Automatic Control, 2020, ⟨10.1109/TAC.2020.3044271⟩
Journal articles hal-03107636v1
Image document

Fast BEM Solution for 2-D Scattering Problems Using Quantized Tensor-Train Format

Jean-René Poirier , Olivier Coulaud , Oguz Kaya
IEEE Transactions on Magnetics, 2020, 56 (3), pp.1-4. ⟨10.1109/TMAG.2019.2954584⟩
Journal articles hal-03150956v1
Image document

Resilient IoT-based Monitoring System for Crude Oil Pipelines

Safuriyawu Ahmed , Frédéric Le Mouël , Nicolas Stouls
Proceedings of the 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS 2020), Dec 2020, Paris, France
Conference papers hal-03010657v1
Image document

An integrative view of senescence in nature

Jean-Michel Gaillard , Jean-François Lemaître Lemaître
Functional Ecology, 2020, 34, pp.4 - 16. ⟨10.1111/1365-2435.13506⟩
Journal articles hal-03060288v1
Image document

Separation Logic for Sequential Programs

Arthur Charguéraud
Proceedings of the ACM on Programming Languages, 2020, 4, ⟨10.1145/3408998⟩
Journal articles hal-03108936v1
Image document

Topological inference from measures and vector bundles

Raphaël Tinarrage
Computational Geometry [cs.CG]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASM001⟩
Theses tel-02970491v2
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

Transport effect of COVID-19 pandemic in France

Lina Guan , Christophe Prieur , Liguo Zhang , Clémentine Prieur , Didier Georges , et al.
Annual Reviews in Control, 2020, 50, pp.394-408. ⟨10.1016/j.arcontrol.2020.09.009⟩
Journal articles hal-02906401v1
Image document

The VLSAT-1 Benchmark Suite

Pierre Bouvier , Hubert Garavel
[Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6
Reports hal-03007233v1
Image document

Joint Attention for Automated Video Editing

Hui-Yin Wu , Trevor Santarra , Michael Leece , Rolando Vargas , Arnav Jhala
IMX 2020 - ACM International Conference on Interactive Media Experiences, Jun 2020, Barcelona, Spain. pp.55-64, ⟨10.1145/3391614.3393656⟩
Conference papers hal-02960390v1