[{"date_published":"1990-01-01T00:00:00Z","author":[{"last_name":"Chazelle","first_name":"Bernard","full_name":"Chazelle, Bernard"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert"},{"full_name":"Guibas, Leonidas","first_name":"Leonidas","last_name":"Guibas"},{"full_name":"Hershberger, John","first_name":"John","last_name":"Hershberger"},{"full_name":"Seidel, Raimund","first_name":"Raimund","last_name":"Seidel"},{"last_name":"Sharir","first_name":"Micha","full_name":"Sharir, Micha"}],"doi":"10.1145/98524.98551","date_updated":"2022-02-17T10:09:54Z","article_processing_charge":"No","scopus_import":"1","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."}],"extern":"1","quality_controlled":"1","title":"Slimming down by adding; selecting heavily covered points","publication":"Proceedings of the 6th annual symposium on computational geometry","publisher":"ACM","oa_version":"None","date_created":"2018-12-11T12:06:48Z","conference":{"name":"SCG: Symposium on Computational Geometry","end_date":"1990-06-09","location":"Berkley, CA, United States","start_date":"1990-06-07"},"publist_id":"2046","status":"public","day":"01","citation":{"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>","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.","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>.","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.","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>.","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>"},"publication_identifier":{"isbn":["978-0-89791-362-1"]},"language":[{"iso":"eng"}],"month":"01","page":"116 - 127","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/98524.98551"}],"_id":"4078","publication_status":"published","year":"1990"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":346,"page":"415 - 416","year":"1990","publication_status":"published","_id":"4310","main_file_link":[{"url":"https://www.nature.com/articles/346415a0"}],"intvolume":"       346","article_type":"original","day":"02","status":"public","month":"08","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"language":[{"iso":"eng"}],"citation":{"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>","ieee":"N. H. Barton and S. Jones, “The language of the genes,” <i>Nature</i>, vol. 346. Nature Publishing Group, pp. 415–416, 1990.","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>.","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.","ista":"Barton NH, Jones S. 1990. The language of the genes. Nature. 346, 415–416.","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>"},"publisher":"Nature Publishing Group","publication":"Nature","title":"The language of the genes","publist_id":"1749","date_created":"2018-12-11T12:08:11Z","oa_version":"None","article_processing_charge":"No","doi":"10.1038/346415a0","date_updated":"2022-02-16T10:51:50Z","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H"},{"last_name":"Jones","first_name":"Steve","full_name":"Jones, Steve"}],"date_published":"1990-08-02T00:00:00Z","extern":"1","quality_controlled":"1","scopus_import":"1"},{"day":"01","status":"public","month":"01","language":[{"iso":"eng"}],"publication_identifier":{"isbn":[" 978-3642744761"]},"citation":{"short":"N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, 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>.","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."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"book_chapter","page":"115 - 174","year":"1990","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/book/10.1007/978-3-642-74474-7"}],"_id":"4311","article_processing_charge":"No","date_updated":"2022-02-16T10:49:05Z","doi":"10.1007/978-3-642-74474-7_5","date_published":"1990-01-01T00:00:00Z","author":[{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"},{"full_name":"Clark, A.","first_name":"A.","last_name":"Clark"}],"editor":[{"last_name":"Wöhrmann","first_name":"Klaus","full_name":"Wöhrmann, Klaus"},{"first_name":"Subodh","last_name":"Jain","full_name":"Jain, Subodh"}],"quality_controlled":"1","extern":"1","publisher":"Springer","publication":"Population biology: Ecological and evolutionary viewpoints","title":"Population structure and processes in evolution","publist_id":"1748","date_created":"2018-12-11T12:08:11Z","oa_version":"None"},{"author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"first_name":"Zohar","last_name":"Manna","full_name":"Manna, Zohar"},{"first_name":"Amir","last_name":"Pnueli","full_name":"Pnueli, Amir"}],"date_published":"1990-01-01T00:00:00Z","article_processing_charge":"No","date_updated":"2022-02-15T15:51:25Z","doi":"10.1109/JCIT.1990.128356","scopus_import":"1","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."}],"extern":"1","quality_controlled":"1","publication":" Proceedings of the 5th Jerusalem Conference on Information Technology","title":"An interleaving model for real time","publisher":"IEEE","conference":{"name":"JCIT: Jerusalem Conference on Information Technology","end_date":"1990-10-25","location":"Jerusalem, Israel","start_date":"1990-10-22"},"date_created":"2018-12-11T12:09:14Z","oa_version":"None","publist_id":"220","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).","status":"public","day":"01","citation":{"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.","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>.","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>","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>","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.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:,  Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 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>."},"month":"01","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-8186-2078-1"]},"page":"717 - 730","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","main_file_link":[{"url":"https://ieeexplore.ieee.org/abstract/document/128356"}],"_id":"4510","year":"1990","publication_status":"published"},{"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0-89791-404-8"]},"month":"01","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>","short":"T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 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>.","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.","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>.","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>"},"day":"01","status":"public","acknowledgement":"Many thanks to Rajeev Alur, Adam Grove, Zohar Manna, and Amir Pnueli for their continuous discussions and support.","publication_status":"published","year":"1990","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/93385.93429"}],"_id":"4522","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"281 - 296","quality_controlled":"1","extern":"1","scopus_import":"1","abstract":[{"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. ","lang":"eng"}],"doi":"10.1145/93385.93429","date_updated":"2022-02-15T15:11:03Z","article_processing_charge":"No","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"date_published":"1990-01-01T00:00:00Z","publist_id":"209","oa_version":"None","conference":{"end_date":"1990-08-24","name":"PODC: Principles of Distributed Computing","start_date":"1990-08-22","location":"Quebec City, Canada"},"date_created":"2018-12-11T12:09:17Z","publisher":"ACM","title":"Half-order modal logic: How to prove real-time properties","publication":"Proceedings of the 9th annual ACM symposium on Principles of distributed computing"},{"quality_controlled":"1","scopus_import":"1","doi":"10.1016/0306-4522(89)90109-7","date_updated":"2022-02-15T09:47:08Z","article_processing_charge":"No","date_published":"1989-01-01T00:00:00Z","author":[{"first_name":"Takeshi","last_name":"Kaneko","full_name":"Kaneko, Takeshi"},{"full_name":"Itoh, Kazuo","last_name":"Itoh","first_name":"Kazuo"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"language":[{"iso":"eng"}],"month":"01","day":"01","pmid":1,"publication_status":"published","intvolume":"        32","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0306452289901097?via%3Dihub"}],"extern":"1","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."}],"publist_id":"4422","oa_version":"None","date_created":"2018-12-11T11:57:54Z","publisher":"Elsevier","title":"Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat","publication":"Neuroscience","publication_identifier":{"issn":["0306-4522"],"eissn":["1873-7544"]},"citation":{"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.","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.","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."},"external_id":{"pmid":["2586753"]},"article_type":"original","issue":"1","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. ","status":"public","year":"1989","_id":"2479","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"79 - 98","volume":32},{"publisher":"American Society for Biochemistry and Molecular Biology","publication":"Journal of Biological Chemistry","title":"Molecular characterization of a functional cDNA for rat substance P receptor","publist_id":"4374","date_created":"2018-12-11T11:58:11Z","oa_version":"Published Version","extern":"1","abstract":[{"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.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":264,"page":"17649 - 17652","year":"1989","_id":"2525","issue":"30","article_type":"original","external_id":{"pmid":["2478537"]},"oa":1,"status":"public","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. ","publication_identifier":{"eissn":["1083-351X"],"issn":["0021-9258"]},"citation":{"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.","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/doi.org/10.1016/S0021-9258(19)84619-7\">https://doi.org/doi.org/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/doi.org/10.1016/S0021-9258(19)84619-7\">https://doi.org/doi.org/10.1016/S0021-9258(19)84619-7</a>","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/doi.org/10.1016/S0021-9258(19)84619-7\">doi.org/10.1016/S0021-9258(19)84619-7</a>","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/doi.org/10.1016/S0021-9258(19)84619-7\">doi.org/10.1016/S0021-9258(19)84619-7</a>.","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.","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."},"article_processing_charge":"No","date_updated":"2022-02-15T09:29:36Z","doi":"doi.org/10.1016/S0021-9258(19)84619-7","author":[{"first_name":"Yoshifumi","last_name":"Yokota","full_name":"Yokota, Yoshifumi"},{"full_name":"Sasai, Yoshiki","last_name":"Sasai","first_name":"Yoshiki"},{"full_name":"Tanaka, Kohichi","first_name":"Kohichi","last_name":"Tanaka"},{"first_name":"Tsutomu","last_name":"Fujiwara","full_name":"Fujiwara, Tsutomu"},{"full_name":"Tsuchida, Kunihiro","first_name":"Kunihiro","last_name":"Tsuchida"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"last_name":"Kakizuka","first_name":"Akira","full_name":"Kakizuka, Akira"},{"first_name":"Hiroaki","last_name":"Ohkubo","full_name":"Ohkubo, Hiroaki"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"}],"date_published":"1989-10-25T00:00:00Z","quality_controlled":"1","scopus_import":"1","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0021925819846197"}],"intvolume":"       264","day":"25","pmid":1,"month":"10","language":[{"iso":"eng"}]},{"day":"06","pmid":1,"language":[{"iso":"eng"}],"month":"02","publication_status":"published","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0006899389913462?via%3Dihub"}],"intvolume":"       479","doi":"10.1016/0006-8993(89)91346-2","date_updated":"2022-02-15T09:14:43Z","article_processing_charge":"No","author":[{"full_name":"Ino, Tadashi","first_name":"Tadashi","last_name":"Ino"},{"last_name":"Itoh","first_name":"Kazuo","full_name":"Itoh, Kazuo"},{"full_name":"Kamiya, Hiroto","first_name":"Hiroto","last_name":"Kamiya"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"first_name":"Ichiro","last_name":"Akiguchi","full_name":"Akiguchi, Ichiro"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"date_published":"1989-02-06T00:00:00Z","quality_controlled":"1","scopus_import":"1","article_type":"original","external_id":{"pmid":["2466535 "]},"issue":"1","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.","status":"public","publication_identifier":{"issn":["0006-8993"],"eissn":["1872-6240"]},"citation":{"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.","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>","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>","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.","short":"T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 479 (1989) 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>."},"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"157 - 161","volume":479,"year":"1989","_id":"2526","extern":"1","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."}],"publisher":"Elsevier","title":"Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat","publication":"Brain Research","publist_id":"4373","oa_version":"None","date_created":"2018-12-11T11:58:11Z"},{"status":"public","day":"01","article_type":"original","issue":"11","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>","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>.","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.","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.","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.","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>.","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>"},"language":[{"iso":"jpn"}],"month":"11","page":"2627","volume":86,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"2527","intvolume":"        86","main_file_link":[{"url":"https://www.jstage.jst.go.jp/article/nisshoshi1964/86/11/86_11_2627/_article/-char/ja/"}],"publication_status":"published","year":"1989","date_published":"1989-11-01T00:00:00Z","author":[{"full_name":"Akimoto, Masumi","first_name":"Masumi","last_name":"Akimoto"},{"last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Kawamura, Makiko","last_name":"Kawamura","first_name":"Makiko"},{"full_name":"Yamagata, Hideharu","first_name":"Hideharu","last_name":"Yamagata"},{"full_name":"Kurihara, Takeshi","last_name":"Kurihara","first_name":"Takeshi"},{"full_name":"Takata, S","first_name":"S","last_name":"Takata"},{"first_name":"Yoko","last_name":"Miwa","full_name":"Miwa, Yoko"},{"full_name":"Akagami, N","first_name":"N","last_name":"Akagami"},{"full_name":"Katsu, Kenichi","last_name":"Katsu","first_name":"Kenichi"},{"full_name":"Yamauchi, D","first_name":"D","last_name":"Yamauchi"}],"doi":"10.11405/nisshoshi1964.86.2627","date_updated":"2022-02-15T09:06:39Z","article_processing_charge":"No","scopus_import":"1","extern":"1","quality_controlled":"1","title":"Effect of endothelin on gastric mucosal blood flow in rat","publication":"Japanese Journal of Gastroenterology","publisher":"Japanese Society of Gastroenterology","oa_version":"None","date_created":"2018-12-11T11:58:12Z","publist_id":"4372"},{"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. ","status":"public","day":"01","citation":{"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>.","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.","short":"R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.","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."},"publication_identifier":{"isbn":["0-8186-1982-1"],"eissn":["1558-0814"],"issn":["0018-9162"]},"language":[{"iso":"eng"}],"month":"01","page":"164 - 169","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4596","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/63473"}],"publication_status":"published","year":"1989","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"date_published":"1989-01-01T00:00:00Z","doi":"10.1109/SFCS.1989.63473","date_updated":"2022-02-09T10:40:13Z","article_processing_charge":"No","abstract":[{"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.","lang":"eng"}],"extern":"1","quality_controlled":"1","series_title":"FCOS","title":"A really temporal logic","publication":"30th Annual Symposium on Foundations of Computer Science","publisher":"IEEE","oa_version":"None","conference":{"start_date":"1989-10-30","location":"Research Triangle Park, NC, USA","end_date":"1989-11-01","name":"FOCS: Foundations of Computer Science"},"date_created":"2018-12-11T12:09:40Z","publist_id":"111"},{"oa_version":"None","date_created":"2018-12-11T12:03:28Z","publist_id":"2922","title":"Temperature dependence of gating current in myelinated nerve fibers","publication":"Journal of Membrane Biology","publisher":"Springer","abstract":[{"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.","lang":"eng"}],"extern":"1","_id":"3465","year":"1989","page":"277 - 289","volume":112,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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>","ista":"Jonas PM. 1989. Temperature dependence of gating current in myelinated nerve fibers. Journal of Membrane Biology. 112(3), 277–289.","short":"P.M. Jonas, Journal of Membrane Biology 112 (1989) 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>.","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.","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>"},"publication_identifier":{"eissn":["1432-1424"],"issn":["0022-2631"]},"status":"public","external_id":{"pmid":["2559205 "]},"article_type":"original","issue":"3","scopus_import":"1","quality_controlled":"1","date_published":"1989-12-01T00:00:00Z","author":[{"last_name":"Jonas","orcid":"0000-0001-5001-4804","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M"}],"date_updated":"2022-02-15T08:59:02Z","doi":"10.1007/BF01870958","article_processing_charge":"No","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF01870958"}],"intvolume":"       112","publication_status":"published","language":[{"iso":"eng"}],"month":"12","pmid":1,"day":"01"},{"year":"1989","_id":"3466","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"7238 - 7242","volume":86,"publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"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>","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.","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.","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.","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>"},"article_type":"original","external_id":{"pmid":["2550937 "]},"issue":"18","status":"public","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.","oa":1,"publist_id":"2921","oa_version":"Published Version","date_created":"2018-12-11T12:03:28Z","publisher":"National Academy of Sciences","title":"Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels","publication":"PNAS","extern":"1","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."}],"publication_status":"published","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC298032/?tool=pubmed"}],"intvolume":"        86","language":[{"iso":"eng"}],"month":"09","day":"01","pmid":1,"quality_controlled":"1","date_updated":"2022-02-14T16:12:33Z","doi":"10.1073/pnas.86.18.7238","article_processing_charge":"No","date_published":"1989-09-01T00:00:00Z","author":[{"first_name":"Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Michael","last_name":"Bräu","full_name":"Bräu, Michael"},{"full_name":"Hermsteiner, Markus","last_name":"Hermsteiner","first_name":"Markus"},{"last_name":"Vogel","first_name":"Werner","full_name":"Vogel, Werner"}]},{"language":[{"iso":"eng"}],"month":"01","citation":{"ista":"Edelsbrunner H. 1989. Spatial triangulations with dihedral angle conditions. International Workshop on Discrete Algorithms and Complexity, 83–89.","short":"H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication Enginneers, 1989, pp. 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.","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.","ieee":"H. Edelsbrunner, “Spatial triangulations with dihedral angle conditions,” presented at the International Workshop on Discrete Algorithms and Complexity, 1989, pp. 83–89.","chicago":"Edelsbrunner, Herbert. “Spatial Triangulations with Dihedral Angle Conditions,” 83–89. Institute of the Electronics, Information and Communication Enginneers, 1989."},"day":"01","status":"public","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. ","publication_status":"published","year":"1989","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"}],"_id":"3549","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"83 - 89","extern":"1","quality_controlled":"1","abstract":[{"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. ","lang":"eng"}],"date_updated":"2022-02-14T14:34:06Z","article_processing_charge":"No","author":[{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"}],"date_published":"1989-01-01T00:00:00Z","publist_id":"2836","oa_version":"None","date_created":"2018-12-11T12:03:54Z","conference":{"name":"International Workshop on Discrete Algorithms and Complexity"},"publisher":"Institute of the Electronics, Information and Communication Enginneers","title":"Spatial triangulations with dihedral angle conditions"},{"article_processing_charge":"No","date_updated":"2022-02-14T14:07:12Z","doi":"10.1093/genetics/122.4.967","date_published":"1989-08-01T00:00:00Z","author":[{"first_name":"James","last_name":"Mallet","full_name":"Mallet, James"},{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"quality_controlled":"1","scopus_import":"1","publication_status":"published","intvolume":"       122","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1203771","open_access":"1"}],"day":"01","pmid":1,"month":"08","language":[{"iso":"eng"}],"publisher":"Genetics Society of America","publication":"Genetics","title":"Inference from clines stabilized by frequency-dependent selection","publist_id":"2731","date_created":"2018-12-11T12:04:27Z","oa_version":"None","extern":"1","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."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":122,"page":"967 - 976","year":"1989","_id":"3652","issue":"4","external_id":{"pmid":["2759433"]},"article_type":"original","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.","status":"public","oa":1,"publication_identifier":{"issn":["0016-6731"]},"citation":{"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.","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>","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>","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.","ista":"Mallet J, Barton NH. 1989. Inference from clines stabilized by frequency-dependent selection. Genetics. 122(4), 967–976."}},{"month":"01","language":[{"iso":"eng"}],"pmid":1,"day":"01","main_file_link":[{"url":"https://www.jstor.org/stable/2409217?origin=crossref&seq=1#metadata_info_tab_contents"}],"intvolume":"        43","publication_status":"published","scopus_import":"1","quality_controlled":"1","author":[{"full_name":"Mallet, James","first_name":"James","last_name":"Mallet"},{"orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"}],"date_published":"1989-01-01T00:00:00Z","article_processing_charge":"No","date_updated":"2022-02-14T11:00:42Z","doi":"10.2307/2409217 ","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>","short":"J. Mallet, N.H. Barton, Evolution 43 (1989) 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>.","ista":"Mallet J, Barton NH. 1989. Strong natural selection in a warning color hybrid zone. Evolution. 43(2), 421–431.","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.","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>.","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>"},"publication_identifier":{"issn":["0014-3820"],"eissn":["1558-5646"]},"status":"public","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.","issue":"2","external_id":{"pmid":["28568556 "]},"article_type":"original","_id":"3653","year":"1989","volume":43,"page":"421 - 431","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","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."}],"extern":"1","date_created":"2018-12-11T12:04:27Z","oa_version":"None","publist_id":"2730","publication":"Evolution","title":"Strong natural selection in a warning color hybrid zone","publisher":"Wiley-Blackwell"},{"author":[{"first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Godfrey","last_name":"Hewitt","full_name":"Hewitt, Godfrey"}],"date_published":"1989-10-12T00:00:00Z","doi":"10.1038/341497a0","date_updated":"2022-02-14T10:13:44Z","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","pmid":1,"day":"12","language":[{"iso":"eng"}],"month":"10","intvolume":"       341","main_file_link":[{"url":"https://www.nature.com/articles/341497a0"}],"publication_status":"published","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."}],"extern":"1","title":"Adaptation, speciation and hybrid zones","publication":"Nature","publisher":"Nature Publishing Group","oa_version":"None","date_created":"2018-12-11T12:04:27Z","publist_id":"2729","status":"public","external_id":{"pmid":["2677747 "]},"article_type":"original","citation":{"ieee":"N. H. Barton and G. Hewitt, “Adaptation, speciation and hybrid zones,” <i>Nature</i>, vol. 341. Nature Publishing Group, pp. 497–503, 1989.","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>.","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>","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>","ista":"Barton NH, Hewitt G. 1989. Adaptation, speciation and hybrid zones. Nature. 341, 497–503.","short":"N.H. Barton, G. Hewitt, Nature 341 (1989) 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>."},"publication_identifier":{"issn":["0028-0836"],"eissn":["1476-4687"]},"page":"497 - 503","volume":341,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"3654","year":"1989"},{"page":"614 - 618","volume":96,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4079","year":"1989","acknowledgement":"Research supported by Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862","status":"public","article_type":"original","issue":"7","citation":{"ieee":"H. Edelsbrunner and S. Skiena, “On the number of furthest neighbor pairs in a point set,” <i>American Mathematical Monthly</i>, vol. 96, no. 7. Mathematical Association of America, pp. 614–618, 1989.","chicago":"Edelsbrunner, Herbert, and Steven Skiena. “On the Number of Furthest Neighbor Pairs in a Point Set.” <i>American Mathematical Monthly</i>. Mathematical Association of America, 1989. <a href=\"https://doi.org/10.1080/00029890.1989.11972250\">https://doi.org/10.1080/00029890.1989.11972250</a>.","apa":"Edelsbrunner, H., &#38; Skiena, S. (1989). On the number of furthest neighbor pairs in a point set. <i>American Mathematical Monthly</i>. Mathematical Association of America. <a href=\"https://doi.org/10.1080/00029890.1989.11972250\">https://doi.org/10.1080/00029890.1989.11972250</a>","ama":"Edelsbrunner H, Skiena S. On the number of furthest neighbor pairs in a point set. <i>American Mathematical Monthly</i>. 1989;96(7):614-618. doi:<a href=\"https://doi.org/10.1080/00029890.1989.11972250\">10.1080/00029890.1989.11972250</a>","ista":"Edelsbrunner H, Skiena S. 1989. On the number of furthest neighbor pairs in a point set. American Mathematical Monthly. 96(7), 614–618.","mla":"Edelsbrunner, Herbert, and Steven Skiena. “On the Number of Furthest Neighbor Pairs in a Point Set.” <i>American Mathematical Monthly</i>, vol. 96, no. 7, Mathematical Association of America, 1989, pp. 614–18, doi:<a href=\"https://doi.org/10.1080/00029890.1989.11972250\">10.1080/00029890.1989.11972250</a>.","short":"H. Edelsbrunner, S. Skiena, American Mathematical Monthly 96 (1989) 614–618."},"publication_identifier":{"issn":["0002-9890"],"eissn":["1930-0972"]},"title":"On the number of furthest neighbor pairs in a point set","publication":"American Mathematical Monthly","publisher":"Mathematical Association of America","oa_version":"None","date_created":"2018-12-11T12:06:49Z","publist_id":"2042","extern":"1","main_file_link":[{"url":"http://www.jstor.org/stable/2325182 "}],"intvolume":"        96","publication_status":"published","day":"01","language":[{"iso":"eng"}],"month":"01","date_published":"1989-01-01T00:00:00Z","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert"},{"full_name":"Skiena, Steven","last_name":"Skiena","first_name":"Steven"}],"date_updated":"2022-02-11T12:59:01Z","doi":"10.1080/00029890.1989.11972250","article_processing_charge":"No","quality_controlled":"1"},{"quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","doi":"10.1007/BF00181432","date_updated":"2022-02-14T09:55:28Z","date_published":"1989-10-01T00:00:00Z","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert"},{"last_name":"Hasan","first_name":"Nany","full_name":"Hasan, Nany"},{"last_name":"Seidel","first_name":"Raimund","full_name":"Seidel, Raimund"},{"full_name":"Shen, Xiao","last_name":"Shen","first_name":"Xiao"}],"publication_status":"published","intvolume":"        32","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF00181432"}],"month":"10","language":[{"iso":"eng"}],"day":"01","publist_id":"2043","date_created":"2018-12-11T12:06:49Z","oa_version":"None","publisher":"Springer","publication":"Geometriae Dedicata","title":"Circles through two points that always enclose many points","extern":"1","abstract":[{"lang":"eng","text":"This paper proves that any set of n points in the plane contains two points such that any circle through those two points encloses at least n12−112+O(1)n47  points of the set. The main ingredients used in the proof of this result are edge counting formulas for k-order Voronoi diagrams and a lower bound on the minimum number of semispaces of size at most k."}],"year":"1989","_id":"4080","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":32,"page":"1 - 12","publication_identifier":{"eissn":["1572-9168"],"issn":["0046-5755"]},"citation":{"chicago":"Edelsbrunner, Herbert, Nany Hasan, Raimund Seidel, and Xiao Shen. “Circles through Two Points That Always Enclose Many Points.” <i>Geometriae Dedicata</i>. Springer, 1989. <a href=\"https://doi.org/10.1007/BF00181432\">https://doi.org/10.1007/BF00181432</a>.","ieee":"H. Edelsbrunner, N. Hasan, R. Seidel, and X. Shen, “Circles through two points that always enclose many points,” <i>Geometriae Dedicata</i>, vol. 32, no. 1. Springer, pp. 1–12, 1989.","apa":"Edelsbrunner, H., Hasan, N., Seidel, R., &#38; Shen, X. (1989). Circles through two points that always enclose many points. <i>Geometriae Dedicata</i>. Springer. <a href=\"https://doi.org/10.1007/BF00181432\">https://doi.org/10.1007/BF00181432</a>","ama":"Edelsbrunner H, Hasan N, Seidel R, Shen X. Circles through two points that always enclose many points. <i>Geometriae Dedicata</i>. 1989;32(1):1-12. doi:<a href=\"https://doi.org/10.1007/BF00181432\">10.1007/BF00181432</a>","short":"H. Edelsbrunner, N. Hasan, R. Seidel, X. Shen, Geometriae Dedicata 32 (1989) 1–12.","mla":"Edelsbrunner, Herbert, et al. “Circles through Two Points That Always Enclose Many Points.” <i>Geometriae Dedicata</i>, vol. 32, no. 1, Springer, 1989, pp. 1–12, doi:<a href=\"https://doi.org/10.1007/BF00181432\">10.1007/BF00181432</a>.","ista":"Edelsbrunner H, Hasan N, Seidel R, Shen X. 1989. Circles through two points that always enclose many points. Geometriae Dedicata. 32(1), 1–12."},"issue":"1","article_type":"original","status":"public","acknowledgement":"Work on this paper by the first author has been supported by Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862 and by the National Science Foundation under Grant CCR-8714565, by the second author has been partially supported by the Digital Equipment Corporation, by the fourth author has been partially supported by the Office of Naval Research under Grant N00014-86K-0416."},{"abstract":[{"lang":"eng","text":"This paper studies applications of envelopes of piecewise linear functions to problems in computational geometry. Among these applications we find problems involving hidden line/surface elimination, motion planning, transversals of polytopes, and a new type of Voronoi diagram for clusters of points. All results are either combinatorial or computational in nature. They are based on the combinatorial analysis in two companion papers [PS] and [E2] and a divide-and-conquer algorithm for computing envelopes described in this paper."}],"extern":"1","title":"The upper envelope of piecewise linear functions: Algorithms and applications","publication":"Discrete & Computational Geometry","publisher":"Springer","oa_version":"Published Version","date_created":"2018-12-11T12:06:50Z","publist_id":"2038","oa":1,"status":"public","acknowledgement":"Work on this paper by the first author has been supported by Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862. Work by the third author has been supported by the Office of Naval Research Grant N00014-82-K-0381, 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 NCRD, the Israeli National Council for Research and Development.","article_type":"original","issue":"1","citation":{"ama":"Edelsbrunner H, Guibas L, Sharir M. The upper envelope of piecewise linear functions: Algorithms and applications. <i>Discrete &#38; Computational Geometry</i>. 1989;4(1):311-336. doi:<a href=\"https://doi.org/10.1007/BF02187733\">10.1007/BF02187733</a>","ista":"Edelsbrunner H, Guibas L, Sharir M. 1989. The upper envelope of piecewise linear functions: Algorithms and applications. Discrete &#38; Computational Geometry. 4(1), 311–336.","short":"H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &#38; Computational Geometry 4 (1989) 311–336.","mla":"Edelsbrunner, Herbert, et al. “The Upper Envelope of Piecewise Linear Functions: Algorithms and Applications.” <i>Discrete &#38; Computational Geometry</i>, vol. 4, no. 1, Springer, 1989, pp. 311–36, doi:<a href=\"https://doi.org/10.1007/BF02187733\">10.1007/BF02187733</a>.","ieee":"H. Edelsbrunner, L. Guibas, and M. Sharir, “The upper envelope of piecewise linear functions: Algorithms and applications,” <i>Discrete &#38; Computational Geometry</i>, vol. 4, no. 1. Springer, pp. 311–336, 1989.","chicago":"Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Upper Envelope of Piecewise Linear Functions: Algorithms and Applications.” <i>Discrete &#38; Computational Geometry</i>. Springer, 1989. <a href=\"https://doi.org/10.1007/BF02187733\">https://doi.org/10.1007/BF02187733</a>.","apa":"Edelsbrunner, H., Guibas, L., &#38; Sharir, M. (1989). The upper envelope of piecewise linear functions: Algorithms and applications. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/BF02187733\">https://doi.org/10.1007/BF02187733</a>"},"publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"page":"311 - 336","volume":4,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4081","year":"1989","author":[{"first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Guibas","first_name":"Leonidas","full_name":"Guibas, Leonidas"},{"full_name":"Sharir, Micha","last_name":"Sharir","first_name":"Micha"}],"date_published":"1989-12-01T00:00:00Z","date_updated":"2022-02-10T15:53:48Z","doi":"10.1007/BF02187733","article_processing_charge":"No","quality_controlled":"1","day":"01","language":[{"iso":"eng"}],"month":"12","main_file_link":[{"open_access":"1","url":"https://link.springer.com/article/10.1007/BF02187733"}],"intvolume":"         4","publication_status":"published"},{"citation":{"chicago":"Edelsbrunner, Herbert, and Leonidas Guibas. “Topologically Sweeping an Arrangement.” <i>Journal of Computer and System Sciences</i>. Elsevier, 1989. <a href=\"https://doi.org/10.1016/0022-0000(89)90038-X\">https://doi.org/10.1016/0022-0000(89)90038-X</a>.","ieee":"H. Edelsbrunner and L. Guibas, “Topologically sweeping an arrangement,” <i>Journal of Computer and System Sciences</i>, vol. 38, no. 1. Elsevier, pp. 165–194, 1989.","apa":"Edelsbrunner, H., &#38; Guibas, L. (1989). Topologically sweeping an arrangement. <i>Journal of Computer and System Sciences</i>. Elsevier. <a href=\"https://doi.org/10.1016/0022-0000(89)90038-X\">https://doi.org/10.1016/0022-0000(89)90038-X</a>","ama":"Edelsbrunner H, Guibas L. Topologically sweeping an arrangement. <i>Journal of Computer and System Sciences</i>. 1989;38(1):165-194. doi:<a href=\"https://doi.org/10.1016/0022-0000(89)90038-X\">10.1016/0022-0000(89)90038-X</a>","ista":"Edelsbrunner H, Guibas L. 1989. Topologically sweeping an arrangement. Journal of Computer and System Sciences. 38(1), 165–194.","mla":"Edelsbrunner, Herbert, and Leonidas Guibas. “Topologically Sweeping an Arrangement.” <i>Journal of Computer and System Sciences</i>, vol. 38, no. 1, Elsevier, 1989, pp. 165–94, doi:<a href=\"https://doi.org/10.1016/0022-0000(89)90038-X\">10.1016/0022-0000(89)90038-X</a>.","short":"H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194."},"publication_identifier":{"eissn":["1090-2724"],"issn":["0022-0000"]},"oa":1,"acknowledgement":"he authors wish to thank Raimund Seidel for suggesting the argument that we used to prove Theorem 3.1, Harald Rosenberger who implemented the topological sweep and compared it with a straight line sweep, the students who took the Stanford 1985 analysis of algorithms qualifying examination and suffered through a version of this problem, and finally Lyle Ramshaw and Cynthia Hibbard for their detailed reading and comments on the manuscript. The constructive criticism of an anonymous referee is also appreciated.","status":"public","article_type":"original","issue":"1","_id":"4082","year":"1989","page":"165 - 194","volume":38,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","abstract":[{"lang":"eng","text":"Sweeping a collection of figures in the Euclidean plane with a straight line is one of the novel algorithmic paradigms that have emerged in the field of computational geometry. In this paper we demonstrate the advantages of sweeping with a topological line that is not necessarily straight. We show how an arrangement of n lines in the plane can be swept over in O(n2) time and O(n) space by a such a line. In the process each element, i.e., vertex, edge, or region, is visited once in a consistent ordering. Our technique makes use of novel data structures which exhibit interesting amortized complexity behavior; the result is an algorithm that improves upon all its predecessors either in the space or the time bounds, as well as being eminently practical. Numerous applications of the technique to problems in computational geometry are given—many through the use of duality transforms. Examples include solving visibility problems, detecting degeneracies in configurations, computing the extremal shadows of convex polytopes, and others. Even though our basic technique solves a planar problem, its applications include several problems in higher dimensions."}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T12:06:50Z","publist_id":"2039","title":"Topologically sweeping an arrangement","publication":"Journal of Computer and System Sciences","publisher":"Elsevier","language":[{"iso":"eng"}],"month":"02","day":"01","intvolume":"        38","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/002200008990038X?via%3Dihub"}],"publication_status":"published","scopus_import":"1","quality_controlled":"1","date_published":"1989-02-01T00:00:00Z","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert"},{"last_name":"Guibas","first_name":"Leonidas","full_name":"Guibas, Leonidas"}],"doi":"10.1016/0022-0000(89)90038-X","date_updated":"2022-02-10T16:06:05Z","article_processing_charge":"No"}]