Search results for "Abstract data type"
showing 10 items of 1140 documents
A characterization of regular circular languages generated by marked splicing systems
2009
AbstractSplicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. A splicing system is defined by giving an initial set I and a set R of rules. Some unanswered questions are related to the computational power of circular splicing systems. In particular, a still open question is to find a characterization of circular languages generated by finite circular splicing systems (i.e., circular splicing systems with both I and R finite sets). In this paper we introduce a special class of the latter systems named marked systems. We prove that a marked system S generates a regular circular language if an…
Set-valued Brownian motion
2015
Brownian motions, martingales, and Wiener processes are introduced and studied for set valued functions taking values in the subfamily of compact convex subsets of arbitrary Banach space $X$. The present paper is an application of one the paper of the second author in which an embedding result is obtained which considers also the ordered structure of $ck(X)$ and f-algebras.
Weyl's Theorems and Extensions of Bounded Linear Operators
2012
A bounded operator $T\in L(X)$, $X$ a Banach space, is said to satisfy Weyl's theorem if the set of all spectral points that do not belong to the Weyl spectrum coincides with the set of all isolated points of the spectrum which are eigenvalues and having finite multiplicity. In this article we give sufficient conditions for which Weyl's theorem for an extension $\overline T$ of $T$ (respectively, for $T$) entails that Weyl's theorem holds for $T$ (respectively, for $\overline T$).
Torsors for Difference Algebraic Groups
2016
We introduce a cohomology set for groups defined by algebraic difference equations and show that it classifies torsors under the group action. This allows us to compute all torsors for large classes of groups. We also develop some tools for difference algebraic geometry and present an application to the Galois theory of differential equations depending on a discrete parameter.
An invariant analytic orthonormalization procedure with an application to coherent states
2007
We discuss a general strategy which produces an orthonormal set of vectors, stable under the action of a given set of unitary operators Aj, j=1,2,n, starting from a fixed normalized vector in H and from a set of unitary operators. We discuss several examples of this procedure and, in particular, we show how a set of coherentlike vectors can be produced and in which condition over the lattice spacing this can be done. © 2007 American Institute of Physics.
Local structure of self-affine sets
2011
The structure of a self-similar set with open set condition does not change under magnification. For self-affine sets the situation is completely different. We consider planar self-affine Cantor sets E of the type studied by Bedford, McMullen, Gatzouras and Lalley, for which the projection onto the horizontal axis is an interval. We show that within small square neighborhoods of almost each point x in E, with respect to many product measures on address space, E is well approximated by product sets of an interval and a Cantor set. Even though E is totally disconnected, the limit sets have the product structure with interval fibres, reminiscent to the view of attractors of chaotic differentia…
Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
2019
We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a …
FOURIER TRANSFORMS, FRACTIONAL DERIVATIVES, AND A LITTLE BIT OF QUANTUM MECHANICS
2020
We discuss some of the mathematical properties of the fractional derivative defined by means of Fourier transforms. We first consider its action on the set of test functions $\Sc(\mathbb R)$, and then we extend it to its dual set, $\Sc'(\mathbb R)$, the set of tempered distributions, provided they satisfy some mild conditions. We discuss some examples, and we show how our definition can be used in a quantum mechanical context.
Removable sets for intrinsic metric and for holomorphic functions
2019
We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of "thin" sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative.
Hierarchical Syntactic Models for Human Activity Recognition through Mobility Traces
2019
AbstractRecognizing users’ daily life activities without disrupting their lifestyle is a key functionality to enable a broad variety of advanced services for a Smart City, from energy-efficient management of urban spaces to mobility optimization. In this paper, we propose a novel method for human activity recognition from a collection of outdoor mobility traces acquired through wearable devices. Our method exploits the regularities naturally present in human mobility patterns to construct syntactic models in the form of finite state automata, thanks to an approach known asgrammatical inference. We also introduce a measure ofsimilaritythat accounts for the intrinsic hierarchical nature of su…