[{"project":[{"grant_number":"279307","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"issn":["2399-3642"]},"status":"public","ddc":["000"],"publication":"Communications Biology","external_id":{"pmid":["31044163"],"isi":["000465425700006"]},"title":"Population structure determines the tradeoff between fixation probability and fixation time","quality_controlled":"1","oa":1,"language":[{"iso":"eng"}],"doi":"10.1038/s42003-019-0373-y","intvolume":" 2","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:53Z","file_name":"2019_CommBio_Tkadlec.pdf","checksum":"d1a69bfe73767e4246f0a38e4e1554dd","access_level":"open_access","relation":"main_file","file_id":"7211","date_created":"2019-12-23T13:39:30Z","file_size":1670274,"content_type":"application/pdf"}],"department":[{"_id":"KrCh"}],"isi":1,"article_processing_charge":"No","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"7196"}]},"type":"journal_article","day":"23","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"volume":2,"oa_version":"Published Version","article_number":"138","article_type":"original","month":"04","date_updated":"2023-09-07T13:19:22Z","scopus_import":"1","ec_funded":1,"date_published":"2019-04-23T00:00:00Z","_id":"7210","publisher":"Springer Nature","file_date_updated":"2020-07-14T12:47:53Z","abstract":[{"lang":"eng","text":"The rate of biological evolution depends on the fixation probability and on the fixation time of new mutants. Intensive research has focused on identifying population structures that augment the fixation probability of advantageous mutants. But these amplifiers of natural selection typically increase fixation time. Here we study population structures that achieve a tradeoff between fixation probability and time. First, we show that no amplifiers can have an asymptotically lower absorption time than the well-mixed population. Then we design population structures that substantially augment the fixation probability with just a minor increase in fixation time. Finally, we show that those structures enable higher effective rate of evolution than the well-mixed population provided that the rate of generating advantageous mutants is relatively low. Our work sheds light on how population structure affects the rate of evolution. Moreover, our structures could be useful for lab-based, medical, or industrial applications of evolutionary optimization."}],"citation":{"short":"J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).","ama":"Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. 2019;2. doi:10.1038/s42003-019-0373-y","chicago":"Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology. Springer Nature, 2019. https://doi.org/10.1038/s42003-019-0373-y.","mla":"Tkadlec, Josef, et al. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology, vol. 2, 138, Springer Nature, 2019, doi:10.1038/s42003-019-0373-y.","apa":"Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2019). Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-019-0373-y","ieee":"J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Population structure determines the tradeoff between fixation probability and fixation time,” Communications Biology, vol. 2. Springer Nature, 2019.","ista":"Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2019. Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. 2, 138."},"pmid":1,"year":"2019","has_accepted_license":"1","author":[{"full_name":"Tkadlec, Josef","first_name":"Josef","last_name":"Tkadlec","orcid":"0000-0002-1097-9684","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87"},{"id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas","last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Nowak, Martin A.","last_name":"Nowak","first_name":"Martin A."}],"date_created":"2019-12-23T13:36:50Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"quality_controlled":"1","title":"Recovering rearranged cancer chromosomes from karyotype graphs","oa":1,"doi":"10.1186/s12859-019-3208-4","language":[{"iso":"eng"}],"file":[{"file_id":"7221","date_created":"2020-01-02T16:10:58Z","file_size":1917374,"content_type":"application/pdf","file_name":"2019_BMCBioinfo_Aganezov.pdf","checksum":"7a30357efdcf8f66587ed495c0927724","access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:47:54Z","creator":"dernst"}],"intvolume":" 20","status":"public","publication_identifier":{"eissn":["14712105"]},"publication":"BMC Bioinformatics","external_id":{"isi":["000511618800007"]},"ddc":["570"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"volume":20,"article_number":"641","oa_version":"Published Version","article_type":"original","department":[{"_id":"DaAl"}],"article_processing_charge":"No","isi":1,"type":"journal_article","day":"17","publisher":"BMC","citation":{"apa":"Aganezov, S., Zban, I., Aksenov, V., Alexeev, N., & Schatz, M. C. (2019). Recovering rearranged cancer chromosomes from karyotype graphs. BMC Bioinformatics. BMC. https://doi.org/10.1186/s12859-019-3208-4","mla":"Aganezov, Sergey, et al. “Recovering Rearranged Cancer Chromosomes from Karyotype Graphs.” BMC Bioinformatics, vol. 20, 641, BMC, 2019, doi:10.1186/s12859-019-3208-4.","chicago":"Aganezov, Sergey, Ilya Zban, Vitalii Aksenov, Nikita Alexeev, and Michael C. Schatz. “Recovering Rearranged Cancer Chromosomes from Karyotype Graphs.” BMC Bioinformatics. BMC, 2019. https://doi.org/10.1186/s12859-019-3208-4.","short":"S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, M.C. Schatz, BMC Bioinformatics 20 (2019).","ama":"Aganezov S, Zban I, Aksenov V, Alexeev N, Schatz MC. Recovering rearranged cancer chromosomes from karyotype graphs. BMC Bioinformatics. 2019;20. doi:10.1186/s12859-019-3208-4","ista":"Aganezov S, Zban I, Aksenov V, Alexeev N, Schatz MC. 2019. Recovering rearranged cancer chromosomes from karyotype graphs. BMC Bioinformatics. 20, 641.","ieee":"S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, and M. C. Schatz, “Recovering rearranged cancer chromosomes from karyotype graphs,” BMC Bioinformatics, vol. 20. BMC, 2019."},"abstract":[{"text":"Background: Many cancer genomes are extensively rearranged with highly aberrant chromosomal karyotypes. Structural and copy number variations in cancer genomes can be determined via abnormal mapping of sequenced reads to the reference genome. Recently it became possible to reconcile both of these types of large-scale variations into a karyotype graph representation of the rearranged cancer genomes. Such a representation, however, does not directly describe the linear and/or circular structure of the underlying rearranged cancer chromosomes, thus limiting possible analysis of cancer genomes somatic evolutionary process as well as functional genomic changes brought by the large-scale genome rearrangements.\r\n\r\nResults: Here we address the aforementioned limitation by introducing a novel methodological framework for recovering rearranged cancer chromosomes from karyotype graphs. For a cancer karyotype graph we formulate an Eulerian Decomposition Problem (EDP) of finding a collection of linear and/or circular rearranged cancer chromosomes that are determined by the graph. We derive and prove computational complexities for several variations of the EDP. We then demonstrate that Eulerian decomposition of the cancer karyotype graphs is not always unique and present the Consistent Contig Covering Problem (CCCP) of recovering unambiguous cancer contigs from the cancer karyotype graph, and describe a novel algorithm CCR capable of solving CCCP in polynomial time. We apply CCR on a prostate cancer dataset and demonstrate that it is capable of consistently recovering large cancer contigs even when underlying cancer genomes are highly rearranged.\r\n\r\nConclusions: CCR can recover rearranged cancer contigs from karyotype graphs thereby addressing existing limitation in inferring chromosomal structures of rearranged cancer genomes and advancing our understanding of both patient/cancer-specific as well as the overall genetic instability in cancer.","lang":"eng"}],"file_date_updated":"2020-07-14T12:47:54Z","scopus_import":"1","date_updated":"2023-09-06T14:51:06Z","month":"12","date_published":"2019-12-17T00:00:00Z","_id":"7214","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2019-12-29T23:00:46Z","publication_status":"published","has_accepted_license":"1","year":"2019","author":[{"full_name":"Aganezov, Sergey","first_name":"Sergey","last_name":"Aganezov"},{"full_name":"Zban, Ilya","first_name":"Ilya","last_name":"Zban"},{"full_name":"Aksenov, Vitalii","last_name":"Aksenov","first_name":"Vitalii","id":"2980135A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Alexeev","first_name":"Nikita","full_name":"Alexeev, Nikita"},{"full_name":"Schatz, Michael C.","last_name":"Schatz","first_name":"Michael C."}]},{"year":"2019","isi":1,"article_processing_charge":"No","day":"28","type":"conference","conference":{"name":"ITSC: Intelligent Transportation Systems Conference","end_date":"2019-10-30","location":"Auckland, New Zealand","start_date":"2019-10-27"},"author":[{"full_name":"Osang, Georg F","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8882-5116","last_name":"Osang","first_name":"Georg F"},{"last_name":"Cook","first_name":"James","full_name":"Cook, James"},{"first_name":"Alex","last_name":"Fabrikant","full_name":"Fabrikant, Alex"},{"full_name":"Gruteser, Marco","first_name":"Marco","last_name":"Gruteser"}],"department":[{"_id":"HeEd"}],"date_created":"2019-12-29T23:00:47Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_number":"8917514","oa_version":"None","external_id":{"isi":["000521238102050"]},"publication":"2019 IEEE Intelligent Transportation Systems Conference","date_published":"2019-11-28T00:00:00Z","_id":"7216","scopus_import":"1","date_updated":"2023-09-06T14:50:28Z","month":"11","publication_identifier":{"isbn":["9781538670248"]},"status":"public","doi":"10.1109/ITSC.2019.8917514","abstract":[{"text":"We present LiveTraVeL (Live Transit Vehicle Labeling), a real-time system to label a stream of noisy observations of transit vehicle trajectories with the transit routes they are serving (e.g., northbound bus #5). In order to scale efficiently to large transit networks, our system first retrieves a small set of candidate routes from a geometrically indexed data structure, then applies a fine-grained scoring step to choose the best match. Given that real-time data remains unavailable for the majority of the world’s transit agencies, these inferences can help feed a real-time map of a transit system’s trips, infer transit trip delays in real time, or measure and correct noisy transit tracking data. This system can run on vehicle observations from a variety of sources that don’t attach route information to vehicle observations, such as public imagery streams or user-contributed transit vehicle sightings.We abstract away the specifics of the sensing system and demonstrate the effectiveness of our system on a \"semisynthetic\" dataset of all New York City buses, where we simulate sensed trajectories by starting with fully labeled vehicle trajectories reported via the GTFS-Realtime protocol, removing the transit route IDs, and perturbing locations with synthetic noise. Using just the geometric shapes of the trajectories, we demonstrate that our system converges on the correct route ID within a few minutes, even after a vehicle switches from serving one trip to the next.","lang":"eng"}],"citation":{"mla":"Osang, Georg F., et al. “LiveTraVeL: Real-Time Matching of Transit Vehicle Trajectories to Transit Routes at Scale.” 2019 IEEE Intelligent Transportation Systems Conference, 8917514, IEEE, 2019, doi:10.1109/ITSC.2019.8917514.","apa":"Osang, G. F., Cook, J., Fabrikant, A., & Gruteser, M. (2019). LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. In 2019 IEEE Intelligent Transportation Systems Conference. Auckland, New Zealand: IEEE. https://doi.org/10.1109/ITSC.2019.8917514","ama":"Osang GF, Cook J, Fabrikant A, Gruteser M. LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. In: 2019 IEEE Intelligent Transportation Systems Conference. IEEE; 2019. doi:10.1109/ITSC.2019.8917514","short":"G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.","chicago":"Osang, Georg F, James Cook, Alex Fabrikant, and Marco Gruteser. “LiveTraVeL: Real-Time Matching of Transit Vehicle Trajectories to Transit Routes at Scale.” In 2019 IEEE Intelligent Transportation Systems Conference. IEEE, 2019. https://doi.org/10.1109/ITSC.2019.8917514.","ista":"Osang GF, Cook J, Fabrikant A, Gruteser M. 2019. LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. 2019 IEEE Intelligent Transportation Systems Conference. ITSC: Intelligent Transportation Systems Conference, 8917514.","ieee":"G. F. Osang, J. Cook, A. Fabrikant, and M. Gruteser, “LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale,” in 2019 IEEE Intelligent Transportation Systems Conference, Auckland, New Zealand, 2019."},"language":[{"iso":"eng"}],"quality_controlled":"1","title":"LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale","publisher":"IEEE"},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","date_created":"2020-01-05T23:00:45Z","year":"2019","has_accepted_license":"1","author":[{"full_name":"Merrin, Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5145-4609","last_name":"Merrin","first_name":"Jack"}],"pmid":1,"abstract":[{"text":"This is a literature teaching resource review for biologically inspired microfluidics courses\r\nor exploring the diverse applications of microfluidics. The structure is around key papers and model\r\norganisms. While courses gradually change over time, a focus remains on understanding how\r\nmicrofluidics has developed as well as what it can and cannot do for researchers. As a primary\r\nstarting point, we cover micro-fluid mechanics principles and microfabrication of devices. A variety\r\nof applications are discussed using model prokaryotic and eukaryotic organisms from the set\r\nof bacteria (Escherichia coli), trypanosomes (Trypanosoma brucei), yeast (Saccharomyces cerevisiae),\r\nslime molds (Physarum polycephalum), worms (Caenorhabditis elegans), flies (Drosophila melangoster),\r\nplants (Arabidopsis thaliana), and mouse immune cells (Mus musculus). Other engineering and\r\nbiochemical methods discussed include biomimetics, organ on a chip, inkjet, droplet microfluidics,\r\nbiotic games, and diagnostics. While we have not yet reached the end-all lab on a chip,\r\nmicrofluidics can still be used effectively for specific applications.","lang":"eng"}],"file_date_updated":"2020-07-14T12:47:54Z","citation":{"short":"J. Merrin, Bioengineering 6 (2019).","ama":"Merrin J. Frontiers in microfluidics, a teaching resource review. Bioengineering. 2019;6(4). doi:10.3390/bioengineering6040109","chicago":"Merrin, Jack. “Frontiers in Microfluidics, a Teaching Resource Review.” Bioengineering. MDPI, 2019. https://doi.org/10.3390/bioengineering6040109.","mla":"Merrin, Jack. “Frontiers in Microfluidics, a Teaching Resource Review.” Bioengineering, vol. 6, no. 4, 109, MDPI, 2019, doi:10.3390/bioengineering6040109.","apa":"Merrin, J. (2019). Frontiers in microfluidics, a teaching resource review. Bioengineering. MDPI. https://doi.org/10.3390/bioengineering6040109","ieee":"J. Merrin, “Frontiers in microfluidics, a teaching resource review,” Bioengineering, vol. 6, no. 4. MDPI, 2019.","ista":"Merrin J. 2019. Frontiers in microfluidics, a teaching resource review. Bioengineering. 6(4), 109."},"publisher":"MDPI","date_published":"2019-12-03T00:00:00Z","_id":"7225","month":"12","scopus_import":"1","date_updated":"2023-09-06T14:52:49Z","article_type":"review","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"volume":6,"oa_version":"Published Version","article_number":"109","isi":1,"issue":"4","article_processing_charge":"Yes","day":"03","type":"journal_article","department":[{"_id":"NanoFab"}],"language":[{"iso":"eng"}],"doi":"10.3390/bioengineering6040109","intvolume":" 6","file":[{"date_created":"2020-01-07T14:49:59Z","file_id":"7243","content_type":"application/pdf","file_size":2660780,"file_name":"2019_Bioengineering_Merrin.pdf","checksum":"80f1499e2a4caccdf3aa54b137fd99a0","access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:47:54Z","creator":"dernst"}],"title":"Frontiers in microfluidics, a teaching resource review","quality_controlled":"1","oa":1,"ddc":["620"],"publication":"Bioengineering","external_id":{"isi":["000505590000024"],"pmid":["31816954"]},"status":"public","publication_identifier":{"eissn":["23065354"]}},{"date_published":"2019-12-01T00:00:00Z","_id":"7226","month":"12","scopus_import":"1","date_updated":"2024-02-28T13:01:45Z","file_date_updated":"2020-07-14T12:47:54Z","citation":{"apa":"Jaksic, V., & Seiringer, R. (2019). Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/1.5138135","mla":"Jaksic, Vojkan, and Robert Seiringer. “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018.” Journal of Mathematical Physics, vol. 60, no. 12, 123504, AIP Publishing, 2019, doi:10.1063/1.5138135.","chicago":"Jaksic, Vojkan, and Robert Seiringer. “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018.” Journal of Mathematical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5138135.","ama":"Jaksic V, Seiringer R. Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018. Journal of Mathematical Physics. 2019;60(12). doi:10.1063/1.5138135","short":"V. Jaksic, R. Seiringer, Journal of Mathematical Physics 60 (2019).","ista":"Jaksic V, Seiringer R. 2019. Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018. Journal of Mathematical Physics. 60(12), 123504.","ieee":"V. Jaksic and R. Seiringer, “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018,” Journal of Mathematical Physics, vol. 60, no. 12. AIP Publishing, 2019."},"publisher":"AIP Publishing","year":"2019","has_accepted_license":"1","author":[{"first_name":"Vojkan","last_name":"Jaksic","full_name":"Jaksic, Vojkan"},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2020-01-05T23:00:46Z","ddc":["500"],"external_id":{"isi":["000505529800002"]},"publication":"Journal of Mathematical Physics","status":"public","publication_identifier":{"issn":["00222488"]},"language":[{"iso":"eng"}],"doi":"10.1063/1.5138135","intvolume":" 60","file":[{"access_level":"open_access","relation":"main_file","file_name":"2019_JournalMathPhysics_Jaksic.pdf","checksum":"bbd12ad1999a9ad7ba4d3c6f2e579c22","file_size":1025015,"content_type":"application/pdf","file_id":"7244","date_created":"2020-01-07T14:59:13Z","creator":"dernst","date_updated":"2020-07-14T12:47:54Z"}],"title":"Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018","quality_controlled":"1","oa":1,"article_processing_charge":"No","isi":1,"issue":"12","day":"01","type":"journal_article","department":[{"_id":"RoSe"}],"article_type":"letter_note","volume":60,"oa_version":"Published Version","article_number":"123504"},{"publication":"25th Anniversary of Euro-Par","external_id":{"isi":["000851061400023"]},"publication_identifier":{"eissn":["1611-3349"],"isbn":["978-3-0302-9399-4"],"issn":["0302-9743"]},"status":"public","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-29400-7_23","intvolume":" 11725","title":"Scalable FIFO channels for programming via communicating sequential processes","quality_controlled":"1","page":"317-333","article_processing_charge":"No","isi":1,"day":"13","type":"conference","conference":{"location":"Göttingen, Germany","name":"Euro-Par: European Conference on Parallel Processing","end_date":"2019-08-30","start_date":"2019-08-26"},"department":[{"_id":"DaAl"}],"volume":11725,"oa_version":"None","date_published":"2019-08-13T00:00:00Z","_id":"7228","month":"08","date_updated":"2023-09-06T14:53:59Z","scopus_import":"1","abstract":[{"text":"Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) and actor models, which share data via explicit communication. These models have been known for almost half a century, and have recently had started to gain significant traction among modern programming languages. The common abstraction for communication between several processes is the channel. Although channels are similar to producer-consumer data structures, they have different semantics and support additional operations, such as the select expression. Despite their growing popularity, most known implementations of channels use lock-based data structures and can be rather inefficient.\r\n\r\nIn this paper, we present the first efficient lock-free algorithm for implementing a communication channel for CSP programming. We provide implementations and experimental results in the Kotlin and Go programming languages. Our new algorithm outperforms existing implementations on many workloads, while providing non-blocking progress guarantee. Our design can serve as an example of how to construct general communication data structures for CSP and actor models. ","lang":"eng"}],"citation":{"apa":"Koval, N., Alistarh, D.-A., & Elizarov, R. (2019). Scalable FIFO channels for programming via communicating sequential processes. In 25th Anniversary of Euro-Par (Vol. 11725, pp. 317–333). Göttingen, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-29400-7_23","mla":"Koval, Nikita, et al. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” 25th Anniversary of Euro-Par, vol. 11725, Springer Nature, 2019, pp. 317–33, doi:10.1007/978-3-030-29400-7_23.","chicago":"Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” In 25th Anniversary of Euro-Par, 11725:317–33. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29400-7_23.","ama":"Koval N, Alistarh D-A, Elizarov R. Scalable FIFO channels for programming via communicating sequential processes. In: 25th Anniversary of Euro-Par. Vol 11725. Springer Nature; 2019:317-333. doi:10.1007/978-3-030-29400-7_23","short":"N. Koval, D.-A. Alistarh, R. Elizarov, in:, 25th Anniversary of Euro-Par, Springer Nature, 2019, pp. 317–333.","ista":"Koval N, Alistarh D-A, Elizarov R. 2019. Scalable FIFO channels for programming via communicating sequential processes. 25th Anniversary of Euro-Par. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11725, 317–333.","ieee":"N. Koval, D.-A. Alistarh, and R. Elizarov, “Scalable FIFO channels for programming via communicating sequential processes,” in 25th Anniversary of Euro-Par, Göttingen, Germany, 2019, vol. 11725, pp. 317–333."},"publisher":"Springer Nature","year":"2019","author":[{"full_name":"Koval, Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","first_name":"Nikita"},{"first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"},{"full_name":"Elizarov, Roman","last_name":"Elizarov","first_name":"Roman"}],"date_created":"2020-01-05T23:00:46Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"date_created":"2020-01-05T23:00:47Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"id":"3207FDC6-F248-11E8-B48F-1D18A9856A87","last_name":"Arroyo Guevara","first_name":"Alan M","orcid":"0000-0003-2401-8670","full_name":"Arroyo Guevara, Alan M"},{"first_name":"Martin","last_name":"Derka","full_name":"Derka, Martin"},{"full_name":"Parada, Irene","first_name":"Irene","last_name":"Parada"}],"year":"2019","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"Simple drawings of graphs are those in which each pair of edges share at most one point, either a common endpoint or a proper crossing. In this paper we study the problem of extending a simple drawing D(G) of a graph G by inserting a set of edges from the complement of G into D(G) such that the result is a simple drawing. In the context of rectilinear drawings, the problem is trivial. For pseudolinear drawings, the existence of such an extension follows from Levi’s enlargement lemma. In contrast, we prove that deciding if a given set of edges can be inserted into a simple drawing is NP-complete. Moreover, we show that the maximization version of the problem is APX-hard. We also present a polynomial-time algorithm for deciding whether one edge uv can be inserted into D(G) when {u,v} is a dominating set for the graph G."}],"citation":{"ieee":"A. M. Arroyo Guevara, M. Derka, and I. Parada, “Extending simple drawings,” in 27th International Symposium on Graph Drawing and Network Visualization, Prague, Czech Republic, 2019, vol. 11904, pp. 230–243.","ista":"Arroyo Guevara AM, Derka M, Parada I. 2019. Extending simple drawings. 27th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LNCS, vol. 11904, 230–243.","short":"A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.","ama":"Arroyo Guevara AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi:10.1007/978-3-030-35802-0_18","chicago":"Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.” In 27th International Symposium on Graph Drawing and Network Visualization, 11904:230–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-35802-0_18.","mla":"Arroyo Guevara, Alan M., et al. “Extending Simple Drawings.” 27th International Symposium on Graph Drawing and Network Visualization, vol. 11904, Springer Nature, 2019, pp. 230–43, doi:10.1007/978-3-030-35802-0_18.","apa":"Arroyo Guevara, A. M., Derka, M., & Parada, I. (2019). Extending simple drawings. In 27th International Symposium on Graph Drawing and Network Visualization (Vol. 11904, pp. 230–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-35802-0_18"},"month":"11","scopus_import":"1","date_updated":"2023-09-06T14:56:00Z","_id":"7230","ec_funded":1,"date_published":"2019-11-28T00:00:00Z","arxiv":1,"oa_version":"Preprint","volume":11904,"department":[{"_id":"UlWa"}],"day":"28","conference":{"start_date":"2019-09-17","name":"GD: Graph Drawing and Network Visualization","end_date":"2019-09-20","location":"Prague, Czech Republic"},"type":"conference","article_processing_charge":"No","isi":1,"page":"230-243","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1908.08129"}],"oa":1,"title":"Extending simple drawings","quality_controlled":"1","intvolume":" 11904","language":[{"iso":"eng"}],"alternative_title":["LNCS"],"doi":"10.1007/978-3-030-35802-0_18","status":"public","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["978-3-0303-5801-3"]},"project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411"}],"publication":"27th International Symposium on Graph Drawing and Network Visualization","external_id":{"arxiv":["1908.08129"],"isi":["000612918800018"]}},{"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1907.11514"}],"page":"123-141","quality_controlled":"1","title":"Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty","intvolume":" 11750","doi":"10.1007/978-3-030-29662-9_8","language":[{"iso":"eng"}],"alternative_title":["LNCS"],"publication_identifier":{"eissn":["1611-3349"],"isbn":["978-3-0302-9661-2"],"issn":["0302-9743"]},"status":"public","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"S11407","call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211"}],"external_id":{"arxiv":["1907.11514"],"isi":["000611677700008"]},"publication":"17th International Conference on Formal Modeling and Analysis of Timed Systems","arxiv":1,"oa_version":"Preprint","volume":11750,"department":[{"_id":"ToHe"}],"conference":{"location":"Amsterdam, The Netherlands","end_date":"2019-08-29","name":"FORMATS: Formal Modeling and Analysis of Timed Systems","start_date":"2019-08-27"},"day":"13","type":"conference","isi":1,"article_processing_charge":"No","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical systems without uncertainty. In this paper, we extend the approach with the ability to handle both continuous and hybrid dynamical systems with uncertainty that can reside in parameters and/or noise. We also improve the efficiency of the method significantly, by avoiding the use of interval-based methods for the enclosure-box computation without loosing soundness. We have developed a C++ prototype implementing the proposed approach and we evaluate it on several benchmarks. The experiments show that our approach is more efficient and precise than other methods in the literature."}],"citation":{"chicago":"Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_8.","ama":"Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8","short":"H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.","apa":"Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_8","mla":"Kong, Hui, et al. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 123–41, doi:10.1007/978-3-030-29662-9_8.","ieee":"H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.","ista":"Kong H, Bartocci E, Jiang Y, Henzinger TA. 2019. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11750, 123–141."},"scopus_import":"1","date_updated":"2023-09-06T14:55:15Z","month":"08","_id":"7231","date_published":"2019-08-13T00:00:00Z","publication_status":"published","date_created":"2020-01-05T23:00:47Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Kong, Hui","first_name":"Hui","last_name":"Kong","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ezio","last_name":"Bartocci","full_name":"Bartocci, Ezio"},{"full_name":"Jiang, Yu","first_name":"Yu","last_name":"Jiang"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"year":"2019"},{"department":[{"_id":"ToHe"}],"isi":1,"article_processing_charge":"No","conference":{"start_date":"2019-08-27","location":"Amsterdam, The Netherlands","name":"FORMATS: Formal Modeling and Anaysis of Timed Systems","end_date":"2019-08-29"},"day":"13","type":"conference","volume":11750,"oa_version":"None","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF"},{"call_identifier":"FWF","grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"status":"public","publication_identifier":{"issn":["0302-9743"],"isbn":["978-3-0302-9661-2"],"eissn":["1611-3349"]},"external_id":{"isi":["000611677700004"]},"publication":"17th International Conference on Formal Modeling and Analysis of Timed Systems","quality_controlled":"1","title":"Mixed-time signal temporal logic","page":"59-75","doi":"10.1007/978-3-030-29662-9_4","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"intvolume":" 11750","year":"2019","author":[{"full_name":"Ferrere, Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","last_name":"Ferrere"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"first_name":"Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","full_name":"Nickovic, Dejan"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2020-01-05T23:00:48Z","publication_status":"published","scopus_import":"1","date_updated":"2023-09-06T14:57:17Z","month":"08","date_published":"2019-08-13T00:00:00Z","_id":"7232","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"We present Mixed-time Signal Temporal Logic (STL−MX), a specification formalism which extends STL by capturing the discrete/ continuous time duality found in many cyber-physical systems (CPS), as well as mixed-signal electronic designs. In STL−MX, properties of components with continuous dynamics are expressed in STL, while specifications of components with discrete dynamics are written in LTL. To combine the two layers, we evaluate formulas on two traces, discrete- and continuous-time, and introduce two interface operators that map signals, properties and their satisfaction signals across the two time domains. We show that STL-mx has the expressive power of STL supplemented with an implicit T-periodic clock signal. We develop and implement an algorithm for monitoring STL-mx formulas and illustrate the approach using a mixed-signal example. "}],"citation":{"ista":"Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750, 59–75.","ieee":"T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.","apa":"Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4","mla":"Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.","chicago":"Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_4.","short":"T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.","ama":"Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4"}},{"author":[{"id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","first_name":"Alfredo R","last_name":"Rueda Sanchez","orcid":"0000-0001-6249-5860","full_name":"Rueda Sanchez, Alfredo R"},{"first_name":"Florian","last_name":"Sedlmeir","full_name":"Sedlmeir, Florian"},{"last_name":"Leuchs","first_name":"Gerd","full_name":"Leuchs, Gerd"},{"full_name":"Kumari, Madhuri","first_name":"Madhuri","last_name":"Kumari"},{"full_name":"Schwefel, Harald G.L.","last_name":"Schwefel","first_name":"Harald G.L."}],"conference":{"location":"Waikoloa Beach, Hawaii (HI), United States","end_date":"2019-07-19","name":"NLO: Nonlinear Optics","start_date":"2019-07-15"},"type":"conference","day":"15","year":"2019","article_processing_charge":"No","department":[{"_id":"JoFi"}],"oa_version":"None","article_number":"NM2A.5","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2020-01-05T23:00:48Z","_id":"7233","publication":"Nonlinear Optics, OSA Technical Digest","date_published":"2019-07-15T00:00:00Z","publication_identifier":{"isbn":["9781557528209"]},"status":"public","month":"07","date_updated":"2023-10-17T12:14:46Z","scopus_import":"1","language":[{"iso":"eng"}],"citation":{"ista":"Rueda Sanchez AR, Sedlmeir F, Leuchs G, Kumari M, Schwefel HGL. 2019. Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. Nonlinear Optics, OSA Technical Digest. NLO: Nonlinear Optics, NM2A.5.","ieee":"A. R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kumari, and H. G. L. Schwefel, “Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity,” in Nonlinear Optics, OSA Technical Digest, Waikoloa Beach, Hawaii (HI), United States, 2019.","apa":"Rueda Sanchez, A. R., Sedlmeir, F., Leuchs, G., Kumari, M., & Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. In Nonlinear Optics, OSA Technical Digest. Waikoloa Beach, Hawaii (HI), United States: Optica Publishing Group. https://doi.org/10.1364/NLO.2019.NM2A.5","mla":"Rueda Sanchez, Alfredo R., et al. “Resonant Electro-Optic Frequency Comb Generation in Lithium Niobate Disk Resonator inside a Microwave Cavity.” Nonlinear Optics, OSA Technical Digest, NM2A.5, Optica Publishing Group, 2019, doi:10.1364/NLO.2019.NM2A.5.","chicago":"Rueda Sanchez, Alfredo R, Florian Sedlmeir, Gerd Leuchs, Madhuri Kumari, and Harald G.L. Schwefel. “Resonant Electro-Optic Frequency Comb Generation in Lithium Niobate Disk Resonator inside a Microwave Cavity.” In Nonlinear Optics, OSA Technical Digest. Optica Publishing Group, 2019. https://doi.org/10.1364/NLO.2019.NM2A.5.","ama":"Rueda Sanchez AR, Sedlmeir F, Leuchs G, Kumari M, Schwefel HGL. Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. In: Nonlinear Optics, OSA Technical Digest. Optica Publishing Group; 2019. doi:10.1364/NLO.2019.NM2A.5","short":"A.R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kumari, H.G.L. Schwefel, in:, Nonlinear Optics, OSA Technical Digest, Optica Publishing Group, 2019."},"abstract":[{"text":"We demonstrate electro-optic frequency comb generation using a doubly resonant system comprising a whispering gallery mode disk resonator made of lithium niobate mounted inside a three dimensional copper cavity. We observe 180 sidebands centred at 1550 nm.","lang":"eng"}],"doi":"10.1364/NLO.2019.NM2A.5","publisher":"Optica Publishing Group","title":"Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity","quality_controlled":"1"},{"date_updated":"2021-01-12T08:12:41Z","month":"08","_id":"7275","date_published":"2019-08-01T00:00:00Z","publisher":"RSC","citation":{"mla":"Mourad, Eléonore, et al. “Singlet Oxygen from Cation Driven Superoxide Disproportionation and Consequences for Aprotic Metal–O2 Batteries.” Energy & Environmental Science, vol. 12, no. 8, RSC, 2019, pp. 2559–68, doi:10.1039/c9ee01453e.","apa":"Mourad, E., Petit, Y. K., Spezia, R., Samojlov, A., Summa, F. F., Prehal, C., … Freunberger, S. A. (2019). Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. RSC. https://doi.org/10.1039/c9ee01453e","ama":"Mourad E, Petit YK, Spezia R, et al. Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. 2019;12(8):2559-2568. doi:10.1039/c9ee01453e","short":"E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.","chicago":"Mourad, Eléonore, Yann K. Petit, Riccardo Spezia, Aleksej Samojlov, Francesco F. Summa, Christian Prehal, Christian Leypold, et al. “Singlet Oxygen from Cation Driven Superoxide Disproportionation and Consequences for Aprotic Metal–O2 Batteries.” Energy & Environmental Science. RSC, 2019. https://doi.org/10.1039/c9ee01453e.","ista":"Mourad E, Petit YK, Spezia R, Samojlov A, Summa FF, Prehal C, Leypold C, Mahne N, Slugovc C, Fontaine O, Brutti S, Freunberger SA. 2019. Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. 12(8), 2559–2568.","ieee":"E. Mourad et al., “Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries,” Energy & Environmental Science, vol. 12, no. 8. RSC, pp. 2559–2568, 2019."},"abstract":[{"lang":"eng","text":"Aprotic alkali metal–oxygen batteries require reversible formation of metal superoxide or peroxide on cycling. Severe parasitic reactions cause poor rechargeability, efficiency, and cycle life and have been shown to be caused by singlet oxygen (1O2) that forms at all stages of cycling. However, its formation mechanism remains unclear. We show that disproportionation of superoxide, the product or intermediate on discharge and charge, to peroxide and oxygen is responsible for 1O2 formation. While the overall reaction is driven by the stability of peroxide and thus favored by stronger Lewis acidic cations such as Li+, the 1O2 fraction is enhanced by weak Lewis acids such as organic cations. Concurrently, the metal peroxide yield drops with increasing 1O2. The results explain a major parasitic pathway during cell cycling and the growing severity in K–, Na–, and Li–O2 cells based on the growing propensity for disproportionation. High capacities and rates with peroxides are now realized to require solution processes, which form peroxide or release O2via disproportionation. The results therefore establish the central dilemma that disproportionation is required for high capacity but also responsible for irreversible reactions. Highly reversible cell operation requires hence finding reaction routes that avoid disproportionation."}],"file_date_updated":"2020-07-14T12:47:55Z","author":[{"full_name":"Mourad, Eléonore","last_name":"Mourad","first_name":"Eléonore"},{"full_name":"Petit, Yann K.","first_name":"Yann K.","last_name":"Petit"},{"full_name":"Spezia, Riccardo","last_name":"Spezia","first_name":"Riccardo"},{"full_name":"Samojlov, Aleksej","first_name":"Aleksej","last_name":"Samojlov"},{"full_name":"Summa, Francesco F.","last_name":"Summa","first_name":"Francesco F."},{"full_name":"Prehal, Christian","first_name":"Christian","last_name":"Prehal"},{"first_name":"Christian","last_name":"Leypold","full_name":"Leypold, Christian"},{"full_name":"Mahne, Nika","last_name":"Mahne","first_name":"Nika"},{"full_name":"Slugovc, Christian","last_name":"Slugovc","first_name":"Christian"},{"full_name":"Fontaine, Olivier","last_name":"Fontaine","first_name":"Olivier"},{"full_name":"Brutti, Sergio","first_name":"Sergio","last_name":"Brutti"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","last_name":"Freunberger","first_name":"Stefan Alexander"}],"has_accepted_license":"1","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-15T07:18:04Z","publication_status":"published","publication_identifier":{"issn":["1754-5692","1754-5706"]},"status":"public","publication":"Energy & Environmental Science","ddc":["530","541","540"],"oa":1,"page":"2559-2568","quality_controlled":"1","title":"Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:55Z","checksum":"94d4cfb2ab0b4c90ef76a7f3cc811feb","file_name":"2019_EnergyEnvironScienc_Mourad.pdf","relation":"main_file","access_level":"open_access","file_id":"7424","date_created":"2020-01-30T16:11:05Z","content_type":"application/pdf","file_size":2888027}],"intvolume":" 12","doi":"10.1039/c9ee01453e","language":[{"iso":"eng"}],"day":"01","type":"journal_article","issue":"8","article_processing_charge":"No","license":"https://creativecommons.org/licenses/by-nc/4.0/","oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode"},"volume":12,"article_type":"original","extern":"1"},{"date_created":"2020-01-15T07:19:27Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Petit","first_name":"Yann K.","full_name":"Petit, Yann K."},{"full_name":"Leypold, Christian","first_name":"Christian","last_name":"Leypold"},{"full_name":"Mahne, Nika","first_name":"Nika","last_name":"Mahne"},{"full_name":"Mourad, Eléonore","last_name":"Mourad","first_name":"Eléonore"},{"full_name":"Schafzahl, Lukas","first_name":"Lukas","last_name":"Schafzahl"},{"first_name":"Christian","last_name":"Slugovc","full_name":"Slugovc, Christian"},{"full_name":"Borisov, Sergey M.","first_name":"Sergey M.","last_name":"Borisov"},{"full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319","last_name":"Freunberger","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"}],"has_accepted_license":"1","year":"2019","file_date_updated":"2020-07-14T12:47:55Z","citation":{"ieee":"Y. K. Petit et al., “DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells,” Angewandte Chemie International Edition, vol. 58, no. 20. Wiley, pp. 6535–6539, 2019.","ista":"Petit YK, Leypold C, Mahne N, Mourad E, Schafzahl L, Slugovc C, Borisov SM, Freunberger SA. 2019. DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. 58(20), 6535–6539.","chicago":"Petit, Yann K., Christian Leypold, Nika Mahne, Eléonore Mourad, Lukas Schafzahl, Christian Slugovc, Sergey M. Borisov, and Stefan Alexander Freunberger. “DABCOnium: An Efficient and High-Voltage Stable Singlet Oxygen Quencher for Metal-O2 Cells.” Angewandte Chemie International Edition. Wiley, 2019. https://doi.org/10.1002/anie.201901869.","short":"Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.","ama":"Petit YK, Leypold C, Mahne N, et al. DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. 2019;58(20):6535-6539. doi:10.1002/anie.201901869","apa":"Petit, Y. K., Leypold, C., Mahne, N., Mourad, E., Schafzahl, L., Slugovc, C., … Freunberger, S. A. (2019). DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201901869","mla":"Petit, Yann K., et al. “DABCOnium: An Efficient and High-Voltage Stable Singlet Oxygen Quencher for Metal-O2 Cells.” Angewandte Chemie International Edition, vol. 58, no. 20, Wiley, 2019, pp. 6535–39, doi:10.1002/anie.201901869."},"abstract":[{"lang":"eng","text":"Singlet oxygen (1O2) causes a major fraction of the parasitic chemistry during the cycling of non‐aqueous alkali metal‐O2 batteries and also contributes to interfacial reactivity of transition‐metal oxide intercalation compounds. We introduce DABCOnium, the mono alkylated form of 1,4‐diazabicyclo[2.2.2]octane (DABCO), as an efficient 1O2 quencher with an unusually high oxidative stability of ca. 4.2 V vs. Li/Li+. Previous quenchers are strongly Lewis basic amines with too low oxidative stability. DABCOnium is an ionic liquid, non‐volatile, highly soluble in the electrolyte, stable against superoxide and peroxide, and compatible with lithium metal. The electrochemical stability covers the required range for metal–O2 batteries and greatly reduces 1O2 related parasitic chemistry as demonstrated for the Li–O2 cell."}],"publisher":"Wiley","_id":"7276","date_published":"2019-05-13T00:00:00Z","date_updated":"2021-01-12T08:12:42Z","month":"05","article_type":"original","extern":"1","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","oa_version":"Published Version","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"volume":58,"day":"13","type":"journal_article","issue":"20","article_processing_charge":"No","file":[{"date_updated":"2020-07-14T12:47:55Z","creator":"dernst","content_type":"application/pdf","file_size":952737,"file_id":"7356","date_created":"2020-01-22T16:16:54Z","access_level":"open_access","relation":"main_file","file_name":"2019_AngewChemie_Petit.pdf","checksum":"9620b6a511a910d7abe1f26c42dc7f83"}],"intvolume":" 58","doi":"10.1002/anie.201901869","language":[{"iso":"eng"}],"oa":1,"page":"6535-6539","quality_controlled":"1","title":"DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells","publication":"Angewandte Chemie International Edition","ddc":["540"],"status":"public","publication_identifier":{"issn":["1433-7851"]}},{"author":[{"first_name":"Won-Jin","last_name":"Kwak","full_name":"Kwak, Won-Jin"},{"first_name":"Hun","last_name":"Kim","full_name":"Kim, Hun"},{"full_name":"Petit, Yann K.","last_name":"Petit","first_name":"Yann K."},{"full_name":"Leypold, Christian","first_name":"Christian","last_name":"Leypold"},{"first_name":"Trung Thien","last_name":"Nguyen","full_name":"Nguyen, Trung Thien"},{"full_name":"Mahne, Nika","last_name":"Mahne","first_name":"Nika"},{"full_name":"Redfern, Paul","last_name":"Redfern","first_name":"Paul"},{"first_name":"Larry A.","last_name":"Curtiss","full_name":"Curtiss, Larry A."},{"last_name":"Jung","first_name":"Hun-Gi","full_name":"Jung, Hun-Gi"},{"full_name":"Borisov, Sergey M.","first_name":"Sergey M.","last_name":"Borisov"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","last_name":"Freunberger","first_name":"Stefan Alexander"},{"last_name":"Sun","first_name":"Yang-Kook","full_name":"Sun, Yang-Kook"}],"has_accepted_license":"1","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2020-01-15T12:12:26Z","date_updated":"2021-01-12T08:12:44Z","month":"03","_id":"7280","date_published":"2019-03-26T00:00:00Z","publisher":"Springer Nature","file_date_updated":"2020-07-14T12:47:55Z","abstract":[{"text":"Non-aqueous lithium-oxygen batteries cycle by forming lithium peroxide during discharge and oxidizing it during recharge. The significant problem of oxidizing the solid insulating lithium peroxide can greatly be facilitated by incorporating redox mediators that shuttle electron-holes between the porous substrate and lithium peroxide. Redox mediator stability is thus key for energy efficiency, reversibility, and cycle life. However, the gradual deactivation of redox mediators during repeated cycling has not conclusively been explained. Here, we show that organic redox mediators are predominantly decomposed by singlet oxygen that forms during cycling. Their reaction with superoxide, previously assumed to mainly trigger their degradation, peroxide, and dioxygen, is orders of magnitude slower in comparison. The reduced form of the mediator is markedly more reactive towards singlet oxygen than the oxidized form, from which we derive reaction mechanisms supported by density functional theory calculations. Redox mediators must thus be designed for stability against singlet oxygen.","lang":"eng"}],"citation":{"apa":"Kwak, W.-J., Kim, H., Petit, Y. K., Leypold, C., Nguyen, T. T., Mahne, N., … Sun, Y.-K. (2019). Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09399-0","mla":"Kwak, Won-Jin, et al. “Deactivation of Redox Mediators in Lithium-Oxygen Batteries by Singlet Oxygen.” Nature Communications, vol. 10, 1380, Springer Nature, 2019, doi:10.1038/s41467-019-09399-0.","chicago":"Kwak, Won-Jin, Hun Kim, Yann K. Petit, Christian Leypold, Trung Thien Nguyen, Nika Mahne, Paul Redfern, et al. “Deactivation of Redox Mediators in Lithium-Oxygen Batteries by Singlet Oxygen.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09399-0.","short":"W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).","ama":"Kwak W-J, Kim H, Petit YK, et al. Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. 2019;10. doi:10.1038/s41467-019-09399-0","ista":"Kwak W-J, Kim H, Petit YK, Leypold C, Nguyen TT, Mahne N, Redfern P, Curtiss LA, Jung H-G, Borisov SM, Freunberger SA, Sun Y-K. 2019. Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. 10, 1380.","ieee":"W.-J. Kwak et al., “Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen,” Nature Communications, vol. 10. Springer Nature, 2019."},"type":"journal_article","day":"26","article_processing_charge":"No","article_number":"1380","oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"volume":10,"article_type":"original","extern":"1","status":"public","publication_identifier":{"issn":["2041-1723"]},"publication":"Nature Communications","ddc":["540"],"oa":1,"quality_controlled":"1","title":"Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen","file":[{"checksum":"123dd33e7f26761c82c74e10811a1e4d","file_name":"2019_NatureComm_Kwak.pdf","relation":"main_file","access_level":"open_access","date_created":"2020-01-22T15:58:54Z","file_id":"7355","content_type":"application/pdf","file_size":1003676,"creator":"dernst","date_updated":"2020-07-14T12:47:55Z"}],"intvolume":" 10","doi":"10.1038/s41467-019-09399-0","language":[{"iso":"eng"}]},{"status":"public","publication_identifier":{"issn":["2155-5435"]},"ddc":["540"],"publication":"ACS Catalysis","page":"9914-9922","oa":1,"title":"Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries","quality_controlled":"1","intvolume":" 9","file":[{"creator":"sfreunbe","date_updated":"2020-07-14T12:47:55Z","checksum":"bbaebfe5ff0bcab6235821ba3460b7de","file_name":"Revised Manuscript.pdf","relation":"main_file","access_level":"open_access","file_id":"8053","date_created":"2020-06-29T15:19:30Z","file_size":1199086,"content_type":"application/pdf"}],"language":[{"iso":"eng"}],"doi":"10.1021/acscatal.9b01337","type":"journal_article","day":"01","article_processing_charge":"No","issue":"11","oa_version":"Submitted Version","volume":9,"article_type":"original","extern":"1","month":"11","date_updated":"2021-01-12T08:12:44Z","_id":"7281","date_published":"2019-11-01T00:00:00Z","publisher":"ACS","citation":{"short":"W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.","ama":"Kwak W-J, Freunberger SA, Kim H, et al. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 2019;9(11):9914-9922. doi:10.1021/acscatal.9b01337","chicago":"Kwak, Won-Jin, Stefan Alexander Freunberger, Hun Kim, Jiwon Park, Trung Thien Nguyen, Hun-Gi Jung, Hye Ryung Byon, and Yang-Kook Sun. “Mutual Conservation of Redox Mediator and Singlet Oxygen Quencher in Lithium–Oxygen Batteries.” ACS Catalysis. ACS, 2019. https://doi.org/10.1021/acscatal.9b01337.","mla":"Kwak, Won-Jin, et al. “Mutual Conservation of Redox Mediator and Singlet Oxygen Quencher in Lithium–Oxygen Batteries.” ACS Catalysis, vol. 9, no. 11, ACS, 2019, pp. 9914–22, doi:10.1021/acscatal.9b01337.","apa":"Kwak, W.-J., Freunberger, S. A., Kim, H., Park, J., Nguyen, T. T., Jung, H.-G., … Sun, Y.-K. (2019). Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. ACS. https://doi.org/10.1021/acscatal.9b01337","ieee":"W.-J. Kwak et al., “Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries,” ACS Catalysis, vol. 9, no. 11. ACS, pp. 9914–9922, 2019.","ista":"Kwak W-J, Freunberger SA, Kim H, Park J, Nguyen TT, Jung H-G, Byon HR, Sun Y-K. 2019. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 9(11), 9914–9922."},"abstract":[{"lang":"eng","text":"Li–O2 batteries are plagued by side reactions that cause poor rechargeability and efficiency. These reactions were recently revealed to be predominantly caused by singlet oxygen, which can be neutralized by chemical traps or physical quenchers. However, traps are irreversibly consumed and thus only active for a limited time, and so far identified quenchers lack oxidative stability to be suitable for typically required recharge potentials. Thus, reducing the charge potential within the stability limit of the quencher and/or finding more stable quenchers is required. Here, we show that dimethylphenazine as a redox mediator decreases the charge potential well within the stability limit of the quencher 1,4-diazabicyclo[2.2.2]octane. The quencher can thus mitigate the parasitic reactions without being oxidatively decomposed. At the same time the quencher protects the redox mediator from singlet oxygen attack. The mutual conservation of the redox mediator and the quencher is rational for stable and effective Li–O2 batteries."}],"file_date_updated":"2020-07-14T12:47:55Z","author":[{"first_name":"Won-Jin","last_name":"Kwak","full_name":"Kwak, Won-Jin"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander"},{"full_name":"Kim, Hun","first_name":"Hun","last_name":"Kim"},{"full_name":"Park, Jiwon","first_name":"Jiwon","last_name":"Park"},{"last_name":"Nguyen","first_name":"Trung Thien","full_name":"Nguyen, Trung Thien"},{"full_name":"Jung, Hun-Gi","first_name":"Hun-Gi","last_name":"Jung"},{"full_name":"Byon, Hye Ryung","last_name":"Byon","first_name":"Hye Ryung"},{"first_name":"Yang-Kook","last_name":"Sun","full_name":"Sun, Yang-Kook"}],"year":"2019","has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-15T12:12:40Z","publication_status":"published"},{"month":"08","date_updated":"2021-01-12T08:12:44Z","date_published":"2019-08-19T00:00:00Z","_id":"7282","publisher":"Springer Nature","citation":{"ista":"Freunberger SA. 2019. Interphase identity crisis. Nature Chemistry. 11(9), 761–763.","ieee":"S. A. Freunberger, “Interphase identity crisis,” Nature Chemistry, vol. 11, no. 9. Springer Nature, pp. 761–763, 2019.","mla":"Freunberger, Stefan Alexander. “Interphase Identity Crisis.” Nature Chemistry, vol. 11, no. 9, Springer Nature, 2019, pp. 761–63, doi:10.1038/s41557-019-0311-0.","apa":"Freunberger, S. A. (2019). Interphase identity crisis. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-019-0311-0","ama":"Freunberger SA. Interphase identity crisis. Nature Chemistry. 2019;11(9):761-763. doi:10.1038/s41557-019-0311-0","short":"S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.","chicago":"Freunberger, Stefan Alexander. “Interphase Identity Crisis.” Nature Chemistry. Springer Nature, 2019. https://doi.org/10.1038/s41557-019-0311-0."},"file_date_updated":"2020-07-14T12:47:55Z","abstract":[{"text":"Interphases that form on the anode surface of lithium-ion batteries are critical for performance and lifetime, but are poorly understood. Now, a decade-old misconception regarding a main component of the interphase has been revealed, which could potentially lead to improved devices.","lang":"eng"}],"year":"2019","has_accepted_license":"1","author":[{"last_name":"Freunberger","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","full_name":"Freunberger, Stefan Alexander"}],"date_created":"2020-01-15T12:12:53Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["1755-4330","1755-4349"]},"status":"public","ddc":["540","547"],"publication":"Nature Chemistry","title":"Interphase identity crisis","quality_controlled":"1","page":"761-763","oa":1,"language":[{"iso":"eng"}],"doi":"10.1038/s41557-019-0311-0","intvolume":" 11","file":[{"relation":"main_file","access_level":"open_access","checksum":"76806cff3d5b62f846499a8617cee7ef","file_name":"Freunberger on Eichhorn.pdf","file_size":286805,"content_type":"application/pdf","file_id":"8054","date_created":"2020-06-29T15:38:21Z","creator":"sfreunbe","date_updated":"2020-07-14T12:47:55Z"}],"issue":"9","article_processing_charge":"No","type":"journal_article","day":"19","volume":11,"oa_version":"Submitted Version","extern":"1","article_type":"letter_note"},{"type":"journal_article","day":"20","issue":"4","article_processing_charge":"No","oa_version":"Submitted Version","volume":18,"article_type":"letter_note","extern":"1","status":"public","publication_identifier":{"issn":["1476-1122","1476-4660"]},"ddc":["540","541"],"publication":"Nature Materials","page":"301-302","oa":1,"title":"Thousands of cycles","quality_controlled":"1","intvolume":" 18","file":[{"creator":"sfreunbe","date_updated":"2020-07-14T12:47:55Z","checksum":"4c9a0314327028a22dd902bc109b8798","file_name":"NaV_final.pdf","relation":"main_file","access_level":"open_access","date_created":"2020-06-29T16:26:54Z","file_id":"8059","content_type":"application/pdf","file_size":398123}],"language":[{"iso":"eng"}],"doi":"10.1038/s41563-019-0313-8","author":[{"full_name":"Petit, Yann K.","first_name":"Yann K.","last_name":"Petit"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander"}],"year":"2019","has_accepted_license":"1","date_created":"2020-01-15T12:13:05Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","month":"03","date_updated":"2021-01-12T08:12:45Z","_id":"7283","date_published":"2019-03-20T00:00:00Z","publisher":"Springer Nature","citation":{"apa":"Petit, Y. K., & Freunberger, S. A. (2019). Thousands of cycles. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-019-0313-8","mla":"Petit, Yann K., and Stefan Alexander Freunberger. “Thousands of Cycles.” Nature Materials, vol. 18, no. 4, Springer Nature, 2019, pp. 301–02, doi:10.1038/s41563-019-0313-8.","chicago":"Petit, Yann K., and Stefan Alexander Freunberger. “Thousands of Cycles.” Nature Materials. Springer Nature, 2019. https://doi.org/10.1038/s41563-019-0313-8.","ama":"Petit YK, Freunberger SA. Thousands of cycles. Nature Materials. 2019;18(4):301-302. doi:10.1038/s41563-019-0313-8","short":"Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.","ista":"Petit YK, Freunberger SA. 2019. Thousands of cycles. Nature Materials. 18(4), 301–302.","ieee":"Y. K. Petit and S. A. Freunberger, “Thousands of cycles,” Nature Materials, vol. 18, no. 4. Springer Nature, pp. 301–302, 2019."},"file_date_updated":"2020-07-14T12:47:55Z","abstract":[{"lang":"eng","text":"Potassium–air batteries, which suffer from oxygen cathode and potassium metal anode degradation, can be cycled thousands of times when an organic anode replaces the metal."}]},{"main_file_link":[{"open_access":"1","url":"https://www.doi.org/10.1016/j.joule.2019.01.020"}],"oa":1,"page":"321-323","quality_controlled":"1","title":"Li-O2 cell-scale energy densities","intvolume":" 3","doi":"10.1016/j.joule.2019.01.020","language":[{"iso":"eng"}],"status":"public","publication_identifier":{"issn":["2542-4351"]},"publication":"Joule","oa_version":"Published Version","volume":3,"article_type":"review","extern":"1","type":"journal_article","day":"20","article_processing_charge":"No","issue":"2","publisher":"Elsevier","abstract":[{"lang":"eng","text":"In this issue of Joule, Dongmin Im and coworkers from Samsung in South Korea describe a prototype lithium-O2 battery that reaches ∼700 Wh kg–1 and ∼600 Wh L–1 on the cell level. They cut all components to the minimum to reach this value. Difficulties filling the pores with discharge product and inhomogeneous cell utilization turn out to limit the achievable energy. Their work underlines the importance of reporting performance with respect to full cell weight and volume."}],"citation":{"ama":"Prehal C, Freunberger SA. Li-O2 cell-scale energy densities. Joule. 2019;3(2):321-323. doi:10.1016/j.joule.2019.01.020","short":"C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.","chicago":"Prehal, Christian, and Stefan Alexander Freunberger. “Li-O2 Cell-Scale Energy Densities.” Joule. Elsevier, 2019. https://doi.org/10.1016/j.joule.2019.01.020.","mla":"Prehal, Christian, and Stefan Alexander Freunberger. “Li-O2 Cell-Scale Energy Densities.” Joule, vol. 3, no. 2, Elsevier, 2019, pp. 321–23, doi:10.1016/j.joule.2019.01.020.","apa":"Prehal, C., & Freunberger, S. A. (2019). Li-O2 cell-scale energy densities. Joule. Elsevier. https://doi.org/10.1016/j.joule.2019.01.020","ieee":"C. Prehal and S. A. Freunberger, “Li-O2 cell-scale energy densities,” Joule, vol. 3, no. 2. Elsevier, pp. 321–323, 2019.","ista":"Prehal C, Freunberger SA. 2019. Li-O2 cell-scale energy densities. Joule. 3(2), 321–323."},"date_updated":"2021-01-12T08:12:45Z","month":"02","_id":"7284","date_published":"2019-02-20T00:00:00Z","date_created":"2020-01-15T12:13:15Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Prehal, Christian","last_name":"Prehal","first_name":"Christian"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander"}],"year":"2019"},{"file_date_updated":"2020-07-14T12:47:55Z","abstract":[{"lang":"eng","text":"We consider the space of probability measures on a discrete set X, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset Y⊆X, it is natural to ask whether they can be connected by a constant speed geodesic with support in Y at all times. Our main result answers this question affirmatively, under a suitable geometric condition on Y introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest."}],"citation":{"mla":"Erbar, Matthias, et al. “On the Geometry of Geodesics in Discrete Optimal Transport.” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1, 19, Springer, 2019, doi:10.1007/s00526-018-1456-1.","apa":"Erbar, M., Maas, J., & Wirth, M. (2019). On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. Springer. https://doi.org/10.1007/s00526-018-1456-1","short":"M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).","ama":"Erbar M, Maas J, Wirth M. On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. 2019;58(1). doi:10.1007/s00526-018-1456-1","chicago":"Erbar, Matthias, Jan Maas, and Melchior Wirth. “On the Geometry of Geodesics in Discrete Optimal Transport.” Calculus of Variations and Partial Differential Equations. Springer, 2019. https://doi.org/10.1007/s00526-018-1456-1.","ista":"Erbar M, Maas J, Wirth M. 2019. On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. 58(1), 19.","ieee":"M. Erbar, J. Maas, and M. Wirth, “On the geometry of geodesics in discrete optimal transport,” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1. Springer, 2019."},"publisher":"Springer","ec_funded":1,"date_published":"2019-02-01T00:00:00Z","_id":"73","month":"02","scopus_import":"1","date_updated":"2023-09-13T09:12:35Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2018-12-11T11:44:29Z","publication_status":"published","year":"2019","has_accepted_license":"1","author":[{"full_name":"Erbar, Matthias","last_name":"Erbar","first_name":"Matthias"},{"id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0845-1338","first_name":"Jan","last_name":"Maas","full_name":"Maas, Jan"},{"last_name":"Wirth","first_name":"Melchior","full_name":"Wirth, Melchior"}],"language":[{"iso":"eng"}],"doi":"10.1007/s00526-018-1456-1","intvolume":" 58","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:55Z","relation":"main_file","access_level":"open_access","checksum":"ba05ac2d69de4c58d2cd338b63512798","file_name":"2018_Calculus_Erbar.pdf","content_type":"application/pdf","file_size":645565,"date_created":"2019-01-28T15:37:11Z","file_id":"5895"}],"title":"On the geometry of geodesics in discrete optimal transport","quality_controlled":"1","oa":1,"ddc":["510"],"external_id":{"isi":["000452849400001"],"arxiv":["1805.06040"]},"publication":"Calculus of Variations and Partial Differential Equations","project":[{"grant_number":"716117","call_identifier":"H2020","name":"Optimal Transport and Stochastic Dynamics","_id":"256E75B8-B435-11E9-9278-68D0E5697425"},{"grant_number":" F06504","call_identifier":"FWF","_id":"260482E2-B435-11E9-9278-68D0E5697425","name":"Taming Complexity in Partial Di erential Systems"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"status":"public","publication_identifier":{"issn":["09442669"]},"article_type":"original","volume":58,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","arxiv":1,"article_number":"19","issue":"1","article_processing_charge":"Yes (via OA deal)","isi":1,"day":"01","type":"journal_article","department":[{"_id":"JaMa"}]},{"article_number":"e50793","oa_version":"Published Version","volume":8,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"article_type":"original","department":[{"_id":"MaDe"}],"day":"24","type":"journal_article","isi":1,"article_processing_charge":"No","oa":1,"quality_controlled":"1","title":"Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR","file":[{"content_type":"application/pdf","file_size":4817384,"file_id":"8777","date_created":"2020-11-19T11:37:41Z","access_level":"open_access","relation":"main_file","success":1,"file_name":"2019_eLife_AminWetzel.pdf","checksum":"29fcbcd8c1fc7f11a596ed7f14ea1c82","date_updated":"2020-11-19T11:37:41Z","creator":"dernst"}],"intvolume":" 8","doi":"10.7554/eLife.50793","language":[{"iso":"eng"}],"status":"public","publication_identifier":{"eissn":["2050084X"]},"publication":"eLife","external_id":{"pmid":["31873072"],"isi":["000512303700001"]},"ddc":["570"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","date_created":"2020-01-19T23:00:39Z","pmid":1,"author":[{"full_name":"Amin-Wetzel, Niko Paresh","first_name":"Niko Paresh","last_name":"Amin-Wetzel","id":"E95D3014-9D8C-11E9-9C80-D2F8E5697425"},{"first_name":"Lisa","last_name":"Neidhardt","full_name":"Neidhardt, Lisa"},{"first_name":"Yahui","last_name":"Yan","full_name":"Yan, Yahui"},{"full_name":"Mayer, Matthias P.","last_name":"Mayer","first_name":"Matthias P."},{"full_name":"Ron, David","first_name":"David","last_name":"Ron"}],"has_accepted_license":"1","year":"2019","publisher":"eLife Sciences Publications","acknowledgement":"We thank the CIMR flow cytometry core facility team (Reiner Schulte, Chiara Cossetti and Gabriela Grondys-Kotarba) for assistance with FACS, the Huntington lab for access to the Octet machine, Steffen Preissler for advice on data interpretation, Roman Kityk and Nicole Luebbehusen for help and advice with HX-MS experiments.","file_date_updated":"2020-11-19T11:37:41Z","abstract":[{"text":"Coupling of endoplasmic reticulum stress to dimerisation‑dependent activation of the UPR transducer IRE1 is incompletely understood. Whilst the luminal co-chaperone ERdj4 promotes a complex between the Hsp70 BiP and IRE1's stress-sensing luminal domain (IRE1LD) that favours the latter's monomeric inactive state and loss of ERdj4 de-represses IRE1, evidence linking these cellular and in vitro observations is presently lacking. We report that enforced loading of endogenous BiP onto endogenous IRE1α repressed UPR signalling in CHO cells and deletions in the IRE1α locus that de-repressed the UPR in cells, encode flexible regions of IRE1LD that mediated BiP‑induced monomerisation in vitro. Changes in the hydrogen exchange mass spectrometry profile of IRE1LD induced by ERdj4 and BiP confirmed monomerisation and were consistent with active destabilisation of the IRE1LD dimer. Together, these observations support a competition model whereby waning ER stress passively partitions ERdj4 and BiP to IRE1LD to initiate active repression of UPR signalling.","lang":"eng"}],"citation":{"ieee":"N. P. Amin-Wetzel, L. Neidhardt, Y. Yan, M. P. Mayer, and D. Ron, “Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR,” eLife, vol. 8. eLife Sciences Publications, 2019.","ista":"Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. 2019. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 8, e50793.","chicago":"Amin-Wetzel, Niko Paresh, Lisa Neidhardt, Yahui Yan, Matthias P. Mayer, and David Ron. “Unstructured Regions in IRE1α Specify BiP-Mediated Destabilisation of the Luminal Domain Dimer and Repression of the UPR.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.50793.","ama":"Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 2019;8. doi:10.7554/eLife.50793","short":"N.P. Amin-Wetzel, L. Neidhardt, Y. Yan, M.P. Mayer, D. Ron, ELife 8 (2019).","apa":"Amin-Wetzel, N. P., Neidhardt, L., Yan, Y., Mayer, M. P., & Ron, D. (2019). Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.50793","mla":"Amin-Wetzel, Niko Paresh, et al. “Unstructured Regions in IRE1α Specify BiP-Mediated Destabilisation of the Luminal Domain Dimer and Repression of the UPR.” ELife, vol. 8, e50793, eLife Sciences Publications, 2019, doi:10.7554/eLife.50793."},"date_updated":"2023-09-06T14:58:02Z","scopus_import":"1","month":"12","_id":"7340","date_published":"2019-12-24T00:00:00Z"},{"title":"TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids","page":"75","oa":1,"main_file_link":[{"url":"https://doi.org/10.1101/2019.12.13.875773","open_access":"1"}],"publisher":"Cold Spring Harbor Laboratory","citation":{"ista":"Watanabe M, Haney JR, Vishlaghi N, Turcios F, Buth JE, Gu W, Collier AJ, Miranda O, Chen D, Sabri S, Clark AT, Plath K, Christofk HR, Gandal MJ, Novitch BG. 2019. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv, 10.1101/2019.12.13.875773.","ieee":"M. Watanabe et al., “TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids,” bioRxiv. Cold Spring Harbor Laboratory, 2019.","mla":"Watanabe, Momoko, et al. “TGFβ Superfamily Signaling Regulates the State of Human Stem Cell Pluripotency and Competency to Create Telencephalic Organoids.” BioRxiv, Cold Spring Harbor Laboratory, 2019, doi:10.1101/2019.12.13.875773.","apa":"Watanabe, M., Haney, J. R., Vishlaghi, N., Turcios, F., Buth, J. E., Gu, W., … Novitch, B. G. (2019). TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2019.12.13.875773","short":"M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).","ama":"Watanabe M, Haney JR, Vishlaghi N, et al. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. 2019. doi:10.1101/2019.12.13.875773","chicago":"Watanabe, Momoko, Jillian R. Haney, Neda Vishlaghi, Felix Turcios, Jessie E. Buth, Wen Gu, Amanda J. Collier, et al. “TGFβ Superfamily Signaling Regulates the State of Human Stem Cell Pluripotency and Competency to Create Telencephalic Organoids.” BioRxiv. Cold Spring Harbor Laboratory, 2019. https://doi.org/10.1101/2019.12.13.875773."},"abstract":[{"lang":"eng","text":"Telencephalic organoids generated from human pluripotent stem cells (hPSCs) are emerging as an effective system to study the distinct features of the developing human brain and the underlying causes of many neurological disorders. While progress in organoid technology has been steadily advancing, many challenges remain including rampant batch-to-batch and cell line-to-cell line variability and irreproducibility. Here, we demonstrate that a major contributor to successful cortical organoid production is the manner in which hPSCs are maintained prior to differentiation. Optimal results were achieved using fibroblast-feeder-supported hPSCs compared to feeder-independent cells, related to differences in their transcriptomic states. Feeder-supported hPSCs display elevated activation of diverse TGFβ superfamily signaling pathways and increased expression of genes associated with naïve pluripotency. We further identify combinations of TGFβ-related growth factors that are necessary and together sufficient to impart broad telencephalic organoid competency to feeder-free hPSCs and enable reproducible formation of brain structures suitable for disease modeling."}],"language":[{"iso":"eng"}],"doi":"10.1101/2019.12.13.875773","month":"12","date_updated":"2022-06-17T08:03:32Z","status":"public","publication":"bioRxiv","date_published":"2019-12-13T00:00:00Z","_id":"7358","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-23T09:53:40Z","oa_version":"Preprint","extern":"1","year":"2019","article_processing_charge":"No","author":[{"full_name":"Watanabe, Momoko","first_name":"Momoko","last_name":"Watanabe"},{"last_name":"Haney","first_name":"Jillian R.","full_name":"Haney, Jillian R."},{"first_name":"Neda","last_name":"Vishlaghi","full_name":"Vishlaghi, Neda"},{"first_name":"Felix","last_name":"Turcios","full_name":"Turcios, Felix"},{"full_name":"Buth, Jessie E.","last_name":"Buth","first_name":"Jessie E."},{"full_name":"Gu, Wen","last_name":"Gu","first_name":"Wen"},{"full_name":"Collier, Amanda J.","first_name":"Amanda J.","last_name":"Collier"},{"first_name":"Osvaldo","last_name":"Miranda","orcid":"0000-0001-6618-6889","id":"862A3C56-A8BF-11E9-B4FA-D9E3E5697425","full_name":"Miranda, Osvaldo"},{"full_name":"Chen, Di","first_name":"Di","last_name":"Chen"},{"full_name":"Sabri, Shan","last_name":"Sabri","first_name":"Shan"},{"last_name":"Clark","first_name":"Amander T.","full_name":"Clark, Amander T."},{"first_name":"Kathrin","last_name":"Plath","full_name":"Plath, Kathrin"},{"full_name":"Christofk, Heather R.","first_name":"Heather R.","last_name":"Christofk"},{"full_name":"Gandal, Michael J.","last_name":"Gandal","first_name":"Michael J."},{"full_name":"Novitch, Bennett G.","first_name":"Bennett G.","last_name":"Novitch"}],"day":"13","type":"preprint"}]