258 citations
- Laboratoire Angevin de Recherche en MathématiquesFR198 papers
- Centre National de la Recherche ScientifiqueFR127 papers
- Institut des Sciences et Technologies Moléculaires d'AngersFR31 papers
- Sorbonne UniversitéFR17 papers
- Wrocław University of Science and TechnologyPL17 papers
- Institut de Mathématiques de ToulouseFR13 papers
- Institute for Theoretical and Experimental PhysicsRU12 papers
- Université Paris-SaclayFR12 papers
- Université Toulouse III - Paul SabatierFR12 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO10 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR10 papers
- Université Nantes Angers Le MansFR10 papers
16 papers · 1 filter
The fate of liquids trapped during the Earth's inner core growth
Marine Lasbleis, Mathilde Kervazo, Gael Choblet
The growth history of the inner core is inherently linked to the thermal history of the Earth. The crystallization of the inner core may have been delayed by supercooling, and went…
Exploring the Jungle of Intuitionistic Temporal Logics
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of…
Modeling of quasi-phase-matched cavity enhanced second harmonic generation
C. Mas Arabí, P. Parra-Rivas, C. Ciret +2
We propose a mean-field model to describe second harmonic generation in a resonator made of a material with zincblende crystalline structure. The model is obtained through an avera…
A Riemann-Hilbert approach to the lower tail of the KPZ equation
Mattia Cafasso, Tom Claeys
Fredholm determinants associated to deformations of the Airy kernel are closely connected to the solution to the Kardar-Parisi-Zhang (KPZ) equation with narrow wedge initial data,…
Quantified Constraint Handling Rules
Vincent Barichard, Igor Stéphan
We shift the QCSP (Quantified Constraint Satisfaction Problems) framework to the QCHR (Quantified Constraint Handling Rules) framework by enabling dynamic binder and access to user…
Variable Population Memetic Search: A Case Study on the Critical Node Problem
Yangming Zhou, Jin-Kao Hao, Zhang-Hua Fu +2
Population-based memetic algorithms have been successfully applied to solve many difficult combinatorial problems. Often, a population of fixed size was used in such algorithms to…