Fix a smooth very ample curve C on a K3 or abelian surface X . Let M denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X , of a line bundle of degree d over C, and s is a nonzero section of F . Assume d to be sufficiently large such that F has a nonzero section. The...

Non-perturbative instanton corrections to the moduli space geometry of type IIA string theory compactified on a Calabi-Yau space are derived and found to contain order e−1/gs contributions, where gs is the string coupling. The computation reduces to a weighted sum of supersymmetric extremal maps of strings, membranes and fivebranes into the Calabi-Yau space, all three of which enter on equal fo...

Security problems in collaborative work between multiple agencies are less well understood than those in the business and defence worlds. We develop a perspective for policies and models that is task-based on a need-toknow basis. These policies are represented by two protocols, the first CTCP (Collaboration Task-based Creation Protocol) dealing with negotiation, decision and agreement between t...

Dependently typed programming uses precise variants of data structures to ensure program correctness in an economical way, but designing reusable libraries for all possible variants of data structures is a difficult problem. The authors addressed the problem by extending McBride’s ornaments to a framework of ornaments and refinements to support a modular structure for dependently typed librarie...

We show the existence of an exponential attractor for non-autono-mous dynamical system with bounded delay. considered case strong dissipativity then prove that result remains weak dissipativity. conclude global and ensure boundedness its fractal dimension.

In (Golchin A. and Rezaei P., Subpullbacks and flatness properties of S-posets. Comm. Algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets  over a pomonoid  that can be described by surjectivity of  corresponding to certain (sub)pullback diagrams and new properties such as  and  were discovered. In this article first of all we describe po-flatness propertie...

Abstract Various inequivalent notions of attraction for autonomous dynamical systems have been proposed, each them useful to understand specific aspects attraction. Milnor’s notion a measure attractor considers invariant sets with positive basin attraction, while Ilyashenko’s weaker statistical points that approach the set in terms averages. In this paper we propose generalisations these nonaut...

Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this paper, the least (fibre-wise) of such liftings, L(B), is characterized for essentially any B. The lifting has all the useful properties of the relation lifting due to Jacobs, without the usual assumption of weak pullback ...

The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the Church-Turing hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Category theory provides the necessary coordinate-free mathematical language which is both constructive and non...