Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

133 768 Results
Image document

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming

Van-Giang Trinh , Belaid Benhamou , Sylvain Soliman
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.35:1--35:19, ⟨10.4230/LIPIcs.CP.2023.35⟩
Conference papers hal-04209296v1

Early-Stage Clinical Evaluation of Real-Time Artificial Intelligence Assistance for Laparoscopic Cholecystectomy

Pietro Mascagni , Deepak Alapatt , Alfonso Lapergola , Armine Vardazaryan , Jean-Paul Mazellier , et al.
British Journal of Surgery, 2023, In press
Journal articles hal-04214400v1

Weak localization and interaction effects in acceptor graphite intercalation compounds

O.I. Prokopov , I.V. Ovsiienko , L. Yu. Matzui , T.A. Len , D.D. Naumova , et al.
Low Temperature Physics, 2017, 43 (6), pp.703-707. ⟨10.1063/1.4985977⟩
Journal articles hal-04214399v1

SWADAPT2: benefits of a collision avoidance assistance for powered wheelchair users in driving difficulty

Bastien Fraudet , Emilie Leblong , Patrice Piette , Benoît Nicolas , Louise Devigne , et al.
Disability and Rehabilitation: Assistive Technology, 2023, pp.1-9. ⟨10.1080/17483107.2023.2253339⟩
Journal articles hal-04214339v1

Making Self-Stabilizing Algorithms for Any Locally Greedy Problem

Johanne Cohen , Laurence Pilard , Jonas Sénizergues , Mikaël Rabie
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, ⟨10.4230/LIPIcs.SAND.2023.11⟩
Proceedings hal-04214291v1

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories

Saraid Dwyer Satterfield , Serdar Erbatur , Andrew M. Marshall , Christophe Ringeissen
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.30:1--30:19, ⟨10.4230/LIPIcs.FSCD.2023.30⟩
Conference papers hal-04214220v1

A Survey on SPARQL Query Relaxation under the Lens of RDF Reification

Ginwa Fakih , Patricia Serrano-Alvarado
39ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers hal-04214215v1

Evaluating Reification with Multi-valued Properties in a Knowledge Graph of Licensed Educational Resources

Manoé Kieffer , Ginwa Fakih , Patricia Serrano-Alvarado
39ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers hal-04214206v1
Image document

Trajectory optimisation for autonomous vehicles under agricultural environment constraints

Danial Pour Arab
Other [cs.OH]. Université de Strasbourg, 2023. English. ⟨NNT : 2023STRAD018⟩
Theses tel-04214153v1

Playing the Part of the Sharp Bully : Generating Adversarial Examples for Implicit Hate Speech Detection

Nicolas Benjamin Ocampo , Elena Cabrio , Serena Villata
ACL 2023 - 61st Annual Meeting of the Association for Computational Linguistics, Jul 2023, Toronto, Canada. pp.2758-2772, ⟨10.18653/v1/2023.findings-acl.173⟩
Conference papers hal-04214125v1
Image document

Polynomial regressions on muscle parameters can approximate the muscle/tendon equilibrium

François Bailly
47th congress of the Society of Biomechanics, Oct 2022, Monastir, Tunisia. pp.S14-S16, ⟨10.1080/10255842.2022.2116885⟩
Conference papers hal-04213855v1
Image document

A Hybrid Linear-Nonlinear ARX Model for reliable Multi-Step Prediction: application to SwPool Benchmark

Francois Gauthier-Clerc , Hoel Le Capitaine , Fabien Claveau , Philippe Chevrel
Conference on Decision and Control, IEEE, Dec 2023, Singapore, Singapore
Conference papers hal-04213807v1
Image document

Cautionary tales from the mesoscale eddy transport tensor

Takaya Uchida , Dhruv Balwada , Quentin Jamet , William K Dewar , Bruno Deremble , et al.
Ocean Modelling, 2023, 182, pp.102172. ⟨10.1016/j.ocemod.2023.102172⟩
Journal articles hal-04213098v1
Image document

Gyro-Free Kalman Filter with Unknown Inputs for SO(3)-based Attitude Estimation

Ghadeer Shaaban , Hassen Fourati , Alain Kibangou , Christophe Prieur
2023 13th International Conference on Indoor Positioning and Indoor Navigation (IPIN), Sep 2023, Nuremberg, Germany
Conference papers hal-04213739v1
Image document

Graphical Languages for Quantum Control and Linear Optics

Alexandre Clément
Systems and Control [cs.SY]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0093⟩
Theses tel-04213655v1
Image document

Temporally Constrained Neural Networks (TCNN): A framework for semi-supervised video semantic segmentation

