Search results for "Data type"
showing 10 items of 1183 documents
Topologically complex molecules obtained by transition metal templation: it is the presentation that determines the synthesis strategy
2013
Topological constructions made from closed curves range from simple links to intricate knots and started to capture the chemists' attention in the early sixties. These mathematical objects result from particular embeddings of a single or a set of closed curves in the three-dimensional space that show an infinite variety of presentations. Simple catenanes, higher order interlocked macrocycles, and molecular knots can be synthesized via the metal template approach, just as simple macrocycles. However, this requires that rigid presentations with appropriate geometrical characteristics be identified prior to molecular design, and those selected for the metal-templated synthesis of some of these…
On a class of compactly epi-Lipschitzian sets
2003
The paper is devoted to the study of the so-called compactly epi-Lipschitzian sets. These sets are needed for many aspects of generalized differentiation, particulary for necessary optimality conditions, stability of mathematical programming problems and calculus rules for subdifferentials and normal cones. We present general conditions under which sets defined by general constraints are compactly epi-Lipschitzian. This allows us to show how the compact epi-Lipschitzness properties behave under set intersections.
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
Lattice of closure endomorphisms of a Hilbert algebra
2019
A closure endomorphism of a Hilbert algebra [Formula: see text] is a mapping that is simultaneously an endomorphism of and a closure operator on [Formula: see text]. It is known that the set [Formula: see text] of all closure endomorphisms of [Formula: see text] is a distributive lattice where the meet of two elements is defined pointwise and their join is given by their composition. This lattice is shown in the paper to be isomorphic to the lattice of certain filters of [Formula: see text], anti-isomorphic to the lattice of certain closure retracts of [Formula: see text], and compactly generated. The set of compact elements of [Formula: see text] coincides with the adjoint semilattice of …
Bifurcations of links of periodic orbits in non-singular Morse–Smale systems with a rotational symmetry on S3
2000
Abstract In this paper we consider a rotational symmetry on a non-singular Morse–Smale (NMS) system analyzing the restrictions this symmetry imposes on the links defined by the set of its periodic orbits and to the appearance of local generic codimension one bifurcations in the set of NMS flows on S 3 . The topological characterization is obtained by writing the involved links in terms of Wada operations. It is also obtained that symmetry implies that in general bifurcations have to be multiple. On the other hand, we also see that there exists a set of links that cannot be related to any other by sequences of this kind of bifurcation.
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.