490 citations
- Institut national de recherche en sciences et technologies du numériqueFR110 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR87 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- Université de LorraineFR43 papers
- Institut Élie Cartan de LorraineFR35 papers
- Université de StrasbourgFR10 papers
- École PolytechniqueFR9 papers
- Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'ImagerieFR9 papers
- University of LuxembourgLU8 papers
- Institut de Recherche Mathématique AvancéeFR7 papers
- Centre de Mathématiques Appliquées de l'École polytechniqueFR5 papers
- Computer Algorithms for MedicineAT5 papers
31 papers · 1 filter
On the control by electromagnetic fields of quantum systems with infinite dimensional Hilbert space
Elie Assémat, Thomas Chambrion, Dominique Sugny
We analyze the control by electromagnetic fields of quantum systems with infinite dimensional Hilbert space and a discrete spectrum. Based on recent mathematical results, we rigoro…
Belief revision in the propositional closure of a qualitative algebra
Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber +1
Belief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalism…
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
P. -C Héam, V. Hugot, O. Kouchnarenko
The model of tree automata with equality and disequality constraints was introduced in 2007 by Filiot, Talbot and Tison. In this paper we show that if there is at least one disequa…
Numeric certified algorithm for the topology of resultant and discriminant curves
Rémi Imbach, Guillaume Moroz, Marc Pouget
Let be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projecti…
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
Jingshu Chen, Marie Duflot, Stephan Merz
Avoiding access conflicts is a major challenge in the design of multi-threaded programs. In the context of real-time systems, the absence of conflicts can be guaranteed by ensuring…
Detecting event-related recurrences by symbolic analysis: Applications to human language processing
Peter beim Graben, Axel Hutt
Quasistationarity is ubiquitous in complex dynamical systems. In brain dynamics there is ample evidence that event-related potentials reflect such quasistationary states. In order…