Specifying ODP computational objects in Z

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved

Specifying ODP Computational Objects in Z

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved

Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

Phosphodiesterase type 4 anchoring regulates cAMP signaling to Popeye domain-containing proteins.

Cyclic AMP is a ubiquitous second messenger used to transduce intracellular signals from a variety of Gs-coupled receptors. Compartmentalisation of protein intermediates within the cAMP signaling pathway underpins receptor-specific responses. The cAMP effector proteins protein-kinase A and EPAC are found in complexes that also contain phosphodiesterases whose presence ensures a coordinated cellular response to receptor activation events. Popeye domain containing (POPDC) proteins are the most recent class of cAMP effectors to be identified and have crucial roles in cardiac pacemaking and conduction. We report the first observation that POPDC proteins exist in complexes with members of the PDE4 family in cardiac myocytes. We show that POPDC1 preferentially binds the PDE4A sub-family via a specificity motif in the PDE4 UCR1 region and that PDE4s bind to the Popeye domain of POPDC1 in a region known to be susceptible to a mutation that causes human disease. Using a cell-permeable disruptor peptide that displaces the POPDC1-PDE4 complex we show that PDE4 activity localized to POPDC1 modulates cycle length of spontaneous Ca2+ transients firing in intact mouse sinoatrial nodes

REFERQUAL: A pilot study of a new service quality assessment instrument in the GP Exercise Referral scheme setting

Background The development of an instrument accurately assessing service quality in the GP Exercise Referral Scheme (ERS) industry could potentially inform scheme organisers of the factors that affect adherence rates leading to the implementation of strategic interventions aimed at reducing client drop-out. Methods A modified version of the SERVQUAL instrument was designed for use in the ERS setting and subsequently piloted amongst 27 ERS clients. Results Test re-test correlations were calculated via Pearson's 'r' or Spearman's 'rho', depending on whether the variables were Normally Distributed, to show a significant (mean r = 0.957, SD = 0.02, p < 0.05; mean rho = 0.934, SD = 0.03, p < 0.05) relationship between all items within the questionnaire. In addition, satisfactory internal consistency was demonstrated via Cronbach's 'α'. Furthermore, clients responded favourably towards the usability, wording and applicability of the instrument's items. Conclusion REFERQUAL is considered to represent promise as a suitable tool for future evaluation of service quality within the ERS community. Future research should further assess the validity and reliability of this instrument through the use of a confirmatory factor analysis to scrutinise the proposed dimensional structure

Associations between cardiorespiratory fitness, physical activity and clustered cardiometabolic risk in children and adolescents: the HAPPY study

Clustering of cardiometabolic risk factors can occur during childhood and predisposes individuals to cardiometabolic disease. This study calculated clustered cardiometabolic risk in 100 children and adolescents aged 10-14 years (59 girls) and explored differences according to cardiorespiratory fitness (CRF) levels and time spent at different physical activity (PA) intensities. CRF was determined using a maximal cycle ergometer test, and PA was assessed using accelerometry. A cardiometabolic risk score was computed as the sum of the standardised scores for waist circumference, blood pressure, total cholesterol/high-density lipoprotein ratio, triglycerides and glucose. Differences in clustered cardiometabolic risk between fit and unfit participants, according to previously proposed health-related threshold values, and between tertiles for PA subcomponents were assessed using ANCOVA. Clustered risk was significantly lower (p < 0.001) in the fit group (mean 1.21 ± 3.42) compared to the unfit group (mean -0.74 ± 2.22), while no differences existed between tertiles for any subcomponent of PA. Conclusion These findings suggest that CRF may have an important cardioprotective role in children and adolescents and highlights the importance of promoting CRF in youth

First measurement of neutrino oscillation parameters using neutrinos and antineutrinos by NOvA.

