Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

111 144 résultats
Image document

ABiMed: Towards an Innovative Clinical Decision Support System for Medication Reviews and Polypharmacy Management

Abdelmalek Mouazer , Romain Leguillon , Bertille Leroy , Karima Sedki , Christian Simon , et al.
Studies in Health Technology and Informatics, 2022, Informatics and Technology in Clinical Care and Public Health, 289, pp.61-64. ⟨10.3233/SHTI210859⟩
Article dans une revue hal-03738935v1

Napping and heart rate variability in elite athletes

Maher Souabni , Mehdi Souabni , Sami Hidouri , Achraf Ammar , Mohamed Younes , et al.
Biology of Sport, 2024, 41 (3), pp.213-221. ⟨10.5114/biolsport.2024.132983⟩
Article dans une revue hal-04580421v1

Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures

N. Boutry , J. Chazalon , E. Puybareau , G. Tochon , Hugues Talbot , et al.
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 5th International Workshop,, Oct 2010, Shenzhen, China. pp.187-199, ⟨10.1007/978-3-030-46640-4_18⟩
Communication dans un congrès hal-04580407v1
Image document

A Maximum-Flow Model for Digital Elastica Shape Optimization

Daniel Martins Antunes , Jacques-Olivier Lachaud , Hugues Talbot
Discrete Geometry Mathematical Morphology 2021, May 2021, Uppsala (Suède), Sweden. pp.429-440, ⟨10.1007/978-3-030-76657-3_31⟩
Communication dans un congrès hal-04580405v1
Image document

ZeBraInspector, a platform for the automated segmentation and analysis of body and brain volumes in whole 5 dpf zebrafish following simultaneous visualization with identical orientations

Sylvain Lempereur , Matthieu Simion , Elodie Machado , Fabrice Licata , Lilian Buzer , et al.
2024
Pré-publication, Document de travail hal-04580401v1
Image document

selon comment vous vous positionnez" : Étude des circonstancielles à interrogative

Valentin D. Richard
9e Congrès Mondial de Linguistique Française, Jul 2024, Lausanne, Suisse
Communication dans un congrès hal-04579349v1

nlml_onco

Sébastien Benzekry
Logiciel hal-04568111v1
Image document

EEG SINGLE-TRIAL CLASSIFICATION OF VISUAL ART PREFERENCE

Marc Welter , J Casal Martínez , E Redmond , Jonathan Baum , Tomas Ward , et al.
Journées CORTICO 2024 - COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, May 2024, Nancy, France
Communication dans un congrès hal-04579220v1
Image document

A reduced model of pulsatile flow in an arterial compartment

Emmanuelle Crépeau , Michel Sorine
Chaos, Solitons & Fractals, 2007, 34 (2), pp.594-605. ⟨10.1016/j.chaos.2006.03.096⟩
Article dans une revue istex hal-04579150v1
Image document

PTVR – A software in Python to make virtual reality experiments easier to build and more reproducible

Eric Castet , Jérémy Termoz-Masson , Sebastian Vizcay , Johanna Delachambre , Vasiliki Myrodia , et al.
Journal of Vision, 2024, 24, ⟨10.1167/jov.24.4.19⟩
Article dans une revue hal-04579084v1
Image document

Algorithmes parallèles en temps pour l'assimilation de données

Rishabh Bhatt
Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes [2020-..], 2023. Français. ⟨NNT : 2023GRALM066⟩
Thèse tel-04431095v2

Selected Areas in Cryptography

Benjamin Smith , Huapeng Wu
SAC 2022, Lecture Notes in Computer Science, 13742, Springer International Publishing, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-58411-4⟩
Proceedings/Recueil des communications hal-04579052v1
Image document

A Fast Plan Enumerator for Recursive Queries

Amela Fejza , Pierre Genevès , Nabil Layaïda
ICDE 2024 - 40th IEEE International Conference On Data Engineering, May 2024, Utrecht, Netherlands. pp.1-4
Communication dans un congrès hal-04578576v1
Image document

The Squirrel Prover and its Logic

David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Joseph Lallemand
ACM SIGLOG News, 2024, 11 (2)
Article dans une revue hal-04579038v1
Image document

Belenios: the Certification Campaign

