186,365 research outputs found
Seiberg-Witten-Floer homology of a surface times a circle for non-torsion spin-c structures
We determine the Seiberg-Witten-Floer homology groups of the three-manifold
which is the product of a surface of genus times the circle,
together with its ring structure, for spin-c structures which are non-trivial
on the three-manifold. We give applications to computing Seiberg-Witten
invariants of four-manifolds which are connected sums along surfaces and also
we reprove the higher type adjunction inequalities previously obtained by
Oszv\'ath and Szab\'o.Comment: 26 pages, no figures, Latex2e, to appear in Math. Nac
Integrated management of hierarchical levels: towards a CAPE tool
The integration of decision-making procedures usually assigned to different hierarchical production systems requires the use of complex mathematical models and high computational efforts, in addition to the need of an extensive management of data and knowledge within the production systems. This work addresses this integration problem and proposes a comprehensive solution approach, as well as guidelines for Computer Aided Process Engineering (CAPE) tools managing the corresponding cyberinfrastructure. This study presents a methodology based on a domain ontology which is used as the connector between the introduced data, the different available formulations developed to solve the decision-making problem, and the necessary information to build the finally required problem instance. The methodology has demonstrated its capability to help exploiting different available decision-making problem formulations in complex cases, leading to new applications and/or extensions of these available formulations in a robust and flexible way.Peer ReviewedPostprint (author's final draft
Spin(7)-instantons, stable bundles and the Bogomolov inequality for complex 4-tori
Using gauge theory for Spin(7)-manifolds of dimension 8, we develop a
procedure, called Spin-rotation, which transforms a (stable) holomorphic
structure on a vector bundle over a complex torus of dimension 4 into a new
holomorphic structure over a different complex torus. We show non-trivial
examples of this procedure by rotating a decomposable Weil abelian variety into
a non-decomposable one. As a byproduct, we obtain a Bogomolov type inequality,
which gives restrictions for the existence of stable bundles on an abelian
variety of dimension 4, and show examples in which this is stronger than the
usual Bogomolov inequality.Comment: 40 pages, no figures; v2. To appear in Journal de math\'ematiques
pures et appliqu\'ee
Evolution Oriented Monitoring oriented to Security Properties for Cloud Applications
Internet is changing from an information space to a dynamic computing
space. Data distribution and remotely accessible software
services, dynamism, and autonomy are prime attributes. Cloud technology
offers a powerful and fast growing approach to the provision
of infrastructure (platform and software services) avoiding the high
costs of owning, operating, and maintaining the computational
infrastructures required for this purpose. Nevertheless, cloud technology
still raises concerns regarding security, privacy, governance,
and compliance of data and software services offered through it.
Concerns are due to the difficulty to verify security properties of
the different types of applications and services available through
cloud technology, the uncertainty of their owners and users about
the security of their services, and the applications based on them,
once they are deployed and offered through a cloud. This work
presents an innovative and novel evolution-oriented, cloud-specific
monitoring model (including an architecture and a language) that
aim at helping cloud application developers to design and monitor
the behavior and functionality of their applications in a cloud
environment.Universidad de Málaga. Campus de Excelencia Internacional AndalucĂa Tech
The Rejection of Consequentializing
Consequentialists say we may always promote the good. Deontologists object: not if that means killing one to save five. “Consequentializers” reply: this act is wrong, but it is not for the best, since killing is worse than letting die. I argue that this reply undercuts the “compellingness” of consequentialism, which comes from an outcome-based view of action that collapses the distinction between killing and letting die
- …