Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

Contesting public accountability: A dialogical exploration of accountability and social housing

This paper analyses the interaction between neoliberal inspired reforms of public services and the mechanisms for achieving public accountability. Where once accountability was exercised through the ballot box, now in the neoliberal age managerial and market based forms of accountability predominate. The analysis identifies resistance from civil society campaigns to the neoliberal restructuring of public services which leads to public accountability (PA) becoming a contested arena. To develop this analysis a re-theorisation of PA, as a relationship where civil society seeks to control the state, is explored in the context of social housing in England over the past thirty years. Central to this analysis is a dialogical analysis of key documents from a social housing regulator and civil society campaign. The analysis shows that the current PA practices are an outcome of both reforms from the government and resistance from civil society (in the shape of tenants’ campaigns). The outcome of which is to tell the story of the changes in PA (and accountability) centring on an analysis of discourse. Thus, the paper moves towards answering the question – what has happened to PA during the neoliberal age?

The privatisation of council housing: Stock transfer and the struggle for accountable housing

A central element in the privatization of council housing has been the development of stock transfer policy. A variety of perspectives on this process have been explored including the impact on accountability relations; however, the tenants’ experience is almost completely absent from this literature. The paper develops a case study that draws on the experience of the tenants involved in a stock transfer. In the process stock transfers, and related accountability relations, are shown to be contested with tenant-led campaigns challenging this neoliberal inspired policy. The case study illustrates the power and financial resource asymmetries in transfer campaigns with a range of anti-democratic tactics employed by those pursuing the transfer. On the basis of a critique of neoliberalism, the stock transfer process is seen as an attack on the previous democratic control of council housing, which is replaced with ‘governance by experts and elites’ and private sector inspired corporate governance forms of accountability. Thus the paper seeks to answer two questions; how democratic is the transfer process and what are the long-term implications for democratic accountability in the social housing sector.

Establishing a minimum dataset for prospective registration of systematic reviews: an international consultation

Background: In response to growing recognition of the value of prospective registration of systematic review protocols, we planned to develop a web-based open access international register. In order for the register to fulfil its aims of reducing unplanned duplication, reducing publication bias, and providing greater transparency, it was important to ensure the appropriate data were collected. We therefore undertook a consultation process with experts in the field to identify a minimum dataset for registration. Methods and Findings: A two-round electronic modified Delphi survey design was used. The international panel surveyed included experts from areas relevant to systematic review including commissioners, clinical and academic researchers, methodologists, statisticians, information specialists, journal editors and users of systematic reviews. Direct invitations to participate were sent out to 315 people in the first round and 322 in the second round. Responses to an open invitation to participate were collected separately. There were 194 (143 invited and 51 open) respondents with a 100% completion rate in the first round and 209 (169 invited and 40 open) respondents with a 91% completion rate in the second round. In the second round, 113 (54%) of the participants reported having previously taken part in the first round. Participants were asked to indicate whether a series of potential items should be designated as optional or required registration items, or should not be included in the register. After the second round, a 70% or greater agreement was reached on the designation of 30 of 36 items. Conclusions: The results of the Delphi exercise have established a dataset of 22 required items for the prospective registration of systematic reviews, and 18 optional items. The dataset captures the key attributes of review design as well as the administrative details necessary for registration.

The effect of increasing dietary fibre and the provision of straw racks on the welfare of sows housed in small static groups

This study assessed the effects of increasing dietary fibre levels in concentrate rations and providing access to straw in racks on the welfare of pregnant sows housed in small static groups. In a 2 x 2 factorial design experiment, 128 Large White x Landrace pregnant sows were offered one of two diets: (i) High fibre diet with 9% crude fibre, or (ii) Control diet with 4.5% CF, and one of two levels of access to a foraging substrate: (i) access to straw in racks or (ii) no straw. The study was replicated eight times using groups of four sows, and treatment periods lasted four weeks. Sows were housed in pens with voluntary cubicles and a slatted exercise area and were offered a wet diet twice a day. Back-fat levels were measured before sows were mixed into groups at 28 days post partum, and four weeks later. Aggressive interactions were recorded on the day of mixing, and injury scores were recorded one week post mixing. Scan sampling was used to collect data on general activity, posture and location of the sows, and on sham-chewing and bar-biting behaviours across the treatment period. In addition, detailed focal observations were carried out on all sows across the treatment period. Straw usage was also recorded. There were no treatment effects on changes in back-fat levels over the treatment period. Treatments had no effect on post-mixing aggression or on injury scores. However, focal observations showed that sows with access to straw were involved in fewer bouts of head-thrusting over the treatment period. Control diet sows spent more time inactive than sows on the high fibre diet, however high fibre diet sows spent more time lying with eyes closed than sows on the control diet. Sows on the high fibre diet with access to straw showed less sham-chewing and bar-biting behaviour than sows in other treatments. These results show that although a diet containing 9% crude fibre promoted resting behaviour, it was necessary to combine it with access to straw to reduce stereotypic behaviour of sows in small static groups.

