---
_id: '4450'
abstract:
- lang: eng
text: "Hybrid systems model discrete programs that are embedded in continuous environments.
Model-checking tools are available for the analysis of linear hybrid systems,
whose continuous variables are bounded by piecewise-linear trajectories. Most
embedded programs, however, operate in nonlinear environments. We present, analyze,
and apply two algorithms for translating nonlinear hybrid systems into linear
hybrid systems.\r\nThe clock translation replaces nonlinear variables by clock
variables; the rate translation approximates nonlinear variables by piecewise-linear
envelopes. Both translations are sound for reachability; that is, if we establish
a safety property of the translated linear system, we may conclude that the original
nonlinear system satisfies the property. The clock translation is also complete
for reachability; that is, the original system and the translated system satisfy
the same safety properties. The two translations apply to incomparable classes
of nonlinear hybrid systems. From the clock translation we obtain a new decidability
result for hybrid systems.\r\nWith the help of Hytech, a symbolic model checker
for linear hybrid systems, we automatically verify a nonlinear railroad gate control
program using the clock translation, and a nonlinear temperature control program
using the rate translation."
acknowledgement: This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In:
7th International Conference on Computer Aided Verification. Vol 939. Springer;
1995:225-238. doi:10.1007/3-540-60045-0_53'
apa: 'Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid
systems. In 7th International Conference on Computer Aided Verification
(Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53'
chicago: Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” In 7th International Conference on Computer Aided Verification,
939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
ieee: T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,”
in 7th International Conference on Computer Aided Verification, Liege,
Belgium, 1995, vol. 939, pp. 225–238.
ista: 'Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems.
7th International Conference on Computer Aided Verification. CAV: Computer Aided
Verification, LNCS, vol. 939, 225–238.'
mla: Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” 7th International Conference on Computer Aided Verification,
vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
short: T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided
Verification, Springer, 1995, pp. 225–238.
conference:
end_date: 1995-07-05
location: Liege, Belgium
name: 'CAV: Computer Aided Verification'
start_date: 1995-07-03
date_created: 2018-12-11T12:08:55Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:48:52Z
day: '01'
doi: 10.1007/3-540-60045-0_53
extern: '1'
intvolume: ' 939'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60045-0_53
month: '01'
oa_version: None
page: 225 - 238
publication: 7th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540494133'
publication_status: published
publisher: Springer
publist_id: '280'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Algorithmic analysis of nonlinear hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 939
year: '1995'
...
---
_id: '4497'
abstract:
- lang: eng
text: "HyTech is a tool for the automated analysis of embedded systems. This document,
designed for the first-time user of HyTech, guides the reader through the underlying
system model, and through the input language for describing and analyzing systems.
The guide gives several examples of usage, and some hints for gaining maximal
computational efficiency from the tool.\r\nThe version of HyTech described in
this guide was released in August 1995, and is available through anonymous ftp
from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide
Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html."
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469,
by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3'
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech.
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer.
https://doi.org/10.1007/3-540-60630-0_3'
chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st
International Workshop on Tools and Algorithms for the Construction and Analysis
of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
vol. 1019, 41–71.'
mla: Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems,
vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools
and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp.
41–71.
conference:
end_date: 1995-05-20
location: Aarhus, Denmark
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 1995-05-19
date_created: 2018-12-11T12:09:09Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:00:05Z
day: '01'
doi: 10.1007/3-540-60630-0_3
extern: '1'
intvolume: ' 1019'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60630-0_3
month: '01'
oa_version: None
page: 41 - 71
publication: 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
isbn:
- '9783540606307'
publication_status: published
publisher: Springer
publist_id: '230'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A user guide to HyTech
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1019
year: '1995'
...
---
_id: '4498'
abstract:
- lang: eng
text: We present algorithms for computing similarity relations of labeled graphs.
Similarity relations have applications for the refinement and verification of
reactive systems. For finite graphs, we present an O(mn) algorithm for computing
the similarity relation of a graph with n vertices and m edges (assuming m⩾n).
For effectively presented infinite graphs, we present a symbolic similarity-checking
procedure that terminates if a finite similarity relation exists. We show that
2D rectangular automata, which model discrete reactive systems with continuous
environments, define effectively presented infinite graphs with finite similarity
relations. It follows that the refinement problem and the ∀CTL* model-checking
problem are decidable for 2D rectangular automata
article_processing_charge: No
author:
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
citation:
ama: 'Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite
graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science.
IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576'
apa: 'Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations
on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations
of Computer Science (pp. 453–462). Milwaukee, WI, United States of America:
IEEE. https://doi.org/10.1109/SFCS.1995.492576'
chicago: Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations
on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations
of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
ieee: M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on
finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations
of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.
ista: 'Henzinger MH, Henzinger TA, Kopke P. 1995. Computing simulations on finite
and infinite graphs. Proceedings of IEEE 36th Annual Foundations of Computer Science.
FOCS: Foundations of Computer Science, 453–462.'
mla: Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite
Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science,
IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
short: M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual
Foundations of Computer Science, IEEE, 1995, pp. 453–462.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:09:10Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2023-02-09T08:43:48Z
day: '01'
doi: 10.1109/SFCS.1995.492576
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 453 - 462
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
isbn:
- '0818671831'
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '231'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing simulations on finite and infinite graphs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '4499'
abstract:
- lang: eng
text: We describe a new implementation of HYTECH, a symbolic model checker for hybrid
systems. Given a parametric description of an embedded system as a collection
of communicating automata, HYTECH automatically computes the conditions on the
parameters under which the system satisfies its safety and timing requirements.
While the original HYTECH prototype was based on the symbolic algebra tool Mathematica,
the new implementation is written in C++ and builds on geometric algorithms instead
of formula manipulation. The new HYTECH offers a cleaner and more expressive input
language, greater portability, superior performance (typically two to three orders
of magnitude), and new features such as diagnostic error-trace generation. We
illustrate the effectiveness of the new implementation by applying HYTECH to the
automatic parametric analysis of the generic railroad crossing benchmark problem
and to an active structure control algorithm
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings
16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196 '
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation.
In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa,
Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196
'
chicago: 'Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”
In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995.
https://doi.org/10.1109/REAL.1995.495196
.'
ieee: 'T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in
Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp.
56–65.'
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings
16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.'
mla: 'Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings
16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .'
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time
Systems Symposium, IEEE, 1995, pp. 56–65.
conference:
end_date: 1995-12-07
location: Pisa, Italy
name: 'RTSS: Real-Time Systems Symposium'
start_date: 1995-12-05
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:33:19Z
day: '01'
doi: '10.1109/REAL.1995.495196 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/495196
month: '01'
oa_version: None
page: 56 - 65
publication: Proceedings 16th IEEE Real-Time Systems Symposium
publication_identifier:
isbn:
- '0818673370'
publication_status: published
publisher: IEEE
publist_id: '232'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'HyTech: The next generation'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4500'
abstract:
- lang: eng
text: 'We investigate the expressive power of timing restrictions on labeled transition
systems. In particular, we show how constraints on clock variables together with
a uniform liveness condition—the divergence of time—can express Büchi, Muller,
Streett, Rabin, and weak and strong fairness conditions on a given labeled transition
system. We then consider the effect, on both timed and time-abstract expressiveness,
of varying the following parameters: time domain (discrete or dense), number of
clocks, number of states, and size of constants used in timing restrictions.'
acknowledgement: "This research was supported in part by the National Science Foundation
under grant CCR-9200794, by the United States Air Force Office of Scientific Research
under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency
under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical
Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe
full version of this paper is available from the Department of Computer Science,
Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd
International Colloquium on Automata, Languages and Programming . Vol 944.
Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93'
apa: 'Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power
of clocks. In 22nd International Colloquium on Automata, Languages and Programming
(Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93'
chicago: Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive
Power of Clocks.” In 22nd International Colloquium on Automata, Languages and
Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
ieee: T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,”
in 22nd International Colloquium on Automata, Languages and Programming ,
Szeged, Hungary, 1995, vol. 944, pp. 417–428.
ista: 'Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks.
22nd International Colloquium on Automata, Languages and Programming . ICALP:
Automata, Languages and Programming, LNCS, vol. 944, 417–428.'
mla: Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 417–28, doi:10.1007/3-540-60084-1_93.
short: T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium
on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:58:31Z
day: '01'
doi: 10.1007/3-540-60084-1_93
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_93
month: '01'
oa_version: None
page: 417 - 428
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '229'
quality_controlled: '1'
status: public
title: The expressive power of clocks
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '4502'
abstract:
- lang: eng
text: "Hybrid automata model systems with both digital and analog components, such
as embedded control programs. Many verification tasks for such programs can be
expressed as reachability problems for hybrid automata. By improving on previous
decidability and undecidability results, we identify the precise boundary between
decidability and undecidability of the reachability problem for hybrid automata.\r\n\r\nOn
the positive side, we give an (optimal) PSPACE reachability algorithm for the
case of initialized rectangular automata, where all analog variables follow trajectories
within piecewise-linear envelopes and are reinitialized whenever the envelope
changes. Our algorithm is based on the construction of a timed automaton that
contains all reachability information about a given initialized rectangular automaton.
The translation has practical significance for verification, because it guarantees
the termination of symbolic procedures for the reachability analysis of initialized
rectangular automata. The translation also preserves the omega-languages of initialized
rectangular automata with bounded nondeterminism.\r\n\r\nOn the negative side,
we show that several slight generalizations of initialized rectangular automata
lead to an undecidable reachability problem. In particular, we prove that the
reachability problem is undecidable for timed automata augmented with a single
stopwatch."
acknowledgement: "We thank Howard Wong-Toi for a careful reading.\r\n"
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Anuj
full_name: Puri, Anuj
last_name: Puri
- first_name: P.
full_name: Varaiya, P.
last_name: Varaiya
citation:
ama: 'Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata?
In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing.
ACM; 1995:373-382. doi:10.1145/225058.225162'
apa: 'Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable
about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory
of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM.
https://doi.org/10.1145/225058.225162'
chicago: Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable
about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on
Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
ieee: T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about
hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory
of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
ista: 'Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid
automata? Proceedings of the 27th annual ACM symposium on Theory of computing.
STOC: Symposium on the Theory of Computing, 373–382.'
mla: Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings
of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82,
doi:10.1145/225058.225162.
short: T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th
Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
conference:
end_date: 1995-06-01
location: Las Vegas, NV, United States of America
name: 'STOC: Symposium on the Theory of Computing'
start_date: 1995-05-29
date_created: 2018-12-11T12:09:11Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:40:29Z
day: '01'
doi: 10.1145/225058.225162
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.1145/225058.225162
month: '01'
oa: 1
oa_version: Published Version
page: 373 - 382
publication: Proceedings of the 27th annual ACM symposium on Theory of computing
publication_identifier:
isbn:
- '9780897917186'
publication_status: published
publisher: ACM
publist_id: '228'
quality_controlled: '1'
status: public
title: What's decidable about hybrid automata?
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4518'
abstract:
- lang: eng
text: The analysis, verification, and control of hybrid automata with finite bisimulations
can be reduced to finite-state problems. We advocate a time-abstract, phase-based
methodology for checking if a given hybrid automaton has a finite bisimulation.
First, we factor the automaton into two components, a boolean automaton with a
discrete dynamics on the finite state space B m and a euclidean automaton with
a continuous dynamics on the infinite state space n . Second, we investigate
the phase portrait of the euclidean component. In this fashion, we obtain new
decidability results for hybrid systems as well as new, uniform proofs of known
decidability results.
acknowledgement: "This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.\r\n"
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International
Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335.
doi:10.1007/3-540-60084-1_85'
apa: 'Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd
International Colloquium on Automata, Languages and Programming (Vol. 944,
pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85'
chicago: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd
International Colloquium on Automata, Languages and Programming , 944:324–35.
Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.
ieee: T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International
Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995,
vol. 944, pp. 324–335.
ista: 'Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International
Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages
and Programming, LNCS, vol. 944, 324–335.'
mla: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 324–35, doi:10.1007/3-540-60084-1_85.
short: T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages
and Programming , Springer, 1995, pp. 324–335.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:21:08Z
day: '01'
doi: 10.1007/3-540-60084-1_85
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_85
month: '01'
oa_version: None
page: 324 - 335
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '212'
quality_controlled: '1'
status: public
title: Hybrid automata with finite bisimulations
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '2488'
abstract:
- lang: eng
text: Substance P receptor-expressing neurons in the rat cerebral neocortex were
examined by single- and double-immunolabeling methods with an affinity-purified
specific antibody to substance P receptor. Substance P receptor immunoreactivity
was observed exclusively in non-pyramidal neurons. About a quarter of these substance
P receptor-positive neocortical neurons showed intense immunoreactivity, and the
other three quarters displayed weak substance P receptor immunoreactivity. The
neurons showing intense substance P receptor immunoreactivity were large multipolar
cells with a few long aspiny or sparsely-spiny dendrites, and were scattered throughout
the neocortical layers except for layer I, and also in the underlying white matter.
The weakly immunoreactive neurons were medium-sized multipolar cells with oval
to round somata and aspiny varicose dendrites, and were distributed in all cortical
layers with a bias to layers II-III and the superficial part of layer V. The double-immunofluorescence
study revealed that almost all substance P receptor-positive neurons were immunoreactive
for GABA, but negative for glutaminase. Substance P receptor immunoreactivity
in GABAergic neocortical neurons were further examined by the double-immunofluorescence
method with antibodies to markers for subgroups of GABAergic neurons. Somatostatin
immunoreactivity was found in 89% of neurons with intense substance P receptor
immunoreactivity, and in 1.5% of neurons with weak substance P receptor immunoreactivity.
Neuropeptide Y immunoreactivity was also observed in 92% of neurons with intense
immunoreactivity for substance P receptor, and in 1.6% of neurons with weak immunoreactivity
for substance P receptor. In contrast, parvalbumin immunoreactivity was seen in
1.3% of neurons with intense substance P receptor immunoreactivity, and in 59%
of weak substance P receptor immunoreactivity. Calbindin D28k immunoreactivity
was found in 12 and 19% of neurons, respectively, with weak and intense immunoreactivities
for substance P receptor. Virtually no cells showing substance P receptor immunoreactivity
displayed immunoreactivity for vasoactive intestinal polypeptide or choline acetyltransferase.
These results indicate that the neocortical neurons expressing substance P receptor
constitute a subpopulation of GABAergic non-pyramidal cells, and are segregated
into neurons with intense immunoreactivity and those with weak immunoreactivity
for substance P receptor; the vast majority of neurons with intense substance
P receptor immunoreactivity contain somatostatin and neuropeptide Y, and the majority
of neurons with weak substance P receptor immunoreactivity have parvalbumin.
acknowledgement: We are grateful for photographic help of Mr A. Uesugi, and the support
of Drs S. Fukuchi, T. Fukuda, R. Hayashi, M. Katsurada, Y. Kitani, K. Kumagai, H.
Kuroda, H. Matsubara, H. Matsushima, C. Minakuchi, M. Nishio, G. Niwa, H. Ckla,
M. Ohbayashi, S. Ohbayashi, H. Ohtsuka, S. Tamaki, E. Watanabe, K. Yoshino and Y.
Yoshino. This work was supported in part by Grants-in-Aid for Scientific Research
on Priority Areas 05248207 and 05267104, and Scientific Research (B) 05454658 and
(C) 05680658 from the Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
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: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics
of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience.
1994;60(1):199-211. doi:10.1016/0306-4522(94)90215-1
apa: Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Morphological
and chemical characteristics of substance P receptor immunoreactive neurons in
the rat neocortex. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90215-1
chicago: Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno.
“Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive
Neurons in the Rat Neocortex.” Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90215-1.
ieee: T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical
characteristics of substance P receptor immunoreactive neurons in the rat neocortex,”
Neuroscience, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.
ista: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical
characteristics of substance P receptor immunoreactive neurons in the rat neocortex.
Neuroscience. 60(1), 199–211.
mla: Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance
P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience,
vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:10.1016/0306-4522(94)90215-1.
short: T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994)
199–211.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-05-01T00:00:00Z
date_updated: 2022-06-09T12:22:16Z
day: '01'
doi: 10.1016/0306-4522(94)90215-1
extern: '1'
external_id:
pmid:
- '8052413'
intvolume: ' 60'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0306452294902151?via%3Dihub
month: '05'
oa_version: None
page: 199 - 211
pmid: 1
publication: Neuroscience
publication_identifier:
issn:
- 0306-4522
publication_status: published
publisher: Elsevier
publist_id: '4413'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Morphological and chemical characteristics of substance P receptor immunoreactive
neurons in the rat neocortex
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 60
year: '1994'
...
---
_id: '2489'
abstract:
- lang: eng
text: 'Five N-methyl-D-aspartate (NMDA) receptor subunits have been identified thus
far: NR1, NR2A, NR2B, NR2C, and NR2D. Here, we have analyzed the expression patterns
of mRNAs for the NMDA receptor subunits in the developing and adult rats by in
situ hybridization. The developmental changes of the expression patterns were
most salient in the cerebellum. In the external granular layer, hybridization
signals of mRNAs for NR1, NR2A, NR2B, and NR2C appeared by postnatal day 3, but
no NR2D mRNA was expressed at any developmental stage examined. The NR1 mRNA was
expressed in all cerebellar neurons at all developmental stages examined. The
signals for the NR2A mRNA appeared in Purkinje cells and granule cells during
the second postnatal week. The signals for the NR2B mRNA in granule cells were
seen transiently during the first 2 weeks after birth. The signals for NR2C mRNA
appeared in granule cells and glial cells during the second postnatal week. The
signals for NR2D mRNA appeared transiently in Purkinje cells during the first
8 postnatal days; in adult rats, these were seen in stellate and Golgi cells.
In the cerebellar nuclei, mRNAs for NR1, NR2A, NR2B, and NR2D were more or less
expressed on postnatal day 0, while expression signals for the NR2C mRNA were
first detected in postnatal day 14. Thus, the most conspicuous changes of expression
patterns were observed in the cerebellar cortex during the first 2 weeks after
birth, when development and maturation of the cerebellum proceed most rapidly.'
acknowledgement: We are grateful to Mr. Akira Uesugi for photographic help and
for the support of Drs. Satoru Fukuchi, Toshio Fukuda, Ritsu Hayashi, Mizuho Katsurada,
Yutaka Kitani, Keiko Kumagai, Toshihiko Kuroda, Hiroshi Matsubara, Hiroshi Matsushima,
Chisato Minakuchi, Masatoshi Nishio, Gonpei Niwa Hajime Oda, Masahiko Ohbayashi,
Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watan- abe, Kazuo Yoshino,
and Toshiaki Yoshino. This work was supported in part by research grants from the
Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Chihiro
full_name: Akazawa, Chihiro
last_name: Akazawa
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Yasumasa
full_name: Bessho, Yasumasa
last_name: Bessho
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression
of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing
and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160.
doi:10.1002/cne.903470112
apa: Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., & Mizuno, N. (1994).
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in
the cerebellum of developing and adult rats. Journal of Comparative Neurology.
Wiley-Blackwell. https://doi.org/10.1002/cne.903470112
chicago: Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi,
and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor
Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative
Neurology. Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470112.
ieee: C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential
expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum
of developing and adult rats,” Journal of Comparative Neurology, vol. 347,
no. 1. Wiley-Blackwell, pp. 150–160, 1994.
ista: Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential
expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum
of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
mla: Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate
Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal
of Comparative Neurology, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60,
doi:10.1002/cne.903470112.
short: C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of
Comparative Neurology 347 (1994) 150–160.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-09-01T00:00:00Z
date_updated: 2022-06-09T12:11:20Z
day: '01'
doi: 10.1002/cne.903470112
extern: '1'
external_id:
pmid:
- '7798379'
intvolume: ' 347'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://onlinelibrary.wiley.com/doi/10.1002/cne.903470112
month: '09'
oa_version: None
page: 150 - 160
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4412'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs
in the cerebellum of developing and adult rats
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 347
year: '1994'
...
---
_id: '2490'
abstract:
- lang: eng
text: Distribution of the messenger RNA for the prostaglandin E receptor subtype
EP3 was investigated by in situ hybridization in the nervous system of the mouse.
The hybridization signals for EP3 were widely distributed in the brain and sensory
ganglia and specifically localized to neurons. In the dorsal root and trigeminal
ganglia, about half of the neurons were labeled intensely. In the brain, intensely
labeled neurons were found in Ammon's horn, the preoptic nuclei, lateral hypothalamic
area, dorsomedial hypothalamic nucleus, lateral mammillary nucleus, entopeduncular
nucleus, substantia nigra pars compacta, locus coeruleus and raphe nuclei. Moderately
labeled neurons were seen in the mitral cell layer of the main olfactory bulb,
layer V of the entorhinal and parasubicular cortices, layers V and VI of the cerebral
neocortex, nuclei of the diagonal band, magnocellular preoptic nucleus, globus
pallidus and lateral parabrachial nucleus. In the thalamus, moderately labeled
neurons were distributed in the anterior, ventromedial, laterodorsal, paraventricular
and central medial nuclei. Based on these distributions, we suggest that EP3 not
only mediates prostaglandin E2 signals evoked by blood-borne cytokines in the
areas poor in the blood-brain barrier, but also responds to those formed intrinsically
within the brain to modulate various neuronal activities. Possible EP3 actions
are discussed in relation to the reported neuronal activities of prostaglandin
E2 in the brain.
acknowledgement: 'This work was supported in part by Grants-in-aid for Scientific
Research 05404020, 04255103. 05771975, 05671816 and 05454568 from the Ministry of
Education, Science and Culture of Japan and by grants from the Mitsubishi Foundation
and the Takeda Science Foundation. We are grateful to Mr Akira Uesugi for photographic
help. We also thank Drs Chihiro Akazawa, Hitoshi Ohishi and Masabumi Minami for
helpful discussions. '
article_processing_charge: No
article_type: original
author:
- first_name: Yukihiko
full_name: Sugimoto, Yukihiko
last_name: Sugimoto
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Tsunehisa
full_name: Namba, Tsunehisa
last_name: Namba
- first_name: Manabu
full_name: Negishi, Manabu
last_name: Negishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
- first_name: Shuh
full_name: Narumiya, Shuh
last_name: Narumiya
- first_name: Atsushi
full_name: Ichikawa, Atsushi
last_name: Ichikawa
citation:
ama: Sugimoto Y, Shigemoto R, Namba T, et al. Distribution of the messenger rna
for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience.
1994;62(3):919-928. doi:10.1016/0306-4522(94)90483-9
apa: Sugimoto, Y., Shigemoto, R., Namba, T., Negishi, M., Mizuno, N., Narumiya,
S., & Ichikawa, A. (1994). Distribution of the messenger rna for the prostaglandin
e receptor subtype ep3 in the mouse nervous system. Neuroscience. Elsevier.
https://doi.org/10.1016/0306-4522(94)90483-9
chicago: Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi,
Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger
Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.”
Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90483-9.
ieee: Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin
e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol.
62, no. 3. Elsevier, pp. 919–928, 1994.
ista: Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa
A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype
ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.
mla: Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin
e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience, vol.
62, no. 3, Elsevier, 1994, pp. 919–28, doi:10.1016/0306-4522(94)90483-9.
short: Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya,
A. Ichikawa, Neuroscience 62 (1994) 919–928.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-10-01T00:00:00Z
date_updated: 2022-06-09T11:56:23Z
day: '01'
doi: 10.1016/0306-4522(94)90483-9
extern: '1'
external_id:
pmid:
- '7870313'
intvolume: ' 62'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0306452294904839?via%3Dihub
month: '10'
oa_version: None
page: 919 - 928
pmid: 1
publication: Neuroscience
publication_identifier:
issn:
- 0306-4522
publication_status: published
publisher: Elsevier
publist_id: '4411'
quality_controlled: '1'
status: public
title: Distribution of the messenger rna for the prostaglandin e receptor subtype
ep3 in the mouse nervous system
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 62
year: '1994'
...
---
_id: '2545'
abstract:
- lang: eng
text: 'Glutamate receptors play an important role in many integrative brain functions
and in neuronal development. We report the molecular diversity of NMDA receptors
and metabotropic glutamate receptors on the basis of our studies of molecular
cloning and characterization of the diverse members of these receptors. The NMDA
receptors consist of two distinct types of subunits. NMDAR1 possesses all properties
characteristic of the NMDA receptor-channel complex, whereas the four NMDAR2 subunits,
termed NMDAR2A-2D, show no channel activity but potentiate the NMDAR1 activity
and confer functional variability by different heteromeric formations. The NMDA
receptor subunits are considerably divergent from the other ligand-gated ion channels,
and the structural architecture of these subunits remains elusive. The mGluRs
form a family of at least seven different subtypes termed mGluR1-mGluR7. These
receptor subtypes have, seven transmembrane segments and possess a large extracellular
domain at their N-terminal regions. The seven mGluR subtypes are classified into
three subgroups according to their sequence similarities, signal transduction
mechanisms and agonist selectivities: mGluR1/mGluR5, mGluR2/mGluR3 and mGluR4/mGluR6/mGluR7.
On the basis of our knowledge of the molecular diversity of the NMDA receptors
and mGluRs, we have studied the physiological roles of individual receptor subunits
or subtypes. We have shown that K(+)-induced depolarization or NMDA treatment
in primary cultures of neonatal cerebellar granule cells induces the functional
NMDA receptor and specifically up-regulates NMDAR2A mRNA among the multiple NMDA
receptor subunits through the increase in resting intracellular Ca2+ concentrations.
Our study demonstrates that the regulation of the specific NMDA receptor subunit
mRNA governs the NMDA receptor induction that is thought to play an important
role in granule cell survival and death. Analysis of an agonist selectivity and
an expression pattern of mGluR6 has indicated that mGluR6 is responsible for synaptic
neurotransmission from photoreceptor cells to ON-bipolar cells in the visual system.
We have also investigated the function of mGluR2 in granule cells of the accessory
olfactory bulb by combining immunoelectron-microscopic analysis with slice-patch
recordings on the basis of the identification of a new agonist selective for this
receptor subtype. Our results demonstrate that mGluR2 is present at the presynaptic
site of granule cells and modulates inhibitory GABA transmission from granule
cells to mitral cells. This finding indicates that the mGluR2 activation relieves
excited mitral cells from GABA inhibition but maintains the lateral inhibition
of unexcited mitral cells, thus resulting in enhancement of the signal-to-noise
ratio between the excited mitral cells and their neighboring unexcited mitral
cells.'
article_processing_charge: No
author:
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Masayuki
full_name: Masu, Masayuki
last_name: Masu
- first_name: Yasumasa
full_name: Bessho, Yasumasa
last_name: Bessho
- first_name: Yoshiaki
full_name: Nakajima, Yoshiaki
last_name: Nakajima
- first_name: Yasunori
full_name: Hayashi, Yasunori
last_name: Hayashi
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
citation:
ama: 'Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. Molecular
diversity of glutamate receptors and their physiological functions. In: Experientia
Supplementum. Vol 71. Birkhäuser; 1994:71-80. doi:10.1007/978-3-0348-7330-7_8'
apa: Nakanishi, S., Masu, M., Bessho, Y., Nakajima, Y., Hayashi, Y., & Shigemoto,
R. (1994). Molecular diversity of glutamate receptors and their physiological
functions. In Experientia Supplementum (Vol. 71, pp. 71–80). Birkhäuser.
https://doi.org/10.1007/978-3-0348-7330-7_8
chicago: Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima,
Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors
and Their Physiological Functions.” In Experientia Supplementum, 71:71–80.
Birkhäuser, 1994. https://doi.org/10.1007/978-3-0348-7330-7_8.
ieee: S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto,
“Molecular diversity of glutamate receptors and their physiological functions,”
in Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80.
ista: 'Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994.Molecular
diversity of glutamate receptors and their physiological functions. In: Experientia
Supplementum. vol. 71, 71–80.'
mla: Nakanishi, Shigetada, et al. “Molecular Diversity of Glutamate Receptors and
Their Physiological Functions.” Experientia Supplementum, vol. 71, Birkhäuser,
1994, pp. 71–80, doi:10.1007/978-3-0348-7330-7_8.
short: S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto,
in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
date_created: 2018-12-11T11:58:18Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-09T10:08:24Z
day: '01'
doi: 10.1007/978-3-0348-7330-7_8
extern: '1'
external_id:
pmid:
- '8032174'
intvolume: ' 71'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-0348-7330-7_8
month: '01'
oa_version: None
page: 71 - 80
pmid: 1
publication: Experientia Supplementum
publication_identifier:
isbn:
- '9783034873321'
publication_status: published
publisher: Birkhäuser
publist_id: '4352'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular diversity of glutamate receptors and their physiological functions
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 71
year: '1994'
...
---
_id: '2548'
abstract:
- lang: eng
text: The induction mechanism of cerebellar long term depression (LTD) has been
analysed in a cerebellar culture. Using nitr-5, a photolabile Ca chelator, we
demonstrated that an increase in postsynaptic Ca together with glutamate application
is sufficient to induce the LTD of glutamate responsiveness in Purkinje cells.
It has also been shown that one subtype of genetically defined metabotropic glutamate
receptor, mGluR1, is involved in the LTD induction. We raised antibodies which
specifically recognized mGluR1 and inactivated its function. The antibodies suppressed
the LTD induction in the cultured Purkinje cells.
alternative_title:
- Biomedical Research
author:
- first_name: Tomoo
full_name: Hirano, Tomoo
last_name: Hirano
- first_name: Keizo
full_name: Kasono, Keizo
last_name: Kasono
- 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
citation:
ama: 'Hirano T, Kasono K, Shigemoto R, Nakanishi S. Induction mechanism of long
term depression in cultured Purkinje neurons. In: Vol 15. Biomedical Research
Foundation; 1994:79-81.'
apa: Hirano, T., Kasono, K., Shigemoto, R., & Nakanishi, S. (1994). Induction
mechanism of long term depression in cultured Purkinje neurons (Vol. 15, pp. 79–81).
Presented at the Unknown (0388-6107), Biomedical Research Foundation.
chicago: Hirano, Tomoo, Keizo Kasono, Ryuichi Shigemoto, and Shigetada Nakanishi.
“Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons,” 15:79–81.
Biomedical Research Foundation, 1994.
ieee: T. Hirano, K. Kasono, R. Shigemoto, and S. Nakanishi, “Induction mechanism
of long term depression in cultured Purkinje neurons,” presented at the Unknown
(0388-6107), 1994, vol. 15, no. SUPPL. 1, pp. 79–81.
ista: Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of
long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical
Research, vol. 15, 79–81.
mla: Hirano, Tomoo, et al. Induction Mechanism of Long Term Depression in Cultured
Purkinje Neurons. Vol. 15, no. SUPPL. 1, Biomedical Research Foundation, 1994,
pp. 79–81.
short: T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research
Foundation, 1994, pp. 79–81.
conference:
name: Unknown (0388-6107)
date_created: 2018-12-11T11:58:19Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2021-01-12T06:58:10Z
day: '01'
extern: 1
intvolume: ' 15'
issue: SUPPL. 1
month: '01'
page: 79 - 81
publication_status: published
publisher: Biomedical Research Foundation
publist_id: '4350'
quality_controlled: 0
status: public
title: Induction mechanism of long term depression in cultured Purkinje neurons
type: conference
volume: 15
year: '1994'
...
---
_id: '2549'
abstract:
- lang: eng
text: In an attempt to reveal the function sites of substance P (SP) in the central
nervous system (CNS), the distribution of SP receptor (SPR) was immunocytochemically
investigated in adult rat and compared with that of SP- positive fibers. SPR-like
immunoreactivity (LI) was mostly localized to neuronal cell bodies and dendrites.
Neurons with intense SPR-LI were distributed densely in the cortical amygdaloid
nucleus, hilus of the dentate gyrus, locus ceruleus, rostral half of the ambiguus
nucleus, and intermediolateral nucleus of the thoracic cord; moderately in the
caudatoputamen, nucleus accumbens, olfactory tubercle, median, pontine, and magnus
raphe nuclei, laminae I and III of the caudal subnucleus of the spinal trigeminal
nucleus, and lamina I of the spinal cord; and sparsely in the cerebral cortex,
basal nucleus of Meynert, claustrum, gigantocellular reticular nucleus, and lobules
IX and X of the cerebellar vermis. Neurons with weak to moderate SPR-LI were distributed
more widely throughout the CNS. The regional patterns of distribution of SPR-LI
were not necessarily the same as those of SP-positive fibers. The entopeduncular
nucleus, substantia nigra, and lateral part of the interpeduncular nucleus showed
intense SP-LI but displayed almost no SPR-LI. Conversely, the hilus of the dentate
gyrus, anterodorsal thalamic nucleus, central nucleus of the inferior colliculus,
and dorsal tegmental nucleus showed intense to moderate SPR-LI but contained few
axons with SP-LI. These findings confirmed the presence of the 'mismatch' problem
between SP and SPR localizations. However, the distribution of SPR- LI was quite
consistent with that of the SP-binding activity, which has been studied via autoradiography.
This indicates that the sites of SPR-LI revealed in the present study represent
most, if not all, sites of SP-binding activity.
acknowledgement: 'We are grateful for photographic help of Mr. A. Uesugi and the support
of Drs. M. Arakawa, S. Fukuchi, T., Fukuda, R. Hayashi, S. Hayashi, S. Imai, M.
Katsurada, Y. Kitani, K. Kumagai, H. Kuroda, T. Kuroda, H. Matsubara, J. Matsuoka,
H. Matsushima, M. Nishio, G. Niwa, H. Oda, M. Ohbayashi, S. Ohbayashi, H. Ohtsuka,
S. Tamaki, E. Watanabe, and Y. Yoshino. This work was supported in part by Grants-in-Aid
for Scientific Research on Priority Areas 05248207 and 05267104 and Scientific Research
(B) 05454658 and (C) 05680658 from the Ministry of Education, Science and Culture
of Japan. '
article_processing_charge: No
article_type: original
author:
- first_name: Yoshifumi
full_name: Nakaya, Yoshifumi
last_name: Nakaya
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
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: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Immunohistochemical
localization of substance P receptor in the central nervous system of the adult
rat. Journal of Comparative Neurology. 1994;347(2):249-274. doi:10.1002/cne.903470208
apa: Nakaya, Y., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994).
Immunohistochemical localization of substance P receptor in the central nervous
system of the adult rat. Journal of Comparative Neurology. Wiley-Blackwell.
https://doi.org/10.1002/cne.903470208
chicago: Nakaya, Yoshifumi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi,
and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in
the Central Nervous System of the Adult Rat.” Journal of Comparative Neurology.
Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470208.
ieee: Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Immunohistochemical
localization of substance P receptor in the central nervous system of the adult
rat,” Journal of Comparative Neurology, vol. 347, no. 2. Wiley-Blackwell,
pp. 249–274, 1994.
ista: Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Immunohistochemical
localization of substance P receptor in the central nervous system of the adult
rat. Journal of Comparative Neurology. 347(2), 249–274.
mla: Nakaya, Yoshifumi, et al. “Immunohistochemical Localization of Substance P
Receptor in the Central Nervous System of the Adult Rat.” Journal of Comparative
Neurology, vol. 347, no. 2, Wiley-Blackwell, 1994, pp. 249–74, doi:10.1002/cne.903470208.
short: Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative
Neurology 347 (1994) 249–274.
date_created: 2018-12-11T11:58:20Z
date_published: 1994-09-08T00:00:00Z
date_updated: 2022-06-09T09:25:30Z
day: '08'
doi: 10.1002/cne.903470208
extern: '1'
external_id:
pmid:
- '7814667'
intvolume: ' 347'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://onlinelibrary.wiley.com/doi/10.1002/cne.903470208
month: '09'
oa_version: None
page: 249 - 274
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4349'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Immunohistochemical localization of substance P receptor in the central nervous
system of the adult rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 347
year: '1994'
...
---
_id: '2550'
abstract:
- lang: eng
text: A cDNA clone for a new rat metabotropic glutamate receptor termed mGluR7 was
isolated through polymerase chain reaction-mediated DNA amplification by using
primer sequences conserved among the metabotropic receptor (mGluR) family and
by the subsequent screening of a rat forebrain cDNA library. The cloned mGluR7
subtype consists of 915 amino acid residues and exhibits a structural architecture
common to the mGluR family with a large extracellular domain preceding the seven
putative membrane-spanning domains. mGluR7 shows the highest sequence similarity
to mGluR4 and mGluR6 among the members of the mGluR family. Similar to mGluR4
and mGluR6, mGluR7 inhibits forskolin- stimulated cyclic AMP accumulation in response
to agonist interaction and potently reacts with L-2-amino-4-phosphonobutyrate
and L-serine-O-phosphate in Chinese hamster ovary cells transfected with the cloned
cDNA. RNA blot and in situ hybridization analyses of mGluR7 mRNA indicated that
it is widely expressed in many neuronal cells of the central nervous system and
is thus different from the more limitedly expressed mGluR4 or mGluR6 mRNA. mGluR7
together with mGluR4 thus corresponds to the putative L-2-amino-4- phosphonobutyrate
receptor which plays an important role in modulation of glutamate transmission
in the central nervous system.
acknowledgement: We are grateful to Akira Uesugi for photographic assistance.
article_processing_charge: No
author:
- first_name: Naoyuki
full_name: Okamoto, Naoyuki
last_name: Okamoto
- first_name: Seiji
full_name: Hori, Seiji
last_name: Hori
- first_name: Chihiro
full_name: Akazawa, Chihiro
last_name: Akazawa
- first_name: Yasunori
full_name: Hayashi, Yasunori
last_name: Hayashi
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic
glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction.
Journal of Biological Chemistry. 1994;269(2):1231-1236. doi:10.1016/S0021-9258(17)42247-2
apa: Okamoto, N., Hori, S., Akazawa, C., Hayashi, Y., Shigemoto, R., Mizuno, N.,
& Nakanishi, S. (1994). Molecular characterization of a new metabotropic glutamate
receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal
of Biological Chemistry. American Society for Biochemistry and Molecular Biology.
https://doi.org/10.1016/S0021-9258(17)42247-2
chicago: Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi
Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization
of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP
Signal Transduction.” Journal of Biological Chemistry. American Society
for Biochemistry and Molecular Biology, 1994. https://doi.org/10.1016/S0021-9258(17)42247-2.
ieee: N. Okamoto et al., “Molecular characterization of a new metabotropic
glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,”
Journal of Biological Chemistry, vol. 269, no. 2. American Society for
Biochemistry and Molecular Biology, pp. 1231–1236, 1994.
ista: Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi
S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7
coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry.
269(2), 1231–1236.
mla: Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic
Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.”
Journal of Biological Chemistry, vol. 269, no. 2, American Society for
Biochemistry and Molecular Biology, 1994, pp. 1231–36, doi:10.1016/S0021-9258(17)42247-2.
short: N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S.
Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
date_created: 2018-12-11T11:58:20Z
date_published: 1994-01-14T00:00:00Z
date_updated: 2022-06-08T15:11:44Z
day: '14'
doi: 10.1016/S0021-9258(17)42247-2
extern: '1'
external_id:
pmid:
- '8288585'
intvolume: ' 269'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/S0021925817422472?via%3Dihub
month: '01'
oa: 1
oa_version: None
page: 1231 - 1236
pmid: 1
publication: Journal of Biological Chemistry
publication_status: published
publisher: American Society for Biochemistry and Molecular Biology
publist_id: '4348'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular characterization of a new metabotropic glutamate receptor mGluR7
coupled to inhibitory cyclic AMP signal transduction
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 269
year: '1994'
...
---
_id: '2551'
abstract:
- lang: eng
text: Expression patterns of mRNAs of l-AP4-sensitive metabotropic glutamate receptors
(mGluR4, mGluR6, mGluR7) in the rat retina were examined by northern blot analysis
and in situ hybridization histochemistry. Expression patterns of mGluR4 and mGluR7
mRNAs were quite different from that of mGluR6 mRNA which was expressed at the
outer part of the inner nuclear layer. The mGluR4 mRNA was expressed on the cell
bodies of the ganglion cells, but not in the inner or outer nuclear layer. The
expression of mGluR7 mRNA was observed throughout the entire region of the inner
nuclear layer and on the cell bodies of the ganglion cells.
acknowledgement: The photographic help of Mr. Akira Uesugi is gratefully acknowledged.
This work has been supported by research grants from the Ministry of Education,
Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Chihiro
full_name: Akazawa, Chihiro
last_name: Akazawa
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- first_name: Yoshiaki
full_name: Nakajima, Yoshiaki
last_name: Nakajima
- first_name: Naoyuki
full_name: Okamoto, Naoyuki
last_name: Okamoto
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
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: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Akazawa C, Ohishi H, Nakajima Y, et al. Expression of mRNAs of l-AP4-sensitive
metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience
Letters. 1994;171(1-2):52-54. doi:10.1016/0304-3940(94)90602-5
apa: Akazawa, C., Ohishi, H., Nakajima, Y., Okamoto, N., Shigemoto, R., Nakanishi,
S., & Mizuno, N. (1994). Expression of mRNAs of l-AP4-sensitive metabotropic
glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience
Letters. Elsevier. https://doi.org/10.1016/0304-3940(94)90602-5
chicago: Akazawa, Chihiro, Hitoshi Ohishi, Yoshiaki Nakajima, Naoyuki Okamoto, Ryuichi
Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Expression of MRNAs of L-AP4-Sensitive
Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.”
Neuroscience Letters. Elsevier, 1994. https://doi.org/10.1016/0304-3940(94)90602-5.
ieee: C. Akazawa et al., “Expression of mRNAs of l-AP4-sensitive metabotropic
glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina,” Neuroscience
Letters, vol. 171, no. 1–2. Elsevier, pp. 52–54, 1994.
ista: Akazawa C, Ohishi H, Nakajima Y, Okamoto N, Shigemoto R, Nakanishi S, Mizuno
N. 1994. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors
(mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 171(1–2), 52–54.
mla: Akazawa, Chihiro, et al. “Expression of MRNAs of L-AP4-Sensitive Metabotropic
Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” Neuroscience
Letters, vol. 171, no. 1–2, Elsevier, 1994, pp. 52–54, doi:10.1016/0304-3940(94)90602-5.
short: C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi,
N. Mizuno, Neuroscience Letters 171 (1994) 52–54.
date_created: 2018-12-11T11:58:21Z
date_published: 1994-04-25T00:00:00Z
date_updated: 2022-06-08T14:02:11Z
day: '25'
doi: 10.1016/0304-3940(94)90602-5
extern: '1'
external_id:
pmid:
- '8084499'
intvolume: ' 171'
issue: 1-2
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394094906025?via%3Dihub
month: '04'
oa_version: None
page: 52 - 54
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4346'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4,
mGluR6, mGluR7) in the rat retina
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 171
year: '1994'
...
---
_id: '2552'
abstract:
- lang: eng
text: The superficial layers of the superior colliculus (SC) have been known to
contain many axons showing substance P-like immunoreactivity (SP-LI). We, therefore,
immunohistochemically examined the distribution of SP receptor (SPR) in the superficial
layers of the SC in the rat by using a specific antibody against SPR. The majority
of SC neurons with SPR-LI were distributed in the zonal and the superficial gray
layers, the rest of them were in the optic layer. Electron microscopy revealed
that SPR-immunoreaction products in SC neurons were distributed not only in postsynaptic
sites, but also in non-synaptic regions of perikaryal and dendritic profiles.
acknowledgement: The authors are grateful for photographic help of Mr. Akira Uesugi.
article_processing_charge: No
article_type: original
author:
- first_name: Reiko
full_name: Ogawa Meguro, Reiko
last_name: Ogawa Meguro
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Kazuo
full_name: Itoh, Kazuo
last_name: Itoh
- first_name: Akira
full_name: Konishi, Akira
last_name: Konishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. Immunohistochemical
localization of substance P receptor in the superior colliculus. A light and electron
microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138.
doi:10.1016/0304-3940(94)90469-3
apa: Ogawa Meguro, R., Shigemoto, R., Itoh, K., Konishi, A., & Mizuno, N. (1994).
Immunohistochemical localization of substance P receptor in the superior colliculus.
A light and electron microscope study in the rat. Neuroscience Letters.
Elsevier. https://doi.org/10.1016/0304-3940(94)90469-3
chicago: Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and
Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the
Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience
Letters. Elsevier, 1994. https://doi.org/10.1016/0304-3940(94)90469-3.
ieee: R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical
localization of substance P receptor in the superior colliculus. A light and electron
microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2. Elsevier,
pp. 135–138, 1994.
ista: Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical
localization of substance P receptor in the superior colliculus. A light and electron
microscope study in the rat. Neuroscience Letters. 166(2), 135–138.
mla: Ogawa Meguro, Reiko, et al. “Immunohistochemical Localization of Substance
P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in
the Rat.” Neuroscience Letters, vol. 166, no. 2, Elsevier, 1994, pp. 135–38,
doi:10.1016/0304-3940(94)90469-3.
short: R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience
Letters 166 (1994) 135–138.
date_created: 2018-12-11T11:58:21Z
date_published: 1994-01-31T00:00:00Z
date_updated: 2022-06-08T14:37:30Z
day: '31'
doi: 10.1016/0304-3940(94)90469-3
extern: '1'
external_id:
pmid:
- '8177489'
intvolume: ' 166'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394094904693?via%3Dihub
month: '01'
oa_version: None
page: 135 - 138
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4347'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Immunohistochemical localization of substance P receptor in the superior colliculus.
A light and electron microscope study in the rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 166
year: '1994'
...
---
_id: '2553'
abstract:
- lang: eng
text: Distribution of the mRNAs for three subtypes of prostaglandin E (PGE) receptors
in the mouse kidney was investigated by in situ hybridization. The mRNA for EP1
subtype, which is coupled to Ca2+ mobilization, was specifically localized to
the collecting ducts from the cortex to the papilla. The mRNA for EP2 subtype,
which is linked to stimulation of adenylate cyclase, was localized to the glomeruli.
The mRNA for EP3 subtype, which is coupled to inhibition of adenylate cyclase,
was located densely in the tubules in the outer medulla and in the distal tubules
in the cortex. These results exhibit distinct cellular localization of three subtypes
of PGE receptor in the kidney and suggest that PGE2 exerts multiple functions
via these subtypes expressed in different segments of the nephron.
acknowledgement: We thank Drs. Noboru Mizuno, Tsuyoshi Watanabe, Akihide Nakao, Chihiro
Akazawa, and Akira Uesugi for invaluable discussions and photographic support. This
work was supported in part by Scientific Research Grants-inAid 05404020, 04255103,
05771975, 05671816, and 05454568 from the Ministry of Education, Science and Culture
of Japan and by grants from the Mitsubishi Foundation and the Takeda Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Yukihiko
full_name: Sugimoto, Yukihiko
last_name: Sugimoto
- first_name: Tsunehisa
full_name: Namba, Tsunehisa
last_name: Namba
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Manabu
full_name: Negishi, Manabu
last_name: Negishi
- first_name: Atsushi
full_name: Ichikawa, Atsushi
last_name: Ichikawa
- first_name: Shuh
full_name: Narumiya, Shuh
last_name: Narumiya
citation:
ama: Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct
cellular localization of mRNAs for three subtypes of prostaglandin E receptor
in kidney. American Journal of Physiology. 1994;266(5):F823-F828. doi:10.1152/ajprenal.1994.266.5.F823
apa: Sugimoto, Y., Namba, T., Shigemoto, R., Negishi, M., Ichikawa, A., & Narumiya,
S. (1994). Distinct cellular localization of mRNAs for three subtypes of prostaglandin
E receptor in kidney. American Journal of Physiology. American Physiological
Society. https://doi.org/10.1152/ajprenal.1994.266.5.F823
chicago: Sugimoto, Yukihiko, Tsunehisa Namba, Ryuichi Shigemoto, Manabu Negishi,
Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs
for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal
of Physiology. American Physiological Society, 1994. https://doi.org/10.1152/ajprenal.1994.266.5.F823.
ieee: Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, and S. Narumiya,
“Distinct cellular localization of mRNAs for three subtypes of prostaglandin E
receptor in kidney,” American Journal of Physiology, vol. 266, no. 5. American
Physiological Society, pp. F823–F828, 1994.
ista: Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994.
Distinct cellular localization of mRNAs for three subtypes of prostaglandin E
receptor in kidney. American Journal of Physiology. 266(5), F823–F828.
mla: Sugimoto, Yukihiko, et al. “Distinct Cellular Localization of MRNAs for Three
Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology,
vol. 266, no. 5, American Physiological Society, 1994, pp. F823–28, doi:10.1152/ajprenal.1994.266.5.F823.
short: Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya,
American Journal of Physiology 266 (1994) F823–F828.
date_created: 2018-12-11T11:58:21Z
date_published: 1994-05-01T00:00:00Z
date_updated: 2022-06-07T15:03:51Z
day: '01'
doi: 10.1152/ajprenal.1994.266.5.F823
extern: '1'
external_id:
pmid:
- '8203567'
intvolume: ' 266'
issue: '5'
language:
- iso: eng
main_file_link:
- url: https://journals.physiology.org/doi/abs/10.1152/ajprenal.1994.266.5.F823
month: '05'
oa_version: None
page: F823 - F828
pmid: 1
publication: American Journal of Physiology
publication_identifier:
issn:
- 0363-6127
publication_status: published
publisher: American Physiological Society
publist_id: '4345'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distinct cellular localization of mRNAs for three subtypes of prostaglandin
E receptor in kidney
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 266
year: '1994'
...
---
_id: '2554'
abstract:
- lang: eng
text: 'The retinal bipolar cell receiving glutamate transmission from photoreceptors
mediates a key process in segregating visual signals into ON center and OFF center
pathways. This transmission involves a G protein- coupled metabotropic glutamate
receptor (mGluR). Immunocytochemical and immunoelectron microscopic studies indicate
the restricted localization of a specific mGluR subtype, mGluR6, at the postsynaptic
site of the rat rod bipolar cell. This specialization is developmentally regulated:
mGluR6 is initially distributed in both the soma and dendrites and is finally
concentrated on the postsynaptic site. The mGluR6 localization is reversed when
photoreceptors degenerate in the mutant rat with retinal dystrophy. Evidence is
thus presented indicating specialized, developmentally regulated receptor distribution
in the central nervous system and the crucial role of mGluR6 in photoreceptor-bipolar
cell synaptic transmission.'
acknowledgement: "We thank M. Tachibana for technical advice concerning dissociated
bipolar cell preparation, Y. Honda for advice \r\nconcerning RCS rat experiments,
and A. Uesugi for photographic assistance. This work is partly supported by research
grants from the Ministry of Education, Science, and Culture of Japan and from the
Ministry of Health and Welfare of\r\nJapan. "
article_processing_charge: No
article_type: original
author:
- first_name: Akinori
full_name: Nomura, Akinori
last_name: Nomura
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Yasuhisa
full_name: Nakamura, Yasuhisa
last_name: Nakamura
- first_name: Naoyuki
full_name: Okamoto, Naoyuki
last_name: Okamoto
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. Developmentally
regulated postsynaptic localization of a metabotropic glutamate receptor in rat
rod bipolar cells. Cell. 1994;77(3):361-369. doi:10.1016/0092-8674(94)90151-1
apa: Nomura, A., Shigemoto, R., Nakamura, Y., Okamoto, N., Mizuno, N., & Nakanishi,
S. (1994). Developmentally regulated postsynaptic localization of a metabotropic
glutamate receptor in rat rod bipolar cells. Cell. Cell Press. https://doi.org/10.1016/0092-8674(94)90151-1
chicago: Nomura, Akinori, Ryuichi Shigemoto, Yasuhisa Nakamura, Naoyuki Okamoto,
Noboru Mizuno, and Shigetada Nakanishi. “Developmentally Regulated Postsynaptic
Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell.
Cell Press, 1994. https://doi.org/10.1016/0092-8674(94)90151-1.
ieee: A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, and S. Nakanishi,
“Developmentally regulated postsynaptic localization of a metabotropic glutamate
receptor in rat rod bipolar cells,” Cell, vol. 77, no. 3. Cell Press, pp.
361–369, 1994.
ista: Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. 1994.
Developmentally regulated postsynaptic localization of a metabotropic glutamate
receptor in rat rod bipolar cells. Cell. 77(3), 361–369.
mla: Nomura, Akinori, et al. “Developmentally Regulated Postsynaptic Localization
of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell, vol.
77, no. 3, Cell Press, 1994, pp. 361–69, doi:10.1016/0092-8674(94)90151-1.
short: A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi,
Cell 77 (1994) 361–369.
date_created: 2018-12-11T11:58:21Z
date_published: 1994-05-06T00:00:00Z
date_updated: 2022-06-07T14:28:33Z
day: '06'
doi: 10.1016/0092-8674(94)90151-1
extern: '1'
external_id:
pmid:
- '8181056'
intvolume: ' 77'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0092867494901511?via%3Dihub
month: '05'
oa_version: None
page: 361 - 369
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Cell Press
publist_id: '4344'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Developmentally regulated postsynaptic localization of a metabotropic glutamate
receptor in rat rod bipolar cells
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 77
year: '1994'
...
---
_id: '2555'
abstract:
- lang: eng
text: Antibodies were raised against two distinct extracellular sequences of the
rat mGluR1 metabotropic glutamate receptor expressed as bacterial fusion proteins.
Both antibodies specifically reacted with mGluR1 in the rat cerebellum and inhibited
the mGluR1 activity as assessed by the analysis of glutamate-stimulated inositol
phosphate formation in CHO cells expressing mGluR1. Using these antibodies, we
examined the role of mGluR1 in the induction of long-term depression in cultured
Purkinje cells. In voltage- clamped Purkinje cells, current induced by iontophoretically
applied glutamate was persistently depressed by depolarization of the Purkinje
cells in conjunction with the glutamate application. The mGluR1 antibodies completely
blocked the depression of glutamate-induced current. The results indicate that
activation of mGluR1 is necessary for the induction of cerebellar long-term depression
and that these mGluR1 antibodies can be used as selective antagonists.
acknowledgement: 'Correspondence should be addressed to R. S. The photographic help
of Mr. Akira Uesugi is gratefully acknowledged. This work has been supported by
research grants from Senri Life Science Foundation, the Brain Science Foundation,
the Narishige Foundation, and the Ministry of Education, Science, and Culture of
Japan. The costs of publication of this article were defrayed in part by the payment
of page charges. This article must therefore be hereby marked "advertisement” in
accordance with 18 USC Section 1734 solely to indicate this fact. '
article_processing_charge: No
article_type: original
author:
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Takaaki
full_name: Abe, Takaaki
last_name: Abe
- first_name: Sakashi
full_name: Nomura, Sakashi
last_name: Nomura
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Tomoo
full_name: Hirano, Tomoo
last_name: Hirano
citation:
ama: Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. Antibodies inactivating
mGluR1 metabotropic glutamate receptor block long-term depression in cultured
Purkinje cells. Neuron. 1994;12(6):1245-1255. doi:10.1016/0896-6273(94)90441-3
apa: Shigemoto, R., Abe, T., Nomura, S., Nakanishi, S., & Hirano, T. (1994).
Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term
depression in cultured Purkinje cells. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90441-3
chicago: Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and
Tomoo Hirano. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor
Block Long-Term Depression in Cultured Purkinje Cells.” Neuron. Elsevier,
1994. https://doi.org/10.1016/0896-6273(94)90441-3.
ieee: R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies
inactivating mGluR1 metabotropic glutamate receptor block long-term depression
in cultured Purkinje cells,” Neuron, vol. 12, no. 6. Elsevier, pp. 1245–1255,
1994.
ista: Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating
mGluR1 metabotropic glutamate receptor block long-term depression in cultured
Purkinje cells. Neuron. 12(6), 1245–1255.
mla: Shigemoto, Ryuichi, et al. “Antibodies Inactivating MGluR1 Metabotropic Glutamate
Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron,
vol. 12, no. 6, Elsevier, 1994, pp. 1245–55, doi:10.1016/0896-6273(94)90441-3.
short: R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994)
1245–1255.
date_created: 2018-12-11T11:58:22Z
date_published: 1994-06-01T00:00:00Z
date_updated: 2022-06-07T13:39:09Z
day: '01'
doi: 10.1016/0896-6273(94)90441-3
extern: '1'
external_id:
pmid:
- '7912091 '
intvolume: ' 12'
issue: '6'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0896627394904413?via%3Dihub
month: '06'
oa_version: None
page: 1245 - 1255
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '4343'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term
depression in cultured Purkinje cells
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1994'
...
---
_id: '2557'
abstract:
- lang: eng
text: The distribution of the metabotropic glutamate receptors mGluR2 and mGluR3
was immunohistochemically examined in the rat cerebellar cortex at both light
and electron microscope levels. An antibody was raised against a fusion protein
containing a C-terminal portion of mGluR2. On immunoblot, the antibody reacted
with both mGluR2 and mGluR3 in rat brain. mGluR2/3 immunoreactivity was expressed
in cell bodies, dendrites, and axon terminals of Golgi cells, as well as in presumed
glial processes. Golgi axon terminals with mGluR2/3 immunoreactivity were often
encountered in the vicinity of glutamatergic mossy fiber terminals. The results
suggest that transmitter glutamate may exert control influences upon Golgi cells
not only through dendritic mGluR2/3, but also through axonal mGluR2/3.
acknowledgement: "We are grateful to Mr. Akira Uesugi for photographic help. This
work has been supported in part by research grants from the Ministry of Education,
Science and Culture of Japan. The costs of publication of this article were defrayed
in part\r\nby the payment of page charges. This article must therefore be hereby
marked “advertisement” in accordance with 18 USC Section 1734 solely to indicate
this fact. "
article_processing_charge: No
article_type: original
author:
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- first_name: Reiko
full_name: Ogawa Meguro, Reiko
last_name: Ogawa Meguro
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. Immunohistochemical
localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar
cortex. Neuron. 1994;13(1):55-66. doi:10.1016/0896-6273(94)90459-6
apa: Ohishi, H., Ogawa Meguro, R., Shigemoto, R., Kaneko, T., Nakanishi, S., &
Mizuno, N. (1994). Immunohistochemical localization of metabotropic glutamate
receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. Elsevier.
https://doi.org/10.1016/0896-6273(94)90459-6
chicago: Ohishi, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko,
Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic
Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron.
Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90459-6.
ieee: H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N.
Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors,
mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1. Elsevier,
pp. 55–66, 1994.
ista: Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. 1994.
Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and
mGluR3, in rat cerebellar cortex. Neuron. 13(1), 55–66.
mla: Ohishi, Hitoshi, et al. “Immunohistochemical Localization of Metabotropic Glutamate
Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron, vol. 13,
no. 1, Elsevier, 1994, pp. 55–66, doi:10.1016/0896-6273(94)90459-6.
short: H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno,
Neuron 13 (1994) 55–66.
date_created: 2018-12-11T11:58:22Z
date_published: 1994-07-01T00:00:00Z
date_updated: 2022-06-07T13:21:58Z
day: '01'
doi: 10.1016/0896-6273(94)90459-6
extern: '1'
external_id:
pmid:
- '8043281'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0896627394904596?via%3Dihub
month: '07'
oa_version: None
page: 55 - 66
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '4342'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Immunohistochemical localization of metabotropic glutamate receptors, mGluR2
and mGluR3, in rat cerebellar cortex
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1994'
...