---
_id: '4075'
abstract:
- lang: eng
  text: A key problem in computational geometry is the identification of subsets of
    a point set having particular properties. We study this problem for the properties
    of convexity and emptiness. We show that finding empty triangles is related to
    the problem of determining pairs of vertices that see each other in a star-shaped
    polygon. A linear-time algorithm for this problem which is of independent interest
    yields an optimal algorithm for finding all empty triangles. This result is then
    extended to an algorithm for finding empty convex r-gons (r&gt; 3) and for determining
    a largest empty convex subset. Finally, extensions to higher dimensions are mentioned.
acknowledgement: The first author is pleased to acknowledge support by the National
  Science Foundation under Grant CCR-8700917. The research of the second author was
  supported by Amoco Foundation Faculty Development Grant CS 1-6-44862 and by the
  National Science Foundatio
article_processing_charge: No
article_type: original
author:
- first_name: David
  full_name: Dobkin, David
  last_name: Dobkin
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Mark
  full_name: Overmars, Mark
  last_name: Overmars
citation:
  ama: Dobkin D, Edelsbrunner H, Overmars M. Searching for empty convex polygons.
    <i>Algorithmica</i>. 1990;5(4):561-571. doi:<a href="https://doi.org/10.1007/BF01840404">10.1007/BF01840404</a>
  apa: Dobkin, D., Edelsbrunner, H., &#38; Overmars, M. (1990). Searching for empty
    convex polygons. <i>Algorithmica</i>. Springer. <a href="https://doi.org/10.1007/BF01840404">https://doi.org/10.1007/BF01840404</a>
  chicago: Dobkin, David, Herbert Edelsbrunner, and Mark Overmars. “Searching for
    Empty Convex Polygons.” <i>Algorithmica</i>. Springer, 1990. <a href="https://doi.org/10.1007/BF01840404">https://doi.org/10.1007/BF01840404</a>.
  ieee: D. Dobkin, H. Edelsbrunner, and M. Overmars, “Searching for empty convex polygons,”
    <i>Algorithmica</i>, vol. 5, no. 4. Springer, pp. 561–571, 1990.
  ista: Dobkin D, Edelsbrunner H, Overmars M. 1990. Searching for empty convex polygons.
    Algorithmica. 5(4), 561–571.
  mla: Dobkin, David, et al. “Searching for Empty Convex Polygons.” <i>Algorithmica</i>,
    vol. 5, no. 4, Springer, 1990, pp. 561–71, doi:<a href="https://doi.org/10.1007/BF01840404">10.1007/BF01840404</a>.
  short: D. Dobkin, H. Edelsbrunner, M. Overmars, Algorithmica 5 (1990) 561–571.
date_created: 2018-12-11T12:06:47Z
date_published: 1990-06-01T00:00:00Z
date_updated: 2022-02-21T10:55:13Z
day: '01'
doi: 10.1007/BF01840404
extern: '1'
intvolume: '         5'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF01840404
month: '06'
oa_version: None
page: 561 - 571
publication: Algorithmica
publication_identifier:
  eissn:
  - 1432-0541
  issn:
  - 0178-4617
publication_status: published
publisher: Springer
publist_id: '2049'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Searching for empty convex polygons
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 5
year: '1990'
...
---
_id: '4076'
abstract:
- lang: eng
  text: We present an algorithm to compute a Euclidean minimum spanning tree of a
    given set S of n points in Ed in time O(Td(N, N) logd N), where Td(n, m) is the
    time required to compute a bichromatic closest pair among n red and m blue points
    in Ed. If Td(N, N) = Ω(N1+ε), for some fixed ε &gt; 0, then the running time improves
    to O(Td(N, N)). Furthermore, we describe a randomized algorithm to compute a bichromatic
    closets pair in expected time O((nm log n log m)2/3+m log2 n + n log2 m) in E3,
    which yields an O(N4/3log4/3 N) expected time algorithm for computing a Euclidean
    minimum spanning tree of N points in E3.
article_processing_charge: No
author:
- first_name: Pankaj
  full_name: Agarwal, Pankaj
  last_name: Agarwal
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Otfried
  full_name: Schwarzkopf, Otfried
  last_name: Schwarzkopf
- first_name: Emo
  full_name: Welzl, Emo
  last_name: Welzl
citation:
  ama: 'Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E.  Euclidean minimum spanning
    trees and bichromatic closest pairs. In: <i>Proceedings of the 6th Annual Symposium
    on Computational Geometry</i>. ACM; 1990:203-210. doi:<a href="https://doi.org/10.1145/98524.98567">10.1145/98524.98567</a>'
  apa: 'Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., &#38; Welzl, E. (1990).  Euclidean
    minimum spanning trees and bichromatic closest pairs. In <i>Proceedings of the
    6th annual symposium on Computational geometry</i> (pp. 203–210). Berkeley, CA,
    United States: ACM. <a href="https://doi.org/10.1145/98524.98567">https://doi.org/10.1145/98524.98567</a>'
  chicago: Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl.
    “ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” In <i>Proceedings
    of the 6th Annual Symposium on Computational Geometry</i>, 203–10. ACM, 1990.
    <a href="https://doi.org/10.1145/98524.98567">https://doi.org/10.1145/98524.98567</a>.
  ieee: P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “ Euclidean minimum
    spanning trees and bichromatic closest pairs,” in <i>Proceedings of the 6th annual
    symposium on Computational geometry</i>, Berkeley, CA, United States, 1990, pp.
    203–210.
  ista: 'Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1990.  Euclidean minimum
    spanning trees and bichromatic closest pairs. Proceedings of the 6th annual symposium
    on Computational geometry. SCG: Symposium on Computational Geometry, 203–210.'
  mla: Agarwal, Pankaj, et al. “ Euclidean Minimum Spanning Trees and Bichromatic
    Closest Pairs.” <i>Proceedings of the 6th Annual Symposium on Computational Geometry</i>,
    ACM, 1990, pp. 203–10, doi:<a href="https://doi.org/10.1145/98524.98567">10.1145/98524.98567</a>.
  short: P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, Proceedings of
    the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–210.
conference:
  end_date: 1990-06-09
  location: Berkeley, CA, United States
  name: 'SCG: Symposium on Computational Geometry'
  start_date: 1990-06-07
date_created: 2018-12-11T12:06:48Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-16T15:30:22Z
day: '01'
doi: 10.1145/98524.98567
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/98524.98567
month: '01'
oa_version: None
page: 203 - 210
publication: Proceedings of the 6th annual symposium on Computational geometry
publication_identifier:
  isbn:
  - 978-0-89791-362-1
publication_status: published
publisher: ACM
publist_id: '2044'
quality_controlled: '1'
scopus_import: '1'
status: public
title: ' Euclidean minimum spanning trees and bichromatic closest pairs'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4077'
abstract:
- lang: eng
  text: We prove that for any set S of n points in the plane and n3-α triangles spanned
    by the points of S there exists a point (not necessarily of S) contained in at
    least n3-3α/(512 log25 n) of the triangles. This implies that any set of n points
    in three - dimensional space defines at most 6.4n8/3 log5/3 n halving planes.
article_processing_charge: No
author:
- first_name: Boris
  full_name: Aronov, Boris
  last_name: Aronov
- 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: Leonidas
  full_name: Guibas, Leonidas
  last_name: Guibas
- first_name: Micha
  full_name: Sharir, Micha
  last_name: Sharir
- first_name: Rephael
  full_name: Wenger, Rephael
  last_name: Wenger
citation:
  ama: 'Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. Points
    and triangles in the plane and halving planes in space. In: <i>Proceedings of
    the 6th Annual Symposium on Computational Geometry</i>. ACM; 1990:112-115. doi:<a
    href="https://doi.org/10.1145/98524.98548">10.1145/98524.98548</a>'
  apa: 'Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., &#38;
    Wenger, R. (1990). Points and triangles in the plane and halving planes in space.
    In <i>Proceedings of the 6th annual symposium on Computational geometry</i> (pp.
    112–115). Berkley, CA, United States: ACM. <a href="https://doi.org/10.1145/98524.98548">https://doi.org/10.1145/98524.98548</a>'
  chicago: Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas,
    Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving
    Planes in Space.” In <i>Proceedings of the 6th Annual Symposium on Computational
    Geometry</i>, 112–15. ACM, 1990. <a href="https://doi.org/10.1145/98524.98548">https://doi.org/10.1145/98524.98548</a>.
  ieee: B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and R. Wenger,
    “Points and triangles in the plane and halving planes in space,” in <i>Proceedings
    of the 6th annual symposium on Computational geometry</i>, Berkley, CA, United
    States, 1990, pp. 112–115.
  ista: 'Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. 1990.
    Points and triangles in the plane and halving planes in space. Proceedings of
    the 6th annual symposium on Computational geometry. SCG: Symposium on Computational
    Geometry, 112–115.'
  mla: Aronov, Boris, et al. “Points and Triangles in the Plane and Halving Planes
    in Space.” <i>Proceedings of the 6th Annual Symposium on Computational Geometry</i>,
    ACM, 1990, pp. 112–15, doi:<a href="https://doi.org/10.1145/98524.98548">10.1145/98524.98548</a>.
  short: B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger,
    in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990,
    pp. 112–115.
