646 citations
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR251 papers
- Université Paris-SaclayFR110 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- CEA Paris-SaclayFR55 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR21 papers
- Université d'Abomey-CalaviBJ21 papers
- Laboratoire National Henri BecquerelFR19 papers
- Université Grenoble AlpesFR16 papers
- Sorbonne UniversitéFR14 papers
- CEA GrenobleFR11 papers
- CentraleSupélecFR11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
11 papers · 1 filter
Measurements of nuclear -ray line emission in interactions of protons and particles with N, O, Ne and Si
H. Benhabiles-Mezhoud, J. Kiener, J. -P. Thibaud +14
-ray production cross sections have been measured in proton irradiations of N, Ne and Si and -particle irradiations of N and Ne. In the same experiment we extracted also line…
An Introduction to Time-Constrained Automata
Matthieu Lemerre, Vincent David, Christophe Aussaguès +1
We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions…
Surface-induced charge state conversion of nitrogen-vacancy defects in nanodiamonds
L. Rondin, G. Dantelle, A. Slablab +9
We present a study of the charge state conversion of single nitrogen-vacancy (NV) defects hosted in nanodiamonds (NDs). We first show that the proportion of negatively-charged NV$^…
CONFIGEN: A tool for managing configuration options
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interact…
Abstract Fixpoint Computations with Numerical Acceleration Methods
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Static analysis by abstract interpretation aims at automatically proving properties of computer programs. To do this, an over-approximation of program semantics, defined as the lea…
Strong Coupling of a Spin Ensemble to a Superconducting Resonator
Y. Kubo, F. R. Ong, P. Bertet +11
We report the realization of a quantum circuit in which an ensemble of electronic spins is coupled to a frequency tunable superconducting resonator. The spins are Nitrogen-Vacancy…