Learn More
There has been considerable research interest into the sol-ubility phase transition, and its eeect on search cost for backtracking algorithms. In this paper we show that a similar easy-hard-easy pattern occurs for local search, with search cost peaking at the phase transition. This is despite problems beyond the phase transition having fewer solutions ,(More)
In this review paper a modified cognitive neurophysiological model of Aaron T. Beck's cognitive formulation of anxiety and depression is proposed that provides an elaborated account of the cognitive and neural mediational processes of cognitive therapy (CT). Empirical evidence consistent with this model is discussed that indicates the effectiveness of(More)
The past decade has witnessed a significant shift toward a more cognitive emphasis in our understanding and treatment of obsessive-compulsive disorders (OCD). This article discusses the shortcomings in more standard behavioral treatment of OCD, which despite its demonstrated efficacy, led to the recent cognitive-behavioral approaches to the disorder.(More)
The 25-item Clark-Beck Obsessive-Compulsive Inventory (CBOCI) was developed to assess the frequency and severity of obsessive and compulsive symptoms. The measure uses a graded-response format to assess core symptom features of obsessive-compulsive disorder (OCD) based on Diagnostic and Statistical Manual of Mental Disorders (4th ed.; American Psychiatric(More)
According to recent research, deliberate suppression of unwanted thoughts may result in a paradoxical increase in their frequency. Recent cognitive-behavioral theories of obsessive-compulsive disorder now consider active thought suppression to be a crucial factor in the pathogenesis of obsessions. However, there are considerable inconsistencies in the(More)
Wegner's (1994, Psychological Review, 101, 34-52) research on the paradoxical effect of thought suppression has been incorporated into contemporary cognitive-behavioural models of obsessive-compulsive disorder. However, findings on the effects of thought suppression on thought frequency have been inconsistent and few studies have actually examined the(More)
The present study reports on the development and preliminary validation of a 52 item self-report instrument designed to assess intrusive thoughts, images and impulses that are similar to the aggressive, sexual and disease-related thinking characteristic of clinical obsessions. Two hundred and ninety-three students completed the Obsessive Intrusions(More)
T he ability to provide accurate weather forecasts to air traffic managers and controllers plays a very important role in assuring that the nation's airliner flights will remain safe and on schedule. Lincoln Laboratory has been pursuing these goals as part of the Federal Aviation Administration's (FAA) Aviation Weather Research Program (AWRP) since it began(More)
Driving FPGA systems from ANSI C is possible using lcc a retar-getable ANSI C compiler targeted at an FPGA system and dasm a retargetable, exible assembler tools. The compiler supports custom hardware c apabilities of FPGA systems, as well as all constructs of C. The assembler reads instruction deenitions at assemble time, allowing the user to add new(More)
One way of making the capability approach (CA) operational uses fuzzy poverty measures. In this paper, we present a new approach to applying these measures in the South African context using responses to a questionnaire on 'The Essentials of Life' in conjunction with a methodology for dealing with the vagueness of poverty. Our results suggest very low(More)