conference:
  end_date: 1990-06-09
  location: Berkley, CA, United States
  name: 'SCG: Symposium on Computational Geometry'
  start_date: 1990-06-07
date_created: 2018-12-11T12:06:48Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-17T09:42:27Z
day: '01'
doi: 10.1145/98524.98548
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/98524.98548
month: '01'
oa_version: None
page: 112 - 115
publication: Proceedings of the 6th annual symposium on Computational geometry
publication_identifier:
  isbn:
  - 978-0-89791-362-1
publication_status: published
publisher: ACM
publist_id: '2045'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Points and triangles in the plane and halving planes in space
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4078'
abstract:
- lang: eng
  text: In this paper we derived combinatorial point selection results for geometric
    objects defined by pairs of points. In a nutshell, the results say that if many
    pairs of a set of n points in some fixed dimension each define a geometric object
    of some type, then there is a point covered by many of these objects. Based on
    such a result for three-dimensional spheres we show that the combinatorial size
    of the Delaunay triangulation of a point set in space can be reduced by adding
    new points. We believe that from a practical point of view this is the most important
    result of this paper.
article_processing_charge: No
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: Leonidas
  full_name: Guibas, Leonidas
  last_name: Guibas
- first_name: John
  full_name: Hershberger, John
  last_name: Hershberger
- first_name: Raimund
  full_name: Seidel, Raimund
  last_name: Seidel
- first_name: Micha
  full_name: Sharir, Micha
  last_name: Sharir
citation:
  ama: 'Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Slimming
    down by adding; selecting heavily covered points. In: <i>Proceedings of the 6th
    Annual Symposium on Computational Geometry</i>. ACM; 1990:116-127. doi:<a href="https://doi.org/10.1145/98524.98551">10.1145/98524.98551</a>'
  apa: 'Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., &#38;
    Sharir, M. (1990). Slimming down by adding; selecting heavily covered points.
    In <i>Proceedings of the 6th annual symposium on computational geometry</i> (pp.
    116–127). Berkley, CA, United States: ACM. <a href="https://doi.org/10.1145/98524.98551">https://doi.org/10.1145/98524.98551</a>'
  chicago: Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger,
    Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily
    Covered Points.” In <i>Proceedings of the 6th Annual Symposium on Computational
    Geometry</i>, 116–27. ACM, 1990. <a href="https://doi.org/10.1145/98524.98551">https://doi.org/10.1145/98524.98551</a>.
  ieee: B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M.
    Sharir, “Slimming down by adding; selecting heavily covered points,” in <i>Proceedings
    of the 6th annual symposium on computational geometry</i>, Berkley, CA, United
    States, 1990, pp. 116–127.
  ista: 'Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M.
    1990. Slimming down by adding; selecting heavily covered points. Proceedings of
    the 6th annual symposium on computational geometry. SCG: Symposium on Computational
    Geometry, 116–127.'
  mla: Chazelle, Bernard, et al. “Slimming down by Adding; Selecting Heavily Covered
    Points.” <i>Proceedings of the 6th Annual Symposium on Computational Geometry</i>,
    ACM, 1990, pp. 116–27, doi:<a href="https://doi.org/10.1145/98524.98551">10.1145/98524.98551</a>.
  short: B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir,
    in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990,
    pp. 116–127.
conference:
  end_date: 1990-06-09
  location: Berkley, CA, United States
  name: 'SCG: Symposium on Computational Geometry'
  start_date: 1990-06-07
date_created: 2018-12-11T12:06:48Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-17T10:09:54Z
day: '01'
doi: 10.1145/98524.98551
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/98524.98551
month: '01'
oa_version: None
page: 116 - 127
publication: Proceedings of the 6th annual symposium on computational geometry
publication_identifier:
  isbn:
  - 978-0-89791-362-1
publication_status: published
publisher: ACM
publist_id: '2046'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Slimming down by adding; selecting heavily covered points
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4310'
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
- first_name: Steve
  full_name: Jones, Steve
  last_name: Jones
citation:
  ama: Barton NH, Jones S. The language of the genes. <i>Nature</i>. 1990;346:415-416.
    doi:<a href="https://doi.org/10.1038/346415a0">10.1038/346415a0</a>
  apa: Barton, N. H., &#38; Jones, S. (1990). The language of the genes. <i>Nature</i>.
    Nature Publishing Group. <a href="https://doi.org/10.1038/346415a0">https://doi.org/10.1038/346415a0</a>
  chicago: Barton, Nicholas H, and Steve Jones. “The Language of the Genes.” <i>Nature</i>.
    Nature Publishing Group, 1990. <a href="https://doi.org/10.1038/346415a0">https://doi.org/10.1038/346415a0</a>.
  ieee: N. H. Barton and S. Jones, “The language of the genes,” <i>Nature</i>, vol.
    346. Nature Publishing Group, pp. 415–416, 1990.
  ista: Barton NH, Jones S. 1990. The language of the genes. Nature. 346, 415–416.
  mla: Barton, Nicholas H., and Steve Jones. “The Language of the Genes.” <i>Nature</i>,
    vol. 346, Nature Publishing Group, 1990, pp. 415–16, doi:<a href="https://doi.org/10.1038/346415a0">10.1038/346415a0</a>.
  short: N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
date_created: 2018-12-11T12:08:11Z
date_published: 1990-08-02T00:00:00Z
date_updated: 2022-02-16T10:51:50Z
day: '02'
doi: 10.1038/346415a0
extern: '1'
intvolume: '       346'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/346415a0
month: '08'
oa_version: None
page: 415 - 416
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '1749'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The language of the genes
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 346
year: '1990'
...
---
_id: '4311'
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
- first_name: A.
  full_name: Clark, A.
  last_name: Clark
citation:
  ama: 'Barton NH, Clark A. Population structure and processes in evolution. In: Wöhrmann
    K, Jain S, eds. <i>Population Biology: Ecological and Evolutionary Viewpoints</i>.
    Springer; 1990:115-174. doi:<a href="https://doi.org/10.1007/978-3-642-74474-7_5">10.1007/978-3-642-74474-7_5</a>'
  apa: 'Barton, N. H., &#38; Clark, A. (1990). Population structure and processes
    in evolution. In K. Wöhrmann &#38; S. Jain (Eds.), <i>Population biology: Ecological
    and evolutionary viewpoints</i> (pp. 115–174). Springer. <a href="https://doi.org/10.1007/978-3-642-74474-7_5">https://doi.org/10.1007/978-3-642-74474-7_5</a>'
  chicago: 'Barton, Nicholas H, and A. Clark. “Population Structure and Processes
    in Evolution.” In <i>Population Biology: Ecological and Evolutionary Viewpoints</i>,
    edited by Klaus Wöhrmann and Subodh Jain, 115–74. Springer, 1990. <a href="https://doi.org/10.1007/978-3-642-74474-7_5">https://doi.org/10.1007/978-3-642-74474-7_5</a>.'
  ieee: 'N. H. Barton and A. Clark, “Population structure and processes in evolution,”
    in <i>Population biology: Ecological and evolutionary viewpoints</i>, K. Wöhrmann
    and S. Jain, Eds. Springer, 1990, pp. 115–174.'
  ista: 'Barton NH, Clark A. 1990.Population structure and processes in evolution.
    In: Population biology: Ecological and evolutionary viewpoints. , 115–174.'
  mla: 'Barton, Nicholas H., and A. Clark. “Population Structure and Processes in
    Evolution.” <i>Population Biology: Ecological and Evolutionary Viewpoints</i>,
    edited by Klaus Wöhrmann and Subodh Jain, Springer, 1990, pp. 115–74, doi:<a href="https://doi.org/10.1007/978-3-642-74474-7_5">10.1007/978-3-642-74474-7_5</a>.'
  short: 'N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology:
    Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.'
date_created: 2018-12-11T12:08:11Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-16T10:49:05Z
day: '01'
doi: 10.1007/978-3-642-74474-7_5
editor:
- first_name: Klaus
  full_name: Wöhrmann, Klaus
  last_name: Wöhrmann
- first_name: Subodh
  full_name: Jain, Subodh
  last_name: Jain
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/book/10.1007/978-3-642-74474-7
month: '01'
oa_version: None
page: 115 - 174
publication: 'Population biology: Ecological and evolutionary viewpoints'
publication_identifier:
  isbn:
  - ' 978-3642744761'
publication_status: published
publisher: Springer
publist_id: '1748'
quality_controlled: '1'
status: public
title: Population structure and processes in evolution
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4510'
abstract:
- lang: eng
  text: "The interleaving model is both adequate and sufficiently abstract to allow
    for the practical specification and verification of many properties of concurrent
    systems. We incorporate real time into this model by defining the abstract notion
    of a real-time transition system as a conservative extension of traditional transition
    systems: qualitative fairness requirements are replaced (and superseded) by quantitative
    lower-bound and upper-bound real-time requirements for transitions.\r\nWe present
    proof rules to establish lower and upper real-time bounds for response properties
    of real-time transition systems. This proof system can be used to verify bounded-invariance
    and bounded-response properties, such as timely termination of shared-variables
    multi-process systems, whose semantics is defined in terms of real-time transition
    systems."
