-
Towards the island of superheavy stability - Prompt spectroscopy of the 246Fm...
The region of transfermium nuclei (Z = 100 to 104) is the last region of the nuclides chart to be accessible to spectroscopic measurements. It therefore provides the... -
Mass measurements on stable nuclides in the rare-earth region with the Pennin...
The masses of 15 stable nuclides in the rare-earth region have been measured with the Penning-trap mass spectrometer TRIGA-TRAP. This is the first series of absolute... -
A critical role for NMDA receptors in parvalbumin interneurons for gamma rhyt...
International audience -
Formalization and Verification of Coherence Protocols with the Gamma Framework
This paper presents an approach to formalize coherence protocols for shared virtual memories as multiset rewriting systems. The global state of the protocol is... -
Towards Designing SVM Coherence Protocols Using High-level Specifications and...
We propose a two-stage approach for the design of a shared virtual memory. The first stage is a high-level protocol description using the Structured Gamma formalism... -
Event-related delta, theta, alpha and gamma correlates to auditory oddball pr...
International audience -
Effect of groundwater on the dissolution rate of the simulated nuclear waste ...
International audience
