Inhibition evoked from primary afferents in the electrosensory lateral line lobe of the weakly electric fish (Apteronotus leptorhynchus)

Distal versus proximal inhibitory shaping of feedback excitation in the electrosensory lateral line lobe: implications for sensory filtering. J. Neurophysiol. 80: 3214-3232, 1998. The inhibition controlling the indirect descending feedback (parallel fibers originating from cerebellar granule cells in the eminentia posterior pars granularis) to electrosensory lateral line lobe (ELL) pyramidal cells was studied using intracellular recording techniques in vitro. Parallel fibers (PF) contact stellate cells and dendrites of ventral molecular layer (VML) GABAergic interneurons. Stellate cells provide local input to pyramidal cell distal dendrites, whereas VML cells contact their somata and proximal dendrites. Single-pulse stimulation of PF evoked graded excitatory postsynaptic potentials (EPSPs) that were blocked by alpha-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid and N-methyl--aspartate (NMDA) antagonists. The EPSPs peaked at 6.4 +/- 1.8 ms (mean +/- SE; n = 11) but took >50 ms to decay completely. Tetanic stimulation (100 ms, 100 Hz) produced a depolarizing wave with individual EPSPs superimposed. The absolute amplitude of the individual EPSPs decreased during the train. Spike rates, established by injected current, mostly were increased, but in some cells were decreased, by tetanic stimulation. Global application of a gamma-aminobutyric acid-A (GABAA) antagonist to the recorded cell's soma and apical dendritic region increased the EPSP peak and decay phase amplitudes. Tetanic stimulation always increased current-evoked spike rates after GABAA blockade during, and for several hundred milliseconds after, the stimulus. Application of a GABAB antagonist did not have any significant effects on the PF-evoked response. This, and the lack of any long hyperpolarizing inhibitory postsynaptic potentials, suggests that VML and stellate cell inhibition does not involve GABAB receptors. Focal GABAA antagonist applications to the dorsal molecular layer (DML) and pyramidal cell layer (PCL) had contrasting effects on PF-evoked EPSPs. DML GABAA blockade significantly increased the EPSP peak amplitude but not the decay phase of the EPSP, whereas PCL GABAA-blockade significantly increased the decay phase, but not the EPSP peak, amplitude. The order of antagonist application did not affect the outcome. On the basis of the known circuitry of the ELL, we conclude that the distal inhibition originated from GABAergic molecular layer stellate cells and the proximal inhibition originated from GABAergic cells of the ventral molecular layer (VML cells). Computer modeling of distal and proximal inhibition suggests that intrinsic differences in IPSP dynamics between the distal and proximal sites may be amplified by voltage-dependent NMDA receptor and persistent sodium currents. We propose that the different time courses of stellate cell and VML cell inhibition allows them to act as low- and high-pass filters respectively on indirect descending feedback to ELL pyramidal cells.     

The distribution of tachykinin binding sites in the brain of an electric fish (Apteronotus leptorhynchus)

We mapped the distribution of tachykinin binding sites utilizing quantitative autoradiography of iodinated substance P and eledoisin as prototypic ligands for neurokinin-1 (NK1) and neurokinin-3 (NK3) receptors, respectively. The two ligands produced highly heterogenous and quantitatively different patterns of specific binding, suggesting that they revealed different tachykinin receptor subtypes. Although [125I]substance P and [125I]eledoisin binding were correlated in most brain regions, the binding of substance P was usually denser. [125I]substance P binding and substance P-like immunoreactivity were reasonably correlated in most brain areas, although discrepancies were found in some nuclei. Dense [125I]substance P binding was found in most areas of the subpallium and in parts of the pallium related to the olfactory system, as well as in the glomerular layer of the olfactory bulb. Moderate to dense binding of both ligands was observed in preoptic area, hypothalamus, habenula, parts of the thalamus and preglomerular complex. Especially noteworthy was the presence of [125I] substance P binding in the diencephalic prepacemaker nucleus, a region involved in the control of electroncommuncatory behavior. Substance P-like immunoreactivity is sexually dimorphic in certain diencephalic nuclei, including the prepacemaker nucleus (Weld and Maler, 1992); no obvious difference was seen between [125I]substance P or [125I]eledoisin binding in the brains of male versus female fish. In the mesencephalon striking laminar patterns of binding were seen in the torus semicircularis dorsalis and the optic tectum. Dense binding was also noted in the raphé nuclei, the locus ceruleus and the sensory nucleus of the vagus. Although binding of substance P in the electrosensory lateral line lobe and nucleus preeminentialis was light, it was distributed in a discrete fashion, suggesting a role of substance P in electrosensory processing.     

