The Ackermann Award is presented to the recipients at the annual conference of the EACSL. The jury is entitled to give more than one award per year. The award consists of a diploma, an invitation to present the thesis at the CSL conference, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Awar...

Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We compare the two solution techniques when applied to the verification of time-bounded until formulae in the temporal stochastic logic CSL. This study differs from most previous comparisons of numerical and statistical ...

In this paper we investigate a potential use of fluid approximation techniquesin the context of stochastic model checking of CSL formulae. We focus onproperties describing the behaviour of an individual agent in a (large) pop-ulation of agents, exploiting a limit result known as fast simulation. Inparticular, we will approximate the behaviour of a single agent with a time-in...

National Heart, Lung, and Blood Institute’s Framingham Heart Study (CSL, MGL, EJB, RSV), Framingham, MA; Department of Biostatistics (XL, QY, MJP) and Epidemiology (EJB), Boston University School of Public Health, Boston, MA; Department of Mathematics and Statistics, Boston University, Boston, MA (MGL); Harvard Medical School, Boston, Mass (JA); Mayo Clinic, Rochester, MN (MMR, CSL), Cardiology...

Selected area channeling patterns imaged on an SEM are digitized and displayed on the screen of a Macintosh computer, on which the user selects channeling bands that are measured to determine orientation. Grain boundary misorientations are found using the orientation information for pairs of grains adjacent at grain boundaries, and the boundaries are classified as low angle boundaries (LABs), c...

In the developing central nervous system (CNS), Notch signaling preserves progenitor pools and inhibits neurogenesis and oligodendroglial differentiation. It has recently been postulated that Notch instructively drives astrocyte differentiation. Whether the role of Notch signaling in promoting astroglial differentiation is permissive or instructive has been debated. We report here that the astr...