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.

Motor skill deficits in children with partial hearing

AIM:
We examined the effect of partial hearing, including cochlear implantation, on the development of motor skills in children (aged 6-12y).

METHOD:
Three independent groups of children were selected: a partial hearing group (n=25 [14 males, 11 females]; mean age 8y 8mo, SD 1y 10mo), a nonverbal IQ-matched group (n=27 [15 males, 12 females]; mean age 9y, SD 1y 6mo), and an age-matched group (n=26 [8 males, 18 females]; mean age 8y 8mo, SD 1y 7mo) from three schools with special units for children with partial hearing. All children with partial hearing had a bilateral hearing loss >60 decibels. Motor and balance skills were assessed using the Movement Assessment Battery for Children (MABC) and two protocols from the NeuroCom Balance Master clinical procedures.

RESULTS:
The mean standardized total MABC score of the children with partial hearing (95% confidence interval [CI] 71.8-88.7) was significantly lower than both the age-matched (95% CI 95.8-111.4; p<0.01) and the IQ-matched (95% CI 87.6-103.0; p=0.03) comparison groups. The children with partial hearing had particular difficulties with balance, most notably during tests of intersensory demand. However, subgroup analyses revealed that the effect of cochlear implantation was clearly dependent on the nature of the task.

INTERPRETATION:
Children with partial hearing are at high risk of clinical levels of motor deficit, with balance difficulties providing support for conventional vestibular deficit theory. However, the effect of cochlear implantation suggests that other sensory systems may be involved. A broader ecological perspective, which takes into account factors external to the child, may prove a useful framework for future research.

Approximating the Set of Local Minima in Partial RNA Folding Landscapes

Motivation: We study a stochastic method for approximating the set of local minima in partial RNA folding landscapes associated with a bounded-distance neighbourhood of folding conformations. The conformations are limited to RNA secondary structures without pseudoknots. The method aims at exploring partial energy landscapes pL induced by folding simulations and their underlying neighbourhood relations. It combines an approximation of the number of local optima devised by Garnier and Kallel (2002) with a run-time estimation for identifying sets of local optima established by Reeves and Eremeev (2004).

Results: The method is tested on nine sequences of length between 50 nt and 400 nt, which allows us to compare the results with data generated by RNAsubopt and subsequent barrier tree calculations. On the nine sequences, the method captures on average 92% of local minima with settings designed for a target of 95%. The run-time of the heuristic can be estimated by O(n2D?ln?), where n is the sequence length, ? is the number of local minima in the partial landscape pL under consideration and D is the maximum number of steepest descent steps in attraction basins associated with pL.

QUANTIFICATION AND PARTIAL CHARACTERIZATION OF REGULATORY PEPTIDES IN THE LIVER FLUKE, FASCIOLA-HEPATICA, FROM DIFFERENT MAMMALIAN HOSTS

1. Extracts of the liver fluke, Fasciola hepatica from three different hosts (cow, sheep, rat) have been subjected to radioimmunoassay using antisera to 6 mammalian regulatory peptides.

FASCIOLA-HEPATICA - LOCALIZATION AND PARTIAL CHARACTERIZATION OF TUBULIN

The localisation and distribution of the cytoskeletal protein tubulin in the adult liver fluke Fasciola hepatica have been determined by an indirect immunofluorescence technique using a monoclonal antibody raised against beta-tubulin. Tubulin was demonstrated in the tegumental syncytium and in the tegumental cell bodies and their cytoplasmic connections with the surface syncytium. Immunostaining was also evident in the nerve fibres innervating sensory receptors in the tegument, in the nerve plexus innervating the sub-tegumental musculature and in the cytoplasmic extensions of the nurse cells within the vitelline follicle. Immunoblotting of whole fluke fractions produced a single band corresponding to a molecule of approximately 54 kDa in size. This figure corresponds with previous data obtained on tubulin from other helminth and eukaryotic sources.

ISOLATION AND PARTIAL SEQUENCING OF A PANCREATIC POLYPEPTIDE-LIKE NEUROPEPTIDE FROM THE LIVER FLUKE, FASCIOLA-HEPATICA

1. A pancreatic polypeptide (PP)-immunoreactive neuropeptide has been isolated and partially sequenced from the liver fluke, Fasciola hepatica.