Search - Archive ouverte HAL Access content directly

Filter your results

11 955 Results
Structure: Internal structure identifier : 118511

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

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

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

Caractérisation de zones critiques pour le dimensionnement en fatigue d'une pièce mécanique

Olivier Coudray , Philippe Bristiel , Miguel Dinis , Christine Keribin , Patrick Pamphile et al.
E-congrès 2020 Lambda λµ22 - 22e Congrès de Maîtrise des Risques et Sûreté de Fonctionnement λµ22, Aug 2020, Le Havre / Virtual, France
Conference papers hal-03121282v1
Image document

Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition

Youssef El Housni , Aurore Guillevic
CANS 2020 - 19th International Conference on Cryptology and Network Security, Dec 2020, Vienna / Virtual, Austria. pp.259-279, ⟨10.1007/978-3-030-65411-5_13⟩
Conference papers hal-02962800v1

On the spectral theory and limiting amplitude principle for Maxwells equations at the interface of a metamaterial

Maxence Cassier , Christophe Hazard , Patrick Joly
11th International Conference ETOPIM, Jul 2018, Cracow, Poland
Conference papers hal-02400713v1
Image document

Pre- and post-quantum Diffie-Hellman from groups, actions, and isogenies

Benjamin Smith
Arithmetic of Finite Fields - WAIFI 2018, Jun 2018, Bergen, Norway. pp.36, ⟨10.1007/978-3-030-05153-2_1⟩
Conference papers hal-01872825v3

On the security of a Loidreau rank metric code based encryption scheme

Daniel Coggia , Alain Couvreur
Designs, Codes and Cryptography, 2020, 88 (9), pp.1941-1957. ⟨10.1007/s10623-020-00781-4⟩
Journal articles hal-03049694v1

Classical and Quantum Algorithms for Generic Syndrome Decoding Problems and Applications to the Lee Metric

André Chailloux , Thomas Debris-Alazard , Simona Etinski
PQCrypto 2021 - Post-Quantum Cryptography 12th International Workshop, Jul 2021, Daejeon, South Korea. pp.44-62, ⟨10.1007/978-3-030-81293-5_3⟩
Conference papers hal-03529777v1
Image document

Minimal penalties and the slope heuristics: a survey

Sylvain Arlot
Journal de la Société Française de Statistique, 2019, Minimal penalties and the slope heuristics: a survey, 160 (3), pp.1-106
Journal articles hal-01989167v2
Image document

FPC-Coq: Using ELPI to elaborate external proof evidence into Coq proofs

Roberto Blanco , Matteo Manighetti , Dale Miller
[Research Report] Inria Saclay. 2020
Reports hal-02974002v1

On the Estimation of Network Complexity: Dimension of Graphons

Yann Issartel
Journal of Machine Learning Research, 2021
Journal articles hal-02413537v1
Image document

Group level MEG/EEG source imaging via optimal transport: minimum Wasserstein estimates

Hicham Janati , Thomas Bazeille , Bertrand Thirion , Marco Cuturi , Alexandre Gramfort et al.
IPMI 2019 - 26th international conference on Information Processing in Medical Imaging, Jun 2019, Hong Kong, Hong Kong SAR China
Conference papers hal-02013889v5

Optimal grasping points identification for a rotational four-fingered aerogripper

Jesus Vazquez , Matteo Giacomini , Juan Antonio Escareno , Elsa Rubio , Humberto Sossa et al.
2015 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED-UAS), Nov 2015, Cancún, Mexico. pp.272-277, ⟨10.1109/RED-UAS.2015.7441017⟩
Conference papers hal-01395546v1
Image document

Principal Component Regression predicts functional responses across individuals

Bertrand Thirion , Gaël Varoquaux , Olivier Grisel , Cyril Poupon , Philippe Pinel et al.
MICCAI, Sep 2014, Boston, United States
Conference papers hal-01015173v1
Image document

A glimpse on constant delay enumeration