acknowledgement: 'Sponsors: IBM graduate fellowship,  National Science Foundation
  grant CCR-89-11512,  National Science Foundation CCR-89-13641, Defense Advanced
  Research Projects Agency under contract N00039-84-C-0211,  United States Air Force
  Office of Scientific Research under contract AFOSR-90-0057,  European Community
  ESPRIT Basic Research Action project 3096 (SPEC).'
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: Zohar
  full_name: Manna, Zohar
  last_name: Manna
- first_name: Amir
  full_name: Pnueli, Amir
  last_name: Pnueli
citation:
  ama: 'Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In:
    <i> Proceedings of the 5th Jerusalem Conference on Information Technology</i>.
    IEEE; 1990:717-730. doi:<a href="https://doi.org/10.1109/JCIT.1990.128356">10.1109/JCIT.1990.128356</a>'
  apa: 'Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1990). An interleaving model
    for real time. In <i> Proceedings of the 5th Jerusalem Conference on Information
    Technology</i> (pp. 717–730). Jerusalem, Israel: IEEE. <a href="https://doi.org/10.1109/JCIT.1990.128356">https://doi.org/10.1109/JCIT.1990.128356</a>'
  chicago: Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model
    for Real Time.” In <i> Proceedings of the 5th Jerusalem Conference on Information
    Technology</i>, 717–30. IEEE, 1990. <a href="https://doi.org/10.1109/JCIT.1990.128356">https://doi.org/10.1109/JCIT.1990.128356</a>.
  ieee: T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real
    time,” in <i> Proceedings of the 5th Jerusalem Conference on Information Technology</i>,
    Jerusalem, Israel, 1990, pp. 717–730.
  ista: 'Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time.  Proceedings
    of the 5th Jerusalem Conference on Information Technology. JCIT: Jerusalem Conference
    on Information Technology, 717–730.'
  mla: Henzinger, Thomas A., et al. “An Interleaving Model for Real Time.” <i> Proceedings
    of the 5th Jerusalem Conference on Information Technology</i>, IEEE, 1990, pp.
    717–30, doi:<a href="https://doi.org/10.1109/JCIT.1990.128356">10.1109/JCIT.1990.128356</a>.
  short: T.A. Henzinger, Z. Manna, A. Pnueli, in:,  Proceedings of the 5th Jerusalem
    Conference on Information Technology, IEEE, 1990, pp. 717–730.
conference:
  end_date: 1990-10-25
  location: Jerusalem, Israel
  name: 'JCIT: Jerusalem Conference on Information Technology'
  start_date: 1990-10-22
date_created: 2018-12-11T12:09:14Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-15T15:51:25Z
day: '01'
doi: 10.1109/JCIT.1990.128356
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/128356
month: '01'
oa_version: None
page: 717 - 730
publication: ' Proceedings of the 5th Jerusalem Conference on Information Technology'
publication_identifier:
  isbn:
  - 0-8186-2078-1
