[{"day":"01","article_processing_charge":"No","has_accepted_license":"1","citation":{"mla":"Zimin, Alexander. Learning from Dependent Data. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH1048.","short":"A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.","chicago":"Zimin, Alexander. “Learning from Dependent Data.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH1048.","ama":"Zimin A. Learning from dependent data. 2018. doi:10.15479/AT:ISTA:TH1048","ista":"Zimin A. 2018. Learning from dependent data. Institute of Science and Technology Austria.","ieee":"A. Zimin, “Learning from dependent data,” Institute of Science and Technology Austria, 2018.","apa":"Zimin, A. (2018). Learning from dependent data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH1048"},"page":"92","date_published":"2018-09-01T00:00:00Z","type":"dissertation","alternative_title":["ISTA Thesis"],"abstract":[{"text":"The most common assumption made in statistical learning theory is the assumption of the independent and identically distributed (i.i.d.) data. While being very convenient mathematically, it is often very clearly violated in practice. This disparity between the machine learning theory and applications underlies a growing demand in the development of algorithms that learn from dependent data and theory that can provide generalization guarantees similar to the independent situations. This thesis is dedicated to two variants of dependencies that can arise in practice. One is a dependence on the level of samples in a single learning task. Another dependency type arises in the multi-task setting when the tasks are dependent on each other even though the data for them can be i.i.d. In both cases we model the data (samples or tasks) as stochastic processes and introduce new algorithms for both settings that take into account and exploit the resulting dependencies. We prove the theoretical guarantees on the performance of the introduced algorithms under different evaluation criteria and, in addition, we compliment the theoretical study by the empirical one, where we evaluate some of the algorithms on two real world datasets to highlight their practical applicability.","lang":"eng"}],"_id":"68","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","title":"Learning from dependent data","ddc":["004","519"],"pubrep_id":"1048","oa_version":"Published Version","file":[{"checksum":"e849dd40a915e4d6c5572b51b517f098","date_updated":"2020-07-14T12:47:40Z","date_created":"2019-04-09T07:32:47Z","relation":"main_file","file_id":"6253","file_size":1036137,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2018_Thesis_Zimin.pdf"},{"checksum":"da092153cec55c97461bd53c45c5d139","date_updated":"2020-07-14T12:47:40Z","date_created":"2019-04-09T07:32:47Z","file_id":"6254","relation":"source_file","creator":"dernst","content_type":"application/zip","file_size":637490,"access_level":"closed","file_name":"2018_Thesis_Zimin_Source.zip"}],"month":"09","publication_identifier":{"issn":["2663-337X"]},"oa":1,"project":[{"grant_number":"308036","_id":"2532554C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding"}],"doi":"10.15479/AT:ISTA:TH1048","supervisor":[{"full_name":"Lampert, Christoph","first_name":"Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887"}],"degree_awarded":"PhD","language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:47:40Z","ec_funded":1,"publist_id":"7986","year":"2018","publication_status":"published","publisher":"Institute of Science and Technology Austria","department":[{"_id":"ChLa"}],"author":[{"id":"37099E9C-F248-11E8-B48F-1D18A9856A87","last_name":"Zimin","first_name":"Alexander","full_name":"Zimin, Alexander"}],"date_updated":"2023-09-07T12:29:07Z","date_created":"2018-12-11T11:44:27Z"},{"alternative_title":["ISTA Thesis"],"type":"dissertation","abstract":[{"lang":"eng","text":"A proof system is a protocol between a prover and a verifier over a common input in which an honest prover convinces the verifier of the validity of true statements. Motivated by the success of decentralized cryptocurrencies, exemplified by Bitcoin, the focus of this thesis will be on proof systems which found applications in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies. In particular, we focus on proofs of space and proofs of sequential work.\r\nProofs of space (PoSpace) were suggested as more ecological, economical, and egalitarian alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling lower bounds, and are therefore complex. Moreover, when these PoSpace are used in cryptocurrencies like Spacemint, miners can only start mining after ensuring that a commitment to their space is already added in a special transaction to the blockchain. Proofs of sequential work (PoSW) are proof systems in which a prover, upon receiving a statement x and a time parameter T, computes a proof which convinces the verifier that T time units had passed since x was received. Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics, Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come up with more than one accepting proof for any true statement. In this thesis we construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and unlike current constructions of PoSW, which either achieve efficient verification of sequential work, or faster-than-recomputing verification of correctness of proofs, but not both at the same time, ours achieve the best of these two worlds."}],"ddc":["004"],"title":"Proof systems for sustainable decentralized cryptocurrencies","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"83","oa_version":"Published Version","file":[{"date_updated":"2020-07-14T12:48:11Z","date_created":"2019-04-09T06:43:41Z","checksum":"c4b5f7d111755d1396787f41886fc674","relation":"main_file","file_id":"6245","content_type":"application/pdf","file_size":876241,"creator":"dernst","file_name":"2018_Thesis_Abusalah.pdf","access_level":"open_access"},{"access_level":"closed","file_name":"2018_Thesis_Abusalah_source.tar.gz","content_type":"application/x-gzip","file_size":2029190,"creator":"dernst","relation":"source_file","file_id":"6246","checksum":"0f382ac56b471c48fd907d63eb87dafe","date_created":"2019-04-09T06:43:41Z","date_updated":"2020-07-14T12:48:11Z"}],"pubrep_id":"1046","day":"05","article_processing_charge":"No","has_accepted_license":"1","page":"59","citation":{"ama":"Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046","ista":"Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.","apa":"Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1046","ieee":"H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” Institute of Science and Technology Austria, 2018.","mla":"Abusalah, Hamza M. Proof Systems for Sustainable Decentralized Cryptocurrencies. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1046.","short":"H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.","chicago":"Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046."},"date_published":"2018-09-05T00:00:00Z","file_date_updated":"2020-07-14T12:48:11Z","publist_id":"7971","ec_funded":1,"publication_status":"published","publisher":"Institute of Science and Technology Austria","department":[{"_id":"KrPi"}],"year":"2018","date_updated":"2023-09-07T12:30:23Z","date_created":"2018-12-11T11:44:32Z","author":[{"full_name":"Abusalah, Hamza M","id":"40297222-F248-11E8-B48F-1D18A9856A87","first_name":"Hamza M","last_name":"Abusalah"}],"related_material":{"record":[{"id":"1229","relation":"part_of_dissertation","status":"public"},{"id":"1235","status":"public","relation":"part_of_dissertation"},{"id":"1236","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"559"}]},"month":"09","publication_identifier":{"issn":["2663-337X"]},"project":[{"grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"},{"name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815"}],"oa":1,"supervisor":[{"full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z"}],"degree_awarded":"PhD","language":[{"iso":"eng"}],"doi":"10.15479/AT:ISTA:TH_1046"},{"file":[{"content_type":"application/pdf","file_size":12918758,"creator":"system","file_name":"IST-2018-1021-v1+1_thesis-unsigned-pdfa.pdf","access_level":"open_access","date_updated":"2020-07-14T12:45:22Z","date_created":"2018-12-12T10:14:57Z","checksum":"bc678e02468d8ebc39dc7267dfb0a1c4","relation":"main_file","file_id":"5113"},{"creator":"dernst","content_type":"application/zip","file_size":55973760,"access_level":"closed","file_name":"2018_Thesis_Kolesnikov_source.zip","checksum":"bc66973b086da5a043f1162dcfb1fde4","date_updated":"2020-07-14T12:45:22Z","date_created":"2019-04-05T09:34:49Z","file_id":"6225","relation":"source_file"}],"oa_version":"Published Version","pubrep_id":"1021","title":"Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images","status":"public","ddc":["004"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"197","abstract":[{"lang":"eng","text":"Modern computer vision systems heavily rely on statistical machine learning models, which typically require large amounts of labeled data to be learned reliably. Moreover, very recently computer vision research widely adopted techniques for representation learning, which further increase the demand for labeled data. However, for many important practical problems there is relatively small amount of labeled data available, so it is problematic to leverage full potential of the representation learning methods. One way to overcome this obstacle is to invest substantial resources into producing large labelled datasets. Unfortunately, this can be prohibitively expensive in practice. In this thesis we focus on the alternative way of tackling the aforementioned issue. We concentrate on methods, which make use of weakly-labeled or even unlabeled data. Specifically, the first half of the thesis is dedicated to the semantic image segmentation task. We develop a technique, which achieves competitive segmentation performance and only requires annotations in a form of global image-level labels instead of dense segmentation masks. Subsequently, we present a new methodology, which further improves segmentation performance by leveraging tiny additional feedback from a human annotator. By using our methods practitioners can greatly reduce the amount of data annotation effort, which is required to learn modern image segmentation models. In the second half of the thesis we focus on methods for learning from unlabeled visual data. We study a family of autoregressive models for modeling structure of natural images and discuss potential applications of these models. Moreover, we conduct in-depth study of one of these applications, where we develop the state-of-the-art model for the probabilistic image colorization task."}],"alternative_title":["ISTA Thesis"],"type":"dissertation","date_published":"2018-05-25T00:00:00Z","page":"113","citation":{"chicago":"Kolesnikov, Alexander. “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1021.","short":"A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.","mla":"Kolesnikov, Alexander. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_1021.","ieee":"A. Kolesnikov, “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images,” Institute of Science and Technology Austria, 2018.","apa":"Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1021","ista":"Kolesnikov A. 2018. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria.","ama":"Kolesnikov A. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. 2018. doi:10.15479/AT:ISTA:th_1021"},"article_processing_charge":"No","has_accepted_license":"1","day":"25","date_updated":"2023-09-07T12:51:46Z","date_created":"2018-12-11T11:45:09Z","author":[{"full_name":"Kolesnikov, Alexander","id":"2D157DB6-F248-11E8-B48F-1D18A9856A87","last_name":"Kolesnikov","first_name":"Alexander"}],"department":[{"_id":"ChLa"}],"publisher":"Institute of Science and Technology Austria","publication_status":"published","year":"2018","acknowledgement":"I also gratefully acknowledge the support of NVIDIA Corporation with the donation of the GPUs used for this research.","ec_funded":1,"publist_id":"7718","file_date_updated":"2020-07-14T12:45:22Z","language":[{"iso":"eng"}],"supervisor":[{"first_name":"Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph"}],"degree_awarded":"PhD","doi":"10.15479/AT:ISTA:th_1021","project":[{"call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding","_id":"2532554C-B435-11E9-9278-68D0E5697425","grant_number":"308036"}],"oa":1,"publication_identifier":{"issn":["2663-337X"]},"month":"05"},{"file":[{"checksum":"cf9e7fcd2a113dd4828774fc75cdb7e8","date_created":"2019-08-08T06:55:21Z","date_updated":"2020-07-14T12:47:40Z","file_id":"6775","relation":"main_file","creator":"dernst","file_size":1056278,"content_type":"application/pdf","access_level":"open_access","file_name":"2018_JourAppliedComputTopology_Filakovsky.pdf"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"6774","ddc":["514"],"title":"Computing simplicial representatives of homotopy group elements","status":"public","intvolume":" 2","abstract":[{"lang":"eng","text":"A central problem of algebraic topology is to understand the homotopy groups 𝜋𝑑(𝑋) of a topological space X. For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental group 𝜋1(𝑋) of a given finite simplicial complex X is trivial. On the other hand, there are several algorithms that, given a finite simplicial complex X that is simply connected (i.e., with 𝜋1(𝑋) trivial), compute the higher homotopy group 𝜋𝑑(𝑋) for any given 𝑑≥2 . However, these algorithms come with a caveat: They compute the isomorphism type of 𝜋𝑑(𝑋) , 𝑑≥2 as an abstract finitely generated abelian group given by generators and relations, but they work with very implicit representations of the elements of 𝜋𝑑(𝑋) . Converting elements of this abstract group into explicit geometric maps from the d-dimensional sphere 𝑆𝑑 to X has been one of the main unsolved problems in the emerging field of computational homotopy theory. Here we present an algorithm that, given a simply connected space X, computes 𝜋𝑑(𝑋) and represents its elements as simplicial maps from a suitable triangulation of the d-sphere 𝑆𝑑 to X. For fixed d, the algorithm runs in time exponential in size(𝑋) , the number of simplices of X. Moreover, we prove that this is optimal: For every fixed 𝑑≥2 , we construct a family of simply connected spaces X such that for any simplicial map representing a generator of 𝜋𝑑(𝑋) , the size of the triangulation of 𝑆𝑑 on which the map is defined, is exponential in size(𝑋) ."}],"issue":"3-4","type":"journal_article","date_published":"2018-12-01T00:00:00Z","publication":"Journal of Applied and Computational Topology","citation":{"chicago":"Filakovský, Marek, Peter Franek, Uli Wagner, and Stephan Y Zhechev. “Computing Simplicial Representatives of Homotopy Group Elements.” Journal of Applied and Computational Topology. Springer, 2018. https://doi.org/10.1007/s41468-018-0021-5.","mla":"Filakovský, Marek, et al. “Computing Simplicial Representatives of Homotopy Group Elements.” Journal of Applied and Computational Topology, vol. 2, no. 3–4, Springer, 2018, pp. 177–231, doi:10.1007/s41468-018-0021-5.","short":"M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.","ista":"Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4), 177–231.","ieee":"M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial representatives of homotopy group elements,” Journal of Applied and Computational Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.","apa":"Filakovský, M., Franek, P., Wagner, U., & Zhechev, S. Y. (2018). Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. Springer. https://doi.org/10.1007/s41468-018-0021-5","ama":"Filakovský M, Franek P, Wagner U, Zhechev SY. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2018;2(3-4):177-231. doi:10.1007/s41468-018-0021-5"},"article_type":"original","page":"177-231","day":"01","has_accepted_license":"1","author":[{"last_name":"Filakovský","first_name":"Marek","id":"3E8AF77E-F248-11E8-B48F-1D18A9856A87","full_name":"Filakovský, Marek"},{"orcid":"0000-0001-8878-8397","id":"473294AE-F248-11E8-B48F-1D18A9856A87","last_name":"Franek","first_name":"Peter","full_name":"Franek, Peter"},{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","first_name":"Uli","full_name":"Wagner, Uli"},{"first_name":"Stephan Y","last_name":"Zhechev","id":"3AA52972-F248-11E8-B48F-1D18A9856A87","full_name":"Zhechev, Stephan Y"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"6681"}]},"date_created":"2019-08-08T06:47:40Z","date_updated":"2023-09-07T13:10:36Z","volume":2,"year":"2018","publication_status":"published","department":[{"_id":"UlWa"}],"publisher":"Springer","file_date_updated":"2020-07-14T12:47:40Z","license":"https://creativecommons.org/licenses/by/4.0/","doi":"10.1007/s41468-018-0021-5","language":[{"iso":"eng"}],"oa":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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"quality_controlled":"1","project":[{"name":"Robust invariants of Nonlinear Systems","call_identifier":"FWF","grant_number":"M01980","_id":"25F8B9BC-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"FWF Open Access Fund","_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1"}],"month":"12","publication_identifier":{"eissn":["2367-1734"],"issn":["2367-1726"]}},{"alternative_title":["LIPIcs"],"type":"conference","abstract":[{"text":"Synchronous programs are easy to specify because the side effects of an operation are finished by the time the invocation of the operation returns to the caller. Asynchronous programs, on the other hand, are difficult to specify because there are side effects due to pending computation scheduled as a result of the invocation of an operation. They are also difficult to verify because of the large number of possible interleavings of concurrent computation threads. We present synchronization, a new proof rule that simplifies the verification of asynchronous programs by introducing the fiction, for proof purposes, that asynchronous operations complete synchronously. Synchronization summarizes an asynchronous computation as immediate atomic effect. Modular verification is enabled via pending asynchronous calls in atomic summaries, and a complementary proof rule that eliminates pending asynchronous calls when components and their specifications are composed. We evaluate synchronization in the context of a multi-layer refinement verification methodology on a collection of benchmark programs.","lang":"eng"}],"intvolume":" 118","status":"public","ddc":["000"],"title":"Synchronizing the asynchronous","_id":"133","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_created":"2018-12-12T10:18:46Z","date_updated":"2020-07-14T12:44:44Z","checksum":"c90895f4c5fafc18ddc54d1c8848077e","file_id":"5368","relation":"main_file","creator":"system","content_type":"application/pdf","file_size":745438,"file_name":"IST-2018-853-v2+2_concur2018.pdf","access_level":"open_access"}],"oa_version":"Published Version","pubrep_id":"1039","scopus_import":1,"has_accepted_license":"1","day":"13","citation":{"short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.","mla":"Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.21.","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21.","ama":"Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21","apa":"Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.","ista":"Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21."},"date_published":"2018-08-13T00:00:00Z","article_number":"21","publist_id":"7790","file_date_updated":"2020-07-14T12:44:44Z","department":[{"_id":"ToHe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","year":"2018","volume":118,"date_created":"2018-12-11T11:44:48Z","date_updated":"2023-09-07T13:18:00Z","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"6426"},{"status":"public","relation":"dissertation_contains","id":"8332"}]},"author":[{"full_name":"Kragl, Bernhard","last_name":"Kragl","first_name":"Bernhard","orcid":"0000-0001-7745-9117","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Qadeer","first_name":"Shaz","full_name":"Qadeer, Shaz"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publication_identifier":{"issn":["18688969"]},"month":"08","project":[{"grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms"}],"quality_controlled":"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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"doi":"10.4230/LIPIcs.CONCUR.2018.21","conference":{"name":"CONCUR: International Conference on Concurrency Theory","end_date":"2018-09-07","start_date":"2018-09-04","location":"Beijing, China"}},{"file":[{"file_size":528018,"content_type":"application/pdf","creator":"dernst","file_name":"2018_LIPIcs_Edelsbrunner_Osang.pdf","access_level":"open_access","date_created":"2018-12-18T09:27:22Z","date_updated":"2020-07-14T12:45:19Z","checksum":"d8c0533ad0018eb4ed1077475eb8fc18","relation":"main_file","file_id":"5738"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"187","title":"The multi-cover persistence of Euclidean balls","status":"public","ddc":["516"],"intvolume":" 99","abstract":[{"lang":"eng","text":"Given a locally finite X ⊆ ℝd and a radius r ≥ 0, the k-fold cover of X and r consists of all points in ℝd that have k or more points of X within distance r. We consider two filtrations - one in scale obtained by fixing k and increasing r, and the other in depth obtained by fixing r and decreasing k - and we compute the persistence diagrams of both. While standard methods suffice for the filtration in scale, we need novel geometric and topological concepts for the filtration in depth. In particular, we introduce a rhomboid tiling in ℝd+1 whose horizontal integer slices are the order-k Delaunay mosaics of X, and construct a zigzag module from Delaunay mosaics that is isomorphic to the persistence module of the multi-covers. "}],"type":"conference","alternative_title":["LIPIcs"],"date_published":"2018-06-11T00:00:00Z","citation":{"mla":"Edelsbrunner, Herbert, and Georg F. Osang. The Multi-Cover Persistence of Euclidean Balls. Vol. 99, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.34.","short":"H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.","chicago":"Edelsbrunner, Herbert, and Georg F Osang. “The Multi-Cover Persistence of Euclidean Balls,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.34.","ama":"Edelsbrunner H, Osang GF. The multi-cover persistence of Euclidean balls. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.34","ista":"Edelsbrunner H, Osang GF. 2018. The multi-cover persistence of Euclidean balls. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 34.","ieee":"H. Edelsbrunner and G. F. Osang, “The multi-cover persistence of Euclidean balls,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.","apa":"Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34"},"day":"11","has_accepted_license":"1","scopus_import":1,"author":[{"first_name":"Herbert","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"last_name":"Osang","first_name":"Georg F","orcid":"0000-0002-8882-5116","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","full_name":"Osang, Georg F"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"9317"},{"id":"9056","relation":"dissertation_contains","status":"public"}]},"date_created":"2018-12-11T11:45:05Z","date_updated":"2023-09-07T13:29:00Z","volume":99,"year":"2018","acknowledgement":"This work is partially supported by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, through grant no. I02979-N35 of the Austrian Science Fund (FWF).","publication_status":"published","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","department":[{"_id":"HeEd"}],"file_date_updated":"2020-07-14T12:45:19Z","publist_id":"7732","article_number":"34","conference":{"name":"SoCG: Symposium on Computational Geometry","start_date":"2018-06-11","location":"Budapest, Hungary","end_date":"2018-06-14"},"doi":"10.4230/LIPIcs.SoCG.2018.34","language":[{"iso":"eng"}],"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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1","project":[{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","call_identifier":"FWF","name":"Persistence and stability of geometric complexes"}],"month":"06"},{"month":"06","project":[{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"isi":1,"quality_controlled":"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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000431418800004"]},"language":[{"iso":"eng"}],"doi":"10.1007/s10711-017-0265-6","ec_funded":1,"publist_id":"7014","file_date_updated":"2020-07-14T12:47:44Z","publisher":"Springer","department":[{"_id":"HeEd"}],"publication_status":"published","year":"2018","volume":194,"date_created":"2018-12-11T11:47:57Z","date_updated":"2023-09-08T11:40:29Z","author":[{"full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","first_name":"Arseniy","last_name":"Akopyan"}],"scopus_import":"1","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","day":"01","page":"55 - 64","article_type":"original","citation":{"mla":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae Dedicata, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:10.1007/s10711-017-0265-6.","short":"A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.","chicago":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae Dedicata. Springer, 2018. https://doi.org/10.1007/s10711-017-0265-6.","ama":"Akopyan A. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 2018;194(1):55-64. doi:10.1007/s10711-017-0265-6","ista":"Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 194(1), 55–64.","ieee":"A. Akopyan, “3-Webs generated by confocal conics and circles,” Geometriae Dedicata, vol. 194, no. 1. Springer, pp. 55–64, 2018.","apa":"Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. Geometriae Dedicata. Springer. https://doi.org/10.1007/s10711-017-0265-6"},"publication":"Geometriae Dedicata","date_published":"2018-06-01T00:00:00Z","type":"journal_article","issue":"1","abstract":[{"text":"We consider families of confocal conics and two pencils of Apollonian circles having the same foci. We will show that these families of curves generate trivial 3-webs and find the exact formulas describing them.","lang":"eng"}],"intvolume":" 194","title":"3-Webs generated by confocal conics and circles","ddc":["510"],"status":"public","_id":"692","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"7222","checksum":"1febcfc1266486053a069e3425ea3713","date_updated":"2020-07-14T12:47:44Z","date_created":"2020-01-03T11:35:08Z","access_level":"open_access","file_name":"2018_Springer_Akopyan.pdf","content_type":"application/pdf","file_size":1140860,"creator":"kschuh"}]},{"ec_funded":1,"file_date_updated":"2020-07-14T12:48:02Z","year":"2018","department":[{"_id":"GeKa"}],"publisher":"Nature Publishing Group","publication_status":"published","related_material":{"record":[{"id":"7977","relation":"popular_science"},{"id":"7996","status":"public","relation":"dissertation_contains"}]},"author":[{"full_name":"Watzinger, Hannes","id":"35DF8E50-F248-11E8-B48F-1D18A9856A87","last_name":"Watzinger","first_name":"Hannes"},{"first_name":"Josip","last_name":"Kukucka","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87","full_name":"Kukucka, Josip"},{"first_name":"Lada","last_name":"Vukusic","id":"31E9F056-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2424-8636","full_name":"Vukusic, Lada"},{"full_name":"Gao, Fei","last_name":"Gao","first_name":"Fei"},{"first_name":"Ting","last_name":"Wang","full_name":"Wang, Ting"},{"full_name":"Schäffler, Friedrich","first_name":"Friedrich","last_name":"Schäffler"},{"full_name":"Zhang, Jian","last_name":"Zhang","first_name":"Jian"},{"full_name":"Katsaros, Georgios","orcid":"0000-0001-8342-202X","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","last_name":"Katsaros","first_name":"Georgios"}],"volume":9,"date_created":"2018-12-11T11:44:30Z","date_updated":"2023-09-08T11:44:02Z","month":"09","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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000445560800010"]},"oa":1,"project":[{"call_identifier":"FP7","name":"Towards Spin qubits and Majorana fermions in Germanium selfassembled hut-wires","_id":"25517E86-B435-11E9-9278-68D0E5697425","grant_number":"335497"},{"call_identifier":"FWF","name":"Loch Spin-Qubits und Majorana-Fermionen in Germanium","_id":"2552F888-B435-11E9-9278-68D0E5697425","grant_number":"Y00715"}],"quality_controlled":"1","isi":1,"doi":"10.1038/s41467-018-06418-4","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"type":"journal_article","issue":"3902 ","abstract":[{"text":"Holes confined in quantum dots have gained considerable interest in the past few years due to their potential as spin qubits. Here we demonstrate two-axis control of a spin 3/2 qubit in natural Ge. The qubit is formed in a hut wire double quantum dot device. The Pauli spin blockade principle allowed us to demonstrate electric dipole spin resonance by applying a radio frequency electric field to one of the electrodes defining the double quantum dot. Coherent hole spin oscillations with Rabi frequencies reaching 140 MHz are demonstrated and dephasing times of 130 ns are measured. The reported results emphasize the potential of Ge as a platform for fast and electrically tunable hole spin qubit devices.","lang":"eng"}],"_id":"77","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 9","title":"A germanium hole spin qubit","status":"public","ddc":["530"],"oa_version":"Published Version","file":[{"file_name":"2018_NatureComm_Watzinger.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":1063469,"file_id":"5687","relation":"main_file","date_updated":"2020-07-14T12:48:02Z","date_created":"2018-12-17T10:28:30Z","checksum":"e7148c10a64497e279c4de570b6cc544"}],"scopus_import":"1","article_processing_charge":"Yes","has_accepted_license":"1","day":"25","citation":{"chicago":"Watzinger, Hannes, Josip Kukucka, Lada Vukušić, Fei Gao, Ting Wang, Friedrich Schäffler, Jian Zhang, and Georgios Katsaros. “A Germanium Hole Spin Qubit.” Nature Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-06418-4.","short":"H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).","mla":"Watzinger, Hannes, et al. “A Germanium Hole Spin Qubit.” Nature Communications, vol. 9, no. 3902, Nature Publishing Group, 2018, doi:10.1038/s41467-018-06418-4.","ieee":"H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications, vol. 9, no. 3902. Nature Publishing Group, 2018.","apa":"Watzinger, H., Kukucka, J., Vukušić, L., Gao, F., Wang, T., Schäffler, F., … Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-06418-4","ista":"Watzinger H, Kukucka J, Vukušić L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).","ama":"Watzinger H, Kukucka J, Vukušić L, et al. A germanium hole spin qubit. Nature Communications. 2018;9(3902). doi:10.1038/s41467-018-06418-4"},"publication":"Nature Communications","article_type":"original","date_published":"2018-09-25T00:00:00Z"},{"article_number":"1210","file_date_updated":"2020-07-14T12:46:22Z","publist_id":"7427","publication_status":"published","publisher":"Nature Publishing Group","department":[{"_id":"EdHa"}],"year":"2018","date_updated":"2023-09-08T11:41:45Z","date_created":"2018-12-11T11:46:16Z","volume":9,"author":[{"full_name":"Qin, Xiang","first_name":"Xiang","last_name":"Qin"},{"last_name":"Hannezo","first_name":"Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","full_name":"Hannezo, Edouard B"},{"full_name":"Mangeat, Thomas","first_name":"Thomas","last_name":"Mangeat"},{"last_name":"Liu","first_name":"Chang","full_name":"Liu, Chang"},{"first_name":"Pralay","last_name":"Majumder","full_name":"Majumder, Pralay"},{"first_name":"Jjiaying","last_name":"Liu","full_name":"Liu, Jjiaying"},{"full_name":"Choesmel Cadamuro, Valerie","first_name":"Valerie","last_name":"Choesmel Cadamuro"},{"full_name":"Mcdonald, Jocelyn","first_name":"Jocelyn","last_name":"Mcdonald"},{"first_name":"Yinyao","last_name":"Liu","full_name":"Liu, Yinyao"},{"last_name":"Yi","first_name":"Bin","full_name":"Yi, Bin"},{"last_name":"Wang","first_name":"Xiaobo","full_name":"Wang, Xiaobo"}],"month":"03","quality_controlled":"1","isi":1,"oa":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","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000428165400009"]},"language":[{"iso":"eng"}],"doi":"10.1038/s41467-018-03574-5","type":"journal_article","abstract":[{"lang":"eng","text":"The actomyosin cytoskeleton, a key stress-producing unit in epithelial cells, oscillates spontaneously in a wide variety of systems. Although much of the signal cascade regulating myosin activity has been characterized, the origin of such oscillatory behavior is still unclear. Here, we show that basal myosin II oscillation in Drosophila ovarian epithelium is not controlled by actomyosin cortical tension, but instead relies on a biochemical oscillator involving ROCK and myosin phosphatase. Key to this oscillation is a diffusive ROCK flow, linking junctional Rho1 to medial actomyosin cortex, and dynamically maintained by a self-activation loop reliant on ROCK kinase activity. In response to the resulting myosin II recruitment, myosin phosphatase is locally enriched and shuts off ROCK and myosin II signals. Coupling Drosophila genetics, live imaging, modeling, and optogenetics, we uncover an intrinsic biochemical oscillator at the core of myosin II regulatory network, shedding light on the spatio-temporal dynamics of force generation."}],"issue":"1","title":"A biochemical network controlling basal myosin oscillation","status":"public","ddc":["539","570"],"intvolume":" 9","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"401","file":[{"checksum":"87a427bc2e8724be3dd22a4efdd21a33","date_created":"2018-12-12T10:11:45Z","date_updated":"2020-07-14T12:46:22Z","file_id":"4902","relation":"main_file","creator":"system","content_type":"application/pdf","file_size":3780491,"access_level":"open_access","file_name":"IST-2018-996-v1+1_2018_Hannezo_A-biochemical.pdf"}],"oa_version":"Published Version","pubrep_id":"996","scopus_import":"1","day":"23","has_accepted_license":"1","article_processing_charge":"No","publication":"Nature Communications","citation":{"chicago":"Qin, Xiang, Edouard B Hannezo, Thomas Mangeat, Chang Liu, Pralay Majumder, Jjiaying Liu, Valerie Choesmel Cadamuro, et al. “A Biochemical Network Controlling Basal Myosin Oscillation.” Nature Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-03574-5.","short":"X. Qin, E.B. Hannezo, T. Mangeat, C. Liu, P. Majumder, J. Liu, V. Choesmel Cadamuro, J. Mcdonald, Y. Liu, B. Yi, X. Wang, Nature Communications 9 (2018).","mla":"Qin, Xiang, et al. “A Biochemical Network Controlling Basal Myosin Oscillation.” Nature Communications, vol. 9, no. 1, 1210, Nature Publishing Group, 2018, doi:10.1038/s41467-018-03574-5.","ieee":"X. Qin et al., “A biochemical network controlling basal myosin oscillation,” Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.","apa":"Qin, X., Hannezo, E. B., Mangeat, T., Liu, C., Majumder, P., Liu, J., … Wang, X. (2018). A biochemical network controlling basal myosin oscillation. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-03574-5","ista":"Qin X, Hannezo EB, Mangeat T, Liu C, Majumder P, Liu J, Choesmel Cadamuro V, Mcdonald J, Liu Y, Yi B, Wang X. 2018. A biochemical network controlling basal myosin oscillation. Nature Communications. 9(1), 1210.","ama":"Qin X, Hannezo EB, Mangeat T, et al. A biochemical network controlling basal myosin oscillation. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-03574-5"},"date_published":"2018-03-23T00:00:00Z"},{"publist_id":"7547","publication_status":"published","department":[{"_id":"MiSi"}],"publisher":"Cell Press","year":"2018","acknowledgement":"Short Survey","pmid":1,"date_updated":"2023-09-08T11:42:28Z","date_created":"2018-12-11T11:45:47Z","volume":44,"author":[{"id":"3DBA3F4E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6009-6804","first_name":"Alessandra M","last_name":"Casano","full_name":"Casano, Alessandra M"},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K","last_name":"Sixt","full_name":"Sixt, Michael K"}],"month":"02","quality_controlled":"1","isi":1,"oa":1,"external_id":{"isi":["000426150700002"],"pmid":["29486189"]},"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/29486189","open_access":"1"}],"language":[{"iso":"eng"}],"doi":"10.1016/j.devcel.2018.02.009","type":"journal_article","abstract":[{"text":"The insect’s fat body combines metabolic and immunological functions. In this issue of Developmental Cell, Franz et al. (2018) show that in Drosophila, cells of the fat body are not static, but can actively “swim” toward sites of epithelial injury, where they physically clog the wound and locally secrete antimicrobial peptides.","lang":"eng"}],"issue":"4","title":"A fat lot of good for wound healing","status":"public","intvolume":" 44","_id":"318","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","scopus_import":"1","day":"26","article_processing_charge":"No","page":"405 - 406","publication":"Developmental Cell","citation":{"ama":"Casano AM, Sixt MK. A fat lot of good for wound healing. Developmental Cell. 2018;44(4):405-406. doi:10.1016/j.devcel.2018.02.009","ista":"Casano AM, Sixt MK. 2018. A fat lot of good for wound healing. Developmental Cell. 44(4), 405–406.","apa":"Casano, A. M., & Sixt, M. K. (2018). A fat lot of good for wound healing. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.02.009","ieee":"A. M. Casano and M. K. Sixt, “A fat lot of good for wound healing,” Developmental Cell, vol. 44, no. 4. Cell Press, pp. 405–406, 2018.","mla":"Casano, Alessandra M., and Michael K. Sixt. “A Fat Lot of Good for Wound Healing.” Developmental Cell, vol. 44, no. 4, Cell Press, 2018, pp. 405–06, doi:10.1016/j.devcel.2018.02.009.","short":"A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.","chicago":"Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound Healing.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.02.009."},"date_published":"2018-02-26T00:00:00Z"}]