Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more pr...

Constrained encoding has several applications in the synthesis of finite state machines (FSMs). E.g., it can be used to generate asynchronous FSM state assignment that guarantees a critical hazard-free implementation, or to generate synchronous FSM state assignment with minimum PLA implementation. This paper presents ZEDICHO, an original zero-suppressed binary decision diagram (ZBDD) based algo...

We show that communication may evolve in a population of simple machines that are physically capable of sensing and modifying a shared environment and for which there is selective pressure in favor of cooperative behavior The emergence of communication was detected by comparing simulations in which communication was permitted with those in which it was suppressed When communication was not supp...

We show that communication may evolve in a population of simple machines that are physically capable of sensing and modifying a shared environment, and for which there is selective pressure in favor of cooperative behavior. The emergence of communication was detected by comparing simulations in which communication was permitted with those in which it was suppressed. When communication was not s...

Long-term depression (LTD) at parallel fiber (PF) to Purkinje cell (PC) synapses has been considered as a main cellular mechanism for motor learning. However, the necessity of LTD for motor learning was challenged by demonstration of normal motor learning in the LTD-defective animals. Here, we addressed possible involvement of LTD in motor learning by examining whether LTD occurs during motor l...

Neurophysiological and neuroimaging work suggests that the cerebellum is critically involved in sensorimotor adaptation. Changes in cerebellar function alter behaviour when compensating for sensorimotor perturbations, as shown by non-invasive stimulation of the cerebellum and studies involving patients with cerebellar degeneration. It is known, however, that behavioural responses to sensorimoto...