[{"article_type":"original","external_id":{"pmid":["1387811 "]},"issue":"8","status":"public","publication_identifier":{"issn":["0959-4965"],"eissn":["1473-558X"]},"citation":{"ieee":"C.-P. J. Heisenberg, H. Thoenen, and D. Lindholm, “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons,” <i>Neuroreport</i>, vol. 3, no. 8. Lippincott, Williams &#38; Wilkins, pp. 685–688, 1992.","chicago":"Heisenberg, Carl-Philipp J, Hans Thoenen, and Dan Lindholm. “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons.” <i>Neuroreport</i>. Lippincott, Williams &#38; Wilkins, 1992. <a href=\"https://doi.org/10.1097/00001756-199208000-00008 \">https://doi.org/10.1097/00001756-199208000-00008 </a>.","apa":"Heisenberg, C.-P. J., Thoenen, H., &#38; Lindholm, D. (1992). Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. <i>Neuroreport</i>. Lippincott, Williams &#38; Wilkins. <a href=\"https://doi.org/10.1097/00001756-199208000-00008 \">https://doi.org/10.1097/00001756-199208000-00008 </a>","ama":"Heisenberg C-PJ, Thoenen H, Lindholm D. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. <i>Neuroreport</i>. 1992;3(8):685-688. doi:<a href=\"https://doi.org/10.1097/00001756-199208000-00008 \">10.1097/00001756-199208000-00008 </a>","ista":"Heisenberg C-PJ, Thoenen H, Lindholm D. 1992. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 3(8), 685–688.","short":"C.-P.J. Heisenberg, H. Thoenen, D. Lindholm, Neuroreport 3 (1992) 685–688.","mla":"Heisenberg, Carl-Philipp J., et al. “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons.” <i>Neuroreport</i>, vol. 3, no. 8, Lippincott, Williams &#38; Wilkins, 1992, pp. 685–88, doi:<a href=\"https://doi.org/10.1097/00001756-199208000-00008 \">10.1097/00001756-199208000-00008 </a>."},"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"685 - 688","volume":3,"year":"1992","_id":"4195","extern":"1","abstract":[{"text":"The effects of tri-iodothyronine (T3), which are known to affect cerebellar development, were tested on neuronal survival and differentiation of cultured cerebellar granule neurons. T3 in physiological concentrations increased both granule neuron survival after three days in culture and synaptic vesicle protein formation, as shown by immunostaining with antibodies against synaptophysin. Likewise, T3 increased the mRNA level for synapsin(I), but not that for GAP43 in granule neurons. Antibodies against microtubule associated protein Tau, which is expressed in developing neurites, showed that T3 also enhanced neurite formation.","lang":"eng"}],"publisher":"Lippincott, Williams & Wilkins","title":"Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons","publication":"Neuroreport","publist_id":"1922","oa_version":"None","date_created":"2018-12-11T12:07:31Z","day":"01","pmid":1,"language":[{"iso":"eng"}],"month":"01","publication_status":"published","intvolume":"         3","main_file_link":[{"url":"https://journals.lww.com/neuroreport/abstract/1992/08000/tri_iodothyronine_regulates_survival_and.8.aspx"}],"doi":"10.1097/00001756-199208000-00008 ","date_updated":"2022-03-15T15:25:24Z","article_processing_charge":"No","author":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","first_name":"Carl-Philipp J"},{"full_name":"Thoenen, Hans","first_name":"Hans","last_name":"Thoenen"},{"last_name":"Lindholm","first_name":"Dan","full_name":"Lindholm, Dan"}],"date_published":"1992-01-01T00:00:00Z","quality_controlled":"1","scopus_import":"1"},{"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1129 - 1145","volume":46,"year":"1992","_id":"4305","article_type":"original","external_id":{"pmid":["28564402"]},"issue":"4","status":"public","acknowledgement":"This study was funded by grants from the Royal Society of London to J.B.S., and from the S.E.R.C., N.E.R.C. and the Darwin Trust to N.Barton. A.J.Reilly, Y.Luo, and S. J.Mercer provided unpublished data and D.Currie, A.E.Douglas, K.  S.Jackson, X.Lambin and D.Kapan made helpful comments on the manuscript. We appreciate our discussions with B. O.Bengtsson. ","publication_identifier":{"issn":["0014-3820"],"eissn":["1558-5646"]},"citation":{"ieee":"T. Hatfield, N. H. Barton, and J. Searle, “A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus),” <i>Evolution; International Journal of Organic Evolution</i>, vol. 46, no. 4. Wiley-Blackwell, pp. 1129–1145, 1992.","chicago":"Hatfield, Todd, Nicholas H Barton, and Jeremy Searle. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” <i>Evolution; International Journal of Organic Evolution</i>. Wiley-Blackwell, 1992. <a href=\"https://doi.org/10.1111/j.1558-5646.1992.tb00624.x\">https://doi.org/10.1111/j.1558-5646.1992.tb00624.x</a>.","apa":"Hatfield, T., Barton, N. H., &#38; Searle, J. (1992). A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). <i>Evolution; International Journal of Organic Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1558-5646.1992.tb00624.x\">https://doi.org/10.1111/j.1558-5646.1992.tb00624.x</a>","ama":"Hatfield T, Barton NH, Searle J. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). <i>Evolution; International Journal of Organic Evolution</i>. 1992;46(4):1129-1145. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1992.tb00624.x\">10.1111/j.1558-5646.1992.tb00624.x</a>","mla":"Hatfield, Todd, et al. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” <i>Evolution; International Journal of Organic Evolution</i>, vol. 46, no. 4, Wiley-Blackwell, 1992, pp. 1129–45, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1992.tb00624.x\">10.1111/j.1558-5646.1992.tb00624.x</a>.","ista":"Hatfield T, Barton NH, Searle J. 1992. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. 46(4), 1129–1145.","short":"T. Hatfield, N.H. Barton, J. Searle, Evolution; International Journal of Organic Evolution 46 (1992) 1129–1145."},"publisher":"Wiley-Blackwell","title":"A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus)","publication":"Evolution; International Journal of Organic Evolution","publist_id":"1759","oa_version":"Published Version","date_created":"2018-12-11T12:08:09Z","extern":"1","abstract":[{"lang":"eng","text":"The common shrew (Sorex araneus) is subdivided into several karyotypic races in Britain. Two of these races meet near Oxford to form the &quot;Oxford-Hermitage&quot; hybrid zone. We present a model which describes this system as a &quot;tension zone,&quot; i.e., a set of clines maintained by a balance between dispersal and selection against chromosomal heterozygotes. The Oxford and Hermitage races differ by Robertsonian fusions with monobrachial homology (kq, no versus ko), and so F1 hybrids between them would have low fertility. However, the acrocentric karyotype is found at high frequency within the hybrid zone, so that complex Robertsonian heterozygotes (kq no/q ko n) are replaced by more fertile combinations, such as (kq no/k q n o). This suggests that the hybrid zone has been modified so as to increase hybrid fitness. Mathematical analysis and simulation show that, if selection against complex heterozygotes is sufficiently strong relative to selection against simple heterozygotes, acrocentrics increase, and displace the clines for kq and no from the cline for ko. Superimposed on this separation is a tendency for the hybrid zone to move m favor of the Oxford (kq no) race. We compare the model with estimates of linkage disequilibrium and cline shape made from field data."}],"publication_status":"published","intvolume":"        46","main_file_link":[{"url":"http://www.jstor.org/stable/2409761"}],"day":"01","pmid":1,"language":[{"iso":"eng"}],"month":"08","doi":"10.1111/j.1558-5646.1992.tb00624.x","date_updated":"2022-03-15T14:49:26Z","article_processing_charge":"No","date_published":"1992-08-01T00:00:00Z","author":[{"last_name":"Hatfield","first_name":"Todd","full_name":"Hatfield, Todd"},{"first_name":"Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Searle, Jeremy","first_name":"Jeremy","last_name":"Searle"}],"quality_controlled":"1"},{"quality_controlled":"1","extern":"1","scopus_import":"1","date_updated":"2022-03-15T14:27:10Z","doi":"10.1038/357440a0","article_processing_charge":"No","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"},{"last_name":"Goldman","first_name":"Nick","full_name":"Goldman, Nick"}],"date_published":"1992-06-11T00:00:00Z","publist_id":"1758","oa_version":"None","date_created":"2018-12-11T12:08:10Z","publisher":"Nature Publishing Group","title":"Genetics and geography","publication":"Nature","language":[{"iso":"eng"}],"month":"06","citation":{"mla":"Barton, Nicholas H., and Nick Goldman. “Genetics and Geography.” <i>Nature</i>, vol. 357, Nature Publishing Group, 1992, pp. 440–41, doi:<a href=\"https://doi.org/10.1038/357440a0\">10.1038/357440a0</a>.","short":"N.H. Barton, N. Goldman, Nature 357 (1992) 440–441.","ista":"Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.","ama":"Barton NH, Goldman N. Genetics and geography. <i>Nature</i>. 1992;357:440-441. doi:<a href=\"https://doi.org/10.1038/357440a0\">10.1038/357440a0</a>","apa":"Barton, N. H., &#38; Goldman, N. (1992). Genetics and geography. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/357440a0\">https://doi.org/10.1038/357440a0</a>","ieee":"N. H. Barton and N. Goldman, “Genetics and geography,” <i>Nature</i>, vol. 357. Nature Publishing Group, pp. 440–441, 1992.","chicago":"Barton, Nicholas H, and Nick Goldman. “Genetics and Geography.” <i>Nature</i>. Nature Publishing Group, 1992. <a href=\"https://doi.org/10.1038/357440a0\">https://doi.org/10.1038/357440a0</a>."},"day":"11","status":"public","publication_status":"published","year":"1992","main_file_link":[{"url":"https://www.nature.com/articles/357440a0"}],"_id":"4306","intvolume":"       357","type":"review","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"440 - 441","volume":357},{"publication_status":"published","year":"1992","_id":"4307","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-94-011-2338-9_3"}],"type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"37 - 60","language":[{"iso":"eng"}],"month":"01","citation":{"mla":"Barton, Nicholas H. “The Genetic Consequences of Dispersal.” <i>Animal Dispersal: Small Mammals as a Model</i>, edited by Nils Stenseth and William Lidicker, Chapman Hall, 1992, pp. 37–60, doi:<a href=\"https://doi.org/10.1007/978-94-011-2338-9_3\">10.1007/978-94-011-2338-9_3</a>.","short":"N.H. Barton, in:, N. Stenseth, W. Lidicker (Eds.), Animal Dispersal: Small Mammals as a Model, Chapman Hall, 1992, pp. 37–60.","ista":"Barton NH. 1992.The genetic consequences of dispersal. In: Animal dispersal: small mammals as a model. , 37–60.","ama":"Barton NH. The genetic consequences of dispersal. In: Stenseth N, Lidicker W, eds. <i>Animal Dispersal: Small Mammals as a Model</i>. Chapman Hall; 1992:37-60. doi:<a href=\"https://doi.org/10.1007/978-94-011-2338-9_3\">10.1007/978-94-011-2338-9_3</a>","apa":"Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth &#38; W. Lidicker (Eds.), <i>Animal dispersal: small mammals as a model</i> (pp. 37–60). Chapman Hall. <a href=\"https://doi.org/10.1007/978-94-011-2338-9_3\">https://doi.org/10.1007/978-94-011-2338-9_3</a>","chicago":"Barton, Nicholas H. “The Genetic Consequences of Dispersal.” In <i>Animal Dispersal: Small Mammals as a Model</i>, edited by Nils Stenseth and William Lidicker, 37–60. Chapman Hall, 1992. <a href=\"https://doi.org/10.1007/978-94-011-2338-9_3\">https://doi.org/10.1007/978-94-011-2338-9_3</a>.","ieee":"N. H. Barton, “The genetic consequences of dispersal,” in <i>Animal dispersal: small mammals as a model</i>, N. Stenseth and W. Lidicker, Eds. Chapman Hall, 1992, pp. 37–60."},"day":"01","status":"public","publist_id":"1757","oa_version":"None","date_created":"2018-12-11T12:08:10Z","publisher":"Chapman Hall","title":"The genetic consequences of dispersal","publication":"Animal dispersal: small mammals as a model","extern":"1","quality_controlled":"1","doi":"10.1007/978-94-011-2338-9_3","date_updated":"2022-03-14T14:19:36Z","article_processing_charge":"No","editor":[{"full_name":"Stenseth, Nils","last_name":"Stenseth","first_name":"Nils"},{"first_name":"William","last_name":"Lidicker","full_name":"Lidicker, William"}],"date_published":"1992-01-01T00:00:00Z","author":[{"orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"}]},{"article_processing_charge":"No","date_updated":"2022-03-14T13:36:15Z","author":[{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"date_published":"1992-04-01T00:00:00Z","extern":"1","quality_controlled":"1","publisher":"Wiley-Blackwell","publication":"Evolution; International Journal of Organic Evolution","title":"On the spread of new gene combinations in the third phase of Wright's shifting balance","publist_id":"1756","date_created":"2018-12-11T12:08:10Z","oa_version":"None","issue":"2","day":"01","article_type":"original","acknowledgement":"This work was supported by the Darwin Trust, NSF  grant BSR/866548, and SERC grant GR/E/08507. Valuable comments on the manuscript were received  from D. Currie, K. Dawson, K. S. Jackson, W. G. Hill,  M. Turelli, and an anonymous referee. I would particularly like to thank K. Dawson and the referee, for  pointing out the complexities involved in calculating  P(i, j; k), and J. F. Crow, for supplying detailed simulation results, and for his helpful comments on the draft of this paper.","status":"public","month":"04","publication_identifier":{"eissn":["1558-5646"],"issn":["0014-3820"]},"language":[{"iso":"eng"}],"citation":{"short":"N.H. Barton, Evolution; International Journal of Organic Evolution 46 (1992) 551–557.","mla":"Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase of Wright’s Shifting Balance.” <i>Evolution; International Journal of Organic Evolution</i>, vol. 46, no. 2, Wiley-Blackwell, 1992, pp. 551–57.","ista":"Barton NH. 1992. On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. 46(2), 551–557.","ama":"Barton NH. On the spread of new gene combinations in the third phase of Wright’s shifting balance. <i>Evolution; International Journal of Organic Evolution</i>. 1992;46(2):551-557.","apa":"Barton, N. H. (1992). On the spread of new gene combinations in the third phase of Wright’s shifting balance. <i>Evolution; International Journal of Organic Evolution</i>. Wiley-Blackwell.","ieee":"N. H. Barton, “On the spread of new gene combinations in the third phase of Wright’s shifting balance,” <i>Evolution; International Journal of Organic Evolution</i>, vol. 46, no. 2. Wiley-Blackwell, pp. 551–557, 1992.","chicago":"Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase of Wright’s Shifting Balance.” <i>Evolution; International Journal of Organic Evolution</i>. Wiley-Blackwell, 1992."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":46,"page":"551 - 557","year":"1992","publication_status":"published","intvolume":"        46","_id":"4308","main_file_link":[{"url":"http://www.jstor.org/stable/2409871"}]},{"intvolume":"       623","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-55719-9_103"}],"publication_status":"published","language":[{"iso":"eng"}],"month":"01","day":"01","conference":{"end_date":"1992-07-17","name":"ICALP: Automata, Languages and Programming","start_date":"1992-07-13","location":"Vienna, Austria"},"quality_controlled":"1","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"last_name":"Manna","first_name":"Zohar","full_name":"Manna, Zohar"},{"last_name":"Pnueli","first_name":"Amir","full_name":"Pnueli, Amir"}],"date_published":"1992-01-01T00:00:00Z","doi":"10.1007/3-540-55719-9_103","alternative_title":["LNCS"],"date_updated":"2022-03-14T09:47:09Z","article_processing_charge":"No","_id":"4504","year":"1992","page":"545 - 558","volume":623,"type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1992). What good are digital clocks? In <i>19th International Colloquium on Automata, Languages and Programming</i> (Vol. 623, pp. 545–558). Vienna, Austria: Springer. <a href=\"https://doi.org/10.1007/3-540-55719-9_103\">https://doi.org/10.1007/3-540-55719-9_103</a>","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in <i>19th International Colloquium on Automata, Languages and Programming</i>, Vienna, Austria, 1992, vol. 623, pp. 545–558.","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?” In <i>19th International Colloquium on Automata, Languages and Programming</i>, 623:545–58. Springer, 1992. <a href=\"https://doi.org/10.1007/3-540-55719-9_103\">https://doi.org/10.1007/3-540-55719-9_103</a>.","mla":"Henzinger, Thomas A., et al. “What Good Are Digital Clocks?” <i>19th International Colloquium on Automata, Languages and Programming</i>, vol. 623, Springer, 1992, pp. 545–58, doi:<a href=\"https://doi.org/10.1007/3-540-55719-9_103\">10.1007/3-540-55719-9_103</a>.","ista":"Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 623, 545–558.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, 19th International Colloquium on Automata, Languages and Programming, Springer, 1992, pp. 545–558.","ama":"Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: <i>19th International Colloquium on Automata, Languages and Programming</i>. Vol 623. Springer; 1992:545-558. doi:<a href=\"https://doi.org/10.1007/3-540-55719-9_103\">10.1007/3-540-55719-9_103</a>"},"status":"public","acknowledgement":"A full version of this paper (including all proofs) is available as a technical report from Cornell University and Stanford University. The research was supported in part by the National Science Foundation under grants CCR-89-11512 and CCR-89-13641, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract AFOSR-90-0057, and by the European Community ESPRIT Basic Research Action Project 3096 (SPEC).\r\n\r\nSponsors: National Science Foundation grant CCR-89-11512,  National Science Foundation grant CCR-89-13641, Defense Advanced Research Projects Agency contract NAG2-703, United States Air Force Office of Scientific Research contract AFOSR-90-0057, European Community ESPRIT Basic Research Action Project 3096 (SPEC).\r\n","oa_version":"None","date_created":"2018-12-11T12:09:11Z","publist_id":"223","title":"What good are digital clocks?","publication":"19th International Colloquium on Automata, Languages and Programming","publisher":"Springer","abstract":[{"lang":"eng","text":"Real-time systems operate in “real,” continuous time and state changes may occur at any real-numbered time point. Yet many verification methods are based on the assumption that states are observed at integer time points only. What can we conclude if a real-time system has been shown “correct” for integral observations?\r\n\r\nInteger time verification techniques suffice if the problem of whether all real-numbered behaviors of a system satisfy a property can be reduced to the question of whether the integral observations satisfy a (possibly modified) property. We show that this reduction is possible for a large and important class of systems and properties: the class of systems includes all systems that can be modeled as timed transition systems; the class of properties includes time-bounded invariance and time-bounded response."}],"extern":"1"},{"day":"01","status":"public","publication_identifier":{"isbn":["0-8186-2735-2"]},"language":[{"iso":"eng"}],"month":"01","citation":{"ieee":"T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” in <i>Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science</i>, Santa Cruz, CA, United States of America, 1992, pp. 394–406.","chicago":"Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” In <i>Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science</i>, 394–406. IEEE, 1992. <a href=\"https://doi.org/10.1109/LICS.1992.185551\">https://doi.org/10.1109/LICS.1992.185551</a>.","apa":"Henzinger, T. A., Nicollin, X., Sifakis, J., &#38; Yovine, S. (1992). Symbolic model checking for real-time systems. In <i>Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science</i> (pp. 394–406). Santa Cruz, CA, United States of America: IEEE. <a href=\"https://doi.org/10.1109/LICS.1992.185551\">https://doi.org/10.1109/LICS.1992.185551</a>","ama":"Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. In: <i>Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1992:394-406. doi:<a href=\"https://doi.org/10.1109/LICS.1992.185551\">10.1109/LICS.1992.185551</a>","ista":"Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking for real-time systems. Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 394–406.","mla":"Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” <i>Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1992, pp. 394–406, doi:<a href=\"https://doi.org/10.1109/LICS.1992.185551\">10.1109/LICS.1992.185551</a>.","short":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1992, pp. 394–406."},"type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"394 - 406","publication_status":"published","year":"1992","_id":"4505","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/185551"}],"date_updated":"2022-03-14T13:20:50Z","doi":"10.1109/LICS.1992.185551","article_processing_charge":"No","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Nicollin, Xavier","last_name":"Nicollin","first_name":"Xavier"},{"full_name":"Sifakis, Joseph","last_name":"Sifakis","first_name":"Joseph"},{"full_name":"Yovine, Sergio","first_name":"Sergio","last_name":"Yovine"}],"date_published":"1992-01-01T00:00:00Z","extern":"1","quality_controlled":"1","scopus_import":"1","abstract":[{"lang":"eng","text":"We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given in an extension of CTL with clock variables). We develop an algorithm that computes this set of states symbolically as a fixpoint of a functional on state predicates, without constructing the state space.\r\n\r\nFor this purpose, we introduce a mu-calculus on computation trees over real-numbered time. Unfortunately, many standard program properties, such as response for all nonzeno execution sequences (during which time diverges), cannot be characterized by fixpoints: we show that the expressiveness of the timed mu-calculus is incomparable to the expressiveness of timed CTL. Fortunately, this result does not impair the symbolic verification of &quot;implementable&quot; real-time programs--those whose safety constraints are machine-closed with respect to diverging time and whose fairness constraints are restricted to finite upper bounds on clock values. All timed CTL properties of such programs are shown to be computable as finitely approximable fixpoints in a simple decidable theory."}],"publisher":"IEEE","title":"Symbolic model checking for real-time systems","publication":"Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science","publist_id":"224","oa_version":"None","date_created":"2018-12-11T12:09:12Z","conference":{"start_date":"1992-06-22","location":"Santa Cruz, CA, United States of America","end_date":"1992-06-25","name":"LICS: Logic in Computer Science"}},{"abstract":[{"text":"We incorporate time into an interleaving model of concurrency. In timed transition systems, the qualitative fairness requirements of traditional transition system are replaced (and superseded) by quantitative lower-bound and upperbound timing constraints on transitions. The purpose of this paper is to explore the scope of applicability for the abstract model of timed transition systems. We demonstrate that the model can represent a wide variety of phenomena that routinely occur in conjunction with the timed execution of concurrent processes. Our treatment covers both processes that are executed in parallel on separate processors and communicate either through shared variables or by message passing, and processes that time-share a limited number of processors under a given scheduling policy. Often it is this scheduling policy that determines if a system meets its real-time requirements. Thus we explicitly address such questions as time-outs, interrupts, static and dynamic priorities.","lang":"eng"}],"extern":"1","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"first_name":"Zohar","last_name":"Manna","full_name":"Manna, Zohar"},{"last_name":"Pnueli","first_name":"Amir","full_name":"Pnueli, Amir"}],"date_published":"1992-01-01T00:00:00Z","article_processing_charge":"No","doi":"10.1007/BFb0031995","date_updated":"2022-03-14T09:34:44Z","alternative_title":["LNCS"],"date_created":"2018-12-11T12:09:12Z","oa_version":"None","publist_id":"222","publication":"Real Time: Theory in Practice","title":"Timed transition systems","publisher":"Springer","citation":{"ama":"Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: <i>Real Time: Theory in Practice</i>. Vol 600. Springer; 1992:226-251. doi:<a href=\"https://doi.org/10.1007/BFb0031995\">10.1007/BFb0031995</a>","mla":"Henzinger, Thomas A., et al. “Timed Transition Systems.” <i>Real Time: Theory in Practice</i>, vol. 600, Springer, 1992, pp. 226–51, doi:<a href=\"https://doi.org/10.1007/BFb0031995\">10.1007/BFb0031995</a>.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice, Springer, 1992, pp. 226–251.","ista":"Henzinger TA, Manna Z, Pnueli A. 1992.Timed transition systems. In: Real Time: Theory in Practice. LNCS, vol. 600, 226–251.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “Timed transition systems,” in <i>Real Time: Theory in Practice</i>, vol. 600, Springer, 1992, pp. 226–251.","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In <i>Real Time: Theory in Practice</i>, 600:226–51. Springer, 1992. <a href=\"https://doi.org/10.1007/BFb0031995\">https://doi.org/10.1007/BFb0031995</a>.","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1992). Timed transition systems. In <i>Real Time: Theory in Practice</i> (Vol. 600, pp. 226–251). Springer. <a href=\"https://doi.org/10.1007/BFb0031995\">https://doi.org/10.1007/BFb0031995</a>"},"month":"01","language":[{"iso":"eng"}],"status":"public","acknowledgement":"Sponsor: IBM graduate fellowship, National Science Foundation grant CCR-89-11512 National Science Foundation grant CCR-89-13641,  Defense Advanced Research Projects Agency 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)","day":"01","intvolume":"       600","_id":"4507","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0031995"}],"year":"1992","publication_status":"published","volume":600,"page":"226 - 251","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"book_chapter"},{"abstract":[{"lang":"eng","text":"It has been observed repeatedly that the standard safety-liveness classification for properties of reactive systems does not fit for real-time properties. This is because the implicit “liveliness” of time shifts the spectrum towards the safety side. While, for example, response—that “something good” will happen eventually—is a classical liveness property, bounded response—that “something good” will happen soon, within a certain amount of time—has many characteristics of safety. We account for this phenomenon formally by defining safety and liveness relative to a given condition, such as the progress of time."}],"extern":"1","publication":"Information Processing Letters","title":"Sooner Is Safer Than Later","publisher":"Elsevier","date_created":"2018-12-11T12:09:16Z","oa_version":"None","publist_id":"211","status":"public","acknowledgement":"The author thanks Martin Abadi, Rajeev Alur, David Dill, Leslie Lamport, Zohar Manna, Amir Pnueli, Fred Schneider, and two anonymous referees for many valuable suggestions and improvements. ","issue":"3","article_type":"original","citation":{"mla":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” <i>Information Processing Letters</i>, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:<a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">10.1016/0020-0190(92)90005-G</a>.","ista":"Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.","short":"T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.","ama":"Henzinger TA. Sooner Is Safer Than Later. <i>Information Processing Letters</i>. 1992;43(3):135-141. doi:<a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">10.1016/0020-0190(92)90005-G</a>","apa":"Henzinger, T. A. (1992). Sooner Is Safer Than Later. <i>Information Processing Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">https://doi.org/10.1016/0020-0190(92)90005-G</a>","chicago":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” <i>Information Processing Letters</i>. Elsevier, 1992. <a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">https://doi.org/10.1016/0020-0190(92)90005-G</a>.","ieee":"T. A. Henzinger, “Sooner Is Safer Than Later,” <i>Information Processing Letters</i>, vol. 43, no. 3. Elsevier, pp. 135–141, 1992."},"publication_identifier":{"issn":["0020-0190"]},"volume":43,"page":"135 - 141","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"4517","year":"1992","date_published":"1992-09-14T00:00:00Z","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"article_processing_charge":"No","doi":"10.1016/0020-0190(92)90005-G","date_updated":"2022-03-07T11:31:23Z","scopus_import":"1","quality_controlled":"1","day":"14","month":"09","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/002001909290005G?via%3Dihub"}],"intvolume":"        43","publication_status":"published"},{"oa_version":"None","date_created":"2018-12-11T11:57:55Z","publist_id":"4419","title":"Sequence and expression of a metabotropic glutamate receptor","publication":"Nature","publisher":"Nature Publishing Group","abstract":[{"lang":"eng","text":"The complementary DNA of a metabotropic glutamate receptor coupled to inositol phosphate/Ca2+ signal transduction has been cloned and characterized. This receptor shows no sequence similarity to conventional G protein-coupled receptors and has a unique structure with large hydrophilic sequences at both sides of seven putative membrane-spanning domains. Abundant expression of this messenger RNA is observed in neuronal cells in hippocampal dentate gyrus and CA2-3 and in cerebellar Purkinje cells, suggesting the importance of this receptor in specific hippocampal and cerebellar functions."}],"extern":"1","_id":"2482","year":"1991","page":"760 - 765","volume":349,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"apa":"Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., &#38; Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/349760a0\">https://doi.org/10.1038/349760a0</a>","chicago":"Masu, Masayuki, Yasuto Tanabe, Kunihiro Tsuchida, Ryuichi Shigemoto, and Shigetada Nakanishi. “Sequence and Expression of a Metabotropic Glutamate Receptor.” <i>Nature</i>. Nature Publishing Group, 1991. <a href=\"https://doi.org/10.1038/349760a0\">https://doi.org/10.1038/349760a0</a>.","ieee":"M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, and S. Nakanishi, “Sequence and expression of a metabotropic glutamate receptor,” <i>Nature</i>, vol. 349, no. 6312. Nature Publishing Group, pp. 760–765, 1991.","ista":"Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. 1991. Sequence and expression of a metabotropic glutamate receptor. Nature. 349(6312), 760–765.","mla":"Masu, Masayuki, et al. “Sequence and Expression of a Metabotropic Glutamate Receptor.” <i>Nature</i>, vol. 349, no. 6312, Nature Publishing Group, 1991, pp. 760–65, doi:<a href=\"https://doi.org/10.1038/349760a0\">10.1038/349760a0</a>.","short":"M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991) 760–765.","ama":"Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. Sequence and expression of a metabotropic glutamate receptor. <i>Nature</i>. 1991;349(6312):760-765. doi:<a href=\"https://doi.org/10.1038/349760a0\">10.1038/349760a0</a>"},"publication_identifier":{"issn":["0028-0836"],"eissn":["1476-4687"]},"status":"public","external_id":{"pmid":["1847995 "]},"article_type":"original","issue":"6312","scopus_import":"1","quality_controlled":"1","date_published":"1991-02-28T00:00:00Z","author":[{"full_name":"Masu, Masayuki","first_name":"Masayuki","last_name":"Masu"},{"full_name":"Tanabe, Yasuto","first_name":"Yasuto","last_name":"Tanabe"},{"full_name":"Tsuchida, Kunihiro","last_name":"Tsuchida","first_name":"Kunihiro"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"}],"date_updated":"2022-03-03T15:37:36Z","doi":"10.1038/349760a0","article_processing_charge":"No","intvolume":"       349","main_file_link":[{"url":"https://www.nature.com/articles/349760a0"}],"publication_status":"published","language":[{"iso":"eng"}],"month":"02","pmid":1,"day":"28"},{"day":"07","pmid":1,"month":"11","language":[{"iso":"eng"}],"publication_status":"published","main_file_link":[{"url":"https://www.nature.com/articles/354031a0"}],"intvolume":"       353","article_processing_charge":"No","doi":"10.1038/354031a0","date_updated":"2022-03-03T15:25:04Z","author":[{"first_name":"Koki","last_name":"Moriyoshi","full_name":"Moriyoshi, Koki"},{"last_name":"Masu","first_name":"Masayuki","full_name":"Masu, Masayuki"},{"full_name":"Ishii, Takahiro","first_name":"Takahiro","last_name":"Ishii"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"date_published":"1991-11-07T00:00:00Z","quality_controlled":"1","scopus_import":"1","issue":"6348","external_id":{"pmid":["1834949"]},"article_type":"original","status":"public","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"citation":{"ista":"Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. 1991. Molecular cloning and characterization of the rat NMDA receptor. Nature. 353(6348), 31–37.","short":"K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 353 (1991) 31–37.","mla":"Moriyoshi, Koki, et al. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” <i>Nature</i>, vol. 353, no. 6348, Nature Publishing Group, 1991, pp. 31–37, doi:<a href=\"https://doi.org/10.1038/354031a0\">10.1038/354031a0</a>.","ama":"Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. Molecular cloning and characterization of the rat NMDA receptor. <i>Nature</i>. 1991;353(6348):31-37. doi:<a href=\"https://doi.org/10.1038/354031a0\">10.1038/354031a0</a>","apa":"Moriyoshi, K., Masu, M., Ishii, T., Shigemoto, R., Mizuno, N., &#38; Nakanishi, S. (1991). Molecular cloning and characterization of the rat NMDA receptor. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/354031a0\">https://doi.org/10.1038/354031a0</a>","chicago":"Moriyoshi, Koki, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” <i>Nature</i>. Nature Publishing Group, 1991. <a href=\"https://doi.org/10.1038/354031a0\">https://doi.org/10.1038/354031a0</a>.","ieee":"K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Molecular cloning and characterization of the rat NMDA receptor,” <i>Nature</i>, vol. 353, no. 6348. Nature Publishing Group, pp. 31–37, 1991."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":353,"page":"31 - 37","year":"1991","_id":"2483","extern":"1","abstract":[{"lang":"eng","text":"A complementary DNA encoding the rat NMDA receptor has been cloned and characterized. The single protein encoded by the cDNA forms a receptor-channel complex that has electrophysiological and pharmacological properties characteristic of the NMDA receptor. This protein has a significant sequence similarity to the AMPA/kainate receptors and contains four putative transmembrane segments following a large extracellular domain. The NMDA receptor messenger RNA is expressed in neuronal cells throughout the brain regions, particularly in the hippocampus, cerebral cortex and cerebellum."}],"publisher":"Nature Publishing Group","publication":"Nature","title":"Molecular cloning and characterization of the rat NMDA receptor","publist_id":"4418","date_created":"2018-12-11T11:57:56Z","oa_version":"None"},{"scopus_import":"1","quality_controlled":"1","date_published":"1991-05-01T00:00:00Z","author":[{"full_name":"Yasui, Yukihiko","last_name":"Yasui","first_name":"Yukihiko"},{"last_name":"Itoh","first_name":"Kazuo","full_name":"Itoh, Kazuo"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}],"date_updated":"2022-03-03T15:16:05Z","doi":"10.1007/BF00229988","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"05","pmid":1,"day":"01","intvolume":"        85","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF00229988"}],"publication_status":"published","abstract":[{"lang":"eng","text":"The distribution of cerebral cortical neurons sending projection fibers to the nucleus of the solitary tract (NST), and the topographical distribution of axon terminals of cortico-NST fibers within the NST were examined in the cat by two sets of experiments with horseradish peroxidase (HRP) and HRP conjugated with wheat germ agglutinin (WGA-HRP). First, HRP was injected into the NST. In the cerebral cortex of these cats, neuronal cell bodies were labeled retrogradely in the deep pyramidal cell layer (layer V): After HRP injection centered on the rostral or middle part of the NST, HRP-labeled neuronal cell bodies were distributed mainly in the orbital gyrus and caudal part of the intralimbic cortex, and additionally in the rostral part of the anterior sylvian gyrus. After HRP injection centered on the caudal part of the NST, labeled neuronal cell bodies were seen mainly in the caudoventral part of the intralimbic cortex, and additionally in the orbital gyrus, posterior sigmoid gyrus and rostral part of the anterior sylvian gyrus. The labeling in the intralimbic cortex, orbital gyrus and anterior sylvian gyrus was bilateral with a predominantly ipsilateral distribution, while that in the posterior sigmoid gyrus was bilateral with a clear-cut contralateral dominance. In the second set of experiments, WGA-HRP was injected into the cerebral cortical regions where neuronal cell bodies had been retrogradely labeled with HRP injected into the NST: after WGA-HRP injection into the orbital gyrus, presumed axon terminals in the NST were labeled in the rostral two thirds of the nucleus bilaterally with an ipsilateral predominance. After WGA-HRP injection into the rostral part of the anterior sylvian gyrus, a moderate number of presumed axon terminals were labeled throughout the whole rostrocaudal extent of the NST bilaterally with a slight ipsilateral dominance. After WGA-HRP injection into the middle and caudal parts of the anterior sylvian gyrus, no labeling was found in the NST. After WGA-HRP injection into the caudal part of the intralimbic cortex, presumed terminal labeling in the NST was seen throughout the whole rostrocaudal extent of the nucleus bilaterally with a dominant ipsilateral distribution. After WGA-HRP injection into the posterior sigmoid gyrus, however, no terminal labeling was found in the NST. The results indicate that cortico-NST fibers from the orbital gyrus terminate in the rostral two thirds of the NST, while those from the intralimbic cortex and the rostral part of the anterior sylvian gyrus project to the whole rostrocaudal extent of the NST."}],"extern":"1","oa_version":"None","date_created":"2018-12-11T11:58:12Z","publist_id":"4370","title":"Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat","publication":"Experimental Brain Research","publisher":"Springer","citation":{"ama":"Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. <i>Experimental Brain Research</i>. 1991;85(1):75-84. doi:<a href=\"https://doi.org/10.1007/BF00229988\">10.1007/BF00229988</a>","ista":"Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. 1991. Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental Brain Research. 85(1), 75–84.","short":"Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain Research 85 (1991) 75–84.","mla":"Yasui, Yukihiko, et al. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” <i>Experimental Brain Research</i>, vol. 85, no. 1, Springer, 1991, pp. 75–84, doi:<a href=\"https://doi.org/10.1007/BF00229988\">10.1007/BF00229988</a>.","chicago":"Yasui, Yukihiko, Kazuo Itoh, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” <i>Experimental Brain Research</i>. Springer, 1991. <a href=\"https://doi.org/10.1007/BF00229988\">https://doi.org/10.1007/BF00229988</a>.","ieee":"Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, and N. Mizuno, “Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat,” <i>Experimental Brain Research</i>, vol. 85, no. 1. Springer, pp. 75–84, 1991.","apa":"Yasui, Y., Itoh, K., Kaneko, T., Shigemoto, R., &#38; Mizuno, N. (1991). Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. <i>Experimental Brain Research</i>. Springer. <a href=\"https://doi.org/10.1007/BF00229988\">https://doi.org/10.1007/BF00229988</a>"},"publication_identifier":{"eissn":["1432-1106"],"issn":["0014-4819"]},"status":"public","article_type":"original","external_id":{"pmid":["1715827"]},"issue":"1","_id":"2529","year":"1991","page":"75 - 84","volume":85,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"scopus_import":"1","quality_controlled":"1","author":[{"last_name":"Nakanishi","first_name":"Shigetada","full_name":"Nakanishi, Shigetada"},{"full_name":"Ohkubo, Hiroaki","first_name":"Hiroaki","last_name":"Ohkubo"},{"first_name":"Akira","last_name":"Kakizuka","full_name":"Kakizuka, Akira"},{"last_name":"Yokota","first_name":"Yoshifumi","full_name":"Yokota, Yoshifumi"},{"first_name":"Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sasai","first_name":"Yoshiki","full_name":"Sasai, Yoshiki"},{"last_name":"Takumi","first_name":"Toru","full_name":"Takumi, Toru"}],"date_published":"1991-01-01T00:00:00Z","article_processing_charge":"No","date_updated":"2022-03-03T14:59:24Z","doi":"10.1016/b978-0-12-571146-3.50007-9","month":"01","language":[{"iso":"eng"}],"pmid":1,"day":"01","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/B9780125711463500079"}],"intvolume":"        46","publication_status":"published","extern":"1","date_created":"2018-12-11T11:58:13Z","oa_version":"None","publist_id":"4369","publication":"Recent Progress in Hormone Research","title":"Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel","publisher":"The Endocrine Society","citation":{"ieee":"S. Nakanishi <i>et al.</i>, “Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel,” in <i>Recent Progress in Hormone Research</i>, vol. 46, The Endocrine Society, 1991, pp. 59–83.","chicago":"Nakanishi, Shigetada, Hiroaki Ohkubo, Akira Kakizuka, Yoshifumi Yokota, Ryuichi Shigemoto, Yoshiki Sasai, and Toru Takumi. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” In <i>Recent Progress in Hormone Research</i>, 46:59–83. The Endocrine Society, 1991. <a href=\"https://doi.org/10.1016/b978-0-12-571146-3.50007-9\">https://doi.org/10.1016/b978-0-12-571146-3.50007-9</a>.","apa":"Nakanishi, S., Ohkubo, H., Kakizuka, A., Yokota, Y., Shigemoto, R., Sasai, Y., &#38; Takumi, T. (1991). Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In <i>Recent Progress in Hormone Research</i> (Vol. 46, pp. 59–83). The Endocrine Society. <a href=\"https://doi.org/10.1016/b978-0-12-571146-3.50007-9\">https://doi.org/10.1016/b978-0-12-571146-3.50007-9</a>","ama":"Nakanishi S, Ohkubo H, Kakizuka A, et al. Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In: <i>Recent Progress in Hormone Research</i>. Vol 46. The Endocrine Society; 1991:59-83. doi:<a href=\"https://doi.org/10.1016/b978-0-12-571146-3.50007-9\">10.1016/b978-0-12-571146-3.50007-9</a>","short":"S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.","ista":"Nakanishi S, Ohkubo H, Kakizuka A, Yokota Y, Shigemoto R, Sasai Y, Takumi T. 1991.Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In: Recent Progress in Hormone Research. vol. 46, 59–83.","mla":"Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” <i>Recent Progress in Hormone Research</i>, vol. 46, The Endocrine Society, 1991, pp. 59–83, doi:<a href=\"https://doi.org/10.1016/b978-0-12-571146-3.50007-9\">10.1016/b978-0-12-571146-3.50007-9</a>."},"publication_identifier":{"isbn":["978-0-12-571148-7"]},"status":"public","external_id":{"pmid":["2177908 "]},"_id":"2530","year":"1991","volume":46,"page":"59 - 83","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"book_chapter"},{"publication_identifier":{"issn":["0014-2956"]},"citation":{"ama":"Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. <i>FEBS Letters</i>. 1991;291(1):84-86. doi:<a href=\"https://doi.org/10.1016/0014-5793(91)81109-L\">10.1016/0014-5793(91)81109-L</a>","mla":"Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” <i>FEBS Letters</i>, vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:<a href=\"https://doi.org/10.1016/0014-5793(91)81109-L\">10.1016/0014-5793(91)81109-L</a>.","short":"S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.","ista":"Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. 1991. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 291(1), 84–86.","ieee":"S. Zaǐtsev, L. A. Sazanov, A. Koshkin, G. Sud’Ina, and S. Varfolomeev, “Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide,” <i>FEBS Letters</i>, vol. 291, no. 1. Elsevier, pp. 84–86, 1991.","chicago":"Zaǐtsev, Sergei, Leonid A Sazanov, Aleksei Koshkin, Galina Sud’Ina, and Sergei Varfolomeev. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” <i>FEBS Letters</i>. Elsevier, 1991. <a href=\"https://doi.org/10.1016/0014-5793(91)81109-L\">https://doi.org/10.1016/0014-5793(91)81109-L</a>.","apa":"Zaǐtsev, S., Sazanov, L. A., Koshkin, A., Sud’Ina, G., &#38; Varfolomeev, S. (1991). Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(91)81109-L\">https://doi.org/10.1016/0014-5793(91)81109-L</a>"},"issue":"1","external_id":{"pmid":["1936255 "]},"status":"public","year":"1991","_id":"1946","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":291,"page":"84 - 86","extern":"1","abstract":[{"text":"An ultra-low dose (10-14 M) of opioid peptide [D-Ala2]methionine enkephalinamide (DAMEA) is found to exert an inhibitory effect on the production of reactive oxygen species (respiratory burst) in human neutrophils. The validity of this phenomenon has been verified in a series of studies that comprised 30 experiments. The inhibition has proved to be statistically significant (P&lt;0.001). The dose-response dependence of the effect (10-15-10-9 M) followed a characteristic biphasic pattern (with the maximum effect at ultra-low doses). An opioid antagonist, naloxone partially blocks the inhibitory effect, which indicates that the DAMEA action is at least partially mediated by opioid receptors.","lang":"eng"}],"publist_id":"5139","date_created":"2018-12-11T11:54:51Z","oa_version":"None","publisher":"Elsevier","publication":"FEBS Letters","title":"Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide","month":"10","language":[{"iso":"eng"}],"day":"07","pmid":1,"publication_status":"published","intvolume":"       291","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/001457939181109L"}],"quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","doi":"10.1016/0014-5793(91)81109-L","date_updated":"2022-03-07T09:49:06Z","date_published":"1991-10-07T00:00:00Z","author":[{"last_name":"Zaǐtsev","first_name":"Sergei","full_name":"Zaǐtsev, Sergei"},{"full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989"},{"last_name":"Koshkin","first_name":"Aleksei","full_name":"Koshkin, Aleksei"},{"full_name":"Sud'Ina, Galina","last_name":"Sud'Ina","first_name":"Galina"},{"full_name":"Varfolomeev, Sergei","last_name":"Varfolomeev","first_name":"Sergei"}]},{"month":"01","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0163-5700"]},"citation":{"ama":"Alur R, Henzinger TA. Time for logic. <i>SIGACT News</i>. 1991;22(3):6-12.","ista":"Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” <i>SIGACT News</i>, vol. 22, no. 3, ACM, 1991, pp. 6–12.","short":"R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.","ieee":"R. Alur and T. A. Henzinger, “Time for logic,” <i>SIGACT News</i>, vol. 22, no. 3. ACM, pp. 6–12, 1991.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” <i>SIGACT News</i>. ACM, 1991.","apa":"Alur, R., &#38; Henzinger, T. A. (1991). Time for logic. <i>SIGACT News</i>. ACM."},"issue":"3","article_type":"letter_note","day":"01","status":"public","year":"1991","publication_status":"published","main_file_link":[{"url":"https://dl.acm.org/toc/sigact/1991/22/1"}],"_id":"4592","intvolume":"        22","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":22,"page":"6 - 12","quality_controlled":"1","extern":"1","article_processing_charge":"No","date_updated":"2022-02-24T13:54:10Z","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"date_published":"1991-01-01T00:00:00Z","publist_id":"113","date_created":"2018-12-11T12:09:39Z","oa_version":"None","publisher":"ACM","publication":"SIGACT News","title":"Time for logic"},{"day":"01","acknowledgement":"We  wish  to  thank  an  anonymous  referee  for  pointing  out the  PSPACE-fragment  of  Section  4.5.  T. A. Henzinger was supported in part by the Office of Naval Research Young Investigator award NOOO14-95-l-0520, by the National Science Foundation CAREER award CCR 9501708, by the National Science Foundation grants CCR 92-00794 and CCR 9504469, by the Air Force Office of Scientific Research contract F49620-93-l-0056, and by the Advanced Research Projects Agency grant NAG2-892. ","status":"public","month":"01","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0-89791-439-0"]},"citation":{"apa":"Alur, R., Feder, T., &#38; Henzinger, T. A. (1991). The benefits of relaxing punctuality. In <i>Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing</i> (pp. 139–152). Montreal, Canada: ACM. <a href=\"https://doi.org/10.1145/227595.227602\">https://doi.org/10.1145/227595.227602</a>","ieee":"R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” in <i>Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing</i>, Montreal, Canada, 1991, pp. 139–152.","chicago":"Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” In <i>Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing</i>, 139–52. ACM, 1991. <a href=\"https://doi.org/10.1145/227595.227602\">https://doi.org/10.1145/227595.227602</a>.","mla":"Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” <i>Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing</i>, ACM, 1991, pp. 139–52, doi:<a href=\"https://doi.org/10.1145/227595.227602\">10.1145/227595.227602</a>.","short":"R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.","ista":"Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality. Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 139–152.","ama":"Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: <i>Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing</i>. ACM; 1991:139-152. doi:<a href=\"https://doi.org/10.1145/227595.227602\">10.1145/227595.227602</a>"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","page":"139 - 152","year":"1991","publication_status":"published","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/227595.227602"}],"_id":"4621","article_processing_charge":"No","date_updated":"2022-02-24T13:27:20Z","doi":"10.1145/227595.227602","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"first_name":"Tomás","last_name":"Feder","full_name":"Feder, Tomás"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1991-01-01T00:00:00Z","extern":"1","quality_controlled":"1","abstract":[{"lang":"eng","text":"The  most  natural,  compositional,  way  of  modeling  real-time  systems  uses  a  dense domain  for  time.  The  satisfiability  of  timing  constraints  that  are  capable  of  expressing  punctuality in  this  model,  however,  is  known  to  be  undecidable.  We  introduce  a  temporal  language  that  can constrain  the  time  difference  between  events  only  with  finite,  yet  arbitrary,  precision  and  show  the resulting  logic  to  be  EXPSPACE-complete.  This  result  allows  us  to  develop  an  algorithm  for  the verification  of  timing  properties  of  real-time  systems  with  a  dense  semantics."}],"scopus_import":"1","publisher":"ACM","publication":"Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing","title":"The benefits of relaxing punctuality","publist_id":"86","conference":{"start_date":"1991-08-19","location":"Montreal, Canada","end_date":"1991-08-21","name":"PODC: Principles of Distributed Computing"},"date_created":"2018-12-11T12:09:48Z","oa_version":"None"},{"quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","date_updated":"2022-03-03T14:42:06Z","doi":"10.1007/BF00370453","date_published":"1991-01-01T00:00:00Z","author":[{"first_name":"Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Koh","first_name":"Duk","full_name":"Koh, Duk"},{"last_name":"Kampe","first_name":"Knut","full_name":"Kampe, Knut"},{"full_name":"Hermsteiner, Markus","first_name":"Markus","last_name":"Hermsteiner"},{"first_name":"Werner","last_name":"Vogel","full_name":"Vogel, Werner"}],"publication_status":"published","intvolume":"       418","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF00370453"}],"month":"01","language":[{"iso":"eng"}],"day":"01","pmid":1,"publist_id":"2919","date_created":"2018-12-11T12:03:29Z","oa_version":"None","publisher":"Springer","publication":"Pflügers Archiv : European Journal of Physiology","title":"ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability","extern":"1","abstract":[{"text":"Two types of metabolically regulated K channels have been identified for the first time in enzymatically demyelinated fibres of amphibian sciatic nerve using the patch-clamp technique. A maxi K channel with a single-channel conductance of 132 pS (105 mM K on both sides of the membrane, 15°C) is activated both by micromolar concentrations of internal Ca and by depolarization. A second type of K channel with a conductance of 44 pS is inhibited by intracellular adenosine 5'-triphosphate (ATP) with a half-maximal inhibitory concentration (IC50) of 35 μM. It is blocked by submicromolar concentrations of external glibenclamide. Both channels are sensitive to external tetraethylammonium chloride (IC50 = 0.2 mM for the maxi K channel and 4.2 mM for the ATP-sensitive channel). They may be part of a complex feedback system regulating axonal excitability under various metabolic conditions.\r\n","lang":"eng"}],"year":"1991","_id":"3468","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":418,"page":"68 - 73","publication_identifier":{"eissn":["1432-2013"],"issn":["0031-6768"]},"citation":{"chicago":"Jonas, Peter M, Duk Koh, Knut Kampe, Markus Hermsteiner, and Werner Vogel. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” <i>Pflügers Archiv : European Journal of Physiology</i>. Springer, 1991. <a href=\"https://doi.org/10.1007/BF00370453\">https://doi.org/10.1007/BF00370453</a>.","ieee":"P. M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, and W. Vogel, “ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability,” <i>Pflügers Archiv : European Journal of Physiology</i>, vol. 418, no. 1–2. Springer, pp. 68–73, 1991.","apa":"Jonas, P. M., Koh, D., Kampe, K., Hermsteiner, M., &#38; Vogel, W. (1991). ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. <i>Pflügers Archiv : European Journal of Physiology</i>. Springer. <a href=\"https://doi.org/10.1007/BF00370453\">https://doi.org/10.1007/BF00370453</a>","ama":"Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. <i>Pflügers Archiv : European Journal of Physiology</i>. 1991;418(1-2):68-73. doi:<a href=\"https://doi.org/10.1007/BF00370453\">10.1007/BF00370453</a>","mla":"Jonas, Peter M., et al. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” <i>Pflügers Archiv : European Journal of Physiology</i>, vol. 418, no. 1–2, Springer, 1991, pp. 68–73, doi:<a href=\"https://doi.org/10.1007/BF00370453\">10.1007/BF00370453</a>.","ista":"Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. 1991. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflügers Archiv : European Journal of Physiology. 418(1–2), 68–73.","short":"P.M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, W. Vogel, Pflügers Archiv : European Journal of Physiology 418 (1991) 68–73."},"issue":"1-2","external_id":{"pmid":["2041727"]},"article_type":"original","status":"public"},{"volume":4,"page":"253 - 263","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"book_chapter","_id":"3566","main_file_link":[{"url":"http://www.cs.duke.edu/~edels/Papers/1991-B-01-HyperplaneIncidence.pdf"}],"intvolume":"         4","year":"1991","publication_status":"published","status":"public","day":"01","citation":{"mla":"Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” <i>Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift</i>, vol. 4, American Mathematical Society, 1991, pp. 253–63.","ista":"Edelsbrunner H, Sharir M. 1991.A hyperplane incidence problem with applications to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, 253–263.","short":"H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.","ama":"Edelsbrunner H, Sharir M. A hyperplane incidence problem with applications to counting distances. In: <i>Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift</i>. Vol 4. American Mathematical Society; 1991:253-263.","apa":"Edelsbrunner, H., &#38; Sharir, M. (1991). A hyperplane incidence problem with applications to counting distances. In <i>Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift</i> (Vol. 4, pp. 253–263). American Mathematical Society.","ieee":"H. Edelsbrunner and M. Sharir, “A hyperplane incidence problem with applications to counting distances,” in <i>Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift</i>, vol. 4, American Mathematical Society, 1991, pp. 253–263.","chicago":"Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” In <i>Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift</i>, 4:253–63. American Mathematical Society, 1991."},"month":"04","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0897913850"]},"publication":"Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift","title":"A hyperplane incidence problem with applications to counting distances","publisher":"American Mathematical Society","date_created":"2018-12-11T12:04:00Z","oa_version":"None","publist_id":"2819","date_published":"1991-04-01T00:00:00Z","author":[{"orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"},{"full_name":"Sharir, Micha","first_name":"Micha","last_name":"Sharir"}],"article_processing_charge":"No","date_updated":"2022-03-03T13:27:01Z","alternative_title":["DIMACS Series in Discrete Mathematics and Theoretical Computer Science"],"scopus_import":"1","abstract":[{"text":"This paper proves an O(m2/3n2/3 + m + n) upper bound on the number of incidences between m points and n hyperplanes in four dimensions, assuming all points lie on one side of each hyperplane and the points and hyperplanes satisfy certain natural general position conditions. This result has application to various three-dimensional combinatorial distance problems. For example, it implies the same upper bound for the number of bichromatic minimum distance pairs in a set of m blue and n red points in three-dimensional space. This improves the best previous bound for this problem. © Springer-Verlag Berlin Heidelberg 1990.","lang":"eng"}],"extern":"1","quality_controlled":"1"},{"quality_controlled":"1","extern":"1","abstract":[{"text":"Many computational geometry problems arc exceedingly more difficult if the setting is the (three-dimensional real) space R3 rather than the plane . Most often the reason for this striking increase in complexity is the appearance of new geometric phenomena caused by one-dimensional objects in space. The intention of recent studies on problems for lines in space is to shed light on these new phenomena and their complexities. This paper reviews some of the most important results and shows how they are related to problems in dimensions 2 and 5. ","lang":"eng"}],"alternative_title":["DIAMCS Series in Discrete Mathematics and Theoretical Computer Science"],"date_updated":"2022-03-03T10:48:15Z","article_processing_charge":"No","date_published":"1991-06-01T00:00:00Z","author":[{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"}],"publist_id":"2818","oa_version":"None","date_created":"2018-12-11T12:04:00Z","publisher":"Springer","title":"Lines in space – A collection of results","publication":"Discrete & Computational Geometry: Papers from the Dimacs Special Year","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9780821865958"]},"month":"06","citation":{"ama":"Edelsbrunner H. Lines in space – A collection of results. In: <i>Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year</i>. Vol 6. Springer; 1991:77-93.","short":"H. Edelsbrunner, in:, Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year, Springer, 1991, pp. 77–93.","ista":"Edelsbrunner H. 1991.Lines in space – A collection of results. In: Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year. DIAMCS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6, 77–93.","mla":"Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” <i>Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year</i>, vol. 6, Springer, 1991, pp. 77–93.","chicago":"Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” In <i>Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year</i>, 6:77–93. Springer, 1991.","ieee":"H. Edelsbrunner, “Lines in space – A collection of results,” in <i>Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year</i>, vol. 6, Springer, 1991, pp. 77–93.","apa":"Edelsbrunner, H. (1991). Lines in space – A collection of results. In <i>Discrete &#38; Computational Geometry: Papers from the Dimacs Special Year</i> (Vol. 6, pp. 77–93). Springer."},"day":"01","acknowledgement":"National Science Foundation under grant CCR-8921421.","status":"public","publication_status":"published","year":"1991","main_file_link":[{"url":"https://pub.ist.ac.at/~edels/Papers/1991-B-02-LinesInSpaceACollection.pdf"}],"_id":"3567","intvolume":"         6","type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"77 - 93","volume":6},{"day":"01","pmid":1,"month":"03","language":[{"iso":"eng"}],"publication_status":"published","intvolume":"        45","main_file_link":[{"url":" http://www.jstor.org/stable/2409660"}],"article_processing_charge":"No","doi":"10.1111/j.1558-5646.1991.tb04400.x","date_updated":"2022-03-02T15:50:09Z","date_published":"1991-03-01T00:00:00Z","author":[{"full_name":"Szymura, Jacek","last_name":"Szymura","first_name":"Jacek"},{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240"}],"quality_controlled":"1","scopus_import":"1","issue":"2","external_id":{"pmid":["28567861 "]},"article_type":"original","status":"public","acknowledgement":"This work was supported by grants from  the Royal Society, the Nuffield Foundation,  the University of London Central Research Fund, and the Polish Academy of Sciences (project MR-II.6). We also thank Dr. Jan Rafinski for help in collecting toads.","publication_identifier":{"issn":["0014-3820"],"eissn":["1558-5646"]},"citation":{"chicago":"Szymura, Jacek, and Nicholas H Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” <i>Evolution</i>. Wiley-Blackwell, 1991. <a href=\"https://doi.org/10.1111/j.1558-5646.1991.tb04400.x\">https://doi.org/10.1111/j.1558-5646.1991.tb04400.x</a>.","ieee":"J. Szymura and N. H. Barton, “The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci,” <i>Evolution</i>, vol. 45, no. 2. Wiley-Blackwell, pp. 237–261, 1991.","apa":"Szymura, J., &#38; Barton, N. H. (1991). The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. <i>Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1558-5646.1991.tb04400.x\">https://doi.org/10.1111/j.1558-5646.1991.tb04400.x</a>","ama":"Szymura J, Barton NH. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. <i>Evolution</i>. 1991;45(2):237-261. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1991.tb04400.x\">10.1111/j.1558-5646.1991.tb04400.x</a>","ista":"Szymura J, Barton NH. 1991. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 45(2), 237–261.","mla":"Szymura, Jacek, and Nicholas H. Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” <i>Evolution</i>, vol. 45, no. 2, Wiley-Blackwell, 1991, pp. 237–61, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1991.tb04400.x\">10.1111/j.1558-5646.1991.tb04400.x</a>.","short":"J. Szymura, N.H. Barton, Evolution 45 (1991) 237–261."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":45,"page":"237 - 261","year":"1991","_id":"3646","extern":"1","abstract":[{"text":"We compare the pattern of morphological and electrophoretic variation in the hybrid zone between Bombina bombina and B. variegata across two transects: one near Cracow and one 200 km away, near Przemysl in southeastern Poland. Morphological variation across the Przemysl transect had been surveyed more than 50 years ago; though we found a significant shift at one site, there is no evidence for gross movement over this period. Morphological and electrophoretic changes coincide, and the average shape of the clines is the same across both transects. At the center, most of the change in frequency of six diagnostic allozymes occurs within w = 6.05 km (2-unit support limits 5.56-6.54 km). These steep gradients are generated not by selection on the allozymes themselves, but by associations with other loci: though these markers are unlinked, they are in strong linkage disequilibrium with each other [R = D/ = 0.22 (0.15-0.29) at the center]. Disequilibria are broken up as alleles diffuse away from the zone and flow into the new genetic background. The net barrier to the flow of genes from bombina into variegata, which is generated by these disequilibria, is B = 51 (22-81) km. The fitness of hybrids must be substantially reduced to produce such a barrier [W̄H/W̄P = 0.58 (0.54-0.68)], and this selection must be spread over many loci [N = 55 (26-88)]. Alleles introgress significantly less far than would be expected from the age of the zone and the estimated dispersal rate [σ = 0.99 (0.82-1.14) km gen.-1/2]: this implies selection of se = 0.37 (0.15-0.58)% on the enzymes themselves. There is weak but significant linkage disequilibrium well away from the center of the zone; this, together with the presence of parental and F1 genotypes, suggests some long-range migration. However, such migration is not likely to cause significant introgression.\r\n","lang":"eng"}],"publisher":"Wiley-Blackwell","publication":"Evolution","title":"The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci","publist_id":"2737","date_created":"2018-12-11T12:04:25Z","oa_version":"None"}]