[{"abstract":[{"lang":"eng","text":"Mixtures of oppositely charged nanoparticles of various sizes and charge ratios precipitate only at the point of electroneutrality. This phenomenonspecific to the nanoscale and reminiscent of threshold precipitation of ionsis a consequence of the formation of core-and-shell nanoparticle aggregates, in which the shells are composed of like-charged particles and are stabilized by efficient electrostatic screening."}],"author":[{"full_name":"Kalsin, Alexander M.","first_name":"Alexander M.","last_name":"Kalsin"},{"first_name":"Bartlomiej","last_name":"Kowalczyk","full_name":"Kowalczyk, Bartlomiej"},{"first_name":"Stoyan K.","last_name":"Smoukov","full_name":"Smoukov, Stoyan K."},{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","full_name":"Klajn, Rafal"},{"full_name":"Grzybowski, Bartosz A.","last_name":"Grzybowski","first_name":"Bartosz A."}],"date_updated":"2023-08-08T11:30:06Z","extern":"1","title":"Ionic-like behavior of oppositely charged nanoparticles","intvolume":"       128","citation":{"ama":"Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. Ionic-like behavior of oppositely charged nanoparticles. <i>Journal of the American Chemical Society</i>. 2006;128(47):15046-15047. doi:<a href=\"https://doi.org/10.1021/ja0642966\">10.1021/ja0642966</a>","mla":"Kalsin, Alexander M., et al. “Ionic-like Behavior of Oppositely Charged Nanoparticles.” <i>Journal of the American Chemical Society</i>, vol. 128, no. 47, American Chemical Society, 2006, pp. 15046–47, doi:<a href=\"https://doi.org/10.1021/ja0642966\">10.1021/ja0642966</a>.","short":"A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.","chicago":"Kalsin, Alexander M., Bartlomiej Kowalczyk, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Ionic-like Behavior of Oppositely Charged Nanoparticles.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2006. <a href=\"https://doi.org/10.1021/ja0642966\">https://doi.org/10.1021/ja0642966</a>.","ista":"Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. 2006. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 128(47), 15046–15047.","ieee":"A. M. Kalsin, B. Kowalczyk, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Ionic-like behavior of oppositely charged nanoparticles,” <i>Journal of the American Chemical Society</i>, vol. 128, no. 47. American Chemical Society, pp. 15046–15047, 2006.","apa":"Kalsin, A. M., Kowalczyk, B., Smoukov, S. K., Klajn, R., &#38; Grzybowski, B. A. (2006). Ionic-like behavior of oppositely charged nanoparticles. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja0642966\">https://doi.org/10.1021/ja0642966</a>"},"volume":128,"day":"29","article_type":"original","external_id":{"pmid":["17117829"]},"date_created":"2023-08-01T10:36:27Z","year":"2006","article_processing_charge":"No","publisher":"American Chemical Society","type":"journal_article","language":[{"iso":"eng"}],"publication":"Journal of the American Chemical Society","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"15046-15047","oa_version":"None","_id":"13428","scopus_import":"1","month":"11","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"status":"public","issue":"47","pmid":1,"date_published":"2006-11-29T00:00:00Z","fulldoi":"https://doi.org/10.1021/ja0642966","doi":"10.1021/ja0642966","publication_identifier":{"issn":["0002-7863"],"eissn":["1520-5126"]},"quality_controlled":"1"},{"day":"11","volume":45,"citation":{"ista":"Bishop KJM, Klajn R, Grzybowski BA. 2006. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 45(32), 5348–5354.","apa":"Bishop, K. J. M., Klajn, R., &#38; Grzybowski, B. A. (2006). The core and most useful molecules in organic chemistry. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.200600881\">https://doi.org/10.1002/anie.200600881</a>","ieee":"K. J. M. Bishop, R. Klajn, and B. A. Grzybowski, “The core and most useful molecules in organic chemistry,” <i>Angewandte Chemie International Edition</i>, vol. 45, no. 32. Wiley, pp. 5348–5354, 2006.","short":"K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.","mla":"Bishop, Kyle J. M., et al. “The Core and Most Useful Molecules in Organic Chemistry.” <i>Angewandte Chemie International Edition</i>, vol. 45, no. 32, Wiley, 2006, pp. 5348–54, doi:<a href=\"https://doi.org/10.1002/anie.200600881\">10.1002/anie.200600881</a>.","chicago":"Bishop, Kyle J. M., Rafal Klajn, and Bartosz A. Grzybowski. “The Core and Most Useful Molecules in Organic Chemistry.” <i>Angewandte Chemie International Edition</i>. Wiley, 2006. <a href=\"https://doi.org/10.1002/anie.200600881\">https://doi.org/10.1002/anie.200600881</a>.","ama":"Bishop KJM, Klajn R, Grzybowski BA. The core and most useful molecules in organic chemistry. <i>Angewandte Chemie International Edition</i>. 2006;45(32):5348-5354. doi:<a href=\"https://doi.org/10.1002/anie.200600881\">10.1002/anie.200600881</a>"},"intvolume":"        45","title":"The core and most useful molecules in organic chemistry","extern":"1","date_updated":"2023-08-08T11:31:27Z","abstract":[{"lang":"eng","text":"The fruitful core: Organic syntheses reported in the literature from 1850 to 2004 are analyzed with mathematical tools from network theory and statistical physics. There is a set of substances (the core) from which the majority of other organic compounds can be made (see picture; red: core, blue: periphery, green: islands). Search algorithms are used to identify small optimal sets of maximally useful chemicals."}],"author":[{"last_name":"Bishop","first_name":"Kyle J. M.","full_name":"Bishop, Kyle J. M."},{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","full_name":"Klajn, Rafal"},{"last_name":"Grzybowski","first_name":"Bartosz A.","full_name":"Grzybowski, Bartosz A."}],"article_processing_charge":"No","year":"2006","date_created":"2023-08-01T10:37:16Z","external_id":{"pmid":["16835857"]},"article_type":"original","month":"08","_id":"13429","scopus_import":"1","oa_version":"None","page":"5348-5354","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Angewandte Chemie International Edition","language":[{"iso":"eng"}],"type":"journal_article","publisher":"Wiley","quality_controlled":"1","doi":"10.1002/anie.200600881","publication_identifier":{"issn":["1433-7851"],"eissn":["1521-3773"]},"fulldoi":"https://doi.org/10.1002/anie.200600881","date_published":"2006-08-11T00:00:00Z","pmid":1,"issue":"32","status":"public","keyword":["General Chemistry","Catalysis"]},{"fulldoi":"https://doi.org/10.1021/jp054153q","quality_controlled":"1","publication_identifier":{"issn":["1520-6106","1520-5207"]},"doi":"10.1021/jp054153q","pmid":1,"status":"public","keyword":["Materials Chemistry","Surfaces","Coatings and Films","Physical and Theoretical Chemistry"],"issue":"6","date_published":"2006-01-25T00:00:00Z","page":"2482-2496","month":"01","_id":"13430","scopus_import":"1","oa_version":"None","publisher":"American Chemical Society","type":"journal_article","language":[{"iso":"eng"}],"publication":"The Journal of Physical Chemistry B","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","date_created":"2023-08-01T10:37:35Z","year":"2006","article_type":"original","external_id":{"pmid":["16471845"]},"day":"25","intvolume":"       110","citation":{"ama":"Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. Principles and implementations of dissipative (dynamic) self-assembly. <i>The Journal of Physical Chemistry B</i>. 2006;110(6):2482-2496. doi:<a href=\"https://doi.org/10.1021/jp054153q\">10.1021/jp054153q</a>","apa":"Fialkowski, M., Bishop, K. J. M., Klajn, R., Smoukov, S. K., Campbell, C. J., &#38; Grzybowski, B. A. (2006). Principles and implementations of dissipative (dynamic) self-assembly. <i>The Journal of Physical Chemistry B</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jp054153q\">https://doi.org/10.1021/jp054153q</a>","ieee":"M. Fialkowski, K. J. M. Bishop, R. Klajn, S. K. Smoukov, C. J. Campbell, and B. A. Grzybowski, “Principles and implementations of dissipative (dynamic) self-assembly,” <i>The Journal of Physical Chemistry B</i>, vol. 110, no. 6. American Chemical Society, pp. 2482–2496, 2006.","ista":"Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. 2006. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 110(6), 2482–2496.","chicago":"Fialkowski, Marcin, Kyle J. M. Bishop, Rafal Klajn, Stoyan K. Smoukov, Christopher J. Campbell, and Bartosz A. Grzybowski. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.” <i>The Journal of Physical Chemistry B</i>. American Chemical Society, 2006. <a href=\"https://doi.org/10.1021/jp054153q\">https://doi.org/10.1021/jp054153q</a>.","short":"M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.","mla":"Fialkowski, Marcin, et al. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.” <i>The Journal of Physical Chemistry B</i>, vol. 110, no. 6, American Chemical Society, 2006, pp. 2482–96, doi:<a href=\"https://doi.org/10.1021/jp054153q\">10.1021/jp054153q</a>."},"volume":110,"abstract":[{"text":"Dynamic self-assembly (DySA) processes occurring outside of thermodynamic equilibrium underlie many forms of adaptive and intellligent behaviors in natural systems. Relatively little, however, is known about the principles that govern DySA and the ways in which it can be extended to artificial ensembles. This article discusses recent advances in both the theory and the practice of nonequilibrium self-assembly. It is argued that a union of ideas from thermodynamics and dynamic systems' theory can provide a general description of DySA. In parallel, heuristic design rules can be used to construct DySA systems of increasing complexities based on a variety of suitable interactions/potentials on length scales from nanoscopic to macroscopic. Applications of these rules to magnetohydrodynamic DySA are also discussed.","lang":"eng"}],"author":[{"first_name":"Marcin","last_name":"Fialkowski","full_name":"Fialkowski, Marcin"},{"last_name":"Bishop","first_name":"Kyle J. M.","full_name":"Bishop, Kyle J. M."},{"full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","first_name":"Rafal"},{"last_name":"Smoukov","first_name":"Stoyan K.","full_name":"Smoukov, Stoyan K."},{"full_name":"Campbell, Christopher J.","last_name":"Campbell","first_name":"Christopher J."},{"full_name":"Grzybowski, Bartosz A.","first_name":"Bartosz A.","last_name":"Grzybowski"}],"title":"Principles and implementations of dissipative (dynamic) self-assembly","date_updated":"2023-08-08T11:33:08Z","extern":"1"},{"_id":"1461","publist_id":"5733","month":"08","volume":134,"page":"2403 - 2409","citation":{"ama":"Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. <i>Proceedings of the American Mathematical Society</i>. 2006;134(8):2403-2409. doi:<a href=\"https://doi.org/10.1090/S0002-9939-06-08248-7\">10.1090/S0002-9939-06-08248-7</a>","apa":"Hausel, T., &#38; Swartz, E. (2006). Intersection forms of toric hyperkähler varieties. <i>Proceedings of the American Mathematical Society</i>. American Mathematical Society. <a href=\"https://doi.org/10.1090/S0002-9939-06-08248-7\">https://doi.org/10.1090/S0002-9939-06-08248-7</a>","ieee":"T. Hausel and E. Swartz, “Intersection forms of toric hyperkähler varieties,” <i>Proceedings of the American Mathematical Society</i>, vol. 134, no. 8. American Mathematical Society, pp. 2403–2409, 2006.","ista":"Hausel T, Swartz E. 2006. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 134(8), 2403–2409.","chicago":"Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” <i>Proceedings of the American Mathematical Society</i>. American Mathematical Society, 2006. <a href=\"https://doi.org/10.1090/S0002-9939-06-08248-7\">https://doi.org/10.1090/S0002-9939-06-08248-7</a>.","mla":"Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” <i>Proceedings of the American Mathematical Society</i>, vol. 134, no. 8, American Mathematical Society, 2006, pp. 2403–09, doi:<a href=\"https://doi.org/10.1090/S0002-9939-06-08248-7\">10.1090/S0002-9939-06-08248-7</a>.","short":"T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409."},"intvolume":"       134","day":"01","extern":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math/0306369"}],"date_updated":"2021-01-12T06:50:54Z","publication_status":"published","publication":"Proceedings of the American Mathematical Society","title":"Intersection forms of toric hyperkähler varieties","type":"journal_article","publisher":"American Mathematical Society","abstract":[{"text":"This note proves combinatorially that the intersection pairing on the middle-dimensional compactly supported cohomology of a toric hyperkähler variety is always definite, providing a large number of non-trivial L 2 harmonic forms for toric hyperkähler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L 2 harmonic forms on complete hyperkähler manifolds of linear growth.","lang":"eng"}],"author":[{"first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Tamas Hausel"},{"full_name":"Swartz, Edward","first_name":"Edward","last_name":"Swartz"}],"doi":"10.1090/S0002-9939-06-08248-7","quality_controlled":0,"date_created":"2018-12-11T11:52:09Z","year":"2006","fulldoi":"https://doi.org/10.1090/S0002-9939-06-08248-7","date_published":"2006-08-01T00:00:00Z","oa":1,"acknowledgement":"The first author was partly supported by NSF grant DMS-0072675. The second author was partly supported by a VIGRE postdoc under NSF grant number 9983660 to Cornell University.","issue":"8","status":"public"},{"abstract":[{"lang":"eng","text":"A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This technique in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence, simple unified proofs are obtained for formulas of Poincaré polynomials of toric hyperkähler varieties (recovering results of Bielawski-Dancer and Hausel-Sturmfels), Poincaré polynomials of Hubert schemes of points and twisted Atiyah-Drinfeld-Hitchin-Manin (ADHM) spaces of instantons on ℂ2 (recovering results of Nakajima-Yoshioka), and Poincaré polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced."}],"author":[{"full_name":"Tamas Hausel","first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"}],"type":"journal_article","publisher":"National Academy of Sciences","publication_status":"published","publication":"PNAS","title":"Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform","main_file_link":[{"url":"http://arxiv.org/abs/math/0511163","open_access":"1"}],"extern":1,"date_updated":"2021-01-12T06:50:55Z","day":"18","volume":103,"intvolume":"       103","page":"6120 - 6124","citation":{"ama":"Hausel T. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. <i>PNAS</i>. 2006;103(16):6120-6124. doi:<a href=\"https://doi.org/10.1073/pnas.0601337103\">10.1073/pnas.0601337103</a>","ista":"Hausel T. 2006. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 103(16), 6120–6124.","apa":"Hausel, T. (2006). Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.0601337103\">https://doi.org/10.1073/pnas.0601337103</a>","ieee":"T. Hausel, “Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform,” <i>PNAS</i>, vol. 103, no. 16. National Academy of Sciences, pp. 6120–6124, 2006.","short":"T. Hausel, PNAS 103 (2006) 6120–6124.","mla":"Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” <i>PNAS</i>, vol. 103, no. 16, National Academy of Sciences, 2006, pp. 6120–24, doi:<a href=\"https://doi.org/10.1073/pnas.0601337103\">10.1073/pnas.0601337103</a>.","chicago":"Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” <i>PNAS</i>. National Academy of Sciences, 2006. <a href=\"https://doi.org/10.1073/pnas.0601337103\">https://doi.org/10.1073/pnas.0601337103</a>."},"publist_id":"5734","month":"04","_id":"1462","issue":"16","status":"public","acknowledgement":"This work was supported by a Royal Society University Research Fellowship, National Science Foundation Grant DMS-0305505, an Alfred P. Sloan Research Fellowship, and a Summer Research Assignment of the University of Texas at Austin.","date_published":"2006-04-18T00:00:00Z","oa":1,"fulldoi":"https://doi.org/10.1073/pnas.0601337103","year":"2006","date_created":"2018-12-11T11:52:10Z","quality_controlled":0,"doi":"10.1073/pnas.0601337103"},{"status":"public","issue":"7","acknowledgement":"This work was supported by the Max Planck Society, HFSP, and Deutsche Forschungsgemeinschaft.","date_published":"2006-04-04T00:00:00Z","fulldoi":"https://doi.org/10.1016/j.cub.2006.02.061","article_processing_charge":"No","date_created":"2018-12-11T11:53:37Z","year":"2006","doi":"10.1016/j.cub.2006.02.061","abstract":[{"text":"Background: Cell-to-cell communication at the synapse involves synaptic transmission as well as signaling mediated by growth factors, which provide developmental and plasticity cues. There is evidence that a retrograde, presynaptic transforming growth factor-β (TGF-β) signaling event regulates synapse development and function in Drosophila. Results: Here we show that a postsynaptic TGF-β signaling event occurs during larval development. The type I receptor Thick veins (Tkv) and the R-Smad transcription factor Mothers-against-dpp (Mad) are localized postsynaptically in the muscle. Furthermore, Mad phosphorylation occurs in regions facing the presynaptic active zones of neurotransmitter release within the postsynaptic subsynaptic reticulum (SSR). In order to monitor in real time the levels of TGF-β signaling in the synapse during synaptic transmission, we have established a FRAP assay to measure Mad nuclear import/export in the muscle. We show that Mad nuclear trafficking depends on stimulation of the muscle. Conclusions: Our data suggest a mechanism linking synaptic transmission and postsynaptic TGF-β signaling that may coordinate nerve-muscle development and function.","lang":"eng"}],"author":[{"full_name":"Dudu, Veronika","last_name":"Dudu","first_name":"Veronika"},{"full_name":"Bittig, Thomas","last_name":"Bittig","first_name":"Thomas"},{"first_name":"Eugeni","last_name":"Entchev","full_name":"Entchev, Eugeni"},{"first_name":"Anna","last_name":"Kicheva","id":"3959A2A0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4509-4998","full_name":"Kicheva, Anna"},{"full_name":"Julicher, Frank","last_name":"Julicher","first_name":"Frank"},{"first_name":"Marcos","last_name":"González Gaitán","full_name":"González Gaitán, Marcos"}],"publisher":"Cell Press","type":"journal_article","publication":"Current Biology","title":"Postsynaptic mad signaling at the Drosophila neuromuscular junction","language":[{"iso":"eng"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"published","date_updated":"2021-11-16T07:44:15Z","related_material":{"link":[{"url":"https://doi.org/10.1016/j.cub.2006.06.020","relation":"erratum"}]},"extern":"1","day":"04","page":"625 - 635","intvolume":"        16","citation":{"ama":"Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. Postsynaptic mad signaling at the Drosophila neuromuscular junction. <i>Current Biology</i>. 2006;16(7):625-635. doi:<a href=\"https://doi.org/10.1016/j.cub.2006.02.061\">10.1016/j.cub.2006.02.061</a>","apa":"Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., &#38; González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2006.02.061\">https://doi.org/10.1016/j.cub.2006.02.061</a>","ieee":"V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, and M. González Gaitán, “Postsynaptic mad signaling at the Drosophila neuromuscular junction,” <i>Current Biology</i>, vol. 16, no. 7. Cell Press, pp. 625–635, 2006.","ista":"Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. 2006. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 16(7), 625–635.","chicago":"Dudu, Veronika, Thomas Bittig, Eugeni Entchev, Anna Kicheva, Frank Julicher, and Marcos González Gaitán. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” <i>Current Biology</i>. Cell Press, 2006. <a href=\"https://doi.org/10.1016/j.cub.2006.02.061\">https://doi.org/10.1016/j.cub.2006.02.061</a>.","short":"V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.","mla":"Dudu, Veronika, et al. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” <i>Current Biology</i>, vol. 16, no. 7, Cell Press, 2006, pp. 625–35, doi:<a href=\"https://doi.org/10.1016/j.cub.2006.02.061\">10.1016/j.cub.2006.02.061</a>."},"volume":16,"month":"04","publist_id":"5416","oa_version":"None","_id":"1715"},{"status":"public","place":"Berlin/Heidelberg","date_published":"2006-02-01T00:00:00Z","fulldoi":"https://doi.org/10.1007/10899892_25","OA_type":"green","OA_place":"repository","quality_controlled":"1","doi":"10.1007/10899892_25","publication_identifier":{"issn":["1431-2433"],"isbn":["9783540002055"],"eissn":["1611-6143"]},"conference":{"start_date":"2001-10-24","end_date":"2001-10-26","location":"Venice, Italy","name":"European Southern Observatory and Universitäts-Sternwarte München Workshop"},"publisher":"Springer Nature","type":"conference","language":[{"iso":"eng"}],"publication":"Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://arxiv.org/abs/astro-ph/0112131","open_access":"1"}],"page":"106-108","month":"02","oa_version":"Preprint","_id":"18730","scopus_import":"1","oa":1,"external_id":{"arxiv":["astro-ph/0112131"]},"article_processing_charge":"No","date_created":"2025-01-03T12:24:48Z","year":"2006","author":[{"full_name":"Ciotti, Luca","first_name":"Luca","last_name":"Ciotti"},{"full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"},{"last_name":"Ostriker","first_name":"Jeremiah P.","full_name":"Ostriker, Jeremiah P."}],"abstract":[{"lang":"eng","text":"We present a robust method to derive the duty cycle of QSO activity based on the empirical QSO luminosity function and on the present-day linear relation between the masses of supermassive black holes and those of their spheroidal host stellar systems. It is found that the duty cycle is substantially less than unity, with characteristic values in the range 3-6 x 10-3. Finally, we tested the expectation that the QSO luminosity evolution and the star formation history should be roughly parallel, as a consequence of the above-mentioned relation between BH and galaxy masses."}],"title":"What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function?","date_updated":"2025-01-07T12:21:03Z","extern":"1","day":"01","alternative_title":["ESO Astrophysics Symposia"],"citation":{"ieee":"L. Ciotti, Z. Haiman, and J. P. Ostriker, “What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function?,” in <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, Venice, Italy, 2006, pp. 106–108.","apa":"Ciotti, L., Haiman, Z., &#38; Ostriker, J. P. (2006). What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function? In <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i> (pp. 106–108). Berlin/Heidelberg: Springer Nature. <a href=\"https://doi.org/10.1007/10899892_25\">https://doi.org/10.1007/10899892_25</a>","ista":"Ciotti L, Haiman Z, Ostriker JP. 2006. What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function? Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop. European Southern Observatory and Universitäts-Sternwarte München Workshop, ESO Astrophysics Symposia, , 106–108.","chicago":"Ciotti, Luca, Zoltán Haiman, and Jeremiah P. Ostriker. “What Does the Local Black Hole Mass Distribution Tell Us about the Evolution of the Quasar Luminosity Function?” In <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, 106–8. Berlin/Heidelberg: Springer Nature, 2006. <a href=\"https://doi.org/10.1007/10899892_25\">https://doi.org/10.1007/10899892_25</a>.","short":"L. Ciotti, Z. Haiman, J.P. Ostriker, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, Berlin/Heidelberg, 2006, pp. 106–108.","mla":"Ciotti, Luca, et al. “What Does the Local Black Hole Mass Distribution Tell Us about the Evolution of the Quasar Luminosity Function?” <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, Springer Nature, 2006, pp. 106–08, doi:<a href=\"https://doi.org/10.1007/10899892_25\">10.1007/10899892_25</a>.","ama":"Ciotti L, Haiman Z, Ostriker JP. What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function? In: <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>. Berlin/Heidelberg: Springer Nature; 2006:106-108. doi:<a href=\"https://doi.org/10.1007/10899892_25\">10.1007/10899892_25</a>"},"arxiv":1},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","language":[{"iso":"eng"}],"publication":"Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop","main_file_link":[{"url":"https://arxiv.org/abs/astro-ph/0201173","open_access":"1"}],"conference":{"location":"Venice, Italy","name":"European Southern Observatory and Universitäts-Sternwarte München Workshop","start_date":"2001-10-24","end_date":"2001-10-26"},"type":"conference","publisher":"Springer Nature","month":"03","_id":"18731","oa_version":"Preprint","scopus_import":"1","page":"316-323","date_published":"2006-03-10T00:00:00Z","status":"public","quality_controlled":"1","doi":"10.1007/10899892_77","publication_identifier":{"issn":["1431-2433"],"eissn":["1611-6143"],"isbn":["9783540002055"]},"fulldoi":"https://doi.org/10.1007/10899892_77","OA_type":"green","OA_place":"repository","title":"The assembly of the first galaxies","extern":"1","date_updated":"2025-01-07T12:28:20Z","author":[{"full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"}],"abstract":[{"lang":"eng","text":"The first galaxies formed at high redshifts, and were likely substantially less massive than typical galaxies in the local universe. We argue that (1) the reionization of a clumpy intergalactic medium by redshift z=6, (2) its enrichment by metals by z=3 without disturbing the Lyman alpha forest, and (3) the presence of supermassive black holes powering the recently discovered bright quasars at z=6, strongly suggest that a population of low-mass galaxies exists beyond redshifts z>6. Although the first stars could have been born in dark matter halos with virial temperatures as low as Tvir=200K, collapsing as early as z=25, the first galaxies likely appeared in significant numbers only in halos with Tvir>10,000K that collapsed later (z=15). The gas in these more massive halos initially contracts isothermally to high densities by atomic Lyman alpha cooling. H2 molecules can then form efficiently via non-equilibrium gas-phase chemistry, allowing the gas to cool further to T=100K, and fragment on stellar mass scales. These halos can harbor the first generation of ``mini-galaxies'' that reionized the universe. The continuum and line emission from these sources, as well as their Lyman alpha cooling radiation, can be detected in the future by NGST and other instruments."}],"arxiv":1,"day":"10","citation":{"ama":"Haiman Z. The assembly of the first galaxies. In: <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>. Springer Nature; 2006:316-323. doi:<a href=\"https://doi.org/10.1007/10899892_77\">10.1007/10899892_77</a>","apa":"Haiman, Z. (2006). The assembly of the first galaxies. In <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i> (pp. 316–323). Venice, Italy: Springer Nature. <a href=\"https://doi.org/10.1007/10899892_77\">https://doi.org/10.1007/10899892_77</a>","ieee":"Z. Haiman, “The assembly of the first galaxies,” in <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, Venice, Italy, 2006, pp. 316–323.","ista":"Haiman Z. 2006. The assembly of the first galaxies. Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop. European Southern Observatory and Universitäts-Sternwarte München Workshop, 316–323.","chicago":"Haiman, Zoltán. “The Assembly of the First Galaxies.” In <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, 316–23. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/10899892_77\">https://doi.org/10.1007/10899892_77</a>.","mla":"Haiman, Zoltán. “The Assembly of the First Galaxies.” <i>Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop</i>, Springer Nature, 2006, pp. 316–23, doi:<a href=\"https://doi.org/10.1007/10899892_77\">10.1007/10899892_77</a>.","short":"Z. Haiman, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, 2006, pp. 316–323."},"external_id":{"arxiv":["astro-ph/0201173"]},"oa":1,"article_processing_charge":"No","year":"2006","date_created":"2025-01-03T12:25:11Z"},{"citation":{"ama":"Sazanov LA, Hinchliffe P. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. <i>Science</i>. 2006;311(5766):1430-1436. doi:<a href=\"https://doi.org/10.1126/science.1123809\">10.1126/science.1123809</a>","chicago":"Sazanov, Leonid A, and Philip Hinchliffe. “Structure of the Hydrophilic Domain of Respiratory Complex I from Thermus Thermophilus.” <i>Science</i>. American Association for the Advancement of Science, 2006. <a href=\"https://doi.org/10.1126/science.1123809\">https://doi.org/10.1126/science.1123809</a>.","mla":"Sazanov, Leonid A., and Philip Hinchliffe. “Structure of the Hydrophilic Domain of Respiratory Complex I from Thermus Thermophilus.” <i>Science</i>, vol. 311, no. 5766, American Association for the Advancement of Science, 2006, pp. 1430–36, doi:<a href=\"https://doi.org/10.1126/science.1123809\">10.1126/science.1123809</a>.","short":"L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.","ieee":"L. A. Sazanov and P. Hinchliffe, “Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus,” <i>Science</i>, vol. 311, no. 5766. American Association for the Advancement of Science, pp. 1430–1436, 2006.","apa":"Sazanov, L. A., &#38; Hinchliffe, P. (2006). Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1123809\">https://doi.org/10.1126/science.1123809</a>","ista":"Sazanov LA, Hinchliffe P. 2006. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. 311(5766), 1430–1436."},"page":"1430 - 1436","intvolume":"       311","volume":311,"day":"10","_id":"1961","month":"03","publist_id":"5121","publisher":"American Association for the Advancement of Science","type":"journal_article","abstract":[{"lang":"eng","text":"Respiratory complex I plays a central role in cellular energy production in bacteria and mitochondria. Its dysfunction is implicated in many human neurodegenerative diseases, as well as in aging. The crystal structure of the hydrophilic domain (peripheral arm) of complex I from Thermus thermophilus has been solved at 3.3 angstrom resolution. This subcomplex consists of eight subunits and contains all the redox centers of the enzyme, including nine iron-sulfur clusters. The primary electron acceptor, flavin-mononucleotide, is within electron transfer distance of cluster N3, leading to the main redox pathway, and of the distal cluster Nia, a possible antioxidant. The structure reveals new aspects of the mechanism and evolution of the enzyme. The terminal cluster N2 is coordinated, uniquely, by two consecutive cysteines. The novel subunit Nqo15 has a similar fold to the mitochondrial iron chaperone frataxin, and it may be involved in iron-sulfur cluster regeneration in the complex.\n"}],"author":[{"first_name":"Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Leonid Sazanov","orcid":"0000-0002-0977-7989"},{"first_name":"Philip","last_name":"Hinchliffe","full_name":"Hinchliffe, Philip "}],"date_updated":"2021-01-12T06:54:22Z","extern":1,"publication":"Science","title":"Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus","publication_status":"published","date_created":"2018-12-11T11:54:56Z","year":"2006","fulldoi":"https://doi.org/10.1126/science.1123809","doi":"10.1126/science.1123809","quality_controlled":0,"issue":"5766","status":"public","date_published":"2006-03-10T00:00:00Z","acknowledgement":"This work was funded by the Medical Research Council."},{"_id":"1966","month":"04","publist_id":"5120","intvolume":"        45","citation":{"ama":"Hinchliffe P, Carroll J, Sazanov LA. Identification of a novel subunit of respiratory complex I from Thermus thermophilus. <i>Biochemistry</i>. 2006;45(14):4413-4420. doi:<a href=\"https://doi.org/10.1021/bi0600998\">10.1021/bi0600998</a>","ista":"Hinchliffe P, Carroll J, Sazanov LA. 2006. Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry. 45(14), 4413–4420.","ieee":"P. Hinchliffe, J. Carroll, and L. A. Sazanov, “Identification of a novel subunit of respiratory complex I from Thermus thermophilus,” <i>Biochemistry</i>, vol. 45, no. 14. ACS, pp. 4413–4420, 2006.","apa":"Hinchliffe, P., Carroll, J., &#38; Sazanov, L. A. (2006). Identification of a novel subunit of respiratory complex I from Thermus thermophilus. <i>Biochemistry</i>. ACS. <a href=\"https://doi.org/10.1021/bi0600998\">https://doi.org/10.1021/bi0600998</a>","mla":"Hinchliffe, Philip, et al. “Identification of a Novel Subunit of Respiratory Complex I from Thermus Thermophilus.” <i>Biochemistry</i>, vol. 45, no. 14, ACS, 2006, pp. 4413–20, doi:<a href=\"https://doi.org/10.1021/bi0600998\">10.1021/bi0600998</a>.","short":"P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.","chicago":"Hinchliffe, Philip, Joe Carroll, and Leonid A Sazanov. “Identification of a Novel Subunit of Respiratory Complex I from Thermus Thermophilus.” <i>Biochemistry</i>. ACS, 2006. <a href=\"https://doi.org/10.1021/bi0600998\">https://doi.org/10.1021/bi0600998</a>."},"page":"4413 - 4420","volume":45,"day":"11","date_updated":"2021-01-12T06:54:23Z","extern":1,"publication":"Biochemistry","title":"Identification of a novel subunit of respiratory complex I from Thermus thermophilus","publication_status":"published","publisher":"ACS","type":"journal_article","abstract":[{"lang":"eng","text":"The hydrophilic domain (peripheral arm) of the proton-translocating NADH:quinone oxidoreductase (complex I) from the thermophilic organism Thermus thermophilus HB8 has been purified and characterized. The subcomplex is stable in sodium dodecyl sulfate up to 80 °C. Of nine iron-sulfur clusters, four to five (one or two binuclear and three tetranuclear) could be detected by EPR in the NADH-reduced enzyme. The preparation consists of eight different polypeptides. Seven of them have been positively identified by peptide mass mapping and N-terminal sequencing as known hydrophilic subunits of T. thermophilus complex I. The eighth polypeptide copurified with the subcomplex at all stages, is strongly associated with the other subunits, and is present in crystals of the subcomplex, used for X-ray data collection. Therefore, it has been identified as a novel complex I subunit and named Nqo15. It is encoded in a locus separate from the nqo operon, containing the 14 other known complex I genes. ORFs encoding Nqo15 homologues are present in the genomes of the closest relatives of T. thermophilus. Our data show that, contrary to previous assumptions, bacterial complex I can contain proteins in addition to a &quot;core&quot; complement of 14 subunits."}],"author":[{"full_name":"Hinchliffe, Philip ","first_name":"Philip","last_name":"Hinchliffe"},{"full_name":"Carroll, Joe D","last_name":"Carroll","first_name":"Joe"},{"first_name":"Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Leonid Sazanov","orcid":"0000-0002-0977-7989"}],"doi":"10.1021/bi0600998","quality_controlled":0,"year":"2006","date_created":"2018-12-11T11:54:57Z","fulldoi":"https://doi.org/10.1021/bi0600998","date_published":"2006-04-11T00:00:00Z","status":"public","issue":"14"},{"date_published":"2006-11-01T00:00:00Z","article_type":"original","status":"public","issue":"11","doi":"10.1515/bd.2006.40.11.1259","article_processing_charge":"No","fulldoi":"https://doi.org/10.1515/bd.2006.40.11.1259","year":"2006","date_created":"2018-12-11T12:08:23Z","publication":"Bibliotheksdienst","language":[{"iso":"eng"}],"title":"Bibliothek 2.0 - Die Bibliothek der Zukunft?","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2025-07-01T12:46:13Z","extern":"1","author":[{"full_name":"Danowski, Patrick","orcid":"0000-0002-6026-4409","first_name":"Patrick","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","last_name":"Danowski"},{"first_name":"Lambert","last_name":"Heller","full_name":"Heller, Lambert"}],"abstract":[{"text":"Der Artikel beschäftigt sich mit dem Konzept der Bibliothek 2.0 (bzw. Library 2.0). Er skizziert anhand einiger Beispiele die Entwicklung zum Web 2.0 und beschreibt, wie Web 2.0-Technologien und -Anwendungen in Bibliotheken eingesetzt werden. Im Mittelpunkt stehen Social-Tagging-Systeme, benutzerorientierte Erweiterungen von Bibliothekskatalogen und Dokumentenservern sowie der Einsatz von Weblogs an Bibliotheken. Ferner werden neue Anforderungen an Bibliothekare diskutiert.","lang":"eng"}],"publisher":"De Gruyter","type":"journal_article","month":"11","publist_id":"1229","oa_version":"None","_id":"4345","day":"01","page":"1250 - 1271","citation":{"ama":"Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? <i>Bibliotheksdienst</i>. 2006;40(11):1250-1271. doi:<a href=\"https://doi.org/10.1515/bd.2006.40.11.1259\">10.1515/bd.2006.40.11.1259</a>","ista":"Danowski P, Heller L. 2006. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 40(11), 1250–1271.","ieee":"P. Danowski and L. Heller, “Bibliothek 2.0 - Die Bibliothek der Zukunft?,” <i>Bibliotheksdienst</i>, vol. 40, no. 11. De Gruyter, pp. 1250–1271, 2006.","apa":"Danowski, P., &#38; Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? <i>Bibliotheksdienst</i>. De Gruyter. <a href=\"https://doi.org/10.1515/bd.2006.40.11.1259\">https://doi.org/10.1515/bd.2006.40.11.1259</a>","short":"P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.","mla":"Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” <i>Bibliotheksdienst</i>, vol. 40, no. 11, De Gruyter, 2006, pp. 1250–71, doi:<a href=\"https://doi.org/10.1515/bd.2006.40.11.1259\">10.1515/bd.2006.40.11.1259</a>.","chicago":"Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” <i>Bibliotheksdienst</i>. De Gruyter, 2006. <a href=\"https://doi.org/10.1515/bd.2006.40.11.1259\">https://doi.org/10.1515/bd.2006.40.11.1259</a>."},"intvolume":"        40","volume":40},{"abstract":[{"text":"We introduce field constraint analysis, a new technique for verifying data structure invariants. A field constraint for a field is a formula specifying a set of objects to which the field can point. Field constraints enable the application of decidable logics to data structures which were originally beyond the scope of these logics, by verifying the backbone of the data structure and then verifying constraints on fields that cross-cut the backbone in arbitrary ways. Previously, such cross-cutting fields could only be verified when they were uniquely determined by the backbone, which significantly limits the range of analyzable data structures.\r\n\r\nField constraint analysis permits non-deterministic field constraints on cross-cutting fields, which allows the verificiation of invariants for data structures such as skip lists. Non-deterministic field constraints also enable the verification of invariants between data structures, yielding an expressive generalization of static type declarations.\r\n\r\nThe generality of our field constraints requires new techniques. We present one such technique and prove its soundness. We have implemented this technique as part of a symbolic shape analysis deployed in the context of the Hob system for verifying data structure consistency. Using this implementation we were able to verify data structures that were previously beyond the reach of similar techniques.","lang":"eng"}],"author":[{"full_name":"Wies, Thomas","last_name":"Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas"},{"full_name":"Kuncak, Viktor","last_name":"Kuncak","first_name":"Viktor"},{"first_name":"Patrick","last_name":"Lam","full_name":"Lam, Patrick"},{"last_name":"Podelski","first_name":"Andreas","full_name":"Podelski, Andreas"},{"full_name":"Rinard, Martin","first_name":"Martin","last_name":"Rinard"}],"title":"Field constraint analysis","date_updated":"2025-07-01T12:38:24Z","extern":"1","day":"01","alternative_title":["LNCS"],"intvolume":"      3855","citation":{"ama":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field constraint analysis. In: <i>7th International Conference on Verification, Model Checking, and Abstract Interpretation</i>. Vol 3855. Springer; 2006:157-173. doi:<a href=\"https://doi.org/10.1007/11609773_11\">10.1007/11609773_11</a>","ieee":"T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field constraint analysis,” in <i>7th International Conference on Verification, Model Checking, and Abstract Interpretation</i>, Charleston, SC, United States, 2006, vol. 3855, pp. 157–173.","apa":"Wies, T., Kuncak, V., Lam, P., Podelski, A., &#38; Rinard, M. (2006). Field constraint analysis. In <i>7th International Conference on Verification, Model Checking, and Abstract Interpretation</i> (Vol. 3855, pp. 157–173). Charleston, SC, United States: Springer. <a href=\"https://doi.org/10.1007/11609773_11\">https://doi.org/10.1007/11609773_11</a>","ista":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field constraint analysis. 7th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 3855, 157–173.","chicago":"Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis.” In <i>7th International Conference on Verification, Model Checking, and Abstract Interpretation</i>, 3855:157–73. Springer, 2006. <a href=\"https://doi.org/10.1007/11609773_11\">https://doi.org/10.1007/11609773_11</a>.","mla":"Wies, Thomas, et al. “Field Constraint Analysis.” <i>7th International Conference on Verification, Model Checking, and Abstract Interpretation</i>, vol. 3855, Springer, 2006, pp. 157–73, doi:<a href=\"https://doi.org/10.1007/11609773_11\">10.1007/11609773_11</a>.","short":"T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173."},"volume":3855,"publist_id":"1097","article_processing_charge":"No","date_created":"2018-12-11T12:08:27Z","year":"2006","conference":{"location":"Charleston, SC, United States","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","start_date":"2006-01-08","end_date":"2006-01-10"},"publisher":"Springer","type":"conference","publication":"7th International Conference on Verification, Model Checking, and Abstract Interpretation","language":[{"iso":"eng"}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"157 - 173","month":"01","scopus_import":"1","_id":"4359","oa_version":"None","status":"public","date_published":"2006-01-01T00:00:00Z","fulldoi":"https://doi.org/10.1007/11609773_11","quality_controlled":"1","doi":"10.1007/11609773_11"},{"fulldoi":"https://doi.org/10.1007/11603009_2","doi":"10.1007/11603009_2","quality_controlled":"1","status":"public","date_published":"2006-01-23T00:00:00Z","page":"2 - 16","scopus_import":"1","_id":"4373","oa_version":"None","month":"01","type":"conference","publisher":"Springer","conference":{"start_date":"2005-09-26","end_date":"2005-09-28","location":"Uppsala, Sweden","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Third International Conference on Formal Modeling and Analysis of Timed Systems","language":[{"iso":"eng"}],"date_created":"2018-12-11T12:08:31Z","year":"2006","article_processing_charge":"No","volume":3829,"intvolume":"      3829","citation":{"chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In <i>Third International Conference on Formal Modeling and Analysis of Timed Systems</i>, 3829:2–16. Springer, 2006. <a href=\"https://doi.org/10.1007/11603009_2\">https://doi.org/10.1007/11603009_2</a>.","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.","mla":"Maler, Oded, et al. “Real Time Temporal Logic: Past, Present, Future.” <i>Third International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 3829, Springer, 2006, pp. 2–16, doi:<a href=\"https://doi.org/10.1007/11603009_2\">10.1007/11603009_2</a>.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2006). Real time temporal logic: Past, present, future. In <i>Third International Conference on Formal Modeling and Analysis of Timed Systems</i> (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/11603009_2\">https://doi.org/10.1007/11603009_2</a>","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in <i>Third International Conference on Formal Modeling and Analysis of Timed Systems</i>, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.","ista":"Maler O, Nickovic D, Pnueli A. 2006. Real time temporal logic: Past, present, future. Third International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 2–16.","ama":"Maler O, Nickovic D, Pnueli A. Real time temporal logic: Past, present, future. In: <i>Third International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 3829. Springer; 2006:2-16. doi:<a href=\"https://doi.org/10.1007/11603009_2\">10.1007/11603009_2</a>"},"alternative_title":["LNCS"],"day":"23","publist_id":"1084","author":[{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"full_name":"Nickovic, Dejan","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"},{"full_name":"Pnueli, Amir","last_name":"Pnueli","first_name":"Amir"}],"abstract":[{"text":"This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past fragment of mitl, can be accepted by deterministic timed automata. On the other hand we provide a proof that certain languages expressed in the future fragment of mitl are not deterministic, and analyze the reason for this asymmetry.","lang":"eng"}],"extern":"1","date_updated":"2025-07-01T12:31:15Z","title":"Real time temporal logic: Past, present, future"},{"date_published":"2006-10-19T00:00:00Z","status":"public","doi":"10.1007/11867340_20","date_created":"2018-12-11T12:08:31Z","year":"2006","fulldoi":"https://doi.org/10.1007/11867340_20","article_processing_charge":"No","date_updated":"2025-07-01T12:35:07Z","extern":"1","publication":"4th International Conference on Formal Modeling and Analysis of Timed Systems","language":[{"iso":"eng"}],"title":"From MITL to timed automata","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publisher":"Springer","type":"conference","author":[{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"full_name":"Nickovic, Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan"},{"full_name":"Pnueli, Amir","first_name":"Amir","last_name":"Pnueli"}],"abstract":[{"text":"We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented.","lang":"eng"}],"conference":{"start_date":"2006-09-25","end_date":"2006-09-27","location":"Paris, France","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"oa_version":"None","_id":"4374","month":"10","publist_id":"1085","intvolume":"      4202","page":"274 - 289","citation":{"ista":"Maler O, Nickovic D, Pnueli A. 2006. From MITL to timed automata. 4th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 274–289.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2006). From MITL to timed automata. In <i>4th International Conference on Formal Modeling and Analysis of Timed Systems</i> (Vol. 4202, pp. 274–289). Paris, France: Springer. <a href=\"https://doi.org/10.1007/11867340_20\">https://doi.org/10.1007/11867340_20</a>","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in <i>4th International Conference on Formal Modeling and Analysis of Timed Systems</i>, Paris, France, 2006, vol. 4202, pp. 274–289.","short":"O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.","mla":"Maler, Oded, et al. “From MITL to Timed Automata.” <i>4th International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 4202, Springer, 2006, pp. 274–89, doi:<a href=\"https://doi.org/10.1007/11867340_20\">10.1007/11867340_20</a>.","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In <i>4th International Conference on Formal Modeling and Analysis of Timed Systems</i>, 4202:274–89. Springer, 2006. <a href=\"https://doi.org/10.1007/11867340_20\">https://doi.org/10.1007/11867340_20</a>.","ama":"Maler O, Nickovic D, Pnueli A. From MITL to timed automata. In: <i>4th International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 4202. Springer; 2006:274-289. doi:<a href=\"https://doi.org/10.1007/11867340_20\">10.1007/11867340_20</a>"},"volume":4202,"day":"19","alternative_title":["LNCS"]},{"article_processing_charge":"No","date_created":"2018-12-11T12:08:40Z","year":"2006","alternative_title":["LNCS"],"day":"01","volume":4052,"citation":{"ista":"Alur R, Cerny P, Zdancewic S. 2006. Preserving secrecy under refinement. 33rd International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 107–118.","ieee":"R. Alur, P. Cerny, and S. Zdancewic, “Preserving secrecy under refinement,” in <i>33rd International Colloquium on Automata, Languages and Programming</i>, 2006, vol. 4052, pp. 107–118.","apa":"Alur, R., Cerny, P., &#38; Zdancewic, S. (2006). Preserving secrecy under refinement. In <i>33rd International Colloquium on Automata, Languages and Programming</i> (Vol. 4052, pp. 107–118). Springer. <a href=\"https://doi.org/10.1007/11787006_10\">https://doi.org/10.1007/11787006_10</a>","short":"R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.","mla":"Alur, Rajeev, et al. “Preserving Secrecy under Refinement.” <i>33rd International Colloquium on Automata, Languages and Programming</i>, vol. 4052, Springer, 2006, pp. 107–18, doi:<a href=\"https://doi.org/10.1007/11787006_10\">10.1007/11787006_10</a>.","chicago":"Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy under Refinement.” In <i>33rd International Colloquium on Automata, Languages and Programming</i>, 4052:107–18. Springer, 2006. <a href=\"https://doi.org/10.1007/11787006_10\">https://doi.org/10.1007/11787006_10</a>.","ama":"Alur R, Cerny P, Zdancewic S. Preserving secrecy under refinement. In: <i>33rd International Colloquium on Automata, Languages and Programming</i>. Vol 4052. Springer; 2006:107-118. doi:<a href=\"https://doi.org/10.1007/11787006_10\">10.1007/11787006_10</a>"},"intvolume":"      4052","publist_id":"1054","abstract":[{"lang":"eng","text":"We propose a general framework of secrecy and preservation of secrecy for labeled transition systems. Our definition of secrecy is parameterized by the distinguishing power of the observer, the properties to be kept secret, and the executions of interest, and captures a multitude of definitions in the literature. We define a notion of secrecy preserving refinement between systems by strengthening the classical trace-based refinement so that the implementation leaks a secret only when the specification also leaks it. We show that secrecy is in general not definable in μ-calculus, and thus not expressible in specification logics supported by standard model-checkers. However, we develop a simulation-based proof technique for establishing secrecy preserving refinement. This result shows how existing refinement checkers can be used to show correctness of an implementation with respect to a specification."}],"author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"full_name":"Cerny, Pavol","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol"},{"last_name":"Zdancewic","first_name":"Steve","full_name":"Zdancewic, Steve"}],"title":"Preserving secrecy under refinement","extern":"1","date_updated":"2025-07-01T12:27:36Z","fulldoi":"https://doi.org/10.1007/11787006_10","quality_controlled":"1","doi":"10.1007/11787006_10","status":"public","date_published":"2006-01-01T00:00:00Z","page":"107 - 118","month":"01","scopus_import":"1","_id":"4401","oa_version":"None","conference":{"name":"ICALP: Automata, Languages and Programming"},"type":"conference","publisher":"Springer","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","language":[{"iso":"eng"}],"publication":"33rd International Colloquium on Automata, Languages and Programming"},{"_id":"573","oa_version":"Preprint","arxiv":1,"month":"08","publist_id":"7241","citation":{"ieee":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.","apa":"Hosten, O., Rakher, M., Barreiro, J., Peters, N., &#38; Kwiat, P. (2006). Counterfactual computation revisited. ArXiv. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0607101\">https://doi.org/10.48550/arXiv.quant-ph/0607101</a>","ista":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual computation revisited. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0607101\">10.48550/arXiv.quant-ph/0607101</a>.","chicago":"Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” ArXiv, 2006. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0607101\">https://doi.org/10.48550/arXiv.quant-ph/0607101</a>.","mla":"Hosten, Onur, et al. <i>Counterfactual Computation Revisited</i>. ArXiv, 2006, doi:<a href=\"https://doi.org/10.48550/arXiv.quant-ph/0607101\">10.48550/arXiv.quant-ph/0607101</a>.","short":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).","ama":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006. doi:<a href=\"https://doi.org/10.48550/arXiv.quant-ph/0607101\">10.48550/arXiv.quant-ph/0607101</a>"},"page":"12","day":"06","date_updated":"2026-05-08T11:49:34Z","main_file_link":[{"url":"https://arxiv.org/abs/quant-ph/0607101","open_access":"1"}],"extern":"1","title":"Counterfactual computation revisited","language":[{"iso":"eng"}],"publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"ArXiv","type":"preprint","abstract":[{"lang":"eng","text":"Mitchison and Jozsa recently suggested that the \"chained-Zeno\" counterfactual computation protocol recently proposed by Hosten et al. is counterfactual for only one output of the computer. This claim was based on the existing abstract algebraic definition of counterfactual computation, and indeed according to this definition, their argument is correct. However, a more general definition (physically adequate) for counterfactual computation is implicitly assumed by Hosten et. al. Here we explain in detail why the protocol is counterfactual and how the \"history tracking\" method of the existing description inadequately represents the physics underlying the protocol. Consequently, we propose a modified definition of counterfactual computation. Finally, we comment on one of the most interesting aspects of the error-correcting protocol."}],"author":[{"orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","last_name":"Hosten","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur"},{"full_name":"Rakher, Matthew","last_name":"Rakher","first_name":"Matthew"},{"full_name":"Barreiro, Julio","last_name":"Barreiro","first_name":"Julio"},{"full_name":"Peters, Nicholas","last_name":"Peters","first_name":"Nicholas"},{"full_name":"Kwiat, Paul","first_name":"Paul","last_name":"Kwiat"}],"doi":"10.48550/arXiv.quant-ph/0607101","OA_place":"repository","date_created":"2018-12-11T11:47:16Z","year":"2006","OA_type":"green","fulldoi":"https://doi.org/10.48550/arXiv.quant-ph/0607101","article_processing_charge":"No","oa":1,"external_id":{"arxiv":["0607101"]},"date_published":"2006-08-06T00:00:00Z","status":"public"},{"status":"public","external_id":{"arxiv":["0612159"]},"date_published":"2006-12-19T00:00:00Z","oa":1,"date_created":"2018-12-11T11:47:16Z","year":"2006","OA_place":"repository","fulldoi":"https://doi.org/10.48550/arXiv.quant-ph/0612159","article_processing_charge":"No","OA_type":"green","doi":"10.48550/arXiv.quant-ph/0612159","type":"preprint","publisher":"ArXiv","author":[{"first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten","orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur"},{"full_name":"Kwiat, Paul","first_name":"Paul","last_name":"Kwiat"}],"abstract":[{"lang":"eng","text":"Vaidman, in a recent article adopts the method of 'quantum weak measurements in pre- and postselected ensembles' to ascertain whether or not the chained-Zeno counterfactual computation scheme proposed by Hosten et al. is counterfactual; which has been the topic of a debate on the definition of counterfactuality. We disagree with his conclusion, which brings up some interesting aspects of quantum weak measurements and some concerns about the way they are interpreted. "}],"extern":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/quant-ph/0612159"}],"date_updated":"2026-05-08T11:47:32Z","publication_status":"submitted","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","title":"Weak measurements and counterfactual computation","language":[{"iso":"eng"}],"page":"2","citation":{"ama":"Hosten O, Kwiat P. Weak measurements and counterfactual computation. doi:<a href=\"https://doi.org/10.48550/arXiv.quant-ph/0612159\">10.48550/arXiv.quant-ph/0612159</a>","short":"O. Hosten, P. Kwiat, (n.d.).","mla":"Hosten, Onur, and Paul Kwiat. <i>Weak Measurements and Counterfactual Computation</i>. ArXiv, doi:<a href=\"https://doi.org/10.48550/arXiv.quant-ph/0612159\">10.48550/arXiv.quant-ph/0612159</a>.","chicago":"Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” ArXiv, n.d. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0612159\">https://doi.org/10.48550/arXiv.quant-ph/0612159</a>.","ista":"Hosten O, Kwiat P. Weak measurements and counterfactual computation. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0612159\">10.48550/arXiv.quant-ph/0612159</a>.","apa":"Hosten, O., &#38; Kwiat, P. (n.d.). Weak measurements and counterfactual computation. ArXiv. <a href=\"https://doi.org/10.48550/arXiv.quant-ph/0612159\">https://doi.org/10.48550/arXiv.quant-ph/0612159</a>","ieee":"O. Hosten and P. Kwiat, “Weak measurements and counterfactual computation.” ArXiv."},"day":"19","oa_version":"Preprint","_id":"574","publist_id":"7240","arxiv":1,"month":"12"},{"author":[{"full_name":"Rangarajan, Radhika","last_name":"Rangarajan","first_name":"Radhika"},{"full_name":"Altepeter, Joseph","first_name":"Joseph","last_name":"Altepeter"},{"full_name":"Jeffrey, Evan","first_name":"Evan","last_name":"Jeffrey"},{"full_name":"Stoutimore, Micah","first_name":"Micah","last_name":"Stoutimore"},{"last_name":"Peters","first_name":"Nicholas","full_name":"Peters, Nicholas"},{"orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten","first_name":"Onur"},{"full_name":"Kwiat, Paul","first_name":"Paul","last_name":"Kwiat"}],"abstract":[{"text":"Visible light photon counters (VLPCs) and solid-state photomultipliers (SSPMs) are high-efficiency single-photon detectors which have multi-photon counting capability. While both the VLPCs and the SSPMs have inferred internal quantum efficiencies above 93%, the actual measured values for both the detectors were in fact limited to less than 88%, attributed to in-coupling losses. We are currently improving this overall detection efficiency via a) custom anti-reflection coating the detectors and the in-coupling fibers, b) implementing a novel cryogenic design to reduce transmission losses and, c) using low-noise electronics to obtain a better signal-to-noise ratio.","lang":"eng"}],"title":"High-efficiency single-photon detectors","date_updated":"2026-05-08T10:31:26Z","extern":"1","day":"25","alternative_title":["Advanced Photon Counting Techniques"],"citation":{"ama":"Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: <i>Optics East</i>. SPIE; 2006. doi:<a href=\"https://doi.org/10.1117/12.686117\">10.1117/12.686117</a>","ista":"Rangarajan R, Altepeter J, Jeffrey E, Stoutimore M, Peters N, Hosten O, Kwiat P. 2006. High-efficiency single-photon detectors. Optics East. OPTICS EAST, Advanced Photon Counting Techniques, , 6372.","ieee":"R. Rangarajan <i>et al.</i>, “High-efficiency single-photon detectors,” in <i>Optics East</i>, Boston, Massachusetts, United States, 2006.","apa":"Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., &#38; Kwiat, P. (2006). High-efficiency single-photon detectors. In <i>Optics East</i>. Boston, Massachusetts, United States: SPIE. <a href=\"https://doi.org/10.1117/12.686117\">https://doi.org/10.1117/12.686117</a>","mla":"Rangarajan, Radhika, et al. “High-Efficiency Single-Photon Detectors.” <i>Optics East</i>, 6372, SPIE, 2006, doi:<a href=\"https://doi.org/10.1117/12.686117\">10.1117/12.686117</a>.","short":"R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, Optics East, SPIE, 2006.","chicago":"Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors.” In <i>Optics East</i>. SPIE, 2006. <a href=\"https://doi.org/10.1117/12.686117\">https://doi.org/10.1117/12.686117</a>."},"publist_id":"7233","article_number":"6372","article_processing_charge":"No","date_created":"2018-12-11T11:47:17Z","year":"2006","conference":{"location":"Boston, Massachusetts, United States","name":"OPTICS EAST","start_date":"2006-10 01","end_date":"2006-10 04"},"publisher":"SPIE","type":"conference","language":[{"iso":"eng"}],"publication":"Optics East","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10","_id":"577","oa_version":"None","scopus_import":"1","status":"public","date_published":"2006-10-25T00:00:00Z","OA_type":"closed access","fulldoi":"https://doi.org/10.1117/12.686117","quality_controlled":"1","doi":"10.1117/12.686117","publication_identifier":{"eissn":["0277-786X"]}},{"publication":"Quantum Communications and Quantum Imaging IV","language":[{"iso":"eng"}],"publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","conference":{"location":"San DIego, CA, United States","name":"SPIE OPTICS+PHOTONICS","start_date":"2006-08-13","end_date":"2006-08-17"},"publisher":"SPIE","type":"conference","month":"09","_id":"578","oa_version":"None","scopus_import":"1","date_published":"2006-09-01T00:00:00Z","status":"public","quality_controlled":"1","doi":"10.1117/12.684702","fulldoi":"https://doi.org/10.1117/12.684702","OA_type":"closed access","title":"Towards a quasi-deterministic single-photon source","date_updated":"2026-05-08T11:35:31Z","extern":"1","abstract":[{"text":"A source of single photons allows secure quantum key distribution, in addition, to being a critical resource for linear optics quantum computing. We describe our progress on deterministically creating single photons from spontaneous parametric downconversion, an extension of the Pittman, Jacobs and Franson scheme [Phys. Rev A, v66, 042303 (2002)]. Their idea was to conditionally prepare single photons by measuring one member of a spontaneously emitted photon pair and storing the remaining conditionally prepared photon until a predetermined time, when it would be &quot;deterministically&quot; released from storage. Our approach attempts to improve upon this by recycling the pump pulse in order to decrease the possibility of multiple-pair generation, while maintaining a high probability of producing a single pair. Many of the challenges we discuss are central to other quantum information technologies, including the need for low-loss optical storage, switching and detection, and fast feed-forward control.","lang":"eng"}],"author":[{"first_name":"Nicholas","last_name":"Peters","full_name":"Peters, Nicholas"},{"full_name":"Arnold, Keith","last_name":"Arnold","first_name":"Keith"},{"full_name":"Vandevender, Aaron","last_name":"Vandevender","first_name":"Aaron"},{"full_name":"Jeffrey, Evan","last_name":"Jeffrey","first_name":"Evan"},{"first_name":"Radhika","last_name":"Rangarajan","full_name":"Rangarajan, Radhika"},{"orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten"},{"full_name":"Barreiro, Julio","last_name":"Barreiro","first_name":"Julio"},{"full_name":"Altepeter, Joseph","last_name":"Altepeter","first_name":"Joseph"},{"first_name":"Paul","last_name":"Kwiat","full_name":"Kwiat, Paul"}],"publist_id":"7234","article_number":"630507","day":"01","intvolume":"      6305","citation":{"ieee":"N. Peters <i>et al.</i>, “Towards a quasi-deterministic single-photon source,” in <i>Quantum Communications and Quantum Imaging IV</i>, San DIego, CA, United States, 2006, vol. 6305.","apa":"Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source. In <i>Quantum Communications and Quantum Imaging IV</i> (Vol. 6305). San DIego, CA, United States: SPIE. <a href=\"https://doi.org/10.1117/12.684702\">https://doi.org/10.1117/12.684702</a>","ista":"Peters N, Arnold K, Vandevender A, Jeffrey E, Rangarajan R, Hosten O, Barreiro J, Altepeter J, Kwiat P. 2006. Towards a quasi-deterministic single-photon source. Quantum Communications and Quantum Imaging IV. SPIE OPTICS+PHOTONICS vol. 6305, 630507.","chicago":"Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source.” In <i>Quantum Communications and Quantum Imaging IV</i>, Vol. 6305. SPIE, 2006. <a href=\"https://doi.org/10.1117/12.684702\">https://doi.org/10.1117/12.684702</a>.","mla":"Peters, Nicholas, et al. “Towards a Quasi-Deterministic Single-Photon Source.” <i>Quantum Communications and Quantum Imaging IV</i>, vol. 6305, 630507, SPIE, 2006, doi:<a href=\"https://doi.org/10.1117/12.684702\">10.1117/12.684702</a>.","short":"N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, Quantum Communications and Quantum Imaging IV, SPIE, 2006.","ama":"Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: <i>Quantum Communications and Quantum Imaging IV</i>. Vol 6305. SPIE; 2006. doi:<a href=\"https://doi.org/10.1117/12.684702\">10.1117/12.684702</a>"},"volume":6305,"article_processing_charge":"No","year":"2006","date_created":"2018-12-11T11:47:17Z"},{"day":"23","intvolume":"       439","citation":{"mla":"Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” <i>Nature</i>, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:<a href=\"https://doi.org/10.1038/nature04523\">10.1038/nature04523</a>.","short":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.","chicago":"Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.” <i>Nature</i>. Nature Publishing Group, 2006. <a href=\"https://doi.org/10.1038/nature04523\">https://doi.org/10.1038/nature04523</a>.","ista":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual quantum computation through quantum interrogation. Nature. 439(7079), 949–952.","ieee":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation through quantum interrogation,” <i>Nature</i>, vol. 439, no. 7079. Nature Publishing Group, pp. 949–952, 2006.","apa":"Hosten, O., Rakher, M., Barreiro, J., Peters, N., &#38; Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature04523\">https://doi.org/10.1038/nature04523</a>","ama":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. <i>Nature</i>. 2006;439(7079):949-952. doi:<a href=\"https://doi.org/10.1038/nature04523\">10.1038/nature04523</a>"},"volume":439,"publist_id":"7235","author":[{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten","first_name":"Onur","full_name":"Hosten, Onur","orcid":"0000-0002-2031-204X"},{"full_name":"Rakher, Matthew","first_name":"Matthew","last_name":"Rakher"},{"full_name":"Barreiro, Julio","last_name":"Barreiro","first_name":"Julio"},{"first_name":"Nicholas","last_name":"Peters","full_name":"Peters, Nicholas"},{"last_name":"Kwiat","first_name":"Paul","full_name":"Kwiat, Paul"}],"abstract":[{"lang":"eng","text":"The logic underlying the coherent nature of quantum information processing often deviates from intuitive reasoning, leading to surprising effects. Counterfactual computation constitutes a striking example: the potential outcome of a quantum computation can be inferred, even if the computer is not run 1. Relying on similar arguments to interaction-free measurements 2 (or quantum interrogation3), counterfactual computation is accomplished by putting the computer in a superposition of 'running' and 'not running' states, and then interfering the two histories. Conditional on the as-yet-unknown outcome of the computation, it is sometimes possible to counterfactually infer information about the solution. Here we demonstrate counterfactual computation, implementing Grover's search algorithm with an all-optical approach4. It was believed that the overall probability of such counterfactual inference is intrinsically limited1,5, so that it could not perform better on average than random guesses. However, using a novel 'chained' version of the quantum Zeno effect6, we show how to boost the counterfactual inference probability to unity, thereby beating the random guessing limit. Our methods are general and apply to any physical system, as illustrated by a discussion of trapped-ion systems. Finally, we briefly show that, in certain circumstances, counterfactual computation can eliminate errors induced by decoherence. "}],"title":"Counterfactual quantum computation through quantum interrogation","date_updated":"2026-05-08T11:42:23Z","extern":"1","article_processing_charge":"No","year":"2006","date_created":"2018-12-11T11:47:18Z","article_type":"letter_note","external_id":{"pmid":["16495993"]},"page":"949 - 952","month":"02","scopus_import":"1","_id":"579","oa_version":"None","publisher":"Nature Publishing Group","type":"journal_article","language":[{"iso":"eng"}],"publication":"Nature","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","fulldoi":"https://doi.org/10.1038/nature04523","OA_type":"closed access","quality_controlled":"1","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"doi":"10.1038/nature04523","pmid":1,"status":"public","issue":"7079","date_published":"2006-02-23T00:00:00Z"}]