This paper presents new support for randomized testing in PLT Redex, a domain-specific language for formalizing operational semantics. In keeping with the overall spirit of Redex, the testing support is as lightweight as possible—Redex programmers simply write down predicates that correspond to facts about their calculus and the tool randomly generates program expressions in an attempt to falsi...

BACKGROUND Metagenomics is a relatively new but fast growing field within environmental biology and medical sciences. It enables researchers to understand the diversity of microbes, their functions, cooperation, and evolution in a particular ecosystem. Traditional methods in genomics and microbiology are not efficient in capturing the structure of the microbial community in an environment. Nowa...

The authors used an event-contingent daily recording strategy, the Rochester Interaction Record (RIR), to examine the motivational dynamics of interpersonal relations. Using hierarchical linear modeling, the authors demonstrated that social interactions were more pleasant when participants felt autonomous, competent, and related. Autonomy, competence, and relatedness consistently predicted inte...

The approval of the National Policy of Integrative and Complementary Practices fosters the provision of Community Therapy in the Brazilian Unified Health System (SUS). This initiative seeks to develop the necessary competencies to attend to the psychosocial demands in the professionals and the community leadership and to build support networks in order to extend the efficacy of Primary Health C...

One of the new factors in Eastern European countries (and there is an acknowledgement that this aspect is inherent in other countries too) is this concept of freely sharing information i.e. the concept of what is known in KM literature of “Knowledge Sharing”. Sharing only takes place where there is trust and where there is a shared feeling of ownership of goals. The reasons behind the tendency ...

Aim Emotional intelligence (EI) is the ability to use emotions effectively and productively. It is becoming increasingly clear that these skills are one of the primary foundations for better performance of students in classrooms and in the society as well and EI provides the basis for competencies important "in almost every job." So we accessed the EI of teenagers as a guide of their academic s...

This multimethod research linked the Big Five personality dimensions to interpersonal conflicts. Agreeableness was the focus because this dimension is associated with motives to maintain positive interpersonal relations. Converging responses to both hypothetical conflicts and to diary records of actual daily interpersonal conflicts across a two-week period were assessed. Agreeableness was expec...