In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of...

Machine Translation is one of the most difficult problems in the field of natural language processing. In the past, MT has been applied to professional communication in the process of translating technical and corporate document on a specific domain. Recent years saw the rapid development of Internet as a new form of communication and information exchange, and the need to access information acr...

A Bayesian model for off-line signature analysis involving the representation of a signature through its curvature is developed. The prior model makes use of a spatial point process for specifying the knots in an approximation restricted to a buffer region close to a template curvature, along with an independent time warping mechanism. In this way, prior shape information about the signature ca...

Research demonstrating that both infants and adults track statistical distributions of acoustic-phonetic cues and use this information when making phonetic category judgements (Maye, Werker, & Gerken, 2002; Clayards, Tanenhaus, Aslin, & Jacobs, 2008) has led to interest in computational models of phonetic category acquisition, which can shed light on the requirements and limitations of statisti...

We present Ymer, a tool for verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical and numerical model checking techniques. We focus on two features of Ymer: distributed acceptance sampling and statistical model checking of nested probabilistic statements.

The Continuum Model postulates that preparations for the initiation of DNA synthesis takes place continuously, and in all phases of the cell cycle. There are no Gl-specific events involved in the initiation of DNA synthesis. The statistical predictions of the Continuum Model are now presented with four basic variables: (1) the rate of initiator synthesis, (2) the time for passage through the re...

Till now, the question remains the same whether organizations are moving towards a sustainable future or not. The impact of policies on the sustainable growth of the organization. The main assumption in this model is that for calculating growth or development, GDP per capita alone cannot be considered as only criteria, a multi –criteria model must be used to calculate it. If GDP increases, by d...

Over the last 25 years, a life-course perspective on criminal behavior has assumed increasing prominence in the literature. This theoretical development has been accompanied by changes in the statistical models used to analyze criminological data. There are two main statistical modeling techniques currently used to model longitudinal data. These are growth curve models and latent class growth m...

Conventional statistical inference requires that a model of how the data were generated be known before the data are analyzed. Yet in criminology, and in the social sciences more broadly, a variety of model selection procedures are routinely undertaken followed by statistical tests and confidence intervals computed for a “final” model. In this paper, we examine such practices and show how they ...

We present an algorithm, called BioLab, for verifying temporal properties of rule-based models of cellular signalling networks. BioLab models are encoded in the BioNetGen language, and properties are expressed as formulae in probabilistic bounded linear temporal logic. Temporal logic is a formalism for representing and reasoning about propositions qualified in terms of time. Properties are then...