[{"oa_version":"None","date_created":"2018-12-11T12:07:55Z","title":"Theory and speciation","publication_identifier":{"issn":["0169-5347"]},"publist_id":"1828","publication_status":"published","pmid":1,"extern":"1","publisher":"Cell Press","article_processing_charge":"No","article_type":"original","month":"07","volume":16,"author":[{"last_name":"Turelli","full_name":"Turelli, Michael","first_name":"Michael"},{"last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H"},{"first_name":"Jerry","last_name":"Coyne","full_name":"Coyne, Jerry"}],"acknowledgement":"We thank D. Bolnick, B. Fitzpatrick, S. Gavrilets, R. Haygood, C.D. Jones, M. Kirkpatrick, A. Kondrashov, J.B. Mullet, S.V. Nuzhdin, H.A. Orr, T.D. Price, T. Prout, D.W. Schemske, D. Schluter, M.R. Servedio and P.S. Ward for discussion and comments. Some of these reviewers disagree with our conclusions. This work was supported by US National Science Foundation grants DEB 9527808 and DEB 0089716 to MT, grants from the Darwin Trust of Edinburgh and the Biotechnology and Biological Sciences Research Council (GRJ/76057, GR/H/09928) to NHB, and National Institutes of Health grant R01 GM58260 to JAC. ","doi":"10.1016/S0169-5347(01)02177-2","date_published":"2001-07-01T00:00:00Z","year":"2001","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":" 16","citation":{"chicago":"Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution. Cell Press, 2001. https://doi.org/10.1016/S0169-5347(01)02177-2.","ista":"Turelli M, Barton NH, Coyne J. 2001. Theory and speciation. Trends in Ecology and Evolution. 16(7), 330–343.","ama":"Turelli M, Barton NH, Coyne J. Theory and speciation. Trends in Ecology and Evolution. 2001;16(7):330-343. doi:10.1016/S0169-5347(01)02177-2","apa":"Turelli, M., Barton, N. H., & Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/S0169-5347(01)02177-2","ieee":"M. Turelli, N. H. Barton, and J. Coyne, “Theory and speciation,” Trends in Ecology and Evolution, vol. 16, no. 7. Cell Press, pp. 330–343, 2001.","short":"M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.","mla":"Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2."},"day":"01","type":"journal_article","quality_controlled":"1","abstract":[{"text":"The study of speciation has become one of the most active areas of evolutionary biology, and substantial progress has been made in documenting and understanding phenomena ranging from sympatric speciation and reinforcement to the evolutionary genetics of postzygotic isolation. This progress has been driven largely by empirical results, and most useful theoretical work has concentrated on making sense of empirical patterns. Given the complexity of speciation, mathematical theory is subordinate to verbal theory and generalizations about data. Nevertheless, mathematical theory can provide a useful classification of verbal theories; can help determine the biological plausibility of verbal theories; can determine whether alternative mechanisms of speciation are consistent with empirical patterns; and can occasionally provide predictions that go beyond empirical generalizations. We discuss recent examples of progress in each of these areas.","lang":"eng"}],"_id":"4264","language":[{"iso":"eng"}],"external_id":{"pmid":["11403865"]},"issue":"7","page":"330 - 343","status":"public","publication":"Trends in Ecology and Evolution","date_updated":"2023-05-10T12:16:55Z"},{"issue":"10","scopus_import":"1","page":"1921 - 1931","status":"public","date_updated":"2023-05-10T12:12:32Z","publication":"Evolution; International Journal of Organic Evolution","date_published":"2001-10-01T00:00:00Z","intvolume":" 55","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","day":"01","citation":{"apa":"Otto, S., & Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x","ieee":"S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10. Wiley-Blackwell, pp. 1921–1931, 2001.","short":"S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.","mla":"Otto, Sarah, and Nicholas H. Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.","chicago":"Otto, Sarah, and Nicholas H Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2001. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x.","ista":"Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.","ama":"Otto S, Barton NH. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 2001;55(10):1921-1931. doi:10.1111/j.0014-3820.2001.tb01310.x"},"external_id":{"pmid":["11761054"]},"_id":"4265","abstract":[{"text":"The reasons that sex and recombination are so widespread remain elusive. One popular hypothesis is that sex and recombination promote adaptation to a changing environment. The strongest evidence that increased recombination may evolve because recombination promotes adaptation comes from artificially selected populations. Recombination rates have been found to increase as a correlated response to selection on traits unrelated to recombination in several artificial selection experiments and in a comparison of domesticated and nondomesticated mammals. There are, however, several alternative explanations for the increase in recombination in such populations, including two different evolutionary explanations. The first is that the form of selection is epistatic, generating linkage disequilibria among selected loci, which can indirectly favor modifier alleles that increase recombination. The second is that random genetic drift in selected populations tends to generate disequilibria such that beneficial alleles are often found in different individuals; modifier alleles that increase recombination can bring together such favorable alleles and thus may be found in individuals with greater fitness. In this paper, we compare the evolutionary forces acting on recombination in finite populations subject to strong selection, To our surprise, we found that drift accounted for the majority of selection for increased recombination observed in simulations of small to moderately large populations, suggesting that, unless selected populations are large, epistasis plays a secondary role in the evolution of recombination.","lang":"eng"}],"language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","extern":"1","pmid":1,"article_processing_charge":"No","publisher":"Wiley-Blackwell","author":[{"last_name":"Otto","full_name":"Otto, Sarah","first_name":"Sarah"},{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","last_name":"Barton","full_name":"Barton, Nicholas H"}],"volume":55,"month":"10","article_type":"original","doi":"10.1111/j.0014-3820.2001.tb01310.x","acknowledgement":"We are grateful to P. Awadalla, T. Lenormand, A. Peters, S. West, M. Whitlock, and two anonymous reviewers for helpful comments on the manuscript. Funding was provided by the Natural Sciences and Engineering Research Council\r\n(Canada) to SPO, the Centre National de la Recherche Scientifique (France) to SPO, the Darwin Trust of Edinburgh to\r\nNHB, and the BBSRC (U.K.) to NHB. ","date_created":"2018-12-11T12:07:56Z","title":"Selection for recombination in small populations","oa_version":"None","publication_identifier":{"issn":["0014-3820"]},"publication_status":"published","publist_id":"1827"},{"date_created":"2018-12-11T12:07:56Z","title":"The role of hybridization in evolution","oa_version":"None","publication_identifier":{"issn":["962-1083"]},"publist_id":"1824","publication_status":"published","extern":"1","pmid":1,"article_processing_charge":"No","publisher":"Wiley-Blackwell","volume":10,"author":[{"orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Barton, Nicholas H","last_name":"Barton"}],"article_type":"original","month":"03","acknowledgement":"This work was supported by the Darwin Trust of Edinburgh and by grant GR3/11635 from the Natural Environment Research Council. I would like to thank Loren Rieseberg, Allen Orr, Michael Turelli, and an anonymous referee for their helpful comments","doi":"10.1046/j.1365-294X.2001.01216.x","date_published":"2001-03-01T00:00:00Z","intvolume":" 10","year":"2001","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","day":"01","citation":{"chicago":"Barton, Nicholas H. “The Role of Hybridization in Evolution.” Molecular Ecology. Wiley-Blackwell, 2001. https://doi.org/10.1046/j.1365-294X.2001.01216.x.","ista":"Barton NH. 2001. The role of hybridization in evolution. Molecular Ecology. 10(3), 551–568.","ama":"Barton NH. The role of hybridization in evolution. Molecular Ecology. 2001;10(3):551-568. doi:10.1046/j.1365-294X.2001.01216.x","apa":"Barton, N. H. (2001). The role of hybridization in evolution. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1046/j.1365-294X.2001.01216.x","ieee":"N. H. Barton, “The role of hybridization in evolution,” Molecular Ecology, vol. 10, no. 3. Wiley-Blackwell, pp. 551–568, 2001.","short":"N.H. Barton, Molecular Ecology 10 (2001) 551–568.","mla":"Barton, Nicholas H. “The Role of Hybridization in Evolution.” Molecular Ecology, vol. 10, no. 3, Wiley-Blackwell, 2001, pp. 551–68, doi:10.1046/j.1365-294X.2001.01216.x."},"abstract":[{"lang":"eng","text":"Hybridization may influence evolution in a variety of ways. If hybrids are less fit, the geographical range of ecologically divergent populations may be limited, and prezygotic reproductive isolation may be reinforced. If some hybrid genotypes are fitter than one or both parents, at least in some environments, then hybridization could make a positive contribution. Single alleles that are at an advantage in the alternative environment and genetic background will introgress readily, although such introgression may be hard to detect. 'Hybrid speciation', in which fit combinations of alleles are established, is more problematic; its likelihood depends on how divergent populations meet, and on the structure of epistasis. These issues are illustrated using Fisher's model of stabilizing selection on multiple traits, under which reproductive isolation evolves as a side-effect of adaptation in allopatry. This confirms a priori arguments that while recombinant hybrids are less fit on average, some gene combinations may be fitter than the parents, even in the parental environment. Fisher's model does predict heterosis in diploid F1s, asymmetric incompatibility in reciprocal backcrosses, and (when dominance is included) Haldane's Rule. However, heterosis arises only when traits are additive, whereas the latter two patterns require dominance. Moreover, because adaptation is via substitutions of small effect, Fisher's model does not generate the strong effects of single chromosome regions often observed in species crosses."}],"_id":"4266","language":[{"iso":"eng"}],"external_id":{"pmid":["11298968"]},"type":"journal_article","quality_controlled":"1","issue":"3","scopus_import":"1","page":"551 - 568","status":"public","publication":"Molecular Ecology","date_updated":"2023-05-10T11:45:07Z"},{"month":"08","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","last_name":"Barton"}],"publication":"Integrating ecology and evolution in a spatial context","date_updated":"2023-05-10T11:59:06Z","status":"public","page":"365 - 392","publisher":"Cambridge University Press","article_processing_charge":"No","extern":"1","quality_controlled":"1","publication_status":"published","type":"book_chapter","publist_id":"1825","abstract":[{"lang":"eng","text":"The flow of genes from the dense and well-adapted centre of a species' distribution interferes with adaptation to marginal environments, and may sharply limit a species' range. Deterministic models of a linear habitat suggest that populations could in principle adapt to very steep environmental gradients, by increasing their genetic variability. However, random fluctuations in sparse populations reduce this variance, and may be crucial in limiting the species' range."}],"_id":"4267","language":[{"iso":"eng"}],"citation":{"chicago":"Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.","ista":"Barton NH. 2001.Adaptation at the edge of a species’ range. In: Integrating ecology and evolution in a spatial context. , 365–392.","ama":"Barton NH. Adaptation at the edge of a species’ range. In: Integrating Ecology and Evolution in a Spatial Context. Cambridge University Press; 2001:365-392.","apa":"Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.","short":"N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.","ieee":"N. H. Barton, “Adaptation at the edge of a species’ range,” in Integrating ecology and evolution in a spatial context, Cambridge University Press, 2001, pp. 365–392.","mla":"Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–92."},"day":"01","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","publication_identifier":{"isbn":["9780521840002"]},"main_file_link":[{"url":"https://www.cambridge.org/us/academic/subjects/life-sciences/ecology-and-conservation/integrating-ecology-and-evolution-spatial-context-14th-special-symposium-british-ecological-society?format=HB&isbn=9780521840002"}],"oa_version":"None","title":"Adaptation at the edge of a species' range","date_created":"2018-12-11T12:07:57Z","date_published":"2001-08-01T00:00:00Z"},{"month":"04","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","last_name":"Barton"}],"date_updated":"2023-05-10T09:57:10Z","publication":"Dispersal","extern":"1","status":"public","publisher":"Oxford University Press","article_processing_charge":"No","day":"01","citation":{"short":"N.H. Barton, in:, Dispersal, Oxford University Press, 2001.","ieee":"N. H. Barton, “The evolutionary consequences of gene flow and local adaptation: Future approaches,” in Dispersal, Oxford University Press, 2001.","mla":"Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” Dispersal, Oxford University Press, 2001.","apa":"Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.","ista":"Barton NH. 2001.The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. .","ama":"Barton NH. The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. Oxford University Press; 2001.","chicago":"Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” In Dispersal. Oxford University Press, 2001."},"publication_status":"published","quality_controlled":"1","publist_id":"1812","type":"book_chapter","language":[{"iso":"eng"}],"_id":"4278","abstract":[{"text":"The ability of species to migrate that has interested ecologists for many years. Now that so many species and ecosystems face major environmental change, the ability of species to adapt to these changes by dispersing, migrating, or moving between different patches of habitat can be crucial to ensuring their survivial. This book provides a timely and wide-ranging overview of the study of dispersal and incorporates much of the latest research. The causes, mechanisms, and consequences of dispersal at the individual, population, species and community levels are considered. The potential of new techniques and models for studying dispersal, drawn from molecular biology and demography, is also explored. Perspectives and insights are offered from the fields of evolution, conservation biology and genetics. Throughout the book, theoretical approaches are combined with empirical data, and care has been taken to include examples from as wide a range of species as possible. ","lang":"eng"}],"main_file_link":[{"url":"https://www.nhbs.com/dispersal-book"}],"oa_version":"None","date_created":"2018-12-11T12:08:00Z","title":"The evolutionary consequences of gene flow and local adaptation: Future approaches","date_published":"2001-04-01T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9780198506591"]},"year":"2001"},{"type":"conference_editor","publist_id":"283","publication_status":"published","conference":{"end_date":"2001-10-10","location":"Tahoe City, CA, USA","name":"EMSOFT 2001: Embedded Software","start_date":"2001-10-08"},"quality_controlled":"1","_id":"4449","language":[{"iso":"eng"}],"abstract":[{"text":"Embedded software is software that interacts with physical processes. As em- bedded systems increasingly permeate our daily lives on all levels, from micros- copic devices to international networks, the cost-efficient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software develop- ment, and to incubate a research community in this way. The workshop aims to cover all aspects of the design and implementation of embedded software, inclu- ding operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution time analysis, networking and fault tolerance, as well as application areas, such as embedded control, real-time signal processing, and telecommunications.","lang":"eng"}],"citation":{"apa":"Henzinger, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7","short":"T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.","ieee":"T. A. Henzinger, Ed., EMSOFT: Embedded Software, vol. 2211. ACM, 2001.","mla":"Henzinger, Thomas A., editor. EMSOFT: Embedded Software. Vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.","chicago":"Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.","ista":"Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.","ama":"Henzinger TA, ed. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7"},"day":"26","publication_identifier":{"isbn":["9783540426738"]},"year":"2001","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":" 2211","oa_version":"None","date_published":"2001-09-26T00:00:00Z","title":"EMSOFT: Embedded Software","date_created":"2018-12-11T12:08:54Z","alternative_title":["LNCS"],"doi":"10.1007/3-540-45449-7","month":"09","date_updated":"2023-05-10T09:53:17Z","volume":2211,"publisher":"ACM","status":"public","article_processing_charge":"No","editor":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"extern":"1"},{"doi":"10.1109/.2001.980714","month":"05","volume":3,"author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"last_name":"Preussig","full_name":"Preussig, Joerg","first_name":"Joerg"},{"full_name":"Wong Toi, Howard","last_name":"Wong Toi","first_name":"Howard"}],"date_updated":"2023-05-10T09:47:20Z","publication":"Proceedings of the 40th IEEE Conference on Decision and Control","status":"public","page":"2887 - 2892","publisher":"IEEE","article_processing_charge":"No","scopus_import":"1","extern":"1","quality_controlled":"1","publication_status":"published","conference":{"end_date":"2001-12-07","location":"Orlando, FL, USA","name":"CDC: Decision and Control","start_date":"2001-12-04"},"publist_id":"253","type":"conference","_id":"4475","language":[{"iso":"eng"}],"abstract":[{"text":"We provide an overview of the current status of HYTECH, and reflect on some of the lessons learned from our experiences with the tool. HYTECH is a symbolic model checker for mixed discrete-continuous systems that are modeled as automata with piecewise-constant polyhedral differential inclusions. The use of a formal input language and automated procedures for state-space traversal lay the foundation for formally verifying properties of hybrid dynamical systems. We describe some recent experiences analyzing three hybrid systems. We point out the successes and limitations of the tool. The analysis procedure has been extended in a number of ways to address some of the tool's shortcomings. We evaluate these extensions, and conclude with some desiderata for verification tools for hybrid systems.","lang":"eng"}],"day":"01","citation":{"mla":"Henzinger, Thomas A., et al. “Some Lessons from the HYTECH Experience.” Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.","ieee":"T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” in Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, 2001, vol. 3, pp. 2887–2892.","short":"T.A. Henzinger, J. Preussig, H. Wong Toi, in:, Proceedings of the 40th IEEE Conference on Decision and Control, IEEE, 2001, pp. 2887–2892.","apa":"Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE. https://doi.org/10.1109/.2001.980714","ama":"Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Proceedings of the 40th IEEE Conference on Decision and Control. Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714","ista":"Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. Proceedings of the 40th IEEE Conference on Decision and Control. CDC: Decision and Control vol. 3, 2887–2892.","chicago":"Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience.” In Proceedings of the 40th IEEE Conference on Decision and Control, 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","publication_identifier":{"isbn":["0780370619"]},"intvolume":" 3","oa_version":"None","date_created":"2018-12-11T12:09:02Z","title":"Some lessons from the HYTECH experience","date_published":"2001-05-01T00:00:00Z"},{"publication_status":"published","conference":{"location":"Rome, Italy","end_date":"2001-03-30","start_date":"2001-03-28","name":"HSCC: Hybrid Systems - Computation and Control"},"publist_id":"250","publication_identifier":{"isbn":["9783540418665"]},"oa_version":"None","alternative_title":["LNCS"],"title":"Assume-guarantee reasoning for hierarchical hybrid systems","date_created":"2018-12-11T12:09:03Z","doi":"10.1007/3-540-45351-2_24","acknowledgement":"Support for this research was provided in part by the AFOSR MURI grant F49620- 00-1-0327, and the DARPA SEC grant F33615-C-98-3614, the MARCO GSRC grant 98-DT-660, the NSF ITR grant CCR-0085949.","month":"03","author":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"first_name":"Marius","last_name":"Minea","full_name":"Minea, Marius"},{"last_name":"Prabhu","full_name":"Prabhu, Vinayak","first_name":"Vinayak"}],"volume":2034,"publisher":"Springer","article_processing_charge":"No","extern":"1","quality_controlled":"1","type":"conference","language":[{"iso":"eng"}],"_id":"4477","abstract":[{"text":"The assume-guarantee paradigm is a powerful divide-and-conquer mechanism for decomposing a verification task about a system into subtasks about the individual components of the system. The key to assume-guarantee reasoning is to consider each component not in isolation, but in conjunction with assumptions about the context of the component. Assume-guarantee principles are known for purely concurrent contexts, which constrain the input data of a component, as well as for purely sequential contexts, which constrain the entry configurations of a component. We present a model for hierarchical system design which permits the arbitrary nesting of parallel as well as serial composition, and which supports an assume-guarantee principle for mixed parallel-serial contexts. Our model also supports both discrete and continuous processes, and is therefore well-suited for the modeling and analysis of embedded software systems which interact with real-world environments. Using an example of two cooperating robots, we show refinement between a high-level model which specifies continuous timing constraints and an implementation which relies on discrete sampling.","lang":"eng"}],"day":"14","citation":{"ama":"Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24","ista":"Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.","chicago":"Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.","mla":"Henzinger, Thomas A., et al. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” Proceedings of the 4th International Workshop on Hybrid Systems, vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.","ieee":"T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” in Proceedings of the 4th International Workshop on Hybrid Systems, Rome, Italy, 2001, vol. 2034, pp. 275–290.","short":"T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.","apa":"Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","intvolume":" 2034","date_published":"2001-03-14T00:00:00Z","publication":"Proceedings of the 4th International Workshop on Hybrid Systems","date_updated":"2023-05-09T14:47:37Z","status":"public","page":"275 - 290","scopus_import":"1"},{"extern":"1","scopus_import":"1","article_processing_charge":"No","page":"64 - 72","status":"public","publisher":"ACM","author":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Horowitz, Benjamin","last_name":"Horowitz","first_name":"Benjamin"},{"last_name":"Kirsch","full_name":"Kirsch, Christoph","first_name":"Christoph"}],"date_updated":"2023-05-10T09:37:20Z","publication":"Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems","month":"06","doi":"10.1145/384197.384208","acknowledgement":"We thank Rupak Majumdar for implementing a prototype Giotto compiler for Lego Mindstorms robots. We thank Dmitry Derevyanko and Winthrop Williams for building our Intel x86 robots. We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [4] implementation of Giotto. This research was supported in part by the DARPA SEC grant F33615-C-98-3614, the DARPA MoBIES grant F33615- 00-C-1703, the MARCO GSRC grant 98-DT-660, the AFOSR MURI grant F49620-00-1-0327, and the NSF ITR grant CCR-0085949.","title":"Embedded control systems development with Giotto","date_created":"2018-12-11T12:09:03Z","date_published":"2001-06-01T00:00:00Z","oa_version":"None","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","publication_identifier":{"isbn":["9781581134254"]},"citation":{"mla":"Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.","ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, New York, NY, United States, 2001, pp. 64–72.","apa":"Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM. https://doi.org/10.1145/384197.384208","ama":"Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. ACM; 2001:64-72. doi:10.1145/384197.384208","ista":"Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208."},"day":"01","abstract":[{"lang":"eng","text":"Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus time-triggered mode switches can form the abstract essence of programming real-time control systems. Giotto consists of a programming language with a formal semantics, and a retargetable compiler and runtime library. Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues. The time-triggered predictability of Giotto makes it particularly suitable for safety-critical applications with hard real-time constraints. We illustrate the platform-independence and time-triggered execution of Giotto by coordinating a heterogeneous flock of Intel x86 robots and Lego Mindstorms robots."}],"_id":"4478","language":[{"iso":"eng"}],"publication_status":"published","quality_controlled":"1","conference":{"name":"LCTES: Languages, Compilers, and Tools for Embedded Systems","location":"New York, NY, United States"},"publist_id":"251","type":"conference"},{"intvolume":" 2211","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","date_published":"2001-09-26T00:00:00Z","language":[{"iso":"eng"}],"_id":"4479","abstract":[{"lang":"eng","text":"Giotto provides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications."}],"quality_controlled":"1","type":"conference","day":"26","citation":{"apa":"Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12","mla":"Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 166–84, doi:10.1007/3-540-45449-7_12.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.","ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_12.","ama":"Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi:10.1007/3-540-45449-7_12","ista":"Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184."},"page":"166 - 184","status":"public","scopus_import":"1","date_updated":"2023-05-10T09:42:10Z","publication":"Proceedings of the 1st International Workshop on Embedded Software","publication_identifier":{"isbn":["9783540426738"]},"alternative_title":["LNCS"],"date_created":"2018-12-11T12:09:04Z","title":"Giotto: A time-triggered language for embedded programming","oa_version":"None","publication_status":"published","conference":{"name":"EMSOFT: Embedded Software ","start_date":"2001-10-08","end_date":"2001-10-10","location":"Tahoe City, CA, USA"},"publist_id":"252","article_processing_charge":"No","publisher":"ACM","extern":"1","doi":"10.1007/3-540-45449-7_12","acknowledgement":"This research was supported in part by the DARPA SEC grant F33615-C-98-3614 and by the MARCO GSRC grant 98-DT-660.","volume":2211,"author":[{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Horowitz","full_name":"Horowitz, Benjamin","first_name":"Benjamin"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"}],"month":"09"},{"month":"08","author":[{"last_name":"Brown","full_name":"Brown, Timothy","first_name":"Timothy"},{"first_name":"Alessandro","last_name":"Pasetti","full_name":"Pasetti, Alessandro"},{"first_name":"Wolfgang","last_name":"Pree","full_name":"Pree, Wolfgang"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"}],"date_updated":"2023-05-09T12:23:16Z","publication":"Proceedings of the 20th Digital Avionics Systems Conference","doi":"10.1109/DASC.2001.964169","acknowledgement":"This research was supported in part by DARPA under grants F336 15-C-98-36 14, F33615-00-(2-1693, and F33615-00-C-1703, and by MARC0 under grant 98-DT-660. ","scopus_import":"1","extern":"1","page":"1 - 11","status":"public","publisher":"IEEE","article_processing_charge":"No","citation":{"mla":"Brown, Timothy, et al. “A Reusable and Platform-Independent Framework for Distributed Control Systems.” Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.","ieee":"T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” in Proceedings of the 20th Digital Avionics Systems Conference, Daytona Beach, FL, USA, 2001, pp. 1–11.","short":"T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11.","apa":"Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE. https://doi.org/10.1109/DASC.2001.964169","ama":"Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. A reusable and platform-independent framework for distributed control systems. In: Proceedings of the 20th Digital Avionics Systems Conference. IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169","ista":"Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. Proceedings of the 20th Digital Avionics Systems Conference. DASC: Digital Avionics Systems Conference, 1–11.","chicago":"Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems.” In Proceedings of the 20th Digital Avionics Systems Conference, 1–11. IEEE, 2001. https://doi.org/10.1109/DASC.2001.964169."},"day":"06","quality_controlled":"1","conference":{"location":"Daytona Beach, FL, USA","end_date":"2001-10-18","start_date":"2001-10-14","name":"DASC: Digital Avionics Systems Conference"},"publication_status":"published","publist_id":"143","type":"conference","abstract":[{"text":"This paper presents a concept for integrating the embedded programming methodology Giotto and the object-oriented AOCS Framework to create an environment for the rapid development of distributed software for safety-critical embedded control systems with hard real-time requirements of the kind typically found in aerospace applications.","lang":"eng"}],"_id":"4564","language":[{"iso":"eng"}],"oa_version":"None","title":"A reusable and platform-independent framework for distributed control systems","date_created":"2018-12-11T12:09:30Z","date_published":"2001-08-06T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2001","publication_identifier":{"isbn":["0780370341"]}},{"publisher":"American Mathematical Society","article_processing_charge":"No","extern":"1","doi":"10.1090/amsip/016","acknowledgement":"L. Erdös was supported by the N.S.F. grant DMS-9970323. J. P. Solovej was supported in parts by the EU TMR-grant FMRX-CT 96-0001 by MaPhySto — Centre for Mathematical Physics and Stochastics, funded by a grant from The Danish National Research Foundation and by a grant from the Danish Natural Science Research Council.","month":"01","author":[{"last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","orcid":"0000-0001-5366-9603"}],"volume":16,"publication_identifier":{"isbn":["9780821821572"]},"arxiv":1,"oa_version":"Preprint","alternative_title":["AMS/IP Studies in Advanced Mathematics"],"date_created":"2018-12-11T11:59:12Z","title":"The kernel of Dirac operators on S3 and R3","publication_status":"published","publist_id":"4186","status":"public","page":"111 - 119","date_updated":"2023-05-03T09:37:03Z","publication":"Differential Equations and Mathematical Physics","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2000","intvolume":" 16","date_published":"2000-01-01T00:00:00Z","quality_controlled":"1","type":"book_chapter","external_id":{"arxiv":["math-ph/0001036"]},"language":[{"iso":"eng"}],"_id":"2710","abstract":[{"lang":"eng","text":"In this paper we describe an intrinsically geometric way of producing magnetic fields on §3 and $\\R^3$ for which the corresponding Dirac operators have a non-trivial kernel. In many cases we are able to compute the dimension of the kernel. In particular we can give examples where the kernel has any given dimension. This generalizes the examples of Loss and Yau (Commun. Math. Phys. 104 (1986) 283-290)."}],"citation":{"apa":"Erdös, L. (2000). The kernel of Dirac operators on S3 and R3. In Differential Equations and Mathematical Physics (Vol. 16, pp. 111–119). American Mathematical Society. https://doi.org/10.1090/amsip/016","mla":"Erdös, László. “The Kernel of Dirac Operators on S3 and R3.” Differential Equations and Mathematical Physics, vol. 16, American Mathematical Society, 2000, pp. 111–19, doi:10.1090/amsip/016.","short":"L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119.","ieee":"L. Erdös, “The kernel of Dirac operators on S3 and R3,” in Differential Equations and Mathematical Physics, vol. 16, American Mathematical Society, 2000, pp. 111–119.","chicago":"Erdös, László. “The Kernel of Dirac Operators on S3 and R3.” In Differential Equations and Mathematical Physics, 16:111–19. American Mathematical Society, 2000. https://doi.org/10.1090/amsip/016.","ama":"Erdös L. The kernel of Dirac operators on S3 and R3. In: Differential Equations and Mathematical Physics. Vol 16. American Mathematical Society; 2000:111-119. doi:10.1090/amsip/016","ista":"Erdös L. 2000.The kernel of Dirac operators on S3 and R3. In: Differential Equations and Mathematical Physics. AMS/IP Studies in Advanced Mathematics, vol. 16, 111–119."},"day":"01"},{"doi":"10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5","acknowledgement":"Partially supported by U.S. National Science Foundation grants DMS-9403462, 9703752. We would like to thank H. Spohn for his several comments and discussions on this project. Part of this work was done during the time when L. E. visited the Erwin Schrödinger Institute in Vienna and when both authors visited the Center of Theoretical Sciences in Taiwan. We thank them for the hospitality and the support of this work.","volume":53,"author":[{"last_name":"Erdös","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Horng","full_name":"Yau, Horng","last_name":"Yau"}],"month":"06","article_type":"original","article_processing_charge":"No","publisher":"Wiley-Blackwell","extern":"1","publication_status":"published","publist_id":"4161","publication_identifier":{"issn":["0010-3640"]},"arxiv":1,"date_created":"2018-12-11T11:59:18Z","title":"Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation","oa_version":"Preprint","publication":"Communications on Pure and Applied Mathematics","date_updated":"2023-05-03T09:09:04Z","page":"667 - 735","status":"public","issue":"6","scopus_import":"1","external_id":{"arxiv":["math-ph/9901020"]},"language":[{"iso":"eng"}],"_id":"2731","abstract":[{"lang":"eng","text":"We study the time evolution of a quantum particle in a Gaussian random environment. We show that in the weak coupling limit the Wigner distribution of the wave function converges to a solution of a linear Boltzmann equation globally in time. The Boltzmann collision kernel is given by the Born approximation of the quantum differential scattering cross section."}],"quality_controlled":"1","type":"journal_article","day":"01","citation":{"chicago":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2000. https://doi.org/10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5.","ista":"Erdös L, Yau H. 2000. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 53(6), 667–735.","ama":"Erdös L, Yau H. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 2000;53(6):667-735. doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5","apa":"Erdös, L., & Yau, H. (2000). Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5","ieee":"L. Erdös and H. Yau, “Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 6. Wiley-Blackwell, pp. 667–735, 2000.","short":"L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735.","mla":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics, vol. 53, no. 6, Wiley-Blackwell, 2000, pp. 667–735, doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5."},"intvolume":" 53","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2000","date_published":"2000-06-01T00:00:00Z"},{"year":"2000","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":" 100","date_published":"2000-01-01T00:00:00Z","type":"journal_article","quality_controlled":"1","abstract":[{"text":"We consider a quantum particle moving in a harmonic exterior potential and linearly coupled to a heat bath of quantum oscillators. Caldeira and Leggett derived the Fokker Planck equation with friction for the Wigner distribution of the particle in the large-temperature limit: however, their (nonrigorous) derivation was not free of criticism, especially since the limiting equation is not of Lindblad form. In this paper we recover the correct form of their result in a rigorous way. We also point out that the source of the diffusion is physically restrictive under this scaling. We investigate the model at a fixed temperature and in the large-time limit, where the origin of the diffusion is a cumulative effect of many resonant collisions. We obtain a heat equation with a friction term for the radial process in phase space and we prove the Einstein relation in this case.","lang":"eng"}],"_id":"2732","language":[{"iso":"eng"}],"citation":{"short":"F. Castella, L. Erdös, F. Frommlet, P. Markowich, Journal of Statistical Physics 100 (2000) 543–601.","ieee":"F. Castella, L. Erdös, F. Frommlet, and P. Markowich, “Fokker-Planck equations as scaling limits of reversible quantum systems,” Journal of Statistical Physics, vol. 100, no. 3–4. Springer, pp. 543–601, 2000.","mla":"Castella, François, et al. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics, vol. 100, no. 3–4, Springer, 2000, pp. 543–601, doi:10.1023/A:1018667323830.","apa":"Castella, F., Erdös, L., Frommlet, F., & Markowich, P. (2000). Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. Springer. https://doi.org/10.1023/A:1018667323830","ista":"Castella F, Erdös L, Frommlet F, Markowich P. 2000. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 100(3–4), 543–601.","ama":"Castella F, Erdös L, Frommlet F, Markowich P. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 2000;100(3-4):543-601. doi:10.1023/A:1018667323830","chicago":"Castella, François, László Erdös, Florian Frommlet, and Peter Markowich. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics. Springer, 2000. https://doi.org/10.1023/A:1018667323830."},"day":"01","page":"543 - 601","status":"public","scopus_import":"1","issue":"3-4","publication":"Journal of Statistical Physics","date_updated":"2023-05-03T09:02:11Z","publication_identifier":{"issn":["0022-4715"]},"oa_version":"None","title":"Fokker-Planck equations as scaling limits of reversible quantum systems","date_created":"2018-12-11T11:59:18Z","publist_id":"4160","publication_status":"published","publisher":"Springer","article_processing_charge":"No","extern":"1","acknowledgement":"The authors are indebted to H. Spohn for discussions. F.C. and L.E. were partially supported by the Erwin Schrödinger Institute in Vienna (Austria) during their visit, and they thank this institution for its hospitality. This work was supported by the TMR-Network ``Asymptotic Methods in Kinetic Theory'' number ERB FMBX CT97 0157 (F.C., F.F., and P.A.M.) and by NSF Grant DMS-9970323 (L.E.).","doi":"10.1023/A:1018667323830","article_type":"original","month":"01","author":[{"full_name":"Castella, François","last_name":"Castella","first_name":"François"},{"orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","full_name":"Erdös, László","last_name":"Erdös"},{"last_name":"Frommlet","full_name":"Frommlet, Florian","first_name":"Florian"},{"full_name":"Markowich, Peter","last_name":"Markowich","first_name":"Peter"}],"volume":100},{"day":"01","citation":{"chicago":"Erdös, László, Michael Loss, and Vitali Vougalter. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier, 2000. https://doi.org/10.5802/aif.1777.","ista":"Erdös L, Loss M, Vougalter V. 2000. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 50(3), 891–907.","ama":"Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777","apa":"Erdös, L., Loss, M., & Vougalter, V. (2000). Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier. https://doi.org/10.5802/aif.1777","short":"L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907.","ieee":"L. Erdös, M. Loss, and V. Vougalter, “Diamagnetic behavior of sums Dirichlet eigenvalues,” Annales de l’Institut Fourier, vol. 50, no. 3. Association des Annales de l’Institut Fourier, pp. 891–907, 2000.","mla":"Erdös, László, et al. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier, vol. 50, no. 3, Association des Annales de l’Institut Fourier, 2000, pp. 891–907, doi:10.5802/aif.1777."},"_id":"2733","abstract":[{"text":"The Li-Yau semiclassical lower bound for the sum of the first N eigenvalues of the Dirichlet–Laplacian is extended to Dirichlet–Laplacians with constant magnetic fields. Our method involves a new diamagnetic inequality for constant magnetic fields.","lang":"eng"}],"language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","date_published":"2000-01-01T00:00:00Z","intvolume":" 50","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","year":"2000","date_updated":"2023-05-03T08:56:17Z","publication":"Annales de l'Institut Fourier","issue":"3","scopus_import":"1","page":"891 - 907","status":"public","publication_status":"published","publist_id":"4159","date_created":"2018-12-11T11:59:19Z","title":"Diamagnetic behavior of sums Dirichlet eigenvalues","oa_version":"None","publication_identifier":{"issn":["0373-0956"]},"volume":50,"author":[{"last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","orcid":"0000-0001-5366-9603"},{"full_name":"Loss, Michael","last_name":"Loss","first_name":"Michael"},{"last_name":"Vougalter","full_name":"Vougalter, Vitali","first_name":"Vitali"}],"month":"01","article_type":"original","doi":"10.5802/aif.1777","extern":"1","article_processing_charge":"No","publisher":"Association des Annales de l'Institut Fourier"},{"article_type":"original","month":"06","volume":275,"author":[{"full_name":"Hwang, Jae","last_name":"Hwang","first_name":"Jae"},{"orcid":"0000-0001-8323-8353","first_name":"Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus","full_name":"Siekhaus, Daria E"},{"last_name":"Fuller","full_name":"Fuller, Robert","first_name":"Robert"},{"last_name":"Taghert","full_name":"Taghert, Paul","first_name":"Paul"},{"last_name":"Lindberg","full_name":"Lindberg, Iris","first_name":"Iris"}],"acknowledgement":"This work was supported by National Institutes of Health Grants DK49703 (to I. L.), NS21749 (to P. H. T.), and GM39697 (to R. S. F.). The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby marked “advertisement” in accordance with 18 U.S.C. Section 1734 solely to indicate this fact. 10749852. We thank members of the Lindberg laboratory and Laurent Muller for helpful comments, Bin Tu for construction of the C. elegans PC2 expression vector, and Joelle Finley for assistance with cell culture.","doi":"10.1074/jbc.M000032200 ","oa":1,"pmid":1,"extern":"1","publisher":"American Society for Biochemistry and Molecular Biology","article_processing_charge":"No","publist_id":"3546","publication_status":"published","oa_version":"Published Version","title":"Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion","date_created":"2018-12-11T12:01:40Z","publication_identifier":{"issn":["0021-9258"]},"publication":"Journal of Biological Chemistry","date_updated":"2023-05-03T08:47:13Z","scopus_import":"1","issue":"23","status":"public","page":"17886 - 17893","day":"09","citation":{"apa":"Hwang, J., Siekhaus, D. E., Fuller, R., Taghert, P., & Lindberg, I. (2000). Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M000032200 ","mla":"Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .","ieee":"J. Hwang, D. E. Siekhaus, R. Fuller, P. Taghert, and I. Lindberg, “Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion,” Journal of Biological Chemistry, vol. 275, no. 23. American Society for Biochemistry and Molecular Biology, pp. 17886–17893, 2000.","short":"J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.","chicago":"Hwang, Jae, Daria E Siekhaus, Robert Fuller, Paul Taghert, and Iris Lindberg. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2000. https://doi.org/10.1074/jbc.M000032200 .","ama":"Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 2000;275(23):17886-17893. doi:10.1074/jbc.M000032200 ","ista":"Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. 2000. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 275(23), 17886–17893."},"type":"journal_article","quality_controlled":"1","_id":"3149","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The prohormone convertases (PCs) are an evolutionarily ancient group of proteases required for the maturation of neuropeptide and peptide hormone precursors. In Drosophila melanogaster, the homolog of prohormone convertase 2, dPC2 (amontillado), is required for normal hatching behavior, and immunoblotting data indicate that flies express 80- and 75-kDa forms of this protein. Because mouse PC2 (mPC2) requires 7B2, a helper protein for productive maturation, we searched the fly data base for the 7B2 signature motif PPNPCP and identified an expressed sequence tag clone encoding the entire open reading frame for this protein. dPC2 and d7B2 cDNAs were subcloned into expression vectors for transfection into HEK-293 cells; mPC2 and rat 7B2 were used as controls. Although active mPC2 was detected in medium in the presence of either d7B2 or r7B2, dPC2 showed no proteolytic activity upon coexpression of either d7B2 or r7B2. Labeling experiments showed that dPC2 was synthesized but not secreted from HEK-293 cells. However, when dPC2 and either d7B2 or r7B2 were coexpressed in Drosophila S2 cells, abundant immunoreactive dPC2 was secreted into the medium, coincident with the appearance of PC2 activity. Expression and secretion of dPC2 enzyme activity thus appears to require insect cell-specific posttranslational processing events. The significant differences in the cell biology of the insect and mammalian enzymes, with 7B2 absolutely required for secretion of dPC2 and zymogen conversion occurring intracellularly in the case of dPC2 but not mPC2, support the idea that the Drosophila enzyme has specific requirements for maturation and secretion that can be met only in insect cells."}],"external_id":{"pmid":["10749852"]},"main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0021925819833215?via%3Dihub","open_access":"1"}],"date_published":"2000-06-09T00:00:00Z","year":"2000","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":" 275"},{"intvolume":" 47","year":"2000","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2000-06-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math/9906066"}],"_id":"1455","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"First, a special case of Knaster's problem is proved implying that each symmetric convex body in ℝ3 admits an inscribed cube. It is deduced from a theorem in equivariant topology, which says that there is no S4 - equivariant map from SO(3) to S2, where S4 acts on SO(3) on the right as the rotation group of the cube, and on S2 on the right as the symmetry group of the regular tetrahedron. Some generalizations are also given. Second, it is shown how the above non-existence theorem yields Makeev's conjecture in ℝ3 that each set in ℝ3 of diameter 1 can be covered by a rhombic dodecahedron, which has distance 1 between its opposite faces. This reveals an unexpected connection between inscribing cubes into symmetric bodies and covering sets by rhombic dodecahedra. Finally, a possible application of our second theorem to the Borsuk problem in ℝ3 is pointed out."}],"external_id":{"arxiv":["math/9906066"]},"type":"journal_article","quality_controlled":"1","citation":{"apa":"Hausel, T., Makai, E., & Szücs, A. (2000). Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. University College London. https://doi.org/10.1112/S0025579300015965","ieee":"T. Hausel, E. Makai, and A. Szücs, “Inscribing cubes and covering by rhombic dodecahedra via equivariant topology,” Mathematika, vol. 47, no. 1–2. University College London, pp. 371–397, 2000.","short":"T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.","mla":"Hausel, Tamás, et al. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika, vol. 47, no. 1–2, University College London, 2000, pp. 371–97, doi:10.1112/S0025579300015965.","chicago":"Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.","ista":"Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.","ama":"Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965"},"day":"01","page":"371 - 397","status":"public","issue":"1-2","scopus_import":"1","publication":"Mathematika","date_updated":"2023-05-08T08:56:46Z","publication_identifier":{"issn":["0025-5793"]},"arxiv":1,"date_created":"2018-12-11T11:52:07Z","title":"Inscribing cubes and covering by rhombic dodecahedra via equivariant topology","oa_version":"Preprint","publist_id":"5745","publication_status":"published","article_processing_charge":"No","publisher":"University College London","extern":"1","acknowledgement":"The research of the first author was partially supported by Trinity College, Cambridge, and that of all the authors by grants 23444, T-030012 and A 046/96, respectively, from the Hungarian National Foundation for Scientific Research.","doi":"10.1112/S0025579300015965","oa":1,"author":[{"full_name":"Hausel, Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","first_name":"Tamas"},{"full_name":"Makai, Endre","last_name":"Makai","first_name":"Endre"},{"last_name":"Szücs","full_name":"Szücs, András","first_name":"András"}],"volume":47,"article_type":"original","month":"06"},{"extern":"1","pmid":1,"article_processing_charge":"No","publisher":"S. Karger AG","volume":10,"author":[{"first_name":"Johannes","full_name":"Fürst, Johannes","last_name":"Fürst"},{"last_name":"Jakab","full_name":"Jakab, Martin","first_name":"Martin"},{"last_name":"König","full_name":"König, Matthias","first_name":"Matthias"},{"first_name":"Markus","full_name":"Ritter, Markus","last_name":"Ritter"},{"first_name":"Martin","full_name":"Gschwentner, Martin","last_name":"Gschwentner"},{"last_name":"Rudzki","full_name":"Rudzki, Jakob","first_name":"Jakob"},{"orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","last_name":"Danzl","full_name":"Danzl, Johann G"},{"first_name":"Michael","full_name":"Mayer, Michael","last_name":"Mayer"},{"full_name":"Burtscher, Carmen M.","last_name":"Burtscher","first_name":"Carmen M."},{"first_name":"Julia","last_name":"Schirmer","full_name":"Schirmer, Julia"},{"first_name":"Brigitte","full_name":"Maier, Brigitte","last_name":"Maier"},{"first_name":"Manfred","last_name":"Nairz","full_name":"Nairz, Manfred"},{"first_name":"Sabine","last_name":"Chwatal","full_name":"Chwatal, Sabine"},{"first_name":"Markus","full_name":"Paulmichl, Markus","last_name":"Paulmichl"}],"article_type":"original","doi":"10.1159/000016374","date_created":"2023-05-08T09:04:58Z","title":"Structure and Function of the Ion Channel ICln","oa_version":"None","publication_identifier":{"issn":["1015-8987","1421-9778"]},"keyword":["Physiology"],"publication_status":"published","issue":"5-6","scopus_import":"1","page":"329-334","status":"public","date_updated":"2023-05-08T10:07:10Z","publication":"Cellular Physiology and Biochemistry","date_published":"2000-01-01T00:00:00Z","intvolume":" 10","year":"2000","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johann G Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.","ama":"Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374","ista":"Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl JG, Mayer M, Burtscher CM, Schirmer J, Maier B, Nairz M, Chwatal S, Paulmichl M. 2000. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 10(5–6), 329–334.","apa":"Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J., … Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000016374","mla":"Fürst, Johannes, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry, vol. 10, no. 5–6, S. Karger AG, 2000, pp. 329–34, doi:10.1159/000016374.","ieee":"J. Fürst et al., “Structure and Function of the Ion Channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.","short":"J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J.G. Danzl, M. Mayer, C.M. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334."},"language":[{"iso":"eng"}],"_id":"12925","abstract":[{"text":"Normal function of organs and cells is tightly linked to the cytoarchitecture. Control of the cell volume is therefore vital for the organism. A widely established strategy of cells to counteract swelling is the activation of chloride and potassium channels, which leads to a net efflux of salt followed by water - a process termed regulatory volume decrease. Since there is evidence for swelling-dependent chloride channels (IClswell) being activated also during pathological processes, the identification of the molecular entity underlying IClswell is of utmost importance. Several proteins are discussed as the channel forming IClswell, i.e. phospholemman, p-glycoprotein, CLC-3 and ICln. In this review we would like to focus on the properties of ICln, a protein cloned from a Madin Darby canine kidney (MDCK) cell library whose expression in Xenopus laevis oocytes resulted in a nucleotide sensitive outwardly rectifying chloride current closely resembling the biophysical properties of IClswell.","lang":"eng"}],"external_id":{"pmid":["11125213"]},"type":"journal_article","quality_controlled":"1"},{"acknowledgement":"We thank Drs I. M. Fearnley and S. Y. Peak-Chew for performing peptide mass mapping. We also thank Drs R. Henderson and G. F. X. Schertler for advice on image processing and for valuable discussions.","doi":"10.1006/jmbi.2000.4079","volume":302,"author":[{"orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","last_name":"Sazanov"},{"full_name":"Walker, John","last_name":"Walker","first_name":"John"}],"article_type":"original","month":"09","article_processing_charge":"No","publisher":"Elsevier","extern":"1","pmid":1,"publist_id":"5126","publication_status":"published","publication_identifier":{"issn":["0022-2836"]},"title":"Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms","date_created":"2018-12-11T11:54:55Z","oa_version":"None","date_updated":"2023-05-04T13:23:03Z","publication":"Journal of Molecular Biology","page":"455 - 464","status":"public","issue":"2","scopus_import":"1","_id":"1957","abstract":[{"lang":"eng","text":"NADH:ubiquinone oxidoreductase (complex I) is the first and largest enzyme of the mitochondrial respiratory chain. The low-resolution structure of the complex is known from electron microscopy studies. The general shape of the complex is in the form of an L, with one arm in the membrane and the other peripheral. We have purified complex I from beef heart mitochondria and reconstituted the enzyme into lipid bilayers. Under different conditions, several two-dimensional crystal forms were obtained. Crystals belonging to space groups p2221 and c12 (unit cell 488 Å x 79 Å) were obtained at 22°C and contained only the membrane fragment of complex I similar to hydrophobic subcomplex Iβ but lacking the ND5 subunit. A crystal form with larger unit cell (534 Å x 81 Å, space group c12) produced at 4°C contained both the peripheral and membrane arms of the enzyme, except that ND5 was missing. Projection maps from frozen hydrated samples were calculated for all crystal forms. By comparing two different c12 crystal forms, extra electron density in the projection map of large crystal form was assigned to the peripheral arm of the enzyme. One of the features of the map is a deep, channel-like, cleft next to peripheral arm. Comparison with available structures of the intact enzyme indicates that large hydrophobic subunit ND5 is situated at the distal end of the membrane domain. Possible locations of sub-unit ND4 and of other subunits in the membrane domain are proposed. Implications of our findings for the mechanism of proton pumping by complex I are discussed. (C) 2000 Academic Press."}],"language":[{"iso":"eng"}],"external_id":{"pmid":["10970745"]},"type":"journal_article","quality_controlled":"1","day":"15","citation":{"ista":"Sazanov LA, Walker J. 2000. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 302(2), 455–464.","ama":"Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 2000;302(2):455-464. doi:10.1006/jmbi.2000.4079","chicago":"Sazanov, Leonid A, and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology. Elsevier, 2000. https://doi.org/10.1006/jmbi.2000.4079.","short":"L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464.","ieee":"L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms,” Journal of Molecular Biology, vol. 302, no. 2. Elsevier, pp. 455–464, 2000.","mla":"Sazanov, Leonid A., and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology, vol. 302, no. 2, Elsevier, 2000, pp. 455–64, doi:10.1006/jmbi.2000.4079.","apa":"Sazanov, L. A., & Walker, J. (2000). Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. Elsevier. https://doi.org/10.1006/jmbi.2000.4079"},"intvolume":" 302","year":"2000","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2000-09-15T00:00:00Z"},{"publist_id":"5127","publication_status":"published","publication_identifier":{"issn":["0006-2960"]},"title":"Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme","date_created":"2018-12-11T11:54:55Z","oa_version":"None","doi":"10.1021/bi000335t","volume":39,"author":[{"last_name":"Sazanov","full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","orcid":"0000-0002-0977-7989"},{"last_name":"Peak Chew","full_name":"Peak Chew, Sew","first_name":"Sew"},{"first_name":"Ian","full_name":"Fearnley, Ian","last_name":"Fearnley"},{"full_name":"Walker, John","last_name":"Walker","first_name":"John"}],"article_type":"original","month":"05","article_processing_charge":"No","publisher":"ACS","extern":"1","pmid":1,"_id":"1958","language":[{"iso":"eng"}],"abstract":[{"text":"\r\nComplex I (NADH:ubiquinone oxidoreductase) purified from bovine heart mitochondria was treated with the detergent N,N-dimethyldodecylamine N-oxide (LDAO). The enzyme dissociated into two known subcomplexes, Iα and Iβ, containing mostly hydrophilic and hydrophobic subunits, and a previously undetected fragment referred to as Iγ. Subcomplex Iγ contains the hydrophobic subunits ND1, ND2, ND3, and ND4L which are encoded in the mitochondrial genome, and the nuclear-encoded subunit KFYL. During size- exclusion chromatography in the presence of LDAO, subcomplex Iα lost several subunits and formed another characterized subcomplex known as Iλ. Similarly, subcomplex Iβ dissociated into two smaller subcomplexes, one of which contains the hydrophobic subunits ND4 and ND5; subcomplex Iγ released a fragment containing ND1 and ND2. These results suggest that in the intact complex subunits ND1 and ND2 are likely to be in a different region of the membrane domain than subunits ND4 and ND5. The compositions of the various subcomplexes and fragments of complex I provide an organization of the subunits of the enzyme in the framework of the known low resolution structure of the enzyme.","lang":"eng"}],"external_id":{"pmid":["10852722"]},"type":"journal_article","quality_controlled":"1","day":"24","citation":{"apa":"Sazanov, L. A., Peak Chew, S., Fearnley, I., & Walker, J. (2000). Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. ACS. https://doi.org/10.1021/bi000335t","ieee":"L. A. Sazanov, S. Peak Chew, I. Fearnley, and J. Walker, “Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme,” Biochemistry, vol. 39, no. 24. ACS, pp. 7229–7235, 2000.","short":"L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.","mla":"Sazanov, Leonid A., et al. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry, vol. 39, no. 24, ACS, 2000, pp. 7229–35, doi:10.1021/bi000335t.","chicago":"Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry. ACS, 2000. https://doi.org/10.1021/bi000335t.","ista":"Sazanov LA, Peak Chew S, Fearnley I, Walker J. 2000. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 39(24), 7229–7235.","ama":"Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 2000;39(24):7229-7235. doi:10.1021/bi000335t"},"intvolume":" 39","year":"2000","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2000-05-24T00:00:00Z","publication":"Biochemistry","date_updated":"2023-05-04T14:14:53Z","status":"public","page":"7229 - 7235","issue":"24","scopus_import":"1"}]