OBJECTIVES There is preliminary evidence for the efficacy of positive psychology interventions for pain management. The current study examined the effects of an internet-based positive psychology self-help program for patients with chronic musculoskeletal pain and compared it with an internet-based cognitive-behavioral program. MATERIALS AND METHODS A randomized controlled trial was carried o...

A realistic threat model for cryptographic protocols or for languagebased security should include a dynamically growing population of principals (or security levels), some of which may be compromised, that is, come under the control of the adversary. We explore such a threat model within a pi-calculus. A new process construct records the ordering between security levels, including the possibili...

This study structurally estimates a dynamic model of drug development process in pharmaceutical industry, and uses counterfactual experiments to evaluate e¤ects of various policy interventions aimed at increasing the introduction rate of new drugs within a speci…c therapeutic area. Advanced computational methods –such as continuous time and polynomial approximations –overcome the modeling di¢ c...