---
_id: '4253'
abstract:
- lang: eng
text: We consider a single genetic locus which carries two alleles, labelled P and
Q. This locus experiences selection and mutation. It is linked to a second neutral
locus with recombination rate r. If r = 0, this reduces to the study of a single
selected locus. Assuming a Moran model for the population dynamics, we pass to
a diffusion approximation and, assuming that the allele frequencies at the selected
locus have reached stationarity, establish the joint generating function for the
genealogy of a sample from the population and the frequency of the P allele. In
essence this is the joint generating function for a coalescent and the random
background in which it evolves. We use this to characterize, for the diffusion
approximation, the probability of identity in state at the neutral locus of a
sample of two individuals (whose type at the selected locus is known) as solutions
to a system of ordinary differential equations. The only subtlety is to find the
boundary conditions for this system. Finally, numerical examples are presented
that illustrate the accuracy and predictions of the diffusion approximation. In
particular, a comparison is made between this approach and one in which the frequencies
at the selected locus are estimated by their value in the absence of fluctuations
and a classical structured coalescent model is used.
author:
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Alison
full_name: Etheridge, Alison M
last_name: Etheridge
- first_name: Anja
full_name: Sturm, Anja K
last_name: Sturm
citation:
ama: Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals
of Applied Probability. 2004;14(2):754-785.
apa: Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random
Background. Annals of Applied Probability. Institute of Mathematical Statistics.
chicago: Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a
Random Background.” Annals of Applied Probability. Institute of Mathematical
Statistics, 2004.
ieee: N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,”
Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical
Statistics, pp. 754–785, 2004.
ista: Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background.
Annals of Applied Probability. 14(2), 754–785.
mla: Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals
of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics,
2004, pp. 754–85.
short: N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004)
754–785.
date_created: 2018-12-11T12:07:52Z
date_published: 2004-05-01T00:00:00Z
date_updated: 2021-01-12T07:55:38Z
day: '01'
extern: 1
intvolume: ' 14'
issue: '2'
main_file_link:
- open_access: '0'
url: http://www.jstor.org/stable/4140427
month: '05'
page: 754 - 785
publication: Annals of Applied Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '1842'
quality_controlled: 0
status: public
title: Coalescence in a Random Background
type: journal_article
volume: 14
year: '2004'
...
---
_id: '4372'
alternative_title:
- LNCS
author:
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Dejan
full_name: Dejan Nickovic
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
citation:
ama: 'Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals.
In: Springer; 2004:152-166. doi:1572'
apa: 'Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous
Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis
of Timed Systems, Springer. https://doi.org/1572'
chicago: Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous
Signals,” 152–66. Springer, 2004. https://doi.org/1572.
ieee: 'O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,”
presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004,
pp. 152–166.'
ista: 'Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals.
FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.'
mla: Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous
Signals. Springer, 2004, pp. 152–66, doi:1572.
short: O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
conference:
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
date_created: 2018-12-11T12:08:31Z
date_published: 2004-12-14T00:00:00Z
date_updated: 2021-01-12T07:56:29Z
day: '14'
doi: '1572'
extern: 1
month: '12'
page: 152 - 166
publication_status: published
publisher: Springer
publist_id: '1088'
quality_controlled: 0
status: public
title: Monitoring Temporal Properties of Continuous Signals
type: conference
year: '2004'
...
---
_id: '4424'
abstract:
- lang: eng
text: "The enormous cost and ubiquity of software errors necessitates the need for
techniques and tools that can precisely analyze large systems and prove that they
meet given specifications, or if they don't, return counterexample behaviors showing
how the system fails. Recent advances in model checking, decision procedures,
program analysis and type systems, and a shift of focus to partial specifications
common to several systems (e.g., memory safety and race freedom) have resulted
in several practical verification methods. However, these methods are either precise
or they are scalable, depending on whether they track the values of variables
or only a fixed small set of dataflow facts (e.g., types), and are usually insufficient
for precisely verifying large programs.\r\n\r\nWe describe a new technique called
Lazy Abstraction (LA) which achieves both precision and scalability by localizing
the use of precise information. LA automatically builds, explores and refines
a single abstract model of the program in a way that different parts of the model
exhibit different degrees of precision, namely just enough to verify the desired
property. The algorithm automatically mines the information required by partitioning
mechanical proofs of unsatisfiability of spurious counterexamples into Craig Interpolants.
For multithreaded systems, we give a new technique based on analyzing the behavior
of a single thread executing in a context which is an abstraction of the other
(arbitrarily many) threads. We define novel context models and show how to automatically
infer them and analyze the full system (thread + context) using LA.\r\n\r\nLA
is implemented in BLAST. We have run BLAST on Windows and Linux Device Drivers
to verify API conformance properties, and have used it to find (or guarantee the
absence of) data races in multithreaded Networked Embedded Systems (NESC) applications.
BLAST is able to prove the absence of races in several cases where earlier methods,
which depend on lock-based synchronization, fail."
article_processing_charge: No
author:
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
citation:
ama: Jhala R. Program verification by lazy abstraction. 2004:1-165.
apa: Jhala, R. (2004). Program verification by lazy abstraction. University
of California, Berkeley.
chicago: Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of
California, Berkeley, 2004.
ieee: R. Jhala, “Program verification by lazy abstraction,” University of California,
Berkeley, 2004.
ista: Jhala R. 2004. Program verification by lazy abstraction. University of California,
Berkeley.
mla: Jhala, Ranjit. Program Verification by Lazy Abstraction. University
of California, Berkeley, 2004, pp. 1–165.
short: R. Jhala, Program Verification by Lazy Abstraction, University of California,
Berkeley, 2004.
date_created: 2018-12-11T12:08:47Z
date_published: 2004-12-01T00:00:00Z
date_updated: 2021-01-12T07:56:52Z
day: '01'
extern: '1'
language:
- iso: eng
month: '12'
oa_version: None
page: 1 - 165
publication_status: published
publisher: University of California, Berkeley
publist_id: '307'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Program verification by lazy abstraction
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2004'
...
---
_id: '4445'
abstract:
- lang: eng
text: We present a type system for E code, which is an assembly language that manages
the release, interaction, and termination of real-time tasks. E code specifies
a deadline for each task, and the type system ensures that the deadlines are path-insensitive.
We show that typed E programs allow, for given worst-case execution times of tasks,
a simple schedulability analysis. Moreover, the real-time programming language
Giotto can be compiled into typed E~code. This shows that typed E~code identifies
an easily schedulable yet expressive class of real-time programs. We have extended
the Giotto compiler to generate typed E code, and enabled the run-time system
for E code to perform a type and schedulability check before executing the code.
acknowledgement: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327
and by the NSF grants CCR- 0208875 and CCR-0225610.
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Christoph
full_name: Kirsch, Christoph M
last_name: Kirsch
citation:
ama: 'Henzinger TA, Kirsch C. A typed assembly language for real-time programs.
In: ACM; 2004:104-113. doi:10.1145/1017753.1017774'
apa: 'Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time
programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774'
chicago: Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for
Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
ieee: 'T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,”
presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.'
ista: 'Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs.
EMSOFT: Embedded Software , 104–113.'
mla: Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for
Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
short: T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
conference:
name: 'EMSOFT: Embedded Software '
date_created: 2018-12-11T12:08:53Z
date_published: 2004-09-01T00:00:00Z
date_updated: 2021-01-12T07:57:01Z
day: '01'
doi: 10.1145/1017753.1017774
extern: 1
month: '09'
page: 104 - 113
publication_status: published
publisher: ACM
publist_id: '285'
quality_controlled: 0
status: public
title: A typed assembly language for real-time programs
type: conference
year: '2004'
...
---
_id: '4458'
abstract:
- lang: eng
text: 'The success of model checking for large programs depends crucially on the
ability to efficiently construct parsimonious abstractions. A predicate abstraction
is parsimonious if at each control location, it specifies only relationships between
current values of variables, and only those which are required for proving correctness.
Previous methods for automatically refining predicate abstractions until sufficient
precision is obtained do not systematically construct parsimonious abstractions:
predicates usually contain symbolic variables, and are added heuristically and
often uniformly to many or all control locations at once. We use Craig interpolation
to efficiently construct, from a given abstract error trace which cannot be concretized,
a parsominous abstraction that removes the trace. At each location of the trace,
we infer the relevant predicates as an interpolant between the two formulas that
define the past and the future segment of the trace. Each interpolant is a relationship
between current values of program variables, and is relevant only at that particular
program location. It can be found by a linear scan of the proof of infeasibility
of the trace.We develop our method for programs with arithmetic and pointer expressions,
and call-by-value function calls. For function calls, Craig interpolation offers
a systematic way of generating relevant predicates that contain only the local
variables of the function and the values of the formal parameters when the function
was called. We have extended our model checker Blast with predicate discovery
by Craig interpolation, and applied it successfully to C programs with more than
130,000 lines of code, which was not possible with approaches that build less
parsimonious abstractions.'
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Kenneth
full_name: McMillan, Kenneth L
last_name: Mcmillan
citation:
ama: 'Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In:
ACM; 2004:232-244. doi:10.1145/964001.964021'
apa: 'Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions
from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages,
ACM. https://doi.org/10.1145/964001.964021'
chicago: Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan.
“Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
ieee: 'T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from
proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp.
232–244.'
ista: 'Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs.
POPL: Principles of Programming Languages, 232–244.'
mla: Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp.
232–44, doi:10.1145/964001.964021.
short: T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
conference:
name: 'POPL: Principles of Programming Languages'
date_created: 2018-12-11T12:08:57Z
date_published: 2004-04-01T00:00:00Z
date_updated: 2021-01-12T07:57:06Z
day: '01'
doi: 10.1145/964001.964021
extern: 1
month: '04'
page: 232 - 244
publication_status: published
publisher: ACM
publist_id: '270'
quality_controlled: 0
status: public
title: Abstractions from proofs
type: conference
year: '2004'
...
---
_id: '4459'
abstract:
- lang: eng
text: Software model checking has been successful for sequential programs, where
predicate abstraction offers suitable models, and counterexample-guided abstraction
refinement permits the automatic inference of models. When checking concurrent
programs, we need to abstract threads as well as the contexts in which they execute.
Stateless context models, such as predicates on global variables, prove insufficient
for showing the absence of race conditions in many examples. We therefore use
richer context models, which combine (1) predicates for abstracting data state,
(2) control flow quotients for abstracting control state, and (3) counters for
abstracting an unbounded number of threads. We infer suitable context models automatically
by a combination of counterexample-guided abstraction refinement, bisimulation
minimization, circular assume-guarantee reasoning, and parametric reasoning about
an unbounded number of threads. This algorithm, called CIRC, has been implemented
in BLAST and succeeds in checking many examples of NESC code for data races. In
particular, BLAST proves the absence of races in several cases where previous
race checkers give false positives.
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In:
ACM; 2004:1-13. doi:10.1145/996841.996844'
apa: 'Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context
inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and
Implementation, ACM. https://doi.org/10.1145/996841.996844'
chicago: Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking
by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
ieee: 'T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,”
presented at the PLDI: Programming Languages Design and Implementation, 2004,
pp. 1–13.'
ista: 'Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference.
PLDI: Programming Languages Design and Implementation, 1–13.'
mla: Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM,
2004, pp. 1–13, doi:10.1145/996841.996844.
short: T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
conference:
name: 'PLDI: Programming Languages Design and Implementation'
date_created: 2018-12-11T12:08:57Z
date_published: 2004-06-01T00:00:00Z
date_updated: 2021-01-12T07:57:07Z
day: '01'
doi: 10.1145/996841.996844
extern: 1
month: '06'
page: 1 - 13
publication_status: published
publisher: ACM
publist_id: '271'
quality_controlled: 0
status: public
title: Race checking by context inference
type: conference
year: '2004'
...
---
_id: '4461'
abstract:
- lang: eng
text: One of the central axioms of extreme programming is the disciplined use of
regression testing during stepwise software development. Due to recent progress
in software model checking, it has become possible to supplement this process
with automatic checks for behavioral safety properties of programs, such as conformance
with locking idioms and other programming protocols and patterns. For efficiency
reasons, all checks must be incremental, i.e., they must reuse partial results
from previous checks in order to avoid all unnecessary repetition of expensive
verification tasks. We show that the lazy-abstraction algorithm, and its implementation
in Blast, can be extended to support the fully automatic and incremental checking
of temporal safety properties during software development.
acknowledgement: 'This work was supported in part by the NSF grants CCR-9988172, CCR-0085949,
and CCR-0234690, the ONR grant N00014-02-1-0671, the DARPA grant F33615-00-C-1693,
and the MARCO grant 98-DT-660. '
alternative_title:
- LNCS
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Marco
full_name: Sanvido, Marco A
last_name: Sanvido
citation:
ama: 'Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In:
Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16'
apa: 'Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme
model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358).
Springer. https://doi.org/10.1007/978-3-540-39910-0_16'
chicago: 'Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido.
“Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58.
Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.'
ieee: 'T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,”
in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.'
ista: 'Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking.
In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.'
mla: 'Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory
and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.'
short: 'T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory
and Practice, Springer, 2004, pp. 332–358.'
date_created: 2018-12-11T12:08:58Z
date_published: 2004-02-24T00:00:00Z
date_updated: 2021-01-12T07:57:08Z
day: '24'
doi: 10.1007/978-3-540-39910-0_16
extern: 1
intvolume: ' 2772'
month: '02'
page: 332 - 358
publication: 'Verification: Theory and Practice'
publication_status: published
publisher: Springer
publist_id: '269'
quality_controlled: 0
status: public
title: Extreme model checking
type: book_chapter
volume: 2772
year: '2004'
...
---
_id: '4525'
abstract:
- lang: eng
text: 'We present a new high-level programming language, called xGiotto, for programming
applications with hard real-time constraints. Like its predecessor, xGiotto is
based on the LET (logical execution time) assumption: the programmer specifies
when the outputs of a task become available, and the compiler checks if the specification
can be implemented on a given platform. However, while the predecessor language
xGiotto was purely time-triggered, xGiotto accommodates also asynchronous events.
Indeed, through a mechanism called event scoping, events are the main structuring
principle of the new language. The xGiotto compiler and run-time system implement
event scoping through a tree-based event filter. The compiler also checks programs
for determinism (absence of race conditions).'
acknowledgement: This research is supported by the AFOSR MURI grant F49620-00-1-0327,
the DARPA SEC grant F33615-C-98-3614, the MARCO GSRC grant 98-DT-660, and the NSF
grants CCR-0208875 and CCR-0225610.
alternative_title:
- LNCS
author:
- first_name: Arkadeb
full_name: Ghosal, Arkadeb
last_name: Ghosal
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Christoph
full_name: Kirsch, Christoph M
last_name: Kirsch
- first_name: Marco
full_name: Sanvido, Marco A
last_name: Sanvido
citation:
ama: 'Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with
logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24'
apa: 'Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven
programming with logical execution times (Vol. 2993, pp. 167–170). Presented at
the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24'
chicago: Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido.
“Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer,
2004. https://doi.org/10.1007/978-3-540-24743-2_24.
ieee: 'A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming
with logical execution times,” presented at the HSCC: Hybrid Systems - Computation
and Control, 2004, vol. 2993, pp. 167–170.'
ista: 'Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming
with logical execution times. HSCC: Hybrid Systems - Computation and Control,
LNCS, vol. 2993, 167–170.'
mla: Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution
Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
short: A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp.
167–170.
conference:
name: 'HSCC: Hybrid Systems - Computation and Control'
date_created: 2018-12-11T12:09:18Z
date_published: 2004-03-12T00:00:00Z
date_updated: 2021-01-12T07:59:26Z
day: '12'
doi: 10.1007/978-3-540-24743-2_24
extern: 1
intvolume: ' 2993'
month: '03'
page: 167 - 170
publication_status: published
publisher: Springer
publist_id: '200'
quality_controlled: 0
status: public
title: Event-driven programming with logical execution times
type: conference
volume: 2993
year: '2004'
...
---
_id: '4555'
abstract:
- lang: eng
text: Strategies in repeated games can be classified as to whether or not they use
memory and/or randomization. We consider Markov decision processes and 2-player
graph games, both of the deterministic and probabilistic varieties. We characterize
when memory and/or randomization are required for winning with respect to various
classes of w-regular objectives, noting particularly when the use of memory can
be traded for the use of randomization. In particular, we show that Markov decision
processes allow randomized memoryless optimal strategies for all M?ller objectives.
Furthermore, we show that 2-player probabilistic graph games allow randomized
memoryless strategies for winning with probability 1 those M?ller objectives which
are upward-closed. Upward-closure means that if a set α of infinitely repeating
vertices is winning, then all supersets of α are also winning.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Luca
full_name: de Alfaro, Luca
last_name: De Alfaro
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In:
IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051'
apa: 'Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory
for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of
Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051'
chicago: Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading
Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
ieee: 'K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,”
presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.'
ista: 'Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness.
QEST: Quantitative Evaluation of Systems, 206–217.'
mla: Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE,
2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
short: K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
conference:
name: 'QEST: Quantitative Evaluation of Systems'
date_created: 2018-12-11T12:09:27Z
date_published: 2004-09-30T00:00:00Z
date_updated: 2021-01-12T07:59:40Z
day: '30'
doi: 10.1109/QEST.2004.10051
extern: 1
month: '09'
page: 206 - 217
publication_status: published
publisher: IEEE
publist_id: '155'
quality_controlled: 0
status: public
title: Trading memory for randomness
type: conference
year: '2004'
...
---
_id: '4556'
abstract:
- lang: eng
text: We study the problem of determining stack boundedness and the exact maximum
stack size for three classes of interrupt-driven programs. Interrupt-driven programs
are used in many real-time applications that require responsive interrupt handling.
In order to ensure responsiveness, programmers often enable interrupt processing
in the body of lower-priority interrupt handlers. In such programs a programming
error can allow interrupt handlers to be interrupted in a cyclic fashion to lead
to an unbounded stack, causing the system to crash. For a restricted class of
interrupt-driven programs, we show that there is a polynomial-time procedure to
check stack boundedness, while determining the exact maximum stack size is PSPACE-complete.
For a larger class of programs, the two problems are both PSPACE-complete, and
for the largest class of programs we consider, the two problems are PSPACE-hard
and can be solved in exponential time. While the complexities are high, our algorithms
are exponential only in the number of handlers, and polynomial in the size of
the program.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Di
full_name: Ma, Di
last_name: Ma
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Tian
full_name: Zhao, Tian
last_name: Zhao
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Jens
full_name: Palsberg, Jens
last_name: Palsberg
citation:
ama: Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size
analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174.
doi:10.1016/j.ic.2004.06.001
apa: Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg,
J. (2004). Stack size analysis for interrupt-driven programs. Information and
Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
chicago: Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger,
and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information
and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
ieee: K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg,
“Stack size analysis for interrupt-driven programs,” Information and Computation,
vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
ista: Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack
size analysis for interrupt-driven programs. Information and Computation. 194(2),
144–174.
mla: Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.”
Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74,
doi:10.1016/j.ic.2004.06.001.
short: K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg,
Information and Computation 194 (2004) 144–174.
date_created: 2018-12-11T12:09:28Z
date_published: 2004-08-11T00:00:00Z
date_updated: 2021-01-12T07:59:40Z
day: '11'
doi: 10.1016/j.ic.2004.06.001
extern: 1
intvolume: ' 194'
issue: '2'
month: '08'
page: 144 - 174
publication: Information and Computation
publication_status: published
publisher: Elsevier
publist_id: '156'
quality_controlled: 0
status: public
title: Stack size analysis for interrupt-driven programs
type: journal_article
volume: 194
year: '2004'
...
---
_id: '4558'
abstract:
- lang: eng
text: We study perfect-information stochastic parity games. These are two-player
nonterminating games which are played on a graph with turn-based probabilistic
transitions. A play results in an infinite path and the conflicting goals of the
two players are ω-regular path properties, formalized as parity winning conditions.
The qualitative solution of such a game amounts to computing the set of vertices
from which a player has a strategy to win with probability 1 (or with positive
probability). The quantitative solution amounts to computing the value of the
game in every vertex, i.e., the highest probability with which a player can guarantee
satisfaction of his own objective in a play that starts from the vertex.For the
important special case of one-player stochastic parity games (parity Markov decision
processes) we give polynomial-time algorithms both for the qualitative and the
quantitative solution. The running time of the qualitative solution is O(d · m3/2)
for graphs with m edges and d priorities. The quantitative solution is based on
a linear-programming formulation.For the two-player case, we establish the existence
of optimal pure memoryless strategies. This has several important ramifications.
First, it implies that the values of the games are rational. This is in contrast
to the concurrent stochastic parity games of de Alfaro et al.; there, values are
in general algebraic numbers, optimal strategies do not exist, and ε-optimal strategies
have to be mixed and with infinite memory. Second, the existence of optimal pure
memoryless strategies together with the polynomial-time solution forone-player
case implies that the quantitative two-player stochastic parity game problem is
in NP ∩ co-NP. This generalizes a result of Condon for stochastic games with reachability
objectives. It also constitutes an exponential improvement over the best previous
algorithm, which is based on a doubly exponential procedure of de Alfaro and Majumdar
for concurrent stochastic parity games and provides only ε-approximations of the
values.
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Marcin
full_name: Jurdziński, Marcin
last_name: Jurdziński
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games.
In: SIAM; 2004:121-130.'
apa: 'Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative
stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete
Algorithms, SIAM.'
chicago: Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative
Stochastic Parity Games,” 121–30. SIAM, 2004.
ieee: 'K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic
parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004,
pp. 121–130.'
ista: 'Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity
games. SODA: Symposium on Discrete Algorithms, 121–130.'
mla: Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games.
SIAM, 2004, pp. 121–30.
short: K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
conference:
name: 'SODA: Symposium on Discrete Algorithms'
date_created: 2018-12-11T12:09:28Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:41Z
day: '01'
extern: 1
month: '01'
page: 121 - 130
publication_status: published
publisher: SIAM
publist_id: '153'
quality_controlled: 0
status: public
title: Quantitative stochastic parity games
type: conference
year: '2004'
...
---
_id: '2623'
abstract:
- lang: eng
text: Patients with Hodgkin's disease can develop paraneoplastic cerebellar ataxia
because of the generation of autoantibodies against mGluR1 (mGluR1-Abs). Yet,
the pathophysiological mechanisms underlying their motor coordination deficits
remain to be elucidated. Here, we show that application of IgG purified from the
patients' serum to cerebellar slices of mice acutely reduces the basal activity
of Purkinje cells, whereas application to the flocculus of mice in vivo evokes
acute disturbances in the performance of their compensatory eye movements. In
addition, the mGluR1-Abs block induction of long-term depression in cultured mouse
Purkinje cells, whereas the cerebellar motor learning behavior of the patients
is affected in that they show impaired adaptation of their saccadic eye movements.
Finally, postmortem analysis of the cerebellum of a paraneoplastic cerebellar
ataxia patient showed that the number of Purkinje cells was significantly reduced
by approximately two thirds compared with three controls. We conclude that autoantibodies
against mGluR1 can cause cerebellar motor coordination deficits caused by a combination
of rapid effects on both acute and plastic responses of Purkinje cells and chronic
degenerative effects.
author:
- first_name: Michiel
full_name: Coesmans, Michiel P
last_name: Coesmans
- first_name: Peter
full_name: Sillevis-Smitt, Peter A
last_name: Sillevis Smitt
- first_name: David
full_name: Linden, David J
last_name: Linden
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Tomoo
full_name: Hirano, Tomoo
last_name: Hirano
- first_name: Yoshinori
full_name: Yamakawa, Yoshinori
last_name: Yamakawa
- first_name: Adriaan
full_name: Van Alphen, Adriaan M
last_name: Van Alphen
- first_name: Chongde
full_name: Luo, Chongde
last_name: Luo
- first_name: Jos
full_name: Van Der Geest, Jos N
last_name: Van Der Geest
- first_name: Johan
full_name: Kros, Johan M
last_name: Kros
- first_name: Carlo
full_name: Gaillard, Carlo A
last_name: Gaillard
- first_name: Maarten
full_name: Frens, Maarten A
last_name: Frens
- first_name: Chris
full_name: De Zeeuw, Chris I
last_name: De Zeeuw
citation:
ama: Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar
motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 2003;53(3):325-336.
doi:10.1002/ana.10451
apa: Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa,
Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due
to mGluR1-autoantibodies. Annals of Neurology. Wiley-Blackwell. https://doi.org/10.1002/ana.10451
chicago: Coesmans, Michiel, Peter Sillevis Smitt, David Linden, Ryuichi Shigemoto,
Tomoo Hirano, Yoshinori Yamakawa, Adriaan Van Alphen, et al. “Mechanisms Underlying
Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology.
Wiley-Blackwell, 2003. https://doi.org/10.1002/ana.10451.
ieee: M. Coesmans et al., “Mechanisms underlying cerebellar motor deficits
due to mGluR1-autoantibodies,” Annals of Neurology, vol. 53, no. 3. Wiley-Blackwell,
pp. 325–336, 2003.
ista: Coesmans M, Sillevis Smitt P, Linden D, Shigemoto R, Hirano T, Yamakawa Y,
Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C.
2003. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies.
Annals of Neurology. 53(3), 325–336.
mla: Coesmans, Michiel, et al. “Mechanisms Underlying Cerebellar Motor Deficits
Due to MGluR1-Autoantibodies.” Annals of Neurology, vol. 53, no. 3, Wiley-Blackwell,
2003, pp. 325–36, doi:10.1002/ana.10451.
short: M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa,
A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De
Zeeuw, Annals of Neurology 53 (2003) 325–336.
date_created: 2018-12-11T11:58:44Z
date_published: 2003-03-01T00:00:00Z
date_updated: 2021-01-12T06:58:39Z
day: '01'
doi: 10.1002/ana.10451
extern: 1
intvolume: ' 53'
issue: '3'
month: '03'
page: 325 - 336
publication: Annals of Neurology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4274'
quality_controlled: 0
status: public
title: Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
type: journal_article
volume: 53
year: '2003'
...
---
_id: '2625'
abstract:
- lang: eng
text: Metabotropic glutamate receptor 1 (mGluR1) plays a crucial role in synaptic
plasticity and motor learning in the cerebellum. We have studied activity-dependent
changes in mGluR1 function in mouse cultured Purkinje neurons. Depolarizing stimulation
potentiated Ca2+ and current responses to an mGluR1 agonist for several hours
in the cultured Purkinje neurons. It also blocked internalization of mGluR1 and
increased the number of mGluR1s on the cell membrane. We found that depolarization
simultaneously increased transcription of Homer1a in Purkinje neurons. Homer1a
inhibited internalization and increased cell-surface expression of mGluR1 when
coexpressed in human embryonic kidney (HEK)-293 cells. Depolarization-induced
Homer1a expression in Purkinje neurons was blocked by a mitogen-activated protein
kinase (MAPK) inhibitor. Changes in internalization and mGluR1-mediated Ca2+ response
were also blocked by inhibition of MAPK activity, suggesting that localization
and activity of mGluR1 were regulated in the same signalling pathway as Homer1a
expression. It is thus suggested that depolarization of the Purkinje neuron leads
to the increment in mGluR1 responsiveness through MAPK activity and induction
of Homer1a expression, which increases active mGluR1 on the cell surface by blocking
internalization of mGluR1.
author:
- first_name: Itsunari
full_name: Minami, Itsunari
last_name: Minami
- first_name: Mineko
full_name: Kengaku, Mineko
last_name: Kengaku
- first_name: Sillevis
full_name: Smitt, Sillevis P
last_name: Smitt
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Tomoo
full_name: Hirano, Tomoo
last_name: Hirano
citation:
ama: Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation
of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje
neurons. European Journal of Neuroscience. 2003;17(5):1023-1032. doi:10.1046/j.1460-9568.2003.02499.x
apa: Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003).
Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in
mouse cerebellar Purkinje neurons. European Journal of Neuroscience. Wiley-Blackwell.
https://doi.org/10.1046/j.1460-9568.2003.02499.x
chicago: Minami, Itsunari, Mineko Kengaku, Sillevis Smitt, Ryuichi Shigemoto, and
Tomoo Hirano. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced
Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience.
Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1460-9568.2003.02499.x.
ieee: I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, and T. Hirano, “Long-term potentiation
of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje
neurons,” European Journal of Neuroscience, vol. 17, no. 5. Wiley-Blackwell,
pp. 1023–1032, 2003.
ista: Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. 2003. Long-term potentiation
of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje
neurons. European Journal of Neuroscience. 17(5), 1023–1032.
mla: Minami, Itsunari, et al. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced
Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience,
vol. 17, no. 5, Wiley-Blackwell, 2003, pp. 1023–32, doi:10.1046/j.1460-9568.2003.02499.x.
short: I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal
of Neuroscience 17 (2003) 1023–1032.
date_created: 2018-12-11T11:58:44Z
date_published: 2003-03-01T00:00:00Z
date_updated: 2021-01-12T06:58:39Z
day: '01'
doi: 10.1046/j.1460-9568.2003.02499.x
extern: 1
intvolume: ' 17'
issue: '5'
month: '03'
page: 1023 - 1032
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4273'
quality_controlled: 0
status: public
title: Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a
in mouse cerebellar Purkinje neurons
type: journal_article
volume: 17
year: '2003'
...
---
_id: '2626'
abstract:
- lang: eng
text: The expression pattern of metabotropic glutamate receptor Iα (mGluR1α) was
immunohistochemically investigated in substantia nigra dopaminergic neurons of
the macaque monkey. In normal monkeys, mGluR1α immunoreactivity was weakly observed
in the dorsal tier of the substantia nigra pars compacta (SNc-d) where calbindin-D28k-containing
dopaminergic neurons invulnerable to parkinsonian degeneration are specifically
located. On the other hand, mGluR1α was strongly expressed in the ventral tier
of the substantia nigra pars cornpacta (SNc-v). In monkeys treated with the parkinsonism-inducing
drug, I-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP), mGluR1α expression
was decreased in dopaminergic neurons in the SNc-v that were spared its toxic
action. These results suggest that mGluR1α expression may be involved at least
partly in the vulnerability of dopaminergic neurons to parkinsonian insults.
author:
- first_name: Katsuyuki
full_name: Kaneda, Katsuyuki
last_name: Kaneda
- first_name: Michiko
full_name: Imanishi, Michiko
last_name: Imanishi
- first_name: Atsushi
full_name: Nambu, Atsushi
last_name: Nambu
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
citation:
ama: Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. Differential expression
patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 2003;14(7):947-950.
doi:10.1097/01.wnr.0000074344.81633.e4
apa: Kaneda, K., Imanishi, M., Nambu, A., Shigemoto, R., & Takada, M. (2003).
Differential expression patterns of mGluR1α in monkey nigral dopamine neurons.
Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/01.wnr.0000074344.81633.e4
chicago: Kaneda, Katsuyuki, Michiko Imanishi, Atsushi Nambu, Ryuichi Shigemoto,
and Masahiko Takada. “Differential Expression Patterns of MGluR1α in Monkey Nigral
Dopamine Neurons.” Neuroreport. Lippincott, Williams & Wilkins, 2003.
https://doi.org/10.1097/01.wnr.0000074344.81633.e4.
ieee: K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, and M. Takada, “Differential
expression patterns of mGluR1α in monkey nigral dopamine neurons,” Neuroreport,
vol. 14, no. 7. Lippincott, Williams & Wilkins, pp. 947–950, 2003.
ista: Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. 2003. Differential expression
patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 14(7), 947–950.
mla: Kaneda, Katsuyuki, et al. “Differential Expression Patterns of MGluR1α in Monkey
Nigral Dopamine Neurons.” Neuroreport, vol. 14, no. 7, Lippincott, Williams
& Wilkins, 2003, pp. 947–50, doi:10.1097/01.wnr.0000074344.81633.e4.
short: K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14
(2003) 947–950.
date_created: 2018-12-11T11:58:45Z
date_published: 2003-05-01T00:00:00Z
date_updated: 2021-01-12T06:58:40Z
day: '01'
doi: 10.1097/01.wnr.0000074344.81633.e4
extern: 1
intvolume: ' 14'
issue: '7'
month: '05'
page: 947 - 950
publication: Neuroreport
publication_status: published
publisher: Lippincott, Williams & Wilkins
publist_id: '4272'
quality_controlled: 0
status: public
title: Differential expression patterns of mGluR1α in monkey nigral dopamine neurons
type: journal_article
volume: 14
year: '2003'
...
---
_id: '2627'
abstract:
- lang: eng
text: Despite its implications for higher order functions of the brain, little is
currently known about the molecular basis of left-right asymmetry of the brain.
Here we report that synaptic distribution of N-methyl-D-aspartate (NMDA) receptor
GluRε2 (NR2B) subunits in the adult mouse hippocampus is asymmetrical between
the left and right and between the apical and basal dendrites of single neurons.
These asymmetrical allocations of ε2 subunits differentiate the properties of
NMDA receptors and synaptic plasticity between the left and right hippocampus.
These results provide a molecular basis for the structural and functional asymmetry
of the mature brain.
author:
- first_name: Ryosuke
full_name: Kawakami, Ryosuke
last_name: Kawakami
- first_name: Yoshiaki
full_name: Shinohara, Yoshiaki
last_name: Shinohara
- first_name: Yuichiro
full_name: Kato, Yuichiro
last_name: Kato
- first_name: Hiroyuki
full_name: Sugiyama, Hiroyuki
last_name: Sugiyama
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Isao
full_name: Ito, Isao
last_name: Ito
citation:
ama: Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. Asymmetrical
allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science.
2003;300(5621):990-994. doi:10.1126/science.1082609
apa: Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito,
I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal
circuitry. Science. American Association for the Advancement of Science.
https://doi.org/10.1126/science.1082609
chicago: Kawakami, Ryosuke, Yoshiaki Shinohara, Yuichiro Kato, Hiroyuki Sugiyama,
Ryuichi Shigemoto, and Isao Ito. “Asymmetrical Allocation of NMDA Receptor Ε2
Subunits in Hippocampal Circuitry.” Science. American Association for the
Advancement of Science, 2003. https://doi.org/10.1126/science.1082609.
ieee: R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, and I. Ito,
“Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry,”
Science, vol. 300, no. 5621. American Association for the Advancement of
Science, pp. 990–994, 2003.
ista: Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. 2003. Asymmetrical
allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. 300(5621),
990–994.
mla: Kawakami, Ryosuke, et al. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits
in Hippocampal Circuitry.” Science, vol. 300, no. 5621, American Association
for the Advancement of Science, 2003, pp. 990–94, doi:10.1126/science.1082609.
short: R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science
300 (2003) 990–994.
date_created: 2018-12-11T11:58:45Z
date_published: 2003-05-09T00:00:00Z
date_updated: 2021-01-12T06:58:40Z
day: '09'
doi: 10.1126/science.1082609
extern: 1
intvolume: ' 300'
issue: '5621'
month: '05'
page: 990 - 994
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '4271'
quality_controlled: 0
status: public
title: Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry
type: journal_article
volume: 300
year: '2003'
...
---
_id: '2628'
abstract:
- lang: eng
text: We aimed to estimate the number of AMPA receptors (AMPARs) bound by the quantal
transmitter packet, their single-channel conductance and their density in the
postsynaptic membrane at cerebellar Purkinje cell synapses. The synaptic and extrasynaptic
AMPARs were examined in Purkinje cells in 2- to 4-day-old rats, when they receive
synaptic inputs solely from climbing fibres (CFs). Evoked CF EPSCs and whole-cell
AMPA currents displayed roughly linear current-voltage relationships, consistent
with the presence of GluR2 subunits in synaptic and extrasynaptic AMPARs. The
mean quantal size, estimated from the miniature EPSCs (MEPSCs), was ∼300 pS. Peak-scaled
non-stationary fluctuation analysis of spontaneous EPSCs and MEPSCs gave a weighted-mean
synaptic channel conductance of ∼5 pS (∼7 pS when corrected for filtering). By
applying non-stationary fluctuation analysis to extrasynaptic currents activated
by brief glutamate pulses (5 mM), we also obtained a small single-channel conductance
estimate for extrasynaptic AMPARs (∼11 pS). This approach allowed us to obtain
a maximum open probability (Po,max) value for the extrasynaptic receptors (Po,max
= 0.72). Directly resolved extrasynaptic channel openings in the continued presence
of glutamate exhibited clear multiple-conductance levels. The mean area of the
postsynaptic density (PSD) of these synapses was 0.074 μm2, measured by reconstructing
electron-microscopic (EM) serial sections. Postembedding immunogold labelling
by anti-GluR2/3 antibody revealed that AMPARs are localised in PSDs. From these
data and by simulating error factors, we estimate that at least 66 AMPARs are
bound by a quantal transmitter packet at CF-Purkinje cell synapses, and the receptors
are packed at a minimum density of ∼900 μm-2 in the postsynaptic membrane.
author:
- first_name: Akiko
full_name: Momiyama, Akiko
last_name: Momiyama
- first_name: Rachel
full_name: Silver, Rachel A
last_name: Silver
- first_name: Michael
full_name: Häusser, Michael A
last_name: Häusser
- first_name: Takuya
full_name: Notomi, Takuya
last_name: Notomi
- first_name: Yue
full_name: Wu, Yue
last_name: Wu
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Stuart
full_name: Cull-Candy, Stuart G
last_name: Cull Candy
citation:
ama: Momiyama A, Silver R, Häusser M, et al. The density of AMPA receptors activated
by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature
rats. Journal of Physiology. 2003;549(1):75-92. doi:10.1113/jphysiol.2002.033472
apa: Momiyama, A., Silver, R., Häusser, M., Notomi, T., Wu, Y., Shigemoto, R., &
Cull Candy, S. (2003). The density of AMPA receptors activated by a transmitter
quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal
of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.033472
chicago: Momiyama, Akiko, Rachel Silver, Michael Häusser, Takuya Notomi, Yue Wu,
Ryuichi Shigemoto, and Stuart Cull Candy. “The Density of AMPA Receptors Activated
by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature
Rats.” Journal of Physiology. Wiley-Blackwell, 2003. https://doi.org/10.1113/jphysiol.2002.033472.
ieee: A. Momiyama et al., “The density of AMPA receptors activated by a transmitter
quantum at the climbing fibre - Purkinje cell synapse in immature rats,” Journal
of Physiology, vol. 549, no. 1. Wiley-Blackwell, pp. 75–92, 2003.
ista: Momiyama A, Silver R, Häusser M, Notomi T, Wu Y, Shigemoto R, Cull Candy S.
2003. The density of AMPA receptors activated by a transmitter quantum at the
climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology.
549(1), 75–92.
mla: Momiyama, Akiko, et al. “The Density of AMPA Receptors Activated by a Transmitter
Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal
of Physiology, vol. 549, no. 1, Wiley-Blackwell, 2003, pp. 75–92, doi:10.1113/jphysiol.2002.033472.
short: A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull
Candy, Journal of Physiology 549 (2003) 75–92.
date_created: 2018-12-11T11:58:45Z
date_published: 2003-05-15T00:00:00Z
date_updated: 2021-01-12T06:58:40Z
day: '15'
doi: 10.1113/jphysiol.2002.033472
extern: 1
intvolume: ' 549'
issue: '1'
month: '05'
page: 75 - 92
publication: Journal of Physiology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4270'
quality_controlled: 0
status: public
title: The density of AMPA receptors activated by a transmitter quantum at the climbing
fibre - Purkinje cell synapse in immature rats
type: journal_article
volume: 549
year: '2003'
...
---
_id: '2629'
abstract:
- lang: eng
text: The release of neurotransmitters is modulated by presynaptic metabotropic
glutamate receptors (mGluRs), which show a highly selective expression and subcellular
location in glutamatergic terminals in the hippocampus. Using immunocytochemistry,
we investigated whether one of the receptors, mGluR7, whose level of expression
is governed by the postsynaptic target, was present in GABAergic terminals and
whether such terminals targeted particular cells. A total of 165 interneuron dendritic
profiles receiving 466 synapses (82% mGluR7a-positive) were analysed. The presynaptic
active zones of most GAD-(77%) or GABA-positive (94%) synaptic boutons on interneurons
innervated by mGluR7a-enriched glutamatergic terminals (mGluR7a-decorated) were
immunopositive for mGluR7a. GABAergic terminals on pyramidal cells and most other
interneurons in str. oriens were mGluR7a-immunonegative. The mGluR7a-decorated
cells were mostly somatostatin- and mGluR1α-immunopositive neurons in str. oriens
and the alveus. Their GABAergic input mainly originated from VIP-positive terminals,
90% of which expressed high levels of mGluR7a in the presynaptic active zone.
Parvalbumin-positive synaptic terminals were rare on mGluR7a-decorated cells,
but on these neurons 73% of them were mGluR7a-immunopositive. Some type II synapses
innervating interneurons were immunopositive for mGluR7b, as were some type I
synapses. Because not all target cells of VIP-positive neurons are known it has
not been possible to determine whether mGluR7 is expressed in a target-cell-specific
manner in the terminals of single GABAergic cells. The activation of mGluR7 may
decrease GABA release to mGluR7-decorated cells at times of high pyramidal cell
activity, which elevates extracellular glutamate levels. Alternatively, the presynaptic
receptor may be activated by as yet unidentified endogenous ligands released by
the GABAergic terminals or the postsynaptic dendrites.
author:
- first_name: Péter
full_name: Somogyi, Péter
last_name: Somogyi
- first_name: Yannis
full_name: Dalezios, Yannis
last_name: Dalezios
- first_name: Rafael
full_name: Luján, Rafael
last_name: Luján
- first_name: John
full_name: Roberts, John D
last_name: Roberts
- first_name: Masahiko
full_name: Watanabe, Masahiko
last_name: Watanabe
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
citation:
ama: Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. High level
of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals
innervating interneurons in the rat hippocampus. European Journal of Neuroscience.
2003;17(12):2503-2520. doi:10.1046/j.1460-9568.2003.02697.x
apa: Somogyi, P., Dalezios, Y., Luján, R., Roberts, J., Watanabe, M., & Shigemoto,
R. (2003). High level of mGluR7 in the presynaptic active zones of select populations
of GABAergic terminals innervating interneurons in the rat hippocampus. European
Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02697.x
chicago: Somogyi, Péter, Yannis Dalezios, Rafael Luján, John Roberts, Masahiko Watanabe,
and Ryuichi Shigemoto. “High Level of MGluR7 in the Presynaptic Active Zones of
Select Populations of GABAergic Terminals Innervating Interneurons in the Rat
Hippocampus.” European Journal of Neuroscience. Wiley-Blackwell, 2003.
https://doi.org/10.1046/j.1460-9568.2003.02697.x.
ieee: P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, and R. Shigemoto,
“High level of mGluR7 in the presynaptic active zones of select populations of
GABAergic terminals innervating interneurons in the rat hippocampus,” European
Journal of Neuroscience, vol. 17, no. 12. Wiley-Blackwell, pp. 2503–2520,
2003.
ista: Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. 2003.
High level of mGluR7 in the presynaptic active zones of select populations of
GABAergic terminals innervating interneurons in the rat hippocampus. European
Journal of Neuroscience. 17(12), 2503–2520.
mla: Somogyi, Péter, et al. “High Level of MGluR7 in the Presynaptic Active Zones
of Select Populations of GABAergic Terminals Innervating Interneurons in the Rat
Hippocampus.” European Journal of Neuroscience, vol. 17, no. 12, Wiley-Blackwell,
2003, pp. 2503–20, doi:10.1046/j.1460-9568.2003.02697.x.
short: P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto,
European Journal of Neuroscience 17 (2003) 2503–2520.
date_created: 2018-12-11T11:58:46Z
date_published: 2003-06-01T00:00:00Z
date_updated: 2021-01-12T06:58:41Z
day: '01'
doi: 10.1046/j.1460-9568.2003.02697.x
extern: 1
intvolume: ' 17'
issue: '12'
month: '06'
page: 2503 - 2520
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4269'
quality_controlled: 0
status: public
title: High level of mGluR7 in the presynaptic active zones of select populations
of GABAergic terminals innervating interneurons in the rat hippocampus
type: journal_article
volume: 17
year: '2003'
...
---
_id: '2630'
abstract:
- lang: eng
text: Taste-metabotropic glutamate receptor 4 (taste-mGluR4) and the heteromers
of T1R1 and T1R3 are candidate receptors involved in the sense of umami (monosodium
glutamate) taste. Although the expression of group III mGluRs (taste-mGluR4) has
been demonstrated in taste tissues, no mention has been made of the expression
of group I mGluRs (mGluR1 and mGluR5) in taste tissues. We examined the expression
of mGluR1 and mGluR5 in rat gustatory tissues by using reverse transcription-polymerase
chain reaction (RT-PCR), in situ hybridization, immunohistochemistry and immunoelectron
microscopy. RT-PCR assay showed that mGluR1α and mGluR1β mRNAs were expressed
in circumvallate papillae, but mGluR5 mRNA was not expressed. The positive signals
of mGluR1 mRNA were detected only in circumvallate taste buds by in situ hybridization
analysis. In cryosections of fungiform, foliate and circumvallate papillae, the
antibody against mGluRla gave intense labeling on the taste hairs in all taste
pores examined. In the developing taste buds, the positive signals of mGluR1α
in taste hairs gradually increased with the increase in number of taste bud cells.
These results show that, in addition to taste-mGluR4 and the heteromer of T1R1
and T1R3, mGluR1α may function as a receptor for glutamate (umami) taste sensation.
author:
- first_name: Takashi
full_name: Toyono, Takashi
last_name: Toyono
- first_name: Yuji
full_name: Seta, Yuji
last_name: Seta
- first_name: Shinji
full_name: Kataoka, Shinji
last_name: Kataoka
- first_name: Shintaro
full_name: Kawano, Shintaro
last_name: Kawano
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Kuniaki
full_name: Toyoshima, Kuniaki
last_name: Toyoshima
citation:
ama: Toyono T, Seta Y, Kataoka S, Kawano S, Shigemoto R, Toyoshima K. Expression
of metabotropic glutamate receptor group I in rat gustatory papillae. Cell
and Tissue Research. 2003;313(1):29-35. doi:10.1007/s00441-003-0740-2
apa: Toyono, T., Seta, Y., Kataoka, S., Kawano, S., Shigemoto, R., & Toyoshima,
K. (2003). Expression of metabotropic glutamate receptor group I in rat gustatory
papillae. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-003-0740-2
chicago: Toyono, Takashi, Yuji Seta, Shinji Kataoka, Shintaro Kawano, Ryuichi Shigemoto,
and Kuniaki Toyoshima. “Expression of Metabotropic Glutamate Receptor Group I
in Rat Gustatory Papillae.” Cell and Tissue Research. Springer, 2003. https://doi.org/10.1007/s00441-003-0740-2.
ieee: T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, and K. Toyoshima,
“Expression of metabotropic glutamate receptor group I in rat gustatory papillae,”
Cell and Tissue Research, vol. 313, no. 1. Springer, pp. 29–35, 2003.
ista: Toyono T, Seta Y, Kataoka S, Kawano S, Shigemoto R, Toyoshima K. 2003. Expression
of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and
Tissue Research. 313(1), 29–35.
mla: Toyono, Takashi, et al. “Expression of Metabotropic Glutamate Receptor Group
I in Rat Gustatory Papillae.” Cell and Tissue Research, vol. 313, no. 1,
Springer, 2003, pp. 29–35, doi:10.1007/s00441-003-0740-2.
short: T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, K. Toyoshima, Cell
and Tissue Research 313 (2003) 29–35.
date_created: 2018-12-11T11:58:46Z
date_published: 2003-07-01T00:00:00Z
date_updated: 2021-01-12T06:58:41Z
day: '01'
doi: 10.1007/s00441-003-0740-2
extern: 1
intvolume: ' 313'
issue: '1'
month: '07'
page: 29 - 35
publication: Cell and Tissue Research
publication_status: published
publisher: Springer
publist_id: '4267'
quality_controlled: 0
status: public
title: Expression of metabotropic glutamate receptor group I in rat gustatory papillae
type: journal_article
volume: 313
year: '2003'
...
---
_id: '2631'
abstract:
- lang: eng
text: Cyclic ADP-ribose (cADP-ribose) is a putative second messenger or modulator.
However, the role of cADP-ribose in the downstream signals of the metabotropic
glutamate receptors (mGluRs) is unclear. Here, we show that glutamate stimulates
ADP-ribosyl cyclase activity in rat or mouse crude membranes of retina via group
III mGluRs or in superior cervical ganglion via group I mGluRs. The retina of
mGluR6-deficient mice showed no increase in the ADP-ribosyl cyclase level in response
to glutamate. GTP enhanced the initial rate of basal and glutamate-stimulated
cyclase activity. GTP-γ-S also stimulated basal activity. To determine whether
the coupling mode of mGluRs to ADP-ribosyl cyclase is a feature common to individual
cloned mGluRs, we expressed each mGluR subtype in NG108-15 neuroblastoma x glioma
hybrid cells. The glutamate-induced stimulation of the cyclase occurs preferentially
in NG108-15 cells over-expressing mGluRs1, 3, 5, and 6. Cells expressing mGluR2
or mGluRs4 and 7 exhibit inhibition or no coupling, respectively. Glutamate-induced
activation or inhibition of the cyclase activity was eliminated after pre-treatment
with cholera or pertussis toxin, respectively. Thus, the subtype-specific coupling
of mGluRs to ADP-ribosyl cyclase via G proteins suggests that some glutamate-evoked
neuronal functions are mediated by cADP-ribose.
author:
- first_name: Haruhiro
full_name: Higashida, Haruhiro
last_name: Higashida
- first_name: Jia
full_name: Zhang, Jia-Sheng
last_name: Zhang
- first_name: Sumiko
full_name: Mochida, Sumiko
last_name: Mochida
- first_name: Xiao
full_name: Chen, Xiao-Liang
last_name: Chen
- first_name: Yeonsook
full_name: Shin, Yeonsook
last_name: Shin
- first_name: Mami
full_name: Noda, Mami
last_name: Noda
- first_name: Kazi
full_name: Hossain, Kazi Z
last_name: Hossain
- first_name: Naoto
full_name: Hoshi, Naoto
last_name: Hoshi
- first_name: Minako
full_name: Hashii, Minako
last_name: Hashii
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Yutaka
full_name: Fukuda, Yutaka
last_name: Fukuda
- first_name: Shigeru
full_name: Yokoyama, Shigeru
last_name: Yokoyama
citation:
ama: Higashida H, Zhang J, Mochida S, et al. Subtype-specific coupling with ADP-ribosyl
cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion
and NG108-15 cells. Journal of Neurochemistry. 2003;85(5):1148-1158. doi:10.1046/j.1471-4159.2003.01751.x
apa: Higashida, H., Zhang, J., Mochida, S., Chen, X., Shin, Y., Noda, M., … Yokoyama,
S. (2003). Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic
glutamate receptors in retina, cervical superior ganglion and NG108-15 cells.
Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1046/j.1471-4159.2003.01751.x
chicago: Higashida, Haruhiro, Jia Zhang, Sumiko Mochida, Xiao Chen, Yeonsook Shin,
Mami Noda, Kazi Hossain, et al. “Subtype-Specific Coupling with ADP-Ribosyl Cyclase
of Metabotropic Glutamate Receptors in Retina, Cervical Superior Ganglion and
NG108-15 Cells.” Journal of Neurochemistry. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1471-4159.2003.01751.x.
ieee: H. Higashida et al., “Subtype-specific coupling with ADP-ribosyl cyclase
of metabotropic glutamate receptors in retina, cervical superior ganglion and
NG108-15 cells,” Journal of Neurochemistry, vol. 85, no. 5. Wiley-Blackwell,
pp. 1148–1158, 2003.
ista: Higashida H, Zhang J, Mochida S, Chen X, Shin Y, Noda M, Hossain K, Hoshi
N, Hashii M, Shigemoto R, Nakanishi S, Fukuda Y, Yokoyama S. 2003. Subtype-specific
coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina,
cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. 85(5),
1148–1158.
mla: Higashida, Haruhiro, et al. “Subtype-Specific Coupling with ADP-Ribosyl Cyclase
of Metabotropic Glutamate Receptors in Retina, Cervical Superior Ganglion and
NG108-15 Cells.” Journal of Neurochemistry, vol. 85, no. 5, Wiley-Blackwell,
2003, pp. 1148–58, doi:10.1046/j.1471-4159.2003.01751.x.
short: H. Higashida, J. Zhang, S. Mochida, X. Chen, Y. Shin, M. Noda, K. Hossain,
N. Hoshi, M. Hashii, R. Shigemoto, S. Nakanishi, Y. Fukuda, S. Yokoyama, Journal
of Neurochemistry 85 (2003) 1148–1158.
date_created: 2018-12-11T11:58:46Z
date_published: 2003-06-01T00:00:00Z
date_updated: 2021-01-12T06:58:42Z
day: '01'
doi: 10.1046/j.1471-4159.2003.01751.x
extern: 1
intvolume: ' 85'
issue: '5'
month: '06'
page: 1148 - 1158
publication: Journal of Neurochemistry
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4268'
quality_controlled: 0
status: public
title: Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate
receptors in retina, cervical superior ganglion and NG108-15 cells
type: journal_article
volume: 85
year: '2003'
...
---
_id: '2632'
abstract:
- lang: eng
text: In many brain regions, hyperpolarization-activated cationic currents (Ih)
are involved in the generation of rhythmic activities, but the role of Ih in olfactory
oscillations remains unclear. Knowledge of the cellular and subcellular distributions
of hyperpolarization-activated and cyclic nucleotide-gated channel (HCN) subunits
is necessary for understanding the role of Ih in olfactory network activities.
Using light microscopic immunocytochemistry, we demonstrate strong HCN1 labelling
of the glomerular layer and moderate staining of granule cell, internal and external
plexiform layers of the rat main olfactory bulb. In the glomerular layer, among
many unlabelled neurons, two distinct subpopulations of juxtaglomerular cells
are labelled. Approximately 10% of the juxtaglomerular cells strongly express
HCN1. These small diameter cells are immunoreactive for GABA and comprise a subpopulation
of periglomerular cells. An additional subset of juxtaglomerular cells (≈ 1%)
expresses low levels of HCN1. They are large in diameter, GABA immunonegative
but immunopositive for vesicular glutamate transporter 2, characterizing them
as external tufted cells. Quantitative immunogold localization revealed that the
somatic plasma membranes of periglomerular cells contain approximately four times
more HCN1 labelling than those of external tufted cells. Unlike in cortical pyramidal
cells, immunogold density for HCN1 does not significantly differ in somatic and
dendritic plasma membranes of external tufted cells, indicating that post-synaptic
potentials arriving at proximal and distal dendrites are modulated by the same
density of I h. Our results demonstrate a cell type-dependent expression of HCN1
in the olfactory bulb and predict a differential contribution of distinct juxtaglomerular
cell types to network oscillations.
author:
- first_name: Noémi
full_name: Holderith, Noémi B
last_name: Holderith
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Zoltán
full_name: Nusser, Zoltán
last_name: Nusser
citation:
ama: Holderith N, Shigemoto R, Nusser Z. Cell type-dependent expression of HCN1
in the main olfactory bulb. European Journal of Neuroscience. 2003;18(2):344-354.
doi:10.1046/j.1460-9568.2003.02756.x
apa: Holderith, N., Shigemoto, R., & Nusser, Z. (2003). Cell type-dependent
expression of HCN1 in the main olfactory bulb. European Journal of Neuroscience.
Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02756.x
chicago: Holderith, Noémi, Ryuichi Shigemoto, and Zoltán Nusser. “Cell Type-Dependent
Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience.
Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1460-9568.2003.02756.x.
ieee: N. Holderith, R. Shigemoto, and Z. Nusser, “Cell type-dependent expression
of HCN1 in the main olfactory bulb,” European Journal of Neuroscience,
vol. 18, no. 2. Wiley-Blackwell, pp. 344–354, 2003.
ista: Holderith N, Shigemoto R, Nusser Z. 2003. Cell type-dependent expression of
HCN1 in the main olfactory bulb. European Journal of Neuroscience. 18(2), 344–354.
mla: Holderith, Noémi, et al. “Cell Type-Dependent Expression of HCN1 in the Main
Olfactory Bulb.” European Journal of Neuroscience, vol. 18, no. 2, Wiley-Blackwell,
2003, pp. 344–54, doi:10.1046/j.1460-9568.2003.02756.x.
short: N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18
(2003) 344–354.
date_created: 2018-12-11T11:58:47Z
date_published: 2003-07-01T00:00:00Z
date_updated: 2021-01-12T06:58:42Z
day: '01'
doi: 10.1046/j.1460-9568.2003.02756.x
extern: 1
intvolume: ' 18'
issue: '2'
month: '07'
page: 344 - 354
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4266'
quality_controlled: 0
status: public
title: Cell type-dependent expression of HCN1 in the main olfactory bulb
type: journal_article
volume: 18
year: '2003'
...