Quentin Skinner is an intellectual historian known for his pioneering work on early-modern European political thought. He was educated at Bedford School and Gonville and Caius College, Cambridge. Author of such works as The Foundations of Modern Political Thought (1978) and Visions of Politics (2002) he served as the Regius Professor of History at the University of Cambridge, and currently as t...

Monkeys were trained in a Skinner box to press a key for standard food pellets on a fixed-ratio 10 schedule for 30 min. When stable responding had been achieved, two novel foods (almond nuts and marshmallows) were introduced. In the conditioning sessions on the odd-number days, pressing a key delivered one of the two novel foods as the to-be-conditioned target food, and each monkey was injected...

Thirty-five years ago, B.F. Skinner (1976) lamented a decreasing trend in the prevalence of cumulative records in the Journal of the Experimental Analysis of Behavior ( JEAB). The editorial began with the two memorable lines, ‘‘Evidently we have not long to wait for an issue of JEAB without a single cumulative record! I shall not miss the records so much as the kinds of experiments that could s...

The Bandera Tool Set is an integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model-checking Java source code. Bandera takes as input Java source code and a software requirement formalized in Bandera's temporal speciication language, and it generates a program model and speciication in the input language of one of ...

The aim of this work was to reveal a hypothetical improvement of cognitive abilities in animals acclimatized to altitude and performing under ground level conditions, when looking at submaximal performance, once seen that it was not possible when looking at maximal scores. We modified contrasted cognitive tasks (object recognition, operant conditioning, eight-arm radial maze, and classical cond...

This article introduces the ArduiPod Box, an open-source device built using two main components (i.e., an iPod Touch and an Arduino microcontroller), developed as a low-cost alternative to the standard operant conditioning chamber, or "Skinner box." Because of its affordability, the ArduiPod Box provides an opportunity for educational institutions with small budgets seeking to set up animal lab...

Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on extracting nite-state models from program source code and on abstracting those models is focused on enabling the tractable checking of program properties such as freedom from deadlock and assertion violations. For the most part, the problem of specifying more general pro...