Visual-reinforcer color-and operant behavior in Siamese fighting fish

Male Siamese Fighting Fish (Betta splendens) were conditioned to emit an operant response sequence reinforced by presentation of a model of a male Siamese Fighting Fish in aggressive display. Operant response rate varied as a function of the color of the model with respect to the color of the subject.     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

��Is Getting Well Ever An Art?��: Psychopharmacology and Madness in Robert Lowell��s Day by Day

On the publication of Robert Lowell's Life Studies in 1959, some critics were shocked by the poet's use of seemingly frank autobiographical material, in particular the portrayal of his hospitalizations for bipolar disorder. During the late fifties and throughout the sixties, a rich vein, influenced by Lowell, developed in American poetry. Also during this time, the nascent science of psychopharmacology competed with and complemented the more established somatic treatments, such as psychosurgery, shock treatments, and psychoanalytical therapies. The development of Thorazine was a remarkable breakthrough allowing patients previously thought incurable to leave hospital. In 1955, the release of Miltown, the first 'minor' tranquilizer, was heralded with a media fanfare promising a new dawn of psychological cure-all. These two events blurred the boundary between 'normality' and madness by making treatment in the community more widely possible and by medicalizing more commonplace distress. Lowell's early depictions of madness situate it as emblematic of the cultural malaise of 'the tranquilized fifties.' By his final collection, Day by Day (1977), mental illness had lost its symbolic power. These late poems explore the power of art as a way of representing and remedying suffering in a culture where psychopharmacology has normalized madness.     

Performance of schizophrenia and bipolar patients on verbal and figural working memory tasks

Working memory (WM) was studied in 82 healthy volunteers, 43 schizophrenia patients, and 81 bipolar patients. Schizophrenia patients were impaired on verbal and figural WM tasks that possessed similar test discriminating power. Bipolar patients performed similarly to healthy volunteers. A mathematical model of WM performance revealed a primary role for reduced WM span in accounting for the impaired verbal WM of schizophrenia patients and a primary role for diminished attention in accounting for impaired figural WM. Although WM impairment in schizophrenia is due neither to the general effects of severe mental illness nor to the specific type of material studied, the microarchitecture of abnormal WM in schizophrenia may depend on the stimulus material presented.