9.8k citations
- Centre National de la Recherche ScientifiqueFR420 papers
- Vrije Universiteit BrusselBE324 papers
- University of Maryland, College ParkUS311 papers
- RWTH Aachen UniversityDE293 papers
- Massachusetts Institute of TechnologyUS289 papers
- University of CanterburyNZ279 papers
- The Ohio State UniversityUS277 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR275 papers
- University of KansasUS274 papers
- Universität HamburgDE272 papers
- Lomonosov Moscow State UniversityRU271 papers
- Sungkyunkwan UniversityKR270 papers
61 papers · 1 filter
Bust-a-Move/Puzzle Bobble is NP-Complete
Erik D. Demaine, Stefan Langerman
We prove that the classic 1994 Taito video game, known as Puzzle Bobble or Bust-a-Move, is NP-complete. Our proof applies to the perfect-information version where the bubble sequen…
Assume-Admissible Synthesis
Romain Brenguier, Jean-François Raskin, Ocan Sankur
In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objectives. It is based on the noti…
Effect of the Gribov horizon on the Polyakov loop and vice versa
F. E. Canfora, D. Dudal, I. F. Justo +3
We consider finite temperature SU(2) gauge theory in the continuum formulation, which necessitates the choice of a gauge fixing. Choosing the Landau gauge, the existing gauge copie…
Indefinite waitings in MIRELA systems
Johan Arcile, Jean-Yves Didier, Hanna Klaudel +2
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time.…
Confined helium on Lagrange meshes
Daniel Baye, Jérémy Dohet-Eraly
The Lagrange-mesh method has the simplicity of a calculation on a mesh and can have the accuracy of a variational method. It is applied to the study of a confined helium atom. Two…
Qualitative properties of coexistence and semi-trivial limit profiles of nonautonomous nonlinear parabolic Dirichlet systems
Alberto Saldaña
We study the symmetry properties of limit profiles of nonautonomous nonlinear parabolic systems with Dirichlet boundary conditions in radial bounded domains. In the case of competi…