Related papers: A simple note on the nonlocal structure of the PR-…
This paper presents a shape-theoretic framework for dynamical analysis of nonlinear dynamical systems which appear frequently in several video-based inference tasks. Traditional approaches to dynamical modeling have included linear and…
Probabilistic numerics casts numerical tasks, such the numerical solution of differential equations, as inference problems to be solved. One approach is to model the unknown quantity of interest as a random variable, and to constrain this…
Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship between a concrete…
Quantum theory departs from classical probabilistic theories in foundational ways. These departures--termed quantumness here--power quantum information and computation. This thesis charts the role of discrete structures in assessing…
In this paper we revisit the well-known technique of predicate abstraction to characterise performance attributes of system models incorporating probability. We recast the theory using expectation transformers, and identify transformer…
An orthogonal product basis of a composite Hilbert space is genuinely nonlocal if the basis states are locally indistinguishable across every bipartition. From an operational point of view such a basis corresponds to a separable measurement…
This article deals with a class of chemotaxis systems describing mechanisms from mathematical biology. In the specific, for a rather general class of attraction-repulsion models, with nonlinear productions, diffusion, sensitivities and…
In this paper, we introduce a concept of nonlinear local topological pressure defined via open covers and establish a corresponding variational principle. Furthermore, we provide multiple equivalent characterizations of nonlinear pressure…
Many experiments have shown that locality-realism theory is at variance with quantum mechanics predictions. Although locality and realism, which are two different conceptions, are given respective definition, the descriptions of the both…
For a model system defined as combination of sequentially applied continuous transformations of a sphere, the question of arrangement of the parameter space around the domain of existence of the Plykin-type attractor is considered. Results…
1) We identify new parameter branches for the ultra-local boundary Poisson bracket in d spatial dimension with a (d-1)-dimensional spatial boundary. There exist 2^{r(r-1)/2} r-dimensional parameter branches for each d-box, r-row Young…
Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of…
DL-Lite is an important family of description logics. Recently, there is an increasing interest in handling inconsistency in DL-Lite as the constraint imposed by a TBox can be easily violated by assertions in ABox in DL-Lite. In this paper,…
Acceleration-induced nonlocality is discussed and a simple field theory of nonlocal electrodynamics is developed. The theory involves a pair of real parameters that are to be determined from observation. The implications of this theory for…
The concept of identifiability describes the possibility of inferring the parameters of a dynamic model by observing its output. It is common and useful to distinguish between structural and practical identifiability. The former property is…
Well-calibrated probabilistic regression models are a crucial learning component in robotics applications as datasets grow rapidly and tasks become more complex. Unfortunately, classical regression models are usually either probabilistic…
For the class of non-degenerate box splines, we prove that these box splines are piecewise polynomial. This is not a new result, it is in fact a well known and useful property of box splines. However, our proof is constructive, and the main…
Pearl and Verma developed d-separation as a widely used graphical criterion to reason about the conditional independencies that are implied by the causal structure of a Bayesian network. As acyclic ground probabilistic logic programs…
The effect of non-locality in the NN interaction models is examined. It is shown that this feature can explain differences in predictions made from models evidencing a difference with this respect. This is done for both static and dynamical…
We gather material from many sources about the quantum potential and its geometric nature. The presentation is primarily expository but some new observations relating Q, V, and psi are indicated.