Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements

Abstract. We propose an approach for incremental modeling of composite Web services. The technique takes into consideration both the functional and nonfunctional requirements of the composition. While the functional requirements are described using symbolic transition systems—transition systems augmented with state variables, function invocations, and guards; non-functional requirements are quantified using thresholds. The approach allows users to specify an abstract and possibly incomplete specification of the desired service (goal) that can be realized by selecting and composing a set of pre-existing services. In the event that such a composition is unrealizable, i.e. the composition is not functionally equivalent to the goal or the non-functional requirements are violated, our system provides the user with the causes for the failure, that can be used to appropriately reformulate the functional and/or non-functional requirements of the goal specification.

An epitaxial model for heterogeneous nucleation on potent substrates

© The Minerals, Metals & Materials Society and ASM International 2012In this article, we present an epitaxial model for heterogeneous nucleation on potent substrates. It is proposed that heterogeneous nucleation of the solid phase (S) on a potent substrate (N) occurs by epitaxial growth of a pseudomorphic solid (PS) layer on the substrate surface under a critical undercooling (ΔT ). The PS layer with a coherent PS/N interface mimics the atomic arrangement of the substrate, giving rise to a linear increase of misfit strain energy with layer thickness. At a critical thickness (h ), elastic strain energy reaches a critical level, at which point, misfit dislocations are created to release the elastic strain energy in the PS layer. This converts the strained PS layer to a strainless solid (S), and changes the initial coherent PS/N interface into a semicoherent S/N interface. Beyond this critical thickness, further growth will be strainless, and solidification enters the growth stage. It is shown analytically that the lattice misfit (f) between the solid and the substrate has a strong influence on both h and ΔT ; h decreases; and ΔT increases with increasing lattice misfit. This epitaxial nucleation model will be used to explain qualitatively the generally accepted experimental findings on grain refinement in the literature and to analyze the general approaches to effective grain refinement.EPSRC Centre for Innovative Manufacturing in Liquid Metal Engineerin

Energy Loss of Gluons, Baryons and k-Quarks in an N=4 SYM Plasma

We consider different types of external color sources that move through a strongly-coupled thermal N=4 super-Yang-Mills plasma, and calculate, via the AdS/CFT correspondence, the dissipative force (or equivalently, the rate of energy loss) they experience. A bound state of k quarks in the totally antisymmetric representation is found to feel a force with a nontrivial k-dependence. Our result for k=1 (or k=N-1) agrees at large N with the one obtained recently by Herzog et al. and Gubser, but contains in addition an infinite series of 1/N corrections. The baryon (k=N) is seen to experience no drag. Finally, a heavy gluon is found to be subject to a force which at large N is twice as large as the one experienced by a heavy quark, in accordance with gauge theory expectations.Comment: Latex 2e, 24 pages, 1 eps figure; v2: slightly amplified discussion on the relation between the drag force and the tension of a spatial Wilson loop; v3: minor changes, version to appear in JHE

Consistent interactions of dual linearized gravity in D=5: couplings with a topological BF model

Under some plausible assumptions, we find that the dual formulation of linearized gravity in D=5 can be nontrivially coupled to the topological BF model in such a way that the interacting theory exhibits a deformed gauge algebra and some deformed, on-shell reducibility relations. Moreover, the tensor field with the mixed symmetry (2,1) gains some shift gauge transformations with parameters from the BF sector.Comment: 63 pages, accepted for publication in Eur. Phys. J.

Seasonality and spatial heterogeneity of the surface ocean carbonate system in the northwest European continental shelf

In 2014–5 the UK NERC sponsored an 18 month long Shelf Sea Biogeochemistry research programme which collected over 1500 nutrient and carbonate system samples across the NW European Continental shelf, one of the largest continental shelves on the planet. This involved the cooperation of 10 different Institutes and Universities, using 6 different vessels. Additional carbon dioxide (CO2) data were obtained from the underway systems on three of the research vessels. Here, we present and discuss these data across 9 ecohydrodynamic regions, adapted from those used by the EU Marine Strategy Framework Directive (MSFD). We observed strong seasonal and regional variability in carbonate chemistry around the shelf in relation to nutrient biogeochemistry. Whilst salinity increased (and alkalinity decreased) out from the near-shore coastal waters offshore throughout the year nutrient concentrations varied with season. Spatial and seasonal variations in the ratio of DIC to nitrate concentration were seen that could impact carbon cycling. A decrease in nutrient concentrations and a pronounced under-saturation of surface pCO2 was evident in the spring in most regions, especially in the Celtic Sea. This decrease was less pronounced in Liverpool Bay and to the North of Scotland, where nutrient concentrations remained measurable throughout the year. The near-shore and relatively shallow ecosystems such as the eastern English Channel and southern North Sea were associated with a thermally driven increase in pCO2 to above atmospheric levels in summer and an associated decrease in pH. Non-thermal processes (such as mixing and the remineralisation of organic material) dominated in winter in most regions but especially in the northwest of Scotland and in Liverpool Bay. The large database collected will improve understanding of carbonate chemistry over the North-Western European Shelf in relation to nutrient biogeochemistry, particularly in the context of climate change and ocean acidification

