23 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Japanese-French Laboratory for InformaticsJP16 papers
- National Institute of InformaticsJP12 papers
- Nantes UniversitéFR7 papers
- Bulgarian Academy of SciencesBG6 papers
- Homi Bhabha National InstituteIN6 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT6 papers
- Kyoto UniversityJP6 papers
- National Institute for AstrophysicsIT6 papers
- Obayashi (Japan)JP6 papers
- Port d'Informació CientíficaES6 papers
- Saha Institute of Nuclear PhysicsIN6 papers
- Tokai UniversityJP6 papers
24 papers
Revisiting EBL Constraints from Gamma-Ray Observations: A Critical Assessment and Methodological Improvements
K. Abe, S. Abe, J. Abhir +185
The extragalactic background light (EBL), ranging from the infrared to the ultraviolet bands, is the second most intense photon field in the universe, surpassed only by the cosmic…
Long-term study of the gamma-ray emission of Cygnus X-3 with MAGIC and Fermi-LAT
K. Abe, S. Abe, J. Abhir +185
Cygnus X-3 is a microquasar composed of a compact object of unknown nature closely orbiting around a Wolf-Rayet star. The particularities of this source make it a unique case among…
The January 2010 flare of Mrk421: Insights from a stochastic acceleration model
MAGIC collaboration, K. Abe, S. Abe +191
Mrk421 displayed its highest flux state ever observed in February of 2010 with very high TeV fluxes and interesting cross-band correlations and a spectral energy distribution (SED)…
First detection of VHE gamma-ray signal from the FSRQ TON 0599
MAGIC Collaboration, K. Abe, S. Abe +245
TON\,0599 (z=0.7247) belongs to the few flat spectrum radio quasars (FSRQs) detected in the very high energy (VHE, \,GeV) gamma-ray band. Its redshift makes it currently o…
An Analysis of Datasets, Metrics and Models in Keyphrase Generation
Florian Boudin, Akiko Aizawa
Keyphrase generation refers to the task of producing a set of words or phrases that summarises the content of a document. Continuous efforts have been dedicated to this task over t…
Preface to the Special Issue of the TAL Journal on Scholarly Document Processing
Florian Boudin, Akiko Aizawa
The rapid growth of scholarly literature makes it increasingly difficult for researchers to keep up with new knowledge. Automated tools are now more essential than ever to help nav…
ACL-rlg: A Dataset for Reading List Generation
Julien Aubert-Béduchaud, Florian Boudin, Béatrice Daille +1
Familiarizing oneself with a new scientific field and its existing literature can be daunting due to the large amount of available articles. Curated lists of academic references, o…
ParaRev: Building a dataset for Scientific Paragraph Revision annotated with revision instruction
Léane Jourdan, Nicolas Hernandez, Richard Dufour +2
Revision is a crucial step in scientific writing, where authors refine their work to improve clarity, structure, and academic quality. Existing approaches to automated writing assi…
Self-Compositional Data Augmentation for Scientific Keyphrase Generation
Mael Houbre, Florian Boudin, Beatrice Daille +1
State-of-the-art models for keyphrase generation require large amounts of training data to achieve good performance. However, obtaining keyphrase-labeled documents can be challengi…
Abductive Reasoning in a Paraconsistent Framework
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-kno…
Queries With Exact Truth Values in Paraconsistent Description Logics
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
We present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a~paraconsistent semantics with the four Belnapian values: exactly…
Diagonalization of large many-body Hamiltonians on a quantum processor
Nobuyuki Yoshioka, Mirko Amico, William Kirby +16
The estimation of low energies of many-body systems is a cornerstone of computational quantum sciences. Variational quantum algorithms can be used to prepare ground states on pre-f…
Constraints on VHE gamma-ray emission of Flat Spectrum Radio Quasars with the MAGIC telescopes
MAGIC Collaboration
Flat spectrum radio quasars (FSRQs) constitute a class of jetted active galaxies characterized by a very luminous accretion disk, prominent and rapidly moving line-emitting cloud s…
CASIMIR: A Corpus of Scientific Articles enhanced with Multiple Author-Integrated Revisions
Leane Jourdan, Florian Boudin, Nicolas Hernandez +1
Writing a scientific article is a challenging task as it is a highly codified and specific genre, consequently proficiency in written communication is essential for effectively con…
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
This paper presents a detailed analysis of the scalability and parallelization of local search algorithms for the Satisfiability problem. We propose a framework to estimate the par…
Multi-year characterisation of the broad-band emission from the intermittent extreme BL Lac 1ES~2344+514
H. Abe, S. Abe, V. A. Acciari +232
The BL Lac 1ES 2344+514 is known for temporary extreme properties (e.g., a shift of the synchrotron SED peak energy above 1keV). While those extreme states were so fa…
Formal Verification of Safety Architectures for Automated Driving
Clovis Eberhart, Jérémy Dubut, James Haydon +1
Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for gr…
Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo, Clovis Eberhart, James Haydon +12
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS r…
A Compositional Approach to Parity Games
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada +1
In this paper, we introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We intro…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…
Architecture-Guided Test Resource Allocation Via Logic
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a…
Data description and retrieval using periods represented by uncertain time intervals
Tatsuki Sekino
Time periods are frequently used to specify time in metadata and retrieval. However, it is not easy to describe and retrieve information about periods, because the temporal ranges…