---
_id: '4068'
abstract:
- lang: eng
text: "LetS be a collection ofn convex, closed, and pairwise nonintersecting sets
in the Euclidean plane labeled from 1 ton. A pair of permutations\r\n(i1i2in−1in)(inin−1i2i1)
\r\nis called ageometric permutation of S if there is a line that intersects all
sets ofS in this order. We prove thatS can realize at most 2n–2 geometric permutations.
This upper bound is tight."
acknowledgement: Research of the first author was supported by Amoco Foundation for
Faculty Development in Computer Science Grant No. 1-6-44862. Work on this paper
by the second author was supported by Office of Naval Research Grant No. N00014-82-K-0381,
National Science Foundation Grant No. NSF-DCR-83-20085, and by grants from the Digital
Equipment Corporation and the IBM Corporation.
article_processing_charge: No
article_type: original
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
citation:
ama: Edelsbrunner H, Sharir M. The maximum number of ways to stabn convex nonintersecting
sets in the plane is 2n−2. Discrete & Computational Geometry. 1990;5(1):35-42.
doi:10.1007/BF02187778
apa: Edelsbrunner, H., & Sharir, M. (1990). The maximum number of ways to stabn
convex nonintersecting sets in the plane is 2n−2. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/BF02187778
chicago: Edelsbrunner, Herbert, and Micha Sharir. “The Maximum Number of Ways to
Stabn Convex Nonintersecting Sets in the Plane Is 2n−2.” Discrete & Computational
Geometry. Springer, 1990. https://doi.org/10.1007/BF02187778.
ieee: H. Edelsbrunner and M. Sharir, “The maximum number of ways to stabn convex
nonintersecting sets in the plane is 2n−2,” Discrete & Computational Geometry,
vol. 5, no. 1. Springer, pp. 35–42, 1990.
ista: Edelsbrunner H, Sharir M. 1990. The maximum number of ways to stabn convex
nonintersecting sets in the plane is 2n−2. Discrete & Computational Geometry.
5(1), 35–42.
mla: Edelsbrunner, Herbert, and Micha Sharir. “The Maximum Number of Ways to Stabn
Convex Nonintersecting Sets in the Plane Is 2n−2.” Discrete & Computational
Geometry, vol. 5, no. 1, Springer, 1990, pp. 35–42, doi:10.1007/BF02187778.
short: H. Edelsbrunner, M. Sharir, Discrete & Computational Geometry 5 (1990)
35–42.
date_created: 2018-12-11T12:06:45Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-22T14:50:34Z
day: '01'
doi: 10.1007/BF02187778
extern: '1'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02187778
month: '01'
oa_version: None
page: 35 - 42
publication: Discrete & Computational Geometry
publication_identifier:
eissn:
- 1432-0444
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2057'
quality_controlled: '1'
status: public
title: The maximum number of ways to stabn convex nonintersecting sets in the plane
is 2n−2
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 5
year: '1990'
...
---
_id: '4069'
abstract:
- lang: eng
text: Let C be a cell complex in d-dimensional Euclidean space whose faces are obtained
by orthogonal projection of the faces of a convex polytope in d + 1 dimensions.
For example, the Delaunay triangulation of a finite point set is such a cell complex.
This paper shows that the in front/behind relation defined for the faces of C
with respect to any fixed viewpoint x is acyclic. This result has applications
to hidden line/surface removal and other problems in computational geometry.
acknowledgement: Research reported in this paper was supported by the National Science
Foundation under grant CCR-8714565.
article_processing_charge: No
article_type: original
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. An acyclicity theorem for cell complexes in d dimension. Combinatorica.
1990;10(3):251-260. doi:10.1007/BF02122779
apa: Edelsbrunner, H. (1990). An acyclicity theorem for cell complexes in d dimension.
Combinatorica. Springer. https://doi.org/10.1007/BF02122779
chicago: Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.”
Combinatorica. Springer, 1990. https://doi.org/10.1007/BF02122779.
ieee: H. Edelsbrunner, “An acyclicity theorem for cell complexes in d dimension,”
Combinatorica, vol. 10, no. 3. Springer, pp. 251–260, 1990.
ista: Edelsbrunner H. 1990. An acyclicity theorem for cell complexes in d dimension.
Combinatorica. 10(3), 251–260.
mla: Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.”
Combinatorica, vol. 10, no. 3, Springer, 1990, pp. 251–60, doi:10.1007/BF02122779.
short: H. Edelsbrunner, Combinatorica 10 (1990) 251–260.
date_created: 2018-12-11T12:06:45Z
date_published: 1990-09-01T00:00:00Z
date_updated: 2022-02-21T11:08:30Z
day: '01'
doi: 10.1007/BF02122779
extern: '1'
intvolume: ' 10'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02122779
month: '09'
oa_version: None
page: 251 - 260
publication: Combinatorica
publication_identifier:
eissn:
- 1439-6912
issn:
- 0209-9683
publication_status: published
publisher: Springer
publist_id: '2050'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An acyclicity theorem for cell complexes in d dimension
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 10
year: '1990'
...
---
_id: '4070'
abstract:
- lang: eng
text: Let S be a set of n closed intervals on the x-axis. A ranking assigns to each
interval, s, a distinct rank, p(s)∊ [1, 2,…,n]. We say that s can see t if p(s)International Journal of Computer Mathematics.
1990;34(3-4):129-144. doi:10.1080/00207169008803871
apa: Edelsbrunner, H., Overmars, M., Welzl, E., Hartman, I., & Feldman, J. (1990).
Ranking intervals under visibility constraints. International Journal of Computer
Mathematics. Taylor & Francis. https://doi.org/10.1080/00207169008803871
chicago: Edelsbrunner, Herbert, Mark Overmars, Emo Welzl, Irith Hartman, and Jack
Feldman. “Ranking Intervals under Visibility Constraints.” International Journal
of Computer Mathematics. Taylor & Francis, 1990. https://doi.org/10.1080/00207169008803871.
ieee: H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, and J. Feldman, “Ranking
intervals under visibility constraints,” International Journal of Computer
Mathematics, vol. 34, no. 3–4. Taylor & Francis, pp. 129–144, 1990.
ista: Edelsbrunner H, Overmars M, Welzl E, Hartman I, Feldman J. 1990. Ranking intervals
under visibility constraints. International Journal of Computer Mathematics. 34(3–4),
129–144.
mla: Edelsbrunner, Herbert, et al. “Ranking Intervals under Visibility Constraints.”
International Journal of Computer Mathematics, vol. 34, no. 3–4, Taylor
& Francis, 1990, pp. 129–44, doi:10.1080/00207169008803871.
short: H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International
Journal of Computer Mathematics 34 (1990) 129–144.
date_created: 2018-12-11T12:06:46Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-21T13:19:52Z
day: '01'
doi: 10.1080/00207169008803871
extern: '1'
intvolume: ' 34'
issue: 3-4
language:
- iso: eng
main_file_link:
- url: https://www.tandfonline.com/doi/abs/10.1080/00207169008803871
month: '01'
oa_version: None
page: 129 - 144
publication: International Journal of Computer Mathematics
publication_identifier:
eissn:
- 1029-0265
issn:
- 0020-7160
publication_status: published
publisher: Taylor & Francis
publist_id: '2051'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ranking intervals under visibility constraints
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 34
year: '1990'
...
---
_id: '4071'
abstract:
- lang: eng
text: We show that a triangulation of a set of n points in the plane that minimizes
the maximum angle can be computed in time O(n2 log n) and space O(n). In the same
amount of time and space we can also handle the constrained case where edges are
prescribed. The algorithm iteratively improves an arbitrary initial triangulation
and is fairly easy to implement.
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
- first_name: Tiow
full_name: Tan, Tiow
last_name: Tan
- first_name: Roman
full_name: Waupotitsch, Roman
last_name: Waupotitsch
citation:
ama: 'Edelsbrunner H, Tan T, Waupotitsch R. An O(n^2log n) time algorithm for the
MinMax angle triangulation. In: Proceedings of the 6th Annual Symposium on
Computational Geometry. ACM; 1990:44-52. doi:10.1145/98524.98535'
apa: 'Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1990). An O(n^2log n) time
algorithm for the MinMax angle triangulation. In Proceedings of the 6th annual
symposium on Computational geometry (pp. 44–52). Berkley, CA, United States:
ACM. https://doi.org/10.1145/98524.98535'
chicago: Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2log n)
Time Algorithm for the MinMax Angle Triangulation.” In Proceedings of the 6th
Annual Symposium on Computational Geometry, 44–52. ACM, 1990. https://doi.org/10.1145/98524.98535.
ieee: H. Edelsbrunner, T. Tan, and R. Waupotitsch, “An O(n^2log n) time algorithm
for the MinMax angle triangulation,” in Proceedings of the 6th annual symposium
on Computational geometry, Berkley, CA, United States, 1990, pp. 44–52.
ista: 'Edelsbrunner H, Tan T, Waupotitsch R. 1990. An O(n^2log n) time algorithm
for the MinMax angle triangulation. Proceedings of the 6th annual symposium on
Computational geometry. SCG: Symposium on Computational Geometry, 44–52.'
mla: Edelsbrunner, Herbert, et al. “An O(N^2log n) Time Algorithm for the MinMax
Angle Triangulation.” Proceedings of the 6th Annual Symposium on Computational
Geometry, ACM, 1990, pp. 44–52, doi:10.1145/98524.98535.
short: H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, Proceedings of the 6th Annual
Symposium on Computational Geometry, ACM, 1990, pp. 44–52.
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:46Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-22T08:56:42Z
day: '01'
doi: 10.1145/98524.98535
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/98524.98535
month: '01'
oa_version: None
page: 44 - 52
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: '2052'
quality_controlled: '1'
status: public
title: An O(n^2log n) time algorithm for the MinMax angle triangulation
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4072'
abstract:
- lang: eng
text: We show that the total number of edges ofm faces of an arrangement ofn lines
in the plane isO(m 2/3– n 2/3+2 +n) for any>0. The proof takes an algorithmic
approach, that is, we describe an algorithm for the calculation of thesem faces
and derive the upper bound from the analysis of the algorithm. The algorithm uses
randomization and its expected time complexity isO(m 2/3– n 2/3+2 logn+n logn
logm). If instead of lines we have an arrangement ofn line segments, then the
maximum number of edges ofm faces isO(m 2/3– n 2/3+2 +n (n) logm) for any>0,
where(n) is the functional inverse of Ackermann's function. We give a (randomized)
algorithm that produces these faces and takes expected timeO(m 2/3– n 2/3+2 log+n(n)
log2 n logm).
acknowledgement: The first author is pleased to acknowledge partial support by the
Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862 and the National Science Foundation
under Grant CCR-8714565. Work on this paper by the third author has been supported
by Office of Naval Research Grant N00014-82-K-0381, by National Science Foundation
Grant DCR-83-20085, by grants from the Digital Equipment Corporation, and the IBM
Corporation, and by a research grant from the NCRD-the Israeli National Council
for Research and Development. A preliminary version of this paper has appeared in
theProceedings of the 4th ACM Symposium on Computational Geometry, 1988, pp. 44–55.
article_processing_charge: No
article_type: original
author:
- 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
citation:
ama: Edelsbrunner H, Guibas L, Sharir M. The complexity and construction of many
faces in arrangements of lines and of segments. Discrete & Computational
Geometry. 1990;5(1):161-196. doi:10.1007/BF02187784
apa: Edelsbrunner, H., Guibas, L., & Sharir, M. (1990). The complexity and construction
of many faces in arrangements of lines and of segments. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/BF02187784
chicago: Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity
and Construction of Many Faces in Arrangements of Lines and of Segments.” Discrete
& Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187784.
ieee: H. Edelsbrunner, L. Guibas, and M. Sharir, “The complexity and construction
of many faces in arrangements of lines and of segments,” Discrete & Computational
Geometry, vol. 5, no. 1. Springer, pp. 161–196, 1990.
ista: Edelsbrunner H, Guibas L, Sharir M. 1990. The complexity and construction
of many faces in arrangements of lines and of segments. Discrete & Computational
Geometry. 5(1), 161–196.
mla: Edelsbrunner, Herbert, et al. “The Complexity and Construction of Many Faces
in Arrangements of Lines and of Segments.” Discrete & Computational Geometry,
vol. 5, no. 1, Springer, 1990, pp. 161–96, doi:10.1007/BF02187784.
short: H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry
5 (1990) 161–196.
date_created: 2018-12-11T12:06:46Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-22T09:27:30Z
day: '01'
doi: 10.1007/BF02187784
extern: '1'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02187784
month: '01'
oa_version: None
page: 161 - 196
publication: Discrete & Computational Geometry
publication_identifier:
eissn:
- 1432-0444
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2053'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The complexity and construction of many faces in arrangements of lines and
of segments
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 5
year: '1990'
...
---
_id: '4073'
abstract:
- lang: eng
text: A number of rendering algorithms in computer graphics sort three-dimensional
objects by depth and assume that there is no cycle that makes the sorting impossible.
One way to resolve the problem caused by cycles is to cut the objects into smaller
pieces. The problem of estimating how many such cuts are always sufficient is
addressed. A few related algorithmic and combinatorial geometry problems are considered.
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: Richard
full_name: Pollack, Richard
last_name: Pollack
- first_name: Raimund
full_name: Seidel, Raimund
last_name: Seidel
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
- first_name: Jack
full_name: Snoeyink, Jack
last_name: Snoeyink
citation:
ama: 'Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of
lines and rods in space. In: 31st Annual Symposium on Foundations of Computer
Science. IEEE; 1990:242-251. doi:10.1109/FSCS.1990.89543'
apa: 'Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir,
M., & Snoeyink, J. (1990). Counting and cutting cycles of lines and rods in
space. In 31st Annual Symposium on Foundations of Computer Science (pp.
242–251). St. Louis, MO, United States of America: IEEE. https://doi.org/10.1109/FSCS.1990.89543'
chicago: Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack,
Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles
of Lines and Rods in Space.” In 31st Annual Symposium on Foundations of Computer
Science, 242–51. IEEE, 1990. https://doi.org/10.1109/FSCS.1990.89543.
ieee: B. Chazelle et al., “Counting and cutting cycles of lines and rods
in space,” in 31st Annual Symposium on Foundations of Computer Science,
St. Louis, MO, United States of America, 1990, pp. 242–251.
ista: 'Chazelle B, Edelsbrunner H, Guibas L, Pollack R, Seidel R, Sharir M, Snoeyink
J. 1990. Counting and cutting cycles of lines and rods in space. 31st Annual Symposium
on Foundations of Computer Science. FOCS: Foundations of Computer Science, 242–251.'
mla: Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in
Space.” 31st Annual Symposium on Foundations of Computer Science, IEEE,
1990, pp. 242–51, doi:10.1109/FSCS.1990.89543.
short: B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir,
J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE,
1990, pp. 242–251.
conference:
end_date: 1990-10-24
location: St. Louis, MO, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1990-10-22
date_created: 2018-12-11T12:06:47Z
date_published: 1990-01-01T00:00:00Z
date_updated: 2022-02-17T11:07:07Z
day: '01'
doi: 10.1109/FSCS.1990.89543
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/89543
month: '01'
oa_version: None
page: 242 - 251
publication: 31st Annual Symposium on Foundations of Computer Science
publication_identifier:
isbn:
- 0-8186-2082-X
publication_status: published
publisher: IEEE
publist_id: '2047'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Counting and cutting cycles of lines and rods in space
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1990'
...
---
_id: '4074'
abstract:
- lang: eng
text: We present upper and lower bounds for extremal problems defined for arrangements
of lines, circles, spheres, and alike. For example, we prove that the maximum
number of edges boundingm cells in an arrangement ofn lines is Θ(m 2/3 n 2/3 +n),
and that it isO(m 2/3 n 2/3 β(n) +n) forn unit-circles, whereβ(n) (and laterβ(m,
n)) is a function that depends on the inverse of Ackermann's function and grows
extremely slowly. If we replace unit-circles by circles of arbitrary radii the
upper bound goes up toO(m 3/5 n 4/5 β(n) +n). The same bounds (without theβ(n)-terms)
hold for the maximum sum of degrees ofm vertices. In the case of vertex degrees
in arrangements of lines and of unit-circles our bounds match previous results,
but our proofs are considerably simpler than the previous ones. The maximum sum
of degrees ofm vertices in an arrangement ofn spheres in three dimensions isO(m
4/7 n 9/7 β(m, n) +n 2), in general, andO(m 3/4 n 3/4 β(m, n) +n) if no three
spheres intersect in a common circle. The latter bound implies that the maximum
number of unit-distances amongm points in three dimensions isO(m 3/2 β(m)) which
improves the best previous upper bound on this problem. Applications of our results
to other distance problems are also given.
acknowledgement: The research of the second author was supported by the National Science
Foundation under Grant CCR-8714565. Work by the fourth author has been supported
by Office of Naval Research Grant N00014-87-K-0129, by National Science Foundation
Grant No. NSF-DCR-83-20085, by grants from the Digital Equipment Corporation and
the IBM Corporation, and by a research grant from the NCRD, the Israeli National
Council for Research and Development. A preliminary version of this paper has appeared
in theProceedings of the 29th IEEE Symposium on Foundations of Computer Science,
1988.
article_processing_charge: No
article_type: original
author:
- first_name: Kenneth
full_name: Clarkson, Kenneth
last_name: Clarkson
- 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: Emo
full_name: Welzl, Emo
last_name: Welzl
citation:
ama: Clarkson K, Edelsbrunner H, Guibas L, Sharir M, Welzl E. Combinatorial complexity
bounds for arrangements of curves and spheres. Discrete & Computational
Geometry. 1990;5(1):99-160. doi:10.1007/BF02187783
apa: Clarkson, K., Edelsbrunner, H., Guibas, L., Sharir, M., & Welzl, E. (1990).
Combinatorial complexity bounds for arrangements of curves and spheres. Discrete
& Computational Geometry. Springer. https://doi.org/10.1007/BF02187783
chicago: Clarkson, Kenneth, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir,
and Emo Welzl. “Combinatorial Complexity Bounds for Arrangements of Curves and
Spheres.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187783.
ieee: K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, and E. Welzl, “Combinatorial
complexity bounds for arrangements of curves and spheres,” Discrete & Computational
Geometry, vol. 5, no. 1. Springer, pp. 99–160, 1990.
ista: Clarkson K, Edelsbrunner H, Guibas L, Sharir M, Welzl E. 1990. Combinatorial
complexity bounds for arrangements of curves and spheres. Discrete & Computational
Geometry. 5(1), 99–160.
mla: Clarkson, Kenneth, et al. “Combinatorial Complexity Bounds for Arrangements
of Curves and Spheres.” Discrete & Computational Geometry, vol. 5,
no. 1, Springer, 1990, pp. 99–160, doi:10.1007/BF02187783.
short: K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete &
Computational Geometry 5 (1990) 99–160.
date_created: 2018-12-11T12:06:47Z
date_published: 1990-03-01T00:00:00Z
date_updated: 2022-02-17T15:41:04Z
day: '01'
doi: 10.1007/BF02187783
extern: '1'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02187783
month: '03'
oa_version: None
page: 99 - 160
publication: Discrete & Computational Geometry
publication_identifier:
eissn:
- 1432-0444
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2048'
quality_controlled: '1'
status: public
title: Combinatorial complexity bounds for arrangements of curves and spheres
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 5
year: '1990'
...
---
_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> 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.
Algorithmica. 1990;5(4):561-571. doi:10.1007/BF01840404
apa: Dobkin, D., Edelsbrunner, H., & Overmars, M. (1990). Searching for empty
convex polygons. Algorithmica. Springer. https://doi.org/10.1007/BF01840404
chicago: Dobkin, David, Herbert Edelsbrunner, and Mark Overmars. “Searching for
Empty Convex Polygons.” Algorithmica. Springer, 1990. https://doi.org/10.1007/BF01840404.
ieee: D. Dobkin, H. Edelsbrunner, and M. Overmars, “Searching for empty convex polygons,”
Algorithmica, 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.” Algorithmica,
vol. 5, no. 4, Springer, 1990, pp. 561–71, doi:10.1007/BF01840404.
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 ε > 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: Proceedings of the 6th Annual Symposium
on Computational Geometry. ACM; 1990:203-210. doi:10.1145/98524.98567'
apa: 'Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1990). Euclidean
minimum spanning trees and bichromatic closest pairs. In Proceedings of the
6th annual symposium on Computational geometry (pp. 203–210). Berkeley, CA,
United States: ACM. https://doi.org/10.1145/98524.98567'
chicago: Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl.
“ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” In Proceedings
of the 6th Annual Symposium on Computational Geometry, 203–10. ACM, 1990.
https://doi.org/10.1145/98524.98567.
ieee: P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “ Euclidean minimum
spanning trees and bichromatic closest pairs,” in Proceedings of the 6th annual
symposium on Computational geometry, 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.” Proceedings of the 6th Annual Symposium on Computational Geometry,
ACM, 1990, pp. 203–10, doi:10.1145/98524.98567.
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: Proceedings of
the 6th Annual Symposium on Computational Geometry. ACM; 1990:112-115. doi:10.1145/98524.98548'
apa: 'Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., &
Wenger, R. (1990). Points and triangles in the plane and halving planes in space.
In Proceedings of the 6th annual symposium on Computational geometry (pp.
112–115). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98548'
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 Proceedings of the 6th Annual Symposium on Computational
Geometry, 112–15. ACM, 1990. https://doi.org/10.1145/98524.98548.
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 Proceedings
of the 6th annual symposium on Computational geometry, 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.” Proceedings of the 6th Annual Symposium on Computational Geometry,
ACM, 1990, pp. 112–15, doi:10.1145/98524.98548.
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: Proceedings of the 6th
Annual Symposium on Computational Geometry. ACM; 1990:116-127. doi:10.1145/98524.98551'
apa: 'Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., &
Sharir, M. (1990). Slimming down by adding; selecting heavily covered points.
In Proceedings of the 6th annual symposium on computational geometry (pp.
116–127). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98551'
chicago: Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger,
Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily
Covered Points.” In Proceedings of the 6th Annual Symposium on Computational
Geometry, 116–27. ACM, 1990. https://doi.org/10.1145/98524.98551.
ieee: B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M.
Sharir, “Slimming down by adding; selecting heavily covered points,” in Proceedings
of the 6th annual symposium on computational geometry, 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.” Proceedings of the 6th Annual Symposium on Computational Geometry,
ACM, 1990, pp. 116–27, doi:10.1145/98524.98551.
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. Nature. 1990;346:415-416.
doi:10.1038/346415a0
apa: Barton, N. H., & Jones, S. (1990). The language of the genes. Nature.
Nature Publishing Group. https://doi.org/10.1038/346415a0
chicago: Barton, Nicholas H, and Steve Jones. “The Language of the Genes.” Nature.
Nature Publishing Group, 1990. https://doi.org/10.1038/346415a0.
ieee: N. H. Barton and S. Jones, “The language of the genes,” Nature, 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.” Nature,
vol. 346, Nature Publishing Group, 1990, pp. 415–16, doi:10.1038/346415a0.
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. Population Biology: Ecological and Evolutionary Viewpoints.
Springer; 1990:115-174. doi:10.1007/978-3-642-74474-7_5'
apa: 'Barton, N. H., & Clark, A. (1990). Population structure and processes
in evolution. In K. Wöhrmann & S. Jain (Eds.), Population biology: Ecological
and evolutionary viewpoints (pp. 115–174). Springer. https://doi.org/10.1007/978-3-642-74474-7_5'
chicago: 'Barton, Nicholas H, and A. Clark. “Population Structure and Processes
in Evolution.” In Population Biology: Ecological and Evolutionary Viewpoints,
edited by Klaus Wöhrmann and Subodh Jain, 115–74. Springer, 1990. https://doi.org/10.1007/978-3-642-74474-7_5.'
ieee: 'N. H. Barton and A. Clark, “Population structure and processes in evolution,”
in Population biology: Ecological and evolutionary viewpoints, 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.” Population Biology: Ecological and Evolutionary Viewpoints,
edited by Klaus Wöhrmann and Subodh Jain, Springer, 1990, pp. 115–74, doi:10.1007/978-3-642-74474-7_5.'
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:
Proceedings of the 5th Jerusalem Conference on Information Technology.
IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356'
apa: 'Henzinger, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model
for real time. In Proceedings of the 5th Jerusalem Conference on Information
Technology (pp. 717–730). Jerusalem, Israel: IEEE. https://doi.org/10.1109/JCIT.1990.128356'
chicago: Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model
for Real Time.” In Proceedings of the 5th Jerusalem Conference on Information
Technology, 717–30. IEEE, 1990. https://doi.org/10.1109/JCIT.1990.128356.
ieee: T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real
time,” in Proceedings of the 5th Jerusalem Conference on Information Technology,
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.” Proceedings
of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp.
717–30, doi:10.1109/JCIT.1990.128356.
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:
Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing.
ACM; 1990:281-296. doi:10.1145/93385.93429'
apa: 'Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties.
In Proceedings of the 9th annual ACM symposium on Principles of distributed
computing (pp. 281–296). Quebec City, Canada: ACM. https://doi.org/10.1145/93385.93429'
chicago: 'Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.”
In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed
Computing, 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.'
ieee: 'T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,”
in Proceedings of the 9th annual ACM symposium on Principles of distributed
computing, 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.”
Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing,
ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.'
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: '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. Neuroscience. 1989;32(1):79-98.
doi:10.1016/0306-4522(89)90109-7
apa: Kaneko, T., Itoh, K., Shigemoto, R., & Mizuno, N. (1989). Glutaminase-like
immunoreactivity in the lower brainstem and cerebellum of the adult rat. Neuroscience.
Elsevier. https://doi.org/10.1016/0306-4522(89)90109-7
chicago: Kaneko, Takeshi, Kazuo Itoh, Ryuichi Shigemoto, and Noboru Mizuno. “Glutaminase-like
Immunoreactivity in the Lower Brainstem and Cerebellum of the Adult Rat.” Neuroscience.
Elsevier, 1989. https://doi.org/10.1016/0306-4522(89)90109-7.
ieee: T. Kaneko, K. Itoh, R. Shigemoto, and N. Mizuno, “Glutaminase-like immunoreactivity
in the lower brainstem and cerebellum of the adult rat,” Neuroscience,
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.” Neuroscience, vol. 32, no. 1, Elsevier,
1989, pp. 79–98, doi:10.1016/0306-4522(89)90109-7.
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. Journal of Biological Chemistry. 1989;264(30):17649-17652.
doi:doi.org/10.1016/S0021-9258(19)84619-7
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. Journal of Biological Chemistry. American Society
for Biochemistry and Molecular Biology. https://doi.org/doi.org/10.1016/S0021-9258(19)84619-7
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.”
Journal of Biological Chemistry. American Society for Biochemistry and
Molecular Biology, 1989. https://doi.org/doi.org/10.1016/S0021-9258(19)84619-7.
ieee: Y. Yokota et al., “Molecular characterization of a functional cDNA
for rat substance P receptor,” Journal of Biological Chemistry, 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.” Journal of Biological Chemistry, vol. 264,
no. 30, American Society for Biochemistry and Molecular Biology, 1989, pp. 17649–52,
doi:doi.org/10.1016/S0021-9258(19)84619-7.
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: 2022-02-15T09:29:36Z
day: '25'
doi: doi.org/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://www.sciencedirect.com/science/article/pii/S0021925819846197
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: ea97e931-d5af-11eb-85d4-e6957dddbf17
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. Brain Research. 1989;479(1):157-161.
doi:10.1016/0006-8993(89)91346-2
apa: 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. Elsevier. https://doi.org/10.1016/0006-8993(89)91346-2
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.” Brain Research. Elsevier,
1989. https://doi.org/10.1016/0006-8993(89)91346-2.
ieee: T. Ino et al., “Direct projections from Ammon’s horn to the rostral
raphe regions in the brainstem of the cat,” Brain Research, 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.” Brain Research, vol. 479, no. 1,
Elsevier, 1989, pp. 157–61, doi:10.1016/0006-8993(89)91346-2.
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. Japanese Journal of Gastroenterology. 1989;86(11):2627.
doi:10.11405/nisshoshi1964.86.2627
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.
Japanese Journal of Gastroenterology. Japanese Society of Gastroenterology.
https://doi.org/10.11405/nisshoshi1964.86.2627
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.” Japanese Journal
of Gastroenterology. Japanese Society of Gastroenterology, 1989. https://doi.org/10.11405/nisshoshi1964.86.2627.
ieee: Akimoto M. et al., “Effect of endothelin on gastric mucosal blood flow
in rat,” Japanese Journal of Gastroenterology, 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.” Japanese Journal of Gastroenterology, vol. 86, no. 11, Japanese
Society of Gastroenterology, 1989, p. 2627, doi:10.11405/nisshoshi1964.86.2627.
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: 30th Annual Symposium
on Foundations of Computer Science. FCOS. IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473'
apa: 'Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In 30th
Annual Symposium on Foundations of Computer Science (pp. 164–169). Research
Triangle Park, NC, USA: IEEE. https://doi.org/10.1109/SFCS.1989.63473'
chicago: Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” In 30th
Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989.
https://doi.org/10.1109/SFCS.1989.63473.
ieee: R. Alur and T. A. Henzinger, “A really temporal logic,” in 30th Annual
Symposium on Foundations of Computer Science, 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.” 30th Annual
Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.
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'
...