OBJECTIVE: Carotid intima-media thickness (CIMT) is a marker of subclinical organ damage and predicts cardiovascular disease (CVD) events in the general population. It has also been associated with vascular risk in people with...
Recent single-center retrospective analysis displayed the association between admission computed tomography (CT) markers of diffuse intracranial injury and worse cerebrovascular reactivity. The goal of this study was to further...
Previous studies have investigated carotid artery intima-media thickness (IMT) and blood pressure and found a direct correlation between the two. Also, studies have examined IMT and blood glucose and cholesterol levels. It is...
We study strategy-proof decision rules in the variant of the canonical public good model proposed by Borgers and Postl (2009). In this setup, we fully characterize the set of budget balanced strategy-proof deterministic...
We study strategy-proof decision rules in the variant of the canonical public good model proposed by Borgers and Postl (2009). In this setup, we fully characterize the set of budget balanced strategy-proof deterministic...
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
BACKGROUND: dementia risk conferred by apolipoprotein-E (APOE) and angiotensin-1-converting enzyme (ACE) polymorphisms have been reported for the MRC Cognitive Function and Ageing Study (CFAS) at 6-year follow-up. We concentrate...
I study strategy-proof assignment mechanisms where the agents reveal their preference rankings over the available objects. A stochastic mechanism returns lotteries over deterministic assignments, and mechanisms are compared...
An investigation into the possible causes of childhood cancer has been carried out throughout England, Scotland and Wales over the period 1991-1998. All children known to be suffering from one or other type of the disease over...
AIMS: Carotid intima media thickness (CIMT) predicts cardiovascular (CVD) events, but the predictive value of CIMT change is debated. We assessed the relation between CIMT change and events in individuals at high cardiovascular...
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand’s Theorem and backtracking games in the style of Coquand. First described by Miller in a cut-free setting as an economical...
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
OBJECTIVE: Common genetic variants in GCK and TCF7L2 are associated with higher fasting glucose and type 2 diabetes in nonpregnant populations. However, their associations with glucose levels from oral glucose tolerance tests...
BACKGROUND: The Progressive Supranuclear Palsy Rating Scale is a prospectively validated physician-rated measure of disease severity for progressive supranuclear palsy. We hypothesized that, according to experts' opinion...
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand’s Theorem and backtracking games in the style of Coquand. First described by Miller in a cut-free setting as an economical...
Clinical guidelines in the United States and United Kingdom recommend that individuals with suspected hypertension should have ambulatory blood pressure (BP) monitoring to confirm the diagnosis. This approach reduces...
OBJECTIVE: To test the addition of pain and fatigue to the Composite Psoriatic Arthritis Disease Activity (CPDAI) and the Group for Research and Assessment of Psoriasis and PsA (GRAPPA) Composite Exercise (GRACE) composite...
UNLABELLED: Preventative psychological interventions to aid women after traumatic childbirth are needed. This proof-of-principle randomized controlled study evaluated whether the number of intrusive traumatic memories mothers...
BACKGROUND: Sequential B cell-targeted immunotherapy with BAFF antagonism (belimumab) and B cell depletion (rituximab) may enhance B cell targeting in ANCA-associated vasculitis (AAV) through several mechanisms. METHODS: Study...
BACKGROUND: Projections of health and social care need are highly sensitive to assumptions about cohort trends in health and disability. We use a repeated population-based cross-sectional study from the Cambridgeshire centre of...