Differential roles of Ca2+/calmodulin-dependent kinases in posttetanic potentiation at input selective glutamatergic pathways

The electrosensory lateral line lobe (ELL) of the electric fish Apteronotus leptorhynchus is a layered medullary region receiving electroreceptor input that terminates on basal dendrites of interneurons and projection (pyramidal) cells. The molecular layer of the ELL contains two distinct glutamatergic feedback pathways that terminate on the proximal (ventral molecular layer, VML) and distal (dorsal molecular layer) apical dendrites of pyramidal cells. Western blot analysis with an antibody directed against mammalian Ca2+/calmodulin-dependent kinase 2, alpha subunit (CaMK2alpha) recognized a protein of identical size in the brain of A. leptorhynchus. Immunohistochemistry demonstrated that CaMK2 alpha expression in the ELL was restricted to fibers and terminals in the VML. Posttetanic potentiation (PTP) could be readily elicited in pyramidal cells by stimulation of either VML or DML in brain slices of the ELL. PTP in the VML was blocked by extracellular application of a CaMK2 antagonist (KN62) while intracellular application of KN62 or a CaMK2 inhibitory peptide had no effect, consistent with the presynaptic localization of CaMK2 alpha in VML. PTP in the dorsal molecular layer was not affected by extracellular application of KN62. Anti-Hebbian plasticity has also been demonstrated in the VML, but was not affected by KN62. These results demonstrate that, while PTP can occur independent of CaMK2, it is, in some synapses, dependent on this kinase.     

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

International Journal on Software Tools for Technology Transfer - We introduce in this paper $$\text {AMT} \; 2.0$$ , a tool for qualitative and quantitative analysis of hybrid continuous and...     

Computing reachable states for nonlinear biological models

In this paper, we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological models. We summarize the state-of-the-art for linear systems and then develop a novel algorithm for computing reachable states for nonlinear systems. We report experimental results obtained using a prototype implementation applied to several biological models. We believe these results constitute a promising contribution to the analysis of complex models of biological systems.     

On optimal and reasonable control in the presence of adversaries

This paper constitutes a sketch of a unified framework for posing and solving problems of optimal control in the presence of uncontrolled disturbances. After laying down the general framework we look closely at a concrete instance where the controller is a scheduler and the disturbances are related to uncertainties in task durations.     

Time Domain Verification of Oscillator Circuit Properties

The application of formal methods to analog and mixed signal circuits requires efficient methods for constructing abstractions of circuit behaviors. This paper concerns the verification of properties of oscillator circuits. Generic monitor automata are proposed to facilitate the application of hybrid system reachability computations to characterize time domain features of oscillatory behavior, such as bounds on the signal amplitude and jitter. The approach is illustrated for a nonlinear tunnel-diode circuit model using PHAVer, a hybrid system analysis tool that provides sound verification results based on linear hybrid automata approximations and infinite precision computations.     

Subtractive and divisive inhibition: effect of voltage-dependent inhibitory conductances and noise

The influence of voltage-dependent inhibitory conductances on firing rate versus input current (f-I) curves is studied using simulations from a new compartmental model of a pyramidal cell of the weakly electric fish Apteronotus leptorhynchus. The voltage dependence of shunting-type inhibition enhances the subtractive effect of inhibition on f-I curves previously demonstrated in Holt and Koch (1997) for the voltage-independent case. This increased effectiveness is explained using the behavior of the average subthreshold voltage with input current and, in particular, the nonlinearity of Ohm's law in the subthreshold regime. Our simulations also reveal, for both voltage-dependent and -independent inhibitory conductances, a divisive inhibition regime at low frequencies (f < 40 Hz). This regime, dependent on stochastic inhibitory synaptic input and a coupling of inhibitory strength and variance, gives way to subtractive inhibition at higher-output frequencies (f > 40 Hz). A simple leaky integrate-and-fire type model that incorporates the voltage dependence supports the results from our full ionic simulations.     

Effective synthesis of switching controllers for linear systems

In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one “mode” to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems