Young adults get more pleasure from smoking cigarettes while they are drinking alcohol than they do while using marijuana, according to new research conducted at UC San Francisco. The study, led by assistant professor of psychiatry Danielle E. Ramo, PhD [3], is the first to document that tobacco accompanied by alcohol provides cigarette smokers with a greater perceived reward than when they smo...

In this paper we show that the static conflict resolution strategy of XACML is not always sufficient to satisfy the policy needs of an organisation where multiple parties provide their own individual policies. Different conflict resolution strategies are often required for different situations. Thus combining one or more sets of policies into a single XACML ‘super policy’ that is evaluated by a...

BACKGROUND This study compares mortality outcomes of Medicaid-reimbursed nursing home residents with and without do-not-resuscitate (DNR) orders in two diverse states. METHODS We used 1994 Minimum Data Set Plus (MDS+) information on 3215 nursing home residents from two states. We used Kaplan-Meier analyses to examine unadjusted mortality among those with and without DNR orders across states. ...

We present a program logic, Lc, which modularly reasons about unstructured control flow in machine-language programs. Unlike previous program logics, the basic reasoning units in Lc are multipleentry and multiple-exit program fragments. Lc provides fine-grained composition rules to compose program fragments. It is not only useful for reasoning about unstructured control flow in machine language...

Punjab as a state holds a unique position in India as religion, caste, region, language and leadership factors combine differently in different elections to produce contrasting electoral outcomes. Over the last three decades virtually a bipolar party system has come to stay in the state, where power has been alternating between the Shiromani Akali Dal (SAD) and the Congress, the two major conte...

www.thelancet.com Vol 364 November 20, 2004 1837 want to be resuscitated? We are shifting full resuscitation from the hospital, where do-not-resuscitate orders are considered, into the community. Do people need to be encouraged to wear an advance directive (perhaps on a medical bracelet or necklace) and should the volunteer resuscitator look for this before attempting resuscitation or defibrill...

CompCert is the first commercially available optimizing compiler that is formally verified, using machineassisted mathematical proofs, to be exempt from miscompilation. The executable code it produces is proved to behave exactly as specified by the semantics of the source C program. This article gives an overview of the design of CompCert and its proof concept and then focuses on aspects releva...

Energy consumption is becoming a critical complexity parameter along with time (delay) in the design and optimization of algorithms at both the hardware and software levels. This paper proposes that a new complexity measure including energy E and time t in the form of the expression E × t2 be used as the measure of the efficiency of a computation. We prove that the metric is optimal. As an exam...

119 This work was supported by the Radiation Technology R&D program (No. 2013M2A2A7043498) and the Mid-career Researcher Program (2014R1A2A1A10050270) through the National Research Foundation of Korea funded by the Ministry of Science, ICT&Future Planning and Development of the core technology for integrated therapy devices based on real-time MRI guided tumor tracking, Information and Communica...

OBJECTIVES To assess whether physicians know of Washington State's prehospital do-not-resuscitate (DNR) policy, 6 years after its implementation. DESIGN Cross-sectional survey. SETTING Washington State, April 2001. PARTICIPANTS Four hundred seventy-one practicing physicians. MEASUREMENTS Multivariate logistic regression was used to determine relationships between physician and practice ...