“Reproducing the social”: Contradictory interconnections between land, cattle production and household relations in the Besters Land Reform Project, South Africa

Land redistribution policy in South Africa emphasises commercial farming as the legitimate use of land. This production-oriented framework fails to take into account the intertwined but unstable relationship between the production of market value and social reproduction, and how this shapes social differentiation. Drawing on a case study of the Besters Land Reform Project in the province of KwaZulu-Natal, the paper shows that land and cattle are not simply moments in the production of beef but material and discursive resources in (re)making the social conditions of the household. Cattle are used in drawn-out ceremonies that occur in specific spaces and stitch together families and communities pulled apart by rising inequality, making land constitutive of identity and belonging as well as of capitalist value production. Until land reform policy recognises the multi-functionality of land and cattle, and the contradictory relationship between functions, agricultural production will be a limited indicator of “success” or “failure.

Size Doesn't Matter: Towards a More Inclusive Philosophy of Biology

notes: As the primary author, O’Malley drafted the paper, and gathered and analysed data (scientific papers and talks). Conceptual analysis was conducted by both authors.publication-status: Publishedtypes: ArticlePhilosophers of biology, along with everyone else, generally perceive life to fall into two broad categories, the microbes and macrobes, and then pay most of their attention to the latter. ‘Macrobe’ is the word we propose for larger life forms, and we use it as part of an argument for microbial equality. We suggest that taking more notice of microbes – the dominant life form on the planet, both now and throughout evolutionary history – will transform some of the philosophy of biology’s standard ideas on ontology, evolution, taxonomy and biodiversity. We set out a number of recent developments in microbiology – including biofilm formation, chemotaxis, quorum sensing and gene transfer – that highlight microbial capacities for cooperation and communication and break down conventional thinking that microbes are solely or primarily single-celled organisms. These insights also bring new perspectives to the levels of selection debate, as well as to discussions of the evolution and nature of multicellularity, and to neo-Darwinian understandings of evolutionary mechanisms. We show how these revisions lead to further complications for microbial classification and the philosophies of systematics and biodiversity. Incorporating microbial insights into the philosophy of biology will challenge many of its assumptions, but also give greater scope and depth to its investigations

SARS-CoV-2-specific immune responses and clinical outcomes after COVID-19 vaccination in patients with immune-suppressive disease

Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) immune responses and infection outcomes were evaluated in 2,686 patients with varying immune-suppressive disease states after administration of two Coronavirus Disease 2019 (COVID-19) vaccines. Overall, 255 of 2,204 (12%) patients failed to develop anti-spike antibodies, with an additional 600 of 2,204 (27%) patients generating low levels (<380 AU ml−1). Vaccine failure rates were highest in ANCA-associated vasculitis on rituximab (21/29, 72%), hemodialysis on immunosuppressive therapy (6/30, 20%) and solid organ transplant recipients (20/81, 25% and 141/458, 31%). SARS-CoV-2-specific T cell responses were detected in 513 of 580 (88%) patients, with lower T cell magnitude or proportion in hemodialysis, allogeneic hematopoietic stem cell transplantation and liver transplant recipients (versus healthy controls). Humoral responses against Omicron (BA.1) were reduced, although cross-reactive T cell responses were sustained in all participants for whom these data were available. BNT162b2 was associated with higher antibody but lower cellular responses compared to ChAdOx1 nCoV-19 vaccination. We report 474 SARS-CoV-2 infection episodes, including 48 individuals with hospitalization or death from COVID-19. Decreased magnitude of both the serological and the T cell response was associated with severe COVID-19. Overall, we identified clinical phenotypes that may benefit from targeted COVID-19 therapeutic strategies