[{"abstract":[{"lang":"eng","text":"We consider probabilistic automata on infinite words with acceptance defined by parity conditions. We consider three qualitative decision problems: (i) the positive decision problem asks whether there is a word that is accepted with positive probability; (ii) the almost decision problem asks whether there is a word that is accepted with probability 1; and (iii) the limit decision problem asks whether for every ε > 0 there is a word that is accepted with probability at least 1 − ε. We unify and generalize several decidability results for probabilistic automata over infinite words, and identify a robust (closed under union and intersection) subclass of probabilistic automata for which all the qualitative decision problems are decidable for parity conditions. We also show that if the input words are restricted to lasso shape words, then the positive and almost problems are decidable for all probabilistic automata with parity conditions."}],"oa_version":"Published Version","alternative_title":["IST Austria Technical Report"],"publisher":"IST Austria","oa":1,"month":"04","publication_identifier":{"issn":["2664-1690"]},"has_accepted_license":"1","year":"2011","publication_status":"published","file":[{"date_created":"2018-12-12T11:54:23Z","file_name":"IST-2011-004_IST-2011-0004.pdf","date_updated":"2020-07-14T12:46:40Z","file_size":570827,"creator":"system","checksum":"f5a0f664fadc335990f5fcf138df19f1","file_id":"5545","content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"day":"11","language":[{"iso":"eng"}],"page":"30","related_material":{"record":[{"relation":"later_version","status":"public","id":"2957"}]},"doi":"10.15479/AT:IST-2011-0004","date_published":"2011-04-11T00:00:00Z","date_created":"2018-12-12T11:39:01Z","_id":"5384","type":"technical_report","status":"public","pubrep_id":"20","citation":{"ama":"Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004","apa":"Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004","ieee":"K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.","short":"K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.","mla":"Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.","ista":"Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.","chicago":"Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004."},"date_updated":"2023-02-23T11:05:53Z","ddc":["000","005"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"first_name":"Mathieu","id":"3F54FA38-F248-11E8-B48F-1D18A9856A87","last_name":"Tracol","full_name":"Tracol, Mathieu"}],"title":"Decidable problems for probabilistic automata on infinite words","department":[{"_id":"KrCh"}],"file_date_updated":"2020-07-14T12:46:40Z"},{"month":"07","publisher":"IEEE","quality_controlled":"1","scopus_import":"1","oa_version":"None","acknowledgement":"The first author is supported by the Austrian Science Fund (FWF) grant No. P20134-N13. The authors would like to thank Sebastian Nowozin for helpful discussions.","abstract":[{"text":"We introduce TopoCut: a new way to integrate knowledge about topological properties (TPs) into random field image segmentation model. Instead of including TPs as additional constraints during minimization of the energy function, we devise an efficient algorithm for modifying the unary potentials such that the resulting segmentation is guaranteed with the desired properties. Our method is more flexible in the sense that it handles more topology constraints than previous methods, which were only able to enforce pairwise or global connectivity. In particular, our method is very fast, making it for the first time possible to enforce global topological properties in practical image segmentation tasks.","lang":"eng"}],"related_material":{"record":[{"relation":"earlier_version","id":"5386","status":"public"}]},"doi":"10.1109/CVPR.2011.5995503","date_published":"2011-07-22T00:00:00Z","date_created":"2018-12-11T12:02:45Z","page":"2089 - 2096","day":"22","language":[{"iso":"eng"}],"publication":"CVPR: Computer Vision and Pattern Recognition","publication_identifier":{"isbn":["978-1-4577-0394-2"],"eisbn":["978-1-4577-0395-9"]},"publication_status":"published","year":"2011","status":"public","type":"conference","conference":{"start_date":"2011-06-20","end_date":"2011-06-25","location":"Colorado Springs, CO, United States","name":"CVPR: Conference on Computer Vision and Pattern Recognition"},"_id":"3336","title":"Enforcing topological constraints in random field image segmentation","department":[{"_id":"HeEd"},{"_id":"ChLa"}],"publist_id":"3294","author":[{"first_name":"Chao","id":"3E92416E-F248-11E8-B48F-1D18A9856A87","last_name":"Chen","full_name":"Chen, Chao"},{"last_name":"Freedman","full_name":"Freedman, Daniel","first_name":"Daniel"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-23T12:23:56Z","citation":{"ieee":"C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.","short":"C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.","ama":"Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503","apa":"Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. In CVPR: Computer Vision and Pattern Recognition (pp. 2089–2096). Colorado Springs, CO, United States: IEEE. https://doi.org/10.1109/CVPR.2011.5995503","mla":"Chen, Chao, et al. “Enforcing Topological Constraints in Random Field Image Segmentation.” CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–96, doi:10.1109/CVPR.2011.5995503.","ista":"Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.","chicago":"Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.” In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011. https://doi.org/10.1109/CVPR.2011.5995503."}},{"conference":{"name":"CADE 23: Automated Deduction ","location":"Wrocław, Poland","end_date":"2011-08-05","start_date":"2011-07-31"},"type":"conference","status":"public","_id":"3323","publist_id":"3312","author":[{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Wies, Thomas","last_name":"Wies"},{"full_name":"Muñiz, Marco","last_name":"Muñiz","first_name":"Marco"},{"full_name":"Kuncak, Viktor","last_name":"Kuncak","first_name":"Viktor"}],"department":[{"_id":"ToHe"}],"title":"An efficient decision procedure for imperative tree data structures","date_updated":"2023-02-23T12:23:48Z","citation":{"chicago":"Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,” 6803:476–91. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6_36.","ista":"Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.","mla":"Wies, Thomas, et al. An Efficient Decision Procedure for Imperative Tree Data Structures. Vol. 6803, Springer, 2011, pp. 476–91, doi:10.1007/978-3-642-22438-6_36.","short":"T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.","ieee":"T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.","apa":"Wies, T., Muñiz, M., & Kuncak, V. (2011). An efficient decision procedure for imperative tree data structures (Vol. 6803, pp. 476–491). Presented at the CADE 23: Automated Deduction , Wrocław, Poland: Springer. https://doi.org/10.1007/978-3-642-22438-6_36","ama":"Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNAI "],"quality_controlled":"1","scopus_import":1,"publisher":"Springer","intvolume":" 6803","month":"07","abstract":[{"text":"We present a new decidable logic called TREX for expressing constraints about imperative tree data structures. In particular, TREX supports a transitive closure operator that can express reachability constraints, which often appear in data structure invariants. We show that our logic is closed under weakest precondition computation, which enables its use for automated software verification. We further show that satisfiability of formulas in TREX is decidable in NP. The low complexity makes it an attractive alternative to more expensive logics such as monadic second-order logic (MSOL) over trees, which have been traditionally used for reasoning about tree data structures.","lang":"eng"}],"oa_version":"None","page":"476 - 491","date_created":"2018-12-11T12:02:40Z","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5383"}]},"doi":"10.1007/978-3-642-22438-6_36","date_published":"2011-07-19T00:00:00Z","volume":6803,"publication_status":"published","year":"2011","language":[{"iso":"eng"}],"day":"19"},{"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","_id":"25F1337C-B435-11E9-9278-68D0E5697425","name":"Design for Embedded Systems","grant_number":"214373"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.","short":"P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.","ieee":"P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.","ama":"Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20","apa":"Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20","chicago":"Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.","ista":"Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259."},"title":"Quantitative synthesis for concurrent programs","editor":[{"first_name":"Ganesh","last_name":"Gopalakrishnan","full_name":"Gopalakrishnan, Ganesh"},{"last_name":"Qadeer","full_name":"Qadeer, Shaz","first_name":"Shaz"}],"article_processing_charge":"No","author":[{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","full_name":"Cerny, Pavol"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","last_name":"Radhakrishna","full_name":"Radhakrishna, Arjun"},{"full_name":"Singh, Rohit","last_name":"Singh","first_name":"Rohit"}],"publist_id":"3247","oa":1,"quality_controlled":"1","publisher":"Springer","day":"21","year":"2011","has_accepted_license":"1","date_created":"2018-12-11T12:02:55Z","doi":"10.1007/978-3-642-22110-1_20","date_published":"2011-04-21T00:00:00Z","page":"243 - 259","_id":"3366","pubrep_id":"76","status":"public","conference":{"location":"Snowbird, USA","end_date":"2011-07-20","start_date":"2011-07-14","name":"CAV: Computer Aided Verification"},"type":"conference","ddc":["000","004"],"date_updated":"2023-02-23T12:24:01Z","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"file_date_updated":"2020-07-14T12:46:10Z","oa_version":"Submitted Version","abstract":[{"text":"We present an algorithmic method for the quantitative, performance-aware synthesis of concurrent programs. The input consists of a nondeterministic partial program and of a parametric performance model. The nondeterminism allows the programmer to omit which (if any) synchronization construct is used at a particular program location. The performance model, specified as a weighted automaton, can capture system architectures by assigning different costs to actions such as locking, context switching, and memory and cache accesses. The quantitative synthesis problem is to automatically resolve the nondeterminism of the partial program so that both correctness is guaranteed and performance is optimal. As is standard for shared memory concurrency, correctness is formalized "specification free", in particular as race freedom or deadlock freedom. For worst-case (average-case) performance, we show that the problem can be reduced to 2-player graph games (with probabilistic transitions) with quantitative objectives. While we show, using game-theoretic methods, that the synthesis problem is Nexp-complete, we present an algorithmic method and an implementation that works efficiently for concurrent programs and performance models of practical interest. We have implemented a prototype tool and used it to synthesize finite-state concurrent programs that exhibit different programming patterns, for several performance models representing different architectures. ","lang":"eng"}],"intvolume":" 6806","month":"04","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"file":[{"creator":"system","date_updated":"2020-07-14T12:46:10Z","file_size":508946,"date_created":"2018-12-12T10:15:51Z","file_name":"IST-2012-76-v1+1_Quantitative_synthesis_for_concurrent_programs.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","checksum":"c033689355f45742dc7c99b5af13ce7a","file_id":"5174"}],"publication_status":"published","ec_funded":1,"related_material":{"record":[{"id":"5388","status":"public","relation":"earlier_version"}]},"volume":6806},{"publisher":"Springer","quality_controlled":"1","oa":1,"day":"28","year":"2011","doi":"10.1007/978-3-642-22993-0_21","date_published":"2011-09-28T00:00:00Z","date_created":"2018-12-11T12:02:48Z","page":"206 - 218","project":[{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.","short":"K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.","ieee":"K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.","apa":"Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21","ama":"Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21","mla":"Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21."},"title":"Energy and mean-payoff parity Markov Decision Processes","publist_id":"3276","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"last_name":"Doyen","full_name":"Doyen, Laurent","first_name":"Laurent"}],"external_id":{"arxiv":["1104.2909"]},"oa_version":"Preprint","abstract":[{"text":"We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode ω-regular specifications, and the mean-payoff and energy objectives can be used to model quantitative resource constraints. The energy condition re- quires that the resource level never drops below 0, and the mean-payoff condi- tion requires that the limit-average value of the resource consumption is within a threshold. While these two (energy and mean-payoff) classical conditions are equivalent for two-player games, we show that they differ for MDPs. We show that the problem of deciding whether a state is almost-sure winning (i.e., winning with probability 1) in energy parity MDPs is in NP ∩ coNP, while for mean- payoff parity MDPs, the problem is solvable in polynomial time, improving a recent PSPACE bound.","lang":"eng"}],"month":"09","intvolume":" 6907","scopus_import":1,"alternative_title":["LNCS"],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1104.2909"}],"language":[{"iso":"eng"}],"publication_status":"published","related_material":{"record":[{"relation":"earlier_version","id":"5387","status":"public"}]},"volume":6907,"_id":"3345","status":"public","type":"conference","conference":{"name":"MFCS: Mathematical Foundations of Computer Science","start_date":"2011-08-22","location":"Warsaw, Poland","end_date":"2011-08-26"},"date_updated":"2023-02-23T12:23:59Z","department":[{"_id":"KrCh"}]},{"date_created":"2018-12-12T11:39:02Z","date_published":"2011-02-16T00:00:00Z","doi":"10.15479/AT:IST-2011-0001","related_material":{"record":[{"relation":"later_version","id":"3345","status":"public"}]},"page":"20","language":[{"iso":"eng"}],"file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"5458","checksum":"824d6c70e6d3feb3e836b009e0b3cf73","creator":"system","file_size":329976,"date_updated":"2020-07-14T12:46:41Z","file_name":"IST-2011-0001_IST-2011-0001.pdf","date_created":"2018-12-12T11:52:57Z"}],"day":"16","publication_status":"published","year":"2011","has_accepted_license":"1","publication_identifier":{"issn":["2664-1690"]},"month":"02","oa":1,"publisher":"IST Austria","alternative_title":["IST Austria Technical Report"],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode ω-regular specifications, and the mean-payoff and energy objectives can be used to model quantitative resource constraints. The energy condition re- quires that the resource level never drops below 0, and the mean-payoff condi- tion requires that the limit-average value of the resource consumption is within a threshold. While these two (energy and mean-payoff) classical conditions are equivalent for two-player games, we show that they differ for MDPs. We show that the problem of deciding whether a state is almost-sure winning (i.e., winning with probability 1) in energy parity MDPs is in NP ∩ coNP, while for mean- payoff parity MDPs, the problem is solvable in polynomial time, improving a recent PSPACE bound."}],"file_date_updated":"2020-07-14T12:46:41Z","department":[{"_id":"KrCh"}],"title":"Energy and mean-payoff parity Markov decision processes","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000","005"],"date_updated":"2023-02-23T11:23:11Z","citation":{"ama":"Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001","apa":"Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001","short":"K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.","ieee":"K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.","ista":"Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001."},"pubrep_id":"23","status":"public","type":"technical_report","_id":"5387"},{"status":"public","type":"journal_article","_id":"580","title":"Quantum physics: How to catch a wave","author":[{"first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2031-204X","full_name":"Onur Hosten","last_name":"Hosten"}],"publist_id":"7224","extern":1,"date_updated":"2021-01-12T08:03:34Z","citation":{"ista":"Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.","chicago":"Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature. Nature Publishing Group, 2011. https://doi.org/10.1038/474170a.","ama":"Hosten O. Quantum physics: How to catch a wave. Nature. 2011;474(7350):170-171. doi:10.1038/474170a","apa":"Hosten, O. (2011). Quantum physics: How to catch a wave. Nature. Nature Publishing Group. https://doi.org/10.1038/474170a","short":"O. Hosten, Nature 474 (2011) 170–171.","ieee":"O. Hosten, “Quantum physics: How to catch a wave,” Nature, vol. 474, no. 7350. Nature Publishing Group, pp. 170–171, 2011.","mla":"Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature, vol. 474, no. 7350, Nature Publishing Group, 2011, pp. 170–71, doi:10.1038/474170a."},"month":"06","intvolume":" 474","publisher":"Nature Publishing Group","quality_controlled":0,"doi":"10.1038/474170a","issue":"7350","volume":474,"date_published":"2011-06-08T00:00:00Z","date_created":"2018-12-11T11:47:18Z","page":"170 - 171","day":"08","publication":"Nature","year":"2011","publication_status":"published"},{"publication_status":"published","year":"2011","day":"01","doi":"10.1364/CLEO_AT.2011.JThB130","date_published":"2011-01-01T00:00:00Z","date_created":"2018-12-11T11:47:20Z","abstract":[{"text":"We present two independent schemes for the precise focusing of orthogonal polarizations of light at arbitrary relative locations. The first scheme uses a polarization Sagnac interferometer, the second a set of three birefringent elements.\n\n","lang":"eng"}],"quality_controlled":0,"alternative_title":["Optics InfoBase Conference Papers"],"publisher":"OSA","month":"01","citation":{"chicago":"Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.” OSA, 2011. https://doi.org/10.1364/CLEO_AT.2011.JThB130.","ista":"Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods towards achieving precise birefringent focusing. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .","mla":"Schmid, David, et al. Methods towards Achieving Precise Birefringent Focusing. OSA, 2011, doi:10.1364/CLEO_AT.2011.JThB130.","apa":"Schmid, D., Hazrat, S., Rangarajan, R., Hosten, O., Quint, S., & Kwiat, P. (2011). Methods towards achieving precise birefringent focusing. Presented at the QELS: Quantum Electronics and Laser Science, OSA. https://doi.org/10.1364/CLEO_AT.2011.JThB130","ama":"Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. Methods towards achieving precise birefringent focusing. In: OSA; 2011. doi:10.1364/CLEO_AT.2011.JThB130","short":"D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.","ieee":"D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, and P. Kwiat, “Methods towards achieving precise birefringent focusing,” presented at the QELS: Quantum Electronics and Laser Science, 2011."},"date_updated":"2021-01-12T08:03:44Z","extern":1,"author":[{"last_name":"Schmid","full_name":"Schmid, David","first_name":"David"},{"full_name":"Hazrat, Shiraz","last_name":"Hazrat","first_name":"Shiraz"},{"first_name":"Radhika","last_name":"Rangarajan","full_name":"Rangarajan, Radhika"},{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","orcid":"0000-0002-2031-204X","full_name":"Onur Hosten","last_name":"Hosten"},{"first_name":"Stephan","last_name":"Quint","full_name":"Quint, Stephan"},{"first_name":"Paul","full_name":"Kwiat, Paul G","last_name":"Kwiat"}],"publist_id":"7220","title":"Methods towards achieving precise birefringent focusing","_id":"585","type":"conference","conference":{"name":"QELS: Quantum Electronics and Laser Science"},"status":"public"},{"_id":"586","status":"public","type":"journal_article","extern":1,"citation":{"chicago":"Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.063904.","ista":"Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 107(6).","mla":"Vrijsen, Geert, et al. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters, vol. 107, no. 6, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.063904.","ama":"Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 2011;107(6). doi:10.1103/PhysRevLett.107.063904","apa":"Vrijsen, G., Hosten, O., Lee, J., Bernon, S., & Kasevich, M. (2011). Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.063904","ieee":"G. Vrijsen, O. Hosten, J. Lee, S. Bernon, and M. Kasevich, “Raman lasing with a cold atom gain medium in a high-finesse optical cavity,” Physical Review Letters, vol. 107, no. 6. American Physical Society, 2011.","short":"G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011)."},"date_updated":"2021-01-12T08:05:05Z","title":"Raman lasing with a cold atom gain medium in a high-finesse optical cavity","publist_id":"7223","author":[{"last_name":"Vrijsen","full_name":"Vrijsen, Geert","first_name":"Geert"},{"first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten","orcid":"0000-0002-2031-204X","full_name":"Onur Hosten"},{"first_name":"Jongmin","last_name":"Lee","full_name":"Lee, Jongmin"},{"full_name":"Bernon, Simon","last_name":"Bernon","first_name":"Simon"},{"last_name":"Kasevich","full_name":"Kasevich, Mark A","first_name":"Mark"}],"abstract":[{"lang":"eng","text":"We demonstrate a Raman laser using cold Rb87 atoms as the gain medium in a high-finesse optical cavity. We observe robust continuous wave lasing in the atypical regime where single atoms can considerably affect the cavity field. Consequently, we discover unusual lasing threshold behavior in the system causing jumps in lasing power, and propose a model to explain the effect. We also measure the intermode laser linewidth, and observe values as low as 80Hz. The tunable gain properties of this laser suggest multiple directions for future research."}],"month":"08","intvolume":" 107","publisher":"American Physical Society","quality_controlled":0,"day":"04","publication":"Physical Review Letters","publication_status":"published","year":"2011","issue":"6","date_published":"2011-08-04T00:00:00Z","doi":"10.1103/PhysRevLett.107.063904","volume":107,"date_created":"2018-12-11T11:47:20Z"},{"abstract":[{"lang":"eng","text":"The macromolecular assembly required to initiate transcription of protein-coding genes, known as the Pre-Initiation Complex (PIC), consists of multiple protein complexes and is approximately 3.5 MDa in size. At the heart of this assembly is the Mediator complex, which helps regulate PIC activity and interacts with the RNA polymerase II (pol II) enzyme. The structure of the human Mediator-pol II interface is not well-characterized, whereas attempts to structurally define the Mediator-pol II interaction in yeast have relied on incomplete assemblies of Mediator and/or pol II and have yielded inconsistent interpretations. We have assembled the complete, 1.9 MDa human Mediator-pol II-TFIIF complex from purified components and have characterized its structural organization using cryo-electron microscopy and single-particle reconstruction techniques. The orientation of pol II within this assembly was determined by crystal structure docking and further validated with projection matching experiments, allowing the structural organization of the entire human PIC to be envisioned. Significantly, pol II orientation within the Mediator-pol II-TFIIF assembly can be reconciled with past studies that determined the location of other PIC components relative to pol II itself. Pol II surfaces required for interacting with TFIIB, TFIIE, and promoter DNA (i.e., the pol II cleft) are exposed within the Mediator-pol II-TFIIF structure; RNA exit is unhindered along the RPB4/7 subunits; upstream and downstream DNA is accessible for binding additional factors; and no major structural re-organization is necessary to accommodate the large, multi-subunit TFIIH or TFIID complexes. The data also reveal how pol II binding excludes Mediator-CDK8 subcomplex interactions and provide a structural basis for Mediator-dependent control of PIC assembly and function. Finally, parallel structural analysis of Mediator-pol II complexes lacking TFIIF reveal that TFIIF plays a key role in stabilizing pol II orientation within the assembly."}],"oa_version":"None","publisher":"Public Library of Science","month":"03","intvolume":" 9","publication_status":"published","year":"2011","day":"01","publication":"PLoS Biology","language":[{"iso":"eng"}],"volume":9,"date_published":"2011-03-01T00:00:00Z","issue":"3","doi":"10.1371/journal.pbio.1000603","date_created":"2018-12-11T11:47:24Z","_id":"597","type":"journal_article","status":"public","date_updated":"2021-01-12T08:05:25Z","citation":{"ista":"Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).","chicago":"Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.” PLoS Biology. Public Library of Science, 2011. https://doi.org/10.1371/journal.pbio.1000603.","ieee":"C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, and D. Taatjes, “Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly,” PLoS Biology, vol. 9, no. 3. Public Library of Science, 2011.","short":"C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).","apa":"Bernecky, C., Grob, P., Ebmeier, C., Nogales, E., & Taatjes, D. (2011). Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000603","ama":"Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 2011;9(3). doi:10.1371/journal.pbio.1000603","mla":"Bernecky, Carrie, et al. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.” PLoS Biology, vol. 9, no. 3, Public Library of Science, 2011, doi:10.1371/journal.pbio.1000603."},"extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Carrie A","id":"2CB9DFE2-F248-11E8-B48F-1D18A9856A87","full_name":"Bernecky, Carrie A","orcid":"0000-0003-0893-7036","last_name":"Bernecky"},{"last_name":"Grob","full_name":"Grob, Patricia","first_name":"Patricia"},{"first_name":"Christopher","full_name":"Ebmeier, Christopher","last_name":"Ebmeier"},{"full_name":"Nogales, Eva","last_name":"Nogales","first_name":"Eva"},{"first_name":"Dylan","full_name":"Taatjes, Dylan","last_name":"Taatjes"}],"publist_id":"7209","article_processing_charge":"No","title":"Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly"},{"year":"2011","has_accepted_license":"1","publication":"PLoS Genetics","day":"17","date_created":"2019-03-20T15:08:23Z","date_published":"2011-03-17T00:00:00Z","doi":"10.1371/journal.pgen.1001341","oa":1,"publisher":"Public Library of Science","quality_controlled":"1","citation":{"ista":"Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.","chicago":"Arellano-Carbajal, Fausto, Luis Briseño-Roa, Africa Couto, Benny H. H. Cheung, Michel Labouesse, and Mario de Bono. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics. Public Library of Science, 2011. https://doi.org/10.1371/journal.pgen.1001341.","ama":"Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 2011;7(3). doi:10.1371/journal.pgen.1001341","apa":"Arellano-Carbajal, F., Briseño-Roa, L., Couto, A., Cheung, B. H. H., Labouesse, M., & de Bono, M. (2011). Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1001341","short":"F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).","ieee":"F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse, and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public Library of Science, 2011.","mla":"Arellano-Carbajal, Fausto, et al. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics, vol. 7, no. 3, e1001341, Public Library of Science, 2011, doi:10.1371/journal.pgen.1001341."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["21437263"]},"author":[{"full_name":"Arellano-Carbajal, Fausto","last_name":"Arellano-Carbajal","first_name":"Fausto"},{"first_name":"Luis","last_name":"Briseño-Roa","full_name":"Briseño-Roa, Luis"},{"last_name":"Couto","full_name":"Couto, Africa","first_name":"Africa"},{"first_name":"Benny H. H.","full_name":"Cheung, Benny H. H.","last_name":"Cheung"},{"first_name":"Michel","full_name":"Labouesse, Michel","last_name":"Labouesse"},{"id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","last_name":"de Bono","orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario"}],"title":"Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability","article_number":"e1001341","publication_status":"published","publication_identifier":{"issn":["1553-7404"]},"language":[{"iso":"eng"}],"file":[{"file_name":"2011_PLOS_Arellano-Carbajal.PDF","date_created":"2019-03-20T15:18:11Z","creator":"kschuh","file_size":5625063,"date_updated":"2020-07-14T12:47:20Z","checksum":"c609b2ce616d7dafbb617ec5d022f1ea","file_id":"6141","relation":"main_file","access_level":"open_access","content_type":"application/pdf"}],"issue":"3","volume":7,"abstract":[{"text":"Genome sequence comparisons have highlighted many novel gene families that are conserved across animal phyla but whose biological function is unknown. Here, we functionally characterize a member of one such family, the macoilins. Macoilins are characterized by several highly conserved predicted transmembrane domains towards the N-terminus and by coiled-coil regions C-terminally. They are found throughout Eumetazoa but not in other organisms. Mutants for the single Caenorhabditis elegans macoilin, maco-1, exhibit a constellation of behavioral phenotypes, including defects in aggregation, O2 responses, and swimming. MACO-1 protein is expressed broadly and specifically in the nervous system and localizes to the rough endoplasmic reticulum; it is excluded from dendrites and axons. Apart from subtle synapse defects, nervous system development appears wild-type in maco-1 mutants. However, maco-1 animals are resistant to the cholinesterase inhibitor aldicarb and sensitive to levamisole, suggesting pre-synaptic defects. Using in vivo imaging, we show that macoilin is required to evoke Ca2+ transients, at least in some neurons: in maco-1 mutants the O2-sensing neuron PQR is unable to generate a Ca2+ response to a rise in O2. By genetically disrupting neurotransmission, we show that pre-synaptic input is not necessary for PQR to respond to O2, indicating that the response is mediated by cell-intrinsic sensory transduction and amplification. Disrupting the sodium leak channels NCA-1/NCA-2, or the N-,P/Q,R-type voltage-gated Ca2+ channels, also fails to disrupt Ca2+ responses in the PQR cell body to O2 stimuli. By contrast, mutations in egl-19, which encodes the only Caenorhabditis elegans L-type voltage-gated Ca2+ channel α1 subunit, recapitulate the Ca2+ response defect we see in maco-1 mutants, although we do not see defects in localization of EGL-19. Together, our data suggest that macoilin acts in the ER to regulate assembly or traffic of ion channels or ion channel regulators.","lang":"eng"}],"oa_version":"Published Version","pmid":1,"intvolume":" 7","month":"03","date_updated":"2021-01-12T08:06:19Z","ddc":["570"],"extern":"1","file_date_updated":"2020-07-14T12:47:20Z","_id":"6140","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","status":"public"},{"year":"2011","publication":"Proceedings of the National Academy of Sciences","day":"20","page":"20672-20677","date_created":"2019-03-20T14:30:06Z","doi":"10.1073/pnas.1106134109","date_published":"2011-12-20T00:00:00Z","oa":1,"publisher":"National Academy of Sciences","quality_controlled":"1","citation":{"ama":"Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2011;108(51):20672-20677. doi:10.1073/pnas.1106134109","apa":"Milward, K., Busch, K. E., Murphy, R. J., de Bono, M., & Olofsson, B. (2011). Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1106134109","short":"K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.","ieee":"K. Milward, K. E. Busch, R. J. Murphy, M. de Bono, and B. Olofsson, “Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 108, no. 51. National Academy of Sciences, pp. 20672–20677, 2011.","mla":"Milward, K., et al. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences, vol. 108, no. 51, National Academy of Sciences, 2011, pp. 20672–77, doi:10.1073/pnas.1106134109.","ista":"Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.","chicago":"Milward, K., K. E. Busch, R. J. Murphy, Mario de Bono, and B. Olofsson. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1106134109."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["22135454"]},"author":[{"first_name":"K.","full_name":"Milward, K.","last_name":"Milward"},{"last_name":"Busch","full_name":"Busch, K. E.","first_name":"K. E."},{"last_name":"Murphy","full_name":"Murphy, R. J.","first_name":"R. J."},{"id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","last_name":"de Bono"},{"last_name":"Olofsson","full_name":"Olofsson, B.","first_name":"B."}],"title":"Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans","publication_status":"published","publication_identifier":{"issn":["0027-8424","1091-6490"]},"language":[{"iso":"eng"}],"volume":108,"issue":"51","abstract":[{"lang":"eng","text":"Variation in food quality and abundance requires animals to decide whether to stay on a poor food patch or leave in search of better food. An important question in behavioral ecology asks when is it optimal for an animal to leave a food patch it is depleting. Although optimal foraging is central to evolutionary success, the neural and molecular mechanisms underlying it are poorly understood. Here we investigate the neuronal basis for adaptive food-leaving behavior in response to resource depletion in Caenorhabditis elegans, and identify several of the signaling pathways involved. The ASE neurons, previously implicated in salt chemoattraction, promote food-leaving behavior via a cGMP pathway as food becomes limited. High ambient O2 promotes food-leaving via the O2-sensing neurons AQR, PQR, and URX. Ectopic activation of these neurons using channelrhodopsin is sufficient to induce high food-leaving behavior. In contrast, the neuropeptide receptor NPR-1, which regulates social behavior on food, acts in the ASE neurons, the nociceptive ASH neurons, and in the RMG interneuron to repress food-leaving. Finally, we show that neuroendocrine signaling by TGF-β/DAF-7 and neuronal insulin signaling are necessary for adaptive food-leaving behavior. We suggest that animals integrate information about their nutritional state with ambient oxygen and gustatory stimuli to formulate optimal foraging strategies."}],"pmid":1,"oa_version":"Submitted Version","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3251049/","open_access":"1"}],"intvolume":" 108","month":"12","date_updated":"2021-01-12T08:06:18Z","extern":"1","_id":"6137","type":"journal_article","status":"public"},{"citation":{"mla":"Bretscher, Andrew Jonathan, et al. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.” Neuron, vol. 69, no. 6, Elsevier BV, 2011, pp. 1099–113, doi:10.1016/j.neuron.2011.02.023.","ama":"Bretscher AJ, Kodama-Namba E, Busch KE, et al. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 2011;69(6):1099-1113. doi:10.1016/j.neuron.2011.02.023","apa":"Bretscher, A. J., Kodama-Namba, E., Busch, K. E., Murphy, R. J., Soltesz, Z., Laurent, P., & de Bono, M. (2011). Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. Elsevier BV. https://doi.org/10.1016/j.neuron.2011.02.023","ieee":"A. J. Bretscher et al., “Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior,” Neuron, vol. 69, no. 6. Elsevier BV, pp. 1099–1113, 2011.","short":"A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.","chicago":"Bretscher, Andrew Jonathan, Eiji Kodama-Namba, Karl Emanuel Busch, Robin Joseph Murphy, Zoltan Soltesz, Patrick Laurent, and Mario de Bono. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.” Neuron. Elsevier BV, 2011. https://doi.org/10.1016/j.neuron.2011.02.023.","ista":"Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["21435556"]},"author":[{"last_name":"Bretscher","full_name":"Bretscher, Andrew Jonathan","first_name":"Andrew Jonathan"},{"first_name":"Eiji","full_name":"Kodama-Namba, Eiji","last_name":"Kodama-Namba"},{"last_name":"Busch","full_name":"Busch, Karl Emanuel","first_name":"Karl Emanuel"},{"first_name":"Robin Joseph","full_name":"Murphy, Robin Joseph","last_name":"Murphy"},{"first_name":"Zoltan","full_name":"Soltesz, Zoltan","last_name":"Soltesz"},{"first_name":"Patrick","full_name":"Laurent, Patrick","last_name":"Laurent"},{"first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","last_name":"de Bono"}],"title":"Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior","oa":1,"quality_controlled":"1","publisher":"Elsevier BV","year":"2011","has_accepted_license":"1","publication":"Neuron","day":"24","page":"1099-1113","date_created":"2019-03-20T15:01:41Z","doi":"10.1016/j.neuron.2011.02.023","date_published":"2011-03-24T00:00:00Z","_id":"6138","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","status":"public","date_updated":"2021-01-12T08:06:18Z","ddc":["570"],"extern":"1","file_date_updated":"2020-07-14T12:47:20Z","oa_version":"Published Version","pmid":1,"intvolume":" 69","month":"03","publication_status":"published","publication_identifier":{"issn":["0896-6273"]},"language":[{"iso":"eng"}],"file":[{"checksum":"547cffd123f4c508ae927c9244b8f92a","file_id":"6139","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2011_Cell_Bretscher.pdf","date_created":"2019-03-20T15:06:32Z","creator":"kschuh","file_size":2448332,"date_updated":"2020-07-14T12:47:20Z"}],"volume":69,"issue":"6"},{"_id":"6298","status":"public","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","citation":{"mla":"Baranova, Natalia S., et al. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.” Journal of Biological Chemistry, vol. 286, no. 29, American Society for Biochemistry & Molecular Biology, 2011, pp. 25675–86, doi:10.1074/jbc.m111.247395.","apa":"Baranova, N. S., Nilebäck, E., Haller, F. M., Briggs, D. C., Svedhem, S., Day, A. J., & Richter, R. P. (2011). The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m111.247395","ama":"Baranova NS, Nilebäck E, Haller FM, et al. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 2011;286(29):25675-25686. doi:10.1074/jbc.m111.247395","short":"N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.","ieee":"N. S. Baranova et al., “The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers,” Journal of Biological Chemistry, vol. 286, no. 29. American Society for Biochemistry & Molecular Biology, pp. 25675–25686, 2011.","chicago":"Baranova, Natalia S., Erik Nilebäck, F. Michael Haller, David C. Briggs, Sofia Svedhem, Anthony J. Day, and Ralf P. Richter. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.” Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology, 2011. https://doi.org/10.1074/jbc.m111.247395.","ista":"Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686."},"date_updated":"2021-01-12T08:06:58Z","title":"The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers","author":[{"last_name":"Baranova","orcid":"0000-0002-3086-9124","full_name":"Baranova, Natalia","first_name":"Natalia","id":"38661662-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nilebäck, Erik","last_name":"Nilebäck","first_name":"Erik"},{"first_name":"F. Michael","last_name":"Haller","full_name":"Haller, F. Michael"},{"first_name":"David C.","last_name":"Briggs","full_name":"Briggs, David C."},{"last_name":"Svedhem","full_name":"Svedhem, Sofia","first_name":"Sofia"},{"last_name":"Day","full_name":"Day, Anthony J.","first_name":"Anthony J."},{"last_name":"Richter","full_name":"Richter, Ralf P.","first_name":"Ralf P."}],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Tumor necrosis factor-stimulated gene-6 (TSG-6) is a hyalu-ronan (HA)-binding protein that plays important roles ininflammation and ovulation. TSG-6-mediated cross-linking ofHA has been proposed as a functional mechanism (e.g.for regu-lating leukocyte adhesion), but direct evidence for cross-linkingis lacking, and we know very little about its impact on HA ultra-structure. Here we used films of polymeric and oligomeric HAchains, end-grafted to a solid support, and a combination ofsurface-sensitive biophysical techniques to quantify the bindingof TSG-6 into HA films and to correlate binding to morpholog-ical changes. We find that full-length TSG-6 binds with pro-nounced positive cooperativity and demonstrate that it cancross-link HA at physiologically relevant concentrations. Ourdata indicate that cooperative binding of full-length TSG-6arises from HA-induced protein oligomerization and that theTSG-6 oligomers act as cross-linkers. In contrast, the HA-bind-ing domain of TSG-6 (the Link module) alone binds withoutpositive cooperativity and weaker than the full-length protein.Both the Link module and full-length TSG-6 condensed andrigidified HA films, and the degree of condensation scaled withthe affinity between the TSG-6 constructs and HA. We proposethat condensation is the result of protein-mediated HA cross-linking. Our findings firmly establish that TSG-6 is a potent HAcross-linking agent and might hence have important implica-tions for the mechanistic understanding of the biological func-tion of TSG-6 (e.g.in inflammation)."}],"intvolume":" 286","month":"07","oa":1,"main_file_link":[{"open_access":"1","url":"http://www.jbc.org/content/286/29/25675.full.pdf"}],"publisher":"American Society for Biochemistry & Molecular Biology","quality_controlled":"1","language":[{"iso":"eng"}],"publication":"Journal of Biological Chemistry","day":"22","year":"2011","publication_status":"published","publication_identifier":{"issn":["0021-9258","1083-351X"]},"date_created":"2019-04-11T20:57:43Z","date_published":"2011-07-22T00:00:00Z","doi":"10.1074/jbc.m111.247395","issue":"29","volume":286,"page":"25675-25686"},{"title":"Noise underlies switching behavior of the bacterial flagellum","article_processing_charge":"No","external_id":{"pmid":["22098731"]},"author":[{"first_name":"Heungwon","last_name":"Park","full_name":"Park, Heungwon"},{"full_name":"Oikonomou, Panos","last_name":"Oikonomou","first_name":"Panos"},{"last_name":"Guet","orcid":"0000-0001-6220-2052","full_name":"Guet, Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C"},{"first_name":"Philippe","full_name":"Cluzel, Philippe","last_name":"Cluzel"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal, vol. 101, no. 10, Elsevier, 2011, pp. 2336–40, doi:10.1016/j.bpj.2011.09.040.","apa":"Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2011.09.040","ama":"Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi:10.1016/j.bpj.2011.09.040","short":"H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.","ieee":"H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.","chicago":"Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal. Elsevier, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.","ista":"Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340."},"date_created":"2019-05-28T11:54:29Z","doi":"10.1016/j.bpj.2011.09.040","date_published":"2011-11-16T00:00:00Z","page":"2336-2340","publication":"Biophysical Journal","day":"16","year":"2011","oa":1,"publisher":"Elsevier","quality_controlled":"1","department":[{"_id":"CaGu"}],"date_updated":"2021-04-16T11:54:49Z","status":"public","type":"journal_article","_id":"6496","volume":101,"issue":"10","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0006-3495"]},"intvolume":" 101","month":"11","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3218319/","open_access":"1"}],"scopus_import":"1","pmid":1,"oa_version":"Published Version","abstract":[{"text":"We report the switching behavior of the full bacterial flagellum system that includes the filament and the motor in wild-type Escherichia coli cells. In sorting the motor behavior by the clockwise bias, we find that the distributions of the clockwise (CW) and counterclockwise (CCW) intervals are either exponential or nonexponential with long tails. At low bias, CW intervals are exponentially distributed and CCW intervals exhibit long tails. At intermediate CW bias (0.5) both CW and CCW intervals are mainly exponentially distributed. A simple model suggests that these two distinct switching behaviors are governed by the presence of signaling noise within the chemotaxis network. Low noise yields exponentially distributed intervals, whereas large noise yields nonexponential behavior with long tails. These drastically different motor statistics may play a role in optimizing bacterial behavior for a wide range of environmental conditions.","lang":"eng"}]},{"status":"public","type":"journal_article","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"_id":"6749","file_date_updated":"2020-07-14T12:47:39Z","extern":"1","ddc":["000"],"date_updated":"2021-01-12T08:08:50Z","month":"09","intvolume":" 1","oa_version":"Published Version","abstract":[{"text":"This article refers to algorithms based on finite difference schemes for computing mean and affine curvature evolutions of digital images, introduced by Alvarez and Morel [L. Alvarez, J.M. Morel, “Formalization and computational aspects of image analysis”, Acta Numerica, pp. 159, 1994]. We discuss consistency, stability and convergence. Our analysis focuses on some possible choices of the parameters, choices that generate multiple variants in the implementations. Meaningful visual examples on how the algorithms actually work are provided.","lang":"eng"}],"volume":1,"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","file":[{"file_name":"2011_IPOL_Mondelli.pdf","date_created":"2019-08-01T06:34:21Z","file_size":2793903,"date_updated":"2020-07-14T12:47:39Z","creator":"dernst","checksum":"910710811224c633202791e0c217d05d","file_id":"6751","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2105-1232"]},"publication_status":"published","title":"Finite difference schemes for MCM and AMSS","author":[{"first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli","orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco"},{"first_name":"Adina","last_name":"Ciomaga","full_name":"Ciomaga, Adina"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and AMSS.” Image Processing On Line, vol. 1, IPOL Image Processing On Line, 2011, pp. 127–77, doi:10.5201/ipol.2011.cm_fds.","ieee":"M. Mondelli and A. Ciomaga, “Finite difference schemes for MCM and AMSS,” Image Processing On Line, vol. 1. IPOL Image Processing On Line, pp. 127–177, 2011.","short":"M. Mondelli, A. Ciomaga, Image Processing On Line 1 (2011) 127–177.","ama":"Mondelli M, Ciomaga A. Finite difference schemes for MCM and AMSS. Image Processing On Line. 2011;1:127-177. doi:10.5201/ipol.2011.cm_fds","apa":"Mondelli, M., & Ciomaga, A. (2011). Finite difference schemes for MCM and AMSS. Image Processing On Line. IPOL Image Processing On Line. https://doi.org/10.5201/ipol.2011.cm_fds","chicago":"Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and AMSS.” Image Processing On Line. IPOL Image Processing On Line, 2011. https://doi.org/10.5201/ipol.2011.cm_fds.","ista":"Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177."},"quality_controlled":"1","publisher":"IPOL Image Processing On Line","oa":1,"date_published":"2011-09-13T00:00:00Z","doi":"10.5201/ipol.2011.cm_fds","date_created":"2019-07-31T09:44:24Z","page":"127-177","day":"13","publication":"Image Processing On Line","has_accepted_license":"1","year":"2011"},{"publication":"Proceedings of the International Student Conference on Pure and Applied Mathematics","language":[{"iso":"eng"}],"day":"01","publication_status":"published","year":"2011","publication_identifier":{"isbn":["978-973-703-602-5"]},"date_created":"2019-08-05T12:20:58Z","date_published":"2011-01-01T00:00:00Z","doi":"10.13140/2.1.1862.4646","page":"137-156","oa_version":"None","abstract":[{"lang":"eng","text":"In the present paper we give a thorough analysis of two finite difference schemes for the Mean Curvature Motion and its affine variant, the Affine Morphological Scale Space, schemes introduced in the Image Processing framework. This analysis brings in a series of parameters that allow us to compute an accurate discrete evolution of curvature motions.\r\nThe choice of these parameters is based on intrinsic geometric properties of the evolution equations for linear, radial and elliptical functions. In the last part we present several examples, underlining the main advantages of the algorithms (the removal of pixelization effects and JPEG artifacts) as well as their major drawbacks (absence of contrast invariance and grid dependence). A detailed explanatory report, the ANSI C implementations and an on-line demo can be found at http://www.ipol.im/."}],"month":"01","publisher":"Editura Universitãtii „Alexandru Ioan Cuza” Iasi","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T08:08:56Z","citation":{"chicago":"Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature Motions.” In Proceedings of the International Student Conference on Pure and Applied Mathematics, 137–56. Editura Universitãtii „Alexandru Ioan Cuza” Iasi, 2011. https://doi.org/10.13140/2.1.1862.4646.","ista":"Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions. Proceedings of the International Student Conference on Pure and Applied Mathematics. ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.","mla":"Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature Motions.” Proceedings of the International Student Conference on Pure and Applied Mathematics, Editura Universitãtii „Alexandru Ioan Cuza” Iasi, 2011, pp. 137–56, doi:10.13140/2.1.1862.4646.","short":"M. Mondelli, A. Ciomaga, in:, Proceedings of the International Student Conference on Pure and Applied Mathematics, Editura Universitãtii „Alexandru Ioan Cuza” Iasi, 2011, pp. 137–156.","ieee":"M. Mondelli and A. Ciomaga, “On finite difference schemes for curvature motions,” in Proceedings of the International Student Conference on Pure and Applied Mathematics, Iasi, Romania, 2011, pp. 137–156.","ama":"Mondelli M, Ciomaga A. On finite difference schemes for curvature motions. In: Proceedings of the International Student Conference on Pure and Applied Mathematics. Editura Universitãtii „Alexandru Ioan Cuza” Iasi; 2011:137-156. doi:10.13140/2.1.1862.4646","apa":"Mondelli, M., & Ciomaga, A. (2011). On finite difference schemes for curvature motions. In Proceedings of the International Student Conference on Pure and Applied Mathematics (pp. 137–156). Iasi, Romania: Editura Universitãtii „Alexandru Ioan Cuza” Iasi. https://doi.org/10.13140/2.1.1862.4646"},"title":"On finite difference schemes for curvature motions","author":[{"first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020"},{"last_name":"Ciomaga","full_name":"Ciomaga, Adina","first_name":"Adina"}],"_id":"6767","status":"public","conference":{"start_date":"2010-07-12","location":"Iasi, Romania","end_date":"2010-07-16","name":"ISCOPAM: International Student Conference on Pure and Applied Mathematics"},"type":"conference"},{"publication_identifier":{"issn":["0953-8984","1361-648X"]},"year":"2011","publication_status":"published","day":"21","language":[{"iso":"eng"}],"publication":"Journal of Physics: Condensed Matter","issue":"10","date_published":"2011-02-21T00:00:00Z","volume":23,"doi":"10.1088/0953-8984/23/10/105402","date_created":"2019-11-19T13:39:30Z","abstract":[{"text":"Iron is a ubiquitous impurity in metamict (radiation-damaged and partially amorphized) materials such as titanite (CaSiTiO5). Using 57Fe Mössbauer spectroscopy we find that iron in metamict titanite is partitioned between amorphous and crystalline regions based on valence. Trivalent iron exists in the crystalline titanite matrix whereas divalent iron exists almost exclusively in radiation-amorphized regions. We find that the relative abundances of the oxidation states correlate with the volume fraction of amorphous and crystalline regions. Our data also show that oxidation of iron proceeds along with the recrystallization of the amorphized regions. Recrystallization is confirmed to occur over the range 700 °C < T < 925 °C, and no further structural changes are observed at higher temperatures. It is surprising that our Mössbauer measurements show divalent iron to be surrounded by titanite with a high degree of short-range structural order in the amorphized regions. This observation is fundamentally different from other metamict materials such as zircon (ZrSiO4), where amorphized regions show no short-range order.","lang":"eng"}],"oa_version":"None","quality_controlled":"1","publisher":"IOP Publishing","month":"02","intvolume":" 23","citation":{"mla":"Salje, E. K. H., et al. “Determination of Iron Sites and the Amount of Amorphization in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter, vol. 23, no. 10, 105402, IOP Publishing, 2011, doi:10.1088/0953-8984/23/10/105402.","ama":"Salje EKH, Safarik DJ, Taylor RD, et al. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 2011;23(10). doi:10.1088/0953-8984/23/10/105402","apa":"Salje, E. K. H., Safarik, D. J., Taylor, R. D., Pasternak, M. P., Modic, K. A., Groat, L. A., & Lashley, J. C. (2011). Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. IOP Publishing. https://doi.org/10.1088/0953-8984/23/10/105402","ieee":"E. K. H. Salje et al., “Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5),” Journal of Physics: Condensed Matter, vol. 23, no. 10. IOP Publishing, 2011.","short":"E.K.H. Salje, D.J. Safarik, R.D. Taylor, M.P. Pasternak, K.A. Modic, L.A. Groat, J.C. Lashley, Journal of Physics: Condensed Matter 23 (2011).","chicago":"Salje, E K H, D J Safarik, R D Taylor, M P Pasternak, Kimberly A Modic, L A Groat, and J C Lashley. “Determination of Iron Sites and the Amount of Amorphization in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter. IOP Publishing, 2011. https://doi.org/10.1088/0953-8984/23/10/105402.","ista":"Salje EKH, Safarik DJ, Taylor RD, Pasternak MP, Modic KA, Groat LA, Lashley JC. 2011. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 23(10), 105402."},"date_updated":"2021-01-12T08:11:43Z","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Salje","full_name":"Salje, E K H","first_name":"E K H"},{"first_name":"D J","last_name":"Safarik","full_name":"Safarik, D J"},{"last_name":"Taylor","full_name":"Taylor, R D","first_name":"R D"},{"first_name":"M P","full_name":"Pasternak, M P","last_name":"Pasternak"},{"id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","first_name":"Kimberly A","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147","last_name":"Modic"},{"full_name":"Groat, L A","last_name":"Groat","first_name":"L A"},{"first_name":"J C","last_name":"Lashley","full_name":"Lashley, J C"}],"article_processing_charge":"No","title":"Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5)","_id":"7076","article_number":"105402","type":"journal_article","article_type":"original","status":"public"},{"month":"02","intvolume":" 509","publisher":"Elsevier","quality_controlled":"1","oa_version":"None","abstract":[{"lang":"eng","text":"Pb, Te, Ag and Se, when reacted in a 1:1:x:1 (x = 1.9, 2.0, 2.01) molar ratio, form a two phase composite which consists of a phase which crystallizes in the fcc cubic PbSe structure and a phase that crystallizes in the Ag2Te structure. In this article, we demonstrate that by varying the Ag concentration, we can manipulate which variant of the Ag2Te structure stabilizes at room temperature (monoclinic α-Ag2Te or cubic β-Ag1.9Te) and can consequently manipulate the electrical and thermal transport behavior of the composite and hence the thermoelectric performance. Additionally, we show that Cu-doping results in an overall improvement in thermoelectric performance. Our results suggest that formation of composites is a viable path for achieving a phonon-glass-electron-crystal (PGEC) alloy."}],"volume":509,"doi":"10.1016/j.jallcom.2010.10.187","date_published":"2011-02-03T00:00:00Z","issue":"5","date_created":"2019-11-19T13:45:37Z","page":"1544-1549","day":"03","publication":"Journal of Alloys and Compounds","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0925-8388"]},"publication_status":"published","year":"2011","status":"public","article_type":"original","type":"journal_article","_id":"7077","title":"The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping","author":[{"first_name":"J.","last_name":"Capps","full_name":"Capps, J."},{"first_name":"B.","last_name":"Ma","full_name":"Ma, B."},{"full_name":"Drye, T.","last_name":"Drye","first_name":"T."},{"full_name":"Nucklos, C.","last_name":"Nucklos","first_name":"C."},{"last_name":"Lindsey","full_name":"Lindsey, S.","first_name":"S."},{"first_name":"D.","last_name":"Rhodes","full_name":"Rhodes, D."},{"last_name":"Zhang","full_name":"Zhang, Q.","first_name":"Q."},{"first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","last_name":"Modic","orcid":"0000-0001-9760-3147","full_name":"Modic, Kimberly A"},{"first_name":"S.","last_name":"Cawthorne","full_name":"Cawthorne, S."},{"last_name":"Drymiotis","full_name":"Drymiotis, F.","first_name":"F."}],"article_processing_charge":"No","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Capps, J., B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, Kimberly A Modic, S. Cawthorne, and F. Drymiotis. “The Effect of Ag Concentration on the Structural, Electrical and Thermal Transport Behavior of Pb:Te:Ag:Se Mixtures and Improvement of Thermoelectric Performance via Cu Doping.” Journal of Alloys and Compounds. Elsevier, 2011. https://doi.org/10.1016/j.jallcom.2010.10.187.","ista":"Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA, Cawthorne S, Drymiotis F. 2011. The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. 509(5), 1544–1549.","mla":"Capps, J., et al. “The Effect of Ag Concentration on the Structural, Electrical and Thermal Transport Behavior of Pb:Te:Ag:Se Mixtures and Improvement of Thermoelectric Performance via Cu Doping.” Journal of Alloys and Compounds, vol. 509, no. 5, Elsevier, 2011, pp. 1544–49, doi:10.1016/j.jallcom.2010.10.187.","apa":"Capps, J., Ma, B., Drye, T., Nucklos, C., Lindsey, S., Rhodes, D., … Drymiotis, F. (2011). The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. Elsevier. https://doi.org/10.1016/j.jallcom.2010.10.187","ama":"Capps J, Ma B, Drye T, et al. The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. 2011;509(5):1544-1549. doi:10.1016/j.jallcom.2010.10.187","short":"J. Capps, B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, K.A. Modic, S. Cawthorne, F. Drymiotis, Journal of Alloys and Compounds 509 (2011) 1544–1549.","ieee":"J. Capps et al., “The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping,” Journal of Alloys and Compounds, vol. 509, no. 5. Elsevier, pp. 1544–1549, 2011."},"date_updated":"2021-01-12T08:11:44Z"},{"quality_controlled":"1","publisher":"Springer Nature","month":"12","intvolume":" 11","abstract":[{"lang":"eng","text":"Li-ion batteries have transformed portable electronics and will play a key role in the electrification of transport. However, the highest energy storage possible for Li-ion batteries is insufficient for the long-term needs of society, for example, extended-range electric vehicles. To go beyond the horizon of Li-ion batteries is a formidable challenge; there are few options. Here we consider two: Li–air (O2) and Li–S. The energy that can be stored in Li–air (based on aqueous or non-aqueous electrolytes) and Li–S cells is compared with Li-ion; the operation of the cells is discussed, as are the significant hurdles that will have to be overcome if such batteries are to succeed. Fundamental scientific advances in understanding the reactions occurring in the cells as well as new materials are key to overcoming these obstacles. The potential benefits of Li–air and Li–S justify the continued research effort that will be needed."}],"oa_version":"None","page":"19-29","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/nmat3237"}]},"volume":11,"doi":"10.1038/nmat3191","issue":"1","date_published":"2011-12-15T00:00:00Z","date_created":"2020-01-15T12:20:01Z","publication_identifier":{"issn":["1476-1122","1476-4660"]},"year":"2011","publication_status":"published","day":"15","publication":"Nature Materials","language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","status":"public","_id":"7313","author":[{"first_name":"Peter G.","last_name":"Bruce","full_name":"Bruce, Peter G."},{"orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander"},{"first_name":"Laurence J.","full_name":"Hardwick, Laurence J.","last_name":"Hardwick"},{"last_name":"Tarascon","full_name":"Tarascon, Jean-Marie","first_name":"Jean-Marie"}],"article_processing_charge":"No","title":"Li–O2 and Li–S batteries with high energy storage","date_updated":"2021-01-12T08:12:59Z","citation":{"apa":"Bruce, P. G., Freunberger, S. A., Hardwick, L. J., & Tarascon, J.-M. (2011). Li–O2 and Li–S batteries with high energy storage. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat3191","ama":"Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 2011;11(1):19-29. doi:10.1038/nmat3191","short":"P.G. Bruce, S.A. Freunberger, L.J. Hardwick, J.-M. Tarascon, Nature Materials 11 (2011) 19–29.","ieee":"P. G. Bruce, S. A. Freunberger, L. J. Hardwick, and J.-M. Tarascon, “Li–O2 and Li–S batteries with high energy storage,” Nature Materials, vol. 11, no. 1. Springer Nature, pp. 19–29, 2011.","mla":"Bruce, Peter G., et al. “Li–O2 and Li–S Batteries with High Energy Storage.” Nature Materials, vol. 11, no. 1, Springer Nature, 2011, pp. 19–29, doi:10.1038/nmat3191.","ista":"Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. 2011. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 11(1), 19–29.","chicago":"Bruce, Peter G., Stefan Alexander Freunberger, Laurence J. Hardwick, and Jean-Marie Tarascon. “Li–O2 and Li–S Batteries with High Energy Storage.” Nature Materials. Springer Nature, 2011. https://doi.org/10.1038/nmat3191."},"extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"}]