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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-04214399v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-04214339v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Making Self-Stabilizing Algorithms for Any Locally Greedy Problem
Johanne Cohen
,
Laurence Pilard
,
Jonas Sénizergues
,
Mikaël Rabie
Proceedings
hal-04214291v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Trajectory optimisation for autonomous vehicles under agricultural environment constraints
Danial Pour Arab
Theses
tel-04214153v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Playing the Part of the Sharp Bully : Generating Adversarial Examples for Implicit Hate Speech Detection
Nicolas Benjamin Ocampo
,
Elena Cabrio
,
Serena Villata
Conference papers
hal-04214125v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Polynomial regressions on muscle parameters can approximate the muscle/tendon equilibrium
François Bailly
Conference papers
hal-04213855v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cautionary tales from the mesoscale eddy transport tensor
Takaya Uchida
,
Dhruv Balwada
,
Quentin Jamet
,
William K Dewar
,
Bruno Deremble
,
et al.
Journal articles
hal-04213098v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Graphical Languages for Quantum Control and Linear Optics
Alexandre Clément
Theses
tel-04213655v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
2021
Preprints, Working Papers, ...
hal-04212987v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SAF-IS: a Spatial Annotation Free Framework for Instance Segmentation of Surgical Tools
Luca Sestini
,
Benoit Rosa
,
Elena de Momi
,
Giancarlo Ferrigno
,
Nicolas Padoy
2023
Preprints, Working Papers, ...
hal-04212988v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-04213386v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comparaison et visualisation de graphes de pangénomes
Siegfried Dubois
,
Claire Lemaitre
,
Thomas Faraut
,
Matthias Zytnicki
Université de rennes. 2023
Reports
hal-04213245v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modèles haute résolution pour l’analyse dynamique ultra-rapide des structures à géométrie périodique
Christophe Droz
Conference papers
hal-04213224v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enseignement de l’apprentissage automatique à destination d’ingénieur·e·s généralistes
Frédéric Sur
Journal articles
hal-04213203v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An optimal control deep learning method to design artificial viscosities for Discontinuous Galerkin schemes
Leo Bois
,
Emmanuel Franck
,
Laurent Navoret
,
Vincent Vigon
2023
Preprints, Working Papers, ...
hal-04213057v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-04213000v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More