From the 2 of 25 papers with an AI index.
22 citations
- Centre National de la Recherche ScientifiqueFR16 papers
- Laboratoire Univers et Particules de MontpellierFR5 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR4 papers
- Laboratoire Charles CoulombFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Institut National de Recherche pour l'Agriculture, l'Alimentation et l'EnvironnementFR2 papers
- Institut Universitaire de FranceFR2 papers
- National University of SingaporeSG2 papers
- Sorbonne UniversitéFR2 papers
- Université de BordeauxFR2 papers
- Université Paris Sciences et LettresFR2 papers
- A. Alikhanyan National LaboratoryAM1 paper
25 papers
Anomalous enhancement of thermal radiation transport by quasidisorder
Cheng-Long Zhou, Xin-Yu Jia, Shui-Hua Yang +4
The transition from order to disorder is conventionally regarded as detrimental to solid-state heat transfer in classical wave and quasiparticle systems. In striking contrast, we s…
Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups
Carolyn Abbott, Anthony Genevois, Eduardo Martinez-Pedroza
In this article, we prove that, given two finite connected graphs and , if the two right-angled Artin groups and are quasi-isometric, then the infi…
A Strategy Language for Controlled Proof Search
Romain Sidhoum, Simon Robillard, David Delahaye
The paper introduces a strategy language for the Pgeon meta‑prover that cleanly separates inference rules from proof search, defining semantics for strategies to enable fair and co…
Estimating relapse time distribution from longitudinal biomarker trajectories using iterative regression and continuous time Markov processes
Alice Cleynen, Benoîte de Saporta, Amélie Vernay
Biomarker measurements obtained by blood sampling are often used as a non-invasive means of monitoring tumour progression in cancer patients. Diseases evolve dynamically over time,…
Abstractions of Queries in Ontology-Based Data Access
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answe…
Answering Path Queries under Linear and Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1
Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the…