In a Perspective, Lars Åke Persson discusses the need to focus on quality of care to improve maternal, newborn, and child healthcare.

Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Lars Birkedal Harvard University IT University of Copenhagen {aleks,amal,greg}@eecs.harvard.edu [email protected]

Background: Early impairment of the cognitive and behavioral executive processes are found in Mild Cognitive Impairment (MCI) as well as in Alzheimer’s disease (AD). These processes are strongly linked to autonomy in daily living because they are involved in our adaptation to many new situations.Objectives and methods: To evaluate the executive processes and their links with autonomy, we compar...

The purpose of this master's thesis was to explore the circuit design space (speed, area, power) of conventional binary arithmetic and to suggest improvements or alternatives to this arithmetic. The alternatives to the binary arithmetic focused on was the Signed-Digit (SD) number system, the Residue Number System (RNS) and the combination of these two systems (RNS+SD). The work resulted in new ...