[{"oa":1,"volume":51,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Majumdar","first_name":"Rupak","full_name":"Majumdar, Rupak"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","orcid":"0000-0001-9864-7475","full_name":"Mallik, Kaushik","first_name":"Kaushik","last_name":"Mallik"},{"full_name":"Schmuck, Anne Kathrin","last_name":"Schmuck","first_name":"Anne Kathrin"},{"last_name":"Soudjani","first_name":"Sadegh","full_name":"Soudjani, Sadegh"}],"publication":"Nonlinear Analysis: Hybrid Systems","ec_funded":1,"date_updated":"2023-12-13T12:58:56Z","department":[{"_id":"ToHe"}],"intvolume":"        51","arxiv":1,"oa_version":"Published Version","article_processing_charge":"No","title":"Symbolic control for stochastic systems via finite parity games","publication_status":"epub_ahead","article_type":"original","acknowledgement":"We thank Daniel Hausmann and Nir Piterman for their valuable comments on an earlier version of the manuscript of our other paper [22] where we present, among other things, the parity fixpoint for 2 1/2-player games (for a slightly more general class of games) with a different and indirect proof of correctness. Based on their comments we observed that, unlike the other fixpoints that we present in [22], the parity fixpoint does not follow the exact same structure as its counterpart for 2-player games, which we also use int his paper.\r\nWe also thank Thejaswini Raghavan for observing that our symbolic parity fixpoint algorithm can be solved in quasi-polynomial time using recent improved algorithms for solving \r\n-calculus expressions. This significantly improved the complexity bounds of our algorithm in this paper.\r\nThe work of R. Majumdar and A.-K. Schmuck are partially supported by DFG, Germany project 389792660 TRR 248–CPEC. A.-K. Schmuck is additionally funded through DFG, Germany project (SCHM 3541/1-1). K. Mallik is supported by the ERC project ERC-2020-AdG 101020093. S. Soudjani is supported by the following projects: EPSRC EP/V043676/1, EIC 101070802, and ERC 101089047.","publication_identifier":{"issn":["1751-570X"]},"doi":"10.1016/j.nahs.2023.101430","main_file_link":[{"url":"https://doi.org/10.1016/j.nahs.2023.101430","open_access":"1"}],"scopus_import":"1","_id":"14400","date_created":"2023-10-08T22:01:15Z","abstract":[{"text":"We consider the problem of computing the maximal probability of satisfying an \r\n-regular specification for stochastic, continuous-state, nonlinear systems evolving in discrete time. The problem reduces, after automata-theoretic constructions, to finding the maximal probability of satisfying a parity condition on a (possibly hybrid) state space. While characterizing the exact satisfaction probability is open, we show that a lower bound on this probability can be obtained by (I) computing an under-approximation of the qualitative winning region, i.e., states from which the parity condition can be enforced almost surely, and (II) computing the maximal probability of reaching this qualitative winning region.\r\nThe heart of our approach is a technique to symbolically compute the under-approximation of the qualitative winning region in step (I) via a finite-state abstraction of the original system as a \r\n-player parity game. Our abstraction procedure uses only the support of the probabilistic evolution; it does not use precise numerical transition probabilities. We prove that the winning set in the abstract -player game induces an under-approximation of the qualitative winning region in the original synthesis problem, along with a policy to solve it. By combining these contributions with (a) a symbolic fixpoint algorithm to solve \r\n-player games and (b) existing techniques for reachability policy synthesis in stochastic nonlinear systems, we get an abstraction-based algorithm for finding a lower bound on the maximal satisfaction probability.\r\nWe have implemented the abstraction-based algorithm in Mascot-SDS, where we combined the outlined abstraction step with our tool Genie (Majumdar et al., 2023) that solves \r\n-player parity games (through a reduction to Rabin games) more efficiently than existing algorithms. We evaluated our implementation on the nonlinear model of a perturbed bistable switch from the literature. We show empirically that the lower bound on the winning region computed by our approach is precise, by comparing against an over-approximation of the qualitative winning region. Moreover, our implementation outperforms a recently proposed tool for solving this problem by a large margin.","lang":"eng"}],"article_number":"101430","year":"2023","citation":{"mla":"Majumdar, Rupak, et al. “Symbolic Control for Stochastic Systems via Finite Parity Games.” <i>Nonlinear Analysis: Hybrid Systems</i>, vol. 51, 101430, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.nahs.2023.101430\">10.1016/j.nahs.2023.101430</a>.","short":"R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2023).","chicago":"Majumdar, Rupak, Kaushik Mallik, Anne Kathrin Schmuck, and Sadegh Soudjani. “Symbolic Control for Stochastic Systems via Finite Parity Games.” <i>Nonlinear Analysis: Hybrid Systems</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.nahs.2023.101430\">https://doi.org/10.1016/j.nahs.2023.101430</a>.","apa":"Majumdar, R., Mallik, K., Schmuck, A. K., &#38; Soudjani, S. (2023). Symbolic control for stochastic systems via finite parity games. <i>Nonlinear Analysis: Hybrid Systems</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nahs.2023.101430\">https://doi.org/10.1016/j.nahs.2023.101430</a>","ieee":"R. Majumdar, K. Mallik, A. K. Schmuck, and S. Soudjani, “Symbolic control for stochastic systems via finite parity games,” <i>Nonlinear Analysis: Hybrid Systems</i>, vol. 51. Elsevier, 2023.","ista":"Majumdar R, Mallik K, Schmuck AK, Soudjani S. 2023. Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. 51, 101430.","ama":"Majumdar R, Mallik K, Schmuck AK, Soudjani S. Symbolic control for stochastic systems via finite parity games. <i>Nonlinear Analysis: Hybrid Systems</i>. 2023;51. doi:<a href=\"https://doi.org/10.1016/j.nahs.2023.101430\">10.1016/j.nahs.2023.101430</a>"},"external_id":{"arxiv":["2101.00834"],"isi":["001093188100001"]},"date_published":"2023-09-27T00:00:00Z","type":"journal_article","publisher":"Elsevier","status":"public","month":"09","isi":1,"language":[{"iso":"eng"}],"quality_controlled":"1","day":"27","project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"}]},{"_id":"14401","date_created":"2023-10-08T22:01:15Z","file":[{"creator":"dernst","file_id":"14917","content_type":"application/pdf","checksum":"3aa218ddea4a082d8fd5e196ae55ca06","file_name":"2023_MolecularNeurodegeneration_Maes.pdf","success":1,"access_level":"open_access","file_size":11568350,"relation":"main_file","date_updated":"2024-01-30T14:33:31Z","date_created":"2024-01-30T14:33:31Z"}],"article_number":"67","year":"2023","citation":{"short":"M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).","apa":"Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., &#38; Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. <i>Molecular Neurodegeneration</i>. Springer Nature. <a href=\"https://doi.org/10.1186/s13024-023-00659-8\">https://doi.org/10.1186/s13024-023-00659-8</a>","chicago":"Maes, Margaret E, Ryan J. Donahue, Cassandra L. Schlamp, Olivia J. Marola, Richard T. Libby, and Robert W. Nickells. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” <i>Molecular Neurodegeneration</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1186/s13024-023-00659-8\">https://doi.org/10.1186/s13024-023-00659-8</a>.","mla":"Maes, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” <i>Molecular Neurodegeneration</i>, vol. 18, 67, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1186/s13024-023-00659-8\">10.1186/s13024-023-00659-8</a>.","ama":"Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. <i>Molecular Neurodegeneration</i>. 2023;18. doi:<a href=\"https://doi.org/10.1186/s13024-023-00659-8\">10.1186/s13024-023-00659-8</a>","ista":"Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. 2023. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 18, 67.","ieee":"M. E. Maes, R. J. Donahue, C. L. Schlamp, O. J. Marola, R. T. Libby, and R. W. Nickells, “BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps,” <i>Molecular Neurodegeneration</i>, vol. 18. Springer Nature, 2023."},"abstract":[{"lang":"eng","text":"Background: \r\nPro-apoptotic BAX is a central mediator of retinal ganglion cell (RGC) death after optic nerve damage. BAX activation occurs in two stages including translocation of latent BAX to the mitochondrial outer membrane (MOM) and then permeabilization of the MOM to facilitate the release of apoptotic signaling molecules. As a critical component of RGC death, BAX is an attractive target for neuroprotective therapies and an understanding of the kinetics of BAX activation and the mechanisms controlling the two stages of this process in RGCs is potentially valuable in informing the development of a neuroprotective strategy.\r\nMethods:\r\nThe kinetics of BAX translocation were assessed by both static and live-cell imaging of a GFP-BAX fusion protein introduced into RGCs using AAV2-mediated gene transfer in mice. Activation of BAX was achieved using an acute optic nerve crush (ONC) protocol. Live-cell imaging of GFP-BAX was achieved using explants of mouse retina harvested 7 days after ONC. Kinetics of translocation in RGCs were compared to GFP-BAX translocation in 661W tissue culture cells. Permeabilization of GFP-BAX was assessed by staining with the 6A7 monoclonal antibody, which recognizes a conformational change in this protein after MOM insertion. Assessment of individual kinases associated with both stages of activation was made using small molecule inhibitors injected into the vitreous either independently or in concert with ONC surgery. The contribution of the Dual Leucine Zipper-JUN-N-Terminal Kinase cascade was evaluated using mice with a double conditional knock-out of both Mkk4 and Mkk7.\r\nResults:\r\nONC induces the translocation of GFP-BAX in RGCs at a slower rate and with less intracellular synchronicity than 661W cells, but exhibits less variability among mitochondrial foci within a single cell. GFP-BAX was also found to translocate in all compartments of an RGC including the dendritic arbor and axon. Approximately 6% of translocating RGCs exhibited retrotranslocation of BAX immediately following translocation. Unlike tissue culture cells, which exhibit simultaneous translocation and permeabilization, RGCs exhibited a significant delay between these two stages, similar to detached cells undergoing anoikis. Translocation, with minimal permeabilization could be induced in a subset of RGCs using an inhibitor of Focal Adhesion Kinase (PF573228). Permeabilization after ONC, in a majority of RGCs, could be inhibited with a broad spectrum kinase inhibitor (sunitinib) or a selective inhibitor for p38/MAPK14 (SB203580). Intervention of DLK-JNK axis signaling abrogated GFP-BAX translocation after ONC.\r\nConclusions:\r\nA comparison between BAX activation kinetics in tissue culture cells and in cells of a complex tissue environment shows distinct differences indicating that caution should be used when translating findings from one condition to the other. RGCs exhibit both a delay between translocation and permeabilization and the ability for translocated BAX to be retrotranslocated, suggesting several stages at which intervention of the activation process could be exploited in the design of a therapeutic strategy."}],"publication_status":"published","title":"BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps","file_date_updated":"2024-01-30T14:33:31Z","oa_version":"Published Version","article_processing_charge":"Yes","doi":"10.1186/s13024-023-00659-8","scopus_import":"1","article_type":"original","publication_identifier":{"eissn":["1750-1326"]},"acknowledgement":"The authors would like to thank Mr. Joel Dietz for management of the mouse colony and helpful advice for conducting quantitative PCR studies and Mr. Santoshi Kinoshita at the Translational Research Initiative in Pathology laboratory at the University of Wisconsin-Madison for cutting sections analyzed in this study.\r\nThis work was supported by National Eye Institute grants R01 EY030123 (RWN), R01 EY018606 (RTL), P30 EY016665 (Department of Ophthalmology and Visual Sciences, University of Wisconsin-Madison), T32 EY027721 (RJD) and F31 EY030739 (OJM). Additional funding was provided by the BrightFocus Foundation (RWN) and unrestricted grants from Research to Prevent Blindness, Inc to the Department of Ophthalmology and Visual Sciences (University of Wisconsin-Madison) and to the Department of Ophthalmology (University of Rochester).","department":[{"_id":"SaSi"}],"publication":"Molecular Neurodegeneration","date_updated":"2024-01-30T14:34:21Z","intvolume":"        18","oa":1,"volume":18,"author":[{"last_name":"Maes","first_name":"Margaret E","full_name":"Maes, Margaret E","orcid":"0000-0001-9642-1085","id":"3838F452-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Donahue, Ryan J.","last_name":"Donahue","first_name":"Ryan J."},{"full_name":"Schlamp, Cassandra L.","first_name":"Cassandra L.","last_name":"Schlamp"},{"full_name":"Marola, Olivia J.","first_name":"Olivia J.","last_name":"Marola"},{"last_name":"Libby","first_name":"Richard T.","full_name":"Libby, Richard T."},{"last_name":"Nickells","first_name":"Robert W.","full_name":"Nickells, Robert W."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"quality_controlled":"1","day":"26","month":"09","isi":1,"status":"public","language":[{"iso":"eng"}],"ddc":["570"],"external_id":{"pmid":["37292963"],"isi":["001071403800001"]},"date_published":"2023-09-26T00:00:00Z","type":"journal_article","publisher":"Springer Nature","pmid":1},{"intvolume":"        42","department":[{"_id":"GaTk"}],"date_updated":"2024-01-30T14:07:40Z","ec_funded":1,"publication":"Cell Reports","author":[{"orcid":"0000-0003-2623-5249","id":"A057D288-3E88-11E9-986D-0CF4E5697425","full_name":"Lombardi, Fabrizio","first_name":"Fabrizio","last_name":"Lombardi"},{"last_name":"Herrmann","first_name":"Hans J.","full_name":"Herrmann, Hans J."},{"full_name":"Parrino, Liborio","first_name":"Liborio","last_name":"Parrino"},{"full_name":"Plenz, Dietmar","first_name":"Dietmar","last_name":"Plenz"},{"first_name":"Silvia","last_name":"Scarpetta","full_name":"Scarpetta, Silvia"},{"full_name":"Vaudano, Anna Elisabetta","last_name":"Vaudano","first_name":"Anna Elisabetta"},{"full_name":"De Arcangelis, Lucilla","first_name":"Lucilla","last_name":"De Arcangelis"},{"full_name":"Shriki, Oren","last_name":"Shriki","first_name":"Oren"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":42,"oa":1,"citation":{"ama":"Lombardi F, Herrmann HJ, Parrino L, et al. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. <i>Cell Reports</i>. 2023;42(10). doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">10.1016/j.celrep.2023.113162</a>","ista":"Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, De Arcangelis L, Shriki O. 2023. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 42(10), 113162.","ieee":"F. Lombardi <i>et al.</i>, “Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state,” <i>Cell Reports</i>, vol. 42, no. 10. Elsevier, 2023.","chicago":"Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz, Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla De Arcangelis, and Oren Shriki. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” <i>Cell Reports</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">https://doi.org/10.1016/j.celrep.2023.113162</a>.","short":"F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).","apa":"Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. <i>Cell Reports</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">https://doi.org/10.1016/j.celrep.2023.113162</a>","mla":"Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” <i>Cell Reports</i>, vol. 42, no. 10, 113162, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">10.1016/j.celrep.2023.113162</a>."},"article_number":"113162","year":"2023","abstract":[{"text":"Alpha oscillations are a distinctive feature of the awake resting state of the human brain. However, their functional role in resting-state neuronal dynamics remains poorly understood. Here we show that, during resting wakefulness, alpha oscillations drive an alternation of attenuation and amplification bouts in neural activity. Our analysis indicates that inhibition is activated in pulses that last for a single alpha cycle and gradually suppress neural activity, while excitation is successively enhanced over a few alpha cycles to amplify neural activity. Furthermore, we show that long-term alpha amplitude fluctuations—the “waxing and waning” phenomenon—are an attenuation-amplification mechanism described by a power-law decay of the activity rate in the “waning” phase. Importantly, we do not observe such dynamics during non-rapid eye movement (NREM) sleep with marginal alpha oscillations. The results suggest that alpha oscillations modulate neural activity not only through pulses of inhibition (pulsed inhibition hypothesis) but also by timely enhancement of excitation (or disinhibition).","lang":"eng"}],"file":[{"date_updated":"2024-01-30T14:07:08Z","relation":"main_file","file_size":5599007,"date_created":"2024-01-30T14:07:08Z","file_name":"2023_CellReports_Lombardi.pdf","access_level":"open_access","success":1,"checksum":"9c71eb2a03aa160415f01ad95f49ceb5","content_type":"application/pdf","creator":"dernst","file_id":"14914"}],"date_created":"2023-10-08T22:01:15Z","_id":"14402","scopus_import":"1","doi":"10.1016/j.celrep.2023.113162","publication_identifier":{"eissn":["2211-1247"]},"acknowledgement":"This research was funded in whole or in part by the Austrian Science Fund (FWF) (grant PT1013M03318 to F.L.). For the purpose of open access, the author has applied a CC BY public copyright license to any Author Accepted Manuscript version arising from this submission. The study was supported by the European Union Horizon 2020 Research and Innovation Program under the Marie Sklodowska-Curie action (grant agreement 754411 to F.L.) and in part by the NextGenerationEU through the grant TAlent in ReSearch@University of Padua – STARS@UNIPD (to F.L.) (project BRAINCIP [brain criticality and information processing]). L.d.A. acknowledges support from the Italian MIUR project PRIN2017WZFTZP and partial support from NEXTGENERATIONEU (NGEU) funded by the Ministry of University and Research (MUR), National Recovery and Resilience Plan (NRRP), and project MNESYS (PE0000006)—a multiscale integrated approach to the study of the nervous system in health and disease (DN. 1553 11.10.2022). O.S. acknowledges support from the Israel Science Foundation, grant 504/17. The work was supported in part by DIRP ZIAMH02797 (to D.P.).","article_type":"original","title":"Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state","publication_status":"published","article_processing_charge":"Yes","oa_version":"Published Version","file_date_updated":"2024-01-30T14:07:08Z","ddc":["570"],"language":[{"iso":"eng"}],"isi":1,"month":"10","status":"public","pmid":1,"publisher":"Elsevier","type":"journal_article","date_published":"2023-10-31T00:00:00Z","external_id":{"isi":["001086695500001"],"pmid":["37777965"]},"issue":"10","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"grant_number":"M03318","_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","name":"Functional Advantages of Critical Brain Dynamics"},{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411"}],"has_accepted_license":"1","day":"31","quality_controlled":"1"},{"issue":"6665","project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"quality_controlled":"1","page":"1413-1414","day":"29","month":"09","status":"public","language":[{"iso":"eng"}],"type":"journal_article","external_id":{"pmid":["37769110"]},"date_published":"2023-09-29T00:00:00Z","pmid":1,"publisher":"AAAS","date_created":"2023-10-08T22:01:16Z","_id":"14404","citation":{"mla":"Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” <i>Science</i>, vol. 381, no. 6665, AAAS, 2023, pp. 1413–14, doi:<a href=\"https://doi.org/10.1126/science.adk3070\">10.1126/science.adk3070</a>.","short":"D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.","chicago":"Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” <i>Science</i>. AAAS, 2023. <a href=\"https://doi.org/10.1126/science.adk3070\">https://doi.org/10.1126/science.adk3070</a>.","apa":"Balazs, D., &#38; Ibáñez, M. (2023). Widening the use of 3D printing. <i>Science</i>. AAAS. <a href=\"https://doi.org/10.1126/science.adk3070\">https://doi.org/10.1126/science.adk3070</a>","ista":"Balazs D, Ibáñez M. 2023. Widening the use of 3D printing. Science. 381(6665), 1413–1414.","ieee":"D. Balazs and M. Ibáñez, “Widening the use of 3D printing,” <i>Science</i>, vol. 381, no. 6665. AAAS, pp. 1413–1414, 2023.","ama":"Balazs D, Ibáñez M. Widening the use of 3D printing. <i>Science</i>. 2023;381(6665):1413-1414. doi:<a href=\"https://doi.org/10.1126/science.adk3070\">10.1126/science.adk3070</a>"},"year":"2023","abstract":[{"text":"A light-triggered fabrication method extends the functionality of printable nanomaterials","lang":"eng"}],"publication_status":"published","title":"Widening the use of 3D printing","oa_version":"None","article_processing_charge":"No","scopus_import":"1","doi":"10.1126/science.adk3070","acknowledgement":"The authors thank the Werner-Siemens-Stiftung and the Institute of Science and Technology Austria for financial support.","publication_identifier":{"eissn":["1095-9203"]},"article_type":"letter_note","department":[{"_id":"MaIb"},{"_id":"LifeSc"}],"date_updated":"2023-10-09T07:32:58Z","publication":"Science","intvolume":"       381","volume":381,"author":[{"id":"302BADF6-85FC-11EA-9E3B-B9493DDC885E","orcid":"0000-0001-7597-043X","full_name":"Balazs, Daniel","first_name":"Daniel","last_name":"Balazs"},{"full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","first_name":"Maria"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"volume":279,"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Bartocci, Ezio","first_name":"Ezio","last_name":"Bartocci"},{"orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","full_name":"Nickovic, Dejan"},{"last_name":"Oliveira da Costa","first_name":"Ana","full_name":"Oliveira da Costa, Ana","id":"f347ec37-6676-11ee-b395-a888cb7b4fb4","orcid":"0000-0002-8741-5799"}],"ec_funded":1,"date_updated":"2023-10-09T07:43:44Z","publication":"34th International Conference on Concurrency Theory","department":[{"_id":"ToHe"}],"intvolume":"       279","arxiv":1,"article_processing_charge":"Yes","oa_version":"Published Version","file_date_updated":"2023-10-09T07:42:45Z","title":"Hypernode automata","publication_status":"published","publication_identifier":{"issn":["18688969"],"isbn":["9783959772990"]},"acknowledgement":"This work was supported in part by the Austrian Science Fund (FWF) SFB project\r\nSpyCoDe F8502, by the FWF projects ZK-35 and W1255-N23, and by the ERC Advanced Grant\r\nVAMOS 101020093.","scopus_import":"1","doi":"10.4230/LIPIcs.CONCUR.2023.21","file":[{"relation":"main_file","date_created":"2023-10-09T07:42:45Z","date_updated":"2023-10-09T07:42:45Z","file_size":795790,"file_name":"2023_LIPcs_Bartocci.pdf","success":1,"access_level":"open_access","checksum":"215765e40454d806174ac0a223e8d6fa","creator":"dernst","file_id":"14413","content_type":"application/pdf"}],"date_created":"2023-10-08T22:01:16Z","_id":"14405","conference":{"start_date":"2023-09-19","location":"Antwerp, Belgium","name":"CONCUR: Conference on Concurrency Theory","end_date":"2023-09-22"},"abstract":[{"lang":"eng","text":"We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formulas and transitions labeled with actions. A hypernode logic formula specifies relations between sequences of variable values in different system executions. Unlike HyperLTL, hypernode logic takes an asynchronous view on execution traces by constraining the values and the order of value changes of each variable without correlating the timing of the changes. Different execution traces are synchronized solely through the transitions of hypernode automata. Hypernode automata naturally combine asynchronicity at the node level with synchronicity at the transition level. We show that the model-checking problem for hypernode automata is decidable over action-labeled Kripke structures, whose actions induce transitions of the specification automata. For this reason, hypernode automaton is a suitable formalism for specifying and verifying asynchronous hyperproperties, such as declassifying observational determinism in multi-threaded programs."}],"citation":{"mla":"Bartocci, Ezio, et al. “Hypernode Automata.” <i>34th International Conference on Concurrency Theory</i>, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.21\">10.4230/LIPIcs.CONCUR.2023.21</a>.","apa":"Bartocci, E., Henzinger, T. A., Nickovic, D., &#38; Oliveira da Costa, A. (2023). Hypernode automata. In <i>34th International Conference on Concurrency Theory</i> (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.21\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.21</a>","short":"E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","chicago":"Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Hypernode Automata.” In <i>34th International Conference on Concurrency Theory</i>, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.21\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.21</a>.","ieee":"E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode automata,” in <i>34th International Conference on Concurrency Theory</i>, Antwerp, Belgium, 2023, vol. 279.","ista":"Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2023. Hypernode automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 21.","ama":"Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. Hypernode automata. In: <i>34th International Conference on Concurrency Theory</i>. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.21\">10.4230/LIPIcs.CONCUR.2023.21</a>"},"article_number":"21","year":"2023","type":"conference","external_id":{"arxiv":["2305.02836"]},"date_published":"2023-09-01T00:00:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","status":"public","month":"09","alternative_title":["LIPIcs"],"ddc":["000"],"language":[{"iso":"eng"}],"quality_controlled":"1","day":"01","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020"}],"has_accepted_license":"1"},{"day":"01","quality_controlled":"1","issue":"10","publisher":"American Physical Society","external_id":{"arxiv":["2306.09455"]},"date_published":"2023-09-01T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"month":"09","status":"public","doi":"10.1103/PhysRevB.108.104205","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2306.09455","open_access":"1"}],"scopus_import":"1","article_type":"original","acknowledgement":"We thank Ilya Gruzberg for many illuminating discussions. S.S.B., J.F.K., and A.D.M. acknowledge support by the Deutsche Forschungsgemeinschaft (DFG) via the Grant\r\nNo. MI 658/14-1. I.S.B. acknowledges support from Russian Science Foundation (Grant No. 22-42-04416).","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"title":"Generalized surface multifractality in two-dimensional disordered systems","publication_status":"published","oa_version":"Preprint","article_processing_charge":"No","year":"2023","article_number":"104205","citation":{"mla":"Babkin, Serafim, et al. “Generalized Surface Multifractality in Two-Dimensional Disordered Systems.” <i>Physical Review B</i>, vol. 108, no. 10, 104205, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevB.108.104205\">10.1103/PhysRevB.108.104205</a>.","apa":"Babkin, S., Karcher, J. F., Burmistrov, I. S., &#38; Mirlin, A. D. (2023). Generalized surface multifractality in two-dimensional disordered systems. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.108.104205\">https://doi.org/10.1103/PhysRevB.108.104205</a>","chicago":"Babkin, Serafim, Jonas F. Karcher, Igor S. Burmistrov, and Alexander D. Mirlin. “Generalized Surface Multifractality in Two-Dimensional Disordered Systems.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevB.108.104205\">https://doi.org/10.1103/PhysRevB.108.104205</a>.","short":"S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B 108 (2023).","ama":"Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. Generalized surface multifractality in two-dimensional disordered systems. <i>Physical Review B</i>. 2023;108(10). doi:<a href=\"https://doi.org/10.1103/PhysRevB.108.104205\">10.1103/PhysRevB.108.104205</a>","ieee":"S. Babkin, J. F. Karcher, I. S. Burmistrov, and A. D. Mirlin, “Generalized surface multifractality in two-dimensional disordered systems,” <i>Physical Review B</i>, vol. 108, no. 10. American Physical Society, 2023.","ista":"Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. 2023. Generalized surface multifractality in two-dimensional disordered systems. Physical Review B. 108(10), 104205."},"abstract":[{"lang":"eng","text":"Recently, a concept of generalized multifractality, which characterizes fluctuations and correlations of critical eigenstates, was introduced and explored for all 10 symmetry classes of disordered systems. Here, by using the nonlinear sigma-model (\r\nNL\r\nσ\r\nM\r\n) field theory, we extend the theory of generalized multifractality to boundaries of systems at criticality. Our numerical simulations on two-dimensional systems of symmetry classes A, C, and AII fully confirm the analytical predictions of pure-scaling observables and Weyl symmetry relations between critical exponents of surface generalized multifractality. This demonstrates the validity of the \r\nNL\r\nσ\r\nM\r\n for the description of Anderson-localization critical phenomena, not only in the bulk but also on the boundary. The critical exponents strongly violate generalized parabolicity, in analogy with earlier results for the bulk, corroborating the conclusion that the considered Anderson-localization critical points are not described by conformal field theories. We further derive relations between generalized surface multifractal spectra and linear combinations of Lyapunov exponents of a strip in quasi-one-dimensional geometry, which hold under the assumption of invariance with respect to a logarithmic conformal map. Our numerics demonstrate that these relations hold with an excellent accuracy. Taken together, our results indicate an intriguing situation: the conformal invariance is broken but holds partially at critical points of Anderson localization."}],"_id":"14406","date_created":"2023-10-08T22:01:17Z","author":[{"first_name":"Serafim","last_name":"Babkin","orcid":"0009-0003-7382-8036","id":"41e64307-6672-11ee-b9ad-cc7a0075a479","full_name":"Babkin, Serafim"},{"last_name":"Karcher","first_name":"Jonas F.","full_name":"Karcher, Jonas F."},{"first_name":"Igor S.","last_name":"Burmistrov","full_name":"Burmistrov, Igor S."},{"first_name":"Alexander D.","last_name":"Mirlin","full_name":"Mirlin, Alexander D."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":108,"arxiv":1,"intvolume":"       108","department":[{"_id":"MaSe"}],"publication":"Physical Review B","date_updated":"2023-10-09T07:09:30Z"},{"language":[{"iso":"eng"}],"status":"public","month":"09","publisher":"Springer Nature","type":"journal_article","date_published":"2023-09-28T00:00:00Z","external_id":{"arxiv":["2210.12060"]},"day":"28","quality_controlled":"1","arxiv":1,"date_updated":"2023-10-09T07:19:01Z","publication":"Probability Theory and Related Fields","department":[{"_id":"LaEr"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Giorgio","last_name":"Cipolloni","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4901-7992","full_name":"Cipolloni, Giorgio"},{"first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"orcid":"0000-0002-2904-1856","id":"408ED176-F248-11E8-B48F-1D18A9856A87","full_name":"Schröder, Dominik J","first_name":"Dominik J","last_name":"Schröder"}],"oa":1,"abstract":[{"lang":"eng","text":"We prove that the mesoscopic linear statistics ∑if(na(σi−z0)) of the eigenvalues {σi}i of large n×n non-Hermitian random matrices with complex centred i.i.d. entries are asymptotically Gaussian for any H20-functions f around any point z0 in the bulk of the spectrum on any mesoscopic scale 0<a<1/2. This extends our previous result (Cipolloni et al. in Commun Pure Appl Math, 2019. arXiv:1912.04100), that was valid on the macroscopic scale, a=0\r\n, to cover the entire mesoscopic regime. The main novelty is a local law for the product of resolvents for the Hermitization of X at spectral parameters z1,z2 with an improved error term in the entire mesoscopic regime |z1−z2|≫n−1/2. The proof is dynamical; it relies on a recursive tandem of the characteristic flow method and the Green function comparison idea combined with a separation of the unstable mode of the underlying stability operator."}],"citation":{"ista":"Cipolloni G, Erdös L, Schröder DJ. 2023. Mesoscopic central limit theorem for non-Hermitian random matrices. Probability Theory and Related Fields.","ieee":"G. Cipolloni, L. Erdös, and D. J. Schröder, “Mesoscopic central limit theorem for non-Hermitian random matrices,” <i>Probability Theory and Related Fields</i>. Springer Nature, 2023.","ama":"Cipolloni G, Erdös L, Schröder DJ. Mesoscopic central limit theorem for non-Hermitian random matrices. <i>Probability Theory and Related Fields</i>. 2023. doi:<a href=\"https://doi.org/10.1007/s00440-023-01229-1\">10.1007/s00440-023-01229-1</a>","apa":"Cipolloni, G., Erdös, L., &#38; Schröder, D. J. (2023). Mesoscopic central limit theorem for non-Hermitian random matrices. <i>Probability Theory and Related Fields</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00440-023-01229-1\">https://doi.org/10.1007/s00440-023-01229-1</a>","chicago":"Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Mesoscopic Central Limit Theorem for Non-Hermitian Random Matrices.” <i>Probability Theory and Related Fields</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s00440-023-01229-1\">https://doi.org/10.1007/s00440-023-01229-1</a>.","short":"G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).","mla":"Cipolloni, Giorgio, et al. “Mesoscopic Central Limit Theorem for Non-Hermitian Random Matrices.” <i>Probability Theory and Related Fields</i>, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1007/s00440-023-01229-1\">10.1007/s00440-023-01229-1</a>."},"year":"2023","date_created":"2023-10-08T22:01:17Z","_id":"14408","acknowledgement":"The authors are grateful to Joscha Henheik for his help with the formulas in Appendix B.","publication_identifier":{"issn":["0178-8051"],"eissn":["1432-2064"]},"article_type":"original","scopus_import":"1","doi":"10.1007/s00440-023-01229-1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2210.12060"}],"article_processing_charge":"No","oa_version":"Preprint","title":"Mesoscopic central limit theorem for non-Hermitian random matrices","publication_status":"epub_ahead"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"2eea55ec-e8ec-11ed-86cb-d9c76787acfe","full_name":"Baunis, Haralds","first_name":"Haralds","last_name":"Baunis"},{"last_name":"Pieber","first_name":"Bartholomäus","full_name":"Pieber, Bartholomäus","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","orcid":"0000-0001-8689-388X"}],"oa":1,"volume":26,"intvolume":"        26","publication":"European Journal of Organic Chemistry","date_updated":"2024-01-30T14:05:14Z","department":[{"_id":"BaPi"}],"article_type":"original","acknowledgement":"We gratefully acknowledge the Max-Planck Society and the Institute of Science and Technology Austria (ISTA) for generous financial support. We also thank the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy – EXC 2008 – 390540038 – UniSysCat for funding. B.P. thanks the Boehringer Ingelheim Foundation for funding through the Plus 3 Perspectives Programme.","publication_identifier":{"eissn":["1099-0690"],"issn":["1434-193X"]},"doi":"10.1002/ejoc.202300769","scopus_import":"1","file_date_updated":"2024-01-30T14:04:44Z","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","publication_status":"published","title":"Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex","abstract":[{"text":"We present a photon- and metal-free approach for the radical fluorination of aliphatic oxalate-activated alcohols. The method relies on the spontaneous generation of the N-(chloromethyl)triethylenediamine radical dication, a potent single electron oxidant, from Selectfluor and 4-(dimethylamino)pyridine. The protocol is easily scalable and provides the desired fluorinated products within only a few minutes reaction time.","lang":"eng"}],"article_number":"e202300769","year":"2023","citation":{"mla":"Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer Complex.” <i>European Journal of Organic Chemistry</i>, vol. 26, no. 42, e202300769, Wiley, 2023, doi:<a href=\"https://doi.org/10.1002/ejoc.202300769\">10.1002/ejoc.202300769</a>.","chicago":"Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer Complex.” <i>European Journal of Organic Chemistry</i>. Wiley, 2023. <a href=\"https://doi.org/10.1002/ejoc.202300769\">https://doi.org/10.1002/ejoc.202300769</a>.","short":"H. Baunis, B. Pieber, European Journal of Organic Chemistry 26 (2023).","apa":"Baunis, H., &#38; Pieber, B. (2023). Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. <i>European Journal of Organic Chemistry</i>. Wiley. <a href=\"https://doi.org/10.1002/ejoc.202300769\">https://doi.org/10.1002/ejoc.202300769</a>","ama":"Baunis H, Pieber B. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. <i>European Journal of Organic Chemistry</i>. 2023;26(42). doi:<a href=\"https://doi.org/10.1002/ejoc.202300769\">10.1002/ejoc.202300769</a>","ista":"Baunis H, Pieber B. 2023. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. 26(42), e202300769.","ieee":"H. Baunis and B. Pieber, “Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex,” <i>European Journal of Organic Chemistry</i>, vol. 26, no. 42. Wiley, 2023."},"_id":"14409","date_created":"2023-10-08T22:01:18Z","file":[{"creator":"dernst","file_id":"14913","content_type":"application/pdf","checksum":"e8ad7865acd94672e476f273ccf3d542","file_name":"2023_EurJOrgChem_Baunis.pdf","success":1,"access_level":"open_access","file_size":3277622,"relation":"main_file","date_created":"2024-01-30T14:04:44Z","date_updated":"2024-01-30T14:04:44Z"}],"publisher":"Wiley","external_id":{"isi":["001072666500001"]},"date_published":"2023-11-07T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"ddc":["540"],"status":"public","month":"11","isi":1,"day":"07","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","short":"CC BY-NC (4.0)","image":"/images/cc_by_nc.png"},"has_accepted_license":"1","issue":"42"},{"alternative_title":["LNCS"],"intvolume":"     14068","language":[{"iso":"eng"}],"publication":"International Workshop on Reproducible Research in Pattern Recognition","status":"public","date_updated":"2023-10-09T06:48:02Z","month":"08","department":[{"_id":"ChLa"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","author":[{"full_name":"Tomaszewska, Paulina","first_name":"Paulina","last_name":"Tomaszewska"},{"full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","first_name":"Christoph"}],"volume":14068,"date_published":"2023-08-20T00:00:00Z","type":"conference","abstract":[{"text":"This paper focuses on the implementation details of the baseline methods and a recent lightweight conditional model extrapolation algorithm LIMES [5] for streaming data under class-prior shift. LIMES achieves superior performance over the baseline methods, especially concerning the minimum-across-day accuracy, which is important for the users of the system. In this work, the key measures to facilitate reproducibility and enhance the credibility of the results are described.","lang":"eng"}],"year":"2023","citation":{"ieee":"P. Tomaszewska and C. Lampert, “On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift,” in <i>International Workshop on Reproducible Research in Pattern Recognition</i>, Montreal, Canada, 2023, vol. 14068, pp. 67–73.","ista":"Tomaszewska P, Lampert C. 2023. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. International Workshop on Reproducible Research in Pattern Recognition. RRPR: Reproducible Research in Pattern Recognition, LNCS, vol. 14068, 67–73.","ama":"Tomaszewska P, Lampert C. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In: <i>International Workshop on Reproducible Research in Pattern Recognition</i>. Vol 14068. Springer Nature; 2023:67-73. doi:<a href=\"https://doi.org/10.1007/978-3-031-40773-4_6\">10.1007/978-3-031-40773-4_6</a>","short":"P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.","apa":"Tomaszewska, P., &#38; Lampert, C. (2023). On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In <i>International Workshop on Reproducible Research in Pattern Recognition</i> (Vol. 14068, pp. 67–73). Montreal, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-40773-4_6\">https://doi.org/10.1007/978-3-031-40773-4_6</a>","chicago":"Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” In <i>International Workshop on Reproducible Research in Pattern Recognition</i>, 14068:67–73. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-40773-4_6\">https://doi.org/10.1007/978-3-031-40773-4_6</a>.","mla":"Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” <i>International Workshop on Reproducible Research in Pattern Recognition</i>, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:<a href=\"https://doi.org/10.1007/978-3-031-40773-4_6\">10.1007/978-3-031-40773-4_6</a>."},"_id":"14410","date_created":"2023-10-08T22:01:18Z","conference":{"end_date":"2022-08-21","name":"RRPR: Reproducible Research in Pattern Recognition","location":"Montreal, Canada","start_date":"2022-08-21"},"day":"20","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031407727"],"eissn":["1611-3349"]},"page":"67-73","doi":"10.1007/978-3-031-40773-4_6","scopus_import":"1","article_processing_charge":"No","oa_version":"None","quality_controlled":"1","publication_status":"published","title":"On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift"},{"publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031426964"],"issn":["0302-9743"]},"acknowledgement":"This work was supported by the Czech Foundation grant No. GA22-10845S, Grant Agency of Masaryk University grant No. MUNI/G/1771/2020, and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.","doi":"10.1007/978-3-031-42697-1_2","scopus_import":"1","file_date_updated":"2024-02-16T08:26:32Z","oa_version":"Submitted Version","article_processing_charge":"No","publication_status":"published","title":"Phenotype control of partially specified boolean networks","abstract":[{"text":"Partially specified Boolean networks (PSBNs) represent a promising framework for the qualitative modelling of biological systems in which the logic of interactions is not completely known. Phenotype control aims to stabilise the network in states exhibiting specific traits.\r\nIn this paper, we define the phenotype control problem in the context of asynchronous PSBNs and propose a novel semi-symbolic algorithm for solving this problem with permanent variable perturbations.","lang":"eng"}],"year":"2023","citation":{"apa":"Beneš, N., Brim, L., Pastva, S., Šafránek, D., &#38; Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In <i>21st International Conference on Computational Methods in Systems Biology</i> (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">https://doi.org/10.1007/978-3-031-42697-1_2</a>","chicago":"Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In <i>21st International Conference on Computational Methods in Systems Biology</i>, 14137:18–35. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">https://doi.org/10.1007/978-3-031-42697-1_2</a>.","short":"N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.","mla":"Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” <i>21st International Conference on Computational Methods in Systems Biology</i>, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:<a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">10.1007/978-3-031-42697-1_2</a>.","ista":"Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. 2023. Phenotype control of partially specified boolean networks. 21st International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNBI, vol. 14137, 18–35.","ieee":"N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in <i>21st International Conference on Computational Methods in Systems Biology</i>, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.","ama":"Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. Phenotype control of partially specified boolean networks. In: <i>21st International Conference on Computational Methods in Systems Biology</i>. Vol 14137. Springer Nature; 2023:18-35. doi:<a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">10.1007/978-3-031-42697-1_2</a>"},"_id":"14411","file":[{"date_updated":"2024-02-16T08:26:32Z","file_size":691582,"date_created":"2024-02-16T08:26:32Z","relation":"main_file","success":1,"access_level":"open_access","file_name":"cmsb2023.pdf","checksum":"6f71bdaedb770b52380222fd9f4d7937","creator":"spastva","file_id":"14997","content_type":"application/pdf"}],"date_created":"2023-10-08T22:01:18Z","conference":{"end_date":"2023-09-15","location":"Luxembourg City, Luxembourg","name":"CMSB: Computational Methods in Systems Biology","start_date":"2023-09-13"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Beneš, Nikola","first_name":"Nikola","last_name":"Beneš"},{"full_name":"Brim, Luboš","first_name":"Luboš","last_name":"Brim"},{"first_name":"Samuel","last_name":"Pastva","orcid":"0000-0003-1993-0331","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","full_name":"Pastva, Samuel"},{"full_name":"Šafránek, David","last_name":"Šafránek","first_name":"David"},{"full_name":"Šmijáková, Eva","last_name":"Šmijáková","first_name":"Eva"}],"oa":1,"volume":14137,"intvolume":"     14137","publication":"21st International Conference on Computational Methods in Systems Biology","date_updated":"2024-02-20T09:02:04Z","ec_funded":1,"department":[{"_id":"ToHe"}],"day":"09","page":"18-35","quality_controlled":"1","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"grant_number":"101034413","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program"}],"publisher":"Springer Nature","date_published":"2023-09-09T00:00:00Z","type":"conference","alternative_title":["LNBI"],"language":[{"iso":"eng"}],"ddc":["000"],"status":"public","month":"09"},{"day":"21","quality_controlled":"1","project":[{"grant_number":"863818","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"has_accepted_license":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","type":"conference","date_published":"2023-08-21T00:00:00Z","external_id":{"arxiv":["2307.06611"]},"alternative_title":["LIPIcs"],"ddc":["000"],"language":[{"iso":"eng"}],"status":"public","month":"08","acknowledgement":"This work was partly funded by the ERC CoG 863818 (ForM-SMArt), the DFG Grant\r\n389792660 as part of TRR 248 (Foundations of Perspicuous Software Systems), the Cluster of\r\nExcellence EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy), and the DFG projects BA-1679/11-1 and BA-1679/12-1.","publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772921"]},"scopus_import":"1","doi":"10.4230/LIPIcs.MFCS.2023.15","oa_version":"Published Version","article_processing_charge":"Yes","file_date_updated":"2023-10-09T09:19:11Z","title":"Entropic risk for turn-based stochastic games","publication_status":"published","abstract":[{"text":"Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of turn-based stochastic games with the total reward objective. This gives rise to an objective function that demands the control of systems in a risk-averse manner. We show that the resulting games are determined and, in particular, admit optimal memoryless deterministic strategies. This contrasts risk measures that previously have been considered in the special case of Markov decision processes and that require randomization and/or memory. We provide several results on the decidability and the computational complexity of the threshold problem, i.e. whether the optimal value of ERisk exceeds a given threshold. In the most general case, the problem is decidable subject to Shanuel’s conjecture. If all inputs are rational, the resulting threshold problem can be solved using algebraic numbers, leading to decidability via a polynomial-time reduction to the existential theory of the reals. Further restrictions on the encoding of the input allow the solution of the threshold problem in NP∩coNP. Finally, an approximation algorithm for the optimal value of ERisk is provided.","lang":"eng"}],"citation":{"ama":"Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Entropic risk for turn-based stochastic games. In: <i>48th International Symposium on Mathematical Foundations of Computer Science</i>. Vol 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2023.15\">10.4230/LIPIcs.MFCS.2023.15</a>","ista":"Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2023. Entropic risk for turn-based stochastic games. 48th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 272, 15.","ieee":"C. Baier, K. Chatterjee, T. Meggendorfer, and J. Piribauer, “Entropic risk for turn-based stochastic games,” in <i>48th International Symposium on Mathematical Foundations of Computer Science</i>, Bordeaux, France, 2023, vol. 272.","chicago":"Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Entropic Risk for Turn-Based Stochastic Games.” In <i>48th International Symposium on Mathematical Foundations of Computer Science</i>, Vol. 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2023.15\">https://doi.org/10.4230/LIPIcs.MFCS.2023.15</a>.","short":"C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","apa":"Baier, C., Chatterjee, K., Meggendorfer, T., &#38; Piribauer, J. (2023). Entropic risk for turn-based stochastic games. In <i>48th International Symposium on Mathematical Foundations of Computer Science</i> (Vol. 272). Bordeaux, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2023.15\">https://doi.org/10.4230/LIPIcs.MFCS.2023.15</a>","mla":"Baier, Christel, et al. “Entropic Risk for Turn-Based Stochastic Games.” <i>48th International Symposium on Mathematical Foundations of Computer Science</i>, vol. 272, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2023.15\">10.4230/LIPIcs.MFCS.2023.15</a>."},"year":"2023","article_number":"15","date_created":"2023-10-09T09:21:05Z","file":[{"content_type":"application/pdf","creator":"dernst","file_id":"14418","checksum":"402281b17ed669bbf149d0fdf68ac201","success":1,"access_level":"open_access","file_name":"2023_LIPIcsMFCS_Baier.pdf","file_size":826843,"relation":"main_file","date_created":"2023-10-09T09:19:11Z","date_updated":"2023-10-09T09:19:11Z"}],"_id":"14417","conference":{"start_date":"2023-08-28","end_date":"2023-09-01","location":"Bordeaux, France","name":"MFCS: Symposium on Mathematical Foundations of Computer Science"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Baier, Christel","last_name":"Baier","first_name":"Christel"},{"last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"last_name":"Meggendorfer","first_name":"Tobias","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"first_name":"Jakob","last_name":"Piribauer","full_name":"Piribauer, Jakob"}],"volume":272,"oa":1,"intvolume":"       272","arxiv":1,"ec_funded":1,"date_updated":"2025-07-14T09:09:57Z","publication":"48th International Symposium on Mathematical Foundations of Computer Science","department":[{"_id":"KrCh"}]},{"doi":"10.1088/1751-8121/acfe62","scopus_import":"1","article_type":"original","acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","publication_identifier":{"issn":["1751-8113"],"eissn":["1751-8121"]},"publication_status":"published","title":"Creation rate of Dirac particles at a point source","file_date_updated":"2023-10-16T07:07:24Z","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","year":"2023","article_number":"445201","citation":{"short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","apa":"Henheik, S. J., &#38; Tumulka, R. (2023). Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>","chicago":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing, 2023. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>.","mla":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>.","ista":"Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.","ieee":"S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44. IOP Publishing, 2023.","ama":"Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. 2023;56(44). doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>"},"abstract":[{"text":"Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\\in\\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).","lang":"eng"}],"_id":"14421","file":[{"access_level":"open_access","success":1,"file_name":"2023_JourPhysics_Henheik.pdf","date_created":"2023-10-16T07:07:24Z","date_updated":"2023-10-16T07:07:24Z","file_size":721399,"relation":"main_file","file_id":"14429","creator":"dernst","content_type":"application/pdf","checksum":"5b68de147dd4c608b71a6e0e844d2ce9"}],"date_created":"2023-10-12T12:42:53Z","author":[{"last_name":"Henheik","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha","orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb"},{"first_name":"Roderich","last_name":"Tumulka","full_name":"Tumulka, Roderich"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":56,"arxiv":1,"intvolume":"        56","department":[{"_id":"GradSch"},{"_id":"LaEr"}],"publication":"Journal of Physics A: Mathematical and Theoretical","date_updated":"2023-12-13T13:01:25Z","ec_funded":1,"day":"11","quality_controlled":"1","issue":"44","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331","call_identifier":"H2020"}],"publisher":"IOP Publishing","external_id":{"isi":["001080908000001"],"arxiv":["2211.16606"]},"date_published":"2023-10-11T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"ddc":["510"],"month":"10","isi":1,"status":"public"},{"status":"public","month":"10","alternative_title":["ISTA Thesis"],"ddc":["610"],"language":[{"iso":"eng"}],"type":"dissertation","date_published":"2023-10-12T00:00:00Z","publisher":"Institute of Science and Technology Austria","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"project":[{"grant_number":"819603","call_identifier":"H2020","_id":"0aacfa84-070f-11eb-9043-d7eb2c709234","name":"Learning the shape of synaptic plasticity rules for neuronal architectures and function through machine learning."}],"has_accepted_license":"1","day":"12","page":"148","date_updated":"2023-10-18T09:20:56Z","ec_funded":1,"department":[{"_id":"GradSch"},{"_id":"TiVo"}],"degree_awarded":"PhD","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"9633"}]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","author":[{"last_name":"Confavreux","first_name":"Basile J","full_name":"Confavreux, Basile J","id":"C7610134-B532-11EA-BD9F-F5753DDC885E"}],"file":[{"checksum":"7f636555eae7803323df287672fd13ed","content_type":"application/pdf","creator":"cchlebak","file_id":"14424","embargo":"2024-10-12","date_updated":"2023-10-12T14:54:52Z","date_created":"2023-10-12T14:53:50Z","file_size":30599717,"relation":"main_file","embargo_to":"open_access","file_name":"Confavreux_Thesis_2A.pdf","access_level":"closed"},{"date_updated":"2023-10-18T07:56:08Z","relation":"source_file","file_size":68406739,"date_created":"2023-10-18T07:38:34Z","access_level":"closed","file_name":"Confavreux Thesis.zip","checksum":"725e85946db92290a4583a0de9779e1b","content_type":"application/x-zip-compressed","file_id":"14440","creator":"cchlebak"}],"date_created":"2023-10-12T14:13:25Z","_id":"14422","supervisor":[{"first_name":"Tim P","last_name":"Vogels","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","orcid":"0000-0003-3295-6181","full_name":"Vogels, Tim P"}],"abstract":[{"text":"Animals exhibit a remarkable ability to learn and remember new behaviors, skills, and associations throughout their lifetime. These capabilities are made possible thanks to a variety of\r\nchanges in the brain throughout adulthood, regrouped under the term \"plasticity\". Some cells\r\nin the brain —neurons— and specifically changes in the connections between neurons, the\r\nsynapses, were shown to be crucial for the formation, selection, and consolidation of memories\r\nfrom past experiences. These ongoing changes of synapses across time are called synaptic\r\nplasticity. Understanding how a myriad of biochemical processes operating at individual\r\nsynapses can somehow work in concert to give rise to meaningful changes in behavior is a\r\nfascinating problem and an active area of research.\r\nHowever, the experimental search for the precise plasticity mechanisms at play in the brain\r\nis daunting, as it is difficult to control and observe synapses during learning. Theoretical\r\napproaches have thus been the default method to probe the plasticity-behavior connection. Such\r\nstudies attempt to extract unifying principles across synapses and model all observed synaptic\r\nchanges using plasticity rules: equations that govern the evolution of synaptic strengths across\r\ntime in neuronal network models. These rules can use many relevant quantities to determine\r\nthe magnitude of synaptic changes, such as the precise timings of pre- and postsynaptic\r\naction potentials, the recent neuronal activity levels, the state of neighboring synapses, etc.\r\nHowever, analytical studies rely heavily on human intuition and are forced to make simplifying\r\nassumptions about plasticity rules.\r\nIn this thesis, we aim to assist and augment human intuition in this search for plasticity rules.\r\nWe explore whether a numerical approach could automatically discover the plasticity rules\r\nthat elicit desired behaviors in large networks of interconnected neurons. This approach is\r\ndubbed meta-learning synaptic plasticity: learning plasticity rules which themselves will make\r\nneuronal networks learn how to solve a desired task. We first write all the potential plasticity\r\nmechanisms to consider using a single expression with adjustable parameters. We then optimize\r\nthese plasticity parameters using evolutionary strategies or Bayesian inference on tasks known\r\nto involve synaptic plasticity, such as familiarity detection and network stabilization.\r\nWe show that these automated approaches are powerful tools, able to complement established\r\nanalytical methods. By comprehensively screening plasticity rules at all synapse types in\r\nrealistic, spiking neuronal network models, we discover entire sets of degenerate plausible\r\nplasticity rules that reliably elicit memory-related behaviors. Our approaches allow for more\r\nrobust experimental predictions, by abstracting out the idiosyncrasies of individual plasticity\r\nrules, and provide fresh insights on synaptic plasticity in spiking network models.\r\n","lang":"eng"}],"citation":{"ieee":"B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute of Science and Technology Austria, 2023.","ista":"Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.","ama":"Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14422\">10.15479/at:ista:14422</a>","apa":"Confavreux, B. J. (2023). <i>Synapseek: Meta-learning synaptic plasticity rules</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14422\">https://doi.org/10.15479/at:ista:14422</a>","chicago":"Confavreux, Basile J. “Synapseek: Meta-Learning Synaptic Plasticity Rules.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14422\">https://doi.org/10.15479/at:ista:14422</a>.","short":"B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.","mla":"Confavreux, Basile J. <i>Synapseek: Meta-Learning Synaptic Plasticity Rules</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14422\">10.15479/at:ista:14422</a>."},"year":"2023","article_processing_charge":"No","oa_version":"Published Version","file_date_updated":"2023-10-18T07:56:08Z","title":"Synapseek: Meta-learning synaptic plasticity rules","publication_status":"published","publication_identifier":{"issn":["2663 - 337X"]},"doi":"10.15479/at:ista:14422"},{"type":"journal_article","date_published":"2023-10-02T00:00:00Z","external_id":{"isi":["001084354900008"],"arxiv":["2303.07433"],"pmid":["37783698"]},"pmid":1,"publisher":"Springer Nature","status":"public","isi":1,"month":"10","ddc":["540","000"],"language":[{"iso":"eng"}],"quality_controlled":"1","day":"02","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"call_identifier":"H2020","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program"}],"has_accepted_license":"1","volume":14,"related_material":{"link":[{"url":"https://github.com/BingqingCheng/TiO2-water","relation":"software"}]},"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Zezhu","last_name":"Zeng","id":"54a2c730-803f-11ed-ab7e-95b29d2680e7","full_name":"Zeng, Zezhu"},{"orcid":"0009-0000-1457-795X","id":"8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e","full_name":"Wodaczek, Felix","first_name":"Felix","last_name":"Wodaczek"},{"first_name":"Keyang","last_name":"Liu","full_name":"Liu, Keyang"},{"full_name":"Stein, Frederick","last_name":"Stein","first_name":"Frederick"},{"first_name":"Jürg","last_name":"Hutter","full_name":"Hutter, Jürg"},{"first_name":"Ji","last_name":"Chen","full_name":"Chen, Ji"},{"first_name":"Bingqing","last_name":"Cheng","orcid":"0000-0002-3584-9632","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","full_name":"Cheng, Bingqing"}],"ec_funded":1,"date_updated":"2023-12-13T13:02:07Z","publication":"Nature Communications","department":[{"_id":"BiCh"},{"_id":"GradSch"}],"intvolume":"        14","arxiv":1,"oa_version":"Published Version","article_processing_charge":"Yes","file_date_updated":"2023-10-16T07:34:49Z","publication_status":"published","title":"Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations","publication_identifier":{"eissn":["2041-1723"]},"acknowledgement":"F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre (CSCS) for the generous allocation of CPU hours via production project s1108 at the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab Initio Molecular Dynamics at the Exa-Scale” project. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413.","article_type":"original","scopus_import":"1","doi":"10.1038/s41467-023-41865-8","file":[{"date_created":"2023-10-16T07:34:49Z","file_size":3194116,"date_updated":"2023-10-16T07:34:49Z","relation":"main_file","success":1,"access_level":"open_access","file_name":"2023_NatureComm_Zeng.pdf","checksum":"7d1dffd36b672ec679f08f70ce79da87","content_type":"application/pdf","file_id":"14432","creator":"dernst"}],"date_created":"2023-10-15T22:01:10Z","_id":"14425","abstract":[{"lang":"eng","text":"Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces."}],"citation":{"ieee":"Z. Zeng <i>et al.</i>, “Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.","ista":"Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 14, 6131.","ama":"Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-41865-8\">10.1038/s41467-023-41865-8</a>","chicago":"Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” <i>Nature Communications</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41467-023-41865-8\">https://doi.org/10.1038/s41467-023-41865-8</a>.","short":"Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).","apa":"Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., &#38; Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-023-41865-8\">https://doi.org/10.1038/s41467-023-41865-8</a>","mla":"Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” <i>Nature Communications</i>, vol. 14, 6131, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-41865-8\">10.1038/s41467-023-41865-8</a>."},"year":"2023","article_number":"6131"},{"doi":"10.1371/journal.pbio.3002315","scopus_import":"1","article_type":"original","acknowledgement":"We thank the Ober group for discussion and comments on the manuscript. We are grateful to\r\nDr. F. Lemaigre for feedback on the manuscript and Dr. T. Piotrowski for invaluable support.\r\nWe thank the department of experimental medicine (AEM) in Copenhagen for expert fish\r\ncare. We gratefully acknowledge the DanStem Imaging Platform (University of Copenhagen)\r\nfor support and assistance in this work.\r\nThis work is supported by Novo Nordisk Foundation grant NNF17CC0027852 (EAO);\r\nNordisk Foundation grant NNF19OC0058327 (EAO); Novo Nordisk Foundation grant\r\nNNF17OC0031204 (PRL); https://novonordiskfonden.dk/en/; Danish National\r\nResearch Foundation grant DNRF116 (EAO and AT); https://dg.dk/en/; John and Birthe Meyer\r\nFoundation (PRL) and European Research Council (ERC) under the EU Horizon 2020 research and Innovation Programme Grant Agreement No. 851288 (EH).","publication_identifier":{"eissn":["1545-7885"]},"title":"Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics","publication_status":"published","file_date_updated":"2023-10-16T07:20:49Z","oa_version":"Published Version","article_processing_charge":"No","article_number":"e3002315","year":"2023","citation":{"mla":"Unterweger, Iris A., et al. “Lineage Tracing Identifies Heterogeneous Hepatoblast Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” <i>PLoS Biology</i>, vol. 21, no. 10, e3002315, Public Library of Science, 2023, doi:<a href=\"https://doi.org/10.1371/journal.pbio.3002315\">10.1371/journal.pbio.3002315</a>.","chicago":"Unterweger, Iris A., Julie Klepstad, Edouard B Hannezo, Pia R. Lundegaard, Ala Trusina, and Elke A. Ober. “Lineage Tracing Identifies Heterogeneous Hepatoblast Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” <i>PLoS Biology</i>. Public Library of Science, 2023. <a href=\"https://doi.org/10.1371/journal.pbio.3002315\">https://doi.org/10.1371/journal.pbio.3002315</a>.","apa":"Unterweger, I. A., Klepstad, J., Hannezo, E. B., Lundegaard, P. R., Trusina, A., &#38; Ober, E. A. (2023). Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. <i>PLoS Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pbio.3002315\">https://doi.org/10.1371/journal.pbio.3002315</a>","short":"I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).","ama":"Unterweger IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA. Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. <i>PLoS Biology</i>. 2023;21(10). doi:<a href=\"https://doi.org/10.1371/journal.pbio.3002315\">10.1371/journal.pbio.3002315</a>","ista":"Unterweger IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA. 2023. Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. 21(10), e3002315.","ieee":"I. A. Unterweger, J. Klepstad, E. B. Hannezo, P. R. Lundegaard, A. Trusina, and E. A. Ober, “Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics,” <i>PLoS Biology</i>, vol. 21, no. 10. Public Library of Science, 2023."},"abstract":[{"lang":"eng","text":"To meet the physiological demands of the body, organs need to establish a functional tissue architecture and adequate size as the embryo develops to adulthood. In the liver, uni- and bipotent progenitor differentiation into hepatocytes and biliary epithelial cells (BECs), and their relative proportions, comprise the functional architecture. Yet, the contribution of individual liver progenitors at the organ level to both fates, and their specific proportion, is unresolved. Combining mathematical modelling with organ-wide, multispectral FRaeppli-NLS lineage tracing in zebrafish, we demonstrate that a precise BEC-to-hepatocyte ratio is established (i) fast, (ii) solely by heterogeneous lineage decisions from uni- and bipotent progenitors, and (iii) independent of subsequent cell type–specific proliferation. Extending lineage tracing to adulthood determined that embryonic cells undergo spatially heterogeneous three-dimensional growth associated with distinct environments. Strikingly, giant clusters comprising almost half a ventral lobe suggest lobe-specific dominant-like growth behaviours. We show substantial hepatocyte polyploidy in juveniles representing another hallmark of postembryonic liver growth. Our findings uncover heterogeneous progenitor contributions to tissue architecture-defining cell type proportions and postembryonic organ growth as key mechanisms forming the adult liver."}],"_id":"14426","date_created":"2023-10-15T22:01:10Z","file":[{"checksum":"40a2b11b41d70a0e5939f8a52b66e389","content_type":"application/pdf","file_id":"14431","creator":"dernst","file_size":6193110,"date_updated":"2023-10-16T07:20:49Z","date_created":"2023-10-16T07:20:49Z","relation":"main_file","file_name":"2023_PloSBiology_Unterweger.pdf","access_level":"open_access","success":1}],"author":[{"last_name":"Unterweger","first_name":"Iris A.","full_name":"Unterweger, Iris A."},{"first_name":"Julie","last_name":"Klepstad","full_name":"Klepstad, Julie"},{"full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","first_name":"Edouard B"},{"last_name":"Lundegaard","first_name":"Pia R.","full_name":"Lundegaard, Pia R."},{"first_name":"Ala","last_name":"Trusina","full_name":"Trusina, Ala"},{"full_name":"Ober, Elke A.","last_name":"Ober","first_name":"Elke A."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"link":[{"relation":"software","url":"https://github.com/JulieKlepstad/LiverDevelopment"}]},"oa":1,"volume":21,"intvolume":"        21","department":[{"_id":"EdHa"}],"publication":"PLoS Biology","ec_funded":1,"date_updated":"2023-10-16T07:25:48Z","day":"04","quality_controlled":"1","issue":"10","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"name":"Design Principles of Branching Morphogenesis","_id":"05943252-7A3F-11EA-A408-12923DDC885E","grant_number":"851288","call_identifier":"H2020"}],"publisher":"Public Library of Science","date_published":"2023-10-04T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"ddc":["570"],"month":"10","status":"public"},{"publication_identifier":{"issn":["0010-3616"],"eissn":["1432-0916"]},"acknowledgement":"VK acknowledges a partial support by the NSF grant DMS-1402164 and ERC Grant #885707. Discussions with Martin Leguil and Jacopo De Simoi were very useful. JC visited the University of Maryland and thanks for the hospitality. Also, JC was partially supported by the National Key Research and Development Program of China (No.2022YFA1005802), the NSFC Grant 12001392 and NSF of Jiangsu BK20200850. H.-K. Zhang is partially supported by the National Science Foundation (DMS-2220211), as well as Simons Foundation Collaboration Grants for Mathematicians (706383).","article_type":"original","scopus_import":"1","doi":"10.1007/s00220-023-04837-z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1902.07330"}],"article_processing_charge":"No","oa_version":"Preprint","title":"Length spectrum rigidity for piecewise analytic Bunimovich billiards","publication_status":"epub_ahead","abstract":[{"lang":"eng","text":"In the paper, we establish Squash Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich squash-type stadia whose convex arcs are homothetic. We also establish Stadium Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute the Lyapunov exponents along the maximal period two orbit, as well as the value of the Peierls’ Barrier function from the maximal marked length spectrum associated to the rotation number 2n/4n+1."}],"citation":{"ama":"Chen J, Kaloshin V, Zhang HK. Length spectrum rigidity for piecewise analytic Bunimovich billiards. <i>Communications in Mathematical Physics</i>. 2023. doi:<a href=\"https://doi.org/10.1007/s00220-023-04837-z\">10.1007/s00220-023-04837-z</a>","ieee":"J. Chen, V. Kaloshin, and H. K. Zhang, “Length spectrum rigidity for piecewise analytic Bunimovich billiards,” <i>Communications in Mathematical Physics</i>. Springer Nature, 2023.","ista":"Chen J, Kaloshin V, Zhang HK. 2023. Length spectrum rigidity for piecewise analytic Bunimovich billiards. Communications in Mathematical Physics.","mla":"Chen, Jianyu, et al. “Length Spectrum Rigidity for Piecewise Analytic Bunimovich Billiards.” <i>Communications in Mathematical Physics</i>, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1007/s00220-023-04837-z\">10.1007/s00220-023-04837-z</a>.","short":"J. Chen, V. Kaloshin, H.K. Zhang, Communications in Mathematical Physics (2023).","chicago":"Chen, Jianyu, Vadim Kaloshin, and Hong Kun Zhang. “Length Spectrum Rigidity for Piecewise Analytic Bunimovich Billiards.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s00220-023-04837-z\">https://doi.org/10.1007/s00220-023-04837-z</a>.","apa":"Chen, J., Kaloshin, V., &#38; Zhang, H. K. (2023). Length spectrum rigidity for piecewise analytic Bunimovich billiards. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-023-04837-z\">https://doi.org/10.1007/s00220-023-04837-z</a>"},"year":"2023","date_created":"2023-10-15T22:01:11Z","_id":"14427","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Jianyu","last_name":"Chen","full_name":"Chen, Jianyu"},{"last_name":"Kaloshin","first_name":"Vadim","full_name":"Kaloshin, Vadim","orcid":"0000-0002-6051-2628","id":"FE553552-CDE8-11E9-B324-C0EBE5697425"},{"last_name":"Zhang","first_name":"Hong Kun","full_name":"Zhang, Hong Kun"}],"oa":1,"arxiv":1,"date_updated":"2023-12-13T13:02:44Z","ec_funded":1,"publication":"Communications in Mathematical Physics","department":[{"_id":"VaKa"}],"day":"29","quality_controlled":"1","project":[{"name":"Spectral rigidity and integrability for billiards and geodesic flows","_id":"9B8B92DE-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020","grant_number":"885707"}],"publisher":"Springer Nature","type":"journal_article","date_published":"2023-09-29T00:00:00Z","external_id":{"arxiv":["1902.07330"],"isi":["001073177200001"]},"language":[{"iso":"eng"}],"status":"public","isi":1,"month":"09"},{"article_processing_charge":"No","oa_version":"Preprint","publication_status":"published","title":"Random oracle combiners: Breaking the concatenation barrier for collision-resistance","publication_identifier":{"isbn":["9783031385445"],"eissn":["1611-3349"],"issn":["0302-9743"]},"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2023/1041"}],"doi":"10.1007/978-3-031-38545-2_17","date_created":"2023-10-15T22:01:11Z","_id":"14428","conference":{"start_date":"2023-08-20","location":"Santa Barbara, CA, United States","name":"CRYPTO: Advances in Cryptology","end_date":"2023-08-24"},"abstract":[{"lang":"eng","text":"Suppose we have two hash functions h1 and h2, but we trust the security of only one of them. To mitigate this worry, we wish to build a hash combiner Ch1,h2 which is secure so long as one of the underlying hash functions is. This question has been well-studied in the regime of collision resistance. In this case, concatenating the two hash function outputs clearly works. Unfortunately, a long series of works (Boneh and Boyen, CRYPTO’06; Pietrzak, Eurocrypt’07; Pietrzak, CRYPTO’08) showed no (noticeably) shorter combiner for collision resistance is possible.\r\nIn this work, we revisit this pessimistic state of affairs, motivated by the observation that collision-resistance is insufficient for many interesting applications of cryptographic hash functions anyway. We argue the right formulation of the “hash combiner” is to build what we call random oracle (RO) combiners, utilizing stronger assumptions for stronger constructions.\r\nIndeed, we circumvent the previous lower bounds for collision resistance by constructing a simple length-preserving RO combiner C˜h1,h2Z1,Z2(M)=h1(M,Z1)⊕h2(M,Z2),where Z1,Z2\r\n are random salts of appropriate length. We show that this extra randomness is necessary for RO combiners, and indeed our construction is somewhat tight with this lower bound.\r\nOn the negative side, we show that one cannot generically apply the composition theorem to further replace “monolithic” hash functions h1 and h2 by some simpler indifferentiable construction (such as the Merkle-Damgård transformation) from smaller components, such as fixed-length compression functions. Finally, despite this issue, we directly prove collision resistance of the Merkle-Damgård variant of our combiner, where h1 and h2 are replaced by iterative Merkle-Damgård hashes applied to a fixed-length compression function. Thus, we can still subvert the concatenation barrier for collision-resistance combiners while utilizing practically small fixed-length components underneath."}],"citation":{"ama":"Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In: <i>43rd Annual International Cryptology Conference</i>. Vol 14082. Springer Nature; 2023:514-546. doi:<a href=\"https://doi.org/10.1007/978-3-031-38545-2_17\">10.1007/978-3-031-38545-2_17</a>","ista":"Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. 2023. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. 43rd Annual International Cryptology Conference. CRYPTO: Advances in Cryptology, LNCS, vol. 14082, 514–546.","ieee":"Y. Dodis, N. Ferguson, E. Goldin, P. Hall, and K. Z. Pietrzak, “Random oracle combiners: Breaking the concatenation barrier for collision-resistance,” in <i>43rd Annual International Cryptology Conference</i>, Santa Barbara, CA, United States, 2023, vol. 14082, pp. 514–546.","short":"Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.","apa":"Dodis, Y., Ferguson, N., Goldin, E., Hall, P., &#38; Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In <i>43rd Annual International Cryptology Conference</i> (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-38545-2_17\">https://doi.org/10.1007/978-3-031-38545-2_17</a>","chicago":"Dodis, Yevgeniy, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” In <i>43rd Annual International Cryptology Conference</i>, 14082:514–46. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-38545-2_17\">https://doi.org/10.1007/978-3-031-38545-2_17</a>.","mla":"Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” <i>43rd Annual International Cryptology Conference</i>, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:<a href=\"https://doi.org/10.1007/978-3-031-38545-2_17\">10.1007/978-3-031-38545-2_17</a>."},"year":"2023","volume":14082,"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Dodis, Yevgeniy","first_name":"Yevgeniy","last_name":"Dodis"},{"first_name":"Niels","last_name":"Ferguson","full_name":"Ferguson, Niels"},{"last_name":"Goldin","first_name":"Eli","full_name":"Goldin, Eli"},{"full_name":"Hall, Peter","first_name":"Peter","last_name":"Hall"},{"last_name":"Pietrzak","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654"}],"date_updated":"2023-10-16T08:02:11Z","publication":"43rd Annual International Cryptology Conference","department":[{"_id":"KrPi"}],"intvolume":"     14082","quality_controlled":"1","day":"09","page":"514-546","type":"conference","date_published":"2023-08-09T00:00:00Z","publisher":"Springer Nature","status":"public","month":"08","alternative_title":["LNCS"],"language":[{"iso":"eng"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"He, Ren","last_name":"He","first_name":"Ren"},{"full_name":"Yang, Linlin","first_name":"Linlin","last_name":"Yang"},{"first_name":"Yu","last_name":"Zhang","full_name":"Zhang, Yu"},{"full_name":"Jiang, Daochuan","first_name":"Daochuan","last_name":"Jiang"},{"first_name":"Seungho","last_name":"Lee","orcid":"0000-0002-6962-8598","id":"BB243B88-D767-11E9-B658-BC13E6697425","full_name":"Lee, Seungho"},{"id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","full_name":"Horta, Sharona","first_name":"Sharona","last_name":"Horta"},{"first_name":"Zhifu","last_name":"Liang","full_name":"Liang, Zhifu"},{"last_name":"Lu","first_name":"Xuan","full_name":"Lu, Xuan"},{"full_name":"Ostovari Moghaddam, Ahmad","first_name":"Ahmad","last_name":"Ostovari Moghaddam"},{"last_name":"Li","first_name":"Junshan","full_name":"Li, Junshan"},{"orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria","first_name":"Maria","last_name":"Ibáñez"},{"full_name":"Xu, Ying","first_name":"Ying","last_name":"Xu"},{"last_name":"Zhou","first_name":"Yingtang","full_name":"Zhou, Yingtang"},{"full_name":"Cabot, Andreu","last_name":"Cabot","first_name":"Andreu"}],"acknowledged_ssus":[{"_id":"EM-Fac"}],"date_updated":"2023-12-13T13:03:23Z","publication":"Advanced Materials","department":[{"_id":"MaIb"}],"publication_identifier":{"issn":["0935-9648","1521-4095"]},"acknowledgement":"The authors acknowledge funding from Generalitat de Catalunya 2021 SGR 01581; the project COMBENERGY, PID2019-105490RB-C32, from the Spanish Ministerio de Ciencia e Innovación; the National Natural Science Foundation of China (22102002); the Anhui Provincial Natural Science Foundation (2108085QE192); Zhejiang Province key research and development project (2023C01191); the Foundation of State Key Laboratory of High-efficiency Utilization of Coal and Green Chemical Engineering (GrantNo.2022-K31); and The Key Research and Development Program of Hebei Province (20314305D). IREC is funded by the CERCA Programme from the Generalitat de Catalunya. L.L.Y. thanks the China Scholarship Council (CSC) for the scholarship support (202008130132). This research was supported by the Scientific Service Units (SSU) of ISTA (Institute of Science and Technology Austria) through resources provided by the Electron Microscopy Facility (EMF). S.L., S.H., and M.I. acknowledge funding by ISTA and the Werner Siemens.","article_type":"original","doi":"10.1002/adma.202303719","article_processing_charge":"No","oa_version":"None","publication_status":"epub_ahead","title":"A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries","abstract":[{"lang":"eng","text":"High entropy alloys (HEAs) are highly suitable candidate catalysts for oxygen evolution and reduction reactions (OER/ORR) as they offer numerous parameters for optimizing the electronic structure and catalytic sites. Herein, FeCoNiMoW HEA nanoparticles are synthesized using a solution‐based low‐temperature approach. Such FeCoNiMoW nanoparticles show high entropy properties, subtle lattice distortions, and modulated electronic structure, leading to superior OER performance with an overpotential of 233 mV at 10 mA cm<jats:sup>−2</jats:sup> and 276 mV at 100 mA cm<jats:sup>−2</jats:sup>. Density functional theory calculations reveal the electronic structures of the FeCoNiMoW active sites with an optimized d‐band center position that enables suitable adsorption of OOH* intermediates and reduces the Gibbs free energy barrier in the OER process. Aqueous zinc–air batteries (ZABs) based on this HEA demonstrate a high open circuit potential of 1.59 V, a peak power density of 116.9 mW cm<jats:sup>−2</jats:sup>, a specific capacity of 857 mAh g<jats:sub>Zn</jats:sub><jats:sup>−1</jats:sup><jats:sub>,</jats:sub> and excellent stability for over 660 h of continuous charge–discharge cycles. Flexible and solid ZABs are also assembled and tested, displaying excellent charge–discharge performance at different bending angles. This work shows the significance of 4d/5d metal‐modulated electronic structure and optimized adsorption ability to improve the performance of OER/ORR, ZABs, and beyond."}],"citation":{"apa":"He, R., Yang, L., Zhang, Y., Jiang, D., Lee, S., Horta, S., … Cabot, A. (2023). A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. <i>Advanced Materials</i>. Wiley. <a href=\"https://doi.org/10.1002/adma.202303719\">https://doi.org/10.1002/adma.202303719</a>","short":"R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials (2023).","chicago":"He, Ren, Linlin Yang, Yu Zhang, Daochuan Jiang, Seungho Lee, Sharona Horta, Zhifu Liang, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst for Robust Aqueous Zinc–Air Batteries.” <i>Advanced Materials</i>. Wiley, 2023. <a href=\"https://doi.org/10.1002/adma.202303719\">https://doi.org/10.1002/adma.202303719</a>.","mla":"He, Ren, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst for Robust Aqueous Zinc–Air Batteries.” <i>Advanced Materials</i>, 2303719, Wiley, 2023, doi:<a href=\"https://doi.org/10.1002/adma.202303719\">10.1002/adma.202303719</a>.","ama":"He R, Yang L, Zhang Y, et al. A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. <i>Advanced Materials</i>. 2023. doi:<a href=\"https://doi.org/10.1002/adma.202303719\">10.1002/adma.202303719</a>","ieee":"R. He <i>et al.</i>, “A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries,” <i>Advanced Materials</i>. Wiley, 2023.","ista":"He R, Yang L, Zhang Y, Jiang D, Lee S, Horta S, Liang Z, Lu X, Ostovari Moghaddam A, Li J, Ibáñez M, Xu Y, Zhou Y, Cabot A. 2023. A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials., 2303719."},"year":"2023","article_number":"2303719","date_created":"2023-10-17T10:52:23Z","_id":"14434","pmid":1,"publisher":"Wiley","type":"journal_article","external_id":{"isi":["001083876900001"],"pmid":["37487245"]},"date_published":"2023-07-24T00:00:00Z","keyword":["Mechanical Engineering","Mechanics of Materials","General Materials Science"],"language":[{"iso":"eng"}],"status":"public","isi":1,"month":"07","day":"24","quality_controlled":"1","project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}]},{"language":[{"iso":"eng"}],"keyword":["Mechanical Engineering","Mechanics of Materials","General Materials Science"],"isi":1,"department":[{"_id":"MaIb"}],"month":"08","date_updated":"2023-12-13T13:03:53Z","status":"public","publication":"Advanced Materials","author":[{"last_name":"Zeng","first_name":"Guifang","full_name":"Zeng, Guifang"},{"first_name":"Qing","last_name":"Sun","full_name":"Sun, Qing"},{"full_name":"Horta, Sharona","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","last_name":"Horta","first_name":"Sharona"},{"first_name":"Shang","last_name":"Wang","full_name":"Wang, Shang"},{"first_name":"Xuan","last_name":"Lu","full_name":"Lu, Xuan"},{"last_name":"Zhang","first_name":"Chaoyue","full_name":"Zhang, Chaoyue"},{"full_name":"Li, Jing","last_name":"Li","first_name":"Jing"},{"full_name":"Li, Junshan","last_name":"Li","first_name":"Junshan"},{"first_name":"Lijie","last_name":"Ci","full_name":"Ci, Lijie"},{"full_name":"Tian, Yanhong","first_name":"Yanhong","last_name":"Tian"},{"full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","first_name":"Maria"},{"last_name":"Cabot","first_name":"Andreu","full_name":"Cabot, Andreu"}],"pmid":1,"publisher":"Wiley","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","date_published":"2023-08-09T00:00:00Z","external_id":{"isi":["001085681000001"],"pmid":["37555532"]},"citation":{"short":"G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).","apa":"Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C., … Cabot, A. (n.d.). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. <i>Advanced Materials</i>. Wiley. <a href=\"https://doi.org/10.1002/adma.202305128\">https://doi.org/10.1002/adma.202305128</a>","chicago":"Zeng, Guifang, Qing Sun, Sharona Horta, Shang Wang, Xuan Lu, Chaoyue Zhang, Jing Li, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.” <i>Advanced Materials</i>. Wiley, n.d. <a href=\"https://doi.org/10.1002/adma.202305128\">https://doi.org/10.1002/adma.202305128</a>.","mla":"Zeng, Guifang, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.” <i>Advanced Materials</i>, 2305128, Wiley, doi:<a href=\"https://doi.org/10.1002/adma.202305128\">10.1002/adma.202305128</a>.","ista":"Zeng G, Sun Q, Horta S, Wang S, Lu X, Zhang C, Li J, Li J, Ci L, Tian Y, Ibáñez M, Cabot A. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials., 2305128.","ieee":"G. Zeng <i>et al.</i>, “A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries,” <i>Advanced Materials</i>. Wiley.","ama":"Zeng G, Sun Q, Horta S, et al. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. <i>Advanced Materials</i>. doi:<a href=\"https://doi.org/10.1002/adma.202305128\">10.1002/adma.202305128</a>"},"year":"2023","article_number":"2305128","abstract":[{"text":"Low‐cost, safe, and environmental‐friendly rechargeable aqueous zinc‐ion batteries (ZIBs) are promising as next‐generation energy storage devices for wearable electronics among other applications. However, sluggish ionic transport kinetics and the unstable electrode structure during ionic insertion/extraction hampers their deployment. Herein,  we propose a new cathode material based on a layered metal chalcogenide (LMC), bismuth telluride (Bi<jats:sub>2</jats:sub>Te<jats:sub>3</jats:sub>), coated with polypyrrole (PPy). Taking advantage of the PPy coating, the Bi<jats:sub>2</jats:sub>Te<jats:sub>3</jats:sub>@PPy composite presents strong ionic absorption affinity, high oxidation resistance, and high structural stability. The ZIBs based on Bi<jats:sub>2</jats:sub>Te<jats:sub>3</jats:sub>@PPy cathodes exhibit high capacities and ultra‐long lifespans of over 5000 cycles. They also present outstanding stability even under bending. In addition,  we analyze here the reaction mechanism using in situ X‐ray diffraction, X‐ray photoelectron spectroscopy, and computational tools and demonstrate that, in the aqueous system, Zn<jats:sup>2+</jats:sup> is not inserted into the cathode as previously assumed. In contrast, proton charge storage dominates the process. Overall, this work not only shows the great potential of LMCs as ZIBs cathode materials and the advantages of PPy coating, but also clarifies the charge/discharge mechanism in rechargeable ZIBs based on LMCs.","lang":"eng"}],"date_created":"2023-10-17T10:53:56Z","_id":"14435","doi":"10.1002/adma.202305128","day":"09","publication_identifier":{"eissn":["1521-4095"],"issn":["0935-9648"]},"article_type":"original","title":"A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries","publication_status":"accepted","quality_controlled":"1","oa_version":"None","article_processing_charge":"No"},{"author":[{"last_name":"Brooks","first_name":"Morris","full_name":"Brooks, Morris","orcid":"0000-0002-6249-0928","id":"B7ECF9FC-AA38-11E9-AC9A-0930E6697425"},{"full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":404,"arxiv":1,"intvolume":"       404","department":[{"_id":"RoSe"}],"publication":"Communications in Mathematical Physics","date_updated":"2023-10-31T12:22:51Z","ec_funded":1,"doi":"10.1007/s00220-023-04841-3","scopus_import":"1","article_type":"original","publication_identifier":{"eissn":["1432-0916"],"issn":["0010-3616"]},"acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is acknowledged. Open access funding provided by Institute of Science and Technology (IST Austria).","title":"The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy","publication_status":"published","file_date_updated":"2023-10-31T12:21:39Z","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","year":"2023","citation":{"chicago":"Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s00220-023-04841-3\">https://doi.org/10.1007/s00220-023-04841-3</a>.","apa":"Brooks, M., &#38; Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-023-04841-3\">https://doi.org/10.1007/s00220-023-04841-3</a>","short":"M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.","mla":"Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.” <i>Communications in Mathematical Physics</i>, vol. 404, Springer Nature, 2023, pp. 287–337, doi:<a href=\"https://doi.org/10.1007/s00220-023-04841-3\">10.1007/s00220-023-04841-3</a>.","ama":"Brooks M, Seiringer R. The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. <i>Communications in Mathematical Physics</i>. 2023;404:287-337. doi:<a href=\"https://doi.org/10.1007/s00220-023-04841-3\">10.1007/s00220-023-04841-3</a>","ista":"Brooks M, Seiringer R. 2023. The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. 404, 287–337.","ieee":"M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy,” <i>Communications in Mathematical Physics</i>, vol. 404. Springer Nature, pp. 287–337, 2023."},"abstract":[{"text":"We study the Fröhlich polaron model in R3, and establish the subleading term in the strong coupling asymptotics of its ground state energy, corresponding to the quantum corrections to the classical energy determined by the Pekar approximation.","lang":"eng"}],"_id":"14441","date_created":"2023-10-22T22:01:13Z","file":[{"access_level":"open_access","success":1,"file_name":"2023_CommMathPhysics_Brooks.pdf","date_created":"2023-10-31T12:21:39Z","file_size":832375,"date_updated":"2023-10-31T12:21:39Z","relation":"main_file","content_type":"application/pdf","creator":"dernst","file_id":"14477","checksum":"1ae49b39247cb6b40ff75997381581b8"}],"publisher":"Springer Nature","external_id":{"arxiv":["2207.03156"]},"date_published":"2023-11-01T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"ddc":["510"],"month":"11","status":"public","page":"287-337","day":"01","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"project":[{"call_identifier":"H2020","grant_number":"694227","name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"has_accepted_license":"1"}]