We present a call-by-need strategy for computing strong normal forms of open terms (reduction is admitted inside the body of abstractions and substitutions, and the terms may contain free variables), which guarantees that ...

Large-scale evaluation has come a long way since the 1990s and despite the criticisms and contradictions that the issue involves, the debate about its results, formats and consequences of its implementation in the classroom ...

© 2015 Jorquera, Alvarado, Libuy and de Angel. Background: Schizophrenia is a severe mental disorder involving needs in several matters that are often not covered. A need is defined as a gap between the ideal state and the ...

The management of health services is a complex administrative practice due to the breadth of the field of health and the need to reconcile individual, corporate and collective interests that are not always convergent. In ...

Objective: to characterize the profiles of families in the area covered by a Primary Health Center and to identify those in a vulnerable situation. Method: this is an epidemiological, observational, cross-sectional and ...

The aim of this study was to analyze the relationship between oral diseases and their impact on the daily performance of adult and elderly Brazilians, verify the association of oral diseases with socioeconomic and demographic ...

AIM: To determine the main visual symptoms in a Brazilian population sample, associated to refractive errors (REs) and spectacle need to suggest priorities in preventive programs. METHODS: A cross-sectional study was ...