HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


hal-03679752v1  Journal articles
Nicolas Aragon, Olivier Blazy, Jean-Christophe Deneuville, Philippe Gaborit, Gilles Zemor. Ouroboros An efficient and provably secure KEM family
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp.1-1. ⟨10.1109/TIT.2022.3168439⟩
...
hal-03678767v1  Poster communications
Chloé Mercier, Margarida Romero, Frédéric Alexandre, Thierry Viéville. Apprentissage par renforcement sur des connaissances symboliques structurées : modéliser la résolution créative de problèmes
CJC-SCo 2022 - Colloque des jeunes chercheur·se·s en sciences cognitives, Apr 2022, Paris, France
...
hal-03678747v1  Preprints, Working Papers, ...
Muhammed Selcuk Kok. Is Okun's law still valid in France?
2022
...
hal-03677528v2  Preprints, Working Papers, ...
Céline Moucer, Adrien Taylor, Francis Bach. A systematic approach to Lyapunov analyses of continuous-time models in convex optimization
2022
...
hal-03481978v2  Journal articles
Renata Bunoiu, Karim Ramdani, Claudia Timofte. T-coercivity for the homogenization of sign-changing coefficients scalar problems with extreme contrasts
Mathematical Reports, Romanian Academy of Sciences, In press, Marius Tucsnak 60th Anniversary Volume, 24(74) (1-2)
...
hal-03674979v1  Preprints, Working Papers, ...
David Baelde, Alexandre Debant, Stéphanie Delaune. Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
2022
...
hal-03678150v1  Conference papers
Marvin Nakayama, Bruno Tuffin. On a Central Limit Theorem and a Confidence Interval for Randomized Quasi-Monte Carlo Methods
Stochastic Numerics and Statistical Learning: Theory and Applications Workshop, KAUST, May 2022, Djeddah, Saudi Arabia
...
hal-03677975v1  Journal articles
Samuel Deslauriers-Gauthier, Mauro Zucchelli, Hiba Laghrissi, Rachid Deriche. A Riemannian Revisiting of Structure–Function Mapping Based on Eigenmodes
Frontiers in Neuroimaging, Frontiers Media, 2022, 1, ⟨10.3389/fnimg.2022.850266⟩
...
hal-03677966v1  Conference papers
Vitalii Emelianov, Nicolas Gast, Patrick Loiseau. Fairness in Selection Problems with Strategic Candidates
ACM Conference on Economics and Computation (EC'22), Jul 2022, Boulder, Colorado, United States. ⟨10.1145/3490486.3538287⟩
...
hal-03677908v1  Conference papers
Solène Tarride, Aurélie Lemaitre, Bertrand Coüasnon, Sophie Tardivel. A comparative study of information extraction strategies using an attention-based neural network
15th IAPR International Workshop on Document Analysis Systems, May 2022, La Rochelle, France
...
hal-03676479v1  Journal articles
Laura Xicota, Beata Gyorgy, Benjamin Grenier-Boley, Alexandre Lecoeur, Gaelle Fontaine et al.  Association of APOE-Independent Alzheimer Disease Polygenic Risk Score With Brain Amyloid Deposition in Asymptomatic Older Adults
Neurology, American Academy of Neurology, In press, pp.10.1212/WNL.0000000000200544. ⟨10.1212/WNL.0000000000200544⟩
...
tel-03677730v1  Theses
Wang Zhiping. Constructive generative design methods for qualified additive manufacturing
Mechanical engineering [physics.class-ph]. Ecole Centrale de Nantes (ECN), 2021. English
hal-03677650v1  Conference papers
Fedra Trujillano, Jessenia Gonzalez, Carlos Saito, Andres Flores, Racoceanu Daniel. Corn Crops Identification Using Multispectral Images from Unmanned Aircraft Systems
IGARSS 2021 - 2021 IEEE International Geoscience and Remote Sensing Symposium, Jul 2021, Brussels, France. pp.4712-4715, ⟨10.1109/IGARSS47720.2021.9553826⟩
...
hal-03372247v2  Preprints, Working Papers, ...
Andrew Appel, Xavier Leroy. Efficient Extensional Binary Tries
2022
...
hal-02904446v2  Journal articles
Arthur Leroy, Pierre Latouche, Benjamin Guedj, Servane Gey. MAGMA: Inference and Prediction using Multi-Task Gaussian Processes with Common Mean
Machine Learning, Springer Verlag, 2022, ⟨10.1007/s10994-022-06172-1⟩
...
hal-02066649v6  Preprints, Working Papers, ...
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda. On the Optimization of Iterative Programming with Distributed Data Collections
2022
...
hal-03635206v1  Journal articles
Samuel Bulteau, Andrew Laurin, Kalyane Bach-Ngohou, Morgane Péré, Marie-Anne Vibet et al.  Feasibility of combining transcranial direct current stimulation and active fully embodied virtual reality for visual height intolerance : a double-blind randomized controlled study
Journal of Clinical Medicine, MDPI, 2022, 11 (2), pp.345. ⟨10.3390/jcm11020345⟩
...
tel-03518751v2  Theses
Manon Prédhumeau. Modélisation et simulation de comportements piétons réalistes en espace partagé avec un véhicule autonome
Intelligence artificielle [cs.AI]. Université Grenoble Alpes [2020-..], 2021. Français. ⟨NNT : 2021GRALM070⟩
...
hal-03676968v1  Conference papers
Manju Rajan, Abhijit Das, John Jose. LOKI: A Hardware Trojan Affecting Multiple Components of an SoC
ISVLSI 2022 - IEEE Computer Society Annual Symposium on VLSI, Jul 2022, Paphos, Cyprus
...
hal-03676865v1  Book sections
Stéphane Salvan, Florence Maqueda, Charles Pontonnier. Un exemple d'archéologie du geste martial: les guerriers de Paestum
Armes et Guerriers, BAR Publishing, 2022, BAR international series, 9781407359441
hal-03676720v1  Conference papers
Anne-Marie Dery-Pinna, Philippe Renevier, Alain Giboin, Sophie Lepreux. Distributed interfaces for board games
IHM '18: 30e Conférence Francophone sur l'Interaction Homme-Machine, Oct 2018, Brest, France. pp.171-178, ⟨10.1145/3286689.3286709⟩
...
hal-03676589v1  Journal articles
Cécile Mazon, Benjamin Clément, Didier Roy, Pierre-Yves Oudeyer, Hélène Sauzéon. Pilot study of an intervention based on an intelligent tutoring system (ITS) for instructing mathematical skills of students with ASD and/or ID
Education and Information Technologies, Springer Verlag, In press
...
hal-03676527v1  Journal articles
Mathieu Gonzalez, Eric Marchand, Amine Kacete, Jerome Royan. TwistSLAM: Constrained SLAM in Dynamic Environment
IEEE Robotics and Automation Letters, IEEE 2022
...
hal-03676508v1  Conference papers
Nicolas Zampieri, Carlos Ramisch, Irina Illina, Dominique Fohr. Identification of Multiword Expressions in Tweets for Hate Speech Detection
13th Edition of its Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
hal-03676506v1  Conference papers
Nicolas Zampieri, Carlos Ramisch, Irina Illina, Dominique Fohr. Identification des Expressions Polylexicales dans les Tweets
Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03676499v1  Journal articles
Pauline Clin, Frédéric Grognard, Didier Andrivon, Ludovic Mailleret, Frédéric Hamelin. Host mixtures for plant disease control: Benefits from pathogen selection and immune priming
Evolutionary Applications, Blackwell, 2022, ⟨10.1111/eva.13386⟩
...
hal-03676489v1  Journal articles
Olivier Etrillard, Robin Gerzaguet, Laurent Feichter, Malo Mabon, Antoine Courtay et al.  LOLA SDR: Low power low latency software defined radio for broadcast audio applications
IEEE Transactions on Circuits and Systems II: Express Briefs, Institute of Electrical and Electronics Engineers, 2022, pp.1-1. ⟨10.1109/TCSII.2022.3175569⟩
...
hal-03676475v1  Journal articles
Giulia Bernardini, Paweł Gawrychowski, Nadia Pisanti, Solon Pissis, Giovanna Rosone. Elastic-Degenerate String Matching via Fast Matrix Multiplication
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2022, 51 (3), pp.549-576. ⟨10.1137/20M1368033⟩
...
hal-03119759v1  Journal articles
Frank Schurr, Nicolas Cougoule, Marie-Pierre Rivière, Magali Ribière-Chabert, Hamid Achour et al.  Trueness and precision of the real-time RT-PCR method for quantifying the chronic bee paralysis virus genome in bee homogenates evaluated by a comparative inter-laboratory study
Journal of Virological Methods, Elsevier, 2017, 248, pp.217-225. ⟨10.1016/j.jviromet.2017.07.013⟩
...
hal-03676356v1  Conference papers
Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
...
hal-03437328v2  Preprints, Working Papers, ...
Lorenzo Baldi, Bernard Mourrain. On the Effective Putinar’s Positivstellensatz and Moment Approximation
2022
...
hal-03676312v1  Conference papers
Hicham Lesfari, Frédéric Giroire, Stéphane Pérennes. Biased Majority Opinion Dynamics: Exploiting graph $k$-domination
IJCAI 2022 - International Joint Conference on Artificial Intelligence, Jul 2022, Vienna, Austria
...
hal-03672166v1  Preprints, Working Papers, ...
Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti. Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
2022
...
hal-03676056v1  Conference papers
Long Li, Etienne Mémin, Bertrand Chapron, Noé Lahaye. Stochastic transport in an idealized ocean-atmosphere coupled system
EGU General Assembly 2022, May 2022, Vienna, Austria
hal-03675920v1  Journal articles
Tarso Kraemer Sarzi Sartori, Hassen Fourati, Manon Létiche, Rodrigo Possamai Bastos. Assessment of Radiation Effects on Attitude Estimation Processing for Autonomous Things
IEEE Transactions on Nuclear Science, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TNS.2022.3176676⟩
...
hal-03637273v2  Journal articles
Nicolas Traut, Katja Heuer, Guillaume Lemaître, Anita Beggiato, David Germanaud et al.  Insights from an autism imaging biomarker challenge: promises and threats to biomarker discovery
NeuroImage, Elsevier, 2022, 255, pp.119171. ⟨10.1016/j.neuroimage.2022.119171⟩
...
hal-03040819v3  Preprints, Working Papers, ...
Daniel Perez. On $C^0$-persistent homology and trees
2022
...
hal-03675618v1  Conference papers
Pegdwendé Sawadogo, Thomas Guyet, Etienne Audureau. Conceptions de phénotypes computationnels pour la recherche en santé publique
Santé et IA 2022, Jun 2022, Saint-Etienne, France
...
hal-03675515v1  Conference papers
Hee-Soo Choi. État de l'art : Liage de ressources lexicales du français
RÉCITAL 2022 - 24e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2022, Avignon, France
...
hal-03674743v1  Preprints, Working Papers, ...
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin. Testing interval arithmetic libraries, including their IEEE-1788 compliance
2022
...
hal-03675366v1  Conference papers
Vincent Raulin, Pierre-François Gimenez, Yufei Han, Valérie Viet Triem Tong. Towards a Representation of Malware Execution Traces for Experts and Machine Learning
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France
...
hal-03520863v4  Journal articles
Ana Covelo, Anaïs Badoual, Audrey Denizot. Reinforcing interdisciplinary collaborations to unravel the astrocyte "Calcium Code
Journal of Molecular Neuroscience, Humana Press, 2022, ⟨10.1007/s12031-022-02006-w⟩
...
hal-03675359v1  Conference papers
Adrien Schoen, Gregory Blanc, Pierre-François Gimenez, Yufei Han, Frédéric Majorczyk et al.  Towards generic quality assessment of synthetic traffic for evaluating intrusion detection systems
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France
...
hal-03675346v1  Conference papers
Maxime Lanvin, Pierre-François Gimenez, Yufei Han, Frédéric Majorczyk, Ludovic Mé et al.  Detecting APT through graph anomaly detection
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France
...
hal-03672958v1  Preprints, Working Papers, ...
Eloïse Berthier, Ziad Kobeissi, Francis Bach. A Non-asymptotic Analysis of Non-parametric Temporal-Difference Learning
2022
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/