[{"project":[{"name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223","call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"publication":"47th International Colloquium on Automata, Languages, and Programming","status":"public","acknowledgement":"The authors sincerely thank Thomas Sauerwald and George Giakkoupis for insightful discussions, and Mohsen Ghaffari, Yuval Peres, and Udi Wieder for feedback on earlier\r\nversions of this draft. We also thank the ICALP anonymous reviewers for their very useful comments.\r\nFunding: European Research Council funding award PR1042ERC01","conference":{"location":"Saarbrücken, Germany, Virtual","end_date":"2020-07-11","start_date":"2020-07-08","name":"ICALP: International Colloquium on Automata, Languages, and Programming"},"date_published":"2020-06-29T00:00:00Z","ec_funded":1,"external_id":{"arxiv":["2003.09297"]},"related_material":{"record":[{"id":"8286","status":"public","relation":"later_version"}]},"year":"2020","ddc":["000"],"quality_controlled":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","doi":"10.4230/LIPIcs.ICALP.2020.7","alternative_title":["LIPIcs"],"article_processing_charge":"No","type":"conference","date_updated":"2024-03-05T07:35:53Z","_id":"15077","language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 168, 7.","chicago":"Alistarh, Dan-Adrian, Giorgi Nadiradze, and Amirmojtaba Sabour. “Dynamic Averaging Load Balancing on Cycles.” In 47th International Colloquium on Automata, Languages, and Programming, Vol. 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.ICALP.2020.7.","apa":"Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2020). Dynamic averaging load balancing on cycles. In 47th International Colloquium on Automata, Languages, and Programming (Vol. 168). Saarbrücken, Germany, Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2020.7","mla":"Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” 47th International Colloquium on Automata, Languages, and Programming, vol. 168, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ICALP.2020.7.","ama":"Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7","ieee":"D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” in 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, Virtual, 2020, vol. 168.","short":"D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020."},"month":"06","arxiv":1,"article_number":"7","file":[{"success":1,"file_name":"2020_LIPIcs_Alistarh.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"e5eb16199f4ccfd77a321977eb3f026f","date_created":"2024-03-05T07:25:15Z","file_size":782987,"date_updated":"2024-03-05T07:25:15Z","creator":"dernst","file_id":"15078"}],"department":[{"_id":"DaAl"}],"license":"https://creativecommons.org/licenses/by/3.0/","abstract":[{"text":"We consider the following dynamic load-balancing process: given an underlying graph G with n nodes, in each step t≥ 0, one unit of load is created, and placed at a randomly chosen graph node. In the same step, the chosen node picks a random neighbor, and the two nodes balance their loads by averaging them. We are interested in the expected gap between the minimum and maximum loads at nodes as the process progresses, and its dependence on n and on the graph structure. Variants of the above graphical balanced allocation process have been studied previously by Peres, Talwar, and Wieder [Peres et al., 2015], and by Sauerwald and Sun [Sauerwald and Sun, 2015]. These authors left as open the question of characterizing the gap in the case of cycle graphs in the dynamic case, where weights are created during the algorithm’s execution. For this case, the only known upper bound is of 𝒪(n log n), following from a majorization argument due to [Peres et al., 2015], which analyzes a related graphical allocation process. In this paper, we provide an upper bound of 𝒪 (√n log n) on the expected gap of the above process for cycles of length n. We introduce a new potential analysis technique, which enables us to bound the difference in load between k-hop neighbors on the cycle, for any k ≤ n/2. We complement this with a \"gap covering\" argument, which bounds the maximum value of the gap by bounding its value across all possible subsets of a certain structure, and recursively bounding the gaps within each subset. We provide analytical and experimental evidence that our upper bound on the gap is tight up to a logarithmic factor.","lang":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","image":"/images/cc_by.png","short":"CC BY (3.0)"},"intvolume":" 168","has_accepted_license":"1","publication_status":"published","file_date_updated":"2024-03-05T07:25:15Z","title":"Dynamic averaging load balancing on cycles","oa_version":"Published Version","author":[{"first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"},{"orcid":"0000-0001-5634-0731","first_name":"Giorgi","full_name":"Nadiradze, Giorgi","id":"3279A00C-F248-11E8-B48F-1D18A9856A87","last_name":"Nadiradze"},{"last_name":"Sabour","id":"bcc145fd-e77f-11ea-ae8b-80d661dbff67","full_name":"Sabour, Amirmojtaba","first_name":"Amirmojtaba"}],"scopus_import":"1","day":"29","date_created":"2024-03-05T07:25:37Z","volume":168},{"oa_version":"Published Version","title":"Disjoint tree-compatible plane perfect matchings","author":[{"first_name":"Oswin","full_name":"Aichholzer, Oswin","last_name":"Aichholzer"},{"first_name":"Julia","last_name":"Obmann","full_name":"Obmann, Julia"},{"id":"B593B804-1035-11EA-B4F1-947645A5BB83","full_name":"Patak, Pavel","last_name":"Patak","first_name":"Pavel"},{"last_name":"Perz","full_name":"Perz, Daniel","first_name":"Daniel"},{"last_name":"Tkadlec","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","full_name":"Tkadlec, Josef","orcid":"0000-0002-1097-9684","first_name":"Josef"}],"article_processing_charge":"No","day":"01","type":"conference","date_created":"2024-03-05T08:57:17Z","date_updated":"2024-03-05T09:00:07Z","_id":"15082","abstract":[{"text":"Two plane drawings of geometric graphs on the same set of points are called disjoint compatible if their union is plane and they do not have an edge in common. For a given set S of 2n points two plane drawings of perfect matchings M1 and M2 (which do not need to be disjoint nor compatible) are disjoint tree-compatible if there exists a plane drawing of a spanning tree T on S which is disjoint compatible to both M1 and M2.\r\nWe show that the graph of all disjoint tree-compatible perfect geometric matchings on 2n points in convex position is connected if and only if 2n ≥ 10. Moreover, in that case the diameter\r\nof this graph is either 4 or 5, independent of n.","lang":"eng"}],"publication_status":"published","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://www1.pub.informatik.uni-wuerzburg.de/eurocg2020/data/uploads/papers/eurocg20_paper_56.pdf"}],"month":"04","year":"2020","article_number":"56","department":[{"_id":"KrCh"},{"_id":"UlWa"}],"status":"public","language":[{"iso":"eng"}],"publication":"36th European Workshop on Computational Geometry","oa":1,"date_published":"2020-04-01T00:00:00Z","conference":{"location":"Würzburg, Germany, Virtual","name":"EuroCG: European Workshop on Computational Geometry","start_date":"2020-03-16","end_date":"2020-03-18"},"acknowledgement":"Research on this work was initiated at the 6th Austrian-Japanese-Mexican-Spanish Workshop on Discrete Geometry and continued during the 16th European Geometric Graph-Week, both held near Strobl, Austria. We are grateful to the participants for the inspiring atmosphere. We especially thank Alexander Pilz for bringing this class of problems to our attention and Birgit Vogtenhuber for inspiring discussions. D.P. is partially supported by the FWF grant I 3340-N35 (Collaborative DACH project Arrangements and Drawings). The research stay of P.P. at IST Austria is funded by the project CZ.02.2.69/0.0/0.0/17_050/0008466 Improvement of internationalization in the field of research and development at Charles University, through the support of quality projects MSCA-IF. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 734922.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Aichholzer, Oswin, Julia Obmann, Pavel Patak, Daniel Perz, and Josef Tkadlec. “Disjoint Tree-Compatible Plane Perfect Matchings.” In 36th European Workshop on Computational Geometry, 2020.","ista":"Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. 2020. Disjoint tree-compatible plane perfect matchings. 36th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry, 56.","apa":"Aichholzer, O., Obmann, J., Patak, P., Perz, D., & Tkadlec, J. (2020). Disjoint tree-compatible plane perfect matchings. In 36th European Workshop on Computational Geometry. Würzburg, Germany, Virtual.","mla":"Aichholzer, Oswin, et al. “Disjoint Tree-Compatible Plane Perfect Matchings.” 36th European Workshop on Computational Geometry, 56, 2020.","ama":"Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. Disjoint tree-compatible plane perfect matchings. In: 36th European Workshop on Computational Geometry. ; 2020.","ieee":"O. Aichholzer, J. Obmann, P. Patak, D. Perz, and J. Tkadlec, “Disjoint tree-compatible plane perfect matchings,” in 36th European Workshop on Computational Geometry, Würzburg, Germany, Virtual, 2020.","short":"O. Aichholzer, J. Obmann, P. Patak, D. Perz, J. Tkadlec, in:, 36th European Workshop on Computational Geometry, 2020."}},{"department":[{"_id":"JoFi"}],"year":"2020","related_material":{"record":[{"id":"8529","relation":"used_in_publication","status":"public"}]},"month":"07","citation":{"chicago":"Arnold, Georg M, Matthias Wulf, Shabir Barzanjeh, Elena Redchenko, Alfredo R Rueda Sanchez, William J Hease, Farid Hassani, and Johannes M Fink. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” Zenodo, 2020. https://doi.org/10.5281/ZENODO.3961561.","ista":"Arnold GM, Wulf M, Barzanjeh S, Redchenko E, Rueda Sanchez AR, Hease WJ, Hassani F, Fink JM. 2020. Converting microwave and telecom photons with a silicon photonic nanomechanical interface, Zenodo, 10.5281/ZENODO.3961561.","mla":"Arnold, Georg M., et al. Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface. Zenodo, 2020, doi:10.5281/ZENODO.3961561.","apa":"Arnold, G. M., Wulf, M., Barzanjeh, S., Redchenko, E., Rueda Sanchez, A. R., Hease, W. J., … Fink, J. M. (2020). Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Zenodo. https://doi.org/10.5281/ZENODO.3961561","ama":"Arnold GM, Wulf M, Barzanjeh S, et al. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. 2020. doi:10.5281/ZENODO.3961561","short":"G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, (2020).","ieee":"G. M. Arnold et al., “Converting microwave and telecom photons with a silicon photonic nanomechanical interface.” Zenodo, 2020."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-07-27T00:00:00Z","oa":1,"status":"public","_id":"13056","date_updated":"2024-09-10T12:23:51Z","date_created":"2023-05-23T13:37:41Z","type":"research_data_reference","day":"27","article_processing_charge":"No","author":[{"full_name":"Arnold, Georg M","id":"3770C838-F248-11E8-B48F-1D18A9856A87","last_name":"Arnold","orcid":"0000-0003-1397-7876","first_name":"Georg M"},{"id":"45598606-F248-11E8-B48F-1D18A9856A87","full_name":"Wulf, Matthias","last_name":"Wulf","first_name":"Matthias","orcid":"0000-0001-6613-1378"},{"id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","full_name":"Barzanjeh, Shabir","last_name":"Barzanjeh","first_name":"Shabir","orcid":"0000-0003-0415-1423"},{"full_name":"Redchenko, Elena","id":"2C21D6E8-F248-11E8-B48F-1D18A9856A87","last_name":"Redchenko","first_name":"Elena"},{"last_name":"Rueda Sanchez","full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-5860","first_name":"Alfredo R"},{"orcid":"0000-0001-9868-2166","first_name":"William J","id":"29705398-F248-11E8-B48F-1D18A9856A87","full_name":"Hease, William J","last_name":"Hease"},{"orcid":"0000-0001-6937-5773","first_name":"Farid","last_name":"Hassani","full_name":"Hassani, Farid","id":"2AED110C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M","first_name":"Johannes M","orcid":"0000-0001-8112-028X"}],"doi":"10.5281/ZENODO.3961561","oa_version":"Published Version","title":"Converting microwave and telecom photons with a silicon photonic nanomechanical interface","publisher":"Zenodo","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.3961562"}],"ddc":["530"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"This datasets comprises all data shown in plots of the submitted article \"Converting microwave and telecom photons with a silicon photonic nanomechanical interface\". Additional raw data are available from the corresponding author on reasonable request."}]},{"citation":{"ieee":"B. Milutinovic, M. Stock, A. V. Grasse, E. Naderlinger, C. Hilbe, and S. Cremer, “Social immunity modulates competition between coinfecting pathogens.” Dryad, 2020.","short":"B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, (2020).","ama":"Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. Social immunity modulates competition between coinfecting pathogens. 2020. doi:10.5061/DRYAD.CRJDFN318","apa":"Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., & Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Dryad. https://doi.org/10.5061/DRYAD.CRJDFN318","mla":"Milutinovic, Barbara, et al. Social Immunity Modulates Competition between Coinfecting Pathogens. Dryad, 2020, doi:10.5061/DRYAD.CRJDFN318.","chicago":"Milutinovic, Barbara, Miriam Stock, Anna V Grasse, Elisabeth Naderlinger, Christian Hilbe, and Sylvia Cremer. “Social Immunity Modulates Competition between Coinfecting Pathogens.” Dryad, 2020. https://doi.org/10.5061/DRYAD.CRJDFN318.","ista":"Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. 2020. Social immunity modulates competition between coinfecting pathogens, Dryad, 10.5061/DRYAD.CRJDFN318."},"date_published":"2020-12-19T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"status":"public","department":[{"_id":"SyCr"},{"_id":"KrCh"}],"year":"2020","related_material":{"record":[{"id":"7343","status":"public","relation":"used_in_publication"}]},"month":"12","main_file_link":[{"url":"https://doi.org/10.5061/dryad.crjdfn318","open_access":"1"}],"abstract":[{"lang":"eng","text":"Coinfections with multiple pathogens can result in complex within-host dynamics affecting virulence and transmission. Whilst multiple infections are intensively studied in solitary hosts, it is so far unresolved how social host interactions interfere with pathogen competition, and if this depends on coinfection diversity. We studied how the collective disease defenses of ants – their social immunity – influence pathogen competition in coinfections of same or different fungal pathogen species. Social immunity reduced virulence for all pathogen combinations, but interfered with spore production only in different-species coinfections. Here, it decreased overall pathogen sporulation success, whilst simultaneously increasing co-sporulation on individual cadavers and maintaining a higher pathogen diversity at the community-level. Mathematical modeling revealed that host sanitary care alone can modulate competitive outcomes between pathogens, giving advantage to fast-germinating, thus less grooming-sensitive ones. Host social interactions can hence modulate infection dynamics in coinfected group members, thereby altering pathogen communities at the host- and population-level."}],"tmp":{"name":"Creative Commons Public Domain Dedication (CC0 1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","image":"/images/cc_0.png","short":"CC0 (1.0)"},"ddc":["570"],"date_updated":"2023-09-05T16:04:48Z","_id":"13060","type":"research_data_reference","date_created":"2023-05-23T16:11:22Z","doi":"10.5061/DRYAD.CRJDFN318","author":[{"first_name":"Barbara","orcid":"0000-0002-8214-4758","id":"2CDC32B8-F248-11E8-B48F-1D18A9856A87","full_name":"Milutinovic, Barbara","last_name":"Milutinovic"},{"id":"42462816-F248-11E8-B48F-1D18A9856A87","full_name":"Stock, Miriam","last_name":"Stock","first_name":"Miriam"},{"full_name":"Grasse, Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87","last_name":"Grasse","first_name":"Anna V"},{"full_name":"Naderlinger, Elisabeth","id":"31757262-F248-11E8-B48F-1D18A9856A87","last_name":"Naderlinger","first_name":"Elisabeth"},{"last_name":"Hilbe","full_name":"Hilbe, Christian","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5116-955X","first_name":"Christian"},{"orcid":"0000-0002-2193-3868","first_name":"Sylvia","last_name":"Cremer","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","day":"19","title":"Social immunity modulates competition between coinfecting pathogens","oa_version":"Published Version","publisher":"Dryad"},{"status":"public","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-10-19T00:00:00Z","citation":{"apa":"Arnoux, S., Fraisse, C., & Sauvage, C. (2020). VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species. Dryad. https://doi.org/10.5061/DRYAD.Q2BVQ83HD","mla":"Arnoux, Stephanie, et al. VCF Files of Synonymous SNPs Related to: Genomic Inference of Complex Domestication Histories in Three Solanaceae Species. Dryad, 2020, doi:10.5061/DRYAD.Q2BVQ83HD.","chicago":"Arnoux, Stephanie, Christelle Fraisse, and Christopher Sauvage. “VCF Files of Synonymous SNPs Related to: Genomic Inference of Complex Domestication Histories in Three Solanaceae Species.” Dryad, 2020. https://doi.org/10.5061/DRYAD.Q2BVQ83HD.","ista":"Arnoux S, Fraisse C, Sauvage C. 2020. VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species, Dryad, 10.5061/DRYAD.Q2BVQ83HD.","ieee":"S. Arnoux, C. Fraisse, and C. Sauvage, “VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species.” Dryad, 2020.","short":"S. Arnoux, C. Fraisse, C. Sauvage, (2020).","ama":"Arnoux S, Fraisse C, Sauvage C. VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species. 2020. doi:10.5061/DRYAD.Q2BVQ83HD"},"month":"10","related_material":{"link":[{"url":"https://github.com/starnoux/arnoux_et_al_2019","relation":"software"}],"record":[{"status":"public","relation":"used_in_publication","id":"8928"}]},"year":"2020","department":[{"_id":"NiBa"}],"ddc":["570"],"tmp":{"name":"Creative Commons Public Domain Dedication (CC0 1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","image":"/images/cc_0.png","short":"CC0 (1.0)"},"abstract":[{"text":"Domestication is a human-induced selection process that imprints the genomes of domesticated populations over a short evolutionary time scale, and that occurs in a given demographic context. Reconstructing historical gene flow, effective population size changes and their timing is therefore of fundamental interest to understand how plant demography and human selection jointly shape genomic divergence during domestication. Yet, the comparison under a single statistical framework of independent domestication histories across different crop species has been little evaluated so far. Thus, it is unclear whether domestication leads to convergent demographic changes that similarly affect crop genomes. To address this question, we used existing and new transcriptome data on three crop species of Solanaceae (eggplant, pepper and tomato), together with their close wild relatives. We fitted twelve demographic models of increasing complexity on the unfolded joint allele frequency spectrum for each wild/crop pair, and we found evidence for both shared and species-specific demographic processes between species. A convergent history of domestication with gene-flow was inferred for all three species, along with evidence of strong reduction in the effective population size during the cultivation stage of tomato and pepper. The absence of any reduction in size of the crop in eggplant stands out from the classical view of the domestication process; as does the existence of a “protracted period” of management before cultivation. Our results also suggest divergent management strategies of modern cultivars among species as their current demography substantially differs. Finally, the timing of domestication is species-specific and supported by the few historical records available.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.q2bvq83hd"}],"oa_version":"Published Version","publisher":"Dryad","title":"VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species","article_processing_charge":"No","day":"19","doi":"10.5061/DRYAD.Q2BVQ83HD","author":[{"first_name":"Stephanie","full_name":"Arnoux, Stephanie","last_name":"Arnoux"},{"last_name":"Fraisse","id":"32DF5794-F248-11E8-B48F-1D18A9856A87","full_name":"Fraisse, Christelle","first_name":"Christelle","orcid":"0000-0001-8441-5075"},{"full_name":"Sauvage, Christopher","last_name":"Sauvage","first_name":"Christopher"}],"date_created":"2023-05-23T16:30:20Z","type":"research_data_reference","_id":"13065","date_updated":"2023-08-04T11:19:26Z"},{"status":"public","oa":1,"date_published":"2020-09-27T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. Surpassing the resistance quantum with a geometric superinductor. 2020. doi:10.5281/ZENODO.4052882","ieee":"M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, and J. M. Fink, “Surpassing the resistance quantum with a geometric superinductor.” Zenodo, 2020.","short":"M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).","ista":"Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. 2020. Surpassing the resistance quantum with a geometric superinductor, Zenodo, 10.5281/ZENODO.4052882.","chicago":"Peruzzo, Matilda, Andrea Trioni, Farid Hassani, Martin Zemlicka, and Johannes M Fink. “Surpassing the Resistance Quantum with a Geometric Superinductor.” Zenodo, 2020. https://doi.org/10.5281/ZENODO.4052882.","apa":"Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., & Fink, J. M. (2020). Surpassing the resistance quantum with a geometric superinductor. Zenodo. https://doi.org/10.5281/ZENODO.4052882","mla":"Peruzzo, Matilda, et al. Surpassing the Resistance Quantum with a Geometric Superinductor. Zenodo, 2020, doi:10.5281/ZENODO.4052882."},"month":"09","related_material":{"record":[{"id":"8755","status":"public","relation":"used_in_publication"}]},"year":"2020","department":[{"_id":"JoFi"}],"abstract":[{"lang":"eng","text":"This dataset comprises all data shown in the figures of the submitted article \"Surpassing the resistance quantum with a geometric superinductor\". Additional raw data are available from the corresponding author on reasonable request."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"ddc":["530"],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.4052883"}],"title":"Surpassing the resistance quantum with a geometric superinductor","publisher":"Zenodo","oa_version":"Published Version","doi":"10.5281/ZENODO.4052882","author":[{"full_name":"Peruzzo, Matilda","id":"3F920B30-F248-11E8-B48F-1D18A9856A87","last_name":"Peruzzo","orcid":"0000-0002-3415-4628","first_name":"Matilda"},{"first_name":"Andrea","last_name":"Trioni","id":"42F71B44-F248-11E8-B48F-1D18A9856A87","full_name":"Trioni, Andrea"},{"id":"2AED110C-F248-11E8-B48F-1D18A9856A87","full_name":"Hassani, Farid","last_name":"Hassani","first_name":"Farid","orcid":"0000-0001-6937-5773"},{"first_name":"Martin","last_name":"Zemlicka","full_name":"Zemlicka, Martin","id":"2DCF8DE6-F248-11E8-B48F-1D18A9856A87"},{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M","last_name":"Fink","first_name":"Johannes M","orcid":"0000-0001-8112-028X"}],"day":"27","article_processing_charge":"No","type":"research_data_reference","date_created":"2023-05-23T16:42:30Z","date_updated":"2024-09-10T12:23:56Z","_id":"13070"},{"department":[{"_id":"JoFi"}],"month":"11","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"9114"}]},"year":"2020","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-11-10T00:00:00Z","citation":{"ieee":"W. J. Hease et al., “Bidirectional electro-optic wavelength conversion in the quantum ground state.” Zenodo, 2020.","short":"W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H. Schwefel, J.M. Fink, (2020).","ama":"Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength conversion in the quantum ground state. 2020. doi:10.5281/ZENODO.4266025","apa":"Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. Zenodo. https://doi.org/10.5281/ZENODO.4266025","mla":"Hease, William J., et al. Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State. Zenodo, 2020, doi:10.5281/ZENODO.4266025.","chicago":"Hease, William J, Alfredo R Rueda Sanchez, Rishabh Sahu, Matthias Wulf, Georg M Arnold, Harald Schwefel, and Johannes M Fink. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” Zenodo, 2020. https://doi.org/10.5281/ZENODO.4266025.","ista":"Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel H, Fink JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground state, Zenodo, 10.5281/ZENODO.4266025."},"status":"public","oa":1,"date_created":"2023-05-23T16:44:11Z","type":"research_data_reference","_id":"13071","date_updated":"2024-09-10T12:23:54Z","oa_version":"Published Version","title":"Bidirectional electro-optic wavelength conversion in the quantum ground state","publisher":"Zenodo","article_processing_charge":"No","day":"10","doi":"10.5281/ZENODO.4266025","author":[{"first_name":"William J","orcid":"0000-0001-9868-2166","last_name":"Hease","id":"29705398-F248-11E8-B48F-1D18A9856A87","full_name":"Hease, William J"},{"first_name":"Alfredo R","orcid":"0000-0001-6249-5860","last_name":"Rueda Sanchez","full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-6264-2162","first_name":"Rishabh","last_name":"Sahu","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","full_name":"Sahu, Rishabh"},{"orcid":"0000-0001-6613-1378","first_name":"Matthias","last_name":"Wulf","full_name":"Wulf, Matthias","id":"45598606-F248-11E8-B48F-1D18A9856A87"},{"id":"3770C838-F248-11E8-B48F-1D18A9856A87","full_name":"Arnold, Georg M","last_name":"Arnold","orcid":"0000-0003-1397-7876","first_name":"Georg M"},{"first_name":"Harald","last_name":"Schwefel","full_name":"Schwefel, Harald"},{"orcid":"0000-0001-8112-028X","first_name":"Johannes M","full_name":"Fink, Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink"}],"main_file_link":[{"url":"https://doi.org/10.5281/zenodo.4266026","open_access":"1"}],"ddc":["530"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"This dataset comprises all data shown in the plots of the main part of the submitted article \"Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State\". Additional raw data are available from the corresponding author on reasonable request.","lang":"eng"}]},{"status":"public","oa":1,"date_published":"2020-09-22T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Simon A, Fraisse C, El Ayari T, Liautard-Haag C, Strelkov P, Welch J, Bierne N. 2020. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels, Dryad, 10.5061/DRYAD.R4XGXD29N.","chicago":"Simon, Alexis, Christelle Fraisse, Tahani El Ayari, Cathy Liautard-Haag, Petr Strelkov, John Welch, and Nicolas Bierne. “How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels.” Dryad, 2020. https://doi.org/10.5061/DRYAD.R4XGXD29N.","mla":"Simon, Alexis, et al. How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels. Dryad, 2020, doi:10.5061/DRYAD.R4XGXD29N.","apa":"Simon, A., Fraisse, C., El Ayari, T., Liautard-Haag, C., Strelkov, P., Welch, J., & Bierne, N. (2020). How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels. Dryad. https://doi.org/10.5061/DRYAD.R4XGXD29N","ama":"Simon A, Fraisse C, El Ayari T, et al. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels. 2020. doi:10.5061/DRYAD.R4XGXD29N","short":"A. Simon, C. Fraisse, T. El Ayari, C. Liautard-Haag, P. Strelkov, J. Welch, N. Bierne, (2020).","ieee":"A. Simon et al., “How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels.” Dryad, 2020."},"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"8708"}]},"month":"09","year":"2020","department":[{"_id":"NiBa"}],"tmp":{"name":"Creative Commons Public Domain Dedication (CC0 1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","image":"/images/cc_0.png","short":"CC0 (1.0)"},"abstract":[{"text":"The Mytilus complex of marine mussel species forms a mosaic of hybrid zones, found across temperate regions of the globe. This allows us to study \"replicated\" instances of secondary contact between closely-related species. Previous work on this complex has shown that local introgression is both widespread and highly heterogeneous, and has identified SNPs that are outliers of differentiation between lineages. Here, we developed an ancestry-informative panel of such SNPs. We then compared their frequencies in newly-sampled populations, including samples from within the hybrid zones, and parental populations at different distances from the contact. Results show that close to the hybrid zones, some outlier loci are near to fixation for the heterospecific allele, suggesting enhanced local introgression, or the local sweep of a shared ancestral allele. Conversely, genomic cline analyses, treating local parental populations as the reference, reveal a globally high concordance among loci, albeit with a few signals of asymmetric introgression. Enhanced local introgression at specific loci is consistent with the early transfer of adaptive variants after contact, possibly including asymmetric bi-stable variants (Dobzhansky-Muller incompatibilities), or haplotypes loaded with fewer deleterious mutations. Having escaped one barrier, however, these variants can be trapped or delayed at the next barrier, confining the introgression locally. These results shed light on the decay of species barriers during phases of contact.","lang":"eng"}],"ddc":["570"],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.r4xgxd29n"}],"title":"How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels","publisher":"Dryad","oa_version":"Published Version","author":[{"full_name":"Simon, Alexis","last_name":"Simon","first_name":"Alexis"},{"full_name":"Fraisse, Christelle","id":"32DF5794-F248-11E8-B48F-1D18A9856A87","last_name":"Fraisse","first_name":"Christelle","orcid":"0000-0001-8441-5075"},{"first_name":"Tahani","last_name":"El Ayari","full_name":"El Ayari, Tahani"},{"full_name":"Liautard-Haag, Cathy","last_name":"Liautard-Haag","first_name":"Cathy"},{"first_name":"Petr","full_name":"Strelkov, Petr","last_name":"Strelkov"},{"last_name":"Welch","full_name":"Welch, John","first_name":"John"},{"first_name":"Nicolas","full_name":"Bierne, Nicolas","last_name":"Bierne"}],"doi":"10.5061/DRYAD.R4XGXD29N","day":"22","article_processing_charge":"No","type":"research_data_reference","date_created":"2023-05-23T16:48:27Z","date_updated":"2023-08-04T11:04:11Z","_id":"13073"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"Supplement_2","citation":{"chicago":"Stark, Stefan G, Joanna Ficek, Francesco Locatello, Ximena Bonilla, Stéphane Chevrier, Franziska Singer, Rudolf Aebersold, et al. “SCIM: Universal Single-Cell Matching with Unpaired Feature Sets.” Bioinformatics. Oxford University Press, 2020. https://doi.org/10.1093/bioinformatics/btaa843.","ista":"Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.","apa":"Stark, S. G., Ficek, J., Locatello, F., Bonilla, X., Chevrier, S., Singer, F., … Lehmann, K.-V. (2020). SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btaa843","mla":"Stark, Stefan G., et al. “SCIM: Universal Single-Cell Matching with Unpaired Feature Sets.” Bioinformatics, vol. 36, no. Supplement_2, Oxford University Press, 2020, pp. i919–27, doi:10.1093/bioinformatics/btaa843.","ama":"Stark SG, Ficek J, Locatello F, et al. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 2020;36(Supplement_2):i919-i927. doi:10.1093/bioinformatics/btaa843","ieee":"S. G. Stark et al., “SCIM: Universal single-cell matching with unpaired feature sets,” Bioinformatics, vol. 36, no. Supplement_2. Oxford University Press, pp. i919–i927, 2020.","short":"S.G. Stark, J. Ficek, F. Locatello, X. Bonilla, S. Chevrier, F. Singer, R. Aebersold, F.S. Al-Quaddoomi, J. Albinus, I. Alborelli, S. Andani, P.-O. Attinger, M. Bacac, D. Baumhoer, B. Beck-Schimmer, N. Beerenwinkel, C. Beisel, L. Bernasconi, A. Bertolini, B. Bodenmiller, X. Bonilla, R. Casanova, S. Chevrier, N. Chicherova, M. D’Costa, E. Danenberg, N. Davidson, M.-A.D. gan, R. Dummer, S. Engler, M. Erkens, K. Eschbach, C. Esposito, A. Fedier, P. Ferreira, J. Ficek, A.L. Frei, B. Frey, S. Goetze, L. Grob, G. Gut, D. Günther, M. Haberecker, P. Haeuptle, V. Heinzelmann-Schwarz, S. Herter, R. Holtackers, T. Huesser, A. Irmisch, F. Jacob, A. Jacobs, T.M. Jaeger, K. Jahn, A.R. James, P.M. Jermann, A. Kahles, A. Kahraman, V.H. Koelzer, W. Kuebler, J. Kuipers, C.P. Kunze, C. Kurzeder, K.-V. Lehmann, M. Levesque, S. Lugert, G. Maass, M. Manz, P. Markolin, J. Mena, U. Menzel, J.M. Metzler, N. Miglino, E.S. Milani, H. Moch, S. Muenst, R. Murri, C.K. Ng, S. Nicolet, M. Nowak, P.G. Pedrioli, L. Pelkmans, S. Piscuoglio, M. Prummer, M. Ritter, C. Rommel, M.L. Rosano-González, G. Rätsch, N. Santacroce, J.S. del Castillo, R. Schlenker, P.C. Schwalie, S. Schwan, T. Schär, G. Senti, F. Singer, S. Sivapatham, B. Snijder, B. Sobottka, V.T. Sreedharan, S. Stark, D.J. Stekhoven, A.P. Theocharides, T.M. Thomas, M. Tolnay, V. Tosevski, N.C. Toussaint, M.A. Tuncel, M. Tusup, A.V. Drogen, M. Vetter, T. Vlajnic, S. Weber, W.P. Weber, R. Wegmann, M. Weller, F. Wendt, N. Wey, A. Wicki, B. Wollscheid, S. Yu, J. Ziegler, M. Zimmermann, M. Zoche, G. Zuend, G. Rätsch, K.-V. Lehmann, Bioinformatics 36 (2020) i919–i927."},"language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"FrLo"}],"month":"12","publication_identifier":{"eissn":["1367-4811"]},"publication_status":"published","intvolume":" 36","abstract":[{"lang":"eng","text":"Motivation: Recent technological advances have led to an increase in the production and availability of single-cell data. The ability to integrate a set of multi-technology measurements would allow the identification of biologically or clinically meaningful observations through the unification of the perspectives afforded by each technology. In most cases, however, profiling technologies consume the used cells and thus pairwise correspondences between datasets are lost. Due to the sheer size single-cell datasets can acquire, scalable algorithms that are able to universally match single-cell measurements carried out in one cell to its corresponding sibling in another technology are needed.\r\nResults: We propose Single-Cell data Integration via Matching (SCIM), a scalable approach to recover such correspondences in two or more technologies. SCIM assumes that cells share a common (low-dimensional) underlying structure and that the underlying cell distribution is approximately constant across technologies. It constructs a technology-invariant latent space using an autoencoder framework with an adversarial objective. Multi-modal datasets are integrated by pairing cells across technologies using a bipartite matching scheme that operates on the low-dimensional latent representations. We evaluate SCIM on a simulated cellular branching process and show that the cell-to-cell matches derived by SCIM reflect the same pseudotime on the simulated dataset. Moreover, we apply our method to two real-world scenarios, a melanoma tumor sample and a human bone marrow sample, where we pair cells from a scRNA dataset to their sibling cells in a CyTOF dataset achieving 90% and 78% cell-matching accuracy for each one of the samples, respectively."}],"article_type":"original","date_created":"2023-08-21T12:28:20Z","volume":36,"oa_version":"Published Version","title":"SCIM: Universal single-cell matching with unpaired feature sets","author":[{"full_name":"Stark, Stefan G","last_name":"Stark","first_name":"Stefan G"},{"first_name":"Joanna","last_name":"Ficek","full_name":"Ficek, Joanna"},{"last_name":"Locatello","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","first_name":"Francesco","orcid":"0000-0002-4850-0683"},{"full_name":"Bonilla, Ximena","last_name":"Bonilla","first_name":"Ximena"},{"full_name":"Chevrier, Stéphane","last_name":"Chevrier","first_name":"Stéphane"},{"first_name":"Franziska","full_name":"Singer, Franziska","last_name":"Singer"},{"first_name":"Rudolf","full_name":"Aebersold, Rudolf","last_name":"Aebersold"},{"first_name":"Faisal S","last_name":"Al-Quaddoomi","full_name":"Al-Quaddoomi, Faisal S"},{"full_name":"Albinus, Jonas","last_name":"Albinus","first_name":"Jonas"},{"last_name":"Alborelli","full_name":"Alborelli, Ilaria","first_name":"Ilaria"},{"full_name":"Andani, Sonali","last_name":"Andani","first_name":"Sonali"},{"full_name":"Attinger, Per-Olof","last_name":"Attinger","first_name":"Per-Olof"},{"first_name":"Marina","last_name":"Bacac","full_name":"Bacac, Marina"},{"last_name":"Baumhoer","full_name":"Baumhoer, Daniel","first_name":"Daniel"},{"first_name":"Beatrice","full_name":"Beck-Schimmer, Beatrice","last_name":"Beck-Schimmer"},{"first_name":"Niko","full_name":"Beerenwinkel, Niko","last_name":"Beerenwinkel"},{"first_name":"Christian","last_name":"Beisel","full_name":"Beisel, Christian"},{"first_name":"Lara","last_name":"Bernasconi","full_name":"Bernasconi, Lara"},{"full_name":"Bertolini, Anne","last_name":"Bertolini","first_name":"Anne"},{"first_name":"Bernd","last_name":"Bodenmiller","full_name":"Bodenmiller, Bernd"},{"full_name":"Bonilla, Ximena","last_name":"Bonilla","first_name":"Ximena"},{"full_name":"Casanova, Ruben","last_name":"Casanova","first_name":"Ruben"},{"first_name":"Stéphane","full_name":"Chevrier, Stéphane","last_name":"Chevrier"},{"last_name":"Chicherova","full_name":"Chicherova, Natalia","first_name":"Natalia"},{"first_name":"Maya","last_name":"D'Costa","full_name":"D'Costa, Maya"},{"full_name":"Danenberg, Esther","last_name":"Danenberg","first_name":"Esther"},{"last_name":"Davidson","full_name":"Davidson, Natalie","first_name":"Natalie"},{"first_name":"Monica-Andreea Dră","last_name":"gan","full_name":"gan, Monica-Andreea Dră"},{"full_name":"Dummer, Reinhard","last_name":"Dummer","first_name":"Reinhard"},{"first_name":"Stefanie","full_name":"Engler, Stefanie","last_name":"Engler"},{"first_name":"Martin","full_name":"Erkens, Martin","last_name":"Erkens"},{"first_name":"Katja","last_name":"Eschbach","full_name":"Eschbach, Katja"},{"first_name":"Cinzia","full_name":"Esposito, Cinzia","last_name":"Esposito"},{"last_name":"Fedier","full_name":"Fedier, André","first_name":"André"},{"full_name":"Ferreira, Pedro","last_name":"Ferreira","first_name":"Pedro"},{"full_name":"Ficek, Joanna","last_name":"Ficek","first_name":"Joanna"},{"last_name":"Frei","full_name":"Frei, Anja L","first_name":"Anja L"},{"full_name":"Frey, Bruno","last_name":"Frey","first_name":"Bruno"},{"first_name":"Sandra","last_name":"Goetze","full_name":"Goetze, Sandra"},{"first_name":"Linda","last_name":"Grob","full_name":"Grob, Linda"},{"first_name":"Gabriele","full_name":"Gut, Gabriele","last_name":"Gut"},{"first_name":"Detlef","last_name":"Günther","full_name":"Günther, Detlef"},{"first_name":"Martina","full_name":"Haberecker, Martina","last_name":"Haberecker"},{"first_name":"Pirmin","last_name":"Haeuptle","full_name":"Haeuptle, Pirmin"},{"first_name":"Viola","last_name":"Heinzelmann-Schwarz","full_name":"Heinzelmann-Schwarz, Viola"},{"first_name":"Sylvia","full_name":"Herter, Sylvia","last_name":"Herter"},{"first_name":"Rene","last_name":"Holtackers","full_name":"Holtackers, Rene"},{"last_name":"Huesser","full_name":"Huesser, Tamara","first_name":"Tamara"},{"first_name":"Anja","last_name":"Irmisch","full_name":"Irmisch, Anja"},{"first_name":"Francis","last_name":"Jacob","full_name":"Jacob, Francis"},{"first_name":"Andrea","last_name":"Jacobs","full_name":"Jacobs, Andrea"},{"first_name":"Tim M","full_name":"Jaeger, Tim M","last_name":"Jaeger"},{"full_name":"Jahn, Katharina","last_name":"Jahn","first_name":"Katharina"},{"full_name":"James, Alva R","last_name":"James","first_name":"Alva R"},{"first_name":"Philip M","full_name":"Jermann, Philip M","last_name":"Jermann"},{"first_name":"André","full_name":"Kahles, André","last_name":"Kahles"},{"first_name":"Abdullah","last_name":"Kahraman","full_name":"Kahraman, Abdullah"},{"first_name":"Viktor H","last_name":"Koelzer","full_name":"Koelzer, Viktor H"},{"first_name":"Werner","full_name":"Kuebler, Werner","last_name":"Kuebler"},{"first_name":"Jack","last_name":"Kuipers","full_name":"Kuipers, Jack"},{"full_name":"Kunze, Christian P","last_name":"Kunze","first_name":"Christian P"},{"first_name":"Christian","last_name":"Kurzeder","full_name":"Kurzeder, Christian"},{"last_name":"Lehmann","full_name":"Lehmann, Kjong-Van","first_name":"Kjong-Van"},{"first_name":"Mitchell","full_name":"Levesque, Mitchell","last_name":"Levesque"},{"first_name":"Sebastian","full_name":"Lugert, Sebastian","last_name":"Lugert"},{"full_name":"Maass, Gerd","last_name":"Maass","first_name":"Gerd"},{"first_name":"Markus","last_name":"Manz","full_name":"Manz, Markus"},{"last_name":"Markolin","full_name":"Markolin, Philipp","first_name":"Philipp"},{"first_name":"Julien","last_name":"Mena","full_name":"Mena, Julien"},{"first_name":"Ulrike","full_name":"Menzel, Ulrike","last_name":"Menzel"},{"full_name":"Metzler, Julian M","last_name":"Metzler","first_name":"Julian M"},{"last_name":"Miglino","full_name":"Miglino, Nicola","first_name":"Nicola"},{"full_name":"Milani, Emanuela S","last_name":"Milani","first_name":"Emanuela S"},{"last_name":"Moch","full_name":"Moch, Holger","first_name":"Holger"},{"full_name":"Muenst, Simone","last_name":"Muenst","first_name":"Simone"},{"last_name":"Murri","full_name":"Murri, Riccardo","first_name":"Riccardo"},{"last_name":"Ng","full_name":"Ng, Charlotte KY","first_name":"Charlotte KY"},{"first_name":"Stefan","last_name":"Nicolet","full_name":"Nicolet, Stefan"},{"full_name":"Nowak, Marta","last_name":"Nowak","first_name":"Marta"},{"first_name":"Patrick GA","last_name":"Pedrioli","full_name":"Pedrioli, Patrick GA"},{"last_name":"Pelkmans","full_name":"Pelkmans, Lucas","first_name":"Lucas"},{"first_name":"Salvatore","full_name":"Piscuoglio, Salvatore","last_name":"Piscuoglio"},{"first_name":"Michael","full_name":"Prummer, Michael","last_name":"Prummer"},{"full_name":"Ritter, Mathilde","last_name":"Ritter","first_name":"Mathilde"},{"first_name":"Christian","last_name":"Rommel","full_name":"Rommel, Christian"},{"full_name":"Rosano-González, María L","last_name":"Rosano-González","first_name":"María L"},{"full_name":"Rätsch, Gunnar","last_name":"Rätsch","first_name":"Gunnar"},{"last_name":"Santacroce","full_name":"Santacroce, Natascha","first_name":"Natascha"},{"last_name":"Castillo","full_name":"Castillo, Jacobo Sarabia del","first_name":"Jacobo Sarabia del"},{"full_name":"Schlenker, Ramona","last_name":"Schlenker","first_name":"Ramona"},{"full_name":"Schwalie, Petra C","last_name":"Schwalie","first_name":"Petra C"},{"full_name":"Schwan, Severin","last_name":"Schwan","first_name":"Severin"},{"first_name":"Tobias","full_name":"Schär, Tobias","last_name":"Schär"},{"full_name":"Senti, Gabriela","last_name":"Senti","first_name":"Gabriela"},{"full_name":"Singer, Franziska","last_name":"Singer","first_name":"Franziska"},{"first_name":"Sujana","last_name":"Sivapatham","full_name":"Sivapatham, Sujana"},{"full_name":"Snijder, Berend","last_name":"Snijder","first_name":"Berend"},{"first_name":"Bettina","full_name":"Sobottka, Bettina","last_name":"Sobottka"},{"full_name":"Sreedharan, Vipin T","last_name":"Sreedharan","first_name":"Vipin T"},{"first_name":"Stefan","last_name":"Stark","full_name":"Stark, Stefan"},{"full_name":"Stekhoven, Daniel J","last_name":"Stekhoven","first_name":"Daniel J"},{"first_name":"Alexandre PA","last_name":"Theocharides","full_name":"Theocharides, Alexandre PA"},{"full_name":"Thomas, Tinu M","last_name":"Thomas","first_name":"Tinu M"},{"last_name":"Tolnay","full_name":"Tolnay, Markus","first_name":"Markus"},{"last_name":"Tosevski","full_name":"Tosevski, Vinko","first_name":"Vinko"},{"last_name":"Toussaint","full_name":"Toussaint, Nora C","first_name":"Nora C"},{"first_name":"Mustafa A","full_name":"Tuncel, Mustafa A","last_name":"Tuncel"},{"first_name":"Marina","last_name":"Tusup","full_name":"Tusup, Marina"},{"first_name":"Audrey Van","full_name":"Drogen, Audrey Van","last_name":"Drogen"},{"last_name":"Vetter","full_name":"Vetter, Marcus","first_name":"Marcus"},{"last_name":"Vlajnic","full_name":"Vlajnic, Tatjana","first_name":"Tatjana"},{"full_name":"Weber, Sandra","last_name":"Weber","first_name":"Sandra"},{"first_name":"Walter P","last_name":"Weber","full_name":"Weber, Walter P"},{"first_name":"Rebekka","full_name":"Wegmann, Rebekka","last_name":"Wegmann"},{"first_name":"Michael","full_name":"Weller, Michael","last_name":"Weller"},{"first_name":"Fabian","full_name":"Wendt, Fabian","last_name":"Wendt"},{"last_name":"Wey","full_name":"Wey, Norbert","first_name":"Norbert"},{"full_name":"Wicki, Andreas","last_name":"Wicki","first_name":"Andreas"},{"full_name":"Wollscheid, Bernd","last_name":"Wollscheid","first_name":"Bernd"},{"full_name":"Yu, Shuqing","last_name":"Yu","first_name":"Shuqing"},{"full_name":"Ziegler, Johanna","last_name":"Ziegler","first_name":"Johanna"},{"first_name":"Marc","last_name":"Zimmermann","full_name":"Zimmermann, Marc"},{"first_name":"Martin","last_name":"Zoche","full_name":"Zoche, Martin"},{"full_name":"Zuend, Gregor","last_name":"Zuend","first_name":"Gregor"},{"first_name":"Gunnar","last_name":"Rätsch","full_name":"Rätsch, Gunnar"},{"full_name":"Lehmann, Kjong-Van","last_name":"Lehmann","first_name":"Kjong-Van"}],"day":"01","scopus_import":"1","date_published":"2020-12-01T00:00:00Z","pmid":1,"publication":"Bioinformatics","status":"public","extern":"1","keyword":["Computational Mathematics","Computational Theory and Mathematics","Computer Science Applications","Molecular Biology","Biochemistry","Statistics and Probability"],"external_id":{"pmid":["33381818"]},"related_material":{"link":[{"url":"https://github.com/ratschlab/scim","relation":"software"}]},"year":"2020","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/bioinformatics/btaa843"}],"page":"i919-i927","type":"journal_article","date_updated":"2023-09-11T10:21:00Z","_id":"14125","publisher":"Oxford University Press","doi":"10.1093/bioinformatics/btaa843","article_processing_charge":"No"},{"month":"07","arxiv":1,"department":[{"_id":"FrLo"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"9","citation":{"mla":"Locatello, Francesco, et al. “A Commentary on the Unsupervised Learning of Disentangled Representations.” The 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 9, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–84, doi:10.1609/aaai.v34i09.7120.","apa":"Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2020). A commentary on the unsupervised learning of disentangled representations. In The 34th AAAI Conference on Artificial Intelligence (Vol. 34, pp. 13681–13684). New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i09.7120","chicago":"Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Commentary on the Unsupervised Learning of Disentangled Representations.” In The 34th AAAI Conference on Artificial Intelligence, 34:13681–84. Association for the Advancement of Artificial Intelligence, 2020. https://doi.org/10.1609/aaai.v34i09.7120.","ista":"Locatello F, Bauer S, Lucic M, Rätsch G, Gelly S, Schölkopf B, Bachem O. 2020. A commentary on the unsupervised learning of disentangled representations. The 34th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 34, 13681–13684.","short":"F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, in:, The 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–13684.","ieee":"F. Locatello et al., “A commentary on the unsupervised learning of disentangled representations,” in The 34th AAAI Conference on Artificial Intelligence, New York, NY, United States, 2020, vol. 34, no. 9, pp. 13681–13684.","ama":"Locatello F, Bauer S, Lucic M, et al. A commentary on the unsupervised learning of disentangled representations. In: The 34th AAAI Conference on Artificial Intelligence. Vol 34. Association for the Advancement of Artificial Intelligence; 2020:13681-13684. doi:10.1609/aaai.v34i09.7120"},"title":"A commentary on the unsupervised learning of disentangled representations","oa_version":"Preprint","author":[{"orcid":"0000-0002-4850-0683","first_name":"Francesco","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello"},{"full_name":"Bauer, Stefan","last_name":"Bauer","first_name":"Stefan"},{"first_name":"Mario","full_name":"Lucic, Mario","last_name":"Lucic"},{"first_name":"Gunnar","full_name":"Rätsch, Gunnar","last_name":"Rätsch"},{"last_name":"Gelly","full_name":"Gelly, Sylvain","first_name":"Sylvain"},{"last_name":"Schölkopf","full_name":"Schölkopf, Bernhard","first_name":"Bernhard"},{"first_name":"Olivier","full_name":"Bachem, Olivier","last_name":"Bachem"}],"scopus_import":"1","day":"28","date_created":"2023-08-22T14:07:26Z","volume":34,"abstract":[{"lang":"eng","text":"The goal of the unsupervised learning of disentangled representations is to\r\nseparate the independent explanatory factors of variation in the data without\r\naccess to supervision. In this paper, we summarize the results of Locatello et\r\nal., 2019, and focus on their implications for practitioners. We discuss the\r\ntheoretical result showing that the unsupervised learning of disentangled\r\nrepresentations is fundamentally impossible without inductive biases and the\r\npractical challenges it entails. Finally, we comment on our experimental\r\nfindings, highlighting the limitations of state-of-the-art approaches and\r\ndirections for future research."}],"intvolume":" 34","publication_identifier":{"isbn":["9781577358350"],"eissn":["2374-3468"]},"publication_status":"published","external_id":{"arxiv":["2007.14184"]},"year":"2020","status":"public","extern":"1","publication":"The 34th AAAI Conference on Artificial Intelligence","conference":{"location":"New York, NY, United States","name":"AAAI: Conference on Artificial Intelligence","start_date":"2020-02-07","end_date":"2020-02-12"},"date_published":"2020-07-28T00:00:00Z","publisher":"Association for the Advancement of Artificial Intelligence","doi":"10.1609/aaai.v34i09.7120","article_processing_charge":"No","type":"conference","date_updated":"2023-09-12T07:44:48Z","_id":"14186","page":"13681-13684","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2007.14184"}]},{"conference":{"location":"Virtual","name":"International Conference on Machine Learning","start_date":"2020-07-13","end_date":"2020-07-18"},"date_published":"2020-07-27T00:00:00Z","publication":"Proceedings of the 37th International Conference on Machine Learning","status":"public","extern":"1","year":"2020","external_id":{"arxiv":["2002.11860"]},"main_file_link":[{"url":"https://arxiv.org/abs/2002.11860","open_access":"1"}],"quality_controlled":"1","page":"7253-7262","date_updated":"2023-09-12T08:03:40Z","_id":"14187","type":"conference","alternative_title":["PMLR"],"article_processing_charge":"No","citation":{"ama":"Négiar G, Dresdner G, Tsai A, et al. Stochastic Frank-Wolfe for constrained finite-sum minimization. In: Proceedings of the 37th International Conference on Machine Learning. Vol 119. ; 2020:7253-7262.","short":"G. Négiar, G. Dresdner, A. Tsai, L.E. Ghaoui, F. Locatello, R.M. Freund, F. Pedregosa, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 7253–7262.","ieee":"G. Négiar et al., “Stochastic Frank-Wolfe for constrained finite-sum minimization,” in Proceedings of the 37th International Conference on Machine Learning, Virtual, 2020, vol. 119, pp. 7253–7262.","ista":"Négiar G, Dresdner G, Tsai A, Ghaoui LE, Locatello F, Freund RM, Pedregosa F. 2020. Stochastic Frank-Wolfe for constrained finite-sum minimization. Proceedings of the 37th International Conference on Machine Learning. International Conference on Machine Learning, PMLR, vol. 119, 7253–7262.","chicago":"Négiar, Geoffrey, Gideon Dresdner, Alicia Tsai, Laurent El Ghaoui, Francesco Locatello, Robert M. Freund, and Fabian Pedregosa. “Stochastic Frank-Wolfe for Constrained Finite-Sum Minimization.” In Proceedings of the 37th International Conference on Machine Learning, 119:7253–62, 2020.","mla":"Négiar, Geoffrey, et al. “Stochastic Frank-Wolfe for Constrained Finite-Sum Minimization.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, 2020, pp. 7253–62.","apa":"Négiar, G., Dresdner, G., Tsai, A., Ghaoui, L. E., Locatello, F., Freund, R. M., & Pedregosa, F. (2020). Stochastic Frank-Wolfe for constrained finite-sum minimization. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 7253–7262). Virtual."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"FrLo"}],"month":"07","arxiv":1,"publication_status":"published","abstract":[{"lang":"eng","text":"We propose a novel Stochastic Frank-Wolfe (a.k.a. conditional gradient)\r\nalgorithm for constrained smooth finite-sum minimization with a generalized\r\nlinear prediction/structure. This class of problems includes empirical risk\r\nminimization with sparse, low-rank, or other structured constraints. The\r\nproposed method is simple to implement, does not require step-size tuning, and\r\nhas a constant per-iteration cost that is independent of the dataset size.\r\nFurthermore, as a byproduct of the method we obtain a stochastic estimator of\r\nthe Frank-Wolfe gap that can be used as a stopping criterion. Depending on the\r\nsetting, the proposed method matches or improves on the best computational\r\nguarantees for Stochastic Frank-Wolfe algorithms. Benchmarks on several\r\ndatasets highlight different regimes in which the proposed method exhibits a\r\nfaster empirical convergence than related methods. Finally, we provide an\r\nimplementation of all considered methods in an open-source package."}],"intvolume":" 119","volume":119,"date_created":"2023-08-22T14:07:52Z","author":[{"last_name":"Négiar","full_name":"Négiar, Geoffrey","first_name":"Geoffrey"},{"first_name":"Gideon","last_name":"Dresdner","full_name":"Dresdner, Gideon"},{"last_name":"Tsai","full_name":"Tsai, Alicia","first_name":"Alicia"},{"first_name":"Laurent El","full_name":"Ghaoui, Laurent El","last_name":"Ghaoui"},{"first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello"},{"last_name":"Freund","full_name":"Freund, Robert M.","first_name":"Robert M."},{"last_name":"Pedregosa","full_name":"Pedregosa, Fabian","first_name":"Fabian"}],"day":"27","oa_version":"Preprint","title":"Stochastic Frank-Wolfe for constrained finite-sum minimization"},{"publication_status":"published","intvolume":" 119","abstract":[{"lang":"eng","text":"Intelligent agents should be able to learn useful representations by\r\nobserving changes in their environment. We model such observations as pairs of\r\nnon-i.i.d. images sharing at least one of the underlying factors of variation.\r\nFirst, we theoretically show that only knowing how many factors have changed,\r\nbut not which ones, is sufficient to learn disentangled representations.\r\nSecond, we provide practical algorithms that learn disentangled representations\r\nfrom pairs of images without requiring annotation of groups, individual\r\nfactors, or the number of factors that have changed. Third, we perform a\r\nlarge-scale empirical study and show that such pairs of observations are\r\nsufficient to reliably learn disentangled representations on several benchmark\r\ndata sets. Finally, we evaluate our learned representations and find that they\r\nare simultaneously useful on a diverse suite of tasks, including generalization\r\nunder covariate shifts, fairness, and abstract reasoning. Overall, our results\r\ndemonstrate that weak supervision enables learning of useful disentangled\r\nrepresentations in realistic scenarios."}],"date_created":"2023-08-22T14:08:14Z","volume":119,"title":"Weakly-supervised disentanglement without compromises","oa_version":"Preprint","day":"07","scopus_import":"1","author":[{"first_name":"Francesco","orcid":"0000-0002-4850-0683","last_name":"Locatello","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4"},{"last_name":"Poole","full_name":"Poole, Ben","first_name":"Ben"},{"full_name":"Rätsch, Gunnar","last_name":"Rätsch","first_name":"Gunnar"},{"first_name":"Bernhard","full_name":"Schölkopf, Bernhard","last_name":"Schölkopf"},{"first_name":"Olivier","last_name":"Bachem","full_name":"Bachem, Olivier"},{"last_name":"Tschannen","full_name":"Tschannen, Michael","first_name":"Michael"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Locatello, F., Poole, B., Rätsch, G., Schölkopf, B., Bachem, O., & Tschannen, M. (2020). Weakly-supervised disentanglement without compromises. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 6348–6359). Virtual.","mla":"Locatello, Francesco, et al. “Weakly-Supervised Disentanglement without Compromises.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, 2020, pp. 6348–6359.","chicago":"Locatello, Francesco, Ben Poole, Gunnar Rätsch, Bernhard Schölkopf, Olivier Bachem, and Michael Tschannen. “Weakly-Supervised Disentanglement without Compromises.” In Proceedings of the 37th International Conference on Machine Learning, 119:6348–6359, 2020.","ista":"Locatello F, Poole B, Rätsch G, Schölkopf B, Bachem O, Tschannen M. 2020. Weakly-supervised disentanglement without compromises. Proceedings of the 37th International Conference on Machine Learning. International Conference on Machine Learning, PMLR, vol. 119, 6348–6359.","ieee":"F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, and M. Tschannen, “Weakly-supervised disentanglement without compromises,” in Proceedings of the 37th International Conference on Machine Learning, Virtual, 2020, vol. 119, pp. 6348–6359.","short":"F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, M. Tschannen, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 6348–6359.","ama":"Locatello F, Poole B, Rätsch G, Schölkopf B, Bachem O, Tschannen M. Weakly-supervised disentanglement without compromises. In: Proceedings of the 37th International Conference on Machine Learning. Vol 119. ; 2020:6348–6359."},"language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"FrLo"}],"month":"07","arxiv":1,"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2002.02886"}],"page":"6348–6359","type":"conference","_id":"14188","date_updated":"2023-09-12T07:59:29Z","article_processing_charge":"No","alternative_title":["PMLR"],"date_published":"2020-07-07T00:00:00Z","conference":{"location":"Virtual","start_date":"2020-07-13","end_date":"2020-07-18","name":"International Conference on Machine Learning"},"status":"public","extern":"1","publication":"Proceedings of the 37th International Conference on Machine Learning","external_id":{"arxiv":["2002.02886"]},"year":"2020"},{"day":"01","scopus_import":"1","author":[{"last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","full_name":"Locatello, Francesco","orcid":"0000-0002-4850-0683","first_name":"Francesco"},{"first_name":"Stefan","full_name":"Bauer, Stefan","last_name":"Bauer"},{"first_name":"Mario","last_name":"Lucic","full_name":"Lucic, Mario"},{"first_name":"Gunnar","last_name":"Rätsch","full_name":"Rätsch, Gunnar"},{"first_name":"Sylvain","full_name":"Gelly, Sylvain","last_name":"Gelly"},{"last_name":"Schölkopf","full_name":"Schölkopf, Bernhard","first_name":"Bernhard"},{"full_name":"Bachem, Olivier","last_name":"Bachem","first_name":"Olivier"}],"title":"A sober look at the unsupervised learning of disentangled representations and their evaluation","oa_version":"Published Version","volume":21,"date_created":"2023-08-22T14:10:34Z","article_type":"original","has_accepted_license":"1","intvolume":" 21","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"The idea behind the unsupervised learning of disentangled representations is that real-world data is generated by a few explanatory factors of variation which can be recovered by unsupervised learning algorithms. In this paper, we provide a sober look at recent progress in the field and challenge some common assumptions. We first theoretically show that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases on both the models and the data. Then, we train over 14000\r\n models covering most prominent methods and evaluation metrics in a reproducible large-scale experimental study on eight data sets. We observe that while the different methods successfully enforce properties “encouraged” by the corresponding losses, well-disentangled models seemingly cannot be identified without supervision. Furthermore, different evaluation metrics do not always agree on what should be considered “disentangled” and exhibit systematic differences in the estimation. Finally, increased disentanglement does not seem to necessarily lead to a decreased sample complexity of learning for downstream tasks. Our results suggest that future work on disentanglement learning should be explicit about the role of inductive biases and (implicit) supervision, investigate concrete benefits of enforcing disentanglement of the learned representations, and consider a reproducible experimental setup covering several data sets.","lang":"eng"}],"publication_status":"published","month":"09","arxiv":1,"department":[{"_id":"FrLo"}],"article_number":"209","oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” Journal of Machine Learning Research. MIT Press, 2020.","ista":"Locatello F, Bauer S, Lucic M, Rätsch G, Gelly S, Schölkopf B, Bachem O. 2020. A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. 21, 209.","apa":"Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2020). A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. MIT Press.","mla":"Locatello, Francesco, et al. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” Journal of Machine Learning Research, vol. 21, 209, MIT Press, 2020.","ama":"Locatello F, Bauer S, Lucic M, et al. A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. 2020;21.","ieee":"F. Locatello et al., “A sober look at the unsupervised learning of disentangled representations and their evaluation,” Journal of Machine Learning Research, vol. 21. MIT Press, 2020.","short":"F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020)."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","publisher":"MIT Press","_id":"14195","date_updated":"2023-09-12T09:23:56Z","type":"journal_article","ddc":["000"],"main_file_link":[{"open_access":"1","url":"https://jmlr.csail.mit.edu/papers/v21/19-976.html"}],"quality_controlled":"1","year":"2020","external_id":{"arxiv":["2010.14766"]},"extern":"1","publication":"Journal of Machine Learning Research","status":"public","date_published":"2020-09-01T00:00:00Z"},{"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1908.03058"}],"publisher":"IEEE","doi":"10.1109/RadarConf2043947.2020.9266397","article_processing_charge":"No","type":"conference","date_updated":"2024-09-10T12:23:52Z","_id":"9001","project":[{"_id":"26336814-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"758053","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"call_identifier":"H2020","name":"Quantum readout techniques and technologies","grant_number":"862644","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E"},{"call_identifier":"H2020","grant_number":"707438","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","_id":"258047B6-B435-11E9-9278-68D0E5697425"},{"_id":"257EB838-B435-11E9-9278-68D0E5697425","grant_number":"732894","name":"Hybrid Optomechanical Technologies","call_identifier":"H2020"}],"status":"public","publication":"IEEE National Radar Conference - Proceedings","acknowledgement":"This work was supported by the Institute of Science and Technology Austria (IST Austria), the European Research Council under grant agreement number 758053 (ERC StG QUNNECT) and the EU’s Horizon 2020 research and innovation programme under grant agreement number 862644 (FET Open QUARTET). S.B. acknowledges support from the Marie Skłodowska Curie\r\nfellowship number 707438 (MSC-IF SUPEREOM), DV acknowledge support from EU’s Horizon 2020 research and innovation programme under grant agreement number 732894 (FET Proactive HOT) and the Project QuaSeRT funded by the QuantERA ERANET Cofund in Quantum Technologies, and J.M.F from the Austrian Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and the EU’s Horizon 2020 research and\r\ninnovation programme under grant agreement number 732894 (FET Proactive\r\nHOT).","date_published":"2020-09-21T00:00:00Z","conference":{"name":"RadarConf: National Conference on Radar","start_date":"2020-09-21","end_date":"2020-09-25","location":"Florence, Italy"},"ec_funded":1,"external_id":{"arxiv":["1908.03058"],"isi":["000612224900089"]},"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"7910"}]},"year":"2020","isi":1,"abstract":[{"lang":"eng","text":"Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits."}],"intvolume":" 2020","publication_status":"published","publication_identifier":{"isbn":["9781728189420"],"issn":["1097-5659"]},"oa_version":"Preprint","title":"Microwave quantum illumination with a digital phase-conjugated receiver","author":[{"last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","full_name":"Barzanjeh, Shabir","orcid":"0000-0003-0415-1423","first_name":"Shabir"},{"first_name":"Stefano","full_name":"Pirandola, Stefano","last_name":"Pirandola"},{"first_name":"David","last_name":"Vitali","full_name":"Vitali, David"},{"first_name":"Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M"}],"day":"21","scopus_import":"1","date_created":"2021-01-10T23:01:17Z","volume":2020,"language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","issue":"9","citation":{"ama":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination with a digital phase-conjugated receiver. In: IEEE National Radar Conference - Proceedings. Vol 2020. IEEE; 2020. doi:10.1109/RadarConf2043947.2020.9266397","short":"S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.","ieee":"S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination with a digital phase-conjugated receiver,” in IEEE National Radar Conference - Proceedings, Florence, Italy, 2020, vol. 2020, no. 9.","chicago":"Barzanjeh, Shabir, Stefano Pirandola, David Vitali, and Johannes M Fink. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” In IEEE National Radar Conference - Proceedings, Vol. 2020. IEEE, 2020. https://doi.org/10.1109/RadarConf2043947.2020.9266397.","ista":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings. RadarConf: National Conference on Radar vol. 2020, 9266397.","mla":"Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” IEEE National Radar Conference - Proceedings, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:10.1109/RadarConf2043947.2020.9266397.","apa":"Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In IEEE National Radar Conference - Proceedings (Vol. 2020). Florence, Italy: IEEE. https://doi.org/10.1109/RadarConf2043947.2020.9266397"},"month":"09","arxiv":1,"article_number":"9266397","department":[{"_id":"JoFi"}]},{"main_file_link":[{"url":"https://arxiv.org/abs/1906.08463","open_access":"1"}],"quality_controlled":"1","page":"635-659","_id":"9007","date_updated":"2023-08-24T11:11:36Z","type":"journal_article","article_processing_charge":"No","doi":"10.4171/CMH/499","publisher":"European Mathematical Society","date_published":"2020-12-07T00:00:00Z","status":"public","publication":"Commentarii Mathematici Helvetici","isi":1,"year":"2020","external_id":{"isi":["000596833300001"],"arxiv":["1906.08463"]},"publication_status":"published","publication_identifier":{"issn":["00102571"],"eissn":["14208946"]},"abstract":[{"text":"Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals.","lang":"eng"}],"intvolume":" 95","volume":95,"date_created":"2021-01-17T23:01:11Z","article_type":"original","scopus_import":"1","day":"07","author":[{"orcid":"0000-0002-8314-0177","first_name":"Timothy D","full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning"},{"last_name":"Sawin","full_name":"Sawin, Will","first_name":"Will"}],"title":"Free rational points on smooth hypersurfaces","oa_version":"Preprint","citation":{"mla":"Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” Commentarii Mathematici Helvetici, vol. 95, no. 4, European Mathematical Society, 2020, pp. 635–59, doi:10.4171/CMH/499.","apa":"Browning, T. D., & Sawin, W. (2020). Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. European Mathematical Society. https://doi.org/10.4171/CMH/499","ista":"Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 95(4), 635–659.","chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” Commentarii Mathematici Helvetici. European Mathematical Society, 2020. https://doi.org/10.4171/CMH/499.","short":"T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659.","ieee":"T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,” Commentarii Mathematici Helvetici, vol. 95, no. 4. European Mathematical Society, pp. 635–659, 2020.","ama":"Browning TD, Sawin W. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 2020;95(4):635-659. doi:10.4171/CMH/499"},"issue":"4","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"TiBr"}],"arxiv":1,"month":"12"},{"author":[{"full_name":"Kokoris Kogias, Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","last_name":"Kokoris Kogias","first_name":"Eleftherios"},{"full_name":"Alp, Enis Ceyhun","last_name":"Alp","first_name":"Enis Ceyhun"},{"first_name":"Linus","full_name":"Gasser, Linus","last_name":"Gasser"},{"last_name":"Jovanovic","full_name":"Jovanovic, Philipp","first_name":"Philipp"},{"first_name":"Ewa","full_name":"Syta, Ewa","last_name":"Syta"},{"first_name":"Bryan","last_name":"Ford","full_name":"Ford, Bryan"}],"scopus_import":"1","day":"01","title":"CALYPSO: Private data management for decentralized ledgers","oa_version":"Published Version","volume":14,"article_type":"original","date_created":"2021-01-17T23:01:13Z","intvolume":" 14","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"abstract":[{"lang":"eng","text":"Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs.\r\n\r\nCalypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees."}],"publication_status":"published","publication_identifier":{"eissn":["2150-8097"]},"month":"12","department":[{"_id":"ElKo"}],"oa":1,"language":[{"iso":"eng"}],"issue":"4","citation":{"ieee":"E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford, “CALYPSO: Private data management for decentralized ledgers,” Proceedings of the VLDB Endowment, vol. 14, no. 4. Association for Computing Machinery, pp. 586–599, 2020.","short":"E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings of the VLDB Endowment 14 (2020) 586–599.","ama":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 2020;14(4):586-599. doi:10.14778/3436905.3436917","apa":"Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., & Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/3436905.3436917","mla":"Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for Decentralized Ledgers.” Proceedings of the VLDB Endowment, vol. 14, no. 4, Association for Computing Machinery, 2020, pp. 586–99, doi:10.14778/3436905.3436917.","chicago":"Kokoris Kogias, Eleftherios, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, and Bryan Ford. “CALYPSO: Private Data Management for Decentralized Ledgers.” Proceedings of the VLDB Endowment. Association for Computing Machinery, 2020. https://doi.org/10.14778/3436905.3436917.","ista":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 14(4), 586–599."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.14778/3436905.3436917","article_processing_charge":"No","publisher":"Association for Computing Machinery","date_updated":"2023-08-24T13:57:13Z","_id":"9011","type":"journal_article","page":"586-599","main_file_link":[{"open_access":"1","url":"https://dl.acm.org/doi/10.14778/3436905.3436917"}],"quality_controlled":"1","isi":1,"year":"2020","external_id":{"isi":["000658495400012"]},"status":"public","publication":"Proceedings of the VLDB Endowment","acknowledgement":"We thank Nicolas Gailly, Vincent Graf, Jean-Pierre Hubaux, Wouter Lueks, Massimo Marelli, Carmela Troncoso, Juan-Ramón Troncoso Pastoriza, Frédéric Pont, and Sandra Siby for their valuable feedback. This project was supported in part by the ETH domain under PHRT grant #2017−201, and by the AXA Research Fund, Byzgen, DFINITY, and the Swiss Data Science Center (SDSC).","date_published":"2020-12-01T00:00:00Z"},{"citation":{"mla":"Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” SIAM Journal on Mathematical Analysis, vol. 52, no. 6, Society for Industrial and Applied Mathematics, 2020, pp. 6222–33, doi:10.1137/20M1322182.","apa":"Fischer, J. L., Laux, T., & Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1322182","chicago":"Fischer, Julian L, Tim Laux, and Theresa M. Simon. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics, 2020. https://doi.org/10.1137/20M1322182.","ista":"Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 52(6), 6222–6233.","short":"J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233.","ieee":"J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies,” SIAM Journal on Mathematical Analysis, vol. 52, no. 6. Society for Industrial and Applied Mathematics, pp. 6222–6233, 2020.","ama":"Fischer JL, Laux T, Simon TM. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 2020;52(6):6222-6233. doi:10.1137/20M1322182"},"issue":"6","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"JuFi"}],"file":[{"access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2020_SIAM_Fischer.pdf","checksum":"21aa1cf4c30a86a00cae15a984819b5d","relation":"main_file","date_updated":"2021-01-25T07:48:39Z","creator":"dernst","file_size":310655,"date_created":"2021-01-25T07:48:39Z","file_id":"9041"}],"month":"12","file_date_updated":"2021-01-25T07:48:39Z","publication_status":"published","publication_identifier":{"issn":["00361410"],"eissn":["10957154"]},"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems."}],"intvolume":" 52","volume":52,"date_created":"2021-01-24T23:01:09Z","article_type":"original","scopus_import":"1","day":"15","author":[{"first_name":"Julian L","orcid":"0000-0002-0479-558X","last_name":"Fischer","full_name":"Fischer, Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Laux","full_name":"Laux, Tim","first_name":"Tim"},{"first_name":"Theresa M.","full_name":"Simon, Theresa M.","last_name":"Simon"}],"title":"Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies","oa_version":"Published Version","ec_funded":1,"acknowledgement":"This work was supported by the European Union's Horizon 2020 Research and Innovation\r\nProgramme under Marie Sklodowska-Curie grant agreement 665385 and by the Deutsche\r\nForschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy, EXC-2047/1--390685813.","date_published":"2020-12-15T00:00:00Z","publication":"SIAM Journal on Mathematical Analysis","status":"public","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020"}],"isi":1,"year":"2020","external_id":{"isi":["000600695200027"]},"quality_controlled":"1","page":"6222-6233","ddc":["510"],"_id":"9039","date_updated":"2023-08-24T11:15:16Z","type":"journal_article","article_processing_charge":"No","doi":"10.1137/20M1322182","publisher":"Society for Industrial and Applied Mathematics"},{"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","date_published":"2020-09-21T00:00:00Z","conference":{"name":" FMCAD: Formal Methods in Computer-Aided Design","end_date":"2020-09-24","start_date":"2020-09-21","location":"Online Conference"},"publication":"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design","status":"public","project":[{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"year":"2020","quality_controlled":"1","page":"138-147","ddc":["000"],"_id":"9040","date_updated":"2021-02-09T09:39:59Z","type":"conference","article_processing_charge":"No","doi":"10.34727/2020/isbn.978-3-85448-042-6_21","publisher":"TU Wien Academic Press","citation":{"ieee":"P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.","short":"P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.","ama":"Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21","apa":"Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21","mla":"Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi:10.34727/2020/isbn.978-3-85448-042-6_21.","chicago":"Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.","ista":"Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"file":[{"content_type":"application/pdf","access_level":"open_access","file_name":"2020_FMCAD_Alamdari.pdf","success":1,"checksum":"d616d549a0ade78606b16f8a9540820f","relation":"main_file","creator":"dernst","date_updated":"2021-02-09T09:39:02Z","date_created":"2021-02-09T09:39:02Z","file_size":990999,"file_id":"9109"}],"month":"09","file_date_updated":"2021-02-09T09:39:02Z","publication_status":"published","publication_identifier":{"isbn":["9783854480426"],"eissn":["2708-7824"]},"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the wizard, we extract from it a decision-tree based model, which we refer to as the magic book. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, a synthesis procedure that is based on a magic book. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training.","lang":"eng"}],"date_created":"2021-01-24T23:01:10Z","day":"21","scopus_import":"1","author":[{"last_name":"Alamdari","full_name":"Alamdari, Par Alizadeh","first_name":"Par Alizadeh"},{"full_name":"Avni, Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni","orcid":"0000-0001-5588-8287","first_name":"Guy"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","first_name":"Thomas A"},{"last_name":"Lukina","full_name":"Lukina, Anna","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425","first_name":"Anna"}],"title":"Formal methods with a touch of magic","oa_version":"Published Version"},{"language":[{"iso":"eng"}],"status":"public","publication":"Encyclopedia of Social Insects","citation":{"ama":"Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. Encyclopedia of Social Insects. Cham: Springer Nature; 2020. doi:10.1007/978-3-319-90306-4_94-1","short":"P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.","ieee":"P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in Encyclopedia of Social Insects, C. Starr, Ed. Cham: Springer Nature, 2020.","ista":"Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia of Social Insects. .","chicago":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” In Encyclopedia of Social Insects, edited by C Starr. Cham: Springer Nature, 2020. https://doi.org/10.1007/978-3-319-90306-4_94-1.","mla":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” Encyclopedia of Social Insects, edited by C Starr, Springer Nature, 2020, doi:10.1007/978-3-319-90306-4_94-1.","apa":"Schmid-Hempel, P., & Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature. https://doi.org/10.1007/978-3-319-90306-4_94-1"},"place":"Cham","date_published":"2020-02-22T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2020","month":"02","department":[{"_id":"SyCr"}],"publication_status":"published","quality_controlled":"1","publication_identifier":{"isbn":["9783319903064"]},"doi":"10.1007/978-3-319-90306-4_94-1","author":[{"first_name":"Paul","last_name":"Schmid-Hempel","full_name":"Schmid-Hempel, Paul"},{"full_name":"Cremer, Sylvia M","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","orcid":"0000-0002-2193-3868","first_name":"Sylvia M"}],"article_processing_charge":"No","day":"22","editor":[{"full_name":"Starr, C","last_name":"Starr","first_name":"C"}],"oa_version":"None","title":"Parasites and Pathogens","publisher":"Springer Nature","date_updated":"2021-02-05T12:19:21Z","_id":"9096","type":"book_chapter","date_created":"2021-02-05T12:15:18Z"},{"abstract":[{"lang":"eng","text":"We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the state-of-the-art Langrangian Reachability and its associated tool LRT. From a theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses for the first time an analytically computed metric for the propagated ball which is proven to minimize the ball’s volume. We emphasize that the metric computation is the centerpiece of all bloating-based techniques. Secondly, it computes the next reachset as the intersection of two balls: one based on the Cartesian metric and the other on the new metric. While the two metrics were previously considered opposing approaches, their joint use considerably tightens the reachtubes. Thirdly, it avoids the \"wrapping effect\" associated with the validated integration of the center of the reachset, by optimally absorbing the interval approximation in the radius of the next ball. From a tool-development perspective, LRT-NG is superior to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD. This required the implementation of the Lohner method and a Runge-Kutta time-propagation method. Secondly, it has an improved interface, allowing the input model and initial conditions to be provided as external input files. Our experiments on a comprehensive set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance compared to LRT, CAPD, and Flow*."}],"intvolume":" 2020","publication_status":"published","publication_identifier":{"isbn":["9781728174471"],"issn":["07431546"]},"title":"Lagrangian reachtubes: The next generation","oa_version":"Preprint","author":[{"first_name":"Sophie","full_name":"Gruenbacher, Sophie","last_name":"Gruenbacher"},{"first_name":"Jacek","full_name":"Cyranka, Jacek","last_name":"Cyranka"},{"first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Md Ariful","last_name":"Islam","full_name":"Islam, Md Ariful"},{"first_name":"Scott A.","full_name":"Smolka, Scott A.","last_name":"Smolka"},{"first_name":"Radu","full_name":"Grosu, Radu","last_name":"Grosu"}],"day":"14","scopus_import":"1","date_created":"2021-02-07T23:01:14Z","volume":2020,"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.","ieee":"S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the 59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.","ama":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: Proceedings of the 59th IEEE Conference on Decision and Control. Vol 2020. IEEE; 2020:1556-1563. doi:10.1109/CDC42340.2020.9304042","mla":"Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” Proceedings of the 59th IEEE Conference on Decision and Control, vol. 2020, IEEE, 2020, pp. 1556–63, doi:10.1109/CDC42340.2020.9304042.","apa":"Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042","chicago":"Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.” In Proceedings of the 59th IEEE Conference on Decision and Control, 2020:1556–63. IEEE, 2020. https://doi.org/10.1109/CDC42340.2020.9304042.","ista":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563."},"arxiv":1,"month":"12","department":[{"_id":"ToHe"}],"page":"1556-1563","quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/2012.07458","open_access":"1"}],"publisher":"IEEE","doi":"10.1109/CDC42340.2020.9304042","article_processing_charge":"No","type":"conference","date_updated":"2021-02-09T09:20:58Z","_id":"9103","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"publication":"Proceedings of the 59th IEEE Conference on Decision and Control","status":"public","conference":{"location":"Jeju Islang, Korea (South)","start_date":"2020-12-14","end_date":"2020-12-18","name":"CDC: Conference on Decision and Control"},"acknowledgement":"The authors would like to thank Ramin Hasani and Guillaume Berger for intellectual discussions about the research which lead to the generation of new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832 and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n","date_published":"2020-12-14T00:00:00Z","external_id":{"arxiv":["2012.07458"]},"year":"2020"}]