---
_id: '4276'
article_processing_charge: No
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Barton NH. Population genetics of multiple loci. Genetics Research.
2000;75(3):371-373. doi:10.1017/S0016672300239220
apa: Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research.
Cambridge University Press. https://doi.org/10.1017/S0016672300239220
chicago: Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetics
Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672300239220.
ieee: N. H. Barton, “Population genetics of multiple loci,” Genetics Research,
vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
ista: Barton NH. 2000. Population genetics of multiple loci. Genetics Research.
75(3), 371–373.
mla: Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetics Research,
vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73, doi:10.1017/S0016672300239220.
short: N.H. Barton, Genetics Research 75 (2000) 371–373.
date_created: 2018-12-11T12:07:59Z
date_published: 2000-06-01T00:00:00Z
date_updated: 2023-04-18T15:01:01Z
day: '01'
doi: 10.1017/S0016672300239220
extern: '1'
intvolume: ' 75'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/population-genetics-of-multiple-loci-by-f-b-christiansen-wiley-series-in-mathematical-and-computational-biology-ed-s-levin-john-wiley-sons-1999-isbn-0-471-979791-365-pages-price-80-hardback/9F9E954479B9FB87B0A07250AD6AAD9C
month: '06'
oa_version: None
page: 371 - 373
publication: Genetics Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '1814'
quality_controlled: '1'
status: public
title: Population genetics of multiple loci
type: review
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 75
year: '2000'
...
---
_id: '4433'
abstract:
- lang: eng
text: "Bisimulations enjoy numerous applications in the analysis of labeled transition
systems. Many of these applications are based on two central observations: first,
bisimilar systems satisfy the same branching-time properties; second, bisimilarity
can be checked efficiently for finite-state systems. The local character of bisimulation,
however, makes it difficult to address liveness concerns. Indeed, the definitions
of fair bisimulation that have been proposed in the literature sacrifice locality,
and with it, also efficient checkability. We put forward a new definition of fair
bisimulation which does not suffer from this drawback.\r\nThe bisimilarity of
two systems can be viewed in terms of a game played between a protagonist and
an adversary. In each step of the infinite bisimulation game, the adversary chooses
one system, makes a move, and the protagonist matches it with a move of the other
system. Consistent with this game-based view, we call two fair transition systems
bisimilar if in the bisimulation game, the infinite path produced in the first
system is fair iff the infinite path produced in the second system is fair.\r\nWe
show that this notion of fair bisimulation enjoys the following properties. First,
fairly bisimilar systems satisfy the same formulas of the logics Fair-AFMC (the
fair alternation-free μ-calculus) and Fair-CTL*. Therefore, fair bisimulations
can serve as property-preserving abstractions for these logics and weaker ones,
such as Fair-CTL and LTL. Indeed, Fair-AFMC provides an exact logical characterization
of fair bisimilarity. Second, it can be checked in time polynomial in the number
of states if two systems are fairly bisimilar. This is in stark contrast to all
trace-based equivalences, which are traditionally used for addressing liveness
but require exponential time for checking."
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660, the DARPA (MARCO) grant
MDA972-99-1-0001, and the NSF CAREER award CCR-9501708.
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: Sriram
full_name: Rajamani, Sriram
last_name: Rajamani
citation:
ama: 'Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21'
apa: 'Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings
of the 6th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer.
https://doi.org/10.1007/3-540-46419-0_21'
chicago: Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation.” In Proceedings
of the 6th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21.
ieee: T. A. Henzinger and S. Rajamani, “Fair bisimulation,” in Proceedings of
the 6th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 299–314.
ista: 'Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
LNCS, vol. 1785, 299–314.'
mla: Henzinger, Thomas A., and Sriram Rajamani. “Fair Bisimulation.” Proceedings
of the 6th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
short: T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, Springer,
2000, pp. 299–314.
conference:
end_date: 2000-04-02
location: Berlin, Germany
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2000-03-25
date_created: 2018-12-11T12:08:50Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T13:11:07Z
day: '01'
doi: 10.1007/3-540-46419-0_21
extern: '1'
intvolume: ' 1785'
language:
- iso: eng
month: '01'
oa_version: None
page: 299 - 314
publication: Proceedings of the 6th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems
publication_identifier:
isbn:
- '9783540672821'
publication_status: published
publisher: Springer
publist_id: '297'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fair bisimulation
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1785
year: '2000'
...
---
_id: '4434'
abstract:
- lang: eng
text: 'The algorithmic approach to the analysis of timed and hybrid systems is fundamentally
limited by undecidability, of universality in the timed case (where all continuous
variables are clocks), and of emptiness in the rectangular case (which includes
drifting clocks). Traditional proofs of undecidability encode a single Turing
computation by a single timed trajectory. These proofs have nurtured the hope
that the introduction of “fuzziness” into timed and hybrid models (in the sense
that a system cannot distinguish between trajectories that are sufficiently similar)
may lead to decidability. We show that this is not the case, by sharpening both
fundamental undecidability results. Besides the obvious blow our results deal
to the algorithmic method, they also prove that the standard model of timed and
hybrid systems, while not “robust” in its definition of trajectory acceptance
(which is affected by tiny perturbations in the timing of events), is quite robust
in its mathematical properties: the undecidability barriers are not affected by
reasonable perturbations of the model.'
acknowledgement: 'This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the ARO MURI grant DAAH-04-96-1-0341,
and the NSF CAREER award CCR-9501708. '
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: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: 'Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems.
In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol
1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15'
apa: 'Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed
and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid
Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15'
chicago: Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and
Hybrid Systems.” In Proceedings of the 3rd International Workshop on Hybrid
Systems, 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15.
ieee: T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid
systems,” in Proceedings of the 3rd International Workshop on Hybrid Systems,
Pittsburgh, PA, USA, 2000, vol. 1790, pp. 145–159.
ista: 'Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems.
Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid
Systems - Computation and Control, LNCS, vol. 1790, 145–159.'
mla: Henzinger, Thomas A., and Jean Raskin. “Robust Undecidability of Timed and
Hybrid Systems.” Proceedings of the 3rd International Workshop on Hybrid Systems,
vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
short: T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop
on Hybrid Systems, Springer, 2000, pp. 145–159.
conference:
end_date: 2000-03-25
location: Pittsburgh, PA, USA
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2000-03-23
date_created: 2018-12-11T12:08:50Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T13:16:13Z
day: '01'
doi: 10.1007/3-540-46430-1_15
extern: '1'
intvolume: ' 1790'
language:
- iso: eng
month: '01'
oa_version: None
page: 145 - 159
publication: Proceedings of the 3rd International Workshop on Hybrid Systems
publication_identifier:
isbn:
- '9783540672593'
publication_status: published
publisher: Springer
publist_id: '298'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Robust undecidability of timed and hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1790
year: '2000'
...
---
_id: '4435'
abstract:
- lang: eng
text: 'An important case of hybrid systems are the rectangular automata. First,
rectangular dynamics can naturally and arbitrarily closely approximate more general,
nonlinear dynamics. Second, rectangular automata are the most general type of
hybrid systems for which model checking -in particular, Ltl model checking- is
decidable. However, on one hand, the original proofs of decidability did not suggest
practical algorithms and, on the other hand, practical symbolic model-checking
procedures -such as those implemented in HyTech- were not known to terminate on
rectangular automata. We remedy this unsatisfactory situation: we present a symbolic
method for Ltl model checking which can be performed by HyTech and is guaranteed
to terminate on all rectangular automata. We do so by proving that our method
for symbolic Ltl model checking terminates on an infinite-state transition system
if the trace-equivalence relation of the system has finite index, which is the
case for all rectangular automata.'
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660,
the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708.
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: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
citation:
ama: 'Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems.
In: Proceedings of the 6th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:142-156.
doi:10.1007/3-540-46419-0_11'
apa: 'Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular
hybrid systems. In Proceedings of the 6th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp.
142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11'
chicago: Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for
Rectangular Hybrid Systems.” In Proceedings of the 6th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56.
Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
ieee: T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular
hybrid systems,” in Proceedings of the 6th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems, Berlin, Germany,
2000, vol. 1785, pp. 142–156.
ista: 'Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid
systems. Proceedings of the 6th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for
the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.'
mla: Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular
Hybrid Systems.” Proceedings of the 6th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer,
2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
short: T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, Springer,
2000, pp. 142–156.
conference:
end_date: 2000-04-02
location: Berlin, Germany
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2000-03-25
date_created: 2018-12-11T12:08:50Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T13:08:09Z
day: '01'
doi: 10.1007/3-540-46419-0_11
extern: '1'
intvolume: ' 1785'
language:
- iso: eng
month: '01'
oa_version: None
page: 142 - 156
publication: Proceedings of the 6th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems
publication_identifier:
isbn:
- '9783540672821'
publication_status: published
publisher: Springer
publist_id: '293'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symbolic model checking for rectangular hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1785
year: '2000'
...
---
_id: '4439'
abstract:
- lang: eng
text: "We define five increasingly comprehensive classes of infinite-state systems,
called STS1–5, whose state spaces have finitary structure. For four of these classes,
we provide examples from hybrid systems.\r\nSTS1 These are the systems with finite
bisimilarity quotients. They can be analyzed symbolically by (1) iterating the
predecessor and boolean operations starting from a finite set of observable state
sets, and (2) terminating when no new state sets are generated. This enables model
checking of the μ-calculus.\r\nSTS2 These are the systems with finite similarity
quotients. They can be analyzed symbolically by iterating the predecessor and
positive boolean operations. This enables model checking of the existential and
universal fragments of the μ-calculus.\r\nSTS3 These are the systems with finite
trace-equivalence quotients. They can be analyzed symbolically by iterating the
predecessor operation and a restricted form of positive boolean operations (intersection
is restricted to intersection with observables). This enables model checking of
linear temporal logic.\r\nSTS4 These are the systems with finite distance-equivalence
quotients (two states are equivalent if for every distance d, the same observables
can be reached in d transitions). The systems in this class can be analyzed symbolically
by iterating the predecessor operation and terminating when no new state sets
are generated. This enables model checking of the existential conjunction-free
and universal disjunction-free fragments of the μ-calculus.\r\nSTS5 These are
the systems with finite bounded-reachability quotients (two states are equivalent
if for every distance d, the same observables can be reached in d or fewer transitions).
The systems in this class can be analyzed symbolically by iterating the predecessor
operation and terminating when no new states are encountered. This enables model
checking of reachability properties."
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660,
the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708.
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: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
citation:
ama: 'Henzinger TA, Majumdar R. A classification of symbolic transition systems.
In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer
Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2'
apa: 'Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic
transition systems. In Proceedings of the 17th Annual Symposium on Theoretical
Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer.
https://doi.org/10.1007/3-540-46541-3_2'
chicago: Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic
Transition Systems.” In Proceedings of the 17th Annual Symposium on Theoretical
Aspects of Computer Science, 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2.
ieee: T. A. Henzinger and R. Majumdar, “A classification of symbolic transition
systems,” in Proceedings of the 17th Annual Symposium on Theoretical Aspects
of Computer Science, Lille, France, 2000, vol. 1770, pp. 13–34.
ista: 'Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems.
Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science.
STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.'
mla: Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic
Transition Systems.” Proceedings of the 17th Annual Symposium on Theoretical
Aspects of Computer Science, vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
short: T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium
on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
conference:
end_date: 2000-02-19
location: Lille, France
name: 'STACS: Theoretical Aspects of Computer Science'
start_date: 2000-02-17
date_created: 2018-12-11T12:08:51Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T13:02:39Z
day: '01'
doi: 10.1007/3-540-46541-3_2
extern: '1'
intvolume: ' 1770'
language:
- iso: eng
month: '01'
oa_version: None
page: 13 - 34
publication: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer
Science
publication_identifier:
isbn:
- '9783540671411'
publication_status: published
publisher: Springer
publist_id: '292'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A classification of symbolic transition systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1770
year: '2000'
...
---
_id: '4481'
abstract:
- lang: eng
text: 'Since hybrid embedded systems are pervasive and often safety-critical, guarantees
about their correct performance are desirable. The hybrid systems model checker
HyTech provides such guarantees and has successfully verified some systems. However,
HyTech severely restricts the continuous dynamics of the system being analyzed
and, therefore, often forces the use of prohibitively expensive discrete and polyhedral
abstractions. We have designed a new algorithm, which is capable of directly verifying
hybrid systems with general continuous dynamics, such as linear and nonlinear
differential equations. The new algorithm conservatively overapproximates the
reachable states of a hybrid automaton by using interval numerical methods. Interval
numerical methods return sets of points that enclose the true result of numerical
computation and, thus, avoid distortions due to the accumulation of round-off
errors. We have implemented the new algorithm in a successor tool to HyTech called
HyperTech. We consider three examples: a thermostat with delay, a two-tank water
system, and an air-traffic collision avoidance protocol. HyperTech enables the
direct, fully automatic analysis of these systems, which is also more accurate
than the use of polyhedral abstractions.'
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the ARO MURI grant DAAH-04-96-1-0341,
and the NSF CAREER award CCR-9501708.
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: Benjamin
full_name: Horowitz, Benjamin
last_name: Horowitz
- first_name: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems
analysis using interval numerical methods. In: Proceedings of the 3rd International
Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14'
apa: 'Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond
HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings
of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144).
Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14'
chicago: 'Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard
Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”
In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44.
Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.'
ieee: 'T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech:
Hybrid systems analysis using interval numerical methods,” in Proceedings of
the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000,
vol. 1790, pp. 130–144.'
ista: 'Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid
systems analysis using interval numerical methods. Proceedings of the 3rd International
Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS,
vol. 1790, 130–144.'
mla: 'Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using
Interval Numerical Methods.” Proceedings of the 3rd International Workshop
on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.'
short: T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of
the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
conference:
end_date: 2000-03-25
location: Pittsburgh, PA, USA
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2000-03-23
date_created: 2018-12-11T12:09:04Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T12:44:52Z
day: '01'
doi: 10.1007/3-540-46430-1_14
extern: '1'
intvolume: ' 1790'
language:
- iso: eng
month: '01'
oa_version: None
page: 130 - 144
publication: Proceedings of the 3rd International Workshop on Hybrid Systems
publication_identifier:
isbn:
- '9783540672593'
publication_status: published
publisher: Springer
publist_id: '247'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Beyond HyTech: Hybrid systems analysis using interval numerical methods'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1790
year: '2000'
...
---
_id: '4482'
abstract:
- lang: eng
text: "We apply the theory of abstract interpretation to the verification of game
properties for reactive systems. Unlike properties expressed in standard temporal
logics, game properties can distinguish adversarial from collaborative relationships
between the processes of a concurrent program, or the components of a parallel
system. We consider two-player concurrent games –say, component vs. environment–
and specify properties of such games –say, the component has a winning strategy
to obtain a resource, no matter how the environment behaves– in the alternating-time
μ-calculus (Aμ ). A sound abstraction of such a game must at the same time restrict
the behaviors of the component and increase the behaviors of the environment:
if a less powerful component can win against a more powerful environment, then
surely the original component can win against the original environment.\r\nWe
formalize the concrete semantics of a concurrent game in terms of controllable
and uncontrollable predecessor predicates, which suffice for model checking all
Aμ properties by applying boolean operations and iteration. We then define the
abstract semantics of a concurrent game in terms of abstractions for the controllable
and uncontrollable predecessor predicates. This allows us to give general characterizations
for the soundness and completeness of abstract games with respect to Aμ properties.
We also present a simple programming language for multi-process programs, and
show how approximations of the maximal abstraction (w.r.t. Aμ properties) can
be obtained from the program text. We apply the theory to two practical verification
examples, a communication protocol developed at the Berkeley Wireless Research
Center, and a protocol converter. In the wireless protocol, both the use of a
game property for specification and the use of abstraction for automatic verification
were instrumental to uncover a subtle bug."
acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214,
the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660,
the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708.
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: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
- first_name: Freddy
full_name: Mang, Freddy
last_name: Mang
- first_name: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: 'Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game
properties. In: Proceedings of the 7th International Symposium on Static Analysis.
Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12'
apa: 'Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract
interpretation of game properties. In Proceedings of the 7th International
Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA,
USA: Springer. https://doi.org/10.1007/978-3-540-45099-3_12'
chicago: Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract
Interpretation of Game Properties.” In Proceedings of the 7th International
Symposium on Static Analysis, 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12.
ieee: T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation
of game properties,” in Proceedings of the 7th International Symposium on Static
Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239.
ista: 'Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation
of game properties. Proceedings of the 7th International Symposium on Static Analysis.
SAS: Static Analysis Symposium, LNCS, vol. 1824, 220–239.'
mla: Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.”
Proceedings of the 7th International Symposium on Static Analysis, vol.
1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
short: T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the
7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
conference:
end_date: 2000-07-06
location: Santa Barbara, CA, USA
name: 'SAS: Static Analysis Symposium'
start_date: 2000-06-29
date_created: 2018-12-11T12:09:04Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T12:49:56Z
day: '01'
doi: 10.1007/978-3-540-45099-3_12
extern: '1'
intvolume: ' 1824'
language:
- iso: eng
month: '01'
oa_version: None
page: 220 - 239
publication: Proceedings of the 7th International Symposium on Static Analysis
publication_identifier:
isbn:
- '9783540676683'
publication_status: published
publisher: Springer
publist_id: '248'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Abstract interpretation of game properties
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1824
year: '2000'
...
---
_id: '4483'
abstract:
- lang: eng
text: 'Model-checking algorithms can be used to verify, formally and automatically,
if a low-level description of a design conforms with a high-level description.
However, for designs with very large state spaces, prior to the application of
an algorithm, the refinement-checking task needs to be decomposed into subtasks
of manageable complexity. It is natural to decompose the task following the component
structure of the design. However, an individual component often does not satisfy
its requirements unless the component is put into the right context, which constrains
the inputs to the component. Thus, in order to verify each component individually,
we need to make assumptions about its inputs, which are provided by the other
components of the design. This reasoning is circular: component A is verified
under the assumption that context B behaves correctly, and symmetrically, B is
verified assuming the correctness of A. The assume-guarantee paradigm provides
a systematic theory and methodology for ensuring the soundness of the circular
style of postulating and discharging assumptions in component-based reasoning.We
give a tutorial introduction to the assume-guarantee paradigm for decomposing
refinement-checking tasks. To illustrate the method, we step in detail through
the formal verification of a processor pipeline against an instruction set architecture.
In this example, the verification of a three-stage pipeline is broken up into
three subtasks, one for each stage of the pipeline.'
acknowledgement: 'Supported in part by DARPA Information Technology Office, by the
MARC0 Gigascale Silicon Research Center, and by the National Science Foundation. '
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: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
- first_name: Sriram
full_name: Rajamani, Sriram
last_name: Rajamani
citation:
ama: 'Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee
reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided
Design. IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481'
apa: 'Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement
proofs using assume-guarantee reasoning. In Proceedings of the 2000 International
Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE.
https://doi.org/10.1109/ICCAD.2000.896481'
chicago: Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement
Proofs Using Assume-Guarantee Reasoning.” In Proceedings of the 2000 International
Conference on Computer-Aided Design, 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
ieee: T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs
using assume-guarantee reasoning,” in Proceedings of the 2000 International
Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252.
ista: 'Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using
assume-guarantee reasoning. Proceedings of the 2000 International Conference on
Computer-Aided Design. ICCAD: Computer-Aided Design, 245–252.'
mla: Henzinger, Thomas A., et al. “Decomposing Refinement Proofs Using Assume-Guarantee
Reasoning.” Proceedings of the 2000 International Conference on Computer-Aided
Design, IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
short: T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International
Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
conference:
end_date: 2000-11-09
location: San Jose, CA, USA
name: 'ICCAD: Computer-Aided Design'
start_date: 2000-11-05
date_created: 2018-12-11T12:09:05Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-18T12:57:52Z
day: '01'
doi: 10.1109/ICCAD.2000.896481
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 245 - 252
publication: Proceedings of the 2000 International Conference on Computer-Aided Design
publication_identifier:
isbn:
- '0780364457'
publication_status: published
publisher: IEEE
publist_id: '249'
quality_controlled: '1'
status: public
title: Decomposing refinement proofs using assume-guarantee reasoning
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2000'
...
---
_id: '4512'
abstract:
- lang: eng
text: "Masaccio is a formal model for hybrid dynamical systems which are built from
atomic discrete components (difference equations) and atomic continuous components
(differential equations) by parallel and serial composition, arbitrarily nested.
Each system component consists of an interface, which determines the possible
ways of using the component, and a set of executions, which define the possible
behaviors of the component in real time.\r\nVersion 1.0 (May 2000).\r\n"
acknowledgement: This research was supported in part by the DARPA grants NAG2-1214
and F33615-C-98-3614, and by the MARCO grant 98-DT-660.
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. Masaccio: A formal model for embedded components. In: Proceedings
of the 1st International Conference on Theoretical Computer Science . Vol
1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38'
apa: 'Henzinger, T. A. (2000). Masaccio: A formal model for embedded components.
In Proceedings of the 1st International Conference on Theoretical Computer
Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38'
chicago: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”
In Proceedings of the 1st International Conference on Theoretical Computer
Science , 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.'
ieee: 'T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings
of the 1st International Conference on Theoretical Computer Science , Sendai,
Japan, 2000, vol. 1872, pp. 549–563.'
ista: 'Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings
of the 1st International Conference on Theoretical Computer Science . TCS: Theoretical
Computer Science, LNCS, vol. 1872, 549–563.'
mla: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings
of the 1st International Conference on Theoretical Computer Science , vol.
1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.'
short: T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical
Computer Science , Springer, 2000, pp. 549–563.
conference:
end_date: 2000-08-19
location: Sendai, Japan
name: 'TCS: Theoretical Computer Science'
start_date: 2000-08-17
date_created: 2018-12-11T12:09:14Z
date_published: 2000-01-01T00:00:00Z
date_updated: 2023-04-13T13:48:08Z
day: '01'
doi: 10.1007/3-540-44929-9_38
extern: '1'
intvolume: ' 1872'
language:
- iso: eng
month: '01'
oa_version: None
page: 549 - 563
publication: 'Proceedings of the 1st International Conference on Theoretical Computer
Science '
publication_identifier:
isbn:
- '9783540678236'
publication_status: published
publisher: Springer
publist_id: '215'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Masaccio: A formal model for embedded components'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1872
year: '2000'
...
---
_id: '4513'
abstract:
- lang: eng
text: 'A hybrid automaton is a formal model for a mixed discrete-continuous system.
We classify hybrid automata according to what questions about their behavior can
be answered algorithmically. The classification reveals structure on mixed discrete-continuous
state spaces that was previously studied on purely discrete state spaces only.
In particular, various classes of hybrid automata induce finitary trace equivalence
(or similarity, or bisimilarity) relations on an uncountable state space, thus
permitting the application of various model-checking techniques that were originally
developed for finitestate systems. '
acknowledgement: 'This research was supported in part by the Office of Naval Research
Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER
award CCR-9501708, by the National Science Foundation grant CR9504469, by the Air
Force Office of Scientific Research contract F49620-93-1-0056, by the Army Research
Office MURI grant DAAH-04-96-1-0341, by the Advanced Research Projects Agency grant
NAG2-892, and by the Semiconductor Research Corporation contract 96-DC-324.036. '
alternative_title:
- 'NATO ASI Series F: Computer and Systems Sciences'
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: Inan M, Kurshan R, eds. Verification
of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5'
apa: Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R.
Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp.
265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5
chicago: Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification
of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92.
Springer, 2000. https://doi.org/10.1007/978-3-642-59615-5.
ieee: T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital
and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000,
pp. 265–292.
ista: 'Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital
and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170,
265–292.'
mla: Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital
and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer,
2000, pp. 265–92, doi:10.1007/978-3-642-59615-5.
short: T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital
and Hybrid Systems, Springer, 2000, pp. 265–292.
date_created: 2018-12-11T12:09:14Z
date_published: 2000-04-28T00:00:00Z
date_updated: 2023-04-18T12:37:17Z
day: '28'
doi: 10.1007/978-3-642-59615-5
editor:
- first_name: M.
full_name: Inan, M.
last_name: Inan
- first_name: Robert
full_name: Kurshan, Robert
last_name: Kurshan
extern: '1'
intvolume: ' 170'
language:
- iso: eng
month: '04'
oa_version: None
page: 265 - 292
publication: Verification of Digital and Hybrid Systems
publication_identifier:
isbn:
- '9783642596155'
publication_status: published
publisher: Springer
publist_id: '216'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The theory of hybrid automata
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 170
year: '2000'
...
---
_id: '2591'
abstract:
- lang: eng
text: The occurrence and distribution of the preferred receptor for the neuropeptide,
substance P (SP), the neurokinin-1 receptor (NK1R) was investigated in the vascular
supply of the rat sciatic nerve. Messenger RNA for NK1R was demonstrated by RT-PCR
in the epineurial layer where the majority of small arteries and arterioles feeding
the endoneurial vasculature are located. Immunoreactivity to NK1R-protein was
localized on the smooth muscle cells of these arterial vessels by means of immunofluorescence
using a polyclonal NK1R antiserum. This muscular localization of NK1R explains
the previously reported [Zochodne, D.W. and Ho, L.T., J. Physiol. 444 (1991) 615-
630] moderate vasoconstrictor rather than vasodilator effects of SP in this vascular
bed.
acknowledgement: The skillful technical assistance of Ms. T. Fischbach and Ms. K.
Michael and the secretarial help of Ms. P. Berger are gratefully appreciated.
article_processing_charge: No
article_type: original
author:
- first_name: Wolfgang
full_name: Kummer, Wolfgang
last_name: Kummer
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Rainer
full_name: Haberberger, Rainer
last_name: Haberberger
citation:
ama: Kummer W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1
receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience
Letters. 1999;259(2):119-122. doi:10.1016/S0304-3940(98)00926-4
apa: Kummer, W., Shigemoto, R., & Haberberger, R. (1999). Smooth muscle cells
are the site of neurokinin-1 receptor localization in the arterial supply of the
rat sciatic nerve. Neuroscience Letters. Elsevier. https://doi.org/10.1016/S0304-3940(98)00926-4
chicago: Kummer, Wolfgang, Ryuichi Shigemoto, and Rainer Haberberger. “Smooth Muscle
Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply
of the Rat Sciatic Nerve.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(98)00926-4.
ieee: W. Kummer, R. Shigemoto, and R. Haberberger, “Smooth muscle cells are the
site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic
nerve,” Neuroscience Letters, vol. 259, no. 2. Elsevier, pp. 119–122, 1999.
ista: Kummer W, Shigemoto R, Haberberger R. 1999. Smooth muscle cells are the site
of neurokinin-1 receptor localization in the arterial supply of the rat sciatic
nerve. Neuroscience Letters. 259(2), 119–122.
mla: Kummer, Wolfgang, et al. “Smooth Muscle Cells Are the Site of Neurokinin-1
Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience
Letters, vol. 259, no. 2, Elsevier, 1999, pp. 119–22, doi:10.1016/S0304-3940(98)00926-4.
short: W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999)
119–122.
date_created: 2018-12-11T11:58:33Z
date_published: 1999-01-08T00:00:00Z
date_updated: 2023-03-27T10:11:02Z
day: '08'
doi: 10.1016/S0304-3940(98)00926-4
extern: '1'
external_id:
pmid:
- '10025572'
intvolume: ' 259'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 119 - 122
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4307'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Smooth muscle cells are the site of neurokinin-1 receptor localization in the
arterial supply of the rat sciatic nerve
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 259
year: '1999'
...
---
_id: '2592'
abstract:
- lang: eng
text: Metabotropic glutamate receptors (mGluRs) consist of eight different subtypes
and exert their effects or second messengers and ion channels via G- proteins.
The function of individual mGluR subtypes in the CNS, however, largely remains
to be clarified. We examined the fear response of freezing after electric shock
in wild-type and mGluR7(-/-) knockout littermates. Wild- type mice displayed freezing
immediately after and 1 d after footshock. In comparison, mGluR7(-/-) knockout
mice showed significantly reduced levels in both immediate postshock and delayed
freezing responses. However, the knockout mice exhibited no abnormalities in pain
sensitivity and locomotor activity. To further examine amygdala-dependent behavior,
we performed conditioned taste aversion (CTA) experiments. In wild-type mice,
the administration of saccharin followed by intraperitoneal injection of the malaise-inducing
agent LiCl resulted in an association between saccharin and LiCl. This association
caused strong CTA toward saccharin n contrast, mGluR7(-/-) knockout mice failed
to associate between the taste and the negative reinforcer in CTA experiments.
Again, the knockout mice showed no abnormalities in taste preference and in the
sensitivity to LiCl toxicity. These results indicate that mGluR7 deficiency causes
an impairment of two distinct amygdala-dependent behavioral paradigms. Immunohistochemical
and immunoelectron-microscopic analyses showed that mGluR7 is highly expressed
in amygdala and preferentially localized at the presynaptic axon terminals of
glutamatergic neurons. Together, these findings strongly suggest that mGluR7 is
involved in neural processes subserving amygdala-dependent averse responses.
acknowledgement: This work was supported in part by research grants from the Ministry
of Education, Science and Culture of Japan, the Ministry of Health and Welfare of
Japan, the Sankyo Foundation, the Yamanouchi Foundation, and the Biomolecular Engineering
Research Institute. We thank Takashi Yamamoto for advice on CTA experiments, Fumitaka
Ushikubi for advice on the nociception test, Markus Schroeder for back-crossing
of mutant mice, Ayae Kinoshita for the kind gift of antibodies, Akira Uesugi for
photography, and Kumlesh K. Dev for careful reading of this manuscript.
article_processing_charge: No
article_type: original
author:
- first_name: Miwako
full_name: Masugi, Miwako
last_name: Masugi
- first_name: Mineto
full_name: Yokoi, Mineto
last_name: Yokoi
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Keiko
full_name: Muguruma, Keiko
last_name: Muguruma
- first_name: Yasuyoshi
full_name: Watanabe, Yasuyoshi
last_name: Watanabe
- first_name: Gilles
full_name: Sansig, Gilles
last_name: Sansig
- first_name: Herman
full_name: Van Der Putten, Herman
last_name: Van Der Putten
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype
7 ablation causes deficit in fear response and conditioned taste aversion. Journal
of Neuroscience. 1999;19(3):955-963. doi:10.1523/JNEUROSCI.19-03-00955.1999
apa: Masugi, M., Yokoi, M., Shigemoto, R., Muguruma, K., Watanabe, Y., Sansig, G.,
… Nakanishi, S. (1999). Metabotropic glutamate receptor subtype 7 ablation causes
deficit in fear response and conditioned taste aversion. Journal of Neuroscience.
Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999
chicago: Masugi, Miwako, Mineto Yokoi, Ryuichi Shigemoto, Keiko Muguruma, Yasuyoshi
Watanabe, Gilles Sansig, Herman Van Der Putten, and Shigetada Nakanishi. “Metabotropic
Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned
Taste Aversion.” Journal of Neuroscience. Society for Neuroscience, 1999.
https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999.
ieee: M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation
causes deficit in fear response and conditioned taste aversion,” Journal of
Neuroscience, vol. 19, no. 3. Society for Neuroscience, pp. 955–963, 1999.
ista: Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der
Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation
causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience.
19(3), 955–963.
mla: Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation
Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of
Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63,
doi:10.1523/JNEUROSCI.19-03-00955.1999.
short: M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H.
Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
date_created: 2018-12-11T11:58:33Z
date_published: 1999-02-01T00:00:00Z
date_updated: 2023-03-27T10:00:42Z
day: '01'
doi: 10.1523/JNEUROSCI.19-03-00955.1999
extern: '1'
external_id:
pmid:
- '9920659'
intvolume: ' 19'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6782134/
month: '02'
oa: 1
oa_version: Published Version
page: 955 - 963
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
issn:
- 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '4306'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response
and conditioned taste aversion
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 19
year: '1999'
...
---
_id: '2593'
abstract:
- lang: eng
text: In cat and monkey, lamina I cells can be classified into three basic morphological
types (fusiform, pyramidal, and multipolar), and recent intracellular labeling
evidence in the cat indicates that fusiform and multipolar lamina I cells are
two different types of nociceptive cells, whereas pyramidal cells are innocuous
thermoreceptive-specific. Because earlier observations indicated that only nociceptive
dorsal horn neurons respond to substance P (SP), we examined which morphological
types of lamina I neurons express receptors for SP (NK-1r). We categorized NK-1r-
immunoreactive (IR) lamina I neurons in serial horizontal sections from the cervical
and lumbar enlargements of four monkeys. Consistent results were obtained by two
independent teams of observers. Nearly all NK-1r-IR cells were fusiform (42%)
or multipolar (43%), but only 6% were pyramidal (with 9% unclassified). We obtained
similar findings in three monkeys in which we used double-labeling immunocytochemistry
to identify NK-1r-IR and spinothalamic lamina I neurons retrogradely labeled with
cholera toxin subunit b from the thalamus; most NK-1r-IR lamina I spinothalamic
neurons were fusiform (48%) or multipolar (33%), and only 10% were pyramidal.
In contrast, most (~75%) pyramidal and some (~25%) fusiform and multipolar lamina
I spinothalamic neurons did not display NK-1r immunoreactivity. These data indicate
that most fusiform and multipolar lamina I neurons in the monkey can express NK-1r,
consistent with the idea that both types are nociceptive, whereas only a small
proportion of lamina I pyramidal cells express this receptor, consistent with
the previous finding that they are nonnociceptive. However, these findings also
indicate that not all nociceptive lamina I neurons express receptors for SP.
acknowledgement: This study was supported by National Institute of Health Grants NS
34022 to Y.D.K. and NS 25616 to A.D.C., by Canadian Medical Research Council (MRC)
Grants MT 12942 to Y.D.K. and MT 12170 to A.R.S., and by the Barrow Neurological
Foundation. Y.D.K. is a Scholar of the Canadian MRC. We thank A. Constantin and
A. Forster for expert technical assistance and Dr. M. Wikstrom for generously supplying
monoclonal antibodies against CTb.
article_processing_charge: No
article_type: original
author:
- first_name: Xiao
full_name: Yu, Xiao
last_name: Yu
- first_name: En
full_name: Zhang, En
last_name: Zhang
- first_name: Arthur
full_name: Craig, Arthur
last_name: Craig
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Alfredo
full_name: Ribeiro Da Silva, Alfredo
last_name: Ribeiro Da Silva
- first_name: Yves
full_name: De Koninck, Yves
last_name: De Koninck
citation:
ama: Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. NK-1
receptor immunoreactivity in distinct morphological types of lamina I neurons
of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555.
doi:10.1523/JNEUROSCI.19-09-03545.1999
apa: Yu, X., Zhang, E., Craig, A., Shigemoto, R., Ribeiro Da Silva, A., & De
Koninck, Y. (1999). NK-1 receptor immunoreactivity in distinct morphological types
of lamina I neurons of the primate spinal cord. Journal of Neuroscience.
Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999
chicago: Yu, Xiao, En Zhang, Arthur Craig, Ryuichi Shigemoto, Alfredo Ribeiro Da
Silva, and Yves De Koninck. “NK-1 Receptor Immunoreactivity in Distinct Morphological
Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience.
Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999.
ieee: X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck,
“NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons
of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9. Society
for Neuroscience, pp. 3545–3555, 1999.
ista: Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. 1999.
NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons
of the primate spinal cord. Journal of Neuroscience. 19(9), 3545–3555.
mla: Yu, Xiao, et al. “NK-1 Receptor Immunoreactivity in Distinct Morphological
Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience,
vol. 19, no. 9, Society for Neuroscience, 1999, pp. 3545–55, doi:10.1523/JNEUROSCI.19-09-03545.1999.
short: X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck,
Journal of Neuroscience 19 (1999) 3545–3555.
date_created: 2018-12-11T11:58:34Z
date_published: 1999-05-01T00:00:00Z
date_updated: 2023-03-27T09:54:40Z
day: '01'
doi: 10.1523/JNEUROSCI.19-09-03545.1999
extern: '1'
external_id:
pmid:
- '10212314'
intvolume: ' 19'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6782224/
month: '05'
oa: 1
oa_version: None
page: 3545 - 3555
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
issn:
- 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '4305'
quality_controlled: '1'
scopus_import: '1'
status: public
title: NK-1 receptor immunoreactivity in distinct morphological types of lamina I
neurons of the primate spinal cord
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 19
year: '1999'
...
---
_id: '2594'
abstract:
- lang: eng
text: Substance P receptor (i.e. NK1)-like immunoreactive (SPR-LI) neurons were
observed in the newborn and adult human spinal cord. Substance P receptor-like
immunoreactive neuronal cell bodies were seen most frequently in lamina I, and
were scattered throughout the remaining laminae of the dorsal horn and the area
around the central canal. Some neurons in the intermediolateral nucleus also showed
weak immunoreactivity. The pattern of distribution of SPR-LI neurons in the adult
spinal cord was essentially the same as that in the newborn spinal cord. However,
SPR-LI neurons cell bodies were seen much more frequently in the newborn than
in the adult dorsal horn, especially in lamina II.
acknowledgement: This work was supported in part by Grants-in-Aid from the National
Natural Science Foundation of China (39600045) and the Ministry of Education, Science,
Sports and Culture of Japan (08279106, 09480211, 10164225, 10680701).
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Heng
full_name: Zheng, Heng
last_name: Zheng
- first_name: Dian
full_name: Wang, Dian
last_name: Wang
- first_name: Jun
full_name: Xu, Jun
last_name: Xu
- first_name: Liang
full_name: Gong, Liang
last_name: Gong
- first_name: Yan
full_name: Lü, Yan
last_name: Lü
- first_name: Bing
full_name: Qin, Bing
last_name: Qin
- first_name: Juan
full_name: Shi, Juan
last_name: Shi
- first_name: Hua
full_name: Li, Hua
last_name: Li
- first_name: Ji
full_name: Li, Ji
last_name: Li
- 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: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Ding Y, Zheng H, Wang D, et al. The distribution of substance P receptor (NK1)-like
immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience
Letters. 1999;266(2):133-136. doi:10.1016/S0304-3940(99)00283-9
apa: Ding, Y., Zheng, H., Wang, D., Xu, J., Gong, L., Lü, Y., … Mizuno, N. (1999).
The distribution of substance P receptor (NK1)-like immunoreactive neurons in
the newborn and adult human spinal cord. Neuroscience Letters. Elsevier.
https://doi.org/10.1016/S0304-3940(99)00283-9
chicago: Ding, Yu, Heng Zheng, Dian Wang, Jun Xu, Liang Gong, Yan Lü, Bing Qin,
et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive Neurons
in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters. Elsevier,
1999. https://doi.org/10.1016/S0304-3940(99)00283-9.
ieee: Y. Ding et al., “The distribution of substance P receptor (NK1)-like
immunoreactive neurons in the newborn and adult human spinal cord,” Neuroscience
Letters, vol. 266, no. 2. Elsevier, pp. 133–136, 1999.
ista: Ding Y, Zheng H, Wang D, Xu J, Gong L, Lü Y, Qin B, Shi J, Li H, Li J, Shigemoto
R, Kaneko T, Mizuno N. 1999. The distribution of substance P receptor (NK1)-like
immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience
Letters. 266(2), 133–136.
mla: Ding, Yu, et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive
Neurons in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters,
vol. 266, no. 2, Elsevier, 1999, pp. 133–36, doi:10.1016/S0304-3940(99)00283-9.
short: Y. Ding, H. Zheng, D. Wang, J. Xu, L. Gong, Y. Lü, B. Qin, J. Shi, H. Li,
J. Li, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 266 (1999) 133–136.
date_created: 2018-12-11T11:58:34Z
date_published: 1999-05-07T00:00:00Z
date_updated: 2022-09-13T10:05:26Z
day: '07'
doi: 10.1016/S0304-3940(99)00283-9
extern: '1'
external_id:
pmid:
- '10353345 '
intvolume: ' 266'
issue: '2'
language:
- iso: eng
month: '05'
oa_version: None
page: 133 - 136
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4304'
quality_controlled: '1'
status: public
title: The distribution of substance P receptor (NK1)-like immunoreactive neurons
in the newborn and adult human spinal cord
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 266
year: '1999'
...
---
_id: '2595'
abstract:
- lang: eng
text: Presynaptic metabotropic glutamate receptors (mGluRs) of group III constitute
possible targets for putative neuroprotective drugs acting against glutamate excitotoxic
insults. Indeed, in glutamatergic cerebellar granule neurones in culture, high
concentrations of L-2-amino-4-phosphonobutyrate (L-AP4, above 0.3 mM, thus activating
mGluR7) inhibit NMDA-induced cell death. In contrast, in striatal cultures which
are enriched in GABAergic neurones, we show that high concentrations of L-AP4
increased neuronal death in control as well as in NMDA-stimulated cultures. Moreover,
similar results were obtained with the GABA(B)R agonist, baclofen. Both the neuroprotective
effects in cerebellar granule cells and the neurotoxic effects in striatal neurones
were mediated via Gi-Go-coupled mGluRs, suggesting that these effects were probably
mediated by mGluR7a or b and GABA(B)R expressed in these neurones. In striatal
neurones, we found that L-AP4 and baclofen inhibited both basal and NMDA-stimulated
GABA release. These inhibitions of GABA release may be responsible for the increase
in basal and NMDA-stimulated neuronal death. Indeed, blockade of GABA(A) receptors
with bicuculline increased neuronal death of control and NMDA-treated striatal
cultures. Taken together, these results suggest that L-AP4 and baclofen, via mGluR7
and GABA(B)R, reduced the neuroprotective effect of GABA present in striatal cultures
acting via GABA(A) receptors. Although caution must be taken when extrapolating
from in vitro to in vivo situations, the present experiments and the recent observations
that mGluR7 and GABA(B)R are expressed in heterologous synapses, should be taken
into consideration when evaluating the neuroprotective action of future mGluR7
specific agonists or GABA(B)R specific antagonists.
acknowledgement: "We thank A. Turner-Madeuf for English revision, M. Passama and L.
Charvet for the illustrations, Isabelle Brabet, Cécile Joly and Jaroslav Blahos
for helpful technical assistance. This work was supported by the CNRS, Bayer \r\nFrance/Troponwerke
(Germany), and CEE-Biomed BMH4-2 CT 960228."
article_processing_charge: No
article_type: original
author:
- first_name: Mireille
full_name: Lafon Cazal, Mireille
last_name: Lafon Cazal
- first_name: Gaëlle
full_name: Viennois, Gaëlle
last_name: Viennois
- first_name: Rainer
full_name: Kühn, Rainer
last_name: Kühn
- first_name: Barbara
full_name: Malitschek, Barbara
last_name: Malitschek
- first_name: Jean
full_name: Pin, Jean
last_name: Pin
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Joël
full_name: Bockaërt, Joël
last_name: Bockaërt
citation:
ama: Lafon Cazal M, Viennois G, Kühn R, et al. mGluR7-like receptor and GABA(B)
receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured
mouse striatal GABAergic neurones. Neuropharmacology. 1999;38(10):1631-1640.
doi:10.1016/S0028-3908(99)00124-0
apa: Lafon Cazal, M., Viennois, G., Kühn, R., Malitschek, B., Pin, J., Shigemoto,
R., & Bockaërt, J. (1999). mGluR7-like receptor and GABA(B) receptor activation
enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal
GABAergic neurones. Neuropharmacology. Elsevier. https://doi.org/10.1016/S0028-3908(99)00124-0
chicago: Lafon Cazal, Mireille, Gaëlle Viennois, Rainer Kühn, Barbara Malitschek,
Jean Pin, Ryuichi Shigemoto, and Joël Bockaërt. “MGluR7-like Receptor and GABA(B)
Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured
Mouse Striatal GABAergic Neurones.” Neuropharmacology. Elsevier, 1999.
https://doi.org/10.1016/S0028-3908(99)00124-0.
ieee: M. Lafon Cazal et al., “mGluR7-like receptor and GABA(B) receptor activation
enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal
GABAergic neurones,” Neuropharmacology, vol. 38, no. 10. Elsevier, pp.
1631–1640, 1999.
ista: Lafon Cazal M, Viennois G, Kühn R, Malitschek B, Pin J, Shigemoto R, Bockaërt
J. 1999. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic
effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones.
Neuropharmacology. 38(10), 1631–1640.
mla: Lafon Cazal, Mireille, et al. “MGluR7-like Receptor and GABA(B) Receptor Activation
Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal
GABAergic Neurones.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999,
pp. 1631–40, doi:10.1016/S0028-3908(99)00124-0.
short: M. Lafon Cazal, G. Viennois, R. Kühn, B. Malitschek, J. Pin, R. Shigemoto,
J. Bockaërt, Neuropharmacology 38 (1999) 1631–1640.
date_created: 2018-12-11T11:58:34Z
date_published: 1999-10-01T00:00:00Z
date_updated: 2022-09-13T08:23:20Z
day: '01'
doi: 10.1016/S0028-3908(99)00124-0
extern: '1'
external_id:
pmid:
- '10530824 '
intvolume: ' 38'
issue: '10'
language:
- iso: eng
month: '10'
oa_version: None
page: 1631 - 1640
pmid: 1
publication: Neuropharmacology
publication_identifier:
issn:
- 0028-3908
publication_status: published
publisher: Elsevier
publist_id: '4302'
quality_controlled: '1'
scopus_import: '1'
status: public
title: mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects
of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 38
year: '1999'
...
---
_id: '2596'
abstract:
- lang: eng
text: "A γ-aminobutyric acid (GABA)(B) receptor (named GABA(B)R1) has been recently
cloned in the rat and human brain and two variants generated by alternative RNA
splicing were identified. In the present study, we addressed the question as to
whether these variants contribute to the diversity of GABA(B) receptor-mediated
physiological responses and constitute real receptor subtypes with distinct functions.
To this aim, we have mapped the GABA(B)R1 (R1a) and GABA(B)R1b (R1b) transcript
distribution in the rat brain using in situ hybridization. We have compared the
mRNA distribution with the distribution of [ 3H]CGP54626-labeled binding GABA(B)R1
receptor sites as assessed in adjacent cryosections by quantitative autoradiography.
We found that GABA(B) receptor transcripts and binding sites are expressed in
the brain in almost all neuronal cell populations. Expression in glial cells,
if any, is marginal. We observed a good parallelism between GABA(B)R1 mRNA transcripts
and binding sites in broad neuroanatomical entities with highest densities in
hippocampus, thalamic nuclei, and cerebellum. By contrast, R1a and R1b transcripts
exhibit marked differences in their regional and cellular distribution pattern.
A typical example is the cerebellum with an almost exclusive expression of R1b
in the Purkinje cells and of R1a in the granule, stellate, and basket cells. Data
pointing at a pre- versus postsynaptic localization for R1a and R1b, respectively,
at some neuronal sites are presented.\r\n"
acknowledgement: We thank W. Froestl and S.J. Mickel for synthesis of GABAB ligands,
and H. van der Putten for helpful discussions. Many thanks to S. Pfister (former
graduate student in our group), and P. Dreja, M. Kohler, P. Schwarb, P.Kaindl (Carl
Zeiss A.G., Zurich, Switzerland) for their help in the design of computer macros
for the quantitative analysis of in situ hybridization sections. The critical review
of the manuscript by J. Mosbacher (NovartisPharma, TA Nervous System) and J. Koenig
(Maryland Psychiatric Research Center, Baltimore, MD) are gratefully acknowledged.
article_processing_charge: No
article_type: original
author:
- first_name: Serge
full_name: Bischoff, Serge
last_name: Bischoff
- first_name: Sabine
full_name: Leonhard, Sabine
last_name: Leonhard
- first_name: Nicole
full_name: Reymann, Nicole
last_name: Reymann
- first_name: Valérie
full_name: Schuler, Valérie
last_name: Schuler
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Klemens
full_name: Kaupmann, Klemens
last_name: Kaupmann
- first_name: Bernhard
full_name: Bettler, Bernhard
last_name: Bettler
citation:
ama: Bischoff S, Leonhard S, Reymann N, et al. Spatial distribution of GABA(B)R1
receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology.
1999;412(1):1-16. doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
apa: Bischoff, S., Leonhard, S., Reymann, N., Schuler, V., Shigemoto, R., Kaupmann,
K., & Bettler, B. (1999). Spatial distribution of GABA(B)R1 receptor mRNA
and binding sites in the rat brain^. Journal of Comparative Neurology.
Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
chicago: Bischoff, Serge, Sabine Leonhard, Nicole Reymann, Valérie Schuler, Ryuichi
Shigemoto, Klemens Kaupmann, and Bernhard Bettler. “Spatial Distribution of GABA(B)R1
Receptor MRNA and Binding Sites in the Rat Brain^.” Journal of Comparative
Neurology. Wiley-Blackwell, 1999. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
ieee: S. Bischoff et al., “Spatial distribution of GABA(B)R1 receptor mRNA
and binding sites in the rat brain^,” Journal of Comparative Neurology,
vol. 412, no. 1. Wiley-Blackwell, pp. 1–16, 1999.
ista: Bischoff S, Leonhard S, Reymann N, Schuler V, Shigemoto R, Kaupmann K, Bettler
B. 1999. Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in
the rat brain^. Journal of Comparative Neurology. 412(1), 1–16.
mla: Bischoff, Serge, et al. “Spatial Distribution of GABA(B)R1 Receptor MRNA and
Binding Sites in the Rat Brain^.” Journal of Comparative Neurology, vol.
412, no. 1, Wiley-Blackwell, 1999, pp. 1–16, doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
short: S. Bischoff, S. Leonhard, N. Reymann, V. Schuler, R. Shigemoto, K. Kaupmann,
B. Bettler, Journal of Comparative Neurology 412 (1999) 1–16.
date_created: 2018-12-11T11:58:35Z
date_published: 1999-09-13T00:00:00Z
date_updated: 2022-09-13T08:30:25Z
day: '13'
doi: 10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
extern: '1'
external_id:
pmid:
- '10440706 '
intvolume: ' 412'
issue: '1'
language:
- iso: eng
month: '09'
oa_version: None
page: 1 - 16
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4303'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat
brain^
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 412
year: '1999'
...
---
_id: '2597'
abstract:
- lang: eng
text: Metabotropic glutamate receptors (mGlus) are known to modulate synaptic transmission
in various pathways of the central nervous system, but the exact mechanisms by
which this modulation occurs remain unclear. Here we utilise electrophysiological
and immunocytochemical techniques on cultured autaptic hippocampal neurones to
investigate the mechanism of action and distribution of mGlus. Agonists at all
three groups of mGlus depressed glutamatergic transmission, whereas only agonists
at group I mGlus depressed GABAergic transmission. Agonists at all mGlus failed
to modulate Ca2+ and K+ channels in glutamatergic autapses whereas an agonist
at group III mGlus did depress the frequency of miniature excitatory postsynaptic
currents (mEPSCs). Agonists failed to modulate Ca2+ or K+ channels and miniature
inhibitory postsynaptic currents (mIPSCs) in GABAergic autapses. Distribution
studies using selective antibodies revealed punctate staining for group III mGlus
that co-localised with the synaptic marker, synaptophysin. Staining for the remaining
mGlus was more diffuse throughout the soma and processes with little co-localisation
with synaptophysin. The distribution of the group III receptors is consistent
with the direct 'downstream' modulation of mEPSCs, although the exact mechanism
of action for the remaining receptors remains unclear.
acknowledgement: This work was supported by a Wellcome International Travel Fellowship
to TJB and by the Public Service Grants DA02121, MH40165, NS33502 and NS33826 for
CCL and RJM. We are grateful to Dr Graeme I. Bell for use of his microscope for
the antibody studies.
article_processing_charge: No
article_type: original
author:
- first_name: Trevor
full_name: Bushell, Trevor
last_name: Bushell
- first_name: Chong
full_name: Lee, Chong
last_name: Lee
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Richard
full_name: Miller, Richard
last_name: Miller
citation:
ama: Bushell T, Lee C, Shigemoto R, Miller R. Modulation of synaptic transmission
and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology.
1999;38(10):1553-1567. doi:10.1016/S0028-3908(99)00103-3
apa: Bushell, T., Lee, C., Shigemoto, R., & Miller, R. (1999). Modulation of
synaptic transmission and differential localisation of mGlus in cultured hippocampal
autapses. Neuropharmacology. Elsevier. https://doi.org/10.1016/S0028-3908(99)00103-3
chicago: Bushell, Trevor, Chong Lee, Ryuichi Shigemoto, and Richard Miller. “Modulation
of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal
Autapses.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00103-3.
ieee: T. Bushell, C. Lee, R. Shigemoto, and R. Miller, “Modulation of synaptic transmission
and differential localisation of mGlus in cultured hippocampal autapses,” Neuropharmacology,
vol. 38, no. 10. Elsevier, pp. 1553–1567, 1999.
ista: Bushell T, Lee C, Shigemoto R, Miller R. 1999. Modulation of synaptic transmission
and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology.
38(10), 1553–1567.
mla: Bushell, Trevor, et al. “Modulation of Synaptic Transmission and Differential
Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology,
vol. 38, no. 10, Elsevier, 1999, pp. 1553–67, doi:10.1016/S0028-3908(99)00103-3.
short: T. Bushell, C. Lee, R. Shigemoto, R. Miller, Neuropharmacology 38 (1999)
1553–1567.
date_created: 2018-12-11T11:58:35Z
date_published: 1999-10-01T00:00:00Z
date_updated: 2022-09-13T08:15:55Z
day: '01'
doi: 10.1016/S0028-3908(99)00103-3
extern: '1'
external_id:
pmid:
- '10530817'
intvolume: ' 38'
issue: '10'
language:
- iso: eng
month: '10'
oa_version: None
page: 1553 - 1567
pmid: 1
publication: Neuropharmacology
publication_identifier:
issn:
- 0028-3908
publication_status: published
publisher: Elsevier
publist_id: '4301'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modulation of synaptic transmission and differential localisation of mGlus
in cultured hippocampal autapses
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 38
year: '1999'
...
---
_id: '2711'
abstract:
- lang: eng
text: We study the long time evolution of a quantum particle in a Gaussian random
environment. We show that in the weak coupling limit the Wigner distribution of
the wave function converges to the solution of a linear Boltzmann equation globally
in time. The Boltzmann collision kernel is given by the Born approximation of
the quantum scattering cross section.
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. Linear Boltzmann equation as the weak coupling limit of the random
Schrödinger equation. In: Proceedings of the 7th QMath Conference. Vol
108. World Scientific Publishing; 1999:233-242. doi:10.1007/978-3-0348-8745-8_20'
apa: 'Erdös, L. (1999). Linear Boltzmann equation as the weak coupling limit of
the random Schrödinger equation. In Proceedings of the 7th QMath Conference
(Vol. 108, pp. 233–242). Prague, Czech Republik: World Scientific Publishing.
https://doi.org/10.1007/978-3-0348-8745-8_20'
chicago: Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of
the Random Schrödinger Equation.” In Proceedings of the 7th QMath Conference,
108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
ieee: L. Erdös, “Linear Boltzmann equation as the weak coupling limit of the random
Schrödinger equation,” in Proceedings of the 7th QMath Conference, Prague,
Czech Republik, 1999, vol. 108, pp. 233–242.
ista: 'Erdös L. 1999. Linear Boltzmann equation as the weak coupling limit of the
random Schrödinger equation. Proceedings of the 7th QMath Conference. QMath: Mathematical
Results in Quantum Physics, Operator Theory: Advances and Applications, vol. 108,
233–242.'
mla: Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the
Random Schrödinger Equation.” Proceedings of the 7th QMath Conference,
vol. 108, World Scientific Publishing, 1999, pp. 233–42, doi:10.1007/978-3-0348-8745-8_20.
short: L. Erdös, in:, Proceedings of the 7th QMath Conference, World Scientific
Publishing, 1999, pp. 233–242.
conference:
end_date: 1999-09-26
location: Prague, Czech Republik
name: 'QMath: Mathematical Results in Quantum Physics'
start_date: 1998-06-22
date_created: 2018-12-11T11:59:12Z
date_published: 1999-01-01T00:00:00Z
date_updated: 2022-09-13T08:02:52Z
day: '01'
doi: 10.1007/978-3-0348-8745-8_20
extern: '1'
intvolume: ' 108'
language:
- iso: eng
month: '01'
oa_version: None
page: 233 - 242
publication: Proceedings of the 7th QMath Conference
publication_identifier:
isbn:
- '9783034897549'
publication_status: published
publisher: World Scientific Publishing
publist_id: '4185'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Linear Boltzmann equation as the weak coupling limit of the random Schrödinger
equation
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 108
year: '1999'
...
---
_id: '2730'
abstract:
- lang: eng
text: We give the leading order semiclassical asymptotics for the sum of the negative
eigenvalues of the Pauli operator (in dimension two and three) with a strong non-homogeneous
magnetic field. This result can be used to prove that the magnetic Thomas-Fermi
theory gives the leading order ground state energy of large atoms. We develop
a new localization scheme well suited to the anisotropic character of the strong
magnetic field. We also use the basic Lieb-Thirring estimate obtained earlier
(1996). (orig.) 19 refs.
acknowledgement: The first author gratefully acknowledges financial support from the
Eidgen6ssiche Technische Hochschule, Forschungsinstitut für Mathematik, Zürich,
where this work was started. He is also grateful for the hospitality and support
of Aarhus University during his visits there.
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
- first_name: Jan
full_name: Solovej, Jan
last_name: Solovej
citation:
ama: 'Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator
with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type
estimate. Duke Mathematical Journal. 1999;96(1):127-173. doi:10.1215/S0012-7094-99-09604-7'
apa: 'Erdös, L., & Solovej, J. (1999). Semiclassical eigenvalue estimates for
the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic
Lieb-Thirring-type estimate. Duke Mathematical Journal. Duke University
Press. https://doi.org/10.1215/S0012-7094-99-09604-7'
chicago: 'Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for
the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic
Lieb-Thirring-Type Estimate.” Duke Mathematical Journal. Duke University
Press, 1999. https://doi.org/10.1215/S0012-7094-99-09604-7.'
ieee: 'L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli
operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type
estimate,” Duke Mathematical Journal, vol. 96, no. 1. Duke University Press,
pp. 127–173, 1999.'
ista: 'Erdös L, Solovej J. 1999. Semiclassical eigenvalue estimates for the Pauli
operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type
estimate. Duke Mathematical Journal. 96(1), 127–173.'
mla: 'Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the
Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type
Estimate.” Duke Mathematical Journal, vol. 96, no. 1, Duke University Press,
1999, pp. 127–73, doi:10.1215/S0012-7094-99-09604-7.'
short: L. Erdös, J. Solovej, Duke Mathematical Journal 96 (1999) 127–173.
date_created: 2018-12-11T11:59:18Z
date_published: 1999-01-15T00:00:00Z
date_updated: 2023-02-20T07:34:48Z
day: '15'
doi: 10.1215/S0012-7094-99-09604-7
extern: '1'
intvolume: ' 96'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 127 - 173
publication: Duke Mathematical Journal
publication_identifier:
issn:
- 0012-7094
publication_status: published
publisher: Duke University Press
publist_id: '4162'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous
magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 96
year: '1999'
...
---
_id: '2783'
abstract:
- lang: eng
text: Pattern formation in a layer of fluid heated from below is an example of macroscopic
ordering in continuous media. Here we show that in a relatively compact experimental
version of the problem, a rich and diverse set of stable flows can be found. These
flows, many of which are novel, can be categorized and understood in terms of
their symmetry properties. This approach shows promise for providing insight into
the more complicated fluid motion that occurs as the lateral dimension of the
layer is increased.
article_processing_charge: No
article_type: original
author:
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
- first_name: Peter
full_name: Lucas, Peter
last_name: Lucas
- first_name: Tom
full_name: Mullin, Tom
last_name: Mullin
citation:
ama: Hof B, Lucas P, Mullin T. Flow state multiplicity in convection. Physics
of Fluids. 1999;11(10):2815-2817. doi:10.1063/1.870178
apa: Hof, B., Lucas, P., & Mullin, T. (1999). Flow state multiplicity in convection.
Physics of Fluids. American Institute of Physics. https://doi.org/10.1063/1.870178
chicago: Hof, Björn, Peter Lucas, and Tom Mullin. “Flow State Multiplicity in Convection.”
Physics of Fluids. American Institute of Physics, 1999. https://doi.org/10.1063/1.870178 .
ieee: B. Hof, P. Lucas, and T. Mullin, “Flow state multiplicity in convection,”
Physics of Fluids, vol. 11, no. 10. American Institute of Physics, pp.
2815–2817, 1999.
ista: Hof B, Lucas P, Mullin T. 1999. Flow state multiplicity in convection. Physics
of Fluids. 11(10), 2815–2817.
mla: Hof, Björn, et al. “Flow State Multiplicity in Convection.” Physics of Fluids,
vol. 11, no. 10, American Institute of Physics, 1999, pp. 2815–17, doi:10.1063/1.870178 .
short: B. Hof, P. Lucas, T. Mullin, Physics of Fluids 11 (1999) 2815–2817.
date_created: 2018-12-11T11:59:34Z
date_published: 1999-10-01T00:00:00Z
date_updated: 2022-09-09T09:24:10Z
day: '01'
doi: '10.1063/1.870178 '
extern: '1'
intvolume: ' 11'
issue: '10'
language:
- iso: eng
month: '10'
oa_version: None
page: 2815 - 2817
publication: Physics of Fluids
publication_identifier:
issn:
- 0031-9171
publication_status: published
publisher: American Institute of Physics
publist_id: '4106'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Flow state multiplicity in convection
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 11
year: '1999'
...