This study examined the association among interpersonal relationships, irrational beliefs, and life satisfaction. Twenty-eight psychotherapy clients and 207 college undergraduates completed measures of interpersonal relations (Outcome Questionnaire; Lambert et al., 1996), irrationality (Rational Behavior Inventory; Shorkey & Whiteman, 1977), and life satisfaction (The Satisfaction with Life Sca...

We develop a control ow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that diier in minor technical ways, and we show that the proofs deviate in major ways as regards their use of proof techniques like coinduction and Kripke-logical relations.

We present GLARF, a framework for representing three linguistic levels and systems for generating this representation. We focus on a logical level, like LFG’s F-structure, but compatible with Penn Treebanks. While less finegrained than typical semantic role labeling approaches, our logical structure has several advantages: (1) it includes all words in all sentences, regardless of part of speech...

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...

The electroencephalogram (EEG) of mind-wandering (MW) was examined in event-related potentials (ERPs) and pre-stimulus alpha (8-12 Hz), over lateral-posterior sites of left and right brain hemispheres, while individuals read text passages. After controlling for individual differences in general intelligence (g), P1-asymmetry was greater (right-minus- left) and N1 amplitudes were more negative, ...

nanoparticle samples A. Pitanti, D. Navarro-Urrios, N. Prtljaga, N. Daldosso, F. Gourbilleau, R. Rizk, B. Garrido, and L. Pavesi Department of Physics, Nanoscience Laboratory, University of Trento, via Sommarive 14, Trento 38100, Italy NEST, Scuola Normale Superiore, Istituto di nanoscienze-CNR, Piazza San Silvestro 12, 56127 Pisa, Italy Dept. Electrònica, MIND-IN2UB, Universitat de Barcelona, ...

Fuzzy relation equations (FRE) are associated with the composition of binary fuzzy relations. In the present work FRE are used as a tool for studying the process of learning a new subject matter by a student class. A classroom application and other suitable examples connected to the student learning of the derivative are also presented illustrating our results and useful conclusions are obtained.

Drawing on interviews in Switzerland and New Zealand, we explore the concept of autonomy as part of a farming self. The farming self encompasses the dialectical relationship of autonomy as both value and tool that help us understand farmers within a wider set of economic, environmental and interpersonal relations. Farmers describe autonomy as a value in three related but slightly different ways...

We propose that people simplify their perceptions of their interactions by organizing them into discrete casual chunks. Once formed, these chunks presumably influence the extent to which people are aware of their influence on others, as well as their impressions of others. We anticipated that people would form self-causal chunks (e.g., my action causes my partner's action) when they possessed a...

An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it possible to combine term rewriting measure-based techniques with traditional approaches for termination in functional languages such as logical relations. The method can be made parametric on the termination technique employed on...