We prove the correctness of incremental lambda-lifting, an optimization that attempts to reduce the closure allocation overhead of higher-order programs by changing the scope of nested procedures. This optimization is invalid in the standard denotational semantics of Scheme, because it changes the storage behavior of the program. Our method consists of giving Scheme a denotational semantics in ...

This study compares the changes in pathway and center of gravity (COG) on the calcaneus of non-involved and involved sides according to eccentric and concentric strengthening in patients with unilateral Achilles tendinopathy. The goal was to define the biomechanical changes according to eccentric strengthening for the development of clinical guidelines. Eighteen patients with Achilles tendinopa...

People's decision to join an organ donor registry and have a discussion with family about their organ donation preference increases the likelihood that their family will consent to donation of their organs. This study explores the effectiveness of three interventions compared to a control condition to increase individual consent (registering and discussing donation wishes) for organ donation. A...

The diseases of cystic fibrosis (CF) and chronic obstructive pulmonary disease (COPD) are characterized by mucus-congested airways. Agents that stimulate the secretion of Cl- are anticipated to facilitate mucociliary clearance and thus be of benefit in the treatment of CF and COPD. Recently 1-EBIO (1-ethyl-2-benzimidazolinone or 1-ethyl-1,3-dihydro-2H-benzimidazol-2-one) was shown to stimulate ...

CLINICAL SCENARIO Patellofemoral pain syndrome (PFPS) is one of the most common disorders affecting the lower extremities. To improve function and decrease pain, affected individuals often undergo a guided rehabilitation program. Traditional programs have concentrated on quadriceps strengthening and other knee-focused exercises, but recent literature suggests that adding hip-muscle strengthenin...

This paper presents seven ‘theses’ that capture some important theoretical, methodological and empirical trends regarding research on happiness, and, more in general, theoretical economics and policy making. The trends concern: (1) the advent of new neuroscience techniques and the strengthening of existing ones: these are producing sound knowledge on animals’ and people’s brain mechanisms under...

There is increasing international recognition of the need to build capacity to strengthen mental health systems. This is a fundamental goal of the 'Emerging mental health systems in low- and middle-income countries' (Emerald) programme, which is being implemented in six low- and middle-income countries (LMICs) (Ethiopia, India, Nepal, Nigeria, South Africa, Uganda). This paper discusses Emerald...

In the aftermath of the Ebola crisis and with renewed attention to resilient health systems, the process of improving approaches of global health actors to health systems strengthening is of great relevance. Despite the increased amount of attention paid to health systems strengthening, there is no standard definition of this concept among global health actors. Germany is no exception. Though t...

After a selection of bright children from the schools of the district in which the University is located had been made by the Social Service Department of the Laboratory of Psychology, the children reported to the Psychological Clinic for physical and mental tests and measurements. The weight, height, head and body dimensions were taken at this time, and certain other data were secured, such as...