[{"quality_controlled":"1","citation":{"ama":"Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:<a href=\"https://doi.org/10.1007/978-3-642-14295-6_41\">10.1007/978-3-642-14295-6_41</a>","apa":"Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &#38; Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-642-14295-6_41\">https://doi.org/10.1007/978-3-642-14295-6_41</a>","short":"P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.","chicago":"Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-14295-6_41\">https://doi.org/10.1007/978-3-642-14295-6_41</a>.","ieee":"P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.","ista":"Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.","mla":"Cerny, Pavol, et al. <i>Model Checking of Linearizability of Concurrent List Implementations</i>. Vol. 6174, Springer, 2010, pp. 465–79, doi:<a href=\"https://doi.org/10.1007/978-3-642-14295-6_41\">10.1007/978-3-642-14295-6_41</a>."},"doi":"10.1007/978-3-642-14295-6_41","related_material":{"record":[{"id":"5391","status":"public","relation":"earlier_version"}]},"conference":{"end_date":"2010-07-17","start_date":"2010-07-15","location":"Edinburgh, UK","name":"CAV: Computer Aided Verification"},"year":"2010","language":[{"iso":"eng"}],"has_accepted_license":"1","intvolume":"      6174","page":"465 - 479","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations does not stem from the number of variables or the program size, but rather from the large number of possible interleavings. These implementations are therefore prime candidates for model checking. We introduce an algorithm for verifying linearizability of singly-linked heap-based concurrent data structures. We consider a model consisting of an unbounded heap where each vertex stores an element from an unbounded data domain, with a restricted set of operations for testing and updating pointers and data elements. Our main result is that linearizability is decidable for programs that invoke a fixed number of methods, possibly in parallel. This decidable fragment covers many of the common implementation techniques — fine-grained locking, lazy synchronization, and lock-free synchronization. We also show how the technique can be used to verify optimistic implementations with the help of programmer annotations. We developed a verification tool CoLT and evaluated it on a representative sample of Java implementations of the concurrent set data structure. The tool verified linearizability of a number of implementations, found a known error in a lock-free implementation and proved that the corrected version is linearizable."}],"ddc":["000"],"oa":1,"file":[{"access_level":"open_access","date_created":"2020-05-19T16:31:56Z","file_id":"7873","file_name":"2010_CAV_Cerny.pdf","relation":"main_file","content_type":"application/pdf","creator":"dernst","checksum":"2eb211ce40b3c4988bce3a3592980704","file_size":3633276,"date_updated":"2020-07-14T12:46:28Z"}],"pubrep_id":"27","date_created":"2018-12-11T12:08:36Z","oa_version":"Submitted Version","file_date_updated":"2020-07-14T12:46:28Z","_id":"4390","article_processing_charge":"No","type":"conference","author":[{"id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol","last_name":"Cerny","full_name":"Cerny, Pavol"},{"full_name":"Radhakrishna, Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","last_name":"Radhakrishna"},{"last_name":"Zufferey","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","first_name":"Damien","full_name":"Zufferey, Damien","orcid":"0000-0002-3197-8736"},{"first_name":"Swarat","last_name":"Chaudhuri","full_name":"Chaudhuri, Swarat"},{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"}],"department":[{"_id":"ToHe"}],"day":"01","volume":6174,"title":"Model checking of linearizability of concurrent list implementations","status":"public","date_published":"2010-07-01T00:00:00Z","month":"07","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-23T12:24:12Z","publist_id":"1066","publisher":"Springer"},{"scopus_import":1,"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publist_id":"1065","date_updated":"2023-02-23T12:24:04Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_published":"2010-11-01T00:00:00Z","month":"11","department":[{"_id":"ToHe"}],"author":[{"full_name":"Cerny, Pavol","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna","first_name":"Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87"}],"_id":"4393","type":"conference","file_date_updated":"2020-07-14T12:46:28Z","project":[{"name":"COMponent-Based Embedded Systems design Techniques","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"215543"},{"_id":"25F1337C-B435-11E9-9278-68D0E5697425","name":"Design for Embedded Systems","grant_number":"214373","call_identifier":"FP7"}],"oa_version":"Submitted Version","date_created":"2018-12-11T12:08:37Z","pubrep_id":"42","status":"public","title":"Simulation distances","volume":6269,"day":"01","alternative_title":["LNCS"],"page":"235 - 268","file":[{"content_type":"application/pdf","file_name":"IST-2012-42-v1+1_Simulation_distances.pdf","relation":"main_file","file_id":"5130","date_created":"2018-12-12T10:15:12Z","access_level":"open_access","date_updated":"2020-07-14T12:46:28Z","checksum":"ea567903676ba8afe0507ee11313dce5","file_size":198913,"creator":"system"}],"ddc":["005"],"oa":1,"abstract":[{"lang":"eng","text":"Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by real-valued distance functions between systems, where the distance between implementation and specification provides a measure of “fit” or “desirability.” We extend the simulation preorder to the quantitative setting, by making each player of a simulation game pay a certain price for her choices. We use the resulting games with quantitative objectives to define three different simulation distances. The correctness distance measures how much the specification must be changed in order to be satisfied by the implementation. The coverage distance measures how much the implementation restricts the degrees of freedom offered by the specification. The robustness distance measures how much a system can deviate from the implementation description without violating the specification. We consider these distances for safety as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not increase under parallel composition with a third system, and that the distance between two systems can be bounded from above and below by distances between abstractions of the two systems. These properties suggest that our simulation distances provide an appropriate basis for a quantitative theory of discrete systems. We also demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes."}],"conference":{"name":"CONCUR: Concurrency Theory","start_date":"2010-08-31","end_date":"2010-09-03","location":"Paris, France"},"acknowledgement":"This work was partially supported by the European Union project COMBEST and the European Network of Excellence ArtistDesign.","related_material":{"record":[{"id":"3249","status":"public","relation":"later_version"},{"relation":"earlier_version","id":"5389","status":"public"}]},"doi":"10.1007/978-3-642-15375-4_18","citation":{"ama":"Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:<a href=\"https://doi.org/10.1007/978-3-642-15375-4_18\">10.1007/978-3-642-15375-4_18</a>","apa":"Cerny, P., Henzinger, T. A., &#38; Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/978-3-642-15375-4_18\">https://doi.org/10.1007/978-3-642-15375-4_18</a>","short":"P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.","chicago":"Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15375-4_18\">https://doi.org/10.1007/978-3-642-15375-4_18</a>.","ista":"Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.","ieee":"P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.","mla":"Cerny, Pavol, et al. <i>Simulation Distances</i>. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:<a href=\"https://doi.org/10.1007/978-3-642-15375-4_18\">10.1007/978-3-642-15375-4_18</a>."},"ec_funded":1,"quality_controlled":"1","intvolume":"      6269","has_accepted_license":"1","language":[{"iso":"eng"}],"year":"2010"},{"scopus_import":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publisher":"Springer","publist_id":"1061","date_updated":"2021-01-12T07:56:40Z","month":"04","date_published":"2010-04-21T00:00:00Z","author":[{"first_name":"Dirk","last_name":"Beyer","full_name":"Beyer, Dirk"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Théoduloz, Grégory","first_name":"Grégory","last_name":"Théoduloz"},{"full_name":"Zufferey, Damien","orcid":"0000-0002-3197-8736","first_name":"Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","last_name":"Zufferey"}],"department":[{"_id":"ToHe"}],"project":[{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"date_created":"2018-12-11T12:08:38Z","pubrep_id":"41","oa_version":"Submitted Version","_id":"4396","type":"conference","file_date_updated":"2020-07-14T12:46:29Z","title":"Shape refinement through explicit heap analysis","volume":6013,"status":"public","day":"21","alternative_title":["LNCS"],"page":"263 - 277","editor":[{"first_name":"David","last_name":"Rosenblum","full_name":"Rosenblum, David"},{"full_name":"Taenzer, Gabriele","last_name":"Taenzer","first_name":"Gabriele"}],"oa":1,"ddc":["004"],"abstract":[{"text":"Shape analysis is a promising technique to prove program properties about recursive data structures. The challenge is to automatically determine the data-structure type, and to supply the shape analysis with the necessary information about the data structure. We present a stepwise approach to the selection of instrumentation predicates for a TVLA-based shape analysis, which takes us a step closer towards the fully automatic verification of data structures. The approach uses two techniques to guide the refinement of shape abstractions: (1) during program exploration, an explicit heap analysis collects sample instances of the heap structures, which are used to identify the data structures that are manipulated by the program; and (2) during abstraction refinement along an infeasible error path, we consider different possible heap abstractions and choose the coarsest one that eliminates the infeasible path. We have implemented this combined approach for automatic shape refinement as an extension of the software model checker BLAST. Example programs from a data-structure library that manipulate doubly-linked lists and trees were successfully verified by our tool.","lang":"eng"}],"file":[{"date_updated":"2020-07-14T12:46:29Z","file_size":312147,"checksum":"7d26e59a9681487d7283eba337292b2c","creator":"system","content_type":"application/pdf","relation":"main_file","file_name":"IST-2012-41-v1+1_Shape_refinement_through_explicit_heap_analysis.pdf","file_id":"5332","date_created":"2018-12-12T10:18:13Z","access_level":"open_access"}],"conference":{"location":"Paphos, Cyprus","start_date":"2010-03-20","end_date":"2010-03-28","name":"FASE: Fundamental Approaches To Software Engineering"},"citation":{"ama":"Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:<a href=\"https://doi.org/10.1007/978-3-642-12029-9_19\">10.1007/978-3-642-12029-9_19</a>","mla":"Beyer, Dirk, et al. <i>Shape Refinement through Explicit Heap Analysis</i>. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:<a href=\"https://doi.org/10.1007/978-3-642-12029-9_19\">10.1007/978-3-642-12029-9_19</a>.","ieee":"D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.","ista":"Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.","chicago":"Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12029-9_19\">https://doi.org/10.1007/978-3-642-12029-9_19</a>.","short":"D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.","apa":"Beyer, D., Henzinger, T. A., Théoduloz, G., &#38; Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum &#38; G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. <a href=\"https://doi.org/10.1007/978-3-642-12029-9_19\">https://doi.org/10.1007/978-3-642-12029-9_19</a>"},"doi":"10.1007/978-3-642-12029-9_19","quality_controlled":"1","has_accepted_license":"1","intvolume":"      6013","year":"2010","language":[{"iso":"eng"}]},{"page":"1 - 12","alternative_title":["LIPIcs"],"file":[{"file_size":492344,"checksum":"5845be5aa19791830f7407d8853f2df0","creator":"system","date_updated":"2020-07-14T12:46:35Z","file_id":"4690","date_created":"2018-12-12T10:08:29Z","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2018-948-v1+1_2011_Cerny_Expressiveness_of.pdf","relation":"main_file"}],"abstract":[{"lang":"eng","text":"Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and uses a finite set of variables that range over strings from the output alphabet. At every step, the transducer processes an input symbol, and updates all the variables in parallel using assignments whose right-hand-sides are concatenations of output symbols and variables with the restriction that a variable can be used at most once in a right-hand-side expression. It has been shown that streaming string transducers operating on strings over infinite data domains are of interest in algorithmic verification of list-processing programs, as they lead to PSPACE decision procedures for checking pre/post conditions and for checking semantic equivalence, for a well-defined class of heap-manipulating programs. In order to understand the theoretical expressiveness of streaming transducers, we focus on streaming transducers processing strings over finite alphabets, given the existence of a robust and well-studied class of &quot;regular&quot; transductions for this case. Such regular transductions can be defined either by two-way deterministic finite-state transducers, or using a logical MSO-based characterization. Our main result is that the expressiveness of streaming string transducers coincides exactly with this class of regular transductions. "}],"oa":1,"ddc":["005"],"conference":{"end_date":"2010-12-18","start_date":"2010-12-15","location":"Chennai, India","name":"FSTTCS: Foundations of Software Technology and Theoretical Computer Science"},"quality_controlled":"1","citation":{"ieee":"R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.","ista":"Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.","mla":"Alur, Rajeev, and Pavol Cerny. <i>Expressiveness of Streaming String Transducers</i>. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1\">10.4230/LIPIcs.FSTTCS.2010.1</a>.","apa":"Alur, R., &#38; Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1\">https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1</a>","chicago":"Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1\">https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1</a>.","short":"R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.","ama":"Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1\">10.4230/LIPIcs.FSTTCS.2010.1</a>"},"doi":"10.4230/LIPIcs.FSTTCS.2010.1","intvolume":"         8","has_accepted_license":"1","language":[{"iso":"eng"}],"year":"2010","scopus_import":1,"publist_id":"7331","date_updated":"2021-01-12T08:01:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_published":"2010-01-01T00:00:00Z","month":"01","department":[{"_id":"ToHe"}],"author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol","full_name":"Cerny, Pavol"}],"file_date_updated":"2020-07-14T12:46:35Z","type":"conference","_id":"488","oa_version":"Published Version","date_created":"2018-12-11T11:46:45Z","pubrep_id":"948","status":"public","volume":8,"tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"title":"Expressiveness of streaming string transducers","day":"01"},{"oa":1,"abstract":[{"text":"Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system depends on the decisions of both players, supplemented by chance. In this work, we focus on the notion of randomised strategy. More specifically, we show that three natural definitions may lead to very different results: in the most general cases, an almost-surely winning situation may become almost-surely losing if the player is only allowed to use a weaker notion of strategy. In more reasonable settings, translations exist, but they require infinite memory, even in simple cases. Finally, some traditional problems becomes undecidable for the strongest type of strategies.","lang":"eng"}],"page":"30 - 39","alternative_title":["EPTCS"],"intvolume":"        25","language":[{"iso":"eng"}],"year":"2010","conference":{"name":"GandALF: Games, Automata, Logic, and Formal Verification","location":"Minori, Amalfi Coast, Italy","end_date":"2010-06-18","start_date":"2010-06-17"},"citation":{"ama":"Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: <i>Proceedings of GandALF 2010</i>. Vol 25. Open Publishing Association; 2010:30-39. doi:<a href=\"https://doi.org/10.4204/EPTCS.25.7\">10.4204/EPTCS.25.7</a>","mla":"Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .” <i>Proceedings of GandALF 2010</i>, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:<a href=\"https://doi.org/10.4204/EPTCS.25.7\">10.4204/EPTCS.25.7</a>.","ieee":"J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in <i>Proceedings of GandALF 2010</i>, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.","ista":"Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.","short":"J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.","chicago":"Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In <i>Proceedings of GandALF 2010</i>, 25:30–39. Open Publishing Association, 2010. <a href=\"https://doi.org/10.4204/EPTCS.25.7\">https://doi.org/10.4204/EPTCS.25.7</a>.","apa":"Cristau, J., David, C., &#38; Horn, F. (2010). How do we remember the past in randomised strategies? . In <i>Proceedings of GandALF 2010</i> (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. <a href=\"https://doi.org/10.4204/EPTCS.25.7\">https://doi.org/10.4204/EPTCS.25.7</a>"},"doi":"10.4204/EPTCS.25.7","quality_controlled":"1","publisher":"Open Publishing Association","date_updated":"2021-01-12T08:01:01Z","publist_id":"7332","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","month":"06","date_published":"2010-06-09T00:00:00Z","scopus_import":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1006.1404v1"}],"status":"public","volume":25,"title":"How do we remember the past in randomised strategies? ","day":"09","department":[{"_id":"KrCh"}],"author":[{"first_name":"Julien","last_name":"Cristau","full_name":"Cristau, Julien"},{"last_name":"David","first_name":"Claire","full_name":"David, Claire"},{"full_name":"Horn, Florian","last_name":"Horn","first_name":"Florian","id":"37327ACE-F248-11E8-B48F-1D18A9856A87"}],"_id":"489","type":"conference","publication":"Proceedings of GandALF 2010","date_created":"2018-12-11T11:46:45Z","oa_version":"Published Version"},{"main_file_link":[{"open_access":"1","url":"http://e-collection.library.ethz.ch/view/eth:5079"}],"publist_id":"4938","date_updated":"2021-01-12T06:55:16Z","publisher":"ACM","publication_status":"published","date_published":"2010-01-01T00:00:00Z","month":"01","abstract":[{"lang":"eng","text":"This paper describes a passive stereo system for capturing the 3D geometry of a face in a single-shot under standard light sources. The system is low-cost and easy to deploy. Results are submillimeter accurate and commensurate with those from state-ofthe-art systems based on active lighting, and the models meet the quality requirements of a demanding domain like the movie industry. Recovered models are shown for captures from both high-end cameras in a studio setting and from a consumer binocular-stereo camera, demonstrating scalability across a spectrum of camera deployments, and showing the potential for 3D face modeling to move beyond the professional arena and into the emerging consumer market in stereoscopic photography. Our primary technical contribution is a modification of standard stereo refinement methods to capture pore-scale geometry, using a qualitative approach that produces visually realistic results. The second technical contribution is a calibration method suited to face capture systems. The systemic contribution includes multiple demonstrations of system robustness and quality. These include capture in a studio setup, capture off a consumer binocular-stereo camera, scanning of faces of varying gender and ethnicity and age, capture of highly-transient facial expression, and scanning a physical mask to provide ground-truth validation."}],"oa":1,"author":[{"full_name":"Beeler, Thabo","first_name":"Thabo","last_name":"Beeler"},{"last_name":"Bickel","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","full_name":"Bernd Bickel","orcid":"0000-0001-6511-9385"},{"first_name":"Paul","last_name":"Beardsley","full_name":"Beardsley, Paul A"},{"full_name":"Sumner, Bob","first_name":"Bob","last_name":"Sumner"},{"first_name":"Markus","last_name":"Groß","full_name":"Groß, Markus S"}],"extern":1,"publication":"ACM Transactions on Graphics","_id":"2095","issue":"4","type":"journal_article","quality_controlled":0,"date_created":"2018-12-11T11:55:41Z","doi":"10.1145/1778765.1778777","citation":{"ama":"Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot capture of facial geometry. <i>ACM Transactions on Graphics</i>. 2010;29(4). doi:<a href=\"https://doi.org/10.1145/1778765.1778777\">10.1145/1778765.1778777</a>","ieee":"T. Beeler, B. Bickel, P. Beardsley, B. Sumner, and M. Groß, “High-quality single-shot capture of facial geometry,” <i>ACM Transactions on Graphics</i>, vol. 29, no. 4. ACM, 2010.","ista":"Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. 2010. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 29(4).","mla":"Beeler, Thabo, et al. “High-Quality Single-Shot Capture of Facial Geometry.” <i>ACM Transactions on Graphics</i>, vol. 29, no. 4, ACM, 2010, doi:<a href=\"https://doi.org/10.1145/1778765.1778777\">10.1145/1778765.1778777</a>.","apa":"Beeler, T., Bickel, B., Beardsley, P., Sumner, B., &#38; Groß, M. (2010). High-quality single-shot capture of facial geometry. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/1778765.1778777\">https://doi.org/10.1145/1778765.1778777</a>","short":"T. Beeler, B. Bickel, P. Beardsley, B. Sumner, M. Groß, ACM Transactions on Graphics 29 (2010).","chicago":"Beeler, Thabo, Bernd Bickel, Paul Beardsley, Bob Sumner, and Markus Groß. “High-Quality Single-Shot Capture of Facial Geometry.” <i>ACM Transactions on Graphics</i>. ACM, 2010. <a href=\"https://doi.org/10.1145/1778765.1778777\">https://doi.org/10.1145/1778765.1778777</a>."},"intvolume":"        29","status":"public","volume":29,"title":"High-quality single-shot capture of facial geometry","year":"2010","day":"01"},{"date_updated":"2021-01-12T06:55:27Z","publist_id":"4912","publisher":"Academic Press","publication_status":"published","date_published":"2010-03-15T00:00:00Z","month":"03","abstract":[{"text":"We develop a theory of Malliavin calculus for Banach space-valued random variables. Using radonifying operators instead of symmetric tensor products we extend the Wiener-Itô isometry to Banach spaces. In the white noise case we obtain two sided Lp-estimates for multiple stochastic integrals in arbitrary Banach spaces. It is shown that the Malliavin derivative is bounded on vector-valued Wiener-Itô chaoses. Our main tools are decoupling inequalities for vector-valued random variables. In the opposite direction we use Meyer's inequalities to give a new proof of a decoupling result for Gaussian chaoses in UMD Banach spaces.","lang":"eng"}],"oa":1,"page":"383 - 398","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0801.2899"}],"status":"public","intvolume":"       363","title":"Malliavin calculus and decoupling inequalities in Banach spaces","volume":363,"year":"2010","day":"15","acknowledgement":"The author acknowledges support by the ‘VIDI subsidie’ 639.032.201 of the Netherlands Organisation for Scientific Research (NWO) and the ARC Discovery Grant DP0558539.","author":[{"last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","orcid":"0000-0002-0845-1338","full_name":"Jan Maas"}],"publication":"Journal of Mathematical Analysis and Applications","extern":1,"type":"journal_article","_id":"2124","issue":"2","date_created":"2018-12-11T11:55:51Z","quality_controlled":0,"doi":"10.1016/j.jmaa.2009.08.041","citation":{"ama":"Maas J. Malliavin calculus and decoupling inequalities in Banach spaces. <i>Journal of Mathematical Analysis and Applications</i>. 2010;363(2):383-398. doi:<a href=\"https://doi.org/10.1016/j.jmaa.2009.08.041\">10.1016/j.jmaa.2009.08.041</a>","mla":"Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” <i>Journal of Mathematical Analysis and Applications</i>, vol. 363, no. 2, Academic Press, 2010, pp. 383–98, doi:<a href=\"https://doi.org/10.1016/j.jmaa.2009.08.041\">10.1016/j.jmaa.2009.08.041</a>.","ista":"Maas J. 2010. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 363(2), 383–398.","ieee":"J. Maas, “Malliavin calculus and decoupling inequalities in Banach spaces,” <i>Journal of Mathematical Analysis and Applications</i>, vol. 363, no. 2. Academic Press, pp. 383–398, 2010.","short":"J. Maas, Journal of Mathematical Analysis and Applications 363 (2010) 383–398.","chicago":"Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” <i>Journal of Mathematical Analysis and Applications</i>. Academic Press, 2010. <a href=\"https://doi.org/10.1016/j.jmaa.2009.08.041\">https://doi.org/10.1016/j.jmaa.2009.08.041</a>.","apa":"Maas, J. (2010). Malliavin calculus and decoupling inequalities in Banach spaces. <i>Journal of Mathematical Analysis and Applications</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jmaa.2009.08.041\">https://doi.org/10.1016/j.jmaa.2009.08.041</a>"}},{"publisher":"Royal Society of Chemistry","date_updated":"2021-01-12T06:55:54Z","publist_id":"4780","publication_status":"published","month":"02","date_published":"2010-02-07T00:00:00Z","oa":1,"abstract":[{"text":"We develop an analytic model of vector correlations in rotationally inelastic atom-diatom collisions and test it against the much examined Ar-NO (X2Π) system. Based on the Fraunhofer scattering of matter waves, the model furnishes complex scattering amplitudes needed to evaluate the polarization moments characterizing the quantum stereodynamics. The analytic polarization moments are found to be in an excellent agreement with experimental results and with close-coupling calculations available at thermal energies. The model reveals that the stereodynamics is governed by diffraction from the repulsive core of the Ar-NO potential, which can be characterized by a single Legendre moment.","lang":"eng"}],"page":"1038 - 1041","main_file_link":[{"url":"http://arxiv.org/abs/0910.0952","open_access":"1"}],"intvolume":"        12","status":"public","volume":12,"title":"An analytic model of the stereodynamics of rotationally inelastic molecular collisions","year":"2010","day":"07","author":[{"last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802","full_name":"Mikhail Lemeshko"},{"last_name":"Friedrich","first_name":"Břetislav","full_name":"Friedrich, Břetislav"}],"_id":"2194","issue":"5","type":"journal_article","extern":1,"publication":"Physical Chemistry Chemical Physics","citation":{"mla":"Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” <i>Physical Chemistry Chemical Physics</i>, vol. 12, no. 5, Royal Society of Chemistry, 2010, pp. 1038–41, doi:<a href=\"https://doi.org/10.1039/B920899B \">10.1039/B920899B </a>.","ista":"Lemeshko M, Friedrich B. 2010. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 12(5), 1038–1041.","ieee":"M. Lemeshko and B. Friedrich, “An analytic model of the stereodynamics of rotationally inelastic molecular collisions,” <i>Physical Chemistry Chemical Physics</i>, vol. 12, no. 5. Royal Society of Chemistry, pp. 1038–1041, 2010.","chicago":"Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” <i>Physical Chemistry Chemical Physics</i>. Royal Society of Chemistry, 2010. <a href=\"https://doi.org/10.1039/B920899B \">https://doi.org/10.1039/B920899B </a>.","short":"M. Lemeshko, B. Friedrich, Physical Chemistry Chemical Physics 12 (2010) 1038–1041.","apa":"Lemeshko, M., &#38; Friedrich, B. (2010). An analytic model of the stereodynamics of rotationally inelastic molecular collisions. <i>Physical Chemistry Chemical Physics</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/B920899B \">https://doi.org/10.1039/B920899B </a>","ama":"Lemeshko M, Friedrich B. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. <i>Physical Chemistry Chemical Physics</i>. 2010;12(5):1038-1041. doi:<a href=\"https://doi.org/10.1039/B920899B \">10.1039/B920899B </a>"},"doi":"10.1039/B920899B ","date_created":"2018-12-11T11:56:15Z","quality_controlled":0},{"publication_status":"published","publist_id":"4779","date_updated":"2021-01-12T06:55:54Z","publisher":"American Institute of Physics","abstract":[{"lang":"eng","text":"Following upon our recent work on vector correlations in the Ar-NO collisions [Lemeshko and Friedrich, Phys. Chem. Chem. Phys. 12, 1038 (2010)], we compare model results with close-coupling calculations for a range of channels and collision energies for the He-NO system. The striking agreement between the model and exact polarization moments indicates that the stereodynamics of rotationally inelastic atom-molecule collisions at thermal energies is governed by diffraction of matter waves from a two-dimensional repulsive core of the atom-molecule potential. Furthermore, the model polarization moments characterizing the He-NO, He- O2, He-OH, and He-CaH stereodynamics are found to coalesce into a single, distinctive pattern, which can serve as a &quot;fingerprint&quot; to identify diffraction-driven stereodynamics in future work. "}],"oa":1,"month":"04","date_published":"2010-04-28T00:00:00Z","main_file_link":[{"url":"http://arxiv.org/abs/1002.1572","open_access":"1"}],"title":"Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions","volume":132,"intvolume":"       132","status":"public","year":"2010","day":"28","author":[{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","last_name":"Lemeshko","orcid":"0000-0002-6990-7802","full_name":"Mikhail Lemeshko"},{"last_name":"Jambrina","first_name":"Pablo","full_name":"Jambrina, Pablo G"},{"full_name":"De Miranda, Marcelo P","last_name":"De Miranda","first_name":"Marcelo"},{"full_name":"Friedrich, Břetislav","last_name":"Friedrich","first_name":"Břetislav"}],"acknowledgement":"Financial support of the Spanish Ministry of Science and Innovation (Grant No. CTQ2008-02578) is gratefully acknowledged.","quality_controlled":0,"date_created":"2018-12-11T11:56:16Z","doi":"10.1063/1.3386530","citation":{"apa":"Lemeshko, M., Jambrina, P., De Miranda, M., &#38; Friedrich, B. (2010). Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. <i>Journal of Chemical Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.3386530\">https://doi.org/10.1063/1.3386530</a>","short":"M. Lemeshko, P. Jambrina, M. De Miranda, B. Friedrich, Journal of Chemical Physics 132 (2010).","chicago":"Lemeshko, Mikhail, Pablo Jambrina, Marcelo De Miranda, and Břetislav Friedrich. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” <i>Journal of Chemical Physics</i>. American Institute of Physics, 2010. <a href=\"https://doi.org/10.1063/1.3386530\">https://doi.org/10.1063/1.3386530</a>.","ieee":"M. Lemeshko, P. Jambrina, M. De Miranda, and B. Friedrich, “Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions,” <i>Journal of Chemical Physics</i>, vol. 132, no. 16. American Institute of Physics, 2010.","ista":"Lemeshko M, Jambrina P, De Miranda M, Friedrich B. 2010. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 132(16).","mla":"Lemeshko, Mikhail, et al. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” <i>Journal of Chemical Physics</i>, vol. 132, no. 16, American Institute of Physics, 2010, doi:<a href=\"https://doi.org/10.1063/1.3386530\">10.1063/1.3386530</a>.","ama":"Lemeshko M, Jambrina P, De Miranda M, Friedrich B. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. <i>Journal of Chemical Physics</i>. 2010;132(16). doi:<a href=\"https://doi.org/10.1063/1.3386530\">10.1063/1.3386530</a>"},"extern":1,"publication":"Journal of Chemical Physics","issue":"16","_id":"2195","type":"journal_article"},{"page":"9848 - 9854","main_file_link":[{"url":"http://arxiv.org/abs/1004.1742","open_access":"1"}],"publication_status":"published","publist_id":"4777","date_updated":"2021-01-12T06:55:55Z","publisher":"American Chemical Society","abstract":[{"text":"We evaluate the shifts imparted to vibrational and rotational levels of a linear molecule by a nonresonant laser field at intensities of up to 10 12 W/cm2. Both types of shift are found to be either positive or negative, depending on the initial rotational state acted upon by the field. An adiabatic field-molecule interaction imparts a rotational energy shift which is negative and exceeds the concomitant positive vibrational shift by a few orders of magnitude. The rovibrational states are thus pushed downward in such a field. A nonresonant pulsed laser field that interacts nonadiabatically with the molecule is found to impart rotational and vibrational shifts of the same order of magnitude. The nonadiabatic energy transfer occurs most readily at a pulse duration which amounts to about a tenth of the molecule's rotational period and vanishes when the sudden regime is attained for shorter pulses. We applied our treatment to the much-studied 87Rb2 molecule in the last bound vibrational levels of its lowest singlet and triplet electronic states. Our calculations indicate that 15 and 1.5 ns laser pulses of an intensity in excess of 5 × 109 W/cm2 are capable of dissociating the molecule due to the vibrational shift. Lesser shifts can be used to fine-tune the rovibrational levels and thereby affect collisional resonances by the nonresonant light. The energy shifts due to laser intensities of 109 W/cm2 may be discernible spectroscopically, with a 10 MHz resolution.","lang":"eng"}],"oa":1,"date_published":"2010-09-16T00:00:00Z","month":"09","author":[{"last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802","full_name":"Mikhail Lemeshko"},{"full_name":"Friedrich, Břetislav","first_name":"Břetislav","last_name":"Friedrich"}],"quality_controlled":0,"date_created":"2018-12-11T11:56:16Z","doi":"10.1021/jp1032299","citation":{"apa":"Lemeshko, M., &#38; Friedrich, B. (2010). Fine-tuning molecular energy levels by nonresonant laser pulses. <i>Journal of Physical Chemistry A</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jp1032299\">https://doi.org/10.1021/jp1032299</a>","short":"M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 114 (2010) 9848–9854.","chicago":"Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” <i>Journal of Physical Chemistry A</i>. American Chemical Society, 2010. <a href=\"https://doi.org/10.1021/jp1032299\">https://doi.org/10.1021/jp1032299</a>.","ista":"Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.","ieee":"M. Lemeshko and B. Friedrich, “Fine-tuning molecular energy levels by nonresonant laser pulses,” <i>Journal of Physical Chemistry A</i>, vol. 114, no. 36. American Chemical Society, pp. 9848–9854, 2010.","mla":"Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” <i>Journal of Physical Chemistry A</i>, vol. 114, no. 36, American Chemical Society, 2010, pp. 9848–54, doi:<a href=\"https://doi.org/10.1021/jp1032299\">10.1021/jp1032299</a>.","ama":"Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant laser pulses. <i>Journal of Physical Chemistry A</i>. 2010;114(36):9848-9854. doi:<a href=\"https://doi.org/10.1021/jp1032299\">10.1021/jp1032299</a>"},"publication":"Journal of Physical Chemistry A","extern":1,"_id":"2196","type":"journal_article","issue":"36","title":"Fine-tuning molecular energy levels by nonresonant laser pulses","volume":114,"intvolume":"       114","status":"public","year":"2010","day":"16"},{"date_published":"2010-08-18T00:00:00Z","month":"08","oa":1,"abstract":[{"text":"We present an analytic model of the refractive index for matter waves propagating through atomic or molecular gases. The model, which combines the Wentzel-Kramers-Brillouin (WKB) treatment of the long-range attraction with the Fraunhofer model treatment of the short-range repulsion, furnishes a refractive index in compelling agreement with recent experiments of Jacquey [Phys. Rev. Lett.PRLTAO0031-900710.1103/PhysRevLett.98.240405 98, 240405 (2007)] on Li atom matter waves passing through dilute noble gases. We show that the diffractive contribution, which arises from scattering by a two-dimensional &quot;hard core&quot; of the potential, is essential for obtaining a correct imaginary part of the refractive index.","lang":"eng"}],"publisher":"American Physical Society","date_updated":"2021-01-12T06:55:55Z","publist_id":"4778","publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1003.0854","open_access":"1"}],"day":"18","year":"2010","status":"public","intvolume":"        82","volume":82,"title":"Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases","_id":"2197","issue":"2","type":"journal_article","extern":1,"publication":"Physical Review A - Atomic, Molecular, and Optical Physics","citation":{"ama":"Lemeshko M, Friedrich B. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2010;82(2). doi:<a href=\"https://doi.org/10.1103/PhysRevA.82.022711\">10.1103/PhysRevA.82.022711</a>","apa":"Lemeshko, M., &#38; Friedrich, B. (2010). Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.82.022711\">https://doi.org/10.1103/PhysRevA.82.022711</a>","chicago":"Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2010. <a href=\"https://doi.org/10.1103/PhysRevA.82.022711\">https://doi.org/10.1103/PhysRevA.82.022711</a>.","short":"M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 82 (2010).","ista":"Lemeshko M, Friedrich B. 2010. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 82(2).","ieee":"M. Lemeshko and B. Friedrich, “Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 82, no. 2. American Physical Society, 2010.","mla":"Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 82, no. 2, American Physical Society, 2010, doi:<a href=\"https://doi.org/10.1103/PhysRevA.82.022711\">10.1103/PhysRevA.82.022711</a>."},"doi":"10.1103/PhysRevA.82.022711","date_created":"2018-12-11T11:56:16Z","quality_controlled":0,"author":[{"first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","full_name":"Mikhail Lemeshko","orcid":"0000-0002-6990-7802"},{"first_name":"Břetislav","last_name":"Friedrich","full_name":"Friedrich, Břetislav"}]},{"extern":"1","citation":{"chicago":"De La Bretèche, Régis, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter, 2010. <a href=\"https://doi.org/10.1515/CRELLE.2010.064\">https://doi.org/10.1515/CRELLE.2010.064</a>.","short":"R. De La Bretèche, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2010) 1–44.","apa":"De La Bretèche, R., &#38; Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter. <a href=\"https://doi.org/10.1515/CRELLE.2010.064\">https://doi.org/10.1515/CRELLE.2010.064</a>","mla":"De La Bretèche, Régis, and Timothy D. Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>, no. 646, Walter de Gruyter, 2010, pp. 1–44, doi:<a href=\"https://doi.org/10.1515/CRELLE.2010.064\">10.1515/CRELLE.2010.064</a>.","ista":"De La Bretèche R, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. (646), 1–44.","ieee":"R. De La Bretèche and T. D. Browning, “Le problème des diviseurs pour des formes binaires de degré 4,” <i>Journal fur die Reine und Angewandte Mathematik</i>, no. 646. Walter de Gruyter, pp. 1–44, 2010.","ama":"De La Bretèche R, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2010;(646):1-44. doi:<a href=\"https://doi.org/10.1515/CRELLE.2010.064\">10.1515/CRELLE.2010.064</a>"},"doi":"10.1515/CRELLE.2010.064","quality_controlled":"1","arxiv":1,"language":[{"iso":"eng"}],"year":"2010","external_id":{"arxiv":["0808.2340"]},"page":"1 - 44","oa":1,"abstract":[{"lang":"eng","text":"We study the average order of the divisor function, as it ranges over the values of binary quartic forms that are reducible over ℚ."}],"author":[{"last_name":"De La Bretèche","first_name":"Régis","full_name":"De La Bretèche, Régis"},{"last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D"}],"type":"journal_article","issue":"646","article_processing_charge":"No","_id":"232","publication":"Journal fur die Reine und Angewandte Mathematik","oa_version":"Preprint","date_created":"2018-12-11T11:45:20Z","status":"public","title":"Le problème des diviseurs pour des formes binaires de degré 4","day":"17","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/0808.2340"}],"publisher":"Walter de Gruyter","publist_id":"7672","date_updated":"2021-01-12T06:56:45Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","month":"09","date_published":"2010-09-17T00:00:00Z","article_type":"original"},{"oa":1,"date_published":"2010-03-31T00:00:00Z","month":"03","publication_status":"published","date_updated":"2021-01-12T06:56:46Z","publist_id":"4605","publisher":"World Scientific Publishing","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0909.5449"}],"page":"523 - 535","day":"31","year":"2010","title":" Equivalence of Sobolev inequalities and Lieb-Thirring inequalities","status":"public","date_created":"2018-12-11T11:56:59Z","quality_controlled":0,"citation":{"ama":"Frank R, Lieb É, Seiringer R.  Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. In: World Scientific Publishing; 2010:523-535. doi:<a href=\"https://doi.org/10.1142/9789814304634_0045 \">10.1142/9789814304634_0045 </a>","chicago":"Frank, Rupert, Élliott Lieb, and Robert Seiringer. “ Equivalence of Sobolev Inequalities and Lieb-Thirring Inequalities,” 523–35. World Scientific Publishing, 2010. <a href=\"https://doi.org/10.1142/9789814304634_0045 \">https://doi.org/10.1142/9789814304634_0045 </a>.","short":"R. Frank, É. Lieb, R. Seiringer, in:, World Scientific Publishing, 2010, pp. 523–535.","apa":"Frank, R., Lieb, É., &#38; Seiringer, R. (2010).  Equivalence of Sobolev inequalities and Lieb-Thirring inequalities (pp. 523–535). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789814304634_0045 \">https://doi.org/10.1142/9789814304634_0045 </a>","mla":"Frank, Rupert, et al. <i> Equivalence of Sobolev Inequalities and Lieb-Thirring Inequalities</i>. World Scientific Publishing, 2010, pp. 523–35, doi:<a href=\"https://doi.org/10.1142/9789814304634_0045 \">10.1142/9789814304634_0045 </a>.","ieee":"R. Frank, É. Lieb, and R. Seiringer, “ Equivalence of Sobolev inequalities and Lieb-Thirring inequalities,” presented at the ICMP: International Congress on Mathematical Physics, 2010, pp. 523–535.","ista":"Frank R, Lieb É, Seiringer R. 2010.  Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. ICMP: International Congress on Mathematical Physics, 523–535."},"doi":"10.1142/9789814304634_0045 ","extern":1,"_id":"2322","type":"conference","author":[{"full_name":"Frank, Rupert L","first_name":"Rupert","last_name":"Frank"},{"full_name":"Lieb, Élliott H","first_name":"Élliott","last_name":"Lieb"},{"full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer"}],"conference":{"name":"ICMP: International Congress on Mathematical Physics"}},{"publication_status":"published","publisher":"World Scientific Publishing","date_updated":"2021-01-12T06:56:46Z","publist_id":"4604","oa":1,"abstract":[{"text":"Since the first experimental realization of Bose-Einstein condensation in cold atomic gases in 1995 there has been a surge of activity in this field. Ingenious experiments have allowed us to probe matter close to zero temperature and reveal some of the fascinating effects quantum mechanics has bestowed on nature. It is a challenge for mathematical physicists to understand these various phenomena from first principles, that is, starting from the underlying many-body Schrödinger equation. Recent progress in this direction concerns mainly equilibrium properties of dilute, cold quantum gases. We shall explain some of the results in this article, and describe the mathematics involved in understanding these phenomena. Topics include the ground state energy and the free energy at positive temperature, the effect of interparticle interaction on the critical temperature for Bose-Einstein condensation, as well as the occurrence of superfluidity and quantized vortices in rapidly rotating gases.","lang":"eng"}],"month":"03","date_published":"2010-03-31T00:00:00Z","page":"231 - 245","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0908.3686"}],"title":"Hot topics on cold gases","status":"public","year":"2010","day":"31","author":[{"orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer"}],"conference":{"name":"ICMP: International Congress on Mathematical Physics"},"citation":{"ama":"Seiringer R. Hot topics on cold gases. In: World Scientific Publishing; 2010:231-245. doi:<a href=\"https://doi.org/10.1142/9789814304634_0013\">10.1142/9789814304634_0013</a>","short":"R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.","chicago":"Seiringer, Robert. “Hot Topics on Cold Gases,” 231–45. World Scientific Publishing, 2010. <a href=\"https://doi.org/10.1142/9789814304634_0013\">https://doi.org/10.1142/9789814304634_0013</a>.","apa":"Seiringer, R. (2010). Hot topics on cold gases (pp. 231–245). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789814304634_0013\">https://doi.org/10.1142/9789814304634_0013</a>","mla":"Seiringer, Robert. <i>Hot Topics on Cold Gases</i>. World Scientific Publishing, 2010, pp. 231–45, doi:<a href=\"https://doi.org/10.1142/9789814304634_0013\">10.1142/9789814304634_0013</a>.","ista":"Seiringer R. 2010. Hot topics on cold gases. ICMP: International Congress on Mathematical Physics, 231–245.","ieee":"R. Seiringer, “Hot topics on cold gases,” presented at the ICMP: International Congress on Mathematical Physics, 2010, pp. 231–245."},"doi":"10.1142/9789814304634_0013","date_created":"2018-12-11T11:56:59Z","quality_controlled":0,"_id":"2323","type":"conference","extern":1},{"author":[{"last_name":"Frank","first_name":"Rupert","full_name":"Frank, Rupert L"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521"}],"type":"book_chapter","_id":"2324","publication":"Around the Research of Vladimir Maz'ya I","extern":1,"doi":"10.1007/978-1-4419-1341-8_6","citation":{"apa":"Frank, R., &#38; Seiringer, R. (2010). Sharp fractional Hardy inequalities in half-spaces. In <i>Around the Research of Vladimir Maz’ya I</i> (Vol. 11, pp. 161–167). Springer. <a href=\"https://doi.org/10.1007/978-1-4419-1341-8_6\">https://doi.org/10.1007/978-1-4419-1341-8_6</a>","chicago":"Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in Half-Spaces.” In <i>Around the Research of Vladimir Maz’ya I</i>, 11:161–67. Springer, 2010. <a href=\"https://doi.org/10.1007/978-1-4419-1341-8_6\">https://doi.org/10.1007/978-1-4419-1341-8_6</a>.","short":"R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer, 2010, pp. 161–167.","ieee":"R. Frank and R. Seiringer, “Sharp fractional Hardy inequalities in half-spaces,” in <i>Around the Research of Vladimir Maz’ya I</i>, vol. 11, Springer, 2010, pp. 161–167.","ista":"Frank R, Seiringer R. 2010.Sharp fractional Hardy inequalities in half-spaces. In: Around the Research of Vladimir Maz’ya I. International Mathematical Series, vol. 11, 161–167.","mla":"Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in Half-Spaces.” <i>Around the Research of Vladimir Maz’ya I</i>, vol. 11, Springer, 2010, pp. 161–67, doi:<a href=\"https://doi.org/10.1007/978-1-4419-1341-8_6\">10.1007/978-1-4419-1341-8_6</a>.","ama":"Frank R, Seiringer R. Sharp fractional Hardy inequalities in half-spaces. In: <i>Around the Research of Vladimir Maz’ya I</i>. Vol 11. Springer; 2010:161-167. doi:<a href=\"https://doi.org/10.1007/978-1-4419-1341-8_6\">10.1007/978-1-4419-1341-8_6</a>"},"quality_controlled":0,"date_created":"2018-12-11T11:56:59Z","intvolume":"        11","status":"public","title":"Sharp fractional Hardy inequalities in half-spaces","volume":11,"year":"2010","day":"01","page":"161 - 167","alternative_title":["International Mathematical Series"],"main_file_link":[{"url":"http://arxiv.org/abs/0906.1561","open_access":"1"}],"publisher":"Springer","publist_id":"4603","date_updated":"2021-01-12T06:56:46Z","publication_status":"published","month":"01","date_published":"2010-01-01T00:00:00Z","oa":1,"abstract":[{"text":"We determine the sharp constant in the Hardy inequality for fractional Sobolev spaces on half-spaces. Our proof relies on a nonlinear and nonlocal version of the ground state representation.","lang":"eng"}]},{"publist_id":"4537","date_updated":"2021-01-12T06:57:11Z","publisher":"Wiley-Blackwell","publication_status":"published","date_published":"2010-03-01T00:00:00Z","month":"03","abstract":[{"lang":"eng","text":"We study the eigenvalues of Schrödinger type operators T + λV and their asymptotic behavior in the small coupling limit λ → 0, in the case where the symbol of the kinetic energy, T (p), strongly degenerates on a non-trivial manifold of codimension one."}],"oa":1,"page":"489 - 499","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0808.3737"}],"intvolume":"       283","status":"public","volume":283,"title":"Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy","day":"01","year":"2010","author":[{"first_name":"Christian","last_name":"Hainzl","full_name":"Hainzl, Christian"},{"orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"extern":1,"publication":"Mathematische Nachrichten","issue":"3","_id":"2389","type":"journal_article","date_created":"2018-12-11T11:57:23Z","quality_controlled":0,"doi":"10.1002/mana.200810195","citation":{"chicago":"Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” <i>Mathematische Nachrichten</i>. Wiley-Blackwell, 2010. <a href=\"https://doi.org/10.1002/mana.200810195\">https://doi.org/10.1002/mana.200810195</a>.","short":"C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.","apa":"Hainzl, C., &#38; Seiringer, R. (2010). Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. <i>Mathematische Nachrichten</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/mana.200810195\">https://doi.org/10.1002/mana.200810195</a>","mla":"Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” <i>Mathematische Nachrichten</i>, vol. 283, no. 3, Wiley-Blackwell, 2010, pp. 489–99, doi:<a href=\"https://doi.org/10.1002/mana.200810195\">10.1002/mana.200810195</a>.","ista":"Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.","ieee":"C. Hainzl and R. Seiringer, “Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy,” <i>Mathematische Nachrichten</i>, vol. 283, no. 3. Wiley-Blackwell, pp. 489–499, 2010.","ama":"Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. <i>Mathematische Nachrichten</i>. 2010;283(3):489-499. doi:<a href=\"https://doi.org/10.1002/mana.200810195\">10.1002/mana.200810195</a>"}},{"day":"01","year":"2010","status":"public","intvolume":"       104","title":"Bipolaron and N-polaron binding energies","volume":104,"extern":1,"publication":"Physical Review Letters","_id":"2392","issue":"21","type":"journal_article","quality_controlled":0,"date_created":"2018-12-11T11:57:24Z","doi":"10.1103/PhysRevLett.104.210402","citation":{"ama":"Frank R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies. <i>Physical Review Letters</i>. 2010;104(21). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.104.210402\">10.1103/PhysRevLett.104.210402</a>","ista":"Frank R, Lieb É, Seiringer R, Thomas L. 2010. Bipolaron and N-polaron binding energies. Physical Review Letters. 104(21).","ieee":"R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Bipolaron and N-polaron binding energies,” <i>Physical Review Letters</i>, vol. 104, no. 21. American Physical Society, 2010.","mla":"Frank, Rupert, et al. “Bipolaron and N-Polaron Binding Energies.” <i>Physical Review Letters</i>, vol. 104, no. 21, American Physical Society, 2010, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.104.210402\">10.1103/PhysRevLett.104.210402</a>.","apa":"Frank, R., Lieb, É., Seiringer, R., &#38; Thomas, L. (2010). Bipolaron and N-polaron binding energies. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.104.210402\">https://doi.org/10.1103/PhysRevLett.104.210402</a>","short":"R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).","chicago":"Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron and N-Polaron Binding Energies.” <i>Physical Review Letters</i>. American Physical Society, 2010. <a href=\"https://doi.org/10.1103/PhysRevLett.104.210402\">https://doi.org/10.1103/PhysRevLett.104.210402</a>."},"author":[{"last_name":"Frank","first_name":"Rupert","full_name":"Frank, Rupert L"},{"full_name":"Lieb, Élliott H","first_name":"Élliott","last_name":"Lieb"},{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521"},{"full_name":"Thomas, Lawrence E","first_name":"Lawrence","last_name":"Thomas"}],"date_published":"2010-01-01T00:00:00Z","month":"01","abstract":[{"text":"The binding of polarons, or its absence, is an old and subtle topic. Here we prove two things rigorously. First, the transition from many-body collapse to the existence of a thermodynamic limit for N polarons occurs precisely at U=2α, where U is the electronic Coulomb repulsion and α is the polaron coupling constant. Second, if U is large enough, there is no multipolaron binding of any kind. Considering the known fact that there is binding for some U&gt;2α, these conclusions are not obvious and their proof has been an open problem for some time.","lang":"eng"}],"oa":1,"date_updated":"2021-01-12T06:57:12Z","publist_id":"4536","publisher":"American Physical Society","publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1004.1196","open_access":"1"}]},{"abstract":[{"text":"Background: The availability of many gene alignments with overlapping taxon sets raises the question of which strategy is the best to infer species phylogenies from multiple gene information. Methods and programs abound that use the gene alignment in different ways to reconstruct the species tree. In particular, different methods combine the original data at different points along the way from the underlying sequences to the final tree. Accordingly, they are classified into superalignment, supertree and medium-level approaches. Here, we present a simulation study to compare different methods from each of these three approaches.\r\n\r\nResults: We observe that superalignment methods usually outperform the other approaches over a wide range of parameters including sparse data and gene-specific evolutionary parameters. In the presence of high incongruency among gene trees, however, other combination methods show better performance than the superalignment approach. Surprisingly, some supertree and medium-level methods exhibit, on average, worse results than a single gene phylogeny with complete taxon information.\r\n\r\nConclusions: For some methods, using the reconstructed gene tree as an estimation of the species tree is superior to the combination of incomplete information. Superalignment usually performs best since it is less susceptible to stochastic error. Supertree methods can outperform superalignment in the presence of gene-tree conflict.","lang":"eng"}],"oa":1,"ddc":["576"],"file":[{"relation":"main_file","file_name":"IST-2018-939-v1+1_2010_Kupczok_Accuracy_of.pdf","content_type":"application/pdf","access_level":"open_access","date_created":"2018-12-12T10:09:16Z","file_id":"4739","date_updated":"2020-07-14T12:45:40Z","creator":"system","file_size":723929,"checksum":"e2497285388bc4da629bafb46662eb43"}],"has_accepted_license":"1","intvolume":"         5","year":"2010","language":[{"iso":"eng"}],"acknowledgement":"Financial support from the Wiener Wissenschafts-, Forschungs- and Technologiefonds (WWTF) is greatly appreciated. A.v.H. acknowledges support from the German Research Foundation (DFG, SPP-1174).","quality_controlled":"1","doi":"10.1186/1748-7188-5-37","citation":{"mla":"Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” <i>Algorithms for Molecular Biology</i>, vol. 5, no. 1, 37, BioMed Central, 2010, doi:<a href=\"https://doi.org/10.1186/1748-7188-5-37\">10.1186/1748-7188-5-37</a>.","ieee":"A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction methods combining overlapping gene data sets ,” <i>Algorithms for Molecular Biology</i>, vol. 5, no. 1. BioMed Central, 2010.","ista":"Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.","short":"A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010).","chicago":"Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” <i>Algorithms for Molecular Biology</i>. BioMed Central, 2010. <a href=\"https://doi.org/10.1186/1748-7188-5-37\">https://doi.org/10.1186/1748-7188-5-37</a>.","apa":"Kupczok, A., Schmidt, H., &#38; Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . <i>Algorithms for Molecular Biology</i>. BioMed Central. <a href=\"https://doi.org/10.1186/1748-7188-5-37\">https://doi.org/10.1186/1748-7188-5-37</a>","ama":"Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . <i>Algorithms for Molecular Biology</i>. 2010;5(1). doi:<a href=\"https://doi.org/10.1186/1748-7188-5-37\">10.1186/1748-7188-5-37</a>"},"publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"4517","date_updated":"2021-01-12T06:57:18Z","publisher":"BioMed Central","date_published":"2010-12-06T00:00:00Z","month":"12","scopus_import":1,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets ","volume":5,"status":"public","article_number":"37","day":"06","author":[{"last_name":"Kupczok","id":"2BB22BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Anne","full_name":"Kupczok, Anne"},{"first_name":"Heiko","last_name":"Schmidt","full_name":"Schmidt, Heiko"},{"full_name":"Von Haeseler, Arndt","last_name":"Von Haeseler","first_name":"Arndt"}],"department":[{"_id":"JoBo"}],"pubrep_id":"939","date_created":"2018-12-11T11:57:30Z","oa_version":"Published Version","file_date_updated":"2020-07-14T12:45:40Z","publication":"Algorithms for Molecular Biology","type":"journal_article","_id":"2409","issue":"1"},{"day":"15","title":"Nitrate Contra Auxin: Nutrient Sensing by roots","volume":18,"status":"public","date_created":"2018-12-11T11:57:41Z","oa_version":"Published Version","issue":"6","type":"journal_article","_id":"2442","publication":"Developmental Cell","author":[{"full_name":"Beeckman, Tom","first_name":"Tom","last_name":"Beeckman"},{"orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí","last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2010-06-15T00:00:00Z","month":"06","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publisher":"Cell Press","publist_id":"4461","date_updated":"2021-01-12T06:57:31Z","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/20627068","open_access":"1"}],"year":"2010","language":[{"iso":"eng"}],"pmid":1,"intvolume":"        18","citation":{"mla":"Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” <i>Developmental Cell</i>, vol. 18, no. 6, Cell Press, 2010, pp. 877–78, doi:<a href=\"https://doi.org/10.1016/j.devcel.2010.05.020\">10.1016/j.devcel.2010.05.020</a>.","ista":"Beeckman T, Friml J. 2010. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 18(6), 877–878.","ieee":"T. Beeckman and J. Friml, “Nitrate Contra Auxin: Nutrient Sensing by roots,” <i>Developmental Cell</i>, vol. 18, no. 6. Cell Press, pp. 877–878, 2010.","short":"T. Beeckman, J. Friml, Developmental Cell 18 (2010) 877–878.","chicago":"Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” <i>Developmental Cell</i>. Cell Press, 2010. <a href=\"https://doi.org/10.1016/j.devcel.2010.05.020\">https://doi.org/10.1016/j.devcel.2010.05.020</a>.","apa":"Beeckman, T., &#38; Friml, J. (2010). Nitrate Contra Auxin: Nutrient Sensing by roots. <i>Developmental Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.devcel.2010.05.020\">https://doi.org/10.1016/j.devcel.2010.05.020</a>","ama":"Beeckman T, Friml J. Nitrate Contra Auxin: Nutrient Sensing by roots. <i>Developmental Cell</i>. 2010;18(6):877-878. doi:<a href=\"https://doi.org/10.1016/j.devcel.2010.05.020\">10.1016/j.devcel.2010.05.020</a>"},"doi":"10.1016/j.devcel.2010.05.020","quality_controlled":"1","extern":"1","oa":1,"abstract":[{"text":"In a new study published in this issue of Developmental Cell, Krouk et al. reveal a surprising mechanism by which plant root systems adapt their architecture for soil exploitation. The dual transporter NRT1.1 uses both nitrate and the plant hormone auxin as substrates, enabling soil nitrate availability to regulate auxin-driven lateral root development.","lang":"eng"}],"page":"877 - 878","external_id":{"pmid":["    20627068"]}},{"page":"436 - 479","main_file_link":[{"url":"http://arxiv.org/abs/0811.2591","open_access":"1"}],"publist_id":"4195","date_updated":"2021-01-12T06:59:09Z","publisher":"Oxford University Press","publication_status":"published","month":"01","date_published":"2010-01-01T00:00:00Z","abstract":[{"lang":"eng","text":"We consider N × N Hermitian random matrices with independent identically distributed entries (Wigner matrices). The matrices are normalized so that the average spacing between consecutive eigenvalues is of order 1/ N. Under suitable assumptions on the distribution of the single matrix element, we first prove that, away from the spectral edges, the empirical density of eigenvalues concentrates around the Wigner semicircle law on energy scales η ≫ N -1. This result establishes the semicircle law on the optimal scale and it removes a logarithmic factor from our previous result [6]. We then show a Wegner estimate, i.e., that the averaged density of states is bounded. Finally, we prove that the eigenvalues of a Wigner matrix repel each other, in agreement with the universality conjecture."}],"oa":1,"author":[{"orcid":"0000-0001-5366-9603","full_name":"László Erdös","last_name":"Erdös","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Schlein, Benjamin","first_name":"Benjamin","last_name":"Schlein"},{"last_name":"Yau","first_name":"Horng","full_name":"Yau, Horng-Tzer"}],"extern":1,"publication":"International Mathematics Research Notices","type":"journal_article","_id":"2701","issue":"3","date_created":"2018-12-11T11:59:09Z","quality_controlled":0,"doi":"10.1093/imrn/rnp136","citation":{"mla":"Erdös, László, et al. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” <i>International Mathematics Research Notices</i>, no. 3, Oxford University Press, 2010, pp. 436–79, doi:<a href=\"https://doi.org/10.1093/imrn/rnp136\">10.1093/imrn/rnp136</a>.","ista":"Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. (3), 436–479.","ieee":"L. Erdös, B. Schlein, and H. Yau, “Wegner estimate and level repulsion for Wigner random matrices,” <i>International Mathematics Research Notices</i>, no. 3. Oxford University Press, pp. 436–479, 2010.","chicago":"Erdös, László, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” <i>International Mathematics Research Notices</i>. Oxford University Press, 2010. <a href=\"https://doi.org/10.1093/imrn/rnp136\">https://doi.org/10.1093/imrn/rnp136</a>.","short":"L. Erdös, B. Schlein, H. Yau, International Mathematics Research Notices (2010) 436–479.","apa":"Erdös, L., Schlein, B., &#38; Yau, H. (2010). Wegner estimate and level repulsion for Wigner random matrices. <i>International Mathematics Research Notices</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/imrn/rnp136\">https://doi.org/10.1093/imrn/rnp136</a>","ama":"Erdös L, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random matrices. <i>International Mathematics Research Notices</i>. 2010;(3):436-479. doi:<a href=\"https://doi.org/10.1093/imrn/rnp136\">10.1093/imrn/rnp136</a>"},"status":"public","title":"Wegner estimate and level repulsion for Wigner random matrices","day":"01","year":"2010"}]