8.6k citations
- Centre National de la Recherche ScientifiqueFR2.4k papers
- Laboratoire Charles CoulombFR706 papers
- Laboratoire Univers et Particules de MontpellierFR535 papers
- Université Montpellier 2432 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR426 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR392 papers
- CEA Paris-SaclayFR326 papers
- Université Toulouse III - Paul SabatierFR284 papers
- École PolytechniqueFR279 papers
- Université Paris CitéFR275 papers
- Sorbonne UniversitéFR271 papers
- Laboratoire Leprince-RinguetFR265 papers
3,041 papers
Boosting the Learning for Ranking Patterns
Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar +2
Pattern mining is a valuable tool for exploratory data analysis, but identifying relevant patterns for a specific user is challenging. Various interestingness mea- sures have been…
Search for gamma-ray spectral lines from dark matter annihilation with the H.E.S.S. Inner Galaxy Survey
H. E. S. S. Collaboration, F. Aharonian, H. Ashkar +115
Spectral gamma-ray line features are expected as key signatures from dark matter (DM) annihilations of TeV-scale particle DM. Observations of the Galactic Centre with atmospheric C…
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…
A Strategy Language for Controlled Proof Search
Romain Sidhoum, Simon Robillard, David Delahaye
This paper introduces the strategy language of Pgeon, a meta-prover with a clear separation between inference rules and proof search. We give the semantics of strategies as functio…
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…