Program schemas are known to be useful in di erent applications such as program synthesis, transformation, analysis, debugging, teaching : : :This paper tackles two complementary aspects of program schemas. We rst propose a language for the description of program schemas. It is based on a subset of second-order logic, enhanced with constraints and speci c features of program schemas. One of the...

Program schemas are known to be useful in diierent applications such as program synthesis, transformation, analysis, debugging, teaching : : : This paper tackles two complementary aspects of program schemas. We rst propose a language for the description of program schemas. It is based on a subset of second-order logic, enhanced with constraints and speciic features of program schemas. One of th...

Metadata schema registries have great potential to enhance usability and reusability of metadata schemas. Application profiles are a key concept for Dublin Core, and have a crucial role in promoting reuse of metadata schemas. This paper discusses basic concepts and models of metadata schemas, in order to clarify functional requirements for extending registry functions to enhance usability and r...

Persecutory delusions are proposed to be a defence against low self-esteem reaching conscious awareness (Bentall, Corcoran, Howard, Blackwood, & Kinderman, 2001). Key predictions of this proposal are that individuals with persecutory delusions will have lower implicit self-esteem and equivalent levels of explicit self-esteem compared to healthy controls. This study aims to test the predictions ...

The aim of the present study was to investigate the interplay between personality factors and metaphorical schemas. The “Big Five” personality factors of 20 patients after lung transplantation were examined with the NEO-FFI. Patients were questioned about their social network, and selfand body-image. The interviews were assessed with metaphor analysis. Significant positive correlations were fou...

Schemas are core beliefs which cognitive therapists hypothesize play a central role in the maintenance of long-term psychiatric problems. Clinical methods are described which can be used with clients to weaken maladaptive schemas and construct new, more adaptive schemas. Guidelines are presented for identifying maladaptive and alternative, more adaptive schemas. Case examples illustrate the use...