On the Executability of Interactive Computation

The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are reactively executable. In this article we provide a comparison of the two models. We show, on the one hand, that the behaviour exhibited by ITMs is reactively executable, and, on the other hand, that the stream translations naturally associated with RTMs are interactively computable. We conclude from these results that the theory of reactive executability subsumes the theory of interactive computability. Inspired by the existing model of ITMs with advice, which provides a model of evolving computation, we also consider RTMs with advice and we establish that a facility of advice considerably upgrades the behavioural expressiveness of RTMs: every countable transition system can be simulated by some RTM with advice up to a fine notion of behavioural equivalence.Comment: 15 pages, 0 figure

Lending Petri nets and contracts

Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role. Honest services are not protected against adversaries. We propose a model for contracts based on a extension of Petri nets, which allows services to protect themselves while still realizing the choreography. We relate this model with Propositional Contract Logic, by showing a translation of formulae into our Petri nets which preserves the logical notion of agreement, and allows for compositional verification

Four-year stability of anthropometric and cardio-metabolic parameters in a prospective cohort of older adults

Aim: To examine the medium-term stability of anthropometric and cardio-metabolic parameters in the general population. Materials & methods: Participants were 5160 men and women from the English Longitudinal Study of Ageing (age ≥50 years) assessed in 2004 and 2008. Anthropometric data included height, weight, BMI and waist circumference. Cardio-metabolic parameters included blood pressure, serum lipids (total cholesterol, HDL, LDL, triglycerides), hemoglobin, fasting glucose, fibrinogen and C-reactive protein. Results: Stability of anthropometric variables was high (all intraclass correlations >0.92), although mean values changed slightly (-0.01 kg weight, +1.33 cm waist). Cardio-metabolic parameters showed more variation: correlations ranged from 0.43 (glucose) to 0.81 (HDL). The majority of participants (71–97%) remained in the same grouping relative to established clinical cut-offs. Conclusion: Over a 4-year period, anthropometric and cardio-metabolic parameters showed good stability. These findings suggest that when no means to obtain more recent data exist, a one-time sample will give a reasonable approximation to average levels over the medium-term, although reliability is reduced

The association of maternal prenatal psychosocial stress with vascular function in the child at age 10-11 years: findings from the Avon longitudinal study of parents and children

