Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201

Solomonoff Induction Violates Nicod's Criterion

Nicod's criterion states that observing a black raven is evidence for the hypothesis H that all ravens are black. We show that Solomonoff induction does not satisfy Nicod's criterion: there are time steps in which observing black ravens decreases the belief in H. Moreover, while observing any computable infinite string compatible with H, the belief in H decreases infinitely often when using the unnormalized Solomonoff prior, but only finitely often when using the normalized Solomonoff prior. We argue that the fault is not with Solomonoff induction; instead we should reject Nicod's criterion.Comment: ALT 201

Bodybuilders' accounts of synthol use: The construction of lay expertise online.

Synthol is an injectable oil used by bodybuilders to make muscles appear bigger. Widely available on the Internet, it is reported to carry a wide range of health risks and side effects such as localised skin problems, nerve damage and oil-filled cysts, as well as muscle damage and the development of scar tissue. Given the tension between health risk and quick muscle enlargement, how lay users explain and justify their synthol intake becomes an important question. Drawing on discourse analysis, we focus on how lay expertise is worked up by users in the absence of available specialist knowledge by invoking medical and pharmaceutical discourses as legitimation, providing novices with support, gaining trust through positive personal narratives and thus gaining credibility as experts. Results have clear implications for health promotion interventions with bodybuilders

Determination of APTT factor sensitivity - the misguiding guideline.

INTRODUCTION: The Clinical and Laboratory Standards Institute (CLSI) has produced a guideline detailing how to determine the activated partial thromboplastin time's (APTT) sensitivity to clotting factor deficiencies, by mixing normal and deficient plasmas. Using the guideline, we determined the factor sensitivity of two APTT reagents. METHODS: APTTs were performed using Actin FS and Actin FSL on a Sysmex CS-5100 analyser. The quality of factor-deficient and reference plasmas from three commercial sources was assessed by assaying each of the clotting factors within the plasmas and by performing thrombin generation tests (TGT). RESULTS: Testing samples from 50 normal healthy subjects gave a two-standard deviation range of 21.8-29.2 s for Actin FS and 23.5-29.3 s for Actin FSL. The upper limits of these ranges were subsequently used to determine APTT factor sensitivity. Assay of factor levels within the deficient plasmas demonstrated that they were specifically deficient in a single factor, with most other factors in the range 50-150 iu/dL (Technoclone factor VII-deficient plasma has 26 iu/dL factor IX). APTTs performed on mixtures of normal and deficient plasmas gave diverse sensitivity to factor deficiencies dependent on the sources of deficient plasma. TGT studies on the deficient plasmas revealed that the potential to generate thrombin was not solely associated with the levels of their component clotting factors. CONCLUSION: Determination of APTT factor sensitivity in accordance with the CLSI guideline can give inconsistent and misleading results

Mechanisms that influence the formation of high-ozone regions in the boundary layer downwind of the Asian continent in winter and spring

The seasonal variation of ozone (O3) in the boundary layer (BL) over the western Pacific is investigated using a chemistry-transport model. The model results for January and April-May 2002 were evaluated by comparison with PEACE aircraft observations. In January, strong northwesterlies efficiently transported NOx from the continent, leading to an O3 increase of approximately 5-10 ppbv over a distance of about 3000 km. In April, southwesterlies dominated due to anticyclone development over the western Pacific. Along this flow, O3 continued to be produced by NO x emitted from East Asia. This resulted in the formation of a high-O3 (> 50 ppbv) region extending along the coastal areas of East Asia. This seasonal change in O3 was driven in part by a change in the net O3 production rate due to increases in solar UV and H 2O. Its exact response depended on the NOx values in the BL. The net O3 production rate increased between winter and spring over the Asian continent and decreased over the remote western Pacific. Model simulations show that about 25% of the total O3 (of 10-20 ppbv) increase over the coastal region of Northeast Asia was due to local production from NOx emissions from China, and the rest was due to changes in background levels as well as emissions from Korea, Japan, and east Siberia. Uplift of BL air over Asia, horizontal transport in the free troposphere, and subsidence were the principal mechanisms of transporting Asian O3 to the central and eastern North Pacific Copyright 2008 by the American Geophysical Union

