[{"volume":14,"date_created":"2023-01-12T12:08:31Z","article_type":"original","scopus_import":"1","day":"17","author":[{"full_name":"Salasnich, Luca","last_name":"Salasnich","first_name":"Luca"},{"orcid":"0000-0001-6110-2359","first_name":"Alberto","full_name":"Cappellaro, Alberto","id":"9d13b3cb-30a2-11eb-80dc-f772505e8660","last_name":"Cappellaro"},{"first_name":"Koichiro","last_name":"Furutani","full_name":"Furutani, Koichiro"},{"first_name":"Andrea","full_name":"Tononi, Andrea","last_name":"Tononi"},{"last_name":"Bighin","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","full_name":"Bighin, Giacomo","first_name":"Giacomo","orcid":"0000-0001-8823-9777"}],"oa_version":"Published Version","title":"First and second sound in two-dimensional bosonic and fermionic superfluids","file_date_updated":"2023-01-24T10:56:12Z","publication_identifier":{"issn":["2073-8994"]},"publication_status":"published","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"We review our theoretical results of the sound propagation in two-dimensional (2D) systems of ultracold fermionic and bosonic atoms. In the superfluid phase, characterized by the spontaneous symmetry breaking of the U(1) symmetry, there is the coexistence of first and second sound. In the case of weakly-interacting repulsive bosons, we model the recent measurements of the sound velocities of 39K atoms in 2D obtained in the weakly-interacting regime and around the Berezinskii–Kosterlitz–Thouless (BKT) superfluid-to-normal transition temperature. In particular, we perform a quite accurate computation of the superfluid density and show that it is reasonably consistent with the experimental results. For superfluid attractive fermions, we calculate the first and second sound velocities across the whole BCS-BEC crossover. In the low-temperature regime, we reproduce the recent measurements of first-sound speed with 6Li atoms. We also predict that there is mixing between sound modes only in the finite-temperature BEC regime."}],"intvolume":"        14","department":[{"_id":"MiLe"}],"file":[{"file_id":"12361","file_size":843723,"date_created":"2023-01-24T10:56:12Z","date_updated":"2023-01-24T10:56:12Z","creator":"dernst","relation":"main_file","checksum":"9b6bd0e484834dd76d7b26e3c5fba8bd","file_name":"2022_Symmetry_Salsnich.pdf","success":1,"content_type":"application/pdf","access_level":"open_access"}],"article_number":"2182","month":"10","citation":{"mla":"Salasnich, Luca, et al. “First and Second Sound in Two-Dimensional Bosonic and Fermionic Superfluids.” <i>Symmetry</i>, vol. 14, no. 10, 2182, MDPI, 2022, doi:<a href=\"https://doi.org/10.3390/sym14102182\">10.3390/sym14102182</a>.","apa":"Salasnich, L., Cappellaro, A., Furutani, K., Tononi, A., &#38; Bighin, G. (2022). First and second sound in two-dimensional bosonic and fermionic superfluids. <i>Symmetry</i>. MDPI. <a href=\"https://doi.org/10.3390/sym14102182\">https://doi.org/10.3390/sym14102182</a>","ista":"Salasnich L, Cappellaro A, Furutani K, Tononi A, Bighin G. 2022. First and second sound in two-dimensional bosonic and fermionic superfluids. Symmetry. 14(10), 2182.","chicago":"Salasnich, Luca, Alberto Cappellaro, Koichiro Furutani, Andrea Tononi, and Giacomo Bighin. “First and Second Sound in Two-Dimensional Bosonic and Fermionic Superfluids.” <i>Symmetry</i>. MDPI, 2022. <a href=\"https://doi.org/10.3390/sym14102182\">https://doi.org/10.3390/sym14102182</a>.","short":"L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).","ieee":"L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, and G. Bighin, “First and second sound in two-dimensional bosonic and fermionic superfluids,” <i>Symmetry</i>, vol. 14, no. 10. MDPI, 2022.","ama":"Salasnich L, Cappellaro A, Furutani K, Tononi A, Bighin G. First and second sound in two-dimensional bosonic and fermionic superfluids. <i>Symmetry</i>. 2022;14(10). doi:<a href=\"https://doi.org/10.3390/sym14102182\">10.3390/sym14102182</a>"},"issue":"10","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"_id":"12154","date_updated":"2023-08-09T10:13:17Z","type":"journal_article","article_processing_charge":"Yes","doi":"10.3390/sym14102182","publisher":"MDPI","quality_controlled":"1","ddc":["530"],"keyword":["Physics and Astronomy (miscellaneous)","General Mathematics","Chemistry (miscellaneous)","Computer Science (miscellaneous)"],"isi":1,"year":"2022","external_id":{"isi":["000875039200001"]},"date_published":"2022-10-17T00:00:00Z","acknowledgement":"This research is partially supported by University of Padova, BIRD grant “Ultracold atoms\r\nin curved geometries”. KF is supported by Fondazione CARIPARO with a PhD fellowship. AT is\r\npartially supported by French National Research Agency ANR Grant Droplets N. ANR-19-CE30-0003-02. LS thanks Herwig Ott and Sandro Wimberger for their kind invitation to the\r\nInternational Workshop “Quantum Transport with ultracold atoms” (2022).","publication":"Symmetry","status":"public"},{"month":"11","department":[{"_id":"MaIb"}],"language":[{"iso":"eng"}],"citation":{"ista":"Qin Y, Qin B, Wang D, Chang C, Zhao L-D. 2022. Solid-state cooling: Thermoelectrics. Energy &#38; Environmental Science. 15(11), 4527–4541.","chicago":"Qin, Yongxin, Bingchao Qin, Dongyang Wang, Cheng Chang, and Li-Dong Zhao. “Solid-State Cooling: Thermoelectrics.” <i>Energy &#38; Environmental Science</i>. Royal Society of Chemistry, 2022. <a href=\"https://doi.org/10.1039/d2ee02408j\">https://doi.org/10.1039/d2ee02408j</a>.","mla":"Qin, Yongxin, et al. “Solid-State Cooling: Thermoelectrics.” <i>Energy &#38; Environmental Science</i>, vol. 15, no. 11, Royal Society of Chemistry, 2022, pp. 4527–41, doi:<a href=\"https://doi.org/10.1039/d2ee02408j\">10.1039/d2ee02408j</a>.","apa":"Qin, Y., Qin, B., Wang, D., Chang, C., &#38; Zhao, L.-D. (2022). Solid-state cooling: Thermoelectrics. <i>Energy &#38; Environmental Science</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d2ee02408j\">https://doi.org/10.1039/d2ee02408j</a>","ama":"Qin Y, Qin B, Wang D, Chang C, Zhao L-D. Solid-state cooling: Thermoelectrics. <i>Energy &#38; Environmental Science</i>. 2022;15(11):4527-4541. doi:<a href=\"https://doi.org/10.1039/d2ee02408j\">10.1039/d2ee02408j</a>","short":"Y. Qin, B. Qin, D. Wang, C. Chang, L.-D. Zhao, Energy &#38; Environmental Science 15 (2022) 4527–4541.","ieee":"Y. Qin, B. Qin, D. Wang, C. Chang, and L.-D. Zhao, “Solid-state cooling: Thermoelectrics,” <i>Energy &#38; Environmental Science</i>, vol. 15, no. 11. Royal Society of Chemistry, pp. 4527–4541, 2022."},"issue":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","day":"01","author":[{"last_name":"Qin","full_name":"Qin, Yongxin","first_name":"Yongxin"},{"first_name":"Bingchao","full_name":"Qin, Bingchao","last_name":"Qin"},{"first_name":"Dongyang","last_name":"Wang","full_name":"Wang, Dongyang"},{"full_name":"Chang, Cheng","id":"9E331C2E-9F27-11E9-AE48-5033E6697425","last_name":"Chang","orcid":"0000-0002-9515-4277","first_name":"Cheng"},{"first_name":"Li-Dong","full_name":"Zhao, Li-Dong","last_name":"Zhao"}],"oa_version":"None","title":"Solid-state cooling: Thermoelectrics","volume":15,"date_created":"2023-01-12T12:08:41Z","article_type":"original","abstract":[{"lang":"eng","text":"The growing demand of thermal management in various fields such as miniaturized 5G chips has motivated researchers to develop new and high-performance solid-state refrigeration technologies, typically including multicaloric and thermoelectric (TE) cooling. Among them, TE cooling has attracted huge attention owing to its advantages of rapid response, large cooling temperature difference, high stability, and tunable device size. Bi2Te3-based alloys have long been the only commercialized TE cooling materials, while novel systems SnSe and Mg3(Bi,Sb)2 have recently been discovered as potential candidates. However, challenges and problems still require to be summarized and further resolved for realizing better cooling performance. In this review, we systematically investigate TE cooling from its internal mechanism, crucial parameters, to device design and applications. Furthermore, we summarize the current optimization strategies for existing TE cooling materials, and finally provide some personal prospects especially the material-planification concept on future research on establishing better TE cooling."}],"intvolume":"        15","publication_status":"published","publication_identifier":{"issn":["1754-5692"],"eissn":["1754-5706"]},"isi":1,"year":"2022","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1039/d3ee90067c"}]},"external_id":{"isi":["000863642400001"]},"keyword":["Pollution","Nuclear Energy and Engineering","Renewable Energy","Sustainability and the Environment","Environmental Chemistry"],"status":"public","publication":"Energy & Environmental Science","acknowledgement":"We acknowledge support from the National Key Research and Development Program of China (2018YFA0702100), the National Natural Science Foundation of China (51571007, 51772012, 52002011 and 52002042), the Basic Science Center Project of National Natural Science Foundation of China (51788104), Beijing Natural Science Foundation (JQ18004), 111 Project (B17002), and the National Science Fund for Distinguished Young Scholars (51925101).","date_published":"2022-11-01T00:00:00Z","article_processing_charge":"No","doi":"10.1039/d2ee02408j","publisher":"Royal Society of Chemistry","_id":"12155","date_updated":"2024-01-22T08:13:43Z","type":"journal_article","page":"4527-4541","quality_controlled":"1"},{"keyword":["Applied Mathematics","Computer Science Applications","Drug Discovery","General Biochemistry","Genetics and Molecular Biology","Modeling and Simulation"],"year":"2022","date_published":"2022-09-01T00:00:00Z","acknowledgement":"This work was supported through the Center for the Physics of Biological Function (PHYe1734030) and by National Institutes of Health Grants R01GM097275 and U01DK127429 (TG). GT acknowledges the support of the Austrian Science Fund grant FWF P28844 and the Human Frontiers Science Program. ","publication":"Current Opinion in Systems Biology","status":"public","project":[{"_id":"254E9036-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Biophysics of information processing in gene regulation","grant_number":"P28844-B27"}],"_id":"12156","date_updated":"2023-02-13T09:20:34Z","type":"journal_article","article_processing_charge":"Yes (via OA deal)","doi":"10.1016/j.coisb.2022.100435","publisher":"Elsevier","quality_controlled":"1","ddc":["570"],"department":[{"_id":"GaTk"}],"file":[{"date_created":"2023-01-24T12:14:10Z","file_size":2214944,"creator":"dernst","date_updated":"2023-01-24T12:14:10Z","file_id":"12362","success":1,"file_name":"2022_CurrentBiology_Zoller.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"97ef01e0cc60cdc84f45640a0f248fb0"}],"article_number":"100435","month":"09","citation":{"ista":"Zoller B, Gregor T, Tkačik G. 2022. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 31(9), 100435.","chicago":"Zoller, Benjamin, Thomas Gregor, and Gašper Tkačik. “Eukaryotic Gene Regulation at Equilibrium, or Non?” <i>Current Opinion in Systems Biology</i>. Elsevier, 2022. <a href=\"https://doi.org/10.1016/j.coisb.2022.100435\">https://doi.org/10.1016/j.coisb.2022.100435</a>.","mla":"Zoller, Benjamin, et al. “Eukaryotic Gene Regulation at Equilibrium, or Non?” <i>Current Opinion in Systems Biology</i>, vol. 31, no. 9, 100435, Elsevier, 2022, doi:<a href=\"https://doi.org/10.1016/j.coisb.2022.100435\">10.1016/j.coisb.2022.100435</a>.","apa":"Zoller, B., Gregor, T., &#38; Tkačik, G. (2022). Eukaryotic gene regulation at equilibrium, or non? <i>Current Opinion in Systems Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.coisb.2022.100435\">https://doi.org/10.1016/j.coisb.2022.100435</a>","ama":"Zoller B, Gregor T, Tkačik G. Eukaryotic gene regulation at equilibrium, or non? <i>Current Opinion in Systems Biology</i>. 2022;31(9). doi:<a href=\"https://doi.org/10.1016/j.coisb.2022.100435\">10.1016/j.coisb.2022.100435</a>","short":"B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).","ieee":"B. Zoller, T. Gregor, and G. Tkačik, “Eukaryotic gene regulation at equilibrium, or non?,” <i>Current Opinion in Systems Biology</i>, vol. 31, no. 9. Elsevier, 2022."},"issue":"9","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"volume":31,"date_created":"2023-01-12T12:08:51Z","article_type":"original","scopus_import":"1","day":"01","author":[{"first_name":"Benjamin","full_name":"Zoller, Benjamin","last_name":"Zoller"},{"first_name":"Thomas","last_name":"Gregor","full_name":"Gregor, Thomas"},{"first_name":"Gašper","orcid":"1","last_name":"Tkačik","full_name":"Tkačik, Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","title":"Eukaryotic gene regulation at equilibrium, or non?","file_date_updated":"2023-01-24T12:14:10Z","publication_status":"published","publication_identifier":{"issn":["2452-3100"]},"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"        31","abstract":[{"text":"Models of transcriptional regulation that assume equilibrium binding of transcription factors have been less successful at predicting gene expression from sequence in eukaryotes than in bacteria. This could be due to the non-equilibrium nature of eukaryotic regulation. Unfortunately, the space of possible non-equilibrium mechanisms is vast and predominantly uninteresting. The key question is therefore how this space can be navigated efficiently, to focus on mechanisms and models that are biologically relevant. In this review, we advocate for the normative role of theory—theory that prescribes rather than just describes—in providing such a focus. Theory should expand its remit beyond inferring mechanistic models from data, towards identifying non-equilibrium gene regulatory schemes that may have been evolutionarily selected, despite their energy consumption, because they are precise, reliable, fast, or otherwise outperform regulation at equilibrium. We illustrate our reasoning by toy examples for which we provide simulation code.","lang":"eng"}]},{"_id":"12157","date_updated":"2023-08-04T09:04:58Z","type":"journal_article","article_processing_charge":"No","doi":"10.7554/elife.66697","publisher":"eLife Sciences Publications","quality_controlled":"1","ddc":["570"],"keyword":["General Immunology and Microbiology","General Biochemistry","Genetics and Molecular Biology","General Medicine","General Neuroscience"],"isi":1,"year":"2022","external_id":{"isi":["000890735600001"]},"date_published":"2022-09-26T00:00:00Z","acknowledgement":"We thank Guy Amster, Jeremy Berg, Nick Barton, Yuval Simons and Molly Przeworski for many helpful discussions, and Jeremy Berg, Graham Coop, Joachim Hermisson, Guillaume Martin, Will Milligan, Peter Ralph, Yuval Simons, Leo Speidel and Molly Przeworski for comments on the manuscript.\r\nNational Institutes of Health GM115889 Laura Katharine Hayward Guy Sella \r\nNational Institutes of Health GM121372 Laura Katharine Hayward","publication":"eLife","status":"public","volume":11,"date_created":"2023-01-12T12:09:00Z","article_type":"original","scopus_import":"1","day":"26","author":[{"first_name":"Laura","id":"fc885ee5-24bf-11eb-ad7b-bcc5104c0c1b","full_name":"Hayward, Laura","last_name":"Hayward"},{"first_name":"Guy","last_name":"Sella","full_name":"Sella, Guy"}],"title":"Polygenic adaptation after a sudden change in environment","oa_version":"Published Version","file_date_updated":"2023-01-24T12:21:32Z","publication_status":"published","publication_identifier":{"eissn":["2050-084X"]},"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Polygenic adaptation is thought to be ubiquitous, yet remains poorly understood. Here, we model this process analytically, in the plausible setting of a highly polygenic, quantitative trait that experiences a sudden shift in the fitness optimum. We show how the mean phenotype changes over time, depending on the effect sizes of loci that contribute to variance in the trait, and characterize the allele dynamics at these loci. Notably, we describe the two phases of the allele dynamics: The first is a rapid phase, in which directional selection introduces small frequency differences between alleles whose effects are aligned with or opposed to the shift, ultimately leading to small differences in their probability of fixation during a second, longer phase, governed by stabilizing selection. As we discuss, key results should hold in more general settings and have important implications for efforts to identify the genetic basis of adaptation in humans and other species."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"        11","department":[{"_id":"NiBa"}],"article_number":"66697","file":[{"date_created":"2023-01-24T12:21:32Z","file_size":18935612,"creator":"dernst","date_updated":"2023-01-24T12:21:32Z","file_id":"12363","file_name":"2022_eLife_Hayward.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"28de155b231ac1c8d4501c98b2fb359a"}],"month":"09","citation":{"chicago":"Hayward, Laura, and Guy Sella. “Polygenic Adaptation after a Sudden Change in Environment.” <i>ELife</i>. eLife Sciences Publications, 2022. <a href=\"https://doi.org/10.7554/elife.66697\">https://doi.org/10.7554/elife.66697</a>.","ista":"Hayward L, Sella G. 2022. Polygenic adaptation after a sudden change in environment. eLife. 11, 66697.","apa":"Hayward, L., &#38; Sella, G. (2022). Polygenic adaptation after a sudden change in environment. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/elife.66697\">https://doi.org/10.7554/elife.66697</a>","mla":"Hayward, Laura, and Guy Sella. “Polygenic Adaptation after a Sudden Change in Environment.” <i>ELife</i>, vol. 11, 66697, eLife Sciences Publications, 2022, doi:<a href=\"https://doi.org/10.7554/elife.66697\">10.7554/elife.66697</a>.","ama":"Hayward L, Sella G. Polygenic adaptation after a sudden change in environment. <i>eLife</i>. 2022;11. doi:<a href=\"https://doi.org/10.7554/elife.66697\">10.7554/elife.66697</a>","ieee":"L. Hayward and G. Sella, “Polygenic adaptation after a sudden change in environment,” <i>eLife</i>, vol. 11. eLife Sciences Publications, 2022.","short":"L. Hayward, G. Sella, ELife 11 (2022)."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}]},{"oa_version":"None","title":"Hierarchical consensus: A horizontal scaling framework for blockchains","author":[{"first_name":"Alfonso","last_name":"De la Rocha","full_name":"De la Rocha, Alfonso"},{"first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","last_name":"Kokoris Kogias"},{"full_name":"Soares, Jorge M.","last_name":"Soares","first_name":"Jorge M."},{"full_name":"Vukolic, Marko","last_name":"Vukolic","first_name":"Marko"}],"scopus_import":"1","day":"29","date_created":"2023-01-12T12:09:28Z","volume":2022,"intvolume":"      2022","abstract":[{"lang":"eng","text":"We present the Filecoin Hierarchical Consensus framework, which aims to overcome the throughput challenges of blockchain consensus by horizontally scaling the network. Unlike traditional sharding designs, based on partitioning the state of the network, our solution centers on the concept of subnets -which are organized hierarchically- and can be spawned on-demand to manage new state. Child sub nets are firewalled from parent subnets, have their own specific policies, and run a different consensus algorithm, increasing the network capacity and enabling new applications. Moreover, they benefit from the security of parent subnets by periodically checkpointing state. In this paper, we introduce the overall system architecture, our detailed designs for cross-net transaction handling, and the open questions that we are still exploring."}],"publication_status":"published","publication_identifier":{"eisbn":["9781665488792"],"eissn":["2332-5666"]},"month":"11","department":[{"_id":"ElKo"}],"language":[{"iso":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ista":"De la Rocha A, Kokoris Kogias E, Soares JM, Vukolic M. 2022. Hierarchical consensus: A horizontal scaling framework for blockchains. 42nd International Conference on Distributed Computing Systems Workshops. ICDCSW: International Conference on Distributed Computing Systems Workshop vol. 2022, 45–52.","chicago":"De la Rocha, Alfonso, Eleftherios Kokoris Kogias, Jorge M. Soares, and Marko Vukolic. “Hierarchical Consensus: A Horizontal Scaling Framework for Blockchains.” In <i>42nd International Conference on Distributed Computing Systems Workshops</i>, 2022:45–52. Institute of Electrical and Electronics Engineers, 2022. <a href=\"https://doi.org/10.1109/icdcsw56584.2022.00018\">https://doi.org/10.1109/icdcsw56584.2022.00018</a>.","mla":"De la Rocha, Alfonso, et al. “Hierarchical Consensus: A Horizontal Scaling Framework for Blockchains.” <i>42nd International Conference on Distributed Computing Systems Workshops</i>, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 45–52, doi:<a href=\"https://doi.org/10.1109/icdcsw56584.2022.00018\">10.1109/icdcsw56584.2022.00018</a>.","apa":"De la Rocha, A., Kokoris Kogias, E., Soares, J. M., &#38; Vukolic, M. (2022). Hierarchical consensus: A horizontal scaling framework for blockchains. In <i>42nd International Conference on Distributed Computing Systems Workshops</i> (Vol. 2022, pp. 45–52). Bologna, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/icdcsw56584.2022.00018\">https://doi.org/10.1109/icdcsw56584.2022.00018</a>","ama":"De la Rocha A, Kokoris Kogias E, Soares JM, Vukolic M. Hierarchical consensus: A horizontal scaling framework for blockchains. In: <i>42nd International Conference on Distributed Computing Systems Workshops</i>. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:45-52. doi:<a href=\"https://doi.org/10.1109/icdcsw56584.2022.00018\">10.1109/icdcsw56584.2022.00018</a>","short":"A. De la Rocha, E. Kokoris Kogias, J.M. Soares, M. Vukolic, in:, 42nd International Conference on Distributed Computing Systems Workshops, Institute of Electrical and Electronics Engineers, 2022, pp. 45–52.","ieee":"A. De la Rocha, E. Kokoris Kogias, J. M. Soares, and M. Vukolic, “Hierarchical consensus: A horizontal scaling framework for blockchains,” in <i>42nd International Conference on Distributed Computing Systems Workshops</i>, Bologna, Italy, 2022, vol. 2022, pp. 45–52."},"publisher":"Institute of Electrical and Electronics Engineers","doi":"10.1109/icdcsw56584.2022.00018","article_processing_charge":"No","type":"conference","date_updated":"2023-08-04T09:06:02Z","_id":"12160","page":"45-52","quality_controlled":"1","external_id":{"isi":["000895984800009"]},"year":"2022","isi":1,"publication":"42nd International Conference on Distributed Computing Systems Workshops","status":"public","date_published":"2022-11-29T00:00:00Z","conference":{"location":"Bologna, Italy","end_date":"2022-07-10","start_date":"2022-07-10","name":"ICDCSW: International Conference on Distributed Computing Systems Workshop"}},{"day":"29","scopus_import":"1","author":[{"last_name":"Tomaszewska","full_name":"Tomaszewska, Paulina","first_name":"Paulina"},{"last_name":"Lampert","full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","first_name":"Christoph"}],"title":"Lightweight conditional model extrapolation for streaming data under class-prior shift","oa_version":"Preprint","volume":2022,"date_created":"2023-01-12T12:09:38Z","intvolume":"      2022","abstract":[{"lang":"eng","text":"We introduce LIMES, a new method for learning with non-stationary streaming data, inspired by the recent success of meta-learning. The main idea is not to attempt to learn a single classifier that would have to work well across all occurring data distributions, nor many separate classifiers, but to exploit a hybrid strategy: we learn a single set of model parameters from which a specific classifier for any specific data distribution is derived via classifier adaptation. Assuming a multiclass classification setting with class-prior shift, the adaptation step can be performed analytically with only the classifier’s bias terms being affected. Another contribution of our work is an extrapolation step that predicts suitable adaptation parameters for future time steps based on the previous data. In combination, we obtain a lightweight procedure for learning from streaming data with varying class distribution that adds no trainable parameters and almost no memory or computational overhead compared to training a single model. Experiments on a set of exemplary tasks using Twitter data show that LIMES achieves higher accuracy than alternative approaches, especially with respect to the relevant real-world metric of lowest within-day accuracy."}],"publication_identifier":{"eisbn":["9781665490627"],"eissn":["2831-7475"]},"publication_status":"published","arxiv":1,"month":"11","department":[{"_id":"ChLa"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Tomaszewska, Paulina, and Christoph Lampert. “Lightweight Conditional Model Extrapolation for Streaming Data under Class-Prior Shift.” In <i>26th International Conference on Pattern Recognition</i>, 2022:2128–34. Institute of Electrical and Electronics Engineers, 2022. <a href=\"https://doi.org/10.1109/icpr56361.2022.9956195\">https://doi.org/10.1109/icpr56361.2022.9956195</a>.","ista":"Tomaszewska P, Lampert C. 2022. Lightweight conditional model extrapolation for streaming data under class-prior shift. 26th International Conference on Pattern Recognition. ICPR: International Conference on Pattern Recognition vol. 2022, 2128–2134.","apa":"Tomaszewska, P., &#38; Lampert, C. (2022). Lightweight conditional model extrapolation for streaming data under class-prior shift. In <i>26th International Conference on Pattern Recognition</i> (Vol. 2022, pp. 2128–2134). Montreal, Canada: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/icpr56361.2022.9956195\">https://doi.org/10.1109/icpr56361.2022.9956195</a>","mla":"Tomaszewska, Paulina, and Christoph Lampert. “Lightweight Conditional Model Extrapolation for Streaming Data under Class-Prior Shift.” <i>26th International Conference on Pattern Recognition</i>, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 2128–34, doi:<a href=\"https://doi.org/10.1109/icpr56361.2022.9956195\">10.1109/icpr56361.2022.9956195</a>.","ama":"Tomaszewska P, Lampert C. Lightweight conditional model extrapolation for streaming data under class-prior shift. In: <i>26th International Conference on Pattern Recognition</i>. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:2128-2134. doi:<a href=\"https://doi.org/10.1109/icpr56361.2022.9956195\">10.1109/icpr56361.2022.9956195</a>","ieee":"P. Tomaszewska and C. Lampert, “Lightweight conditional model extrapolation for streaming data under class-prior shift,” in <i>26th International Conference on Pattern Recognition</i>, Montreal, Canada, 2022, vol. 2022, pp. 2128–2134.","short":"P. Tomaszewska, C. Lampert, in:, 26th International Conference on Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 2128–2134."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","doi":"10.1109/icpr56361.2022.9956195","publisher":"Institute of Electrical and Electronics Engineers","_id":"12161","date_updated":"2023-08-04T09:06:34Z","type":"conference","page":"2128-2134","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2206.05181"}],"quality_controlled":"1","isi":1,"year":"2022","external_id":{"isi":["000897707602018"],"arxiv":["2206.05181"]},"publication":"26th International Conference on Pattern Recognition","status":"public","conference":{"end_date":"2022-08-25","start_date":"2022-08-21","name":"ICPR: International Conference on Pattern Recognition","location":"Montreal, Canada"},"date_published":"2022-11-29T00:00:00Z"},{"year":"2022","isi":1,"external_id":{"isi":["000892168800001"]},"keyword":["Genetics","Ecology","Evolution","Behavior and Systematics"],"publication":"Molecular Ecology","status":"public","date_published":"2022-11-28T00:00:00Z","article_processing_charge":"No","doi":"10.1111/mec.16779","publisher":"Wiley","_id":"12166","date_updated":"2023-08-04T09:09:15Z","type":"journal_article","page":"26-29","main_file_link":[{"url":"https://doi.org/10.1111/mec.16779","open_access":"1"}],"quality_controlled":"1","month":"11","department":[{"_id":"NiBa"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"ama":"Westram AM, Butlin R. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. <i>Molecular Ecology</i>. 2022;32(1):26-29. doi:<a href=\"https://doi.org/10.1111/mec.16779\">10.1111/mec.16779</a>","short":"A.M. Westram, R. Butlin, Molecular Ecology 32 (2022) 26–29.","ieee":"A. M. Westram and R. Butlin, “Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize,” <i>Molecular Ecology</i>, vol. 32, no. 1. Wiley, pp. 26–29, 2022.","ista":"Westram AM, Butlin R. 2022. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. 32(1), 26–29.","chicago":"Westram, Anja M, and Roger Butlin. “Professor Kerstin Johannesson–Winner of the 2022 Molecular Ecology Prize.” <i>Molecular Ecology</i>. Wiley, 2022. <a href=\"https://doi.org/10.1111/mec.16779\">https://doi.org/10.1111/mec.16779</a>.","mla":"Westram, Anja M., and Roger Butlin. “Professor Kerstin Johannesson–Winner of the 2022 Molecular Ecology Prize.” <i>Molecular Ecology</i>, vol. 32, no. 1, Wiley, 2022, pp. 26–29, doi:<a href=\"https://doi.org/10.1111/mec.16779\">10.1111/mec.16779</a>.","apa":"Westram, A. M., &#38; Butlin, R. (2022). Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. <i>Molecular Ecology</i>. Wiley. <a href=\"https://doi.org/10.1111/mec.16779\">https://doi.org/10.1111/mec.16779</a>"},"issue":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"28","scopus_import":"1","author":[{"first_name":"Anja M","orcid":"0000-0003-1050-4969","last_name":"Westram","id":"3C147470-F248-11E8-B48F-1D18A9856A87","full_name":"Westram, Anja M"},{"first_name":"Roger","full_name":"Butlin, Roger","last_name":"Butlin"}],"oa_version":"Published Version","title":"Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize","volume":32,"date_created":"2023-01-12T12:10:28Z","article_type":"letter_note","intvolume":"        32","abstract":[{"text":"Kerstin Johannesson is a marine ecologist and evolutionary biologist based at the Tjärnö Marine Laboratory of the University of Gothenburg, which is situated in the beautiful Kosterhavet National Park on the Swedish west coast. Her work, using marine periwinkles (especially Littorina saxatilis and L. fabalis) as main model systems, has made a remarkable contribution to marine evolutionary biology and our understanding of local adaptation and its genetic underpinnings.","lang":"eng"}],"publication_identifier":{"eissn":["1365-294X"],"issn":["0962-1083"]},"publication_status":"published"},{"article_processing_charge":"No","alternative_title":["LNCS"],"doi":"10.1007/978-3-031-18283-9_17","publisher":"Springer Nature","_id":"12167","date_updated":"2023-09-05T15:10:57Z","type":"conference","page":"358-373","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2110.08848","open_access":"1"}],"quality_controlled":"1","year":"2022","external_id":{"arxiv":["2110.08848"]},"status":"public","publication":"Financial Cryptography and Data Security","conference":{"name":"FC: Financial Cryptography and Data Security","start_date":"2022-05-02","end_date":"2022-05-06","location":"Grenada"},"date_published":"2022-10-22T00:00:00Z","day":"22","scopus_import":"1","author":[{"id":"c20482a0-3b89-11eb-9862-88cf6404b88c","full_name":"Avarikioti, Georgia","last_name":"Avarikioti","first_name":"Georgia"},{"orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak"},{"first_name":"Iosif","full_name":"Salem, Iosif","last_name":"Salem"},{"last_name":"Schmid","full_name":"Schmid, Stefan","first_name":"Stefan"},{"full_name":"Tiwari, Samarth","last_name":"Tiwari","first_name":"Samarth"},{"first_name":"Michelle X","last_name":"Yeo","full_name":"Yeo, Michelle X","id":"2D82B818-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Preprint","title":"Hide & Seek: Privacy-preserving rebalancing on payment channel networks","volume":13411,"date_created":"2023-01-12T12:10:38Z","intvolume":"     13411","abstract":[{"lang":"eng","text":"Payment channels effectively move the transaction load off-chain thereby successfully addressing the inherent scalability problem most cryptocurrencies face. A major drawback of payment channels is the need to “top up” funds on-chain when a channel is depleted. Rebalancing was proposed to alleviate this issue, where parties with depleting channels move their funds along a cycle to replenish their channels off-chain. Protocols for rebalancing so far either introduce local solutions or compromise privacy.\r\nIn this work, we present an opt-in rebalancing protocol that is both private and globally optimal, meaning our protocol maximizes the total amount of rebalanced funds. We study rebalancing from the framework of linear programming. To obtain full privacy guarantees, we leverage multi-party computation in solving the linear program, which is executed by selected participants to maintain efficiency. Finally, we efficiently decompose the rebalancing solution into incentive-compatible cycles which conserve user balances when executed atomically."}],"publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783031182839"],"isbn":["9783031182822"],"issn":["0302-9743"]},"publication_status":"published","arxiv":1,"month":"10","department":[{"_id":"KrPi"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"short":"G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.","ieee":"G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide &#38; Seek: Privacy-preserving rebalancing on payment channel networks,” in <i>Financial Cryptography and Data Security</i>, Grenada, 2022, vol. 13411, pp. 358–373.","ama":"Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. Hide &#38; Seek: Privacy-preserving rebalancing on payment channel networks. In: <i>Financial Cryptography and Data Security</i>. Vol 13411. Springer Nature; 2022:358-373. doi:<a href=\"https://doi.org/10.1007/978-3-031-18283-9_17\">10.1007/978-3-031-18283-9_17</a>","mla":"Avarikioti, Georgia, et al. “Hide &#38; Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.” <i>Financial Cryptography and Data Security</i>, vol. 13411, Springer Nature, 2022, pp. 358–73, doi:<a href=\"https://doi.org/10.1007/978-3-031-18283-9_17\">10.1007/978-3-031-18283-9_17</a>.","apa":"Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., &#38; Yeo, M. X. (2022). Hide &#38; Seek: Privacy-preserving rebalancing on payment channel networks. In <i>Financial Cryptography and Data Security</i> (Vol. 13411, pp. 358–373). Grenada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-18283-9_17\">https://doi.org/10.1007/978-3-031-18283-9_17</a>","ista":"Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. 2022. Hide &#38; Seek: Privacy-preserving rebalancing on payment channel networks. Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 358–373.","chicago":"Avarikioti, Georgia, Krzysztof Z Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, and Michelle X Yeo. “Hide &#38; Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.” In <i>Financial Cryptography and Data Security</i>, 13411:358–73. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-18283-9_17\">https://doi.org/10.1007/978-3-031-18283-9_17</a>."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"page":"279-295","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2110.00960","open_access":"1"}],"publisher":"Springer Nature","alternative_title":["LNCS"],"article_processing_charge":"No","doi":"10.1007/978-3-031-18283-9_13","type":"conference","_id":"12168","date_updated":"2023-09-05T15:11:35Z","status":"public","publication":"International Conference on Financial Cryptography and Data Security","date_published":"2022-10-22T00:00:00Z","conference":{"location":"Grenada","name":"FC: Financial Cryptography and Data Security","start_date":"2022-05-02","end_date":"2022-05-06"},"external_id":{"arxiv":["2110.00960"]},"year":"2022","intvolume":"     13411","abstract":[{"text":"Advances in blockchains have influenced the State-Machine-Replication (SMR) world and many state-of-the-art blockchain-SMR solutions are based on two pillars: Chaining and Leader-rotation. A predetermined round-robin mechanism used for Leader-rotation, however, has an undesirable behavior: crashed parties become designated leaders infinitely often, slowing down overall system performance. In this paper, we provide a new Leader-Aware SMR framework that, among other desirable properties, formalizes a Leader-utilization requirement that bounds the number of rounds whose leaders are faulty in crash-only executions.\r\nWe introduce Carousel, a novel, reputation-based Leader-rotation solution to achieve Leader-Aware SMR. The challenge in adaptive Leader-rotation is that it cannot rely on consensus to determine a leader, since consensus itself needs a leader. Carousel uses the available on-chain information to determine a leader locally and achieves Liveness despite this difficulty. A HotStuff implementation fitted with Carousel demonstrates drastic performance improvements: it increases throughput over 2x in faultless settings and provided a 20x throughput increase and 5x latency reduction in the presence of faults.","lang":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031182822"],"eisbn":["9783031182839"],"eissn":["1611-3349"]},"title":"Be aware of your leaders","oa_version":"Preprint","scopus_import":"1","day":"22","author":[{"last_name":"Cohen","full_name":"Cohen, Shir","first_name":"Shir"},{"last_name":"Gelashvili","full_name":"Gelashvili, Rati","first_name":"Rati"},{"first_name":"Eleftherios","last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios"},{"first_name":"Zekun","full_name":"Li, Zekun","last_name":"Li"},{"full_name":"Malkhi, Dahlia","last_name":"Malkhi","first_name":"Dahlia"},{"last_name":"Sonnino","full_name":"Sonnino, Alberto","first_name":"Alberto"},{"first_name":"Alexander","full_name":"Spiegelman, Alexander","last_name":"Spiegelman"}],"date_created":"2023-01-12T12:10:49Z","volume":13411,"language":[{"iso":"eng"}],"oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"apa":"Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., &#38; Spiegelman, A. (2022). Be aware of your leaders. In <i>International Conference on Financial Cryptography and Data Security</i> (Vol. 13411, pp. 279–295). Grenada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-18283-9_13\">https://doi.org/10.1007/978-3-031-18283-9_13</a>","mla":"Cohen, Shir, et al. “Be Aware of Your Leaders.” <i>International Conference on Financial Cryptography and Data Security</i>, vol. 13411, Springer Nature, 2022, pp. 279–95, doi:<a href=\"https://doi.org/10.1007/978-3-031-18283-9_13\">10.1007/978-3-031-18283-9_13</a>.","ista":"Cohen S, Gelashvili R, Kokoris Kogias E, Li Z, Malkhi D, Sonnino A, Spiegelman A. 2022. Be aware of your leaders. International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 279–295.","chicago":"Cohen, Shir, Rati Gelashvili, Eleftherios Kokoris Kogias, Zekun Li, Dahlia Malkhi, Alberto Sonnino, and Alexander Spiegelman. “Be Aware of Your Leaders.” In <i>International Conference on Financial Cryptography and Data Security</i>, 13411:279–95. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-18283-9_13\">https://doi.org/10.1007/978-3-031-18283-9_13</a>.","ieee":"S. Cohen <i>et al.</i>, “Be aware of your leaders,” in <i>International Conference on Financial Cryptography and Data Security</i>, Grenada, 2022, vol. 13411, pp. 279–295.","short":"S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.","ama":"Cohen S, Gelashvili R, Kokoris Kogias E, et al. Be aware of your leaders. In: <i>International Conference on Financial Cryptography and Data Security</i>. Vol 13411. Springer Nature; 2022:279-295. doi:<a href=\"https://doi.org/10.1007/978-3-031-18283-9_13\">10.1007/978-3-031-18283-9_13</a>"},"arxiv":1,"month":"10","department":[{"_id":"ElKo"}]},{"oa_version":"None","title":"PET – A partial exploration tool for probabilistic verification","author":[{"full_name":"Meggendorfer, Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias","orcid":"0000-0002-1712-2165"}],"scopus_import":"1","day":"21","date_created":"2023-01-12T12:11:07Z","volume":13505,"intvolume":"     13505","abstract":[{"text":"We present PET, a specialized and highly optimized framework for partial exploration on probabilistic systems. Over the last decade, several significant advances in the analysis of Markov decision processes employed partial exploration. In a nutshell, this idea allows to focus computation on specific parts of the system, guided by heuristics, while maintaining correctness. In particular, only relevant parts of the system are constructed on demand, which in turn potentially allows to omit constructing large parts of the system. Depending on the model, this leads to dramatic speed-ups, in extreme cases even up to an arbitrary factor. PET unifies several previous implementations and provides a flexible framework to easily implement partial exploration for many further problems. Our experimental evaluation shows significant improvements compared to the previous implementations while vastly reducing the overhead required to add support for additional properties.","lang":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031199912"],"eissn":["1611-3349"],"eisbn":["9783031199929"]},"month":"10","department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.” In <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, 13505:320–26. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-19992-9_20\">https://doi.org/10.1007/978-3-031-19992-9_20</a>.","ista":"Meggendorfer T. 2022. PET – A partial exploration tool for probabilistic verification. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 320–326.","mla":"Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.” <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, vol. 13505, Springer Nature, 2022, pp. 320–26, doi:<a href=\"https://doi.org/10.1007/978-3-031-19992-9_20\">10.1007/978-3-031-19992-9_20</a>.","apa":"Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In <i>20th International Symposium on Automated Technology for Verification and Analysis</i> (Vol. 13505, pp. 320–326). Virtual: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-19992-9_20\">https://doi.org/10.1007/978-3-031-19992-9_20</a>","ama":"Meggendorfer T. PET – A partial exploration tool for probabilistic verification. In: <i>20th International Symposium on Automated Technology for Verification and Analysis</i>. Vol 13505. Springer Nature; 2022:320-326. doi:<a href=\"https://doi.org/10.1007/978-3-031-19992-9_20\">10.1007/978-3-031-19992-9_20</a>","short":"T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.","ieee":"T. Meggendorfer, “PET – A partial exploration tool for probabilistic verification,” in <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, Virtual, 2022, vol. 13505, pp. 320–326."},"publisher":"Springer Nature","doi":"10.1007/978-3-031-19992-9_20","alternative_title":["LNCS"],"article_processing_charge":"No","type":"conference","date_updated":"2023-09-05T15:11:51Z","_id":"12170","page":"320-326","quality_controlled":"1","year":"2022","publication":"20th International Symposium on Automated Technology for Verification and Analysis","status":"public","acknowledgement":"We thank Pranav Ashok and Maximilian Weininger for their contributions to spiritual predecessors of PET as well as motivating the initial development of this tool.","date_published":"2022-10-21T00:00:00Z","conference":{"location":"Virtual","name":"ATVA: Automated Technology for Verification and Analysis","end_date":"2022-10-28","start_date":"2022-10-25"}},{"arxiv":1,"month":"10","department":[{"_id":"ToHe"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"short":"M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.","ieee":"M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric hybrid automata from time series,” in <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, Virtual, 2022, vol. 13505, pp. 337–353.","ama":"Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: <i>20th International Symposium on Automated Technology for Verification and Analysis</i>. Vol 13505. Springer Nature; 2022:337-353. doi:<a href=\"https://doi.org/10.1007/978-3-031-19992-9_22\">10.1007/978-3-031-19992-9_22</a>","mla":"Garcia Soto, Miriam, et al. “Synthesis of Parametric Hybrid Automata from Time Series.” <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, vol. 13505, Springer Nature, 2022, pp. 337–53, doi:<a href=\"https://doi.org/10.1007/978-3-031-19992-9_22\">10.1007/978-3-031-19992-9_22</a>.","apa":"Garcia Soto, M., Henzinger, T. A., &#38; Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In <i>20th International Symposium on Automated Technology for Verification and Analysis</i> (Vol. 13505, pp. 337–353). Virtual: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-19992-9_22\">https://doi.org/10.1007/978-3-031-19992-9_22</a>","ista":"Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.","chicago":"Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” In <i>20th International Symposium on Automated Technology for Verification and Analysis</i>, 13505:337–53. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-19992-9_22\">https://doi.org/10.1007/978-3-031-19992-9_22</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Miriam","orcid":"0000-0003-2936-5719","last_name":"Garcia Soto","full_name":"Garcia Soto, Miriam","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-3658-1065","first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","full_name":"Schilling, Christian","last_name":"Schilling"}],"scopus_import":"1","day":"21","oa_version":"Preprint","title":"Synthesis of parametric hybrid automata from time series","volume":13505,"date_created":"2023-01-12T12:11:16Z","abstract":[{"lang":"eng","text":"We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models with the same discrete structure but different dynamics. Each model in the family is guaranteed to capture the input data up to a precision error ε, in the following sense: For each time series, the model contains an execution that is ε-close to the data points. Our construction allows to effectively choose a model from this family with minimal precision error ε. We demonstrate the algorithm’s efficiency and its ability to find precise models in two case studies."}],"intvolume":"     13505","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031199912"],"eisbn":["9783031199929"],"eissn":["1611-3349"]},"publication_status":"published","year":"2022","external_id":{"arxiv":["2208.06383"]},"project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"publication":"20th International Symposium on Automated Technology for Verification and Analysis","status":"public","ec_funded":1,"conference":{"name":"ATVA: Automated Technology for Verification and Analysis","end_date":"2022-10-28","start_date":"2022-10-25","location":"Virtual"},"date_published":"2022-10-21T00:00:00Z","acknowledgement":"This work was supported in part by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 847635, by the ERC-2020-AdG 101020093, by DIREC - Digital Research Centre Denmark, and by the Villum Investigator Grant S4OS.","doi":"10.1007/978-3-031-19992-9_22","article_processing_charge":"No","alternative_title":["LNCS"],"publisher":"Springer Nature","date_updated":"2023-02-13T09:27:55Z","_id":"12171","type":"conference","page":"337-353","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2208.06383","open_access":"1"}],"quality_controlled":"1"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","issue":"1","citation":{"ama":"Baumgartner M, Zirnbauer R, Schlager S, et al. Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. <i>Gut Microbes</i>. 2022;14(1). doi:<a href=\"https://doi.org/10.1080/19490976.2022.2143218\">10.1080/19490976.2022.2143218</a>","ieee":"M. Baumgartner <i>et al.</i>, “Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis,” <i>Gut Microbes</i>, vol. 14, no. 1. Taylor &#38; Francis, 2022.","short":"M. Baumgartner, R. Zirnbauer, S. Schlager, D. Mertens, N. Gasche, B. Sladek, C. Herbold, O. Bochkareva, V. Emelianenko, H. Vogelsang, M. Lang, A. Klotz, B. Moik, A. Makristathis, D. Berry, S. Dabsch, V. Khare, C. Gasche, Gut Microbes 14 (2022).","ista":"Baumgartner M, Zirnbauer R, Schlager S, Mertens D, Gasche N, Sladek B, Herbold C, Bochkareva O, Emelianenko V, Vogelsang H, Lang M, Klotz A, Moik B, Makristathis A, Berry D, Dabsch S, Khare V, Gasche C. 2022. Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. Gut Microbes. 14(1), e2143218.","chicago":"Baumgartner, Maximilian, Rebecca Zirnbauer, Sabine Schlager, Daniel Mertens, Nikolaus Gasche, Barbara Sladek, Craig Herbold, et al. “Atypical Enteropathogenic E. Coli Are Associated with Disease Activity in Ulcerative Colitis.” <i>Gut Microbes</i>. Taylor &#38; Francis, 2022. <a href=\"https://doi.org/10.1080/19490976.2022.2143218\">https://doi.org/10.1080/19490976.2022.2143218</a>.","apa":"Baumgartner, M., Zirnbauer, R., Schlager, S., Mertens, D., Gasche, N., Sladek, B., … Gasche, C. (2022). Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. <i>Gut Microbes</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/19490976.2022.2143218\">https://doi.org/10.1080/19490976.2022.2143218</a>","mla":"Baumgartner, Maximilian, et al. “Atypical Enteropathogenic E. Coli Are Associated with Disease Activity in Ulcerative Colitis.” <i>Gut Microbes</i>, vol. 14, no. 1, e2143218, Taylor &#38; Francis, 2022, doi:<a href=\"https://doi.org/10.1080/19490976.2022.2143218\">10.1080/19490976.2022.2143218</a>."},"language":[{"iso":"eng"}],"oa":1,"file":[{"checksum":"ee7681a17ae27645e9b5c1df61c15429","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2022_GutMicrobes_Baumgartner.pdf","file_id":"12400","creator":"dernst","date_updated":"2023-01-26T10:56:51Z","file_size":4075251,"date_created":"2023-01-26T10:56:51Z"}],"article_number":"e2143218","department":[{"_id":"FyKo"}],"month":"11","publication_status":"published","publication_identifier":{"eissn":["1949-0984"],"issn":["1949-0976"]},"file_date_updated":"2023-01-26T10:56:51Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"With increasing urbanization and industrialization, the prevalence of inflammatory bowel diseases (IBDs) has steadily been rising over the past two decades. IBD involves flares of gastrointestinal (GI) inflammation accompanied by microbiota perturbations. However, microbial mechanisms that trigger such flares remain elusive. Here, we analyzed the association of the emerging pathogen atypical enteropathogenic E. coli (aEPEC) with IBD disease activity. The presence of diarrheagenic E. coli was assessed in stool samples from 630 IBD patients and 234 age- and sex-matched controls without GI symptoms. Microbiota was analyzed with 16S ribosomal RNA gene amplicon sequencing, and 57 clinical aEPEC isolates were subjected to whole-genome sequencing and in vitro pathogenicity experiments including biofilm formation, epithelial barrier function and the ability to induce pro-inflammatory signaling. The presence of aEPEC correlated with laboratory, clinical and endoscopic disease activity in ulcerative colitis (UC), as well as microbiota dysbiosis. In vitro, aEPEC strains induce epithelial p21-activated kinases, disrupt the epithelial barrier and display potent biofilm formation. The effector proteins espV and espG2 distinguish aEPEC cultured from UC and Crohn’s disease patients, respectively. EspV-positive aEPEC harbor more virulence factors and have a higher pro-inflammatory potential, which is counteracted by 5-ASA. aEPEC may tip a fragile immune–microbiota homeostasis and thereby contribute to flares in UC. aEPEC isolates from UC patients display properties to disrupt the epithelial barrier and to induce pro-inflammatory signaling in vitro.","lang":"eng"}],"intvolume":"        14","has_accepted_license":"1","article_type":"original","date_created":"2023-01-12T12:11:36Z","volume":14,"oa_version":"Published Version","title":"Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis","author":[{"full_name":"Baumgartner, Maximilian","last_name":"Baumgartner","first_name":"Maximilian"},{"last_name":"Zirnbauer","full_name":"Zirnbauer, Rebecca","first_name":"Rebecca"},{"last_name":"Schlager","full_name":"Schlager, Sabine","first_name":"Sabine"},{"full_name":"Mertens, Daniel","last_name":"Mertens","first_name":"Daniel"},{"last_name":"Gasche","full_name":"Gasche, Nikolaus","first_name":"Nikolaus"},{"last_name":"Sladek","full_name":"Sladek, Barbara","first_name":"Barbara"},{"last_name":"Herbold","full_name":"Herbold, Craig","first_name":"Craig"},{"full_name":"Bochkareva, Olga","last_name":"Bochkareva","first_name":"Olga"},{"id":"20152b9d-927a-11ed-8107-be36d740812d","full_name":"Emelianenko, Vera","last_name":"Emelianenko","first_name":"Vera"},{"first_name":"Harald","full_name":"Vogelsang, Harald","last_name":"Vogelsang"},{"first_name":"Michaela","last_name":"Lang","full_name":"Lang, Michaela"},{"first_name":"Anton","last_name":"Klotz","full_name":"Klotz, Anton"},{"last_name":"Moik","full_name":"Moik, Birgit","first_name":"Birgit"},{"first_name":"Athanasios","last_name":"Makristathis","full_name":"Makristathis, Athanasios"},{"first_name":"David","full_name":"Berry, David","last_name":"Berry"},{"last_name":"Dabsch","full_name":"Dabsch, Stefanie","first_name":"Stefanie"},{"last_name":"Khare","full_name":"Khare, Vineeta","first_name":"Vineeta"},{"first_name":"Christoph","last_name":"Gasche","full_name":"Gasche, Christoph"}],"day":"22","scopus_import":"1","date_published":"2022-11-22T00:00:00Z","acknowledgement":"We would like to acknowledge Anita Krnjic, Christina Gmainer, Marion Nehr, Helga Mock, and Sena Ecin for technical support in conducting the experiments.\r\nThis study was supported by the Austrian Science Fund (P 32302) and the Vienna Science and Technology Fund (LS18- 053; Austrian Science Fund (FWF)) [P 32302].","status":"public","publication":"Gut Microbes","keyword":["Infectious Diseases","Microbiology (medical)","Gastroenterology","Microbiology"],"external_id":{"isi":["000889180100001"]},"isi":1,"year":"2022","quality_controlled":"1","ddc":["570"],"type":"journal_article","date_updated":"2023-08-04T09:10:18Z","_id":"12173","publisher":"Taylor & Francis","doi":"10.1080/19490976.2022.2143218","article_processing_charge":"No"},{"publication_status":"published","publication_identifier":{"eissn":["1460-2156"],"issn":["0006-8950"]},"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"}],"abstract":[{"lang":"eng","text":"Vacuolar-type H+-ATPase (V-ATPase) is a multimeric complex present in a variety of cellular membranes that acts as an ATP-dependent proton pump and plays a key role in pH homeostasis and intracellular signalling pathways. In humans, 22 autosomal genes encode for a redundant set of subunits allowing the composition of diverse V-ATPase complexes with specific properties and expression. Sixteen subunits have been linked to human disease.\r\nHere we describe 26 patients harbouring 20 distinct pathogenic de novo missense ATP6V1A variants, mainly clustering within the ATP synthase α/β family-nucleotide-binding domain. At a mean age of 7 years (extremes: 6 weeks, youngest deceased patient to 22 years, oldest patient) clinical pictures included early lethal encephalopathies with rapidly progressive massive brain atrophy, severe developmental epileptic encephalopathies and static intellectual disability with epilepsy. The first clinical manifestation was early hypotonia, in 70%; 81% developed epilepsy, manifested as developmental epileptic encephalopathies in 58% of the cohort and with infantile spasms in 62%; 63% of developmental epileptic encephalopathies failed to achieve any developmental, communicative or motor skills. Less severe outcomes were observed in 23% of patients who, at a mean age of 10 years and 6 months, exhibited moderate intellectual disability, with independent walking and variable epilepsy. None of the patients developed communicative language. Microcephaly (38%) and amelogenesis imperfecta/enamel dysplasia (42%) were additional clinical features. Brain MRI demonstrated hypomyelination and generalized atrophy in 68%. Atrophy was progressive in all eight individuals undergoing repeated MRIs.</jats:p>\r\n               <jats:p>Fibroblasts of two patients with developmental epileptic encephalopathies showed decreased LAMP1 expression, Lysotracker staining and increased organelle pH, consistent with lysosomal impairment and loss of V-ATPase function. Fibroblasts of two patients with milder disease, exhibited a different phenotype with increased Lysotracker staining, decreased organelle pH and no significant modification in LAMP1 expression. Quantification of substrates for lysosomal enzymes in cellular extracts from four patients revealed discrete accumulation. Transmission electron microscopy of fibroblasts of four patients with variable severity and of induced pluripotent stem cell-derived neurons from two patients with developmental epileptic encephalopathies showed electron-dense inclusions, lipid droplets, osmiophilic material and lamellated membrane structures resembling phospholipids. Quantitative assessment in induced pluripotent stem cell-derived neurons identified significantly smaller lysosomes.\r\nATP6V1A-related encephalopathy represents a new paradigm among lysosomal disorders. It results from a dysfunctional endo-lysosomal membrane protein causing altered pH homeostasis. Its pathophysiology implies intracellular accumulation of substrates whose composition remains unclear, and a combination of developmental brain abnormalities and neurodegenerative changes established during prenatal and early postanal development, whose severity is variably determined by specific pathogenic variants."}],"intvolume":"       145","volume":145,"date_created":"2023-01-12T12:11:45Z","article_type":"original","day":"01","scopus_import":"1","author":[{"full_name":"Guerrini, Renzo","last_name":"Guerrini","first_name":"Renzo"},{"first_name":"Davide","full_name":"Mei, Davide","last_name":"Mei"},{"full_name":"Szigeti, Margit Katalin","id":"44F4BDC0-F248-11E8-B48F-1D18A9856A87","last_name":"Szigeti","orcid":"0000-0001-9500-8758","first_name":"Margit Katalin"},{"last_name":"Pepe","full_name":"Pepe, Sara","first_name":"Sara"},{"last_name":"Koenig","full_name":"Koenig, Mary Kay","first_name":"Mary Kay"},{"first_name":"Gretchen","last_name":"Von Allmen","full_name":"Von Allmen, Gretchen"},{"first_name":"Megan T","full_name":"Cho, Megan T","last_name":"Cho"},{"last_name":"McDonald","full_name":"McDonald, Kimberly","first_name":"Kimberly"},{"last_name":"Baker","full_name":"Baker, Janice","first_name":"Janice"},{"last_name":"Bhambhani","full_name":"Bhambhani, Vikas","first_name":"Vikas"},{"full_name":"Powis, Zöe","last_name":"Powis","first_name":"Zöe"},{"full_name":"Rodan, Lance","last_name":"Rodan","first_name":"Lance"},{"last_name":"Nabbout","full_name":"Nabbout, Rima","first_name":"Rima"},{"last_name":"Barcia","full_name":"Barcia, Giulia","first_name":"Giulia"},{"first_name":"Jill A","full_name":"Rosenfeld, Jill A","last_name":"Rosenfeld"},{"full_name":"Bacino, Carlos A","last_name":"Bacino","first_name":"Carlos A"},{"first_name":"Cyril","full_name":"Mignot, Cyril","last_name":"Mignot"},{"last_name":"Power","full_name":"Power, Lillian H","first_name":"Lillian H"},{"last_name":"Harris","full_name":"Harris, Catharine J","first_name":"Catharine J"},{"first_name":"Dragan","last_name":"Marjanovic","full_name":"Marjanovic, Dragan"},{"first_name":"Rikke S","full_name":"Møller, Rikke S","last_name":"Møller"},{"first_name":"Trine B","last_name":"Hammer","full_name":"Hammer, Trine B"},{"first_name":"Riikka","full_name":"Keski Filppula, Riikka","last_name":"Keski Filppula"},{"first_name":"Päivi","full_name":"Vieira, Päivi","last_name":"Vieira"},{"full_name":"Hildebrandt, Clara","last_name":"Hildebrandt","first_name":"Clara"},{"first_name":"Stephanie","last_name":"Sacharow","full_name":"Sacharow, Stephanie"},{"first_name":"Luca","last_name":"Maragliano","full_name":"Maragliano, Luca"},{"first_name":"Fabio","full_name":"Benfenati, Fabio","last_name":"Benfenati"},{"first_name":"Katherine","full_name":"Lachlan, Katherine","last_name":"Lachlan"},{"first_name":"Andreas","full_name":"Benneche, Andreas","last_name":"Benneche"},{"last_name":"Petit","full_name":"Petit, Florence","first_name":"Florence"},{"first_name":"Jean Madeleine","last_name":"de Sainte Agathe","full_name":"de Sainte Agathe, Jean Madeleine"},{"last_name":"Hallinan","full_name":"Hallinan, Barbara","first_name":"Barbara"},{"first_name":"Yue","last_name":"Si","full_name":"Si, Yue"},{"first_name":"Ingrid M","last_name":"Wentzensen","full_name":"Wentzensen, Ingrid M"},{"last_name":"Zou","full_name":"Zou, Fanggeng","first_name":"Fanggeng"},{"full_name":"Narayanan, Vinodh","last_name":"Narayanan","first_name":"Vinodh"},{"last_name":"Matsumoto","full_name":"Matsumoto, Naomichi","first_name":"Naomichi"},{"first_name":"Alessandra","full_name":"Boncristiano, Alessandra","last_name":"Boncristiano"},{"first_name":"Giancarlo","full_name":"la Marca, Giancarlo","last_name":"la Marca"},{"first_name":"Mitsuhiro","full_name":"Kato, Mitsuhiro","last_name":"Kato"},{"last_name":"Anderson","full_name":"Anderson, Kristin","first_name":"Kristin"},{"last_name":"Barba","full_name":"Barba, Carmen","first_name":"Carmen"},{"first_name":"Luisa","full_name":"Sturiale, Luisa","last_name":"Sturiale"},{"first_name":"Domenico","full_name":"Garozzo, Domenico","last_name":"Garozzo"},{"full_name":"Bei, Roberto","last_name":"Bei","first_name":"Roberto"},{"first_name":"Laura","last_name":"Masuelli","full_name":"Masuelli, Laura"},{"first_name":"Valerio","last_name":"Conti","full_name":"Conti, Valerio"},{"orcid":"0000-0002-7673-7178","first_name":"Gaia","last_name":"Novarino","full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Fassio","full_name":"Fassio, Anna","first_name":"Anna"}],"oa_version":"Published Version","title":"Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis","citation":{"ama":"Guerrini R, Mei D, Szigeti MK, et al. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. <i>Brain</i>. 2022;145(8):2687-2703. doi:<a href=\"https://doi.org/10.1093/brain/awac145\">10.1093/brain/awac145</a>","ieee":"R. Guerrini <i>et al.</i>, “Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis,” <i>Brain</i>, vol. 145, no. 8. Oxford University Press, pp. 2687–2703, 2022.","short":"R. Guerrini, D. Mei, M.K. Szigeti, S. Pepe, M.K. Koenig, G. Von Allmen, M.T. Cho, K. McDonald, J. Baker, V. Bhambhani, Z. Powis, L. Rodan, R. Nabbout, G. Barcia, J.A. Rosenfeld, C.A. Bacino, C. Mignot, L.H. Power, C.J. Harris, D. Marjanovic, R.S. Møller, T.B. Hammer, R. Keski Filppula, P. Vieira, C. Hildebrandt, S. Sacharow, L. Maragliano, F. Benfenati, K. Lachlan, A. Benneche, F. Petit, J.M. de Sainte Agathe, B. Hallinan, Y. Si, I.M. Wentzensen, F. Zou, V. Narayanan, N. Matsumoto, A. Boncristiano, G. la Marca, M. Kato, K. Anderson, C. Barba, L. Sturiale, D. Garozzo, R. Bei, L. Masuelli, V. Conti, G. Novarino, A. Fassio, Brain 145 (2022) 2687–2703.","ista":"Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.","chicago":"Guerrini, Renzo, Davide Mei, Margit Katalin Szigeti, Sara Pepe, Mary Kay Koenig, Gretchen Von Allmen, Megan T Cho, et al. “Phenotypic and Genetic Spectrum of ATP6V1A Encephalopathy: A Disorder of Lysosomal Homeostasis.” <i>Brain</i>. Oxford University Press, 2022. <a href=\"https://doi.org/10.1093/brain/awac145\">https://doi.org/10.1093/brain/awac145</a>.","apa":"Guerrini, R., Mei, D., Szigeti, M. K., Pepe, S., Koenig, M. K., Von Allmen, G., … Fassio, A. (2022). Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. <i>Brain</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/brain/awac145\">https://doi.org/10.1093/brain/awac145</a>","mla":"Guerrini, Renzo, et al. “Phenotypic and Genetic Spectrum of ATP6V1A Encephalopathy: A Disorder of Lysosomal Homeostasis.” <i>Brain</i>, vol. 145, no. 8, Oxford University Press, 2022, pp. 2687–703, doi:<a href=\"https://doi.org/10.1093/brain/awac145\">10.1093/brain/awac145</a>."},"issue":"8","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"GaNo"}],"month":"08","main_file_link":[{"url":"https://doi.org/10.1093/brain/awac145","open_access":"1"}],"quality_controlled":"1","page":"2687-2703","_id":"12174","date_updated":"2023-08-04T09:13:08Z","type":"journal_article","article_processing_charge":"No","doi":"10.1093/brain/awac145","publisher":"Oxford University Press","ec_funded":1,"date_published":"2022-08-01T00:00:00Z","acknowledgement":"We thank all patients and family members for their participation in this study. We thank Melanie Pieraks and Eva Reinthaler (Neurolentech, Austria) for generating the human iPSC lines and\r\nfor performing quality checks. We thank Vanessa Zheden and Daniel Gütl for their excellent technical support in the specimen preparation for transmission electron microscopy and Flavia Leite for preparing the lentiviruses. The support from Electron Microscopy Facility and Molecular Biology Services at IST Austria is greatly acknowledged. We would like to thank Doctors Jane Hurst and Richard Scott for their help in retrieving the detailed clinical information of Patient 17. The research team acknowledges the support of the National Institute for Health Research, through the Comprehensive Clinical Research Network. See Supplementary Material for Undiagnosed Disease Network consortium details. Genetic information on Patient 23 was made available through access to the data and findings generated by the 100 000 Genomes\r\nProject; www.genomicsengland.co.uk (to K.L.). \r\nThis work was supported by the EU 7th Framework Programme (FP7) under the project DESIRE grant N602531 (to R.G.); the Regione Toscana under the Call for Health 2018 (grant\r\nDECODE-EE) (to R.G.); the ‘Brain Project’ by Fondazione Cassa di Risparmio di Firenze (to R.G.); IRCCS Ospedale Policlinico San Martino 5×1000 and Ricerca Corrente (to A.F. and F.B.). The European Reference Network (ERN) for rare and complex epilepsies (EpiCARE) provided financial support for meetings organization. The DDD study presents independent research commissioned by the Health Innovation Challenge Fund (grant number HICF-1009-003), a parallel funding partnership between Wellcome and the Department of Health, and the Wellcome Sanger Institute (grant number WT098051). The views expressed in this publication\r\nare those of the author(s) and not necessarily those of Wellcome or the Department of Health. The study has UK Research Ethics Committee approval (10/H0305/83, granted by the Cambridge South REC, and GEN/284/12 granted by the Republic of Ireland REC). This study makes use of DECIPHER (https://www.deciphergenomics.org), which is funded by Wellcome. K.K.-S. was supported by the ISTplus fellowship. ","publication":"Brain","status":"public","project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"keyword":["Neurology (clinical)"],"isi":1,"year":"2022","external_id":{"isi":["000807770000001"]}},{"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://hal.science/hal-03849398/"}],"page":"67-76","type":"conference","_id":"12175","date_updated":"2023-09-05T15:12:08Z","publisher":"Springer Nature","alternative_title":["LNCS"],"article_processing_charge":"No","doi":"10.1007/978-3-031-19135-0_5","date_published":"2022-10-12T00:00:00Z","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, the EPSRC project EP/V025848/1, and the EPSRC project EP/X017796/1.","conference":{"name":"RC: Reachability Problems","end_date":"2022-10-21","start_date":"2022-10-17","location":"Kaiserslautern, Germany"},"ec_funded":1,"status":"public","publication":"16th International Conference on Reachability Problems","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020"}],"year":"2022","publication_status":"published","publication_identifier":{"eisbn":["9783031191350"],"eissn":["1611-3349"],"isbn":["9783031191343"],"issn":["0302-9743"]},"intvolume":"     13608","abstract":[{"lang":"eng","text":"An automaton is history-deterministic (HD) if one can safely resolve its non-deterministic choices on the fly. In a recent paper, Henzinger, Lehtinen and Totzke studied this in the context of Timed Automata [9], where it was conjectured that the class of timed ω-languages recognised by HD-timed automata strictly extends that of deterministic ones. We provide a proof for this fact."}],"date_created":"2023-01-12T12:11:57Z","volume":13608,"title":"History-deterministic timed automata are not determinizable","oa_version":"Preprint","day":"12","scopus_import":"1","author":[{"first_name":"Sougata","full_name":"Bose, Sougata","last_name":"Bose"},{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"first_name":"Karoliina","last_name":"Lehtinen","full_name":"Lehtinen, Karoliina"},{"last_name":"Schewe","full_name":"Schewe, Sven","first_name":"Sven"},{"first_name":"Patrick","full_name":"Totzke, Patrick","last_name":"Totzke"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ieee":"S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in <i>16th International Conference on Reachability Problems</i>, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.","short":"S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.","ama":"Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata are not determinizable. In: <i>16th International Conference on Reachability Problems</i>. Vol 13608. Springer Nature; 2022:67-76. doi:<a href=\"https://doi.org/10.1007/978-3-031-19135-0_5\">10.1007/978-3-031-19135-0_5</a>","apa":"Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., &#38; Totzke, P. (2022). History-deterministic timed automata are not determinizable. In <i>16th International Conference on Reachability Problems</i> (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-19135-0_5\">https://doi.org/10.1007/978-3-031-19135-0_5</a>","mla":"Bose, Sougata, et al. “History-Deterministic Timed Automata Are Not Determinizable.” <i>16th International Conference on Reachability Problems</i>, vol. 13608, Springer Nature, 2022, pp. 67–76, doi:<a href=\"https://doi.org/10.1007/978-3-031-19135-0_5\">10.1007/978-3-031-19135-0_5</a>.","chicago":"Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In <i>16th International Conference on Reachability Problems</i>, 13608:67–76. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-19135-0_5\">https://doi.org/10.1007/978-3-031-19135-0_5</a>.","ista":"Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76."},"language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"ToHe"}],"month":"10"},{"page":"370-399","quality_controlled":"1","main_file_link":[{"url":"https://eprint.iacr.org/2022/1021","open_access":"1"}],"publisher":"Springer Nature","doi":"10.1007/978-3-031-15979-4_13","article_processing_charge":"No","alternative_title":["LNCS"],"type":"conference","date_updated":"2023-09-05T15:12:27Z","_id":"12176","publication":"Advances in Cryptology – CRYPTO 2022","status":"public","date_published":"2022-10-13T00:00:00Z","acknowledgement":"We would like to thank the authors of [BHR+21] for clarifying several questions we had\r\nregarding their results. Pavel Hubá£ek was supported by the Grant Agency of the Czech\r\nRepublic under the grant agreement no. 19-27871X and by the Charles University project\r\nUNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral Fellowship\r\nand ISF grants 484/18 and 1789/19. Karen Klein was supported in part by ERC CoG grant\r\n724307 and conducted part of this work at Institute of Science and Technology Austria.","conference":{"start_date":"2022-08-15","end_date":"2022-08-18","name":"CRYYPTO: International Cryptology Conference","location":"Santa Barbara, CA, United States"},"external_id":{"isi":["000886792700013"]},"year":"2022","isi":1,"abstract":[{"text":"A proof of exponentiation (PoE) in a group G of unknown order allows a prover to convince a verifier that a tuple (x,q,T,y)∈G×N×N×G satisfies xqT=y. This primitive has recently found exciting applications in the constructions of verifiable delay functions and succinct arguments of knowledge. The most practical PoEs only achieve soundness either under computational assumptions, i.e., they are arguments (Wesolowski, Journal of Cryptology 2020), or in groups that come with the promise of not having any small subgroups (Pietrzak, ITCS 2019). The only statistically-sound PoE in general groups of unknown order is due to Block et al. (CRYPTO 2021), and can be seen as an elaborate parallel repetition of Pietrzak’s PoE: to achieve λ bits of security, say λ=80, the number of repetitions required (and thus the blow-up in communication) is as large as λ.\r\n\r\nIn this work, we propose a statistically-sound PoE for the case where the exponent q is the product of all primes up to some bound B. We show that, in this case, it suffices to run only λ/log(B) parallel instances of Pietrzak’s PoE, which reduces the concrete proof-size compared to Block et al. by an order of magnitude. Furthermore, we show that in the known applications where PoEs are used as a building block such structured exponents are viable. Finally, we also discuss batching of our PoE, showing that many proofs (for the same G and q but different x and T) can be batched by adding only a single element to the proof per additional statement.","lang":"eng"}],"intvolume":"     13508","publication_status":"published","publication_identifier":{"eisbn":["9783031159794"],"eissn":["1611-3349"],"isbn":["9783031159787"],"issn":["0302-9743"]},"title":"Practical statistically-sound proofs of exponentiation in any group","oa_version":"Preprint","author":[{"first_name":"Charlotte","orcid":"0000-0003-2027-5549","full_name":"Hoffmann, Charlotte","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","last_name":"Hoffmann"},{"last_name":"Hubáček","full_name":"Hubáček, Pavel","first_name":"Pavel"},{"first_name":"Chethan","last_name":"Kamath","full_name":"Kamath, Chethan"},{"first_name":"Karen","last_name":"Klein","full_name":"Klein, Karen"},{"full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654"}],"scopus_import":"1","day":"13","date_created":"2023-01-12T12:12:07Z","volume":13508,"language":[{"iso":"eng"}],"oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"apa":"Hoffmann, C., Hubáček, P., Kamath, C., Klein, K., &#38; Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In <i>Advances in Cryptology – CRYPTO 2022</i> (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-15979-4_13\">https://doi.org/10.1007/978-3-031-15979-4_13</a>","mla":"Hoffmann, Charlotte, et al. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” <i>Advances in Cryptology – CRYPTO 2022</i>, vol. 13508, Springer Nature, 2022, pp. 370–99, doi:<a href=\"https://doi.org/10.1007/978-3-031-15979-4_13\">10.1007/978-3-031-15979-4_13</a>.","ista":"Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. 2022. Practical statistically-sound proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022. CRYYPTO: International Cryptology Conference, LNCS, vol. 13508, 370–399.","chicago":"Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, Karen Klein, and Krzysztof Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” In <i>Advances in Cryptology – CRYPTO 2022</i>, 13508:370–99. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-15979-4_13\">https://doi.org/10.1007/978-3-031-15979-4_13</a>.","ieee":"C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Z. Pietrzak, “Practical statistically-sound proofs of exponentiation in any group,” in <i>Advances in Cryptology – CRYPTO 2022</i>, Santa Barbara, CA, United States, 2022, vol. 13508, pp. 370–399.","short":"C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.","ama":"Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. Practical statistically-sound proofs of exponentiation in any group. In: <i>Advances in Cryptology – CRYPTO 2022</i>. Vol 13508. Springer Nature; 2022:370-399. doi:<a href=\"https://doi.org/10.1007/978-3-031-15979-4_13\">10.1007/978-3-031-15979-4_13</a>"},"month":"10","department":[{"_id":"KrPi"}]},{"quality_controlled":"1","ddc":["510"],"page":"445-459","type":"journal_article","date_updated":"2023-01-26T13:04:13Z","_id":"12177","publisher":"American Mathematical Society","doi":"10.1090/bproc/134","article_processing_charge":"No","date_published":"2022-11-02T00:00:00Z","acknowledgement":"The first author was partially supported by the National Science Foundation under Grant\r\nNo. DMS-1928930 while participating in a program hosted by the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2020 semester. The second author gratefully acknowledges funding by the Austrian Science Fund (FWF) through grants F65 and ESPRIT 208, by the European Research Council (ERC, grant No. 716117, awarded to Prof. Dr. Jan Maas), and by the Deutsche Forschungsgemeinschaft through the SPP 2265.","ec_funded":1,"project":[{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"},{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"716117","name":"Optimal Transport and Stochastic Dynamics"}],"publication":"Proceedings of the American Mathematical Society, Series B","status":"public","year":"2022","publication_status":"published","publication_identifier":{"issn":["2330-1511"]},"file_date_updated":"2023-01-26T13:02:07Z","abstract":[{"text":"Using elementary hyperbolic geometry, we give an explicit formula for the contraction constant of the skinning map over moduli spaces of relatively acylindrical hyperbolic manifolds.","lang":"eng"}],"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"intvolume":"         9","has_accepted_license":"1","article_type":"original","date_created":"2023-01-12T12:12:17Z","volume":9,"oa_version":"Published Version","title":"Effective contraction of Skinning maps","author":[{"full_name":"Cremaschi, Tommaso","last_name":"Cremaschi","first_name":"Tommaso"},{"last_name":"Dello Schiavo","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E","full_name":"Dello Schiavo, Lorenzo","first_name":"Lorenzo","orcid":"0000-0002-9881-6870"}],"scopus_import":"1","day":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"43","citation":{"ista":"Cremaschi T, Dello Schiavo L. 2022. Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. 9(43), 445–459.","chicago":"Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” <i>Proceedings of the American Mathematical Society, Series B</i>. American Mathematical Society, 2022. <a href=\"https://doi.org/10.1090/bproc/134\">https://doi.org/10.1090/bproc/134</a>.","mla":"Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” <i>Proceedings of the American Mathematical Society, Series B</i>, vol. 9, no. 43, American Mathematical Society, 2022, pp. 445–59, doi:<a href=\"https://doi.org/10.1090/bproc/134\">10.1090/bproc/134</a>.","apa":"Cremaschi, T., &#38; Dello Schiavo, L. (2022). Effective contraction of Skinning maps. <i>Proceedings of the American Mathematical Society, Series B</i>. American Mathematical Society. <a href=\"https://doi.org/10.1090/bproc/134\">https://doi.org/10.1090/bproc/134</a>","ama":"Cremaschi T, Dello Schiavo L. Effective contraction of Skinning maps. <i>Proceedings of the American Mathematical Society, Series B</i>. 2022;9(43):445-459. doi:<a href=\"https://doi.org/10.1090/bproc/134\">10.1090/bproc/134</a>","short":"T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical Society, Series B 9 (2022) 445–459.","ieee":"T. Cremaschi and L. Dello Schiavo, “Effective contraction of Skinning maps,” <i>Proceedings of the American Mathematical Society, Series B</i>, vol. 9, no. 43. American Mathematical Society, pp. 445–459, 2022."},"language":[{"iso":"eng"}],"oa":1,"file":[{"file_id":"12404","date_created":"2023-01-26T13:02:07Z","file_size":326471,"date_updated":"2023-01-26T13:02:07Z","creator":"dernst","relation":"main_file","checksum":"cb4a79937c1f60d4c329a10ee797f0d2","success":1,"file_name":"2022_ProceedingsAMS_Cremaschi.pdf","access_level":"open_access","content_type":"application/pdf"}],"department":[{"_id":"JaMa"}],"month":"11"},{"article_type":"original","date_created":"2023-01-12T12:12:29Z","title":"The stochastic primitive equations with transport noise and turbulent pressure","oa_version":"Published Version","author":[{"full_name":"Agresti, Antonio","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72","last_name":"Agresti","orcid":"0000-0002-9573-2962","first_name":"Antonio"},{"full_name":"Hieber, Matthias","last_name":"Hieber","first_name":"Matthias"},{"full_name":"Hussein, Amru","last_name":"Hussein","first_name":"Amru"},{"first_name":"Martin","last_name":"Saal","full_name":"Saal, Martin"}],"scopus_import":"1","day":"27","publication_identifier":{"issn":["2194-0401"],"eissn":["2194-041X"]},"publication_status":"epub_ahead","abstract":[{"text":"In this paper we consider the stochastic primitive equation for geophysical flows subject to transport noise and turbulent pressure. Admitting very rough noise terms, the global existence and uniqueness of solutions to this stochastic partial differential equation are proven using stochastic maximal L² regularity, the theory of critical spaces for stochastic evolution equations, and global a priori bounds. Compared to other results in this direction, we do not need any smallness assumption on the transport noise which acts directly on the velocity field and we also allow rougher noise terms. The adaptation to Stratonovich type noise and, more generally, to variable viscosity and/or conductivity are discussed as well.","lang":"eng"}],"department":[{"_id":"JuFi"}],"month":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Agresti A, Hieber M, Hussein A, Saal M. The stochastic primitive equations with transport noise and turbulent pressure. <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. 2022. doi:<a href=\"https://doi.org/10.1007/s40072-022-00277-3\">10.1007/s40072-022-00277-3</a>","ieee":"A. Agresti, M. Hieber, A. Hussein, and M. Saal, “The stochastic primitive equations with transport noise and turbulent pressure,” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. Springer Nature, 2022.","short":"A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).","chicago":"Agresti, Antonio, Matthias Hieber, Amru Hussein, and Martin Saal. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s40072-022-00277-3\">https://doi.org/10.1007/s40072-022-00277-3</a>.","ista":"Agresti A, Hieber M, Hussein A, Saal M. 2022. The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations.","apa":"Agresti, A., Hieber, M., Hussein, A., &#38; Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40072-022-00277-3\">https://doi.org/10.1007/s40072-022-00277-3</a>","mla":"Agresti, Antonio, et al. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>, Springer Nature, 2022, doi:<a href=\"https://doi.org/10.1007/s40072-022-00277-3\">10.1007/s40072-022-00277-3</a>."},"language":[{"iso":"eng"}],"oa":1,"type":"journal_article","date_updated":"2023-08-16T09:11:38Z","_id":"12178","publisher":"Springer Nature","doi":"10.1007/s40072-022-00277-3","article_processing_charge":"Yes (via OA deal)","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.1007/s40072-022-00277-3","open_access":"1"}],"keyword":["Applied Mathematics","Modeling and Simulation","Statistics and Probability"],"external_id":{"isi":["000874389000001"]},"isi":1,"year":"2022","acknowledgement":"The authors thank the anonymous referees for their helpful comments and suggestions. Open Access funding enabled and organized by Projekt DEAL.","date_published":"2022-10-27T00:00:00Z","publication":"Stochastics and Partial Differential Equations: Analysis and Computations","status":"public"},{"oa":1,"language":[{"iso":"eng"}],"issue":"3","citation":{"ieee":"G. Cipolloni, L. Erdös, and D. J. Schröder, “On the condition number of the shifted real Ginibre ensemble,” <i>SIAM Journal on Matrix Analysis and Applications</i>, vol. 43, no. 3. Society for Industrial and Applied Mathematics, pp. 1469–1487, 2022.","short":"G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.","ama":"Cipolloni G, Erdös L, Schröder DJ. On the condition number of the shifted real Ginibre ensemble. <i>SIAM Journal on Matrix Analysis and Applications</i>. 2022;43(3):1469-1487. doi:<a href=\"https://doi.org/10.1137/21m1424408\">10.1137/21m1424408</a>","apa":"Cipolloni, G., Erdös, L., &#38; Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. <i>SIAM Journal on Matrix Analysis and Applications</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/21m1424408\">https://doi.org/10.1137/21m1424408</a>","mla":"Cipolloni, Giorgio, et al. “On the Condition Number of the Shifted Real Ginibre Ensemble.” <i>SIAM Journal on Matrix Analysis and Applications</i>, vol. 43, no. 3, Society for Industrial and Applied Mathematics, 2022, pp. 1469–87, doi:<a href=\"https://doi.org/10.1137/21m1424408\">10.1137/21m1424408</a>.","ista":"Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3), 1469–1487.","chicago":"Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition Number of the Shifted Real Ginibre Ensemble.” <i>SIAM Journal on Matrix Analysis and Applications</i>. Society for Industrial and Applied Mathematics, 2022. <a href=\"https://doi.org/10.1137/21m1424408\">https://doi.org/10.1137/21m1424408</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","arxiv":1,"month":"07","department":[{"_id":"LaEr"}],"abstract":[{"lang":"eng","text":"We derive an accurate lower tail estimate on the lowest singular value σ1(X−z) of a real Gaussian (Ginibre) random matrix X shifted by a complex parameter z. Such shift effectively changes the upper tail behavior of the condition number κ(X−z) from the slower (κ(X−z)≥t)≲1/t decay typical for real Ginibre matrices to the faster 1/t2 decay seen for complex Ginibre matrices as long as z is away from the real axis. This sharpens and resolves a recent conjecture in [J. Banks et al., https://arxiv.org/abs/2005.08930, 2020] on the regularizing effect of the real Ginibre ensemble with a genuinely complex shift. As a consequence we obtain an improved upper bound on the eigenvalue condition numbers (known also as the eigenvector overlaps) for real Ginibre matrices. The main technical tool is a rigorous supersymmetric analysis from our earlier work [Probab. Math. Phys., 1 (2020), pp. 101--146]."}],"intvolume":"        43","publication_status":"published","publication_identifier":{"eissn":["1095-7162"],"issn":["0895-4798"]},"author":[{"orcid":"0000-0002-4901-7992","first_name":"Giorgio","last_name":"Cipolloni","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","full_name":"Cipolloni, Giorgio"},{"full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László"},{"first_name":"Dominik J","orcid":"0000-0002-2904-1856","full_name":"Schröder, Dominik J","id":"408ED176-F248-11E8-B48F-1D18A9856A87","last_name":"Schröder"}],"day":"01","scopus_import":"1","title":"On the condition number of the shifted real Ginibre ensemble","oa_version":"Preprint","volume":43,"article_type":"original","date_created":"2023-01-12T12:12:38Z","status":"public","publication":"SIAM Journal on Matrix Analysis and Applications","date_published":"2022-07-01T00:00:00Z","year":"2022","external_id":{"arxiv":["2105.13719"]},"keyword":["Analysis"],"page":"1469-1487","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2105.13719","open_access":"1"}],"quality_controlled":"1","doi":"10.1137/21m1424408","article_processing_charge":"No","publisher":"Society for Industrial and Applied Mathematics","date_updated":"2023-01-27T06:56:06Z","_id":"12179","type":"journal_article"},{"intvolume":"       246","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Online algorithms make decisions based on past inputs, with the goal of being competitive against an algorithm that sees also future inputs. In this work, we introduce time-local online algorithms; these are online algorithms in which the output at any given time is a function of only T latest inputs. Our main observation is that time-local online algorithms are closely connected to local distributed graph algorithms: distributed algorithms make decisions based on the local information in the spatial dimension, while time-local online algorithms make decisions based on the local information in the temporal dimension. We formalize this connection, and show how we can directly use the tools developed to study distributed approximability of graph optimization problems to prove upper and lower bounds on the competitive ratio achieved with time-local online algorithms. Moreover, we show how to use computational techniques to synthesize optimal time-local algorithms.","lang":"eng"}],"has_accepted_license":"1","file_date_updated":"2023-01-27T06:58:02Z","publication_identifier":{"eisbn":["9783959772556"],"eissn":["1868-8969"]},"publication_status":"published","title":"Brief announcement: Temporal locality in online algorithms","oa_version":"Published Version","day":"17","scopus_import":"1","author":[{"full_name":"Pacut, Maciej","last_name":"Pacut","first_name":"Maciej"},{"first_name":"Mahmoud","full_name":"Parham, Mahmoud","last_name":"Parham"},{"first_name":"Joel","orcid":"0000-0002-6432-6646","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","full_name":"Rybicki, Joel","last_name":"Rybicki"},{"first_name":"Stefan","last_name":"Schmid","full_name":"Schmid, Stefan"},{"full_name":"Suomela, Jukka","last_name":"Suomela","first_name":"Jukka"},{"first_name":"Aleksandr","last_name":"Tereshchenko","full_name":"Tereshchenko, Aleksandr"}],"date_created":"2023-01-13T11:06:28Z","volume":246,"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, and A. Tereshchenko, “Brief announcement: Temporal locality in online algorithms,” in <i>36th International Symposium on Distributed Computing</i>, Augusta, GA, United States, 2022, vol. 246.","short":"M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko, in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.","ama":"Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. Brief announcement: Temporal locality in online algorithms. In: <i>36th International Symposium on Distributed Computing</i>. Vol 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2022.52\">10.4230/LIPIcs.DISC.2022.52</a>","apa":"Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., &#38; Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In <i>36th International Symposium on Distributed Computing</i> (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2022.52\">https://doi.org/10.4230/LIPIcs.DISC.2022.52</a>","mla":"Pacut, Maciej, et al. “Brief Announcement: Temporal Locality in Online Algorithms.” <i>36th International Symposium on Distributed Computing</i>, vol. 246, 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2022.52\">10.4230/LIPIcs.DISC.2022.52</a>.","ista":"Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. 2022. Brief announcement: Temporal locality in online algorithms. 36th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol. 246, 52.","chicago":"Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.” In <i>36th International Symposium on Distributed Computing</i>, Vol. 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2022.52\">https://doi.org/10.4230/LIPIcs.DISC.2022.52</a>."},"month":"10","file":[{"file_id":"12409","date_updated":"2023-01-27T06:58:02Z","creator":"dernst","file_size":524804,"date_created":"2023-01-27T06:58:02Z","checksum":"11bbb56f68a00f2cf6bcce6cc7f5c5f9","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2022_LIPICs_Pacut.pdf"}],"article_number":"52","department":[{"_id":"DaAl"}],"ddc":["000"],"quality_controlled":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","article_processing_charge":"No","doi":"10.4230/LIPIcs.DISC.2022.52","type":"conference","_id":"12182","date_updated":"2023-01-27T06:59:29Z","publication":"36th International Symposium on Distributed Computing","status":"public","project":[{"_id":"26A5D39A-B435-11E9-9278-68D0E5697425","name":"Coordination in constrained and natural distributed systems","grant_number":"840605","call_identifier":"H2020"}],"date_published":"2022-10-17T00:00:00Z","conference":{"name":"DISC: Symposium on Distributed Computing","end_date":"2022-10-27","start_date":"2022-10-25","location":"Augusta, GA, United States"},"acknowledgement":"This research has received funding from the German Research Foundation (DFG), grant\r\n470029389 (FlexNets), 2021-2024, and the Marie Skłodowska-Curie grant agreement No. 840605.","ec_funded":1,"year":"2022"},{"arxiv":1,"month":"12","file":[{"file_id":"12410","date_updated":"2023-01-27T07:10:52Z","creator":"dernst","file_size":5251092,"date_created":"2023-01-27T07:10:52Z","checksum":"213b93750080460718c050e4967cfdb4","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2022_JourMathPhysics_Henheik2.pdf"}],"article_number":"121101","department":[{"_id":"LaEr"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","issue":"12","citation":{"ista":"Henheik SJ, Wessel T. 2022. On adiabatic theory for extended fermionic lattice systems. Journal of Mathematical Physics. 63(12), 121101.","chicago":"Henheik, Sven Joscha, and Tom Wessel. “On Adiabatic Theory for Extended Fermionic Lattice Systems.” <i>Journal of Mathematical Physics</i>. AIP Publishing, 2022. <a href=\"https://doi.org/10.1063/5.0123441\">https://doi.org/10.1063/5.0123441</a>.","mla":"Henheik, Sven Joscha, and Tom Wessel. “On Adiabatic Theory for Extended Fermionic Lattice Systems.” <i>Journal of Mathematical Physics</i>, vol. 63, no. 12, 121101, AIP Publishing, 2022, doi:<a href=\"https://doi.org/10.1063/5.0123441\">10.1063/5.0123441</a>.","apa":"Henheik, S. J., &#38; Wessel, T. (2022). On adiabatic theory for extended fermionic lattice systems. <i>Journal of Mathematical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/5.0123441\">https://doi.org/10.1063/5.0123441</a>","ama":"Henheik SJ, Wessel T. On adiabatic theory for extended fermionic lattice systems. <i>Journal of Mathematical Physics</i>. 2022;63(12). doi:<a href=\"https://doi.org/10.1063/5.0123441\">10.1063/5.0123441</a>","short":"S.J. Henheik, T. Wessel, Journal of Mathematical Physics 63 (2022).","ieee":"S. J. Henheik and T. Wessel, “On adiabatic theory for extended fermionic lattice systems,” <i>Journal of Mathematical Physics</i>, vol. 63, no. 12. AIP Publishing, 2022."},"oa_version":"Published Version","title":"On adiabatic theory for extended fermionic lattice systems","author":[{"last_name":"Henheik","full_name":"Henheik, Sven Joscha","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","first_name":"Sven Joscha","orcid":"0000-0003-1106-327X"},{"full_name":"Wessel, Tom","last_name":"Wessel","first_name":"Tom"}],"scopus_import":"1","day":"01","article_type":"original","date_created":"2023-01-15T23:00:52Z","volume":63,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We review recent results on adiabatic theory for ground states of extended gapped fermionic lattice systems under several different assumptions. More precisely, we present generalized super-adiabatic theorems for extended but finite and infinite systems, assuming either a uniform gap or a gap in the bulk above the unperturbed ground state. The goal of this Review is to provide an overview of these adiabatic theorems and briefly outline the main ideas and techniques required in their proofs.","lang":"eng"}],"intvolume":"        63","has_accepted_license":"1","publication_identifier":{"issn":["0022-2488"]},"publication_status":"published","file_date_updated":"2023-01-27T07:10:52Z","external_id":{"arxiv":["2208.12220"],"isi":["000905776200001"]},"isi":1,"year":"2022","project":[{"name":"Random matrices beyond Wigner-Dyson-Mehta","grant_number":"101020331","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d"}],"publication":"Journal of Mathematical Physics","status":"public","date_published":"2022-12-01T00:00:00Z","acknowledgement":"It is a pleasure to thank Stefan Teufel for numerous interesting discussions, fruitful collaboration, and many helpful comments on an earlier version of the manuscript. J.H. acknowledges partial financial support from the ERC Advanced Grant No. 101020331 “Random\r\nmatrices beyond Wigner-Dyson-Mehta.” T.W. acknowledges financial support from the DFG research unit FOR 5413 “Long-range interacting quantum spin systems out of equilibrium: Experiment, Theory and Mathematics.\" ","ec_funded":1,"publisher":"AIP Publishing","doi":"10.1063/5.0123441","article_processing_charge":"No","type":"journal_article","date_updated":"2023-08-04T09:14:57Z","_id":"12184","ddc":["510"],"quality_controlled":"1"}]