---
_id: '4426'
abstract:
- lang: eng
text: We use linear hybrid automata to define linear approximations of the phase
portraits of nonlinear hybrid systems. The approximating automata can be analyzed
automatically using the symbolic model checker HyTech. We demonstrate the technique
through the study of predator-prey systems, where we compute population bounds
for both species. We also identify a class of nonlinear hybrid automata for which
linear phase-portrait approximations can be generated automatically.
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: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear
hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III:
Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961'
apa: 'Henzinger, T. A., & Wong Toi, H. (1996). Linear phase-portrait approximations
for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, & E. Sontag (Eds.),
Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388).
Springer. https://doi.org/10.1007/BFb0020961'
chicago: 'Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations
for Nonlinear Hybrid Systems.” In Hybrid Systems III: Verification and Control,
edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer,
1996. https://doi.org/10.1007/BFb0020961.'
ieee: 'T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for
nonlinear hybrid systems,” in Hybrid Systems III: Verification and Control,
1996, vol. 1066, pp. 377–388.'
ista: 'Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for
nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS,
vol. 1066, 377–388.'
mla: 'Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations
for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control,
edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.'
short: 'T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.),
Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.'
date_created: 2018-12-11T12:08:47Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T09:58:25Z
day: '01'
doi: 10.1007/BFb0020961
editor:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Thomas A
full_name: Henzinger, Thomas A
last_name: Henzinger
- first_name: Eduardo
full_name: Sontag, Eduardo
last_name: Sontag
extern: '1'
intvolume: ' 1066'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0020961
month: '01'
oa_version: None
page: 377 - 388
publication: 'Hybrid Systems III: Verification and Control'
publication_identifier:
isbn:
- '9783540611554'
publication_status: published
publisher: Springer
publist_id: '302'
quality_controlled: '1'
status: public
title: Linear phase-portrait approximations for nonlinear hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1066
year: '1996'
...
---
_id: '4427'
abstract:
- lang: eng
text: We model a steam-boiler control system using hybrid automata. We provide two
abstracted linear models of the nonlinear behavior of the boiler. For each model,
we define and verify a controller that maintains safe operation of the boiler.
The less abstract model permits the design of a more efficient controller. We
also demonstrate how the tool HyTech can be used to automatically synthesize control
parameter constraints that guarantee safety of the boiler.
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 grant 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: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for
a steam boiler. In: Formal Methods for Industrial Applications: Specifying
and Programming the Steam Boiler Control. Vol 1165. Springer; 1996:265-282.
doi:10.1007/BFb0027241'
apa: 'Henzinger, T. A., & Wong Toi, H. (1996). Using HyTech to synthesize control
parameters for a steam boiler. In Formal Methods for Industrial Applications:
Specifying and Programming the Steam Boiler Control (Vol. 1165, pp. 265–282).
Springer. https://doi.org/10.1007/BFb0027241'
chicago: 'Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize
Control Parameters for a Steam Boiler.” In Formal Methods for Industrial Applications:
Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer,
1996. https://doi.org/10.1007/BFb0027241.'
ieee: 'T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters
for a steam boiler,” in Formal Methods for Industrial Applications: Specifying
and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–282.'
ista: 'Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters
for a steam boiler. In: Formal Methods for Industrial Applications: Specifying
and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.'
mla: 'Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control
Parameters for a Steam Boiler.” Formal Methods for Industrial Applications:
Specifying and Programming the Steam Boiler Control, vol. 1165, Springer,
1996, pp. 265–82, doi:10.1007/BFb0027241.'
short: 'T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications:
Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.'
date_created: 2018-12-11T12:08:48Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T10:06:19Z
day: '01'
doi: 10.1007/BFb0027241
extern: '1'
intvolume: ' 1165'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0027241
month: '01'
oa_version: None
page: 265 - 282
publication: 'Formal Methods for Industrial Applications: Specifying and Programming
the Steam Boiler Control'
publication_identifier:
isbn:
- '9783540495666'
publication_status: published
publisher: Springer
publist_id: '303'
quality_controlled: '1'
status: public
title: Using HyTech to synthesize control parameters for a steam boiler
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1165
year: '1996'
...
---
_id: '4443'
abstract:
- lang: eng
text: "Three natural equivalence relations on the infinite state space of a hybrid
automaton are language equivalence, simulation equivalence, and bisimulation equivalence.
When one of these equivalence relations has a finite quotient, certain model checking
and controller synthesis problems are decidable. When bounds on the number of
equivalence classes are obtained, bounds on the running times of model checking
and synthesis algorithms follow as corollaries.\r\nWe characterize the time-abstract
versions of these equivalence relations on the state spaces of rectangular hybrid
automata (RHA), in which each continuous variable is a clock with bounded drift.
These automata are useful for modeling communications protocols with drifting
local clocks, and for the conservative approximation of more complex hybrid systems.
Of our two main results, one has positive implications for automatic verification,
and the other has negative implications. On the positive side, we find that the
(finite) language equivalence quotient for RHA is coarser than was previously
known by a multiplicative exponential factor. On the negative side, we show that
simulation equivalence for RHA is equality (which obviously has an infinite quotient).\r\nOur
main positive result is established by analyzing a subclass of timed automata,
called one-sided timed automata (OTA), for which the language equivalence quotient
is coarser than for the class of all timed automata. An exact characterization
of language equivalence for OTA requires a distinction between synchronous and
asynchronous definitions of (bi)simulation: if time actions are silent, then the
induced quotient for OTA is coarser than if time actions (but not their durations)
are visible."
acknowledgement: This research was supported in part by ONR Young Investigator award
N00014-95-1-0520, by NSF CAREER award CCR-9501708, by NSF grant CCR-9504469, by
Air Force Office of Scientific Research contract F49620-93-1-0056, by ARPA 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.
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
citation:
ama: 'Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata.
In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74'
apa: 'Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular
hybrid automata. In 7th International Conference on Concurrency Theory
(Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.1007/3-540-61604-7_74'
chicago: Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular
Hybrid Automata.” In 7th International Conference on Concurrency Theory,
1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_74.
ieee: T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,”
in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996,
vol. 1119, pp. 530–545.
ista: 'Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata.
7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory,
LNCS, vol. 1119, 530–545.'
mla: Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular
Hybrid Automata.” 7th International Conference on Concurrency Theory, vol.
1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
short: T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency
Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
conference:
end_date: 1996-08-29
location: Pisa, Italy
name: 'CONCUR: Concurrency Theory'
start_date: 1996-08-26
date_created: 2018-12-11T12:08:52Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T08:43:23Z
day: '01'
doi: 10.1007/3-540-61604-7_74
extern: '1'
intvolume: ' 1119'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-61604-7_74
month: '01'
oa_version: None
page: 530 - 545
publication: 7th International Conference on Concurrency Theory
publication_identifier:
isbn:
- '9783540616047'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '288'
quality_controlled: '1'
status: public
title: State equivalences for rectangular hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1119
year: '1996'
...
---
_id: '4495'
abstract:
- lang: eng
text: In temporal-logic model checking, we verify the correctness of a program with
respect to a desired behavior by checking whether a structure that models the
program satisfies a temporal-logic formula that specifies the behavior. The main
practical limitation of model checking is caused by the size of the state space
of the program, which grows exponentially with the number of concurrent components.
This problem, known as the state-explosion problem, becomes more difficult when
we consider real-time model checking, where the program and the specification
involve quantitative references to time. In particular, when use timed automata
to describe real-time programs and we specify timed behaviors in the logic TCTL,
a real-time extension of the temporal logic CTL with clock variables, then the
state space under consideration grows exponentially not only with the number of
concurrent components, but also with the number of clocks and the length of the
clock constraints used in the program and the specification. Two powerful methods
for coping with the state-explosion problem are on-the-fly and space-efficient
model checking. In on-the-fly model checking, we explore only the portion of the
state space of the program whose exploration is essential for determining the
satisfaction of the specification. In space-efficient model checking, we store
in memory the minimal information required, preferring to spend time on reconstructing
information rather than spend space on storing it. In this work we develop an
automata-theoretic approach to TCTL model checking that combines both methods.
We suggest, for the first time, a PSPACE on-the-fly model-checking algorithm for
TCTL.
acknowledgement: Supported in part by the ONR YIP award N00014-95-1-0520, by the NSF
CAREER award CCR-9501708, by the NSF grant 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: Orna
full_name: Kupferman, Orna
last_name: Kupferman
- first_name: Moshe
full_name: Vardi, Moshe
last_name: Vardi
citation:
ama: 'Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm
for real-time model checking. In: 7th International Conference on Concurrency
Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529.
doi:10.1007/3-540-61604-7_73'
apa: 'Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient
on-the-fly algorithm for real-time model checking. In 7th International Conference
on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73'
chicago: Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient
on-the-Fly Algorithm for Real-Time Model Checking.” In 7th International Conference
on Concurrency Theory, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_73.
ieee: T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly
algorithm for real-time model checking,” in 7th International Conference on
Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.
ista: 'Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm
for real-time model checking. 7th International Conference on Concurrency Theory.
CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.'
mla: Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time
Model Checking.” 7th International Conference on Concurrency Theory, vol.
1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
short: T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference
on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996,
pp. 514–529.
conference:
end_date: 1996-08-29
location: Pisa, Italy
name: 'CONCUR: Concurrency Theory'
start_date: 1996-08-26
date_created: 2018-12-11T12:09:08Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T08:21:20Z
day: '01'
doi: 10.1007/3-540-61604-7_73
extern: '1'
intvolume: ' 1119'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-61604-7_73
month: '01'
oa_version: None
page: 514 - 529
publication: 7th International Conference on Concurrency Theory
publication_identifier:
isbn:
- 978-3-540-70625-0
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '233'
quality_controlled: '1'
status: public
title: A space-efficient on-the-fly algorithm for real-time model checking
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1119
year: '1996'
...
---
_id: '4519'
abstract:
- lang: eng
text: We summarize several recent results about hybrid automata. Our goal is to
demonstrate that concepts from the theory of discrete concurrent systems can give
insights into partly continuous systems, and that methods for the verification
of finite-state systems can be used to analyze certain systems with uncountable
state spaces
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. The theory of hybrid automata. In: Proceedings 11th Annual
IEEE Symposium on Logic in Computer Science. IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342 '
apa: 'Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings
11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New
Brunswick, NJ, United States of America: IEEE. https://doi.org/10.1109/LICS.1996.561342 '
chicago: Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Proceedings
11th Annual IEEE Symposium on Logic in Computer Science, 278–92. IEEE, 1996.
https://doi.org/10.1109/LICS.1996.561342
.
ieee: T. A. Henzinger, “The theory of hybrid automata,” in Proceedings 11th Annual
IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, United States
of America, 1996, pp. 278–292.
ista: 'Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual
IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science,
278–292.'
mla: Henzinger, Thomas A. “The Theory of Hybrid Automata.” Proceedings 11th Annual
IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .
short: T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer
Science, IEEE, 1996, pp. 278–292.
conference:
end_date: 1996-07-30
location: New Brunswick, NJ, United States of America
name: 'LICS: Logic in Computer Science'
start_date: 1996-07-27
date_created: 2018-12-11T12:09:16Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2022-07-06T07:56:28Z
day: '01'
doi: '10.1109/LICS.1996.561342 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/561342
month: '01'
oa_version: None
page: 278 - 292
publication: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
publication_identifier:
issn:
- 1043-6871
publication_status: published
publisher: IEEE
publist_id: '213'
quality_controlled: '1'
status: public
title: The theory of hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1996'
...
---
_id: '2465'
abstract:
- lang: eng
text: Auxins play a crucial role in the regulation of spatial and temporal aspects
of plant growth and development1. As well as being required for the division,
enlargement and differentiation of individual plant cells, auxins also function
as signals between cells, tissues and organs. In this way they contribute to the
coordination and integration of growth and development in the whole plant and
to physiological responses of plants to environmental cues (63). At the individual
cell level, fast changes or pulses in hormone concentration may function to initiate
or to terminate a developmental process. In contrast, the maintenance of a stable
concentration of the hormone (homeostasis) may be necessary to maintain the progress
of a developmental event that has already been initiated.
article_processing_charge: No
author:
- first_name: David
full_name: Morris, David
last_name: Morris
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
citation:
ama: 'Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant
Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484.
doi:10.1007/978-1-4020-2686-7_21'
apa: 'Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P.
Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!
(pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21'
chicago: 'Morris, David, Jiří Friml, and Eva Zažímalová. “Auxin Transport.” In Plant
Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies,
451–84. Kluwer, 1995. https://doi.org/10.1007/978-1-4020-2686-7_21.'
ieee: 'D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones:
Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp.
451–484.'
ista: 'Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones:
Biosynthesis, Signal Transduction, Action! , 451–484.'
mla: 'Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis,
Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84,
doi:10.1007/978-1-4020-2686-7_21.'
short: 'D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones:
Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.'
date_created: 2018-12-11T11:57:49Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-29T14:45:32Z
day: '01'
doi: 10.1007/978-1-4020-2686-7_21
editor:
- first_name: Peter
full_name: Davies, Peter
last_name: Davies
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-1-4020-2686-7_21
month: '01'
oa_version: None
page: 451 - 484
publication: 'Plant Hormones: Biosynthesis, Signal Transduction, Action!'
publication_identifier:
isbn:
- 978-1-4020-2684-3
publication_status: published
publisher: Kluwer
publist_id: '4438'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin transport
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '2491'
abstract:
- lang: eng
text: The distribution of mRNAs for metabotropic glutamate receptors, mGluR4 and
mGluR7, which are highly sensitive for L-2-amino-4-phosphonobutyrate (L- AP4),
was examined in the central nervous system of the rat by in situ hybridization.
In general, the hybridization signals of mGluR7 mRNA were more widely distributed
than those of mGluR4 mRNA, and differential expression of mGluR4 mRNA and mGluR7
mRNA was clearly indicated in some brain regions. Intense or moderate expression
of mGluR4 mRNA was detected in the granule cells of the olfactory bulb and cerebellum,
whereas no significant expression of mGluR7 mRNA was found in these cells. In
other neurons or regions where mGluR7 mRNA was intensely or moderately expressed,
no significant expression of mGluR4 mRNA was observed. Such were the mitral and
tufted cells of the olfactory bulb; anterior olfactory nucleus; neocortical regions;
cingulate cortex; retrosplenial cortex; piriform cortex; perirhinal cortex; CA1;
CA3; granule cells of the dentate gyrus; superficial layers of the subicular cortex;
deep layers of the entorhinal, parasubicular, and presubicular cortices; ventral
part of the lateral septal nucleus; septohippocampal nucleus; triangular septal
nucleus; nuclei of the diagonal band; bed nucleus of the stria terminalis; ventral
pallidum; claustrum; amygdaloid nuclei other than the intercalated nuclei; preoptic
region; hypothalamic nuclei other than the medial mammillary nucleus; ventral
lateral geniculate nucleus; locus coeruleus; Purkinje cells; many nuclei of the
lower brainstem other than the superior colliculus, periaqueductal gray, interpeduncular
nucleus, pontine nuclei, and dorsal cochlear nucleus; and dorsal horn of the spinal
cord. Both mGluR4 mRNA and mGluR7 mRNA were moderately or intensely expressed
in the olfactory tubercle, superficial layers of the entorhinal cortex, CA4, septofimbrial
nucleus, intercalated nuclei of the amygdala, medial mammillary nucleus, many
thalamic nuclei, and pontine nuclei. Intense expression of both mGluR4 mRNA and
mGluR7 mRNA was further detected in the trigeminal ganglion and dorsal root ganglia,
whereas no significant expression of them was found in the pterygopalatine ganglion
and superior cervical ganglion. The results indicate differential roles of the
L-AP4-sensitive metabotropic glutamate receptors in the glutamatergic nervous
system.
acknowledgement: We are grateful to 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.
article_processing_charge: No
article_type: original
author:
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- 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: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the
mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors,
mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology.
1995;360(4):555-570. doi:10.1002/cne.903600402
apa: Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995).
Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic
glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative
Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903600402
chicago: Ohishi, Hitoshi, Chihiro Akazawa, Ryuichi Shigemoto, Shigetada Nakanishi,
and Noboru Mizuno. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive
Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal
of Comparative Neurology. Wiley-Blackwell, 1995. https://doi.org/10.1002/cne.903600402.
ieee: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distributions
of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate
receptors, mGluR4 and mGluR7, in the rat brain,” Journal of Comparative Neurology,
vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995.
ista: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. 1995. Distributions
of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate
receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology.
360(4), 555–570.
mla: Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive
Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal
of Comparative Neurology, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70,
doi:10.1002/cne.903600402.
short: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of
Comparative Neurology 360 (1995) 555–570.
date_created: 2018-12-11T11:57:59Z
date_published: 1995-10-02T00:00:00Z
date_updated: 2022-06-29T13:08:19Z
day: '02'
doi: 10.1002/cne.903600402
extern: '1'
external_id:
pmid:
- '8801249'
intvolume: ' 360'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://onlinelibrary.wiley.com/doi/abs/10.1002/cne.903600402
month: '10'
oa_version: None
page: 555 - 570
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4410'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic
glutamate receptors, mGluR4 and mGluR7, in the rat brain
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 360
year: '1995'
...
---
_id: '2556'
abstract:
- lang: eng
text: By using substance P receptor (SPR) immunofluorescence histochemistry combined
with fluorescent retrograde labeling, SPR-like immunoreactive (SPR-LI) neurons
sending their axons to the lateral parabrachial region were observed in the lumbar
spinal cord of the rat. After injection of Fluoro-Gold into the lateral parabrachial
region, retrogradely labeled neurons with SPR-LI were seen frequently in lamina
I and the lateral spinal nucleus, and occasionally in laminae IV and V, with a
predominantly contralateral distribution. Some of these neurons, especially those
in lamina I, may convey nociceptive information to the lateral parabrachial region.
acknowledgement: The authors are grateful for photographic help of Mr. Akira Uesugi.
This work was supported in part by Grants-in-Aid for Special Research on Priority
Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735
from the Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- 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
citation:
ama: Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing
substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat.
Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Spinoparabrachial
tract neurons showing substance P receptor-like immunoreactivity in the lumbar
spinal cord of the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(95)00022-I
chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Spinoparabrachial
Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar
Spinal Cord of the Rat.” Brain Research. Elsevier, 1995. https://doi.org/10.1016/0006-8993(95)00022-I.
ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract
neurons showing substance P receptor-like immunoreactivity in the lumbar spinal
cord of the rat,” Brain Research, vol. 674, no. 2. Elsevier, pp. 336–340,
1995.
ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons
showing substance P receptor-like immunoreactivity in the lumbar spinal cord of
the rat. Brain Research. 674(2), 336–340.
mla: Ding, Yu, et al. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like
Immunoreactivity in the Lumbar Spinal Cord of the Rat.” Brain Research,
vol. 674, no. 2, Elsevier, 1995, pp. 336–40, doi:10.1016/0006-8993(95)00022-I.
short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Brain Research 674 (1995) 336–340.
date_created: 2018-12-11T11:58:22Z
date_published: 1995-03-20T00:00:00Z
date_updated: 2022-06-29T08:32:01Z
day: '20'
doi: 10.1016/0006-8993(95)00022-I
extern: '1'
external_id:
pmid:
- '7796113'
intvolume: ' 674'
issue: '2'
language:
- iso: eng
main_file_link:
- url: sciencedirect.com/science/article/pii/000689939500022I?via%3Dihub
month: '03'
oa_version: None
page: 336 - 340
pmid: 1
publication: Brain Research
publication_identifier:
issn:
- 0006-8993
publication_status: published
publisher: Elsevier
publist_id: '4341'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity
in the lumbar spinal cord of the rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 674
year: '1995'
...
---
_id: '2558'
abstract:
- lang: eng
text: Brain areas involved in the genesis and control of daily rhythms receive a
prominent neural input that contains the neurotransmitter substance P (SP), a
peptide putatively involved in the synchronization of circadian rhythms by environmental
light. We investigated the localization of receptors to SP in the suprachiasmatic
nucleus of the hypothalamus (SCN) and in the intergeniculate leaflet of the thalamus
(IGL) of the rat and hamster using in situ hybridization histochemistry and immunohistochemistry.
Consistently with that previously described in the rat, a neuronal population
distributed along the lateral margin and at the dorso-latero-caudal aspect of
the hamster SCN expresses moderately the mRNA encoding the SP receptor. In both
rat and hamster, immunohistochemical data confirm the previous finding and reveal
an almost complete absence of SP receptors in the ventral part of the SCN, which
receives a direct projection from the retina. In the IGL of both species, numerous
neurons prominently express the mRNA encoding the SP receptor. The immunostaining
shows a high density of SP receptors on perikarya and dendrites throughout the
nucleus. A dense staining is also observed on individual cells and processes bordering
the lumen of blood vessels in the SCN and IGL.
article_processing_charge: No
article_type: original
author:
- first_name: Gérard
full_name: Mick, Gérard
last_name: Mick
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Kunio
full_name: Kitahama, Kunio
last_name: Kitahama
citation:
ama: Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central
neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus
de l’Academie des Sciences - Series III. 1995;318(2):209-217.
apa: Mick, G., Shigemoto, R., & Kitahama, K. (1995). Localization of substance
P receptors in central neural structures controlling daily rhythms in nocturnal
rodents. Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier
Villars Editeur.
chicago: Mick, Gérard, Ryuichi Shigemoto, and Kunio Kitahama. “Localization of Substance
P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal
Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier
Villars Editeur, 1995.
ieee: G. Mick, R. Shigemoto, and K. Kitahama, “Localization of substance P receptors
in central neural structures controlling daily rhythms in nocturnal rodents,”
Comptes Rendus de l’Academie des Sciences - Series III, vol. 318, no. 2.
Gauthier Villars Editeur, pp. 209–217, 1995.
ista: Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors
in central neural structures controlling daily rhythms in nocturnal rodents. Comptes
Rendus de l’Academie des Sciences - Series III. 318(2), 209–217.
mla: Mick, Gérard, et al. “Localization of Substance P Receptors in Central Neural
Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus
de l’Academie Des Sciences - Series III, vol. 318, no. 2, Gauthier Villars
Editeur, 1995, pp. 209–17.
short: G. Mick, R. Shigemoto, K. Kitahama, Comptes Rendus de l’Academie Des Sciences
- Series III 318 (1995) 209–217.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-02-01T00:00:00Z
date_updated: 2022-06-29T08:18:48Z
day: '01'
extern: '1'
external_id:
pmid:
- '7757814 '
intvolume: ' 318'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://pubmed.ncbi.nlm.nih.gov/7757814/
month: '02'
oa_version: None
page: 209 - 217
pmid: 1
publication: Comptes Rendus de l'Academie des Sciences - Series III
publication_identifier:
issn:
- 0764-4469
publication_status: published
publisher: Gauthier Villars Editeur
publist_id: '4340'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Localization of substance P receptors in central neural structures controlling
daily rhythms in nocturnal rodents
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 318
year: '1995'
...
---
_id: '2559'
abstract:
- lang: eng
text: Taking advantage of the restricted expression of metabotropic glutamate receptor
subtype 6 (mGIuR6) in retinal ON bipolar cells, we generated knockout mice lacking
mGIuR6 expression. The homozygous mutant mice showed a loss of ON responses but
unchanged OFF responses to light. The mutant mice displayed no obvious changes
in retinal cell organization nor in the projection of optic fibers to the brain.
Furthermore, the mGIuR6-deficient mice showed visual behavioral responses to light
stimulation as examined by shuttle box avoidance behavior experiments using light
exposure as a conditioned stimulus. The results demonstrate that mGIuR6 is essential
in synaptic transmission to the ON bipolar cell and that the OFF response provides
an important means for transmitting visual information.
acknowledgement: We thank Drs. N. Mizuno, M. Iso, M. Tachibana, A. Kaneko, M. Tessier-Lavigne,
and T. Hensch for useful advice and A. Uesugi for photographic assistance. This
work is supported by grants in aid for specially promoted research, for scientific
research on priority areas, and for scientific research (A) from the Ministry of
Education, Science, and Culture in Japan and by grants from the Ministry of Health
and Welfare of Japan, the Sankyo Foundation, and the Senri Life Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Masayuki
full_name: Masu, Masayuki
last_name: Masu
- first_name: Hideki
full_name: Iwakabe, Hideki
last_name: Iwakabe
- first_name: Yoshiaki
full_name: Tagawa, Yoshiaki
last_name: Tagawa
- first_name: Tomomitsu
full_name: Miyoshi, Tomomitsu
last_name: Miyoshi
- first_name: Masayuki
full_name: Yamashita, Masayuki
last_name: Yamashita
- first_name: Yutaka
full_name: Fukuda, Yutaka
last_name: Fukuda
- first_name: Hitoshi
full_name: Sasaki, Hitoshi
last_name: Sasaki
- first_name: Kano
full_name: Hiroi, Kano
last_name: Hiroi
- first_name: Yasuhisa
full_name: Nakamura, Yasuhisa
last_name: Nakamura
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- first_name: Kenji
full_name: Nakamura, Kenji
last_name: Nakamura
- first_name: Kazuki
full_name: Nakao, Kazuki
last_name: Nakao
- first_name: Motoya
full_name: Katsuki, Motoya
last_name: Katsuki
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in
visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765.
doi:10.1016/0092-8674(95)90354-2
apa: Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y.,
… Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission
by targeted disruption of the mGIuR6 gene. Cell. Cell Press. https://doi.org/10.1016/0092-8674(95)90354-2
chicago: Masu, Masayuki, Hideki Iwakabe, Yoshiaki Tagawa, Tomomitsu Miyoshi, Masayuki
Yamashita, Yutaka Fukuda, Hitoshi Sasaki, et al. “Specific Deficit of the ON Response
in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell.
Cell Press, 1995. https://doi.org/10.1016/0092-8674(95)90354-2.
ieee: M. Masu et al., “Specific deficit of the ON response in visual transmission
by targeted disruption of the mGIuR6 gene,” Cell, vol. 80, no. 5. Cell
Press, pp. 757–765, 1995.
ista: Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi
K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi
S. 1995. Specific deficit of the ON response in visual transmission by targeted
disruption of the mGIuR6 gene. Cell. 80(5), 757–765.
mla: Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission
by Targeted Disruption of the MGIuR6 Gene.” Cell, vol. 80, no. 5, Cell
Press, 1995, pp. 757–65, doi:10.1016/0092-8674(95)90354-2.
short: M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki,
K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki,
S. Nakanishi, Cell 80 (1995) 757–765.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-02-10T00:00:00Z
date_updated: 2022-06-28T13:27:50Z
day: '10'
doi: 10.1016/0092-8674(95)90354-2
extern: '1'
external_id:
pmid:
- '7889569'
intvolume: ' 80'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/0092867495903542
month: '02'
oa: 1
oa_version: Published Version
page: 757 - 765
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Cell Press
publist_id: '4339'
quality_controlled: '1'
status: public
title: Specific deficit of the ON response in visual transmission by targeted disruption
of the mGIuR6 gene
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 80
year: '1995'
...
---
_id: '2560'
abstract:
- lang: eng
text: Chemical irritation of the urinary bladder with formalin in the rat induced
c-fos protein-like immunoreactivity in more than 80% of substance P receptor-like
immunoreactive (SPR-LI) neurons of the dorsal commissural nucleus, sacral parasympathetic
nucleus and lamina I in the 6th lumbar and 1st sacral cord segments. These neurons
with SPR-LI may receive noxious information from the urinary bladder through the
primary afferent fibers with substance P.
article_processing_charge: No
article_type: original
author:
- first_name: Yan
full_name: Lü, Yan
last_name: Lü
- first_name: Shan
full_name: Jin, Shan
last_name: Jin
- first_name: Tian
full_name: Xu, Tian
last_name: Xu
- first_name: Bing
full_name: Qin, Bing
last_name: Qin
- first_name: Ji
full_name: Li, Ji
last_name: Li
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- 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
citation:
ama: 'Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like
immunoreactive neurons in response to noxious stimuli on the urinary bladder:
an observation in the lumbosacral cord segments of the rat. Neuroscience Letters.
1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5'
apa: 'Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). Expression
of c-fos protein in substance P receptor-like immunoreactive neurons in response
to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord
segments of the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)11991-5'
chicago: 'Lü, Yan, Shan Jin, Tian Xu, Bing Qin, Ji Li, Yu Ding, Ryuichi Shigemoto,
and Noboru Mizuno. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive
Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation
in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters. Elsevier,
1995. https://doi.org/10.1016/0304-3940(95)11991-5.'
ieee: 'Y. Lü et al., “Expression of c-fos protein in substance P receptor-like
immunoreactive neurons in response to noxious stimuli on the urinary bladder:
an observation in the lumbosacral cord segments of the rat,” Neuroscience Letters,
vol. 198, no. 2. Elsevier, pp. 139–142, 1995.'
ista: 'Lü Y, Jin S, Xu T, Qin B, Li J, Ding Y, Shigemoto R, Mizuno N. 1995. Expression
of c-fos protein in substance P receptor-like immunoreactive neurons in response
to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord
segments of the rat. Neuroscience Letters. 198(2), 139–142.'
mla: 'Lü, Yan, et al. “Expression of C-Fos Protein in Substance P Receptor-like
Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder:
An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters,
vol. 198, no. 2, Elsevier, 1995, pp. 139–42, doi:10.1016/0304-3940(95)11991-5.'
short: Y. Lü, S. Jin, T. Xu, B. Qin, J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Neuroscience
Letters 198 (1995) 139–142.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-09-29T00:00:00Z
date_updated: 2022-06-28T12:54:14Z
day: '29'
doi: 10.1016/0304-3940(95)11991-5
extern: '1'
external_id:
pmid:
- '8592640'
intvolume: ' 198'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394095119915?via%3Dihub
month: '09'
oa_version: None
page: 139 - 142
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4338'
quality_controlled: '1'
status: public
title: 'Expression of c-fos protein in substance P receptor-like immunoreactive neurons
in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral
cord segments of the rat'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 198
year: '1995'
...
---
_id: '2561'
abstract:
- lang: eng
text: An antibody which recognizes specifically a metabotropic glutamate receptor,
mGluR7, was produced by using a trpE fusion protein containing a C-terminal sequence
of rat mGluR7. Neuropil in laminae I and II of the dorsal horn of the rat, as
well as many neuronal cell bodies in the dorsal root ganglion, showed mGluR7-like
immunoreactivity; the immunoreactivity in neuropil was seen in axon terminals,
which were filled with round synaptic vesicles and constituted axodendritic and
axosomatic asymmetric synapses. The mGluR7-like immunoreactivity in laminae I
and II in the dorsal horn was reduced after dorsal rhizotomy. The results indicate
that some axon terminals of the primary afferent fibers to laminae I and II of
the dorsal horn are provided with mGluR7.
acknowledgement: We are grateful to Mr. Akira Uesugi for photographic help.
article_processing_charge: No
article_type: original
author:
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- first_name: Sakashi
full_name: Nomura, Sakashi
last_name: Nomura
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Eiki
full_name: Wada, Eiki
last_name: Wada
- first_name: Ayae
full_name: Kinoshita, Ayae
last_name: Kinoshita
- first_name: Jin
full_name: Li, Jin
last_name: Li
- first_name: Akio
full_name: Neki, Akio
last_name: Neki
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: 'Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic
glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical
study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9'
apa: 'Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A.,
… Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor,
mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat.
Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12207-9'
chicago: 'Ohishi, Hitoshi, Sakashi Nomura, Yu Ding, Ryuichi Shigemoto, Eiki Wada,
Ayae Kinoshita, Jin Li, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic
Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent
Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters.
Elsevier, 1995. https://doi.org/10.1016/0304-3940(95)12207-9.'
ieee: 'H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate
receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study
in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88,
1995.'
ista: 'Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki
A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate
receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study
in the rat. Neuroscience Letters. 202(1–2), 85–88.'
mla: 'Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate
Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study
in the Rat.” Neuroscience Letters, vol. 202, no. 1–2, Elsevier, 1995, pp.
85–88, doi:10.1016/0304-3940(95)12207-9.'
short: H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li,
A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88.
date_created: 2018-12-11T11:58:24Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-28T12:44:57Z
day: '01'
doi: 10.1016/0304-3940(95)12207-9
extern: '1'
external_id:
pmid:
- '8787837'
intvolume: ' 202'
issue: 1-2
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394095122079?via%3Dihub
month: '12'
oa_version: None
page: 85 - 88
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4337'
quality_controlled: '1'
status: public
title: 'Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in
the primary afferent neurons: An immunohistochemical study in the rat'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 202
year: '1995'
...
---
_id: '2563'
abstract:
- lang: eng
text: By means of substance P receptor (SPR) immunofluorescence histochemistry combined
with Fluoro-Gold fluorescent retrograde labeling, SPR-like immunoreactive neurons
in the caudal subnucleus of the spinal trigeminal nucleus of the rat were observed
to send their axons to the nucleus of Kolliker-Fuse and ventrolateral part of
the lateral parabrachial nucleus bilaterally with a clear ipsilateral dominance.
These neurons were distributed mainly in lamina I, and additionally in lamina
III.
acknowledgement: 'The authors are grateful for photographic help of Ms. Miao-Li Zhang
and Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special
Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific
Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. '
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- 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
citation:
ama: Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons
showing substance P receptor-like immunoreactivity in the rat. Neuroscience
Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R
apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Trigeminoparabrachial
projection neurons showing substance P receptor-like immunoreactivity in the rat.
Neuroscience Research. Elsevier. https://doi.org/10.1016/0168-0102(95)00961-R
chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Trigeminoparabrachial
Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.”
Neuroscience Research. Elsevier, 1995. https://doi.org/10.1016/0168-0102(95)00961-R.
ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection
neurons showing substance P receptor-like immunoreactivity in the rat,” Neuroscience
Research, vol. 23, no. 4. Elsevier, pp. 415–418, 1995.
ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Trigeminoparabrachial projection
neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience
Research. 23(4), 415–418.
mla: Ding, Yu, et al. “Trigeminoparabrachial Projection Neurons Showing Substance
P Receptor-like Immunoreactivity in the Rat.” Neuroscience Research, vol.
23, no. 4, Elsevier, 1995, pp. 415–18, doi:10.1016/0168-0102(95)00961-R.
short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Neuroscience Research 23 (1995)
415–418.
date_created: 2018-12-11T11:58:24Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-28T09:50:42Z
day: '01'
doi: 10.1016/0168-0102(95)00961-R
extern: '1'
external_id:
pmid:
- '8602281'
intvolume: ' 23'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/016801029500961R?via%3Dihub
month: '11'
oa_version: None
page: 415 - 418
pmid: 1
publication: Neuroscience Research
publication_identifier:
issn:
- 0168-0102
publication_status: published
publisher: Elsevier
publist_id: '4336'
quality_controlled: '1'
status: public
title: Trigeminoparabrachial projection neurons showing substance P receptor-like
immunoreactivity in the rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 23
year: '1995'
...
---
_id: '2712'
abstract:
- lang: eng
text: We study the generalizations of the well-known Lieb-Thirring inequality for
the magnetic Schrödinger operator with a nonconstant magnetic field. We use stochastic
methods to prove estimates on the moments of the negative eigenvalues.
acknowledgement: Work supported by the NSF grant PHY90-19433 A02, by the Alfred Sloan
Foundation dissertation Fellowship and by the Erwin Schrödinger Institute for Mathematical
Physics in Vienna.
alternative_title:
- 'Operator Theory: Advances and Applications'
article_processing_charge: No
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: 'Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals.
In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13'
apa: 'Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals (Vol. 78, pp. 127–132). Presented at the International Conference on
Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser.
https://doi.org/10.1007/978-3-0348-9092-2_13'
chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory
Integrals,” 78:127–32. Birkhäuser, 1995. https://doi.org/10.1007/978-3-0348-9092-2_13.
ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals,” presented at the International Conference on Partial Differential
Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
ista: 'Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals. International Conference on Partial Differential Operators and Mathematical
Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.'
mla: Erdös, László. Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory
Integrals. Vol. 78, Birkhäuser, 1995, pp. 127–32, doi:10.1007/978-3-0348-9092-2_13.
short: L. Erdös, in:, Birkhäuser, 1995, pp. 127–132.
conference:
end_date: 1995-07-09
location: Holzhau, Germany
name: International Conference on Partial Differential Operators and Mathematical
Physics
start_date: 1995-07-03
date_created: 2018-12-11T11:59:12Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-28T09:31:20Z
day: '01'
doi: 10.1007/978-3-0348-9092-2_13
extern: '1'
intvolume: ' 78'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-0348-9092-2_13
month: '01'
oa_version: None
page: 127 - 132
publication_status: published
publisher: Birkhäuser
publist_id: '4184'
quality_controlled: '1'
status: public
title: Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 78
year: '1995'
...
---
_id: '2724'
abstract:
- lang: eng
text: We study the generalizations of the well-known Lieb-Thirring inequality for
the magnetic Schrödinger operator with nonconstant magnetic field. Our main result
is the naturally expected magnetic Lieb-Thirring estimate on the moments of the
negative eigenvalues for a certain class of magnetic fields (including even some
unbounded ones). We develop a localization technique in path space of the stochastic
Feynman-Kac representation of the heat kernel which effectively estimates the
oscillatory effect due to the magnetic phase factor.
article_processing_charge: No
article_type: original
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: Erdös L. Magnetic Lieb-Thirring inequalities. Communications in Mathematical
Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
apa: Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in
Mathematical Physics. Springer. https://doi.org/10.1007/BF02099152
chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications
in Mathematical Physics. Springer, 1995. https://doi.org/10.1007/BF02099152.
ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical
Physics, vol. 170, no. 3. Springer, pp. 629–668, 1995.
ista: Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical
Physics. 170(3), 629–668.
mla: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in
Mathematical Physics, vol. 170, no. 3, Springer, 1995, pp. 629–68, doi:10.1007/BF02099152.
short: L. Erdös, Communications in Mathematical Physics 170 (1995) 629–668.
date_created: 2018-12-11T11:59:16Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-28T09:19:36Z
day: '01'
doi: 10.1007/BF02099152
extern: '1'
intvolume: ' 170'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02099152
month: '06'
oa_version: None
page: 629 - 668
publication: Communications in Mathematical Physics
publication_identifier:
issn:
- 0010-3616
publication_status: published
publisher: Springer
publist_id: '4168'
quality_controlled: '1'
status: public
title: Magnetic Lieb-Thirring inequalities
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 170
year: '1995'
...
---
_id: '11677'
abstract:
- lang: eng
text: "We present an algorithm for maintaining the biconnected components of a graph
during a sequence of edge insertions and deletions. It requires linear storage
and preprocessing time. The amortized running time for insertions and for deletions
isO(m 2/3 ), wherem is the number of edges in the graph. Any query of the form
‘Are the verticesu andv biconnected?’ can be answered in timeO(1). This is the
first sublinear algorithm for this problem. We can also output all articulation
points separating any two vertices efficiently.\r\n\r\nIf the input is a plane
graph, the amortized running time for insertions and deletions drops toO(√n logn)
and the query time isO(log2 n), wheren is the number of vertices in the graph.
The best previously known solution takes timeO(n 2/3 ) per update or query."
article_processing_charge: No
article_type: original
author:
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
ama: Henzinger MH. Fully dynamic biconnectivity in graphs. Algorithmica.
1995;13(6):503-538. doi:10.1007/bf01189067
apa: Henzinger, M. H. (1995). Fully dynamic biconnectivity in graphs. Algorithmica.
Springer Nature. https://doi.org/10.1007/bf01189067
chicago: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica.
Springer Nature, 1995. https://doi.org/10.1007/bf01189067.
ieee: M. H. Henzinger, “Fully dynamic biconnectivity in graphs,” Algorithmica,
vol. 13, no. 6. Springer Nature, pp. 503–538, 1995.
ista: Henzinger MH. 1995. Fully dynamic biconnectivity in graphs. Algorithmica.
13(6), 503–538.
mla: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica,
vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:10.1007/bf01189067.
short: M.H. Henzinger, Algorithmica 13 (1995) 503–538.
date_created: 2022-07-27T14:50:46Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-09-12T09:00:14Z
day: '01'
doi: 10.1007/bf01189067
extern: '1'
intvolume: ' 13'
issue: '6'
language:
- iso: eng
month: '06'
oa_version: None
page: 503-538
publication: Algorithmica
publication_identifier:
eissn:
- 1432-0541
issn:
- 0178-4617
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully dynamic biconnectivity in graphs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '1995'
...
---
_id: '11684'
abstract:
- lang: eng
text: 'This paper presents an algorithm for the fully dynamic biconnectivity problem
whose running time is exponentially faster than all previously known solutions.
It is the first dynamic algorithm that answers biconnectivity queries in time
O(log/sup 2/n) in a n-node graph and can be updated after an edge insertion or
deletion in polylogarithmic time. Our algorithm is a Las-Vegas style randomized
algorithm with the update time amortized update time O(log/sup 4/n). Only recently
the best deterministic result for this problem was improved to O(/spl radic/nlog/sup
2/n). We also give the first fully dynamic and a novel deletions-only transitive
closure (i.e. directed connectivity) algorithms. These are randomized Monte Carlo
algorithms. Let n be the number of nodes in the graph and let m/spl circ/ be the
average number of edges in the graph during the whole update sequence: The fully
dynamic algorithms achieve (1) query time O(n/logn) and update time O(m/spl circ//spl
radic/nlog/sup 2/n+n); or (2) query time O(n/logn) and update time O(nm/spl circ//sup
/spl mu/-1/)log/sup 2/n=O(nm/spl circ//sup 0.58/log/sup 2/n), where /spl mu/ is
the exponent for boolean matrix multiplication (currently /spl mu/=2.38). The
deletions-only algorithm answers queries in time O(n/logn). Its amortized update
time is O(nlog/sup 2/n).'
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: V.
full_name: King, V.
last_name: King
citation:
ama: 'Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure.
In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute
of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668'
apa: 'Henzinger, M. H., & King, V. (1995). Fully dynamic biconnectivity and
transitive closure. In Proceedings of IEEE 36th Annual Foundations of Computer
Science (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical
and Electronics Engineers. https://doi.org/10.1109/SFCS.1995.492668'
chicago: Henzinger, Monika H, and V. King. “Fully Dynamic Biconnectivity and Transitive
Closure.” In Proceedings of IEEE 36th Annual Foundations of Computer Science,
664–72. Institute of Electrical and Electronics Engineers, 1995. https://doi.org/10.1109/SFCS.1995.492668.
ieee: M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive
closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science,
Milwaukee, WI, United States, 1995, pp. 664–672.
ista: Henzinger MH, King V. 1995. Fully dynamic biconnectivity and transitive closure.
Proceedings of IEEE 36th Annual Foundations of Computer Science. Foundations of
Computer Science, 664–672.
mla: Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive
Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science,
Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668.
short: M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations
of Computer Science, Institute of Electrical and Electronics Engineers, 1995,
pp. 664–672.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States
name: Foundations of Computer Science
start_date: 1995-10-23
date_created: 2022-07-28T11:28:13Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2023-02-09T11:35:17Z
day: '01'
doi: 10.1109/SFCS.1995.492668
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 664-672
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
isbn:
- 0-8186-7183-1
issn:
- 0272-5428
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully dynamic biconnectivity and transitive closure
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '1943'
abstract:
- lang: eng
text: Transhydrogenase from beef-heart mitochondria was solubilised with Triton
X-100 and purified by column chromatography. The detergent-dispersed enzyme catalysed
the reduction of acetylpyridine adenine dinucleotide (AcPdAD+) by NADH, but only
in the presence of NADP+. Experiments showed that this reaction was cyclic; NADP(H),
whilst remaining bound to the enzyme, was alternately reduced by NADH and oxidised
by AcPdAD+. A period of incubation of the enzyme with NADPH at pH 6.0 led to inhibition
of the simple transhydrogenation reaction between AcPdAD+ and NADPH. However,
after such treatment, transhydrogenase acquired the ability to catalyse the (NADPH-dependent)
reduction of AcPdAD+ by NADH. It is suggested that this is a similar cycle to
the one described above. Evidently, the binding affinity for NADP+ increases as
a consequence of the inhibition process resulting from prolonged incubation with
NADPH. The pH dependences of simple and cyclic transhydrogenation reactions are
described. Though more complex than those in Escherichia coli transhydrogenase,
they are consistent with the view [Hutton, M., Day, J.M., Bizouarn, T. and Jackson,
J.B. (1994) Eur. J. Biochem. 219, 1041–10511] that, also in the mitochondrial
enzyme, binding the release of NADP+ and NADP are accompanied by binding and release
of a proton. The enzyme was successfully reconstituted into liposomes by a cholate
dilution procedure. The proteoliposomes catalysed cyclic NADPH-dependent reduction
of AcPdAD+ by NADH only when they were tightly coupled. However, they catalysed
cyclic NADP+-dependent reduction of AcPdAD+ by NADH only when they were uncoupled
eg. by addition of carbonylcyanide-p-trifluoromethoxyphenyl hydrazone. These observations
are evidence that the proton binding and release which accompany NADP+ binding
and release, respectively, take place on the inside of the vesicle, and that they
are components of the electrogenic processes of the enzyme.
acknowledgement: 'L.A.S. is grateful to the Wellcome Trust for a Research Fellowship.
Support from the Biotechnology and Biological Sciences Research Council is also
acknowledged. We thank our colleagues. Tania Bizouarn, Mike Hutton and Nick Cotton,
for advice and valuable discussion. '
article_processing_charge: No
article_type: original
author:
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
- first_name: Baz
full_name: Jackson, Baz
last_name: Jackson
citation:
ama: Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and
reconstituted transhydrogenase from beef heart mitochondria; implications for
the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics.
1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2
apa: Sazanov, L. A., & Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation. Biochimica et Biophysica Acta -
Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00096-2
chicago: Sazanov, Leonid A, and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed
and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications
for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta -
Bioenergetics. Elsevier, 1995. https://doi.org/10.1016/0005-2728(95)00096-2.
ieee: L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation,” Biochimica et Biophysica Acta -
Bioenergetics, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995.
ista: Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics.
1231(3), 304–312.
mla: Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed
and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications
for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta -
Bioenergetics, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:10.1016/0005-2728(95)00096-2.
short: L.A. Sazanov, B. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1231
(1995) 304–312.
date_created: 2018-12-11T11:54:50Z
date_published: 1995-10-10T00:00:00Z
date_updated: 2022-06-29T15:04:47Z
day: '10'
doi: 10.1016/0005-2728(95)00096-2
extern: '1'
external_id:
pmid:
- '7578218'
intvolume: ' 1231'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/0005272895000962?via%3Dihub
month: '10'
oa: 1
oa_version: Published Version
page: 304 - 312
pmid: 1
publication: Biochimica et Biophysica Acta - Bioenergetics
publication_identifier:
issn:
- 0005-2728
publication_status: published
publisher: Elsevier
publist_id: '5142'
quality_controlled: '1'
status: public
title: Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase
from beef heart mitochondria; implications for the mechanism of proton translocation
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1231
year: '1995'
...
---
_id: '4587'
abstract:
- lang: eng
text: We argue that the standard constraints on liveness conditions in nonblocking
trace models—machine closure for closed systems, and receptiveness for open systems—are
unnecessarily weak and complex, and that liveness should, instead, be specified
by augmenting transition systems with acceptance conditions that satisfy a locality
constraint. First, locality implies machine closure and receptiveness, and thus
permits the composition and modular verification of live transition systems. Second,
while machine closure and receptiveness are based on infinite games, locality
is based on repeated finite games, and thus easier to check. Third, no expressive
power is lost by the restriction to local liveness conditions. We illustrate the
appeal of local liveness using the model of Fair Reactive Systems, a nonblocking
trace model of communicating processes.
acknowledgement: 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: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- 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: 'Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive
systems. In: 7th International Conference on Computer Aided Verification.
Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49'
apa: 'Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional
modeling of fair reactive systems. In 7th International Conference on Computer
Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49'
chicago: Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional
Modeling of Fair Reactive Systems.” In 7th International Conference on Computer
Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
ieee: R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of
fair reactive systems,” in 7th International Conference on Computer Aided Verification,
Liege, Belgium, 1995, vol. 939, pp. 166–179.
ista: 'Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of
fair reactive systems. 7th International Conference on Computer Aided Verification.
CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.'
mla: Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling
of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification,
vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
short: R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided
Verification, Springer, 1995, pp. 166–179.
conference:
end_date: 1995-07-05
location: Liege, Belgium
name: 'CAV: Computer Aided Verification'
start_date: 1995-07-03
date_created: 2018-12-11T12:09:37Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:05:04Z
day: '01'
doi: 10.1007/3-540-60045-0_49
extern: '1'
intvolume: ' 939'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60045-0_49
month: '01'
oa_version: None
page: 166 - 179
publication: 7th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- 978-3-540-60045-9
publication_status: published
publisher: Springer
publist_id: '120'
quality_controlled: '1'
status: public
title: Local liveness for compositional modeling of fair reactive systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 939
year: '1995'
...
---
_id: '4613'
abstract:
- lang: eng
text: We present a general framework for the formal specification and algorithmic
analysis of hybrid systems. A hybrid system consists of a discrete program with
an analog environment. We model hybrid systems as finite automata equipped with
variables that evolve continuously with time according to dynamical laws. For
verification purposes, we restrict ourselves to linear hybrid systems, where all
variables follow piecewise-linear trajectories. We provide decidability and undecidability
results for classes of linear hybrid systems, and we show that standard program-analysis
techniques can be adapted to linear hybrid systems. In particular, we consider
symbolic model-checking and minimization procedures that are based on the reachability
analysis of an infinite state space. The procedures iteratively compute state
sets that are definable as unions of convex polyhedra in multidimensional real
space. We also present approximation techniques for dealing with systems for which
the iterative procedures do not converge.
article_processing_charge: No
article_type: original
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- first_name: Nicolas
full_name: Halbwachs, Nicolas
last_name: Halbwachs
- 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: Xavier
full_name: Nicollin, Xavier
last_name: Nicollin
- first_name: Alfredo
full_name: Olivero, Alfredo
last_name: Olivero
- first_name: Joseph
full_name: Sifakis, Joseph
last_name: Sifakis
- first_name: Sergio
full_name: Yovine, Sergio
last_name: Yovine
citation:
ama: Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid
systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
apa: Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin,
X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical
Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T
chicago: Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger,
Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The
Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science.
Elsevier, 1995. https://doi.org/10.1016/0304-3975(94)00202-T.
ieee: R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical
Computer Science, vol. 138, no. 1. Elsevier, pp. 3–34, 1995.
ista: Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero
A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical
Computer Science. 138(1), 3–34.
mla: Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical
Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
short: R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin,
A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
date_created: 2018-12-11T12:09:45Z
date_published: 1995-02-06T00:00:00Z
date_updated: 2022-06-09T13:40:48Z
day: '06'
doi: 10.1016/0304-3975(94)00202-T
extern: '1'
intvolume: ' 138'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/030439759400202T?via%3Dihub
month: '02'
oa_version: None
page: 3 - 34
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
publisher: Elsevier
publist_id: '94'
quality_controlled: '1'
status: public
title: The algorithmic analysis of hybrid systems
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 138
year: '1995'
...