[{"file":[{"file_name":"IST-2012-38-v1+1_A_survey_of_stochastic_games_with_limsup_and_liminf_objectives.pdf","date_created":"2018-12-12T10:13:11Z","relation":"main_file","file_id":"4992","creator":"system","content_type":"application/pdf","access_level":"open_access","file_size":187419,"checksum":"dabb6d24428a000254c95493d9c492e6","date_updated":"2020-07-14T12:46:31Z"}],"alternative_title":["LNCS"],"oa_version":"Submitted Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","corr_author":"1","year":"2009","status":"public","ec_funded":1,"publisher":"Springer","month":"06","date_published":"2009-06-24T00:00:00Z","date_updated":"2024-10-09T20:53:54Z","publication_status":"published","conference":{"location":"Rhodos, Greece","end_date":"2009-07-12","name":"ICALP: Automata, Languages and Programming","start_date":"2009-07-05"},"department":[{"_id":"KrCh"}],"oa":1,"intvolume":"      5556","acknowledgement":"This research was supported in part by the Swiss National Science Foundation under the Indo-Swiss Joint Research Programme, by the European Network of Excellence on Embedded Systems Design (ArtistDesign), by the European projects COMBEST, Quasimodo, Gasics, by the PAI program Moves funded by the Belgian Federal Government, and by the CFV (Federated Center in Verification) funded by the F.R.S.-FNRS.","citation":{"chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.","ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>","ama":"Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>","mla":"Chatterjee, Krishnendu, et al. <i>A Survey of Stochastic Games with Limsup and Liminf Objectives</i>. Vol. 5556, Springer, 2009, pp. 1–15, doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15."},"ddc":["000","005"],"publist_id":"177","type":"conference","project":[{"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"215543","name":"COMponent-Based Embedded Systems design Techniques"}],"doi":"10.1007/978-3-642-02930-1_1","_id":"4545","page":"1 - 15","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","pubrep_id":"38","scopus_import":1,"abstract":[{"lang":"eng","text":"A stochastic game is a two-player game played oil a graph, where in each state the successor is chosen either by One of the players, or according to a probability distribution. We Survey Stochastic games with limsup and liminf objectives. A real-valued re-ward is assigned to each state, and the value of all infinite path is the limsup (resp. liminf) of all rewards along the path. The value of a stochastic game is the maximal expected value of an infinite path that call he achieved by resolving the decisions of the first player. We present the complexity of computing values of Stochastic games and their subclasses, and the complexity, of optimal strategies in such games. "}],"day":"24","date_created":"2018-12-11T12:09:24Z","file_date_updated":"2020-07-14T12:46:31Z","volume":5556,"title":"A survey of stochastic games with limsup and liminf objectives","language":[{"iso":"eng"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"oa_version":"Preprint","year":"2009","status":"public","month":"06","date_published":"2009-06-19T00:00:00Z","publication_status":"published","date_updated":"2024-10-21T06:03:07Z","ec_funded":1,"publisher":"Springer","oa":1,"department":[{"_id":"KrCh"}],"conference":{"start_date":"2009-06-26","name":"CAV: Computer Aided Verification","end_date":"2009-07-02","location":"Grenoble, France"},"type":"conference","publist_id":"141","arxiv":1,"intvolume":"      5643","acknowledgement":"This research was supported by the Swiss National Science Foundation (Indo-Swiss Research Program and NCCR MICS) and the European Union projects COMBEST and COCONUT.","citation":{"short":"R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.","chicago":"Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">https://doi.org/10.1007/978-3-642-02658-4_14</a>.","ista":"Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.","ama":"Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">10.1007/978-3-642-02658-4_14</a>","apa":"Bloem, R., Chatterjee, K., Henzinger, T. A., &#38; Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">https://doi.org/10.1007/978-3-642-02658-4_14</a>","mla":"Bloem, Roderick, et al. <i>Better Quality in Synthesis through Quantitative Objectives</i>. Vol. 5643, Springer, 2009, pp. 140–56, doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">10.1007/978-3-642-02658-4_14</a>.","ieee":"R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156."},"external_id":{"arxiv":["0904.2638"]},"author":[{"last_name":"Bloem","full_name":"Bloem, Roderick","first_name":"Roderick"},{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"last_name":"Jobstmann","full_name":"Jobstmann, Barbara","first_name":"Barbara"}],"page":"140 - 156","quality_controlled":"1","project":[{"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","grant_number":"215543","call_identifier":"FP7","name":"COMponent-Based Embedded Systems design Techniques"}],"doi":"10.1007/978-3-642-02658-4_14","_id":"4569","scopus_import":"1","volume":5643,"title":"Better quality in synthesis through quantitative objectives","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0904.2638"}],"day":"19","abstract":[{"lang":"eng","text":"Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecessary responses. We use quantitative properties to measure the “goodness” of an implementation. Using games with corresponding quantitative objectives, we can synthesize “optimal” implementations, which are preferred among the set of possible implementations that satisfy a given specification.\r\nIn particular, we show how automata with lexicographic mean-payoff conditions can be used to express many interesting quantitative properties for reactive systems. In this framework, the synthesis of optimal implementations requires the solution of lexicographic mean-payoff games (for safety requirements), and the solution of games with both lexicographic mean-payoff and parity objectives (for liveness requirements). We present algorithms for solving both kinds of novel graph games."}],"date_created":"2018-12-11T12:09:31Z"},{"year":"2009","page":"58 - 61","status":"public","author":[{"full_name":"Berwanger, Dietmar","first_name":"Dietmar","last_name":"Berwanger"},{"first_name":"Krishnendu","full_name":"Krishnendu Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"last_name":"De Wulf","first_name":"Martin","full_name":"De Wulf, Martin"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}],"quality_controlled":0,"_id":"4580","doi":"10.1007/978-3-642-00768-2_7","publist_id":"127","type":"conference","intvolume":"      5505","citation":{"ama":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>","apa":"Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., &#38; Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>","ieee":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.","mla":"Berwanger, Dietmar, et al. <i>Alpaga: A Tool for Solving Parity Games with Imperfect Information</i>. Vol. 5505, Springer, 2009, pp. 58–61, doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>.","short":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.","chicago":"Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>.","ista":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61."},"alternative_title":["LNCS"],"file":[{"creator":"system","access_level":"open_access","content_type":"application/pdf","checksum":"d52b55a10a47b3e3b0e016ea9bf85c41","file_size":212180,"date_updated":"2020-07-14T12:46:32Z","file_name":"IST-2012-35-v1+1_Alpaga_-_A_tool_for_solving_parity_games_with_imperfect_information.pdf","date_created":"2018-12-12T10:15:45Z","relation":"main_file","file_id":"5168"}],"volume":5505,"file_date_updated":"2020-07-14T12:46:32Z","main_file_link":[{"open_access":"1","url":"https://repository.ist.ac.at/35/"}],"oa":1,"title":"Alpaga: A tool for solving parity games with imperfect information","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"date_created":"2018-12-11T12:09:35Z","day":"09","abstract":[{"lang":"eng","text":"Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs a winning strategy. The tool provides a symbolic implementation of a recent algorithm based on antichains."}],"publication_status":"published","date_updated":"2021-01-12T07:59:52Z","extern":1,"month":"03","date_published":"2009-03-09T00:00:00Z","publisher":"Springer","pubrep_id":"35"},{"month":"11","date_published":"2009-11-02T00:00:00Z","date_updated":"2025-04-14T13:37:25Z","publication_status":"published","publisher":"IST Austria","oa":1,"department":[{"_id":"KrCh"}],"publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["IST Austria Technical Report"],"file":[{"access_level":"open_access","content_type":"application/pdf","file_size":311065,"checksum":"fb7563150231325b00b1718d956f687b","creator":"system","date_updated":"2020-07-14T12:46:43Z","date_created":"2018-12-12T11:54:08Z","file_name":"IST-2009-0004_IST-2009-0004.pdf","relation":"main_file","file_id":"5530"}],"oa_version":"Published Version","year":"2009","status":"public","corr_author":"1","has_accepted_license":"1","pubrep_id":"28","title":"Probabilistic automata on infinite words: Decidability and undecidability results","language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"3857","relation":"later_version"}]},"file_date_updated":"2020-07-14T12:46:43Z","day":"02","abstract":[{"lang":"eng","text":"We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs of [GO09] and present a precise characterization of the decidability and undecidability frontier of the quantitative and qualitative decision problems."}],"date_created":"2018-12-12T11:39:04Z","type":"technical_report","citation":{"ista":"Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.","chicago":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>.","short":"K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.","mla":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>.","ieee":"K. Chatterjee, <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria, 2009.","apa":"Chatterjee, K. (2009). <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>","ama":"Chatterjee K. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>"},"ddc":["005"],"author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"}],"page":"17","doi":"10.15479/AT:IST-2009-0004","_id":"5392"},{"publisher":"IST Austria","publication_status":"published","date_updated":"2025-04-14T13:37:27Z","date_published":"2009-10-09T00:00:00Z","month":"10","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"oa":1,"oa_version":"Published Version","file":[{"file_name":"IST-2009-0003_IST-2009-0003.pdf","date_created":"2018-12-12T11:52:58Z","relation":"main_file","file_id":"5459","creator":"system","content_type":"application/pdf","access_level":"open_access","file_size":386866,"checksum":"49551ac552915b17593a14c993845274","date_updated":"2020-07-14T12:46:43Z"}],"alternative_title":["IST Austria Technical Report"],"publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","has_accepted_license":"1","year":"2009","status":"public","pubrep_id":"29","date_created":"2018-12-12T11:39:05Z","day":"09","abstract":[{"lang":"eng","text":"Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides efficient implementations of several reduction based techniques to solve turn-based probabilistic games, and uses the analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications."}],"language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"4388"}]},"title":"Gist: A solver for probabilistic games","file_date_updated":"2020-07-14T12:46:43Z","ddc":["000","005"],"citation":{"ista":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">https://doi.org/10.15479/AT:IST-2009-0003</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">10.15479/AT:IST-2009-0003</a>.","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, <i>Gist: A solver for probabilistic games</i>. IST Austria, 2009.","ama":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">10.15479/AT:IST-2009-0003</a>","apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., &#38; Radhakrishna, A. (2009). <i>Gist: A solver for probabilistic games</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">https://doi.org/10.15479/AT:IST-2009-0003</a>"},"type":"technical_report","_id":"5393","doi":"10.15479/AT:IST-2009-0003","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Jobstmann, Barbara","first_name":"Barbara","last_name":"Jobstmann"},{"last_name":"Radhakrishna","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun","first_name":"Arjun"}],"page":"12"},{"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"37327ACE-F248-11E8-B48F-1D18A9856A87","full_name":"Horn, Florian","first_name":"Florian","last_name":"Horn"}],"status":"public","year":"2009","page":"11","_id":"5394","doi":"10.15479/AT:IST-2009-0002","corr_author":"1","has_accepted_license":"1","publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"technical_report","ddc":["004"],"oa_version":"Published Version","file":[{"file_name":"IST-2009-0002_IST-2009-0002.pdf","date_created":"2018-12-12T11:53:50Z","relation":"main_file","file_id":"5511","creator":"system","file_size":238091,"content_type":"application/pdf","access_level":"open_access","checksum":"1c50a9723fbae1b2c46d18138968efb3","date_updated":"2020-07-14T12:46:43Z"}],"alternative_title":["IST Austria Technical Report"],"citation":{"ista":"Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">https://doi.org/10.15479/AT:IST-2009-0002</a>.","short":"K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.","mla":"Chatterjee, Krishnendu, et al. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">10.15479/AT:IST-2009-0002</a>.","ieee":"K. Chatterjee, T. A. Henzinger, and F. Horn, <i>Improved lower bounds for request-response and finitary Streett games</i>. IST Austria, 2009.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Horn, F. (2009). <i>Improved lower bounds for request-response and finitary Streett games</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">https://doi.org/10.15479/AT:IST-2009-0002</a>","ama":"Chatterjee K, Henzinger TA, Horn F. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">10.15479/AT:IST-2009-0002</a>"},"language":[{"iso":"eng"}],"oa":1,"title":"Improved lower bounds for request-response and finitary Streett games","file_date_updated":"2020-07-14T12:46:43Z","date_created":"2018-12-12T11:39:05Z","day":"09","abstract":[{"text":"We consider two-player games played on graphs with request-response and finitary Streett objectives. We show these games are PSPACE-hard, improving the previous known NP-hardness. We also improve the lower bounds on memory required by the winning strategies for the players.","lang":"eng"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"date_updated":"2024-10-09T21:08:23Z","publication_status":"published","month":"09","date_published":"2009-09-09T00:00:00Z","publisher":"IST Austria","pubrep_id":"30"},{"citation":{"ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">https://doi.org/10.15479/AT:IST-2009-0001</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">10.15479/AT:IST-2009-0001</a>.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, <i>Qualitative analysis of partially-observable Markov decision processes</i>. IST Austria, 2009.","ama":"Chatterjee K, Doyen L, Henzinger TA. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">10.15479/AT:IST-2009-0001</a>","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). <i>Qualitative analysis of partially-observable Markov decision processes</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">https://doi.org/10.15479/AT:IST-2009-0001</a>"},"ddc":["005"],"type":"technical_report","doi":"10.15479/AT:IST-2009-0001","_id":"5395","page":"20","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}],"pubrep_id":"31","day":"09","abstract":[{"text":"We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observa- tions. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability 1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the computational complexity of the qualitative analysis of POMDPs with parity objectives (a canonical form to express omega-regular objectives) and its subclasses. Our contribution consists in establishing several upper and lower bounds that were not known in literature. Second, we present optimal bounds (matching upper and lower bounds) on the memory required by pure and randomized observation-based strategies for the qualitative analysis of POMDPs with parity objectives and its subclasses.","lang":"eng"}],"date_created":"2018-12-12T11:39:05Z","title":"Qualitative analysis of partially-observable Markov decision processes","related_material":{"record":[{"relation":"later_version","id":"3855","status":"public"}]},"language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:46:43Z","alternative_title":["IST Austria Technical Report"],"file":[{"file_size":342088,"content_type":"application/pdf","access_level":"open_access","checksum":"04d9cc065cc19598a4e8631c47f1a562","creator":"system","date_updated":"2020-07-14T12:46:43Z","date_created":"2018-12-12T11:53:25Z","file_name":"IST-2009-0001_IST-2009-0001.pdf","relation":"main_file","file_id":"5486"}],"oa_version":"Published Version","publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","has_accepted_license":"1","year":"2009","status":"public","publisher":"IST Austria","date_published":"2009-09-09T00:00:00Z","month":"09","publication_status":"published","date_updated":"2025-04-14T13:37:25Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"oa":1},{"volume":23,"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2648653/"}],"language":[{"iso":"eng"}],"oa":1,"title":"The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function","date_created":"2018-12-11T11:47:25Z","day":"15","abstract":[{"text":"The human CDK8 subcomplex (CDK8, cyclin C, Med12, and Med13) negatively regulates transcription in ways not completely defined; past studies suggested CDK8 kinase activity was required for its repressive function. Using a reconstituted transcription system together with recombinant or endogenous CDK8 subcomplexes, we demonstrate that, in fact, Med12 and Med13 are critical for subcomplex-dependent repression, whereas CDK8 kinase activity is not. A hallmark of activated transcription is efficient reinitiation from promoter-bound scaffold complexes that recruit a series of pol II enzymes to the gene. Notably, the CDK8 submodule strongly represses even reinitiation events, suggesting a means to fine tune transcript levels. Structural and biochemical studies confirm the CDK8 submodule binds the Mediator leg/tail domain via the Med13 subunit, and this submodule-Mediator association precludes pol II recruitment. Collectively, these results reveal the CDK8 subcomplex functions as a simple switch that controls the Mediator-pol II interaction to help regulate transcription initiation and reinitiation events. As Mediator is generally required for expression of protein-coding genes, this may reflect a common mechanism by which activated transcription is shut down in human cells.","lang":"eng"}],"article_processing_charge":"No","publication_status":"published","extern":"1","date_updated":"2021-01-12T08:05:32Z","date_published":"2009-02-15T00:00:00Z","month":"02","publisher":"Cold Spring Harbor Laboratory Press","author":[{"full_name":"Knuesel, Matthew","first_name":"Matthew","last_name":"Knuesel"},{"full_name":"Meyer, Krista","first_name":"Krista","last_name":"Meyer"},{"id":"2CB9DFE2-F248-11E8-B48F-1D18A9856A87","first_name":"Carrie A","full_name":"Bernecky, Carrie A","last_name":"Bernecky","orcid":"0000-0003-0893-7036"},{"first_name":"Dylan","full_name":"Taatjes, Dylan","last_name":"Taatjes"}],"status":"public","issue":"4","page":"439 - 451","year":"2009","_id":"599","doi":"10.1101/gad.1767009","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7211","type":"journal_article","publication":"Genes and Development","intvolume":"        23","oa_version":"None","citation":{"ista":"Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.","chicago":"Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” <i>Genes and Development</i>. Cold Spring Harbor Laboratory Press, 2009. <a href=\"https://doi.org/10.1101/gad.1767009\">https://doi.org/10.1101/gad.1767009</a>.","short":"M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.","ieee":"M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” <i>Genes and Development</i>, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.","mla":"Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” <i>Genes and Development</i>, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:<a href=\"https://doi.org/10.1101/gad.1767009\">10.1101/gad.1767009</a>.","apa":"Knuesel, M., Meyer, K., Bernecky, C., &#38; Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. <i>Genes and Development</i>. Cold Spring Harbor Laboratory Press. <a href=\"https://doi.org/10.1101/gad.1767009\">https://doi.org/10.1101/gad.1767009</a>","ama":"Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. <i>Genes and Development</i>. 2009;23(4):439-451. doi:<a href=\"https://doi.org/10.1101/gad.1767009\">10.1101/gad.1767009</a>"}},{"quality_controlled":"1","issue":"7241","author":[{"full_name":"Persson, Annelie","first_name":"Annelie","last_name":"Persson"},{"first_name":"Einav","full_name":"Gross, Einav","last_name":"Gross"},{"last_name":"Laurent","full_name":"Laurent, Patrick","first_name":"Patrick"},{"full_name":"Busch, Karl Emanuel","first_name":"Karl Emanuel","last_name":"Busch"},{"last_name":"Bretes","full_name":"Bretes, Hugo","first_name":"Hugo"},{"orcid":"0000-0001-8347-0443","last_name":"de Bono","first_name":"Mario","full_name":"de Bono, Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"}],"year":"2009","status":"public","page":"1030-1033","doi":"10.1038/nature07820","_id":"6144","publication_identifier":{"issn":["0028-0836","1476-4687"]},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication":"Nature","type":"journal_article","citation":{"short":"A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.","chicago":"Persson, Annelie, Einav Gross, Patrick Laurent, Karl Emanuel Busch, Hugo Bretes, and Mario de Bono. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” <i>Nature</i>. Springer Nature, 2009. <a href=\"https://doi.org/10.1038/nature07820\">https://doi.org/10.1038/nature07820</a>.","ista":"Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.","ama":"Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. <i>Nature</i>. 2009;458(7241):1030-1033. doi:<a href=\"https://doi.org/10.1038/nature07820\">10.1038/nature07820</a>","apa":"Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., &#38; de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nature07820\">https://doi.org/10.1038/nature07820</a>","mla":"Persson, Annelie, et al. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” <i>Nature</i>, vol. 458, no. 7241, Springer Nature, 2009, pp. 1030–33, doi:<a href=\"https://doi.org/10.1038/nature07820\">10.1038/nature07820</a>.","ieee":"A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” <i>Nature</i>, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009."},"external_id":{"pmid":["19262507"]},"oa_version":"None","intvolume":"       458","title":"Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans","language":[{"iso":"eng"}],"volume":458,"day":"23","abstract":[{"text":"Behaviours evolve by iterations of natural selection, but we have few insights into the molecular and neural mechanisms involved. Here we show that some Caenorhabditis elegans wild strains switch between two foraging behaviours in response to subtle changes in ambient oxygen. This finely tuned switch is conferred by a naturally variable hexacoordinated globin, GLB-5. GLB-5 acts with the atypical soluble guanylate cyclases1,2,3, which are a different type of oxygen binding protein, to tune the dynamic range of oxygen-sensing neurons close to atmospheric (21%) concentrations. Calcium imaging indicates that one group of these neurons is activated when oxygen rises towards 21%, and is inhibited as oxygen drops below 21%. The soluble guanylate cyclase GCY-35 is required for high oxygen to activate the neurons; GLB-5 provides inhibitory input when oxygen decreases below 21%. Together, these oxygen binding proteins tune neuronal and behavioural responses to a narrow oxygen concentration range close to atmospheric levels. The effect of the glb-5 gene on oxygen sensing and foraging is modified by the naturally variable neuropeptide receptor npr-1 (refs 4, 5), providing insights into how polygenic variation reshapes neural circuit function.","lang":"eng"}],"date_created":"2019-03-21T07:48:44Z","month":"04","date_published":"2009-04-23T00:00:00Z","date_updated":"2021-01-12T08:06:20Z","extern":"1","publication_status":"published","publisher":"Springer Nature","pmid":1},{"intvolume":"         9","external_id":{"pmid":["19356718"]},"oa_version":"None","citation":{"ama":"Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. <i>Cell Metabolism</i>. 2009;9(4):375-385. doi:<a href=\"https://doi.org/10.1016/j.cmet.2009.02.003\">10.1016/j.cmet.2009.02.003</a>","apa":"Cohen, M., Reale, V., Olofsson, B., Knights, A., Evans, P., &#38; de Bono, M. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. <i>Cell Metabolism</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cmet.2009.02.003\">https://doi.org/10.1016/j.cmet.2009.02.003</a>","mla":"Cohen, Merav, et al. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” <i>Cell Metabolism</i>, vol. 9, no. 4, Elsevier, 2009, pp. 375–85, doi:<a href=\"https://doi.org/10.1016/j.cmet.2009.02.003\">10.1016/j.cmet.2009.02.003</a>.","ieee":"M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” <i>Cell Metabolism</i>, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.","short":"M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.","chicago":"Cohen, Merav, Vincenzina Reale, Birgitta Olofsson, Andrew Knights, Peter Evans, and Mario de Bono. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” <i>Cell Metabolism</i>. Elsevier, 2009. <a href=\"https://doi.org/10.1016/j.cmet.2009.02.003\">https://doi.org/10.1016/j.cmet.2009.02.003</a>.","ista":"Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. 2009. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 9(4), 375–385."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publication":"Cell Metabolism","publication_identifier":{"issn":["1550-4131"]},"_id":"6145","doi":"10.1016/j.cmet.2009.02.003","issue":"4","author":[{"full_name":"Cohen, Merav","first_name":"Merav","last_name":"Cohen"},{"last_name":"Reale","full_name":"Reale, Vincenzina","first_name":"Vincenzina"},{"last_name":"Olofsson","full_name":"Olofsson, Birgitta","first_name":"Birgitta"},{"first_name":"Andrew","full_name":"Knights, Andrew","last_name":"Knights"},{"full_name":"Evans, Peter","first_name":"Peter","last_name":"Evans"},{"id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","full_name":"de Bono, Mario","last_name":"de Bono","orcid":"0000-0001-8347-0443"}],"year":"2009","page":"375-385","status":"public","quality_controlled":"1","pmid":1,"publisher":"Elsevier","date_updated":"2021-01-12T08:06:20Z","extern":"1","publication_status":"published","month":"04","date_published":"2009-04-08T00:00:00Z","date_created":"2019-03-21T07:57:52Z","day":"08","volume":9,"language":[{"iso":"eng"}],"title":"Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling"},{"date_published":"2009-10-01T00:00:00Z","month":"10","publication_status":"published","date_updated":"2021-01-12T06:54:30Z","extern":1,"publisher":"Academic Press","volume":168,"title":"Biomimetic membrane systems to study cellular organization","day":"01","abstract":[{"text":"During many cellular processes such as cell division, polarization and motility, the plasma membrane does not only represent a passive physical barrier, but also provides a highly dynamic platform for the interplay between lipids, membrane binding proteins and cytoskeletal elements. Even though many regulators of these interactions are known, their mutual interdependence appears to be highly complex and difficult to study in a living cell. Over the past few years, in vitro studies on membrane-cytoskeleton interactions using biomimetic membranes turned out to be extremely helpful to get better mechanistic insight into the dynamics of these processes. In this review, we discuss some of the recent developments using in vitro assays to dissect the role of the players involved: lipids in the membrane, proteins binding to membranes and proteins binding to membrane proteins. We also summarize advantages and disadvantages of supported lipid bilayers as model membrane.","lang":"eng"}],"date_created":"2018-12-11T11:55:03Z","publist_id":"5099","publication":"Journal of Structural Biology","type":"journal_article","intvolume":"       168","citation":{"ama":"Loose M, Schwille P. Biomimetic membrane systems to study cellular organization. <i>Journal of Structural Biology</i>. 2009;168(1):143-151. doi:<a href=\"https://doi.org/10.1016/j.jsb.2009.03.016\">10.1016/j.jsb.2009.03.016</a>","apa":"Loose, M., &#38; Schwille, P. (2009). Biomimetic membrane systems to study cellular organization. <i>Journal of Structural Biology</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jsb.2009.03.016\">https://doi.org/10.1016/j.jsb.2009.03.016</a>","mla":"Loose, Martin, and Petra Schwille. “Biomimetic Membrane Systems to Study Cellular Organization.” <i>Journal of Structural Biology</i>, vol. 168, no. 1, Academic Press, 2009, pp. 143–51, doi:<a href=\"https://doi.org/10.1016/j.jsb.2009.03.016\">10.1016/j.jsb.2009.03.016</a>.","ieee":"M. Loose and P. Schwille, “Biomimetic membrane systems to study cellular organization,” <i>Journal of Structural Biology</i>, vol. 168, no. 1. Academic Press, pp. 143–151, 2009.","short":"M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.","chicago":"Loose, Martin, and Petra Schwille. “Biomimetic Membrane Systems to Study Cellular Organization.” <i>Journal of Structural Biology</i>. Academic Press, 2009. <a href=\"https://doi.org/10.1016/j.jsb.2009.03.016\">https://doi.org/10.1016/j.jsb.2009.03.016</a>.","ista":"Loose M, Schwille P. 2009. Biomimetic membrane systems to study cellular organization. Journal of Structural Biology. 168(1), 143–151."},"author":[{"orcid":"0000-0001-7309-9724","last_name":"Loose","full_name":"Martin Loose","first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schwille","full_name":"Schwille, Petra ","first_name":"Petra"}],"issue":"1","page":"143 - 151","status":"public","year":"2009","quality_controlled":0,"doi":"10.1016/j.jsb.2009.03.016","_id":"1983"},{"volume":138,"title":"Chromatin shapes the mitotic spindle","abstract":[{"lang":"eng","text":"In animal and plant cells, mitotic chromatin locally generates microtubules that self-organize into a mitotic spindle, and its dimensions and bipolar symmetry are essential for accurate chromosome segregation. By immobilizing microscopic chromatin-coated beads on slide surfaces using a microprinting technique, we have examined the effect of chromatin on the dimensions and symmetry of spindles in Xenopus laevis cytoplasmic extracts. While circular spots with diameters around 14-18 μm trigger bipolar spindle formation, larger spots generate an incorrect number of poles. We also examined lines of chromatin with various dimensions. Their length determined the number of poles that formed, with a 6 × 18 μm rectangular patch generating normal spindle morphology. Around longer lines, multiple poles formed and the structures were disorganized. While lines thinner than 10 μm generated symmetric structures, thicker lines induced the formation of asymmetric structures where all microtubules are on the same side of the line. Our results show that chromatin defines spindle shape and orientation. For a video summary of this article, see the PaperFlick file available with the online Supplemental Data."}],"day":"07","date_created":"2018-12-11T11:55:03Z","month":"08","date_published":"2009-08-07T00:00:00Z","extern":1,"date_updated":"2021-01-12T06:54:30Z","publication_status":"published","publisher":"Cell Press","author":[{"last_name":"Dinarina","full_name":"Dinarina, Ana","first_name":"Ana"},{"last_name":"Pugieux","first_name":"Céline","full_name":"Pugieux, Céline"},{"last_name":"Corral","full_name":"Corral, Maria M","first_name":"Maria"},{"id":"462D4284-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Martin Loose","last_name":"Loose","orcid":"0000-0001-7309-9724"},{"full_name":"Spatz, Joachim P","first_name":"Joachim","last_name":"Spatz"},{"last_name":"Karsenti","first_name":"Éric","full_name":"Karsenti, Éric"},{"full_name":"Nédélec, François J","first_name":"François","last_name":"Nédélec"}],"year":"2009","status":"public","page":"502 - 513","issue":"3","quality_controlled":0,"doi":"10.1016/j.cell.2009.05.027","_id":"1984","type":"journal_article","publist_id":"5100","publication":"Cell","intvolume":"       138","citation":{"ieee":"A. Dinarina <i>et al.</i>, “Chromatin shapes the mitotic spindle,” <i>Cell</i>, vol. 138, no. 3. Cell Press, pp. 502–513, 2009.","mla":"Dinarina, Ana, et al. “Chromatin Shapes the Mitotic Spindle.” <i>Cell</i>, vol. 138, no. 3, Cell Press, 2009, pp. 502–13, doi:<a href=\"https://doi.org/10.1016/j.cell.2009.05.027\">10.1016/j.cell.2009.05.027</a>.","ama":"Dinarina A, Pugieux C, Corral M, et al. Chromatin shapes the mitotic spindle. <i>Cell</i>. 2009;138(3):502-513. doi:<a href=\"https://doi.org/10.1016/j.cell.2009.05.027\">10.1016/j.cell.2009.05.027</a>","apa":"Dinarina, A., Pugieux, C., Corral, M., Loose, M., Spatz, J., Karsenti, É., &#38; Nédélec, F. (2009). Chromatin shapes the mitotic spindle. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2009.05.027\">https://doi.org/10.1016/j.cell.2009.05.027</a>","ista":"Dinarina A, Pugieux C, Corral M, Loose M, Spatz J, Karsenti É, Nédélec F. 2009. Chromatin shapes the mitotic spindle. Cell. 138(3), 502–513.","short":"A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.","chicago":"Dinarina, Ana, Céline Pugieux, Maria Corral, Martin Loose, Joachim Spatz, Éric Karsenti, and François Nédélec. “Chromatin Shapes the Mitotic Spindle.” <i>Cell</i>. Cell Press, 2009. <a href=\"https://doi.org/10.1016/j.cell.2009.05.027\">https://doi.org/10.1016/j.cell.2009.05.027</a>."},"acknowledgement":"This work was supported by EU contract LSHG-CT-2004-503568 ComBio, the Spanish ministry of education (M.M.C.), and EU-STREP active BioMics (A.D.). Research in the Nedelec lab is funded by the Center for Modeling and Simulation in the Biosciences (http://www.bioms.de), the Volkswagenstiftung, and Human Frontier Science Program grant RGY84."},{"day":"01","date_created":"2018-12-11T11:55:31Z","volume":181,"title":"Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster","publisher":"Genetics Society of America","date_published":"2009-04-01T00:00:00Z","month":"04","publication_status":"published","date_updated":"2021-01-12T06:55:06Z","extern":1,"doi":"10.1534/genetics.108.098004","_id":"2067","issue":"4","author":[{"orcid":"0000-0002-4579-8306","last_name":"Vicoso","first_name":"Beatriz","full_name":"Beatriz Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Charlesworth","full_name":"Charlesworth, Brian","first_name":"Brian"}],"page":"1699 - 1701","status":"public","year":"2009","quality_controlled":0,"intvolume":"       181","acknowledgement":"This work was funded by a Portuguese Foundation for Science and Technology scholarship to B.V., and B.C. was supported by the Royal Society","citation":{"apa":"Vicoso, B., &#38; Charlesworth, B. (2009). Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.108.098004\">https://doi.org/10.1534/genetics.108.098004</a>","ama":"Vicoso B, Charlesworth B. Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. <i>Genetics</i>. 2009;181(4):1699-1701. doi:<a href=\"https://doi.org/10.1534/genetics.108.098004\">10.1534/genetics.108.098004</a>","ieee":"B. Vicoso and B. Charlesworth, “Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster,” <i>Genetics</i>, vol. 181, no. 4. Genetics Society of America, pp. 1699–1701, 2009.","mla":"Vicoso, Beatriz, and Brian Charlesworth. “Recombination Rates May Affect the Ratio of X to Autosomal Noncoding Polymorphism in African Populations of Drosophila Melanogaster.” <i>Genetics</i>, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1699–701, doi:<a href=\"https://doi.org/10.1534/genetics.108.098004\">10.1534/genetics.108.098004</a>.","chicago":"Vicoso, Beatriz, and Brian Charlesworth. “Recombination Rates May Affect the Ratio of X to Autosomal Noncoding Polymorphism in African Populations of Drosophila Melanogaster.” <i>Genetics</i>. Genetics Society of America, 2009. <a href=\"https://doi.org/10.1534/genetics.108.098004\">https://doi.org/10.1534/genetics.108.098004</a>.","short":"B. Vicoso, B. Charlesworth, Genetics 181 (2009) 1699–1701.","ista":"Vicoso B, Charlesworth B. 2009. Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. Genetics. 181(4), 1699–1701."},"type":"journal_article","publist_id":"4971","publication":"Genetics"},{"publisher":"Springer","month":"05","date_published":"2009-05-01T00:00:00Z","extern":1,"date_updated":"2021-01-12T06:55:06Z","publication_status":"published","abstract":[{"lang":"eng","text":"In Drosophila, there is a consistent deficit of male-biased genes on the X chromosome. It has been suggested that male-biased genes may evolve from initially unbiased genes as a result of increased expression levels in males. If transcription rates are limited, a large increase in expression in the testis may be harder to achieve for single-copy X-linked genes than for autosomal genes, because they are already hypertranscribed due to dosage compensation. This hypothesis predicts that the larger the increase in expression required to make a male-biased gene, the lower the chance of this being achievable if it is located on the X chromosome. Consequently, highly expressed male-biased genes should be located on the X chromosome less often than lowly expressed male-biased genes. This pattern is observed in our analysis of publicly available data, where microarray data or EST data are used to detect male-biased genes in D. melanogaster and to measure their expression levels. This is consistent with the idea that limitations in transcription rates may prevent male-biased genes from accumulating on the X chromosome."}],"day":"01","date_created":"2018-12-11T11:55:31Z","title":"The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?","volume":68,"acknowledgement":"This work was funded by a Portuguese Foundation for Science and Technology scholarship to B.V., and B.C. was supported by the Royal Society","citation":{"chicago":"Vicoso, Beatriz, and Brian Charlesworth. “The Deficit of Male-Biased Genes on the D. Melanogaster X Chromosome Is Expression-Dependent: A Consequence of Dosage Compensation?” <i>Journal of Molecular Evolution</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s00239-009-9235-4\">https://doi.org/10.1007/s00239-009-9235-4</a>.","short":"B. Vicoso, B. Charlesworth, Journal of Molecular Evolution 68 (2009) 576–583.","ista":"Vicoso B, Charlesworth B. 2009. The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? Journal of Molecular Evolution. 68(5), 576–583.","apa":"Vicoso, B., &#38; Charlesworth, B. (2009). The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? <i>Journal of Molecular Evolution</i>. Springer. <a href=\"https://doi.org/10.1007/s00239-009-9235-4\">https://doi.org/10.1007/s00239-009-9235-4</a>","ama":"Vicoso B, Charlesworth B. The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? <i>Journal of Molecular Evolution</i>. 2009;68(5):576-583. doi:<a href=\"https://doi.org/10.1007/s00239-009-9235-4\">10.1007/s00239-009-9235-4</a>","ieee":"B. Vicoso and B. Charlesworth, “The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?,” <i>Journal of Molecular Evolution</i>, vol. 68, no. 5. Springer, pp. 576–583, 2009.","mla":"Vicoso, Beatriz, and Brian Charlesworth. “The Deficit of Male-Biased Genes on the D. Melanogaster X Chromosome Is Expression-Dependent: A Consequence of Dosage Compensation?” <i>Journal of Molecular Evolution</i>, vol. 68, no. 5, Springer, 2009, pp. 576–83, doi:<a href=\"https://doi.org/10.1007/s00239-009-9235-4\">10.1007/s00239-009-9235-4</a>."},"intvolume":"        68","publication":"Journal of Molecular Evolution","publist_id":"4970","type":"journal_article","doi":"10.1007/s00239-009-9235-4","_id":"2068","quality_controlled":0,"page":"576 - 583","author":[{"orcid":"0000-0002-4579-8306","last_name":"Vicoso","first_name":"Beatriz","full_name":"Beatriz Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Brian","full_name":"Charlesworth, Brian","last_name":"Charlesworth"}],"issue":"5","year":"2009","status":"public"},{"day":"01","abstract":[{"lang":"eng","text":"Current models of X-linked and autosomal evolutionary rates often assume that the effective population size of the X chromosome (NeX) is equal to three-quarters of the autosomal population size (NeA). However, polymorphism studies of Drosophila melanogaster and D. simulans suggest that there are often significant deviations from this value. We have computed fixation rates of beneficial and deleterious mutations at X-linked and autosomal sites when this occurs. We find that NeX/NeA is a crucial parameter for the rates of evolution of X-linked sites compared to autosomal sites. Faster-X evolution due to the fixation of beneficial mutations can occur under a much wider range of levels of dominance when NeX/N eA &gt; 3/4. We also examined various parameters that are known to influence the rates of evolution at X-linked and autosomal sites, such as different mutation rates in males and females and mutations that are sexually antagonistic, to determine which cases can lead to faster-X evolution. We show that, when the rate of nonsynonymous evolution is normalized by the rate of neutral evolution, a sex difference in mutation rate has no influence on the conditions for faster-X evolution."}],"date_created":"2018-12-11T11:55:32Z","title":"Effective population size and the faster-X effect: An extended model","volume":63,"publisher":"Wiley-Blackwell","date_published":"2009-09-01T00:00:00Z","month":"09","publication_status":"published","extern":1,"date_updated":"2021-01-12T06:55:06Z","doi":"10.1111/j.1558-5646.2009.00719.x","_id":"2069","quality_controlled":0,"issue":"9","page":"2413 - 2426","author":[{"last_name":"Vicoso","orcid":"0000-0002-4579-8306","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz","full_name":"Beatriz Vicoso"},{"full_name":"Charlesworth, Brian","first_name":"Brian","last_name":"Charlesworth"}],"year":"2009","status":"public","citation":{"short":"B. Vicoso, B. Charlesworth, Evolution 63 (2009) 2413–2426.","chicago":"Vicoso, Beatriz, and Brian Charlesworth. “Effective Population Size and the Faster-X Effect: An Extended Model.” <i>Evolution</i>. Wiley-Blackwell, 2009. <a href=\"https://doi.org/10.1111/j.1558-5646.2009.00719.x\">https://doi.org/10.1111/j.1558-5646.2009.00719.x</a>.","ista":"Vicoso B, Charlesworth B. 2009. Effective population size and the faster-X effect: An extended model. Evolution. 63(9), 2413–2426.","ama":"Vicoso B, Charlesworth B. Effective population size and the faster-X effect: An extended model. <i>Evolution</i>. 2009;63(9):2413-2426. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.2009.00719.x\">10.1111/j.1558-5646.2009.00719.x</a>","apa":"Vicoso, B., &#38; Charlesworth, B. (2009). Effective population size and the faster-X effect: An extended model. <i>Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1558-5646.2009.00719.x\">https://doi.org/10.1111/j.1558-5646.2009.00719.x</a>","ieee":"B. Vicoso and B. Charlesworth, “Effective population size and the faster-X effect: An extended model,” <i>Evolution</i>, vol. 63, no. 9. Wiley-Blackwell, pp. 2413–2426, 2009.","mla":"Vicoso, Beatriz, and Brian Charlesworth. “Effective Population Size and the Faster-X Effect: An Extended Model.” <i>Evolution</i>, vol. 63, no. 9, Wiley-Blackwell, 2009, pp. 2413–26, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.2009.00719.x\">10.1111/j.1558-5646.2009.00719.x</a>."},"acknowledgement":"This work was funded by a Portuguese Foundation for Science and Technology scholarship to BV, and BC was supported by the Royal Society","intvolume":"        63","publist_id":"4968","publication":"Evolution","type":"journal_article"},{"volume":17,"title":"Progress and prospects toward our understanding of the evolution of dosage compensation","date_created":"2018-12-11T11:55:32Z","abstract":[{"lang":"eng","text":"In many eukaryotic organisms, gender is determined by a pair of heteromorphic sex chromosomes. Degeneration of the non-recombining Y chromosome is a general facet of sex chromosome evolution. Selective pressure to restore expression levels of X-linked genes relative to autosomes accompanies Y-chromosome degeneration, thus driving the evolution of dosage compensation mechanisms. This review focuses on evolutionary aspects of dosage compensation, in light of recent advances in comparative and functional genomics that have substantially increased our understanding of the molecular mechanisms of dosage compensation and how it evolved. We review processes involved in sex chromosome evolution, and discuss the dynamic interaction between Y degeneration and the acquisition of dosage compensation. We compare mechanisms of dosage compensation and the origin of dosage compensation genes between different taxa and comment on sex chromosomes that apparently lack compensation mechanisms. Finally, we discuss how dosage compensation systems can also influence the evolution of well-established sex chromosomes."}],"day":"01","extern":1,"publication_status":"published","date_updated":"2021-01-12T06:55:07Z","month":"07","date_published":"2009-07-01T00:00:00Z","publisher":"Springer","year":"2009","author":[{"last_name":"Vicoso","orcid":"0000-0002-4579-8306","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","full_name":"Beatriz Vicoso","first_name":"Beatriz"},{"first_name":"Doris","full_name":"Bachtrog, Doris","last_name":"Bachtrog"}],"status":"public","page":"585 - 602","issue":"5","quality_controlled":0,"_id":"2070","doi":"10.1007/s10577-009-9053-y","publist_id":"4969","type":"journal_article","publication":"Chromosome Research","intvolume":"        17","acknowledgement":"This research is funded by NIH Grant GM076007 and a Sloan Research Fellowship and a David and Lucile Packard Fellowship to D.B.","citation":{"apa":"Vicoso, B., &#38; Bachtrog, D. (2009). Progress and prospects toward our understanding of the evolution of dosage compensation. <i>Chromosome Research</i>. Springer. <a href=\"https://doi.org/10.1007/s10577-009-9053-y\">https://doi.org/10.1007/s10577-009-9053-y</a>","ama":"Vicoso B, Bachtrog D. Progress and prospects toward our understanding of the evolution of dosage compensation. <i>Chromosome Research</i>. 2009;17(5):585-602. doi:<a href=\"https://doi.org/10.1007/s10577-009-9053-y\">10.1007/s10577-009-9053-y</a>","mla":"Vicoso, Beatriz, and Doris Bachtrog. “Progress and Prospects toward Our Understanding of the Evolution of Dosage Compensation.” <i>Chromosome Research</i>, vol. 17, no. 5, Springer, 2009, pp. 585–602, doi:<a href=\"https://doi.org/10.1007/s10577-009-9053-y\">10.1007/s10577-009-9053-y</a>.","ieee":"B. Vicoso and D. Bachtrog, “Progress and prospects toward our understanding of the evolution of dosage compensation,” <i>Chromosome Research</i>, vol. 17, no. 5. Springer, pp. 585–602, 2009.","chicago":"Vicoso, Beatriz, and Doris Bachtrog. “Progress and Prospects toward Our Understanding of the Evolution of Dosage Compensation.” <i>Chromosome Research</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s10577-009-9053-y\">https://doi.org/10.1007/s10577-009-9053-y</a>.","short":"B. Vicoso, D. Bachtrog, Chromosome Research 17 (2009) 585–602.","ista":"Vicoso B, Bachtrog D. 2009. Progress and prospects toward our understanding of the evolution of dosage compensation. Chromosome Research. 17(5), 585–602."}},{"extern":"1","day":"01","abstract":[{"lang":"eng","text":"One possible way to produce ultra-cold, high-phase-space-density quantum gases of molecules in the rovibronic ground state is given by molecule association from quantum-degenerate atomic gases on a Feshbach resonance and subsequent coherent optical multi-photon transfer into the rovibronic ground state. In ultra-cold samples of Cs2 molecules, we observe two-photon dark resonances that connect the intermediate rovibrational level |v=73,J=2 with the rovibrational ground state |v=0,J=0 of the singlet X 1 ∑ g + ground-state potential. For precise dark resonance spectroscopy we exploit the fact that it is possible to efficiently populate the level |v=73,J=2 by two-photon transfer from the dissociation threshold with the stimulated Raman adiabatic passage (STIRAP) technique. We find that at least one of the two-photon resonances is sufficiently strong to allow future implementation of coherent STIRAP transfer of a molecular quantum gas to the rovibrational ground state |v=0,J=0."}],"date_created":"2018-12-11T11:49:49Z","volume":95,"title":"Dark resonances for ground-state transfer of molecular quantum gases","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/0811.0695","open_access":"1"}],"arxiv":1,"intvolume":"        95","citation":{"ama":"Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. <i>Applied Physics B: Lasers and Optics</i>. 2009;95(2):219-225. doi:<a href=\"https://doi.org/10.1007/s00340-009-3407-1\">10.1007/s00340-009-3407-1</a>","apa":"Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. <i>Applied Physics B: Lasers and Optics</i>. Springer. <a href=\"https://doi.org/10.1007/s00340-009-3407-1\">https://doi.org/10.1007/s00340-009-3407-1</a>","ieee":"M. Mark <i>et al.</i>, “Dark resonances for ground-state transfer of molecular quantum gases,” <i>Applied Physics B: Lasers and Optics</i>, vol. 95, no. 2. Springer, pp. 219–225, 2009.","mla":"Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” <i>Applied Physics B: Lasers and Optics</i>, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:<a href=\"https://doi.org/10.1007/s00340-009-3407-1\">10.1007/s00340-009-3407-1</a>.","short":"M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.","chicago":"Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” <i>Applied Physics B: Lasers and Optics</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s00340-009-3407-1\">https://doi.org/10.1007/s00340-009-3407-1</a>.","ista":"Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225."},"acknowledgement":"We are indebted to R. Grimm for generous support and we thank E. Tiemann for valuable discussions and C. Amiot for providing the FTS data of LAC on Cs2. We gratefully acknowledge funding by the Austrian Ministry of Science and Research (BMWF)\r\nand the Austrian Science Fund (FWF) in the form of a START prize grant and by the European Science Foundation (ESF) in the framework of the EuroQUAM collective research project QuDipMol. R.H. acknowledges support by the European Union in the form of a Marie Curie International Incoming Fellowship (IIF). The work at Stony Brook was supported by the US NSF, under grant PHY0652459.","external_id":{"arxiv":["0811.0695"]},"type":"journal_article","publist_id":"6350","publication":"Applied Physics B: Lasers and Optics","doi":"10.1007/s00340-009-3407-1","_id":"1038","author":[{"last_name":"Mark","full_name":"Mark, Manfred","first_name":"Manfred"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","full_name":"Danzl, Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"},{"full_name":"Haller, Elmar","first_name":"Elmar","last_name":"Haller"},{"full_name":"Gustavsson, Mattias","first_name":"Mattias","last_name":"Gustavsson"},{"first_name":"Nadia","full_name":"Bouloufa, Nadia","last_name":"Bouloufa"},{"last_name":"Dulieu","full_name":"Dulieu, Olivier","first_name":"Olivier"},{"last_name":"Salami","full_name":"Salami, Houssam","first_name":"Houssam"},{"last_name":"Bergeman","first_name":"Thomas","full_name":"Bergeman, Thomas"},{"first_name":"Helmut","full_name":"Ritsch, Helmut","last_name":"Ritsch"},{"full_name":"Hart, Russell","first_name":"Russell","last_name":"Hart"},{"full_name":"Nägerl, Hanns","first_name":"Hanns","last_name":"Nägerl"}],"page":"219 - 225","publisher":"Springer","month":"05","date_published":"2009-05-01T00:00:00Z","publication_status":"published","date_updated":"2021-01-12T06:47:50Z","article_processing_charge":"No","oa":1,"oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2009","status":"public","issue":"2"},{"publisher":"American Association for the Advancement of Science","date_published":"2009-01-01T00:00:00Z","month":"01","date_updated":"2021-01-12T06:47:51Z","publication_status":"published","article_processing_charge":"No","oa":1,"oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","year":"2009","issue":"5945","extern":"1","abstract":[{"lang":"eng","text":"Ultracold atomic physics offers myriad possibilities to study strongly correlated many-body systems in lower dimensions. Typically, only ground-state phases are accessible. Using a tunable quantum gas of bosonic cesium atoms, we realized and controlled in one-dimensional geometry a highly excited quantum phase that is stabilized in the presence of attractive interactions by maintaining and strengthening quantum correlations across a confinement-induced resonance. We diagnosed the crossover from repulsive to attractive interactions in terms of the stiffness and energy of the system. Our results open up the experimental study of metastable, excited, many-body phases with strong correlations and their dynamical properties."}],"day":"01","date_created":"2018-12-11T11:49:50Z","title":"Realization of an excited, strongly correlated quantum gas Phase","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1006.0739"}],"volume":325,"acknowledgement":"We thank S. Giorgini and C. Menotti for helpful discussions and for providing the theory curves shown in Fig. 3A. We are indebted to R. Grimm for generous support and to H. Häffner and his group for the loan of a charge-coupled device camera. We gratefully acknowledge funding by the Austrian Ministry of Science and Research (Bundesministerium für Wissenschaft und Forschung) and the Austrian Science Fund (Fonds zur Förderung der wissenschaftlichen Forschung) in the form of a START prize grant and by the European Union through the Specific Targeted Research Project FP7-ICT-2007-C project NAME-QUAM (Nanodesigning of Atomic and Molecular Quantum Matter) and within the framework of the EuroQUASAR collective research project Quantum-Degenerate Gases for Precision Measurements. R.H. is supported by a Marie Curie International Incoming Fellowship within the 7th European Community Framework Programme.","citation":{"mla":"Haller, Elmar, et al. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” <i>Science</i>, vol. 325, no. 5945, American Association for the Advancement of Science, 2009, pp. 1224–27, doi:<a href=\"https://doi.org/10.1126/science.1175850\">10.1126/science.1175850</a>.","ieee":"E. Haller <i>et al.</i>, “Realization of an excited, strongly correlated quantum gas Phase,” <i>Science</i>, vol. 325, no. 5945. American Association for the Advancement of Science, pp. 1224–1227, 2009.","ama":"Haller E, Gustavsson M, Mark M, et al. Realization of an excited, strongly correlated quantum gas Phase. <i>Science</i>. 2009;325(5945):1224-1227. doi:<a href=\"https://doi.org/10.1126/science.1175850\">10.1126/science.1175850</a>","apa":"Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., &#38; Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1175850\">https://doi.org/10.1126/science.1175850</a>","ista":"Haller E, Gustavsson M, Mark M, Danzl JG, Hart R, Pupillo G, Nägerl H. 2009. Realization of an excited, strongly correlated quantum gas Phase. Science. 325(5945), 1224–1227.","short":"E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.","chicago":"Haller, Elmar, Mattias Gustavsson, Manfred Mark, Johann G Danzl, Russell Hart, Guido Pupillo, and Hanns Nägerl. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” <i>Science</i>. American Association for the Advancement of Science, 2009. <a href=\"https://doi.org/10.1126/science.1175850\">https://doi.org/10.1126/science.1175850</a>."},"external_id":{"arxiv":["1006.0739"]},"arxiv":1,"intvolume":"       325","publication":"Science","type":"journal_article","publist_id":"6348","doi":"10.1126/science.1175850","_id":"1040","page":"1224 - 1227","author":[{"last_name":"Haller","first_name":"Elmar","full_name":"Haller, Elmar"},{"last_name":"Gustavsson","first_name":"Mattias","full_name":"Gustavsson, Mattias"},{"last_name":"Mark","first_name":"Manfred","full_name":"Mark, Manfred"},{"last_name":"Danzl","orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","full_name":"Danzl, Johann G"},{"last_name":"Hart","full_name":"Hart, Russell","first_name":"Russell"},{"full_name":"Pupillo, Guido","first_name":"Guido","last_name":"Pupillo"},{"last_name":"Nägerl","full_name":"Nägerl, Hanns","first_name":"Hanns"}]},{"publist_id":"6349","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"New Journal of Physics","oa_version":"None","external_id":{"arxiv":["0812.5070"]},"citation":{"apa":"Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. <i>New Journal of Physics</i>. IOP Publishing Ltd. <a href=\"https://doi.org/10.1088/1367-2630/11/5/055036\">https://doi.org/10.1088/1367-2630/11/5/055036</a>","ama":"Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. <i>New Journal of Physics</i>. 2009;11. doi:<a href=\"https://doi.org/10.1088/1367-2630/11/5/055036\">10.1088/1367-2630/11/5/055036</a>","ieee":"J. G. Danzl <i>et al.</i>, “Deeply bound ultracold molecules in an optical lattice,” <i>New Journal of Physics</i>, vol. 11. IOP Publishing Ltd., 2009.","mla":"Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” <i>New Journal of Physics</i>, vol. 11, IOP Publishing Ltd., 2009, doi:<a href=\"https://doi.org/10.1088/1367-2630/11/5/055036\">10.1088/1367-2630/11/5/055036</a>.","chicago":"Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” <i>New Journal of Physics</i>. IOP Publishing Ltd., 2009. <a href=\"https://doi.org/10.1088/1367-2630/11/5/055036\">https://doi.org/10.1088/1367-2630/11/5/055036</a>.","short":"J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).","ista":"Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Liem A, Zellmer H, Nägerl H. 2009. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 11."},"acknowledgement":"We are indebted to R Grimm for generous support and we thank S Knoop, N Boloufa, and O Dulieu for valuable discussions. We gratefully acknowledge funding by the Austrian Ministry of Science and Research (BMWF) and the Austrian Science Fund (FWF) in the form of a START prize grant. RH acknowledges support by the European Union in the form of a Marie-Curie International Incoming Fellowship (IIF).","intvolume":"        11","arxiv":1,"author":[{"full_name":"Danzl, Johann G","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8559-3973","last_name":"Danzl"},{"last_name":"Mark","first_name":"Manfred","full_name":"Mark, Manfred"},{"full_name":"Haller, Elmar","first_name":"Elmar","last_name":"Haller"},{"last_name":"Gustavsson","first_name":"Mattias","full_name":"Gustavsson, Mattias"},{"full_name":"Hart, Russell","first_name":"Russell","last_name":"Hart"},{"full_name":"Liem, Andreas","first_name":"Andreas","last_name":"Liem"},{"full_name":"Zellmer, Holger","first_name":"Holger","last_name":"Zellmer"},{"last_name":"Nägerl","full_name":"Nägerl, Hanns","first_name":"Hanns"}],"status":"public","year":"2009","_id":"1041","doi":"10.1088/1367-2630/11/5/055036","date_updated":"2021-01-12T06:47:51Z","extern":"1","publication_status":"published","month":"03","date_published":"2009-03-14T00:00:00Z","publisher":"IOP Publishing Ltd.","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/0812.5070"}],"oa":1,"title":"Deeply bound ultracold molecules in an optical lattice","volume":11,"date_created":"2018-12-11T11:49:50Z","day":"14","abstract":[{"lang":"eng","text":"We demonstrate efficient transfer of ultracold molecules into a deeply bound rovibrational level of the singlet ground state potential in the presence of an optical lattice. The overall molecule creation efficiency is 25%, and the transfer efficiency to the rovibrational level |v = 73, J = 2) is above 80%. We find that the molecules in |v = 73, J = 2) are trapped in the optical lattice, and that the lifetime in the lattice is limited by optical excitation by the lattice light. The molecule trapping time for a lattice depth of 15 atomic recoil energies is about 20 ms. We determine the trapping frequency by the lattice phase and amplitude modulation technique. It will now be possible to transfer the molecules to the rovibrational ground state |v = 0, J = 0) in the presence of the optical lattice."}],"article_processing_charge":"No"},{"oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","year":"2009","publisher":"Royal Society of Chemistry","month":"01","date_published":"2009-01-01T00:00:00Z","date_updated":"2021-01-12T06:47:52Z","publication_status":"published","article_processing_charge":"No","oa":1,"citation":{"chicago":"Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” <i>Faraday Discussions</i>. Royal Society of Chemistry, 2009. <a href=\"https://doi.org/10.1039/b820542f\">https://doi.org/10.1039/b820542f</a>.","short":"J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.","ista":"Danzl JG, Mark M, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Ritsch H, Hart R, Nägerl H. 2009. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 142, 283–295.","apa":"Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. <i>Faraday Discussions</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/b820542f\">https://doi.org/10.1039/b820542f</a>","ama":"Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. <i>Faraday Discussions</i>. 2009;142:283-295. doi:<a href=\"https://doi.org/10.1039/b820542f\">10.1039/b820542f</a>","mla":"Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” <i>Faraday Discussions</i>, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi:<a href=\"https://doi.org/10.1039/b820542f\">10.1039/b820542f</a>.","ieee":"J. G. Danzl <i>et al.</i>, “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” <i>Faraday Discussions</i>, vol. 142. Royal Society of Chemistry, pp. 283–295, 2009."},"acknowledgement":"We are indebted to R. Grimm for generous support and we thank T. Bergeman, H.\r\nSalami, J. Hutson, J. Aldegunde, and E. Tiemann for valuable discussions. We\r\ngratefully acknowledge funding by the Austrian Ministry of Science and Research\r\n(BMWF) and the Austrian Science Fund (FWF) in the form of a START prize grant\r\nand by the European Science Foundation (ESF) in the framework of the EuroQUAM collective research project QuDipMol. R. H. acknowledges support by\r\nthe European Union in form of a Marie Curie International Incoming Fellowship\r\n(IIF).","external_id":{"arxiv":["0811.2374"]},"arxiv":1,"intvolume":"       142","type":"journal_article","publication":"Faraday Discussions","publist_id":"6347","doi":"10.1039/b820542f","_id":"1043","author":[{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","first_name":"Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"},{"first_name":"Manfred","full_name":"Mark, Manfred","last_name":"Mark"},{"last_name":"Haller","full_name":"Haller, Elmar","first_name":"Elmar"},{"first_name":"Mattias","full_name":"Gustavsson, Mattias","last_name":"Gustavsson"},{"last_name":"Bouloufa","full_name":"Bouloufa, Nadia","first_name":"Nadia"},{"last_name":"Dulieu","full_name":"Dulieu, Olivier","first_name":"Olivier"},{"last_name":"Ritsch","full_name":"Ritsch, Helmut","first_name":"Helmut"},{"last_name":"Hart","first_name":"Russell","full_name":"Hart, Russell"},{"first_name":"Hanns","full_name":"Nägerl, Hanns","last_name":"Nägerl"}],"page":"283 - 295","extern":"1","day":"01","abstract":[{"lang":"eng","text":"One possibility for the creation of ultracold, high phase space density quantum gases of molecules in the rovibronic ground state relies on first associating weakly-bound molecules from quantum-degenerate atomic gases on a Feshbach resonance and then transferring the molecules via several steps of coherent two-photon stimulated Raman adiabatic passage (STIRAP) into the rovibronic ground state. Here, in ultracold samples of Cs2 Feshbach molecules produced out of ultracold samples of Cs atoms, we observe several optical transitions to deeply-bound rovibrational levels of the excited 0 u+ molecular potentials with high resolution. At least one of these transitions, although rather weak, allows efficient STIRAP transfer into the deeply-bound vibrational level v = 73&gt; of the singlet X 1Σg+ ground state potential, as recently demonstrated (J. G. Danzl, E. Haller, M. Gustavsson, M. J. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, and H.-C. Nägerl, Science, 2008, 321, 1062). From this level, the rovibrational ground state v = 0, J = 0&gt; can be reached with one more transfer step. In total, our results show that coherent ground state transfer for Cs2 is possible using a maximum of two successive two-photon STIRAP processes or one single four-photon STIRAP process."}],"date_created":"2018-12-11T11:49:51Z","title":"Precision molecular spectroscopy for ground state transfer of molecular quantum gases","main_file_link":[{"url":"https://arxiv.org/abs/0811.2374","open_access":"1"}],"language":[{"iso":"eng"}],"volume":142}]