This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
■ Two fMRI experiments explored the neural substrates of a musical imagery task that required manipulation of the imagined sounds: temporal reversal of a melody. Musicians were ...
Robert J. Zatorre, Andrea R. Halpern, Marc Bouffar...
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
Pouya Dehghani Tafti, Dimitri Van De Ville, Michae...
Unlike fixed-pitch instruments such as the piano, human singing can stray from a target pitch by as much as a semitone while still being perceived as a single fixed note. This p...