Search - Archive ouverte HAL Access content directly

Filter your results

104 324 Results

YUKI Algorithm and POD-RBF for Elastostatic and dynamic crack identification

Brahim Benaissa , Nourredine Aït Hocine , Samir Khatir , Mohamed Kamel Riahi , Seyedali Mirjalili et al.
Journal of computational science, 2021, 55, pp.101451. ⟨10.1016/j.jocs.2021.101451⟩
Journal articles hal-03605264v1
Image document

Sculpting procedural noise: real-time rendering of interstellar dust clouds and solar flares

Mathéo Moinet
Computer Science [cs]. 2022
Master thesis hal-03762332v1

Employing a Systematic Approach to Biobanking and Analyzing Genetic and Clinical Data for Advancing COVID-19 Research

Sergio Daga , Chiara Fallerini , Margherita Baldassarri , Francesca Fava , Floriana Valentino et al.
2020
Preprints, Working Papers, ... hal-03045235v1
Image document

Le changement linguistique au XVIIe s. : nouvelles approches scriptométriques

Simon Gabay , Rachel Bawden , Philippe Gambette , Jonathan Poinhos , Eleni Kogkitsidou et al.
CMLF 2022 - 8e Congrès Mondial de Linguistique Française, Jul 2022, Orléans, France. pp.02006.1-14, ⟨10.1051/shsconf/202213802006⟩
Conference papers hal-03681556v1

Experiments and Modelling of Seismoelectrics in the Ultrasonic Range: A Comparison With Electrokinetic Theory

Victor Martins Gomes , Daniel Brito , Stéphane Garambois , Clarisse Bordes , Hélène Barucq et al.
NSG2021 27th European Meeting of Environmental and Engineering Geophysics, Aug 2021, [Hybrid], France. pp.1-5, ⟨10.3997/2214-4609.202120159⟩
Conference papers hal-03525950v1
Image document

Symbolic Bisimulation for Open and Parameterized Systems

Zechen Hou , Eric Madelaine
PEPM 2020 - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2020, New-Orleans, United States. ⟨10.1145/3372884.3373161⟩
Conference papers hal-02406098v1
Image document

HSVI pour zs-POSG usant de propriétés de convexité, concavité, et Lipschitz-continuité

Aurélien Delage , Olivier Buffet , Jilles Dibangoye
JFPDA 2021 - Journées Francophones Planification, Décision et Apprentissage, Jun 2021, Bordeaux (virtuel), France. pp.1-14
Conference papers hal-03523951v1
Image document

FCA and Knowledge Discovery (Tutorial)

Amedeo Napoli
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano/ Virtual, Italy. ⟨10.1007/978-3-030-57855-8⟩
Conference papers hal-03122350v1
Image document

Enumerating the morphologies of non-degenerate Darboux cyclides

Mingyang Zhao , Xiaohong Jia , Changhe Tu , Bernard Mourrain , Wenping Wang et al.
Computer Aided Geometric Design, 2019, 75, pp.101776. ⟨10.1016/j.cagd.2019.101776⟩
Journal articles hal-02400652v1
Image document

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores

Athena Abdi , Alain Girault , Hamid Zarandi
IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
Journal articles hal-02400019v1
Image document

Logic beyond formulas: a proof system on graphs

Matteo Acclavio , Ross Horne , Lutz Strassburger
LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩
Conference papers hal-02560105v1
Image document

DGEMM performance is data-dependent

Tom Cornebize , Arnaud Legrand
[Research Report] RR-9310, Université Grenoble Alpes; Inria; CNRS. 2019
Reports hal-02401760v1
Image document

When Evolutionary Computing Meets Astro- and Geoinformatics

Zaineb Chelly Dagdia , Miroslav Mirchev
Knowledge Discovery in Big Data from Astronomy and Earth Observation, , pp.283-306, 2020
Book sections hal-02880731v1
Image document

Set inversion under functional uncertainties with Gaussian Process Regression defined in the joint space of control and uncertain

