Search - Archive ouverte HAL Access content directly

Filter your results

125 663 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.
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

Legal Tools to Protect Software: Choosing the Right One

Roberto Di Cosmo
UPGRADE : The European Journal for the Informatics Professional, 2003, 4 (3), pp.21-23
Journal articles hal-03362924v1
Image document

Perspectives on automated composition of workflows in the life sciences

Anna-Lena Lamprecht , Magnus Palmblad , Jon Ison , Veit Schwämmle , Mohammad Sadnan Al Manir et al.
F1000Research, 2021, 10, pp.897. ⟨10.12688/f1000research.54159.1⟩
Journal articles pasteur-03680115v1

Molecular phylogeny of the symbiotic actinomycetes of the genus Frankia matches host-plant infection processes.

Benoit Cournoyer , Manolo Gouy , Philippe Normand
Molecular Biology and Evolution, 1993, ⟨10.1093/oxfordjournals.molbev.a040077⟩
Journal articles hal-02320516v1
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

Modelling treatment trajectories to optimize the organization of renal replacement therapy and public health decision-making

C. Couchoud , E. Dantony , M. H. Elsensohn , E. Villar , René Ecochard et al.
Nephrology Dialysis Transplantation, 2013, 28, pp.2372-82. ⟨10.1093/ndt/gft204⟩
Journal articles hal-02401780v1

Impaired baroreflex sensitivity and the risks of new-onset ambulatory hypertension, in an elderly population-based study

V. Dauphinot , M. P. Kossovsky , François Gueyffier , V. Pichot , P. Gosse et al.
International Journal of Cardiology, 2013, 168, pp.4010-4. ⟨10.1016/j.ijcard.2013.06.080⟩
Journal articles hal-02401788v1
Image document

DGEMM performance is data-dependent

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

Probabilities of dying from cancer and other causes in French cancer patients based on an unbiased estimator of net survival: a study of five common cancers

Hadrien Charvat , Nadine Bossard , L. Daubisse , F. Binder , Aurélien Belot et al.
Cancer Epidemiology, 2013, 37, pp.857-63. ⟨10.1016/j.canep.2013.08.006⟩
Journal articles hal-02401771v1
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

Critical challenges and emerging opportunities in hepatitis C virus research in an era of potent antiviral therapy: Considerations for scientists and funding agencies

Ralf Bartenschlager , Thomas F. Baumert , Jens Bukh , Michael Houghton , Stanley M. Lemon et al.
Virus Research, 2018, 248, pp.53-62. ⟨10.1016/j.virusres.2018.02.016⟩
Journal articles hal-02460239v1
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.
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

Maximum order complexity of the sum of digits function in Zeckendorf base and polynomial subsequences

Damien Jamet , Pierre Popoli , Thomas Stoll
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, ⟨10.1007/s12095-021-00507-w⟩
Journal articles hal-03283528v1

New efficient estimators in rare event simulation with heavy tails

Christian Yann Robert , Quang Huy Nguyen
Journal of Computational and Applied Mathematics, 2014, 261, pp.39-47. ⟨10.1016/⟩
Journal articles hal-02006632v1

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
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
Image document

Linking pollution and cancer in aquatic environments: A review

Ciara Baines , Adelaide Lerebours , Frédéric Thomas , Jérôme Fort , Randel Kreitsberg et al.
Environment International, 2021, 149, pp.106391. ⟨10.1016/j.envint.2021.106391⟩
Journal articles hal-03126622v1

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