--- _id: '11126' abstract: - lang: eng text: Nuclear import of the two uracil-rich small nuclear ribonucleoprotein (U snRNP) components U1A and U2B′′ is mediated by unusually long and complex nuclear localization signals (NLSs). Here we investigate nuclear import of U1A and U2B′′ in vitro and demonstrate that it occurs by an active, saturable process. Several lines of evidence suggest that import of the two proteins occurs by an import mechanism different to those characterized previously. No cross competition is seen with a variety of previously studied NLSs. In contrast to import mediated by members of the importin-β family of nucleocytoplasmic transport receptors, U1A/U2B′′ import is not inhibited by either nonhydrolyzable guanosine triphosphate (GTP) analogues or by a mutant of the GTPase Ran that is incapable of GTP hydrolysis. Adenosine triphosphate is capable of supporting U1A and U2B′′ import, whereas neither nonhydrolyzable adenosine triphosphate analogues nor GTP can do so. U1A and U2B′′ import in vitro does not require the addition of soluble cytosolic proteins, but a factor or factors required for U1A and U2B′′ import remains tightly associated with the nuclear fraction of conventionally permeabilized cells. This activity can be solubilized in the presence of elevated MgCl2. These data suggest that U1A and U2B′′ import into the nucleus occurs by a hitherto uncharacterized mechanism. article_processing_charge: No article_type: original author: - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X - first_name: Iain W. full_name: Mattaj, Iain W. last_name: Mattaj citation: ama: Hetzer M, Mattaj IW. An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. 2000;148(2):293-304. doi:10.1083/jcb.148.2.293 apa: Hetzer, M., & Mattaj, I. W. (2000). An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.148.2.293 chicago: Hetzer, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the U1a and U2b′′ Spliceosome Proteins.” Journal of Cell Biology. Rockefeller University Press, 2000. https://doi.org/10.1083/jcb.148.2.293. ieee: M. Hetzer and I. W. Mattaj, “An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins,” Journal of Cell Biology, vol. 148, no. 2. Rockefeller University Press, pp. 293–304, 2000. ista: Hetzer M, Mattaj IW. 2000. An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. 148(2), 293–304. mla: Hetzer, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the U1a and U2b′′ Spliceosome Proteins.” Journal of Cell Biology, vol. 148, no. 2, Rockefeller University Press, 2000, pp. 293–304, doi:10.1083/jcb.148.2.293. short: M. Hetzer, I.W. Mattaj, Journal of Cell Biology 148 (2000) 293–304. date_created: 2022-04-07T07:57:49Z date_published: 2000-01-24T00:00:00Z date_updated: 2022-07-18T08:58:29Z day: '24' doi: 10.1083/jcb.148.2.293 extern: '1' external_id: pmid: - '10648562' intvolume: ' 148' issue: '2' keyword: - Cell Biology language: - iso: eng month: '01' oa_version: None page: 293-304 pmid: 1 publication: Journal of Cell Biology publication_identifier: eissn: - 1540-8140 issn: - 0021-9525 publication_status: published publisher: Rockefeller University Press quality_controlled: '1' scopus_import: '1' status: public title: An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 148 year: '2000' ... --- _id: '11127' abstract: - lang: eng text: Nuclear formation in Xenopus egg extracts requires cytosol and is inhibited by GTPγS, indicating a requirement for GTPase activity. Nuclear envelope (NE) vesicle fusion is extensively inhibited by GTPγS and two mutant forms of the Ran GTPase, Q69L and T24N. Depletion of either Ran or RCC1, the exchange factor for Ran, from the assembly reaction also inhibits this step of NE formation. Ran depletion can be complemented by the addition of Ran loaded with either GTP or GDP but not with GTPγS. RCC1 depletion is only complemented by RCC1 itself or by RanGTP. Thus, generation of RanGTP by RCC1 and GTP hydrolysis by Ran are both required for the extensive membrane fusion events that lead to NE formation. article_processing_charge: No article_type: original author: - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X - first_name: Daniel full_name: Bilbao-Cortés, Daniel last_name: Bilbao-Cortés - first_name: Tobias C full_name: Walther, Tobias C last_name: Walther - first_name: Oliver J full_name: Gruss, Oliver J last_name: Gruss - first_name: Iain W full_name: Mattaj, Iain W last_name: Mattaj citation: ama: Hetzer M, Bilbao-Cortés D, Walther TC, Gruss OJ, Mattaj IW. GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. 2000;5(6):1013-1024. doi:10.1016/s1097-2765(00)80266-x apa: Hetzer, M., Bilbao-Cortés, D., Walther, T. C., Gruss, O. J., & Mattaj, I. W. (2000). GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. Elsevier. https://doi.org/10.1016/s1097-2765(00)80266-x chicago: Hetzer, Martin, Daniel Bilbao-Cortés, Tobias C Walther, Oliver J Gruss, and Iain W Mattaj. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.” Molecular Cell. Elsevier, 2000. https://doi.org/10.1016/s1097-2765(00)80266-x. ieee: M. Hetzer, D. Bilbao-Cortés, T. C. Walther, O. J. Gruss, and I. W. Mattaj, “GTP hydrolysis by Ran is required for nuclear envelope assembly,” Molecular Cell, vol. 5, no. 6. Elsevier, pp. 1013–1024, 2000. ista: Hetzer M, Bilbao-Cortés D, Walther TC, Gruss OJ, Mattaj IW. 2000. GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. 5(6), 1013–1024. mla: Hetzer, Martin, et al. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.” Molecular Cell, vol. 5, no. 6, Elsevier, 2000, pp. 1013–24, doi:10.1016/s1097-2765(00)80266-x. short: M. Hetzer, D. Bilbao-Cortés, T.C. Walther, O.J. Gruss, I.W. Mattaj, Molecular Cell 5 (2000) 1013–1024. date_created: 2022-04-07T07:57:59Z date_published: 2000-06-01T00:00:00Z date_updated: 2022-07-18T08:58:31Z day: '01' doi: 10.1016/s1097-2765(00)80266-x extern: '1' external_id: pmid: - '10911995' intvolume: ' 5' issue: '6' keyword: - Cell Biology - Molecular Biology language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/S1097-2765(00)80266-X month: '06' oa: 1 oa_version: Published Version page: 1013-1024 pmid: 1 publication: Molecular Cell publication_identifier: issn: - 1097-2765 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: GTP hydrolysis by Ran is required for nuclear envelope assembly type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 5 year: '2000' ... --- _id: '11683' abstract: - lang: eng text: The vertex connectivity κ of a graph is the smallest number of vertices whose deletion separates the graph or makes it trivial. We present the fastest known deterministic algorithm for finding the vertex connectivity and a corresponding separator. The time for a digraph having n vertices and m edges is O(min{κ3 + n, κn}m); for an undirected graph the term m can be replaced by κn. A randomized algorithm finds κ with error probability 1/2 in time O(nm). If the vertices have nonnegative weights the weighted vertex connectivity is found in time O(κ1nmlog(n2/m)) where κ1 ≤ m/n is the unweighted vertex connectivity or in expected time O(nmlog(n2/m)) with error probability 1/2. The main algorithm combines two previous vertex connectivity algorithms and a generalization of the preflow-push algorithm of Hao and Orlin (1994, J. Algorithms17, 424–446) that computes edge connectivity. article_processing_charge: No article_type: original author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Satish full_name: Rao, Satish last_name: Rao - first_name: Harold N. full_name: Gabow, Harold N. last_name: Gabow citation: ama: 'Henzinger MH, Rao S, Gabow HN. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 2000;34(2):222-250. doi:10.1006/jagm.1999.1055' apa: 'Henzinger, M. H., Rao, S., & Gabow, H. N. (2000). Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. Elsevier. https://doi.org/10.1006/jagm.1999.1055' chicago: 'Henzinger, Monika H, Satish Rao, and Harold N. Gabow. “Computing Vertex Connectivity: New Bounds from Old Techniques.” Journal of Algorithms. Elsevier, 2000. https://doi.org/10.1006/jagm.1999.1055.' ieee: 'M. H. Henzinger, S. Rao, and H. N. Gabow, “Computing vertex connectivity: New bounds from old techniques,” Journal of Algorithms, vol. 34, no. 2. Elsevier, pp. 222–250, 2000.' ista: 'Henzinger MH, Rao S, Gabow HN. 2000. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 34(2), 222–250.' mla: 'Henzinger, Monika H., et al. “Computing Vertex Connectivity: New Bounds from Old Techniques.” Journal of Algorithms, vol. 34, no. 2, Elsevier, 2000, pp. 222–50, doi:10.1006/jagm.1999.1055.' short: M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250. date_created: 2022-07-28T08:56:10Z date_published: 2000-02-01T00:00:00Z date_updated: 2022-09-12T09:06:48Z day: '01' doi: 10.1006/jagm.1999.1055 extern: '1' intvolume: ' 34' issue: '2' keyword: - Computational Theory and Mathematics - Computational Mathematics - Control and Optimization language: - iso: eng month: '02' oa_version: None page: 222-250 publication: Journal of Algorithms publication_identifier: issn: - 0196-6774 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 'Computing vertex connectivity: New bounds from old techniques' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2000' ... --- _id: '11685' abstract: - lang: eng text: We consider the problem of sampling URLs uniformly at random from the Web. A tool for sampling URLs uniformly can be used to estimate various properties of Web pages, such as the fraction of pages in various Internet domains or written in various languages. Moreover, uniform URL sampling can be used to determine the sizes of various search engines relative to the entire Web. In this paper, we consider sampling approaches based on random walks of the Web graph. In particular, we suggest ways of improving sampling based on random walks to make the samples closer to uniform. We suggest a natural test bed based on random graphs for testing the effectiveness of our procedures. We then use our sampling approach to estimate the distribution of pages over various Internet domains and to estimate the coverage of various search engine indexes. article_processing_charge: No article_type: original author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Allan full_name: Heydon, Allan last_name: Heydon - first_name: Michael full_name: Mitzenmacher, Michael last_name: Mitzenmacher - first_name: Marc full_name: Najork, Marc last_name: Najork citation: ama: Henzinger MH, Heydon A, Mitzenmacher M, Najork M. On near-uniform URL sampling. Computer Networks. 2000;33(1-6):295-308. doi:10.1016/s1389-1286(00)00055-4 apa: Henzinger, M. H., Heydon, A., Mitzenmacher, M., & Najork, M. (2000). On near-uniform URL sampling. Computer Networks. Elsevier. https://doi.org/10.1016/s1389-1286(00)00055-4 chicago: Henzinger, Monika H, Allan Heydon, Michael Mitzenmacher, and Marc Najork. “On Near-Uniform URL Sampling.” Computer Networks. Elsevier, 2000. https://doi.org/10.1016/s1389-1286(00)00055-4. ieee: M. H. Henzinger, A. Heydon, M. Mitzenmacher, and M. Najork, “On near-uniform URL sampling,” Computer Networks, vol. 33, no. 1–6. Elsevier, pp. 295–308, 2000. ista: Henzinger MH, Heydon A, Mitzenmacher M, Najork M. 2000. On near-uniform URL sampling. Computer Networks. 33(1–6), 295–308. mla: Henzinger, Monika H., et al. “On Near-Uniform URL Sampling.” Computer Networks, vol. 33, no. 1–6, Elsevier, 2000, pp. 295–308, doi:10.1016/s1389-1286(00)00055-4. short: M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 33 (2000) 295–308. date_created: 2022-07-28T15:11:53Z date_published: 2000-06-01T00:00:00Z date_updated: 2022-09-12T09:09:13Z day: '01' doi: 10.1016/s1389-1286(00)00055-4 extern: '1' intvolume: ' 33' issue: 1-6 keyword: - URL sampling - Random walks - Internet domain distribution - Search engine size language: - iso: eng month: '06' oa_version: None page: 295-308 publication: Computer Networks publication_identifier: issn: - 1389-1286 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: On near-uniform URL sampling type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 33 year: '2000' ... --- _id: '11694' abstract: - lang: eng text: We consider exploration problems where a robot has to construct a complete map of an unknown environment. We assume that the environment is modeled by a directed, strongly connected graph. The robot's task is to visit all nodes and edges of the graph using the minimum number R of edge traversals. Deng and Papadimitriou [Proceedings of the 31st Symposium on the Foundations of Computer Science, 1990, pp. 356-361] showed an upper bound for R ofd O(d)m and Koutsoupias (reported by Deng and Papadimitriou) gave a lower bound of Ω≠(d2m), where m is the number of edges in the graph and d is the minimum number of edges that have to be added to make the graph Eulerian. We give the 1rst subexponential algorithm for this exploration problem, which achieves an upper bound of dO(logd)m. We also show a matching lower bound of d≠(logd)m for our algorithm. Additionally, we give lower bounds of 2≠(d)m, respectively, d≠(logd)m for various other natural exploration algorithms. acknowledgement: We thank Prabhakar Raghavan for bringing to our attention the literature on the s-t connectivity problem. We also thank an anonymous referee for many helpful comments which improved the presentation of the paper. article_processing_charge: No article_type: original author: - first_name: Susanne full_name: Albers, Susanne last_name: Albers - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: Albers S, Henzinger MH. Exploring unknown environments. SIAM Journal on Computing. 2000;29(4):1164-1188. doi:10.1137/s009753979732428x apa: 'Albers, S., & Henzinger, M. H. (2000). Exploring unknown environments. SIAM Journal on Computing. El Paso, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/s009753979732428x' chicago: Albers, Susanne, and Monika H Henzinger. “Exploring Unknown Environments.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2000. https://doi.org/10.1137/s009753979732428x. ieee: S. Albers and M. H. Henzinger, “Exploring unknown environments,” SIAM Journal on Computing, vol. 29, no. 4. Society for Industrial and Applied Mathematics, pp. 1164–1188, 2000. ista: Albers S, Henzinger MH. 2000. Exploring unknown environments. SIAM Journal on Computing. 29(4), 1164–1188. mla: Albers, Susanne, and Monika H. Henzinger. “Exploring Unknown Environments.” SIAM Journal on Computing, vol. 29, no. 4, Society for Industrial and Applied Mathematics, 2000, pp. 1164–88, doi:10.1137/s009753979732428x. short: S. Albers, M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1164–1188. conference: end_date: 1997-05-06 location: El Paso, TX, United States name: 'STOC97: 29th Annual Symposium on Theory of Computing' start_date: 1997-05-04 date_created: 2022-07-29T09:04:36Z date_published: 2000-07-01T00:00:00Z date_updated: 2023-02-17T14:41:36Z day: '01' doi: 10.1137/s009753979732428x extern: '1' intvolume: ' 29' issue: '4' keyword: - directed graph - exploration algorithm language: - iso: eng month: '07' oa_version: None page: 1164-1188 publication: SIAM Journal on Computing publication_identifier: eissn: - 1095-7111 issn: - 0097-5397 publication_status: published publisher: Society for Industrial and Applied Mathematics quality_controlled: '1' scopus_import: '1' status: public title: Exploring unknown environments type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 29 year: '2000' ... --- _id: '11770' abstract: - lang: eng text: 'We compare several algorithms for identifying mirrored hosts on the World Wide Web. The algorithms operate on the basis of URL strings and linkage data: the type of information about Web pages easily available from Web proxies and crawlers. Identification of mirrored hosts can improve Web-based information retrieval in several ways: first, by identifying mirrored hosts, search engines can avoid storing and returning duplicate documents. Second, several new information retrieval techniques for the Web make inferences based on the explicit links among hypertext documents—mirroring perturbs their graph model and degrades performance. Third, mirroring information can be used to redirect users to alternate mirror sites to compensate for various failures, and can thus improve the performance of Web browsers and proxies. We evaluated four classes of “top-down” algorithms for detecting mirrored host pairs (that is, algorithms that are based on page attributes such as URL, IP address, and hyperlinks between pages, and not on the page content) on a collection of 140 million URLs (on 230,000 hosts) and their associated connectivity information. Our best approach is one which combines five algorithms and achieved a precision of 0.57 for a recall of 0.86 considering 100,000 ranked host pairs.' article_processing_charge: No article_type: original author: - first_name: Krishna full_name: Bharat, Krishna last_name: Bharat - first_name: Andrei full_name: Broder, Andrei last_name: Broder - first_name: Jeffrey full_name: Dean, Jeffrey last_name: Dean - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: Bharat K, Broder A, Dean J, Henzinger MH. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 2000;51(12):1114-1122. doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0 apa: Bharat, K., Broder, A., Dean, J., & Henzinger, M. H. (2000). A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. Wiley. https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0 chicago: Bharat, Krishna, Andrei Broder, Jeffrey Dean, and Monika H Henzinger. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science. Wiley, 2000. https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0. ieee: K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000. ista: Bharat K, Broder A, Dean J, Henzinger MH. 2000. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 51(12), 1114–1122. mla: Bharat, Krishna, et al. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science, vol. 51, no. 12, Wiley, 2000, pp. 1114–22, doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0. short: K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122. date_created: 2022-08-08T12:57:37Z date_published: 2000-10-01T00:00:00Z date_updated: 2023-02-10T08:27:19Z day: '01' doi: 10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0 extern: '1' intvolume: ' 51' issue: '12' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0 month: '10' oa: 1 oa_version: Published Version page: 1114-1122 publication: Journal of the American Society for Information Science publication_identifier: issn: - 0002-8231 - 1097-4571 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: A comparison of techniques to find mirrored hosts on the WWW type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 51 year: '2000' ... --- _id: '11802' abstract: - lang: eng text: In this paper we survey algorithmic aspects of Web information retrieval. As an example, we discuss ranking of search engine results using connectivity analysis. alternative_title: - LNCS article_processing_charge: No author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: 'Henzinger MH. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1' apa: 'Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature. https://doi.org/10.1007/3-540-45253-2_1' chicago: Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.” In 8th Annual European Symposium on Algorithms, 1879:1–8. Springer Nature, 2000. https://doi.org/10.1007/3-540-45253-2_1. ieee: M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8. ista: 'Henzinger MH. 2000. Web information retrieval - an algorithmic perspective. 8th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 1879, 1–8.' mla: Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.” 8th Annual European Symposium on Algorithms, vol. 1879, Springer Nature, 2000, pp. 1–8, doi:10.1007/3-540-45253-2_1. short: M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8. conference: end_date: 2000-09-08 location: Saarbrücken, Germany name: 'ESA: European Symposium on Algorithms' start_date: 2000-09-05 date_created: 2022-08-11T13:25:07Z date_published: 2000-09-01T00:00:00Z date_updated: 2023-02-13T12:08:21Z day: '01' doi: 10.1007/3-540-45253-2_1 extern: '1' intvolume: ' 1879' language: - iso: eng month: '09' oa_version: None page: 1–8 publication: 8th Annual European Symposium on Algorithms publication_identifier: eisbn: - '9783540452539' eissn: - 1611-3349 isbn: - '9783540410041' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Web information retrieval - an algorithmic perspective type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 1879 year: '2000' ... --- _id: '11893' abstract: - lang: eng text: "We present fully dynamic algorithms for maintaining the biconnected components in general and plane graphs.\r\n\r\nA fully dynamic algorithm maintains a graph during a sequence of insertions and deletions of edges or isolated vertices. Let m be the number of edges and n be the number of vertices in a graph. The time per operation of the best deterministic algorithms is \U0001D442(\U0001D45B√) in general graphs and O(log n) in plane graphs for fully dynamic connectivity and O(min m2/3 ,n}) in general graphs and \U0001D442(\U0001D45B√) in plane graphs for fully dynamic biconnectivity. We improve the later running times to \U0001D442(\U0001D45Alog\U0001D45B‾‾‾‾‾‾‾√) in general graphs and O(log 2n ) in plane graphs. Our algorithm for general graphscan also find the biconnected components of all vertices in time O(n)." article_processing_charge: No article_type: original author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: Henzinger MH. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 2000;29(6):1761-1815. doi:10.1137/s0097539794263907 apa: Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539794263907 chicago: Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2000. https://doi.org/10.1137/s0097539794263907. ieee: M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial & Applied Mathematics, pp. 1761–1815, 2000. ista: Henzinger MH. 2000. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 29(6), 1761–1815. mla: Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.” SIAM Journal on Computing, vol. 29, no. 6, Society for Industrial & Applied Mathematics, 2000, pp. 1761–815, doi:10.1137/s0097539794263907. short: M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815. date_created: 2022-08-17T08:45:41Z date_published: 2000-11-01T00:00:00Z date_updated: 2023-02-17T14:39:47Z day: '01' doi: 10.1137/s0097539794263907 extern: '1' intvolume: ' 29' issue: '6' language: - iso: eng month: '11' oa_version: None page: 1761-1815 publication: SIAM Journal on Computing publication_identifier: eissn: - 1095-7111 issn: - 0097-5397 publication_status: published publisher: Society for Industrial & Applied Mathematics quality_controlled: '1' scopus_import: '1' status: public title: Improved data structures for fully dynamic biconnectivity type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 29 year: '2000' ... --- _id: '2325' alternative_title: - Contemporary Mathematics author: - first_name: Robert full_name: Robert Seiringer id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: 'Seiringer R. Inequalities for Schrödinger operators and applications to the stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72. doi:10.1090/conm/529' apa: Seiringer, R. (2000). Inequalities for Schrödinger operators and applications to the stability of matter problem (Vol. 529, pp. 53–72). Presented at the Arizona School of Analysis With Applications, American Mathematical Society. https://doi.org/10.1090/conm/529 chicago: Seiringer, Robert. “Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem ,” 529:53–72. American Mathematical Society, 2000. https://doi.org/10.1090/conm/529. ieee: R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72. ista: Seiringer R. 2000. Inequalities for Schrödinger operators and applications to the stability of matter problem . Arizona School of Analysis With Applications, Contemporary Mathematics, vol. 529, 53–72. mla: Seiringer, Robert. Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem . Vol. 529, American Mathematical Society, 2000, pp. 53–72, doi:10.1090/conm/529. short: R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72. conference: name: Arizona School of Analysis With Applications date_created: 2018-12-11T11:57:00Z date_published: 2000-01-01T00:00:00Z date_updated: 2021-01-12T06:56:47Z day: '01' doi: 10.1090/conm/529 extern: 1 intvolume: ' 529' month: '01' page: 53 - 72 publication_status: published publisher: American Mathematical Society publist_id: '4602' quality_controlled: 0 status: public title: 'Inequalities for Schrödinger operators and applications to the stability of matter problem ' type: conference volume: 529 year: '2000' ... --- _id: '2343' abstract: - lang: eng text: We study the energy levels of a single particle in a homogeneous magnetic field and in an axially symmetric external potential. For potentials that are superharmonic off the central axis, we find a general 'pseudoconcave' ordering of the ground state energies of the Hamiltonian restricted to the sectors with fixed angular momentum. The physical applications include atoms and ions in strong magnetic fields. There the energies are monotone increasing and concave in angular momentum. In the case of a periodic chain of atoms, the pseudoconcavity extends to the entire lowest band of Bloch functions. author: - first_name: Bernhard full_name: Baumgartner, Bernhard last_name: Baumgartner - first_name: Robert full_name: Robert Seiringer id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: Baumgartner B, Seiringer R. On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. 2000;54(3):213-226. doi:    10.1023/A:1010978807635 apa: Baumgartner, B., & Seiringer, R. (2000). On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. Springer. https://doi.org/    10.1023/A:1010978807635 chicago: Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.” Letters in Mathematical Physics. Springer, 2000. https://doi.org/    10.1023/A:1010978807635. ieee: B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000. ista: Baumgartner B, Seiringer R. 2000. On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. 54(3), 213–226. mla: Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.” Letters in Mathematical Physics, vol. 54, no. 3, Springer, 2000, pp. 213–26, doi:    10.1023/A:1010978807635. short: B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226. date_created: 2018-12-11T11:57:06Z date_published: 2000-11-01T00:00:00Z date_updated: 2021-01-12T06:56:54Z day: '01' doi: ' 10.1023/A:1010978807635' extern: 1 intvolume: ' 54' issue: '3' main_file_link: - open_access: '1' url: http://arxiv.org/abs/math-ph/0011031 month: '11' oa: 1 page: 213 - 226 publication: Letters in Mathematical Physics publication_status: published publisher: Springer publist_id: '4582' quality_controlled: 0 status: public title: On the ordering of energy levels in homogeneous magnetic fields type: journal_article volume: 54 year: '2000' ... --- _id: '8525' abstract: - lang: eng text: Let M be a smooth compact manifold of dimension at least 2 and Diffr(M) be the space of C r smooth diffeomorphisms of M. Associate to each diffeomorphism f;isin; Diffr(M) the sequence P n (f) of the number of isolated periodic points for f of period n. In this paper we exhibit an open set N in the space of diffeomorphisms Diffr(M) such for a Baire generic diffeomorphism f∈N the number of periodic points P n f grows with a period n faster than any following sequence of numbers {a n } n ∈ Z + along a subsequence, i.e. P n (f)>a ni for some n i →∞ with i→∞. In the cases of surface diffeomorphisms, i.e. dim M≡2, an open set N with a supergrowth of the number of periodic points is a Newhouse domain. A proof of the man result is based on the Gontchenko–Shilnikov–Turaev Theorem [GST]. A complete proof of that theorem is also presented. article_processing_charge: No article_type: original author: - first_name: Vadim full_name: Kaloshin, Vadim id: FE553552-CDE8-11E9-B324-C0EBE5697425 last_name: Kaloshin orcid: 0000-0002-6051-2628 citation: ama: Kaloshin V. Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. 2000;211:253-271. doi:10.1007/s002200050811 apa: Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s002200050811 chicago: Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.” Communications in Mathematical Physics. Springer Nature, 2000. https://doi.org/10.1007/s002200050811. ieee: V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000. ista: Kaloshin V. 2000. Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. 211, 253–271. mla: Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.” Communications in Mathematical Physics, vol. 211, Springer Nature, 2000, pp. 253–71, doi:10.1007/s002200050811. short: V. Kaloshin, Communications in Mathematical Physics 211 (2000) 253–271. date_created: 2020-09-18T10:50:20Z date_published: 2000-04-01T00:00:00Z date_updated: 2021-01-12T08:19:52Z day: '01' doi: 10.1007/s002200050811 extern: '1' intvolume: ' 211' keyword: - Mathematical Physics - Statistical and Nonlinear Physics language: - iso: eng month: '04' oa_version: None page: 253-271 publication: Communications in Mathematical Physics publication_identifier: issn: - 0010-3616 - 1432-0916 publication_status: published publisher: Springer Nature quality_controlled: '1' status: public title: Generic diffeomorphisms with superexponential growth of number of periodic orbits type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 211 year: '2000' ... --- _id: '4637' abstract: - lang: eng text: "In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a well-defined product behavior are ruled out. They can be ruled out semantically, by insisting on the existence of certain fixed points, or syntactically, by equipping processes with types, which make the dependencies between input and output signals transparent. We classify various typing mechanisms and study their effects on the control problem.\r\nA static type enforces fixed, acyclic dependencies between input and output ports. For example, synchronous hardware without combinational loops can be typed statically. A dynamic type may vary the dependencies from state to state, while maintaining acyclicity, as in level-sensitive latches. Then, two dynamically typed processes can be syntactically compatible, if all pairs of possible dependencies are compatible, or semantically compatible, if in each state the combined dependencies remain acyclic. For a given plant process and control objective, there may be a controller of a static type, or only a controller of a syntactically compatible dynamic type, or only a controller of a semantically compatible dynamic type. We show this to be a strict hierarchy of possibilities, and we present algorithms and determine the complexity of the corresponding control problems.\r\nFurthermore, we consider versions of the control problem in which the type of the controller (static or dynamic) is given. We show that the solution of these fixed-type control problems requires the evaluation of partially ordered (Henkin) quantifiers on boolean formulas, and is therefore harder (nondeterministic exponential time) than more traditional control questions" acknowledgement: This research was supported in part by the DARPA grants NAG2-1214 and F33615-C-98-3614, the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Luca full_name: De Alfaro, Luca last_name: De Alfaro - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Freddy full_name: Mang, Freddy last_name: Mang citation: ama: 'De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33' apa: 'De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33' chicago: De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.” In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33. ieee: L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” in Proceedings of the 11th International Conference on Concurrency Theory, University Park, PA, USA, 2000, vol. 1877, pp. 458–473. ista: 'De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. Proceedings of the 11th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1877, 458–473.' mla: De Alfaro, Luca, et al. “The Control of Synchronous Systems.” Proceedings of the 11th International Conference on Concurrency Theory, vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33. short: L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473. conference: end_date: 2000-08-25 location: University Park, PA, USA name: 'CONCUR: Concurrency Theory' start_date: 2000-08-22 date_created: 2018-12-11T12:09:53Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-13T11:00:46Z day: '01' doi: 10.1007/3-540-44618-4_33 extern: '1' intvolume: ' 1877' language: - iso: eng month: '01' oa_version: None page: 458 - 473 publication: Proceedings of the 11th International Conference on Concurrency Theory publication_identifier: isbn: - '9783540678977' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik publist_id: '69' quality_controlled: '1' status: public title: The control of synchronous systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1877 year: '2000' ... --- _id: '4638' abstract: - lang: eng text: "Any formal method or tool is almost certainly more often applied in situations where the outcome is failure (a counterexample) rather than success (a correctness proof). We present a method for symbolic model checking that can lead to significant time and memory savings for model-checking runs that fail, while occurring only a small overhead for model-checking runs that succeed. Our method discovers an error as soon as it cannot be prevented, which can be long before it actually occurs; for example, the violation of an invariant may become unpreventable many transitions before the invariant is violated.\r\nThe key observation is that “unpreventability” is a local property of a single module: an error is unpreventable in a module state if no environment can prevent it. Therefore, unpreventability is inexpensive to compute for each module, yet can save much work in the state exploration of the global, compound system. Based on different degrees of information available about the environment, we define and implement several notions of “unpreventability,” including the standard notion of uncontrollability from discrete-event control. We present experimental results for two examples, a distributed database protocol and a wireless communication protocol." acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660, the DARPA (MARCO) grant MDA972-99-1-0001, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Luca full_name: De Alfaro, Luca last_name: De Alfaro - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Freddy full_name: Mang, Freddy last_name: Mang citation: ama: 'De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Proceedings of the 12th International Conference on Computer Aided Verification. Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17' apa: 'De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer. https://doi.org/10.1007/10722167_17' chicago: De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.” In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17. ieee: L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201. ista: 'De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. Proceedings of the 12th International Conference on Computer Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 1855, 186–201.' mla: De Alfaro, Luca, et al. “Detecting Errors before Reaching Them.” Proceedings of the 12th International Conference on Computer Aided Verification, vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17. short: L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201. conference: end_date: 2000-07-19 location: Chicago, IL, USA name: 'CAV: Computer-Aided Verification' start_date: 2000-07-15 date_created: 2018-12-11T12:09:53Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-13T13:18:06Z day: '01' doi: 10.1007/10722167_17 extern: '1' intvolume: ' 1855' language: - iso: eng month: '01' oa_version: None page: 186 - 201 publication: Proceedings of the 12th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540677703' publication_status: published publisher: Springer publist_id: '70' quality_controlled: '1' scopus_import: '1' status: public title: Detecting errors before reaching them type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1855 year: '2000' ... --- _id: '4627' abstract: - lang: eng text: 'We consider two-player games, which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose their moves independently and simultaneously; the current state and the two moves determine a successor state. We consider omega-regular winning conditions on the resulting infinite state sequence. To model the independent choice of moves, both players are allowed to use randomization for selecting their moves. This gives rise to the following qualitative modes of winning, which can be studied without numerical considerations concerning probabilities: sure-win (player 1 can ensure winning with certainty), almost-sure-win (player 1 can ensure winning with probability 1), limit-win (player 1 can ensure winning with probability arbitrarily close to 1), bounded-win (player 1 can ensure winning with probability bounded away from 0), positive-win (player 1 can ensure winning with positive probability), and exist-win (player 1 can ensure that at least one possible outcome of the game satisfies the winning condition).We provide algorithms for computing the sets of winning states for each of these winning modes. In particular, we solve concurrent Rabin-chain games in n0 (m) time, where n is the size of the game structure and m is the number of pairs in the Rabin-chain condition. While this complexity is in line with traditional turn-based games, where in each state only one of the two players has a choice of moves, our algorithms are considerably more involved than those for turn-based games are. This is because concurrent games violate two of the most fundamental properties of turn-based games. First, concurrent games are not determined, but rather exhibit a more general duality property, which involves multiple modes of winning. Second, winning strategies for concurrent games may require infinite memory.' article_processing_charge: No author: - first_name: Luca full_name: De Alfaro, Luca last_name: De Alfaro - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763' apa: 'De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE. https://doi.org/10.1109/LICS.2000.855763' chicago: De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.” In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763. ieee: L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154. ista: 'De Alfaro L, Henzinger TA. 2000. Concurrent omega-regular games. Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 141–154.' mla: De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.” Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763. short: L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154. conference: end_date: 2000-06-28 location: Santa Barbara, CA, USA name: 'LICS: Logic in Computer Science' start_date: 2000-06-26 date_created: 2018-12-11T12:09:50Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-13T13:24:29Z day: '01' doi: 10.1109/LICS.2000.855763 extern: '1' language: - iso: eng month: '01' oa_version: None page: 141 - 154 publication: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science publication_identifier: isbn: - '0769507255' publication_status: published publisher: IEEE publist_id: '82' quality_controlled: '1' scopus_import: '1' status: public title: Concurrent omega-regular games type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '4512' abstract: - lang: eng text: "Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (difference equations) and atomic continuous components (differential equations) by parallel and serial composition, arbitrarily nested. Each system component consists of an interface, which determines the possible ways of using the component, and a set of executions, which define the possible behaviors of the component in real time.\r\nVersion 1.0 (May 2000).\r\n" acknowledgement: This research was supported in part by the DARPA grants NAG2-1214 and F33615-C-98-3614, and by the MARCO grant 98-DT-660. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38' apa: 'Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38' chicago: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.' ieee: 'T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings of the 1st International Conference on Theoretical Computer Science , Sendai, Japan, 2000, vol. 1872, pp. 549–563.' ista: 'Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science . TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.' mla: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.' short: T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563. conference: end_date: 2000-08-19 location: Sendai, Japan name: 'TCS: Theoretical Computer Science' start_date: 2000-08-17 date_created: 2018-12-11T12:09:14Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-13T13:48:08Z day: '01' doi: 10.1007/3-540-44929-9_38 extern: '1' intvolume: ' 1872' language: - iso: eng month: '01' oa_version: None page: 549 - 563 publication: 'Proceedings of the 1st International Conference on Theoretical Computer Science ' publication_identifier: isbn: - '9783540678236' publication_status: published publisher: Springer publist_id: '215' quality_controlled: '1' scopus_import: '1' status: public title: 'Masaccio: A formal model for embedded components' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1872 year: '2000' ... --- _id: '4598' abstract: - lang: eng text: A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the properties being analyzed while hiding the details that are of no interest. We show that interesting classes of hybrid systems can be abstracted to purely discrete systems while preserving all properties that are definable in temporal logic. The classes that permit discrete abstractions fall into two categories. Either the continuous dynamics must be restricted, as is the case for timed and rectangular hybrid systems, or the discrete dynamics must be restricted, as is the case for o-minimal hybrid systems. In this paper, we survey and unify results from both areas. acknowledgement: The authors would like to thank the reviewers for their detailed comments. article_processing_charge: No article_type: original author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Gerardo full_name: Lafferriere, Gerardo last_name: Lafferriere - first_name: George full_name: Pappas, George last_name: Pappas citation: ama: Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304 apa: Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/5.871304 chicago: Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE. IEEE, 2000. https://doi.org/10.1109/5.871304 . ieee: R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000. ista: Alur R, Henzinger TA, Lafferriere G, Pappas G. 2000. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7), 971–984. mla: Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 . short: R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984. date_created: 2018-12-11T12:09:41Z date_published: 2000-07-01T00:00:00Z date_updated: 2023-04-13T13:32:11Z day: '01' doi: '10.1109/5.871304 ' extern: '1' intvolume: ' 88' issue: '7' language: - iso: eng month: '07' oa_version: None page: 971 - 984 publication: Proceedings of the IEEE publication_identifier: issn: - 0018-9219 publication_status: published publisher: IEEE publist_id: '107' quality_controlled: '1' scopus_import: '1' status: public title: Discrete abstractions of hybrid systems type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 88 year: '2000' ... --- _id: '4482' abstract: - lang: eng text: "We apply the theory of abstract interpretation to the verification of game properties for reactive systems. Unlike properties expressed in standard temporal logics, game properties can distinguish adversarial from collaborative relationships between the processes of a concurrent program, or the components of a parallel system. We consider two-player concurrent games –say, component vs. environment– and specify properties of such games –say, the component has a winning strategy to obtain a resource, no matter how the environment behaves– in the alternating-time μ-calculus (Aμ ). A sound abstraction of such a game must at the same time restrict the behaviors of the component and increase the behaviors of the environment: if a less powerful component can win against a more powerful environment, then surely the original component can win against the original environment.\r\nWe formalize the concrete semantics of a concurrent game in terms of controllable and uncontrollable predecessor predicates, which suffice for model checking all Aμ properties by applying boolean operations and iteration. We then define the abstract semantics of a concurrent game in terms of abstractions for the controllable and uncontrollable predecessor predicates. This allows us to give general characterizations for the soundness and completeness of abstract games with respect to Aμ properties. We also present a simple programming language for multi-process programs, and show how approximations of the maximal abstraction (w.r.t. Aμ properties) can be obtained from the program text. We apply the theory to two practical verification examples, a communication protocol developed at the Berkeley Wireless Research Center, and a protocol converter. In the wireless protocol, both the use of a game property for specification and the use of abstraction for automatic verification were instrumental to uncover a subtle bug." acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660, the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Ritankar full_name: Majumdar, Ritankar last_name: Majumdar - first_name: Freddy full_name: Mang, Freddy last_name: Mang - first_name: Jean full_name: Raskin, Jean last_name: Raskin citation: ama: 'Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Proceedings of the 7th International Symposium on Static Analysis. Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12' apa: 'Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-540-45099-3_12' chicago: Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.” In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12. ieee: T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” in Proceedings of the 7th International Symposium on Static Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239. ista: 'Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. Proceedings of the 7th International Symposium on Static Analysis. SAS: Static Analysis Symposium, LNCS, vol. 1824, 220–239.' mla: Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.” Proceedings of the 7th International Symposium on Static Analysis, vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12. short: T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239. conference: end_date: 2000-07-06 location: Santa Barbara, CA, USA name: 'SAS: Static Analysis Symposium' start_date: 2000-06-29 date_created: 2018-12-11T12:09:04Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T12:49:56Z day: '01' doi: 10.1007/978-3-540-45099-3_12 extern: '1' intvolume: ' 1824' language: - iso: eng month: '01' oa_version: None page: 220 - 239 publication: Proceedings of the 7th International Symposium on Static Analysis publication_identifier: isbn: - '9783540676683' publication_status: published publisher: Springer publist_id: '248' quality_controlled: '1' scopus_import: '1' status: public title: Abstract interpretation of game properties type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1824 year: '2000' ... --- _id: '4481' abstract: - lang: eng text: 'Since hybrid embedded systems are pervasive and often safety-critical, guarantees about their correct performance are desirable. The hybrid systems model checker HyTech provides such guarantees and has successfully verified some systems. However, HyTech severely restricts the continuous dynamics of the system being analyzed and, therefore, often forces the use of prohibitively expensive discrete and polyhedral abstractions. We have designed a new algorithm, which is capable of directly verifying hybrid systems with general continuous dynamics, such as linear and nonlinear differential equations. The new algorithm conservatively overapproximates the reachable states of a hybrid automaton by using interval numerical methods. Interval numerical methods return sets of points that enclose the true result of numerical computation and, thus, avoid distortions due to the accumulation of round-off errors. We have implemented the new algorithm in a successor tool to HyTech called HyperTech. We consider three examples: a thermostat with delay, a two-tank water system, and an air-traffic collision avoidance protocol. HyperTech enables the direct, fully automatic analysis of these systems, which is also more accurate than the use of polyhedral abstractions.' acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Benjamin full_name: Horowitz, Benjamin last_name: Horowitz - first_name: Ritankar full_name: Majumdar, Ritankar last_name: Majumdar - first_name: Howard full_name: Wong Toi, Howard last_name: Wong Toi citation: ama: 'Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14' apa: 'Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14' chicago: 'Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.' ieee: 'T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 130–144.' ista: 'Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid systems analysis using interval numerical methods. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 130–144.' mla: 'Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.' short: T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144. conference: end_date: 2000-03-25 location: Pittsburgh, PA, USA name: 'HSCC: Hybrid Systems - Computation and Control' start_date: 2000-03-23 date_created: 2018-12-11T12:09:04Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T12:44:52Z day: '01' doi: 10.1007/3-540-46430-1_14 extern: '1' intvolume: ' 1790' language: - iso: eng month: '01' oa_version: None page: 130 - 144 publication: Proceedings of the 3rd International Workshop on Hybrid Systems publication_identifier: isbn: - '9783540672593' publication_status: published publisher: Springer publist_id: '247' quality_controlled: '1' scopus_import: '1' status: public title: 'Beyond HyTech: Hybrid systems analysis using interval numerical methods' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1790 year: '2000' ... --- _id: '4483' abstract: - lang: eng text: 'Model-checking algorithms can be used to verify, formally and automatically, if a low-level description of a design conforms with a high-level description. However, for designs with very large state spaces, prior to the application of an algorithm, the refinement-checking task needs to be decomposed into subtasks of manageable complexity. It is natural to decompose the task following the component structure of the design. However, an individual component often does not satisfy its requirements unless the component is put into the right context, which constrains the inputs to the component. Thus, in order to verify each component individually, we need to make assumptions about its inputs, which are provided by the other components of the design. This reasoning is circular: component A is verified under the assumption that context B behaves correctly, and symmetrically, B is verified assuming the correctness of A. The assume-guarantee paradigm provides a systematic theory and methodology for ensuring the soundness of the circular style of postulating and discharging assumptions in component-based reasoning.We give a tutorial introduction to the assume-guarantee paradigm for decomposing refinement-checking tasks. To illustrate the method, we step in detail through the formal verification of a processor pipeline against an instruction set architecture. In this example, the verification of a three-stage pipeline is broken up into three subtasks, one for each stage of the pipeline.' acknowledgement: 'Supported in part by DARPA Information Technology Office, by the MARC0 Gigascale Silicon Research Center, and by the National Science Foundation. ' article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Sriram full_name: Rajamani, Sriram last_name: Rajamani citation: ama: 'Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided Design. IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481' apa: 'Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE. https://doi.org/10.1109/ICCAD.2000.896481' chicago: Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.” In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481. ieee: T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” in Proceedings of the 2000 International Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252. ista: 'Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. Proceedings of the 2000 International Conference on Computer-Aided Design. ICCAD: Computer-Aided Design, 245–252.' mla: Henzinger, Thomas A., et al. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.” Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481. short: T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252. conference: end_date: 2000-11-09 location: San Jose, CA, USA name: 'ICCAD: Computer-Aided Design' start_date: 2000-11-05 date_created: 2018-12-11T12:09:05Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T12:57:52Z day: '01' doi: 10.1109/ICCAD.2000.896481 extern: '1' language: - iso: eng month: '01' oa_version: None page: 245 - 252 publication: Proceedings of the 2000 International Conference on Computer-Aided Design publication_identifier: isbn: - '0780364457' publication_status: published publisher: IEEE publist_id: '249' quality_controlled: '1' status: public title: Decomposing refinement proofs using assume-guarantee reasoning type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '4513' abstract: - lang: eng text: 'A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata according to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discrete-continuous state spaces that was previously studied on purely discrete state spaces only. In particular, various classes of hybrid automata induce finitary trace equivalence (or similarity, or bisimilarity) relations on an uncountable state space, thus permitting the application of various model-checking techniques that were originally developed for finitestate systems. ' acknowledgement: 'This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CR9504469, by the Air Force Office of Scientific Research contract F49620-93-1-0056, by the Army Research Office MURI grant DAAH-04-96-1-0341, by the Advanced Research Projects Agency grant NAG2-892, and by the Semiconductor Research Corporation contract 96-DC-324.036. ' alternative_title: - 'NATO ASI Series F: Computer and Systems Sciences' article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5' apa: Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5 chicago: Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000. https://doi.org/10.1007/978-3-642-59615-5. ieee: T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292. ista: 'Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.' mla: Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92, doi:10.1007/978-3-642-59615-5. short: T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292. date_created: 2018-12-11T12:09:14Z date_published: 2000-04-28T00:00:00Z date_updated: 2023-04-18T12:37:17Z day: '28' doi: 10.1007/978-3-642-59615-5 editor: - first_name: M. full_name: Inan, M. last_name: Inan - first_name: Robert full_name: Kurshan, Robert last_name: Kurshan extern: '1' intvolume: ' 170' language: - iso: eng month: '04' oa_version: None page: 265 - 292 publication: Verification of Digital and Hybrid Systems publication_identifier: isbn: - '9783642596155' publication_status: published publisher: Springer publist_id: '216' quality_controlled: '1' scopus_import: '1' status: public title: The theory of hybrid automata type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 170 year: '2000' ... --- _id: '4433' abstract: - lang: eng text: "Bisimulations enjoy numerous applications in the analysis of labeled transition systems. Many of these applications are based on two central observations: first, bisimilar systems satisfy the same branching-time properties; second, bisimilarity can be checked efficiently for finite-state systems. The local character of bisimulation, however, makes it difficult to address liveness concerns. Indeed, the definitions of fair bisimulation that have been proposed in the literature sacrifice locality, and with it, also efficient checkability. We put forward a new definition of fair bisimulation which does not suffer from this drawback.\r\nThe bisimilarity of two systems can be viewed in terms of a game played between a protagonist and an adversary. In each step of the infinite bisimulation game, the adversary chooses one system, makes a move, and the protagonist matches it with a move of the other system. Consistent with this game-based view, we call two fair transition systems bisimilar if in the bisimulation game, the infinite path produced in the first system is fair iff the infinite path produced in the second system is fair.\r\nWe show that this notion of fair bisimulation enjoys the following properties. First, fairly bisimilar systems satisfy the same formulas of the logics Fair-AFMC (the fair alternation-free μ-calculus) and Fair-CTL*. Therefore, fair bisimulations can serve as property-preserving abstractions for these logics and weaker ones, such as Fair-CTL and LTL. Indeed, Fair-AFMC provides an exact logical characterization of fair bisimilarity. Second, it can be checked in time polynomial in the number of states if two systems are fairly bisimilar. This is in stark contrast to all trace-based equivalences, which are traditionally used for addressing liveness but require exponential time for checking." acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the SRC contract 99-TJ-683.003, the MARCO grant 98-DT-660, the DARPA (MARCO) grant MDA972-99-1-0001, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Sriram full_name: Rajamani, Sriram last_name: Rajamani citation: ama: 'Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21' apa: 'Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_21' chicago: Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21. ieee: T. A. Henzinger and S. Rajamani, “Fair bisimulation,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 299–314. ista: 'Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.' mla: Henzinger, Thomas A., and Sriram Rajamani. “Fair Bisimulation.” Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21. short: T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314. conference: end_date: 2000-04-02 location: Berlin, Germany name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2000-03-25 date_created: 2018-12-11T12:08:50Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T13:11:07Z day: '01' doi: 10.1007/3-540-46419-0_21 extern: '1' intvolume: ' 1785' language: - iso: eng month: '01' oa_version: None page: 299 - 314 publication: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: isbn: - '9783540672821' publication_status: published publisher: Springer publist_id: '297' quality_controlled: '1' scopus_import: '1' status: public title: Fair bisimulation type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1785 year: '2000' ... --- _id: '4439' abstract: - lang: eng text: "We define five increasingly comprehensive classes of infinite-state systems, called STS1–5, whose state spaces have finitary structure. For four of these classes, we provide examples from hybrid systems.\r\nSTS1 These are the systems with finite bisimilarity quotients. They can be analyzed symbolically by (1) iterating the predecessor and boolean operations starting from a finite set of observable state sets, and (2) terminating when no new state sets are generated. This enables model checking of the μ-calculus.\r\nSTS2 These are the systems with finite similarity quotients. They can be analyzed symbolically by iterating the predecessor and positive boolean operations. This enables model checking of the existential and universal fragments of the μ-calculus.\r\nSTS3 These are the systems with finite trace-equivalence quotients. They can be analyzed symbolically by iterating the predecessor operation and a restricted form of positive boolean operations (intersection is restricted to intersection with observables). This enables model checking of linear temporal logic.\r\nSTS4 These are the systems with finite distance-equivalence quotients (two states are equivalent if for every distance d, the same observables can be reached in d transitions). The systems in this class can be analyzed symbolically by iterating the predecessor operation and terminating when no new state sets are generated. This enables model checking of the existential conjunction-free and universal disjunction-free fragments of the μ-calculus.\r\nSTS5 These are the systems with finite bounded-reachability quotients (two states are equivalent if for every distance d, the same observables can be reached in d or fewer transitions). The systems in this class can be analyzed symbolically by iterating the predecessor operation and terminating when no new states are encountered. This enables model checking of reachability properties." acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660, the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Ritankar full_name: Majumdar, Ritankar last_name: Majumdar citation: ama: 'Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2' apa: 'Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer. https://doi.org/10.1007/3-540-46541-3_2' chicago: Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2. ieee: T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” in Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, 2000, vol. 1770, pp. 13–34. ista: 'Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.' mla: Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2. short: T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34. conference: end_date: 2000-02-19 location: Lille, France name: 'STACS: Theoretical Aspects of Computer Science' start_date: 2000-02-17 date_created: 2018-12-11T12:08:51Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T13:02:39Z day: '01' doi: 10.1007/3-540-46541-3_2 extern: '1' intvolume: ' 1770' language: - iso: eng month: '01' oa_version: None page: 13 - 34 publication: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science publication_identifier: isbn: - '9783540671411' publication_status: published publisher: Springer publist_id: '292' quality_controlled: '1' scopus_import: '1' status: public title: A classification of symbolic transition systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1770 year: '2000' ... --- _id: '4435' abstract: - lang: eng text: 'An important case of hybrid systems are the rectangular automata. First, rectangular dynamics can naturally and arbitrarily closely approximate more general, nonlinear dynamics. Second, rectangular automata are the most general type of hybrid systems for which model checking -in particular, Ltl model checking- is decidable. However, on one hand, the original proofs of decidability did not suggest practical algorithms and, on the other hand, practical symbolic model-checking procedures -such as those implemented in HyTech- were not known to terminate on rectangular automata. We remedy this unsatisfactory situation: we present a symbolic method for Ltl model checking which can be performed by HyTech and is guaranteed to terminate on all rectangular automata. We do so by proving that our method for symbolic Ltl model checking terminates on an infinite-state transition system if the trace-equivalence relation of the system has finite index, which is the case for all rectangular automata.' acknowledgement: This research was supported in part by the DARPA (NASA) grant NAG2-1214, the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the MARCO grant 98-DT-660, the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Ritankar full_name: Majumdar, Ritankar last_name: Majumdar citation: ama: 'Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11' apa: 'Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11' chicago: Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11. ieee: T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 142–156. ista: 'Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.' mla: Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11. short: T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156. conference: end_date: 2000-04-02 location: Berlin, Germany name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2000-03-25 date_created: 2018-12-11T12:08:50Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T13:08:09Z day: '01' doi: 10.1007/3-540-46419-0_11 extern: '1' intvolume: ' 1785' language: - iso: eng month: '01' oa_version: None page: 142 - 156 publication: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: isbn: - '9783540672821' publication_status: published publisher: Springer publist_id: '293' quality_controlled: '1' scopus_import: '1' status: public title: Symbolic model checking for rectangular hybrid systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1785 year: '2000' ... --- _id: '4434' abstract: - lang: eng text: 'The algorithmic approach to the analysis of timed and hybrid systems is fundamentally limited by undecidability, of universality in the timed case (where all continuous variables are clocks), and of emptiness in the rectangular case (which includes drifting clocks). Traditional proofs of undecidability encode a single Turing computation by a single timed trajectory. These proofs have nurtured the hope that the introduction of “fuzziness” into timed and hybrid models (in the sense that a system cannot distinguish between trajectories that are sufficiently similar) may lead to decidability. We show that this is not the case, by sharpening both fundamental undecidability results. Besides the obvious blow our results deal to the algorithmic method, they also prove that the standard model of timed and hybrid systems, while not “robust” in its definition of trajectory acceptance (which is affected by tiny perturbations in the timing of events), is quite robust in its mathematical properties: the undecidability barriers are not affected by reasonable perturbations of the model.' acknowledgement: 'This research was supported in part by the DARPA (NASA) grant NAG2-1214, the DARPA (Wright-Patterson AFB) grant F33615-C-98-3614, the ARO MURI grant DAAH-04-96-1-0341, and the NSF CAREER award CCR-9501708. ' alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Jean full_name: Raskin, Jean last_name: Raskin citation: ama: 'Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15' apa: 'Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15' chicago: Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.” In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15. ieee: T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 145–159. ista: 'Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 145–159.' mla: Henzinger, Thomas A., and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.” Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15. short: T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159. conference: end_date: 2000-03-25 location: Pittsburgh, PA, USA name: 'HSCC: Hybrid Systems - Computation and Control' start_date: 2000-03-23 date_created: 2018-12-11T12:08:50Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-18T13:16:13Z day: '01' doi: 10.1007/3-540-46430-1_15 extern: '1' intvolume: ' 1790' language: - iso: eng month: '01' oa_version: None page: 145 - 159 publication: Proceedings of the 3rd International Workshop on Hybrid Systems publication_identifier: isbn: - '9783540672593' publication_status: published publisher: Springer publist_id: '298' quality_controlled: '1' scopus_import: '1' status: public title: Robust undecidability of timed and hybrid systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1790 year: '2000' ... --- _id: '4276' article_processing_charge: No author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. Population genetics of multiple loci. Genetics Research. 2000;75(3):371-373. doi:10.1017/S0016672300239220 apa: Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300239220 chicago: Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetics Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672300239220. ieee: N. H. Barton, “Population genetics of multiple loci,” Genetics Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000. ista: Barton NH. 2000. Population genetics of multiple loci. Genetics Research. 75(3), 371–373. mla: Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetics Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73, doi:10.1017/S0016672300239220. short: N.H. Barton, Genetics Research 75 (2000) 371–373. date_created: 2018-12-11T12:07:59Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-04-18T15:01:01Z day: '01' doi: 10.1017/S0016672300239220 extern: '1' intvolume: ' 75' issue: '3' language: - iso: eng main_file_link: - url: https://www.cambridge.org/core/journals/genetics-research/article/population-genetics-of-multiple-loci-by-f-b-christiansen-wiley-series-in-mathematical-and-computational-biology-ed-s-levin-john-wiley-sons-1999-isbn-0-471-979791-365-pages-price-80-hardback/9F9E954479B9FB87B0A07250AD6AAD9C month: '06' oa_version: None page: 371 - 373 publication: Genetics Research publication_identifier: issn: - 0016-6723 publication_status: published publisher: Cambridge University Press publist_id: '1814' quality_controlled: '1' status: public title: Population genetics of multiple loci type: review user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 75 year: '2000' ... --- _id: '4271' abstract: - lang: eng text: "Within hybrid zones that are maintained by a balance between selection and dispersal, linkage disequilibrium is generated by the mixing of divergent populations. This linkage disequilibrium causes selection on each locus to act on all other loci, thereby steepening dines, and generating a barrier to gene flow. Diffusion models predict simple relations between the strength of linkage disequilibrium and the dispersal rate, σ, and between the barrier to gene flow, B, and the reduction in mean fitness, W̄. The aim of this paper is to test the accuracy of these predictions by comparison with an exact deterministic model of unlinked loci (r = 0.5). Disruptive selection acts on the proportion of alleles from the parental populations (p, q): W = exp[-S(4pq)(β)], such that the least fit genotype has fitness e(-S). Where β << 1, fitness is reduced for a wide range of intermediate genotypes; where β >> 1, fitness is only reduced for those genotypes close to p = 0.5. Even with strong epistasis, linkage disequilibria are close to σ2p'(i)p'(j)/r(ij), where p'(i), p'(j) are the gradients in allele frequency at loci i, j. The barrier to gene flow, which is reflected in the steepening of neutral dines, is given by B = ∫(-∞)(∞) (W̄(1/r̄)-1) dx, where r̄, the harmonic mean recombination rate between the neural and selected loci, is here 0.5. This is a close approximation for weak selection, but underestimates B for strong selection. The barrier is stronger for small β, because hybrid fitness is then reduced over a wider range of p. The widths of the selected dines are harder to predict: though simple approximations are accurate for β = 1, they become inaccurate for extreme β because, then, fitness changes sharply with p. Estimates of gene number, made from neutral dines on the assumption that selection acts against heterozygotes, are accurate for weak selection when β = 1; however, for strong selection, gene number is overestimated. For β > 1, gene number is systematically overestimated and, conversely, when β < 1, it is underestimated.\r\n" acknowledgement: We are grateful to Loeske Kruuk and Michael Turelli for their helpful comments on the manuscript. N.B. was supported by grants GR3/11635 from the NERC and GR/L10048 from the EPSRC, and by the Darwin Trust of Edinburgh. M.S. was supported by a graduate student fellowship from the Yale Institute for Biospheric Studies. article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Max full_name: Shpak, Max last_name: Shpak citation: ama: Barton NH, Shpak M. The effects of epistasis on the structure of hybrid zones. Genetical Research. 2000;75(2):179-198. doi:10.1017/S0016672399004334 apa: Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004334 chicago: Barton, Nicholas H, and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672399004334. ieee: N. H. Barton and M. Shpak, “The effects of epistasis on the structure of hybrid zones,” Genetical Research, vol. 75, no. 2. Cambridge University Press, pp. 179–198, 2000. ista: Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198. mla: Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334. short: N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198. date_created: 2018-12-11T12:07:58Z date_published: 2000-04-01T00:00:00Z date_updated: 2023-04-19T09:58:36Z day: '01' doi: 10.1017/S0016672399004334 extern: '1' external_id: pmid: - '10816975' intvolume: ' 75' issue: '2' language: - iso: eng month: '04' oa_version: None page: 179 - 198 pmid: 1 publication: Genetical Research publication_identifier: issn: - 0016-6723 publication_status: published publisher: Cambridge University Press publist_id: '1819' quality_controlled: '1' scopus_import: '1' status: public title: The effects of epistasis on the structure of hybrid zones type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 75 year: '2000' ... --- _id: '4274' abstract: - lang: eng text: Selection on one or more genes inevitably perturbs other genes, even when those genes have no direct effect on fitness. This article reviews the theory of such genetic hitchhiking, concentrating on effects on neutral loci. Maynard Smith and Haigh introduced the classical case where the perturbation is due to a single favourable mutation. This is contrasted with the apparently distinct effects of inherited variation in fitness due to loosely linked loci. A model of fluctuating selection is analysed which bridges these alternative treatments. When alleles sweep between extreme frequencies at a rate λ, the rate of drift is increased by a factor (1 + E[1/pq]λ/(2(2λ + r))), where the recombination rate r is much smaller than the strength of selection. In spatially structured populations, the effects of any one substitution are weaker, and only cause a local increase in the frequency of a neutral allele. This increase depends primarily on the rate of recombination relative to selection (r/s), and more weakly, on the neighbourhood size, Nb = 4πρσ2. Spatial subdivision may allow local selective sweeps to occur more frequently than is indicated by the overall rate of molecular evolution. However, it seems unlikely that such sweeps can be sufficiently frequent to increase significantly the drift of neutral alleles. acknowledgement: "I am grateful to B. Charlesworth and M.Slatkin for their helpful comments. This work was supported by the Biotechnology\r\nand Biological Sciences Research Council, the Natural Environment Research Council, and the Darwin Trust of Edinburgh." article_processing_charge: No author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2000;355(1403):1553-1562. doi:10.1098/rstb.2000.0716 apa: Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London. https://doi.org/10.1098/rstb.2000.0716 chicago: Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London, 2000. https://doi.org/10.1098/rstb.2000.0716. ieee: N. H. Barton, “Genetic hitchhiking,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403. Royal Society of London, pp. 1553–1562, 2000. ista: Barton NH. 2000. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 355(1403), 1553–1562. mla: Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, Royal Society of London, 2000, pp. 1553–62, doi:10.1098/rstb.2000.0716. short: N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562. date_created: 2018-12-11T12:07:59Z date_published: 2000-11-29T00:00:00Z date_updated: 2023-04-19T09:35:31Z day: '29' doi: 10.1098/rstb.2000.0716 extern: '1' external_id: pmid: - '11127900' intvolume: ' 355' issue: '1403' language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1692896/ month: '11' oa: 1 oa_version: None page: 1553 - 1562 pmid: 1 publication: Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences publication_identifier: issn: - 0962-8436 publication_status: published publisher: Royal Society of London publist_id: '1815' quality_controlled: '1' scopus_import: '1' status: public title: Genetic hitchhiking type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 355 year: '2000' ... --- _id: '4272' abstract: - lang: eng text: 'Analysis of multilocus evolution is usually intractable for more than n ~ 10 genes, because the frequencies of very large numbers of genotypes must be followed. An exact analysis of up to n ~ 100 loci is feasible for a symmetrical model, in which a set of unlinked loci segregate for two alleles (labeled ''0'' and ''1'') with interchangeable effects on fitness. All haploid genotypes with the same number of 1 alleles can then remain equally frequent. However, such a symmetrical solution may be unstable: for example, under stabilizing selection, populations tend to fix any one genotype which approaches the optimum. Here, we show how the 2'' x 2'' stability matrix can be decomposed into a set of matrices, each no larger than n x n. This allows the stability of symmetrical solutions to be determined. We apply the method to stabilizing and disruptive selection in a single deme and to selection against heterozygotes in a linear cline. (C) 2000 Academic Press.' article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Max full_name: Shpak, Max last_name: Shpak citation: ama: Barton NH, Shpak M. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 2000;57(3):249-263. doi:10.1006/tpbi.2000.1455 apa: Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2000.1455 chicago: Barton, Nicholas H, and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology. Academic Press, 2000. https://doi.org/10.1006/tpbi.2000.1455. ieee: N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3. Academic Press, pp. 249–263, 2000. ista: Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263. mla: Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455. short: N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263. date_created: 2018-12-11T12:07:58Z date_published: 2000-05-01T00:00:00Z date_updated: 2023-04-19T12:36:39Z day: '01' doi: 10.1006/tpbi.2000.1455 extern: '1' external_id: pmid: - '10828217' intvolume: ' 57' issue: '3' language: - iso: eng month: '05' oa_version: None page: 249 - 263 pmid: 1 publication: Theoretical Population Biology publication_identifier: issn: - 0040-5809 publication_status: published publisher: Academic Press publist_id: '1820' quality_controlled: '1' scopus_import: '1' status: public title: The stability of symmetrical solutions to polygenic models type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 57 year: '2000' ... --- _id: '4273' abstract: - lang: eng text: We review the various factors that limit adaptation by natural selection. Recent discussion of constraints on selection and, conversely, of the factors that enhance 'evolvability', have concentrated on the kinds of variation that can be produced. Here, we emphasise that adaptation depends on how the various evolutionary processes shape variation in populations. We survey the limits that population genetics places on adaptive evolution, and discuss the relationship between disparate literatures. BioEssays 22:1075-1084, 2000. (C) 2000 John Wiley and Sons, Inc. acknowledgement: We thank Brian Charlesworth, Toby Johnson, and two anonymous referees for helpful discussions and criticism of the manuscript. article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Linda full_name: Partridge, Linda last_name: Partridge citation: ama: Barton NH, Partridge L. Limits to natural selection. BioEssays. 2000;22(12):1075-1084. doi:10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M apa: Barton, N. H., & Partridge, L. (2000). Limits to natural selection. BioEssays. Wiley-Blackwell. https://doi.org/10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M chicago: Barton, Nicholas H, and Linda Partridge. “Limits to Natural Selection.” BioEssays. Wiley-Blackwell, 2000. https://doi.org/10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M. ieee: N. H. Barton and L. Partridge, “Limits to natural selection,” BioEssays, vol. 22, no. 12. Wiley-Blackwell, pp. 1075–1084, 2000. ista: Barton NH, Partridge L. 2000. Limits to natural selection. BioEssays. 22(12), 1075–1084. mla: Barton, Nicholas H., and Linda Partridge. “Limits to Natural Selection.” BioEssays, vol. 22, no. 12, Wiley-Blackwell, 2000, pp. 1075–84, doi:10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M. short: N.H. Barton, L. Partridge, BioEssays 22 (2000) 1075–1084. date_created: 2018-12-11T12:07:58Z date_published: 2000-12-01T00:00:00Z date_updated: 2023-04-19T09:49:52Z day: '01' doi: 10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M extern: '1' external_id: pmid: - '11084623' intvolume: ' 22' issue: '12' language: - iso: eng month: '12' oa_version: None page: 1075 - 1084 pmid: 1 publication: BioEssays publication_identifier: issn: - 0265-9247 publication_status: published publisher: Wiley-Blackwell publist_id: '1818' quality_controlled: '1' scopus_import: '1' status: public title: Limits to natural selection type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 22 year: '2000' ... --- _id: '4269' article_processing_charge: No article_type: original author: - first_name: Jerry full_name: Coyne, Jerry last_name: Coyne - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Michael full_name: Turelli, Michael last_name: Turelli citation: ama: Coyne J, Barton NH, Turelli M. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 2000;54(1):306-317. doi:10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2 apa: Coyne, J., Barton, N. H., & Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2 chicago: Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2000. https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2. ieee: J. Coyne, N. H. Barton, and M. Turelli, “Is Wright’s shifting balance process important in evolution?,” Evolution; International Journal of Organic Evolution, vol. 54, no. 1. Wiley-Blackwell, pp. 306–317, 2000. ista: Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317. mla: Coyne, Jerry, et al. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution, vol. 54, no. 1, Wiley-Blackwell, 2000, pp. 306–17, doi:10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2. short: J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 54 (2000) 306–317. date_created: 2018-12-11T12:07:57Z date_published: 2000-02-01T00:00:00Z date_updated: 2023-04-19T12:48:29Z day: '01' doi: 10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2 extern: '1' external_id: pmid: - '10937209' intvolume: ' 54' issue: '1' language: - iso: eng month: '02' oa_version: None page: 306 - 317 pmid: 1 publication: Evolution; International Journal of Organic Evolution publication_identifier: issn: - 0014-3820 publication_status: published publisher: Wiley-Blackwell publist_id: '1821' quality_controlled: '1' status: public title: Is Wright’s shifting balance process important in evolution? type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 54 year: '2000' ... --- _id: '4275' article_processing_charge: No author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: 'Barton NH. Differentiation. In: Encyclopedia of Biodiversity. Academic Press; 2000:85-94. doi:10.1016/B0-12-226865-2/00070-5' apa: Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5 chicago: Barton, Nicholas H. “Differentiation.” In Encyclopedia of Biodiversity, 85–94. Academic Press, 2000. https://doi.org/10.1016/B0-12-226865-2/00070-5. ieee: N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94. ista: 'Barton NH. 2000.Differentiation. In: Encyclopedia of Biodiversity. , 85–94.' mla: Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94, doi:10.1016/B0-12-226865-2/00070-5. short: N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94. date_created: 2018-12-11T12:07:59Z date_published: 2000-10-01T00:00:00Z date_updated: 2023-04-19T09:39:55Z day: '01' doi: 10.1016/B0-12-226865-2/00070-5 extern: '1' language: - iso: eng month: '10' oa_version: None page: 85 - 94 publication: Encyclopedia of Biodiversity publication_identifier: isbn: - '9780122268656' publication_status: published publisher: Academic Press publist_id: '1816' status: public title: Differentiation type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '4197' abstract: - lang: eng text: Vertebrate gastrulation involves the specification and coordinated movement of large populations of cells that give rise to the ectodermal, mesodermal and endodermal germ layers. Although many of the genes involved in the specification of cell identity during this process have been identified, little is known of the genes that coordinate cell movement. Here we show that the zebrafish silberblick (slb) locus(1) encodes Wnt11 and that Slb/Wnt11 activity is required for cells to undergo correct convergent extension movements during gastrulation. In the absence of Slb/Wnt11 function, abnormal extension of axial tissue results in cyclopia and other midline defects in the head(2). The requirement for Slb/Wnt11 is cell non-autonomous, and our results indicate that the correct extension of axial tissue is at least partly dependent on medio-lateral cell intercalation in paraxial tissue. We also show that the slb phenotype is rescued by a truncated form of Dishevelled that does not signal through the canonical Wnt pathway(3), suggesting that, as in flies(4), Wnt signalling might mediate morphogenetic events through a divergent signal transduction cascade. Our results provide genetic and experimental evidence that Wnt activity in lateral tissues has a crucial role in driving the convergent extension movements underlying vertebrate gastrulation. article_processing_charge: No article_type: original author: - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 - first_name: Masazumi full_name: Tada, Masazumi last_name: Tada - first_name: Gerd full_name: Rauch, Gerd last_name: Rauch - first_name: Leonor full_name: Saúde, Leonor last_name: Saúde - first_name: Miguel full_name: Concha, Miguel last_name: Concha - first_name: Robert full_name: Geisler, Robert last_name: Geisler - first_name: Derek full_name: Stemple, Derek last_name: Stemple - first_name: James full_name: Smith, James last_name: Smith - first_name: Stephen full_name: Wilson, Stephen last_name: Wilson citation: ama: Heisenberg C-PJ, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068 apa: Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R., … Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. Nature Publishing Group. https://doi.org/10.1038/35011068 chicago: Heisenberg, Carl-Philipp J, Masazumi Tada, Gerd Rauch, Leonor Saúde, Miguel Concha, Robert Geisler, Derek Stemple, James Smith, and Stephen Wilson. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature. Nature Publishing Group, 2000. https://doi.org/10.1038/35011068. ieee: C.-P. J. Heisenberg et al., “Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation,” Nature, vol. 405, no. 6782. Nature Publishing Group, pp. 76–81, 2000. ista: Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81. mla: Heisenberg, Carl-Philipp J., et al. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature, vol. 405, no. 6782, Nature Publishing Group, 2000, pp. 76–81, doi:10.1038/35011068. short: C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81. date_created: 2018-12-11T12:07:32Z date_published: 2000-05-04T00:00:00Z date_updated: 2023-04-19T14:40:45Z day: '04' doi: 10.1038/35011068 extern: '1' external_id: pmid: - '10811221 ' intvolume: ' 405' issue: '6782' language: - iso: eng month: '05' oa_version: None page: 76 - 81 pmid: 1 publication: Nature publication_identifier: issn: - 0028-0836 publication_status: published publisher: Nature Publishing Group publist_id: '1921' quality_controlled: '1' scopus_import: '1' status: public title: Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 405 year: '2000' ... --- _id: '4147' abstract: - lang: eng text: We have developed a protocol to perform a genetic screen for zygotic mutations affecting embryogenesis on the protochordate Ciona intestinalis. The choice of this taxon, whose phylogenetic position places it at the basis of the chordates as one the most primitive vertebrate relatives, could allow to address several evolutionary questions. The protochordates share many morphological features with the vertebrates, in primis the presence of a notochord. Ciona intestinalis shows several ideal features for a mutational analysis, such as external development and larvae made of a limited number of cells and cell types. Detailed cell lineage studies are available. The haploid genome size is comparable to the size of the Drosophila haploid genome. We have optimised conditions for chemical mutagenesis studying the efficiency at which different concentration of N-ethyl-N-nitrosourea (ENU) can induce mutations. Because the adult Ciona are hermaphrodites, we are performing a one-generation screen. The induced mutations are identified by visual inspection of developmental stages. We report the preliminary results from our screen including examples of the different classes of mutant phenotypes found so far. article_processing_charge: No article_type: original author: - first_name: Paolo full_name: Sordino, Paolo last_name: Sordino - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 - first_name: Paola full_name: Cirino, Paola last_name: Cirino - first_name: Alfonso full_name: Toscano, Alfonso last_name: Toscano - first_name: Paola full_name: Giuliano, Paola last_name: Giuliano - first_name: Rita full_name: Marino, Rita last_name: Marino - first_name: Maria full_name: Pinto, Maria last_name: Pinto - first_name: Rosaria full_name: De Santis, Rosaria last_name: De Santis citation: ama: Sordino P, Heisenberg C-PJ, Cirino P, et al. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 2000;85(2):173-176. doi:10.1080/00364827.2000.10414567 apa: Sordino, P., Heisenberg, C.-P. J., Cirino, P., Toscano, A., Giuliano, P., Marino, R., … De Santis, R. (2000). A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. Taylor & Francis. https://doi.org/10.1080/00364827.2000.10414567 chicago: Sordino, Paolo, Carl-Philipp J Heisenberg, Paola Cirino, Alfonso Toscano, Paola Giuliano, Rita Marino, Maria Pinto, and Rosaria De Santis. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia. Taylor & Francis, 2000. https://doi.org/10.1080/00364827.2000.10414567. ieee: P. Sordino et al., “A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata),” Sarsia, vol. 85, no. 2. Taylor & Francis, pp. 173–176, 2000. ista: Sordino P, Heisenberg C-PJ, Cirino P, Toscano A, Giuliano P, Marino R, Pinto M, De Santis R. 2000. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 85(2), 173–176. mla: Sordino, Paolo, et al. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia, vol. 85, no. 2, Taylor & Francis, 2000, pp. 173–76, doi:10.1080/00364827.2000.10414567. short: P. Sordino, C.-P.J. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176. date_created: 2018-12-11T12:07:13Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-04-19T14:50:58Z day: '01' doi: 10.1080/00364827.2000.10414567 extern: '1' intvolume: ' 85' issue: '2' language: - iso: eng month: '06' oa_version: None page: 173 - 176 publication: Sarsia publication_identifier: issn: - 0036-4827 publication_status: published publisher: Taylor & Francis publist_id: '1972' quality_controlled: '1' status: public title: A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata) type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 85 year: '2000' ... --- _id: '4270' abstract: - lang: eng text: 'A coalescence-based maximum-likelihood method is presented that aims to (i) detect diversity-reducing events in the recent history of a population and (ii) distinguish between demographic (e.g., bottlenecks) and selective causes (selective sweep) of a recent reduction of genetic variability. The former goal is achieved by taking account of the distortion in the shape of gene genealogies generated by diversity-reducing events: gene trees tend to be more star-like than under the standard coalescent. The latter issue is addressed by comparing patterns between loci: demographic events apply to the whole genome whereas selective events affect distinct regions of the genome to a varying extent. The maximum-likelihood approach allows one to estimate the time and strength of diversity-reducing events and to choose among competing hypotheses. An application to sequence data from an African population of Drosophila melanogaster shows that the bottleneck hypothesis is unlikely and that one or several selective sweeps probably occurred in the recent history of this population.' article_processing_charge: No article_type: original author: - first_name: Nicolas full_name: Galtier, Nicolas last_name: Galtier - first_name: Frantz full_name: Depaulis, Frantz last_name: Depaulis - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Galtier N, Depaulis F, Barton NH. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 2000;155(2):981-987. doi:10.1093/genetics/155.2.981 apa: Galtier, N., Depaulis, F., & Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/155.2.981 chicago: Galtier, Nicolas, Frantz Depaulis, and Nicholas H Barton. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics. Genetics Society of America, 2000. https://doi.org/10.1093/genetics/155.2.981. ieee: N. Galtier, F. Depaulis, and N. H. Barton, “Detecting bottlenecks and selective sweeps from DNA sequence polymorphism,” Genetics, vol. 155, no. 2. Genetics Society of America, pp. 981–987, 2000. ista: Galtier N, Depaulis F, Barton NH. 2000. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 155(2), 981–987. mla: Galtier, Nicolas, et al. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics, vol. 155, no. 2, Genetics Society of America, 2000, pp. 981–87, doi:10.1093/genetics/155.2.981. short: N. Galtier, F. Depaulis, N.H. Barton, Genetics 155 (2000) 981–987. date_created: 2018-12-11T12:07:57Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-04-19T14:03:56Z day: '01' doi: 10.1093/genetics/155.2.981 extern: '1' external_id: pmid: - '10835415' intvolume: ' 155' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1461106/ month: '06' oa: 1 oa_version: None page: 981 - 987 pmid: 1 publication: Genetics publication_identifier: issn: - 0016-6731 publication_status: published publisher: Genetics Society of America publist_id: '1822' status: public title: Detecting bottlenecks and selective sweeps from DNA sequence polymorphism type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 155 year: '2000' ... --- _id: '4268' article_processing_charge: No author: - first_name: Linda full_name: Partridge, Linda last_name: Partridge - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Partridge L, Barton NH. Evolving evolvability. Nature. 2000;407(6803):457-458. doi:10.1038/35035173 apa: Partridge, L., & Barton, N. H. (2000). Evolving evolvability. Nature. Nature Publishing Group. https://doi.org/10.1038/35035173 chicago: Partridge, Linda, and Nicholas H Barton. “Evolving Evolvability.” Nature. Nature Publishing Group, 2000. https://doi.org/10.1038/35035173. ieee: L. Partridge and N. H. Barton, “Evolving evolvability,” Nature, vol. 407, no. 6803. Nature Publishing Group, pp. 457–458, 2000. ista: Partridge L, Barton NH. 2000. Evolving evolvability. Nature. 407(6803), 457–458. mla: Partridge, Linda, and Nicholas H. Barton. “Evolving Evolvability.” Nature, vol. 407, no. 6803, Nature Publishing Group, 2000, pp. 457–58, doi:10.1038/35035173. short: L. Partridge, N.H. Barton, Nature 407 (2000) 457–458. date_created: 2018-12-11T12:07:57Z date_published: 2000-09-01T00:00:00Z date_updated: 2023-04-19T14:37:19Z day: '01' doi: 10.1038/35035173 extern: '1' intvolume: ' 407' issue: '6803' language: - iso: eng month: '09' oa_version: None page: 457 - 458 publication: Nature publication_identifier: issn: - 0028-0836 publication_status: published publisher: Nature Publishing Group publist_id: '1823' quality_controlled: '1' scopus_import: '1' status: public title: Evolving evolvability type: review user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 407 year: '2000' ... --- _id: '4009' abstract: - lang: eng text: We study the maintenance of a simplicial grid or complex under changing density requirements. The proposed method works in any fixed dimension and generates grids by projecting cross-sections of a monotone simplicial complex that lives in one dimension higher than the grid. The density of the grid is adapted by locally moving the cross-section up or down along the extra dimension. article_processing_charge: No article_type: original author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Roman full_name: Waupotitsch, Roman last_name: Waupotitsch citation: ama: Edelsbrunner H, Waupotitsch R. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 2000;10(3):267-284. doi:10.1142/S0218195900000164 apa: Edelsbrunner, H., & Waupotitsch, R. (2000). Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195900000164 chicago: Edelsbrunner, Herbert, and Roman Waupotitsch. “Adaptive Simplicial Grids from Cross-Sections of Monotone Complexes.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2000. https://doi.org/10.1142/S0218195900000164. ieee: H. Edelsbrunner and R. Waupotitsch, “Adaptive simplicial grids from cross-sections of monotone complexes,” International Journal of Computational Geometry and Applications, vol. 10, no. 3. World Scientific Publishing, pp. 267–284, 2000. ista: Edelsbrunner H, Waupotitsch R. 2000. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 10(3), 267–284. mla: Edelsbrunner, Herbert, and Roman Waupotitsch. “Adaptive Simplicial Grids from Cross-Sections of Monotone Complexes.” International Journal of Computational Geometry and Applications, vol. 10, no. 3, World Scientific Publishing, 2000, pp. 267–84, doi:10.1142/S0218195900000164. short: H. Edelsbrunner, R. Waupotitsch, International Journal of Computational Geometry and Applications 10 (2000) 267–284. date_created: 2018-12-11T12:06:25Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-04-20T13:45:46Z day: '01' doi: 10.1142/S0218195900000164 extern: '1' intvolume: ' 10' issue: '3' language: - iso: eng month: '06' oa_version: None page: 267 - 284 publication: International Journal of Computational Geometry and Applications publication_identifier: issn: - 0218-1959 publication_status: published publisher: World Scientific Publishing publist_id: '2117' quality_controlled: '1' scopus_import: '1' status: public title: Adaptive simplicial grids from cross-sections of monotone complexes type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 10 year: '2000' ... --- _id: '4010' abstract: - lang: eng text: A sliver is a tetrahedron whose four vertices lie close to a plane and whose orthogonal projection to that plane is a convex quadrilateral with no short edge. Slivers are notoriously common in 3-dimensional Delaunay triangulations even for well-spaced point sets. We show that, if the Delaunay triangulation has the ratio property introduced in Miller et al. [1995], then there is an assignment of weights so the weighted Delaunay triangulation contains no slivers. We also give an algorithm to compute such a weight assignment. acknowledgement: NSF under grant DMS 98-73945, NSF under grant CCR 96-19542 and ARO under grant DAAG-55-98-1-0177. article_processing_charge: No article_type: original author: - first_name: Siu full_name: Cheng, Siu last_name: Cheng - first_name: Tamal full_name: Dey, Tamal last_name: Dey - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Michael full_name: Facello, Michael last_name: Facello - first_name: Shang full_name: Teng, Shang last_name: Teng citation: ama: Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. Sliver exudation. Journal of the ACM. 2000;47(5):883-904. doi:10.1145/355483.355487 apa: Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., & Teng, S. (2000). Sliver exudation. Journal of the ACM. ACM. https://doi.org/10.1145/355483.355487 chicago: Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.” Journal of the ACM. ACM, 2000. https://doi.org/10.1145/355483.355487. ieee: S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, and S. Teng, “Sliver exudation,” Journal of the ACM, vol. 47, no. 5. ACM, pp. 883–904, 2000. ista: Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. 2000. Sliver exudation. Journal of the ACM. 47(5), 883–904. mla: Cheng, Siu, et al. “Sliver Exudation.” Journal of the ACM, vol. 47, no. 5, ACM, 2000, pp. 883–904, doi:10.1145/355483.355487. short: S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904. date_created: 2018-12-11T12:06:25Z date_published: 2000-09-01T00:00:00Z date_updated: 2023-04-21T08:58:30Z day: '01' doi: 10.1145/355483.355487 extern: '1' intvolume: ' 47' issue: '5' language: - iso: eng month: '09' oa_version: None page: 883 - 904 publication: Journal of the ACM publication_identifier: issn: - 0004-5411 publication_status: published publisher: ACM publist_id: '2118' quality_controlled: '1' scopus_import: '1' status: public title: Sliver exudation type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 47 year: '2000' ... --- _id: '4008' abstract: - lang: eng text: We formalize a notion of topological simplification within the framework of a filtration, which is the history of a growing complex. We classify a topological change that happens during growth as either a feature or noise depending on its life-time or persistence within the filtration. We give fast algorithms for computing persistence and experimental evidence for their speed and utility. acknowledgement: Research by the first and third authors is partially supported by ARO under grant DAAG55-98-1-0177. Research by the first author is also partially supported by NSF under grant CCR-97-12088. article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: David full_name: Letscher, David last_name: Letscher - first_name: Afra full_name: Zomorodian, Afra last_name: Zomorodian citation: ama: 'Edelsbrunner H, Letscher D, Zomorodian A. Topological persistance and simplification. In: Proceedings 41st Annual Symposium on Foundations of Computer Science. IEEE; 2000:454-463. doi:10.1109/SFCS.2000.892133' apa: 'Edelsbrunner, H., Letscher, D., & Zomorodian, A. (2000). Topological persistance and simplification. In Proceedings 41st Annual Symposium on Foundations of Computer Science (pp. 454–463). Washington, DC, United States: IEEE. https://doi.org/10.1109/SFCS.2000.892133' chicago: Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistance and Simplification.” In Proceedings 41st Annual Symposium on Foundations of Computer Science, 454–63. IEEE, 2000. https://doi.org/10.1109/SFCS.2000.892133. ieee: H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistance and simplification,” in Proceedings 41st Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 2000, pp. 454–463. ista: 'Edelsbrunner H, Letscher D, Zomorodian A. 2000. Topological persistance and simplification. Proceedings 41st Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 454–463.' mla: Edelsbrunner, Herbert, et al. “Topological Persistance and Simplification.” Proceedings 41st Annual Symposium on Foundations of Computer Science, IEEE, 2000, pp. 454–63, doi:10.1109/SFCS.2000.892133. short: H. Edelsbrunner, D. Letscher, A. Zomorodian, in:, Proceedings 41st Annual Symposium on Foundations of Computer Science, IEEE, 2000, pp. 454–463. conference: end_date: 2000-11-14 location: Washington, DC, United States name: 'FOCS: Foundations of Computer Science' start_date: 2000-11-12 date_created: 2018-12-11T12:06:24Z date_published: 2000-11-01T00:00:00Z date_updated: 2023-04-25T06:53:21Z day: '01' doi: 10.1109/SFCS.2000.892133 extern: '1' language: - iso: eng month: '11' oa_version: None page: 454 - 463 publication: Proceedings 41st Annual Symposium on Foundations of Computer Science publication_identifier: isbn: - '0769508502' publication_status: published publisher: IEEE publist_id: '2116' quality_controlled: '1' status: public title: Topological persistance and simplification type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2000' ... --- _id: '3624' abstract: - lang: eng text: 'The state of a diploid population segregating for two alleles at each of n loci is described by 22(n) genotype frequencies, or equivalently, by allele frequencies and by multilocus moments or cumulants of various orders. These measures of linkage disequilibrium cannot usually be determined, both because one cannot tell whether a gene came from the maternal or paternal gamete, and because such a large number of parameters cannot be estimated even from large samples. Simplifying assumptions must therefore be made. This paper sets out methods for estimating multilocus genotype frequencies which are appropriate for unlinked neutral loci, and for populations that are ultimately derived by mixing of two source populations. In such a hybrid population, all multilocus associations depend primarily on the number of loci involved that derive from the maternal genome, and the number derived from the paternal genome Allele frequencies may differ across loci, and the contribution of each locus to multilocus associations may be scaled by the difference in allele frequency between source populations for that locus (δp ≤ 1). For example, the cumulant describing the association between genes i, j, k from the maternal genome, and genes i, l from the paternal genome is K(tJ,k,iλ*), = δp(i)/2 δp(J) δp(k) δp(l) κ3,2. The state of the population is described by n allele frequencies; n divergences, δp; and by a symmetric matrix of cumulants, κ(J,K) (J = 0 ,..., n, K = 0 ,..., n). Expressions for these cumulants under short- and long-range migration are given. Two methods for estimating the cumulants are described: a simple method based on multivariate moments, and a maximum likelihood procedure, which uses the Metropolis algorithm. Both methods perform well when tested against simulations with two or four loci.' acknowledgement: This work was supported by grant MMI09726 from the BBSRC/EPSRC, and by the Darwin Trust of Edinburgh. I am grateful to W. G. Hill, L. Kruuk and M. Orive, and to the referees, for their helpful comments on the manuscript. article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. Estimating multilocus linkage disequilibria. Heredity. 2000;84(3):373-389. doi:10.1046/j.1365-2540.2000.00683.x apa: Barton, N. H. (2000). Estimating multilocus linkage disequilibria. Heredity. Nature Publishing Group. https://doi.org/10.1046/j.1365-2540.2000.00683.x chicago: Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity. Nature Publishing Group, 2000. https://doi.org/10.1046/j.1365-2540.2000.00683.x. ieee: N. H. Barton, “Estimating multilocus linkage disequilibria,” Heredity, vol. 84, no. 3. Nature Publishing Group, pp. 373–389, 2000. ista: Barton NH. 2000. Estimating multilocus linkage disequilibria. Heredity. 84(3), 373–389. mla: Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity, vol. 84, no. 3, Nature Publishing Group, 2000, pp. 373–89, doi:10.1046/j.1365-2540.2000.00683.x. short: N.H. Barton, Heredity 84 (2000) 373–389. date_created: 2018-12-11T12:04:18Z date_published: 2000-03-01T00:00:00Z date_updated: 2023-05-02T12:04:03Z day: '01' doi: 10.1046/j.1365-2540.2000.00683.x extern: '1' external_id: pmid: - '10762407' intvolume: ' 84' issue: '3' language: - iso: eng main_file_link: - url: https://www.nature.com/articles/6886830 month: '03' oa_version: None page: 373 - 389 pmid: 1 publication: Heredity publication_identifier: issn: - 0018-067X publication_status: published publisher: Nature Publishing Group publist_id: '2759' quality_controlled: '1' scopus_import: '1' status: public title: Estimating multilocus linkage disequilibria type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 84 year: '2000' ... --- _id: '3798' abstract: - lang: eng text: Glutamate is the main excitatory transmitter in the mammalian CNS, mediating fast synaptic transmission primarily by activation of AMPA-type glutamate receptor channels. Both synaptic structure and a cell-specific molecular switch in the AMPA receptor subunit expression are involved in the regulation of the synaptic signaling time course. acknowledgement: I thank Drs. J.R.P. Geiger, K. Haverkampf, and B. Taskin for helpful discussions. This review is based on a lecture given in Lisbon in March 1998 on the occasion of the first award of the Medinfar European Prize in Physiology. My studies are supported by the Deutsche Forschungsgemeinschaft, the German Israeli Foundation, and the Human Frontiers Science Program Organization. I regret that many relevant papers could not be cited due to editorial restric-tions on the maximum number of references. article_processing_charge: No article_type: original author: - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: Jonas PM. The time course of signaling at central glutamatergic synapses. Physiology. 2000;15(2):83-89. doi:10.1152/physiologyonline.2000.15.2.83 apa: Jonas, P. M. (2000). The time course of signaling at central glutamatergic synapses. Physiology. American Physiological Society. https://doi.org/10.1152/physiologyonline.2000.15.2.83 chicago: Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology. American Physiological Society, 2000. https://doi.org/10.1152/physiologyonline.2000.15.2.83. ieee: P. M. Jonas, “The time course of signaling at central glutamatergic synapses,” Physiology, vol. 15, no. 2. American Physiological Society, pp. 83–89, 2000. ista: Jonas PM. 2000. The time course of signaling at central glutamatergic synapses. Physiology. 15(2), 83–89. mla: Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology, vol. 15, no. 2, American Physiological Society, 2000, pp. 83–89, doi:10.1152/physiologyonline.2000.15.2.83. short: P.M. Jonas, Physiology 15 (2000) 83–89. date_created: 2018-12-11T12:05:14Z date_published: 2000-04-01T00:00:00Z date_updated: 2023-05-02T11:57:50Z day: '01' doi: 10.1152/physiologyonline.2000.15.2.83 extern: '1' external_id: pmid: - '11390884' intvolume: ' 15' issue: '2' language: - iso: eng month: '04' oa_version: None page: 83 - 89 pmid: 1 publication: Physiology publication_identifier: issn: - 1548-9213 publication_status: published publisher: American Physiological Society publist_id: '2412' quality_controlled: '1' scopus_import: '1' status: public title: The time course of signaling at central glutamatergic synapses type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 15 year: '2000' ... --- _id: '4004' abstract: - lang: eng text: In this paper we introduce the abacus model of a simplex and use it to subdivide a d-simplex into k(d) d-simplices all of the same volume and shape characteristics. The construction is an extension of the subdivision method of Freudenthal [3] and has been used by Goodman and Peters [4] to design smooth manifolds. acknowledgement: NSF under Grant DMS 98-73945, NSF under Grant CCR-96-19542 and by ARO under Grant DAAG55- 98-1-0177. article_processing_charge: No article_type: original author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Daniel full_name: Grayson, Daniel last_name: Grayson citation: ama: Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063 apa: Edelsbrunner, H., & Grayson, D. (2000). Edgewise subdivision of a simplex. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s004540010063 chicago: Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry. Springer, 2000. https://doi.org/10.1007/s004540010063. ieee: H. Edelsbrunner and D. Grayson, “Edgewise subdivision of a simplex,” Discrete & Computational Geometry, vol. 24, no. 4. Springer, pp. 707–719, 2000. ista: Edelsbrunner H, Grayson D. 2000. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 24(4), 707–719. mla: Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry, vol. 24, no. 4, Springer, 2000, pp. 707–19, doi:10.1007/s004540010063. short: H. Edelsbrunner, D. Grayson, Discrete & Computational Geometry 24 (2000) 707–719. date_created: 2018-12-11T12:06:23Z date_published: 2000-12-01T00:00:00Z date_updated: 2023-05-02T11:43:59Z day: '01' doi: 10.1007/s004540010063 extern: '1' intvolume: ' 24' issue: '4' language: - iso: eng month: '12' oa_version: None page: 707 - 719 publication: Discrete & Computational Geometry publication_identifier: issn: - 0179-5376 publication_status: published publisher: Springer publist_id: '2119' quality_controlled: '1' scopus_import: '1' status: public title: Edgewise subdivision of a simplex type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 24 year: '2000' ... --- _id: '3923' article_processing_charge: No author: - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 citation: ama: 'Cremer S. Paternity analysis with AFLPs in Cardiocondyla ants. Futura: the Journal of the Boehringer Ingelheim Fonds. 2000;15(1):68-71.' apa: 'Cremer, S. (2000). Paternity analysis with AFLPs in Cardiocondyla ants. Futura: The Journal of the Boehringer Ingelheim Fonds. Hippokrates.' chicago: 'Cremer, Sylvia. “Paternity Analysis with AFLPs in Cardiocondyla Ants.” Futura: The Journal of the Boehringer Ingelheim Fonds. Hippokrates, 2000.' ieee: 'S. Cremer, “Paternity analysis with AFLPs in Cardiocondyla ants,” Futura: the Journal of the Boehringer Ingelheim Fonds, vol. 15, no. 1. Hippokrates, pp. 68–71, 2000.' ista: 'Cremer S. 2000. Paternity analysis with AFLPs in Cardiocondyla ants. Futura: the Journal of the Boehringer Ingelheim Fonds. 15(1), 68–71.' mla: 'Cremer, Sylvia. “Paternity Analysis with AFLPs in Cardiocondyla Ants.” Futura: The Journal of the Boehringer Ingelheim Fonds, vol. 15, no. 1, Hippokrates, 2000, pp. 68–71.' short: 'S. Cremer, Futura: The Journal of the Boehringer Ingelheim Fonds 15 (2000) 68–71.' date_created: 2018-12-11T12:05:55Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-02T11:47:47Z day: '01' extern: '1' intvolume: ' 15' issue: '1' language: - iso: eng month: '01' oa_version: None page: 68 - 71 publication: 'Futura: the Journal of the Boehringer Ingelheim Fonds' publication_identifier: issn: - 0179-6372 publication_status: published publisher: Hippokrates publist_id: '2228' status: public title: Paternity analysis with AFLPs in Cardiocondyla ants type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 15 year: '2000' ... --- _id: '3548' abstract: - lang: eng text: Simultaneous recording from large numbers of neurons is a prerequisite for understanding their cooperative behavior. Various recording techniques and spike separation methods are being used toward this goal. However, the error rates involved in spike separation have not yet been quantified. We studied the separation reliability of “tetrode” (4-wire electrode) recorded spikes by monitoring simultaneously from the same cell intracellularly with a glass pipette and extracellularly with a tetrode. With manual spike sorting, we found a trade-off between Type I and Type II errors, with errors typically ranging from 0 to 30% depending on the amplitude and firing pattern of the cell, the similarity of the waveshapes of neighboring neurons, and the experience of the operator. Performance using only a single wire was markedly lower, indicating the advantages of multiple-site monitoring techniques over single-wire recordings. For tetrode recordings, error rates were increased by burst activity and during periods of cellular synchrony. The lowest possible separation error rates were estimated by a search for the best ellipsoidal cluster shape. Human operator performance was significantly below the estimated optimum. Investigation of error distributions indicated that suboptimal performance was caused by inability of the operators to mark cluster boundaries accurately in a high-dimensional feature space. We therefore hypothesized that automatic spike-sorting algorithms have the potential to significantly lower error rates. Implementation of a semi-automatic classification system confirms this suggestion, reducing errors close to the estimated optimum, in the range 0-8%. acknowledgement: The costs of publication of this article were defrayed in part by the payment of page charges. The article must therefore be hereby marked ‘‘advertisement’ ’in accordance with 18 U.S.C. Section 1734 solely to indicate this fact. We thank R. Bruno for performing cluster analysis and drawing our attention to the AutoClass program, M. Recce and P. Mitra for suggestions withdata analysis and comments on the manuscript, C. King, G. Dragoi, and X.Leinekugel for performing cluster analysis, and J. Hetke and K. Wise for supplying silicon probes. The data used in this paper are available on request by e-mail to G. Buzsaki. This work was supported by National Institutes of Health Grants NS-34994,413 MH-54671, and MH-12403 (to D. A. Henze) and by the Epilepsy Foundationof America (to D. A. Henze). article_processing_charge: No article_type: original author: - first_name: Kenneth full_name: Harris, Kenneth last_name: Harris - first_name: Darrell full_name: Henze, Darrell last_name: Henze - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 - first_name: Hajima full_name: Hirase, Hajima last_name: Hirase - first_name: György full_name: Buzsáki, György last_name: Buzsáki citation: ama: Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 2000;84(1):401-414. doi:10.1152/jn.2000.84.1.401 apa: Harris, K., Henze, D., Csicsvari, J. L., Hirase, H., & Buzsáki, G. (2000). Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.2000.84.1.401 chicago: Harris, Kenneth, Darrell Henze, Jozsef L Csicsvari, Hajima Hirase, and György Buzsáki. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology. American Physiological Society, 2000. https://doi.org/10.1152/jn.2000.84.1.401. ieee: K. Harris, D. Henze, J. L. Csicsvari, H. Hirase, and G. Buzsáki, “Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 401–414, 2000. ista: Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. 2000. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 84(1), 401–414. mla: Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14, doi:10.1152/jn.2000.84.1.401. short: K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414. date_created: 2018-12-11T12:03:54Z date_published: 2000-07-01T00:00:00Z date_updated: 2023-05-02T14:16:45Z day: '01' doi: 10.1152/jn.2000.84.1.401 extern: '1' external_id: pmid: - '10899214 ' intvolume: ' 84' issue: '1' language: - iso: eng month: '07' oa_version: None page: 401 - 414 pmid: 1 publication: Journal of Neurophysiology publication_identifier: issn: - 0022-3077 publication_status: published publisher: American Physiological Society publist_id: '2837' quality_controlled: '1' status: public title: Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 84 year: '2000' ... --- _id: '3532' abstract: - lang: eng text: Multichannel tetrode array recording in awake behaving animals provides a powerful method to record the activity of large numbers of neurons. The power of this method could be extended if further information concerning the intracellular state of the neurons could be extracted from the extracellularly recorded signals. Toward this end, we have simultaneously recorded intracellular and extracellular signals from hippocampal CA1 pyramidal cells and interneurons in the anesthetized rat. We found that several intracellular parameters can be deduced from extracellular spike waveforms. The width of the intracellular action potential is defined precisely by distinct points on the extracellular spike. Amplitude changes of the intracellular action potential are reflected by changes in the amplitude of the initial negative phase of the extracellular spike, and these amplitude changes are dependent on the state of the network. In addition, intracellular recordings from dendrites with simultaneous extracellular recordings from the soma indicate that, on average, action potentials are initiated in the perisomatic region and propagate to the dendrites at 1.68 m/s. Finally we determined that a tetrode in hippocampal area CA1 theoretically should be able to record electrical signals from similar to 1,000 neurons. Of these, 60-100 neurons should generate spikes of sufficient amplitude to be detectable from the noise and to allow for their separation using current spatial clustering methods. This theoretical maximum is in contrast to the approximately six units that are usually detected per tetrode. From this, we conclude that a large percentage of hippocampal CA1 pyramidal cells are silent in any given behavioral condition. acknowledgement: We thank M. Recce for comments on the manuscript and J. Hetke and K.Wise for supplying us with the silicon probes (1P41RR09754).This work was supported by National Institutes of Health Grants NS-34994,MH-54671, and MH-12403 (to D. A. Henze), the Epilepsy Foundation of American (D. A.Henze), and an Eotvos fellowship (Z. Borhegyi). article_processing_charge: No article_type: original author: - first_name: Darrell full_name: Henze, Darrell last_name: Henze - first_name: Zsolt full_name: Borhegyi, Zsolt last_name: Borhegyi - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 - first_name: Akira full_name: Mamiya, Akira last_name: Mamiya - first_name: Kenneth full_name: Harris, Kenneth last_name: Harris - first_name: György full_name: Buzsáki, György last_name: Buzsáki citation: ama: Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 2000;84(1):390-400. doi:10.1152/jn.2000.84.1.390 apa: Henze, D., Borhegyi, Z., Csicsvari, J. L., Mamiya, A., Harris, K., & Buzsáki, G. (2000). Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.2000.84.1.390 chicago: Henze, Darrell, Zsolt Borhegyi, Jozsef L Csicsvari, Akira Mamiya, Kenneth Harris, and György Buzsáki. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology. American Physiological Society, 2000. https://doi.org/10.1152/jn.2000.84.1.390. ieee: D. Henze, Z. Borhegyi, J. L. Csicsvari, A. Mamiya, K. Harris, and G. Buzsáki, “Intracellular features predicted by extracellular recordings in the hippocampus in vivo,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 390–400, 2000. ista: Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. 2000. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 84(1), 390–400. mla: Henze, Darrell, et al. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 390–400, doi:10.1152/jn.2000.84.1.390. short: D. Henze, Z. Borhegyi, J.L. Csicsvari, A. Mamiya, K. Harris, G. Buzsáki, Journal of Neurophysiology 84 (2000) 390–400. date_created: 2018-12-11T12:03:49Z date_published: 2000-07-01T00:00:00Z date_updated: 2023-05-02T14:31:13Z day: '01' doi: 10.1152/jn.2000.84.1.390 extern: '1' external_id: pmid: - '10899213' intvolume: ' 84' issue: '1' language: - iso: eng month: '07' oa_version: None page: 390 - 400 pmid: 1 publication: Journal of Neurophysiology publication_identifier: issn: - 0022-3077 publication_status: published publisher: American Physiological Society publist_id: '2854' quality_controlled: '1' status: public title: Intracellular features predicted by extracellular recordings in the hippocampus in vivo type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 84 year: '2000' ... --- _id: '3623' abstract: - lang: eng text: 'We present the theoretical background to a new method for measuring genetic variation for total fitness in Drosophila. The method allows heterozygous effects on total fitness of whole wild-type chromosomes to be measured under normal demography with overlapping generations. The wild-type chromosomes are competed against two balancer chromosomes (B1, B2, say), providing a standard genotype B1/B2 against which variation in the fitness effects of the wild-type chromosomes can be assessed. Fitness can be assessed in two ways: (i) at equilibrium of all three chromosomes under heterozygote advantage, and (ii) during displacement of one balancer by the other. Equilibrium with all three chromosomes present will be achieved only if the wild-type homozygote is not too fit, and if the fitnesses of the three heterozygotes are not too unequal. These conditions were not satisfied for any of a sample of 12 lethal-bearing chromosomes isolated from a random-bred laboratory population of Drosophila. At equilibrium, genotypic frequencies show low sensitivity to changes in genotypic fitness. Furthermore, where all four genotypes are viable and fertile, supplementary information from cages with only two chromosomes present and from direct measurements of pre-adult viability are required to estimate fitnesses from frequencies. The invasion method has the advantages of a greater sensitivity and of not requiring further data to estimate fitnesses if the wild-type homozygote is fertile. However, it requires that multiple samples be taken as the invasion progresses. In a discrete generation model, generation time influences fitness estimates from this method and is difficult to estimate accurately from the data. A full age-structured model can also be applied to the data from both types of experiment. For the invasion method, this gives fitness estimates close to those from the discrete generation model.' acknowledgement: This work was supported by grant GR31/G09821 from the BBSRC, and by fellowships from the Darwin Trust of Edinburgh and the NERC. We are grateful to the referees for their helpful comments on the manuscript. article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Linda full_name: Patridge, Linda last_name: Patridge citation: ama: Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346 apa: Barton, N. H., & Patridge, L. (2000). Measuring fitness by means of balancer chromosomes. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004346 chicago: Barton, Nicholas H, and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672399004346. ieee: N. H. Barton and L. Patridge, “Measuring fitness by means of balancer chromosomes,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 297–314, 2000. ista: Barton NH, Patridge L. 2000. Measuring fitness by means of balancer chromosomes. Genetical Research. 75(3), 297–314. mla: Barton, Nicholas H., and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 297–314, doi:10.1017/S0016672399004346. short: N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314. date_created: 2018-12-11T12:04:18Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-05-02T12:09:23Z day: '01' doi: 10.1017/S0016672399004346 extern: '1' external_id: pmid: - '10893866' intvolume: ' 75' issue: '3' language: - iso: eng month: '06' oa_version: None page: 297 - 314 pmid: 1 publication: Genetical Research publication_identifier: issn: - 0016-6723 publication_status: published publisher: Cambridge University Press publist_id: '2760' quality_controlled: '1' scopus_import: '1' status: public title: Measuring fitness by means of balancer chromosomes type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 75 year: '2000' ... --- _id: '3555' abstract: - lang: eng text: A sliver is a tetrahedron whose four vertices lie close to a plane and whose perpendicular projection to that plane is a convex quadrilateral with no short edge. Slivers are both undesirable and ubiquitous in 3-dimensional Delaunay triangulations. Even when the point-set is well-spaced, slivers may result. This paper shows that such a point set permits a small perturbation whose Delaunay triangulation contains no slivers. It also gives deterministic algorithms that compute the perturbation of n points in time O(n log n) with one processor and in time O(log n) with O(n) processors. article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Xiang full_name: Li, Xiang id: 4B7E523C-F248-11E8-B48F-1D18A9856A87 last_name: Li - first_name: Gary full_name: Miller, Gary last_name: Miller - first_name: Andreas full_name: Stathopoulos, Andreas last_name: Stathopoulos - first_name: Dafna full_name: Talmor, Dafna last_name: Talmor - first_name: Shang full_name: Teng, Shang last_name: Teng - first_name: Alper full_name: Üngör, Alper last_name: Üngör - first_name: Noel full_name: Walkington, Noel last_name: Walkington citation: ama: 'Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: Proceedings of the 32nd Annual ACM Symposium on Theory of Computing. ACM; 2000:273-277. doi:10.1145/335305.335338' apa: 'Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S., … Walkington, N. (2000). Smoothing and cleaning up slivers. In Proceedings of the 32nd annual ACM symposium on Theory of computing (pp. 273–277). Portland, OR, USA: ACM. https://doi.org/10.1145/335305.335338' chicago: Edelsbrunner, Herbert, Xiang Li, Gary Miller, Andreas Stathopoulos, Dafna Talmor, Shang Teng, Alper Üngör, and Noel Walkington. “Smoothing and Cleaning up Slivers.” In Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, 273–77. ACM, 2000. https://doi.org/10.1145/335305.335338. ieee: H. Edelsbrunner et al., “Smoothing and cleaning up slivers,” in Proceedings of the 32nd annual ACM symposium on Theory of computing, Portland, OR, USA, 2000, pp. 273–277. ista: 'Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. Proceedings of the 32nd annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 273–277.' mla: Edelsbrunner, Herbert, et al. “Smoothing and Cleaning up Slivers.” Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–77, doi:10.1145/335305.335338. short: H. Edelsbrunner, X. Li, G. Miller, A. Stathopoulos, D. Talmor, S. Teng, A. Üngör, N. Walkington, in:, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–277. conference: end_date: 2000-05-23 location: Portland, OR, USA name: 'STOC: Symposium on the Theory of Computing' start_date: 2000-05-21 date_created: 2018-12-11T12:03:56Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-05-02T14:07:00Z day: '01' doi: 10.1145/335305.335338 extern: '1' language: - iso: eng month: '06' oa_version: None page: 273 - 277 publication: Proceedings of the 32nd annual ACM symposium on Theory of computing publication_identifier: isbn: - '9781581131840' publication_status: published publisher: ACM publist_id: '2830' quality_controlled: '1' scopus_import: '1' status: public title: Smoothing and cleaning up slivers type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '3492' abstract: - lang: eng text: Analysis of presynaptic determinants of synaptic strength has been difficult at cortical synapses, mainly due to the lack of direct access to presynaptic elements. Here we report patch-clamp recordings from mossy fiber boutons (MFBs) in rat hippocampal slices. The presynaptic action potential is very short during low-frequency stimulation but is prolonged up to 3-fold during high-frequency stimulation. Voltage-gated K+ channels in MFBs inactivate rapidly but recover from inactivation very slowly, suggesting that cumulative K+ channel inactivation mediates activity-dependent spike broadening. Prolongation of the presynaptic voltage waveform leads to an increase in the number of Ca2+ ions entering the terminal per action potential and to a consecutive potentiation of evoked excitatory postsynaptic currents at MFB-CA3 pyramidal cell synapses. Thus, inactivation of presynaptic K+ channels contributes to the control of efficacy of a glutamatergic synapse in the cortex. article_processing_charge: No article_type: original author: - first_name: Jörg full_name: Geiger, Jörg last_name: Geiger - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: Geiger J, Jonas PM. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 2000;28(3):927-939. doi:10.1016/S0896-6273(00)00164-1 apa: Geiger, J., & Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00164-1 chicago: Geiger, Jörg, and Peter M Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00164-1. ieee: J. Geiger and P. M. Jonas, “Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 28, no. 3. Elsevier, pp. 927–939, 2000. ista: Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939. mla: Geiger, Jörg, and Peter M. Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 28, no. 3, Elsevier, 2000, pp. 927–39, doi:10.1016/S0896-6273(00)00164-1. short: J. Geiger, P.M. Jonas, Neuron 28 (2000) 927–939. date_created: 2018-12-11T12:03:37Z date_published: 2000-12-01T00:00:00Z date_updated: 2023-05-02T14:34:37Z day: '01' doi: 10.1016/S0896-6273(00)00164-1 extern: '1' external_id: pmid: - '11163277' intvolume: ' 28' issue: '3' language: - iso: eng month: '12' oa_version: None page: 927 - 939 pmid: 1 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier publist_id: '2895' quality_controlled: '1' status: public title: Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 28 year: '2000' ... --- _id: '3542' abstract: - lang: eng text: Transfer of neuronal patterns from the CA3 to CA1 region was studied by simultaneous recording of neuronal ensembles in the behaving rat. A nonlinear interaction among pyramidal neurons was observed during sharp wave (SPW)-related population bursts, with stronger synchrony associated with more widespread spatial coherence. SPW bursts emerged in the CA3a-b subregions and spread to CA3c before invading the CA1 area. Synchronous discharge of >10% of the CA3 within a 100 ms window was required to exert a detectable influence on CA1 pyramidal cells. Activity of some CA3 pyramidal neurons differentially predicted the ripple-related discharge of circumscribed groups of CA1 pyramidal cells. We suggest that, in SPW behavioral state, the coherent discharge of a small group of CA3 cells is the primary cause of spiking activity in CA1 pyramidal neurons. article_processing_charge: No article_type: original author: - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 - first_name: Hajima full_name: Hirase, Hajima last_name: Hirase - first_name: Akira full_name: Mamiya, Akira last_name: Mamiya - first_name: György full_name: Buzsáki, György last_name: Buzsáki citation: ama: Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 2000;28(2):585-594. doi:10.1016/S0896-6273(00)00135-5 apa: Csicsvari, J. L., Hirase, H., Mamiya, A., & Buzsáki, G. (2000). Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00135-5 chicago: Csicsvari, Jozsef L, Hajima Hirase, Akira Mamiya, and György Buzsáki. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00135-5. ieee: J. L. Csicsvari, H. Hirase, A. Mamiya, and G. Buzsáki, “Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events,” Neuron, vol. 28, no. 2. Elsevier, pp. 585–594, 2000. ista: Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. 2000. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 28(2), 585–594. mla: Csicsvari, Jozsef L., et al. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 585–94, doi:10.1016/S0896-6273(00)00135-5. short: J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594. date_created: 2018-12-11T12:03:52Z date_published: 2000-11-01T00:00:00Z date_updated: 2023-05-02T14:26:07Z day: '01' doi: 10.1016/S0896-6273(00)00135-5 extern: '1' intvolume: ' 28' issue: '2' language: - iso: eng month: '11' oa_version: None page: 585 - 594 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier publist_id: '2843' quality_controlled: '1' status: public title: Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 28 year: '2000' ... --- _id: '3583' abstract: - lang: eng text: The Delaunay triangulation of a finite point set is a central theme in computational geometry. It finds its major application in the generation of meshes used in the simulation of physical processes. This paper connects the predominantly combinatorial work in classical computational geometry with the numerical interest in mesh generation. It focuses on the two- and three-dimensional case and covers results obtained during the twentieth century. acknowledgement: Research is partially supported by the Army Research Office under grant DAAG55-98-1-0177 and by the National Science Foundation under grants CCR-96-19542 and CCR-97-12088. article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: Edelsbrunner H. Triangulations and meshes in computational geometry. Acta Numerica. 2000;9:133-213. doi:10.1017/S0962492900001331 apa: Edelsbrunner, H. (2000). Triangulations and meshes in computational geometry. Acta Numerica. Cambridge University Press. https://doi.org/10.1017/S0962492900001331 chicago: Edelsbrunner, Herbert. “Triangulations and Meshes in Computational Geometry.” Acta Numerica. Cambridge University Press, 2000. https://doi.org/10.1017/S0962492900001331. ieee: H. Edelsbrunner, “Triangulations and meshes in computational geometry,” Acta Numerica, vol. 9. Cambridge University Press, pp. 133–213, 2000. ista: Edelsbrunner H. 2000. Triangulations and meshes in computational geometry. Acta Numerica. 9, 133–213. mla: Edelsbrunner, Herbert. “Triangulations and Meshes in Computational Geometry.” Acta Numerica, vol. 9, Cambridge University Press, 2000, pp. 133–213, doi:10.1017/S0962492900001331. short: H. Edelsbrunner, Acta Numerica 9 (2000) 133–213. date_created: 2018-12-11T12:04:05Z date_published: 2000-03-21T00:00:00Z date_updated: 2023-05-02T12:20:27Z day: '21' doi: 10.1017/S0962492900001331 extern: '1' intvolume: ' 9' language: - iso: eng month: '03' oa_version: None page: 133 - 213 publication: Acta Numerica publication_status: published publisher: Cambridge University Press publist_id: '2802' quality_controlled: '1' scopus_import: '1' status: public title: Triangulations and meshes in computational geometry type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 9 year: '2000' ... --- _id: '3572' abstract: - lang: eng text: "Allzulange wurde die spielhafte Beschäftigung als Gegensatz zu ernsthafter Arbeit gesehen. Dieser Artikel propagiert die spielerische Untersuchung von Kreis- und Kugelmengen. Gleichzeitig belegt er die nutzbare Anwendung\r\nvon elementaren Einsichten in der Molekularbiologie und allgemeiner\r\nin der Beschreibung von Form und Verformung." article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: 'Edelsbrunner H. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst Des Formalen Denkens. Passagen Verlag; 2000:153-171.' apa: Edelsbrunner, H. (2000). Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In Zur Kunst des formalen Denkens (pp. 153–171). Passagen Verlag. chicago: Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” In Zur Kunst Des Formalen Denkens, 153–71. Passagen Verlag, 2000. ieee: H. Edelsbrunner, “Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung,” in Zur Kunst des formalen Denkens, Passagen Verlag, 2000, pp. 153–171. ista: 'Edelsbrunner H. 2000.Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst des formalen Denkens. , 153–171.' mla: Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–71. short: H. Edelsbrunner, in:, Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–171. date_created: 2018-12-11T12:04:01Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-02T13:07:14Z day: '01' extern: '1' language: - iso: eng month: '01' oa_version: None page: 153 - 171 publication: Zur Kunst des formalen Denkens publication_identifier: isbn: - '3851653580' publication_status: published publisher: Passagen Verlag publist_id: '2813' quality_controlled: '1' status: public title: Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '3491' abstract: - lang: eng text: Fast and reliable activation of inhibitory interneurons is critical for the stability of cortical neuronal networks. Active conductances in dendrites may facilitate interneuron activation, but direct experimental evidence was unavailable. Patch-clamp recordings from dendrites of hippocampal oriens- alveus interneurons revealed high densities of voltage-gated sodium and potassium ion channels. Simultaneous recordings from dendrites and somata suggested that action potential initiation occurs preferentially in the axon with long threshold stimuli, but can be shifted to somatodendritic sites when brief stimuli are applied. After initiation, action potentials propagate over the somatodendritic domain with constant amplitude, high velocity, and reliability, even during high-frequency trains. article_processing_charge: No article_type: original author: - first_name: Marco full_name: Martina, Marco last_name: Martina - first_name: Imre full_name: Vida, Imre last_name: Vida - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: Martina M, Vida I, Jonas PM. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 2000;287(5451):295-300. doi:10.1126/science.287.5451.295 apa: Martina, M., Vida, I., & Jonas, P. M. (2000). Distal initiation and active propagation of action potentials in interneuron dendrites. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.287.5451.295 chicago: Martina, Marco, Imre Vida, and Peter M Jonas. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science. American Association for the Advancement of Science, 2000. https://doi.org/10.1126/science.287.5451.295. ieee: M. Martina, I. Vida, and P. M. Jonas, “Distal initiation and active propagation of action potentials in interneuron dendrites,” Science, vol. 287, no. 5451. American Association for the Advancement of Science, pp. 295–300, 2000. ista: Martina M, Vida I, Jonas PM. 2000. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 287(5451), 295–300. mla: Martina, Marco, et al. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science, vol. 287, no. 5451, American Association for the Advancement of Science, 2000, pp. 295–300, doi:10.1126/science.287.5451.295. short: M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300. date_created: 2018-12-11T12:03:36Z date_published: 2000-01-14T00:00:00Z date_updated: 2023-05-03T07:55:32Z day: '14' doi: 10.1126/science.287.5451.295 extern: '1' external_id: pmid: - '10634782' intvolume: ' 287' issue: '5451' language: - iso: eng month: '01' oa_version: None page: 295 - 300 pmid: 1 publication: Science publication_identifier: issn: - 0036-8075 publication_status: published publisher: American Association for the Advancement of Science publist_id: '2896' quality_controlled: '1' scopus_import: '1' status: public title: Distal initiation and active propagation of action potentials in interneuron dendrites type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 287 year: '2000' ... --- _id: '3489' abstract: - lang: eng text: We have examined factors that determine the strength and dynamics of GABAergic synapses between interneurons [dentate gyrus basket cells (BCs)] and principal neurons [dentate gyrus granule cells (GCs)] using paired recordings in rat hippocampal slices at 34°C. Unitary IPSCs recorded from BC–GC pairs in high intracellular Cl− concentration showed a fast rise and a biexponential decay, with mean time constants of 2 and 9 msec. The mean quantal conductance change, determined directly at reduced extracellular Ca2+/Mg2+concentration ratios, was 1.7 nS. Quantal release at the BC–GC synapse occurred with short delay and was highly synchronized. Analysis of IPSC peak amplitudes and numbers of failures by multiple probability compound binomial analysis indicated that synaptic transmission at the BC–GC synapse involves three to seven release sites, each of which releases transmitter with high probability (∼0.5 in 2 mMCa2+/1 mM Mg2+). Unitary BC–GC IPSCs showed paired-pulse depression (PPD); maximal depression, measured for 10 msec intervals, was 37%, and recovery from depression occurred with a time constant of 2 sec. Paired-pulse depression was mainly presynaptic in origin but appeared to be independent of previous release. Synaptic transmission at the BC–GC synapse showed frequency-dependent depression, with half-maximal decrease at 5 Hz after a series of 1000 presynaptic action potentials. The relative stability of transmission at the BC–GC synapse is consistent with a model in which an activity-dependent gating mechanism reduces release probability and thereby prevents depletion of the releasable pool of synaptic vesicles. Thus several mechanisms converge on the generation of powerful and sustained transmission at interneuron–principal neuron synapses in hippocampal circuits. acknowledgement: This work was supported by grants from the Deutsche Forschungsgemeinschaft (SFB 505/C5) and the Human Frontiers Science Program Organization (RG0017/1998-B) to P.J. Novartis generously provided CGP55845A. We thank Drs. J. Bischofberger, F. A. Edwards, J. R. P. Geiger, M. V. Jones, M. Martina, and A. Roth for critically reading this manuscript. We also thank A. Blomenkamp for technical assistance. article_processing_charge: No article_type: original author: - first_name: Udo full_name: Kraushaar, Udo last_name: Kraushaar - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: Kraushaar U, Jonas PM. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 2000;20(15):5594-5607. doi:10.1523/JNEUROSCI.20-15-05594.2000 apa: Kraushaar, U., & Jonas, P. M. (2000). Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000 chicago: Kraushaar, Udo, and Peter M Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000. ieee: U. Kraushaar and P. M. Jonas, “Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse,” Journal of Neuroscience, vol. 20, no. 15. Society for Neuroscience, pp. 5594–5607, 2000. ista: Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 20(15), 5594–5607. mla: Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607, doi:10.1523/JNEUROSCI.20-15-05594.2000. short: U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607. date_created: 2018-12-11T12:03:36Z date_published: 2000-08-01T00:00:00Z date_updated: 2023-05-03T08:18:39Z day: '01' doi: 10.1523/JNEUROSCI.20-15-05594.2000 extern: '1' external_id: pmid: - '10908596' intvolume: ' 20' issue: '15' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6772523/ month: '08' oa: 1 oa_version: Published Version page: 5594 - 5607 pmid: 1 publication: Journal of Neuroscience publication_identifier: issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience publist_id: '2898' quality_controlled: '1' scopus_import: '1' status: public title: Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 20 year: '2000' ... --- _id: '3490' abstract: - lang: eng text: Long-term depression (LTD) is a form of synaptic plasticity that can be induced either by low-frequency stimulation of presynaptic fibers or in an associative manner by asynchronous pairing of presynaptic and postsynaptic activity. We investigated the induction mechanisms of associative LTD in CA1 pyramidal neurons of the hippocampus using whole-cell patch-clamp recordings and Ca2+ imaging in acute brain slices. Asynchronous pairing of postsynaptic action potentials with EPSPs evoked with a delay of 20 msec induced a robust, long-lasting depression of the EPSP amplitude to 43%. Unlike LTD induced by low-frequency stimulation, associative LTD was resistant to the application of D-AP-5, indicating that it is independent of NMDA receptors. In contrast, associative LTD was inhibited by (S)-α-methyl-4-carboxyphenyl-glycine, indicating the involvement of metabotropic glutamate receptors. Furthermore, associative LTD is dependent on the activation of voltage-gated Ca2+ channels by postsynaptic action potentials. Both nifedipine, an L-type Ca2+ channel antagonist, and ω-conotoxin GVIA, a selective N-type channel blocker, abolished the induction of associative LTD. 8-hydroxy-2-dipropylaminotetralin (OH-DPAT), a 5-HT(1A) receptor agonist, inhibited postsynaptic Ca2+ influx through N-type Ca2+ channels, without affecting presynaptic transmitter release. OH-DPAT also inhibited the induction of associative LTD, suggesting that the involvement of N-type channels makes synaptic plasticity accessible to modulation by neurotransmitters. Thus, the modulation of N-type Ca2+ channels provides a gain control for synaptic depression in hippocampal pyramidal neurons. acknowledgement: This work was supported by a grant from the Deutsche Forschungsgemeinschaft Bi 642/1–2 and University funds (J.B.) and by the Vada and Theodore Stanley Foundation (J.W.). We thank Drs. M. Bartos, J. R. P. Geiger, and M. Martina for critically reading this manuscript and A. Blomenkamp for technical assistance. article_processing_charge: No article_type: original author: - first_name: Claus full_name: Normann, Claus last_name: Normann - first_name: Diana full_name: Peckys, Diana last_name: Peckys - first_name: Christian full_name: Schulze, Christian last_name: Schulze - first_name: Jörg full_name: Walden, Jörg last_name: Walden - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Joseph full_name: Bischofberger, Joseph last_name: Bischofberger citation: ama: Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 2000;20(22):8290-8297. doi:10.1523/JNEUROSCI.20-22-08290.2000 apa: Normann, C., Peckys, D., Schulze, C., Walden, J., Jonas, P. M., & Bischofberger, J. (2000). Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000 chicago: Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas, and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000. ieee: C. Normann, D. Peckys, C. Schulze, J. Walden, P. M. Jonas, and J. Bischofberger, “Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels,” Journal of Neuroscience, vol. 20, no. 22. Society for Neuroscience, pp. 8290–8297, 2000. ista: Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. 2000. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 20(22), 8290–8297. mla: Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience, vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97, doi:10.1523/JNEUROSCI.20-22-08290.2000. short: C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297. date_created: 2018-12-11T12:03:36Z date_published: 2000-11-15T00:00:00Z date_updated: 2023-05-03T08:02:52Z day: '15' doi: 10.1523/JNEUROSCI.20-22-08290.2000 extern: '1' external_id: pmid: - '11069935' intvolume: ' 20' issue: '22' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6773198/ month: '11' oa: 1 oa_version: Published Version page: 8290 - 8297 pmid: 1 publication: Journal of Neuroscience publication_identifier: issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience publist_id: '2897' quality_controlled: '1' status: public title: Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 20 year: '2000' ... --- _id: '3149' 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. 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. article_processing_charge: No article_type: original author: - first_name: Jae full_name: Hwang, Jae last_name: Hwang - first_name: Daria E full_name: Siekhaus, Daria E id: 3D224B9E-F248-11E8-B48F-1D18A9856A87 last_name: Siekhaus orcid: 0000-0001-8323-8353 - first_name: Robert full_name: Fuller, Robert last_name: Fuller - first_name: Paul full_name: Taghert, Paul last_name: Taghert - first_name: Iris full_name: Lindberg, Iris last_name: Lindberg citation: 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 ' 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 ' 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 .' 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.' 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.' 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 .' short: J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893. date_created: 2018-12-11T12:01:40Z date_published: 2000-06-09T00:00:00Z date_updated: 2023-05-03T08:47:13Z day: '09' doi: '10.1074/jbc.M000032200 ' extern: '1' external_id: pmid: - '10749852' intvolume: ' 275' issue: '23' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/S0021925819833215?via%3Dihub month: '06' oa: 1 oa_version: Published Version page: 17886 - 17893 pmid: 1 publication: Journal of Biological Chemistry publication_identifier: issn: - 0021-9258 publication_status: published publisher: American Society for Biochemistry and Molecular Biology publist_id: '3546' quality_controlled: '1' scopus_import: '1' status: public title: 'Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 275 year: '2000' ... --- _id: '2602' abstract: - lang: eng text: Although presynaptic localization of mGluR7 is well established, the mechanism by which the receptor may control Ca2+ channels in neurons is still unknown. We show here that cultured cerebellar granule cells express native metabotropic glutamate receptor type 7 (mGluR7) in neuritic processes, whereas transfected mGluR7 was also expressed in cell bodies. This allowed us to study the effect of the transfected receptor on somatic Ca2+ channels. In transfected neurons, mGuR7 selectively inhibited P/Q-type Ca2+ channels. The effect was mimicked by GTPγS and blocked by pertussis toxin (PTX) or a selective antibody raised against the G-protein αo subunit, indicating the involvement of a G(o)-like protein. The mGuR7 effect did not display the characteristics of a direct interaction between G-protein βγ subunits and the α1A Ca2+ channel subunit, but was abolished by quenching βγ subunits with specific intracellular peptides. Intracellular dialysis of G-protein βγ subunits did not mimic the action of mGluR7, suggesting that both G-protein βγ and αo subunits were required to mediate the effect. Inhibition of phospholipase C (PLC) blocked the inhibitory action of mGluR7, suggesting that a coincident activation of PLC by the G-protein βγ with αo subunits was required. The Ca2+ chelator BAPTA, as well as inhibition of either the inositol trisphosphate (IP3) receptor or protein kinase C (PKC) abolished the mGluR7 effect. Moreover, activation of native mGluR7 induced a PTX-dependent IP3 formation. These results indicated that IP3-mediated intracellular Ca2+ release was required for PKC-dependent inhibition of the Ca2+ channels. Possible control of synaptic transmission by the present mechanisms is discussed. acknowledgement: This work was supported by Centre National de la Recherche Scientifique and grants from Association Française contre les Myopathies, Fondation pour la Recherche Médicale, Bayer (France), and Hoechst-Marrion-Roussel (FRHMR1/9702). We thank J. P. Pin and F. Ango for constructive discussion of this work. We also thank Dr. J. Saugstad (Atlanta, GA) for the rat mGluR7a cDNA, J. M. Sabatier (Marseille, France) for the synthesis of the 68 AA peptide, V. Homburger (Montpellier, France) for the anti-Gαo antibody, and B. Mouillac (Montpellier, France) for the anti-cMyc monoclonal antibody. article_processing_charge: No article_type: original author: - first_name: Julie full_name: Perroy, Julie last_name: Perroy - first_name: Laurent full_name: Prezèau, Laurent last_name: Prezèau - first_name: Michel full_name: De Waard, Michel last_name: De Waard - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Joël full_name: Bockaërt, Joël last_name: Bockaërt - first_name: Laurent full_name: Fagni, Laurent last_name: Fagni citation: ama: Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 2000;20(21):7896-7904. doi:10.1523/JNEUROSCI.20-21-07896.2000 apa: Perroy, J., Prezèau, L., De Waard, M., Shigemoto, R., Bockaërt, J., & Fagni, L. (2000). Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.20-21-07896.2000 chicago: Perroy, Julie, Laurent Prezèau, Michel De Waard, Ryuichi Shigemoto, Joël Bockaërt, and Laurent Fagni. “Selective Blockade of P/Q-Type Calcium Channels by the Metabotropic Glutamate Receptor Type 7 Involves a Phospholipase C Pathway in Neurons.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-21-07896.2000. ieee: J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, and L. Fagni, “Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons,” Journal of Neuroscience, vol. 20, no. 21. Society for Neuroscience, pp. 7896–7904, 2000. ista: Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. 2000. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 20(21), 7896–7904. mla: Perroy, Julie, et al. “Selective Blockade of P/Q-Type Calcium Channels by the Metabotropic Glutamate Receptor Type 7 Involves a Phospholipase C Pathway in Neurons.” Journal of Neuroscience, vol. 20, no. 21, Society for Neuroscience, 2000, pp. 7896–904, doi:10.1523/JNEUROSCI.20-21-07896.2000. short: J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, L. Fagni, Journal of Neuroscience 20 (2000) 7896–7904. date_created: 2018-12-11T11:58:37Z date_published: 2000-11-01T00:00:00Z date_updated: 2023-05-03T09:48:17Z day: '01' doi: 10.1523/JNEUROSCI.20-21-07896.2000 extern: '1' external_id: pmid: - '11050109' intvolume: ' 20' issue: '21' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6772734/ month: '11' oa: 1 oa_version: Published Version page: 7896 - 7904 pmid: 1 publication: Journal of Neuroscience publication_identifier: issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience publist_id: '4296' quality_controlled: '1' scopus_import: '1' status: public title: Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 20 year: '2000' ... --- _id: '2603' abstract: - lang: eng text: Aggregation of neurotransmitter receptors at pre- and postsynaptic structures is crucial for efficient neuronal communication. In contrast to the wealth of information about postsynaptic specializations, little is known about the molecular organization of presynaptic membrane proteins. We show here that the metabotropic glutamate receptor mGluR7a, which localizes specifically to presynaptic active zones, interacts in vitro and in vivo with PICK1. Coexpression in heterologous systems induces coclustering dependent upon the extreme C terminus of mGluR7a and the PDZ domain of PICK1. mGluR7a and PICK1 localize to excitatory synapses in hippocampal neurons. Furthermore, whereas transfected mGluR7a clusters at presynaptic sites, mGluR7aΔ3 lacking the PICK1 binding site targets to axons but does not cluster. These results suggest that PICK1 is a component of the presynaptic machinery involved in mGlUR7a aggregation and in modulation of glutamate neurotransmission. acknowledgement: 'We thank Drs. S. Nakanishi, K. Moriyoshi, V. I. Gelfand, and P. J. Conn for gifts of cDNAs and antibodies, A. S. Serpinskaya and H. Wu for excellent preparation of neuron cultures, and H. J. Chung for help in immunoblots. This work was supported by the Pew Chari-table Trust and National Institutes of Health grants NS33184 and NS39286 (A. M. C.), K02MH01152 and NIDA DA10309 (P. W.), and a fellowship from IPSEN Foundation (H. B.). ' article_processing_charge: No article_type: original author: - first_name: Hélène full_name: Boudin, Hélène last_name: Boudin - first_name: Andrew full_name: Doan, Andrew last_name: Doan - first_name: Jun full_name: Xia, Jun last_name: Xia - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Richard full_name: Huganir, Richard last_name: Huganir - first_name: Paul full_name: Worley, Paul last_name: Worley - first_name: Ann full_name: Craig, Ann last_name: Craig citation: ama: Boudin H, Doan A, Xia J, et al. Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. 2000;28(2):485-497. doi:10.1016/S0896-6273(00)00127-6 apa: Boudin, H., Doan, A., Xia, J., Shigemoto, R., Huganir, R., Worley, P., & Craig, A. (2000). Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00127-6 chicago: Boudin, Hélène, Andrew Doan, Jun Xia, Ryuichi Shigemoto, Richard Huganir, Paul Worley, and Ann Craig. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00127-6. ieee: H. Boudin et al., “Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site,” Neuron, vol. 28, no. 2. Elsevier, pp. 485–497, 2000. ista: Boudin H, Doan A, Xia J, Shigemoto R, Huganir R, Worley P, Craig A. 2000. Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. 28(2), 485–497. mla: Boudin, Hélène, et al. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 485–97, doi:10.1016/S0896-6273(00)00127-6. short: H. Boudin, A. Doan, J. Xia, R. Shigemoto, R. Huganir, P. Worley, A. Craig, Neuron 28 (2000) 485–497. date_created: 2018-12-11T11:58:37Z date_published: 2000-11-01T00:00:00Z date_updated: 2023-05-03T09:41:55Z day: '01' doi: 10.1016/S0896-6273(00)00127-6 extern: '1' external_id: pmid: - '11144358' intvolume: ' 28' issue: '2' language: - iso: eng month: '11' oa_version: None page: 485 - 497 pmid: 1 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier publist_id: '4295' quality_controlled: '1' scopus_import: '1' status: public title: Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 28 year: '2000' ... --- _id: '2732' abstract: - lang: eng 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.' 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.). article_processing_charge: No article_type: original author: - first_name: François full_name: Castella, François last_name: Castella - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Florian full_name: Frommlet, Florian last_name: Frommlet - first_name: Peter full_name: Markowich, Peter last_name: Markowich citation: 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 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 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. 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. 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. 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. short: F. Castella, L. Erdös, F. Frommlet, P. Markowich, Journal of Statistical Physics 100 (2000) 543–601. date_created: 2018-12-11T11:59:18Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-03T09:02:11Z day: '01' doi: 10.1023/A:1018667323830 extern: '1' intvolume: ' 100' issue: 3-4 language: - iso: eng month: '01' oa_version: None page: 543 - 601 publication: Journal of Statistical Physics publication_identifier: issn: - 0022-4715 publication_status: published publisher: Springer publist_id: '4160' quality_controlled: '1' scopus_import: '1' status: public title: Fokker-Planck equations as scaling limits of reversible quantum systems type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 100 year: '2000' ... --- _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. 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. article_processing_charge: No article_type: original author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Horng full_name: Yau, Horng last_name: Yau citation: 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&lt;667::AID-CPA1&gt;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&lt;667::AID-CPA1&gt;3.0.CO;2-5 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&lt;667::AID-CPA1&gt;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. 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. 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&lt;667::AID-CPA1&gt;3.0.CO;2-5. short: L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735. date_created: 2018-12-11T11:59:18Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-05-03T09:09:04Z day: '01' doi: 10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5 extern: '1' external_id: arxiv: - math-ph/9901020 intvolume: ' 53' issue: '6' language: - iso: eng month: '06' oa_version: Preprint page: 667 - 735 publication: Communications on Pure and Applied Mathematics publication_identifier: issn: - 0010-3640 publication_status: published publisher: Wiley-Blackwell publist_id: '4161' quality_controlled: '1' scopus_import: '1' status: public title: Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 53 year: '2000' ... --- _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). 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. alternative_title: - AMS/IP Studies in Advanced Mathematics article_processing_charge: No author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 citation: 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' 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 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. 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. 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.' 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. date_created: 2018-12-11T11:59:12Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-03T09:37:03Z day: '01' doi: 10.1090/amsip/016 extern: '1' external_id: arxiv: - math-ph/0001036 intvolume: ' 16' language: - iso: eng month: '01' oa_version: Preprint page: 111 - 119 publication: Differential Equations and Mathematical Physics publication_identifier: isbn: - '9780821821572' publication_status: published publisher: American Mathematical Society publist_id: '4186' quality_controlled: '1' status: public title: The kernel of Dirac operators on S3 and R3 type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 16 year: '2000' ... --- _id: '2733' abstract: - lang: eng 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. article_processing_charge: No article_type: original author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Michael full_name: Loss, Michael last_name: Loss - first_name: Vitali full_name: Vougalter, Vitali last_name: Vougalter citation: 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 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. 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. ista: Erdös L, Loss M, Vougalter V. 2000. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 50(3), 891–907. 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. short: L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907. date_created: 2018-12-11T11:59:19Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-03T08:56:17Z day: '01' doi: 10.5802/aif.1777 extern: '1' intvolume: ' 50' issue: '3' language: - iso: eng month: '01' oa_version: None page: 891 - 907 publication: Annales de l'Institut Fourier publication_identifier: issn: - 0373-0956 publication_status: published publisher: Association des Annales de l'Institut Fourier publist_id: '4159' quality_controlled: '1' scopus_import: '1' status: public title: Diamagnetic behavior of sums Dirichlet eigenvalues type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 50 year: '2000' ... --- _id: '2601' abstract: - lang: eng text: Targeted deletion of metabotropic glutamate receptor-subtype 1 (mGluR1) gene can cause defects in development and function in the cerebellum. We introduced the mGluR1α transgene into mGluR1-null mutant [mGluR1 (-/-)] mice with a Purkinje cell (PC)-specific promoter. mGluR1-rescue mice showed normal cerebellar long-term depression and regression of multiple climbing fiber innervation, events significantly impaired in mGluR1 (-/-) mice. The impaired motor coordination was rescued by this transgene, in a dose-dependent manner. We propose that mGluR1 in PCs is a key molecule for normal synapse formation, synaptic plasticity, and motor control in the cerebellum. article_processing_charge: No article_type: original author: - first_name: Taeko full_name: Ichise, Taeko last_name: Ichise - first_name: Masanobu full_name: Kano, Masanobu last_name: Kano - first_name: Kouichi full_name: Hashimoto, Kouichi last_name: Hashimoto - first_name: Dai full_name: Yanagihara, Dai last_name: Yanagihara - first_name: Kazuki full_name: Nakao, Kazuki last_name: Nakao - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Motoya full_name: Katsuki, Motoya last_name: Katsuki - first_name: Atsu full_name: Aiba, Atsu last_name: Aiba citation: ama: Ichise T, Kano M, Hashimoto K, et al. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 2000;288(5472):1832-1835. doi:10.1126/science.288.5472.1832 apa: Ichise, T., Kano, M., Hashimoto, K., Yanagihara, D., Nakao, K., Shigemoto, R., … Aiba, A. (2000). mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.288.5472.1832 chicago: Ichise, Taeko, Masanobu Kano, Kouichi Hashimoto, Dai Yanagihara, Kazuki Nakao, Ryuichi Shigemoto, Motoya Katsuki, and Atsu Aiba. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science. American Association for the Advancement of Science, 2000. https://doi.org/10.1126/science.288.5472.1832. ieee: T. Ichise et al., “mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination,” Science, vol. 288, no. 5472. American Association for the Advancement of Science, pp. 1832–1835, 2000. ista: Ichise T, Kano M, Hashimoto K, Yanagihara D, Nakao K, Shigemoto R, Katsuki M, Aiba A. 2000. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 288(5472), 1832–1835. mla: Ichise, Taeko, et al. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science, vol. 288, no. 5472, American Association for the Advancement of Science, 2000, pp. 1832–35, doi:10.1126/science.288.5472.1832. short: T. Ichise, M. Kano, K. Hashimoto, D. Yanagihara, K. Nakao, R. Shigemoto, M. Katsuki, A. Aiba, Science 288 (2000) 1832–1835. date_created: 2018-12-11T11:58:36Z date_published: 2000-06-09T00:00:00Z date_updated: 2023-05-03T09:53:38Z day: '09' doi: 10.1126/science.288.5472.1832 extern: '1' external_id: pmid: - '10846166 ' intvolume: ' 288' issue: '5472' language: - iso: eng month: '06' oa_version: None page: 1832 - 1835 pmid: 1 publication: Science publication_identifier: issn: - 0036-8075 publication_status: published publisher: American Association for the Advancement of Science publist_id: '4297' quality_controlled: '1' scopus_import: '1' status: public title: mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 288 year: '2000' ... --- _id: '2600' abstract: - lang: eng text: 'The synaptic relationship between substance P (SP) and its receptor, i.e. neurokinin-1 receptor (NK1R), was examined in the superficial laminae of the caudal subnucleus of the spinal trigeminal nucleus (medullary dorsal horn; MDH) of the rat. For confocal laser-scanning microscopy, double-immunofluorescence histochemistry for NK1 and SP was performed. In electron microscopic double-immunolabeling study, immunoreactivity for NK1R was detected with the silver-intensified gold method, while immunoreactivity for SP was detected with peroxidase immunohistochemistry. SP-immunoreactive axon terminals were observed to be in synaptic (mostly asymmetric) contact with NK1R-immunoreactive neuronal profiles in lamina I and lamina IIo. Although some SP-immunoreactive axon terminals were in synaptic contact with NK1R-immunoreactive sites of plasma membranes, NK1R-immunoreactivity was observed at both synaptic and non-synaptic sites of plasma membrane. Thus, SP released from axon terminals might not only act on NK1Rs facing the SP-containing axon terminals, but also diffuse in the extracellular fluid for distances larger than the synaptic cleft to act on NK1Rs at some distances from the synaptic sites. ' article_processing_charge: No article_type: original author: - first_name: Jin full_name: Li, Jin last_name: Li - first_name: Dan full_name: Wang, Dan last_name: Wang - first_name: Takeshi full_name: Kaneko, Takeshi last_name: Kaneko - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Sakashi full_name: Nomura, Sakashi last_name: Nomura - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: 'Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. 2000;36(4):327-334. doi:10.1016/S0168-0102(00)00095-X' apa: 'Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (2000). The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. Elsevier. https://doi.org/10.1016/S0168-0102(00)00095-X' chicago: 'Li, Jin, Dan Wang, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “The Relationship between Neurokinin-1 Receptor and Substance P in the Medullary Dorsal Horn: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Neuroscience Research. Elsevier, 2000. https://doi.org/10.1016/S0168-0102(00)00095-X.' ieee: 'J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat,” Neuroscience Research, vol. 36, no. 4. Elsevier, pp. 327–334, 2000.' ista: 'Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 2000. The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. 36(4), 327–334.' mla: 'Li, Jin, et al. “The Relationship between Neurokinin-1 Receptor and Substance P in the Medullary Dorsal Horn: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Neuroscience Research, vol. 36, no. 4, Elsevier, 2000, pp. 327–34, doi:10.1016/S0168-0102(00)00095-X.' short: J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Research 36 (2000) 327–334. date_created: 2018-12-11T11:58:36Z date_published: 2000-04-01T00:00:00Z date_updated: 2023-05-03T10:47:06Z day: '01' doi: 10.1016/S0168-0102(00)00095-X extern: '1' external_id: pmid: - '10771111' intvolume: ' 36' issue: '4' language: - iso: eng month: '04' oa_version: None page: 327 - 334 pmid: 1 publication: Neuroscience Research publication_identifier: issn: - 0168-0102 publication_status: published publisher: Elsevier publist_id: '4298' quality_controlled: '1' scopus_import: '1' status: public title: 'The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 36 year: '2000' ... --- _id: '2598' abstract: - lang: eng text: "There are many types of cerebellar ataxia, including ataxia due to congenital or metabolic disorders and a paraneoplastic form in patients with gynecologic cancer, breast cancer, lung cancer, or Hodgkin's disease.1 This paraneoplastic syndrome is the only type of cerebellar ataxia associated with autoantibodies against neuronal antigens. Often, the neuronal antigens are aberrantly expressed by the tumor cells.2-4 The antineuronal autoantibodies are believed to cause cerebellar ataxia, but this is unproved.5,6 In Hodgkin's disease, the lymphoma precedes the ataxia by months to years in 80 percent of patients, and ataxia often occurs during a prolonged complete remission.4 Among patients with this type of ataxia, 30 percent have anti–Purkinje-cell antibodies, some of which have the features of the neuronal antibody anti-Tr.4,7\r\n\r\nWe identified a new autoantibody in two patients with severe cerebellar ataxia that developed while they were in remission from Hodgkin's disease. The antibody reacts specifically with the metabotropic glutamate receptor mGluR1 in mouse brain. Metabotropic glutamate receptors belong to a large family of cell-surface receptors that transmit signals into the cell by coupling to guanine nucleotide-binding proteins (G proteins) in the cytoplasm. Purified IgG from the serum of both patients blocked the glutamate-stimulated formation of inositol phosphates in Chinese-hamster-ovary (CHO) cells that expressed mGluR1α, and the injection of IgG from serum or cerebrospinal fluid into the cerebellar subarachnoid space of mice caused severe, reversible ataxia. These results indicate that antineuronal autoantibodies can cause disease of the central nervous system by blocking neuronal receptors." acknowledgement: "Supported in part by the Ministry of Education, Science, and Culture of Japan (Dr. Nakanishi and Dr. Shigemoto); CREST of Japan Science and Technology Corporation (Dr. Shigemoto); the Life Sciences Foundation (Dr. De Zeeuw); NWO (Dr. De Zeeuw and Dr. De Leeuw); and the Human Frontier Science Program (Dr. De Zeeuw and Dr. Shigemoto).\r\nDrs. Sillevis Smitt and Kinoshita contributed equally to the article. We are indebted to A. Aiba for providing mGluR1-deficient mice; to T. Maruyama for providing human mGluR1-expressing CHO cells; to H. Jingami for helpful discussion; to A. Uesugi for photographic assistance; to M. van den Bent and C. Gaillard for clinical information on the patients; and to J. van der Burg, S.K.E. Koekkoek, K.J. Reus, and C. Vermeer for technical assistance." article_processing_charge: No article_type: original author: - first_name: Peter full_name: Sillevis Smitt, Peter last_name: Sillevis Smitt - first_name: Ayae full_name: Kinoshita, Ayae last_name: Kinoshita - first_name: Bertie full_name: De Leeuw, Bertie last_name: De Leeuw - first_name: Wiebe full_name: Moll, Wiebe last_name: Moll - first_name: Michiel full_name: Coesmans, Michiel last_name: Coesmans - first_name: Dick full_name: Jaarsma, Dick last_name: Jaarsma - first_name: Sonja full_name: Henzen Logmans, Sonja last_name: Henzen Logmans - first_name: Charles full_name: Vecht, Charles last_name: Vecht - first_name: Chris full_name: De Zeeuw, Chris last_name: De Zeeuw - first_name: Naotaka full_name: Sekiyama, Naotaka last_name: Sekiyama - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 citation: ama: Sillevis Smitt P, Kinoshita A, De Leeuw B, et al. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 2000;342(1):21-27. doi:10.1056/NEJM200001063420104 apa: Sillevis Smitt, P., Kinoshita, A., De Leeuw, B., Moll, W., Coesmans, M., Jaarsma, D., … Shigemoto, R. (2000). Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. Massachussetts Medical Society. https://doi.org/10.1056/NEJM200001063420104 chicago: Sillevis Smitt, Peter, Ayae Kinoshita, Bertie De Leeuw, Wiebe Moll, Michiel Coesmans, Dick Jaarsma, Sonja Henzen Logmans, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine. Massachussetts Medical Society, 2000. https://doi.org/10.1056/NEJM200001063420104. ieee: P. Sillevis Smitt et al., “Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor,” New England Journal of Medicine, vol. 342, no. 1. Massachussetts Medical Society, pp. 21–27, 2000. ista: Sillevis Smitt P, Kinoshita A, De Leeuw B, Moll W, Coesmans M, Jaarsma D, Henzen Logmans S, Vecht C, De Zeeuw C, Sekiyama N, Nakanishi S, Shigemoto R. 2000. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 342(1), 21–27. mla: Sillevis Smitt, Peter, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine, vol. 342, no. 1, Massachussetts Medical Society, 2000, pp. 21–27, doi:10.1056/NEJM200001063420104. short: P. Sillevis Smitt, A. Kinoshita, B. De Leeuw, W. Moll, M. Coesmans, D. Jaarsma, S. Henzen Logmans, C. Vecht, C. De Zeeuw, N. Sekiyama, S. Nakanishi, R. Shigemoto, New England Journal of Medicine 342 (2000) 21–27. date_created: 2018-12-11T11:58:35Z date_published: 2000-01-06T00:00:00Z date_updated: 2023-05-03T11:14:19Z day: '06' doi: 10.1056/NEJM200001063420104 extern: '1' external_id: pmid: - '10620645' intvolume: ' 342' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://www.nejm.org/doi/full/10.1056/nejm200001063420104 month: '01' oa: 1 oa_version: None page: 21 - 27 pmid: 1 publication: New England Journal of Medicine publication_identifier: issn: - 0028-4793 publication_status: published publisher: Massachussetts Medical Society publist_id: '4300' quality_controlled: '1' scopus_import: '1' status: public title: Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 342 year: '2000' ... --- _id: '2599' abstract: - lang: eng text: 'The synaptic relationship between substance P (SP) and its receptor, i.e., neurokinin-1 receptor (NK1R), was examined in the striatum of the rat by confocal laser-scanning microscopy and electron microscopy. For confocal laser-scanning microscopy, triple-immunofluorescence histochemistry was performed to label NK1R, SP, and vesicular acetylcholine transporter (a specific marker for cholinergic neurons). In electron microscopic double- immunolabeling study, immunoreactivity for NK1R was detected with the silver- intensified gold method, while immunoreactivity for SP was detected with peroxidase immunohistochemistry. Simultaneous immunolabeling of NK1R and SP revealed significant mismatch at the synaptic level: although some SP- immunopositive axon terminals were in synaptic contact with NK1R- immunopositive sites of plasma membrane, NK1R-immunoreactivity was observed at both synaptic and non-synaptic sites of plasma membrane. Thus, SP released from the sites remote from NK1Rs might diffuse in the extracellular fluid to act, as a paracrine neurotransmitter, on NK1Rs distant from its releasing site. SP neurotransmission in the striatum might occur not only synaptically but also extrasynaptically. The SP-NK1R system might constitute an association system within the striatum.' acknowledgement: The authors are grateful for the photographic help of Ms. Yue-Ping Yuan, Mr. Akira Uesugi, Ms. Keiko Oka-moto, Mr. Nobuyuki Kobayashi, and Mr. Hideki Itabashi. The authors also express their gratitudes for the support of Dr. Kajitaro Morita in Morita Clinic of Internal Medicine and Pediatrics, Kadoma, Osaka, Japan article_processing_charge: No article_type: original author: - first_name: Jin full_name: Li, Jin last_name: Li - first_name: Dan full_name: Wang, Dan last_name: Wang - first_name: Takeshi full_name: Kaneko, Takeshi last_name: Kaneko - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Sakashi full_name: Nomura, Sakashi last_name: Nomura - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: 'Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 2000;418(2):156-163. doi:10.1002/(SICI)1096-9861(20000306)418:2&lt;156::AID-CNE3&gt;3.0.CO;2-Z' apa: 'Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (2000). Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(20000306)418:2&lt;156::AID-CNE3&gt;3.0.CO;2-Z' chicago: 'Li, Jin, Dan Wang, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Relationship between Neurokinin-1 Receptor and Substance P in the Striatum: Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 2000. https://doi.org/10.1002/(SICI)1096-9861(20000306)418:2&lt;156::AID-CNE3&gt;3.0.CO;2-Z.' ieee: 'J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat,” Journal of Comparative Neurology, vol. 418, no. 2. Wiley-Blackwell, pp. 156–163, 2000.' ista: 'Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 2000. Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 418(2), 156–163.' mla: 'Li, Jin, et al. “Relationship between Neurokinin-1 Receptor and Substance P in the Striatum: Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology, vol. 418, no. 2, Wiley-Blackwell, 2000, pp. 156–63, doi:10.1002/(SICI)1096-9861(20000306)418:2&lt;156::AID-CNE3&gt;3.0.CO;2-Z.' short: J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 418 (2000) 156–163. date_created: 2018-12-11T11:58:36Z date_published: 2000-03-06T00:00:00Z date_updated: 2023-05-03T10:56:44Z day: '06' doi: 10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z extern: '1' external_id: pmid: - '10701441' intvolume: ' 418' issue: '2' language: - iso: eng month: '03' oa_version: None page: 156 - 163 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4299' quality_controlled: '1' scopus_import: '1' status: public title: 'Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 418 year: '2000' ... --- _id: '2494' abstract: - lang: eng text: 'This chapter focuses on metabotropic glutamate receptors (mGluRs). These receptors are linked to several intracellular signal transduction mechanisms via G-protein and are implicated in diverse functions of the mammalian central nervous system (CNS). These functions include mediation of slow excitatory and inhibitory responses; regulation of calcium channels, potassium channels, and non-selective cation channels; inhibition and facilitation of transmitter release; induction of long-term potentiation and long-term depression; and regulation of neuronal development. Functional diversity of the metabotropic glutamate receptor is reflected in molecular diversity of receptor subtypes. The sites of action of mGluRs are widely found throughout different membrane compartments of neuronal and glial cells. The chapter reviews the differential subcellular localization of metabotropic glutamate receptors in relation to transmitter release sites. Patterns of subcellular localization of mGluRs are different among three subgroups: group I and III mGluRs are mainly localized to somatodendritic and axonal domains of neurons, respectively, while group II mGluRs are extensively localized to both domains as well as to glial cell processes.' alternative_title: - Handbook of Chemical Neuroanatomy article_processing_charge: No author: - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: 'Shigemoto R, Mizuno N. Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In: Glutamate. Vol 18. Elsevier; 2000:63-98. doi:10.1016/S0924-8196(00)80044-5' apa: Shigemoto, R., & Mizuno, N. (2000). Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In Glutamate (Vol. 18, pp. 63–98). Elsevier. https://doi.org/10.1016/S0924-8196(00)80044-5 chicago: Shigemoto, Ryuichi, and Noboru Mizuno. “Chapter III Metabotropic Glutamate Receptors - Immunocytochemical and in Situ Hybridization Analyses.” In Glutamate, 18:63–98. Elsevier, 2000. https://doi.org/10.1016/S0924-8196(00)80044-5. ieee: R. Shigemoto and N. Mizuno, “Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses,” in Glutamate, vol. 18, Elsevier, 2000, pp. 63–98. ista: 'Shigemoto R, Mizuno N. 2000.Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In: Glutamate. Handbook of Chemical Neuroanatomy, vol. 18, 63–98.' mla: Shigemoto, Ryuichi, and Noboru Mizuno. “Chapter III Metabotropic Glutamate Receptors - Immunocytochemical and in Situ Hybridization Analyses.” Glutamate, vol. 18, Elsevier, 2000, pp. 63–98, doi:10.1016/S0924-8196(00)80044-5. short: R. Shigemoto, N. Mizuno, in:, Glutamate, Elsevier, 2000, pp. 63–98. date_created: 2018-12-11T11:58:00Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-03T12:27:40Z day: '01' doi: 10.1016/S0924-8196(00)80044-5 extern: '1' intvolume: ' 18' language: - iso: eng month: '01' oa_version: None page: 63 - 98 publication: Glutamate publication_identifier: eissn: - 0924-8196 publication_status: published publisher: Elsevier publist_id: '4407' quality_controlled: '1' status: public title: Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 18 year: '2000' ... --- _id: '2418' abstract: - lang: eng text: For an absolutely continuous probability measure μ on Rd and a nonnegative integer k, let sk(μ, 0) denote the probability that the convex hull of k+d+1 random points which are i.i.d. according to μ contains the origin 0. For d and k given, we determine a tight upper bound on sk(μ, 0), and we characterize the measures in Rd which attain this bound. This result can be considered a continuous analogue of the Upper Bound Theorem for the maximal number of faces of convex polytopes with a given number of vertices. For our proof we introduce so-called h-functions, continuous counterparts of h-vectors for simplicial convex polytopes. article_processing_charge: No author: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 - first_name: Emo full_name: Welzl, Emo last_name: Welzl citation: ama: 'Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: Proceedings of the 16th Annual Symposium on Computational Geometry. ACM; 2000:50-56. doi:10.1145/336154.336176' apa: 'Wagner, U., & Welzl, E. (2000). Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In Proceedings of the 16th annual symposium on Computational geometry (pp. 50–56). Clear Water Bay Kowloon, Hong Kong: ACM. https://doi.org/10.1145/336154.336176' chicago: Wagner, Uli, and Emo Welzl. “Origin-Embracing Distributions or a Continuous Analogue of the Upper Bound Theorem.” In Proceedings of the 16th Annual Symposium on Computational Geometry, 50–56. ACM, 2000. https://doi.org/10.1145/336154.336176. ieee: U. Wagner and E. Welzl, “Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem,” in Proceedings of the 16th annual symposium on Computational geometry, Clear Water Bay Kowloon, Hong Kong, 2000, pp. 50–56. ista: 'Wagner U, Welzl E. 2000. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. Proceedings of the 16th annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 50–56.' mla: Wagner, Uli, and Emo Welzl. “Origin-Embracing Distributions or a Continuous Analogue of the Upper Bound Theorem.” Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56, doi:10.1145/336154.336176. short: U. Wagner, E. Welzl, in:, Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56. conference: end_date: 2000-04-14 location: Clear Water Bay Kowloon, Hong Kong name: 'SCG: Symposium on Computational Geometry' start_date: 2000-06-12 date_created: 2018-12-11T11:57:33Z date_published: 2000-05-01T00:00:00Z date_updated: 2023-05-03T12:41:02Z day: '01' doi: 10.1145/336154.336176 extern: '1' language: - iso: eng month: '05' oa_version: None page: 50 - 56 publication: Proceedings of the 16th annual symposium on Computational geometry publication_identifier: isbn: - '9781581132243' publication_status: published publisher: ACM publist_id: '4507' quality_controlled: '1' scopus_import: '1' status: public title: Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _id: '2344' abstract: - lang: eng text: The ground-state properties of interacting Bose gases in external potentials, as considered in recent experiments, are usually described by means of the Gross-Pitaevskii energy functional. We present here a rigorous proof of the asymptotic exactness of this approximation for the ground-state energy and particle density of a dilute Bose gas with a positive interaction. article_processing_charge: No article_type: original author: - first_name: Élliott full_name: Lieb, Élliott last_name: Lieb - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 - first_name: Jakob full_name: Yngvason, Jakob last_name: Yngvason citation: ama: 'Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602' apa: 'Lieb, É., Seiringer, R., & Yngvason, J. (2000). Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.61.043602' chicago: 'Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2000. https://doi.org/10.1103/PhysRevA.61.043602.' ieee: 'É. Lieb, R. Seiringer, and J. Yngvason, “Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4. American Physical Society, pp. 436021–4360213, 2000.' ista: 'Lieb É, Seiringer R, Yngvason J. 2000. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 61(4), 436021–4360213.' mla: 'Lieb, Élliott, et al. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4, American Physical Society, 2000, pp. 436021–4360213, doi:10.1103/PhysRevA.61.043602.' short: É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 61 (2000) 436021–4360213. date_created: 2018-12-11T11:57:07Z date_published: 2000-04-01T00:00:00Z date_updated: 2023-05-03T12:47:08Z day: '01' doi: 10.1103/PhysRevA.61.043602 extern: '1' external_id: arxiv: - math-ph/9908027 intvolume: ' 61' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/math-ph/9908027 month: '04' oa: 1 oa_version: Published Version page: 436021 - 4360213 publication: Physical Review A - Atomic, Molecular, and Optical Physics publication_identifier: issn: - 0556-2791 publication_status: published publisher: American Physical Society publist_id: '4583' quality_controlled: '1' scopus_import: '1' status: public title: 'Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 61 year: '2000' ... --- _id: '2342' abstract: - lang: eng text: In the theoretical description of recent experiments with dilute Bose gases confined in external potentials the Gross-Pitaevskii equation plays an important role. Its status as an approximation for the quantum mechanical many-body ground state problem has recently been rigorously clarified. A summary of this work is presented here. article_processing_charge: No author: - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 - first_name: Élliott full_name: Lieb, Élliott last_name: Lieb - first_name: Jakob full_name: Yngvason, Jakob last_name: Yngvason citation: ama: 'Seiringer R, Lieb É, Yngvason J. The ground state energy and density of interacting bosons in a trap. In: Proceedings of the International Symposium on Quantum Theory and Symmetries. World Scientific Publishing; 2000:101-110.' apa: Seiringer, R., Lieb, É., & Yngvason, J. (2000). The ground state energy and density of interacting bosons in a trap. In Proceedings of the International Symposium on Quantum Theory and Symmetries (pp. 101–110). World Scientific Publishing. chicago: Seiringer, Robert, Élliott Lieb, and Jakob Yngvason. “The Ground State Energy and Density of Interacting Bosons in a Trap.” In Proceedings of the International Symposium on Quantum Theory and Symmetries, 101–10. World Scientific Publishing, 2000. ieee: R. Seiringer, É. Lieb, and J. Yngvason, “The ground state energy and density of interacting bosons in a trap,” in Proceedings of the International Symposium on Quantum Theory and Symmetries, 2000, pp. 101–110. ista: 'Seiringer R, Lieb É, Yngvason J. 2000. The ground state energy and density of interacting bosons in a trap. Proceedings of the International Symposium on Quantum Theory and Symmetries. ISQTS: Quantum Theory and Symmetries, 101–110.' mla: Seiringer, Robert, et al. “The Ground State Energy and Density of Interacting Bosons in a Trap.” Proceedings of the International Symposium on Quantum Theory and Symmetries, World Scientific Publishing, 2000, pp. 101–10. short: R. Seiringer, É. Lieb, J. Yngvason, in:, Proceedings of the International Symposium on Quantum Theory and Symmetries, World Scientific Publishing, 2000, pp. 101–110. conference: name: 'ISQTS: Quantum Theory and Symmetries' date_created: 2018-12-11T11:57:06Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-05-03T13:00:35Z day: '01' extern: '1' external_id: arxiv: - math-ph/9911026 language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/math-ph/9911026 month: '06' oa: 1 oa_version: None page: 101 - 110 publication: Proceedings of the International Symposium on Quantum Theory and Symmetries publication_identifier: isbn: - '9789810242374 ' publication_status: published publisher: World Scientific Publishing publist_id: '4584' quality_controlled: '1' status: public title: The ground state energy and density of interacting bosons in a trap type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '2000' ... --- _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. 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. article_processing_charge: No article_type: original author: - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 - first_name: John full_name: Walker, John last_name: Walker citation: 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 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 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. 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. 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. 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. short: L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464. date_created: 2018-12-11T11:54:55Z date_published: 2000-09-15T00:00:00Z date_updated: 2023-05-04T13:23:03Z day: '15' doi: 10.1006/jmbi.2000.4079 extern: '1' external_id: pmid: - '10970745' intvolume: ' 302' issue: '2' language: - iso: eng month: '09' oa_version: None page: 455 - 464 pmid: 1 publication: Journal of Molecular Biology publication_identifier: issn: - 0022-2836 publication_status: published publisher: Elsevier publist_id: '5126' quality_controlled: '1' scopus_import: '1' status: public title: Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 302 year: '2000' ... --- _id: '1736' abstract: - lang: eng text: A coding scheme called diode is compared with duobinary signalling and with normal binary transmission. It is shown that the diode coding suppresses the FWM products of a three channel DWDM system and this reduction against that achieved with duobinary coding is presented. The results presented show how the average level of the FWM products relative to the average levels of the three optical carriers vary over the channel spacing range. The suppression observed is about / dB more than that achieved with duobinary modulation and is greater for narrow channel spacing. alternative_title: - LEOS article_processing_charge: No author: - first_name: Georgios full_name: Katsaros, Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros - first_name: Phil full_name: Lane, Phil last_name: Lane - first_name: Michelle full_name: Murphy, Michelle last_name: Murphy citation: ama: 'Katsaros G, Lane P, Murphy M. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In: Proceedings of the 2000 IEEE Annual Meeting Conference . Vol 1. IEEE; 2000:27-28. doi:10.1109/LEOS.2000.890656' apa: 'Katsaros, G., Lane, P., & Murphy, M. (2000). Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In Proceedings of the 2000 IEEE Annual Meeting Conference (Vol. 1, pp. 27–28). Rio Grande, PR, USA: IEEE. https://doi.org/10.1109/LEOS.2000.890656' chicago: Katsaros, Georgios, Phil Lane, and Michelle Murphy. “Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems.” In Proceedings of the 2000 IEEE Annual Meeting Conference , 1:27–28. IEEE, 2000. https://doi.org/10.1109/LEOS.2000.890656. ieee: G. Katsaros, P. Lane, and M. Murphy, “Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems,” in Proceedings of the 2000 IEEE Annual Meeting Conference , Rio Grande, PR, USA, 2000, vol. 1, pp. 27–28. ista: Katsaros G, Lane P, Murphy M. 2000. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. Proceedings of the 2000 IEEE Annual Meeting Conference . Lasers and Electro Optics Society Annual Meeting, LEOS, vol. 1, 27–28. mla: Katsaros, Georgios, et al. “Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems.” Proceedings of the 2000 IEEE Annual Meeting Conference , vol. 1, IEEE, 2000, pp. 27–28, doi:10.1109/LEOS.2000.890656. short: G. Katsaros, P. Lane, M. Murphy, in:, Proceedings of the 2000 IEEE Annual Meeting Conference , IEEE, 2000, pp. 27–28. conference: end_date: 2000-11-16 location: Rio Grande, PR, USA name: Lasers and Electro Optics Society Annual Meeting start_date: 2000-11-13 date_created: 2018-12-11T11:53:44Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-04T14:46:21Z day: '01' doi: 10.1109/LEOS.2000.890656 extern: '1' intvolume: ' 1' language: - iso: eng month: '01' oa_version: None page: 27 - 28 publication: 'Proceedings of the 2000 IEEE Annual Meeting Conference ' publication_identifier: isbn: - 078035947X publication_status: published publisher: IEEE publist_id: '5388' quality_controlled: '1' scopus_import: '1' status: public title: Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1 year: '2000' ... --- _id: '1958' abstract: - lang: eng 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." article_processing_charge: No article_type: original author: - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 - first_name: Sew full_name: Peak Chew, Sew last_name: Peak Chew - first_name: Ian full_name: Fearnley, Ian last_name: Fearnley - first_name: John full_name: Walker, John last_name: Walker citation: 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' 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' 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.' 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.' 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.' 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.' short: L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235. date_created: 2018-12-11T11:54:55Z date_published: 2000-05-24T00:00:00Z date_updated: 2023-05-04T14:14:53Z day: '24' doi: 10.1021/bi000335t extern: '1' external_id: pmid: - '10852722' intvolume: ' 39' issue: '24' language: - iso: eng month: '05' oa_version: None page: 7229 - 7235 pmid: 1 publication: Biochemistry publication_identifier: issn: - 0006-2960 publication_status: published publisher: ACS publist_id: '5127' quality_controlled: '1' scopus_import: '1' status: public title: 'Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 39 year: '2000' ... --- _id: '12925' abstract: - lang: eng 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. article_processing_charge: No article_type: original author: - first_name: Johannes full_name: Fürst, Johannes last_name: Fürst - first_name: Martin full_name: Jakab, Martin last_name: Jakab - first_name: Matthias full_name: König, Matthias last_name: König - first_name: Markus full_name: Ritter, Markus last_name: Ritter - first_name: Martin full_name: Gschwentner, Martin last_name: Gschwentner - first_name: Jakob full_name: Rudzki, Jakob last_name: Rudzki - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 - first_name: Michael full_name: Mayer, Michael last_name: Mayer - first_name: Carmen M. full_name: Burtscher, Carmen M. last_name: Burtscher - first_name: Julia full_name: Schirmer, Julia last_name: Schirmer - first_name: Brigitte full_name: Maier, Brigitte last_name: Maier - first_name: Manfred full_name: Nairz, Manfred last_name: Nairz - first_name: Sabine full_name: Chwatal, Sabine last_name: Chwatal - first_name: Markus full_name: Paulmichl, Markus last_name: Paulmichl citation: 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 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 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. 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. 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. 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. 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. date_created: 2023-05-08T09:04:58Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-05-08T10:07:10Z doi: 10.1159/000016374 extern: '1' external_id: pmid: - '11125213' intvolume: ' 10' issue: 5-6 keyword: - Physiology language: - iso: eng oa_version: None page: 329-334 pmid: 1 publication: Cellular Physiology and Biochemistry publication_identifier: issn: - 1015-8987 - 1421-9778 publication_status: published publisher: S. Karger AG quality_controlled: '1' scopus_import: '1' status: public title: Structure and Function of the Ion Channel ICln type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10 year: '2000' ... --- _id: '1455' 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. 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. article_processing_charge: No article_type: original author: - first_name: Tamas full_name: Hausel, Tamas id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Endre full_name: Makai, Endre last_name: Makai - first_name: András full_name: Szücs, András last_name: Szücs citation: 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 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 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. 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. 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. 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. short: T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397. date_created: 2018-12-11T11:52:07Z date_published: 2000-06-01T00:00:00Z date_updated: 2023-05-08T08:56:46Z day: '01' doi: 10.1112/S0025579300015965 extern: '1' external_id: arxiv: - math/9906066 intvolume: ' 47' issue: 1-2 language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/math/9906066 month: '06' oa: 1 oa_version: Preprint page: 371 - 397 publication: Mathematika publication_identifier: issn: - 0025-5793 publication_status: published publisher: University College London publist_id: '5745' quality_controlled: '1' scopus_import: '1' status: public title: Inscribing cubes and covering by rhombic dodecahedra via equivariant topology type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 47 year: '2000' ... --- _id: '842' article_processing_charge: No article_type: original author: - first_name: Yuri full_name: Wolf, Yuri last_name: Wolf - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 - first_name: Eugene full_name: Koonin, Eugene last_name: Koonin citation: ama: Wolf Y, Kondrashov F, Koonin E. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 2000;16(8):333-334. doi:10.1016/S0168-9525(00)02059-X apa: Wolf, Y., Kondrashov, F., & Koonin, E. (2000). No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(00)02059-X chicago: Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics. Elsevier, 2000. https://doi.org/10.1016/S0168-9525(00)02059-X. ieee: Y. Wolf, F. Kondrashov, and E. Koonin, “No footprints of primordial introns in a eukaryotic genome,” Trends in Genetics, vol. 16, no. 8. Elsevier, pp. 333–334, 2000. ista: Wolf Y, Kondrashov F, Koonin E. 2000. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 16(8), 333–334. mla: Wolf, Yuri, et al. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics, vol. 16, no. 8, Elsevier, 2000, pp. 333–34, doi:10.1016/S0168-9525(00)02059-X. short: Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 16 (2000) 333–334. date_created: 2018-12-11T11:48:48Z date_published: 2000-08-01T00:00:00Z date_updated: 2023-05-08T09:22:03Z day: '01' doi: 10.1016/S0168-9525(00)02059-X extern: '1' external_id: pmid: - '10904260 ' intvolume: ' 16' issue: '8' language: - iso: eng month: '08' oa_version: None page: 333 - 334 pmid: 1 publication: Trends in Genetics publication_identifier: issn: - 0168-9479 publication_status: published publisher: Elsevier publist_id: '6806' quality_controlled: '1' scopus_import: '1' status: public title: No footprints of primordial introns in a eukaryotic genome type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 16 year: '2000' ... --- _id: '13437' abstract: - lang: eng text: Liquid/liquid Phase Transfer Catalysis (PTC) reaction of 4-chlorobutyronitrile with nonenolisable aldehydes leads via an addition-cyclisation reaction sequence to derivatives of tetrahydrofuran-3-carbonitrile. article_processing_charge: No article_type: letter_note author: - first_name: Mieczysław full_name: Macogonkosza, Mieczysław last_name: Macogonkosza - first_name: Jacek full_name: Przyborowski, Jacek last_name: Przyborowski - first_name: Rafal full_name: Klajn, Rafal id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b last_name: Klajn - first_name: Andrzej full_name: Kwast, Andrzej last_name: Kwast citation: ama: Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670 apa: Macogonkosza, M., Przyborowski, J., Klajn, R., & Kwast, A. (2000). Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-2000-8670 chicago: Macogonkosza, Mieczysław, Jacek Przyborowski, Rafal Klajn, and Andrzej Kwast. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” Synlett. Georg Thieme Verlag, 2000. https://doi.org/10.1055/s-2000-8670. ieee: M. Macogonkosza, J. Przyborowski, R. Klajn, and A. Kwast, “Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles,” Synlett, vol. 2000, no. 12. Georg Thieme Verlag, pp. 1773–1774, 2000. ista: Macogonkosza M, Przyborowski J, Klajn R, Kwast A. 2000. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000(12), 1773–1774. mla: Macogonkosza, Mieczysław, et al. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” Synlett, vol. 2000, no. 12, Georg Thieme Verlag, 2000, pp. 1773–74, doi:10.1055/s-2000-8670. short: M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774. date_created: 2023-08-01T10:39:48Z date_published: 2000-12-01T00:00:00Z date_updated: 2023-08-02T07:54:46Z day: '01' doi: 10.1055/s-2000-8670 extern: '1' intvolume: ' 2000' issue: '12' keyword: - Organic Chemistry language: - iso: eng month: '12' oa_version: None page: 1773-1774 publication: Synlett publication_identifier: eissn: - 1437-2096 issn: - 0936-5214 publication_status: published publisher: Georg Thieme Verlag quality_controlled: '1' scopus_import: '1' status: public title: Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 2000 year: '2000' ...