publication_status: published
publisher: IEEE
publist_id: '220'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An interleaving model for real time
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4522'
abstract:
- lang: eng
  text: 'We introduce a novel extension of propositional modal logic that is interpreted
    over Kripke structures in which a value is associated with every possible world.
    These values are. however, not treated as full first-order objects: they can be
    accessed only by a very restricted form of quantification: the "freeze" quantifier
    binds a variable to the value of the current world. We present a complete proof
    system for this ("half-order") modal logic. As a special case, we obtain the real-time
    temporal logic TPTL of [AH891: the models are restricted to infinite sequences
    of states, whose values are monotonically increasing natural numbers. The ordering
    relation between states is interpreted as temporal precedence. while the value
    associated with a state is interpreted as its "rear time. We extend our proof
    system to be complete for TPTL. and demonstrate how it can be used to derive real-time
    properties. '
acknowledgement: Many thanks to Rajeev Alur, Adam Grove, Zohar Manna, and Amir Pnueli
  for their continuous discussions and support.
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. Half-order modal logic: How to prove real-time properties. In:
    <i>Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing</i>.
    ACM; 1990:281-296. doi:<a href="https://doi.org/10.1145/93385.93429">10.1145/93385.93429</a>'
  apa: 'Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties.
    In <i>Proceedings of the 9th annual ACM symposium on Principles of distributed
    computing</i> (pp. 281–296). Quebec City, Canada: ACM. <a href="https://doi.org/10.1145/93385.93429">https://doi.org/10.1145/93385.93429</a>'
  chicago: 'Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.”
    In <i>Proceedings of the 9th Annual ACM Symposium on Principles of Distributed
    Computing</i>, 281–96. ACM, 1990. <a href="https://doi.org/10.1145/93385.93429">https://doi.org/10.1145/93385.93429</a>.'
  ieee: 'T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,”
    in <i>Proceedings of the 9th annual ACM symposium on Principles of distributed
    computing</i>, Quebec City, Canada, 1990, pp. 281–296.'
  ista: 'Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties.
    Proceedings of the 9th annual ACM symposium on Principles of distributed computing.
    PODC: Principles of Distributed Computing, 281–296.'
  mla: 'Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.”
    <i>Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing</i>,
    ACM, 1990, pp. 281–96, doi:<a href="https://doi.org/10.1145/93385.93429">10.1145/93385.93429</a>.'
  short: T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles
    of Distributed Computing, ACM, 1990, pp. 281–296.
conference:
  end_date: 1990-08-24
  location: Quebec City, Canada
  name: 'PODC: Principles of Distributed Computing'
  start_date: 1990-08-22
date_created: 2018-12-11T12:09:17Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-15T15:11:03Z
day: '01'
doi: 10.1145/93385.93429
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/93385.93429
month: '01'
oa_version: None
page: 281 - 296
publication: Proceedings of the 9th annual ACM symposium on Principles of distributed
  computing
publication_identifier:
  isbn:
  - 978-0-89791-404-8
publication_status: published
publisher: ACM
publist_id: '209'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Half-order modal logic: How to prove real-time properties'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '3649'
abstract:
- lang: eng
  text: Selection on polygenic characters is generally analyzed by statistical methods
    that assume a Gaussian (normal) distribution of breeding values. We present an
    alternative analysis based on multilocus population genetics. We use a general
    representation of selection, recombination, and drift to analyze an idealized
    polygenic system in which all genetic effects are additive (i.e., both dominance
    and epistasis are absent), but no assumptions are made about the distribution
    of breeding values or the numbers of loci or alleles. Our analysis produces three
    results. First, our equations reproduce the standard recursions for the mean and
    additive variance if breeding values are Gaussian; but they also reveal how non-Gaussian
    distributions of breeding values will alter these dynamics. Second, an approximation
    valid for weak selection shows that even if genetic variance is attributable to
    an effectively infinite number of loci with only additive effects, selection will
    generally drive the distribution of breeding values away from a Gaussian distribution
    by creating multilocus linkage disequilibria. Long-term dynamics of means can
    depart substantially from the predictions of the standard selection recursions,
    but the discrepancy may often be negligible for short-term selection. Third, by
    including mutation, we show that, for realistic parameter values, linkage disequilibrium
    has little effect on the amount of additive variance maintained at an equilibrium
    between stabilizing selection and mutation. Each of these analytical results is
    supported by numerical calculations.
acknowledgement: 'We thank R. Burger, J. A. Coyne, W. G. Hill, A. A. Hoffmann, J.
  H. Gillespie, M. Slatkin, T. Nagylaki and Z.-B. Zeng for helpful discussions and
  comments on earlier drafts. Our research is supported by grants from the National
  Science Foundation (BSR-8866548), the Science and Engineering Research Council,
  and the Institute of Theoretical Dynamics at UCD. '
article_processing_charge: No
article_type: original
author:
- first_name: Michael
  full_name: Turelli, Michael
  last_name: Turelli
- 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: Turelli M, Barton NH. Dynamics of polygenic characters under selection. <i>Theoretical
    Population Biology</i>. 1990;38(1):1-57. doi:<a href="https://doi.org/10.1016/0040-5809(90)90002-D">10.1016/0040-5809(90)90002-D</a>
  apa: Turelli, M., &#38; Barton, N. H. (1990). Dynamics of polygenic characters under
    selection. <i>Theoretical Population Biology</i>. Academic Press. <a href="https://doi.org/10.1016/0040-5809(90)90002-D">https://doi.org/10.1016/0040-5809(90)90002-D</a>
  chicago: Turelli, Michael, and Nicholas H Barton. “Dynamics of Polygenic Characters
    under Selection.” <i>Theoretical Population Biology</i>. Academic Press, 1990.
    <a href="https://doi.org/10.1016/0040-5809(90)90002-D">https://doi.org/10.1016/0040-5809(90)90002-D</a>.
  ieee: M. Turelli and N. H. Barton, “Dynamics of polygenic characters under selection,”
    <i>Theoretical Population Biology</i>, vol. 38, no. 1. Academic Press, pp. 1–57,
    1990.
  ista: Turelli M, Barton NH. 1990. Dynamics of polygenic characters under selection.
    Theoretical Population Biology. 38(1), 1–57.
  mla: Turelli, Michael, and Nicholas H. Barton. “Dynamics of Polygenic Characters
    under Selection.” <i>Theoretical Population Biology</i>, vol. 38, no. 1, Academic
    Press, 1990, pp. 1–57, doi:<a href="https://doi.org/10.1016/0040-5809(90)90002-D">10.1016/0040-5809(90)90002-D</a>.
  short: M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
date_created: 2018-12-11T12:04:26Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2026-03-16T13:25:00Z
day: '01'
doi: 10.1016/0040-5809(90)90002-D
extern: '1'
intvolume: '        38'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 1 - 57
publication: Theoretical Population Biology
publication_identifier:
  issn:
  - 0040-5809
publication_status: published
publisher: Academic Press
publist_id: '2734'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dynamics of polygenic characters under selection
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 38
year: '1990'
...
---
_id: '2479'
abstract:
- lang: eng
  text: Distribution of putative glutamatergic neurons in the lower brainstem and
    cerebellum of the rat was examined immunocytochemically by using a monoclonal
    antibody against phosphate-activated glutaminase, which has been proposed to be
    a major synthetic enzyme of transmitter glutamate and so may serve as a marker
    for glutamatergic neurons in the central nervous system. Intensely-immunolabeled
    neuronal cell bodies were densely distributed in the main precerebellar nuclei
    sending mossy fibers to the cerebellum; in the pontine nuclei, pontine tegmental
    reticular nucleus of Bechterew, external cuneate nucleus, and lateral reticular
    nucleus of the medulla oblongata. Phosphate-activated glutaminase-immunoreactive
    granular deposits were densely seen in the brachium pontis and restiform body,
    suggesting the immunolabeling of mossy fibers of passage. In the cerebellum, neuropil
    within the granule cell layer of the cerebellar cortex displayed intense phosphate-activated
    glutaminase-immunoreactivity, and that within the deep cerebellar nuclei showed
    moderate immunoreactivity. These results indicate that many mossy fiber terminals
    originate from phosphate-activated glutaminase-containing neurons and utilize
    phosphate-activated glutaminase for the synthesis of transmitter glutamate. Intensely-immunostained
    neuronal cell bodies were further observed in other regions which have been reported
    to contain neurons sending mossy fibers to the cerebellum; in the dorsal part
    of the principal sensory trigeminal nucleus, dorsomedial part of the oral subnucleus
    of the spinal trigeminal nucleus, interpolar subnucleus of the spinal trigeminal
    nucleus, paratrigeminal nucleus, supragenual nucleus, regions dorsal to the abducens
    nucleus and genu of the facial nerve, superior and medial vestibular nuclei, cell
    groups f, x and y, hypoglossal prepositus nucleus, intercalated nucleus, nucleus
    of Roller, reticular regions intercalated between the motor trigeminal and principal
    sensory trigeminal nuclei, linear nucleus, and gigantocellular and paramedian
    reticular formation. Neuronal cell bodies with intense phosphate-activated glutaminase-immunoreactivity
    were also found in other brainstem regions, such as the paracochlear glial substance,
    posterior ventral cochlear nucleus, and cell group e. Although it is still controversial
    whether all glutamatergic neurons use phosphate-activated glutaminase in a transmitter-related
    process and whether phosphate-activated glutaminase is involved in other metabolism-related
    processes, the neurons showing intense phosphate-activated glutaminase-immuno-reactivity
    in the present study were suggested to be putative glutamatergic neurons.
acknowledgement: 'The authors wish to thank Mr. Akira Uesugi and Mr. Ken’ichi Uesugi
  for their photographic help. This work was partly supported by grants-in-aid from
  the Ministry of Education, science and Culture of Japan for Special Project Research
  63112003. Special Research Project on Priority-Areas 63623505, Special Research
  62480098 and Encouragement of Young Scientist 63770043. The support of the Niwa
  Medical Research Foundation, Dr. Satoru Fukuchi, Dr. Toshio Fukuda, Dr. Ritsu Hayashi,
  Dr. Yutaka Kitani, Dr. Hiroshi Matsushima, Dr. Gonpei Niwa, Dr. Hiroyasu Ohtsuka,
  Dr. Shigeo Tamaki, and Dr. Eizo Watanabe are gratefully acknowledged. '
article_processing_charge: No
article_type: original
author:
- first_name: Takeshi
  full_name: Kaneko, Takeshi
  last_name: Kaneko
- first_name: Kazuo
  full_name: Itoh, Kazuo
  last_name: Itoh
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Noboru
  full_name: Mizuno, Noboru
  last_name: Mizuno
citation:
  ama: Kaneko T, Itoh K, Shigemoto R, Mizuno N. Glutaminase-like immunoreactivity
    in the lower brainstem and cerebellum of the adult rat. <i>Neuroscience</i>. 1989;32(1):79-98.
    doi:<a href="https://doi.org/10.1016/0306-4522(89)90109-7">10.1016/0306-4522(89)90109-7</a>
  apa: Kaneko, T., Itoh, K., Shigemoto, R., &#38; Mizuno, N. (1989). Glutaminase-like
    immunoreactivity in the lower brainstem and cerebellum of the adult rat. <i>Neuroscience</i>.
    Elsevier. <a href="https://doi.org/10.1016/0306-4522(89)90109-7">https://doi.org/10.1016/0306-4522(89)90109-7</a>
  chicago: Kaneko, Takeshi, Kazuo Itoh, Ryuichi Shigemoto, and Noboru Mizuno. “Glutaminase-like
    Immunoreactivity in the Lower Brainstem and Cerebellum of the Adult Rat.” <i>Neuroscience</i>.
    Elsevier, 1989. <a href="https://doi.org/10.1016/0306-4522(89)90109-7">https://doi.org/10.1016/0306-4522(89)90109-7</a>.
  ieee: T. Kaneko, K. Itoh, R. Shigemoto, and N. Mizuno, “Glutaminase-like immunoreactivity
    in the lower brainstem and cerebellum of the adult rat,” <i>Neuroscience</i>,
    vol. 32, no. 1. Elsevier, pp. 79–98, 1989.
  ista: Kaneko T, Itoh K, Shigemoto R, Mizuno N. 1989. Glutaminase-like immunoreactivity
    in the lower brainstem and cerebellum of the adult rat. Neuroscience. 32(1), 79–98.
  mla: Kaneko, Takeshi, et al. “Glutaminase-like Immunoreactivity in the Lower Brainstem
    and Cerebellum of the Adult Rat.” <i>Neuroscience</i>, vol. 32, no. 1, Elsevier,
    1989, pp. 79–98, doi:<a href="https://doi.org/10.1016/0306-4522(89)90109-7">10.1016/0306-4522(89)90109-7</a>.
  short: T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
date_created: 2018-12-11T11:57:54Z
date_published: 1989-01-01T00:00:00Z
date_updated: 2022-02-15T09:47:08Z
day: '01'
doi: 10.1016/0306-4522(89)90109-7
extern: '1'
external_id:
  pmid:
  - '2586753'
intvolume: '        32'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0306452289901097?via%3Dihub
month: '01'
oa_version: None
page: 79 - 98
pmid: 1
publication: Neuroscience
publication_identifier:
  eissn:
  - 1873-7544
  issn:
  - 0306-4522
publication_status: published
publisher: Elsevier
publist_id: '4422'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of
  the adult rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 32
year: '1989'
...
---
_id: '2525'
abstract:
- lang: eng
  text: This paper describes the amino acid sequence of the rat substance P receptor
    and its comparison with that of the rat substance K receptor on the basis of molecular
    cloning and sequence analysis. From a rat brain cDNA library constructed with
    an RNA expression vector, we identified a cDNA mixture containing a functional
    substance P receptor cDNA by examining electrophysiologically a receptor expression
    following injection of the mRNAs synthesized in vitro into Xenopus oocytes. A
    receptor cDNA clone was then isolated by cross-hybridization with the bovine substance
    K receptor DNA. The clone was confirmed by selective binding of substance P to
    the cloned receptor expressed in mammalian COS cells. The deduced amino acid sequence
    (407 amino acid residues) possesses seven putative membrane spanning domains and
    shows a sequence similarity to the members of G-protein-coupled receptors. The
    rat substance P and substance K receptor are very similar in both size and amino
    acid sequences, particularly in the putative transmembrane similarity is in marked
    contrast to the sequence divergence in the amino- and carboxyl-terminal regions
    and the third cytoplasmic loop. The observed sequence similarytity and divergence
    would thus contribute to the expression of similar but pharmacological regions
    and the first and second cytoplasmic loops. This distinguishable activities of
    the two tachykinin receptors.
acknowledgement: 'This work was supported in part by research grants from the Ministry
  of Education, Science and Culture of Japan, the Institute of Physical and Chemical
  Research, and the Science and Technology Agency of Japan. The costs of publication
  of this article were defrayed in part by the payment of page charges. This article
  must therefore be hereby marked “advertisement” in accordance with 18 U.S.C. Section
  1734 solely to indicate this fact. '
article_processing_charge: No
article_type: original
author:
- first_name: Yoshifumi
  full_name: Yokota, Yoshifumi
  last_name: Yokota
- first_name: Yoshiki
  full_name: Sasai, Yoshiki
  last_name: Sasai
- first_name: Kohichi
  full_name: Tanaka, Kohichi
  last_name: Tanaka
- first_name: Tsutomu
  full_name: Fujiwara, Tsutomu
  last_name: Fujiwara
- first_name: Kunihiro
  full_name: Tsuchida, Kunihiro
  last_name: Tsuchida
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Akira
  full_name: Kakizuka, Akira
  last_name: Kakizuka
- first_name: Hiroaki
  full_name: Ohkubo, Hiroaki
  last_name: Ohkubo
- first_name: Shigetada
  full_name: Nakanishi, Shigetada
  last_name: Nakanishi
citation:
  ama: Yokota Y, Sasai Y, Tanaka K, et al. Molecular characterization of a functional
    cDNA for rat substance P receptor. <i>Journal of Biological Chemistry</i>. 1989;264(30):17649-17652.
    doi:<a href="https://doi.org/10.1016/S0021-9258(19)84619-7">10.1016/S0021-9258(19)84619-7</a>
  apa: Yokota, Y., Sasai, Y., Tanaka, K., Fujiwara, T., Tsuchida, K., Shigemoto, R.,
    … Nakanishi, S. (1989). Molecular characterization of a functional cDNA for rat
    substance P receptor. <i>Journal of Biological Chemistry</i>. American Society
    for Biochemistry and Molecular Biology. <a href="https://doi.org/10.1016/S0021-9258(19)84619-7">https://doi.org/10.1016/S0021-9258(19)84619-7</a>
  chicago: Yokota, Yoshifumi, Yoshiki Sasai, Kohichi Tanaka, Tsutomu Fujiwara, Kunihiro
    Tsuchida, Ryuichi Shigemoto, Akira Kakizuka, Hiroaki Ohkubo, and Shigetada Nakanishi.
    “Molecular Characterization of a Functional CDNA for Rat Substance P Receptor.”
    <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and
    Molecular Biology, 1989. <a href="https://doi.org/10.1016/S0021-9258(19)84619-7">https://doi.org/10.1016/S0021-9258(19)84619-7</a>.
  ieee: Y. Yokota <i>et al.</i>, “Molecular characterization of a functional cDNA
    for rat substance P receptor,” <i>Journal of Biological Chemistry</i>, vol. 264,
    no. 30. American Society for Biochemistry and Molecular Biology, pp. 17649–17652,
    1989.
  ista: Yokota Y, Sasai Y, Tanaka K, Fujiwara T, Tsuchida K, Shigemoto R, Kakizuka
    A, Ohkubo H, Nakanishi S. 1989. Molecular characterization of a functional cDNA
    for rat substance P receptor. Journal of Biological Chemistry. 264(30), 17649–17652.
  mla: Yokota, Yoshifumi, et al. “Molecular Characterization of a Functional CDNA
    for Rat Substance P Receptor.” <i>Journal of Biological Chemistry</i>, vol. 264,
    no. 30, American Society for Biochemistry and Molecular Biology, 1989, pp. 17649–52,
    doi:<a href="https://doi.org/10.1016/S0021-9258(19)84619-7">10.1016/S0021-9258(19)84619-7</a>.
  short: Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A.
    Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989)
    17649–17652.