Production and Evaluation of Antibodies and Phage Display-Derived Peptide Ligands for Immunomagnetic Separation of Mycobacterium bovis

This study describes the development and optimization of an immunomagnetic separation (IMS) method to isolate Mycobacterium bovis cells from lymph node tissues. Gamma-irradiated whole M. bovis AF2122/97 cells and ethanol-extracted surface antigens of such cells were used to produce M. bovis-speci?c polyclonal and monoclonal antibodies in rabbits and mice. They were also used to generate M. bovis-speci?c peptide ligands by phage display biopanning. The various antibodies and peptide ligands obtained were used to coat MyOne tosyl-activated Dynabeads (Life Technologies), singly or in combination, and evaluated for IMS. Initially, M. bovis capture from Middlebrook 7H9 broth suspensions (concentration range, 10 to 10⁵ CFU/ml) was evaluated by IMS combined with an M. bovis-speci?c touchdown PCR. IMS-PCR results and, subsequently, IMS-culture results indicated that the beads with greatest immunocapture capability for M. bovis in broth were those coated simultaneously with a monoclonal antibody and a biotinylated 12-mer peptide. These dually coated beads exhibited minimal capture (mean of 0.36% recovery) of 12 other Mycobacterium spp. occasionally encountered in veterinary tuberculosis (TB) diagnostic laboratories. When the optimized IMS method was applied to various M. bovis-spiked lymph node matrices, it demonstrated excellent detection sensitivities (50% limits of detection of 3.16 and 57.7 CFU/ml of lymph node tissue homogenate for IMS-PCR and IMS-culture, respectively). The optimized IMS method therefore has the potential to improve isolation of M. bovis from lymph nodes and hence the diagnosis of bovine tuberculosis.

Scientific revolutions, progess and accounting research

Thomas Kuhn’s concept of a normal science paradigm has been utilised and criticised across a range of social science fields. However, Kuhn’s aim was to argue that science progresses not in an incremental manner but through a series of paradigms that need a revolution in thought to shift from one to the next. This paper addresses Kuhn’s work focusing on the totality of his model, but recognising the ambiguities concerning paradigm shifts that have led to charges of relativism. To address this weakness an argument is advanced for a political economy analysis of the publication process and the development of critical accounting research centred on human emancipation. The paper concludes with some suggested research agendas particularly relevant to the Irish context.

Initial Studies on the Occurrence of Cyanobacteria and Microcystins in Irish Lakes

We report the results of a synoptic survey at 14 sites across the north of Ireland undertaken to determine the occurrence of cyanobacteria and their constituent microcystin cyanotoxins. Seven microcystin toxins were tested for, and five of which were found, with MC-LR, MC-RR, and MC-YR being the most prevalent. Gomphosphaeria spp and Microcystis aeruginosa were the most dominant cyanobacterial species encountered. Together with Aphanizomenon flos-aquae, these were the cyanobacteria associated with the highest microcystin concentrations. The occurrence of several microcystin toxins indicates that there may potentially be more than one cyanobacteria species producing microcystins at many sites. Total microcystin concentrations varied over three orders of magnitude dividing the sites into two groups of high (>1000 ngMC/μgChla, six sites) or low toxicity (<200 ngMC/μgChla, eight sites). © 2010 Wiley Periodicals, Inc. Environ Toxicol, 2010.

Characterization of novel Ag on TiO2 films for surface-enhanced Raman scattering

