The random walk procedure has been applied on some typical relaxed CSL twist grain boundaries. The relaxation has been achieved by means of the Molecular Dynamics method, applied on the CSL computational cells. Some of the random walk parameters are discussed and the information dimension is examined as a function of the rotation anqle 8. The remarkable anisotropy observed in the parameters bet...

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

[1] Two characteristics that distinguish canopy sublayer (CSL) turbulence from its atmospheric surface layer (ASL) counterpart are short-circuiting of the energy cascade and formation of Kelvin-Helmholtz (KH) vortices near the canopy top. These two phenomena lead to nonlinear and poorly understood interactions between small and large scale eddies within the CSL absent from classical ASL turbule...

Collapse models explain the absence of quantum superpositions at the macroscopic scale, while giving practically the same predictions as quantum mechanics for microscopic systems. The Continuous Spontaneous Localization (CSL) model is the most refined and studied among collapse models. A well-known problem of this model, and of similar ones, is the steady and unlimited increase of the energy in...

This paper presents an empirical study on using syntactic and semantic information for Concept Segmentation and Labeling (CSL), a well-known component in spoken language understanding. Our approach is based on reranking N -best outputs from a state-of-the-art CSL parser. We perform extensive experimentation by comparing different tree-based kernels with a variety of representations of the avail...

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

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