Deepak Alapatt , Pietro Mascagni , Armine Vardazaryan , Alain Garcia , Nariaki Okamoto , et al.
Preprints, Working Papers, ... hal-04212987v1
Image document

SAF-IS: a Spatial Annotation Free Framework for Instance Segmentation of Surgical Tools

Luca Sestini , Benoit Rosa , Elena de Momi , Giancarlo Ferrigno , Nicolas Padoy
Preprints, Working Papers, ... hal-04212988v1
Image document

Some Remarks on the Pendulum Stabilization. Multiple Delays & Decay Rate Assignment

Amira Remadna , Islam Boussaada , Fazia Bedouhene , Silviu-Iulian Niculescu , Azzedine Benchettah
ICSTCC 2023 - 27th International Conference on System Theory, Control and Computing, Oct 2023, Timisoara, Romania
Conference papers hal-04213496v1
Image document

Bounded-Memory Runtime Enforcement of Timed Properties

Saumya Shankar , Srinivas Pinisetty , Thierry Jéron
30th International Symposium on Temporal Representation and Reasoning (TIME 2023)., Sep 2023, Demokritos - Athènes, Greece. ⟨10.4230/LIPIcs.TIME.2023.6⟩
Conference papers hal-04213422v1
Image document

Multi-Modal Data Correspondence for the 4D Analysis of the Spine with Adolescent Idiopathic Scoliosis

Nicolas Comte , Sergi Pujades , Aurélien Courvoisier , Olivier Daniel , Jean-Sébastien Franco , et al.
Bioengineering, 2023, 10 (7), pp.874. ⟨10.3390/bioengineering10070874⟩
Journal articles hal-04213386v1

On the Spectrum Distribution of Parametric Second-order Delay Differential Equations. Perspectives in Partial Pole Placement

Amina Benarab , Islam Boussaada , Silviu-Iulian Niculescu , Karim Trabelsi
Control and Inverse Problems The 2022 Spring Workshop in Monastir, Tunisia, 2023, 978-3-031-36334-4
Book sections hal-04213259v1
Image document

Comparaison et visualisation de graphes de pangénomes

Siegfried Dubois , Claire Lemaitre , Thomas Faraut , Matthias Zytnicki
Université de rennes. 2023
Reports hal-04213245v1
Image document

Modèles haute résolution pour l’analyse dynamique ultra-rapide des structures à géométrie périodique

Christophe Droz
Journées COFREND, Jun 2023, Marseille, France. pp.28508, ⟨10.58286/28508⟩
Conference papers hal-04213224v1

Enseignement de l’apprentissage automatique à destination d’ingénieur·e·s généralistes

Frédéric Sur
Academic Journal of Civil Engineering, 2023, 41 (2), pp.100-105. ⟨10.26168/ajce.41.2.10⟩
Journal articles hal-04213203v1
Image document

ICO: A Platform for Optimizing Highly Configurable Systems

Edouard Guégain , Amir Taherkordi , Clément Quinton
5th International Workshop on Automated and verifiable Software sYstem DEvelopment, Sep 2023, Kirchberg, Luxembourg
Conference papers hal-04213194v1
Image document

An optimal control deep learning method to design artificial viscosities for Discontinuous Galerkin schemes

Leo Bois , Emmanuel Franck , Laurent Navoret , Vincent Vigon
Preprints, Working Papers, ... hal-04213057v1

Megavoltage 2D topographic imaging: An attractive alternative to megavoltage CT for the localization of breast cancer patients treated with TomoDirect

Philippe Meyer , Fabien Le Pennec , Susanta K. Hui , Nicolas Dehaynin , Delphine Jarnet , et al.
Physica Medica, 2017, 39, pp.33-38. ⟨10.1016/j.ejmp.2017.06.015⟩
Journal articles hal-04213000v1

Navigating the Knowledge Network: How Inter-Domain Information Pairing and Generative AI Can Enable Rapid Problem-Solving

Nicolas Douard , Ahmed Samet , George Giakos , Denis Cavallucci
23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Sep 2023, Offenburg, Germany. pp.139-146, ⟨10.1007/978-3-031-42532-5_11⟩
Conference papers hal-04212991v1

Multi-domain and Heterogeneous Data Driven Innovative Problem Solving: Towards a Unified Representation Framework

Iliass Ayaou , Denis Cavallucci
23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Sep 2023, Offenburg, Germany. pp.127-138, ⟨10.1007/978-3-031-42532-5_10⟩
Conference papers hal-04212990v1
Image document

Ultra-weak variational formulation for heterogeneous maxwell problem in the context of high performance computing

Sébastien Pernet , Margot Sirdey , Sébastien Tordeux
ESAIM: Proceedings and Surveys, In press
Journal articles hal-03642116v2