Search

Results: 96753
Carotid Artery IMT, Blood Pressure, and Cardiovascular Risk Factors in Males and Females
Christina M Cromwell
Jan 01, 0001
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...
Published by: Ursinus College
Strategy-proof compromises
Peter Postl
Jun 15, 2011
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...
Strategy-proof compromises
Peter Postl
Jun 15, 2011
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...
On the proof complexity of deep inference
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)...
Strategy-proof stochastic assignment
Aytek Erdil
Feb 04, 2019
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...
The United Kingdom Childhood Cancer Study
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...
Predictive value for cardiovascular events of common carotid intima media thickness and its rate of change in individuals at high cardiovascular risk - Results from the PROG-IMT collaboration.
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 forestry
Willem Heijltjes
Aug 01, 2010
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...
On the proof complexity of deep inference
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)...
Classical proof forestry
Willem Heijltjes
Aug 01, 2010
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...
Composite Measures for Clinical Trials in Psoriatic Arthritis
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...

|<

<

1

2

3

4

5

>

>|