The paper presents our intermediate results in ontologizing a refined formal representation of environments, events, and happenings elaborated in PSI project. Our formal approach is based on the first order logic and is inspired by Discrete Event Calculus (DEC). In difference to DEC based on discrete linear time representation, it uses fuzzy time intervals [7]. Our framework also refines classi...

DNA synthesis must be performed with extreme precision to maintain genomic integrity. In mammalian cells, different genomic regions are replicated at defined times, perhaps to preserve epigenetic information and cell differentiation status. However, the molecular principles that define this S phase program are unknown. By analyzing replication foci within discrete chromosome territories during ...

Estimates of population size in a classical capture-recapture experiment are obtained by method of moments and maximum likelihood estimation. Exact confidence intervals using the hypergeometric distribution (the general method) and approximate confidence intervals using the normal approximation and separately, the binomial approximation are illustrated. Estimates of coverage probabilities are e...

An efficient algorithm for partitioning the range of a continuous variable to a discrete Ž . number of intervals, for use in the construction of Bayesian belief networks BBNs , is presented here. The partitioning minimizes the information loss, relative to the number of intervals used to represent the variable. Partitioning can be done prior to BBN construction or extended for repartitioning du...

For a confidence interval (L(X),U(X)) of a parameter θ in one-parameter discrete distributions, the coverage probability is a variable function of θ . The confidence coefficient is the infimum of the coverage probabilities, infθ Pθ (θ ∈ (L(X),U(X))). Since we do not know which point in the parameter space the infimum coverage probability occurs at, the exact confidence coefficients are unknown....

Abstract: This paper presents the development of a new model reduction method for discrete-time bilinear systems based on the balanced truncation framework. In many model reduction applications, it is advantageous to analyze the characteristics of the system with emphasis on particular frequency intervals of interest. In order to analyze the degree of controllability and observability of discre...

The mathematical basis of the general theory is Bellman's dynamic programming (DP) and associated maximum principles. Our original contribution develops a generalized theory for multistage discrete processes in which time intervals can reside in the model nonlinearly and can be constrained. The new theory removes the requirement of the free intervals θn, yet preserves the most powerful features...

Abstract Apartial discrete Dirichlet boundary value problem involving mean curvature operator is concerned in this paper. Under proper assumptions on the nonlinear term, we obtain some feasible conditions existence of multiple solutions by method critical point theory. We further separately determine open intervals parameter to attain at least two positive and an unbounded sequence with help ma...