Search - Archive ouverte HAL Access content directly

Filter your results

104 199 Results
Image document

Honey, I Shrunk the Domain: Frequency-aware Force Field Reduction for Efficient Fluids Optimization

Jingwei Tang , Vinicius C Azevedo , Guillaume Cordonnier , Barbara Solenthaler
Computer Graphics Forum, 2021, 40 (2), pp.339-353. ⟨10.1111/cgf.142637⟩
Journal articles hal-03262394v1
Image document

Monotonic Gaussian Process for Spatio-Temporal Disease Progression Modeling in Brain Imaging Data

Clement Abi Nader , Nicholas Ayache , Philippe Robert , Marco Lorenzi
NeuroImage, 2019
Journal articles hal-02051843v3

First equilibrium reconstruction for ITER with the code NICE

Blaise Faugeras , Jacques Blum , Cedric Boulbe
2021
Preprints, Working Papers, ... hal-03423333v1
Image document

Alternative Constructions of Asymmetric Primitives from Obfuscation: Hierarchical IBE, Predicate Encryption, and More

Pooya Farshim , Georg Fuchsbauer , Alain Passelègue
Indocrypt 2020 - 21st International Conference on Cryptology, Dec 2020, Virtual conference, India
Conference papers hal-03120656v1
Image document

Adaptive first-order methods revisited: Convex optimization without Lipschitz requirements

Kimon Antonakopoulos , Panayotis Mertikopoulos
NeurIPS 2021 - 35th International Conference on Neural Information Processing Systems, Dec 2021, Virtual, Unknown Region
Conference papers hal-03342998v1
Image document

Right Ventricular Function Evolution With Pregnancy in Repaired Tetralogy of Fallot

Pamela Moceri , Maxime Sermesant , Delphine Baudouy , Emile Ferrari , Nicolas Duchateau et al.
Canadian Journal of Cardiology, 2018, 34 (10), pp.1369.e9 - 1369.e11. ⟨10.1016/j.cjca.2018.06.010⟩
Journal articles hal-01926967v1
Image document

Contribution à l'étude des schémas aux volumes finis décentrés à faible dissipation transverse

Christophe Debiez
[Rapport de recherche] RR-2985, INRIA. 1996
Reports inria-00073713v2
Image document

Extending the GLS endomorphism to speed up GHS Weil descent using Magma

Jesús-Javier Chi-Domínguez , Francisco Rodríguez-Henríquez , Benjamin Smith
Finite Fields and Their Applications, In press, 75, ⟨10.1016/j.ffa.2021.101891⟩
Journal articles hal-03233803v1
Image document

Fast Bayesian Inversion for high dimensional inverse problems

Benoit Kugler , Florence Forbes , Sylvain Douté
Statistics and Computing, 2022, 32 (31), ⟨10.1007/s11222-021-10019-5⟩
Journal articles hal-02908364v3
Image document

A two-dimensional high-order well-balanced scheme for the shallow water equations with topography and Manning friction

Victor Michel-Dansac , Christophe Berthon , Stéphane Clain , Françoise Foucher
Computers and Fluids, 2021, 230, pp.105152. ⟨10.1016/j.compfluid.2021.105152⟩
Journal articles hal-02536791v2
Image document

Foreword to the Special Issue on Configurable Systems

Laurence Duchien , Paul Grünbacher , Thomas Thüm
Empirical Software Engineering, 2021, 26, pp.1-4. ⟨10.1007/s10664-021-09964-6⟩
Journal articles hal-03263567v1
Image document

A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication

Valentin Le Fèvre , Thomas Herault , Julien Langou , Yves Robert
[Research Report] RR-9351, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Reports hal-02867859v1
Image document

Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations

Siva Anantharaman , Peter Hibbs , Paliath Narendran , Michael Rusinowitch
[Research Report] LIFO, Université d'Orléans; INSA, Centre Val de Loire. 2019
Reports hal-02123648v2
Image document

Optimal transportation, modelling and numerical simulation

Jean-David Benamou
Acta Numerica, 2021, 30, pp.249-325. ⟨10.1017/S0962492921000040⟩
Journal articles hal-03344549v1
Image document

Reliable Detection of Interest Flooding Attack in Real Deployment of Named Data Networking

Tan Nguyen , Hoang-Long Mai , Rémi Cogranne , Guillaume Doyen , Wissam Mallouli et al.
IEEE Transactions on Information Forensics and Security, 2019, 14 (9), pp.2470-2489. ⟨10.1109/TIFS.2019.2899247⟩
Journal articles hal-02068457v1

