In this paper we investigate a potential use of fluid approximation techniques in the contextof stochastic model checking of CSL formulae. We focus on properties describing the behaviourof a single agent in a (large) population of agents, exploiting a limit result known also asfast simulation. In particular, we will approximate the behaviour of a single agent with atime-inhomoge...

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

We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic — the Disjoint CSL — which disallows modifying shared varia...

The logic CSL of the comparative concept similarity has been introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison between concepts and/or objects. In this logic we can formulate assertions of the form “objects A are more similar to B than to C”. This kind of assertions can be added to an ontology to express qualitative comparisons b...

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

0

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

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