Striking changes in the funding and implementation of international health programs in recent decades have stimulated debate about the role of communities in deciding which health programs to implement. An important yet ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

The aim of this study is to analyze the relationship between the quantitative indicators used by CAPES and the final grade of each graduate program through the application of multivariate statistical procedures, in order ...

The Brazilian program of higher education evaluation, broadly known as the National Exam of Students’ Performance (ENADE), represents a governmental effort to gather information on undergraduate educational quality. As ...

Over the past decade, the number and diversity of executive education (EE) programs have continued to grow (BusinessWeek, 2006). With the proliferation of EE programs come the challenges of evaluating the overall quality ...

We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...