Disentangling the processes driving the biogeography of freshwater diatoms: A multiscale approach

Francois Keck , Alain Franc , Maria Kahlert
Journal of Biogeography, 2018, 45 (7), pp.1582-1592. ⟨10.1111/jbi.13239⟩
Journal articles hal-02628886v1
Image document

From Big Data to Fast Data: Efficient Stream Data Management

Alexandru Costan
Distributed, Parallel, and Cluster Computing [cs.DC]. ENS Rennes, 2019
Habilitation à diriger des recherches tel-02059437v2
Image document

Properties of Tight Frames that are Regular Schemes

Malcolm Egan
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2020, 12, pp.499-510. ⟨10.1007/s12095-019-00378-2⟩
Journal articles hal-02148974v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1

Improving MCMC convergence diagnostic with a local version of R-hat

Julyan Arbel , Stéphane Girard , Théo Moins , Anne Dutfoy , Khalil Leachouri et al.
MAS 2021 - Journées Modélisation Aléatoire et Statistique, Aug 2021, Orléans, France
Conference papers hal-03337454v1

Formal Cell Biology in Biocham

Francois Fages , Sylvain Soliman
SFM 2008: Formal Methods for Computational Systems Biology, Jun 2008, Bertinoro, Italy. pp.54-80, ⟨10.1007/978-3-540-68894-5_3⟩
Conference papers hal-02308547v1
Image document

Fatigue Data-Based Design: statistical methods for the identification of critical zones

Olivier Coudray , Philippe Bristiel , Miguel Dinis , Christine Keribin , Patrick Pamphile et al.
SIA Simulation Numérique, Apr 2021, Virtual, France
Conference papers hal-03483277v1
Image document

Discrete-time mean field games with risk-averse agents

Frédéric J Bonnans , Pierre Lavigne , Laurent Pfeiffer
ESAIM: Control, Optimisation and Calculus of Variations, 2021, ⟨10.1051/cocv/2021044⟩
Journal articles hal-02563949v2
Image document

A study on tensor and matrix models for super-resolution fluorescence microscopy

José Henrique de Morais Goulart , Laure Blanc-Féraud , Eric Debreuve , Sébastien Schaub
CAMSAP 2019 - IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, Dec 2019, Le Gosier, Guadeloupe
Conference papers hal-02309659v1
Image document

The Online Course Was Great: I Would Attend It Face-to-Face

Michael Lodi , Marco Sbaraglia , Stefano Pio Zingaro , Simone Martini
GoodIT '21: Conference on Information Technology for Social Good, Sep 2021, Roma, Italy. pp.242-247, ⟨10.1145/3462203.3475902⟩
Conference papers hal-03338808v1
Image document

Customized e-floras: How to develop your own project on the Pl@ntNet platform

Antoine Affouard , Mathias Chouet , Jean-Christophe Lombardo , Hugo Gresse , Hervé Goëau et al.
Biodiversity Information Science and Standards, 2021, 5, pp.1-4. ⟨10.3897/biss.5.73857⟩
Journal articles hal-03338811v1
Image document

Diagonal Acceleration for Covariance Matrix Adaptation Evolution Strategies

Youhei Akimoto , Nikolaus Hansen
Evolutionary Computation, 2020, 28 (3), pp.405-435. ⟨10.1162/evco_a_00260⟩
Journal articles hal-01995373v2
Image document

Robotic Insertion of Flexible Needle in Deformable Structures Using Inverse Finite-Element Simulation

Yinoussa Adagolodjo , Laurent Goffin , Michel de Mathelin , Hadrien Courtecuisse
IEEE Transactions on Robotics, 2019, 35 (3), pp.697-708. ⟨10.1109/TRO.2019.2897858⟩
Journal articles hal-02144487v1
Image document

TEI guidelines: born to be open

Laurent Romary
ACDH-CH : Austrian Centre for Digital Humanities and Cultural Heritage Lectures, Jun 2020, Vienne, Austria. , Lecture (6.1)
Documents associated with scientific events hal-02864525v1
Image document

A Study of Neutrality of Boolean Function Landscapes in Genetic Programming

Leonardo Vanneschi , Yuri Pirola , Giancarlo Mauri , Philippe Collard , Sébastien Verel et al.
Theoretical Computer Science, 2012, 425, pp.34 -- 57. ⟨10.1016/j.tcs.2011.03.011⟩
Journal articles hal-00563462v1