Search - Archive ouverte HAL Access content directly

Filter your results

15 866 Results
Structure: Internal structure identifier : 419153
Image document

Distributed fiber optics sensing and coda wave interferometry techniques for damage monitoring in concrete structures

Antoine Bassil , Xi Wang , Xavier Chapeleau , Ernst Niederleithinger , Odile Abraham et al.
Sensors, 2019, 19 (2), pp.1-15. ⟨10.3390/s19020356⟩
Journal articles hal-02007049v1

Optimization problems in geochemistry

Jocelyne Erhel , Tangi Migot
ETNA 2019 - 25th Recent Advances in Scientific Computation, May 2019, Santa Margherita di Pula, Italy
Conference papers hal-02404247v1
Image document

Smoothing Properties of Fractional Ornstein-Uhlenbeck Semigroups and Null-Controllability

Paul Alphonse , Joackim Bernier
Bulletin des Sciences Mathématiques, 2020, 165, pp.article n° 102914. ⟨10.1016/j.bulsci.2020.102914⟩
Journal articles hal-01888835v2
Image document

A new deviational Asymptotic Preserving Monte Carlo method for the homogeneous Boltzmann equation

Anaïs Crestetto , Nicolas Crouseilles , Giacomo Dimarco , Mohammed Lemou
Communications in Mathematical Sciences, 2020, 18 (8), pp.2305-2339. ⟨10.4310/CMS.2020.v18.n8.a10⟩
Journal articles hal-02413232v1

Les pics d'épidémie mis en équations

Jocelyne Erhel
Les amphis lycéens de l'université de Rennes 1, 2019, Rennes, France
Conference papers hal-02404288v1

A generic customized predictor corrector approach for accelerating EMTP-like simulations

Pierre-Marie Gibert , Damien Tromeur-Dervout , Patrick Panciatici , Francois Beaude , Pengbo Wang et al.
2017 IEEE Manchester PowerTech, Jun 2017, Manchester, France. pp.1-6, ⟨10.1109/PTC.2017.7980928⟩
Conference papers hal-02082158v1
Image document

The Taming of the Rew: A Type Theory with Computational Assumptions

Jesper Cockx , Nicolas Tabareau , Théo Winterhalter
Proceedings of the ACM on Programming Languages, 2021, POPL 2021, ⟨10.1145/3434341⟩
Journal articles hal-02901011v2
Image document

On the Performance of Spark on HPC Systems: Towards a Complete Picture

Orcun Yildiz , Shadi Ibrahim
SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
Conference papers hal-01742016v1
Image document

STracking: a free and open-source Python library for particle tracking and analysis

Sylvain Prigent , Cesar Augusto Valades-Cruz , Ludovic Leconte , Jean Salamero , Charles Kervrann et al.
Bioinformatics, 2022, 38 (14), pp.3671-3673. ⟨10.1093/bioinformatics/btac365⟩
Journal articles hal-03688217v1

An Efficient Framework for Design and Assessment of Arithmetic Operators with Reduced-Precision Redundancy

Imran Wali , Emmanuel Casseau , Arnaud Tisserand
Conference on Design and Architectures for Signal and Image Processing (DASIP), Sep 2017, Dresden, Germany
Conference papers hal-01586983v1

Proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, Reykjavik, Iceland, January 4-6, 2017

Laurent Amsaleg , Gylfi Þór Guðmundsson , Cathal Gurrin , Björn Thór Jónsson , Shin'Ichi Satoh et al.
Laurent Amsaleg; Gylfi Þór Guðmundsson; Cathal Gurrin; Björn Þór Jónsson; Shin'ichi Satoh. 23rd International Conference on Multimedia Modeling, MMM 2017, Jan 2017, Reykjavík, Iceland. 10132 (0302-9743), Springer International Publishing, 2017, MultiMedia Modeling, 978-3-319-51811-4. ⟨10.1007/978-3-319-51811-4⟩
Proceedings hal-01430555v1

DEVICE AND METHOD FOR DETERMINING THE THERMAL CONDUCTIVITY AND/OR HEAT CAPACITY OF A WALL

Nassiopoulou A. , Frederic Bourquin
France, Patent n° : EP2627996. 2013
Patents hal-01431259v1
Image document

Tightening contention delays while scheduling parallel applications on multi-core architectures

Benjamin Rouxel , Steven Derrien , Isabelle Puaut
International Conference on Embedded Software (EMSOFT), 2017, Oct 2017, Seoul, South Korea. pp.20, ⟨10.1145/3126496⟩
Conference papers hal-01590508v1
Image document

An object store for Fog infrastructures based on IPFS and a Scale-Out NAS

