Learn More
Inhibitory neurotransmission ensures normal brain function by counteracting and integrating excitatory activity. γ-Aminobutyric acid (GABA) is the main inhibitory neurotransmitter in the mammalian central nervous system, and mediates its effects via two classes of receptors: the GABA(A) and GABA(B) receptors. GABA(A) receptors are heteropentameric(More)
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such programs involves reasoning about unbounded sets of graphs. Three-valued shape analysis (Sagiv et. al.) is an approach based on explicit manipulation of 3-valued shape graphs, which(More)
We present a complete redesign of <i>evaluation strategies</i>, a key abstraction for specifying pure, deterministic parallelism in Haskell. Our new formulation preserves the compositionality and modularity benefits of the original, while providing significant new benefits. First, we introduce an <i>evaluation-order monad</i> to provide clearer, more(More)
We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration Calculus, that allows reasoning about systems exhibiting communication, data and real-time aspects. As intermediate layer we will use a new kind of timed automata that preserve events and data variables of the specification. These automata have a simple(More)
We present the initial design, implementation and preliminary evaluation of a new distributed memory parallel Haskell, HdpH. The language is a shallowly embedded parallel extension of Haskell that supports high-level semi-explicit parallelism, is scalable, and has the potential for fault tolerance. The HdpH implementation is designed for maintainability(More)
Metabotropic GABA(B) receptors are abundantly expressed at glutamatergic synapses where they control excitability of the synapse. Here, we tested the hypothesis that glutamatergic neurotransmission may regulate GABA(B) receptors. We found that application of glutamate to cultured cortical neurons led to rapid down-regulation of GABA(B) receptors via(More)
Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution. Symbolic computations are, however, challenging to parallelise as they have complex data and control structures, and both dynamic and highly irregular parallelism. The SymGridPar framework has been(More)