[{"volume":139,"acknowledgement":"Z.B. is supported by the Doctoral College Resilient Embedded Systems, which is run jointly by the TU Wien’s Faculty of Informatics and the UAS Technikum Wien. R.G. is partially supported by the Horizon 2020 Era-Permed project Persorad, and ECSEL Project grant no. 783163 (iDev40). R.H and D.R were partially supported by Boeing and MIT. M.L. is supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","ddc":["000"],"citation":{"chicago":"Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In <i>Proceedings of the 38th International Conference on Machine Learning</i>, 139:478–89. ML Research Press, 2021.","ieee":"Z. Babaiee, R. Hasani, M. Lechner, D. Rus, and R. Grosu, “On-off center-surround receptive fields for accurate and robust image classification,” in <i>Proceedings of the 38th International Conference on Machine Learning</i>, Virtual, 2021, vol. 139, pp. 478–489.","apa":"Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &#38; Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In <i>Proceedings of the 38th International Conference on Machine Learning</i> (Vol. 139, pp. 478–489). Virtual: ML Research Press.","ama":"Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive fields for accurate and robust image classification. In: <i>Proceedings of the 38th International Conference on Machine Learning</i>. Vol 139. ML Research Press; 2021:478-489.","ista":"Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. 2021. On-off center-surround receptive fields for accurate and robust image classification. Proceedings of the 38th International Conference on Machine Learning. ML: Machine Learning, PMLR, vol. 139, 478–489.","short":"Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.","mla":"Babaiee, Zahra, et al. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” <i>Proceedings of the 38th International Conference on Machine Learning</i>, vol. 139, ML Research Press, 2021, pp. 478–89."},"year":"2021","date_updated":"2022-05-04T15:02:27Z","day":"01","abstract":[{"text":"Robustness to variations in lighting conditions is a key objective for any deep vision system. To this end, our paper extends the receptive field of convolutional neural networks with two residual components, ubiquitous in the visual processing system of vertebrates: On-center and off-center pathways, with an excitatory center and inhibitory surround; OOCS for short. The On-center pathway is excited by the presence of a light stimulus in its center, but not in its surround, whereas the Off-center pathway is excited by the absence of a light stimulus in its center, but not in its surround. We design OOCS pathways via a difference of Gaussians, with their variance computed analytically from the size of the receptive fields. OOCS pathways complement each other in their response to light stimuli, ensuring this way a strong edge-detection capability, and as a result an accurate and robust inference under challenging lighting conditions. We provide extensive empirical evidence showing that networks supplied with OOCS pathways gain accuracy and illumination-robustness from the novel edge representation, compared to other baselines.","lang":"eng"}],"quality_controlled":"1","page":"478-489","file_date_updated":"2022-01-26T07:38:32Z","publisher":"ML Research Press","license":"https://creativecommons.org/licenses/by-nc-nd/3.0/","_id":"10668","author":[{"last_name":"Babaiee","first_name":"Zahra","full_name":"Babaiee, Zahra"},{"full_name":"Hasani, Ramin","first_name":"Ramin","last_name":"Hasani"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","last_name":"Lechner","first_name":"Mathias"},{"first_name":"Daniela","last_name":"Rus","full_name":"Rus, Daniela"},{"full_name":"Grosu, Radu","last_name":"Grosu","first_name":"Radu"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"article_processing_charge":"No","date_created":"2022-01-25T15:46:33Z","publication_status":"published","intvolume":"       139","title":"On-off center-surround receptive fields for accurate and robust image classification","alternative_title":["PMLR"],"main_file_link":[{"url":"https://proceedings.mlr.press/v139/babaiee21a","open_access":"1"}],"file":[{"file_id":"10681","creator":"mlechner","success":1,"relation":"main_file","access_level":"open_access","date_updated":"2022-01-26T07:38:32Z","file_name":"babaiee21a.pdf","content_type":"application/pdf","date_created":"2022-01-26T07:38:32Z","file_size":4246561,"checksum":"d30eae62561bb517d9f978437d7677db"}],"status":"public","user_id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","tmp":{"short":"CC BY-NC-ND (3.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode"},"type":"conference","date_published":"2021-07-01T00:00:00Z","publication_identifier":{"issn":["2640-3498"]},"oa":1,"language":[{"iso":"eng"}],"conference":{"location":"Virtual","end_date":"2021-07-24","start_date":"2021-07-18","name":"ML: Machine Learning"},"has_accepted_license":"1","publication":"Proceedings of the 38th International Conference on Machine Learning","project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z211"}],"oa_version":"Published Version","month":"07"},{"has_accepted_license":"1","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211"}],"oa_version":"Published Version","month":"05","language":[{"iso":"eng"}],"conference":{"name":"AAAI: Association for the Advancement of Artificial Intelligence","start_date":"2021-02-02","location":"Virtual","end_date":"2021-02-09"},"type":"conference","date_published":"2021-05-28T00:00:00Z","publication_identifier":{"isbn":["978-1-57735-866-4"],"issn":["2159-5399"],"eissn":["2374-3468"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://ojs.aaai.org/index.php/AAAI/article/view/17372"}],"file":[{"content_type":"application/pdf","file_name":"17372-Article Text-20866-1-2-20210518.pdf","date_updated":"2022-01-26T07:38:08Z","file_size":286906,"checksum":"468d07041e282a1d46ffdae92f709630","date_created":"2022-01-26T07:38:08Z","creator":"mlechner","file_id":"10680","success":1,"relation":"main_file","access_level":"open_access"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"10669","issue":"13","author":[{"full_name":"Grunbacher, Sophie","first_name":"Sophie","last_name":"Grunbacher"},{"last_name":"Hasani","first_name":"Ramin","full_name":"Hasani, Ramin"},{"first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Cyranka","first_name":"Jacek","full_name":"Cyranka, Jacek"},{"last_name":"Smolka","first_name":"Scott A","full_name":"Smolka, Scott A"},{"last_name":"Grosu","first_name":"Radu","full_name":"Grosu, Radu"}],"date_created":"2022-01-25T15:47:20Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"article_processing_charge":"No","publication_status":"published","intvolume":"        35","alternative_title":["Technical Tracks"],"title":"On the verification of neural ODEs with stochastic guarantees","quality_controlled":"1","page":"11525-11535","file_date_updated":"2022-01-26T07:38:08Z","publisher":"AAAI Press","citation":{"apa":"Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &#38; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.","ama":"Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:11525-11535.","ieee":"S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu, “On the verification of neural ODEs with stochastic guarantees,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 13, pp. 11525–11535.","chicago":"Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:11525–35. AAAI Press, 2021.","mla":"Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.","short":"S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.","ista":"Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On the verification of neural ODEs with stochastic guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535."},"year":"2021","date_updated":"2022-05-24T06:33:14Z","external_id":{"arxiv":["2012.08863"]},"day":"28","arxiv":1,"abstract":[{"lang":"eng","text":"We show that Neural ODEs, an emerging class of timecontinuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Stochastic Lagrangian Reachability (SLR), an\r\nabstraction-based technique for constructing a tight Reachtube (an over-approximation of the set of reachable states\r\nover a given time-horizon), and provide stochastic guarantees in the form of confidence intervals for the Reachtube bounds. SLR inherently avoids the infamous wrapping effect (accumulation of over-approximation errors) by performing local optimization steps to expand safe regions instead of repeatedly forward-propagating them as is done by deterministic reachability methods. To enable fast local optimizations, we introduce a novel forward-mode adjoint sensitivity method to compute gradients without the need for backpropagation. Finally, we establish asymptotic and non-asymptotic convergence rates for SLR."}],"acknowledgement":"The authors would like to thank the reviewers for their insightful comments. RH and RG were partially supported by\r\nHorizon-2020 ECSEL Project grant No. 783163 (iDev40). RH was partially supported by Boeing. ML was supported\r\nin part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). SG was funded by FWF\r\nproject W1255-N23. JC was partially supported by NAWA Polish Returns grant PPN/PPO/2018/1/00029. SS was supported by NSF awards DCL-2040599, CCF-1918225, and CPS-1446832.\r\n","volume":35,"ddc":["000"]},{"month":"12","oa_version":"Published Version","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z211","name":"The Wittgenstein Prize"}],"publication":"35th Conference on Neural Information Processing Systems","has_accepted_license":"1","conference":{"end_date":"2021-12-10","location":"Virtual","name":"NeurIPS: Neural Information Processing Systems","start_date":"2021-12-06"},"language":[{"iso":"eng"}],"oa":1,"date_published":"2021-12-01T00:00:00Z","type":"conference","tmp":{"short":"CC BY-NC-ND (3.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode"},"status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","file":[{"file_size":6841228,"checksum":"be81f0ade174a8c9b2d4fe09590b2021","date_created":"2022-01-26T07:37:24Z","file_name":"NeurIPS-2021-causal-navigation-by-continuous-time-neural-networks-Paper.pdf","content_type":"application/pdf","date_updated":"2022-01-26T07:37:24Z","success":1,"relation":"main_file","access_level":"open_access","creator":"mlechner","file_id":"10679"}],"main_file_link":[{"open_access":"1","url":"https://proceedings.neurips.cc/paper/2021/hash/67ba02d73c54f0b83c05507b7fb7267f-Abstract.html"}],"title":"Causal navigation by continuous-time neural networks","alternative_title":[" Advances in Neural Information Processing Systems"],"publication_status":"published","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"date_created":"2022-01-25T15:47:50Z","author":[{"first_name":"Charles J","last_name":"Vorbach","full_name":"Vorbach, Charles J"},{"full_name":"Hasani, Ramin","first_name":"Ramin","last_name":"Hasani"},{"full_name":"Amini, Alexander","first_name":"Alexander","last_name":"Amini"},{"last_name":"Lechner","first_name":"Mathias","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Rus, Daniela","first_name":"Daniela","last_name":"Rus"}],"_id":"10670","file_date_updated":"2022-01-26T07:37:24Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"Imitation learning enables high-fidelity, vision-based learning of policies within rich, photorealistic environments. However, such techniques often rely on traditional discrete-time neural models and face difficulties in generalizing to domain shifts by failing to account for the causal relationships between the agent and the environment. In this paper, we propose a theoretical and experimental framework for learning causal representations using continuous-time neural networks, specifically over their discrete-time counterparts. We evaluate our method in the context of visual-control learning of drones over a series of complex tasks, ranging from short- and long-term navigation, to chasing static and dynamic objects through photorealistic environments. Our results demonstrate that causal continuous-time\r\ndeep models can perform robust navigation tasks, where advanced recurrent models fail. These models learn complex causal control representations directly from raw visual inputs and scale to solve a variety of tasks using imitation learning."}],"arxiv":1,"day":"01","external_id":{"arxiv":["2106.08314"]},"date_updated":"2022-01-26T14:33:31Z","citation":{"ista":"Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 2021. Causal navigation by continuous-time neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems,  Advances in Neural Information Processing Systems, .","mla":"Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” <i>35th Conference on Neural Information Processing Systems</i>, 2021.","short":"C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.","chicago":"Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In <i>35th Conference on Neural Information Processing Systems</i>, 2021.","ieee":"C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, 2021.","apa":"Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &#38; Rus, D. (2021). Causal navigation by continuous-time neural networks. In <i>35th Conference on Neural Information Processing Systems</i>. Virtual.","ama":"Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time neural networks. In: <i>35th Conference on Neural Information Processing Systems</i>. ; 2021."},"year":"2021","ddc":["000"],"acknowledgement":"C.V., R.H. A.A. and D.R. are partially supported by Boeing and MIT. A.A. is supported by the National Science Foundation (NSF) Graduate Research Fellowship Program. M.L. is supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Research was sponsored by the United States Air Force Research Laboratory and the United States Air Force Artificial Intelligence Accelerator and was accomplished under Cooperative Agreement Number FA8750-19-2-1000. The views and conclusions contained in this document are those of the authors\r\nand should not be interpreted as representing the official policies, either expressed or implied, of the United States Air Force or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation herein.\r\n"},{"publication_identifier":{"isbn":["978-1-57735-866-4"],"eissn":["2374-3468"],"issn":["2159-5399"]},"oa":1,"type":"conference","date_published":"2021-05-28T00:00:00Z","file":[{"file_name":"16936-Article Text-20430-1-2-20210518 (1).pdf","content_type":"application/pdf","date_updated":"2022-01-26T07:36:03Z","checksum":"0f06995fba06dbcfa7ed965fc66027ff","file_size":4302669,"date_created":"2022-01-26T07:36:03Z","creator":"mlechner","file_id":"10678","relation":"main_file","success":1,"access_level":"open_access"}],"main_file_link":[{"url":"https://ojs.aaai.org/index.php/AAAI/article/view/16936","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","project":[{"grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"oa_version":"Published Version","month":"05","has_accepted_license":"1","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","conference":{"end_date":"2021-02-09","location":"Virtual","name":"AAAI: Association for the Advancement of Artificial Intelligence","start_date":"2021-02-02"},"language":[{"iso":"eng"}],"day":"28","arxiv":1,"abstract":[{"lang":"eng","text":"We introduce a new class of time-continuous recurrent neural network models. Instead of declaring a learning system’s dynamics by implicit nonlinearities, we construct networks of linear first-order dynamical systems modulated via nonlinear interlinked gates. The resulting models represent dynamical systems with varying (i.e., liquid) time-constants coupled to their hidden state, with outputs being computed by numerical differential equation solvers. These neural networks exhibit stable and bounded behavior, yield superior expressivity within the family of neural ordinary differential equations, and give rise to improved performance on time-series prediction tasks. To demonstrate these properties, we first take a theoretical approach to find bounds over their dynamics, and compute their expressive power by the trajectory length measure in a latent trajectory space. We then conduct a series of time-series prediction experiments to manifest the approximation capability of Liquid Time-Constant Networks (LTCs) compared to classical and modern RNNs."}],"year":"2021","citation":{"ieee":"R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant networks,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.","chicago":"Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, 35:7657–66. AAAI Press, 2021.","ama":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:7657-7666.","apa":"Hasani, R., Lechner, M., Amini, A., Rus, D., &#38; Grosu, R. (2021). Liquid time-constant networks. In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.","ista":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2021. Liquid time-constant networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 7657–7666.","short":"R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.","mla":"Hasani, Ramin, et al. “Liquid Time-Constant Networks.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66."},"date_updated":"2022-05-24T06:36:54Z","external_id":{"arxiv":["2006.04439"]},"acknowledgement":"R.H. and D.R. are partially supported by Boeing. R.H. and R.G. were partially supported by the Horizon-2020 ECSEL\r\nProject grant No. 783163 (iDev40). M.L. was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). A.A. is supported by the National Science Foundation (NSF) Graduate Research Fellowship Program. This research work is partially drawn from the PhD dissertation of R.H.","volume":35,"ddc":["000"],"date_created":"2022-01-25T15:48:36Z","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publication_status":"published","intvolume":"        35","title":"Liquid time-constant networks","alternative_title":["Technical Tracks"],"_id":"10671","issue":"9","author":[{"full_name":"Hasani, Ramin","last_name":"Hasani","first_name":"Ramin"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner","first_name":"Mathias","full_name":"Lechner, Mathias"},{"full_name":"Amini, Alexander","last_name":"Amini","first_name":"Alexander"},{"first_name":"Daniela","last_name":"Rus","full_name":"Rus, Daniela"},{"full_name":"Grosu, Radu","first_name":"Radu","last_name":"Grosu"}],"publisher":"AAAI Press","quality_controlled":"1","page":"7657-7666","file_date_updated":"2022-01-26T07:36:03Z"},{"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award), ERC CoG 863818 (FoRM-SMArt), and by the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","arxiv":1,"doi":"10.1137/1.9781611976465.38","day":"01","abstract":[{"text":"In a two-player zero-sum graph game the players move a token throughout a graph to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In bidding games, however, the players have budgets, and in each turn, we hold an “auction” (bidding) to determine which player moves the token: both players simultaneously submit bids and the higher bidder moves the token. The bidding mechanisms differ in their payment schemes. Bidding games were largely studied with variants of first-price bidding in which only the higher bidder pays his bid. We focus on all-pay bidding, where both players pay their bids. Finite-duration all-pay bidding games were studied and shown to be technically more challenging than their first-price counterparts. We study for the first time, infinite-duration all-pay bidding games. Our most interesting results are for mean-payoff objectives: we portray a complete picture for games played on strongly-connected graphs. We study both pure (deterministic) and mixed (probabilistic) strategies and completely characterize the optimal and almost-sure (with probability 1) payoffs the players can respectively guarantee. We show that mean-payoff games under all-pay bidding exhibit the intriguing mathematical properties of their first-price counterparts; namely, an equivalence with random-turn games in which in each turn, the player who moves is selected according to a (biased) coin toss. The equivalences for all-pay bidding are more intricate and unexpected than for first-price bidding.","lang":"eng"}],"date_updated":"2025-07-14T09:10:12Z","year":"2021","citation":{"ista":"Avni G, Jecker IR, Zikelic D. 2021. Infinite-duration all-pay bidding games. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 617–636.","short":"G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.","mla":"Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.” <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:<a href=\"https://doi.org/10.1137/1.9781611976465.38\">10.1137/1.9781611976465.38</a>.","chicago":"Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. <a href=\"https://doi.org/10.1137/1.9781611976465.38\">https://doi.org/10.1137/1.9781611976465.38</a>.","ieee":"G. Avni, I. R. Jecker, and D. Zikelic, “Infinite-duration all-pay bidding games,” in <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>, Virtual, 2021, pp. 617–636.","apa":"Avni, G., Jecker, I. R., &#38; Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/1.9781611976465.38\">https://doi.org/10.1137/1.9781611976465.38</a>","ama":"Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>. Society for Industrial and Applied Mathematics; 2021:617-636. doi:<a href=\"https://doi.org/10.1137/1.9781611976465.38\">10.1137/1.9781611976465.38</a>"},"external_id":{"arxiv":["2005.06636"]},"publisher":"Society for Industrial and Applied Mathematics","editor":[{"full_name":"Marx, Dániel","first_name":"Dániel","last_name":"Marx"}],"page":"617-636","quality_controlled":"1","ec_funded":1,"publication_status":"published","date_created":"2022-01-27T12:11:23Z","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"article_processing_charge":"No","title":"Infinite-duration all-pay bidding games","_id":"10694","scopus_import":"1","author":[{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5588-8287","full_name":"Avni, Guy","first_name":"Guy","last_name":"Avni"},{"id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","full_name":"Jecker, Ismael R","first_name":"Ismael R","last_name":"Jecker"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","last_name":"Zikelic"}],"main_file_link":[{"url":"https://arxiv.org/abs/2005.06636","open_access":"1"}],"status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"isbn":["978-1-61197-646-5"]},"oa":1,"date_published":"2021-01-01T00:00:00Z","type":"conference","conference":{"location":"Virtual","end_date":"2021-01-13","start_date":"2021-01-10","name":"SODA: Symposium on Discrete Algorithms"},"language":[{"iso":"eng"}],"oa_version":"Preprint","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z211","name":"The Wittgenstein Prize"},{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385"}],"month":"01","publication":"Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms"},{"volume":34,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML), and a CNRS PEPS grant. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing (SciComp). We would also like to thank Christoph Lampert for his feedback on an earlier version of this work, as well as for providing hardware for the Transformer-XL experiments.","abstract":[{"lang":"eng","text":"The increasing computational requirements of deep neural networks (DNNs) have led to significant interest in obtaining DNN models that are sparse, yet accurate. Recent work has investigated the even harder case of sparse training, where the DNN weights are, for as much as possible, already sparse to reduce computational costs during training. Existing sparse training methods are often empirical and can have lower accuracy relative to the dense baseline. In this paper, we present a general approach called Alternating Compressed/DeCompressed (AC/DC) training of DNNs, demonstrate convergence for a variant of the algorithm, and show that AC/DC outperforms existing sparse training methods in accuracy at similar computational budgets; at high sparsity levels, AC/DC even outperforms existing methods that rely on accurate pre-trained dense models. An important property of AC/DC is that it allows co-training of dense and sparse models, yielding accurate sparse–dense model pairs at the end of the training process. This is useful in practice, where compressed variants may be desirable for deployment in resource-constrained settings without re-doing the entire training flow, and also provides us with insights into the accuracy gap between dense and compressed models. The code is available at: https://github.com/IST-DASLab/ACDC."}],"day":"6","arxiv":1,"external_id":{"arxiv":["2106.12379"]},"year":"2021","citation":{"apa":"Peste, E.-A., Iofinova, E. B., Vladu, A., &#38; Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In <i>35th Conference on Neural Information Processing Systems</i> (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.","ama":"Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In: <i>35th Conference on Neural Information Processing Systems</i>. Vol 34. Curran Associates; 2021:8557-8570.","ieee":"E.-A. Peste, E. B. Iofinova, A. Vladu, and D.-A. Alistarh, “AC/DC: Alternating Compressed/DeCompressed training of deep neural networks,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, Online, 2021, vol. 34, pp. 8557–8570.","chicago":"Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In <i>35th Conference on Neural Information Processing Systems</i>, 34:8557–70. Curran Associates, 2021.","short":"E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.","mla":"Peste, Elena-Alexandra, et al. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” <i>35th Conference on Neural Information Processing Systems</i>, vol. 34, Curran Associates, 2021, pp. 8557–70.","ista":"Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 34, 8557–8570."},"date_updated":"2023-06-01T12:54:45Z","publisher":"Curran Associates","quality_controlled":"1","ec_funded":1,"page":"8557-8570","intvolume":"        34","title":"AC/DC: Alternating Compressed/DeCompressed training of deep neural networks","department":[{"_id":"GradSch"},{"_id":"DaAl"}],"date_created":"2022-06-20T12:11:53Z","article_processing_charge":"No","publication_status":"published","author":[{"full_name":"Peste, Elena-Alexandra","first_name":"Elena-Alexandra","last_name":"Peste","id":"32D78294-F248-11E8-B48F-1D18A9856A87"},{"id":"f9a17499-f6e0-11ea-865d-fdf9a3f77117","full_name":"Iofinova, Eugenia B","orcid":"0000-0002-7778-3221","last_name":"Iofinova","first_name":"Eugenia B"},{"first_name":"Adrian","last_name":"Vladu","full_name":"Vladu, Adrian"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"scopus_import":"1","_id":"11458","status":"public","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"13074"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://proceedings.neurips.cc/paper/2021/file/48000647b315f6f00f913caa757a70b3-Paper.pdf","open_access":"1"}],"oa":1,"publication_identifier":{"issn":["1049-5258"],"isbn":["9781713845393"]},"type":"conference","date_published":"2021-12-06T00:00:00Z","conference":{"name":"NeurIPS: Neural Information Processing Systems","start_date":"2021-12-06","end_date":"2021-12-14","location":"Virtual, Online"},"language":[{"iso":"eng"}],"month":"12","project":[{"grant_number":"805223","name":"Elastic Coordination for Scalable Machine Learning","call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"oa_version":"Published Version","publication":"35th Conference on Neural Information Processing Systems"},{"abstract":[{"text":"Spin qubits are considered to be among the most promising candidates for building a quantum processor. Group IV hole spin qubits have moved into the focus of interest due to the ease of operation and compatibility with Si technology. In addition, Ge offers the option for monolithic superconductor-semiconductor integration. Here we demonstrate a hole spin qubit operating at fields below 10 mT, the critical field of Al, by exploiting the large out-of-plane hole g-factors in planar Ge and by encoding the qubit into the singlet-triplet states of a double quantum dot. We observe electrically controlled X and Z-rotations with tunable frequencies exceeding 100 MHz and dephasing times of 1μs which we extend beyond 15μs with echo techniques. These results show that Ge hole singlet triplet qubits outperform their electronic Si and GaAs based counterparts in speed and coherence, respectively. In addition, they are on par with Ge single spin qubits, but can be operated at much lower fields underlining their potential for on chip integration with superconducting technologies.","lang":"eng"}],"day":"01","arxiv":1,"doi":"10.1038/s41563-021-01022-2","external_id":{"arxiv":["2011.13755"],"isi":["000657596400001"]},"isi":1,"citation":{"ista":"Jirovec D, Hofmann AC, Ballabio A, Mutter PM, Tavani G, Botifoll M, Crippa A, Kukucka J, Sagi O, Martins F, Saez Mollejo J, Prieto Gonzalez I, Borovkov M, Arbiol J, Chrastina D, Isella G, Katsaros G. 2021. A singlet triplet hole spin qubit in planar Ge. Nature Materials. 20(8), 1106–1112.","short":"D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials 20 (2021) 1106–1112.","mla":"Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” <i>Nature Materials</i>, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:<a href=\"https://doi.org/10.1038/s41563-021-01022-2\">10.1038/s41563-021-01022-2</a>.","ieee":"D. Jirovec <i>et al.</i>, “A singlet triplet hole spin qubit in planar Ge,” <i>Nature Materials</i>, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021.","chicago":"Jirovec, Daniel, Andrea C Hofmann, Andrea Ballabio, Philipp M. Mutter, Giulio Tavani, Marc Botifoll, Alessandro Crippa, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” <i>Nature Materials</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41563-021-01022-2\">https://doi.org/10.1038/s41563-021-01022-2</a>.","ama":"Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit in planar Ge. <i>Nature Materials</i>. 2021;20(8):1106–1112. doi:<a href=\"https://doi.org/10.1038/s41563-021-01022-2\">10.1038/s41563-021-01022-2</a>","apa":"Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. <i>Nature Materials</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41563-021-01022-2\">https://doi.org/10.1038/s41563-021-01022-2</a>"},"year":"2021","date_updated":"2024-03-25T23:30:14Z","acknowledgement":"This research was supported by the Scientific Service Units of Institute of Science and Technology (IST) Austria through resources provided by the Miba Machine Shop and the nanofabrication facility, and was made possible with the support of the NOMIS Foundation. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under Marie Sklodowska-Curie grant agreements no. 844511 and no. 75441, and by the Austrian Science Fund FWF-P 30207 project. A.B. acknowledges support from the European Union Horizon 2020 FET project microSPIRE, no. 766955. M. Botifoll and J.A. acknowledge funding from Generalitat de Catalunya 2017 SGR 327. The Catalan Institute of Nanoscience and Nanotechnology (ICN2) is supported by the Severo Ochoa programme from the Spanish Ministery of Economy (MINECO) (grant no. SEV-2017-0706) and is funded by the Catalonian Research Centre (CERCA) Programme, Generalitat de Catalunya. Part of the present work has been performed within the framework of the Universitat Autónoma de Barcelona Materials Science PhD programme. Part of the HAADF scanning transmission electron microscopy was conducted in the Laboratorio de Microscopias Avanzadas at Instituto de Nanociencia de Aragon, Universidad de Zaragoza. ICN2 acknowledge support from the Spanish Superior Council of Scientific Research (CSIC) Research Platform on Quantum Technologies PTI-001. M.B. acknowledges funding from the Catalan Agency for Management of University and Research Grants (AGAUR) Generalitat de Catalunya formation of investigators (FI) PhD grant.","volume":20,"intvolume":"        20","title":"A singlet triplet hole spin qubit in planar Ge","department":[{"_id":"GeKa"},{"_id":"NanoFab"},{"_id":"GradSch"}],"date_created":"2020-12-02T10:50:47Z","article_processing_charge":"No","publication_status":"published","issue":"8","author":[{"id":"4C473F58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7197-4801","full_name":"Jirovec, Daniel","first_name":"Daniel","last_name":"Jirovec"},{"id":"340F461A-F248-11E8-B48F-1D18A9856A87","full_name":"Hofmann, Andrea C","last_name":"Hofmann","first_name":"Andrea C"},{"full_name":"Ballabio, Andrea","last_name":"Ballabio","first_name":"Andrea"},{"last_name":"Mutter","first_name":"Philipp M.","full_name":"Mutter, Philipp M."},{"last_name":"Tavani","first_name":"Giulio","full_name":"Tavani, Giulio"},{"full_name":"Botifoll, Marc","first_name":"Marc","last_name":"Botifoll"},{"full_name":"Crippa, Alessandro","orcid":"0000-0002-2968-611X","last_name":"Crippa","first_name":"Alessandro","id":"1F2B21A2-F6E7-11E9-9B82-F7DBE5697425"},{"first_name":"Josip","last_name":"Kukucka","full_name":"Kukucka, Josip","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87"},{"id":"71616374-A8E9-11E9-A7CA-09ECE5697425","full_name":"Sagi, Oliver","last_name":"Sagi","first_name":"Oliver"},{"last_name":"Martins","first_name":"Frederico","full_name":"Martins, Frederico","orcid":"0000-0003-2668-2401","id":"38F80F9A-1CB8-11EA-BC76-B49B3DDC885E"},{"id":"e0390f72-f6e0-11ea-865d-862393336714","last_name":"Saez Mollejo","first_name":"Jaime","full_name":"Saez Mollejo, Jaime"},{"full_name":"Prieto Gonzalez, Ivan","orcid":"0000-0002-7370-5357","last_name":"Prieto Gonzalez","first_name":"Ivan","id":"2A307FE2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Borovkov, Maksim","first_name":"Maksim","last_name":"Borovkov","id":"2ac7a0a2-3562-11eb-9256-fbd18ea55087"},{"first_name":"Jordi","last_name":"Arbiol","full_name":"Arbiol, Jordi"},{"last_name":"Chrastina","first_name":"Daniel","full_name":"Chrastina, Daniel"},{"full_name":"Isella, Giovanni","first_name":"Giovanni","last_name":"Isella"},{"id":"38DB5788-F248-11E8-B48F-1D18A9856A87","full_name":"Katsaros, Georgios","orcid":"0000-0001-8342-202X","last_name":"Katsaros","first_name":"Georgios"}],"scopus_import":"1","_id":"8909","article_type":"original","publisher":"Springer Nature","ec_funded":1,"quality_controlled":"1","page":"1106–1112","oa":1,"publication_identifier":{"eissn":["1476-4660"],"issn":["1476-1122"]},"type":"journal_article","date_published":"2021-08-01T00:00:00Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","status":"public","related_material":{"link":[{"url":"https://ist.ac.at/en/news/quantum-computing-with-holes/","relation":"press_release","description":"News on IST Homepage"}],"record":[{"status":"public","relation":"research_data","id":"9323"},{"id":"10058","relation":"dissertation_contains","status":"public"}]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2011.13755"}],"month":"08","project":[{"grant_number":"844511","name":"Majorana bound states in Ge/SiGe heterostructures","call_identifier":"H2020","_id":"26A151DA-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"},{"_id":"2641CE5E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Hole spin orbit qubits in Ge quantum wells","grant_number":"P30207"},{"_id":"262116AA-B435-11E9-9278-68D0E5697425","name":"Hybrid Semiconductor - Superconductor Quantum Devices"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"oa_version":"Preprint","publication":"Nature Materials","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"has_accepted_license":"1","month":"01","oa_version":"Published Version","project":[{"name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"}],"related_material":{"record":[{"id":"1386","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"1437"},{"id":"639","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"6918"},{"status":"public","id":"6490","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"7158"},{"status":"public","id":"6009","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"949"},{"status":"public","id":"311","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"7810"},{"status":"public","id":"8089","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"8728"},{"relation":"part_of_dissertation","id":"5977","status":"public"},{"id":"6056","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"6175","relation":"part_of_dissertation"},{"id":"6340","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"6378"},{"status":"public","id":"6380","relation":"part_of_dissertation"},{"id":"66","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"6780","status":"public"},{"status":"public","id":"7014","relation":"part_of_dissertation"}]},"status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"access_level":"open_access","relation":"main_file","creator":"akafshda","file_id":"8969","file_size":5251507,"checksum":"d1b9db3725aed34dadd81274aeb9426c","date_created":"2020-12-22T20:08:44Z","embargo":"2021-12-22","file_name":"Thesis-pdfa.pdf","content_type":"application/pdf","date_updated":"2021-12-23T23:30:04Z"},{"date_updated":"2021-03-04T23:30:04Z","content_type":"application/zip","file_name":"source.zip","date_created":"2020-12-22T20:08:50Z","embargo_to":"open_access","file_size":10636756,"checksum":"1661df7b393e6866d2460eba3c905130","file_id":"8970","creator":"akafshda","relation":"source_file","access_level":"closed"}],"date_published":"2021-01-01T00:00:00Z","type":"dissertation","tmp":{"legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","short":"CC0 (1.0)","name":"Creative Commons Public Domain Dedication (CC0 1.0)","image":"/images/cc_0.png"},"supervisor":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"publication_identifier":{"issn":["2663-337X"]},"file_date_updated":"2021-12-23T23:30:04Z","page":"278","publisher":"Institute of Science and Technology Austria","author":[{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","last_name":"Goharshady","first_name":"Amir Kafshdar","full_name":"Goharshady, Amir Kafshdar","orcid":"0000-0003-1702-6584"}],"_id":"8934","license":"https://creativecommons.org/publicdomain/zero/1.0/","alternative_title":["ISTA Thesis"],"title":"Parameterized and algebro-geometric advances in static program analysis","publication_status":"published","article_processing_charge":"No","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"date_created":"2020-12-10T12:17:07Z","ddc":["005"],"acknowledgement":"The research was partially supported by an IBM PhD fellowship, a Facebook PhD fellowship, and DOC fellowship #24956 of the Austrian Academy of Sciences (OeAW).","date_updated":"2025-06-02T08:53:47Z","year":"2021","citation":{"mla":"Goharshady, Amir Kafshdar. <i>Parameterized and Algebro-Geometric Advances in Static Program Analysis</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8934\">10.15479/AT:ISTA:8934</a>.","short":"A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.","ista":"Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria.","ama":"Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8934\">10.15479/AT:ISTA:8934</a>","apa":"Goharshady, A. K. (2021). <i>Parameterized and algebro-geometric advances in static program analysis</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8934\">https://doi.org/10.15479/AT:ISTA:8934</a>","chicago":"Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:8934\">https://doi.org/10.15479/AT:ISTA:8934</a>.","ieee":"A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021."},"abstract":[{"lang":"eng","text":"In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management.\r\nWe use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades."}],"doi":"10.15479/AT:ISTA:8934","degree_awarded":"PhD","day":"01"},{"status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41593-021-00906-5"}],"date_published":"2021-08-23T00:00:00Z","type":"technical_report","oa":1,"publication_identifier":{"eissn":["1546-1726"],"issn":["1097-6256"]},"language":[{"iso":"eng"}],"month":"08","oa_version":"Published Version","volume":24,"acknowledgement":"We thank S. Butler, T. Carmichael and members of the laboratory of B.G.N. for helpful discussions and comments on the manuscript; N. Vishlaghi and F. Turcios-Hernandez for technical assistance, and J. Lee, S.-K. Lee, H. Shinagawa and K. Yoshikawa for valuable reagents. We also thank the UCLA Eli and Edythe Broad Stem Cell Research Center (BSCRC) and Intellectual and Developmental Disabilities Research Center microscopy cores for access to imaging facilities. This work was supported by grants from the California Institute for Regenerative Medicine (CIRM) (DISC1-08819 to B.G.N.), the National Institute of Health (R01NS089817, R01DA051897 and P50HD103557 to B.G.N.; K08NS119747 to R.A.S.; K99HD096105 to M.W.; R01MH123922, R01MH121521 and P50HD103557 to M.J.G.; R01GM099134 to K.P.; R01NS103788 to W.E.L.; R01NS088571 to J.M.P.; R01NS030549 and R01AG050474 to I.M.), and research awards from the UCLA Jonsson Comprehensive Cancer Center and BSCRC Ablon Scholars Program (to B.G.N.), the BSCRC Innovation Program (to B.G.N., K.P. and W.E.L.), the UCLA BSCRC Steffy Brain Aging Research Fund (to B.G.N. and W.E.L.) and the UCLA Clinical and Translational Science Institute (to B.G.N.), Paul Allen Family Foundation Frontiers Group (to K.P. and W.E.L.), the March of Dimes Foundation (to W.E.L.) and the Simons Foundation Autism Research Initiative Bridge to Independence Program (to R.A.S. and M.J.G.). R.A.S. was also supported by the UCLA/NINDS Translational Neuroscience Training Grant (R25NS065723), a Research and Training Fellowship from the American Epilepsy Society, a Taking Flight Award from CURE Epilepsy and a Clinician Scientist training award from the UCLA BSCRC. J.E.B. was supported by the UCLA BSCRC Rose Hills Foundation Graduate Scholarship Training Program. M.W. was supported by postdoctoral training awards provided by the UCLA BSCRC and the Uehara Memorial Foundation. O.A.M. and A.K. were supported in part by the UCLA-California State University Northridge CIRM-Bridges training program (EDUC2-08411). We also acknowledge the support of the IDDRC Cells, Circuits and Systems Analysis, Microscopy and Genetics and Genomics Cores of the Semel Institute of Neuroscience at UCLA, which are supported by the NICHD (U54HD087101 and P50HD10355701). We lastly acknowledge support from a Quantitative and Computational Biosciences Collaboratory Postdoctoral Fellowship to S.M. and the Quantitative and Computational Biosciences Collaboratory community, directed by M. Pellegrini.","isi":1,"external_id":{"pmid":["34426698 "],"isi":["000687516300001"]},"date_updated":"2023-08-04T10:49:44Z","citation":{"ista":"Samarasinghe RA, Miranda O, Buth JE, Mitchell S, Ferando I, Watanabe M, Kurdian A, Golshani P, Plath K, Lowry WE, Parent JM, Mody I, Novitch BG. 2021. Identification of neural oscillations and epileptiform changes in human brain organoids, Springer Nature, 32p.","short":"R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.","mla":"Samarasinghe, Ranmal A., et al. <i>Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids</i>. Vol. 24, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41593-021-00906-5\">10.1038/s41593-021-00906-5</a>.","chicago":"Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. <i>Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids</i>. Vol. 24. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41593-021-00906-5\">https://doi.org/10.1038/s41593-021-00906-5</a>.","ieee":"R. A. Samarasinghe <i>et al.</i>, <i>Identification of neural oscillations and epileptiform changes in human brain organoids</i>, vol. 24. Springer Nature, 2021.","apa":"Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). <i>Identification of neural oscillations and epileptiform changes in human brain organoids</i> (Vol. 24). Springer Nature. <a href=\"https://doi.org/10.1038/s41593-021-00906-5\">https://doi.org/10.1038/s41593-021-00906-5</a>","ama":"Samarasinghe RA, Miranda O, Buth JE, et al. <i>Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids</i>. Vol 24. Springer Nature; 2021. doi:<a href=\"https://doi.org/10.1038/s41593-021-00906-5\">10.1038/s41593-021-00906-5</a>"},"year":"2021","abstract":[{"text":"Human brain organoids represent a powerful tool for the study of human neurological diseases particularly those that impact brain growth and structure. However, many neurological diseases lack obvious anatomical abnormalities, yet significantly impact neural network functions, raising the question of whether organoids possess sufficient neural network architecture and complexity to model these conditions. Here, we explore the network level functions of brain organoids using calcium sensor imaging and extracellular recording approaches that together reveal the existence of complex oscillatory network behaviors reminiscent of intact brain preparations. We further demonstrate strikingly abnormal epileptiform network activity in organoids derived from a Rett Syndrome patient despite only modest anatomical differences from isogenically matched controls, and rescue with an unconventional neuromodulatory drug Pifithrin-α. Together, these findings provide an essential foundation for the utilization of human brain organoids to study intact and disordered human brain network formation and illustrate their utility in therapeutic discovery.","lang":"eng"}],"doi":"10.1038/s41593-021-00906-5","day":"23","page":"32","publisher":"Springer Nature","author":[{"first_name":"Ranmal A.","last_name":"Samarasinghe","full_name":"Samarasinghe, Ranmal A."},{"full_name":"Miranda, Osvaldo","orcid":"0000-0001-6618-6889","last_name":"Miranda","first_name":"Osvaldo","id":"862A3C56-A8BF-11E9-B4FA-D9E3E5697425"},{"full_name":"Buth, Jessie E.","last_name":"Buth","first_name":"Jessie E."},{"full_name":"Mitchell, Simon","first_name":"Simon","last_name":"Mitchell"},{"last_name":"Ferando","first_name":"Isabella","full_name":"Ferando, Isabella"},{"full_name":"Watanabe, Momoko","first_name":"Momoko","last_name":"Watanabe"},{"full_name":"Kurdian, Arinnae","last_name":"Kurdian","first_name":"Arinnae"},{"first_name":"Peyman","last_name":"Golshani","full_name":"Golshani, Peyman"},{"full_name":"Plath, Kathrin","last_name":"Plath","first_name":"Kathrin"},{"last_name":"Lowry","first_name":"William E.","full_name":"Lowry, William E."},{"full_name":"Parent, Jack M.","last_name":"Parent","first_name":"Jack M."},{"full_name":"Mody, Istvan","last_name":"Mody","first_name":"Istvan"},{"full_name":"Novitch, Bennett G.","last_name":"Novitch","first_name":"Bennett G."}],"_id":"6995","pmid":1,"title":"Identification of neural oscillations and epileptiform changes in human brain organoids","alternative_title":["Nature Neuroscience"],"intvolume":"        24","publication_status":"published","date_created":"2019-11-10T11:23:58Z","article_processing_charge":"Yes","department":[{"_id":"GradSch"},{"_id":"SiHi"}]},{"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2111.12171"}],"oa":1,"abstract":[{"lang":"eng","text":"The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely, integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of almost every ellipse that preserves integrability near the boundary, is itself an ellipse. We apply this result to study local spectral rigidity of ellipses using the connection between the wave trace of the Laplacian and the dynamics near the boundary and establish rigidity for almost all of them."}],"day":"23","doi":"10.48550/ARXIV.2111.12171","arxiv":1,"external_id":{"arxiv":["2111.12171"]},"type":"preprint","date_published":"2021-11-23T00:00:00Z","citation":{"ista":"Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv, 2111.12171.","mla":"Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” <i>ArXiv</i>, 2111.12171, doi:<a href=\"https://doi.org/10.48550/ARXIV.2111.12171\">10.48550/ARXIV.2111.12171</a>.","short":"I. Koval, ArXiv (n.d.).","chicago":"Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2111.12171\">https://doi.org/10.48550/ARXIV.2111.12171</a>.","ieee":"I. Koval, “Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse,” <i>arXiv</i>. .","apa":"Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2111.12171\">https://doi.org/10.48550/ARXIV.2111.12171</a>","ama":"Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2111.12171\">10.48550/ARXIV.2111.12171</a>"},"year":"2021","date_updated":"2023-09-15T06:44:00Z","language":[{"iso":"eng"}],"article_number":"2111.12171","title":"Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse","month":"11","department":[{"_id":"GradSch"}],"date_created":"2023-09-06T08:35:43Z","article_processing_charge":"No","publication_status":"submitted","oa_version":"Preprint","author":[{"id":"2eed1f3b-896a-11ed-bdf8-93c7c4bf159e","first_name":"Illya","last_name":"Koval","full_name":"Koval, Illya"}],"publication":"arXiv","_id":"14278"},{"has_accepted_license":"1","project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program"},{"grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"oa_version":"Published Version","month":"01","language":[{"iso":"eng"}],"type":"dissertation","date_published":"2021-01-25T00:00:00Z","publication_identifier":{"issn":["2663-337X"]},"oa":1,"supervisor":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"}],"file":[{"content_type":"application/pdf","file_name":"thesis.pdf","date_updated":"2021-01-25T14:19:03Z","checksum":"5a93658a5f19478372523ee232887e2b","file_size":4127796,"date_created":"2021-01-25T14:19:03Z","creator":"gcipollo","file_id":"9043","success":1,"relation":"main_file","access_level":"open_access"},{"file_name":"Thesis_files.zip","content_type":"application/zip","date_updated":"2021-01-25T14:19:10Z","checksum":"e8270eddfe6a988e92a53c88d1d19b8c","file_size":12775206,"date_created":"2021-01-25T14:19:10Z","creator":"gcipollo","file_id":"9044","access_level":"closed","relation":"source_file"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","_id":"9022","author":[{"last_name":"Cipolloni","first_name":"Giorgio","full_name":"Cipolloni, Giorgio","orcid":"0000-0002-4901-7992","id":"42198EFA-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2021-01-21T18:16:54Z","department":[{"_id":"GradSch"},{"_id":"LaEr"}],"article_processing_charge":"No","publication_status":"published","title":"Fluctuations in the spectrum of random matrices","alternative_title":["ISTA Thesis"],"ec_funded":1,"page":"380","file_date_updated":"2021-01-25T14:19:10Z","publisher":"Institute of Science and Technology Austria","citation":{"chicago":"Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9022\">https://doi.org/10.15479/AT:ISTA:9022</a>.","ieee":"G. Cipolloni, “Fluctuations in the spectrum of random matrices,” Institute of Science and Technology Austria, 2021.","apa":"Cipolloni, G. (2021). <i>Fluctuations in the spectrum of random matrices</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9022\">https://doi.org/10.15479/AT:ISTA:9022</a>","ama":"Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9022\">10.15479/AT:ISTA:9022</a>","ista":"Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.","short":"G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.","mla":"Cipolloni, Giorgio. <i>Fluctuations in the Spectrum of Random Matrices</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9022\">10.15479/AT:ISTA:9022</a>."},"year":"2021","date_updated":"2023-09-07T13:29:32Z","day":"25","degree_awarded":"PhD","doi":"10.15479/AT:ISTA:9022","abstract":[{"text":"In the first part of the thesis we consider Hermitian random matrices. Firstly, we consider sample covariance matrices XX∗ with X having independent identically distributed (i.i.d.) centred entries. We prove a Central Limit Theorem for differences of linear statistics of XX∗ and its minor after removing the first column of X. Secondly, we consider Wigner-type matrices and prove that the eigenvalue statistics near cusp singularities of the limiting density of states are universal and that they form a Pearcey process. Since the limiting eigenvalue distribution admits only square root (edge) and cubic root (cusp) singularities, this concludes the third and last remaining case of the Wigner-Dyson-Mehta universality conjecture. The main technical ingredients are an optimal local law at the cusp, and the proof of the fast relaxation to equilibrium of the Dyson Brownian motion in the cusp regime.\r\nIn the second part we consider non-Hermitian matrices X with centred i.i.d. entries. We normalise the entries of X to have variance N −1. It is well known that the empirical eigenvalue density converges to the uniform distribution on the unit disk (circular law). In the first project, we prove universality of the local eigenvalue statistics close to the edge of the spectrum. This is the non-Hermitian analogue of the TracyWidom universality at the Hermitian edge. Technically we analyse the evolution of the spectral distribution of X along the Ornstein-Uhlenbeck flow for very long time\r\n(up to t = +∞). In the second project, we consider linear statistics of eigenvalues for macroscopic test functions f in the Sobolev space H2+ϵ and prove their convergence to the projection of the Gaussian Free Field on the unit disk. We prove this result for non-Hermitian matrices with real or complex entries. The main technical ingredients are: (i) local law for products of two resolvents at different spectral parameters, (ii) analysis of correlated Dyson Brownian motions.\r\nIn the third and final part we discuss the mathematically rigorous application of supersymmetric techniques (SUSY ) to give a lower tail estimate of the lowest singular value of X − z, with z ∈ C. More precisely, we use superbosonisation formula to give an integral representation of the resolvent of (X − z)(X − z)∗ which reduces to two and three contour integrals in the complex and real case, respectively. The rigorous analysis of these integrals is quite challenging since simple saddle point analysis cannot be applied (the main contribution comes from a non-trivial manifold). Our result\r\nimproves classical smoothing inequalities in the regime |z| ≈ 1; this result is essential to prove edge universality for i.i.d. non-Hermitian matrices.","lang":"eng"}],"acknowledgement":"I gratefully acknowledge the financial support from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385 and my advisor’s ERC Advanced Grant No. 338804.","ddc":["510"]},{"language":[{"iso":"eng"}],"has_accepted_license":"1","month":"02","oa_version":"Published Version","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","related_material":{"record":[{"relation":"part_of_dissertation","id":"187","status":"public"},{"relation":"part_of_dissertation","id":"8703","status":"public"}]},"place":"Klosterneuburg","file":[{"creator":"patrickd","file_id":"9063","relation":"source_file","access_level":"closed","content_type":"application/zip","file_name":"thesis_source.zip","date_updated":"2021-02-03T10:37:28Z","file_size":13446994,"checksum":"bcf27986147cab0533b6abadd74e7629","date_created":"2021-02-02T14:09:25Z"},{"date_created":"2021-02-02T14:09:18Z","file_size":5210329,"checksum":"9cc8af266579a464385bbe2aff6af606","date_updated":"2021-02-02T14:09:18Z","content_type":"application/pdf","file_name":"thesis_pdfA2b.pdf","relation":"main_file","success":1,"access_level":"open_access","file_id":"9064","creator":"patrickd"}],"date_published":"2021-02-01T00:00:00Z","type":"dissertation","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"supervisor":[{"first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"publication_identifier":{"issn":["2663-337X"]},"file_date_updated":"2021-02-03T10:37:28Z","page":"134","publisher":"Institute of Science and Technology Austria","author":[{"first_name":"Georg F","last_name":"Osang","orcid":"0000-0002-8882-5116","full_name":"Osang, Georg F","id":"464B40D6-F248-11E8-B48F-1D18A9856A87"}],"_id":"9056","alternative_title":["ISTA Thesis"],"title":"Multi-cover persistence and Delaunay mosaics","publication_status":"published","date_created":"2021-02-02T14:11:06Z","department":[{"_id":"HeEd"},{"_id":"GradSch"}],"article_processing_charge":"No","ddc":["006","514","516"],"date_updated":"2023-09-07T13:29:01Z","year":"2021","citation":{"ama":"Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9056\">10.15479/AT:ISTA:9056</a>","apa":"Osang, G. F. (2021). <i>Multi-cover persistence and Delaunay mosaics</i>. Institute of Science and Technology Austria, Klosterneuburg. <a href=\"https://doi.org/10.15479/AT:ISTA:9056\">https://doi.org/10.15479/AT:ISTA:9056</a>","ieee":"G. F. Osang, “Multi-cover persistence and Delaunay mosaics,” Institute of Science and Technology Austria, Klosterneuburg, 2021.","chicago":"Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9056\">https://doi.org/10.15479/AT:ISTA:9056</a>.","short":"G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.","mla":"Osang, Georg F. <i>Multi-Cover Persistence and Delaunay Mosaics</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9056\">10.15479/AT:ISTA:9056</a>.","ista":"Osang GF. 2021. Multi-cover persistence and Delaunay mosaics. Klosterneuburg: Institute of Science and Technology Austria."},"abstract":[{"text":"In this thesis we study persistence of multi-covers of Euclidean balls and the geometric structures underlying their computation, in particular Delaunay mosaics and Voronoi tessellations. The k-fold cover for some discrete input point set consists of the space where at least k balls of radius r around the input points overlap. Persistence is a notion that captures, in some sense, the topology of the shape underlying the input. While persistence is usually computed for the union of balls, the k-fold cover is of interest as it captures local density,\r\nand thus might approximate the shape of the input better if the input data is noisy. To compute persistence of these k-fold covers, we need a discretization that is provided by higher-order Delaunay mosaics. We present and implement a simple and efficient algorithm for the computation of higher-order Delaunay mosaics, and use it to give experimental results for their combinatorial properties. The algorithm makes use of a new geometric structure, the rhomboid tiling. It contains the higher-order Delaunay mosaics as slices, and by introducing a filtration\r\nfunction on the tiling, we also obtain higher-order α-shapes as slices. These allow us to compute persistence of the multi-covers for varying radius r; the computation for varying k is less straight-foward and involves the rhomboid tiling directly. We apply our algorithms to experimental sphere packings to shed light on their structural properties. Finally, inspired by periodic structures in packings and materials, we propose and implement an algorithm for periodic Delaunay triangulations to be integrated into the Computational Geometry Algorithms Library (CGAL), and discuss the implications on persistence for periodic data sets.","lang":"eng"}],"degree_awarded":"PhD","doi":"10.15479/AT:ISTA:9056","day":"01"},{"article_processing_charge":"Yes (via OA deal)","department":[{"_id":"GradSch"}],"date_created":"2021-02-15T09:27:14Z","publication_status":"published","intvolume":"       111","title":"The BCS energy gap at low density","_id":"9121","author":[{"full_name":"Lauritsen, Asbjørn Bækgaard","orcid":"0000-0003-4476-2288","last_name":"Lauritsen","first_name":"Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1"}],"publisher":"Springer Nature","article_type":"original","quality_controlled":"1","file_date_updated":"2021-02-15T09:31:07Z","day":"12","doi":"10.1007/s11005-021-01358-5","abstract":[{"lang":"eng","text":"We show that the energy gap for the BCS gap equation is\r\nΞ=μ(8e−2+o(1))exp(π2μ−−√a)\r\nin the low density limit μ→0. Together with the similar result for the critical temperature by Hainzl and Seiringer (Lett Math Phys 84: 99–107, 2008), this shows that, in the low density limit, the ratio of the energy gap and critical temperature is a universal constant independent of the interaction potential V. The results hold for a class of potentials with negative scattering length a and no bound states."}],"year":"2021","citation":{"ista":"Lauritsen AB. 2021. The BCS energy gap at low density. Letters in Mathematical Physics. 111, 20.","mla":"Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” <i>Letters in Mathematical Physics</i>, vol. 111, 20, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1007/s11005-021-01358-5\">10.1007/s11005-021-01358-5</a>.","short":"A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).","ieee":"A. B. Lauritsen, “The BCS energy gap at low density,” <i>Letters in Mathematical Physics</i>, vol. 111. Springer Nature, 2021.","chicago":"Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” <i>Letters in Mathematical Physics</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s11005-021-01358-5\">https://doi.org/10.1007/s11005-021-01358-5</a>.","apa":"Lauritsen, A. B. (2021). The BCS energy gap at low density. <i>Letters in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11005-021-01358-5\">https://doi.org/10.1007/s11005-021-01358-5</a>","ama":"Lauritsen AB. The BCS energy gap at low density. <i>Letters in Mathematical Physics</i>. 2021;111. doi:<a href=\"https://doi.org/10.1007/s11005-021-01358-5\">10.1007/s11005-021-01358-5</a>"},"date_updated":"2023-09-05T15:17:16Z","external_id":{"isi":["000617531900001"]},"isi":1,"volume":111,"acknowledgement":"Most of this work was done as part of the author’s master’s thesis. The author would like to thank Jan Philip Solovej for his supervision of this process.\r\nOpen Access funding provided by Institute of Science and Technology (IST Austria)","ddc":["510"],"project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"oa_version":"Published Version","article_number":"20","month":"02","has_accepted_license":"1","publication":"Letters in Mathematical Physics","keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0377-9017"],"eissn":["1573-0530"]},"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","date_published":"2021-02-12T00:00:00Z","file":[{"success":1,"relation":"main_file","access_level":"open_access","creator":"dernst","file_id":"9122","checksum":"eaf1b3ff5026f120f0929a5c417dc842","file_size":329332,"date_created":"2021-02-15T09:31:07Z","content_type":"application/pdf","file_name":"2021_LettersMathPhysics_Lauritsen.pdf","date_updated":"2021-02-15T09:31:07Z"}],"status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"file":[{"file_id":"9193","creator":"larathoo","success":1,"relation":"main_file","access_level":"open_access","date_updated":"2021-02-24T17:45:13Z","file_name":"Data_Code.zip","content_type":"application/x-zip-compressed","date_created":"2021-02-24T17:45:13Z","checksum":"f85537815809a8a4b7da9d01163f88c0","file_size":5934452}],"status":"public","ddc":["576"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"11411","relation":"used_in_publication","status":"public"},{"status":"public","id":"11321","relation":"later_version"},{"status":"public","id":"8254","relation":"earlier_version"}]},"year":"2021","citation":{"apa":"Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., &#38; Barton, N. H. (2021). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9192\">https://doi.org/10.15479/AT:ISTA:9192</a>","ama":"Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9192\">10.15479/AT:ISTA:9192</a>","chicago":"Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9192\">https://doi.org/10.15479/AT:ISTA:9192</a>.","ieee":"P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus.” Institute of Science and Technology Austria, 2021.","mla":"Surendranadh, Parvathy, et al. <i>Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9192\">10.15479/AT:ISTA:9192</a>.","short":"P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2021).","ista":"Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2021. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:9192\">10.15479/AT:ISTA:9192</a>."},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2024-02-21T12:41:09Z","type":"research_data","date_published":"2021-02-26T00:00:00Z","day":"26","doi":"10.15479/AT:ISTA:9192","oa":1,"abstract":[{"text":"Here are the research data underlying the publication \" Effects of fine-scale population structure on inbreeding in a long-term study of snapdragons (Antirrhinum majus).\" Further information are summed up in the README document.","lang":"eng"}],"contributor":[{"id":"455235B8-F248-11E8-B48F-1D18A9856A87","first_name":"Parvathy","last_name":"Surendranadh","contributor_type":"project_member"},{"last_name":"Arathoon","contributor_type":"project_member","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Carina","contributor_type":"project_member","last_name":"Baskett","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87"},{"id":"419049E2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4014-8478","contributor_type":"project_member","last_name":"Field","first_name":"David"},{"first_name":"Melinda","last_name":"Pickup","contributor_type":"project_member","orcid":"0000-0001-6118-0541","id":"2C78037E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Barton","contributor_type":"project_leader","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"file_date_updated":"2021-02-24T17:45:13Z","publisher":"Institute of Science and Technology Austria","has_accepted_license":"1","_id":"9192","author":[{"id":"455235B8-F248-11E8-B48F-1D18A9856A87","first_name":"Parvathy","last_name":"Surendranadh","full_name":"Surendranadh, Parvathy"},{"first_name":"Louise S","last_name":"Arathoon","orcid":"0000-0003-1771-714X","full_name":"Arathoon, Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-7354-8574","full_name":"Baskett, Carina","first_name":"Carina","last_name":"Baskett","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Field","first_name":"David","full_name":"Field, David","orcid":"0000-0002-4014-8478","id":"419049E2-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-6118-0541","full_name":"Pickup, Melinda","first_name":"Melinda","last_name":"Pickup","id":"2C78037E-F248-11E8-B48F-1D18A9856A87"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"}],"date_created":"2021-02-24T17:49:21Z","department":[{"_id":"GradSch"},{"_id":"NiBa"}],"article_processing_charge":"No","oa_version":"Published Version","title":"Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus","month":"02"},{"department":[{"_id":"GradSch"},{"_id":"GeKa"}],"article_processing_charge":"No","date_created":"2021-04-14T09:50:22Z","oa_version":"Published Version","title":"Research data for \"A singlet-triplet hole spin qubit planar Ge\"","month":"04","has_accepted_license":"1","_id":"9323","author":[{"orcid":"0000-0002-7197-4801","full_name":"Jirovec, Daniel","first_name":"Daniel","last_name":"Jirovec","id":"4C473F58-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","contributor":[{"id":"4C473F58-F248-11E8-B48F-1D18A9856A87","last_name":"Jirovec","contributor_type":"project_member","first_name":"Daniel"}],"file_date_updated":"2021-04-14T09:49:30Z","day":"14","doi":"10.15479/AT:ISTA:9323","oa":1,"abstract":[{"text":"This .zip File contains the data for figures presented in the main text and supplementary material of \"A singlet triplet hole spin qubit in planar Ge\" by D. Jirovec, et. al. The measurements were done using Labber Software and the data is stored in the hdf5 file format. The files can be opened using either the Labber Log Browser (https://labber.org/overview/) or Labber Python API (http://labber.org/online-doc/api/LogFile.html). A single file is acquired with QCodes and features the corresponding data type. XRD data are in .dat format and a code to open the data is provided. The code for simulations is as well provided in Python.","lang":"eng"}],"year":"2021","citation":{"chicago":"Jirovec, Daniel. “Research Data for ‘A Singlet-Triplet Hole Spin Qubit Planar Ge.’” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9323\">https://doi.org/10.15479/AT:ISTA:9323</a>.","ieee":"D. Jirovec, “Research data for ‘A singlet-triplet hole spin qubit planar Ge.’” Institute of Science and Technology Austria, 2021.","apa":"Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar Ge.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9323\">https://doi.org/10.15479/AT:ISTA:9323</a>","ama":"Jirovec D. Research data for “A singlet-triplet hole spin qubit planar Ge.” 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9323\">10.15479/AT:ISTA:9323</a>","ista":"Jirovec D. 2021. Research data for ‘A singlet-triplet hole spin qubit planar Ge’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:9323\">10.15479/AT:ISTA:9323</a>.","short":"D. Jirovec, (2021).","mla":"Jirovec, Daniel. <i>Research Data for “A Singlet-Triplet Hole Spin Qubit Planar Ge.”</i> Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9323\">10.15479/AT:ISTA:9323</a>."},"date_updated":"2024-02-21T12:39:15Z","tmp":{"legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","short":"CC0 (1.0)","name":"Creative Commons Public Domain Dedication (CC0 1.0)","image":"/images/cc_0.png"},"type":"research_data","date_published":"2021-04-14T00:00:00Z","file":[{"date_updated":"2021-04-14T09:48:47Z","content_type":"application/x-zip-compressed","file_name":"DataRepositorySTqubit.zip","date_created":"2021-04-14T09:48:47Z","checksum":"c569d2a2ce1694445cdbca19cf8ae023","file_size":221832287,"file_id":"9324","creator":"djirovec","success":1,"relation":"main_file","access_level":"open_access"},{"creator":"djirovec","file_id":"9325","success":1,"relation":"main_file","access_level":"open_access","file_name":"ReadMe","content_type":"application/octet-stream","date_updated":"2021-04-14T09:49:30Z","file_size":4323,"checksum":"845bdf87430718ad6aff47eda7b5fc92","date_created":"2021-04-14T09:49:30Z"}],"related_material":{"record":[{"relation":"used_in_publication","id":"8909","status":"public"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["530"],"status":"public"},{"date_updated":"2023-08-10T14:24:36Z","tmp":{"legal_code_url":"https://opensource.org/licenses/MIT","short":"MIT","name":"The MIT License"},"year":"2021","citation":{"ista":"Sperl G, Narain R, Wojtan C. 2021. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data), IST Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:9327\">10.15479/AT:ISTA:9327</a>.","mla":"Sperl, Georg, et al. <i>Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)</i>. IST Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9327\">10.15479/AT:ISTA:9327</a>.","short":"G. Sperl, R. Narain, C. Wojtan, (2021).","ieee":"G. Sperl, R. Narain, and C. Wojtan, “Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021.","chicago":"Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9327\">https://doi.org/10.15479/AT:ISTA:9327</a>.","ama":"Sperl G, Narain R, Wojtan C. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9327\">10.15479/AT:ISTA:9327</a>","apa":"Sperl, G., Narain, R., &#38; Wojtan, C. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9327\">https://doi.org/10.15479/AT:ISTA:9327</a>"},"date_published":"2021-05-01T00:00:00Z","type":"software","doi":"10.15479/AT:ISTA:9327","abstract":[{"text":"This archive contains the missing sweater mesh animations and displacement models for the code of \"Mechanics-Aware Deformation of Yarn Pattern Geometry\"\r\n\r\nCode Repository: https://git.ist.ac.at/gsperl/MADYPG","lang":"eng"}],"oa":1,"file":[{"creator":"gsperl","file_id":"9328","relation":"main_file","success":1,"access_level":"open_access","file_name":"MADYPG_extra_data.zip","content_type":"application/zip","date_updated":"2021-04-16T14:15:12Z","checksum":"0324cb519273371708743f3282e7c081","file_size":802586232,"date_created":"2021-04-16T14:15:12Z"},{"access_level":"open_access","relation":"main_file","file_id":"9353","creator":"pub-gitlab-bot","date_created":"2021-04-26T09:33:44Z","file_size":64962865,"checksum":"4c224551adf852b136ec21a4e13f0c1b","date_updated":"2021-04-26T09:33:44Z","content_type":"application/gzip","file_name":"MADYPG.zip"}],"ddc":["005"],"related_material":{"record":[{"status":"public","id":"9818","relation":"used_for_analysis_in"}]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","status":"public","gitlab_url":"https://git.ist.ac.at/gsperl/MADYPG","gitlab_commit_id":"6a77e7e22769230ae5f5edaa090fb4b828e57573","_id":"9327","has_accepted_license":"1","license":"https://opensource.org/licenses/MIT","author":[{"id":"4DD40360-F248-11E8-B48F-1D18A9856A87","last_name":"Sperl","first_name":"Georg","full_name":"Sperl, Georg"},{"full_name":"Narain, Rahul","last_name":"Narain","first_name":"Rahul"},{"orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","first_name":"Christopher J","last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2021-04-16T14:26:19Z","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"month":"05","title":"Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)","file_date_updated":"2021-04-26T09:33:44Z","publisher":"IST Austria"},{"month":"06","article_number":"9470547","oa_version":"Published Version","project":[{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","has_accepted_license":"1","conference":{"name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29","location":"Online","end_date":"2021-07-02"},"language":[{"iso":"eng"}],"oa":1,"date_published":"2021-06-29T00:00:00Z","type":"conference","status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"file_id":"9557","creator":"esarac","relation":"main_file","success":1,"access_level":"open_access","date_updated":"2021-06-16T08:23:54Z","content_type":"application/pdf","file_name":"qam.pdf","date_created":"2021-06-16T08:23:54Z","checksum":"6e4cba3f72775f479c5b1b75d1a4a0c4","file_size":641990}],"title":"Quantitative and approximate monitoring","publication_status":"published","date_created":"2021-04-30T17:30:47Z","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Sarac","first_name":"Naci E","full_name":"Sarac, Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"_id":"9356","scopus_import":"1","publisher":"Institute of Electrical and Electronics Engineers","file_date_updated":"2021-06-16T08:23:54Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"In runtime verification, a monitor watches a trace of a system and, if possible, decides after observing each finite prefix whether or not the unknown infinite trace satisfies a given specification. We generalize the theory of runtime verification to monitors that attempt to estimate numerical values of quantitative trace properties (instead of attempting to conclude boolean values of trace specifications), such as maximal or average response time along a trace. Quantitative monitors are approximate: with every finite prefix, they can improve their estimate of the infinite trace's unknown property value. Consequently, quantitative monitors can be compared with regard to a precision-cost trade-off: better approximations of the property value require more monitor resources, such as states (in the case of finite-state monitors) or registers, and additional resources yield better approximations. We introduce a formal framework for quantitative and approximate monitoring, show how it conservatively generalizes the classical boolean setting for monitoring, and give several precision-cost trade-offs for monitors. For example, we prove that there are quantitative properties for which every additional register improves monitoring precision."}],"doi":"10.1109/LICS52264.2021.9470547","arxiv":1,"day":"29","isi":1,"external_id":{"isi":["000947350400021"],"arxiv":["2105.08353"]},"date_updated":"2023-08-08T13:52:56Z","year":"2021","citation":{"short":"T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.","mla":"Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 9470547, Institute of Electrical and Electronics Engineers, 2021, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">10.1109/LICS52264.2021.9470547</a>.","ista":"Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 9470547.","apa":"Henzinger, T. A., &#38; Sarac, N. E. (2021). Quantitative and approximate monitoring. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Online: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">https://doi.org/10.1109/LICS52264.2021.9470547</a>","ama":"Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">10.1109/LICS52264.2021.9470547</a>","ieee":"T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Online, 2021.","chicago":"Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470547\">https://doi.org/10.1109/LICS52264.2021.9470547</a>."},"ddc":["000"],"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."},{"main_file_link":[{"open_access":"1","url":"https://www.biorxiv.org/content/10.1101/477489v1"}],"status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"issn":["0022-5193"]},"oa":1,"date_published":"2021-04-24T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"keyword":["General Biochemistry","Genetics and Molecular Biology","Modelling and Simulation","Statistics and Probability","General Immunology and Microbiology","Applied Mathematics","General Agricultural and Biological Sciences","General Medicine"],"oa_version":"Preprint","month":"04","article_number":"110729","publication":"Journal of Theoretical Biology","acknowledgement":"This work was supported by the Russian Science Foundation grant N 16-14-10173.","volume":524,"doi":"10.1016/j.jtbi.2021.110729","day":"24","abstract":[{"lang":"eng","text":"We report the complete analysis of a deterministic model of deleterious mutations and negative selection against them at two haploid loci without recombination. As long as mutation is a weaker force than selection, mutant alleles remain rare at the only stable equilibrium, and otherwise, a variety of dynamics are possible. If the mutation-free genotype is absent, generally the only stable equilibrium is the one that corresponds to fixation of the mutant allele at the locus where it is less deleterious. This result suggests that fixation of a deleterious allele that follows a click of the Muller’s ratchet is governed by natural selection, instead of random drift."}],"date_updated":"2023-08-08T13:32:40Z","year":"2021","citation":{"ista":"Khudiakova K, Neretina TY, Kondrashov AS. 2021. Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. 524, 110729.","short":"K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).","mla":"Khudiakova, Kseniia, et al. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” <i>Journal of Theoretical Biology</i>, vol. 524, 110729, Elsevier , 2021, doi:<a href=\"https://doi.org/10.1016/j.jtbi.2021.110729\">10.1016/j.jtbi.2021.110729</a>.","chicago":"Khudiakova, Kseniia, Tatiana Yu. Neretina, and Alexey S. Kondrashov. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” <i>Journal of Theoretical Biology</i>. Elsevier , 2021. <a href=\"https://doi.org/10.1016/j.jtbi.2021.110729\">https://doi.org/10.1016/j.jtbi.2021.110729</a>.","ieee":"K. Khudiakova, T. Y. Neretina, and A. S. Kondrashov, “Two linked loci under mutation-selection balance and Muller’s ratchet,” <i>Journal of Theoretical Biology</i>, vol. 524. Elsevier , 2021.","apa":"Khudiakova, K., Neretina, T. Y., &#38; Kondrashov, A. S. (2021). Two linked loci under mutation-selection balance and Muller’s ratchet. <i>Journal of Theoretical Biology</i>. Elsevier . <a href=\"https://doi.org/10.1016/j.jtbi.2021.110729\">https://doi.org/10.1016/j.jtbi.2021.110729</a>","ama":"Khudiakova K, Neretina TY, Kondrashov AS. Two linked loci under mutation-selection balance and Muller’s ratchet. <i>Journal of Theoretical Biology</i>. 2021;524. doi:<a href=\"https://doi.org/10.1016/j.jtbi.2021.110729\">10.1016/j.jtbi.2021.110729</a>"},"isi":1,"external_id":{"isi":["000659161500002"]},"publisher":"Elsevier ","article_type":"original","quality_controlled":"1","publication_status":"published","department":[{"_id":"GradSch"}],"date_created":"2021-05-12T05:58:42Z","article_processing_charge":"No","title":"Two linked loci under mutation-selection balance and Muller’s ratchet","intvolume":"       524","_id":"9387","author":[{"id":"4E6DC800-AE37-11E9-AC72-31CAE5697425","orcid":"0000-0002-6246-1465","full_name":"Khudiakova, Kseniia","first_name":"Kseniia","last_name":"Khudiakova"},{"last_name":"Neretina","first_name":"Tatiana Yu.","full_name":"Neretina, Tatiana Yu."},{"full_name":"Kondrashov, Alexey S.","last_name":"Kondrashov","first_name":"Alexey S."}]},{"type":"research_data","date_published":"2021-01-01T00:00:00Z","citation":{"mla":"Valentini, Marco. <i>Research Data for “Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.”</i> Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9389\">10.15479/AT:ISTA:9389</a>.","short":"M. Valentini, (2021).","ista":"Valentini M. 2021. Research data for ‘Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:9389\">10.15479/AT:ISTA:9389</a>.","ama":"Valentini M. Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.” 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9389\">10.15479/AT:ISTA:9389</a>","apa":"Valentini, M. (2021). Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9389\">https://doi.org/10.15479/AT:ISTA:9389</a>","ieee":"M. Valentini, “Research data for ‘Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.’” Institute of Science and Technology Austria, 2021.","chicago":"Valentini, Marco. “Research Data for ‘Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.’” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9389\">https://doi.org/10.15479/AT:ISTA:9389</a>."},"year":"2021","tmp":{"legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","short":"CC0 (1.0)","name":"Creative Commons Public Domain Dedication (CC0 1.0)","image":"/images/cc_0.png"},"date_updated":"2024-02-21T12:40:09Z","oa":1,"abstract":[{"lang":"eng","text":"This .zip File contains the transport data for  \"Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states\" by M. Valentini, et. al.  \r\nThe measurements were done using Labber Software and the data is stored in the hdf5 file format.\r\nInstructions of how to read the data are in \"Notebook_Valentini.pdf\"."}],"doi":"10.15479/AT:ISTA:9389","status":"public","ddc":["530"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"8910","relation":"used_in_publication","status":"public"}]},"file":[{"creator":"mvalenti","file_id":"9390","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"Notebook_Valentini.pdf","date_updated":"2021-05-14T11:42:23Z","file_size":10572981,"checksum":"80a905c4eef24dab6fb247e81a3d67f5","date_created":"2021-05-14T11:42:23Z"},{"access_level":"open_access","relation":"main_file","file_id":"9391","creator":"mvalenti","date_created":"2021-05-14T11:56:48Z","checksum":"1e61a7e63949448a8db0091cdac23570","file_size":99076111,"date_updated":"2021-05-14T11:56:48Z","content_type":"application/x-zip-compressed","file_name":"Experimental_data.zip"}],"author":[{"id":"C0BB2FAC-D767-11E9-B658-BC13E6697425","full_name":"Valentini, Marco","first_name":"Marco","last_name":"Valentini"}],"has_accepted_license":"1","_id":"9389","title":"Research data for \"Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states\"","date_created":"2021-05-14T12:07:53Z","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"GeKa"}],"oa_version":"Published Version","acknowledged_ssus":[{"_id":"NanoFab"}],"file_date_updated":"2021-05-14T11:56:48Z","contributor":[{"id":"C0BB2FAC-D767-11E9-B658-BC13E6697425","contributor_type":"contact_person","last_name":"Valentini","first_name":"Marco"}],"publisher":"Institute of Science and Technology Austria"},{"degree_awarded":"PhD","doi":"10.15479/at:ista:9397","day":"18","abstract":[{"lang":"eng","text":"Accumulation of interstitial fluid (IF) between embryonic cells is a common phenomenon in vertebrate embryogenesis. Unlike other model systems, where these accumulations coalesce into a large central cavity – the blastocoel, in zebrafish, IF is more uniformly distributed between the deep cells (DC) before the onset of gastrulation. This is likely due to the presence of a large extraembryonic structure – the yolk cell (YC) at the position where the blastocoel typically forms in other model organisms. IF has long been speculated to play a role in tissue morphogenesis during embryogenesis, but direct evidence supporting such function is still sparse. Here we show that the relocalization of IF to the interface between the YC and DC/epiblast is critical for axial mesendoderm (ME) cell protrusion formation and migration along this interface, a key process in embryonic axis formation. We further demonstrate that axial ME cell migration and IF relocalization engage in a positive feedback loop, where axial ME migration triggers IF accumulation ahead of the advancing axial ME tissue by mechanically compressing the overlying epiblast cell layer. Upon compression, locally induced flow relocalizes the IF through the porous epiblast tissue resulting in an IF accumulation ahead of the leading axial ME. This IF accumulation, in turn, promotes cell protrusion formation and migration of the leading axial ME cells, thereby facilitating axial ME extension. Our findings reveal a central role of dynamic IF relocalization in orchestrating germ layer morphogenesis during gastrulation."}],"date_updated":"2023-09-07T13:32:32Z","year":"2021","citation":{"chicago":"Huljev, Karla. “Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9397\">https://doi.org/10.15479/at:ista:9397</a>.","ieee":"K. Huljev, “Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation,” Institute of Science and Technology Austria, 2021.","ama":"Huljev K. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9397\">10.15479/at:ista:9397</a>","apa":"Huljev, K. (2021). <i>Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9397\">https://doi.org/10.15479/at:ista:9397</a>","ista":"Huljev K. 2021. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria.","mla":"Huljev, Karla. <i>Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9397\">10.15479/at:ista:9397</a>.","short":"K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021."},"ddc":["571"],"publication_status":"published","department":[{"_id":"CaHe"},{"_id":"GradSch"}],"article_processing_charge":"No","date_created":"2021-05-17T12:31:30Z","title":"Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation","alternative_title":["ISTA Thesis"],"_id":"9397","author":[{"id":"44C6F6A6-F248-11E8-B48F-1D18A9856A87","last_name":"Huljev","first_name":"Karla","full_name":"Huljev, Karla"}],"publisher":"Institute of Science and Technology Austria","page":"101","file_date_updated":"2022-05-21T22:30:04Z","publication_identifier":{"issn":["2663-337X"]},"supervisor":[{"first_name":"Carl-Philipp J","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"date_published":"2021-05-18T00:00:00Z","type":"dissertation","file":[{"relation":"source_file","access_level":"closed","creator":"khuljev","file_id":"9398","embargo_to":"open_access","file_size":47799741,"checksum":"7f98532f5324a0b2f3fa8de2967baa19","date_created":"2021-05-17T12:29:12Z","file_name":"KHuljev_Thesis_corrections.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2022-05-21T22:30:04Z"},{"checksum":"bf512f8a1e572a543778fc4b227c01ba","file_size":16542131,"date_created":"2021-05-18T14:50:28Z","embargo":"2022-05-20","file_name":"new_KHuljev_Thesis_corrections.pdf","content_type":"application/pdf","date_updated":"2022-05-21T22:30:04Z","access_level":"open_access","relation":"main_file","creator":"khuljev","file_id":"9401"}],"status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","month":"05","has_accepted_license":"1","language":[{"iso":"eng"}]}]