Formal methods for embedded systems currently mainly focus on single components or fixed configurations of finitely many components. Examples for the former case are open finite-state systems as models of single discrete controllers in a discrete environment. Examples for the latter comprise models of clusters of controllers with fixed inter-connection, that is, no controllers are added or remo...

Choroidal blood flow (ChBF) in birds is regulated by a neural circuit whose components are the retina, the suprachiasmatic nucleus, the medial division of the Edinger-Westphal nucleus (EWM), the ciliary ganglion, and the choriod. We have previously shown that lesions of EWM appear to result in pathological alterations in the retina. To determine whether EWM lesions also lead to altered visual f...

Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become increasingly important. The most recent planning competition IPC-2008 used the cost of the best known plan divided by the cost of the generated plan as an evaluation metric. This paper proposes and evaluates two simple b...

The calyx-type synapse of chick ciliary ganglion (CG) has been intensively studied for decades as a model system for the synaptic development, morphology and physiology. Despite recent advances in optogenetics probing and/or manipulation of the elementary steps of the transmitter release such as membrane depolarization and Ca(2+) elevation, the current gene-manipulating methods are not suitable...

Intermittent or continuous exposure to a wide variety of chemically unrelated environmental pollutants might result in the development of multiple chemical intolerance and increased sensitivity to drugs of abuse. Interestingly, clinical evidence suggests that exposure to organophosphates might be linked to increased ethanol sensitivity and reduced voluntary consumption of ethanol-containing bev...

Brain nuclei are spatially organized collections of neurons that share functional properties. Despite being central to vertebrate brain circuitry, little is known about how nuclei are generated during development. We have chosen the chick midbrain oculomotor complex (OMC) as a model with which to study the developmental mechanisms of nucleogenesis. The chick OMC comprises two distinct cell grou...