Bastien Confais , Adrien Lebre , Benoît Parrein
RESCOM 2017, Jun 2017, Le Croisic, France. pp.2
Conference papers hal-01559065v1
Image document

Collision of almost parallel vortex filaments

Valeria Banica , Erwan Faou , Evelyne Miot
Communications on Pure and Applied Mathematics, 2017, 70 (2), pp.378-405. ⟨10.1002/cpa.21637⟩
Journal articles hal-01170929v1
Image document

Entropy: a Consolidation Manager for Clusters

Fabien Hermenier , Xavier Lorca , Jean-Marc Menaud , Gilles Muller , Julia L. Lawall et al.
VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Conference papers hal-01102354v1
Image document

Geophysical flows under location uncertainty, Part II Quasi-geostrophy and efficient ensemble spreading

Valentin Resseguier , Etienne Mémin , Bertrand Chapron
Geophysical and Astrophysical Fluid Dynamics, 2017, 111 (3), pp.177-208. ⟨10.1080/03091929.2017.1312101⟩
Journal articles hal-01391476v3

Ultrasonography for the diagnosis of craniosynostosis

Maia Proisy , Laurent Riffaud , Kamal Chouklati , Catherine Tréguier , Bertrand Bruneau et al.
European Journal of Radiology, 2017, 90, pp.250--255. ⟨10.1016/j.ejrad.2017.03.006⟩
Journal articles hal-01580574v1
Image document

Raising Time Awareness in Model-Driven Engineering

Amine Benelallam , Thomas Hartmann , Ludovic Mouline , Francois Fouquet , Johann Bourcier et al.
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems., Sep 2017, Austin, Texas, United States
Conference papers hal-01580554v1
Image document

A Law of Large Numbers in the Supremum Norm for a Multiscale Stochastic Spatial Gene Network

Arnaud Debussche , Mac Jugal Nguepedja Nankep
2017
Preprints, Working Papers, ... hal-01636039v1
Image document

Categorical Structures for Type Theory in Univalent Foundations

Benedikt Ahrens , Peter Lefanu Lumsdaine , Vladimir Voevodsky
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.8:1 - 8:16, ⟨10.4230/LIPIcs.CSL.2017.8⟩
Conference papers hal-01579271v1

Effect capabilities for Haskell: Taming effect interference in monadic programming

Ismael Figueroa , Nicolas Tabareau , Éric Tanter
Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Journal articles hal-01400002v1
Image document

La musique comme une langue

Ken Déguernel , Nathan Libermann , Emmanuel Vincent
2017
Other publications hal-01485209v1

Solution to the stochastic Schr\"odinger equation on the full space

Arnaud Debussche , Jörg Martin
Nonlinearity, 2019, 32 (4), pp.1147-1174. ⟨10.1088/1361-6544/aaf50e⟩
Journal articles hal-01579115v1

3D bifurcation analysis in granular materials

F. Darve , Prunier Florent , Luc Sibille , F. Nicot
8th International Workshop on Bifurcations and Degradations in Geomaterials, 2008, Lake Louise, Canada. ⟨10.1080/19648189.2009.9693096⟩
Conference papers hal-01007713v1

Modelling oscillatory behavior in asymmetric division of C.elegans embryo

Anca Caranfil , Yann Le Cunff , Charles Kervrann , Jacques Pecreaux
{MB}² 2018 - 3rd Mathematical Biology Days, Jun 2018, Besancon, France
Conference papers hal-01970360v1
Image document

Deploying Distributed Cloud Infrastructures: Who and at What Cost?

Adrien Lebre , Anthony Simonet , Anne-Cécile Orgerie
Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
Conference papers hal-01404594v1
Image document

Fault Isolation and Quantification from Gaussian Residuals with Application to Structural Damage Quantification

Michael Döhler , Laurent Mevel
SAFEPROCESS - 9th IFAC Symposium on Fault Detection, Diagnosis and Safety of Technical Processes, Sep 2015, Paris, France. ⟨10.1016/j.ifacol.2015.09.599⟩
Conference papers hal-01196080v1
Image document

A Correct Refactoring Operation to Rename Global Variables in C Programs

Julien Cohen
[Research Report] LINA-University of Nantes. 2015
Reports hal-01248121v1
Image document

A Three Revolute-Revolute-Spherical wearable fingertip cutaneous device for stiffness rendering

Francesco Chinello , Claudio Pacchierotti , Monica Malvezzi , Domenico Prattichizzo
IEEE Transactions on Haptics (ToH), 2017, 11 (1), pp.39 - 50. ⟨10.1109/TOH.2017.2755015⟩
Journal articles hal-01616509v1