In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this framework we study verification and adversarial synthesis for specifications expressed in a variant of first-order μ-calculus, with a controlled form of quantification across succ...

In this article we introduce some new difference sequence spaces with a real 2-normed linear space as base space and which are defined using a sequence of Orlicz functions, a bounded sequence of positive real numbers and a sequence of non-zero reals as multiplier sequence. We show that these spaces are complete paranormed spaces when the base space is a 2-Banach space and investigate these spac...

This paper presents Type-Oriented Logic Meta Programming. The idea is based on a representation of programs as sets of logic propositions focusing on the type properties of the base-language program. This representation allows generation of base-level code from compiletime logic meta programs that manipulate code fragments and their type properties. We apply this idea to Java and present TyRuBa...

We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial synthesis for specifications expressed in a variant of first-order μ-calculus, with a controlled form of quantification across successive states. We provide key decidability resul...

We work primarily in the category of manifolds of bounded geometry. The objects are manifolds with bounds on the curvature tensor, its derivatives, and on the injectivity radius. The morphisms are diffeomorphisms of bounded distortion. We think of these manifolds as having a chosen bounded distortion class of metrics. Unless otherwise stated, all manifolds in the paper are assumed of this type....

in this paper‎, ‎we introduce a new class$t_{k}^{s,a}[a,b,alpha‎ ,‎beta ]$ of analytic functions by using a‎ ‎newly defined convolution operator‎. ‎this class contains many known classes of‎ ‎analytic and univalent functions as special cases‎. ‎we derived some‎ ‎interesting results including inclusion relationships‎, ‎a radius problem and‎ ‎sharp coefficient bound for this class‎.

We describe an equivalence between the notion of balanced twisted curve introduced by Abramovich and Vistoli, and a new notion of log twisted curve, which is a nodal curve equipped with some logarithmic data in the sense of Fontaine and Illusie. As applications of this equivalence, we construct a universal balanced twisted curve, prove that a balanced twisted curve over a general base scheme ad...

In this work, it is proved that a set of numbers closed under addition and whose representations in a rational base numeration system is a rational language is not a finitely generated additive monoid. A key to the proof is the definition of a strong combinatorial property on languages : the bounded left iteration property. It is both an unnatural property in usual formal language theory (as it...

In this paper we investigate some hereditary properties of amenability modulo an ideal of Banach algebras. We show that if $(e_alpha)_alpha$ is a bounded approximate identity modulo I of a Banach algebra A and X is a neo-unital modulo I, then $(e_alpha)_alpha$ is a bounded approximate identity for X. Moreover we show that amenability modulo an ideal of a Banach algebra A can be only considered ...

By computing the completely bounded norm of flip map on Haagerup tensor product [Formula: see text] associated to a pair continuous mappings locally compact Hausdorff spaces text], we establish simple characterization Beck-Chevalley condition for base change operator modules over commutative text]-algebras, and descent theorem fields Hilbert spaces.