---
_id: '3529'
abstract:
- lang: eng
text: 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.
author:
- first_name: Jozsef L
full_name: Jozsef Csicsvari
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: Darrell
full_name: Henze, Darrell A
last_name: Henze
- first_name: Brian
full_name: Jamieson, Brian G
last_name: Jamieson
- first_name: Kenneth
full_name: Harris, Kenneth D
last_name: Harris
- first_name: Anton
full_name: Sirota, Anton M
last_name: Sirota
- first_name: Peter
full_name: Bartho, Peter
last_name: Bartho
- first_name: Kensall
full_name: Wise, Kensall D
last_name: Wise
- first_name: György
full_name: Buzsáki, György
last_name: Buzsáki
citation:
ama: Csicsvari JL, Henze D, Jamieson B, et al. Massively parallel recording of unit
and local field potentials with silicon-based electrodes. Journal of Neurophysiology.
2003;90(2):1314-1323. doi:10.1152/jn.00116.2003
apa: Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho,
P., … Buzsáki, G. (2003). Massively parallel recording of unit and local field
potentials with silicon-based electrodes. Journal of Neurophysiology. American
Physiological Society. https://doi.org/10.1152/jn.00116.2003
chicago: Csicsvari, Jozsef L, Darrell Henze, Brian Jamieson, Kenneth Harris, Anton
Sirota, Peter Bartho, Kensall Wise, and György Buzsáki. “Massively Parallel Recording
of Unit and Local Field Potentials with Silicon-Based Electrodes.” Journal
of Neurophysiology. American Physiological Society, 2003. https://doi.org/10.1152/jn.00116.2003.
ieee: J. L. Csicsvari et al., “Massively parallel recording of unit and local
field potentials with silicon-based electrodes,” Journal of Neurophysiology,
vol. 90, no. 2. American Physiological Society, pp. 1314–1323, 2003.
ista: Csicsvari JL, Henze D, Jamieson B, Harris K, Sirota A, Bartho P, Wise K, Buzsáki
G. 2003. Massively parallel recording of unit and local field potentials with
silicon-based electrodes. Journal of Neurophysiology. 90(2), 1314–1323.
mla: Csicsvari, Jozsef L., et al. “Massively Parallel Recording of Unit and Local
Field Potentials with Silicon-Based Electrodes.” Journal of Neurophysiology,
vol. 90, no. 2, American Physiological Society, 2003, pp. 1314–23, doi:10.1152/jn.00116.2003.
short: J.L. Csicsvari, D. Henze, B. Jamieson, K. Harris, A. Sirota, P. Bartho, K.
Wise, G. Buzsáki, Journal of Neurophysiology 90 (2003) 1314–1323.
date_created: 2018-12-11T12:03:48Z
date_published: 2003-08-01T00:00:00Z
date_updated: 2021-01-12T07:44:05Z
day: '01'
doi: 10.1152/jn.00116.2003
extern: 1
intvolume: ' 90'
issue: '2'
month: '08'
page: 1314 - 1323
publication: Journal of Neurophysiology
publication_status: published
publisher: American Physiological Society
publist_id: '2856'
quality_controlled: 0
status: public
title: Massively parallel recording of unit and local field potentials with silicon-based
electrodes
type: journal_article
volume: 90
year: '2003'
...
---
_id: '3528'
abstract:
- lang: eng
text: 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.
author:
- first_name: Jozsef L
full_name: Jozsef Csicsvari
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: Brian
full_name: Jamieson, Brian G
last_name: Jamieson
- first_name: Kensall
full_name: Wise, Kensall D
last_name: Wise
- first_name: György
full_name: Buzsáki, György
last_name: Buzsáki
citation:
ama: Csicsvari JL, Jamieson B, Wise K, Buzsáki G. Mechanisms of gamma oscillations
in the hippocampus of the behaving rat. Neuron. 2003;37(2):311-322. doi:10.1016/S0896-6273(02)01169-8
apa: Csicsvari, J. L., Jamieson, B., Wise, K., & Buzsáki, G. (2003). Mechanisms
of gamma oscillations in the hippocampus of the behaving rat. Neuron. Elsevier.
https://doi.org/10.1016/S0896-6273(02)01169-8
chicago: Csicsvari, Jozsef L, Brian Jamieson, Kensall Wise, and György Buzsáki.
“Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.” Neuron.
Elsevier, 2003. https://doi.org/10.1016/S0896-6273(02)01169-8.
ieee: J. L. Csicsvari, B. Jamieson, K. Wise, and G. Buzsáki, “Mechanisms of gamma
oscillations in the hippocampus of the behaving rat,” Neuron, vol. 37,
no. 2. Elsevier, pp. 311–322, 2003.
ista: Csicsvari JL, Jamieson B, Wise K, Buzsáki G. 2003. Mechanisms of gamma oscillations
in the hippocampus of the behaving rat. Neuron. 37(2), 311–322.
mla: Csicsvari, Jozsef L., et al. “Mechanisms of Gamma Oscillations in the Hippocampus
of the Behaving Rat.” Neuron, vol. 37, no. 2, Elsevier, 2003, pp. 311–22,
doi:10.1016/S0896-6273(02)01169-8.
short: J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.
date_created: 2018-12-11T12:03:48Z
date_published: 2003-01-01T00:00:00Z
date_updated: 2021-01-12T07:44:05Z
day: '01'
doi: 10.1016/S0896-6273(02)01169-8
extern: 1
intvolume: ' 37'
issue: '2'
month: '01'
page: 311 - 322
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '2857'
quality_controlled: 0
status: public
title: Mechanisms of gamma oscillations in the hippocampus of the behaving rat
type: journal_article
volume: 37
year: '2003'
...
---
_id: '3543'
abstract:
- lang: eng
text: 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.
author:
- first_name: Anton
full_name: Sirota, Anton M
last_name: Sirota
- first_name: Jozsef L
full_name: Jozsef Csicsvari
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: Derek
full_name: Buhl, Derek L
last_name: Buhl
- first_name: György
full_name: Buzsáki, György
last_name: Buzsáki
citation:
ama: Sirota A, Csicsvari JL, Buhl D, Buzsáki G. Communication between neocortex
and hippocampus during sleep in rodents. PNAS. 2003;100(4):2065-2069. doi:10.1073/pnas.0437938100
apa: Sirota, A., Csicsvari, J. L., Buhl, D., & Buzsáki, G. (2003). Communication
between neocortex and hippocampus during sleep in rodents. PNAS. National
Academy of Sciences. https://doi.org/10.1073/pnas.0437938100
chicago: Sirota, Anton, Jozsef L Csicsvari, Derek Buhl, and György Buzsáki. “Communication
between Neocortex and Hippocampus during Sleep in Rodents.” PNAS. National
Academy of Sciences, 2003. https://doi.org/10.1073/pnas.0437938100.
ieee: A. Sirota, J. L. Csicsvari, D. Buhl, and G. Buzsáki, “Communication between
neocortex and hippocampus during sleep in rodents,” PNAS, vol. 100, no.
4. National Academy of Sciences, pp. 2065–2069, 2003.
ista: Sirota A, Csicsvari JL, Buhl D, Buzsáki G. 2003. Communication between neocortex
and hippocampus during sleep in rodents. PNAS. 100(4), 2065–2069.
mla: Sirota, Anton, et al. “Communication between Neocortex and Hippocampus during
Sleep in Rodents.” PNAS, vol. 100, no. 4, National Academy of Sciences,
2003, pp. 2065–69, doi:10.1073/pnas.0437938100.
short: A. Sirota, J.L. Csicsvari, D. Buhl, G. Buzsáki, PNAS 100 (2003) 2065–2069.
date_created: 2018-12-11T12:03:53Z
date_published: 2003-02-18T00:00:00Z
date_updated: 2021-01-12T07:44:12Z
day: '18'
doi: 10.1073/pnas.0437938100
extern: 1
intvolume: ' 100'
issue: '4'
month: '02'
page: 2065 - 2069
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '2841'
quality_controlled: 0
status: public
title: Communication between neocortex and hippocampus during sleep in rodents
type: journal_article
volume: 100
year: '2003'
...
---
_id: '3593'
abstract:
- lang: eng
text: 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.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Pallab
full_name: Dasgupta, Pallab
last_name: Dasgupta
- first_name: Partha
full_name: Chakrabarti, Partha P
last_name: Chakrabarti
citation:
ama: Chatterjee K, Dasgupta P, Chakrabarti P. A branching time temporal framework
for quantitative reasoning. Journal of Automated Reasoning. 2003;30(2):205-232.
doi:10.1023/A:1023217515688
apa: Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2003). A branching time
temporal framework for quantitative reasoning. Journal of Automated Reasoning.
Springer. https://doi.org/10.1023/A:1023217515688
chicago: Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “A Branching
Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning.
Springer, 2003. https://doi.org/10.1023/A:1023217515688.
ieee: K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “A branching time temporal
framework for quantitative reasoning,” Journal of Automated Reasoning,
vol. 30, no. 2. Springer, pp. 205–232, 2003.
ista: Chatterjee K, Dasgupta P, Chakrabarti P. 2003. A branching time temporal framework
for quantitative reasoning. Journal of Automated Reasoning. 30(2), 205–232.
mla: Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative
Reasoning.” Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003,
pp. 205–32, doi:10.1023/A:1023217515688.
short: K. Chatterjee, P. Dasgupta, P. Chakrabarti, Journal of Automated Reasoning
30 (2003) 205–232.
date_created: 2018-12-11T12:04:08Z
date_published: 2003-02-01T00:00:00Z
date_updated: 2021-01-12T07:44:31Z
day: '01'
doi: 10.1023/A:1023217515688
extern: 1
intvolume: ' 30'
issue: '2'
month: '02'
page: 205 - 232
publication: Journal of Automated Reasoning
publication_status: published
publisher: Springer
publist_id: '2790'
quality_controlled: 0
status: public
title: A branching time temporal framework for quantitative reasoning
type: journal_article
volume: 30
year: '2003'
...
---
_id: '3678'
author:
- first_name: Christoph
full_name: Christoph Lampert
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Lampert C. The Neumann operator in strictly pseudoconvex domains with weighted
Bergman metric . Bonner Mathematische Schriften. 2003;356:1-165.
apa: Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains
with weighted Bergman metric . Bonner Mathematische Schriften. Universität
Bonn, Fachbibliothek Mathematik.
chicago: Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains
with Weighted Bergman Metric .” Bonner Mathematische Schriften. Universität
Bonn, Fachbibliothek Mathematik, 2003.
ieee: C. Lampert, “The Neumann operator in strictly pseudoconvex domains with weighted
Bergman metric ,” Universität Bonn, Fachbibliothek Mathematik, 2003.
ista: Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with
weighted Bergman metric . Universität Bonn, Fachbibliothek Mathematik.
mla: Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains
with Weighted Bergman Metric .” Bonner Mathematische Schriften, vol. 356,
Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
short: C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted
Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
date_created: 2018-12-11T12:04:34Z
date_published: 2003-03-31T00:00:00Z
date_updated: 2021-01-12T07:45:05Z
day: '31'
extern: 1
intvolume: ' 356'
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/~chl/papers/lampert-phd2003.pdf
month: '03'
page: 1 - 165
publication: Bonner Mathematische Schriften
publication_status: published
publisher: Universität Bonn, Fachbibliothek Mathematik
publist_id: '2704'
quality_controlled: 0
status: public
title: 'The Neumann operator in strictly pseudoconvex domains with weighted Bergman
metric '
type: dissertation
volume: 356
year: '2003'
...