Related papers: Limit Models in Metric Abstract Elementary Classes…
Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \textit{abstract} models for arguing with uncertainty. Following…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
A new framework for deriving equations of motion for constrained quantum systems is introduced, and a procedure for its implementation is outlined. In special cases the framework reduces to a quantum analogue of the Dirac theory of…
Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes…
We present a categorical framework for relating causal models that represent the same system at different levels of abstraction. We define a causal abstraction as natural transformations between appropriate Markov functors, which concisely…
By calculating the O(\alpha_s) corrections to inclusive heavy-to-light sum rules we find model independent upper and lower bounds on form factors for B to pi and B to rho. We use the bounds to rule out model predictions. Some models violate…
The aim of this text is to extend the theory of generalized ordinary differential equations to the setting of metric spaces. We present existence and uniqueness theorems that significantly improve previous results even when restricted back…
We introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories The general approach is applied to describe these properties for classes of $\omega$-categorical…
We use stellar dynamics arguments to constrain the relevant parameters of ungravity inspired models. We show that resulting bounds do constrain the parameters of the theory of unparticles, as far as its energy scale satisfies the condition…
High complexity models are notorious in machine learning for overfitting, a phenomenon in which models well represent data but fail to generalize an underlying data generating process. A typical procedure for circumventing overfitting…
We study versions of strict Mittag-Leffler modules relativized to a class $\cK$ (of modules), that is, \emph{strict} versions (in the technical sense of Raynaud and Gruson) of $\cK$-Mittag-Leffler modules, as investigated in the preceding…
In this note we investigate to what extent the fundamental group of a metric space can be described as the inverse limit of its discrete fundamental groups. We show that some mild conditions suffice to imply the existence of an isomorphism…
In this sequence, we first prove an abstract Morse index theorem in a Hilbert space modeling a variational problem with constraints. Then, our abstract formulation is applied to study several optimization setups including closed CMC…
Computing moments of various parameter estimators related to an autoregressive model of Statistics, one needs to evaluate several non-trivial limits. This was done by arXiv:1506.03131 for the case of two, three and four dimensions; in this…
The basic formalism of a novel scale invarinat nonlinear analysis is presented. A few analytic number theoretic results are derived independent of standard approaches.
In this paper we adopt a category-theoretic approach to the conception of automata classes enjoying minimization by design. The main instantiation of our construction is a new class of automata that are hybrid between deterministic automata…
New measures for the quantization of systems with constraints are discussed and applied to several examples, in particular, examples of alternative but equivalent formulations of given first-class constraints, as well as a comparison of…
We study the framework of abductive logic programming extended with integrity constraints. For this framework, we introduce a new measure of the simplicity of an explanation based on its degree of \emph{arbitrariness}: the more arbitrary…
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we…
We study the limiting object of a sequence of Markov chains analogous to the limits of graphs, hypergraphs, and other objects which have been studied. Following a suggestion of Aldous, we assign to a sequence of finite Markov chains with…