8,680 research outputs found
Contractual Testing
Variants of must testing approach have been successfully applied in Service Oriented Computing for capturing compliance between (contracts exposed by) a client and a service and for characterising safe replacement, namely
the fact that compliance is preserved when a service exposing a ’smaller’ contract is replaced by another one with a ’larger’ contract. Nevertheless, in multi-party
interactions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the
description of uncoordinated multiparty contexts or contexts that are unable to observe the complete behaviour of the process under test. In this paper we propose an extended notion of must preorder, called contractual preorder, according to which contracts are compared according to their ability to pass only the tests belonging to a given set. We show the generality of our framework by proving that preorders induced by existing notions of compliance in a distributed setting are instances of the contractual preorder when restricting to suitable sets of observers
Linking eye design with host symbiont relationships in pontoniine shrimps (crustacea, decapoda, palaemonidae)
Symbiosis is prevalent in the marine environment with many studies examining the effects of such interactions between host and symbiont. Pontoniine shrimps are a group whose ecology is characterised by symbiotic interactions. This investigation examines the gross morphology of Pontoniinae compound eyes and superficial optical parameters with reference to their symbiotic relationship or lifestyle category; free-living, ectosymbiont, endosymbiont (bivalves) or endosymbiont (non-bivalves). The eye morphologies of free-living and ectosymbiotic species are very similar, yet differ from both forms of endosymbiotic species. Endosymbionts have significantly smaller and simpler eyes with larger facets and bigger interommatidial angles and eye parameters for increased sensitivity levels. However bivalve endosymbionts form an intermediary group between non-bivalve endosymbionts and ectosymbionts as a result of their more active lifestyle. The accessory eye or "nebenauge", although of uncertain function, commonly occurs in free-living Pontoniinae species but rarely in endosymbionts apart from in more primitive species. The variation in morphology reflects tensions between functional requirements and ecological pressures that have strongly influenced eye design in Pontoniinae. © 2014 Dobson et al
Dark matter cores in the Fornax and Sculptor dwarf galaxies: joining halo assembly and detailed star formation histories
We combine the detailed Star Formation Histories of the Fornax and Sculptor
dwarf Spheroidals with the Mass Assembly History of their dark matter (DM) halo
progenitors to estimate if the energy deposited by Supernova type II (SNeII) is
sufficient to create a substantial DM core. Assuming the efficiency of energy
injection of the SNeII into DM particles is , we find
that a single early episode, , that combines the
energy of all SNeII due to explode over 0.5 Gyr, is sufficient to create a core
of several hundred parsecs in both Sculptor and Fornax. Therefore, our results
suggest that it is energetically plausible to form cores in Cold Dark Matter
(CDM) halos via early episodic gas outflows triggered by SNeII. Furthermore,
based on CDM merger rates and phase-space density considerations, we argue that
the probability of a subsequent complete regeneration of the cusp is small for
a substantial fraction of dwarf-size haloes.Comment: ApJL accepted versio
Towards a Formal Verification Methodology for Collective Robotic Systems
We introduce a UML-based notation for graphically modeling
systems’ security aspects in a simple and intuitive
way and a model-driven process that transforms graphical
specifications of access control policies in XACML. These
XACML policies are then translated in FACPL, a policy
language with a formal semantics, and the resulting policies
are evaluated by means of a Java-based software tool
Variational approach to gravitational theories with two independent connections
A new variational approach for general relativity and modified theories of
gravity is presented. In addition to the metric tensor, two independent affine
connections enter the action as dynamical variables. In the matter action the
dependence upon one of the connections is left completely unspecified. When the
variation is applied to the Einstein-Hilbert action the Einstein field
equations are recovered. However when applied to and Scalar-Tensor
theories, it yields gravitational field equations which differ from their
equivalents obtained with a metric or Palatini variation and reduce to the
former ones only when no connections appear in the matter action.Comment: 11 pages, no figure
Metabolic and functional consequences of cytosolic 5′-nucleotidase-IA overexpression in neonatal rat cardiomyocytes
Adenosine exerts a spectrum of energy-preserving actions on the heart negative chronotropic effects. The pathways leading to adenosine formation have remained controversial. In particular, although cytosolic 5′-nucleotidases can catalyze adenosine formation in cardiomyocytes, their contribution to the actions of adenosine has not been documented previously. We recently cloned two closely related AMP-preferring cytosolic 5′-nucleotidases (cN-IA and -IB); the A form predominates in the heart. In this study, we overexpressed pigeon cN-IA in neonatal rat cardiomyocytes using an adenovirus. cN-IA overexpression increased adenosine formation and release into the medium caused by simulated hypoxia and by isoproterenol in the absence and presence of inhibitors of adenosine metabolism. Adenosine release was not affected by an ecto-5′-nucleotidase inhibitor, α,β-methylene-ADP, but was affected by a nucleoside transporter, dipyridamole. The positive chronotropic effect of isoproterenol (130 ±3 vs. 100 ±4 beats/min) was inhibited (107 ±3 vs. 94 ±3 beats/min) in cells overexpressing cN-IA, and this was reversed by the addition of the adenosine receptor antagonist 8-(p-sulfophenyl)theophilline (120 ± 3 vs. 90 ± 4 beats/min). Our results demonstrate that overexpressed cN-IA can be sufficiently active in cardiomyocytes to generate physiologically effective concentrations of adenosine at its receptors.Fil: Sala-Newby, Graciela B.. University of Bristol; Reino UnidoFil: Freeman, Nicola V. E.. University of Bristol; Reino UnidoFil: Curto, Maria de Los Angeles. University of Bristol; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; ArgentinaFil: Newby, Andrew C.. University of Bristol; Reino Unid
Entropic uncertainty relations for electromagnetic beams
The symplectic tomograms of 2D Hermite--Gauss beams are found and expressed
in terms of the Hermite polynomials squared. It is shown that measurements of
optical-field intensities may be used to determine the tomograms of
electromagnetic-radiation modes. Furthermore, entropic uncertainty relations
associated with these tomograms are found and applied to establish the
compatibility conditions of the the field profile properties with
Hermite--Gauss beam description. Numerical evaluations for some Hermite--Gauss
modes illustrating the corresponding entropic uncertainty relations are finally
given.Comment: Invited talk at the XV Central European Workshop on Quantum Optics
(Belgrade, Serbia, 30 May -- 3 June 2008), to appear in Physica Scripta
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic π-calculus can be provided that guarantees associativity of parallel composition
Insights into the morphology of symbiotic shrimp eyes (Crustacea, Decapoda, Palaemonidae); the effects of habitat demands
Morphometric differences in the optical morphology of symbiotic palaemonid shrimps can be observed among species symbiotic with different host organisms. Discriminant functional analysis revealed three distinct groups within the species examined. Of these, bivalve symbionts appear to have an eye design that is solely unique to this host-symbiont grouping, a design that spans across multiple genera of phylogenetically unrelated animals. Although some taxonomic effects may be evident, this does not explain the difference and similarities in eye morphology that are seen within these shrimps. Therefore evolutionary pressures from their host environments are having an impact on the optical morphology of their eyes however, as indicated by host-hopping events there ecological adaptations occur post host invasion
- …