3,869 research outputs found
Nominal Unification of Higher Order Expressions with Recursive Let
A sound and complete algorithm for nominal unification of higher-order
expressions with a recursive let is described, and shown to run in
non-deterministic polynomial time. We also explore specializations like nominal
letrec-matching for plain expressions and for DAGs and determine the complexity
of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh,
Scotland UK, 6-8 September 2016 (arXiv:1608.02534
Study protocol: evaluation of a parenting and stress management programme: a randomised controlled trial of Triple P discussion groups and stress control
<br>Background: Children displaying psychosocial problems are at an increased risk of negative developmental outcomes. Parenting practices are closely linked with child development and behaviour, and parenting programmes have been recommended in the treatment of child psychosocial problems. However, parental mental health also needs to be addressed when delivering parenting programmes as it is linked with parenting practices, child outcomes, and treatment outcomes of parenting programmes. This paper describes the protocol of a study examining the effects of a combined intervention of a parenting programme and a cognitive behavioural intervention for mental health problems.</br>
<br>Methods: The effects of a combined intervention of Triple P Discussion Groups and Stress Control will be examined using a randomised controlled trial design. Parents with a child aged 3?8?years will be recruited to take part in the study. After obtaining informed consent and pre-intervention measures, participants will be randomly assigned to either an intervention or a waitlist condition. The two primary outcomes for this study are change in dysfunctional/ineffective parenting practices and change in symptoms of depression, anxiety, and stress. Secondary outcomes are child behaviour problems, parenting experiences, parental self-efficacy, family relationships, and positive parental mental health. Demographic information, participant satisfaction with the intervention, and treatment fidelity data will also be collected. Data will be collected at pre-intervention, mid-intervention, post-intervention, and 3-month follow-up.</br>
<br>Discussion: The aim of this paper is to describe the study protocol of a randomised controlled trial evaluating the effects of a combined intervention of Triple P Discussion Groups and Stress Control in comparison to a waitlist condition. This study is important because it will provide evidence about the effects of this combined intervention for parents with 3?8?year old children. The results of the study could be used to inform policy about parenting support and support for parents with mental health problems. Trial registration ClinicalTrial.gov: NCT01777724, UTN: U1111-1137-1053.</br>
Health economic evaluation of rivaroxaban in the treatment of patients with chronic coronary artery disease or peripheral artery disease
AIMS: In the COMPASS trial, rivaroxaban 2.5 mg twice daily (bid) plus acetylsalicylic acid (ASA) 100 mg once daily (od) performed better than ASA 100 mg od alone in reducing the rate of cardiovascular disease, stroke, or myocardial infarction (MI) in patients with coronary artery disease (CAD) and peripheral artery disease (PAD). A Markov model was developed to assess the cost-effectiveness of rivaroxaban plus ASA vs. ASA alone over a lifetime horizon, from the UK National Health System perspective. METHODS AND RESULTS: The base case analysis assumed that patients entered the model in the event-free health state, with the possibility to experience ≤2 events, transitioning every three-month cycle, through acute and post-acute health states of MI, ischaemic stroke (IS), or intracranial haemorrhage (ICH), and death. Costs, quality-adjusted life-years (QALYs), life years-all discounted at 3.5%-and incremental cost-effectiveness ratios (ICERs) were calculated. Deterministic and probabilistic sensitivity analyses were conducted, as well as scenario analyses. In the model, patients on rivaroxaban plus ASA lived for an average of 14.0 years with no IS/MI/ICH, and gained 9.7 QALYs at a cost of £13 947, while those receiving ASA alone lived for an average of 12.7 years and gained 9.3 QALYs at a cost of £8126. The ICER was £16 360 per QALY. This treatment was cost-effective in 98% of 5000 iterations at a willingness-to-pay threshold of £30 000 per QALY. CONCLUSION: This Markov model suggests that rivaroxaban 2.5 mg bid plus ASA is a cost-effective alternative to ASA alone in patients with chronic CAD or PAD
Adaptive servo-ventilation for central sleep apnea in heart failure
Background Central sleep apnea is associated with poor prognosis and death in patients with heart failure. Adaptive servo-ventilation is a therapy that uses a noninvasive ventilator to treat central sleep apnea by delivering servo-controlled inspiratory pressure support on top of expiratory positive airway pressure. We investigated the effects of adaptive servo-ventilation in patients who had heart failure with reduced ejection fraction and predominantly central sleep apnea. Methods We randomly assigned 1325 patients with a left ventricular ejection fraction of 45% or less, an apnea–hypopnea index (AHI) of 15 or more events (occurrences of apnea or hypopnea) per hour, and a predominance of central events to receive guideline-based medical treatment with adaptive servo-ventilation or guideline-based medical treatment alone (control). The primary end point in the time-to-event analysis was the first event of death from any cause, lifesaving cardiovascular intervention (cardiac transplantation, implantation of a ventricular assist device, resuscitation after sudden cardiac arrest, or appropriate lifesaving shock), or unplanned hospitalization for worsening heart failure. Results In the adaptive servo-ventilation group, the mean AHI at 12 months was 6.6 events per hour. The incidence of the primary end point did not differ significantly between the adaptive servo-ventilation group and the control group (54.1% and 50.8%, respectively; hazard ratio, 1.13; 95% confidence interval [CI], 0.97 to 1.31; P=0.10). All-cause mortality and cardiovascular mortality were significantly higher in the adaptive servo-ventilation group than in the control group (hazard ratio for death from any cause, 1.28; 95% CI, 1.06 to 1.55; P=0.01; and hazard ratio for cardiovascular death, 1.34; 95% CI, 1.09 to 1.65; P=0.006). Conclusions Adaptive servo-ventilation had no significant effect on the primary end point in patients who had heart failure with reduced ejection fraction and predominantly central sleep apnea, but all-cause and cardiovascular mortality were both increased with this therapy. (Funded by ResMed and others; SERVE-HF ClinicalTrials.gov number, NCT00733343. opens in new tab.
Scorpion Biodiversity and Interslope Divergence at “Evolution Canyon”, Lower Nahal Oren Microsite, Mt. Carmel, Israel
BACKGROUND: Local natural laboratories, designated by us as the "Evolution Canyon" model, are excellent tools to study regional and global ecological dynamics across life. They present abiotic and biotic contrasts locally, permitting the pursuit of observations and experiments across diverse taxa sharing sharp microecological subdivisions. Higher solar radiation received by the "African savannah-like" south-facing slopes (AS) in canyons north of the equator than by the opposite "European maquis-like" north-facing slopes (ES) is associated with higher abiotic stress. Scorpions are a suitable taxon to study interslope biodiversity differences, associated with the differences in abiotic factors (climate, drought), due to their ability to adapt to dry environments. METHODOLOGY/PRINCIPAL FINDINGS: Scorpions were studied by the turning stone method and by UV light methods. The pattern observed in scorpions was contrasted with similar patterns in several other taxa at the same place. As expected, the AS proved to be significantly more speciose regarding scorpions, paralleling the interslope patterns in taxa such as lizards and snakes, butterflies (Rhopalocera), beetles (families Tenebrionidae, Dermestidae, Chrysomelidae), and grasshoppers (Orthoptera). CONCLUSIONS/SIGNIFICANCE: Our results support an earlier conclusion stating that the homogenizing effects of migration and stochasticity are not able to eliminate the interslope intra- and interspecific differences in biodiversity despite an interslope distance of only 100 m at the "EC" valley bottom. In our opinion, the interslope microclimate selection, driven mainly by differences in insolance, could be the primary factor responsible for the observed interslope pattern
Haptoglobin Phenotype, Preeclampsia Risk and the Efficacy of Vitamin C and E Supplementation to Prevent Preeclampsia in a Racially Diverse Population
Haptoglobin's (Hp) antioxidant and pro-angiogenic properties differ between the 1-1, 2-1, and 2-2 phenotypes. Hp phenotype affects cardiovascular disease risk and treatment response to antioxidant vitamins in some non-pregnant populations. We previously demonstrated that preeclampsia risk was doubled in white Hp 2-1 women, compared to Hp 1-1 women. Our objectives were to determine whether we could reproduce this finding in a larger cohort, and to determine whether Hp phenotype influences lack of efficacy of antioxidant vitamins in preventing preeclampsia and serious complications of pregnancy-associated hypertension (PAH). This is a secondary analysis of a randomized controlled trial in which 10,154 low-risk women received daily vitamin C and E, or placebo, from 9-16 weeks gestation until delivery. Hp phenotype was determined in the study prediction cohort (n = 2,393) and a case-control cohort (703 cases, 1,406 controls). The primary outcome was severe PAH, or mild or severe PAH with elevated liver enzymes, elevated serum creatinine, thrombocytopenia, eclampsia, fetal growth restriction, medically indicated preterm birth or perinatal death. Preeclampsia was a secondary outcome. Odds ratios were estimated by logistic regression. Sampling weights were used to reduce bias from an overrepresentation of women with preeclampsia or the primary outcome. There was no relationship between Hp phenotype and the primary outcome or preeclampsia in Hispanic, white/other or black women. Vitamin supplementation did not reduce the risk of the primary outcome or preeclampsia in women of any phenotype. Supplementation increased preeclampsia risk (odds ratio 3.30; 95% confidence interval 1.61-6.82, p<0.01) in Hispanic Hp 2-2 women. Hp phenotype does not influence preeclampsia risk, or identify a subset of women who may benefit from vitamin C and E supplementation to prevent preeclampsia
Dispersed Activity during Passive Movement in the Globus Pallidus of the 1-Methyl-4-Phenyl-1,2,3,6-Tetrahydropyridine (MPTP)-Treated Primate
Parkinson's disease is a neurodegenerative disorder manifesting in debilitating motor symptoms. This disorder is characterized by abnormal activity throughout the cortico-basal ganglia loop at both the single neuron and network levels. Previous neurophysiological studies have suggested that the encoding of movement in the parkinsonian state involves correlated activity and synchronized firing patterns. In this study, we used multi-electrode recordings to directly explore the activity of neurons from the globus pallidus of parkinsonian primates during passive limb movements and to determine the extent to which they interact and synchronize. The vast majority (80/103) of the recorded pallidal neurons responded to periodic flexion-extension movements of the elbow. The response pattern was sinusoidal-like and the timing of the peak response of the neurons was uniformly distributed around the movement cycle. The interaction between the neuronal activities was analyzed for 123 simultaneously recorded pairs of neurons. Movement-based signal correlation values were diverse and their mean was not significantly different from zero, demonstrating that the neurons were not activated synchronously in response to movement. Additionally, the difference in the peak responses phase of pairs of neurons was uniformly distributed, showing their independent firing relative to the movement cycle. Our results indicate that despite the widely distributed activity in the globus pallidus of the parkinsonian primate, movement encoding is dispersed and independent rather than correlated and synchronized, thus contradicting current views that posit synchronous activation during Parkinson's disease
Health-state utilities in a prisoner population : a cross-sectional survey
Background: Health-state utilities for prisoners have not been described.
Methods: We used data from a 1996 cross-sectional survey of Australian prisoners (n = 734).
Respondent-level SF-36 data was transformed into utility scores by both the SF-6D and Nichol's
method. Socio-demographic and clinical predictors of SF-6D utility were assessed in univariate
analyses and a multivariate general linear model.
Results: The overall mean SF-6D utility was 0.725 (SD 0.119). When subdivided by various medical
conditions, prisoner SF-6D utilities ranged from 0.620 for angina to 0.764 for those with none/mild
depressive symptoms. Utilities derived by the Nichol's method were higher than SF-6D scores,
often by more than 0.1. In multivariate analysis, significant independent predictors of worse utility
included female gender, increasing age, increasing number of comorbidities and more severe
depressive symptoms.
Conclusion: The utilities presented may prove useful for future economic and decision models
evaluating prison-based health programs
Ripple modulated electronic structure of a 3D topological insulator
3D topological insulators, similar to the Dirac material graphene, host
linearly dispersing states with unique properties and a strong potential for
applications. A key, missing element in realizing some of the more exotic
states in topological insulators is the ability to manipulate local electronic
properties. Analogy with graphene suggests a possible avenue via a topographic
route by the formation of superlattice structures such as a moir\'e patterns or
ripples, which can induce controlled potential variations. However, while the
charge and lattice degrees of freedom are intimately coupled in graphene, it is
not clear a priori how a physical buckling or ripples might influence the
electronic structure of topological insulators. Here we use Fourier transform
scanning tunneling spectroscopy to determine the effects of a one-dimensional
periodic buckling on the electronic properties of Bi2Te3. By tracking the
spatial variations of the scattering vector of the interference patterns as
well as features associated with bulk density of states, we show that the
buckling creates a periodic potential modulation, which in turn modulates the
surface and the bulk states. The strong correlation between the topographic
ripples and electronic structure indicates that while doping alone is
insufficient to create predetermined potential landscapes, creating ripples
provides a path to controlling the potential seen by the Dirac electrons on a
local scale. Such rippled features may be engineered by strain in thin films
and may find use in future applications of topological insulators.Comment: Nature Communications (accepted
- …