Justness: A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)

This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.Comment: An extended abstract of this paper appears in Proc. FoSSaCS'1

Transport in holographic superfluids

We construct a slowly varying space-time dependent holographic superfluid and compute its transport coefficients. Our solution is presented as a series expansion in inverse powers of the charge of the order parameter. We find that the shear viscosity associated with the motion of the condensate vanishes. The diffusion coefficient of the superfluid is continuous across the phase transition while its third bulk viscosity is found to diverge at the critical temperature. As was previously shown, the ratio of the shear viscosity of the normal component to the entropy density is 1/(4 pi). As a consequence of our analysis we obtain an analytic expression for the backreacted metric near the phase transition for a particular type of holographic superfluid.Comment: 45 pages + appendice

Validity and reliability of fitbit flex for step count, moderate to vigorous physical activity and activity energy expenditure

Objectives: To examine the validity and reliability of the Fitbit Flex against direct observation for measuring steps in the laboratory and against the Actigraph for step counts in free-living conditions and for moderate-to-vigorous physical activity (MVPA) and activity energy expenditure (AEE) overall. Methods: Twenty-five adults (12 females, 13 males) wore a Fitbit Flex and an Actigraph GT3X+ during a laboratory based protocol (including walking, incline walking, running and stepping) and free-living conditions during a single day period to examine measurement of steps, AEE and MVPA. Twenty-four of the participants attended a second session using the same protocol. Results: Intraclass correlations (ICC) for test-retest reliability of the Fitbit Flex were strong for walking (ICC = 0.57), moderate for stair stepping (ICC = 0.34), and weak for incline walking (ICC = 0.22) and jogging (ICC = 0.26). The Fitbit significantly undercounted walking steps in the laboratory (absolute proportional difference: 21.2%, 95%CI 13.0-29.4%), but it was more accurate, despite slightly over counting, for both jogging (6.4%, 95%CI 3.7-9.0%) and stair stepping (15.5%, 95%CI 10.1-20.9%). The Fitbit had higher coefficients of variation (Cv) for step counts compared to direct observation and the Actigraph. In free-living conditions, the average MVPA minutes were lower in the Fitbit (35.4 minutes) compared to the Actigraph (54.6 minutes), but AEE was greater from the Fitbit (808.1 calories) versus the Actigraph (538.9 calories). The coefficients of variation were similar for AEE for the Actigraph (Cv = 36.0) and Fitbit (Cv = 35.0), but lower in the Actigraph (Cv = 25.5) for MVPA against the Fitbit (Cv = 32.7). Conclusion: The Fitbit Flex has moderate validity for measuring physical activity relative to direct observation and the Actigraph. Test-rest reliability of the Fitbit was dependant on activity type and had greater variation between sessions compared to the Actigraph. Physical activity surveillance studies using the Fitbit Flex should consider the potential effect of measurement reactivity and undercounting of steps

Sebomic identification of sex- and ethnicity-specific variations in residual skin surface components (RSSC) for bio-monitoring or forensic applications

Background: “Residual skin surface components” (RSSC) is the collective term used for the superficial layer of sebum, residue of sweat, small quantities of intercellular lipids and components of natural moisturising factor present on the skin surface. Potential applications of RSSC include use as a sampling matrix for identifying biomarkers of disease, environmental exposure monitoring, and forensics (retrospective identification of exposure to toxic chemicals). However, it is essential to first define the composition of “normal” RSSC. Therefore, the aim of the current study was to characterise RSSC to determine commonalities and differences in RSSC composition in relation to sex and ethnicity. Methods: Samples of RSSC were acquired from volunteers using a previously validated method and analysed by high-pressure liquid chromatography–atmospheric pressure chemical ionisation–mass spectrometry (HPLC-APCI-MS). The resulting data underwent sebomic analysis. Results: The composition and abundance of RSSC components varied according to sex and ethnicity. The normalised abundance of free fatty acids, wax esters, diglycerides and triglycerides was significantly higher in males than females. Ethnicity-specific differences were observed in free fatty acids and a diglyceride. Conclusions: The HPLC-APCI-MS method developed in this study was successfully used to analyse the normal composition of RSSC. Compositional differences in the RSSC can be attributed to sex and ethnicity and may reflect underlying factors such as diet, hormonal levels and enzyme expression.Peer reviewedFinal Published versio

