Satisfiability Testing for Boolean Formulas Using Δ-trees

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem.     

Definitional and Research Issues in the Common Factors Approach to Psychotherapy Integration: Misconceptions, Clarifications, and Proposals

This paper focuses on two common misconceptions of common factors in therapy. The first misconception entails the confusion between common factors and therapeutic factors, and thus the inappropriate and misleading use of the term therapeutic common factors in various situations. The second misconception is the mixing of commonalities of different kinds and levels in proposed lists and studies of common factors. These areas are discussed and clarified, and recommendations designed to facilitate conceptual and methodological improvements relative to each misconception are offered. The selection of best levels and kinds of common factors to be studied are further explored (i.e., the study of client change events and antecedent therapist behaviors across different therapies), and specific proposals for their research are outlined.     

From case management to prevention of scientific dishonesty in Denmark

In 1992, The Danish Medical Research Council established a national committee on scientific dishonesty with the twofold task of handling cases of scientific misconduct and taking preventive initiatives. Scientific dishonesty was proven in only five cases, but in another nine cases lesser degrees of deviations from good scientific practice were found. The experiences from a total of 24 treated cases indicated that three key areas were at the basis of most of the accusations and the deviations from good practice: uncertainty about 1) authorship, about 2) rights and duties to use scientific data and about 3) agreements at the initiation of joint studies. As a consequence guidelines on good practice have been issued on these key subjects. An earlier version of this paper was presented at a symposium, Scientific Misconduct. An International Perspective, organised by The Medical University of Warsaw, 16 November, 1998.     

“Seeing Conversion Whole”: Testing a Model of Religious Conversion

Rambo (1993) theorized that religious conversion consists of a process involving seven dimensions, labeled context, crisis, quest, encounter, interaction, commitment, and consequences. To test the Rambo model, a new measure, the 97-item Adult Religious Conversion Experiences Questionnaire (ARCEQ), was developed, revised on the basis of feedback from a focus group, and administered by mail to 110 adult volunteers who self-identified as having experienced conversion. Reliability analysis of the subscales of the ARCEQ resulted in five (crisis, quest, encounter, commitment, and consequences) meeting the criterion ( > .80). A sixth (interaction) achieved a reliability of .76 and was retained, but the seventh (context) was dropped. Principal components factor analysis with Varimax rotation produced factors labeled Redemptive Love, Zealous Dedication, Dysphoric Need, Openness to Uncertainty, Extrinsic Crisis, and Experiential Learning, which could readily be interpreted in relation to Rambo's model. Subsidiary analyses showed a number of significant correlations between demographic characteristics of the sample and differences in religious conversion experience.     

Tucker3 hierarchical classes analysis

This paper presents a new model for binary three-way three-mode data, called Tucker3 hierarchical classes model (Tucker3-HICLAS). This new model generalizes Leenen, Van Mechelen, De Boeck, and Rosenberg's (1999) individual differences hierarchical classes model (INDCLAS). Like the INDCLAS model, the Tucker3-HICLAS model includes a hierarchical classification of the elements of each mode, and a linking structure among the three hierarchies. Unlike INDCLAS, Tucker3-HICLAS (a) does not restrict the hierarchical classifications of the three modes to have the same rank, and (b) allows for more complex linking structures among the three hierarchies. An algorithm to fit the Tucker3-HICLAS model is described and evaluated in an extensive simulation study. An application of the model to hostility data is discussed.The first author is a Research Assistant of the Fund for Scientific Research-Flanders (Belgium). The research reported in this paper was partially supported by the Research Council of K.U. Leuven (GOA/2000/02). We are grateful to Kristof Vansteelandt for providing us with an interesting data set.     

Does God Play Dice? A Response to Niels H. Gregersen, “The Idea of Creation and the Theory of Autopoietic Processes”

