Authors of American psychology textbooks habitually refer to the “existential-humanistic” or “humanistic-existential” approach to treatment, while therapists in the UK and Europe say that this usage is inaccurate, and that the differences between the existential and humanistic approaches outweigh their similarities. To assess the merit of these competing claims, we must distinguish between lite...

The relevance of an existential approach to the issue students’ educational success analyzed. problem related contradiction between needs a young person and need achieve social success, including in activities, formulated. socio­economic context requirements imposed on (the ability generate income, demand labor market, human capital) discussed. At same time, is not limited academic achievements...

This study extends findings on the effects of intensive applied behavior analytic treatment for children with autism who began treatment at a mean age of 5.5 years. The behavioral treatment group (n = 13, 8 boys) was compared to an eclectic treatment group (n = 12, 11 boys). Assignment to groups was made independently based on the availability of qualified supervisors. Both behavioral and eclec...

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testin...

This paper examines the characteristics of youth at-risk and the complexity and meanings found in educational-therapeutic discourse according to the existential approach of logotherapy. Possible directions for therapeutic work are suggested in line with the intersubjective approach. This paper is divided into four parts: Part 1 examines the characteristics of at-risk adolescents; Part 2 discuss...

Abstract datatypes can be typed conveniently using existential types. Even though it is a powerful abstraction mechanism, current type inference systems based on Hindley-Milner do not allow existential types as first-class citizens – every existential type must be explicitly declared, packed, and unpacked using a data constructor. We present an extension of theMLF type system with first-class e...