This paper presents an approach for the automated debugging of reactive and concurrent Java programs, combining model checking and runtime monitoring. Runtime monitoring is used to transform the Java execution traces into the input for the model checker, the purpose of which is twofold. First, it checks these execution traces against properties written in linear temporal logic (LTL), which repr...

Researchers at the National Cancer Institute developed a new cognitively based food frequency questionnaire (FFQ), the Diet History Questionnaire (DHQ). The Eating at America's Table Study sought to validate and compare the DHQ with the Block and Willett FFQs. Of 1,640 men and women recruited to participate from a nationally representative sample in 1997, 1,301 completed four telephone 24-hour ...

In measuring food intake, three common methods are used: 24-hour recalls, food frequency questionnaires and food records. Food records or 24-hour recalls are often thought to be the most reliable, but they are difficult and expensive to obtain. The question of interest to us is to use the food records or 24-hour recalls to examine possible systematic biases in questionnaires as a measure of usu...

The food frequency questionnaires are widely used in epidemiological researches like dietary assessment method. Traditionally, they have been self-administered in paper but the use of information and communication technologies has led to develop Internet and computerized food frequency questionnaires. It is the objective of this article to offer a global perspective of the new technologies appl...

Background. Considering the importance of the role of performance appraisal in organizations, we conclude that performance evaluation has played a major role in achieving human resource productivity. On the other hand, due to the importance of human resources and the role played by the organization, attention to the attitudes and behaviors of this valuable factor is very important. Objectives....