Scheme
14 Followers
Recent papers in Scheme
We develop and explore a Core Specification Theory (CST) as a basis for the meta-mathematical investigation of specification and specification languages.
During the last ten years the lattice Boltzmann equation (LBE) method has been developed as an alternative numerical approach in computational fluid dynamics (CFD). Originated from the discrete kinetic theory, the LBE method has emerged... more
This article presents the Schema Therapy (Young, Klosko, & Weishaar, 2003) approach to the treatment of borderline personality disorder. Schema therapy draws on the cognitive-behavioral, attachment, psychodynamic, and emotion-focused... more
A comparative analysis of deposit products in banking industry: an opportunity for eastern bank Ltd.
... based') arguments, of which GWF Hegel's Philosophy of Right is said to be the best example.8 A SR-based argument for private property, Waldron says, is one that justifies private property as being necessary for the... more
The evolution of calculation tools available for the learning of mathematics has been quick and profound. After the first illusions on a naturally positive integration of these tools, new theoretical approaches have emerged. They take... more
Résumé Abstract La non-adhésion des patients concernant les recommandations médicales représente une embûche majeure. Les études ont permis d'identifier différents facteurs prédictifs de l'adhésion, dont entre autres, la... more
This study examined battered women's cognitive schema in relation to their cognitions about violence (i.e., the “meaning” attached to the violence), post-traumatic reactions to violence, and sexual victimization histories. Seventy-two... more
We present cKanren, a framework for constraint logic programming (CLP) in Scheme. cKanren subsumes miniKanren, a logic programming language embedded in Scheme. cKanren allows programmers to easily use, define, and combine different kinds... more