date_created: 2018-12-11T11:58:11Z
date_published: 1989-10-25T00:00:00Z
date_updated: 2025-06-26T09:18:02Z
day: '25'
doi: 10.1016/S0021-9258(19)84619-7
extern: '1'
external_id:
  pmid:
  - '2478537'
intvolume: '       264'
issue: '30'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/S0021-9258(19)84619-7
month: '10'
oa: 1
oa_version: Published Version
page: 17649 - 17652
pmid: 1
publication: Journal of Biological Chemistry
publication_identifier:
  eissn:
  - 1083-351X
  issn:
  - 0021-9258
publication_status: published
publisher: American Society for Biochemistry and Molecular Biology
publist_id: '4374'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular characterization of a functional cDNA for rat substance P receptor
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 264
year: '1989'
...
---
_id: '2526'
abstract:
- lang: eng
  text: When WGA-HRP (wheat germ agglutinin-horseradish peroxidase conjugate) or HRP
    was injected into the regions around the superior central and/or the dorsal raphe
    nuclei in the cat, cell bodies of a number of non-pyramidal neurons were labeled
    in Ammon's horn. Thus the existence of direct projections from non-pyramidal neurons
    in Ammon's horn to the rostral raphe regions in the brainstem was suggested in
    the cat.
acknowledgement: The photographic help of Mr. Akira Uesugi, and the support of Niwa
  Medical Research Foundation are gratefully acknowledged. This work has been supported
  in part by Grant-in-Aid for Special Project Research (No. 63112003) and Grant-in-Aid
  for Scientific Research (No. 62480098) from the Ministry of Education, Science and
  Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Tadashi
  full_name: Ino, Tadashi
  last_name: Ino
- first_name: Kazuo
  full_name: Itoh, Kazuo
  last_name: Itoh
- first_name: Hiroto
  full_name: Kamiya, Hiroto
  last_name: Kamiya
- 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: Ichiro
  full_name: Akiguchi, Ichiro
  last_name: Akiguchi
- first_name: Noboru
  full_name: Mizuno, Noboru
  last_name: Mizuno
citation:
  ama: Ino T, Itoh K, Kamiya H, et al. Direct projections from Ammon’s horn to the
    rostral raphe regions in the brainstem of the cat. <i>Brain Research</i>. 1989;479(1):157-161.
    doi:<a href="https://doi.org/10.1016/0006-8993(89)91346-2">10.1016/0006-8993(89)91346-2</a>
  apa: Ino, T., Itoh, K., Kamiya, H., Kaneko, T., Shigemoto, R., Akiguchi, I., &#38;
    Mizuno, N. (1989). Direct projections from Ammon’s horn to the rostral raphe regions
    in the brainstem of the cat. <i>Brain Research</i>. Elsevier. <a href="https://doi.org/10.1016/0006-8993(89)91346-2">https://doi.org/10.1016/0006-8993(89)91346-2</a>
  chicago: Ino, Tadashi, Kazuo Itoh, Hiroto Kamiya, Takeshi Kaneko, Ryuichi Shigemoto,
    Ichiro Akiguchi, and Noboru Mizuno. “Direct Projections from Ammon’s Horn to the
    Rostral Raphe Regions in the Brainstem of the Cat.” <i>Brain Research</i>. Elsevier,
    1989. <a href="https://doi.org/10.1016/0006-8993(89)91346-2">https://doi.org/10.1016/0006-8993(89)91346-2</a>.
  ieee: T. Ino <i>et al.</i>, “Direct projections from Ammon’s horn to the rostral
    raphe regions in the brainstem of the cat,” <i>Brain Research</i>, vol. 479, no.
    1. Elsevier, pp. 157–161, 1989.
  ista: Ino T, Itoh K, Kamiya H, Kaneko T, Shigemoto R, Akiguchi I, Mizuno N. 1989.
    Direct projections from Ammon’s horn to the rostral raphe regions in the brainstem
    of the cat. Brain Research. 479(1), 157–161.
  mla: Ino, Tadashi, et al. “Direct Projections from Ammon’s Horn to the Rostral Raphe
    Regions in the Brainstem of the Cat.” <i>Brain Research</i>, vol. 479, no. 1,
    Elsevier, 1989, pp. 157–61, doi:<a href="https://doi.org/10.1016/0006-8993(89)91346-2">10.1016/0006-8993(89)91346-2</a>.
  short: T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno,
    Brain Research 479 (1989) 157–161.
date_created: 2018-12-11T11:58:11Z
date_published: 1989-02-06T00:00:00Z
date_updated: 2022-02-15T09:14:43Z
day: '06'
doi: 10.1016/0006-8993(89)91346-2
extern: '1'
external_id:
  pmid:
  - '2466535 '
intvolume: '       479'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0006899389913462?via%3Dihub
month: '02'
oa_version: None
page: 157 - 161
pmid: 1
publication: Brain Research
publication_identifier:
  eissn:
  - 1872-6240
  issn:
  - 0006-8993
publication_status: published
publisher: Elsevier
publist_id: '4373'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Direct projections from Ammon's horn to the rostral raphe regions in the brainstem
  of the cat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 479
year: '1989'
...
---
_id: '2527'
article_processing_charge: No
article_type: original
author:
- first_name: Masumi
  full_name: Akimoto, Masumi
  last_name: Akimoto
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Makiko
  full_name: Kawamura, Makiko
  last_name: Kawamura
- first_name: Hideharu
  full_name: Yamagata, Hideharu
  last_name: Yamagata
- first_name: Takeshi
  full_name: Kurihara, Takeshi
  last_name: Kurihara
- first_name: S
  full_name: Takata, S
  last_name: Takata
- first_name: Yoko
  full_name: Miwa, Yoko
  last_name: Miwa
- first_name: N
  full_name: Akagami, N
  last_name: Akagami
- first_name: Kenichi
  full_name: Katsu, Kenichi
  last_name: Katsu
