[{"page":"111 - 119","arxiv":1,"publist_id":"4186","type":"book_chapter","article_processing_charge":"No","fulldoi":"https://doi.org/10.1090/amsip/016","oa_version":"Preprint","language":[{"iso":"eng"}],"day":"01","_id":"2710","doi":"10.1090/amsip/016","extern":"1","citation":{"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.","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.","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","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.","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.","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","short":"L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"The kernel of Dirac operators on S3 and R3","publication_status":"published","publication_identifier":{"isbn":["9780821821572"]},"external_id":{"arxiv":["math-ph/0001036"]},"alternative_title":["AMS/IP Studies in Advanced Mathematics"],"publisher":"American Mathematical Society","author":[{"full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","last_name":"Erdös"}],"abstract":[{"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).","lang":"eng"}],"quality_controlled":"1","status":"public","intvolume":" 16","publication":"Differential Equations and Mathematical Physics","volume":16,"year":"2000","date_updated":"2023-05-03T09:37:03Z","date_created":"2018-12-11T11:59:12Z","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.","date_published":"2000-01-01T00:00:00Z","month":"01"},{"doi":"10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5","oa_version":"Preprint","fulldoi":"https://doi.org/10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5","language":[{"iso":"eng"}],"day":"01","_id":"2731","article_processing_charge":"No","publist_id":"4161","type":"journal_article","issue":"6","arxiv":1,"page":"667 - 735","article_type":"original","publication_status":"published","publication_identifier":{"issn":["0010-3640"]},"external_id":{"arxiv":["math-ph/9901020"]},"title":"Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"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.","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.","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","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.","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.","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"},"extern":"1","publication":"Communications on Pure and Applied Mathematics","year":"2000","volume":53,"intvolume":" 53","status":"public","quality_controlled":"1","scopus_import":"1","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."}],"author":[{"orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","full_name":"Erdös, László","last_name":"Erdös"},{"first_name":"Horng","full_name":"Yau, Horng","last_name":"Yau"}],"publisher":"Wiley-Blackwell","month":"06","date_published":"2000-06-01T00:00:00Z","date_created":"2018-12-11T11:59:18Z","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.","date_updated":"2023-05-03T09:09:04Z"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Fokker-Planck equations as scaling limits of reversible quantum systems","publication_identifier":{"issn":["0022-4715"]},"publication_status":"published","extern":"1","citation":{"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.","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.","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.","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"},"article_processing_charge":"No","_id":"2732","day":"01","oa_version":"None","fulldoi":"https://doi.org/10.1023/A:1018667323830","language":[{"iso":"eng"}],"doi":"10.1023/A:1018667323830","article_type":"original","page":"543 - 601","issue":"3-4","type":"journal_article","publist_id":"4160","date_published":"2000-01-01T00:00:00Z","month":"01","date_updated":"2023-05-03T09:02:11Z","date_created":"2018-12-11T11:59:18Z","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.).","scopus_import":"1","quality_controlled":"1","status":"public","intvolume":" 100","volume":100,"year":"2000","publication":"Journal of Statistical Physics","publisher":"Springer","author":[{"full_name":"Castella, François","first_name":"François","last_name":"Castella"},{"full_name":"Erdös, László","orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös"},{"last_name":"Frommlet","full_name":"Frommlet, Florian","first_name":"Florian"},{"last_name":"Markowich","full_name":"Markowich, Peter","first_name":"Peter"}],"abstract":[{"text":"We consider a quantum particle moving in a harmonic exterior potential and linearly coupled to a heat bath of quantum oscillators. Caldeira and Leggett derived the Fokker Planck equation with friction for the Wigner distribution of the particle in the large-temperature limit: however, their (nonrigorous) derivation was not free of criticism, especially since the limiting equation is not of Lindblad form. In this paper we recover the correct form of their result in a rigorous way. We also point out that the source of the diffusion is physically restrictive under this scaling. We investigate the model at a fixed temperature and in the large-time limit, where the origin of the diffusion is a cumulative effect of many resonant collisions. We obtain a heat equation with a friction term for the radial process in phase space and we prove the Einstein relation in this case.","lang":"eng"}]},{"publisher":"Association des Annales de l'Institut Fourier","author":[{"last_name":"Erdös","full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603"},{"full_name":"Loss, Michael","first_name":"Michael","last_name":"Loss"},{"full_name":"Vougalter, Vitali","first_name":"Vitali","last_name":"Vougalter"}],"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."}],"quality_controlled":"1","status":"public","scopus_import":"1","intvolume":" 50","publication":"Annales de l'Institut Fourier","year":"2000","volume":50,"date_updated":"2023-05-03T08:56:17Z","date_created":"2018-12-11T11:59:19Z","date_published":"2000-01-01T00:00:00Z","month":"01","page":"891 - 907","article_type":"original","issue":"3","publist_id":"4159","type":"journal_article","article_processing_charge":"No","fulldoi":"https://doi.org/10.5802/aif.1777","oa_version":"None","language":[{"iso":"eng"}],"_id":"2733","day":"01","doi":"10.5802/aif.1777","extern":"1","citation":{"ista":"Erdös L, Loss M, Vougalter V. 2000. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 50(3), 891–907.","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.","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","ieee":"L. Erdös, M. Loss, and V. Vougalter, “Diamagnetic behavior of sums Dirichlet eigenvalues,” Annales de l’Institut Fourier, vol. 50, no. 3. Association des Annales de l’Institut Fourier, pp. 891–907, 2000.","mla":"Erdös, László, et al. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier, vol. 50, no. 3, Association des Annales de l’Institut Fourier, 2000, pp. 891–907, doi:10.5802/aif.1777.","short":"L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907.","ama":"Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Diamagnetic behavior of sums Dirichlet eigenvalues","publication_identifier":{"issn":["0373-0956"]},"publication_status":"published"},{"quality_controlled":"1","status":"public","pmid":1,"scopus_import":"1","intvolume":" 10","publication":"Cellular Physiology and Biochemistry","volume":10,"year":"2000","publisher":"S. Karger AG","author":[{"last_name":"Fürst","full_name":"Fürst, Johannes","first_name":"Johannes"},{"full_name":"Jakab, Martin","first_name":"Martin","last_name":"Jakab"},{"full_name":"König, Matthias","first_name":"Matthias","last_name":"König"},{"last_name":"Ritter","first_name":"Markus","full_name":"Ritter, Markus"},{"first_name":"Martin","full_name":"Gschwentner, Martin","last_name":"Gschwentner"},{"last_name":"Rudzki","first_name":"Jakob","full_name":"Rudzki, Jakob"},{"last_name":"Danzl","orcid":"0000-0001-8559-3973","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G"},{"last_name":"Mayer","first_name":"Michael","full_name":"Mayer, Michael"},{"last_name":"Burtscher","full_name":"Burtscher, Carmen M.","first_name":"Carmen M."},{"last_name":"Schirmer","first_name":"Julia","full_name":"Schirmer, Julia"},{"full_name":"Maier, Brigitte","first_name":"Brigitte","last_name":"Maier"},{"full_name":"Nairz, Manfred","first_name":"Manfred","last_name":"Nairz"},{"first_name":"Sabine","full_name":"Chwatal, Sabine","last_name":"Chwatal"},{"last_name":"Paulmichl","full_name":"Paulmichl, Markus","first_name":"Markus"}],"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."}],"date_published":"2000-01-01T00:00:00Z","date_updated":"2023-05-08T10:07:10Z","date_created":"2023-05-08T09:04:58Z","article_processing_charge":"No","fulldoi":"https://doi.org/10.1159/000016374","oa_version":"None","language":[{"iso":"eng"}],"_id":"12925","keyword":["Physiology"],"doi":"10.1159/000016374","page":"329-334","article_type":"original","issue":"5-6","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Structure and Function of the Ion Channel ICln","publication_identifier":{"issn":["1015-8987","1421-9778"]},"publication_status":"published","external_id":{"pmid":["11125213"]},"extern":"1","citation":{"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","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","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.","mla":"Fürst, Johannes, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry, vol. 10, no. 5–6, S. Karger AG, 2000, pp. 329–34, doi:10.1159/000016374.","ieee":"J. Fürst et al., “Structure and Function of the Ion Channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.","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.","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."}},{"status":"public","quality_controlled":"1","OA_type":"closed access","scopus_import":"1","intvolume":" 88","publication":"Journal of Applied Physics","year":"2000","volume":88,"publisher":"AIP Publishing","author":[{"last_name":"Jonnard","full_name":"Jonnard, P.","first_name":"P."},{"first_name":"C.","full_name":"Bonnelle, C.","last_name":"Bonnelle"},{"first_name":"G.","full_name":"Blaise, G.","last_name":"Blaise"},{"first_name":"G.","full_name":"Rémond, G.","last_name":"Rémond"},{"last_name":"Roques-Carmes","id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82","first_name":"Charles","full_name":"Roques-Carmes, Charles"}],"abstract":[{"text":"Study of an α-Al2O3 single crystal by electron-induced x-ray emission spectroscopy and cathodoluminescence is reported. The relative intensities of optical emissions due to F+ and F centers have been determined as a function of the parameters of the electron beam and the annealing of the sample. It is shown that the F+ centers, i.e., the oxygen vacancies with one trapped electron, are predominant when the density of the incident electron beam increases. Similar variation is observed when the electron energy varies from 1 to 4 keV. From the comparison between x-ray and optical spectra, the F+ centers are determined to be stable defects in the bulk of the sample.","lang":"eng"}],"date_published":"2000-12-01T00:00:00Z","month":"12","date_updated":"2026-04-15T07:58:18Z","date_created":"2026-03-30T12:22:47Z","article_processing_charge":"No","fulldoi":"https://doi.org/10.1063/1.1324697","oa_version":"None","language":[{"iso":"eng"}],"_id":"21551","day":"01","doi":"10.1063/1.1324697","page":"6413-6417","article_type":"original","issue":"11","type":"journal_article","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","title":"F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence","publication_identifier":{"issn":["0021-8979"],"eissn":["1089-7550"]},"publication_status":"published","extern":"1","citation":{"mla":"Jonnard, P., et al. “F+ and F Centers in α-Al2O3 by Electron-Induced x-Ray Emission Spectroscopy and Cathodoluminescence.” Journal of Applied Physics, vol. 88, no. 11, AIP Publishing, 2000, pp. 6413–17, doi:10.1063/1.1324697.","ieee":"P. Jonnard, C. Bonnelle, G. Blaise, G. Rémond, and C. Roques-Carmes, “F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence,” Journal of Applied Physics, vol. 88, no. 11. AIP Publishing, pp. 6413–6417, 2000.","short":"P. Jonnard, C. Bonnelle, G. Blaise, G. Rémond, C. Roques-Carmes, Journal of Applied Physics 88 (2000) 6413–6417.","ama":"Jonnard P, Bonnelle C, Blaise G, Rémond G, Roques-Carmes C. F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence. Journal of Applied Physics. 2000;88(11):6413-6417. doi:10.1063/1.1324697","apa":"Jonnard, P., Bonnelle, C., Blaise, G., Rémond, G., & Roques-Carmes, C. (2000). F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence. Journal of Applied Physics. AIP Publishing. https://doi.org/10.1063/1.1324697","ista":"Jonnard P, Bonnelle C, Blaise G, Rémond G, Roques-Carmes C. 2000. F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence. Journal of Applied Physics. 88(11), 6413–6417.","chicago":"Jonnard, P., C. Bonnelle, G. Blaise, G. Rémond, and Charles Roques-Carmes. “F+ and F Centers in α-Al2O3 by Electron-Induced x-Ray Emission Spectroscopy and Cathodoluminescence.” Journal of Applied Physics. AIP Publishing, 2000. https://doi.org/10.1063/1.1324697."}},{"intvolume":" 2000","scopus_import":"1","status":"public","quality_controlled":"1","volume":2000,"year":"2000","publication":"Synlett","publisher":"Georg Thieme Verlag","abstract":[{"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.","lang":"eng"}],"author":[{"last_name":"Macogonkosza","first_name":"Mieczysław","full_name":"Macogonkosza, Mieczysław"},{"first_name":"Jacek","full_name":"Przyborowski, Jacek","last_name":"Przyborowski"},{"full_name":"Klajn, Rafal","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"},{"last_name":"Kwast","full_name":"Kwast, Andrzej","first_name":"Andrzej"}],"date_published":"2000-12-01T00:00:00Z","month":"12","date_updated":"2023-08-02T07:54:46Z","date_created":"2023-08-01T10:39:48Z","article_processing_charge":"No","doi":"10.1055/s-2000-8670","_id":"13437","keyword":["Organic Chemistry"],"day":"01","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1055/s-2000-8670","oa_version":"None","issue":"12","article_type":"letter_note","page":"1773-1774","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1437-2096"],"issn":["0936-5214"]},"publication_status":"published","title":"Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles","citation":{"short":"M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.","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","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.","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.","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.","ista":"Macogonkosza M, Przyborowski J, Klajn R, Kwast A. 2000. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000(12), 1773–1774."},"extern":"1"},{"issue":"1-2","arxiv":1,"page":"371 - 397","article_type":"original","publist_id":"5745","type":"journal_article","article_processing_charge":"No","doi":"10.1112/S0025579300015965","oa_version":"Preprint","fulldoi":"https://doi.org/10.1112/S0025579300015965","language":[{"iso":"eng"}],"day":"01","_id":"1455","citation":{"chicago":"Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.","ista":"Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.","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","short":"T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.","ama":"Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965","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.","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."},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math/9906066"}],"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_status":"published","publication_identifier":{"issn":["0025-5793"]},"external_id":{"arxiv":["math/9906066"]},"title":"Inscribing cubes and covering by rhombic dodecahedra via equivariant topology","publisher":"University College London","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."}],"author":[{"first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Hausel, Tamas","last_name":"Hausel"},{"last_name":"Makai","first_name":"Endre","full_name":"Makai, Endre"},{"full_name":"Szücs, András","first_name":"András","last_name":"Szücs"}],"oa":1,"intvolume":" 47","status":"public","quality_controlled":"1","scopus_import":"1","publication":"Mathematika","volume":47,"year":"2000","date_updated":"2023-05-08T08:56:46Z","date_created":"2018-12-11T11:52:07Z","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.","date_published":"2000-06-01T00:00:00Z","month":"06"},{"main_file_link":[{"url":"https://arxiv.org/abs/astro-ph/0002031","open_access":"1"}],"extern":"1","citation":{"chicago":"Abel, T., and Zoltán Haiman. “The Role of H2 Molecules in Cosmological Structure Formation.” In Molecular Hydrogen in Space, 237–46. Cambridge University Press, 2000. https://doi.org/10.1017/cbo9780511564635.038.","ista":"Abel T, Haiman Z. 2000.The Role of H2 Molecules in Cosmological Structure Formation. In: Molecular Hydrogen in Space. , 237–246.","apa":"Abel, T., & Haiman, Z. (2000). The Role of H2 Molecules in Cosmological Structure Formation. In Molecular Hydrogen in Space (pp. 237–246). Cambridge University Press. https://doi.org/10.1017/cbo9780511564635.038","ama":"Abel T, Haiman Z. The Role of H2 Molecules in Cosmological Structure Formation. In: Molecular Hydrogen in Space. Cambridge University Press; 2000:237-246. doi:10.1017/cbo9780511564635.038","short":"T. Abel, Z. Haiman, in:, Molecular Hydrogen in Space, Cambridge University Press, 2000, pp. 237–246.","ieee":"T. Abel and Z. Haiman, “The Role of H2 Molecules in Cosmological Structure Formation,” in Molecular Hydrogen in Space, Cambridge University Press, 2000, pp. 237–246.","mla":"Abel, T., and Zoltán Haiman. “The Role of H2 Molecules in Cosmological Structure Formation.” Molecular Hydrogen in Space, Cambridge University Press, 2000, pp. 237–46, doi:10.1017/cbo9780511564635.038."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"The Role of H2 Molecules in Cosmological Structure Formation","publication_identifier":{"eisbn":["9780511564635"]},"publication_status":"published","external_id":{"arxiv":["astro-ph/0002031"]},"page":"237-246","arxiv":1,"type":"book_chapter","article_processing_charge":"No","oa_version":"Preprint","fulldoi":"https://doi.org/10.1017/cbo9780511564635.038","language":[{"iso":"eng"}],"_id":"18732","day":"01","doi":"10.1017/cbo9780511564635.038","date_updated":"2025-01-07T12:33:22Z","date_created":"2025-01-03T12:25:44Z","date_published":"2000-08-01T00:00:00Z","month":"08","OA_place":"repository","publisher":"Cambridge University Press","author":[{"first_name":"T.","full_name":"Abel, T.","last_name":"Abel"},{"last_name":"Haiman","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"}],"oa":1,"abstract":[{"text":"We review the relevance of H2 molecules for structure formation in cosmology. Molecules are important at high–redshifts, when the first collapsed structures appear with typical temperatures of a few hundred Kelvin. In these chemically pristine clouds, radiative cooling is dominated by H2 molecules. As a result, H2 “astro–Chemistry” is likely to determine the epoch when the first astrophysical objects appear. We summarize results of recent three–dimensional simulations. A discussion of the effects of feedback, and implications for the reionization of the universe is also given.","lang":"eng"}],"quality_controlled":"1","OA_type":"green","status":"public","scopus_import":"1","publication":"Molecular Hydrogen in Space","year":"2000"},{"type":"conference","page":"219-224","fulldoi":"https://doi.org/10.1007/10719504_42","language":[{"iso":"eng"}],"oa_version":"None","_id":"18733","day":"01","doi":"10.1007/10719504_42","article_processing_charge":"No","conference":{"start_date":"1999-08-04","end_date":"1999-08-06","name":"MPA/ESO Workshop","location":"Garching, Germany"},"extern":"1","citation":{"short":"Z. Haiman, in:, Proceedings of the MPA/ESO Workshop, Springer-Verlag, Berlin/Heidelberg, 2000, pp. 219–224.","ama":"Haiman Z. The radiative feedback from the first stars and quasars and the end of the dark age. In: Proceedings of the MPA/ESO Workshop. Berlin/Heidelberg: Springer-Verlag; 2000:219-224. doi:10.1007/10719504_42","mla":"Haiman, Zoltán. “The Radiative Feedback from the First Stars and Quasars and the End of the Dark Age.” Proceedings of the MPA/ESO Workshop, Springer-Verlag, 2000, pp. 219–24, doi:10.1007/10719504_42.","ieee":"Z. Haiman, “The radiative feedback from the first stars and quasars and the end of the dark age,” in Proceedings of the MPA/ESO Workshop, Garching, Germany, 2000, pp. 219–224.","apa":"Haiman, Z. (2000). The radiative feedback from the first stars and quasars and the end of the dark age. In Proceedings of the MPA/ESO Workshop (pp. 219–224). Berlin/Heidelberg: Springer-Verlag. https://doi.org/10.1007/10719504_42","chicago":"Haiman, Zoltán. “The Radiative Feedback from the First Stars and Quasars and the End of the Dark Age.” In Proceedings of the MPA/ESO Workshop, 219–24. Berlin/Heidelberg: Springer-Verlag, 2000. https://doi.org/10.1007/10719504_42.","ista":"Haiman Z. 2000. The radiative feedback from the first stars and quasars and the end of the dark age. Proceedings of the MPA/ESO Workshop. MPA/ESO Workshop, ESO Astrophysics Symposia, , 219–224."},"title":"The radiative feedback from the first stars and quasars and the end of the dark age","publication_status":"published","publication_identifier":{"eissn":["1611-6143"],"issn":["1431-2433"],"isbn":["9783540464617"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Haiman","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"}],"abstract":[{"text":"In hierarchical models of structure formation, an early cosmic UV background (UVB) is produced by the small (math formular) halos that collapse before cosmological reionization. If the first collapsed halos harbor stars, then their UV flux below 13.6 eV photo-dissociates the molecular hydrogen H2 in subsequently collapsing halos within a large sphere of influence. This causes a pause in the cosmic star-formation history: the buildup of the UVB and the epoch of reionization are delayed until larger halos ( math formular) collapse. In contrast, if the small halos harbor mini-quasars with hard spectra extending to -1keV, then their X-rays balance the effects of the UVB, the negative feedback does not occur, and reionization can be caused early on by the small halos.","lang":"eng"}],"alternative_title":["ESO Astrophysics Symposia"],"publisher":"Springer-Verlag","publication":"Proceedings of the MPA/ESO Workshop","place":"Berlin/Heidelberg","year":"2000","status":"public","quality_controlled":"1","OA_type":"closed access","scopus_import":"1","date_created":"2025-01-03T12:27:08Z","date_updated":"2025-01-07T12:40:11Z","month":"01","date_published":"2000-01-01T00:00:00Z"},{"article_processing_charge":"No","fulldoi":"https://doi.org/10.1142/9789812792433_0042","oa_version":"Preprint","language":[{"iso":"eng"}],"_id":"18744","day":"01","doi":"10.1142/9789812792433_0042","page":"250-259","arxiv":1,"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Galaxy cluster baryon fraction, cluster surveys and cosmology","publication_status":"published","publication_identifier":{"isbn":["9789810243883"]},"external_id":{"arxiv":["astro-ph/0004244"]},"conference":{"end_date":"1999-12-16","name":"PASCOS: Particles, Strings and Cosmology","location":"Lake Tahoe, CA, United States","start_date":"1999-12-10"},"extern":"1","main_file_link":[{"url":"https://arxiv.org/abs/astro-ph/0004244","open_access":"1"}],"citation":{"ista":"Mohr JJ, Haiman Z, Holder GP. 2000. Galaxy cluster baryon fraction, cluster surveys and cosmology. Proceedings of the 7th International Symposium on Particles, Strings and Cosmology. PASCOS: Particles, Strings and Cosmology, 250–259.","chicago":"Mohr, Joseph J., Zoltán Haiman, and Gilbert P. Holder. “Galaxy Cluster Baryon Fraction, Cluster Surveys and Cosmology.” In Proceedings of the 7th International Symposium on Particles, Strings and Cosmology, 250–59. World Scientific Publishing, 2000. https://doi.org/10.1142/9789812792433_0042.","apa":"Mohr, J. J., Haiman, Z., & Holder, G. P. (2000). Galaxy cluster baryon fraction, cluster surveys and cosmology. In Proceedings of the 7th International Symposium on Particles, Strings and Cosmology (pp. 250–259). Lake Tahoe, CA, United States: World Scientific Publishing. https://doi.org/10.1142/9789812792433_0042","ieee":"J. J. Mohr, Z. Haiman, and G. P. Holder, “Galaxy cluster baryon fraction, cluster surveys and cosmology,” in Proceedings of the 7th International Symposium on Particles, Strings and Cosmology, Lake Tahoe, CA, United States, 2000, pp. 250–259.","mla":"Mohr, Joseph J., et al. “Galaxy Cluster Baryon Fraction, Cluster Surveys and Cosmology.” Proceedings of the 7th International Symposium on Particles, Strings and Cosmology, World Scientific Publishing, 2000, pp. 250–59, doi:10.1142/9789812792433_0042.","ama":"Mohr JJ, Haiman Z, Holder GP. Galaxy cluster baryon fraction, cluster surveys and cosmology. In: Proceedings of the 7th International Symposium on Particles, Strings and Cosmology. World Scientific Publishing; 2000:250-259. doi:10.1142/9789812792433_0042","short":"J.J. Mohr, Z. Haiman, G.P. Holder, in:, Proceedings of the 7th International Symposium on Particles, Strings and Cosmology, World Scientific Publishing, 2000, pp. 250–259."},"OA_type":"green","status":"public","quality_controlled":"1","scopus_import":"1","publication":"Proceedings of the 7th International Symposium on Particles, Strings and Cosmology","year":"2000","publisher":"World Scientific Publishing","author":[{"last_name":"Mohr","first_name":"Joseph J.","full_name":"Mohr, Joseph J."},{"last_name":"Haiman","orcid":"0000-0003-3633-5403","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán"},{"full_name":"Holder, Gilbert P.","first_name":"Gilbert P.","last_name":"Holder"}],"oa":1,"abstract":[{"lang":"eng","text":"The properties of nearby galaxy cluster limit the range of cosmological paramaters consistent with our universe. We describe the limits which arise from studies of the intracluster medium (ICM) mass fraction fICM and consideration of the possible sources of systematic error: (math formula) at 95% confidence. We emphasize that independent of Type Ia supernovae (SNe Ia) observation, this cluster study, taken together with published cosmic microwave background (CMB) anisotropy studies, indicates a non-zero quintessence or dark energy component ΩQ > 0.\r\n\r\nWe then discuss future galaxy cluster surveys which will probe the abundance of galaxy clusters intermediate and high redshift. We investigate the sensitivity of these surveys to the cosmological density parameter ΩM and the equation of state parameter w of any quintessence component. In particular, we show that cluster survey constraints from a proposed large solid angle X-ray survey are compatable in precision and complementary in nature to constraints expected from future CMB anisotropy and SNe Ia studies."}],"date_published":"2000-08-01T00:00:00Z","month":"08","OA_place":"repository","date_updated":"2025-01-07T14:16:19Z","date_created":"2025-01-03T12:35:33Z"},{"doi":"10.1007/978-94-011-4114-7_13","publication":"Toward a New Millennium in Galaxy Morphology","fulldoi":"https://doi.org/10.1007/978-94-011-4114-7_13","oa_version":"None","language":[{"iso":"eng"}],"day":"31","_id":"18752","year":"2000","article_processing_charge":"No","OA_type":"closed access","status":"public","quality_controlled":"1","scopus_import":"1","abstract":[{"text":"In hierarchical models of structure formation, an early cosmic UV background (UVB) is produced by the small (T vir ≲ 10^4K) halos that collapse before cosmological reionization. If the sources in the first collapsed halos are stars, then their UV flux below 13.6 eV photo-dissociates the molecular hydrogen H2in subsequently collapsing halos and causes a pause in the cosmic star-formation history. The buildup of the UVB, and reionization is delayed until larger halos (T vir ≳ 10^4K)collapse. In contrast, if the small halos host mini-quasars with hard spectra extending to ~ 1 keV, then their X-rays balance the effects of the UVB, the negative feedback does not occur, and reionization can be caused early on by the small halos.","lang":"eng"}],"author":[{"last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","orcid":"0000-0003-3633-5403","full_name":"Haiman, Zoltán"}],"type":"book_chapter","publisher":"Springer Nature","page":"191-199","publication_identifier":{"isbn":["9789401058018"],"eisbn":["9789401141147"]},"publication_status":"published","title":"Radiative Feedback From the First Objects and the End of the Cosmological Dark Age","month":"07","date_published":"2000-07-31T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2025-01-03T12:40:44Z","editor":[{"last_name":"Block","first_name":"David L.","full_name":"Block, David L."},{"full_name":"Puerari, Ivanio","first_name":"Ivanio","last_name":"Puerari"},{"last_name":"Stockton","first_name":"Alan","full_name":"Stockton, Alan"},{"full_name":"Ferreira, Dewet","first_name":"Dewet","last_name":"Ferreira"}],"date_updated":"2025-01-07T14:36:51Z","citation":{"short":"Z. Haiman, in:, D.L. Block, I. Puerari, A. Stockton, D. Ferreira (Eds.), Toward a New Millennium in Galaxy Morphology, Springer Nature, 2000, pp. 191–199.","ama":"Haiman Z. Radiative Feedback From the First Objects and the End of the Cosmological Dark Age. In: Block DL, Puerari I, Stockton A, Ferreira D, eds. Toward a New Millennium in Galaxy Morphology. Springer Nature; 2000:191-199. doi:10.1007/978-94-011-4114-7_13","ieee":"Z. Haiman, “Radiative Feedback From the First Objects and the End of the Cosmological Dark Age,” in Toward a New Millennium in Galaxy Morphology, D. L. Block, I. Puerari, A. Stockton, and D. Ferreira, Eds. Springer Nature, 2000, pp. 191–199.","mla":"Haiman, Zoltán. “Radiative Feedback From the First Objects and the End of the Cosmological Dark Age.” Toward a New Millennium in Galaxy Morphology, edited by David L. Block et al., Springer Nature, 2000, pp. 191–99, doi:10.1007/978-94-011-4114-7_13.","apa":"Haiman, Z. (2000). Radiative Feedback From the First Objects and the End of the Cosmological Dark Age. In D. L. Block, I. Puerari, A. Stockton, & D. Ferreira (Eds.), Toward a New Millennium in Galaxy Morphology (pp. 191–199). Springer Nature. https://doi.org/10.1007/978-94-011-4114-7_13","chicago":"Haiman, Zoltán. “Radiative Feedback From the First Objects and the End of the Cosmological Dark Age.” In Toward a New Millennium in Galaxy Morphology, edited by David L. Block, Ivanio Puerari, Alan Stockton, and Dewet Ferreira, 191–99. Springer Nature, 2000. https://doi.org/10.1007/978-94-011-4114-7_13.","ista":"Haiman Z. 2000.Radiative Feedback From the First Objects and the End of the Cosmological Dark Age. In: Toward a New Millennium in Galaxy Morphology. , 191–199."},"extern":"1"},{"publisher":"Elsevier","author":[{"full_name":"Sazanov, Leonid A","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","last_name":"Sazanov"},{"first_name":"John","full_name":"Walker, John","last_name":"Walker"}],"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."}],"scopus_import":"1","pmid":1,"quality_controlled":"1","status":"public","intvolume":" 302","year":"2000","volume":302,"publication":"Journal of Molecular Biology","date_updated":"2023-05-04T13:23:03Z","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.","date_created":"2018-12-11T11:54:55Z","date_published":"2000-09-15T00:00:00Z","month":"09","article_type":"original","page":"455 - 464","issue":"2","type":"journal_article","publist_id":"5126","article_processing_charge":"No","_id":"1957","day":"15","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1006/jmbi.2000.4079","oa_version":"None","doi":"10.1006/jmbi.2000.4079","extern":"1","citation":{"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.","ista":"Sazanov LA, Walker J. 2000. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 302(2), 455–464.","ama":"Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 2000;302(2):455-464. doi:10.1006/jmbi.2000.4079","short":"L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464.","ieee":"L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms,” Journal of Molecular Biology, vol. 302, no. 2. Elsevier, pp. 455–464, 2000.","mla":"Sazanov, Leonid A., and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology, vol. 302, no. 2, Elsevier, 2000, pp. 455–64, doi:10.1006/jmbi.2000.4079.","apa":"Sazanov, L. A., & Walker, J. (2000). Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. Elsevier. https://doi.org/10.1006/jmbi.2000.4079"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms","external_id":{"pmid":["10970745"]},"publication_status":"published","publication_identifier":{"issn":["0022-2836"]}},{"extern":"1","citation":{"chicago":"Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry. ACS, 2000. https://doi.org/10.1021/bi000335t.","ista":"Sazanov LA, Peak Chew S, Fearnley I, Walker J. 2000. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 39(24), 7229–7235.","short":"L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.","ama":"Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 2000;39(24):7229-7235. doi:10.1021/bi000335t","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.","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.","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"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme","publication_identifier":{"issn":["0006-2960"]},"publication_status":"published","external_id":{"pmid":["10852722"]},"page":"7229 - 7235","article_type":"original","issue":"24","publist_id":"5127","type":"journal_article","article_processing_charge":"No","fulldoi":"https://doi.org/10.1021/bi000335t","language":[{"iso":"eng"}],"oa_version":"None","_id":"1958","day":"24","doi":"10.1021/bi000335t","date_updated":"2023-05-04T14:14:53Z","date_created":"2018-12-11T11:54:55Z","date_published":"2000-05-24T00:00:00Z","month":"05","publisher":"ACS","author":[{"full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov"},{"first_name":"Sew","full_name":"Peak Chew, Sew","last_name":"Peak Chew"},{"first_name":"Ian","full_name":"Fearnley, Ian","last_name":"Fearnley"},{"full_name":"Walker, John","first_name":"John","last_name":"Walker"}],"abstract":[{"text":"\r\nComplex I (NADH:ubiquinone oxidoreductase) purified from bovine heart mitochondria was treated with the detergent N,N-dimethyldodecylamine N-oxide (LDAO). The enzyme dissociated into two known subcomplexes, Iα and Iβ, containing mostly hydrophilic and hydrophobic subunits, and a previously undetected fragment referred to as Iγ. Subcomplex Iγ contains the hydrophobic subunits ND1, ND2, ND3, and ND4L which are encoded in the mitochondrial genome, and the nuclear-encoded subunit KFYL. During size- exclusion chromatography in the presence of LDAO, subcomplex Iα lost several subunits and formed another characterized subcomplex known as Iλ. Similarly, subcomplex Iβ dissociated into two smaller subcomplexes, one of which contains the hydrophobic subunits ND4 and ND5; subcomplex Iγ released a fragment containing ND1 and ND2. These results suggest that in the intact complex subunits ND1 and ND2 are likely to be in a different region of the membrane domain than subunits ND4 and ND5. The compositions of the various subcomplexes and fragments of complex I provide an organization of the subunits of the enzyme in the framework of the known low resolution structure of the enzyme.","lang":"eng"}],"status":"public","quality_controlled":"1","scopus_import":"1","pmid":1,"intvolume":" 39","publication":"Biochemistry","volume":39,"year":"2000"},{"article_processing_charge":"No","doi":"10.1007/3-540-46419-0_21","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1007/3-540-46419-0_21","oa_version":"None","_id":"4433","day":"01","page":"299 - 314","publist_id":"297","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9783540672821"]},"publication_status":"published","title":"Fair bisimulation","citation":{"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","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.","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.","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","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.","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.","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."},"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"},"extern":"1","intvolume":" 1785","status":"public","quality_controlled":"1","scopus_import":"1","publication":"Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","volume":1785,"year":"2000","publisher":"Springer","alternative_title":["LNCS"],"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."}],"author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"last_name":"Rajamani","full_name":"Rajamani, Sriram","first_name":"Sriram"}],"date_published":"2000-01-01T00:00:00Z","month":"01","date_updated":"2023-04-18T13:11:07Z","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.","date_created":"2018-12-11T12:08:50Z"},{"conference":{"name":"HSCC: Hybrid Systems - Computation and Control","location":"Pittsburgh, PA, USA","end_date":"2000-03-25","start_date":"2000-03-23"},"extern":"1","citation":{"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.","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.","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.","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"},"title":"Robust undecidability of timed and hybrid systems","publication_identifier":{"isbn":["9783540672593"]},"publication_status":"published","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"298","type":"conference","page":"145 - 159","fulldoi":"https://doi.org/10.1007/3-540-46430-1_15","language":[{"iso":"eng"}],"oa_version":"None","day":"01","_id":"4434","doi":"10.1007/3-540-46430-1_15","article_processing_charge":"No","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. ","date_created":"2018-12-11T12:08:50Z","date_updated":"2023-04-18T13:16:13Z","month":"01","date_published":"2000-01-01T00:00:00Z","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Raskin, Jean","first_name":"Jean","last_name":"Raskin"}],"abstract":[{"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.","lang":"eng"}],"alternative_title":["LNCS"],"publisher":"Springer","publication":"Proceedings of the 3rd International Workshop on Hybrid Systems","volume":1790,"year":"2000","status":"public","quality_controlled":"1","scopus_import":"1","intvolume":" 1790"},{"date_published":"2000-01-01T00:00:00Z","month":"01","date_updated":"2023-04-18T13:08:09Z","date_created":"2018-12-11T12:08:50Z","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.","intvolume":" 1785","quality_controlled":"1","status":"public","scopus_import":"1","publication":"Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","year":"2000","volume":1785,"publisher":"Springer","alternative_title":["LNCS"],"abstract":[{"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.","lang":"eng"}],"author":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_status":"published","publication_identifier":{"isbn":["9783540672821"]},"title":"Symbolic model checking for rectangular hybrid systems","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","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.","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.","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.","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.","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."},"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"},"extern":"1","article_processing_charge":"No","doi":"10.1007/3-540-46419-0_11","oa_version":"None","fulldoi":"https://doi.org/10.1007/3-540-46419-0_11","language":[{"iso":"eng"}],"_id":"4435","day":"01","page":"142 - 156","publist_id":"293","type":"conference"},{"volume":1770,"year":"2000","publication":"Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science","intvolume":" 1770","scopus_import":"1","status":"public","quality_controlled":"1","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."}],"author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar"}],"publisher":"Springer","alternative_title":["LNCS"],"month":"01","date_published":"2000-01-01T00:00:00Z","date_created":"2018-12-11T12:08:51Z","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.","date_updated":"2023-04-18T13:02:39Z","doi":"10.1007/3-540-46541-3_2","day":"01","_id":"4439","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1007/3-540-46541-3_2","oa_version":"None","article_processing_charge":"No","type":"conference","publist_id":"292","page":"13 - 34","publication_identifier":{"isbn":["9783540671411"]},"publication_status":"published","title":"A classification of symbolic transition systems","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"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.","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.","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","short":"T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.","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","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.","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."},"extern":"1","conference":{"start_date":"2000-02-17","end_date":"2000-02-19","name":"STACS: Theoretical Aspects of Computer Science","location":"Lille, France"}},{"extern":"1","conference":{"start_date":"2000-03-23","location":"Pittsburgh, PA, USA","name":"HSCC: Hybrid Systems - Computation and Control","end_date":"2000-03-25"},"citation":{"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","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","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.","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.","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.","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.","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."},"title":"Beyond HyTech: Hybrid systems analysis using interval numerical methods","publication_status":"published","publication_identifier":{"isbn":["9783540672593"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","publist_id":"247","page":"130 - 144","day":"01","_id":"4481","fulldoi":"https://doi.org/10.1007/3-540-46430-1_14","oa_version":"None","language":[{"iso":"eng"}],"doi":"10.1007/3-540-46430-1_14","article_processing_charge":"No","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.","date_created":"2018-12-11T12:09:04Z","date_updated":"2023-04-18T12:44:52Z","month":"01","date_published":"2000-01-01T00:00:00Z","author":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"last_name":"Horowitz","first_name":"Benjamin","full_name":"Horowitz, Benjamin"},{"full_name":"Majumdar, Ritankar","first_name":"Ritankar","last_name":"Majumdar"},{"full_name":"Wong Toi, Howard","first_name":"Howard","last_name":"Wong Toi"}],"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."}],"alternative_title":["LNCS"],"publisher":"Springer","volume":1790,"year":"2000","publication":"Proceedings of the 3rd International Workshop on Hybrid Systems","scopus_import":"1","status":"public","quality_controlled":"1","intvolume":" 1790"},{"month":"01","date_published":"2000-01-01T00:00:00Z","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.","date_created":"2018-12-11T12:09:04Z","date_updated":"2023-04-18T12:49:56Z","publication":"Proceedings of the 7th International Symposium on Static Analysis","volume":1824,"year":"2000","intvolume":" 1824","quality_controlled":"1","status":"public","scopus_import":"1","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."}],"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar"},{"last_name":"Mang","first_name":"Freddy","full_name":"Mang, Freddy"},{"first_name":"Jean","full_name":"Raskin, Jean","last_name":"Raskin"}],"publisher":"Springer","alternative_title":["LNCS"],"publication_identifier":{"isbn":["9783540676683"]},"publication_status":"published","title":"Abstract interpretation of game properties","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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","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.","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.","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.","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.","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."},"conference":{"name":"SAS: Static Analysis Symposium","location":"Santa Barbara, CA, USA","end_date":"2000-07-06","start_date":"2000-06-29"},"extern":"1","doi":"10.1007/978-3-540-45099-3_12","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1007/978-3-540-45099-3_12","oa_version":"None","day":"01","_id":"4482","article_processing_charge":"No","publist_id":"248","type":"conference","page":"220 - 239"}]