Angèle Bossuat , Eloïse Brocas , Véronique Cortier , Pierrick Gaudry , Stéphane Glondu , et al.
SSTIC 2024 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2024, Rennes, France
Communication dans un congrès hal-04578848v1

Estimated Glomerular Filtration Rate Decline and Incident Frailty in Older Adults

Florent Guerville , Philipe de Souto Barreto , Benjamin Taton , Isabelle Bourdel-Marchasson , Yves Rolland , et al.
Clinical Journal of the American Society of Nephrology, 2019, 14 (11), pp.1597-1604. ⟨10.2215/CJN.03750319⟩
Article dans une revue hal-04578814v1
Image document

An Information Theoretic Metric for Measurement Vulnerability to Data Integrity Attacks on Smart Grids

Xiuzhen Ye , Iñaki Esnaola , Samir M Perlaza , Robert F Harrison
IET Smart Grid, 2024, pp.1--10. ⟨10.1049/stg2.12163⟩
Article dans une revue hal-03849768v1
Image document

Decompounding with unknown noise through several independents channels

Guillaume Garnier
2024
Pré-publication, Document de travail hal-04460693v2
Image document

On Tail Decay Rate Estimation of Loss Function Distributions

Etrit Haxholli , Marco Lorenzi
Journal of Machine Learning Research, 2024, 25 (25), pp.1−47
Article dans une revue hal-03911884v3
Image document

Pair-Matching: Link Prediction with Adaptive Queries

Christophe Giraud , Yann Issartel , Luc Lehericy , Matthieu Lerasle
Mathematical Statistics and Learning, 2024
Article dans une revue hal-04578273v1
Image document

Leveraging Zernike polynomials for peptide conformer identification

Diego Amaya-Ramirez , Bernard Maigret , Etienne Corman , Jean-Luc Taupin , Marie-Dominique Devignes
GGMM SFCi, Sep 2021, Villeneuve d'Ascq, France.
Poster hal-04578212v1
Image document

Classifier Calibration with ROC-Regularized Isotonic Regression

Eugene Berta , Francis Bach , Michael I Jordan
27th International Conference on Artificial Intelligence and Statistics (AISTATS), May 2024, Valence, Spain. pp.1972-1980
Communication dans un congrès hal-04295601v2
Image document

Direct 3D model-based object tracking with event camera by motion interpolation

Yufan Kang , Guillaume Caron , Ryoichi Ishikawa , Adrien Escande , Kevin Chappellet , et al.
2024 International Conference on Robotics and Automation (ICRA 2024), IEEE, May 2024, Yokohama, Japan
Communication dans un congrès hal-04519122v1
Image document

Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges

Bruno Blanchet , Charlie Jacomme
CSF'24 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands
Communication dans un congrès hal-04577912v1
Image document

Semestre SILM : livre blanc

Guillaume Hiet
CentraleSupélec; Inria. 2020
Rapport hal-04577909v1
Image document

Representing Infinite Periodic Hyperbolic Delaunay Triangulations Using Finitely Many Dirichlet Domains

Vincent Despré , Benedikt Kolbe , Monique Teillaud
Discrete and Computational Geometry, 2024, ⟨10.1007/s00454-024-00653-x⟩
Article dans une revue hal-04577851v1
Image document

AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Timothé Albouy , Antonio Fernández Anta , Chryssis Georgiou , Mathieu Gestin , Nicolas Nicolaou , et al.
2024
Pré-publication, Document de travail hal-04577664v1
Image document

A Probabilistic Logic for Concrete Security

David Baelde , Caroline Fontaine , Adrien Koutsos , Guillaume Scerri , Théo Vignon
CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès hal-04577828v1

A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join

Anantha Padmanabha , Luc Segoufin , Cristina Sirangelo
PODS'24 - ACM Conference on Principle of Database Systems, Jun 2024, Santiago, Chile. pp.1-15, ⟨10.1145/3651137⟩
Communication dans un congrès hal-04577512v1
Image document

Reliability and Security of AI Hardware

Dennis Gnad , Jonas Krautter , Angeliki Kritikakou , Vincent Meyers , Paolo Rech , et al.
ETS 2024 - 29th IEEE European Test Symposium, May 2024, The Hague, Netherlands. pp.1-10
Communication dans un congrès hal-04577494v1