- first_name: D
  full_name: Yamauchi, D
  last_name: Yamauchi
citation:
  ama: Akimoto M, Shigemoto R, Kawamura M, et al. Effect of endothelin on gastric
    mucosal blood flow in rat. <i>Japanese Journal of Gastroenterology</i>. 1989;86(11):2627.
    doi:<a href="https://doi.org/10.11405/nisshoshi1964.86.2627">10.11405/nisshoshi1964.86.2627</a>
  apa: Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S.,
    … Yamauchi D. (1989). Effect of endothelin on gastric mucosal blood flow in rat.
    <i>Japanese Journal of Gastroenterology</i>. Japanese Society of Gastroenterology.
    <a href="https://doi.org/10.11405/nisshoshi1964.86.2627">https://doi.org/10.11405/nisshoshi1964.86.2627</a>
  chicago: Akimoto Masumi, Shigemoto Ryuichi, Kawamura Makiko, Yamagata Hideharu,
    Kurihara Takeshi, Takata S, Miwa Yoko, Akagami N, Katsu Kenichi, and Yamauchi
    D. “Effect of endothelin on gastric mucosal blood flow in rat.” <i>Japanese Journal
    of Gastroenterology</i>. Japanese Society of Gastroenterology, 1989. <a href="https://doi.org/10.11405/nisshoshi1964.86.2627">https://doi.org/10.11405/nisshoshi1964.86.2627</a>.
  ieee: Akimoto M. <i>et al.</i>, “Effect of endothelin on gastric mucosal blood flow
    in rat,” <i>Japanese Journal of Gastroenterology</i>, vol. 86, no. 11. Japanese
    Society of Gastroenterology, p. 2627, 1989.
  ista: Akimoto M, Shigemoto R, Kawamura M, Yamagata H, Kurihara T, Takata S, Miwa
    Y, Akagami N, Katsu K, Yamauchi D. 1989. Effect of endothelin on gastric mucosal
    blood flow in rat. Japanese Journal of Gastroenterology. 86(11), 2627.
  mla: Akimoto Masumi, et al. “Effect of endothelin on gastric mucosal blood flow
    in rat.” <i>Japanese Journal of Gastroenterology</i>, vol. 86, no. 11, Japanese
    Society of Gastroenterology, 1989, p. 2627, doi:<a href="https://doi.org/10.11405/nisshoshi1964.86.2627">10.11405/nisshoshi1964.86.2627</a>.
  short: Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S.,
    Miwa Y., Akagami N., Katsu K., Yamauchi D., Japanese Journal of Gastroenterology
    86 (1989) 2627.
date_created: 2018-12-11T11:58:12Z
date_published: 1989-11-01T00:00:00Z
date_updated: 2022-02-15T09:06:39Z
day: '01'
doi: 10.11405/nisshoshi1964.86.2627
extern: '1'
intvolume: '        86'
issue: '11'
language:
- iso: jpn
main_file_link:
- url: https://www.jstage.jst.go.jp/article/nisshoshi1964/86/11/86_11_2627/_article/-char/ja/
month: '11'
oa_version: None
page: '2627'
publication: Japanese Journal of Gastroenterology
publication_status: published
publisher: Japanese Society of Gastroenterology
publist_id: '4372'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Effect of endothelin on gastric mucosal blood flow in rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 86
year: '1989'
...
---
_id: '4596'
abstract:
- lang: eng
  text: A real-time temporal logic for the specification of reactive systems is introduced.
    The novel feature of the logic, TPTL, is the adoption of temporal operators as
    quantifiers over time variables; every modality binds a variable to the time(s)
    it refers to. TPTL is demonstrated to be both a natural specification language
    and a suitable formalism for verification and synthesis. A tableau-based decision
    procedure and model-checking algorithm for TPTL are presented. Several generalizations
    of TPTL are shown to be highly undecidable.
acknowledgement: 'We thank Zohar Manna, Amir Pnueli, and David Dill for their guidance.
  Moshe Vardi and Joe Halpern gave us very helpful advice for refilling our undecidability
  results. '
article_processing_charge: No
author:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'Alur R, Henzinger TA. A really temporal logic. In: <i>30th Annual Symposium
    on Foundations of Computer Science</i>. FCOS. IEEE; 1989:164-169. doi:<a href="https://doi.org/10.1109/SFCS.1989.63473">10.1109/SFCS.1989.63473</a>'
  apa: 'Alur, R., &#38; Henzinger, T. A. (1989). A really temporal logic. In <i>30th
    Annual Symposium on Foundations of Computer Science</i> (pp. 164–169). Research
    Triangle Park, NC, USA: IEEE. <a href="https://doi.org/10.1109/SFCS.1989.63473">https://doi.org/10.1109/SFCS.1989.63473</a>'
  chicago: Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” In <i>30th
    Annual Symposium on Foundations of Computer Science</i>, 164–69. FCOS. IEEE, 1989.
    <a href="https://doi.org/10.1109/SFCS.1989.63473">https://doi.org/10.1109/SFCS.1989.63473</a>.
  ieee: R. Alur and T. A. Henzinger, “A really temporal logic,” in <i>30th Annual
    Symposium on Foundations of Computer Science</i>, Research Triangle Park, NC,
    USA, 1989, pp. 164–169.
  ista: 'Alur R, Henzinger TA. 1989. A really temporal logic. 30th Annual Symposium
    on Foundations of Computer Science. FOCS: Foundations of Computer ScienceFCOS,
    164–169.'
  mla: Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” <i>30th Annual
    Symposium on Foundations of Computer Science</i>, IEEE, 1989, pp. 164–69, doi:<a
    href="https://doi.org/10.1109/SFCS.1989.63473">10.1109/SFCS.1989.63473</a>.
  short: R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer
    Science, IEEE, 1989, pp. 164–169.
conference:
  end_date: 1989-11-01
  location: Research Triangle Park, NC, USA
  name: 'FOCS: Foundations of Computer Science'
  start_date: 1989-10-30
date_created: 2018-12-11T12:09:40Z
date_published: 1989-01-01T00:00:00Z
date_updated: 2022-02-09T10:40:13Z
day: '01'
doi: 10.1109/SFCS.1989.63473
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/63473
month: '01'
oa_version: None
page: 164 - 169
publication: 30th Annual Symposium on Foundations of Computer Science
publication_identifier:
  eissn:
  - 1558-0814
  isbn:
  - 0-8186-1982-1
  issn:
  - 0018-9162
publication_status: published
publisher: IEEE
publist_id: '111'
quality_controlled: '1'
series_title: FCOS
status: public
title: A really temporal logic
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1989'
...
---
_id: '3465'
abstract:
- lang: eng
  text: Asymmetrical displacement currents and Na currents of single myelinated nerve
    fibers of Xenopus laevis were studied in the temperature range from 5 to 24 degrees
    C. The time constant of the on-response at E = 4 mV, tau on, was strongly temperature
    dependent, whereas the amount of displaced charge at E = 39 mV, Qon, was only
    slightly temperature dependent. The mean Q10 for tau on-1 was 2.54, the mean Q10
    for Qon was 1.07. The time constant of charge immobilization, tau i, at E = 4
    mV varied significantly (alpha = 0.001) with temperature. The mean Q10 for tau
    i-1 was 2.71 +/- 0.38. The time constants of immobilization of gating charge and
    of fast inactivation of Na permeability were similar in the temperature range
    from 6 to 22 degrees C. The Qoff/Qon ratio for E = 4 mV pulses of 0.5 msec duration
    decreased with increasing temperature. The temperature dependence of the time
    constant of the off-response could not be described by a single Q10 value, since
    the Q10 depended on the duration of the test pulse. Increasing temperature shifted
    Qon (E) curves to more negative potentials by 0.51 mV K-1, but shifted PNa (E)
    curves and h infinity (E) curves to more positive potentials by 0.43 and 0.57
    mV K-1, respectively. h infinity (E = -70 mV) increased monotonously with increasing
    temperature. The present data indicate that considerable entropy changes may occur
    when the Na channel molecule passes from closed through open to inactivated states.
article_processing_charge: No
article_type: original
author:
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Jonas PM. Temperature dependence of gating current in myelinated nerve fibers.
    <i>Journal of Membrane Biology</i>. 1989;112(3):277-289. doi:<a href="https://doi.org/10.1007/BF01870958">10.1007/BF01870958</a>
  apa: Jonas, P. M. (1989). Temperature dependence of gating current in myelinated
    nerve fibers. <i>Journal of Membrane Biology</i>. Springer. <a href="https://doi.org/10.1007/BF01870958">https://doi.org/10.1007/BF01870958</a>
  chicago: Jonas, Peter M. “Temperature Dependence of Gating Current in Myelinated
    Nerve Fibers.” <i>Journal of Membrane Biology</i>. Springer, 1989. <a href="https://doi.org/10.1007/BF01870958">https://doi.org/10.1007/BF01870958</a>.
  ieee: P. M. Jonas, “Temperature dependence of gating current in myelinated nerve
    fibers,” <i>Journal of Membrane Biology</i>, vol. 112, no. 3. Springer, pp. 277–289,
    1989.
  ista: Jonas PM. 1989. Temperature dependence of gating current in myelinated nerve
    fibers. Journal of Membrane Biology. 112(3), 277–289.
  mla: Jonas, Peter M. “Temperature Dependence of Gating Current in Myelinated Nerve
    Fibers.” <i>Journal of Membrane Biology</i>, vol. 112, no. 3, Springer, 1989,
    pp. 277–89, doi:<a href="https://doi.org/10.1007/BF01870958">10.1007/BF01870958</a>.
  short: P.M. Jonas, Journal of Membrane Biology 112 (1989) 277–289.
