---
_id: '4029'
abstract:
- lang: eng
text: A general and direct method for computing the Betti numbers of a finite simplicial
complex in Bd is given. This method is complete for d less than or equal to 3,
where versions of this method run in time O(n alpha(n)) and O(n), n the number
of simplices. An implementation of the algorithm is applied to alpha shapes, which
is a novel geometric modeling tool.
acknowledgement: This work is supported by the National Science Foundation under grant
ASC-9200301 and the Alan T. Waterman award, grant CCR-9118874. Any opinions, findings,
conclusions, or recommendations expressed in this publication are those of the authors
and do not necessarily reflect the view of the National Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Cecil
full_name: Delfinado, Cecil
last_name: Delfinado
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of
simplicial complexes on the 3-sphere. Computer Aided Geometric Design.
1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y
apa: Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for
Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric
Design. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y
chicago: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for
Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric
Design. Elsevier, 1995. https://doi.org/10.1016/0167-8396(95)00016-Y.
ieee: C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers
of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design,
vol. 12, no. 7. Elsevier, pp. 771–784, 1995.
ista: Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers
of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7),
771–784.
mla: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti
Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric
Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y.
short: C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995)
771–784.
date_created: 2018-12-11T12:06:32Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-24T09:49:32Z
day: '01'
doi: 10.1016/0167-8396(95)00016-Y
extern: '1'
intvolume: ' 12'
issue: '7'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/016783969500016Y?via%3Dihub
month: '11'
oa_version: None
page: 771 - 784
publication: Computer Aided Geometric Design
publication_identifier:
issn:
- 0167-8396
publication_status: published
publisher: Elsevier
publist_id: '2096'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1995'
...
---
_id: '4034'
abstract:
- lang: eng
text: Any arbitrary polyhedron P contained as a subset within Rd can be written
as algebraic sum of simple terms, each an integer multiple of the intersection
of d or fewer half-spaces defined by facets of P. P can be non-convex and can
have holes of any kind. Among the consequences of this result are a short boolean
formula for P, a fast parallel algorithm for point classification, and a new proof
of the Gram-Sommerville angle relation.
acknowledgement: The author thanks Bei-Fang Chen, Siu-Wing Cheng, David Dobkin, Nikolai
Dolbilin, Ping Fu, Sergei Ryshkov, and Vadim Shapiro for discussions on the topic
of this paper.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: 'Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings
of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.'
apa: 'Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra.
In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp.
248–257). Milwaukee, WI, United States of America: IEEE.'
chicago: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.”
In Proceedings of IEEE 36th Annual Foundations of Computer Science, 248–57.
IEEE, 1995.
ieee: H. Edelsbrunner, “Algebraic decomposition of non-convex polyhedra,” in Proceedings
of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United
States of America, 1995, pp. 248–257.
ista: 'Edelsbrunner H. 1995. Algebraic decomposition of non-convex polyhedra. Proceedings
of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer
Science, 248–257.'
mla: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” Proceedings
of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–57.
short: H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer
Science, IEEE, 1995, pp. 248–257.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:06:33Z
date_published: 1995-10-01T00:00:00Z
date_updated: 2022-06-13T12:27:11Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/492480
month: '10'
oa_version: None
page: 248 - 257
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '2093'
quality_controlled: '1'
status: public
title: Algebraic decomposition of non-convex polyhedra
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4035'
abstract:
- lang: eng
text: 'Let S be a set of n points in ℝd . A set W is a weak ε-net for (convex ranges
of)S if, for any T⊆S containing εn points, the convex hull of T intersects W.
We show the existence of weak ε-nets of size {Mathematical expression}, where
β2=0, β3=1, and βd ≈0.149·2d-1(d-1)!, improving a previous bound of Alon et al.
Such a net can be computed effectively. We also consider two special cases: when
S is a planar point set in convex position, we prove the existence of a net of
size O((1/ε) log1.6(1/ε)). In the case where S consists of the vertices of a regular
polygon, we use an argument from hyperbolic geometry to exhibit an optimal net
of size O(1/ε), which improves a previous bound of Capoyleas.'
acknowledgement: The authors wish to express their gratitude for the support and hospitality
of the DEC Palo Alto Systems Research Center.
article_processing_charge: No
article_type: original
author:
- first_name: Bernard
full_name: Chazelle, Bernard
last_name: Chazelle
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michelangelo
full_name: Grigni, Michelangelo
last_name: Grigni
- first_name: Leonidas
full_name: Guibas, Leonidas
last_name: Guibas
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
- first_name: Emo
full_name: Welzl, Emo
last_name: Welzl
citation:
ama: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved
bounds on weak ε-nets for convex sets. Discrete & Computational Geometry.
1995;13(1):1-15. doi:10.1007/BF02574025
apa: Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl,
E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/BF02574025
chicago: Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas
Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ε-Nets for Convex
Sets.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574025.
ieee: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl,
“Improved bounds on weak ε-nets for convex sets,” Discrete & Computational
Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995.
ista: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. 1995. Improved
bounds on weak ε-nets for convex sets. Discrete & Computational Geometry.
13(1), 1–15.
mla: Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.”
Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995,
pp. 1–15, doi:10.1007/BF02574025.
short: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl,
Discrete & Computational Geometry 13 (1995) 1–15.
date_created: 2018-12-11T12:06:33Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-13T12:37:06Z
day: '01'
doi: 10.1007/BF02574025
extern: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02574025
month: '12'
oa_version: None
page: 1 - 15
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2094'
quality_controlled: '1'
status: public
title: Improved bounds on weak ε-nets for convex sets
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1995'
...
---
_id: '4153'
article_processing_charge: No
article_type: original
author:
- first_name: D.
full_name: Ransom, D.
last_name: Ransom
- first_name: Alison
full_name: Brownlie, Alison
last_name: Brownlie
- first_name: Pascal
full_name: Haffter, Pascal
last_name: Haffter
- first_name: Jörg
full_name: Odenthal, Jörg
last_name: Odenthal
- first_name: Robert
full_name: Kelsh, Robert
last_name: Kelsh
- first_name: Michael
full_name: Brand, Michael
last_name: Brand
- first_name: Makoto
full_name: Furutani Seiki, Makoto
last_name: Furutani Seiki
- first_name: Michael
full_name: Granato, Michael
last_name: Granato
- first_name: Matthias
full_name: Hammerschmidt, Matthias
last_name: Hammerschmidt
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Yunjin
full_name: Jiang, Yunjin
last_name: Jiang
- first_name: David
full_name: Kane, David
last_name: Kane
- first_name: Mary
full_name: Mullins, Mary
last_name: Mullins
- first_name: Fredericus
full_name: Van Eden, Fredericus
last_name: Van Eden
- first_name: Rachel
full_name: Warga, Rachel
last_name: Warga
- first_name: Christiane
full_name: Nüsslein Volhard, Christiane
last_name: Nüsslein Volhard
- first_name: L.
full_name: Zon, L.
last_name: Zon
citation:
ama: Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in
a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.
apa: Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M.,
… Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the
zebrafish genome. Blood. American Society of Hematology.
chicago: Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh,
Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified
in a Saturation Screen of the Zebrafish Genome.” Blood. American Society
of Hematology, 1995.
ieee: D. Ransom et al., “Hematopoietic mutants identified in a saturation
screen of the zebrafish genome,” Blood, vol. 86, no. 10. American Society
of Hematology, pp. 1912–1912, 1995.
ista: Ransom D, Brownlie A, Haffter P, Odenthal J, Kelsh R, Brand M, Furutani Seiki
M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Van
Eden F, Warga R, Nüsslein Volhard C, Zon L. 1995. Hematopoietic mutants identified
in a saturation screen of the zebrafish genome. Blood. 86(10), 1912–1912.
mla: Ransom, D., et al. “Hematopoietic Mutants Identified in a Saturation Screen
of the Zebrafish Genome.” Blood, vol. 86, no. 10, American Society of Hematology,
1995, pp. 1912–1912.
short: D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani
Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M.
Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912.
date_created: 2018-12-11T12:07:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-13T12:02:52Z
day: '01'
extern: '1'
intvolume: ' 86'
issue: '10'
language:
- iso: eng
month: '01'
oa_version: None
page: 1912 - 1912
publication: Blood
publication_identifier:
issn:
- 0006-4971
publication_status: published
publisher: American Society of Hematology
publist_id: '1965'
quality_controlled: '1'
status: public
title: Hematopoietic mutants identified in a saturation screen of the zebrafish genome
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 86
year: '1995'
...
---
_id: '4296'
abstract:
- lang: eng
text: Three replicate lines of Drosophila melanogaster were cultured at each of
two temperatures (16.5⚬C and 25⚬C) in population cages for 4 yr. The lifespans
of both sexes and the fecundity and fertility of the females were then measured
at both experimental temperatures. The characters showed evidence of adaptation;
flies of both sexes from each selection regime showed higher longevity, and females
showed higher fecundity and fertility, than flies from the other selection regime
when they were tested at the experimental temperature at which they had evolved.
Calculation of intrinsic rates of increase under different assumptions about the
rate of population increase showed that the difference between the lines from
the two selection regimes became less the higher the rate of population increase,
because the lines were more similar in early adulthood than they were later. Despite
the increased adaptation of the low-temperature lines to the low temperature,
like the high temperature lines they produced progeny at a higher rate at the
higher temperature. The lines may have independently evolved adaptations to their
respective thermal regimes during the experiment, or there may have been a trade-off
between adaptation to the two temperatures, or mutation pressure may have lowered
adaptation to the temperature that the flies no longer encountered.
acknowledgement: We thank Natural Environment Research Council and the Royal Society
for financial support.
article_processing_charge: No
article_type: original
author:
- first_name: Linda
full_name: Partridge, Linda
last_name: Partridge
- first_name: Brian
full_name: Barrie, Brian
last_name: Barrie
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kevin
full_name: Fowler, Kevin
last_name: Fowler
- first_name: Vernon
full_name: French, Vernon
last_name: French
citation:
ama: Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution
of adult life history traits in Drosophila melanogaster in response to temperature.
Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x
apa: Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995).
Rapid laboratory evolution of adult life history traits in Drosophila melanogaster
in response to temperature. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x
chicago: Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon
French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila
Melanogaster in Response to Temperature.” Evolution. Wiley-Blackwell, 1995.
https://doi.org/10.1111/j.1558-5646.1995.tb02285.x.
ieee: L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory
evolution of adult life history traits in Drosophila melanogaster in response
to temperature,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544,
1995.
ista: Partridge L, Barrie B, Barton NH, Fowler K, French V. 1995. Rapid laboratory
evolution of adult life history traits in Drosophila melanogaster in response
to temperature. Evolution. 49(3), 538–544.
mla: Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History
Traits in Drosophila Melanogaster in Response to Temperature.” Evolution,
vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:10.1111/j.1558-5646.1995.tb02285.x.
short: L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49
(1995) 538–544.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-13T08:42:11Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb02285.x
extern: '1'
external_id:
pmid:
- '28565092 '
intvolume: ' 49'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x
month: '06'
oa: 1
oa_version: Published Version
page: 538 - 544
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1778'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rapid laboratory evolution of adult life history traits in Drosophila melanogaster
in response to temperature
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4297'
abstract:
- lang: eng
text: The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus
complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized
by steep concordant clines among three diagnostic chromosome markers across a
straight-line distance of about 2 km. Here, we show that this zone is actually
structured into local patches in which hybridization extends over an extremely
irregular front. The distribution of hybrid-index (HI) scores across the transect
reveals some hybridization at almost all localities mapped in a central 7 km x
3 km area. Pooling the central samples produces both a strong heterozygote deficit
for all diagnostic markers and strong linkage disequilibria between all pairwise
combinations of these (unlinked) markers. Moreover, a highly significant association
exists between the habitat on which each individual was caught and its karyotype
(F5 chromosomes are more likely to be found on oak). Analysis of genotype frequencies
over a range of spatial scales shows that there is no significant heterozygote
deficit or habitat association within local areas of less than about 200 m; however,
there is significant linkage disequilibrium over the smallest scales (R = D (pquv)1/2
= 0.29, support limits, 0.18-0.36) over 100 m. These patterns suggest that lizards
mate and choose habitats randomly within local patches. This conclusion is supported
by mark-recapture estimates of dispersal (≈ 80 m in a generation) and by inference
of matings from embryo and maternal karyotypes. Closer examination of the two-dimensional
pattern reveals a convoluted cline for all three markers, with a width of 830
m (support limits 770 m-930 m). This cline width, combined with the strength of
local linkage disequilibrium, implies a dispersal rate of σ = 160 m in a generation
and an effective selection pressure of 30% on each chromosome marker. The proportion
of inviable embryos is greater in females from the center of the hybrid zone;
this is caused by effects associated with both karyotype and location. The hybrid
zone is likely to be maintained by selection against chromosomal heterozygotes,
by other kinds of selection against hybrids, and by selection adapting the chromosome
races to different habitats. The structure of the contact may be caused by both
random drift and by selection in relation to habitat.
acknowledgement: For field assistance in collecting and mapping of the zone, we thank
E. Arevalo, I. Goyenechea, D. Hutchison, M. Man- cilia, F. Mendoza, D. Mink, and
J. and H. Sites. The mark- recapture work was carried out by M. Mancilla,
F Mendoza, and A. Gonzales. J.W.S. also thanks T. Hinckley and D. Stevens of the Brigham Young University Department of
Geography for lessons in surveying and map making and use of the field equipment and planimeter. B. Nürnberger provided
the digitized coordinates for individual lizards and assisted with the analysis of
spatial structure and viability. B. Nürnberger, C. MacCallum, J. Mallet, and
J. Searle also provided helpful comments on the manuscript. This work was
supported by National Science Foundation grants BSR 85- 09092 and 88-22751 to
J.W.S., and grants from the Science and Engineering Research Council (GR/H09929)
and Natural Environment Research Council (GR3/8002) and the DarwinTrust to N.H.B.
The Mexican agency Secretaria de DesarrolloUrbano y Ecologia (now Secretaria de Desarrollo Social)
kindly provided scientific collecting permits (to E. Arévalo) for field work in 1989 and 1991.
article_processing_charge: No
article_type: original
author:
- first_name: Jack
full_name: Sites, Jack
last_name: Sites
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kent
full_name: Reed, Kent
last_name: Reed
citation:
ama: Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between
two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae)
in central Mexico. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x
apa: Sites, J., Barton, N. H., & Reed, K. (1995). The genetic structure of a
mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex
(Sauria, Phrynosomatidae) in central Mexico. Evolution. Wiley-Blackwell.
https://doi.org/10.1111/j.1558-5646.1995.tb05955.x
chicago: Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of
a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus
Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution. Wiley-Blackwell,
1995. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x.
ieee: J. Sites, N. H. Barton, and K. Reed, “The genetic structure of a mosaic hybrid
zone between two chromosome races of the Sceloporus grammicus complex (Sauria,
Phrynosomatidae) in central Mexico,” Evolution, vol. 49, no. 1. Wiley-Blackwell,
pp. 9–36, 1995.
ista: Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid
zone between two chromosome races of the Sceloporus grammicus complex (Sauria,
Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
mla: Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between
Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae)
in Central Mexico.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp.
9–36, doi:10.1111/j.1558-5646.1995.tb05955.x.
short: J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-02-01T00:00:00Z
date_updated: 2022-06-13T09:24:40Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb05955.x
extern: '1'
external_id:
pmid:
- '28593667'
intvolume: ' 49'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x
month: '02'
oa: 1
oa_version: Published Version
page: 9 - 36
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1779'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The genetic structure of a mosaic hybrid zone between two chromosome races
of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4298'
article_processing_charge: No
article_type: original
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. Appendix to “A simulation study of multilocus clines” by S J E Baird.
Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x
apa: Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines”
by S J E Baird. Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
chicago: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’
by S J E Baird.” Evolution. Wiley, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x.
ieee: N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S
J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.
ista: Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by
S J E Baird. Evolution. 49(6), 1038–1045.
mla: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’
by S J E Baird.” Evolution, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:10.1111/j.1558-5646.1995.tb04431.x.
short: N.H. Barton, Evolution 49 (1995) 1038–1045.
date_created: 2018-12-11T12:08:07Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-28T07:47:30Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb04431.x
extern: '1'
intvolume: ' 49'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
month: '12'
oa: 1
oa_version: Published Version
page: 1038 - 1045
publication: Evolution
publication_identifier:
issn:
- 1558-5646
publication_status: published
publisher: Wiley
publist_id: '1773'
quality_controlled: '1'
status: public
title: Appendix to "A simulation study of multilocus clines" by S J E Baird
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4428'
abstract:
- lang: eng
text: "Hybrid systems are real-time systems that react to both discrete and continuous
activities (such as analog signals, time, temperature, and speed). Typical examples
of hybrid systems are embedded systems, timing-based communication protocols,
and digital circuits at the transistor level. Due to the rapid development of
microprocessor technology, hybrid systems directly control much of what we depend
on in our daily lives. Consequently, the formal specification and verification
of hybrid systems has become an active area of research. This dissertation presents
the first general framework for the formal specification and verification of hybrid
systems, as well as the first hybrid-system analysis tool--HyTech. The framework
consists of a graphical finite-state-machine-like language for modeling hybrid
systems, a temporal logic for modeling the requirements of hybrid systems, and
a computer procedure that verifies modeled hybrid systems against modeled requirements.
The tool HyTech is the implementation of the framework using C++ and Mathematica.\r\n\r\nMore
specifically, our hybrid-system modeling language, Hybrid Automata, is an extension
of timed automata with discrete and continuous variables whose dynamics are governed
by differential equations. Our requirement modeling language, ICTL, is a branching-time
temporal logic, and is an extension of TCTL with stop-watch variables. Our verification
procedure is a symbolic model-checking procedure that verifies linear hybrid automata
against ICTL formulas. To make HyTech more efficient and effective, we use model-checking
strategies and abstract operators that can expedite the verification process.
To enable HyTech to verify nonlinear hybrid automata, we introduce two translations
from nonlinear hybrid automata to linear hybrid automata. We have applied HyTech
to analyze more than 30 hybrid-system benchmarks. In this dissertation, we present
the application of HyTech to three nontrivial hybrid systems taken from the literature."
article_processing_charge: No
author:
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: Ho P. Automatic analysis of hybrid systems. 1995:1-188.
apa: Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
chicago: Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.
ieee: P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.
ista: Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.
mla: Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995,
pp. 1–188.
short: P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
date_created: 2018-12-11T12:08:48Z
date_published: 1995-08-01T00:00:00Z
date_updated: 2022-06-28T07:30:34Z
day: '01'
degree_awarded: PhD
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hdl.handle.net/1813/7193
month: '08'
oa: 1
oa_version: Published Version
page: 1 - 188
publication_status: published
publisher: Cornell University
publist_id: '304'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Automatic analysis of hybrid systems
type: dissertation
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4447'
abstract:
- lang: eng
text: This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology
Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies
that have been incorporated into HyTech, and we illustrate the use of HyTech with
three nontrivial case studies.
acknowledgement: This research was supported in part by the National Science Foundation
under grant CCR-9200794, by the Air Force Office of Scientific Research under contract
F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520,
and by the Defense Advanced Research Projects Agency under grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos
A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop.
Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14'
apa: 'Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology
Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International
Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United
States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14'
chicago: 'Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology
Tool.” In 4th International Hybrid Systems Workshop, edited by Antsaklis
Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer,
1995. https://doi.org/10.1007/3-540-60472-3_14.'
ieee: 'T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,”
in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United
States of America, 1995, vol. 999, pp. 265–293.'
ista: 'Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th
International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999,
265–293.'
mla: 'Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”
4th International Hybrid Systems Workshop, edited by Antsaklis Panos et
al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.'
short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
conference:
end_date: 1955-10-25
location: ' New Brunswick, NJ, United States of America'
name: Hybrid Systems III
start_date: 1995-10-22
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:24:15Z
day: '01'
doi: 10.1007/3-540-60472-3_14
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_14
month: '01'
oa_version: None
page: 265 - 293
publication: 4th International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540683346'
publication_status: published
publisher: Springer
publist_id: '281'
quality_controlled: '1'
series_title: LNCS
status: public
title: 'HyTech: The Cornell Hybrid Technology Tool'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...
---
_id: '4448'
abstract:
- lang: eng
text: We report on several abstract interpretation strategies that are designed
to improve the performance of HyTech, a symbolic model checker for linear hybrid
systems. We (1) simultaneously compute the target region from different directions,
(2) conservatively approximate the target region by dropping constraints, and
(3) iteratively refine the approximation until sufficient precision is obtained.
We consider the standard abstract convex-hull operator and a novel abstract extrapolation
operator.
acknowledgement: ' National Science Foundation under grant CCR-9200794, by the Air
Force Office of Scientific Research under contract F49620-93-1-0056, by the Office
of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced
Research Projects Agency under grant NAG2-892.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid
automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid
Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13'
apa: 'Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies
for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.),
3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca,
NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13'
chicago: Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies
for Hybrid Automata.” In 3rd International Hybrid Systems Workshop, edited
by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer,
1995. https://doi.org/10.1007/3-540-60472-3_13.
ieee: T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for
hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca,
NY, United States of America, 1995, vol. 999, pp. 252–264.
ista: Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for
hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II,
LNCS, vol. 999, 252–264.
mla: Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies
for Hybrid Automata.” 3rd International Hybrid Systems Workshop, edited
by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
conference:
end_date: 1994-10-30
location: Ithaca, NY, United States of America
name: Hybrid Systems II
start_date: 1994-10-28
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:48:59Z
day: '01'
doi: 10.1007/3-540-60472-3_13
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_13
month: '01'
oa_version: None
page: 252 - 264
publication: 3rd International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540604723'
publication_status: published
publisher: Springer
publist_id: '282'
quality_controlled: '1'
status: public
title: A note on abstract-interpretation strategies for hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...
---
_id: '4450'
abstract:
- lang: eng
text: "Hybrid systems model discrete programs that are embedded in continuous environments.
Model-checking tools are available for the analysis of linear hybrid systems,
whose continuous variables are bounded by piecewise-linear trajectories. Most
embedded programs, however, operate in nonlinear environments. We present, analyze,
and apply two algorithms for translating nonlinear hybrid systems into linear
hybrid systems.\r\nThe clock translation replaces nonlinear variables by clock
variables; the rate translation approximates nonlinear variables by piecewise-linear
envelopes. Both translations are sound for reachability; that is, if we establish
a safety property of the translated linear system, we may conclude that the original
nonlinear system satisfies the property. The clock translation is also complete
for reachability; that is, the original system and the translated system satisfy
the same safety properties. The two translations apply to incomparable classes
of nonlinear hybrid systems. From the clock translation we obtain a new decidability
result for hybrid systems.\r\nWith the help of Hytech, a symbolic model checker
for linear hybrid systems, we automatically verify a nonlinear railroad gate control
program using the clock translation, and a nonlinear temperature control program
using the rate translation."
acknowledgement: This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In:
7th International Conference on Computer Aided Verification. Vol 939. Springer;
1995:225-238. doi:10.1007/3-540-60045-0_53'
apa: 'Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid
systems. In 7th International Conference on Computer Aided Verification
(Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53'
chicago: Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” In 7th International Conference on Computer Aided Verification,
939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
ieee: T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,”
in 7th International Conference on Computer Aided Verification, Liege,
Belgium, 1995, vol. 939, pp. 225–238.
ista: 'Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems.
7th International Conference on Computer Aided Verification. CAV: Computer Aided
Verification, LNCS, vol. 939, 225–238.'
mla: Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” 7th International Conference on Computer Aided Verification,
vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
short: T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided
Verification, Springer, 1995, pp. 225–238.
conference:
end_date: 1995-07-05
location: Liege, Belgium
name: 'CAV: Computer Aided Verification'
start_date: 1995-07-03
date_created: 2018-12-11T12:08:55Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:48:52Z
day: '01'
doi: 10.1007/3-540-60045-0_53
extern: '1'
intvolume: ' 939'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60045-0_53
month: '01'
oa_version: None
page: 225 - 238
publication: 7th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540494133'
publication_status: published
publisher: Springer
publist_id: '280'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Algorithmic analysis of nonlinear hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 939
year: '1995'
...
---
_id: '4497'
abstract:
- lang: eng
text: "HyTech is a tool for the automated analysis of embedded systems. This document,
designed for the first-time user of HyTech, guides the reader through the underlying
system model, and through the input language for describing and analyzing systems.
The guide gives several examples of usage, and some hints for gaining maximal
computational efficiency from the tool.\r\nThe version of HyTech described in
this guide was released in August 1995, and is available through anonymous ftp
from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide
Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html."
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469,
by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3'
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech.
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer.
https://doi.org/10.1007/3-540-60630-0_3'
chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st
International Workshop on Tools and Algorithms for the Construction and Analysis
of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
vol. 1019, 41–71.'
mla: Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems,
vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools
and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp.
41–71.
conference:
end_date: 1995-05-20
location: Aarhus, Denmark
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 1995-05-19
date_created: 2018-12-11T12:09:09Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:00:05Z
day: '01'
doi: 10.1007/3-540-60630-0_3
extern: '1'
intvolume: ' 1019'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60630-0_3
month: '01'
oa_version: None
page: 41 - 71
publication: 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
isbn:
- '9783540606307'
publication_status: published
publisher: Springer
publist_id: '230'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A user guide to HyTech
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1019
year: '1995'
...
---
_id: '4498'
abstract:
- lang: eng
text: We present algorithms for computing similarity relations of labeled graphs.
Similarity relations have applications for the refinement and verification of
reactive systems. For finite graphs, we present an O(mn) algorithm for computing
the similarity relation of a graph with n vertices and m edges (assuming m⩾n).
For effectively presented infinite graphs, we present a symbolic similarity-checking
procedure that terminates if a finite similarity relation exists. We show that
2D rectangular automata, which model discrete reactive systems with continuous
environments, define effectively presented infinite graphs with finite similarity
relations. It follows that the refinement problem and the ∀CTL* model-checking
problem are decidable for 2D rectangular automata
article_processing_charge: No
author:
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
citation:
ama: 'Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite
graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science.
IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576'
apa: 'Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations
on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations
of Computer Science (pp. 453–462). Milwaukee, WI, United States of America:
IEEE. https://doi.org/10.1109/SFCS.1995.492576'
chicago: Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations
on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations
of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
ieee: M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on
finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations
of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.
ista: 'Henzinger MH, Henzinger TA, Kopke P. 1995. Computing simulations on finite
and infinite graphs. Proceedings of IEEE 36th Annual Foundations of Computer Science.
FOCS: Foundations of Computer Science, 453–462.'
mla: Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite
Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science,
IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
short: M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual
Foundations of Computer Science, IEEE, 1995, pp. 453–462.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:09:10Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2023-02-09T08:43:48Z
day: '01'
doi: 10.1109/SFCS.1995.492576
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 453 - 462
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
isbn:
- '0818671831'
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '231'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing simulations on finite and infinite graphs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '4499'
abstract:
- lang: eng
text: We describe a new implementation of HYTECH, a symbolic model checker for hybrid
systems. Given a parametric description of an embedded system as a collection
of communicating automata, HYTECH automatically computes the conditions on the
parameters under which the system satisfies its safety and timing requirements.
While the original HYTECH prototype was based on the symbolic algebra tool Mathematica,
the new implementation is written in C++ and builds on geometric algorithms instead
of formula manipulation. The new HYTECH offers a cleaner and more expressive input
language, greater portability, superior performance (typically two to three orders
of magnitude), and new features such as diagnostic error-trace generation. We
illustrate the effectiveness of the new implementation by applying HYTECH to the
automatic parametric analysis of the generic railroad crossing benchmark problem
and to an active structure control algorithm
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings
16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196 '
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation.
In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa,
Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196
'
chicago: 'Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”
In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995.
https://doi.org/10.1109/REAL.1995.495196
.'
ieee: 'T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in
Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp.
56–65.'
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings
16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.'
mla: 'Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings
16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .'
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time
Systems Symposium, IEEE, 1995, pp. 56–65.
conference:
end_date: 1995-12-07
location: Pisa, Italy
name: 'RTSS: Real-Time Systems Symposium'
start_date: 1995-12-05
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:33:19Z
day: '01'
doi: '10.1109/REAL.1995.495196 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/495196
month: '01'
oa_version: None
page: 56 - 65
publication: Proceedings 16th IEEE Real-Time Systems Symposium
publication_identifier:
isbn:
- '0818673370'
publication_status: published
publisher: IEEE
publist_id: '232'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'HyTech: The next generation'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4500'
abstract:
- lang: eng
text: 'We investigate the expressive power of timing restrictions on labeled transition
systems. In particular, we show how constraints on clock variables together with
a uniform liveness condition—the divergence of time—can express Büchi, Muller,
Streett, Rabin, and weak and strong fairness conditions on a given labeled transition
system. We then consider the effect, on both timed and time-abstract expressiveness,
of varying the following parameters: time domain (discrete or dense), number of
clocks, number of states, and size of constants used in timing restrictions.'
acknowledgement: "This research was supported in part by the National Science Foundation
under grant CCR-9200794, by the United States Air Force Office of Scientific Research
under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency
under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical
Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe
full version of this paper is available from the Department of Computer Science,
Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd
International Colloquium on Automata, Languages and Programming . Vol 944.
Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93'
apa: 'Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power
of clocks. In 22nd International Colloquium on Automata, Languages and Programming
(Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93'
chicago: Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive
Power of Clocks.” In 22nd International Colloquium on Automata, Languages and
Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
ieee: T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,”
in 22nd International Colloquium on Automata, Languages and Programming ,
Szeged, Hungary, 1995, vol. 944, pp. 417–428.
ista: 'Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks.
22nd International Colloquium on Automata, Languages and Programming . ICALP:
Automata, Languages and Programming, LNCS, vol. 944, 417–428.'
mla: Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 417–28, doi:10.1007/3-540-60084-1_93.
short: T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium
on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:58:31Z
day: '01'
doi: 10.1007/3-540-60084-1_93
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_93
month: '01'
oa_version: None
page: 417 - 428
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '229'
quality_controlled: '1'
status: public
title: The expressive power of clocks
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '4502'
abstract:
- lang: eng
text: "Hybrid automata model systems with both digital and analog components, such
as embedded control programs. Many verification tasks for such programs can be
expressed as reachability problems for hybrid automata. By improving on previous
decidability and undecidability results, we identify the precise boundary between
decidability and undecidability of the reachability problem for hybrid automata.\r\n\r\nOn
the positive side, we give an (optimal) PSPACE reachability algorithm for the
case of initialized rectangular automata, where all analog variables follow trajectories
within piecewise-linear envelopes and are reinitialized whenever the envelope
changes. Our algorithm is based on the construction of a timed automaton that
contains all reachability information about a given initialized rectangular automaton.
The translation has practical significance for verification, because it guarantees
the termination of symbolic procedures for the reachability analysis of initialized
rectangular automata. The translation also preserves the omega-languages of initialized
rectangular automata with bounded nondeterminism.\r\n\r\nOn the negative side,
we show that several slight generalizations of initialized rectangular automata
lead to an undecidable reachability problem. In particular, we prove that the
reachability problem is undecidable for timed automata augmented with a single
stopwatch."
acknowledgement: "We thank Howard Wong-Toi for a careful reading.\r\n"
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Anuj
full_name: Puri, Anuj
last_name: Puri
- first_name: P.
full_name: Varaiya, P.
last_name: Varaiya
citation:
ama: 'Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata?
In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing.
ACM; 1995:373-382. doi:10.1145/225058.225162'
apa: 'Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable
about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory
of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM.
https://doi.org/10.1145/225058.225162'
chicago: Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable
about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on
Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
ieee: T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about
hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory
of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
ista: 'Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid
automata? Proceedings of the 27th annual ACM symposium on Theory of computing.
STOC: Symposium on the Theory of Computing, 373–382.'
mla: Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings
of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82,
doi:10.1145/225058.225162.
short: T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th
Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
conference:
end_date: 1995-06-01
location: Las Vegas, NV, United States of America
name: 'STOC: Symposium on the Theory of Computing'
start_date: 1995-05-29
date_created: 2018-12-11T12:09:11Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:40:29Z
day: '01'
doi: 10.1145/225058.225162
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.1145/225058.225162
month: '01'
oa: 1
oa_version: Published Version
page: 373 - 382
publication: Proceedings of the 27th annual ACM symposium on Theory of computing
publication_identifier:
isbn:
- '9780897917186'
publication_status: published
publisher: ACM
publist_id: '228'
quality_controlled: '1'
status: public
title: What's decidable about hybrid automata?
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4518'
abstract:
- lang: eng
text: The analysis, verification, and control of hybrid automata with finite bisimulations
can be reduced to finite-state problems. We advocate a time-abstract, phase-based
methodology for checking if a given hybrid automaton has a finite bisimulation.
First, we factor the automaton into two components, a boolean automaton with a
discrete dynamics on the finite state space B m and a euclidean automaton with
a continuous dynamics on the infinite state space n . Second, we investigate
the phase portrait of the euclidean component. In this fashion, we obtain new
decidability results for hybrid systems as well as new, uniform proofs of known
decidability results.
acknowledgement: "This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.\r\n"
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International
Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335.
doi:10.1007/3-540-60084-1_85'
apa: 'Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd
International Colloquium on Automata, Languages and Programming (Vol. 944,
pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85'
chicago: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd
International Colloquium on Automata, Languages and Programming , 944:324–35.
Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.
ieee: T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International
Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995,
vol. 944, pp. 324–335.
ista: 'Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International
Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages
and Programming, LNCS, vol. 944, 324–335.'
mla: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 324–35, doi:10.1007/3-540-60084-1_85.
short: T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages
and Programming , Springer, 1995, pp. 324–335.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:21:08Z
day: '01'
doi: 10.1007/3-540-60084-1_85
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_85
month: '01'
oa_version: None
page: 324 - 335
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '212'
quality_controlled: '1'
status: public
title: Hybrid automata with finite bisimulations
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '2488'
abstract:
- lang: eng
text: Substance P receptor-expressing neurons in the rat cerebral neocortex were
examined by single- and double-immunolabeling methods with an affinity-purified
specific antibody to substance P receptor. Substance P receptor immunoreactivity
was observed exclusively in non-pyramidal neurons. About a quarter of these substance
P receptor-positive neocortical neurons showed intense immunoreactivity, and the
other three quarters displayed weak substance P receptor immunoreactivity. The
neurons showing intense substance P receptor immunoreactivity were large multipolar
cells with a few long aspiny or sparsely-spiny dendrites, and were scattered throughout
the neocortical layers except for layer I, and also in the underlying white matter.
The weakly immunoreactive neurons were medium-sized multipolar cells with oval
to round somata and aspiny varicose dendrites, and were distributed in all cortical
layers with a bias to layers II-III and the superficial part of layer V. The double-immunofluorescence
study revealed that almost all substance P receptor-positive neurons were immunoreactive
for GABA, but negative for glutaminase. Substance P receptor immunoreactivity
in GABAergic neocortical neurons were further examined by the double-immunofluorescence
method with antibodies to markers for subgroups of GABAergic neurons. Somatostatin
immunoreactivity was found in 89% of neurons with intense substance P receptor
immunoreactivity, and in 1.5% of neurons with weak substance P receptor immunoreactivity.
Neuropeptide Y immunoreactivity was also observed in 92% of neurons with intense
immunoreactivity for substance P receptor, and in 1.6% of neurons with weak immunoreactivity
for substance P receptor. In contrast, parvalbumin immunoreactivity was seen in
1.3% of neurons with intense substance P receptor immunoreactivity, and in 59%
of weak substance P receptor immunoreactivity. Calbindin D28k immunoreactivity
was found in 12 and 19% of neurons, respectively, with weak and intense immunoreactivities
for substance P receptor. Virtually no cells showing substance P receptor immunoreactivity
displayed immunoreactivity for vasoactive intestinal polypeptide or choline acetyltransferase.
These results indicate that the neocortical neurons expressing substance P receptor
constitute a subpopulation of GABAergic non-pyramidal cells, and are segregated
into neurons with intense immunoreactivity and those with weak immunoreactivity
for substance P receptor; the vast majority of neurons with intense substance
P receptor immunoreactivity contain somatostatin and neuropeptide Y, and the majority
of neurons with weak substance P receptor immunoreactivity have parvalbumin.
acknowledgement: We are grateful for photographic help of Mr A. Uesugi, and the support
of Drs S. Fukuchi, T. Fukuda, R. Hayashi, M. Katsurada, Y. Kitani, K. Kumagai, H.
Kuroda, H. Matsubara, H. Matsushima, C. Minakuchi, M. Nishio, G. Niwa, H. Ckla,
M. Ohbayashi, S. Ohbayashi, H. Ohtsuka, S. Tamaki, E. Watanabe, K. Yoshino and Y.
Yoshino. This work was supported in part by Grants-in-Aid for Scientific Research
on Priority Areas 05248207 and 05267104, and Scientific Research (B) 05454658 and
(C) 05680658 from the Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics
of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience.
1994;60(1):199-211. doi:10.1016/0306-4522(94)90215-1
apa: Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Morphological
and chemical characteristics of substance P receptor immunoreactive neurons in
the rat neocortex. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90215-1
chicago: Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno.
“Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive
Neurons in the Rat Neocortex.” Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90215-1.
ieee: T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical
characteristics of substance P receptor immunoreactive neurons in the rat neocortex,”
Neuroscience, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.
ista: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical
characteristics of substance P receptor immunoreactive neurons in the rat neocortex.
Neuroscience. 60(1), 199–211.
mla: Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance
P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience,
vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:10.1016/0306-4522(94)90215-1.
short: T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994)
199–211.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-05-01T00:00:00Z
date_updated: 2022-06-09T12:22:16Z
day: '01'
doi: 10.1016/0306-4522(94)90215-1
extern: '1'
external_id:
pmid:
- '8052413'
intvolume: ' 60'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0306452294902151?via%3Dihub
month: '05'
oa_version: None
page: 199 - 211
pmid: 1
publication: Neuroscience
publication_identifier:
issn:
- 0306-4522
publication_status: published
publisher: Elsevier
publist_id: '4413'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Morphological and chemical characteristics of substance P receptor immunoreactive
neurons in the rat neocortex
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 60
year: '1994'
...
---
_id: '2489'
abstract:
- lang: eng
text: 'Five N-methyl-D-aspartate (NMDA) receptor subunits have been identified thus
far: NR1, NR2A, NR2B, NR2C, and NR2D. Here, we have analyzed the expression patterns
of mRNAs for the NMDA receptor subunits in the developing and adult rats by in
situ hybridization. The developmental changes of the expression patterns were
most salient in the cerebellum. In the external granular layer, hybridization
signals of mRNAs for NR1, NR2A, NR2B, and NR2C appeared by postnatal day 3, but
no NR2D mRNA was expressed at any developmental stage examined. The NR1 mRNA was
expressed in all cerebellar neurons at all developmental stages examined. The
signals for the NR2A mRNA appeared in Purkinje cells and granule cells during
the second postnatal week. The signals for the NR2B mRNA in granule cells were
seen transiently during the first 2 weeks after birth. The signals for NR2C mRNA
appeared in granule cells and glial cells during the second postnatal week. The
signals for NR2D mRNA appeared transiently in Purkinje cells during the first
8 postnatal days; in adult rats, these were seen in stellate and Golgi cells.
In the cerebellar nuclei, mRNAs for NR1, NR2A, NR2B, and NR2D were more or less
expressed on postnatal day 0, while expression signals for the NR2C mRNA were
first detected in postnatal day 14. Thus, the most conspicuous changes of expression
patterns were observed in the cerebellar cortex during the first 2 weeks after
birth, when development and maturation of the cerebellum proceed most rapidly.'
acknowledgement: We are grateful to Mr. Akira Uesugi for photographic help and
for the support of Drs. Satoru Fukuchi, Toshio Fukuda, Ritsu Hayashi, Mizuho Katsurada,
Yutaka Kitani, Keiko Kumagai, Toshihiko Kuroda, Hiroshi Matsubara, Hiroshi Matsushima,
Chisato Minakuchi, Masatoshi Nishio, Gonpei Niwa Hajime Oda, Masahiko Ohbayashi,
Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watan- abe, Kazuo Yoshino,
and Toshiaki Yoshino. This work was supported in part by research grants from the
Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Chihiro
full_name: Akazawa, Chihiro
last_name: Akazawa
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Yasumasa
full_name: Bessho, Yasumasa
last_name: Bessho
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression
of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing
and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160.
doi:10.1002/cne.903470112
apa: Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., & Mizuno, N. (1994).
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in
the cerebellum of developing and adult rats. Journal of Comparative Neurology.
Wiley-Blackwell. https://doi.org/10.1002/cne.903470112
chicago: Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi,
and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor
Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative
Neurology. Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470112.
ieee: C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential
expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum
of developing and adult rats,” Journal of Comparative Neurology, vol. 347,
no. 1. Wiley-Blackwell, pp. 150–160, 1994.
ista: Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential
expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum
of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
mla: Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate
Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal
of Comparative Neurology, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60,
doi:10.1002/cne.903470112.
short: C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of
Comparative Neurology 347 (1994) 150–160.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-09-01T00:00:00Z
date_updated: 2022-06-09T12:11:20Z
day: '01'
doi: 10.1002/cne.903470112
extern: '1'
external_id:
pmid:
- '7798379'
intvolume: ' 347'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://onlinelibrary.wiley.com/doi/10.1002/cne.903470112
month: '09'
oa_version: None
page: 150 - 160
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4412'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs
in the cerebellum of developing and adult rats
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 347
year: '1994'
...
---
_id: '2490'
abstract:
- lang: eng
text: Distribution of the messenger RNA for the prostaglandin E receptor subtype
EP3 was investigated by in situ hybridization in the nervous system of the mouse.
The hybridization signals for EP3 were widely distributed in the brain and sensory
ganglia and specifically localized to neurons. In the dorsal root and trigeminal
ganglia, about half of the neurons were labeled intensely. In the brain, intensely
labeled neurons were found in Ammon's horn, the preoptic nuclei, lateral hypothalamic
area, dorsomedial hypothalamic nucleus, lateral mammillary nucleus, entopeduncular
nucleus, substantia nigra pars compacta, locus coeruleus and raphe nuclei. Moderately
labeled neurons were seen in the mitral cell layer of the main olfactory bulb,
layer V of the entorhinal and parasubicular cortices, layers V and VI of the cerebral
neocortex, nuclei of the diagonal band, magnocellular preoptic nucleus, globus
pallidus and lateral parabrachial nucleus. In the thalamus, moderately labeled
neurons were distributed in the anterior, ventromedial, laterodorsal, paraventricular
and central medial nuclei. Based on these distributions, we suggest that EP3 not
only mediates prostaglandin E2 signals evoked by blood-borne cytokines in the
areas poor in the blood-brain barrier, but also responds to those formed intrinsically
within the brain to modulate various neuronal activities. Possible EP3 actions
are discussed in relation to the reported neuronal activities of prostaglandin
E2 in the brain.
acknowledgement: 'This work was supported in part by Grants-in-aid for Scientific
Research 05404020, 04255103. 05771975, 05671816 and 05454568 from the Ministry of
Education, Science and Culture of Japan and by grants from the Mitsubishi Foundation
and the Takeda Science Foundation. We are grateful to Mr Akira Uesugi for photographic
help. We also thank Drs Chihiro Akazawa, Hitoshi Ohishi and Masabumi Minami for
helpful discussions. '
article_processing_charge: No
article_type: original
author:
- first_name: Yukihiko
full_name: Sugimoto, Yukihiko
last_name: Sugimoto
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Tsunehisa
full_name: Namba, Tsunehisa
last_name: Namba
- first_name: Manabu
full_name: Negishi, Manabu
last_name: Negishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
- first_name: Shuh
full_name: Narumiya, Shuh
last_name: Narumiya
- first_name: Atsushi
full_name: Ichikawa, Atsushi
last_name: Ichikawa
citation:
ama: Sugimoto Y, Shigemoto R, Namba T, et al. Distribution of the messenger rna
for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience.
1994;62(3):919-928. doi:10.1016/0306-4522(94)90483-9
apa: Sugimoto, Y., Shigemoto, R., Namba, T., Negishi, M., Mizuno, N., Narumiya,
S., & Ichikawa, A. (1994). Distribution of the messenger rna for the prostaglandin
e receptor subtype ep3 in the mouse nervous system. Neuroscience. Elsevier.
https://doi.org/10.1016/0306-4522(94)90483-9
chicago: Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi,
Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger
Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.”
Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90483-9.
ieee: Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin
e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol.
62, no. 3. Elsevier, pp. 919–928, 1994.
ista: Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa
A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype
ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.
mla: Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin
e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience, vol.
62, no. 3, Elsevier, 1994, pp. 919–28, doi:10.1016/0306-4522(94)90483-9.
short: Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya,
A. Ichikawa, Neuroscience 62 (1994) 919–928.
date_created: 2018-12-11T11:57:58Z
date_published: 1994-10-01T00:00:00Z
date_updated: 2022-06-09T11:56:23Z
day: '01'
doi: 10.1016/0306-4522(94)90483-9
extern: '1'
external_id:
pmid:
- '7870313'
intvolume: ' 62'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0306452294904839?via%3Dihub
month: '10'
oa_version: None
page: 919 - 928
pmid: 1
publication: Neuroscience
publication_identifier:
issn:
- 0306-4522
publication_status: published
publisher: Elsevier
publist_id: '4411'
quality_controlled: '1'
status: public
title: Distribution of the messenger rna for the prostaglandin e receptor subtype
ep3 in the mouse nervous system
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 62
year: '1994'
...