We consider the monodic formulas of common knowledge predicate logic, which allow applications of epistemic operators to formulas with at most one free variable. We provide nite axiomatizations of the monodic fragment of the most important common knowledge predicate logics (the full logics are known to be not recursively enumerable) and single out a number of their decidable fragments. On the o...

A formula '(x 1 ; : : :; x n) conforms to a partition P of fx 1 ; : : :; x n g if it is equivalent to a Boolean combination of formulae that do not have free variables from more than one block of P. We show that if ' conforms to two partitions P 1 and P 2 , it also conforms to their greatest lower bound in the partition lattice. As a corollary, we obtain that the concept of orthographic dimensi...

We examine the relationship between different dimensions of the political regime in place and human capital using a two-step structural equation model. In the first step, we employ factor analysis on 16 human capital indicators to construct two new human capital measures (basic and advanced human capital). In the second step, we estimate the impact of our political variables on human capital, u...

MOTIVATION The ability to detect copy-number variation (CNV) and loss of heterozygosity (LOH) from exome sequencing data extends the utility of this powerful approach that has mainly been used for point or small insertion/deletion detection. RESULTS We present ExomeCNV, a statistical method to detect CNV and LOH using depth-of-coverage and B-allele frequencies, from mapped short sequence read...

OBJECTIVES The study has aimed to identify the relations between the supplementary person-organization fit (P-O fit) and the perceived stress among managerial staff, with special regard to the mediating role of the effort-reward balance. MATERIAL AND METHODS The study sample consisted of 715 middle-level managers, aged 25-64 years old, employed in large companies. To measure the selected vari...

This paper presents new methods for the transient and stationary analysis of stochastic Petri nets with exponentially distributed and deterministic ring delays. The method of supplementary variables is used for the derivation of general state equations which describe the temporal behavior of the underlying stochas-tic process. Numerical algorithms are presented for the solution of the state equ...

*Correspondence: [email protected] School of Science, Jiangxi University of Science and Technology, Ganzhou, 341000, China Abstract In this paper, we introduce a class of nonlinear time series models with random time delay under random environment, sufficient conditions for nonergodicity of these models are developed. The so-called Markovnization methods are used, that is, proper supplem...

Supplementary Material A. Background on Fokker-Planck Equation The Fokker-Planck equation (FPE) associated with a given stochastic differential equation (SDE) describes the time evolution of the distribution on the random variables under the specified stochastic dynamics. For example, consider the SDE: dz = g(z)dt+N (0, 2D(z)dt), (16) where z ∈ R, g(z) ∈ R, D(z) ∈ Rn×n. The distribution of z go...

Abstract. In this paper, we discuss about the concept of single server feedback retrial queueing system with two types of service and each type consist of two essential phases under variant vacation policy. Customers are allowed to balk and renege at particular times. By using the supplementary variables method, steady state probability generating function for system size and orbit size are obt...

two-year experiments was conducted to find the effect of value and times of supplementary irrigation on water requirement and yield production of three new wheat cultivar namely (‘w33g’, ‘cross alborz’ and ‘bahar’) in three replicate randomized complete block factorial experiments since 2009-11. experiments were performed at the campus of agriculture and natural resources of razi university lys...