In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...

Background: Impaired movement stability is a common symptom of Parkinson's disease (PD) that leads to falls and mishandled objects. Decline in synergistic stabilization of movement in PD patients has been observed in manual ...

This paper presents the modeling and control of photovoltaic systems considering disturbances in the solar irradiance and the load. Three cases are addressed: step-up/step-down systems using a non-inverting Buck-Boost ...

Aging is a process that causes changes and wears out some of the functional systems of the body. These changes are irreversible and progressive. Individuals that show an active adulthood and old age can minimize the loss ...