Copying actions and copying outcomes: Social learning through the second year

The present work documents how the logic of a model's demonstration and the communicative cues that the model provides interact with age to influence how children engage in social learning. Children at ages 12, 18, and 24 months (n = 204) watched a model open a series of boxes. Twelve-month-old subjects only copied the specific actions of the model when they were given a logical reason to do so- otherwise, they focused on reproducing the outcome of the demonstrated actions. Eighteen-month-old subjects focused on copying the outcome when the model was aloof. When the model acted socially, the subjects were as likely to focus on copying actions as outcomes, irrespective of the apparent logic of the model's behavior. Finally, 24-month-old subjects predominantly focused on copying the model's specific actions. However, they were less likely to produce the modeled outcome when the model acted nonsocially.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.