[{"day":"01","publisher":"Springer","date_updated":"2021-01-12T07:59:48Z","citation":{"ieee":"D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.","ama":"Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:<a href=\"https://doi.org/10.1007/978-3-540-69738-1_27\">10.1007/978-3-540-69738-1_27</a>","ista":"Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.","short":"D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.","mla":"Beyer, Dirk, et al. <i>Invariant Synthesis for Combined Theories</i>. Vol. 4349, Springer, 2007, pp. 378–94, doi:<a href=\"https://doi.org/10.1007/978-3-540-69738-1_27\">10.1007/978-3-540-69738-1_27</a>.","apa":"Beyer, D., Henzinger, T. A., Majumdar, R., &#38; Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. <a href=\"https://doi.org/10.1007/978-3-540-69738-1_27\">https://doi.org/10.1007/978-3-540-69738-1_27</a>","chicago":"Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-69738-1_27\">https://doi.org/10.1007/978-3-540-69738-1_27</a>."},"year":"2007","title":"Invariant synthesis for combined theories","doi":"10.1007/978-3-540-69738-1_27","extern":1,"date_published":"2007-01-01T00:00:00Z","publist_id":"138","volume":4349,"date_created":"2018-12-11T12:09:32Z","type":"conference","abstract":[{"lang":"eng","text":"We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of programmer-specified invariant templates, our algorithm reduces the invariant synthesis problem to a sequence of arithmetic constraint satisfaction queries. Since the combination of linear arithmetic and uninterpreted functions is a widely applied predicate domain for program verification, our algorithm provides a powerful tool to statically and automatically reason about program correctness. The algorithm can also be used for the synthesis of invariants over arrays and set data structures, because satisfiability questions for the theories of sets and arrays can be reduced to the theory of linear arithmetic with uninterpreted functions. We have implemented our algorithm and used it to find invariants for a low-level memory allocator written in C."}],"acknowledgement":"This research was sponsored in part by the grants NSF-CCF-0427202 and NSF-CCF-0546170.","alternative_title":["LNCS"],"page":"378 - 394","author":[{"last_name":"Beyer","full_name":"Beyer, Dirk","first_name":"Dirk"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"},{"first_name":"Andrey","full_name":"Rybalchenko, Andrey","last_name":"Rybalchenko"}],"quality_controlled":0,"conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"intvolume":"      4349","publication_status":"published","month":"01","_id":"4572","status":"public"},{"date_published":"2007-07-02T00:00:00Z","doi":"10.1007/978-3-540-73368-3_51","extern":1,"date_created":"2018-12-11T12:09:33Z","type":"conference","volume":4590,"publist_id":"135","publisher":"Springer","day":"02","title":"Configurable software verification: Concretizing the convergence of model checking and program analysis","year":"2007","citation":{"apa":"Beyer, D., Henzinger, T. A., &#38; Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/10.1007/978-3-540-73368-3_51\">https://doi.org/10.1007/978-3-540-73368-3_51</a>","short":"D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.","mla":"Beyer, Dirk, et al. <i>Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis</i>. Vol. 4590, Springer, 2007, pp. 504–18, doi:<a href=\"https://doi.org/10.1007/978-3-540-73368-3_51\">10.1007/978-3-540-73368-3_51</a>.","chicago":"Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-73368-3_51\">https://doi.org/10.1007/978-3-540-73368-3_51</a>.","ama":"Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:<a href=\"https://doi.org/10.1007/978-3-540-73368-3_51\">10.1007/978-3-540-73368-3_51</a>","ieee":"D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.","ista":"Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518."},"date_updated":"2021-01-12T07:59:48Z","conference":{"name":"CAV: Computer Aided Verification"},"_id":"4573","status":"public","month":"07","publication_status":"published","intvolume":"      4590","acknowledgement":"This research was supported in part by the grant SFU/PRG 06-3, and by the Swiss National Science Foundation.","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concerned with precision, e.g., the removal of spurious counterexamples; for this purpose they build and refine reachability trees. Lattice-based program analyzers, on the other hand, are primarily concerned with efficiency. We designed an algorithm and built a tool that can be configured to perform not only a purely tree-based or a purely lattice-based analysis, but offers many intermediate settings that have not been evaluated before. The algorithm and tool take one or more abstract interpreters, such as a predicate abstraction and a shape analysis, and configure their execution and interaction using several parameters. Our experiments show that such customization may lead to dramatic improvements in the precision-efficiency spectrum."}],"quality_controlled":0,"page":"504 - 518","author":[{"first_name":"Dirk","full_name":"Beyer, Dirk","last_name":"Beyer"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger"},{"first_name":"Grégory","full_name":"Théoduloz, Grégory","last_name":"Théoduloz"}]},{"type":"conference","date_created":"2018-12-11T12:09:33Z","publist_id":"134","date_published":"2007-07-30T00:00:00Z","extern":1,"doi":"10.1109/ICWS.2007.32 ","year":"2007","title":"An application of web-service interfaces","date_updated":"2021-01-12T07:59:49Z","citation":{"mla":"Beyer, Dirk, et al. <i>An Application of Web-Service Interfaces</i>. IEEE, 2007, pp. 831–38, doi:<a href=\"https://doi.org/10.1109/ICWS.2007.32 \">10.1109/ICWS.2007.32 </a>.","short":"D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.","apa":"Beyer, D., Chakrabarti, A., Henzinger, T. A., &#38; Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. <a href=\"https://doi.org/10.1109/ICWS.2007.32 \">https://doi.org/10.1109/ICWS.2007.32 </a>","chicago":"Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. <a href=\"https://doi.org/10.1109/ICWS.2007.32 \">https://doi.org/10.1109/ICWS.2007.32 </a>.","ama":"Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:<a href=\"https://doi.org/10.1109/ICWS.2007.32 \">10.1109/ICWS.2007.32 </a>","ieee":"D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.","ista":"Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838."},"publisher":"IEEE","day":"30","status":"public","_id":"4575","month":"07","publication_status":"published","conference":{"name":"ICWS: International Conference on Web Service"},"quality_controlled":0,"author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"full_name":"Chakrabarti, Arindam","first_name":"Arindam","last_name":"Chakrabarti"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger"},{"last_name":"Seshia","full_name":"Seshia, Sanjit A","first_name":"Sanjit"}],"page":"831 - 838","acknowledgement":"This research was supported in part by the NSF grant CCR-0225610 and by the Swiss National Science Foundation.","abstract":[{"text":"We present a case study to illustrate our formalism for the specification and verification of the method-invocation behavior of web-service applications constructed from asynchronously interacting multi-threaded distributed components. Our model is expressive enough to allow the representation of recursion and dynamic thread creation, and yet permits the algorithmic analysis of the following two questions: (1) Does a given service satisfy a safety specification? (2) Can a given service be substituted by a another service in an arbitrary context? Our case study is based on the Amazon.com E-Commerce Services (ECS) platform.","lang":"eng"}]},{"issue":"3","publication_status":"published","intvolume":"       386","month":"11","_id":"4626","status":"public","abstract":[{"lang":"eng","text":"We consider concurrent two-player games with reachability objectives. In such games, at each round, player 1 and player 2 independently and simultaneously choose moves, and the two choices determine the next state of the game. The objective of player 1 is to reach a set of target states; the objective of player 2 is to prevent this. These are zero-sum games, and the reachability objective is one of the most basic objectives: determining the set of states from which player 1 can win the game is a fundamental problem in control theory and system verification. There are three types of winning states, according to the degree of certainty with which player 1 can reach the target. From type-1 states, player 1 has a deterministic strategy to always reach the target. From type-2 states, player 1 has a randomized strategy to reach the target with probability 1. From type-3 states, player 1 has for every real ε&gt;0 a randomized strategy to reach the target with probability greater than 1−ε. We show that for finite state spaces, all three sets of winning states can be computed in polynomial time: type-1 states in linear time, and type-2 and type-3 states in quadratic time. The algorithms to compute the three sets of winning states also enable the construction of the winning and spoiling strategies."}],"page":"188 - 217","author":[{"last_name":"De Alfaro","full_name":"de Alfaro, Luca","first_name":"Luca"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"}],"quality_controlled":0,"doi":"10.1016/j.tcs.2007.07.008","extern":1,"date_published":"2007-11-01T00:00:00Z","publist_id":"81","volume":386,"date_created":"2018-12-11T12:09:49Z","type":"journal_article","day":"01","publisher":"Elsevier","publication":"Theoretical Computer Science","citation":{"ista":"De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.","ieee":"L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” <i>Theoretical Computer Science</i>, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.","ama":"De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. <i>Theoretical Computer Science</i>. 2007;386(3):188-217. doi:<a href=\"https://doi.org/10.1016/j.tcs.2007.07.008\">10.1016/j.tcs.2007.07.008</a>","chicago":"De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” <i>Theoretical Computer Science</i>. Elsevier, 2007. <a href=\"https://doi.org/10.1016/j.tcs.2007.07.008\">https://doi.org/10.1016/j.tcs.2007.07.008</a>.","mla":"De Alfaro, Luca, et al. “Concurrent Reachability Games.” <i>Theoretical Computer Science</i>, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:<a href=\"https://doi.org/10.1016/j.tcs.2007.07.008\">10.1016/j.tcs.2007.07.008</a>.","short":"L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.","apa":"De Alfaro, L., Henzinger, T. A., &#38; Kupferman, O. (2007). Concurrent reachability games. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2007.07.008\">https://doi.org/10.1016/j.tcs.2007.07.008</a>"},"date_updated":"2021-01-12T08:00:37Z","title":"Concurrent reachability games","year":"2007"},{"quality_controlled":0,"author":[{"full_name":"Onur Hosten","orcid":"0000-0002-2031-204X","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten"},{"last_name":"Kwiat","full_name":"Kwiat, Paul G","first_name":"Paul"}],"alternative_title":["Optics InfoBase Conference Papers"],"abstract":[{"text":"Using the techniques of &quot;quantum weak-measurements&quot; as a coherent amplification mechanism for small signals, for the first time we have measured the recently proposed &quot;spin Hall effect&quot; of light.","lang":"eng"}],"status":"public","_id":"582","publication_status":"published","month":"01","conference":{"name":"OMD: Organic Materials and Devices for Displays and Energy Conversion"},"year":"2007","title":"Observing the spin hall effect of light via quantum weak measurements","date_updated":"2021-01-12T08:03:41Z","citation":{"mla":"Hosten, Onur, and Paul Kwiat. <i>Observing the Spin Hall Effect of Light via Quantum Weak Measurements</i>. OSA, 2007, doi:<a href=\"https://doi.org/10.1364/FIO.2007.JTuA4\">10.1364/FIO.2007.JTuA4</a>.","short":"O. Hosten, P. Kwiat, in:, OSA, 2007.","apa":"Hosten, O., &#38; Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. <a href=\"https://doi.org/10.1364/FIO.2007.JTuA4\">https://doi.org/10.1364/FIO.2007.JTuA4</a>","chicago":"Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light via Quantum Weak Measurements.” OSA, 2007. <a href=\"https://doi.org/10.1364/FIO.2007.JTuA4\">https://doi.org/10.1364/FIO.2007.JTuA4</a>.","ama":"Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:<a href=\"https://doi.org/10.1364/FIO.2007.JTuA4\">10.1364/FIO.2007.JTuA4</a>","ieee":"O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum weak measurements,” presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, 2007.","ista":"Hosten O, Kwiat P. 2007. Observing the spin hall effect of light via quantum weak measurements. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, ."},"publisher":"OSA","day":"01","type":"conference","date_created":"2018-12-11T11:47:19Z","publist_id":"7228","date_published":"2007-01-01T00:00:00Z","extern":1,"doi":"10.1364/FIO.2007.JTuA4"},{"issue":"2","language":[{"iso":"eng"}],"publication_status":"published","month":"01","intvolume":"        17","external_id":{"pmid":["17240342"]},"oa_version":"None","_id":"6150","status":"public","page":"159-164","author":[{"first_name":"Tina L.","full_name":"Gumienny, Tina L.","last_name":"Gumienny"},{"last_name":"MacNeil","full_name":"MacNeil, Lesley T.","first_name":"Lesley T."},{"last_name":"Wang","first_name":"Huang","full_name":"Wang, Huang"},{"full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","last_name":"de Bono"},{"last_name":"Wrana","full_name":"Wrana, Jeffrey L.","first_name":"Jeffrey L."},{"last_name":"Padgett","full_name":"Padgett, Richard W.","first_name":"Richard W."}],"quality_controlled":"1","pmid":1,"doi":"10.1016/j.cub.2006.11.065","extern":"1","date_published":"2007-01-23T00:00:00Z","volume":17,"publication_identifier":{"issn":["0960-9822"]},"date_created":"2019-03-21T08:44:44Z","type":"journal_article","day":"23","publication":"Current Biology","publisher":"Elsevier","citation":{"ista":"Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.","ieee":"T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” <i>Current Biology</i>, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.","ama":"Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. <i>Current Biology</i>. 2007;17(2):159-164. doi:<a href=\"https://doi.org/10.1016/j.cub.2006.11.065\">10.1016/j.cub.2006.11.065</a>","chicago":"Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” <i>Current Biology</i>. Elsevier, 2007. <a href=\"https://doi.org/10.1016/j.cub.2006.11.065\">https://doi.org/10.1016/j.cub.2006.11.065</a>.","apa":"Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., &#38; Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2006.11.065\">https://doi.org/10.1016/j.cub.2006.11.065</a>","mla":"Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” <i>Current Biology</i>, vol. 17, no. 2, Elsevier, 2007, pp. 159–64, doi:<a href=\"https://doi.org/10.1016/j.cub.2006.11.065\">10.1016/j.cub.2006.11.065</a>.","short":"T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164."},"date_updated":"2021-01-12T08:06:22Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","year":"2007","title":"Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans"},{"publication":"arXiv","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/0704.1217"}],"oa":1,"day":"10","year":"2007","title":"The Manin conjecture in dimension 2","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","arxiv":1,"citation":{"ista":"Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.","ama":"Browning TD. The Manin conjecture in dimension 2. <i>arXiv</i>.","ieee":"T. D. Browning, “The Manin conjecture in dimension 2,” <i>arXiv</i>. .","chicago":"Browning, Timothy D. “The Manin Conjecture in Dimension 2.” <i>ArXiv</i>, n.d.","mla":"Browning, Timothy D. “The Manin Conjecture in Dimension 2.” <i>ArXiv</i>, 0704.1217.","short":"T.D. Browning, ArXiv (n.d.).","apa":"Browning, T. D. (n.d.). The Manin conjecture in dimension 2. <i>arXiv</i>."},"date_updated":"2021-01-12T08:07:04Z","date_published":"2007-04-10T00:00:00Z","extern":"1","type":"preprint","date_created":"2019-04-16T14:17:50Z","article_processing_charge":"No","abstract":[{"text":"These lecture notes describe the current state of affairs for Manin's conjecture in the context of del Pezzo surfaces.","lang":"eng"}],"author":[{"last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177"}],"status":"public","_id":"6321","oa_version":"Preprint","article_number":"0704.1217","month":"04","publication_status":"submitted","external_id":{"arxiv":["0704.1217"]},"language":[{"iso":"eng"}]},{"oa":1,"publisher":"American Mathematical Society","publication":"A Tribute to Gauss and Dirichlet","main_file_link":[{"url":"https://arxiv.org/abs/math/0511041v2","open_access":"1"}],"arxiv":1,"citation":{"short":"T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.","mla":"Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” <i>A Tribute to Gauss and Dirichlet</i>, vol. 7, American Mathematical Society, 2007, pp. 39–56.","apa":"Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In <i>A Tribute to Gauss and Dirichlet</i> (Vol. 7, pp. 39–56). American Mathematical Society.","chicago":"Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” In <i>A Tribute to Gauss and Dirichlet</i>, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.","ama":"Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: <i>A Tribute to Gauss and Dirichlet</i>. Vol 7. Analytic Number Theory. American Mathematical Society; 2007:39-56.","ieee":"T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in <i>A Tribute to Gauss and Dirichlet</i>, vol. 7, American Mathematical Society, 2007, pp. 39–56.","ista":"Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56."},"date_updated":"2021-01-12T08:07:05Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","year":"2007","title":"An overview of Manin's conjecture for del Pezzo surfaces","extern":"1","date_published":"2007-01-01T00:00:00Z","volume":7,"type":"book_chapter","date_created":"2019-04-16T14:26:12Z","series_title":"Analytic Number Theory","abstract":[{"lang":"eng","text":"This paper surveys recent progress towards the Manin conjecture for (singular and non-singular) del Pezzo surfaces. To illustrate some of the techniques available, an upper bound of the expected order of magnitude is established for a singular del Pezzo surface of degree four."}],"alternative_title":["Clay Mathemetics Proceedings"],"author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D","first_name":"Timothy D"}],"page":"39-56","quality_controlled":"1","external_id":{"arxiv":["0511041v2"]},"publication_status":"published","intvolume":"         7","language":[{"iso":"eng"}],"status":"public","_id":"6323","oa_version":"Preprint"},{"citation":{"ama":"Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. <i>Angewandte Chemie International Edition</i>. 2007;46(44):8363-8367. doi:<a href=\"https://doi.org/10.1002/anie.200702570\">10.1002/anie.200702570</a>","ieee":"R. Klajn, A. O. Pinchuk, G. C. Schatz, and B. A. Grzybowski, “Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres,” <i>Angewandte Chemie International Edition</i>, vol. 46, no. 44. Wiley, pp. 8363–8367, 2007.","ista":"Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. 2007. Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. 46(44), 8363–8367.","short":"R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International Edition 46 (2007) 8363–8367.","mla":"Klajn, Rafal, et al. “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.” <i>Angewandte Chemie International Edition</i>, vol. 46, no. 44, Wiley, 2007, pp. 8363–67, doi:<a href=\"https://doi.org/10.1002/anie.200702570\">10.1002/anie.200702570</a>.","apa":"Klajn, R., Pinchuk, A. O., Schatz, G. C., &#38; Grzybowski, B. A. (2007). Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.200702570\">https://doi.org/10.1002/anie.200702570</a>","chicago":"Klajn, Rafal, Anatoliy O. Pinchuk, George C. Schatz, and Bartosz A. Grzybowski. “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.” <i>Angewandte Chemie International Edition</i>. Wiley, 2007. <a href=\"https://doi.org/10.1002/anie.200702570\">https://doi.org/10.1002/anie.200702570</a>."},"title":"Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres","day":"12","publication":"Angewandte Chemie International Edition","publisher":"Wiley","extern":"1","doi":"10.1002/anie.200702570","keyword":["General Chemistry","Catalysis"],"page":"8363-8367","pmid":1,"abstract":[{"text":"Changing shapes: Metastable spherical aggregates of gold nanoparticles undergo a one-to-one, thermally induced transformation into heterodimers comprising connected plate and spherical domains. By controlling the reaction time, it is possible to isolate a variety of structures differing in the relative sizes of the domains and in the overall optical properties (see picture).","lang":"eng"}],"issue":"44","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-08T11:17:57Z","scopus_import":"1","year":"2007","publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"volume":46,"type":"journal_article","date_created":"2023-08-01T10:31:08Z","date_published":"2007-11-12T00:00:00Z","author":[{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"},{"last_name":"Pinchuk","full_name":"Pinchuk, Anatoliy O.","first_name":"Anatoliy O."},{"last_name":"Schatz","first_name":"George C.","full_name":"Schatz, George C."},{"full_name":"Grzybowski, Bartosz A.","first_name":"Bartosz A.","last_name":"Grzybowski"}],"quality_controlled":"1","article_processing_charge":"No","intvolume":"        46","publication_status":"published","external_id":{"pmid":["17902083"]},"month":"11","language":[{"iso":"eng"}],"status":"public","_id":"13424","oa_version":"None","article_type":"original"},{"author":[{"full_name":"Klajn, Rafal","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"},{"last_name":"Bishop","full_name":"Bishop, Kyle J. M.","first_name":"Kyle J. M."},{"last_name":"Grzybowski","first_name":"Bartosz A.","full_name":"Grzybowski, Bartosz A."}],"quality_controlled":"1","article_processing_charge":"No","publication_status":"published","month":"06","external_id":{"pmid":["17563381"]},"intvolume":"       104","language":[{"iso":"eng"}],"status":"public","_id":"13425","oa_version":"Published Version","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-08T11:24:51Z","scopus_import":"1","year":"2007","oa":1,"publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"volume":104,"type":"journal_article","date_created":"2023-08-01T10:31:19Z","date_published":"2007-06-19T00:00:00Z","page":"10305-10309","pmid":1,"abstract":[{"text":"Nanoparticles (NPs) decorated with ligands combining photoswitchable dipoles and covalent cross-linkers can be assembled by light into organized, three-dimensional suprastructures of various types and sizes. NPs covered with only few photoactive ligands form metastable crystals that can be assembled and disassembled “on demand” by using light of different wavelengths. For higher surface concentrations, self-assembly is irreversible, and the NPs organize into permanently cross-linked structures including robust supracrystals and plastic spherical aggregates.","lang":"eng"}],"issue":"25","citation":{"chicago":"Klajn, Rafal, Kyle J. M. Bishop, and Bartosz A. Grzybowski. “Light-Controlled Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.” <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences, 2007. <a href=\"https://doi.org/10.1073/pnas.0611371104\">https://doi.org/10.1073/pnas.0611371104</a>.","apa":"Klajn, R., Bishop, K. J. M., &#38; Grzybowski, B. A. (2007). Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.0611371104\">https://doi.org/10.1073/pnas.0611371104</a>","mla":"Klajn, Rafal, et al. “Light-Controlled Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.” <i>Proceedings of the National Academy of Sciences</i>, vol. 104, no. 25, Proceedings of the National Academy of Sciences, 2007, pp. 10305–09, doi:<a href=\"https://doi.org/10.1073/pnas.0611371104\">10.1073/pnas.0611371104</a>.","short":"R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.","ista":"Klajn R, Bishop KJM, Grzybowski BA. 2007. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. 104(25), 10305–10309.","ieee":"R. Klajn, K. J. M. Bishop, and B. A. Grzybowski, “Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures,” <i>Proceedings of the National Academy of Sciences</i>, vol. 104, no. 25. Proceedings of the National Academy of Sciences, pp. 10305–10309, 2007.","ama":"Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. <i>Proceedings of the National Academy of Sciences</i>. 2007;104(25):10305-10309. doi:<a href=\"https://doi.org/10.1073/pnas.0611371104\">10.1073/pnas.0611371104</a>"},"title":"Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures","day":"19","publisher":"Proceedings of the National Academy of Sciences","publication":"Proceedings of the National Academy of Sciences","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1073/pnas.0611371104"}],"extern":"1","doi":"10.1073/pnas.0611371104","keyword":["Multidisciplinary"]},{"author":[{"first_name":"Maciej","full_name":"Paszewski, Maciej","last_name":"Paszewski"},{"last_name":"Smoukov","first_name":"Stoyan K.","full_name":"Smoukov, Stoyan K."},{"full_name":"Klajn, Rafal","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"},{"last_name":"Grzybowski","first_name":"Bartosz A.","full_name":"Grzybowski, Bartosz A."}],"quality_controlled":"1","article_processing_charge":"No","language":[{"iso":"eng"}],"intvolume":"        23","publication_status":"published","external_id":{"pmid":["17425340"]},"month":"04","oa_version":"None","_id":"13426","status":"public","article_type":"original","scopus_import":"1","date_updated":"2023-08-08T11:26:24Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2007","volume":23,"publication_identifier":{"issn":["0743-7463"],"eissn":["1520-5827"]},"date_created":"2023-08-01T10:31:33Z","type":"journal_article","date_published":"2007-04-11T00:00:00Z","page":"5419-5422","pmid":1,"abstract":[{"text":"Photoswelling of thin films of dichromated gelatin provides a basis for fabrication of multilevel surface reliefs via sequential UV illumination through different photomasks. The remarkable feature of this simple, benchtop technique is that by adjusting irradiation times, film thickness, or its hydration state the heights of the developed features can be varied from few nanometers to tens of microns. After UV exposure, the surface structures can be replicated faithfully into either soft or hard PDMS stamps.","lang":"eng"}],"issue":"10","citation":{"ista":"Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. 2007. Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. 23(10), 5419–5422.","ama":"Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. <i>Langmuir</i>. 2007;23(10):5419-5422. doi:<a href=\"https://doi.org/10.1021/la062982c\">10.1021/la062982c</a>","ieee":"M. Paszewski, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin,” <i>Langmuir</i>, vol. 23, no. 10. American Chemical Society, pp. 5419–5422, 2007.","chicago":"Paszewski, Maciej, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of Dichromated Gelatin.” <i>Langmuir</i>. American Chemical Society, 2007. <a href=\"https://doi.org/10.1021/la062982c\">https://doi.org/10.1021/la062982c</a>.","mla":"Paszewski, Maciej, et al. “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of Dichromated Gelatin.” <i>Langmuir</i>, vol. 23, no. 10, American Chemical Society, 2007, pp. 5419–22, doi:<a href=\"https://doi.org/10.1021/la062982c\">10.1021/la062982c</a>.","short":"M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.","apa":"Paszewski, M., Smoukov, S. K., Klajn, R., &#38; Grzybowski, B. A. (2007). Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. <i>Langmuir</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/la062982c\">https://doi.org/10.1021/la062982c</a>"},"title":"Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin","day":"11","publication":"Langmuir","publisher":"American Chemical Society","doi":"10.1021/la062982c","extern":"1","keyword":["Electrochemistry","Spectroscopy","Surfaces and Interfaces","Condensed Matter Physics","General Materials Science"]},{"article_processing_charge":"No","quality_controlled":"1","author":[{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"},{"full_name":"Bishop, Kyle J. M.","first_name":"Kyle J. M.","last_name":"Bishop"},{"last_name":"Fialkowski","full_name":"Fialkowski, Marcin","first_name":"Marcin"},{"last_name":"Paszewski","first_name":"Maciej","full_name":"Paszewski, Maciej"},{"last_name":"Campbell","first_name":"Christopher J.","full_name":"Campbell, Christopher J."},{"last_name":"Gray","full_name":"Gray, Timothy P.","first_name":"Timothy P."},{"last_name":"Grzybowski","full_name":"Grzybowski, Bartosz A.","first_name":"Bartosz A."}],"article_type":"letter_note","oa_version":"None","_id":"13427","status":"public","language":[{"iso":"eng"}],"intvolume":"       316","external_id":{"pmid":["17431176"]},"publication_status":"published","month":"04","year":"2007","scopus_import":"1","date_updated":"2023-08-08T11:28:29Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2007-04-13T00:00:00Z","date_created":"2023-08-01T10:36:08Z","type":"journal_article","volume":316,"publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"abstract":[{"text":"Deformable, spherical aggregates of metal nanoparticles connected by long-chain dithiol ligands self-assemble into nanostructured materials of macroscopic dimensions. These materials are plastic and moldable against arbitrarily shaped masters and can be thermally hardened into polycrystalline metal structures of controllable porosity. In addition, in both plastic and hardened states, the assemblies are electrically conductive and exhibit Ohmic characteristics down to ∼20 volts per meter. The self-assembly method leading to such materials is applicable both to pure metals and to bimetallic structures of various elemental compositions.","lang":"eng"}],"pmid":1,"page":"261-264","issue":"5822","publisher":"American Association for the Advancement of Science","publication":"Science","day":"13","title":"Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates","citation":{"chicago":"Klajn, Rafal, Kyle J. M. Bishop, Marcin Fialkowski, Maciej Paszewski, Christopher J. Campbell, Timothy P. Gray, and Bartosz A. Grzybowski. “Plastic and Moldable Metals by Self-Assembly of Sticky Nanoparticle Aggregates.” <i>Science</i>. American Association for the Advancement of Science, 2007. <a href=\"https://doi.org/10.1126/science.1139131\">https://doi.org/10.1126/science.1139131</a>.","apa":"Klajn, R., Bishop, K. J. M., Fialkowski, M., Paszewski, M., Campbell, C. J., Gray, T. P., &#38; Grzybowski, B. A. (2007). Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1139131\">https://doi.org/10.1126/science.1139131</a>","short":"R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.","mla":"Klajn, Rafal, et al. “Plastic and Moldable Metals by Self-Assembly of Sticky Nanoparticle Aggregates.” <i>Science</i>, vol. 316, no. 5822, American Association for the Advancement of Science, 2007, pp. 261–64, doi:<a href=\"https://doi.org/10.1126/science.1139131\">10.1126/science.1139131</a>.","ista":"Klajn R, Bishop KJM, Fialkowski M, Paszewski M, Campbell CJ, Gray TP, Grzybowski BA. 2007. Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. 316(5822), 261–264.","ieee":"R. Klajn <i>et al.</i>, “Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates,” <i>Science</i>, vol. 316, no. 5822. American Association for the Advancement of Science, pp. 261–264, 2007.","ama":"Klajn R, Bishop KJM, Fialkowski M, et al. Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. <i>Science</i>. 2007;316(5822):261-264. doi:<a href=\"https://doi.org/10.1126/science.1139131\">10.1126/science.1139131</a>"},"keyword":["Multidisciplinary"],"doi":"10.1126/science.1139131","extern":"1"},{"year":"2007","title":"Extensive parallelism in protein evolution","citation":{"chicago":"Bazykin, Georgii, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov, Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.” <i>Biology Direct</i>. BioMed Central, 2007. <a href=\"https://doi.org/10.1186/1745-6150-2-20\">https://doi.org/10.1186/1745-6150-2-20</a>.","mla":"Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.” <i>Biology Direct</i>, vol. 2, BioMed Central, 2007, doi:<a href=\"https://doi.org/10.1186/1745-6150-2-20\">10.1186/1745-6150-2-20</a>.","short":"G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).","apa":"Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., &#38; Kondrashov, A. (2007). Extensive parallelism in protein evolution. <i>Biology Direct</i>. BioMed Central. <a href=\"https://doi.org/10.1186/1745-6150-2-20\">https://doi.org/10.1186/1745-6150-2-20</a>","ista":"Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. 2007. Extensive parallelism in protein evolution. Biology Direct. 2.","ama":"Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive parallelism in protein evolution. <i>Biology Direct</i>. 2007;2. doi:<a href=\"https://doi.org/10.1186/1745-6150-2-20\">10.1186/1745-6150-2-20</a>","ieee":"G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, and A. Kondrashov, “Extensive parallelism in protein evolution,” <i>Biology Direct</i>, vol. 2. BioMed Central, 2007."},"date_updated":"2021-01-12T08:21:47Z","publication":"Biology Direct","publisher":"BioMed Central","day":"16","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2018-12-11T11:49:07Z","type":"journal_article","publist_id":"6745","volume":2,"date_published":"2007-08-16T00:00:00Z","doi":"10.1186/1745-6150-2-20","extern":1,"quality_controlled":0,"author":[{"first_name":"Georgii","full_name":"Bazykin, Georgii A","last_name":"Bazykin"},{"id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov","full_name":"Fyodor Kondrashov","orcid":"0000-0001-8243-4694","first_name":"Fyodor"},{"first_name":"Michael","full_name":"Brudno, Michael","last_name":"Brudno"},{"last_name":"Poliakov","first_name":"Alexander","full_name":"Poliakov, Alexander V"},{"first_name":"Inna","full_name":"Dubchak, Inna L","last_name":"Dubchak"},{"first_name":"Alexey","full_name":"Kondrashov, Alexey S","last_name":"Kondrashov"}],"acknowledgement":"G.A.B. gratefully acknowledges fellowships from the Pew Charitable Trusts award 2000-002558 and the Burroughs Wellcome Fund award 1001782, both to Princeton University. F.A.K. is a National Science Foundation Graduate Fellow. M.B.'s work is partially supported by the NSERC Discovery grant. I.D. and A.P. were partially supported by grant HL066681 (L.A.P., I.D. and S.M.), Berkeley-PGA, under the Programs for Genomic Applications, funded by National Heart, Lung, & Blood Institute and Department of Energy Contract DE-AC02-05CH11231, University of California. This work was partially supported through the Molecular and Cellular Biology Program of the Russian Academy of Sciences.","abstract":[{"text":"Background: Independently evolving lineages mostly accumulate different changes, which leads to their gradual divergence. However, parallel accumulation of identical changes is also common, especially in traits with only a small number of possible states. Results: We characterize parallelism in evolution of coding sequences in three four-species sets of genomes of mammals, Drosophila, and yeasts. Each such set contains two independent evolutionary paths, which we call paths I and II. An amino acid replacement which occurred along path I also occurs along path II with the probability 50-8211;80% of that expected under selective neutrality. Thus, the per site rate of parallel evolution of proteins is several times higher than their average rate of evolution, but still lower than the rate of evolution of neutral sequences. This deficit may be caused by changes in the fitness landscape, leading to a replacement being possible along path I but not along path II. However, constant, weak selection assumed by the nearly neutral model of evolution appears to be a more likely explanation. Then, the average coefficient of selection associated with an amino acid replacement, in the units of the effective population size, must exceed ∼0.4, and the fraction of effectively neutral replacements must be below ∼30%. At a majority of evolvable amino acid sites, only a relatively small number of different amino acids is permitted. Conclusion: High, but below-neutral, rates of parallel amino acid replacements suggest that a majority of amino acid replacements that occur in evolution are subject to weak, but non-trivial, selection, as predicted by Ohta's nearly-neutral theory.","lang":"eng"}],"_id":"904","status":"public","publication_status":"published","intvolume":"         2","month":"08"},{"page":"1-28","abstract":[{"lang":"eng","text":"The interaction of tidal currents with sea-floor topography results in the radiation of internal gravity waves into the ocean interior. These waves are called internal tides and their dissipation due to nonlinear wave breaking and concomitant three-dimensional turbulence could play an important role in the mixing of the abyssal ocean, and hence in controlling the large-scale ocean circulation.\r\nAs part of on-going work aimed at providing a theory for the vertical distribution of wave breaking over sea-floor topography, in this paper we investigate the instability of internal tides in a very simple linear model that helps us to relate the formation of unstable regions to simple features in the sea-floor topography. For two-dimensional tides over one-dimensional topography we find that the formation of overturning instabilities is closely linked to the singularities in the topography shape and that it is possible to have stable waves at the sea floor and unstable waves in the ocean interior above.\r\nFor three-dimensional tides over two-dimensional topography there is in addition an effect of geometric focusing of wave energy into localized regions of high wave amplitude, and we investigate this focusing effect in simple examples. Overall, we find that the distribution of unstable wave breaking regions can be highly non-uniform even for very simple idealized topography shapes."}],"doi":"10.1017/s0022112007007410","extern":"1","keyword":["mechanical engineering","mechanics of materials","condensed matter physics"],"citation":{"chicago":"Bühler, Oliver, and Caroline J Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2007. <a href=\"https://doi.org/10.1017/s0022112007007410\">https://doi.org/10.1017/s0022112007007410</a>.","short":"O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.","mla":"Bühler, Oliver, and Caroline J. Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.” <i>Journal of Fluid Mechanics</i>, vol. 588, Cambridge University Press, 2007, pp. 1–28, doi:<a href=\"https://doi.org/10.1017/s0022112007007410\">10.1017/s0022112007007410</a>.","apa":"Bühler, O., &#38; Muller, C. J. (2007). Instability and focusing of internal tides in the deep ocean. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/s0022112007007410\">https://doi.org/10.1017/s0022112007007410</a>","ista":"Bühler O, Muller CJ. 2007. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 588, 1–28.","ama":"Bühler O, Muller CJ. Instability and focusing of internal tides in the deep ocean. <i>Journal of Fluid Mechanics</i>. 2007;588:1-28. doi:<a href=\"https://doi.org/10.1017/s0022112007007410\">10.1017/s0022112007007410</a>","ieee":"O. Bühler and C. J. Muller, “Instability and focusing of internal tides in the deep ocean,” <i>Journal of Fluid Mechanics</i>, vol. 588. Cambridge University Press, pp. 1–28, 2007."},"title":"Instability and focusing of internal tides in the deep ocean","day":"10","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/S0022112007007410"}],"publisher":"Cambridge University Press","publication":"Journal of Fluid Mechanics","language":[{"iso":"eng"}],"publication_status":"published","intvolume":"       588","month":"10","_id":"9149","oa_version":"None","status":"public","article_type":"original","author":[{"last_name":"Bühler","first_name":"Oliver","full_name":"Bühler, Oliver"},{"id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","last_name":"Muller","orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","first_name":"Caroline J"}],"quality_controlled":"1","article_processing_charge":"No","volume":588,"publication_identifier":{"issn":["0022-1120","1469-7645"]},"date_created":"2021-02-15T14:41:45Z","type":"journal_article","date_published":"2007-10-10T00:00:00Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_updated":"2022-01-24T13:43:36Z","year":"2007","oa":1},{"abstract":[{"lang":"eng","text":"Cytosine DNA methylation is considered to be a stable epigenetic mark, but active demethylation has been observed in both plants and animals. In Arabidopsis thaliana, DNA glycosylases of the DEMETER (DME) family remove methylcytosines from DNA. Demethylation by DME is necessary for genomic imprinting, and demethylation by a related protein, REPRESSOR OF SILENCING1, prevents gene silencing in a transgenic background. However, the extent and function of demethylation by DEMETER-LIKE (DML) proteins in WT plants is not known. Using genome-tiling microarrays, we mapped DNA methylation in mutant and WT plants and identified 179 loci actively demethylated by DML enzymes. Mutations in DML genes lead to locus-specific DNA hypermethylation. Reintroducing WT DML genes restores most loci to the normal pattern of methylation, although at some loci, hypermethylated epialleles persist. Of loci demethylated by DML enzymes, >80% are near or overlap genes. Genic demethylation by DML enzymes primarily occurs at the 5′ and 3′ ends, a pattern opposite to the overall distribution of WT DNA methylation. Our results show that demethylation by DML DNA glycosylases edits the patterns of DNA methylation within the Arabidopsis genome to protect genes from potentially deleterious methylation."}],"pmid":1,"page":"6752-6757","issue":"16","publication":"Proceedings of the National Academy of Sciences","publisher":"National Academy of Sciences","main_file_link":[{"url":"https://doi.org/10.1073/pnas.0701861104","open_access":"1"}],"department":[{"_id":"DaZi"}],"day":"17","title":"DNA demethylation in the Arabidopsis genome","citation":{"apa":"Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., &#38; Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.0701861104\">https://doi.org/10.1073/pnas.0701861104</a>","mla":"Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.” <i>Proceedings of the National Academy of Sciences</i>, vol. 104, no. 16, National Academy of Sciences, 2007, pp. 6752–57, doi:<a href=\"https://doi.org/10.1073/pnas.0701861104\">10.1073/pnas.0701861104</a>.","short":"J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.","chicago":"Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.” <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences, 2007. <a href=\"https://doi.org/10.1073/pnas.0701861104\">https://doi.org/10.1073/pnas.0701861104</a>.","ama":"Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. <i>Proceedings of the National Academy of Sciences</i>. 2007;104(16):6752-6757. doi:<a href=\"https://doi.org/10.1073/pnas.0701861104\">10.1073/pnas.0701861104</a>","ieee":"J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” <i>Proceedings of the National Academy of Sciences</i>, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.","ista":"Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. 2007. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 104(16), 6752–6757."},"extern":"1","doi":"10.1073/pnas.0701861104","article_processing_charge":"No","quality_controlled":"1","author":[{"last_name":"Penterman","full_name":"Penterman, Jon","first_name":"Jon"},{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","last_name":"Zilberman","full_name":"Zilberman, Daniel","orcid":"0000-0002-0123-8649","first_name":"Daniel"},{"first_name":"Jin Hoe","full_name":"Huh, Jin Hoe","last_name":"Huh"},{"full_name":"Ballinger, Tracy","first_name":"Tracy","last_name":"Ballinger"},{"full_name":"Henikoff, Steven","first_name":"Steven","last_name":"Henikoff"},{"last_name":"Fischer","full_name":"Fischer, Robert L.","first_name":"Robert L."}],"article_type":"original","status":"public","oa_version":"Published Version","_id":"9487","publication_status":"published","month":"04","external_id":{"pmid":["17409185"]},"intvolume":"       104","language":[{"iso":"eng"}],"oa":1,"year":"2007","date_updated":"2021-12-14T08:55:12Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","scopus_import":"1","date_published":"2007-04-17T00:00:00Z","type":"journal_article","date_created":"2021-06-07T09:38:21Z","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"volume":104},{"issue":"4","status":"public","oa_version":"None","_id":"9504","external_id":{"pmid":["17392803"]},"intvolume":"        39","month":"04","publication_status":"published","language":[{"iso":"eng"}],"article_processing_charge":"No","pmid":1,"quality_controlled":"1","author":[{"first_name":"Daniel","orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","last_name":"Zilberman","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"}],"page":"442-443","date_published":"2007-04-01T00:00:00Z","extern":"1","doi":"10.1038/ng0407-442","type":"other_academic_publication","date_created":"2021-06-07T12:08:24Z","publication_identifier":{"eissn":["1546-1718"],"issn":["1061-4036"]},"volume":39,"publisher":"Nature Publishing Group","publication":"Nature Genetics","department":[{"_id":"DaZi"}],"day":"01","year":"2007","title":"The human promoter methylome","date_updated":"2021-12-14T08:55:46Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Zilberman D. 2007. The human promoter methylome, Nature Publishing Group,p.","ama":"Zilberman D. <i>The Human Promoter Methylome</i>. Vol 39. Nature Publishing Group; 2007:442-443. doi:<a href=\"https://doi.org/10.1038/ng0407-442\">10.1038/ng0407-442</a>","ieee":"D. Zilberman, <i>The human promoter methylome</i>, vol. 39, no. 4. Nature Publishing Group, 2007, pp. 442–443.","chicago":"Zilberman, Daniel. <i>The Human Promoter Methylome</i>. <i>Nature Genetics</i>. Vol. 39. Nature Publishing Group, 2007. <a href=\"https://doi.org/10.1038/ng0407-442\">https://doi.org/10.1038/ng0407-442</a>.","short":"D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.","mla":"Zilberman, Daniel. “The Human Promoter Methylome.” <i>Nature Genetics</i>, vol. 39, no. 4, Nature Publishing Group, 2007, pp. 442–43, doi:<a href=\"https://doi.org/10.1038/ng0407-442\">10.1038/ng0407-442</a>.","apa":"Zilberman, D. (2007). <i>The human promoter methylome</i>. <i>Nature Genetics</i> (Vol. 39, pp. 442–443). Nature Publishing Group. <a href=\"https://doi.org/10.1038/ng0407-442\">https://doi.org/10.1038/ng0407-442</a>"}},{"doi":"10.1242/dev.001131","extern":"1","title":"Genome-wide analysis of DNA methylation patterns","citation":{"ieee":"D. Zilberman and S. Henikoff, “Genome-wide analysis of DNA methylation patterns,” <i>Development</i>, vol. 134, no. 22. The Company of Biologists, pp. 3959–3965, 2007.","ama":"Zilberman D, Henikoff S. Genome-wide analysis of DNA methylation patterns. <i>Development</i>. 2007;134(22):3959-3965. doi:<a href=\"https://doi.org/10.1242/dev.001131\">10.1242/dev.001131</a>","ista":"Zilberman D, Henikoff S. 2007. Genome-wide analysis of DNA methylation patterns. Development. 134(22), 3959–3965.","short":"D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.","mla":"Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.” <i>Development</i>, vol. 134, no. 22, The Company of Biologists, 2007, pp. 3959–65, doi:<a href=\"https://doi.org/10.1242/dev.001131\">10.1242/dev.001131</a>.","apa":"Zilberman, D., &#38; Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. <i>Development</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/dev.001131\">https://doi.org/10.1242/dev.001131</a>","chicago":"Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.” <i>Development</i>. The Company of Biologists, 2007. <a href=\"https://doi.org/10.1242/dev.001131\">https://doi.org/10.1242/dev.001131</a>."},"department":[{"_id":"DaZi"}],"main_file_link":[{"url":"https://doi.org/10.1242/dev.001131","open_access":"1"}],"publisher":"The Company of Biologists","publication":"Development","day":"15","issue":"22","pmid":1,"page":"3959-3965","abstract":[{"text":"Cytosine methylation is the most common covalent modification of DNA in eukaryotes. DNA methylation has an important role in many aspects of biology, including development and disease. Methylation can be detected using bisulfite conversion, methylation-sensitive restriction enzymes, methyl-binding proteins and anti-methylcytosine antibodies. Combining these techniques with DNA microarrays and high-throughput sequencing has made the mapping of DNA methylation feasible on a genome-wide scale. Here we discuss recent developments and future directions for identifying and mapping methylation, in an effort to help colleagues to identify the approaches that best serve their research interests.","lang":"eng"}],"date_created":"2021-06-08T06:29:50Z","type":"journal_article","volume":134,"publication_identifier":{"issn":["0950-1991"],"eissn":["1477-9129"]},"date_published":"2007-11-15T00:00:00Z","year":"2007","scopus_import":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_updated":"2021-12-14T08:57:58Z","oa":1,"_id":"9524","oa_version":"Published Version","status":"public","language":[{"iso":"eng"}],"external_id":{"pmid":["17928417"]},"month":"11","intvolume":"       134","publication_status":"published","article_type":"review","quality_controlled":"1","author":[{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","last_name":"Zilberman","orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","first_name":"Daniel"},{"last_name":"Henikoff","full_name":"Henikoff, Steven","first_name":"Steven"}],"article_processing_charge":"No"},{"publisher":"American Physical Society","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","main_file_link":[{"url":"https://arxiv.org/abs/0706.1041","open_access":"1"}],"oa":1,"day":"25","title":"Spectroscopy of ultracold trapped cesium Feshbach molecules","year":"2007","citation":{"ista":"Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).","ama":"Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2007;76(4). doi:<a href=\"https://doi.org/10.1103/PhysRevA.76.042514\">10.1103/PhysRevA.76.042514</a>","ieee":"M. Mark <i>et al.</i>, “Spectroscopy of ultracold trapped cesium Feshbach molecules,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 76, no. 4. American Physical Society, 2007.","chicago":"Mark, Michael, Francesca Ferlaino, Steven Knoop, Johann G Danzl, Tobias Kraemer, Cheng Chin, Hanns Nägerl, and Rudolf Grimm. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2007. <a href=\"https://doi.org/10.1103/PhysRevA.76.042514\">https://doi.org/10.1103/PhysRevA.76.042514</a>.","apa":"Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm, R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.76.042514\">https://doi.org/10.1103/PhysRevA.76.042514</a>","short":"M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).","mla":"Mark, Michael, et al. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 76, no. 4, American Physical Society, 2007, doi:<a href=\"https://doi.org/10.1103/PhysRevA.76.042514\">10.1103/PhysRevA.76.042514</a>."},"date_updated":"2021-01-12T06:47:49Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2007-10-25T00:00:00Z","extern":"1","doi":"10.1103/PhysRevA.76.042514","type":"journal_article","date_created":"2018-12-11T11:49:48Z","volume":76,"publist_id":"6354","article_processing_charge":"No","acknowledgement":"The authors thank E. Tiesinga, P. Julienne, and C. Williams for providing invaluable theoretical input and J. Hutson and A. Simoni for helpful discussions. The authors acknowledge support by the Austrian Science Fund (FWF) within SFB 15 (project part 16) and by the European Union within the Cold Molecules TMR Network under Contract No. HPRN-CT-2002-00290. One of the authors (M.M.) acknowledges support within the Ph.D. program DOC of the Austrian Academy of Sciences, and two of the authors (F.F., C.C.) acknowledge support within the Lise Meitner program of the FWF. One of the authors (S.K.) is supported by the European Community, Marie Curie Intra-European program.","abstract":[{"text":"We explore the rich internal structure of Cs2 Feshbach molecules. Pure ultracold molecular samples are prepared in a CO2 -laser trap, and a multitude of weakly bound states is populated by elaborate magnetic-field ramping techniques. Our methods use different Feshbach resonances as input ports and various internal level crossings for controlled state transfer. We populate higher partial-wave states of up to eight units of rotational angular momentum (l -wave states). We investigate the molecular structure by measurements of the magnetic moments for various states. Avoided level crossings between different molecular states are characterized through the changes in magnetic moment and by a Landau-Zener tunneling method. Based on microwave spectroscopy, we present a precise measurement of the magnetic-field-dependent binding energy of the weakly bound s -wave state that is responsible for the large background scattering length of Cs. This state is of particular interest because of its quantum-halo character.","lang":"eng"}],"author":[{"full_name":"Mark, Michael","first_name":"Michael","last_name":"Mark"},{"last_name":"Ferlaino","full_name":"Ferlaino, Francesca","first_name":"Francesca"},{"last_name":"Knoop","first_name":"Steven","full_name":"Knoop, Steven"},{"orcid":"0000-0001-8559-3973","full_name":"Danzl, Johann G","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl"},{"last_name":"Kraemer","full_name":"Kraemer, Tobias","first_name":"Tobias"},{"full_name":"Chin, Cheng","first_name":"Cheng","last_name":"Chin"},{"full_name":"Nägerl, Hanns","first_name":"Hanns","last_name":"Nägerl"},{"last_name":"Grimm","full_name":"Grimm, Rudolf","first_name":"Rudolf"}],"issue":"4","status":"public","_id":"1035","oa_version":"None","publication_status":"published","month":"10","intvolume":"        76","language":[{"iso":"eng"}]},{"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-17T14:07:49Z","year":"2007","volume":317,"publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"date_created":"2022-08-17T07:30:07Z","type":"journal_article","date_published":"2007-07-27T00:00:00Z","author":[{"last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530"}],"quality_controlled":"1","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"07","external_id":{"pmid":["17656714"]},"intvolume":"       317","publication_status":"published","oa_version":"None","_id":"11884","status":"public","article_type":"review","citation":{"ieee":"M. H. Henzinger, “Search technologies for the internet,” <i>Science</i>, vol. 317, no. 5837. American Association for the Advancement of Science, pp. 468–471, 2007.","ama":"Henzinger MH. Search technologies for the internet. <i>Science</i>. 2007;317(5837):468-471. doi:<a href=\"https://doi.org/10.1126/science.1126557\">10.1126/science.1126557</a>","ista":"Henzinger MH. 2007. Search technologies for the internet. Science. 317(5837), 468–471.","short":"M.H. Henzinger, Science 317 (2007) 468–471.","mla":"Henzinger, Monika H. “Search Technologies for the Internet.” <i>Science</i>, vol. 317, no. 5837, American Association for the Advancement of Science, 2007, pp. 468–71, doi:<a href=\"https://doi.org/10.1126/science.1126557\">10.1126/science.1126557</a>.","apa":"Henzinger, M. H. (2007). Search technologies for the internet. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1126557\">https://doi.org/10.1126/science.1126557</a>","chicago":"Henzinger, Monika H. “Search Technologies for the Internet.” <i>Science</i>. American Association for the Advancement of Science, 2007. <a href=\"https://doi.org/10.1126/science.1126557\">https://doi.org/10.1126/science.1126557</a>."},"title":"Search technologies for the internet","day":"27","publication":"Science","publisher":"American Association for the Advancement of Science","doi":"10.1126/science.1126557","extern":"1","page":"468-471","pmid":1,"abstract":[{"text":"About 20% of the world's population uses the Web, and a large majority thereof uses Web search engines to find information. As a result, many Web researchers are devoting much effort to improving the speed and capability of search technology.","lang":"eng"}],"issue":"5837"},{"author":[{"first_name":"Monika H","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"page":"1022-1026","quality_controlled":"1","abstract":[{"text":"How much can smart combinatorial algorithms improve web search engines? To address this question we will describe three algorithms that have had a positive impact on web search engines: The PageRank algorithm, algorithms for finding near-duplicate web pages, and algorithms for index server loadbalancing.","lang":"eng"}],"article_processing_charge":"No","month":"01","publication_status":"published","language":[{"iso":"eng"}],"status":"public","oa_version":"None","_id":"11924","conference":{"name":"SODA: Symposium on Discrete Algorithms","location":"New Orleans, LA, United States","start_date":"2007-01-07","end_date":"2007-01-09"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-17T12:06:29Z","citation":{"ieee":"M. H. Henzinger, “Combinatorial algorithms for web search engines: three success stories,” in <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>, New Orleans, LA, United States, 2007, pp. 1022–1026.","ama":"Henzinger MH. Combinatorial algorithms for web search engines: three success stories. In: <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Society for Industrial &#38; Applied Mathematics; 2007:1022-1026.","ista":"Henzinger MH. 2007. Combinatorial algorithms for web search engines: three success stories. 18th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1022–1026.","apa":"Henzinger, M. H. (2007). Combinatorial algorithms for web search engines: three success stories. In <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 1022–1026). New Orleans, LA, United States: Society for Industrial &#38; Applied Mathematics.","mla":"Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Society for Industrial &#38; Applied Mathematics, 2007, pp. 1022–26.","short":"M.H. Henzinger, in:, 18th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial &#38; Applied Mathematics, 2007, pp. 1022–1026.","chicago":"Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” In <i>18th Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 1022–26. Society for Industrial &#38; Applied Mathematics, 2007."},"scopus_import":"1","year":"2007","title":"Combinatorial algorithms for web search engines: three success stories","day":"01","publication":"18th Annual ACM-SIAM Symposium on Discrete Algorithms","publisher":"Society for Industrial & Applied Mathematics","publication_identifier":{"isbn":["9780898716245"]},"type":"conference","date_created":"2022-08-18T12:37:03Z","extern":"1","date_published":"2007-01-01T00:00:00Z"}]