What influenced people with chronic or refractory breathlessness and advanced disease to take part and remain in a drug trial? A qualitative study.

BACKGROUND: Recruitment and retention in clinical trials remains an important challenge, particularly in the context of advanced disease. It is important to understand what affects retention to improve trial quality, minimise attrition and reduce missing data. We conducted a qualitative study embedded within a randomised feasibility trial and explored what influenced people to take part and remain in the trial. METHODS: We conducted a qualitative study embedded within a double-blind randomised trial (BETTER-B[Feasibility]: BETter TreatmEnts for Refractory Breathlessness) designed using a person-centred approach. Participants with cancer, chronic obstructive pulmonary disease (COPD), interstitial lung disease (ILD), or chronic heart failure (CHF), with a modified Medical Research Council dyspnoea scale grade of 3/4 were recruited from three UK sites. A convenience subsample completed qualitative interviews after the trial. Interviews were analysed using thematic analysis. Results were considered in relation to the core elements of person-centred care and our model of the person-centred trial. RESULTS: In the feasibility trial 409 people were screened for eligibility, and 64 were randomised. No participant was lost to follow-up. Twenty-two participants took part in a qualitative interview. Eleven had a diagnosis of COPD, 8 ILD, 2 CHF and 1 lung cancer. The participants' median age was 71 years (range 56-84). Sixteen were male. Twenty had completed the trial, and two withdrew due to adverse effects. The relationship between patient and professional, potential for benefit, trial processes and the intervention all influenced the decision to participate in the trial. The relationship with the research team and continuity, perceived benefit, and aspects relating to trial processes and the intervention influenced the decision to remain in the trial. CONCLUSIONS: In this feasibility trial recruitment targets were met, attrition levels were low, and aspects of the person-centred approach were viewed positively by trial participants. Prioritisation of the relationship between the patient and professional; person-centred processes, including home visits, assistance with questionnaires, and involvement of the carer; and enabling people to participate by having processes in line with individual capabilities appear to support recruitment and retention in clinical trials in advanced disease. We recommend the integration of a person-centred approach in all clinical trials. TRIAL REGISTRATION: ISRCTN Registry, ISRCTN32236160. Registered on 13 June 2016

Ambient CFCs and HCFC-22 observed concurrently at 84 sites in the Pearl River Delta region during the 2008–2009 grid studies

Air samples were collected concurrently at 05:00 A.M. and 10:00 A.M. local Beijing time (geomagnetic time + 8) at 84 sites during two grid-study campaigns on 29 September 2008 and 1 March 2009 in the Pearl River Delta region, in order to offer snapshots of ambient CFCs and hydrochlorofluorocarbons (HCFCs) in different seasons and to indicate the presence of local emission sources. Compared to the subtropical northern hemisphere background levels, mean mixing ratios of CFC-11, CFC-12, CFC-113, CFC-114, and HCFC-22 were enhanced by 7%–11%, 8%–11%, 5%–6%, 8%–9%, and 71%–135%, respectively. When data from this tudy were pooled together with previous observations in the region, ambient CFC-11, CFC-12, and CFC-113 unambiguously showed declines in mixing ratios, while HCFC-22 showed an increase. Spatial variations revealed potential emission hot spots in the region, and levels of CFCs and HCFC-22 were higher in September than in March due to many more refrigeration and air-conditioning activities during summer. Source apportioning by positive matrix factorization revealed that new input of CFCs and HCFC-22 into the ambient air was largely attributed to emission from air-conditioning and refrigerating activities instead of industry activities. Average emissions in the region estimated by the CO-tracer method were 0.8 ± 0.2, 1.4 ± 0.6, 0.2 ± 0.1, 0.1 ± 0.02, and 4.4 ± 1.0 Gg/yr for CFC-11, CFC-12, CFC-113, CFC-114, and HCFC-22, respectively, and they accounted for 5.5%–25.5% of the total estimated CFC and HCFC-22 emissions in China