TY - JOUR AB - Parallel recording of neuronal activity in the behaving animal is a prerequisite for our understanding of neuronal representation and storage of information. Here we describe the development of micro-machined silicon microelectrode arrays for unit and local field recordings. The two-dimensional probes with 96 or 64 recording sites provided high-density recording of unit and field activity with minimal tissue displacement or damage. The on-chip active circuit eliminated movement and other artifacts and greatly reduced the weight of the headgear. The precise geometry of the recording tips allowed for the estimation of the spatial location of the recorded neurons and for high-resolution estimation of extracellular current source density. Action potentials could be simultaneously recorded from the soma and dendrites of the same neurons. Silicon technology is a promising approach for high-density, high-resolution sampling of neuronal activity in both basic research and prosthetic devices. AU - Jozsef Csicsvari AU - Henze, Darrell A AU - Jamieson, Brian G AU - Harris, Kenneth D AU - Sirota, Anton M AU - Bartho, Peter AU - Wise, Kensall D AU - Buzsáki, György ID - 3529 IS - 2 JF - Journal of Neurophysiology TI - Massively parallel recording of unit and local field potentials with silicon-based electrodes VL - 90 ER - TY - JOUR AB - Gamma frequency oscillations (30-100 Hz) have been suggested to underlie various cognitive and motor functions. Here, we examine the generation of gamma oscillation currents in the hippocampus, using two-dimensional, 96-site silicon probes. Two gamma generators were identified, one in the dentate gyrus and another in the CA3-CA1 regions. The coupling strength between the two oscillators varied during both theta and nontheta states. Both pyramidal cells and interneurons were phase-locked to gamma waves. Anatomical connectivity, rather than physical distance, determined the coupling strength of the oscillating neurons. CA3 pyramidal neurons discharged CA3 and CA1 interneurons at latencies indicative of monosynaptic connections. Intrahippocampal gamma oscillation emerges in the CA3 recurrent system, which entrains the CA1 region via its interneurons. AU - Jozsef Csicsvari AU - Jamieson, Brian G AU - Wise, Kensall D AU - Buzsáki, György ID - 3528 IS - 2 JF - Neuron TI - Mechanisms of gamma oscillations in the hippocampus of the behaving rat VL - 37 ER - TY - JOUR AB - Both neocortical and hippocampal networks organize the firing patterns of their neurons by prominent oscillations during sleep, but the functional role of these rhythms is not well understood. Here, we show a robust correlation of neuronal discharges between the somatosensory cortex and hippocampus on both slow and fine time scales in the mouse and rat. Neuronal bursts in deep cortical layers, associated with sleep spindles and delta waves/slow rhythm, effectively triggered hippocampal discharges related to fast (ripple) oscillations. We hypothesize that oscillation-mediated temporal links coordinate specific information transfer between neocortical and hippocampal cell assemblies. Such a neocortical-hippocampal interplay may be important for memory consolidation. AU - Sirota, Anton M AU - Jozsef Csicsvari AU - Buhl, Derek L AU - Buzsáki, György ID - 3543 IS - 4 JF - PNAS TI - Communication between neocortex and hippocampus during sleep in rodents VL - 100 ER - TY - JOUR AB - Temporal logics such as Computation Tree Logic (CTL) and Linear Temporal Logic (LTL) have become popular for specifying temporal properties over a wide variety of planning and verification problems. In this paper we work towards building a generalized framework for automated reasoning based on temporal logics. We present a powerful extension of CTL with first-order quantification over the set of reachable states for reasoning about extremal properties of weighted labeled transition systems in general. The proposed logic, which we call Weighted Quantified Computation Tree Logic (WQCTL), captures the essential elements common to the domain of planning and verification problems and can thereby be used as an effective specification language in both domains. We show that in spite of the rich, expressive power of the logic, we are able to evaluate WQCTL formulas in time polynomial in the size of the state space times the length of the formula. Wepresent experimental results on the WQCTL verifier. AU - Krishnendu Chatterjee AU - Dasgupta, Pallab AU - Chakrabarti, Partha P ID - 3593 IS - 2 JF - Journal of Automated Reasoning TI - A branching time temporal framework for quantitative reasoning VL - 30 ER - TY - THES AU - Christoph Lampert ID - 3678 T2 - Bonner Mathematische Schriften TI - The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric VL - 356 ER -