Search results for "probabilistic"

Arithmetical Analysis of Biomolecular Finite Automaton

2013

In the paper we present a theoretical analysis of extension of the finite automaton built on DNA (introduced by the Shapiro team) to an arbitrary number of states and symbols. In the implementation we use a new idea of several restriction enzymes instead of one. We give arithmetical conditions for the existence of such extensions in terms of ingredients used in the implementation.

Nonstochastic languages as projections of 2-tape quasideterministic languages

1998

A language L (n) of n-tuples of words which is recognized by a n-tape rational finite-probabilistic automaton with probability 1-e, for arbitrary e > 0, is called quasideterministic. It is proved in [Fr 81], that each rational stochastic language is a projection of a quasideterministic language L (n) of n-tuples of words. Had projections of quasideterministic languages on one tape always been rational stochastic languages, we would have a good characterization of the class of the rational stochastic languages. However we prove the opposite in this paper. A two-tape quasideterministic language exists, the projection of which on the first tape is a nonstochastic language.

Multi-letter reversible and quantum finite automata

2007

The regular language (a+b)*a (the words in alphabet {a, b} having a as the last letter) is at the moment a classical example of a language not recognizable by a one-way quantum finite automaton (QFA). Up to now, there have been introduced many different models of QFAs, with increasing capabilities, but none of them can cope with this language. We introduce a new, quite simple modification of the QFA model (actually even a deterministic reversible FA model) which is able to recognize this language. We also completely characterise the set of languages recognizable by the new model FAs, by finding a "forbidden construction" whose presence or absence in the minimal deterministic (not necessaril…

A probabilistic Weitzenböck formula on Riemannian path space

2000

Elementary Action Systems

2015

This chapter expounds basic notions. An elementary action system is a triple consisting of the set of states, the transition relation between states, and a family of binary relations defined on the set of states. The elements of this family are called atomic actions. Each pair of states belonging to an atomic action is a possible performance of this action. This purely extensional understanding of atomic actions is close to dynamic logic. Compound actions are defined as sets of finite sequences of atomic actions. Thus compound actions are regarded as languages over the alphabet whose elements are atomic actions. This chapter is concerned with the problem of performability of actions and the…

Contrasting probabilistic and anti-optimization approaches in an applied mechanics problem

2003

Probabilistic and non-probabilistic, anti-optimization analyses of uncertainty are contrasted in this study. Specifically, the comparison of these two competing approaches is conducted for an uniform column, with initial geometric imperfection, subjected to an impact axial load. The reliability of the column is derived for the cases when the initial imperfections posses either (a) uniform probability density, (b) truncated exponential density or (c) generic truncated probability density. The problem is also analyzed in the context of an interval analysis. It is shown that in, the most important near-unity reliability range these two approaches tend to each other. Since the interval analysis…

Itô calculus extended to systems driven by -stable Lévy white noises (a novel clip on the tails of Lévy motion)

2007

Abstract The paper deals with probabilistic characterization of the response of non-linear systems under α -stable Levy white noise input. It is shown that, by properly selecting a clip in the probability density function of the input, the moments of the increments of Levy motion process remain all of the same order ( d t ) , like the increments of the Compound Poisson process. It follows that the Ito calculus extended to Poissonian input, may also be used for α -stable Levy white noise input processes. It is also shown that, when the clip on the tails of the probability of the increments of the Levy motion approaches to infinity, the Einstein–Smoluchowsky equation is restored. Once these c…

A Probabilistic Analysis to Quantify the Effect of March 11, 2004, Attacks in Madrid on the March 14 Elections in Spain: A Dynamic Modelling Approach

2015

[EN] The bomb attacks in Madrid three days before the general elections of March 14, 2004, and their possible influence on the victory of PSOE (Spanish Workers Socialist Party), defeating PP (Popular Party), have been a matter of study from several points of view (i.e., sociological, political, or statistical). In this paper, we present a dynamic model based on a system of differential equations such that it, using data from Spanish CIS (National Center of Sociological Research), describes the evolution of voting intention of the Spanish people over time. Using this model, we conclude that the probability is very low that the PSOE would have won had the attack not happened.Moreover, after t…

Stochastic Vulnerability Assessment of Masonry Structures: Concepts, Modeling and Restoration Aspects

2019

A methodology aiming to predict the vulnerability of masonry structures under seismic action is presented herein. Masonry structures, among which many are cultural heritage assets, present high vulnerability under earthquake. Reliable simulations of their response to seismic stresses are exceedingly difficult because of the complexity of the structural system and the anisotropic and brittle behavior of the masonry materials. Furthermore, the majority of the parameters involved in the problem such as the masonry material mechanical characteristics and earthquake loading characteristics have a stochastic-probabilistic nature. Within this framework, a detailed analytical methodological approac…

Trends of mean temperatures and warm extremes in northern tropical Africa (1961-2014) from observed and PPCA-reconstructed time series

2016

Trends in daily maximum (TX) and minimum (TN) temperatures and indices of warm extremes are studied in tropical North Africa, west of the eastern African highlands, from 1961 to 2014. The analysis is based on the concatenation and cross-checking of two observed databases. Due to the large number of missing entries (~25%), a statistical infilling using probabilistic principal component analysis was applied. Averaged over 90 stations, the linear trends of annual mean TX and TN equal respectively +0.021 °C/yr and +0.028 °C/yr. The frequency of very hot days (TX > 35°C) and tropical nights (TN > 20°C), as well as the frequency of daily TX and TN above the 90th percentile (p90) (“warm days” and …