The galaxy image pair CSL-1 has been a leading candidate for a cosmic string lens. High quality imaging data from the Hubble Space Telescope presented here show that it is not a lens but a pair of galaxies. The galaxies show different orientations of their principal axes, not consistent with any lens model. We present a new direct test of the straight-string lens model, using a displaced differ...

This paper introduces strong bisimulation for continuous-timeMarkov decision processes (CTMDPs), a stochastic model which allows for a nondeterministic choice between exponential distributions, and shows that bisimulation preserves the validity of CSL. To that end, we interpret the semantics of CSL—a stochastic variant of CTL for continuous-time Markov chains—on CTMDPs and show its measure-theo...

Analysis 1: Promotions to Brigadier General Is there a relationship between promotion to Brigadier General and resilience? Analysis 2: Below Zone (BZ) Promotions Is BLOCKINthere BLOCKINa BLOCKINrelationship BLOCKINbetween BLOCKINearly BLOCKINField BLOCKINGrade BLOCKINofficer BLOCKINpromotion BLOCKINand BLOCKINresilience? Analysis 3: Selection for a Centralized Selection List (CSL) Key Billet Is...

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 ...