Objective To investigate whether (1) maternal psychosocial stress (depression/anxiety) during pregnancy is associated with offspring vascular function and (2) whether any association differs depending on the gestational timing of exposure to stress. We also investigated whether any association is likely to be due to intrauterine mechanisms by (3) comparing with the association of paternal stress with offspring vascular function and (4) examining whether any prenatal association is explained by maternal postnatal stress. Methods and results Associations were examined in a UK birth cohort, with offspring outcomes (systolic and diastolic blood pressure, SBP and DBP, endothelial function assessed by brachial artery flow-mediated dilatation (FMD); arterial stiffness assessed by carotid to radial pulse wave velocity (PWV), brachial artery distensibility (DC), and brachial artery diameter (BD) assessed at age 10–11 years (n = 4318). Maternal depressive symptoms and anxiety were assessed at 18 and 32 weeks gestation and 8 months postnatally. Paternal symptoms were assessed at week 19. With the exception of DBP and BD, there were no associations of maternal depressive symptoms with any of the vascular outcomes. Maternal depressive and anxiety symptoms were associated with lower offspring DBP and wider BD, though the latter attenuated to the null with adjustment for confounding factors. Paternal symptoms were not associated with offspring outcomes. Maternal postnatal depressive symptoms were associated with lower offspring SBP. Conclusions We found no evidence to support the hypothesis that maternal stress during pregnancy adversely affects offspring vascular function at age 10–12 years via intrauterine mechanisms

Rapid procedure to calibrate EC-10 and EC-20 capacitance sensors in coir

A rapid calibration procedure for EC-10 and EC-20 sensors is introduced to promote the commercial use of these sensors for hydroponic irrigation management in coir. The method is comprised of taking one sensor reading, by a sensor installed under hydroponic crop production conditions, and one gravimetric sample, both at field water capacity, to determine a correction factor for an accurate general laboratory calibration equation developed for coir. The rapid calibration procedure was evaluated by 4 separate sensors of EC-10 and EC-20. To verify the relative reliability of the rapid procedure, statistical analysis was performed separately for all data points and for data points between the drained upper limit and permanent wilting point of coir. From the statistical parameters used, it was observed that all of the predictions in the plant available water content range were good, with RMSE values < 0.030 m3∙m-3 for the EC-10 and < 0.021 m3∙m-3 for the EC-20 sensors. The D-index also pointed to a high accuracy of prediction in the plant available water content range, with values over 0.981 and 0.990 for the EC-10 and EC-20 sensors, respectively. Since a degree of variation remained between sensors, it was  concluded that sensors should be calibrated individually. The rapid procedure proves a simple but scientifically sound method to calibrate sensors and is easy to apply to individual sensors in the field.Keywords: growing medium, rapid calibration, soil water sensors, water conten

Topology optimisation for compliant hip implant design and reduced strain shielding

Stiff total hip arthroplasty implants can lead to strain shielding, bone loss and complex revision surgery. The aim of this study was to develop topology optimisation techniques for more compliant hip implant design. The Solid Isotropic Material with Penalisation (SIMP) method was adapted, and two hip stems were designed and additive manufactured: (1) a stem based on a stochastic porous structure, and (2) a selectively hollowed approach. Finite element analyses and experimental measurements were conducted to measure stem stiffness and predict the reduction in stress shielding. The selectively hollowed implant increased peri-implanted femur surface strains by up to 25 percentage points compared to a solid implant without compromising predicted strength. Despite the stark differences in design, the experimentally measured stiffness results were near identical for the two optimised stems, with 39% and 40% reductions in the equivalent stiffness for the porous and selectively hollowed implants, respectively, compared to the solid implant. The selectively hollowed implant’s internal structure had a striking resemblance to the trabecular bone structures found in the femur, hinting at intrinsic congruency between nature’s design process and topology optimisation. The developed topology optimisation process enables compliant hip implant design for more natural load transfer, reduced strain shielding and improved implant survivorship

Spatially valid proprioceptive cues improve the detection of a visual stimulus

Vision and proprioception are the main sensory modalities that convey hand location and direction of movement. Fusion of these sensory signals into a single robust percept is now well documented. However, it is not known whether these modalities also interact in the spatial allocation of attention, which has been demonstrated for other modality pairings. The aim of this study was to test whether proprioceptive signals can spatially cue a visual target to improve its detection. Participants were instructed to use a planar manipulandum in a forward reaching action and determine during this movement whether a near-threshold visual target appeared at either of two lateral positions. The target presentation was followed by a masking stimulus, which made its possible location unambiguous, but not its presence. Proprioceptive cues were given by applying a brief lateral force to the participant’s arm, either in the same direction (validly cued) or in the opposite direction (invalidly cued) to the on-screen location of the mask. The d′ detection rate of the target increased when the direction of proprioceptive stimulus was compatible with the location of the visual target compared to when it was incompatible. These results suggest that proprioception influences the allocation of attention in visual spac

Environmental impact of combined ITS traffic management strategies

Transport was responsible for 20% of the total greenhouse gas emissions in Europe during 2011 (European Environmental Agency 2013) with road transport being the key contributor. To tackle this, targets have been established in Europe and worldwide to curb transport emissions. This poses a significant challenge on Local Government and transport operators who need to identify a set of effective measures to reduce the environmental impact of road transport and at the same time keep the traffic smooth. Of the road transport pollutants, this paper considers NOx, CO2 and black carbon (BC). A particular focus is put on black carbon, which is formed through incomplete combustion of carboneous materials, as it has a significant impact on the Earth’s climate system. It absorbs solar radiation, influences cloud processes, and alters the melting of snow and ice cover (Bond et al. 2013). BC also causes serious health concerns: black carbon is associated with asthma and other respiratory problems, heart attacks and lung cancer (Sharma 2010; United States Environmental Protection Agency 2012). Since BC emissions are mainly produced during the decelerating and accelerating phases (Zhang et al. 2009), ITS actions able to reduce stop&go phases have the potential to reduce BC emissions. This paper investigates the effectiveness of combined ITS actions in urban context in reducing CO2 and BC emissions and improving traffic conditions