Novel Ag on TiO₂ films are generated by semiconductor photocatalysis and characterized by ultraviolet-visible (UV/Vis) spectroscopy, scanning electron microscopy (SEM), and atomic force microscopy (AFM), as well as assessed for surface-enhanced Raman scattering (SERS) activity. The nature and thickness of the photodeposited Ag, and thus the degree of SERS activity, is controlled by the time of exposure of the TiO₂ film to UV light. All such films exhibit the optical characteristics (λ_max ≅ 390 nm) of small (<20 nm) Ag particles, although this feature becomes less prominent as the film becomes thicker. The films comprise quite large (>40 nm) Ag islands that grow and merge with increasing levels of Ag photodeposition. Tested with a benzotriazole dye probe, the films are SERS active, exhibiting activity similar to that of 6-nm-thick vapordeposited films. The Ag/TiO₂ films exhibit a lower residual standard deviation (∼25%) compared with Ag vapor-deposited films (∼45%), which is, however, still unacceptable for quantitative work. The sample-to-sample variance could be reduced significantly (<7%) by spinning the film during the SERS measurement. The Ag/TiO₂ films are mechanically robust and resistant to removal and damage by scratching, unlike the Ag vapor-deposited films. The Ag/TiO₂ films also exhibit no obvious loss of SERS activity when stored in the dark under otherwise ambient conditions. The possible extension of this simple, effective method of producing Ag films for SERS, to metals other than Ag and to semiconductors other than TiO₂, is briefly discussed. 

Feedback via Ca²⁺-activated ion channels modulates endothelin 1 signaling in retinal arteriolar smooth muscle

PURPOSE: To investigate the role of feedback by Ca²?-sensitive plasma-membrane ion channels in endothelin 1 (Et1) signaling in vitro and in vivo. Methods. Et1 responses were imaged from Fluo-4-loaded smooth muscle in isolated segments of rat retinal arteriole using two-dimensional (2-D) confocal laser microscopy. Vasoconstrictor responses to intravitreal injections of Et1 were recorded in the absence and presence of appropriate ion channel blockers using fluorescein angiograms imaged using a confocal scanning laser ophthalmoscope. Results. Et1 (10 nM) increased both basal [Ca²?](i) and the amplitude and frequency of Ca²?-waves in retinal arterioles. The Ca²?-activated Cl?-channel blockers DIDS and 9-anthracene carboxylic acid (9AC) blocked Et1-induced increases in wave frequency, and 9AC also inhibited the increase in amplitude. Iberiotoxin, an inhibitor of large conductance (BK) Ca²?-activated K?-channels, increased wave amplitude in the presence of Et1 but had no effect on frequency. None of these drugs affected basal [Ca²?](i). The voltage-operated Ca²?-channel inhibitor nimodipine inhibited wave frequency and amplitude and also lowered basal [Ca²?](i) in the presence of Et1. Intravitreal injection of Et1 caused retinal arteriolar vasoconstriction. This was inhibited by DIDS but not by iberiotoxin or penitrem A, another BK-channel inhibitor. Conclusions. Et1 evokes increases in the frequency of arteriolar Ca²?-waves in vitro, resulting in vasoconstriction in vivo. These responses, initiated by release of stored Ca²?, also require positive feedback via Ca²?-activated Cl?-channels and L-type Ca²?-channels.

Production of a monoclonal antibody and its application in an optical biosensor based assay for the quantitative measurement of Pantothenic Acid (Vitamin B5) in foodstuffs

Pantothenicacid (PA), vitamin B5, is an essential B vitamin that may be fortified in food and as such requires robust and accurate methods of detection to meet compliance legislation. This study reports the production and characterisation of the first monoclonalantibody (MAb) specific for PA and the subsequent development of a surface plasmon resonance (SPR) biosensorassay for the quantification of PA. The developed assay was compared with an SPR based commercial kit which utilised a polyclonal antibody (PAb). Foodstuffs, including cereals (n = 43), infant formulas and baby food (n = 10) and fruit juices (n = 48) were analysed by both the MAb and PAb biosensorassays and comparison plots showed good correlation (R2 0.77–0.99). The results indicate that the MAb basedbiosensorassay is suitable for the measurement of PA in foodstuffs and has the added advantage of facilitating a constant, long term supply of identical antibody. Preliminary matrix studies suggest the MAb basedassay is an excellent candidate for further validation studies and routine quality assurance based analysis.