The NOvA experiment has seen a 4.4σ signal of ν[over ¯]_{e} appearance in a 2&nbsp;GeV ν[over ¯]_{μ} beam at a distance of 810&nbsp;km. Using 12.33×10^{20} protons on target delivered to the Fermilab NuMI neutrino beamline, the experiment recorded 27 ν[over ¯]_{μ}→ν[over ¯]_{e} candidates with a background of 10.3 and 102 ν[over ¯]_{μ}→ν[over ¯]_{μ} candidates. This new antineutrino data are combined with neutrino data to measure the parameters |Δm_{32}^{2}|=2.48_{-0.06}^{+0.11}×10^{-3}  eV^{2}/c^{4} and sin^{2}θ_{23} in the ranges from (0.53-0.60) and (0.45-0.48) in the normal neutrino mass hierarchy. The data exclude most values near δ_{CP}=π/2 for the inverted mass hierarchy by more than 3σ and favor the normal neutrino mass hierarchy by 1.9σ and θ_{23} values in the upper octant by 1.6σ

Observation of seasonal variation of atmospheric multiple-muon events in the NOvA Near Detector

Using two years of data from the NOvA Near Detector at Fermilab, we report a seasonal variation of cosmic ray induced multiple-muon (Nμ≥2) event rates which has an opposite phase to the seasonal variation in the atmospheric temperature. The strength of the seasonal multiple-muon variation is shown to increase as a function of the muon multiplicity. However, no significant dependence of the strength of the seasonal variation of the multiple-muon variation is seen as a function of the muon zenith angle, or the spatial or angular separation between the correlated muons

The EpsE Flagellar Clutch Is Bifunctional and Synergizes with EPS Biosynthesis to Promote Bacillus subtilis Biofilm Formation

Many bacteria inhibit motility concomitant with the synthesis of an extracellular polysaccharide matrix and the formation of biofilm aggregates. In Bacillus subtilis biofilms, motility is inhibited by EpsE, which acts as a clutch on the flagella rotor to inhibit motility, and which is encoded within the 15 gene eps operon required for EPS production. EpsE shows sequence similarity to the glycosyltransferase family of enzymes, and we demonstrate that the conserved active site motif is required for EPS biosynthesis. We also screen for residues specifically required for either clutch or enzymatic activity and demonstrate that the two functions are genetically separable. Finally, we show that, whereas EPS synthesis activity is dominant for biofilm formation, both functions of EpsE synergize to stabilize cell aggregates and relieve selective pressure to abolish motility by genetic mutation. Thus, the transition from motility to biofilm formation may be governed by a single bifunctional enzyme

Feasibility Study of a Wearable Exoskeleton for Children: Is the Gait Altered by Adding Masses on Lower Limbs?

We are designing a pediatric exoskeletal ankle robot (pediatric Anklebot) to promote gait habilitation in children with Cerebral Palsy (CP). Few studies have evaluated how much or whether the unilateral loading of a wearable exoskeleton may have the unwanted effect of altering significantly the gait. The purpose of this study was to evaluate whether adding masses up to 2.5 kg, the estimated overall added mass of the mentioned device, at the knee level alters the gait kinematics. Ten healthy children and eight children with CP, with light or mild gait impairment, walked wearing a knee brace with several masses. Gait parameters and lower-limb joint kinematics were analyzed with an optoelectronic system under six conditions: without brace (natural gait) and with masses placed at the knee level (0.5, 1.0, 1.5, 2.0, 2.5 kg). T-tests and repeated measures ANOVA tests were conducted in order to find noteworthy differences among the trial conditions and between loaded and unloaded legs. No statistically significant differences in gait parameters for both healthy children and children with CP were observed in the five “with added mass” conditions. We found significant differences among “natural gait” and “with added masses” conditions in knee flexion and hip extension angles for healthy children and in knee flexion angle for children with CP. This result can be interpreted as an effect of the mechanical constraint induced by the knee brace rather than the effect associated with load increase. The study demonstrates that the mechanical constraint induced by the brace has a measurable effect on the gait of healthy children and children with CP and that the added mass up to 2.5 kg does not alter the lower limb kinematics. This suggests that wearable devices weighing 25 N or less will not noticeably modify the gait patterns of the population examined here.Cerebral Palsy International Research FoundationStavros S. Niarchos Foundatio