date_created: 2018-12-11T12:03:28Z
date_published: 1989-12-01T00:00:00Z
date_updated: 2022-02-15T08:59:02Z
day: '01'
doi: 10.1007/BF01870958
extern: '1'
external_id:
  pmid:
  - '2559205 '
intvolume: '       112'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF01870958
month: '12'
oa_version: None
page: 277 - 289
pmid: 1
publication: Journal of Membrane Biology
publication_identifier:
  eissn:
  - 1432-1424
  issn:
  - 0022-2631
publication_status: published
publisher: Springer
publist_id: '2922'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Temperature dependence of gating current in myelinated nerve fibers
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 112
year: '1989'
...
---
_id: '3466'
abstract:
- lang: eng
  text: Amphibian myelinated nerve fibers were treated with collagenase and protease.
    Axons with retraction of the myelin sheath were patch-clamped in the nodal and
    paranodal region. One type of Na channel was found. It has a single-channel conductance
    of 11 pS (15 degrees C) and is blocked by tetrodotoxin. Averaged events show the
    typical activation and inactivation kinetics of macroscopic Na current. Three
    potential-dependent K channels were identified (I, F, and S channel). The I channel,
    being the most frequent type, has a single-channel conductance of 23 pS (inward
    current, 105 mM K on both sides of the membrane), activates between -60 and -30
    mV, deactivates with intermediate kinetics, and is sensitive to dendrotoxin. The
    F channel has a conductance of 30 pS, activates between -40 and 60 mV, and deactivates
    with fast kinetics. The former inactivates within tens of seconds; the latter
    inactivates within seconds. The third type, the S channel, has a conductance of
    7 pS and deactivates slowly. All three channels can be blocked by external tetraethylammonium
    chloride. We suggest that these distinct K channel types form the basis for the
    different components of macroscopic K current described previously.
acknowledgement: We thank Drs. C. Baumann, D. Siemen, and W. Stuhmer for reading the
  manuscript and Dr. F. Dreyer for the generous gift of DTX. The study was supported
  by the Deutsche Forschungsgemeinschaft.
article_processing_charge: No
article_type: original
author:
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
- first_name: Michael
  full_name: Bräu, Michael
  last_name: Bräu
- first_name: Markus
  full_name: Hermsteiner, Markus
  last_name: Hermsteiner
- first_name: Werner
  full_name: Vogel, Werner
  last_name: Vogel
citation:
  ama: Jonas PM, Bräu M, Hermsteiner M, Vogel W. Single-channel recording in myelinated
    nerve fibers reveals one type of Na channel but different K channels. <i>PNAS</i>.
    1989;86(18):7238-7242. doi:<a href="https://doi.org/10.1073/pnas.86.18.7238">10.1073/pnas.86.18.7238</a>
  apa: Jonas, P. M., Bräu, M., Hermsteiner, M., &#38; Vogel, W. (1989). Single-channel
    recording in myelinated nerve fibers reveals one type of Na channel but different
    K channels. <i>PNAS</i>. National Academy of Sciences. <a href="https://doi.org/10.1073/pnas.86.18.7238">https://doi.org/10.1073/pnas.86.18.7238</a>
  chicago: Jonas, Peter M, Michael Bräu, Markus Hermsteiner, and Werner Vogel. “Single-Channel
    Recording in Myelinated Nerve Fibers Reveals One Type of Na Channel but Different
    K Channels.” <i>PNAS</i>. National Academy of Sciences, 1989. <a href="https://doi.org/10.1073/pnas.86.18.7238">https://doi.org/10.1073/pnas.86.18.7238</a>.
  ieee: P. M. Jonas, M. Bräu, M. Hermsteiner, and W. Vogel, “Single-channel recording
    in myelinated nerve fibers reveals one type of Na channel but different K channels,”
    <i>PNAS</i>, vol. 86, no. 18. National Academy of Sciences, pp. 7238–7242, 1989.
  ista: Jonas PM, Bräu M, Hermsteiner M, Vogel W. 1989. Single-channel recording in
    myelinated nerve fibers reveals one type of Na channel but different K channels.
    PNAS. 86(18), 7238–7242.
  mla: Jonas, Peter M., et al. “Single-Channel Recording in Myelinated Nerve Fibers
    Reveals One Type of Na Channel but Different K Channels.” <i>PNAS</i>, vol. 86,
    no. 18, National Academy of Sciences, 1989, pp. 7238–42, doi:<a href="https://doi.org/10.1073/pnas.86.18.7238">10.1073/pnas.86.18.7238</a>.
  short: P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.
date_created: 2018-12-11T12:03:28Z
date_published: 1989-09-01T00:00:00Z
date_updated: 2022-02-14T16:12:33Z
day: '01'
doi: 10.1073/pnas.86.18.7238
extern: '1'
external_id:
  pmid:
  - '2550937 '
intvolume: '        86'
issue: '18'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC298032/?tool=pubmed
month: '09'
oa: 1
oa_version: Published Version
page: 7238 - 7242
pmid: 1
publication: PNAS
publication_identifier:
  eissn:
  - 1091-6490
  issn:
  - 0027-8424
publication_status: published
publisher: National Academy of Sciences
publist_id: '2921'
quality_controlled: '1'
status: public
title: Single-channel recording in myelinated nerve fibers reveals one type of Na
  channel but different K channels
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 86
year: '1989'
...
---
_id: '3549'
abstract:
- lang: eng
  text: 'We study three types of spatial triangulations: Delaunay triangulations,
    triangulations with non-obtuse dihedral angles, and KJ-triangulations. The latter
    satisfy a certain angle condition useful for finite element approximation. We
    show that the condition for Delaunay triangulations is incomparable with the other
    two conditions, and that triangulations with non-obtuse dihedral angles are necessarily
    also KJ-triangulations. These relationships are in sharp contrast to the ones
    in the planar case. '
acknowledgement: 'Research was supported by the National Science Foundation under
  grant CCR-8714565.  The author thanks Thomas Kerkhoven, Raimund Seidel, and Peter
  Shor for helpful discussions on the material 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. Spatial triangulations with dihedral angle conditions. In:
    Institute of the Electronics, Information and Communication Enginneers; 1989:83-89.'
  apa: Edelsbrunner, H. (1989). Spatial triangulations with dihedral angle conditions
    (pp. 83–89). Presented at the International Workshop on Discrete Algorithms and
    Complexity, Institute of the Electronics, Information and Communication Enginneers.
  chicago: Edelsbrunner, Herbert. “Spatial Triangulations with Dihedral Angle Conditions,”
    83–89. Institute of the Electronics, Information and Communication Enginneers,
    1989.
  ieee: H. Edelsbrunner, “Spatial triangulations with dihedral angle conditions,”
    presented at the International Workshop on Discrete Algorithms and Complexity,
    1989, pp. 83–89.
  ista: Edelsbrunner H. 1989. Spatial triangulations with dihedral angle conditions.
    International Workshop on Discrete Algorithms and Complexity, 83–89.
  mla: Edelsbrunner, Herbert. <i>Spatial Triangulations with Dihedral Angle Conditions</i>.
    Institute of the Electronics, Information and Communication Enginneers, 1989,
    pp. 83–89.
  short: H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication
    Enginneers, 1989, pp. 83–89.
conference:
  name: International Workshop on Discrete Algorithms and Complexity
date_created: 2018-12-11T12:03:54Z
date_published: 1989-01-01T00:00:00Z
date_updated: 2022-02-14T14:34:06Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=32670&item_no=1&page_id=13&block_id=8
month: '01'
oa_version: None
page: 83 - 89
publication_status: published
publisher: Institute of the Electronics, Information and Communication Enginneers
publist_id: '2836'
quality_controlled: '1'
status: public
title: Spatial triangulations with dihedral angle conditions
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1989'
...
---
_id: '3652'
abstract:
- lang: eng
  text: Frequency-dependent selection against rare forms can maintain clines. For
    weak selection, s, in simple linear models of frequency-dependence, single locus
    clines are stabilized with a maximum slope of between square root of s/square
    root of 8 sigma and square root of s/square root of 12 delta, where sigma is the
    dispersal distance. These clines are similar to those maintained by heterozygote
    disadvantage. Using computer simulations, the weak-selection analytical results
    are extended to higher selection pressures with up to three unlinked genes. Graphs
    are used to display the effect of selection, migration, dominance, and number
    of loci on cline widths, speeds of cline movements, two-way gametic correlations
    ("linkage disequilibria"), and heterozygote deficits. The effects of changing
    the order of reproduction, migration, and selection, are also briefly explored.
    Epistasis can also maintain tension zones. We show that epistatic selection is
    similar in its effects to frequency-dependent selection, except that the disequilibria
    produced in the zone will be higher for a given level of selection. If selection
    consists of a mixture of frequency-dependence and epistasis, as is likely in nature,
    the error made in estimating selection is usually less than twofold. From the
    graphs, selection and migration can be estimated using knowledge of the dominance
    and number of genes, of gene frequencies and of gametic correlations from a hybrid
    zone.
