[{"author":[{"full_name":"Kaneko, Takeshi","last_name":"Kaneko","first_name":"Takeshi"},{"full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"}],"date_published":"1993-12-24T00:00:00Z","article_processing_charge":"No","doi":"10.1016/0006-8993(93)91548-7","date_updated":"2022-03-31T09:14:23Z","scopus_import":"1","quality_controlled":"1","intvolume":"       631","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0006899393915487?via%3Dihub"}],"publication_status":"published","pmid":1,"day":"24","month":"12","language":[{"iso":"eng"}],"publication":"Brain Research","title":"Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons","publisher":"Elsevier","date_created":"2018-12-11T11:58:18Z","oa_version":"None","publist_id":"4353","abstract":[{"lang":"eng","text":"Immunochemical characteristics of neostriatal neurons producing substance P receptor (SPR) were examined in adult rats by double- and triple-immunofluorescence methods. In the neostriatum, SPR immunoreactivity was detected in large and medium-sized aspiny neurons. Virtually all SPR-immunoreactive neurons in the neostriatum contained somatostatin (SS) or choline acetyltransferase (ChAT), but not parvalbumin. All SS- and ChAT-immunoreactive neurons in the neostriatum showed SPR immunoreactivity. The co-existence of SS and ChAT was, however, not found in single neurons expressing SPR immunoreactivity. The present results indicate that neostriatal neurons immunoreactive for SPR are segregated into 2 groups: (1) medium-sized, aspiny somatostatinergic, and (2) large, aspiny cholinergic neurons."}],"extern":"1","volume":631,"page":"297 - 303","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"2546","year":"1993","status":"public","issue":"2","article_type":"original","external_id":{"pmid":["7907524"]},"citation":{"ieee":"T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons,” <i>Brain Research</i>, vol. 631, no. 2. Elsevier, pp. 297–303, 1993.","chicago":"Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” <i>Brain Research</i>. Elsevier, 1993. <a href=\"https://doi.org/10.1016/0006-8993(93)91548-7\">https://doi.org/10.1016/0006-8993(93)91548-7</a>.","apa":"Kaneko, T., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1993). Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. <i>Brain Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/0006-8993(93)91548-7\">https://doi.org/10.1016/0006-8993(93)91548-7</a>","ama":"Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. <i>Brain Research</i>. 1993;631(2):297-303. doi:<a href=\"https://doi.org/10.1016/0006-8993(93)91548-7\">10.1016/0006-8993(93)91548-7</a>","ista":"Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1993. Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research. 631(2), 297–303.","mla":"Kaneko, Takeshi, et al. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” <i>Brain Research</i>, vol. 631, no. 2, Elsevier, 1993, pp. 297–303, doi:<a href=\"https://doi.org/10.1016/0006-8993(93)91548-7\">10.1016/0006-8993(93)91548-7</a>.","short":"T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Brain Research 631 (1993) 297–303."},"publication_identifier":{"issn":["0006-8993"]}},{"title":"Ground-state density of the Pauli operator in the large field limit","publication":"Letters in Mathematical Physics","publisher":"Springer","oa_version":"None","date_created":"2018-12-11T11:59:16Z","publist_id":"4169","abstract":[{"lang":"eng","text":"The ground-state density of the Pauli operator in the case of a nonconstant magnetic field with constant direction is studied. It is shown that in the large field limit, the naturally rescaled ground-state density function is bounded from above by the megnetic field, and under some additional conditions, the limit density function is equal to the magnetic field. A restatement of this result yields an estimate on the density of complex orthogonal polynomials with respect to a fairly general weight function. We also prove a special case of the paramagnetic inequality. "}],"extern":"1","page":"219 - 240","volume":29,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"2723","year":"1993","status":"public","article_type":"original","issue":"3","citation":{"short":"L. Erdös, Letters in Mathematical Physics 29 (1993) 219–240.","mla":"Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” <i>Letters in Mathematical Physics</i>, vol. 29, no. 3, Springer, 1993, pp. 219–40, doi:<a href=\"https://doi.org/10.1007/BF00761110\">10.1007/BF00761110</a>.","ista":"Erdös L. 1993. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 29(3), 219–240.","ama":"Erdös L. Ground-state density of the Pauli operator in the large field limit. <i>Letters in Mathematical Physics</i>. 1993;29(3):219-240. doi:<a href=\"https://doi.org/10.1007/BF00761110\">10.1007/BF00761110</a>","apa":"Erdös, L. (1993). Ground-state density of the Pauli operator in the large field limit. <i>Letters in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/BF00761110\">https://doi.org/10.1007/BF00761110</a>","chicago":"Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” <i>Letters in Mathematical Physics</i>. Springer, 1993. <a href=\"https://doi.org/10.1007/BF00761110\">https://doi.org/10.1007/BF00761110</a>.","ieee":"L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” <i>Letters in Mathematical Physics</i>, vol. 29, no. 3. Springer, pp. 219–240, 1993."},"publication_identifier":{"issn":["0377-9017"]},"author":[{"first_name":"László","orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1993-11-01T00:00:00Z","doi":"10.1007/BF00761110","date_updated":"2022-03-30T15:02:00Z","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF00761110"}],"intvolume":"        29","publication_status":"published","day":"01","language":[{"iso":"eng"}],"month":"11"},{"_id":"1947","year":"1993","volume":1144,"page":"225 - 228","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","citation":{"ama":"Sazanov LA, Jackson J. Activation and inhibition of mitochondrial transhydrogenase by metal ions. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. 1993;1144(2):225-228. doi:<a href=\"https://doi.org/10.1016/0005-2728(93)90177-H\">10.1016/0005-2728(93)90177-H</a>","short":"L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.","mla":"Sazanov, Leonid A., and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1144, no. 2, Elsevier, 1993, pp. 225–28, doi:<a href=\"https://doi.org/10.1016/0005-2728(93)90177-H\">10.1016/0005-2728(93)90177-H</a>.","ista":"Sazanov LA, Jackson J. 1993. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1144(2), 225–228.","chicago":"Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier, 1993. <a href=\"https://doi.org/10.1016/0005-2728(93)90177-H\">https://doi.org/10.1016/0005-2728(93)90177-H</a>.","ieee":"L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1144, no. 2. Elsevier, pp. 225–228, 1993.","apa":"Sazanov, L. A., &#38; Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/0005-2728(93)90177-H\">https://doi.org/10.1016/0005-2728(93)90177-H</a>"},"publication_identifier":{"issn":["0005-2728"]},"status":"public","acknowledgement":"This work was supported by a Wellcome Trust fellowship to L.A.S. ","issue":"2","external_id":{"pmid":["8369341 "]},"article_type":"original","date_created":"2018-12-11T11:54:52Z","oa_version":"None","publist_id":"5136","publication":"Biochimica et Biophysica Acta - Bioenergetics","title":"Activation and inhibition of mitochondrial transhydrogenase by metal ions","publisher":"Elsevier","abstract":[{"lang":"eng","text":"Mitochondrial transhydrogenase has been reported previously to be inhibited by high, rather non-physiological concentrations (in the range of 2-20 mM) of divalent cations. We show that the enzyme could be activated by low (from about 1 μM to 1 mM) concentrations of Ca2+ and Mg2+, which are within physiological range. These results bring in line the effects observed with mitochondrial enzyme to the findings with bacterial transhydrogenases. The activation of transhydrogenase by divalent cations is interpreted as an increase in affinity of the NADP(H)-binding site of the enzyme-NAD(H) complex. Reported effects of the metal ions could be important for the enzyme function in vivo."}],"extern":"1","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/000527289390177H?via%3Dihub"}],"intvolume":"      1144","publication_status":"published","month":"09","language":[{"iso":"eng"}],"pmid":1,"day":"13","scopus_import":"1","quality_controlled":"1","date_published":"1993-09-13T00:00:00Z","author":[{"last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"},{"full_name":"Jackson, Julie","first_name":"Julie","last_name":"Jackson"}],"article_processing_charge":"No","doi":"10.1016/0005-2728(93)90177-H","date_updated":"2022-06-01T12:51:32Z"},{"extern":"1","publist_id":"5137","date_created":"2018-12-11T11:54:52Z","oa_version":"None","publisher":"Portland Press","publication":"Biochemical Society Transactions","title":"Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ","publication_identifier":{"issn":["0300-5127"]},"citation":{"chicago":"Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” <i>Biochemical Society Transactions</i>. Portland Press, 1993. <a href=\"https://doi.org/10.1042/bst021260s\">https://doi.org/10.1042/bst021260s</a>.","ieee":"L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” <i>Biochemical Society Transactions</i>, vol. 21, no. 3. Portland Press, p. 260, 1993.","apa":"Sazanov, L. A., &#38; Jackson, J. (1993). Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . <i>Biochemical Society Transactions</i>. Portland Press. <a href=\"https://doi.org/10.1042/bst021260s\">https://doi.org/10.1042/bst021260s</a>","ama":"Sazanov LA, Jackson J. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . <i>Biochemical Society Transactions</i>. 1993;21(3):260. doi:<a href=\"https://doi.org/10.1042/bst021260s\">10.1042/bst021260s</a>","mla":"Sazanov, Leonid A., and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” <i>Biochemical Society Transactions</i>, vol. 21, no. 3, Portland Press, 1993, p. 260, doi:<a href=\"https://doi.org/10.1042/bst021260s\">10.1042/bst021260s</a>.","ista":"Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 21(3), 260.","short":"L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993) 260."},"issue":"3","external_id":{"pmid":["8224412 "]},"article_type":"original","status":"public","acknowledgement":"We acknowledge financial support from the Wellcome Trust (fellowship to L.A.S) ","year":"1993","_id":"1948","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":21,"page":"260","quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","date_updated":"2022-06-01T13:17:02Z","doi":"10.1042/bst021260s","author":[{"last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"},{"full_name":"Jackson, Julie","last_name":"Jackson","first_name":"Julie"}],"date_published":"1993-01-01T00:00:00Z","month":"01","language":[{"iso":"eng"}],"day":"01","pmid":1,"publication_status":"published","intvolume":"        21","main_file_link":[{"url":"https://portlandpress.com/biochemsoctrans/article-abstract/21/3/260S/83260/Possible-functions-of-the-NADP-linked-isocitrate?redirectedFrom=fulltext"}]},{"author":[{"full_name":"Jackson, Julie","first_name":"Julie","last_name":"Jackson"},{"full_name":"Cotton, N P J","first_name":"N P J","last_name":"Cotton"},{"last_name":"Williams","first_name":"Ross","full_name":"Williams, Ross"},{"last_name":"Bizouarn","first_name":"Tania","full_name":"Bizouarn, Tania"},{"full_name":"Hutton, Mike","first_name":"Mike","last_name":"Hutton"},{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989","last_name":"Sazanov","first_name":"Leonid A"},{"full_name":"Thomas, Christopher","first_name":"Christopher","last_name":"Thomas"}],"date_published":"1993-11-01T00:00:00Z","article_processing_charge":"No","date_updated":"2022-06-01T12:16:19Z","doi":"10.1042/bst0211010","scopus_import":"1","quality_controlled":"1","intvolume":"        21","main_file_link":[{"url":"https://portlandpress.com/biochemsoctrans/article-abstract/21/4/1010/86733/Proton-translocating-transhydrogenase-in-bacteria?redirectedFrom=fulltext"}],"publication_status":"published","pmid":1,"day":"01","month":"11","language":[{"iso":"eng"}],"publication":"Biochemical Society Transactions","title":"Proton-translocating transhydrogenase in bacteria","publisher":"Portland Press","date_created":"2018-12-11T11:54:52Z","oa_version":"None","publist_id":"5135","extern":"1","volume":21,"page":"1010 - 1013","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"1950","year":"1993","status":"public","issue":"4","external_id":{"pmid":["8131888"]},"article_type":"original","citation":{"mla":"Jackson, Julie, et al. “Proton-Translocating Transhydrogenase in Bacteria.” <i>Biochemical Society Transactions</i>, vol. 21, no. 4, Portland Press, 1993, pp. 1010–13, doi:<a href=\"https://doi.org/10.1042/bst0211010\">10.1042/bst0211010</a>.","short":"J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov, C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.","ista":"Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 21(4), 1010–1013.","ama":"Jackson J, Cotton NPJ, Williams R, et al. Proton-translocating transhydrogenase in bacteria. <i>Biochemical Society Transactions</i>. 1993;21(4):1010-1013. doi:<a href=\"https://doi.org/10.1042/bst0211010\">10.1042/bst0211010</a>","apa":"Jackson, J., Cotton, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov, L. A., &#38; Thomas, C. (1993). Proton-translocating transhydrogenase in bacteria. <i>Biochemical Society Transactions</i>. Portland Press. <a href=\"https://doi.org/10.1042/bst0211010\">https://doi.org/10.1042/bst0211010</a>","chicago":"Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” <i>Biochemical Society Transactions</i>. Portland Press, 1993. <a href=\"https://doi.org/10.1042/bst0211010\">https://doi.org/10.1042/bst0211010</a>.","ieee":"J. Jackson <i>et al.</i>, “Proton-translocating transhydrogenase in bacteria,” <i>Biochemical Society Transactions</i>, vol. 21, no. 4. Portland Press, pp. 1010–1013, 1993."},"publication_identifier":{"issn":["0300-5127"]}},{"author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1993-05-01T00:00:00Z","doi":"10.1006/inco.1993.1025","date_updated":"2022-03-23T13:08:27Z","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0890540183710254?via%3Dihub","open_access":"1"}],"intvolume":"       104","publication_status":"published","day":"01","language":[{"iso":"eng"}],"month":"05","title":"Real-time logics: Complexity and expressiveness","publication":"Information and Computation","publisher":"Elsevier","oa_version":"Published Version","date_created":"2018-12-11T12:09:38Z","publist_id":"116","abstract":[{"lang":"eng","text":"The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about real-time systems, we combine this classical theory of infinite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. The resulting theory of timed state sequences is shown to be decidable, albeit nonelementary, and its expressive power is characterized by ω-regular sets. Several more expressive variants are proved to be highly undecidable. This framework allows us to classify a wide variety of real-time logics according to their complexity and expressiveness. Indeed, it follows that most formalisms proposed in the literature cannot be decided. We are, however, able to identify two elementary real-time temporal logics as expressively complete fragments of the theory of timed state sequences, and we present tableau-based decision procedures for checking validity. Consequently, these two formalisms are well-suited for the specification and verification of real-time systems.\r\n\r\nCopyright © 1993 Academic Press. All rights reserved."}],"extern":"1","page":"35 - 77","volume":104,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4589","year":"1993","acknowledgement":"We thank David Dill, Zohar Manna, and Amir Pnueli for helpful discussion.","oa":1,"status":"public","article_type":"original","issue":"1","citation":{"apa":"Alur, R., &#38; Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1006/inco.1993.1025\">https://doi.org/10.1006/inco.1993.1025</a>","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” <i>Information and Computation</i>. Elsevier, 1993. <a href=\"https://doi.org/10.1006/inco.1993.1025\">https://doi.org/10.1006/inco.1993.1025</a>.","ieee":"R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” <i>Information and Computation</i>, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.","ista":"Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.","short":"R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” <i>Information and Computation</i>, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:<a href=\"https://doi.org/10.1006/inco.1993.1025\">10.1006/inco.1993.1025</a>.","ama":"Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. <i>Information and Computation</i>. 1993;104(1):35-77. doi:<a href=\"https://doi.org/10.1006/inco.1993.1025\">10.1006/inco.1993.1025</a>"},"publication_identifier":{"eissn":["0890-5401"]}},{"title":"Automatic symbolic verification of embedded systems","publication":"1993 Proceedings Real-Time Systems Symposium","publisher":"IEEE","oa_version":"None","conference":{"location":"Raleigh, NC, United States of America","start_date":"1993-12-01","name":"RTSS: Real-Time Systems Symposium","end_date":"1993-12-03"},"date_created":"2018-12-11T12:09:46Z","publist_id":"90","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Ho, Pei","first_name":"Pei","last_name":"Ho"}],"date_published":"1993-01-01T00:00:00Z","doi":"10.1109/REAL.1993.393520 ","date_updated":"2022-03-23T13:01:41Z","article_processing_charge":"No","abstract":[{"text":"We present a model checking procedure and its implementation for the automatic verification of embedded systems. Systems are represented by hybrid automata - machines with finite control and real-valued variables modeling continuous environment parameters such as time, pressure, and temperature. System properties are specified in a real-time temporal logic and verified by symbolic computation. The verification procedure, implemented in Mathematica, is used to prove digital controllers and distributed algorithms correct. The verifier checks safety, liveness, time-bounded, and duration properties of hybrid automata","lang":"eng"}],"scopus_import":"1","extern":"1","quality_controlled":"1","page":"2 - 11","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4616","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/393520"}],"publication_status":"published","year":"1993","status":"public","day":"01","citation":{"mla":"Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” <i>1993 Proceedings Real-Time Systems Symposium</i>, IEEE, 1993, pp. 2–11, doi:<a href=\"https://doi.org/10.1109/REAL.1993.393520 \">10.1109/REAL.1993.393520 </a>.","short":"R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.","ista":"Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 2–11.","ama":"Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: <i>1993 Proceedings Real-Time Systems Symposium</i>. IEEE; 1993:2-11. doi:<a href=\"https://doi.org/10.1109/REAL.1993.393520 \">10.1109/REAL.1993.393520 </a>","apa":"Alur, R., Henzinger, T. A., &#38; Ho, P. (1993). Automatic symbolic verification of embedded systems. In <i>1993 Proceedings Real-Time Systems Symposium</i> (pp. 2–11). Raleigh, NC, United States of America: IEEE. <a href=\"https://doi.org/10.1109/REAL.1993.393520 \">https://doi.org/10.1109/REAL.1993.393520 </a>","ieee":"R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” in <i>1993 Proceedings Real-Time Systems Symposium</i>, Raleigh, NC, United States of America, 1993, pp. 2–11.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” In <i>1993 Proceedings Real-Time Systems Symposium</i>, 2–11. IEEE, 1993. <a href=\"https://doi.org/10.1109/REAL.1993.393520 \">https://doi.org/10.1109/REAL.1993.393520 </a>."},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-8186-4480-X"]},"month":"01"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","volume":736,"page":"209 - 229","year":"1993","_id":"4618","acknowledgement":"BRA ESPRIT project REACT, National Science Foundation under grant CCR-9200794 , United States Air Force Office of Scientific Research contract F49620-93-1-0056.","status":"public","citation":{"ista":"Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.","mla":"Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” <i>Hybrid Systems</i>, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:<a href=\"https://doi.org/10.1007/3-540-57318-6_30\">10.1007/3-540-57318-6_30</a>.","short":"R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.","ama":"Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. <i>Hybrid Systems</i>. Vol 736. Springer; 1993:209-229. doi:<a href=\"https://doi.org/10.1007/3-540-57318-6_30\">10.1007/3-540-57318-6_30</a>","apa":"Alur, R., Courcoubetis, C., Henzinger, T. A., &#38; Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, &#38; H. Rischel (Eds.), <i>Hybrid Systems</i> (Vol. 736, pp. 209–229). Springer. <a href=\"https://doi.org/10.1007/3-540-57318-6_30\">https://doi.org/10.1007/3-540-57318-6_30</a>","chicago":"Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In <i>Hybrid Systems</i>, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. <a href=\"https://doi.org/10.1007/3-540-57318-6_30\">https://doi.org/10.1007/3-540-57318-6_30</a>.","ieee":"R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in <i>Hybrid Systems</i>, 1993, vol. 736, pp. 209–229."},"publisher":"Springer","publication":"Hybrid Systems","title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","publist_id":"87","date_created":"2018-12-11T12:09:47Z","oa_version":"None","extern":"1","abstract":[{"lang":"eng","text":"We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in which the behavior of variables is governed in each state by a set of differential equations. We show that many of the examples considered in the workshop can be defined by hybrid automata. While the reachability problem is undecidable even for very restricted classes of hybrid automata, we present two semidecision procedures for verifying safety properties of piecewiselinear hybrid automata, in which all variables change at constant rates. The two procedures are based, respectively, on minimizing and computing fixpoints on generally infinite state spaces. We show that if the procedures terminate, then they give correct answers. We then demonstrate that for many of the typical workshop examples, the procedures do terminate and thus provide an automatic way for verifying their properties."}],"publication_status":"published","intvolume":"       736","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-57318-6_30"}],"day":"01","month":"01","language":[{"iso":"eng"}],"article_processing_charge":"No","alternative_title":["LNCS"],"doi":"10.1007/3-540-57318-6_30","date_updated":"2022-03-21T11:04:54Z","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"full_name":"Courcoubetis, Costas","last_name":"Courcoubetis","first_name":"Costas"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"}],"date_published":"1993-01-01T00:00:00Z","editor":[{"full_name":"Grossman, Robert","last_name":"Grossman","first_name":"Robert"},{"first_name":"Anil","last_name":"Nerode","full_name":"Nerode, Anil"},{"first_name":"Anders","last_name":"Ravn","full_name":"Ravn, Anders"},{"full_name":"Rischel, Hans","first_name":"Hans","last_name":"Rischel"}],"quality_controlled":"1"},{"abstract":[{"lang":"eng","text":"Traditional approaches to the algorithmic verification of real-time systems are limited to checking program correctness with respect to concrete timing properties (e.g., &quot;message delivery within 10 milliseconds&quot;). We address the more realistic and more ambitious problem of deriving symbolic constraints on the timing properties required of real-time systems (e.g., &quot;message delivery within the time it takes to execute two assignment statements&quot;). To model this problem, we introduce parametric timed automata -- finite-state machines whose transitions are constrained with parametric timing requirements. The emptiness question for parametric timed automata is central to the verification problem. On the negative side, we show that in general this question is undecidable. On the positive side, we provide algorithms for checking the emptiness of restricted classes of parametric timed automata. The practical relevance of these classes is illustrated with several verification examples. There remains a gap between the automata classes for which we know that emptiness is decidable and undecidable, respectively, and this gap is related to various hard and open problems of logic and automata theory."}],"extern":"1","quality_controlled":"1","date_published":"1993-06-01T00:00:00Z","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"last_name":"Vardi","first_name":"Moshe","full_name":"Vardi, Moshe"}],"article_processing_charge":"No","date_updated":"2022-03-21T11:11:37Z","doi":"10.1145/167088.167242","conference":{"name":"STOC: Symposium on the Theory of Computing","end_date":"1993-05-18","location":"San Diego, CA, United States of America","start_date":"1993-05-16"},"date_created":"2018-12-11T12:09:47Z","oa_version":"None","publist_id":"88","publication":"Proceedings of the 25th annual ACM symposium on Theory of Computing","title":"Parametric real-time reasoning","publisher":"ACM","citation":{"chicago":"Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.” In <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>, 592–601. ACM, 1993. <a href=\"https://doi.org/10.1145/167088.167242\">https://doi.org/10.1145/167088.167242</a>.","ieee":"R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in <i>Proceedings of the 25th annual ACM symposium on Theory of Computing</i>, San Diego, CA, United States of America, 1993, pp. 592–601.","apa":"Alur, R., Henzinger, T. A., &#38; Vardi, M. (1993). Parametric real-time reasoning. In <i>Proceedings of the 25th annual ACM symposium on Theory of Computing</i> (pp. 592–601). San Diego, CA, United States of America: ACM. <a href=\"https://doi.org/10.1145/167088.167242\">https://doi.org/10.1145/167088.167242</a>","ama":"Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>. ACM; 1993:592-601. doi:<a href=\"https://doi.org/10.1145/167088.167242\">10.1145/167088.167242</a>","ista":"Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.","short":"R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.","mla":"Alur, Rajeev, et al. “Parametric Real-Time Reasoning.” <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>, ACM, 1993, pp. 592–601, doi:<a href=\"https://doi.org/10.1145/167088.167242\">10.1145/167088.167242</a>."},"month":"06","language":[{"iso":"eng"}],"status":"public","day":"01","_id":"4619","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/167088.167242"}],"year":"1993","publication_status":"published","page":"592 - 601","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference"},{"publication_status":"published","intvolume":"       697","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-56922-7_16"}],"language":[{"iso":"eng"}],"month":"01","day":"01","conference":{"name":"CAV: Computer Aided Verification","end_date":"1993-07-01","location":"Elounda, Greece","start_date":"1993-06-28"},"quality_controlled":"1","scopus_import":"1","doi":"10.1007/3-540-56922-7_16","date_updated":"2022-03-21T13:55:53Z","alternative_title":["LNCS"],"article_processing_charge":"No","date_published":"1993-01-01T00:00:00Z","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"first_name":"Costas","last_name":"Courcoubetis","full_name":"Courcoubetis, Costas"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"year":"1993","_id":"4620","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"181 - 193","volume":697,"citation":{"apa":"Alur, R., Courcoubetis, C., &#38; Henzinger, T. A. (1993). Computing accumulated delays in real-time systems. In <i>5th International Conference on Computer Aided Verification</i> (Vol. 697, pp. 181–193). Elounda, Greece: Springer. <a href=\"https://doi.org/10.1007/3-540-56922-7_16\">https://doi.org/10.1007/3-540-56922-7_16</a>","ieee":"R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in <i>5th International Conference on Computer Aided Verification</i>, Elounda, Greece, 1993, vol. 697, pp. 181–193.","chicago":"Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” In <i>5th International Conference on Computer Aided Verification</i>, 697:181–93. Springer, 1993. <a href=\"https://doi.org/10.1007/3-540-56922-7_16\">https://doi.org/10.1007/3-540-56922-7_16</a>.","short":"R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.","ista":"Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.","mla":"Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” <i>5th International Conference on Computer Aided Verification</i>, vol. 697, Springer, 1993, pp. 181–93, doi:<a href=\"https://doi.org/10.1007/3-540-56922-7_16\">10.1007/3-540-56922-7_16</a>.","ama":"Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: <i>5th International Conference on Computer Aided Verification</i>. Vol 697. Springer; 1993:181-193. doi:<a href=\"https://doi.org/10.1007/3-540-56922-7_16\">10.1007/3-540-56922-7_16</a>"},"acknowledgement":"BRA ESPRIT project REACT, National Science Foundation grant CCR-9200794 United States Air Force Office of Scientific Research contract F49620-93-1-0056","status":"public","publist_id":"89","oa_version":"None","date_created":"2018-12-11T12:09:47Z","publisher":"Springer","title":"Computing accumulated delays in real-time systems","publication":"5th International Conference on Computer Aided Verification","extern":"1","abstract":[{"text":"We present a verification algorithm for duration properties of finite-state real-time systems. While simple real-time properties constrain the total elapsed time between events, duration properties constrain the accumulated time during which certain state predicates hold. We formalize the concept of durations by introducing duration measures for (dense-time) timed automata. Given a timed automaton with a duration measure, a start and a target state, and a duration constraint, the duration-bounded reachability problem asks if there is a run of the automaton from the start state to the target state such that the accumulated duration along the run satisfies the constraint. Our main result is a novel decision procedure for solving the duration-bounded reachability problem. We also prove that the problem is PSPACE-complete and demonstrate how the solution can be used to verify interesting duration properties of real-time systems.","lang":"eng"}]},{"publication_identifier":{"issn":["1057-7130"]},"citation":{"ama":"Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular neural network architecture (CNND). <i>IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing</i>. 1993;40(3):223-231. doi:<a href=\"https://doi.org/10.1109/82.222823\">10.1109/82.222823</a>","ista":"Sziranyi T, Csicsvari JL. 1993. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 40(3), 223–231.","mla":"Sziranyi, Tamas, and Jozsef L. Csicsvari. “High-Speed Character Recognition Using a Dual Cellular Neural Network Architecture (CNND).” <i>IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing</i>, vol. 40, no. 3, IEEE, 1993, pp. 223–31, doi:<a href=\"https://doi.org/10.1109/82.222823\">10.1109/82.222823</a>.","short":"T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.","chicago":"Sziranyi, Tamas, and Jozsef L Csicsvari. “High-Speed Character Recognition Using a Dual Cellular Neural Network Architecture (CNND).” <i>IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing</i>. IEEE, 1993. <a href=\"https://doi.org/10.1109/82.222823\">https://doi.org/10.1109/82.222823</a>.","ieee":"T. Sziranyi and J. L. Csicsvari, “High-speed character recognition using a dual cellular neural network architecture (CNND),” <i>IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing</i>, vol. 40, no. 3. IEEE, pp. 223–231, 1993.","apa":"Sziranyi, T., &#38; Csicsvari, J. L. (1993). High-speed character recognition using a dual cellular neural network architecture (CNND). <i>IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/82.222823\">https://doi.org/10.1109/82.222823</a>"},"issue":"3","article_type":"original","status":"public","year":"1993","_id":"3446","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":40,"page":"223 - 231","extern":"1","abstract":[{"lang":"eng","text":"An effective character recognition procedure implemented on a new type of hardware system and using a new architecture called CNND is proposed. This CNND contains one or more analog cellular neural networks (CNNs) and some digital logic, combining the advantages of the fast analog CNN signal processing and the fast and easy decision capability of digital logic. It is shown that the CNND system can be used for recognition of multifont printed or handwritten characters and could recognize 100,000 char/s with a recognition rate of more than 95%. The more advantage of the system over competing types is that there is not an extra feature extraction procedure implemented in slow hardware"}],"publist_id":"2941","date_created":"2018-12-11T12:03:22Z","oa_version":"None","publisher":"IEEE","publication":"IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing","title":"High-speed character recognition using a dual cellular neural network architecture (CNND)","month":"03","language":[{"iso":"eng"}],"day":"01","publication_status":"published","intvolume":"        40","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/222823"}],"quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","doi":"10.1109/82.222823","date_updated":"2022-03-30T14:44:44Z","author":[{"full_name":"Sziranyi, Tamas","last_name":"Sziranyi","first_name":"Tamas"},{"id":"3FA14672-F248-11E8-B48F-1D18A9856A87","full_name":"Csicsvari, Jozsef L","orcid":"0000-0002-5193-4036","last_name":"Csicsvari","first_name":"Jozsef L"}],"date_published":"1993-03-01T00:00:00Z"},{"scopus_import":"1","quality_controlled":"1","author":[{"first_name":"Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1993-12-20T00:00:00Z","date_updated":"2022-03-30T12:35:23Z","doi":"10.1111/j.1749-6632.1993.tb38048.x","alternative_title":["Annals of the New York Academy of Sciences "],"article_processing_charge":"No","language":[{"iso":"eng"}],"month":"12","pmid":1,"day":"20","main_file_link":[{"url":"https://nyaspubs.onlinelibrary.wiley.com/doi/10.1111/j.1749-6632.1993.tb38048.x"}],"intvolume":"       707","publication_status":"published","extern":"1","series_title":"Annals of the New York Academy of Sciences","oa_version":"None","date_created":"2018-12-11T12:03:24Z","publist_id":"2936","title":"Glutamate receptors in the central nervous system","publication":"Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction","publisher":"New York Academy of Sciences","citation":{"chicago":"Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” In <i>Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction</i>, 707:126–35. Annals of the New York Academy of Sciences. New York Academy of Sciences, 1993. <a href=\"https://doi.org/10.1111/j.1749-6632.1993.tb38048.x\">https://doi.org/10.1111/j.1749-6632.1993.tb38048.x</a>.","ieee":"P. M. Jonas, “Glutamate receptors in the central nervous system,” in <i>Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction</i>, vol. 707, New York Academy of Sciences, 1993, pp. 126–135.","apa":"Jonas, P. M. (1993). Glutamate receptors in the central nervous system. In <i>Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction</i> (Vol. 707, pp. 126–135). New York Academy of Sciences. <a href=\"https://doi.org/10.1111/j.1749-6632.1993.tb38048.x\">https://doi.org/10.1111/j.1749-6632.1993.tb38048.x</a>","ama":"Jonas PM. Glutamate receptors in the central nervous system. In: <i>Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction</i>. Vol 707. Annals of the New York Academy of Sciences. New York Academy of Sciences; 1993:126-135. doi:<a href=\"https://doi.org/10.1111/j.1749-6632.1993.tb38048.x\">10.1111/j.1749-6632.1993.tb38048.x</a>","short":"P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.","ista":"Jonas PM. 1993.Glutamate receptors in the central nervous system. In: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. Annals of the New York Academy of Sciences , vol. 707, 126–135.","mla":"Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” <i>Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction</i>, vol. 707, New York Academy of Sciences, 1993, pp. 126–35, doi:<a href=\"https://doi.org/10.1111/j.1749-6632.1993.tb38048.x\">10.1111/j.1749-6632.1993.tb38048.x</a>."},"acknowledgement":"I thank Prof. B. Sakmann for generous support and Drs. M. Häusser and A. Villarroel for critically reading the manuscript.","status":"public","external_id":{"pmid":["9729204"]},"_id":"3451","year":"1993","page":"126 - 135","volume":707,"type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","doi":"10.1007/978-3-0348-7327-7_4","alternative_title":["EXS"],"date_updated":"2022-03-30T11:46:44Z","author":[{"first_name":"Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1993-01-01T00:00:00Z","editor":[{"first_name":"Detlef","last_name":"Siemen","full_name":"Siemen, Detlef"}],"month":"01","language":[{"iso":"eng"}],"day":"01","pmid":1,"publication_status":"published","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-0348-7327-7_4"}],"intvolume":"        66","extern":"1","abstract":[{"text":"In recent years, considerable progress in our understanding of the molecular events underlying excitatory synaptic transmission has been made. This progress was mainly achieved by technical advances, among them the patch-clamp technique in brain slices (Edwards et al., 1989), fast application of agonists (Franke et al., 1987), and cloning and functional expression of GluR channels of the nonNMDA type (e.g., Hollmann et al., 1989). A suitable model for studying excitatory postsynaptic currents (EPSCs) in the brain slice with patch-clamp techniques is the mossy fiber synapse on CA3 pyramidal cells of rat hippocampus (MF-CA3 synapse). This synapse is located close to the cell soma and should provide almost ideal space-clamp conditions. A comparison of MF-CA3 EPSCs with the currents activated by fast application of glutamate on membrane patches isolated from CA3 cell somata suggests that the concentration of glutamate in the synaptic cleft during excitatory synaptic transmission is high (about 1 mM) and that the transmitter remains in the synaptic cleft only briefly (about 1 ms). It seems likely that desensitization influences the peak amplitude of the EPSC in several ways. Brief pulses of glutamate cause desensitization, from which the glutamate receptor channels recover only slowly, and micromolar ambient glutamate concentrations produce desensitization at equilibrium. From the functional properties of recombinant GluR channels, in situ hybridization data, and patch-clamp experiments on different neuronal and nonneuronal cell types, a picture of the molecular identity of native channels emerges. In neurons of the hippocampus the pharmacological features of these channels were similar to recombinant channels assembled from subunits of the AMPA/kainate subtype which are strongly expressed in these cells. The native channels are characterized by outward rectification of the steady-state I-V and low Ca permeability, similar to recombinant channels containing the GluR-B subunit. This is consistent with the ubiquitous expression of this subunit in hippocampal neurones. In contrast, GluR channels from cerebellar glial cells, which uniquely in the central nervous system lack the expression of GluR-B subunits, show double rectification and high Ca permeability. The results suggest that the native functional nonNMDA glutamate receptor channels in the CNS are assembled form subunits of the AMPA/kainate subtype in a cell-specific way, with the functional properties of GluR channels in neurones being dominated by the GluR-B subunit.","lang":"eng"}],"publist_id":"2935","date_created":"2018-12-11T12:03:24Z","oa_version":"None","publisher":"Birkhäuser","publication":"Nonselective cation channels: Pharmacology, Physiology and Biophysics.","title":"AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS","publication_identifier":{"isbn":["978-3-0348-7327-7"]},"citation":{"short":"P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.","ista":"Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Nonselective cation channels: Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.","mla":"Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” <i>Nonselective Cation Channels: Pharmacology, Physiology and Biophysics.</i>, edited by Detlef Siemen, vol. 66, Birkhäuser, 1993, pp. 61–76, doi:<a href=\"https://doi.org/10.1007/978-3-0348-7327-7_4\">10.1007/978-3-0348-7327-7_4</a>.","ama":"Jonas PM. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Siemen D, ed. <i>Nonselective Cation Channels: Pharmacology, Physiology and Biophysics.</i> Vol 66. Birkhäuser; 1993:61-76. doi:<a href=\"https://doi.org/10.1007/978-3-0348-7327-7_4\">10.1007/978-3-0348-7327-7_4</a>","apa":"Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), <i>Nonselective cation channels: Pharmacology, Physiology and Biophysics.</i> (Vol. 66, pp. 61–76). Birkhäuser. <a href=\"https://doi.org/10.1007/978-3-0348-7327-7_4\">https://doi.org/10.1007/978-3-0348-7327-7_4</a>","chicago":"Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” In <i>Nonselective Cation Channels: Pharmacology, Physiology and Biophysics.</i>, edited by Detlef Siemen, 66:61–76. Birkhäuser, 1993. <a href=\"https://doi.org/10.1007/978-3-0348-7327-7_4\">https://doi.org/10.1007/978-3-0348-7327-7_4</a>.","ieee":"P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS,” in <i>Nonselective cation channels: Pharmacology, Physiology and Biophysics.</i>, vol. 66, D. Siemen, Ed. Birkhäuser, 1993, pp. 61–76."},"external_id":{"pmid":["7505664"]},"status":"public","year":"1993","_id":"3452","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"book_chapter","volume":66,"page":"61 - 76"},{"intvolume":"         3","main_file_link":[{"url":"https://www.karger.com/Article/Abstract/154691"}],"publication_status":"published","language":[{"iso":"eng"}],"month":"01","day":"01","scopus_import":"1","quality_controlled":"1","date_published":"1993-01-01T00:00:00Z","author":[{"last_name":"Ruppersberg","first_name":"Peter","full_name":"Ruppersberg, Peter"},{"full_name":"Ermler, Mamfred","first_name":"Mamfred","last_name":"Ermler"},{"full_name":"Knopf, Martin","last_name":"Knopf","first_name":"Martin"},{"full_name":"Kues, Wilfried","first_name":"Wilfried","last_name":"Kues"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","first_name":"Peter M"},{"full_name":"Koenen, Michael","last_name":"Koenen","first_name":"Michael"}],"date_updated":"2022-03-30T10:21:04Z","doi":"10.1159/000154691","article_processing_charge":"No","_id":"3473","year":"1993","page":"250 - 269","volume":3,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"apa":"Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., &#38; Koenen, M. (1993). Properties of Shaker-homologous potassium channels expressed in the mammalian brain. <i>Cellular Physiology and Biochemistry</i>. S. Karger AG. <a href=\"https://doi.org/10.1159/000154691\">https://doi.org/10.1159/000154691</a>","chicago":"Ruppersberg, Peter, Mamfred Ermler, Martin Knopf, Wilfried Kues, Peter M Jonas, and Michael Koenen. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” <i>Cellular Physiology and Biochemistry</i>. S. Karger AG, 1993. <a href=\"https://doi.org/10.1159/000154691\">https://doi.org/10.1159/000154691</a>.","ieee":"P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” <i>Cellular Physiology and Biochemistry</i>, vol. 3. S. Karger AG, pp. 250–269, 1993.","ista":"Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. 1993. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 3, 250–269.","mla":"Ruppersberg, Peter, et al. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” <i>Cellular Physiology and Biochemistry</i>, vol. 3, S. Karger AG, 1993, pp. 250–69, doi:<a href=\"https://doi.org/10.1159/000154691\">10.1159/000154691</a>.","short":"P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.","ama":"Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. <i>Cellular Physiology and Biochemistry</i>. 1993;3:250-269. doi:<a href=\"https://doi.org/10.1159/000154691\">10.1159/000154691</a>"},"publication_identifier":{"issn":["1015-8987"]},"status":"public","article_type":"original","oa_version":"None","date_created":"2018-12-11T12:03:31Z","publist_id":"2914","title":"Properties of Shaker-homologous potassium channels expressed in the mammalian brain.","publication":"Cellular Physiology and Biochemistry","publisher":"S. Karger AG","abstract":[{"lang":"eng","text":"Sixteen different K+ channel subtypes have been cloned from mammalian tissue. Considering their sequence homology to Drosophila Shaker, Shab, Shaw and Shal channels, they were classified into four corresponding classes Kv1-4. All K+ channels belonging to these classes consist of four subunits with each six hydrophobic segments (S1-S6) and a characteristic structure-function relationship of certain domains in their amino acid sequence. These domains are, the inactivation gate in the N-terminal region of the sequence, the voltage sensor in the fourth hydrophobic segment (S4), and the pore-region in the H5 segment between S5 and S6. In some functional properties K+ channels cloned from the mammalian brain, however, differ from Drosophila K+ channels. These are pharmacological differences, differences in the threshold of activation and in regulation of inactivation. Part of these differences are important to understand their physiological role in the brain. Based on their functional characteristics the expression pattern of cloned K+ channels in the rat brain can be correlated with the properties of K+ currents measured in central neurones."}],"extern":"1"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":472,"page":"615 - 663","year":"1993","_id":"3474","article_type":"original","external_id":{"pmid":["7908327"]},"acknowledgement":"We are indebted to Professor B. Katz for critically reading the manuscript and for helpful suggestions. We especially thank Professor D. Colquhoun for several discussions, for generously providing the source codes of programs for maximum-likelihood fit with sums of Gaussian functions, a routine for calculating the error function and for critically reading the manuscript. We also thank Drs A. Larkman, P. Ruppersberg, N. Spuston and G. Stuart for critically reading the manuscript, P. Andersen, B. Betz, J. Evans, K. Harris, E. v. Kitzing, R. Rahamimov and K. Stratford for helpful discussions, and J. J. B. Jack for much-needed advice and guidance to G.M. We thank K. Bauer, F. Helmchen, M. Huke, B. Manz and especially A. Roth for computer programming, B. Werner for typing the manuscript, and M. Kaiser for excellent technical assistance. Part of the project was supported by the Deutsche Forschungsgemeinschaft (SFB-317)\r\nand the Wellcome Trust.","oa":1,"status":"public","publication_identifier":{"issn":["0022-3751"]},"citation":{"chicago":"Jonas, Peter M, Guy Major, and Bert Sakmann. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” <i>Journal of Physiology</i>. Wiley-Blackwell, 1993. <a href=\"https://doi.org/10.1113/jphysiol.1993.sp019965\">https://doi.org/10.1113/jphysiol.1993.sp019965</a>.","ieee":"P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” <i>Journal of Physiology</i>, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.","apa":"Jonas, P. M., Major, G., &#38; Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. <i>Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.1993.sp019965\">https://doi.org/10.1113/jphysiol.1993.sp019965</a>","ama":"Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. <i>Journal of Physiology</i>. 1993;472:615-663. doi:<a href=\"https://doi.org/10.1113/jphysiol.1993.sp019965\">10.1113/jphysiol.1993.sp019965</a>","ista":"Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 472, 615–663.","mla":"Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” <i>Journal of Physiology</i>, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:<a href=\"https://doi.org/10.1113/jphysiol.1993.sp019965\">10.1113/jphysiol.1993.sp019965</a>.","short":"P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663."},"publisher":"Wiley-Blackwell","publication":"Journal of Physiology","title":"Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus","publist_id":"2913","date_created":"2018-12-11T12:03:31Z","oa_version":"Published Version","extern":"1","abstract":[{"lang":"eng","text":"1. Excitatory postsynaptic currents (EPSCs) were recorded in CA3 pyramidal cells of hippocampal slices of 15- to 24-day-old rats (22 degrees C) using the whole-cell configuration of the patch clamp technique. 2. Composite EPSCs were evoked by extracellular stimulation of the mossy fibre tract. Using the selective blockers 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX) and D-2-amino-5-phosphonopentanoic acid (APV), a major alpha-amino-3-hydroxy-5-methylisoxazole-4-propionate (AMPA)/kainate receptor-mediated component and a minor NMDA receptor-mediated component with slower time course were distinguished. For the AMPA/kainate receptor-mediated component, the peak current-voltage (I-V) relation was linear, with a reversal potential close to 0 mV. The half-maximal blocking concentration of CNQX was 353 nM. 3. Unitary EPSCs of the mossy fibre terminal (MF)-CA3 pyramidal cell synapse were evoked at membrane potentials of -70 to -90 mV by low-intensity extracellular stimulation of granule cell somata using fine-tipped pipettes. The EPSC peak amplitude as a function of stimulus intensity showed all-or-none behaviour. The region of low threshold was restricted to a few micrometres. This suggests that extracellular stimulation was focal, and that the stimulus-evoked EPSCs were unitary. 4. Latency and rise time histograms of EPSCs evoked by granule cell stimulation showed narrow unimodal distributions within each experiment. The mean latency was 4.2 +/- 1.0 ms, and the mean 20-80% rise time was 0.6 +/- 0.1 ms (23 cells). When fitted within the range 0.7 ms to 20 ms after the peak, the decay of the EPSCs with the fastest rise (rise time 0.5 ms or less) could be described by a single exponential function; the mean time constant was in the range 3.0-6.6 ms with a mean of 4.8 ms (8 cells). 5. Peak amplitudes of the EPSCs evoked by suprathreshold granule cell stimulation fluctuated between trials. The apparent EPSC peak conductance in normal extracellular solution (2 mM Ca2+, 1 mM Mg2+), excluding failures, was 1 nS. Reducing the Ca2+ concentration and increasing the Mg2+ concentration reduced the mean peak amplitude in a concentration-dependent manner. 6. Peaks in EPSC peak amplitude distributions were apparent in low Ca2+ and high Mg2+. Using the criteria of equidistance and the presence of peaks and dips in the autocorrelation function, five of nine EPSC peak amplitude distributions were judged to be quantal."}],"publication_status":"published","intvolume":"       472","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1160505","open_access":"1"}],"day":"01","pmid":1,"month":"12","language":[{"iso":"eng"}],"article_processing_charge":"No","date_updated":"2022-03-30T09:33:19Z","doi":"10.1113/jphysiol.1993.sp019965","date_published":"1993-12-01T00:00:00Z","author":[{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","first_name":"Peter M"},{"full_name":"Major, Guy","last_name":"Major","first_name":"Guy"},{"full_name":"Sakmann, Bert","first_name":"Bert","last_name":"Sakmann"}],"quality_controlled":"1","scopus_import":"1"},{"extern":"1","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert"}],"date_published":"1993-08-24T00:00:00Z","date_updated":"2022-03-30T09:30:11Z","doi":"10.1016/C2009-0-15705-7","article_processing_charge":"No","oa_version":"None","date_created":"2018-12-11T12:04:00Z","publist_id":"2817","title":"Geometric algorithms","publication":"Handbook of Convex Geometry","publisher":"North Holland","citation":{"chicago":"Edelsbrunner, Herbert. “Geometric Algorithms.” In <i>Handbook of Convex Geometry</i>, 699–735. North Holland, 1993. <a href=\"https://doi.org/10.1016/C2009-0-15705-7\">https://doi.org/10.1016/C2009-0-15705-7</a>.","ieee":"H. Edelsbrunner, “Geometric algorithms,” in <i>Handbook of Convex Geometry</i>, North Holland, 1993, pp. 699–735.","apa":"Edelsbrunner, H. (1993). Geometric algorithms. In <i>Handbook of Convex Geometry</i> (pp. 699–735). North Holland. <a href=\"https://doi.org/10.1016/C2009-0-15705-7\">https://doi.org/10.1016/C2009-0-15705-7</a>","ama":"Edelsbrunner H. Geometric algorithms. In: <i>Handbook of Convex Geometry</i>. North Holland; 1993:699-735. doi:<a href=\"https://doi.org/10.1016/C2009-0-15705-7\">10.1016/C2009-0-15705-7</a>","mla":"Edelsbrunner, Herbert. “Geometric Algorithms.” <i>Handbook of Convex Geometry</i>, North Holland, 1993, pp. 699–735, doi:<a href=\"https://doi.org/10.1016/C2009-0-15705-7\">10.1016/C2009-0-15705-7</a>.","ista":"Edelsbrunner H. 1993.Geometric algorithms. In: Handbook of Convex Geometry. , 699–735.","short":"H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735."},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0-444-89596-7"]},"month":"08","status":"public","day":"24","main_file_link":[{"url":"https://www.sciencedirect.com/book/9780444895967/handbook-of-convex-geometry"}],"_id":"3568","publication_status":"published","year":"1993","page":"699 - 735","type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"publisher":"World Scientific Publishing","title":"Computational geometry","publication":"Current Trends in Theoretical Computer Science, Essays and Tutorials","publist_id":"2816","oa_version":"None","date_created":"2018-12-11T12:04:01Z","date_updated":"2022-03-30T08:46:20Z","article_processing_charge":"No","author":[{"last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"}],"date_published":"1993-08-01T00:00:00Z","extern":"1","type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1 - 48","publication_status":"published","year":"1993","_id":"3569","main_file_link":[{"url":"https://books.google.at/books?hl=en&lr=&id=fr_sCgAAQBAJ&oi=fnd&pg=PR5&ots=XAust-LAGl&sig=FQTlA5rrM25y5EZ8ZmrorT7SaMo&redir_esc=y#v=onepage&q&f=false"}],"day":"01","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-9810214623"]},"month":"08","citation":{"chicago":"Edelsbrunner, Herbert. “Computational Geometry.” In <i>Current Trends in Theoretical Computer Science, Essays and Tutorials</i>, 1–48. World Scientific Publishing, 1993.","ieee":"H. Edelsbrunner, “Computational geometry,” in <i>Current Trends in Theoretical Computer Science, Essays and Tutorials</i>, World Scientific Publishing, 1993, pp. 1–48.","apa":"Edelsbrunner, H. (1993). Computational geometry. In <i>Current Trends in Theoretical Computer Science, Essays and Tutorials</i> (pp. 1–48). World Scientific Publishing.","ama":"Edelsbrunner H. Computational geometry. In: <i>Current Trends in Theoretical Computer Science, Essays and Tutorials</i>. World Scientific Publishing; 1993:1-48.","short":"H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.","mla":"Edelsbrunner, Herbert. “Computational Geometry.” <i>Current Trends in Theoretical Computer Science, Essays and Tutorials</i>, World Scientific Publishing, 1993, pp. 1–48.","ista":"Edelsbrunner H. 1993.Computational geometry. In: Current Trends in Theoretical Computer Science, Essays and Tutorials. , 1–48."}},{"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"127 - 136","volume":61,"year":"1993","_id":"3643","article_type":"original","issue":"2","acknowledgement":"This work was supported by the Darwin Trust, by a Science and Engineering Research Council grant (GR/E/08507), and by an SERC Visiting Fellowship to S.Rouhani. ","status":"public","publication_identifier":{"issn":["0016-6723"]},"citation":{"chicago":"Rouhani, Shahin, and Nicholas H Barton. “Group Selection and the ‘Shifting Balance.’” <i>Genetical Research</i>. Cambridge University Press, 1993. <a href=\"https://doi.org/10.1017/S0016672300031232\">https://doi.org/10.1017/S0016672300031232</a>.","ieee":"S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” <i>Genetical Research</i>, vol. 61, no. 2. Cambridge University Press, pp. 127–136, 1993.","apa":"Rouhani, S., &#38; Barton, N. H. (1993). Group selection and the “shifting balance.” <i>Genetical Research</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S0016672300031232\">https://doi.org/10.1017/S0016672300031232</a>","ama":"Rouhani S, Barton NH. Group selection and the “shifting balance.” <i>Genetical Research</i>. 1993;61(2):127-136. doi:<a href=\"https://doi.org/10.1017/S0016672300031232\">10.1017/S0016672300031232</a>","ista":"Rouhani S, Barton NH. 1993. Group selection and the ‘shifting balance’. Genetical Research. 61(2), 127–136.","mla":"Rouhani, Shahin, and Nicholas H. Barton. “Group Selection and the ‘Shifting Balance.’” <i>Genetical Research</i>, vol. 61, no. 2, Cambridge University Press, 1993, pp. 127–36, doi:<a href=\"https://doi.org/10.1017/S0016672300031232\">10.1017/S0016672300031232</a>.","short":"S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136."},"publisher":"Cambridge University Press","title":"Group selection and the 'shifting balance'","publication":"Genetical Research","publist_id":"2740","oa_version":"None","date_created":"2018-12-11T12:04:24Z","extern":"1","abstract":[{"lang":"eng","text":"We investigate the establishment and spread of new adaptive peaks within Wright's ‘shifting balance’. The third phase of the ‘shifting balance’ involves a kind of group selection, since demes in which a superior peak has been established contain more individuals, and so send out more migrants. We assume that population size, N, increases with mean fitness, , according to the exponential relation, . Here, k is a measure of the weakness of density-dependent regulation, and equals the inverse of the regression of log (fitness) on log(N). In the island model, we find that just as with soft selection (k = 0), two distinct types of behaviour exist: group selection makes no qualitative difference. With low numbers of migrants, demes fluctuate almost independently, and only one equilibrium exists. With large numbers of migrants, all the demes evolve towards the same adaptive peak, and so the whole population can move towards one or other of the peaks. Group selection can be understood in terms of an effective mean fitness function. Its main consequence is to increase the effect of selection relative to drift (Ns), and so increase the bias towards the fitter peak. However, this increased bias depends on the ratio between k and the deme size (k/N), and so is very small when density-dependence is reasonably strong."}],"publication_status":"published","main_file_link":[{"url":"https://www.cambridge.org/core/journals/genetics-research/article/group-selection-and-the-shifting-balance/CFDE26EA7125957545F9A0AA37755BC4"}],"intvolume":"        61","day":"01","language":[{"iso":"eng"}],"month":"04","doi":"10.1017/S0016672300031232","date_updated":"2022-03-30T08:28:54Z","article_processing_charge":"No","author":[{"full_name":"Rouhani, Shahin","first_name":"Shahin","last_name":"Rouhani"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H"}],"date_published":"1993-04-01T00:00:00Z","quality_controlled":"1","scopus_import":"1"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":61,"page":"57 - 74","year":"1993","_id":"3644","issue":"1","article_type":"original","status":"public","publication_identifier":{"issn":["0016-6723"]},"citation":{"ama":"Barton NH, Rouhani S. Adaptation and the “shifting balance.” <i>Genetical Research</i>. 1993;61(1):57-74. doi:<a href=\"https://doi.org/10.1017/S0016672300031098 \">10.1017/S0016672300031098 </a>","mla":"Barton, Nicholas H., and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’” <i>Genetical Research</i>, vol. 61, no. 1, Cambridge University Press, 1993, pp. 57–74, doi:<a href=\"https://doi.org/10.1017/S0016672300031098 \">10.1017/S0016672300031098 </a>.","ista":"Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical Research. 61(1), 57–74.","short":"N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.","ieee":"N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” <i>Genetical Research</i>, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.","chicago":"Barton, Nicholas H, and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’” <i>Genetical Research</i>. Cambridge University Press, 1993. <a href=\"https://doi.org/10.1017/S0016672300031098 \">https://doi.org/10.1017/S0016672300031098 </a>.","apa":"Barton, N. H., &#38; Rouhani, S. (1993). Adaptation and the “shifting balance.” <i>Genetical Research</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S0016672300031098 \">https://doi.org/10.1017/S0016672300031098 </a>"},"publisher":"Cambridge University Press","publication":"Genetical Research","title":"Adaptation and the 'shifting balance'","publist_id":"2739","date_created":"2018-12-11T12:04:24Z","oa_version":"None","extern":"1","abstract":[{"text":"Wright proposed that there is a ' shifting balance' between selection within demes, random drift, and selection between demes at different 'adaptive peaks'. We investigate the establishment and spread of new adaptive peaks, considering a chromosome rearrangement, and a polygenic character under disruptive selection. When the number of migrants (Nm) is small, demes fluctuate independently, with a bias towards the fitter peak. When Nm is large, the whole population can\r\nmove to one of two stable equilibria, and so can be trapped near the lower peak. These two regimes are separated by a sharp transition at a critical Nm of order 1. Just below this critical point, adaptation is most efficient, since the shifting balance greatly increases the proportion of demes that reach the global optimum. This is so even if one peak is only slightly fitter than the other (AWx \\/N), and for both strong and weak selection (Ns <§ 1 or Ns > 1). Provided that Nm\r\nvaries sufficiently gradually from place to place, the fitter peak can be established in regions where Nm « 1, and can then spread through the rest of the range. Our analysis confirms Wright's argument that if selection, migration and drift are of the same order, the ' shifting balance' leads to efficient evolution towards the global optimum.","lang":"eng"}],"publication_status":"published","intvolume":"        61","main_file_link":[{"url":"https://www.cambridge.org/core/journals/genetics-research/article/adaptation-and-the-shifting-balance/2E15452B3AFCA97E77743E0C7E108064"}],"day":"01","month":"02","language":[{"iso":"eng"}],"article_processing_charge":"No","doi":"10.1017/S0016672300031098 ","date_updated":"2022-03-30T08:18:58Z","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H"},{"full_name":"Rouhani, Shahin","last_name":"Rouhani","first_name":"Shahin"}],"date_published":"1993-02-01T00:00:00Z","quality_controlled":"1","scopus_import":"1"},{"article_processing_charge":"No","doi":"10.1137/0222077 ","date_updated":"2022-03-30T08:07:21Z","author":[{"last_name":"Chazelle","first_name":"Bernard","full_name":"Chazelle, Bernard"},{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"},{"full_name":"Guibas, Leonidas","first_name":"Leonidas","last_name":"Guibas"},{"full_name":"Sharir, Micha","first_name":"Micha","last_name":"Sharir"},{"last_name":"Snoeyink","first_name":"Jack","full_name":"Snoeyink, Jack"}],"date_published":"1993-12-01T00:00:00Z","quality_controlled":"1","scopus_import":"1","publication_status":"published","main_file_link":[{"url":"https://epubs.siam.org/doi/10.1137/0222077"}],"intvolume":"        22","day":"01","month":"12","language":[{"iso":"eng"}],"publisher":"SIAM","publication":"SIAM Journal on Computing","title":"Computing a face in an arrangement of line segments and related problems","publist_id":"2087","date_created":"2018-12-11T12:06:34Z","oa_version":"None","extern":"1","abstract":[{"lang":"eng","text":"This paper presents a randomized incremental algorithm for computing a single face in an arrangement of n line segments in the plane that is fairly simple to implement. The expected running time of the algorithm is O(nα(n)log n). The analysis of the algorithm uses a novel approach that generalizes and extends the Clarkson-Shor analysis technique [in Discrete Comput. Geom., 4(1989), pp. 387-421]. A few extensions of the technique, obtaining efficient randomized incremental algorithms for constructing the entire arrangement of a collection of line segments and for computing a single face in an arrangement of Jordan arcs are also presented."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":22,"page":"1286 - 1302","year":"1993","_id":"4036","issue":"6","article_type":"original","acknowledgement":"The authors wish to express their gratitude for the generous support and hospitality of the DEC Palo Alto Systems Research Center.","status":"public","publication_identifier":{"issn":["0097-5397"]},"citation":{"ieee":"B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments and related problems,” <i>SIAM Journal on Computing</i>, vol. 22, no. 6. SIAM, pp. 1286–1302, 1993.","chicago":"Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related Problems.” <i>SIAM Journal on Computing</i>. SIAM, 1993. <a href=\"https://doi.org/10.1137/0222077 \">https://doi.org/10.1137/0222077 </a>.","apa":"Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., &#38; Snoeyink, J. (1993). Computing a face in an arrangement of line segments and related problems. <i>SIAM Journal on Computing</i>. SIAM. <a href=\"https://doi.org/10.1137/0222077 \">https://doi.org/10.1137/0222077 </a>","ama":"Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face in an arrangement of line segments and related problems. <i>SIAM Journal on Computing</i>. 1993;22(6):1286-1302. doi:<a href=\"https://doi.org/10.1137/0222077 \">10.1137/0222077 </a>","mla":"Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments and Related Problems.” <i>SIAM Journal on Computing</i>, vol. 22, no. 6, SIAM, 1993, pp. 1286–302, doi:<a href=\"https://doi.org/10.1137/0222077 \">10.1137/0222077 </a>.","ista":"Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1993. Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing. 22(6), 1286–1302.","short":"B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302."}}]