Branching dendrites with resonant membrane: a "sum-over-trips" approach

Dendrites form the major components of neurons. They are complex branching structures that receive and process thousands of synaptic inputs from other neurons. It is well known that dendritic morphology plays an important role in the function of dendrites. Another important contribution to the response characteristics of a single neuron comes from the intrinsic resonant properties of dendritic membrane. In this paper we combine the effects of dendritic branching and resonant membrane dynamics by generalising the "sum-over-trips" approach [Abbott, L.F., Fahri, E., Gutmann, S.: The path integral for dendritic trees. Biological Cybernetics 66, 49--60 (1991)]. To illustrate how this formalism can shed light on the role of architecture and resonances in determining neuronal output we consider dual recording and reconstruction data from a rat CA1 hippocampal pyramidal cell. Specifically we explore the way in which an $I_{h}$ current contributes to a voltage overshoot at the soma.

Branching bisimulation games.

Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root causes can be challenging. In this paper, we provide characterisations of branching bisimilarity [with explicit divergence] as games between Spoiler and Duplicator, offering an operational understanding of both relations. Moreover, we show how such games can be used to assist in diagnosing non-conformance between implementation and specification.

A Best Practice Process for Fleet Safety Training

This paper outlines a process for fleet safety training based on research and management development programmes undertaken at the University of Huddersfield in the UK (www.hud.ac.uk/sas/trans/transnews.htm) and CARRS-Q in Australia (www.carrsq.qut.edu.au/staff/Murray.jsp) over the past 10 years.