With the rapid growth of music information and data in today’s ever changing world, exploring and analyzing music style has become more and more difficult. Traditional content-based methods for music style analysis and newly emerged tag-based methods usually assume music items are independent of each other. However, in real world applications, do there exist some relationships among them. In th...

The hopelessness theory of depression [Abramson, L. Y., Metalsky, G. I. & Alloy, L. B. (1989). Hopelessness depression: a theory-based subtype of depression. Psychological Review, 96, 358-372.] postulates that a negative attributional style represents a risk factor for a particular constellation of depressive symptoms, termed 'hopelessness depression'. Four studies tested the relation of negati...

We study the continuation passing style (CPS) transform and its generalization, the computational transform, in which the notion of computation is generalized from continuation passing to an arbitrary one. To establish a relation between direct style and continuation passing style interpretation of sequential call-by-value programs, we prove the Retraction Theorem which says that a lambda term ...

We mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other for nominal terms (terms including α-equivalent binding structure). Both algorithms work with triangular substitutions in accumulator-passing style: taking a substitution as input, and returning an extension of that substitution on...

Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa & Sikorski (1963) for relation algebras generated by a contact relation.

Modern understanding of conflict inclines us to the idea that is closely related cognitive phenomena, which can radically change course by influencing them. In order use constructive approaches resolution, it necessary master effective techniques affect personal attitudes and individual's world view. The article presents results research work aimed at studying relationship personality behavior ...

This study examined the relation between religiosity and parenting. 311 parents from the Flemish-speaking part of Belgium completed the Post-critical Belief Scale and reported on their style of parenting. Scores for religiosity (as measured by the Exclusion vs Inclusion of Transcendence dimension) were not significantly correlated with parenting styles. In contrast, the way in which religious c...

This paper focuses on modeling users’ cognitive styles based on a set of Web usage mining techniques on user navigation patterns and clickstream data. Main aim is to investigate whether specific clustering techniques can group users of particular cognitive style using measures obtained from psychometric tests and content navigation behavior. Three navigation metrics are proposed and utilized to...