1.6k citations
- Centre National de la Recherche ScientifiqueFR110 papers
- Namur Institute for Complex SystemsBE75 papers
- UCLouvainBE50 papers
- Observatoire de ParisFR42 papers
- Institut de Mécanique Céleste et de Calcul des ÉphéméridesFR36 papers
- Sorbonne UniversitéFR36 papers
- University of FlorenceIT32 papers
- Université Paris CitéFR30 papers
- Université Paris Sciences et LettresFR25 papers
- Observatoire de la Côte d’AzurFR22 papers
- University of LiègeBE22 papers
- Université de LilleFR21 papers
504 papers
Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework
Corentin Reuther, Jean-Marie Jacquet
Although significant research has focused on the theory and implementation of data-based coordination languages, the critical aspect of their automated verification using model-che…
Case study: solving P-99 with LPTP and an LLM
Fred Mesnard, Thierry Marianne, Étienne Payet +1
Ninety-Nine Prolog Problems (P-99) is a famous set of Prolog exercises. We solved the first thirty three just by prompting an LLM (Large Language Model). We used Claude from Anthro…
Case study: proving sqrt(2) irrational with LPTP and an LLM
Fred Mesnard, Étienne Payet, Wim Vanhoof
We present the interactions with an LLM (Large Language Model) aiming at proving that the square root of 2 is not a rational number in an LP (Logic Programming) context. We start f…
Asteroid modelling by starlight diffraction: The shape of Dimorphos, the satellite of (65803) Didymos
P. Tanga, K. Tsiganis, D. Souami +17
The DART spacecraft impacted Dimorphos, the satellite of (65803) Didymos, in September 2022. Evidence of crater formation and possible global reshaping has been obtained indirectly…
A robust method to identify chimera states
S. Nirmala Jenifer, Riccardo Muolo, Paulsamy Muruganandam +1
Chimera states are one of the most intriguing phenomena in nonlinear dynamics, characterized by the coexistence of coherent and incoherent behavior in systems of coupled identical…
On the efficiency of pairwise Hamiltonian control to desynchronize the higher-order Kuramoto model
Martin Moriamé, Riccardo Muolo, Timoteo Carletti +1
Synchronization of coupled oscillators is observed in many natural and engineered systems and emerges due to the interactions within the system. It can be both beneficial, e.g., in…