[{"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"project":[{"grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020"}],"quality_controlled":"1","doi":"10.1007/978-3-031-30823-9_1","conference":{"end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031308222"]},"month":"04","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","year":"2023","publisher":"Springer Nature","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publication_status":"published","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Lechner","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias"},{"full_name":"Zikelic, Dorde","first_name":"Dorde","last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"}],"volume":13993,"date_updated":"2023-06-19T08:30:54Z","date_created":"2023-06-18T22:00:47Z","ec_funded":1,"file_date_updated":"2023-06-19T08:29:30Z","license":"https://creativecommons.org/licenses/by/4.0/","citation":{"short":"K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.","mla":"Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_1.","ama":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1","ieee":"K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.","apa":"Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1","ista":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25."},"publication":"Tools and Algorithms for the Construction and Analysis of Systems ","page":"3-25","date_published":"2023-04-22T00:00:00Z","scopus_import":"1","has_accepted_license":"1","article_processing_charge":"No","day":"22","_id":"13142","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 13993","title":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","status":"public","ddc":["000"],"file":[{"date_created":"2023-06-19T08:29:30Z","date_updated":"2023-06-19T08:29:30Z","success":1,"checksum":"3d8a8bb24d211bc83360dfc2fd744307","file_id":"13150","relation":"main_file","creator":"dernst","file_size":528455,"content_type":"application/pdf","file_name":"2023_LNCS_Chatterjee.pdf","access_level":"open_access"}],"oa_version":"Published Version","type":"conference","alternative_title":["LNCS"],"abstract":[{"text":"Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions.","lang":"eng"}]},{"date_published":"2023-04-20T00:00:00Z","citation":{"chicago":"Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.","mla":"Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.","short":"A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.","ista":"Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.","apa":"Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15","ieee":"A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.","ama":"Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15"},"publication":"TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems","page":"211-228","article_processing_charge":"No","has_accepted_license":"1","day":"20","scopus_import":"1","file":[{"content_type":"application/pdf","file_size":521425,"creator":"dernst","file_name":"2023_LNCS_Anand.pdf","access_level":"open_access","date_created":"2023-06-19T08:43:21Z","date_updated":"2023-06-19T08:43:21Z","checksum":"60dcafc1b4f6f070be43bad3fe877974","success":1,"relation":"main_file","file_id":"13151"}],"oa_version":"Published Version","_id":"13141","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 13994","status":"public","title":"Computing adequately permissive assumptions for synthesis","ddc":["000"],"abstract":[{"lang":"eng","text":"We automatically compute a new class of environment assumptions in two-player turn-based finite graph games which characterize an “adequate cooperation” needed from the environment to allow the system player to win. Given an ω-regular winning condition Φ for the system player, we compute an ω-regular assumption Ψ for the environment player, such that (i) every environment strategy compliant with Ψ allows the system to fulfill Φ (sufficiency), (ii) Ψ\r\n can be fulfilled by the environment for every strategy of the system (implementability), and (iii) Ψ does not prevent any cooperative strategy choice (permissiveness).\r\nFor parity games, which are canonical representations of ω-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches—both theoretically and empirically. To the best of our knowledge, for ω\r\n-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive."}],"type":"conference","alternative_title":["LNCS"],"doi":"10.1007/978-3-031-30820-8_15","conference":{"location":"Paris, France","start_date":"2023-04-22","end_date":"2023-04-27","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"quality_controlled":"1","publication_identifier":{"isbn":["9783031308192"],"eissn":["1611-3349"],"issn":["0302-9743"]},"month":"04","author":[{"full_name":"Anand, Ashwani","first_name":"Ashwani","last_name":"Anand"},{"full_name":"Mallik, Kaushik","first_name":"Kaushik","last_name":"Mallik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","orcid":"0000-0001-9864-7475"},{"last_name":"Nayak","first_name":"Satya Prakash","full_name":"Nayak, Satya Prakash"},{"full_name":"Schmuck, Anne Kathrin","first_name":"Anne Kathrin","last_name":"Schmuck"}],"volume":13994,"date_created":"2023-06-18T22:00:47Z","date_updated":"2023-06-19T08:49:46Z","year":"2023","publisher":"Springer Nature","department":[{"_id":"ToHe"}],"publication_status":"published","file_date_updated":"2023-06-19T08:43:21Z"},{"ddc":["570","571"],"title":"Neural control of optic flow-based navigation in Drosophila melanogaster","status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12826","oa_version":"Published Version","file":[{"creator":"vpokusae","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":14507243,"access_level":"closed","file_name":"Thesis_Pokusaeva.docx","checksum":"5f589a9af025f7eeebfd0c186209913e","date_created":"2023-04-20T09:14:38Z","date_updated":"2023-04-20T09:26:51Z","file_id":"12857","relation":"source_file"},{"relation":"main_file","file_id":"12858","checksum":"bbeed76db45a996b4c91a9abe12ce0ec","success":1,"date_created":"2023-04-20T09:14:44Z","date_updated":"2023-04-20T09:14:44Z","access_level":"open_access","file_name":"Thesis_Pokusaeva.pdf","file_size":10090711,"content_type":"application/pdf","creator":"vpokusae"}],"alternative_title":["ISTA Thesis"],"type":"dissertation","abstract":[{"lang":"eng","text":"During navigation, animals can infer the structure of the environment by computing the optic flow cues elicited by their own movements, and subsequently use this information to instruct proper locomotor actions. These computations require a panoramic assessment of the visual environment in order to disambiguate similar sensory experiences that may require distinct behavioral responses. The estimation of the global motion patterns is therefore essential for successful navigation. Yet, our understanding of the algorithms and implementations that enable coherent panoramic visual perception remains scarce. Here I pursue this problem by dissecting the functional aspects of interneuronal communication in the lobula plate tangential cell network in Drosophila melanogaster. The results presented in the thesis demonstrate that the basis for effective interpretation of the optic flow in this circuit are stereotyped synaptic connections that mediate the formation of distinct subnetworks, each extracting a particular pattern of global motion. \r\nFirstly, I show that gap junctions are essential for a correct interpretation of binocular motion cues by horizontal motion-sensitive cells. HS cells form electrical synapses with contralateral H2 neurons that are involved in detecting yaw rotation and translation. I developed an FlpStop-mediated mutant of a gap junction protein ShakB that disrupts these electrical synapses. While the loss of electrical synapses does not affect the tuning of the direction selectivity in HS neurons, it severely alters their sensitivity to horizontal motion in the contralateral side. These physiological changes result in an inappropriate integration of binocular motion cues in walking animals. While wild-type flies form a binocular perception of visual motion by non-linear integration of monocular optic flow cues, the mutant flies sum the monocular inputs linearly. These results indicate that rather than averaging signals in neighboring neurons, gap-junctions operate in conjunction with chemical synapses to mediate complex non-linear optic flow computations.\r\nSecondly, I show that stochastic manipulation of neuronal activity in the lobula plate tangential cell network is a powerful approach to study the neuronal implementation of optic flow-based navigation in flies. Tangential neurons form multiple subnetworks, each mediating course-stabilizing response to a particular global pattern of visual motion. Application of genetic mosaic techniques can provide sparse optogenetic activation of HS cells in numerous combinations. These distinct combinations of activated neurons drive an array of distinct behavioral responses, providing important insights into how visuomotor transformation is performed in the lobula plate tangential cell network. This approach can be complemented by stochastic silencing of tangential neurons, enabling direct assessment of the functional role of individual tangential neurons in the processing of specific visual motion patterns.\r\n\tTaken together, the findings presented in this thesis suggest that establishing specific activity patterns of tangential cells via stereotyped synaptic connectivity is a key to efficient optic flow-based navigation in Drosophila melanogaster."}],"page":"106","citation":{"mla":"Pokusaeva, Victoria. Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12826.","short":"V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.","chicago":"Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12826.","ama":"Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826","ista":"Pokusaeva V. 2023. Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.","ieee":"V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.","apa":"Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12826"},"date_published":"2023-04-18T00:00:00Z","has_accepted_license":"1","article_processing_charge":"No","day":"18","department":[{"_id":"MaJö"},{"_id":"GradSch"}],"publisher":"Institute of Science and Technology Austria","publication_status":"published","year":"2023","date_updated":"2023-06-23T09:47:36Z","date_created":"2023-04-14T14:56:04Z","author":[{"full_name":"Pokusaeva, Victoria","last_name":"Pokusaeva","first_name":"Victoria","orcid":"0000-0001-7660-444X","id":"3184041C-F248-11E8-B48F-1D18A9856A87"}],"ec_funded":1,"file_date_updated":"2023-04-20T09:26:51Z","project":[{"name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"degree_awarded":"PhD","supervisor":[{"full_name":"Jösch, Maximilian A","first_name":"Maximilian A","last_name":"Jösch","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3937-1330"}],"doi":"10.15479/at:ista:12826","publication_identifier":{"issn":["2663 - 337X"]},"month":"04"},{"month":"01","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"doi":"10.1007/s00453-022-01027-6","language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000846967100001"]},"quality_controlled":"1","isi":1,"project":[{"name":"Alpha Shape Theory Extended","call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425"},{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes","call_identifier":"FWF"}],"file_date_updated":"2023-01-20T10:02:48Z","ec_funded":1,"author":[{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","first_name":"Herbert","last_name":"Edelsbrunner"},{"full_name":"Osang, Georg F","first_name":"Georg F","last_name":"Osang","id":"464B40D6-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2022-09-11T22:01:57Z","date_updated":"2023-06-27T12:53:43Z","volume":85,"acknowledgement":"Open access funding provided by Austrian Science Fund (FWF). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Grant No. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35.","year":"2023","publication_status":"published","department":[{"_id":"HeEd"}],"publisher":"Springer Nature","day":"01","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","scopus_import":"1","date_published":"2023-01-01T00:00:00Z","publication":"Algorithmica","citation":{"ama":"Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6","apa":"Edelsbrunner, H., & Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-022-01027-6","ieee":"H. Edelsbrunner and G. F. Osang, “A simple algorithm for higher-order Delaunay mosaics and alpha shapes,” Algorithmica, vol. 85. Springer Nature, pp. 277–295, 2023.","ista":"Edelsbrunner H, Osang GF. 2023. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 85, 277–295.","short":"H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.","mla":"Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, doi:10.1007/s00453-022-01027-6.","chicago":"Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica. Springer Nature, 2023. https://doi.org/10.1007/s00453-022-01027-6."},"article_type":"original","page":"277-295","abstract":[{"lang":"eng","text":"We present a simple algorithm for computing higher-order Delaunay mosaics that works in Euclidean spaces of any finite dimensions. The algorithm selects the vertices of the order-k mosaic from incrementally constructed lower-order mosaics and uses an algorithm for weighted first-order Delaunay mosaics as a black-box to construct the order-k mosaic from its vertices. Beyond this black-box, the algorithm uses only combinatorial operations, thus facilitating easy implementation. We extend this algorithm to compute higher-order α-shapes and provide open-source implementations. We present experimental results for properties of higher-order Delaunay mosaics of random point sets."}],"type":"journal_article","oa_version":"Published Version","file":[{"success":1,"checksum":"71685ca5121f4c837f40c3f8eb50c915","date_updated":"2023-01-20T10:02:48Z","date_created":"2023-01-20T10:02:48Z","file_id":"12322","relation":"main_file","creator":"dernst","file_size":911017,"content_type":"application/pdf","access_level":"open_access","file_name":"2023_Algorithmica_Edelsbrunner.pdf"}],"_id":"12086","user_id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","ddc":["510"],"status":"public","title":"A simple algorithm for higher-order Delaunay mosaics and alpha shapes","intvolume":" 85"},{"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","day":"01","article_type":"original","citation":{"ama":"Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7","ista":"Dello Schiavo L, Wirth M. 2023. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 23(1), 9.","apa":"Dello Schiavo, L., & Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00859-7","ieee":"L. Dello Schiavo and M. Wirth, “Ergodic decompositions of Dirichlet forms under order isomorphisms,” Journal of Evolution Equations, vol. 23, no. 1. Springer Nature, 2023.","mla":"Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations, vol. 23, no. 1, 9, Springer Nature, 2023, doi:10.1007/s00028-022-00859-7.","short":"L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).","chicago":"Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations. Springer Nature, 2023. https://doi.org/10.1007/s00028-022-00859-7."},"publication":"Journal of Evolution Equations","date_published":"2023-01-01T00:00:00Z","type":"journal_article","issue":"1","abstract":[{"text":"We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces.","lang":"eng"}],"intvolume":" 23","title":"Ergodic decompositions of Dirichlet forms under order isomorphisms","ddc":["510"],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12104","oa_version":"Published Version","file":[{"checksum":"1f34f3e2cb521033de6154f274ea3a4e","success":1,"date_updated":"2023-01-20T10:45:06Z","date_created":"2023-01-20T10:45:06Z","relation":"main_file","file_id":"12325","content_type":"application/pdf","file_size":422612,"creator":"dernst","access_level":"open_access","file_name":"2023_JourEvolutionEquations_DelloSchiavo.pdf"}],"publication_identifier":{"issn":["1424-3199"],"eissn":["1424-3202"]},"month":"01","project":[{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"},{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","grant_number":"716117","call_identifier":"H2020","name":"Optimal Transport and Stochastic Dynamics"},{"name":"Configuration Spaces over Non-Smooth Spaces","grant_number":"E208","_id":"34dbf174-11ca-11ed-8bc3-afe9d43d4b9c"},{"name":"Gradient flow techniques for quantum Markov semigroups","grant_number":"ESP156_N","_id":"34c6ea2d-11ca-11ed-8bc3-c04f3c502833"}],"isi":1,"quality_controlled":"1","external_id":{"isi":["000906214600004"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1007/s00028-022-00859-7","article_number":"9","ec_funded":1,"file_date_updated":"2023-01-20T10:45:06Z","publisher":"Springer Nature","department":[{"_id":"JaMa"}],"publication_status":"published","year":"2023","acknowledgement":"Research supported by the Austrian Science Fund (FWF) grant F65 at the Institute of Science and Technology Austria and by the European Research Council (ERC) (Grant agreement No. 716117 awarded to Prof. Dr. Jan Maas). L.D.S. gratefully acknowledges funding of his current position by the Austrian Science Fund (FWF) through the ESPRIT Programme (Grant No. 208). M.W. gratefully acknowledges funding of his current position by the Austrian Science Fund (FWF) through the ESPRIT Programme (Grant No. 156).","volume":23,"date_created":"2023-01-08T23:00:53Z","date_updated":"2023-06-28T11:54:35Z","author":[{"last_name":"Dello Schiavo","first_name":"Lorenzo","orcid":"0000-0002-9881-6870","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E","full_name":"Dello Schiavo, Lorenzo"},{"full_name":"Wirth, Melchior","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","orcid":"0000-0002-0519-4241","first_name":"Melchior","last_name":"Wirth"}]},{"quality_controlled":"1","isi":1,"external_id":{"isi":["000803119400002"]},"language":[{"iso":"eng"}],"doi":"10.1007/s00382-022-06337-7","month":"01","publication_identifier":{"eissn":["1432-0894"],"issn":["0930-7575"]},"publication_status":"published","publisher":"Springer Nature","department":[{"_id":"CaMu"}],"acknowledgement":"This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (NRF-2018R1A5A1024958). Model simulation and data transfer were supported by the National Supercomputing Center with supercomputing resources including technical support (KSC-2019-CHA-0005), the National Center for Meteorological Supercomputer of Korea Meteorological Administration, and by the Korea Research Environment Open NETwork (KREONET), respectively. The authors declare no conflicts of interest.","year":"2023","date_created":"2022-06-05T22:01:50Z","date_updated":"2023-06-28T11:49:58Z","volume":60,"author":[{"last_name":"Goswami","first_name":"Bidyut B","id":"3a4ac09c-6d61-11ec-bf66-884cde66b64b","full_name":"Goswami, Bidyut B"}],"related_material":{"link":[{"url":" https://doi.org/10.1007/s00382-022-06401-2","relation":"erratum"}]},"article_type":"original","page":"427-442","publication":"Climate Dynamics","citation":{"short":"B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.","mla":"GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7.","chicago":"GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics. Springer Nature, 2023. https://doi.org/10.1007/s00382-022-06337-7.","ama":"GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7","ieee":"B. B. GOSWAMI, “Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend,” Climate Dynamics, vol. 60. Springer Nature, pp. 427–442, 2023.","apa":"GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature. https://doi.org/10.1007/s00382-022-06337-7","ista":"GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442."},"date_published":"2023-01-01T00:00:00Z","scopus_import":"1","day":"01","article_processing_charge":"No","title":"Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend","status":"public","intvolume":" 60","_id":"11434","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","type":"journal_article","abstract":[{"text":"The Indian summer monsoon rainfall (ISMR) has been declining since the 1950s. However, since 2002 it is reported to have revived. For these observed changes in the ISMR, several explanations have been reported. Among these explanations, however, the role of the eastern equatorial Indian Ocean (EEIO) is missing despite being one of the warmest regions in the Indian Ocean, and monotonously warming. A recent study reported that EEIO warming impacts the rainfall over northern India. Here we report that warming in the EEIO weakens the low-level Indian summer monsoon circulation and reduces ISMR. A warm EEIO drives easterly winds in the Indo–Pacific sector as a Gill response. The warm EEIO also enhances nocturnal convection offshore the western coast of Sumatra. The latent heating associated with the increased convection augments the Gill response and the resultant circulation opposes the monsoon low-level circulation and weakens the seasonal rainfall.","lang":"eng"}]},{"page":"349-370","citation":{"apa":"Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17","ieee":"T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.","ista":"Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.","ama":"Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17","chicago":"Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30829-1_17.","short":"T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.","mla":"Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17."},"publication":"26th International Conference Foundations of Software Science and Computation Structures","date_published":"2023-04-21T00:00:00Z","scopus_import":"1","has_accepted_license":"1","article_processing_charge":"No","day":"21","intvolume":" 13992","title":"Quantitative safety and liveness","ddc":["000"],"status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12467","file":[{"relation":"main_file","file_id":"12468","checksum":"981025aed580b6b27c426cb8856cf63e","success":1,"date_created":"2023-01-31T07:22:21Z","date_updated":"2023-01-31T07:22:21Z","access_level":"open_access","file_name":"qsl.pdf","file_size":449027,"content_type":"application/pdf","creator":"esarac"},{"checksum":"f16e2af1e0eb243158ab0f0fe74e7d5a","success":1,"date_updated":"2023-06-19T10:28:09Z","date_created":"2023-06-19T10:28:09Z","relation":"main_file","file_id":"13153","content_type":"application/pdf","file_size":1048171,"creator":"dernst","access_level":"open_access","file_name":"2023_LNCS_HenzingerT.pdf"}],"oa_version":"Published Version","alternative_title":["LNCS"],"type":"conference","abstract":[{"text":"Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.","lang":"eng"}],"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"arxiv":["2301.11175"]},"language":[{"iso":"eng"}],"doi":"10.1007/978-3-031-30829-1_17","conference":{"end_date":"2023-04-27","start_date":"2023-04-22","location":"Paris, France","name":"FOSSACS: Foundations of Software Science and Computation Structures"},"publication_identifier":{"issn":["0302-9743"],"isbn":["9783031308284"],"eissn":["1611-3349"]},"month":"04","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publisher":"Springer Nature","publication_status":"published","acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093.","year":"2023","volume":13992,"date_created":"2023-01-31T07:23:56Z","date_updated":"2023-07-14T11:20:27Z","author":[{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"last_name":"Mazzocchi","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","full_name":"Mazzocchi, Nicolas Adrien"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","first_name":"Naci E","full_name":"Sarac, Naci E"}],"ec_funded":1,"file_date_updated":"2023-06-19T10:28:09Z"},{"language":[{"iso":"eng"}],"doi":"10.1145/3591230","quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication_identifier":{"eissn":["2475-1421"]},"month":"06","volume":7,"date_updated":"2023-07-17T08:43:19Z","date_created":"2023-07-02T22:00:43Z","author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","first_name":"Nikita","last_name":"Koval","full_name":"Koval, Nikita"},{"last_name":"Khalanskiy","first_name":"Dmitry","full_name":"Khalanskiy, Dmitry"},{"orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian"}],"department":[{"_id":"DaAl"}],"publisher":"Association for Computing Machinery ","publication_status":"published","year":"2023","file_date_updated":"2023-07-03T13:09:39Z","article_number":"116","date_published":"2023-06-06T00:00:00Z","article_type":"original","citation":{"ista":"Koval N, Khalanskiy D, Alistarh D-A. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.","apa":"Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230","ieee":"N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.","ama":"Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230","chicago":"Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.","mla":"Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.","short":"N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023)."},"publication":"Proceedings of the ACM on Programming Languages","has_accepted_license":"1","article_processing_charge":"No","day":"06","scopus_import":"1","oa_version":"Published Version","file":[{"date_created":"2023-07-03T13:09:39Z","date_updated":"2023-07-03T13:09:39Z","success":1,"checksum":"5dba6e73f0ed79adbdae14d165bc2f68","file_id":"13187","relation":"main_file","creator":"alisjak","file_size":1266773,"content_type":"application/pdf","file_name":"2023_ACMProgram.Lang._Koval.pdf","access_level":"open_access"}],"intvolume":" 7","title":"CQS: A formally-verified framework for fair and abortable synchronization","status":"public","ddc":["000"],"_id":"13179","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads.\r\n\r\nThis paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives.","lang":"eng"}],"type":"journal_article"},{"type":"journal_article","abstract":[{"lang":"eng","text":"We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface"}],"issue":"2","_id":"13180","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Local solubility for a family of quadrics over a split quadric surface","intvolume":" 16","oa_version":"Preprint","scopus_import":"1","day":"26","article_processing_charge":"No","publication":"Involve","citation":{"ama":"Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331","apa":"Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331","ieee":"T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.","ista":"Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342.","short":"T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.","mla":"Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.","chicago":"Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331."},"article_type":"original","page":"331-342","date_published":"2023-05-26T00:00:00Z","year":"2023","publication_status":"published","publisher":"Mathematical Sciences Publishers","department":[{"_id":"TiBr"}],"author":[{"full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","first_name":"Timothy D","last_name":"Browning"},{"id":"3572849A-F248-11E8-B48F-1D18A9856A87","first_name":"Julian","last_name":"Lyczak","full_name":"Lyczak, Julian"},{"first_name":"Roman","last_name":"Sarapin","full_name":"Sarapin, Roman"}],"date_created":"2023-07-02T22:00:43Z","date_updated":"2023-07-17T08:39:19Z","volume":16,"month":"05","publication_identifier":{"issn":["1944-4176"],"eissn":["1944-4184"]},"oa":1,"external_id":{"arxiv":["2203.06881"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2203.06881"}],"quality_controlled":"1","doi":"10.2140/involve.2023.16.331","language":[{"iso":"eng"}]},{"file_date_updated":"2023-07-18T09:28:30Z","type":"conference_abstract","date_created":"2023-06-23T11:03:18Z","date_updated":"2023-07-18T09:32:16Z","oa_version":"Submitted Version","file":[{"file_id":"13250","relation":"main_file","success":1,"checksum":"0ab6173cd5c5634ed773cd37ff012681","date_created":"2023-07-18T09:28:30Z","date_updated":"2023-07-18T09:28:30Z","access_level":"open_access","file_name":"2023_ASHPC_Elefante.pdf","creator":"dernst","file_size":380354,"content_type":"application/pdf"}],"author":[{"id":"490F40CE-F248-11E8-B48F-1D18A9856A87","first_name":"Stefano","last_name":"Elefante","full_name":"Elefante, Stefano"},{"full_name":"Stadlbauer, Stephan","id":"4D0BC184-F248-11E8-B48F-1D18A9856A87","last_name":"Stadlbauer","first_name":"Stephan"},{"last_name":"Alexander","first_name":"Michael F","id":"3A02A8FA-F248-11E8-B48F-1D18A9856A87","full_name":"Alexander, Michael F"},{"first_name":"Alois","last_name":"Schlögl","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5621-8100","full_name":"Schlögl, Alois"}],"status":"public","title":"Cryo-EM software packages: A sys-admins point of view","publication_status":"accepted","ddc":["000"],"publisher":"EuroCC","department":[{"_id":"ScienComp"}],"_id":"13162","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","month":"07","article_processing_charge":"No","has_accepted_license":"1","language":[{"iso":"eng"}],"conference":{"name":"ASHPC: Austrian-Slovenian HPC Meeting","end_date":"2023-06-15","location":"Maribor, Slovenia","start_date":"2023-06-12"},"date_published":"2023-07-01T00:00:00Z","quality_controlled":"1","page":"42-42","publication":"ASHPC23 - Austrian-Slovenian HPC Meeting 2023","citation":{"ama":"Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.","apa":"Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.","ieee":"S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 42–42.","ista":"Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 42–42.","short":"S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 42–42.","mla":"Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 42–42.","chicago":"Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC, n.d."},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1},{"conference":{"name":"ASHPC: Austrian-Slovenian HPC Meeting","end_date":"2023-06-15","start_date":"2023-06-13","location":"Maribor, Slovenia"},"language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1","month":"07","author":[{"orcid":"0000-0002-5621-8100","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","last_name":"Schlögl","first_name":"Alois","full_name":"Schlögl, Alois"},{"id":"490F40CE-F248-11E8-B48F-1D18A9856A87","first_name":"Stefano","last_name":"Elefante","full_name":"Elefante, Stefano"},{"id":"3661B498-F248-11E8-B48F-1D18A9856A87","first_name":"Victor-Valentin","last_name":"Hodirnau","full_name":"Hodirnau, Victor-Valentin"}],"date_created":"2023-06-23T11:01:23Z","date_updated":"2023-07-18T09:30:54Z","acknowledgement":"Thanks to Jesse Hansen for his suggestions on improving the abstract.","year":"2023","publisher":"EuroCC","department":[{"_id":"ScienComp"},{"_id":"EM-Fac"}],"publication_status":"inpress","file_date_updated":"2023-07-18T09:18:55Z","date_published":"2023-07-01T00:00:00Z","citation":{"ama":"Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.","apa":"Schlögl, A., Elefante, S., & Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.","ieee":"A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 59–59.","ista":"Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.","short":"A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 59–59.","mla":"Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 59–59.","chicago":"Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC, n.d."},"publication":"ASHPC23 - Austrian-Slovenian HPC Meeting 2023","page":"59-59","article_processing_charge":"No","has_accepted_license":"1","day":"01","oa_version":"Submitted Version","file":[{"relation":"main_file","file_id":"13249","checksum":"ec8e4295d54171032cdd1b01423eb4a6","success":1,"date_updated":"2023-07-18T09:18:55Z","date_created":"2023-07-18T09:18:55Z","access_level":"open_access","file_name":"2023_ASHPC_Schloegl.pdf","file_size":316959,"content_type":"application/pdf","creator":"dernst"}],"_id":"13161","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","ddc":["000"],"title":"Running Windows-applications on a Linux HPC cluster using WINE","type":"conference_abstract"},{"language":[{"iso":"eng"}],"doi":"10.1021/acs.jpclett.3c01158","isi":1,"quality_controlled":"1","project":[{"call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle","_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["001022811500001"],"arxiv":["2304.14198"]},"month":"07","publication_identifier":{"eissn":["1948-7185"]},"date_updated":"2023-07-19T06:59:19Z","date_created":"2023-07-18T11:13:17Z","volume":14,"author":[{"orcid":"0000-0001-8913-9719","id":"0c5ff007-2600-11ee-b896-98bd8d663294","last_name":"Wei","first_name":"Yujing","full_name":"Wei, Yujing"},{"full_name":"Volosniev, Artem","first_name":"Artem","last_name":"Volosniev","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0393-5525"},{"full_name":"Lorenc, Dusan","id":"40D8A3E6-F248-11E8-B48F-1D18A9856A87","first_name":"Dusan","last_name":"Lorenc"},{"full_name":"Zhumekenov, Ayan A.","first_name":"Ayan A.","last_name":"Zhumekenov"},{"last_name":"Bakr","first_name":"Osman M.","full_name":"Bakr, Osman M."},{"full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","first_name":"Mikhail"},{"orcid":"0000-0002-7183-5203","id":"45E67A2A-F248-11E8-B48F-1D18A9856A87","last_name":"Alpichshev","first_name":"Zhanybek","full_name":"Alpichshev, Zhanybek"}],"publication_status":"published","publisher":"American Chemical Society","department":[{"_id":"MiLe"},{"_id":"ZhAl"}],"acknowledgement":"We thank Bingqing Cheng and Hong-Zhou Ye for valuable discussions; Y.W.’s work at IST Austria was supported through ISTernship summer internship program funded by OeADGmbH; D.L. and Z.A. acknowledge support by IST Austria (ISTA); M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON).\r\nA.A.Z. and O.M.B. acknowledge support by KAUST.","year":"2023","file_date_updated":"2023-07-19T06:55:39Z","ec_funded":1,"date_published":"2023-07-05T00:00:00Z","article_type":"original","page":"6309-6314","publication":"The Journal of Physical Chemistry Letters","citation":{"ama":"Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158","apa":"Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., & Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01158","ieee":"Y. Wei et al., “Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites,” The Journal of Physical Chemistry Letters, vol. 14, no. 27. American Chemical Society, pp. 6309–6314, 2023.","ista":"Wei Y, Volosniev A, Lorenc D, Zhumekenov AA, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 14(27), 6309–6314.","short":"Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.","mla":"Wei, Yujing, et al. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.” The Journal of Physical Chemistry Letters, vol. 14, no. 27, American Chemical Society, 2023, pp. 6309–14, doi:10.1021/acs.jpclett.3c01158.","chicago":"Wei, Yujing, Artem Volosniev, Dusan Lorenc, Ayan A. Zhumekenov, Osman M. Bakr, Mikhail Lemeshko, and Zhanybek Alpichshev. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.” The Journal of Physical Chemistry Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpclett.3c01158."},"day":"05","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","keyword":["General Materials Science","Physical and Theoretical Chemistry"],"oa_version":"Published Version","file":[{"file_name":"2023_JourPhysChemistry_Wei.pdf","access_level":"open_access","creator":"dernst","file_size":2121252,"content_type":"application/pdf","file_id":"13253","relation":"main_file","date_created":"2023-07-19T06:55:39Z","date_updated":"2023-07-19T06:55:39Z","success":1,"checksum":"c0c040063f06a51b9c463adc504f1a23"}],"status":"public","title":"Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites","ddc":["530"],"intvolume":" 14","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"13251","abstract":[{"lang":"eng","text":"A rotating organic cation and a dynamically disordered soft inorganic cage are the hallmark features of organic-inorganic lead-halide perovskites. Understanding the interplay between these two subsystems is a challenging problem, but it is this coupling that is widely conjectured to be responsible for the unique behavior of photocarriers in these materials. In this work, we use the fact that the polarizability of the organic cation strongly depends on the ambient electrostatic environment to put the molecule forward as a sensitive probe of the local crystal fields inside the lattice cell. We measure the average polarizability of the C/N–H bond stretching mode by means of infrared spectroscopy, which allows us to deduce the character of the motion of the cation molecule, find the magnitude of the local crystal field, and place an estimate on the strength of the hydrogen bond between the hydrogen and halide atoms. Our results pave the way for understanding electric fields in lead-halide perovskites using infrared bond spectroscopy."}],"issue":"27","type":"journal_article"},{"file":[{"relation":"main_file","file_id":"13293","date_updated":"2023-07-24T15:11:05Z","date_created":"2023-07-24T15:11:05Z","checksum":"5d4c8932ef3450615a53b9bb15d92eb2","success":1,"file_name":"icalp23.pdf","access_level":"open_access","content_type":"application/pdf","file_size":859379,"creator":"esarac"}],"oa_version":"Published Version","_id":"13292","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"title":"Regular methods for operator precedence languages","status":"public","intvolume":" 261","abstract":[{"lang":"eng","text":"The operator precedence languages (OPLs) represent the largest known subclass of the context-free languages which enjoys all desirable closure and decidability properties. This includes the decidability of language inclusion, which is the ultimate verification problem. Operator precedence grammars, automata, and logics have been investigated and used, for example, to verify programs with arithmetic expressions and exceptions (both of which are deterministic pushdown but lie outside the scope of the visibly pushdown languages). In this paper, we complete the picture and give, for the first time, an algebraic characterization of the class of OPLs in the form of a syntactic congruence that has finitely many equivalence classes exactly for the operator precedence languages. This is a generalization of the celebrated Myhill-Nerode theorem for the regular languages to OPLs. As one of the consequences, we show that universality and language inclusion for nondeterministic operator precedence automata can be solved by an antichain algorithm. Antichain algorithms avoid determinization and complementation through an explicit subset construction, by leveraging a quasi-order on words, which allows the pruning of the search space for counterexample words without sacrificing completeness. Antichain algorithms can be implemented symbolically, and these implementations are today the best-performing algorithms in practice for the inclusion of finite automata. We give a generic construction of the quasi-order needed for antichain algorithms from a finite syntactic congruence. This yields the first antichain algorithm for OPLs, an algorithm that solves the ExpTime-hard language inclusion problem for OPLs in exponential time."}],"type":"conference","alternative_title":["LIPIcs"],"date_published":"2023-07-05T00:00:00Z","publication":"50th International Colloquium on Automata, Languages, and Programming","citation":{"mla":"Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.","short":"T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.","chicago":"Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.129.","ama":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129","ista":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 129:1--129:20.","ieee":"T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.","apa":"Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129"},"page":"129:1--129:20","day":"05","has_accepted_license":"1","article_processing_charge":"Yes","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Kebis, Pavol","first_name":"Pavol","last_name":"Kebis"},{"full_name":"Mazzocchi, Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","first_name":"Nicolas Adrien","last_name":"Mazzocchi"},{"full_name":"Sarac, Naci E","last_name":"Sarac","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"date_updated":"2023-07-31T08:38:38Z","date_created":"2023-07-24T15:11:41Z","volume":261,"year":"2023","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.\r\nWe thank Pierre Ganty for early discussions and the anonymous reviewers for their helpful comments.\r\n","publication_status":"published","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file_date_updated":"2023-07-24T15:11:05Z","ec_funded":1,"conference":{"name":"ICALP: International Colloquium on Automata, Languages, and Programming","end_date":"2023-07-14","start_date":"2023-07-10","location":"Paderborn, Germany"},"doi":"10.4230/LIPIcs.ICALP.2023.129","language":[{"iso":"eng"}],"external_id":{"arxiv":["2305.03447"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1","project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"month":"07","publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772785"]}},{"oa_version":"Published Version","file":[{"access_level":"open_access","file_name":"2023_SciPostPhysCore_Tucci.pdf","creator":"dernst","file_size":523236,"content_type":"application/pdf","file_id":"13329","relation":"main_file","success":1,"checksum":"b472bc82108747eda5d52adf9e2ac7f3","date_updated":"2023-07-31T09:02:27Z","date_created":"2023-07-31T09:02:27Z"}],"_id":"13277","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 6","status":"public","ddc":["530"],"title":"Stochastic representation of the quantum quartic oscillator","issue":"2","abstract":[{"text":"Recent experimental advances have inspired the development of theoretical tools to describe the non-equilibrium dynamics of quantum systems. Among them an exact representation of quantum spin systems in terms of classical stochastic processes has been proposed. Here we provide first steps towards the extension of this stochastic approach to bosonic systems by considering the one-dimensional quantum quartic oscillator. We show how to exactly parameterize the time evolution of this prototypical model via the dynamics of a set of classical variables. We interpret these variables as stochastic processes, which allows us to propose a novel way to numerically simulate the time evolution of the system. We benchmark our findings by considering analytically solvable limits and providing alternative derivations of known results.","lang":"eng"}],"type":"journal_article","date_published":"2023-04-14T00:00:00Z","citation":{"ama":"Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029","ieee":"G. Tucci, S. De Nicola, S. Wald, and A. Gambassi, “Stochastic representation of the quantum quartic oscillator,” SciPost Physics Core, vol. 6, no. 2. SciPost Foundation, 2023.","apa":"Tucci, G., De Nicola, S., Wald, S., & Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation. https://doi.org/10.21468/scipostphyscore.6.2.029","ista":"Tucci G, De Nicola S, Wald S, Gambassi A. 2023. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 6(2), 029.","short":"G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).","mla":"Tucci, Gennaro, et al. “Stochastic Representation of the Quantum Quartic Oscillator.” SciPost Physics Core, vol. 6, no. 2, 029, SciPost Foundation, 2023, doi:10.21468/scipostphyscore.6.2.029.","chicago":"Tucci, Gennaro, Stefano De Nicola, Sascha Wald, and Andrea Gambassi. “Stochastic Representation of the Quantum Quartic Oscillator.” SciPost Physics Core. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscore.6.2.029."},"publication":"SciPost Physics Core","article_type":"original","has_accepted_license":"1","article_processing_charge":"No","day":"14","keyword":["Statistical and Nonlinear Physics","Atomic and Molecular Physics","and Optics","Nuclear and High Energy Physics","Condensed Matter Physics"],"author":[{"full_name":"Tucci, Gennaro","first_name":"Gennaro","last_name":"Tucci"},{"full_name":"De Nicola, Stefano","last_name":"De Nicola","first_name":"Stefano","orcid":"0000-0002-4842-6671","id":"42832B76-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Wald","first_name":"Sascha","full_name":"Wald, Sascha"},{"last_name":"Gambassi","first_name":"Andrea","full_name":"Gambassi, Andrea"}],"volume":6,"date_created":"2023-07-24T10:47:46Z","date_updated":"2023-07-31T09:03:28Z","acknowledgement":"S. De Nicola acknowledges funding from the Institute of Science and Technology Austria (ISTA), and from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 754411. S. De Nicola also acknowledges funding from the EPSRC Center for Doctoral Training in Cross-Disciplinary Approaches to NonEquilibrium Systems (CANES) under Grant EP/L015854/1. ","year":"2023","publisher":"SciPost Foundation","department":[{"_id":"MaSe"}],"publication_status":"published","ec_funded":1,"file_date_updated":"2023-07-31T09:02:27Z","article_number":"029","doi":"10.21468/scipostphyscore.6.2.029","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"arxiv":["2211.01923"]},"oa":1,"project":[{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"}],"quality_controlled":"1","publication_identifier":{"issn":["2666-9366"]},"month":"04"},{"date_published":"2023-04-19T00:00:00Z","citation":{"ama":"Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12","apa":"Rammelmüller, L., Huber, D., & Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12","ieee":"L. Rammelmüller, D. Huber, and A. Volosniev, “A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D,” SciPost Physics Codebases. SciPost Foundation, 2023.","ista":"Rammelmüller L, Huber D, Volosniev A. 2023. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases., 12.","short":"L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).","mla":"Rammelmüller, Lukas, et al. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.” SciPost Physics Codebases, 12, SciPost Foundation, 2023, doi:10.21468/scipostphyscodeb.12.","chicago":"Rammelmüller, Lukas, David Huber, and Artem Volosniev. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.” SciPost Physics Codebases. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscodeb.12."},"publication":"SciPost Physics Codebases","article_type":"original","has_accepted_license":"1","article_processing_charge":"No","day":"19","file":[{"creator":"dernst","content_type":"application/pdf","file_size":551418,"file_name":"2023_SciPostPhysCodebase_Rammelmueller.pdf","access_level":"open_access","date_updated":"2023-07-31T09:09:23Z","date_created":"2023-07-31T09:09:23Z","success":1,"checksum":"f583a70fe915d2208c803f5afb426daa","file_id":"13330","relation":"main_file"}],"oa_version":"Published Version","_id":"13276","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D","status":"public","ddc":["530"],"abstract":[{"lang":"eng","text":"We introduce a generic and accessible implementation of an exact diagonalization method for studying few-fermion models. Our aim is to provide a testbed for the newcomers to the field as well as a stepping stone for trying out novel optimizations and approximations. This userguide consists of a description of the algorithm, and several examples in varying orders of sophistication. In particular, we exemplify our routine using an effective-interaction approach that fixes the low-energy physics. We benchmark this approach against the existing data, and show that it is able to deliver state-of-the-art numerical results at a significantly reduced computational cost."}],"type":"journal_article","doi":"10.21468/scipostphyscodeb.12","language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"arxiv":["2202.04603"]},"project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"}],"quality_controlled":"1","publication_identifier":{"issn":["2949-804X"]},"month":"04","related_material":{"record":[{"relation":"research_data","status":"public","id":"13275"}]},"author":[{"last_name":"Rammelmüller","first_name":"Lukas","full_name":"Rammelmüller, Lukas"},{"first_name":"David","last_name":"Huber","full_name":"Huber, David"},{"full_name":"Volosniev, Artem","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0393-5525","first_name":"Artem","last_name":"Volosniev"}],"date_created":"2023-07-24T10:47:15Z","date_updated":"2023-07-31T09:16:02Z","acknowledgement":"We acknowledge fruitful discussions with Hans-Werner Hammer and thank Gerhard Zürn and\r\nPietro Massignan for sending us their data. We thank Fabian Brauneis for beta-testing the\r\nprovided code-package, and comments on the manuscript.\r\nL.R. is supported by FP7/ERC Consolidator Grant QSIMCORR, No.\r\n771891, and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under\r\nGermany’s Excellence Strategy –EXC–2111–390814868. A.G.V. acknowledges support\r\nby European Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No. 754411.","year":"2023","department":[{"_id":"MiLe"}],"publisher":"SciPost Foundation","publication_status":"published","ec_funded":1,"file_date_updated":"2023-07-31T09:09:23Z","article_number":"12"},{"month":"04","day":"19","article_processing_charge":"No","citation":{"mla":"Rammelmüller, Lukas, et al. Codebase Release 1.0 for FermiFCI. SciPost Foundation, 2023, doi:10.21468/scipostphyscodeb.12-r1.0.","short":"L. Rammelmüller, D. Huber, A. Volosniev, (2023).","chicago":"Rammelmüller, Lukas, David Huber, and Artem Volosniev. “Codebase Release 1.0 for FermiFCI.” SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscodeb.12-r1.0.","ama":"Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0","ista":"Rammelmüller L, Huber D, Volosniev A. 2023. Codebase release 1.0 for FermiFCI, SciPost Foundation, 10.21468/scipostphyscodeb.12-r1.0.","ieee":"L. Rammelmüller, D. Huber, and A. Volosniev, “Codebase release 1.0 for FermiFCI.” SciPost Foundation, 2023.","apa":"Rammelmüller, L., Huber, D., & Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12-r1.0"},"oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.21468/SciPostPhysCodeb.12-r1.0"}],"project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships"}],"date_published":"2023-04-19T00:00:00Z","doi":"10.21468/scipostphyscodeb.12-r1.0","type":"research_data_reference","abstract":[{"text":"We introduce a generic and accessible implementation of an exact diagonalization method for studying few-fermion models. Our aim is to provide a testbed for the newcomers to the field as well as a stepping stone for trying out novel optimizations and approximations. This userguide consists of a description of the algorithm, and several examples in varying orders of sophistication. In particular, we exemplify our routine using an effective-interaction approach that fixes the low-energy physics. We benchmark this approach against the existing data, and show that it is able to deliver state-of-the-art numerical results at a significantly reduced computational cost.","lang":"eng"}],"ec_funded":1,"_id":"13275","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2023","status":"public","ddc":["530"],"title":"Codebase release 1.0 for FermiFCI","department":[{"_id":"MiLe"}],"publisher":"SciPost Foundation","author":[{"full_name":"Rammelmüller, Lukas","last_name":"Rammelmüller","first_name":"Lukas"},{"first_name":"David","last_name":"Huber","full_name":"Huber, David"},{"full_name":"Volosniev, Artem","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0393-5525","first_name":"Artem","last_name":"Volosniev"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"13276"}]},"date_updated":"2023-07-31T09:16:02Z","date_created":"2023-07-24T10:46:23Z","oa_version":"Published Version"},{"date_published":"2023-06-17T00:00:00Z","citation":{"mla":"Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.","short":"A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.","chicago":"Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 261–71. Association for Computing Machinery, 2023. https://doi.org/10.1145/3558481.3591082.","ama":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082","ista":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.","ieee":"A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.","apa":"Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082"},"publication":"Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures","page":"261-271","article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","day":"17","scopus_import":"1","oa_version":"Published Version","file":[{"file_id":"13334","relation":"main_file","date_updated":"2023-07-31T10:53:08Z","date_created":"2023-07-31T10:53:08Z","success":1,"checksum":"72e312aabf0c5248c99b5cd3a88e4c88","file_name":"2023_SPAA_Fedorov.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":2087937}],"_id":"13262","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Provably-efficient and internally-deterministic parallel Union-Find","ddc":["000"],"status":"public","abstract":[{"lang":"eng","text":"Determining the degree of inherent parallelism in classical sequential algorithms and leveraging it for fast parallel execution is a key topic in parallel computing, and detailed analyses are known for a wide range of classical algorithms. In this paper, we perform the first such analysis for the fundamental Union-Find problem, in which we are given a graph as a sequence of edges, and must maintain its connectivity structure under edge additions. We prove that classic sequential algorithms for this problem are well-parallelizable under reasonable assumptions, addressing a conjecture by [Blelloch, 2017]. More precisely, we show via a new potential argument that, under uniform random edge ordering, parallel union-find operations are unlikely to interfere: T concurrent threads processing the graph in parallel will encounter memory contention O(T2 · log |V| · log |E|) times in expectation, where |E| and |V| are the number of edges and nodes in the graph, respectively. We leverage this result to design a new parallel Union-Find algorithm that is both internally deterministic, i.e., its results are guaranteed to match those of a sequential execution, but also work-efficient and scalable, as long as the number of threads T is O(|E|1 over 3 - ε), for an arbitrarily small constant ε > 0, which holds for most large real-world graphs. We present lower bounds which show that our analysis is close to optimal, and experimental results suggesting that the performance cost of internal determinism is limited."}],"type":"conference","doi":"10.1145/3558481.3591082","conference":{"name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","end_date":"2023-06-19","location":"Orlando, FL, United States","start_date":"2023-06-17"},"language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"arxiv":["2304.09331"]},"quality_controlled":"1","publication_identifier":{"isbn":["9781450395458"]},"month":"06","author":[{"full_name":"Fedorov, Alexander","last_name":"Fedorov","first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"id":"ed9595ea-2f8f-11ee-ba95-d2b546540783","first_name":"Diba","last_name":"Hashemi","full_name":"Hashemi, Diba"},{"full_name":"Nadiradze, Giorgi","id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi","last_name":"Nadiradze"},{"full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2023-07-23T22:01:12Z","date_updated":"2023-07-31T10:54:32Z","year":"2023","publisher":"Association for Computing Machinery","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"publication_status":"published","file_date_updated":"2023-07-31T10:53:08Z"},{"day":"01","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","date_published":"2023-02-01T00:00:00Z","article_type":"original","page":"542-559","publication":"Evolutionary Applications","citation":{"chicago":"De Jode, Aurélien, Alan Le Moan, Kerstin Johannesson, Rui Faria, Sean Stankowski, Anja M Westram, Roger K. Butlin, Marina Rafajlović, and Christelle Fraisse. “Ten Years of Demographic Modelling of Divergence and Speciation in the Sea.” Evolutionary Applications. Wiley, 2023. https://doi.org/10.1111/eva.13428.","short":"A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.","mla":"De Jode, Aurélien, et al. “Ten Years of Demographic Modelling of Divergence and Speciation in the Sea.” Evolutionary Applications, vol. 16, no. 2, Wiley, 2023, pp. 542–59, doi:10.1111/eva.13428.","ieee":"A. De Jode et al., “Ten years of demographic modelling of divergence and speciation in the sea,” Evolutionary Applications, vol. 16, no. 2. Wiley, pp. 542–559, 2023.","apa":"De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M., … Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley. https://doi.org/10.1111/eva.13428","ista":"De Jode A, Le Moan A, Johannesson K, Faria R, Stankowski S, Westram AM, Butlin RK, Rafajlović M, Fraisse C. 2023. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 16(2), 542–559.","ama":"De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428"},"abstract":[{"text":"Understanding population divergence that eventually leads to speciation is essential for evolutionary biology. High species diversity in the sea was regarded as a paradox when strict allopatry was considered necessary for most speciation events because geographical barriers seemed largely absent in the sea, and many marine species have high dispersal capacities. Combining genome-wide data with demographic modelling to infer the demographic history of divergence has introduced new ways to address this classical issue. These models assume an ancestral population that splits into two subpopulations diverging according to different scenarios that allow tests for periods of gene flow. Models can also test for heterogeneities in population sizes and migration rates along the genome to account, respectively, for background selection and selection against introgressed ancestry. To investigate how barriers to gene flow arise in the sea, we compiled studies modelling the demographic history of divergence in marine organisms and extracted preferred demographic scenarios together with estimates of demographic parameters. These studies show that geographical barriers to gene flow do exist in the sea but that divergence can also occur without strict isolation. Heterogeneity of gene flow was detected in most population pairs suggesting the predominance of semipermeable barriers during divergence. We found a weak positive relationship between the fraction of the genome experiencing reduced gene flow and levels of genome-wide differentiation. Furthermore, we found that the upper bound of the ‘grey zone of speciation’ for our dataset extended beyond that found before, implying that gene flow between diverging taxa is possible at higher levels of divergence than previously thought. Finally, we list recommendations for further strengthening the use of demographic modelling in speciation research. These include a more balanced representation of taxa, more consistent and comprehensive modelling, clear reporting of results and simulation studies to rule out nonbiological explanations for general results.","lang":"eng"}],"issue":"2","type":"journal_article","oa_version":"Published Version","file":[{"date_updated":"2023-02-27T07:10:17Z","date_created":"2023-02-27T07:10:17Z","success":1,"checksum":"d4d6fa9ddf36643af994a6a757919afb","file_id":"12685","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":2269822,"file_name":"2023_EvolutionaryApplications_DeJode.pdf","access_level":"open_access"}],"status":"public","title":"Ten years of demographic modelling of divergence and speciation in the sea","ddc":["576"],"intvolume":" 16","_id":"11479","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"02","publication_identifier":{"eissn":["1752-4571"]},"language":[{"iso":"eng"}],"doi":"10.1111/eva.13428","isi":1,"quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000815663700001"]},"file_date_updated":"2023-02-27T07:10:17Z","date_updated":"2023-08-01T12:25:44Z","date_created":"2022-07-03T22:01:33Z","volume":16,"author":[{"first_name":"Aurélien","last_name":"De Jode","full_name":"De Jode, Aurélien"},{"full_name":"Le Moan, Alan","first_name":"Alan","last_name":"Le Moan"},{"last_name":"Johannesson","first_name":"Kerstin","full_name":"Johannesson, Kerstin"},{"first_name":"Rui","last_name":"Faria","full_name":"Faria, Rui"},{"first_name":"Sean","last_name":"Stankowski","id":"43161670-5719-11EA-8025-FABC3DDC885E","full_name":"Stankowski, Sean"},{"full_name":"Westram, Anja M","last_name":"Westram","first_name":"Anja M","orcid":"0000-0003-1050-4969","id":"3C147470-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Butlin, Roger K.","first_name":"Roger K.","last_name":"Butlin"},{"first_name":"Marina","last_name":"Rafajlović","full_name":"Rafajlović, Marina"},{"orcid":"0000-0001-8441-5075","id":"32DF5794-F248-11E8-B48F-1D18A9856A87","last_name":"Fraisse","first_name":"Christelle","full_name":"Fraisse, Christelle"}],"publication_status":"published","department":[{"_id":"NiBa"},{"_id":"BeVi"}],"publisher":"Wiley","acknowledgement":"We greatly thank all the corresponding authors of the studies that were included in our synthesis for the sharing of additional data: Thomas Broquet, Dmitry Filatov, Quentin Rougemont, Paolo Momigliano, Pierre-Alexandre Gagnaire, Carlos Prada, Ahmed Souissi, Michael Møller Hansen, Sylvie Lapègue, Joseph Di Battista, Michael Hellberg and Carlos Prada. RKB and ADJ were supported by the European Research Council. MR was supported by the Swedish Research Council Vetenskapsrådet (grant number 2021-05243; to MR) and Formas (grant number 2019-00882; to KJ and MR), and by additional grants from the European Research Council (to RKB) and Vetenskapsrådet (to KJ) through the Centre for Marine Evolutionary Biology (https://www.gu.se/en/cemeb-marine-evolutionary-biology).","year":"2023"},{"publication_status":"published","department":[{"_id":"TaHa"}],"publisher":"Springer Nature","year":"2023","acknowledgement":"Gonçalo Oliveira is supported by the NOMIS Foundation, Fundação Serrapilheira 1812-27395, by CNPq grants 428959/2018-0 and 307475/2018-2, and by FAPERJ through the grant Jovem Cientista do Nosso Estado E-26/202.793/2019.","date_created":"2023-01-22T23:00:55Z","date_updated":"2023-08-01T12:31:40Z","volume":13,"author":[{"full_name":"Gómez, Arturo","last_name":"Gómez","first_name":"Arturo"},{"id":"58abbde8-f455-11eb-a497-98c8fd71b905","first_name":"Goncalo","last_name":"Oliveira","full_name":"Oliveira, Goncalo"}],"article_number":"468","file_date_updated":"2023-01-23T07:53:23Z","quality_controlled":"1","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["001003345000051"]},"language":[{"iso":"eng"}],"doi":"10.1038/s41598-022-19827-9","month":"01","publication_identifier":{"eissn":["2045-2322"]},"title":"New approaches to epidemic modeling on networks","status":"public","ddc":["510"],"intvolume":" 13","_id":"12329","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"file_name":"2023_ScientificReports_Gomez.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":2167792,"file_id":"12336","relation":"main_file","date_updated":"2023-01-23T07:53:23Z","date_created":"2023-01-23T07:53:23Z","success":1,"checksum":"a8b83739f4a951e83e0b2a778f03b327"}],"oa_version":"Published Version","type":"journal_article","abstract":[{"text":"In this article, we develop two independent and new approaches to model epidemic spread in a network. Contrary to the most studied models, those developed here allow for contacts with different probabilities of transmitting the disease (transmissibilities). We then examine each of these models using some mean field type approximations. The first model looks at the late-stage effects of an epidemic outbreak and allows for the computation of the probability that a given vertex was infected. This computation is based on a mean field approximation and only depends on the number of contacts and their transmissibilities. This approach shares many similarities with percolation models in networks. The second model we develop is a dynamic model which we analyze using a mean field approximation which highly reduces the dimensionality of the system. In particular, the original system which individually analyses each vertex of the network is reduced to one with as many equations as different transmissibilities. Perhaps the greatest contribution of this article is the observation that, in both these models, the existence and size of an epidemic outbreak are linked to the properties of a matrix which we call the R-matrix. This is a generalization of the basic reproduction number which more precisely characterizes the main routes of infection.","lang":"eng"}],"article_type":"original","publication":"Scientific Reports","citation":{"ama":"Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9","apa":"Gómez, A., & Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-19827-9","ieee":"A. Gómez and G. Oliveira, “New approaches to epidemic modeling on networks,” Scientific Reports, vol. 13. Springer Nature, 2023.","ista":"Gómez A, Oliveira G. 2023. New approaches to epidemic modeling on networks. Scientific Reports. 13, 468.","short":"A. Gómez, G. Oliveira, Scientific Reports 13 (2023).","mla":"Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.","chicago":"Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-022-19827-9."},"date_published":"2023-01-10T00:00:00Z","scopus_import":"1","day":"10","article_processing_charge":"No","has_accepted_license":"1"},{"issue":"8","abstract":[{"lang":"eng","text":"We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors."}],"type":"journal_article","oa_version":"Preprint","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"9034","intvolume":" 2023","title":"Integral points of bounded height on a log Fano threefold","status":"public","article_processing_charge":"No","day":"01","date_published":"2023-04-01T00:00:00Z","citation":{"chicago":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices. Oxford Academic, 2023. https://doi.org/10.1093/imrn/rnac048.","short":"F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.","mla":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices, vol. 2023, no. 8, Oxford Academic, 2023, pp. 6780–808, doi:10.1093/imrn/rnac048.","ieee":"F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” International Mathematics Research Notices, vol. 2023, no. 8. Oxford Academic, pp. 6780–6808, 2023.","apa":"Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic. https://doi.org/10.1093/imrn/rnac048","ista":"Wilsch FA. 2023. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023(8), 6780–6808.","ama":"Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048"},"publication":"International Mathematics Research Notices","page":"6780-6808","article_type":"original","author":[{"last_name":"Wilsch","first_name":"Florian Alexander","orcid":"0000-0001-7302-8256","id":"560601DA-8D36-11E9-A136-7AC1E5697425","full_name":"Wilsch, Florian Alexander"}],"volume":2023,"date_created":"2021-01-22T09:31:09Z","date_updated":"2023-08-01T12:23:55Z","year":"2023","acknowledgement":"This work was supported by the German Academic Exchange Service. Parts of this article were prepared at the Institut de Mathémathiques de Jussieu—Paris Rive Gauche. I wish to thank Antoine Chambert-Loir for his remarks and the institute for its hospitality, as well as the anonymous referee for several useful remarks and suggestions for improvements.","department":[{"_id":"TiBr"}],"publisher":"Oxford Academic","publication_status":"published","publication_identifier":{"issn":["1073-7928"],"eissn":["1687-0247"]},"month":"04","doi":"10.1093/imrn/rnac048","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1901.08503"}],"external_id":{"isi":["000773116000001"],"arxiv":["1901.08503"]},"quality_controlled":"1","isi":1}]