Related papers: Measurable motivic sites
We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…
Reasoning about object affordances allows an autonomous agent to perform generalised manipulation tasks among object instances. While current approaches to grasp affordance estimation are effective, they are limited to a single hypothesis.…
LogicWeb has traditionally lacked devices for dealing with intractable queries. We address this limitation by adopting length-bounded inference, a form of approximate reasoning. A length-bounded inference is of the form $prov(P,G,n)$ which…
The aim of the paper is to present the integrable systems on partial isometries which are related to the restricted Grassmannian in finite dimensional context. Some explicit solutions are obtained.
We give a brief introduction to tensor triangulated geometry, a brief introduction to various motivic categories, and then make some observations about the conjectural structure of the tensor triangulated spectrum of the Morel-Voevodsky…
A general notion of information-related complexity applicable to both natural and man-made systems is proposed. The overall approach is to explicitly consider a rational agent performing a certain task with a quantifiable degree of success.…
A simple estimator for the finite right endpoint of a distribution function in the Gumbel max-domain of attraction is proposed. Large sample properties such as consistency and the asymptotic distribution are derived. A simulation study is…
The hypothesis of locality, its origin and consequences are discussed. This supposition is necessary for establishing the local spacetime frame of accelerated observers; in this connection, the measurement of length in a rotating system is…
We consider the multigraded Hilbert scheme corresponding to the Hilbert function of a finite number of points in general position in a smooth projective complex toric variety. We develop several criteria for a point of that parameter space…
Probabilities of causation provide principled ways to assess causal relationships but face computational challenges due to partial identifiability and latent confounding. This paper introduces both algorithmic simplifications, significantly…
An algorithm for the estimation of multiple targets from partial and corrupted observations is introduced based on the concept of partially-distinguishable multi-target system. It combines the advantages of engineering solutions like MHT…
To demarcate the limits of experimental knowledge we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of…
Reasoning about observed effects and their causes is important in multi-agent contexts. While there has been much work on causality from an objective standpoint, causality from the point of view of some particular agent has received much…
We solve the problem of best approximation by partial isometries of given rank to an arbitrary rectangular matrix, when the distance is measured in any unitarily invariant norm. In the case where the norm is strictly convex, we parametrize…
We provide a framework for speeding up algorithms for time-bounded reachability analysis of continuous-time Markov decision processes. The principle is to find a small, but almost equivalent subsystem of the original system and only analyse…
We introduce a distance in the space of fully-supported probability measures on one-dimensional symbolic spaces. We compare this distance to the $\bar{d}$-distance and we prove that in general they are not comparable. Our projective…
This note contains the complete mathematical proof of the main Theorem of the paper "How continuous measurements in finite dimension are actually discrete" (quant-ph/0702068), thus showing that in finite dimension any measurement with…
Several concepts on the measure of observability, reachability, and robustness are defined and illustrated for both linear and nonlinear control systems. Defined by using computational dynamic optimization, these concepts are applicable to…
Program review in the physical sciences may benefit from a framework within which to quantitatively discuss the scientific merit of a proposed theoretical program of research, and to assess the scientific merit of a particular theoretical…
Fix a base field F, a finite field K and consider a sequence of central simple F-algebras A_1,...,A_n. In this note we provide some results toward a classification of the indecomposable motives lying in the motivic decompositions of…