Reda El Amri , Céline Helbert , Miguel Munoz Zuniga , Clémentine Prieur , Delphine Sinoquet et al.
2021
Preprints, Working Papers, ... hal-02986558v2
Image document

Evidence of movement variability patterns during a repetitive pointing task until exhaustion

Jonathan Savin , Clarisse Gaudez , Martine A. A Gilles , Vincent Padois , Philippe Bidaud et al.
Applied Ergonomics, 2021, 96, pp.103464. ⟨10.1016/j.apergo.2021.103464⟩
Journal articles hal-03280696v1
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

Gradient-based and wavelet-based compressed sensing approaches for highly undersampled tomographic datasets

Martin Jacob , Loubna El Gueddari , Jyh-Miin Lin , Gabriele Navarro , Audrey Jannaud et al.
Ultramicroscopy, 2021, 225, pp.113289. ⟨10.1016/j.ultramic.2021.113289⟩
Journal articles hal-03366105v1

Don't fear the unlabelled: safe deep semi-supervised learning via simple debiasing

Hugo Schmutz , Olivier Humbert , Pierre-Alexandre Mattei
2022
Preprints, Working Papers, ... hal-03610272v1
Image document

On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs

Evangelos Bartzos , Ioannis Z. Emiris , Josef Schicho
Applicable Algebra in Engineering, Communication and Computing, 2020, 31 (5-6), pp.325-357
Journal articles hal-02696362v2

Comparison of Three Sequencing Panels Used for the Assessment of Tumor Mutational Burden in NSCLC Reveals Low Comparability

Simon Heeke , Jonathan Benzaquen , Véronique Hofman , Elodie Long-Mira , Virginie Lespinet et al.
Journal of Thoracic Oncology, 2020, 15 (9), pp.1535-1540. ⟨10.1016/j.jtho.2020.05.013⟩
Journal articles hal-02972033v1
Image document

Local Personal Data Processing with Third Party Code and Bounded Leakage

Robin Carpentier , Iulian Sandu Popa , Nicolas Anciaux
DATA 2022 - 11th International Conference on Data Science, Technology and Applications, Jul 2022, Lisbon, Portugal
Conference papers hal-03686098v1
Image document

Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

Ludovic Henrio , Christoph Kessler , Lu Li
Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩
Journal articles hal-02331964v1

Blocking notation. Un outil pour l’annotation de la mise en scène

Rémi Ronfard , Camelia Guerraoui
2021 - Convegno internazionale “Marivaux et les scènes européennes", Nov 2021, Florence, Italie
Conference papers hal-03531039v1
Image document

A comparison of a one-dimensional finite element method and the transfer matrix method for the computation of wind music instrument impedance

Robin Tournemenne , Juliette Chabassier
Acta Acustica united with Acustica, 2019, 105 (5), pp.838. ⟨10.3813/AAA.919364⟩
Journal articles hal-01963674v2
Image document

Robust tracking control design for fluid traffic dynamics

Liudmila Tumash , Carlos Canudas de Wit , Maria Laura Delle Monache
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
Conference papers hal-02331493v1
Image document

About some Metamorphoses of Computer Programs

Yann Regis-Gianas
Programming Languages [cs.PL]. Université Paris Diderot, 2019
Habilitation à diriger des recherches tel-02405839v1
Image document

Ratiometric quorum sensing governs the trade-off between bacterial vertical and horizontal antibiotic resistance propagation

Alvaro Banderas , Arthur Carcano , Elisa Sia , Shuang Li , Ariel B Lindner et al.
PLoS Biology, 2020, 18 (8), pp.e3000814. ⟨10.1371/journal.pbio.3000814⟩
Journal articles inserm-02965404v1

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

Modeling and Improving Named Data Networking over IEEE 802.15.4

Amar Abane , Paul Mühlethaler , Samia Bouzefrane , Abdella Battou
IFIP/IEEE PEMWN 2019 : IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2019, Paris, France
Conference papers hal-02333795v1