Related papers: Composition Conditions for Classes of Analytic Fun…
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.
We characterize stability under composition, inversion, and solution of ordinary differential equations for ultradifferentiable classes, and prove that all these stability properties are equivalent.
Let $(W,S)$ be a Coxeter system, let $\varphi$ be a weight function on $S$ and let ${\mathrm{Cact}}\_W$ denote the associated {\it cactus group}. Following an idea of I. Losev, we construct an action of ${\mathrm{Cact}}\_W \times…
Construction of analytic functions, which determine bounded Toeplitz operators
Trees are partial orderings where every element has a linearly ordered set of smaller elements. We define and study several natural notions of completeness of trees, extending Dedekind completeness of linear orders and Dedekind-MacNeille…
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…
Ordinal analysis induces a partition of $\Sigma^1_1$-definable and $\Pi^1_1$-sound theories whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence relation $\equiv$ is finer than the…
We consider finite range Gibbs fields and provide a purely combinatorial proof of the exponential tree decay of semi--invariants, supposing that the logarithm of the partition function can be expressed as a sum of suitable local functions…
We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional…
We give a general method that may be effectively applied to the question of whether two components of a function space have the same homotopy type. We describe certain group-like actions on function spaces. Our basic results assert that if…
The paper is devoted to obtain first and second order necessary optimality conditions for continuous-time optimization problems with equality and inequality constraints. A full rank type regularity condition along with an uniform implicit…
We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…
We achieve compositions rules for the geometric parameters of the composed rotations, which is in a certain sense analogous to the well known Rodrigues formula. We also obtain a necessary and sufficient condition for a composition of two…
We introduce a join construction as a way of completing the description of the relative conormal space of an analytic function on a complex analytic space that has a non-vanishing derivative at the origin. Then we show how to obtain a…
Necessary and sufficient conditions for the regularity of solutions of the functional equation appearing in the theory of classical orthogonal polynomials on lattices are stated. Moreover, the functional Rodrigues formula and a closed…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if…
We obtain necessary and sufficient conditions to characterize the boundedness of the composition of dyadic paraproduct operators.
In this chapter are given necessary and sufficient conditions for the regularity of solutions of the functional equation appearing in the theory of classical orthogonal polynomials. In addition, we also present the functional Rodrigues…
This is the fourth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part IV), we give constructions of the…