acknowledgement: "The publication costs of this article were partly defrayed by the
  payment of page charges. This article must therefore be hereby marked “advertisment”
  in accordance with 18 U.S.C. §1734 solely to indicate this fact. \r\n\r\nWe thank
  the Natural Environmental Research Council for financial support, and N. SANDERSON,
  M. SLATKIN and an anonymous reviewer for comments on the manuscript."
article_processing_charge: No
article_type: original
author:
- first_name: James
  full_name: Mallet, James
  last_name: Mallet
- 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: Mallet J, Barton NH. Inference from clines stabilized by frequency-dependent
    selection. <i>Genetics</i>. 1989;122(4):967-976. doi:<a href="https://doi.org/10.1093/genetics/122.4.967">10.1093/genetics/122.4.967</a>
  apa: Mallet, J., &#38; Barton, N. H. (1989). Inference from clines stabilized by
    frequency-dependent selection. <i>Genetics</i>. Genetics Society of America. <a
    href="https://doi.org/10.1093/genetics/122.4.967">https://doi.org/10.1093/genetics/122.4.967</a>
  chicago: Mallet, James, and Nicholas H Barton. “Inference from Clines Stabilized
    by Frequency-Dependent Selection.” <i>Genetics</i>. Genetics Society of America,
    1989. <a href="https://doi.org/10.1093/genetics/122.4.967">https://doi.org/10.1093/genetics/122.4.967</a>.
  ieee: J. Mallet and N. H. Barton, “Inference from clines stabilized by frequency-dependent
    selection,” <i>Genetics</i>, vol. 122, no. 4. Genetics Society of America, pp.
    967–976, 1989.
  ista: Mallet J, Barton NH. 1989. Inference from clines stabilized by frequency-dependent
    selection. Genetics. 122(4), 967–976.
  mla: Mallet, James, and Nicholas H. Barton. “Inference from Clines Stabilized by
    Frequency-Dependent Selection.” <i>Genetics</i>, vol. 122, no. 4, Genetics Society
    of America, 1989, pp. 967–76, doi:<a href="https://doi.org/10.1093/genetics/122.4.967">10.1093/genetics/122.4.967</a>.
  short: J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
date_created: 2018-12-11T12:04:27Z
date_published: 1989-08-01T00:00:00Z
date_updated: 2022-02-14T14:07:12Z
day: '01'
doi: 10.1093/genetics/122.4.967
extern: '1'
external_id:
  pmid:
  - '2759433'
intvolume: '       122'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1203771
month: '08'
oa: 1
oa_version: None
page: 967 - 976
pmid: 1
publication: Genetics
publication_identifier:
  issn:
  - 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '2731'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inference from clines stabilized by frequency-dependent selection
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 122
year: '1989'
...
---
_id: '3653'
abstract:
- lang: eng
  text: 'Frequency-dependent selection on warning color can maintain narrow hybrid
    zones between unpalatable prey taxa. To measure such selection, we transferred
    marked Heliconius erato (Lepidoptera: Nymphalidae) in both directions across a
    10-km-wide hybrid zone between Peruvian races differing in color pattern. These
    experimental H. erato were released at four sites, along with control H. erato
    of the phenotype native to each site. Survival of experimental butterflies was
    significantly lower than that of controls at two sites and overall. Most selection,
    measured as differences in survival, occurred soon after release. Selection against
    foreign morphs was 52% (confidence limits: 25-71%) and was probably due to bird
    attacks on unusual warning-color morphs (more than 10% of the recaptures had beak
    marks). Since only three major loci determine the color-pattern differences, this
    suggests an average selection coefficient of 0.17 per locus, sufficient to maintain
    the narrow clines in H. erato.'
acknowledgement: We thank G.Lamas for sharing his knowledge of the Tarapoto hybrid
  zone;  M.A.Arboleda, H.Eeley, S.Knapp, M.Muedas, and J.Santisteban for their help
  in the field;  P.Donnelly and C.Smith for statistical advice; and S.Jones, S.Knapp,
  G.Lamas, and the reviewers for helpful comments on the manuscript. We are grateful
  to the Natural Environment Research Council, the Royal Society, and the Nuffield
  Foundation for funding this research.
article_processing_charge: No
article_type: original
author:
- first_name: James
  full_name: Mallet, James
  last_name: Mallet
- 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: Mallet J, Barton NH. Strong natural selection in a warning color hybrid zone.
    <i>Evolution</i>. 1989;43(2):421-431. doi:<a href="https://doi.org/10.2307/2409217
    ">10.2307/2409217 </a>
  apa: Mallet, J., &#38; Barton, N. H. (1989). Strong natural selection in a warning
    color hybrid zone. <i>Evolution</i>. Wiley-Blackwell. <a href="https://doi.org/10.2307/2409217
    ">https://doi.org/10.2307/2409217 </a>
  chicago: Mallet, James, and Nicholas H Barton. “Strong Natural Selection in a Warning
    Color Hybrid Zone.” <i>Evolution</i>. Wiley-Blackwell, 1989. <a href="https://doi.org/10.2307/2409217
    ">https://doi.org/10.2307/2409217 </a>.
  ieee: J. Mallet and N. H. Barton, “Strong natural selection in a warning color hybrid
    zone,” <i>Evolution</i>, vol. 43, no. 2. Wiley-Blackwell, pp. 421–431, 1989.
  ista: Mallet J, Barton NH. 1989. Strong natural selection in a warning color hybrid
    zone. Evolution. 43(2), 421–431.
  mla: Mallet, James, and Nicholas H. Barton. “Strong Natural Selection in a Warning
    Color Hybrid Zone.” <i>Evolution</i>, vol. 43, no. 2, Wiley-Blackwell, 1989, pp.
    421–31, doi:<a href="https://doi.org/10.2307/2409217 ">10.2307/2409217 </a>.
  short: J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
date_created: 2018-12-11T12:04:27Z
date_published: 1989-01-01T00:00:00Z
date_updated: 2022-02-14T11:00:42Z
day: '01'
doi: '10.2307/2409217 '
extern: '1'
external_id:
  pmid:
  - '28568556 '
intvolume: '        43'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.jstor.org/stable/2409217?origin=crossref&seq=1#metadata_info_tab_contents
month: '01'
oa_version: None
page: 421 - 431
pmid: 1
publication: Evolution
publication_identifier:
  eissn:
  - 1558-5646
  issn:
  - 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2730'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Strong natural selection in a warning color hybrid zone
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 43
year: '1989'
...
---
_id: '3654'
abstract:
- lang: eng
  text: Many species are divided into a mosaic of genetically distinct populations,
    separated by narrow zones of hybridization. Studies of hybrid zones allow us to
    quantify the genetic differences responsible for speciation, to measure the diffusion
    of genes between diverging taxa, and to understand the spread of alternative adaptations.
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
- first_name: Godfrey
  full_name: Hewitt, Godfrey
  last_name: Hewitt
citation:
  ama: Barton NH, Hewitt G. Adaptation, speciation and hybrid zones. <i>Nature</i>.
    1989;341:497-503. doi:<a href="https://doi.org/10.1038/341497a0">10.1038/341497a0</a>
  apa: Barton, N. H., &#38; Hewitt, G. (1989). Adaptation, speciation and hybrid zones.
    <i>Nature</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/341497a0">https://doi.org/10.1038/341497a0</a>
  chicago: Barton, Nicholas H, and Godfrey Hewitt. “Adaptation, Speciation and Hybrid
    Zones.” <i>Nature</i>. Nature Publishing Group, 1989. <a href="https://doi.org/10.1038/341497a0">https://doi.org/10.1038/341497a0</a>.
  ieee: N. H. Barton and G. Hewitt, “Adaptation, speciation and hybrid zones,” <i>Nature</i>,
    vol. 341. Nature Publishing Group, pp. 497–503, 1989.
  ista: Barton NH, Hewitt G. 1989. Adaptation, speciation and hybrid zones. Nature.
    341, 497–503.
  mla: Barton, Nicholas H., and Godfrey Hewitt. “Adaptation, Speciation and Hybrid
    Zones.” <i>Nature</i>, vol. 341, Nature Publishing Group, 1989, pp. 497–503, doi:<a
    href="https://doi.org/10.1038/341497a0">10.1038/341497a0</a>.
  short: N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
date_created: 2018-12-11T12:04:27Z
date_published: 1989-10-12T00:00:00Z
date_updated: 2022-02-14T10:13:44Z
day: '12'
doi: 10.1038/341497a0
extern: '1'
external_id:
  pmid:
  - '2677747 '
intvolume: '       341'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/341497a0
month: '10'
oa_version: None
page: 497 - 503
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '2729'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adaptation, speciation and hybrid zones
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 341
year: '1989'
...