Relationship between treatment delay and final infarct size in STEMI patients treated with abciximab and primary PCI

Background Studies on the impact of time to treatment on myocardial infarct size have yielded   conflicting results. In this study of ST-Elevation Myocardial Infarction (STEMI) treated   with primary percutaneous coronary intervention (PCI), we set out to investigate the   relationship between the time from First Medical Contact (FMC) to the demonstration   of an open infarct related artery (IRA) and final scar size. Between February 2006 and September 2007, 89 STEMI patients treated with primary PCI   were studied with contrast enhanced magnetic resonance imaging (ceMRI) 4 to 8 weeks   after the infarction. Spearman correlation was computed for health care delay time   (defined as time from FMC to PCI) and myocardial injury. Multiple linear regression   was used to determine covariates independently associated with infarct size. Results An occluded artery (Thrombolysis In Myocardial Infarction, TIMI flow 0-1 at initial   angiogram) was seen in 56 patients (63%). The median FMC-to-patent artery was 89 minutes.   There was a weak correlation between time from FMC-to-patent IRA and infarct size,   r = 0.27, p = 0.01. In multiple regression analyses, LAD as the IRA, smoking and an occluded vessel   at the first angiogram, but not delay time, correlated with infarct size. Conclusions In patients with STEMI treated with primary PCI we found a weak correlation between   health care delay time and infarct size. Other factors like anterior infarction, a   patent artery pre-PCI and effects of reperfusion injury may have had greater influence   on infarct size than time-to-treatment per se

Imaging-guided chest biopsies: techniques and clinical results

Background This article aims to comprehensively describe indications, contraindications, technical aspects, diagnostic accuracy and complications of percutaneous lung biopsy. Methods Imaging-guided biopsy currently represents one of the predominant methods for obtaining tissue specimens in patients with lung nodules; in many cases treatment protocols are based on histological information; thus, biopsy is frequently performed, when technically feasible, or in case other techniques (such as bronchoscopy with lavage) are inconclusive. Results Although a coaxial system is suitable in any case, two categories of needles can be used: fine-needle aspiration biopsy (FNAB) and core-needle biopsy (CNB), with the latter demonstrated to have a slightly higher overall sensitivity, specificity and accuracy. Conclusion Percutaneous lung biopsy is a safe procedure even though a few complications are possible: pneumothorax, pulmonary haemorrhage and haemoptysis are common complications, while air embolism and seeding are rare, but potentially fatal complications

Associations between fruit and vegetable intake, leisure-time physical activity, sitting time and self-rated health among older adults : cross-sectional data from the WELL study

BackgroundLifestyle behaviours, such as healthy diet, physical activity and sedentary behaviour, are key elements of healthy ageing and important modifiable risk factors in the prevention of chronic diseases. Little is known about the relationship between these behaviours in older adults. The purpose of this study was to explore the relationship between fruit and vegetable (F&V) intake, leisure-time physical activity (LTPA) and sitting time (ST), and their association with self-rated health in older adults.MethodsThis cross-sectional study comprised 3,644 older adults (48% men) aged 55-65 years, who participated in the Wellbeing, Eating and Exercise for a Long Life ("WELL") study. Respondents completed a postal survey about their health and their eating and physical activity behaviours in 2010 (38% response rate). Spearman\u27s coefficient (rho) was used to evaluate the relationship between F&V intake, LTPA and ST. Their individual and shared associations with self-rated health were examined using ordinal logistic regression models, stratified by sex and adjusted for confounders (BMI, smoking, long-term illness and socio-demographic characteristics).ResultsThe correlations between F&V intake, LTPA and ST were low. F&V intake and LTPA were positively associated with self-rated health. Each additional serving of F&V or MET-hour of LTPA were associated with approximately 10% higher likelihood of reporting health as good or better among women and men. The association between ST and self-rated health was not significant in the multivariate analysis. A significant interaction was found (ST*F&V intake). The effect of F&V intake on self-rated health increased with increasing ST in women, whereas the effect decreased with increasing ST in men.ConclusionThis study contributes to the scarce literature related to lifestyle behaviours and their association with health indicators among older adults. The findings suggest that a modest increase in F&V intake, or LTPA could have a marked effect on the health of older adults. Further research is needed to fully understand the correlates and determinants of lifestyle behaviours, particularly sitting time, in this age group