The idea that the Creator has a plan for creation is deeply rooted in the Christian notion of Providence. This notion seems to suggest that the history of creation must be the execution of the providential plan of God. Such an understanding of divine providence expects science to confirm that cosmic history is under supernatural guidance, that evolution is therefore oriented toward a goal—to bring forth human beings, for example. The problem is, however, that science finds evidence for neither supernatural guidance nor teleology in nature. To address this problem, I understand Niels H. Gregersen to suggest that God is involved in the creative process. The reason science cannot demonstrate God's supernatural guidance of evolution is that the Creator structures the process from within. Gregersen argues that God is involved in the process of creation by changing the overall probability pattern of evolving systems.
In my view, such a model of how God interacts with creation is supported neither by orthodox Christianity nor by modern science. After a critique of Gregersen's argument and a brief history of the relationship between Christianity and science, I shall suggest an alternative. It is that the freedom of creation to create itself is implicit in the fundamental dogma of Christianity that God is love.     

Is Therapeutic Alliance Influenced by a Feminist Approach to Therapy?

Although the feminist critique of marriage and family therapy has been a significant part of the literature for many years, its impact has been blunted by two criticisms. The first suggests that the feminist critique lacks empirical support. The second suggests that the feminist critique promotes an alliance with women clients at the expense of men. The first criticism has been addressed in recent years. The present study examined the relationship between feminist principles and therapeutic alliance. Results suggest that feminist principles actually enhance therapeutic relationship for men clients but has no effect on therapeutic relationship for women clients.of the Marriage and Family Therapy Program     

青少年学校归属感问卷编制

该研究在开放式问卷与相关研究基础上,编制了学校归属感初始问卷。对240名学生初始测试后进行探索性因素分析,然后对440名学生的正式测验结果进行验证性因素分析。结果表明学生归属感问卷包括四个维度：同伴关系,教师支持,规章制度,硬件设施。验证性因素分析后各个数据均达到可接受水平,四维度模型拟合度较好。问卷具有良好的信度与效度,可以作为青少年学校归属感水平的测量工具。     

Stereotype activation is unintentional: Behavioural and event‐related potenials evidence

In this study, a priming Stroop paradigm was used to determine whether stereotype activation is unintentional. Priming conditions (priming/no‐priming) and the relationship between priming and target (consistent/inconsistent/no‐relation) were the independent variables; accuracy, reaction time and N400 amplitude were used as dependent variables. The reaction time revealed that stereotype activation is, to some extent, unintentional. Furthermore, the event‐related potenial (ERP) results showed that N400 amplitude was larger for inconsistent conditions than for consistent conditions. This result supported the notion that stereotype activation is an unintentional and automatic process.     

Evaluation of a Combined Cognitive Behavioural Therapy and Interpersonal Process Group in the Psychotherapy Training of Clinical Psychologists

It is now widely acknowledged that both content and process elements of psychotherapy play a part in client treatment outcomes. Despite this, there are pressures on Australian clinical psychology training programs to teach evidence‐based approaches in a relatively short time frame. Producing clinical psychology graduates who have an adequate level of competence in evidence‐based practice and meeting the demands of professional accreditation requirements can mean that less time is available to teach the process elements of psychotherapy. The aim of this study was to conduct a preliminary evaluation of a clinical psychology psychotherapy training program that combines an interpersonal process group with a cognitive behavioural therapy training model that incorporates self‐reflection and self‐practice. Eleven participants who participated in the training in 2008 completed the Counseling Self‐Estimate Inventory at pre‐ and post‐training. Significant improvements on the majority of the subscales of this inventory were found. A separate sample of nine trainees and clinical psychology registrars who also previously completed the program attended individual interviews in 2010 aimed at gaining their perspective regarding various aspects of the program. Self‐practice of cognitive behavioural therapy techniques was found to be important in the identification and management of trainees’ own core beliefs, and to their appreciation of how challenging this process may be for clients. The interpersonal process group was described by participants as enhancing their competency as psychotherapists. Common themes included the experience of anxiety and a high level of emotion, and understanding how this experience might be similar for clients; increased self‐awareness; and increased competence in process issues. Many participants believed the process and content components of training were equally important to their development as psychotherapists.