Luc Segoufin
31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France, Mar 2014, Lyon, France. pp.13--27, ⟨10.4230/LIPIcs.STACS.2014.13⟩
Conference papers hal-01070893v1

Newton-Krylov method for computing the cyclic steady states of evolution problems in non-linear mechanics

Ustim Khristenko , Patrick Le Tallec
International Journal for Numerical Methods in Engineering, In press, ⟨10.1002/nme.5920⟩
Journal articles hal-01830166v1

Autonomic Provisioning, Configuration, and Management of Inter-Cloud Environments based on a Software Product Line Engineering Method

Alessandro Ferreira Leite , Vander Alves , Genaina Nunes Rodrigues , Claude Tadonki , Christine Eisenbeis et al.
ICCAC 2016 - IEEE International Conference on Cloud and Autonomic Computing, Sep 2016, Augsburg, Germany. pp 72-83, ⟨10.1109/ICCAC.2016.13⟩
Conference papers hal-01407637v1
Image document

Tropical aspects of linear programming

Pascal Benchimol
Optimization and Control [math.OC]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Theses tel-01198482v1
Image document

Aircraft Dynamics Identification

Cédric Rommel , Joseph Frédéric Bonnans , Baptiste Gregorutti , Pierre Martinon
Data Science Summer School Ecole Polytechnique, Aug 2017, Paris, France.
Poster communications hal-01643188v1
Image document

Estimation of the battery state of charge: a switching Markov state-space model

Jana Kalawoun , Patrick Pamphile , Gilles Celeux , Krystyna Biletska , Maxime Montaru et al.
EUSIPCO'2015, Aug 2015, Nice, France. pp.5
Conference papers hal-01168344v1
Image document

On some extremal problems for analytic functions with constraints on real or imaginary parts

Juliette Leblond , Dmitry Ponomarev
Fabrizio Colombo; Irene Sabadini; Daniele C. Struppa; Mihaela B. Vajiac. Advances in Complex Analysis and Operator Theory: Festschrift in Honor of Daniel Alpay's 60th Birthday, Birkhauser, pp.219-236, 2017, ⟨10.1007/978-3-319-62362-7_8⟩
Book sections hal-01623281v1
Image document

Quantifying uncertainties in signal position in non-resolved object images: application to space object observation

Francois Sanson , Carolin Frueh
Advances in Space Research, In press, ⟨10.1016/j.asr.2018.12.040⟩
Journal articles hal-01968808v3
Image document

Bayesian estimation of Weibull mixture in heavily censored data setting

Florence Ducros , Patrick Pamphile
Reliability Engineering and System Safety, 2018
Journal articles hal-01645618v1

Tropical bounds for the eigenvalues of block structured matrices

Marianne Akian , Stephane Gaubert , Andrea Marchesini
SIAM Conference on Applied Linear Algebra (SIAM LA), Oct 2015, Atlanta, United States
Conference papers hal-01252379v1
Image document

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations

Taus Brock-Nannestad , Kaustuv Chaudhuri
Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wrocław, Poland. ⟨10.1007/978-3-319-24312-2_11⟩
Conference papers hal-01222592v1
Image document

A Projection Method on Measures Sets

Nicolas Chauffert , Philippe Ciuciu , Jonas Kahn , Pierre Weiss
Constructive Approximation, 2017, 45 (1), pp.83 - 111. ⟨10.1007/s00365-016-9346-2⟩
Journal articles hal-01432720v1
Image document

Driver estimation in non-linear autoregressive models

Tom Dupré La Tour , Yves Grenier , Alexandre Gramfort
43nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018), Apr 2018, Calgary, Canada
Conference papers hal-01696786v1
Image document

Comparison of Systolic Period Duration using Aortic Flow or Pressure Based Methods in Anesthetized Patients

Arthur Le Gall , Alexandre Laurin , Fabrice Vallée , Denis Chemla
Computing in cardioogy, Sep 2017, Rennes, France
Conference papers hal-01580305v1