[{"article_type":"original","publisher":"Elsevier","file_date_updated":"2023-11-07T08:53:21Z","quality_controlled":"1","intvolume":"        26","title":"Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout","article_processing_charge":"Yes","date_created":"2023-09-24T22:01:11Z","department":[{"_id":"SaSi"}],"publication_status":"published","issue":"10","author":[{"id":"3838F452-F248-11E8-B48F-1D18A9856A87","full_name":"Maes, Margaret E","orcid":"0000-0001-9642-1085","last_name":"Maes","first_name":"Margaret E"},{"first_name":"Gloria","last_name":"Colombo","orcid":"0000-0001-9434-8902","full_name":"Colombo, Gloria","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schoot Uiterkamp","first_name":"Florianne E","full_name":"Schoot Uiterkamp, Florianne E","id":"3526230C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sternberg, Felix","last_name":"Sternberg","first_name":"Felix"},{"first_name":"Alessandro","last_name":"Venturino","orcid":"0000-0003-2356-9403","full_name":"Venturino, Alessandro","id":"41CB84B2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pohl","first_name":"Elena E.","full_name":"Pohl, Elena E."},{"id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8635-0877","full_name":"Siegert, Sandra","first_name":"Sandra","last_name":"Siegert"}],"scopus_import":"1","pmid":1,"_id":"14363","ddc":["570"],"volume":26,"acknowledgement":"We thank the Scientific Service Units (SSU) of ISTA through resources provided by the Imaging and Optics Facility (IOF), the Lab Support Facility (LSF), and the Pre-Clinical Facility (PCF) team, specifically Sonja Haslinger and Michael Schunn for excellent mouse colony management and support. This research was supported by the FWF Sonderforschungsbereich F83 (to E.E.P). We thank Bálint Nagy, Ryan John A. Cubero, Marco Benevento and all members of the Siegert group for constant feedback on the project and article.","abstract":[{"lang":"eng","text":"Mitochondrial networks remodel their connectivity, content, and subcellular localization to support optimized energy production in conditions of increased environmental or cellular stress. Microglia rely on mitochondria to respond to these stressors, however our knowledge about mitochondrial networks and their adaptations in microglia in vivo is limited. Here, we generate a mouse model that selectively labels mitochondria in microglia. We identify that mitochondrial networks are more fragmented with increased content and perinuclear localization in vitro vs. in vivo. Mitochondrial networks adapt similarly in microglia closest to the injury site after optic nerve crush. Preventing microglial UCP2 increase after injury by selective knockout induces cellular stress. This results in mitochondrial hyperfusion in male microglia, a phenotype absent in females due to circulating estrogens. Our results establish the foundation for mitochondrial network analysis of microglia in vivo, emphasizing the importance of mitochondrial-based sex effects of microglia in other pathologies."}],"day":"20","doi":"10.1016/j.isci.2023.107780","external_id":{"isi":["001080403500001"],"pmid":["37731609"]},"isi":1,"citation":{"ama":"Maes ME, Colombo G, Schoot Uiterkamp FE, et al. Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. <i>iScience</i>. 2023;26(10). doi:<a href=\"https://doi.org/10.1016/j.isci.2023.107780\">10.1016/j.isci.2023.107780</a>","apa":"Maes, M. E., Colombo, G., Schoot Uiterkamp, F. E., Sternberg, F., Venturino, A., Pohl, E. E., &#38; Siegert, S. (2023). Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. <i>IScience</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.isci.2023.107780\">https://doi.org/10.1016/j.isci.2023.107780</a>","chicago":"Maes, Margaret E, Gloria Colombo, Florianne E Schoot Uiterkamp, Felix Sternberg, Alessandro Venturino, Elena E. Pohl, and Sandra Siegert. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” <i>IScience</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.isci.2023.107780\">https://doi.org/10.1016/j.isci.2023.107780</a>.","ieee":"M. E. Maes <i>et al.</i>, “Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout,” <i>iScience</i>, vol. 26, no. 10. Elsevier, 2023.","short":"M.E. Maes, G. Colombo, F.E. Schoot Uiterkamp, F. Sternberg, A. Venturino, E.E. Pohl, S. Siegert, IScience 26 (2023).","mla":"Maes, Margaret E., et al. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” <i>IScience</i>, vol. 26, no. 10, 107780, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.isci.2023.107780\">10.1016/j.isci.2023.107780</a>.","ista":"Maes ME, Colombo G, Schoot Uiterkamp FE, Sternberg F, Venturino A, Pohl EE, Siegert S. 2023. Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. iScience. 26(10), 107780."},"year":"2023","date_updated":"2023-12-13T12:27:30Z","language":[{"iso":"eng"}],"article_number":"107780","month":"10","oa_version":"Published Version","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"PreCl"}],"has_accepted_license":"1","publication":"iScience","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"content_type":"application/pdf","file_name":"2023_iScience_Maes.pdf","date_updated":"2023-11-07T08:53:21Z","file_size":8197935,"checksum":"be1a560efdd96d20712311f4fc54aac2","date_created":"2023-11-07T08:53:21Z","creator":"dernst","file_id":"14497","success":1,"relation":"main_file","access_level":"open_access"}],"oa":1,"publication_identifier":{"eissn":["2589-0042"]},"type":"journal_article","date_published":"2023-10-20T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"type":"journal_article","date_published":"2023-07-25T00:00:00Z","publication_identifier":{"eissn":["1095-7111"],"issn":["0097-5397"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1811.01421"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"6676","relation":"earlier_version","status":"public"}]},"publication":"SIAM Journal on Computing","project":[{"call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425","name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223"}],"oa_version":"Preprint","month":"07","language":[{"iso":"eng"}],"year":"2023","citation":{"chicago":"Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. “Why Extension-Based Proofs Fail.” <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics, 2023. <a href=\"https://doi.org/10.1137/20M1375851\">https://doi.org/10.1137/20M1375851</a>.","ieee":"D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Why extension-based proofs fail,” <i>SIAM Journal on Computing</i>, vol. 52, no. 4. Society for Industrial and Applied Mathematics, pp. 913–944, 2023.","apa":"Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., &#38; Zhu, L. (2023). Why extension-based proofs fail. <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/20M1375851\">https://doi.org/10.1137/20M1375851</a>","ama":"Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs fail. <i>SIAM Journal on Computing</i>. 2023;52(4):913-944. doi:<a href=\"https://doi.org/10.1137/20M1375851\">10.1137/20M1375851</a>","ista":"Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2023. Why extension-based proofs fail. SIAM Journal on Computing. 52(4), 913–944.","mla":"Alistarh, Dan-Adrian, et al. “Why Extension-Based Proofs Fail.” <i>SIAM Journal on Computing</i>, vol. 52, no. 4, Society for Industrial and Applied Mathematics, 2023, pp. 913–44, doi:<a href=\"https://doi.org/10.1137/20M1375851\">10.1137/20M1375851</a>.","short":"D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal on Computing 52 (2023) 913–944."},"date_updated":"2023-12-13T12:28:29Z","external_id":{"isi":["001082972300004"],"arxiv":["1811.01421"]},"isi":1,"day":"25","doi":"10.1137/20M1375851","arxiv":1,"abstract":[{"lang":"eng","text":"We introduce extension-based proofs, a class of impossibility proofs that includes valency arguments. They are modelled as an interaction between a prover and a protocol. Using proofs based on combinatorial topology, it has been shown that it is impossible to deterministically solve -set agreement among  processes or approximate agreement on a cycle of length 4 among  processes in a wait-free manner in asynchronous models where processes communicate using objects that can be constructed from shared registers. However, it was unknown whether proofs based on simpler techniques were possible. We show that these impossibility results cannot be obtained by extension-based proofs in the iterated snapshot model and, hence, extension-based proofs are limited in power."}],"acknowledgement":"We would like to thank Valerie King, Toniann Pitassi, and Michael Saks for helpful discussions and Shi Hao Liu for his useful feedback.\r\nThis research was supported by the Natural Science and Engineering Research Council of Canada under grants RGPIN-2015-05080 and RGPIN-2020-04178, a postgraduate scholarship, and a postdoctoral fellowship; a University of Toronto postdoctoral fellowship; the National Science Foundation under grants CCF-1217921, CCF-1301926, CCF-1637385, CCF-1650596, and IIS-1447786; the U.S. Department of Energy under grant ER26116/DE-SC0008923; the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme grant agreement 805223 ScaleML; and the Oracle and Intel corporations. Some of the work on this paper was done while Faith Ellen was visiting IST Austria.","volume":52,"scopus_import":"1","_id":"14364","issue":"4","author":[{"first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Aspnes","first_name":"James","full_name":"Aspnes, James"},{"last_name":"Ellen","first_name":"Faith","full_name":"Ellen, Faith"},{"full_name":"Gelashvili, Rati","last_name":"Gelashvili","first_name":"Rati"},{"last_name":"Zhu","first_name":"Leqi","full_name":"Zhu, Leqi","id":"a2117c59-cee4-11ed-b9d0-874ecf0f8ac5"}],"department":[{"_id":"DaAl"}],"date_created":"2023-09-24T22:01:11Z","article_processing_charge":"No","publication_status":"published","intvolume":"        52","title":"Why extension-based proofs fail","quality_controlled":"1","ec_funded":1,"page":"913-944","publisher":"Society for Industrial and Applied Mathematics","article_type":"original"},{"extern":"1","ddc":["570"],"volume":25,"abstract":[{"lang":"eng","text":"Purpose: \r\nBiallelic variants in TARS2, encoding the mitochondrial threonyl-tRNA-synthetase, have been reported in a small group of individuals displaying a neurodevelopmental phenotype but with limited neuroradiological data and insufficient evidence for causality of the variants.\r\nMethods:\r\nExome or genome sequencing was carried out in 15 families. Clinical and neuroradiological evaluation was performed for all affected individuals, including review of 10 previously reported individuals. The pathogenicity of TARS2 variants was evaluated using in vitro assays and a zebrafish model.\r\nResults:\r\nWe report 18 new individuals harboring biallelic TARS2 variants. Phenotypically, these individuals show developmental delay/intellectual disability, regression, cerebellar and cerebral atrophy, basal ganglia signal alterations, hypotonia, cerebellar signs, and increased blood lactate. In vitro studies showed that variants within the TARS2301-381 region had decreased binding to Rag GTPases, likely impairing mTORC1 activity. The zebrafish model recapitulated key features of the human phenotype and unraveled dysregulation of downstream targets of mTORC1 signaling. Functional testing of the variants confirmed the pathogenicity in a zebrafish model.\r\nConclusion:\r\nWe define the clinico-radiological spectrum of TARS2-related mitochondrial disease, unveil the likely involvement of the mTORC1 signaling pathway as a distinct molecular mechanism, and establish a TARS2 zebrafish model as an important tool to study variant pathogenicity."}],"doi":"10.1016/j.gim.2023.100938","day":"01","date_updated":"2023-09-25T08:50:10Z","year":"2023","citation":{"chicago":"Accogli, Andrea, Sheng-Jia Lin, Mariasavina Severino, Sung-Hoon Kim, Kevin Huang, Clarissa Rocca, Megan Landsverk, et al. “Clinical, Neuroradiological, and Molecular Characterization of Mitochondrial Threonyl-TRNA-Synthetase (TARS2)-Related Disorder.” <i>Genetics in Medicine</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.gim.2023.100938\">https://doi.org/10.1016/j.gim.2023.100938</a>.","ieee":"A. Accogli <i>et al.</i>, “Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder,” <i>Genetics in Medicine</i>, vol. 25, no. 11. Elsevier, 2023.","ama":"Accogli A, Lin S-J, Severino M, et al. Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. <i>Genetics in Medicine</i>. 2023;25(11). doi:<a href=\"https://doi.org/10.1016/j.gim.2023.100938\">10.1016/j.gim.2023.100938</a>","apa":"Accogli, A., Lin, S.-J., Severino, M., Kim, S.-H., Huang, K., Rocca, C., … Maroofian, R. (2023). Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. <i>Genetics in Medicine</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.gim.2023.100938\">https://doi.org/10.1016/j.gim.2023.100938</a>","ista":"Accogli A, Lin S-J, Severino M, Kim S-H, Huang K, Rocca C, Landsverk M, Zaki MS, Al-Maawali A, Srinivasan VM, Al-Thihli K, Schaefer GB, Davis M, Tonduti D, Doneda C, Marten LM, Mühlhausen C, Gomez M, Lamantea E, Mena R, Nizon M, Procaccio V, Begtrup A, Telegrafi A, Cui H, Schulz HL, Mohr J, Biskup S, Loos MA, Aráoz HV, Salpietro V, Keppen LD, Chitre M, Petree C, Raymond L, Vogt J, Sawyer LB, Basinger AA, Pedersen SV, Pearson TS, Grange DK, Lingappa L, McDunnah P, Horvath R, Cognè B, Isidor B, Hahn A, Gripp KW, Jafarnejad SM, Østergaard E, Prada CE, Ghezzi D, Gowda VK, Taylor RW, Sonenberg N, Houlden H, Sissler M, Varshney GK, Maroofian R. 2023. Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. Genetics in Medicine. 25(11), 100938.","mla":"Accogli, Andrea, et al. “Clinical, Neuroradiological, and Molecular Characterization of Mitochondrial Threonyl-TRNA-Synthetase (TARS2)-Related Disorder.” <i>Genetics in Medicine</i>, vol. 25, no. 11, 100938, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.gim.2023.100938\">10.1016/j.gim.2023.100938</a>.","short":"A. Accogli, S.-J. Lin, M. Severino, S.-H. Kim, K. Huang, C. Rocca, M. Landsverk, M.S. Zaki, A. Al-Maawali, V.M. Srinivasan, K. Al-Thihli, G.B. Schaefer, M. Davis, D. Tonduti, C. Doneda, L.M. Marten, C. Mühlhausen, M. Gomez, E. Lamantea, R. Mena, M. Nizon, V. Procaccio, A. Begtrup, A. Telegrafi, H. Cui, H.L. Schulz, J. Mohr, S. Biskup, M.A. Loos, H.V. Aráoz, V. Salpietro, L.D. Keppen, M. Chitre, C. Petree, L. Raymond, J. Vogt, L.B. Sawyer, A.A. Basinger, S.V. Pedersen, T.S. Pearson, D.K. Grange, L. Lingappa, P. McDunnah, R. Horvath, B. Cognè, B. Isidor, A. Hahn, K.W. Gripp, S.M. Jafarnejad, E. Østergaard, C.E. Prada, D. Ghezzi, V.K. Gowda, R.W. Taylor, N. Sonenberg, H. Houlden, M. Sissler, G.K. Varshney, R. Maroofian, Genetics in Medicine 25 (2023)."},"article_type":"original","publisher":"Elsevier","file_date_updated":"2023-09-25T08:48:54Z","quality_controlled":"1","title":"Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder","intvolume":"        25","publication_status":"published","article_processing_charge":"No","date_created":"2023-09-25T08:44:29Z","author":[{"full_name":"Accogli, Andrea","first_name":"Andrea","last_name":"Accogli"},{"first_name":"Sheng-Jia","last_name":"Lin","full_name":"Lin, Sheng-Jia"},{"last_name":"Severino","first_name":"Mariasavina","full_name":"Severino, Mariasavina"},{"first_name":"Sung-Hoon","last_name":"Kim","full_name":"Kim, Sung-Hoon"},{"full_name":"Huang, Kevin","orcid":"0000-0002-2512-7812","last_name":"Huang","first_name":"Kevin","id":"3b3d2888-1ff6-11ee-9fa6-8f209ca91fe3"},{"last_name":"Rocca","first_name":"Clarissa","full_name":"Rocca, Clarissa"},{"full_name":"Landsverk, Megan","first_name":"Megan","last_name":"Landsverk"},{"full_name":"Zaki, Maha S.","last_name":"Zaki","first_name":"Maha S."},{"full_name":"Al-Maawali, Almundher","last_name":"Al-Maawali","first_name":"Almundher"},{"full_name":"Srinivasan, Varunvenkat M.","first_name":"Varunvenkat M.","last_name":"Srinivasan"},{"last_name":"Al-Thihli","first_name":"Khalid","full_name":"Al-Thihli, Khalid"},{"first_name":"G. Bradly","last_name":"Schaefer","full_name":"Schaefer, G. Bradly"},{"full_name":"Davis, Monica","first_name":"Monica","last_name":"Davis"},{"first_name":"Davide","last_name":"Tonduti","full_name":"Tonduti, Davide"},{"last_name":"Doneda","first_name":"Chiara","full_name":"Doneda, Chiara"},{"last_name":"Marten","first_name":"Lara M.","full_name":"Marten, Lara M."},{"last_name":"Mühlhausen","first_name":"Chris","full_name":"Mühlhausen, Chris"},{"full_name":"Gomez, Maria","last_name":"Gomez","first_name":"Maria"},{"full_name":"Lamantea, Eleonora","first_name":"Eleonora","last_name":"Lamantea"},{"last_name":"Mena","first_name":"Rafael","full_name":"Mena, Rafael"},{"full_name":"Nizon, Mathilde","last_name":"Nizon","first_name":"Mathilde"},{"full_name":"Procaccio, Vincent","last_name":"Procaccio","first_name":"Vincent"},{"first_name":"Amber","last_name":"Begtrup","full_name":"Begtrup, Amber"},{"full_name":"Telegrafi, Aida","last_name":"Telegrafi","first_name":"Aida"},{"full_name":"Cui, Hong","first_name":"Hong","last_name":"Cui"},{"full_name":"Schulz, Heidi L.","last_name":"Schulz","first_name":"Heidi L."},{"last_name":"Mohr","first_name":"Julia","full_name":"Mohr, Julia"},{"full_name":"Biskup, Saskia","last_name":"Biskup","first_name":"Saskia"},{"full_name":"Loos, Mariana Amina","last_name":"Loos","first_name":"Mariana Amina"},{"full_name":"Aráoz, Hilda Verónica","last_name":"Aráoz","first_name":"Hilda Verónica"},{"full_name":"Salpietro, Vincenzo","last_name":"Salpietro","first_name":"Vincenzo"},{"full_name":"Keppen, Laura Davis","first_name":"Laura Davis","last_name":"Keppen"},{"full_name":"Chitre, Manali","last_name":"Chitre","first_name":"Manali"},{"full_name":"Petree, Cassidy","first_name":"Cassidy","last_name":"Petree"},{"last_name":"Raymond","first_name":"Lucy","full_name":"Raymond, Lucy"},{"last_name":"Vogt","first_name":"Julie","full_name":"Vogt, Julie"},{"full_name":"Sawyer, Lindsey B.","first_name":"Lindsey B.","last_name":"Sawyer"},{"first_name":"Alice A.","last_name":"Basinger","full_name":"Basinger, Alice A."},{"full_name":"Pedersen, Signe Vandal","first_name":"Signe Vandal","last_name":"Pedersen"},{"first_name":"Toni S.","last_name":"Pearson","full_name":"Pearson, Toni S."},{"full_name":"Grange, Dorothy K.","last_name":"Grange","first_name":"Dorothy K."},{"last_name":"Lingappa","first_name":"Lokesh","full_name":"Lingappa, Lokesh"},{"full_name":"McDunnah, Paige","first_name":"Paige","last_name":"McDunnah"},{"last_name":"Horvath","first_name":"Rita","full_name":"Horvath, Rita"},{"full_name":"Cognè, Benjamin","first_name":"Benjamin","last_name":"Cognè"},{"full_name":"Isidor, Bertrand","last_name":"Isidor","first_name":"Bertrand"},{"last_name":"Hahn","first_name":"Andreas","full_name":"Hahn, Andreas"},{"last_name":"Gripp","first_name":"Karen W.","full_name":"Gripp, Karen W."},{"full_name":"Jafarnejad, Seyed Mehdi","last_name":"Jafarnejad","first_name":"Seyed Mehdi"},{"last_name":"Østergaard","first_name":"Elsebet","full_name":"Østergaard, Elsebet"},{"last_name":"Prada","first_name":"Carlos E.","full_name":"Prada, Carlos E."},{"full_name":"Ghezzi, Daniele","first_name":"Daniele","last_name":"Ghezzi"},{"full_name":"Gowda, Vykuntaraju K.","first_name":"Vykuntaraju K.","last_name":"Gowda"},{"first_name":"Robert W.","last_name":"Taylor","full_name":"Taylor, Robert W."},{"last_name":"Sonenberg","first_name":"Nahum","full_name":"Sonenberg, Nahum"},{"first_name":"Henry","last_name":"Houlden","full_name":"Houlden, Henry"},{"full_name":"Sissler, Marie","first_name":"Marie","last_name":"Sissler"},{"full_name":"Varshney, Gaurav K.","last_name":"Varshney","first_name":"Gaurav K."},{"full_name":"Maroofian, Reza","first_name":"Reza","last_name":"Maroofian"}],"issue":"11","_id":"14368","scopus_import":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_id":"14369","creator":"dernst","relation":"main_file","success":1,"access_level":"open_access","date_updated":"2023-09-25T08:48:54Z","file_name":"2023_GeneticsMedicine_Accogli.pdf","content_type":"application/pdf","date_created":"2023-09-25T08:48:54Z","file_size":4105513,"checksum":"440f0cd8a2ffcbe03c015c1746728387"}],"oa":1,"publication_identifier":{"issn":["1098-3600"]},"date_published":"2023-11-01T00:00:00Z","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"keyword":["Genetics (clinical)"],"month":"11","article_number":"100938","oa_version":"Published Version","publication":"Genetics in Medicine","has_accepted_license":"1"},{"ddc":["515","539"],"day":"30","doi":"10.15479/at:ista:14374","degree_awarded":"PhD","abstract":[{"text":"Superconductivity has many important applications ranging from levitating trains over qubits to MRI scanners. The phenomenon is successfully modeled by Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory has been studied extensively for systems without boundary. However, little is known in the presence of boundaries. With the help of numerical methods physicists observed that the critical temperature may increase in the presence of a boundary. The goal of this thesis is to understand the influence of boundaries on the critical temperature in BCS theory and to give a first rigorous justification of these observations. On the way, we also study two-body Schrödinger operators on domains with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS theory is based on a non-linear functional, where the minimizer indicates whether the system is superconducting or in the normal, non-superconducting state. By considering the Hessian of the BCS functional at the normal state, one can analyze whether the normal state is possibly a minimum of the BCS functional and estimate the critical temperature. The Hessian turns out to be a linear operator resembling a Schrödinger operator for two interacting particles, but with more complicated kinetic energy. As a first step, we study the two-body Schrödinger operator in the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that the addition of a boundary can create new eigenvalues, which correspond to the two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need to understand superconductivity in the translation invariant setting. While in three dimensions this has been extensively studied, there is no mathematical literature for the one and two dimensional cases. In dimensions one and two, we compute the weak coupling asymptotics of the critical temperature and the energy gap  in the translation invariant setting. We also prove that their ratio is independent of the microscopic details of the model in the weak coupling limit; this property is referred to as universality.\r\n\r\nIn the third part, we study the critical temperature of superconductors in the presence of boundaries. We start by considering the one-dimensional case of a half-line with contact interaction. Then, we generalize the results to generic interactions and half-spaces in one, two and three dimensions. Finally, we compare the critical temperature of a quarter space in two dimensions to the critical temperatures of a half-space and of the full space.","lang":"eng"}],"citation":{"ieee":"B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023.","chicago":"Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14374\">https://doi.org/10.15479/at:ista:14374</a>.","apa":"Roos, B. (2023). <i>Boundary superconductivity in BCS theory</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14374\">https://doi.org/10.15479/at:ista:14374</a>","ama":"Roos B. Boundary superconductivity in BCS theory. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14374\">10.15479/at:ista:14374</a>","ista":"Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.","mla":"Roos, Barbara. <i>Boundary Superconductivity in BCS Theory</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14374\">10.15479/at:ista:14374</a>.","short":"B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023."},"year":"2023","date_updated":"2023-10-27T10:37:30Z","publisher":"Institute of Science and Technology Austria","ec_funded":1,"page":"206","file_date_updated":"2023-10-06T11:38:01Z","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"date_created":"2023-09-28T14:23:04Z","publication_status":"published","alternative_title":["ISTA Thesis"],"title":"Boundary superconductivity in BCS theory","_id":"14374","author":[{"id":"5DA90512-D80F-11E9-8994-2E2EE6697425","orcid":"0000-0002-9071-5880","full_name":"Roos, Barbara","first_name":"Barbara","last_name":"Roos"}],"file":[{"content_type":"application/pdf","file_name":"phd-thesis-draft_pdfa_acrobat.pdf","date_updated":"2023-10-06T11:35:56Z","file_size":2365702,"checksum":"ef039ffc3de2cb8dee5b14110938e9b6","date_created":"2023-10-06T11:35:56Z","creator":"broos","file_id":"14398","access_level":"open_access","relation":"main_file"},{"content_type":"application/x-zip-compressed","file_name":"Version5.zip","date_updated":"2023-10-06T11:38:01Z","checksum":"81dcac33daeefaf0111db52f41bb1fd0","file_size":4691734,"date_created":"2023-10-06T11:38:01Z","creator":"broos","file_id":"14399","access_level":"closed","relation":"source_file"}],"status":"public","related_material":{"record":[{"status":"public","id":"13207","relation":"part_of_dissertation"},{"status":"public","id":"10850","relation":"part_of_dissertation"}]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"issn":["2663 - 337X"]},"oa":1,"supervisor":[{"first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","date_published":"2023-09-30T00:00:00Z","language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","name":"Analysis of quantum many-body systems"},{"_id":"bda63fe5-d553-11ed-ba76-a16e3d2f256b","grant_number":"I06427","name":"Mathematical Challenges in BCS Theory of Superconductivity"}],"oa_version":"Published Version","month":"09","has_accepted_license":"1"},{"article_type":"original","publisher":"American Physical Society","quality_controlled":"1","intvolume":"         8","title":"Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter","date_created":"2023-09-29T08:46:47Z","article_processing_charge":"No","publication_status":"published","issue":"6","author":[{"full_name":"Andersen, Benjamin H.","last_name":"Andersen","first_name":"Benjamin H."},{"id":"7af6767d-14eb-11ed-b536-a32449ae867c","last_name":"Renaud","first_name":"Julian B","full_name":"Renaud, Julian B"},{"full_name":"Rønning, Jonas","first_name":"Jonas","last_name":"Rønning"},{"last_name":"Angheluta","first_name":"Luiza","full_name":"Angheluta, Luiza"},{"first_name":"Amin","last_name":"Doostmohammadi","full_name":"Doostmohammadi, Amin"}],"scopus_import":"1","_id":"14377","extern":"1","volume":8,"abstract":[{"lang":"eng","text":"Coherent flows of self-propelled particles are characterized by vortices and jets that sustain chaotic flows, referred to as active turbulence. Here, we reveal a crossover between defect-free active turbulence and active turbulence laden with topological defects. Interestingly, we show that concurrent to the crossover from defect-free to defect-laden active turbulence is the restoration of the previously broken SO(2) symmetry signaled by the fast decay of the two-point correlations. By stability analyses of the topological charge density field, we provide theoretical insights on the criterion for the crossover to the defect-laden active turbulent state. Despite the distinct symmetry features between these two active turbulence regimes, the flow fluctuations exhibit universal statistical scaling behaviors at large scales, while the spectrum of polarity fluctuations decays exponentially at small length scales compared to the active energy injection length. These findings reveal a dynamical crossover between distinct spatiotemporal organization patterns in polar active matter."}],"day":"14","arxiv":1,"doi":"10.1103/physrevfluids.8.063101","external_id":{"arxiv":["2209.10916"]},"citation":{"ama":"Andersen BH, Renaud JB, Rønning J, Angheluta L, Doostmohammadi A. Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter. <i>Physical Review Fluids</i>. 2023;8(6). doi:<a href=\"https://doi.org/10.1103/physrevfluids.8.063101\">10.1103/physrevfluids.8.063101</a>","apa":"Andersen, B. H., Renaud, J. B., Rønning, J., Angheluta, L., &#38; Doostmohammadi, A. (2023). Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter. <i>Physical Review Fluids</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevfluids.8.063101\">https://doi.org/10.1103/physrevfluids.8.063101</a>","chicago":"Andersen, Benjamin H., Julian B Renaud, Jonas Rønning, Luiza Angheluta, and Amin Doostmohammadi. “Symmetry-Restoring Crossover from Defect-Free to Defect-Laden Turbulence in Polar Active Matter.” <i>Physical Review Fluids</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevfluids.8.063101\">https://doi.org/10.1103/physrevfluids.8.063101</a>.","ieee":"B. H. Andersen, J. B. Renaud, J. Rønning, L. Angheluta, and A. Doostmohammadi, “Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter,” <i>Physical Review Fluids</i>, vol. 8, no. 6. American Physical Society, 2023.","short":"B.H. Andersen, J.B. Renaud, J. Rønning, L. Angheluta, A. Doostmohammadi, Physical Review Fluids 8 (2023).","mla":"Andersen, Benjamin H., et al. “Symmetry-Restoring Crossover from Defect-Free to Defect-Laden Turbulence in Polar Active Matter.” <i>Physical Review Fluids</i>, vol. 8, no. 6, 063101, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevfluids.8.063101\">10.1103/physrevfluids.8.063101</a>.","ista":"Andersen BH, Renaud JB, Rønning J, Angheluta L, Doostmohammadi A. 2023. Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter. Physical Review Fluids. 8(6), 063101."},"year":"2023","date_updated":"2023-10-03T07:25:39Z","keyword":["Fluid Flow and Transfer Processes","Modeling and Simulation","Computational Mechanics"],"language":[{"iso":"eng"}],"article_number":"063101","month":"06","oa_version":"Preprint","publication":"Physical Review Fluids","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://arxiv.org/abs/2209.10916","open_access":"1"}],"oa":1,"publication_identifier":{"issn":["2469-990X"]},"type":"journal_article","date_published":"2023-06-14T00:00:00Z"},{"author":[{"full_name":"Ucar, Mehmet C","orcid":"0000-0003-0506-4217","last_name":"Ucar","first_name":"Mehmet C","id":"50B2A802-6007-11E9-A42B-EB23E6697425"},{"first_name":"Edouard B","last_name":"Hannezo","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Tiilikainen, Emmi","first_name":"Emmi","last_name":"Tiilikainen"},{"full_name":"Liaqat, Inam","last_name":"Liaqat","first_name":"Inam"},{"full_name":"Jakobsson, Emma","first_name":"Emma","last_name":"Jakobsson"},{"last_name":"Nurmi","first_name":"Harri","full_name":"Nurmi, Harri"},{"id":"368EE576-F248-11E8-B48F-1D18A9856A87","last_name":"Vaahtomeri","first_name":"Kari","full_name":"Vaahtomeri, Kari","orcid":"0000-0001-7829-3518"}],"pmid":1,"_id":"14378","scopus_import":"1","title":"Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks","intvolume":"        14","publication_status":"published","article_processing_charge":"Yes","department":[{"_id":"EdHa"}],"date_created":"2023-10-01T22:01:13Z","file_date_updated":"2023-10-03T07:46:36Z","ec_funded":1,"quality_controlled":"1","article_type":"original","publisher":"Springer Nature","isi":1,"external_id":{"pmid":["37735168"],"isi":["001075884500007"]},"date_updated":"2023-12-13T12:31:05Z","citation":{"ista":"Ucar MC, Hannezo EB, Tiilikainen E, Liaqat I, Jakobsson E, Nurmi H, Vaahtomeri K. 2023. Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. 14, 5878.","short":"M.C. Ucar, E.B. Hannezo, E. Tiilikainen, I. Liaqat, E. Jakobsson, H. Nurmi, K. Vaahtomeri, Nature Communications 14 (2023).","mla":"Ucar, Mehmet C., et al. “Self-Organized and Directed Branching Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” <i>Nature Communications</i>, vol. 14, 5878, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-41456-7\">10.1038/s41467-023-41456-7</a>.","ieee":"M. C. Ucar <i>et al.</i>, “Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.","chicago":"Ucar, Mehmet C, Edouard B Hannezo, Emmi Tiilikainen, Inam Liaqat, Emma Jakobsson, Harri Nurmi, and Kari Vaahtomeri. “Self-Organized and Directed Branching Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” <i>Nature Communications</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41467-023-41456-7\">https://doi.org/10.1038/s41467-023-41456-7</a>.","ama":"Ucar MC, Hannezo EB, Tiilikainen E, et al. Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-41456-7\">10.1038/s41467-023-41456-7</a>","apa":"Ucar, M. C., Hannezo, E. B., Tiilikainen, E., Liaqat, I., Jakobsson, E., Nurmi, H., &#38; Vaahtomeri, K. (2023). Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-023-41456-7\">https://doi.org/10.1038/s41467-023-41456-7</a>"},"year":"2023","abstract":[{"text":"Branching morphogenesis is a ubiquitous process that gives rise to high exchange surfaces in the vasculature and epithelial organs. Lymphatic capillaries form branched networks, which play a key role in the circulation of tissue fluid and immune cells. Although mouse models and correlative patient data indicate that the lymphatic capillary density directly correlates with functional output, i.e., tissue fluid drainage and trafficking efficiency of dendritic cells, the mechanisms ensuring efficient tissue coverage remain poorly understood. Here, we use the mouse ear pinna lymphatic vessel network as a model system and combine lineage-tracing, genetic perturbations, whole-organ reconstructions and theoretical modeling to show that the dermal lymphatic capillaries tile space in an optimal, space-filling manner. This coverage is achieved by two complementary mechanisms: initial tissue invasion provides a non-optimal global scaffold via self-organized branching morphogenesis, while VEGF-C dependent side-branching from existing capillaries rapidly optimizes local coverage by directionally targeting low-density regions. With these two ingredients, we show that a minimal biophysical model can reproduce quantitatively whole-network reconstructions, across development and perturbations. Our results show that lymphatic capillary networks can exploit local self-organizing mechanisms to achieve tissue-scale optimization.","lang":"eng"}],"doi":"10.1038/s41467-023-41456-7","day":"21","ddc":["570"],"acknowledgement":"We thank Dr. Kari Alitalo (University of Helsinki and Wihuri Research Institute) for critical reading of the manuscript, providing Vegfc+/− and Clp24ΔEC mouse strains and for hosting K.V.’s Academy of Finland postdoctoral researcher period (2015–2018). We thank Dr. Sara Wickström (University of Helsinki and Wihuri Research Institute) for providing Sox9:Egfp mouse\r\nstrain and the discussions. We thank Maija Atuegwu and Tapio Tainola for technical assistance. This work received funding from the Academy of Finland (K.V., 315710), Sigrid Juselius Foundation (K.V.), University of Helsinki (K.V.), Wihuri Research Institute (K.V.), the ERC under the European Union’s Horizon 2020 research and innovation program (grant agreement\r\nNo. 851288 to E.H.) and under the Marie Skłodowska-Curie grant agreement No. 754411 (to M.C.U.). Part of the work was carried out with the support of HiLIFE Laboratory Animal Centre Core Facility, University of Helsinki, Finland. Imaging was performed at the Biomedicum Imaging Unit, Helsinki University, Helsinki, Finland, with the support of Biocenter Finland. The AAVpreparations were produced at the Helsinki Virus (HelVi) Core.","volume":14,"publication":"Nature Communications","has_accepted_license":"1","month":"09","article_number":"5878","oa_version":"Published Version","project":[{"name":"Design Principles of Branching Morphogenesis","grant_number":"851288","_id":"05943252-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"language":[{"iso":"eng"}],"date_published":"2023-09-21T00:00:00Z","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"publication_identifier":{"eissn":["2041-1723"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","file":[{"relation":"main_file","access_level":"open_access","success":1,"creator":"dernst","file_id":"14384","file_size":8143264,"checksum":"4fe5423403f2531753bcd9e0fea48e05","date_created":"2023-10-03T07:46:36Z","file_name":"2023_NatureComm_Ucar.pdf","content_type":"application/pdf","date_updated":"2023-10-03T07:46:36Z"}]},{"quality_controlled":"1","publisher":"Elsevier","article_type":"original","_id":"14379","scopus_import":"1","author":[{"full_name":"Mahato, Neelima","last_name":"Mahato","first_name":"Neelima"},{"orcid":"0000-0003-2209-5269","full_name":"Singh, Saurabh","first_name":"Saurabh","last_name":"Singh","id":"12d625da-9cb3-11ed-9667-af09d37d3f0a"},{"last_name":"Faisal","first_name":"Mohammad","full_name":"Faisal, Mohammad"},{"full_name":"Sreekanth, T. V.M.","first_name":"T. V.M.","last_name":"Sreekanth"},{"full_name":"Majumder, Sutripto","last_name":"Majumder","first_name":"Sutripto"},{"full_name":"Yoo, Kisoo","last_name":"Yoo","first_name":"Kisoo"},{"last_name":"Kim","first_name":"Jonghoon","full_name":"Kim, Jonghoon"}],"publication_status":"published","department":[{"_id":"MaIb"}],"date_created":"2023-10-01T22:01:13Z","article_processing_charge":"No","title":"Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite","intvolume":"       299","volume":299,"acknowledgement":"This work was supported by 2023 Yeungnam University Research Grant.","date_updated":"2024-01-30T13:55:50Z","citation":{"chicago":"Mahato, Neelima, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” <i>Synthetic Metals</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.synthmet.2023.117463\">https://doi.org/10.1016/j.synthmet.2023.117463</a>.","ieee":"N. Mahato <i>et al.</i>, “Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite,” <i>Synthetic Metals</i>, vol. 299. Elsevier, 2023.","apa":"Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., &#38; Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. <i>Synthetic Metals</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.synthmet.2023.117463\">https://doi.org/10.1016/j.synthmet.2023.117463</a>","ama":"Mahato N, Singh S, Faisal M, et al. Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. <i>Synthetic Metals</i>. 2023;299. doi:<a href=\"https://doi.org/10.1016/j.synthmet.2023.117463\">10.1016/j.synthmet.2023.117463</a>","ista":"Mahato N, Singh S, Faisal M, Sreekanth TVM, Majumder S, Yoo K, Kim J. 2023. Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. 299, 117463.","short":"N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J. Kim, Synthetic Metals 299 (2023).","mla":"Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” <i>Synthetic Metals</i>, vol. 299, 117463, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.synthmet.2023.117463\">10.1016/j.synthmet.2023.117463</a>."},"year":"2023","isi":1,"external_id":{"isi":["001083568900001"]},"doi":"10.1016/j.synthmet.2023.117463","day":"01","abstract":[{"lang":"eng","text":"We report on a simple surfactant/template free chemical route for the synthesis of semi-polycrystalline polyaniline-graphite (SPani-graphite) composite and its application as an electroactive material in electrochemical charge storage. The synthesized material exhibits well-defined poly-crystallographic lattices in high resolution transmission electron micrographs and sharp peaks in x-ray diffraction spectra suggesting crystalline nature of the material. The specific capacitance computed from the galvanostatic charge-discharge (GCD) data obtained from 3-electrode cell configuration using 1 M aq. Na2SO4 as an electrolyte was 111.4 F g−1 at a current density of 0.1 A g−1 which rises to 269 F g−1 at an elevated current density of 1.0 A g−1. A similar pattern of increase in the specific capacitance values with an increase in the current density was observed in the results obtained from 2-electrode symmetric device configuration using polymer gel electrolyte (xanthan gum in 1 M aq. Na2SO4). The specific capacitance computed from the GCD data obtained from the device configuration was 20 F g−1 at the current density of 1.0 A g−1. The device delivers an energy density of 1.7 Wh kg−1 and a power density of 2.48 kWh kg−1 at an applied current density of 0.5 A g−1 suggesting an excellent rate capability and power management. In addition, the device exhibits ⁓92 % specific capacitance retention up to 8000 continuous GCD cycles and ⁓80 % coulombic efficiency up to 10,000 continuous GCD cycles indicating excellent cycling stability. The unique feature of increasing specific capacitance with respect to applied current density is attributed to the presence of semi-polycrystalline phases in the SPani-graphite matrix. The material behaves as a surface redox supercapacitor and its unique mechanism of charge storage is discussed in detail in the article."}],"language":[{"iso":"eng"}],"publication":"Synthetic Metals","oa_version":"None","month":"11","article_number":"117463","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2023-11-01T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["0379-6779"]}},{"language":[{"iso":"eng"}],"publication":"Nonlinear Analysis: Hybrid Systems","article_number":"101430","month":"09","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"oa_version":"Published Version","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.nahs.2023.101430"}],"type":"journal_article","date_published":"2023-09-27T00:00:00Z","oa":1,"publication_identifier":{"issn":["1751-570X"]},"ec_funded":1,"quality_controlled":"1","article_type":"original","publisher":"Elsevier","author":[{"first_name":"Rupak","last_name":"Majumdar","full_name":"Majumdar, Rupak"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","last_name":"Mallik","first_name":"Kaushik","full_name":"Mallik, Kaushik","orcid":"0000-0001-9864-7475"},{"full_name":"Schmuck, Anne Kathrin","last_name":"Schmuck","first_name":"Anne Kathrin"},{"first_name":"Sadegh","last_name":"Soudjani","full_name":"Soudjani, Sadegh"}],"scopus_import":"1","_id":"14400","intvolume":"        51","title":"Symbolic control for stochastic systems via finite parity games","department":[{"_id":"ToHe"}],"date_created":"2023-10-08T22:01:15Z","article_processing_charge":"No","publication_status":"epub_ahead","volume":51,"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.","external_id":{"arxiv":["2101.00834"],"isi":["001093188100001"]},"isi":1,"citation":{"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>","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>","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.","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>.","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).","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."},"year":"2023","date_updated":"2023-12-13T12:58:56Z","abstract":[{"lang":"eng","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."}],"day":"27","doi":"10.1016/j.nahs.2023.101430","arxiv":1},{"language":[{"iso":"eng"}],"publication":"Molecular Neurodegeneration","has_accepted_license":"1","month":"09","article_number":"67","oa_version":"Published Version","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"creator":"dernst","file_id":"14917","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_name":"2023_MolecularNeurodegeneration_Maes.pdf","date_updated":"2024-01-30T14:33:31Z","checksum":"3aa218ddea4a082d8fd5e196ae55ca06","file_size":11568350,"date_created":"2024-01-30T14:33:31Z"}],"date_published":"2023-09-26T00:00:00Z","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"publication_identifier":{"eissn":["1750-1326"]},"file_date_updated":"2024-01-30T14:33:31Z","quality_controlled":"1","article_type":"original","publisher":"Springer Nature","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.","first_name":"Ryan J.","last_name":"Donahue"},{"full_name":"Schlamp, Cassandra L.","last_name":"Schlamp","first_name":"Cassandra L."},{"full_name":"Marola, Olivia J.","first_name":"Olivia J.","last_name":"Marola"},{"full_name":"Libby, Richard T.","first_name":"Richard T.","last_name":"Libby"},{"full_name":"Nickells, Robert W.","last_name":"Nickells","first_name":"Robert W."}],"_id":"14401","pmid":1,"scopus_import":"1","title":"BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps","intvolume":"        18","publication_status":"published","date_created":"2023-10-08T22:01:15Z","article_processing_charge":"Yes","department":[{"_id":"SaSi"}],"ddc":["570"],"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).","volume":18,"isi":1,"external_id":{"pmid":["37292963"],"isi":["001071403800001"]},"date_updated":"2024-01-30T14:34:21Z","year":"2023","citation":{"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>.","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.","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>","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.","short":"M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).","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>."},"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."}],"doi":"10.1186/s13024-023-00659-8","day":"26"},{"volume":42,"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.).","ddc":["570"],"date_updated":"2024-01-30T14:07:40Z","citation":{"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>","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>","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>.","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.","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>.","short":"F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).","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."},"year":"2023","isi":1,"external_id":{"pmid":["37777965"],"isi":["001086695500001"]},"doi":"10.1016/j.celrep.2023.113162","day":"31","abstract":[{"lang":"eng","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)."}],"quality_controlled":"1","ec_funded":1,"file_date_updated":"2024-01-30T14:07:08Z","publisher":"Elsevier","article_type":"original","_id":"14402","pmid":1,"scopus_import":"1","author":[{"orcid":"0000-0003-2623-5249","full_name":"Lombardi, Fabrizio","first_name":"Fabrizio","last_name":"Lombardi","id":"A057D288-3E88-11E9-986D-0CF4E5697425"},{"full_name":"Herrmann, Hans J.","first_name":"Hans J.","last_name":"Herrmann"},{"full_name":"Parrino, Liborio","first_name":"Liborio","last_name":"Parrino"},{"last_name":"Plenz","first_name":"Dietmar","full_name":"Plenz, Dietmar"},{"last_name":"Scarpetta","first_name":"Silvia","full_name":"Scarpetta, Silvia"},{"full_name":"Vaudano, Anna Elisabetta","first_name":"Anna Elisabetta","last_name":"Vaudano"},{"full_name":"De Arcangelis, Lucilla","last_name":"De Arcangelis","first_name":"Lucilla"},{"full_name":"Shriki, Oren","first_name":"Oren","last_name":"Shriki"}],"issue":"10","publication_status":"published","article_processing_charge":"Yes","department":[{"_id":"GaTk"}],"date_created":"2023-10-08T22:01:15Z","title":"Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state","intvolume":"        42","file":[{"date_updated":"2024-01-30T14:07:08Z","file_name":"2023_CellReports_Lombardi.pdf","content_type":"application/pdf","date_created":"2024-01-30T14:07:08Z","file_size":5599007,"checksum":"9c71eb2a03aa160415f01ad95f49ceb5","file_id":"14914","creator":"dernst","access_level":"open_access","relation":"main_file","success":1}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2023-10-31T00:00:00Z","type":"journal_article","publication_identifier":{"eissn":["2211-1247"]},"oa":1,"language":[{"iso":"eng"}],"publication":"Cell Reports","has_accepted_license":"1","oa_version":"Published Version","project":[{"_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","grant_number":"M03318","name":"Functional Advantages of Critical Brain Dynamics"},{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"month":"10","article_number":"113162"},{"article_type":"letter_note","publisher":"AAAS","page":"1413-1414","quality_controlled":"1","title":"Widening the use of 3D printing","intvolume":"       381","publication_status":"published","department":[{"_id":"MaIb"},{"_id":"LifeSc"}],"date_created":"2023-10-08T22:01:16Z","article_processing_charge":"No","author":[{"id":"302BADF6-85FC-11EA-9E3B-B9493DDC885E","orcid":"0000-0001-7597-043X","full_name":"Balazs, Daniel","first_name":"Daniel","last_name":"Balazs"},{"last_name":"Ibáñez","first_name":"Maria","full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87"}],"issue":"6665","_id":"14404","pmid":1,"scopus_import":"1","volume":381,"acknowledgement":"The authors thank the Werner-Siemens-Stiftung and the Institute of Science and Technology Austria for financial support.","abstract":[{"text":"A light-triggered fabrication method extends the functionality of printable nanomaterials","lang":"eng"}],"doi":"10.1126/science.adk3070","day":"29","external_id":{"pmid":["37769110"]},"date_updated":"2023-10-09T07:32:58Z","citation":{"short":"D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.","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>.","ista":"Balazs D, Ibáñez M. 2023. Widening the use of 3D printing. Science. 381(6665), 1413–1414.","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>","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>","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>.","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."},"year":"2023","language":[{"iso":"eng"}],"month":"09","oa_version":"None","project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"publication":"Science","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1095-9203"]},"date_published":"2023-09-29T00:00:00Z","type":"journal_article"},{"publication_status":"published","date_created":"2023-10-08T22:01:16Z","article_processing_charge":"Yes","department":[{"_id":"ToHe"}],"title":"Hypernode automata","alternative_title":["LIPIcs"],"intvolume":"       279","_id":"14405","scopus_import":"1","author":[{"full_name":"Bartocci, Ezio","last_name":"Bartocci","first_name":"Ezio"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nickovic, Dejan","first_name":"Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"id":"f347ec37-6676-11ee-b395-a888cb7b4fb4","orcid":"0000-0002-8741-5799","full_name":"Oliveira da Costa, Ana","first_name":"Ana","last_name":"Oliveira da Costa"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","ec_funded":1,"quality_controlled":"1","file_date_updated":"2023-10-09T07:42:45Z","arxiv":1,"doi":"10.4230/LIPIcs.CONCUR.2023.21","day":"01","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."}],"date_updated":"2023-10-09T07:43:44Z","year":"2023","citation":{"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>","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>","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.","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>.","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>.","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.","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."},"external_id":{"arxiv":["2305.02836"]},"volume":279,"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.","ddc":["000"],"oa_version":"Published Version","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"month":"09","article_number":"21","publication":"34th International Conference on Concurrency Theory","has_accepted_license":"1","conference":{"name":"CONCUR: Conference on Concurrency Theory","start_date":"2023-09-19","end_date":"2023-09-22","location":"Antwerp, Belgium"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783959772990"],"issn":["18688969"]},"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2023-09-01T00:00:00Z","type":"conference","file":[{"success":1,"access_level":"open_access","relation":"main_file","file_id":"14413","creator":"dernst","date_created":"2023-10-09T07:42:45Z","file_size":795790,"checksum":"215765e40454d806174ac0a223e8d6fa","date_updated":"2023-10-09T07:42:45Z","content_type":"application/pdf","file_name":"2023_LIPcs_Bartocci.pdf"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"type":"journal_article","date_published":"2023-09-01T00:00:00Z","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2306.09455"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Physical Review B","oa_version":"Preprint","article_number":"104205","month":"09","language":[{"iso":"eng"}],"citation":{"ista":"Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. 2023. Generalized surface multifractality in two-dimensional disordered systems. Physical Review B. 108(10), 104205.","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>.","short":"S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B 108 (2023).","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>.","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.","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>","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>"},"year":"2023","date_updated":"2023-10-09T07:09:30Z","external_id":{"arxiv":["2306.09455"]},"day":"01","doi":"10.1103/PhysRevB.108.104205","arxiv":1,"abstract":[{"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.","lang":"eng"}],"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).","volume":108,"scopus_import":"1","_id":"14406","issue":"10","author":[{"orcid":"0009-0003-7382-8036","full_name":"Babkin, Serafim","first_name":"Serafim","last_name":"Babkin","id":"41e64307-6672-11ee-b9ad-cc7a0075a479"},{"last_name":"Karcher","first_name":"Jonas F.","full_name":"Karcher, Jonas F."},{"last_name":"Burmistrov","first_name":"Igor S.","full_name":"Burmistrov, Igor S."},{"full_name":"Mirlin, Alexander D.","first_name":"Alexander D.","last_name":"Mirlin"}],"date_created":"2023-10-08T22:01:17Z","article_processing_charge":"No","department":[{"_id":"MaSe"}],"publication_status":"published","intvolume":"       108","title":"Generalized surface multifractality in two-dimensional disordered systems","quality_controlled":"1","publisher":"American Physical Society","article_type":"original"},{"quality_controlled":"1","article_type":"original","publisher":"Springer Nature","author":[{"id":"42198EFA-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgio","last_name":"Cipolloni","orcid":"0000-0002-4901-7992","full_name":"Cipolloni, Giorgio"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"},{"id":"408ED176-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2904-1856","full_name":"Schröder, Dominik J","first_name":"Dominik J","last_name":"Schröder"}],"scopus_import":"1","_id":"14408","title":"Mesoscopic central limit theorem for non-Hermitian random matrices","date_created":"2023-10-08T22:01:17Z","department":[{"_id":"LaEr"}],"article_processing_charge":"No","publication_status":"epub_ahead","acknowledgement":"The authors are grateful to Joscha Henheik for his help with the formulas in Appendix B.","external_id":{"arxiv":["2210.12060"]},"year":"2023","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.","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>.","short":"G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).","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.","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>.","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>"},"date_updated":"2023-10-09T07:19:01Z","abstract":[{"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.","lang":"eng"}],"day":"28","arxiv":1,"doi":"10.1007/s00440-023-01229-1","language":[{"iso":"eng"}],"publication":"Probability Theory and Related Fields","month":"09","oa_version":"Preprint","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2210.12060","open_access":"1"}],"type":"journal_article","date_published":"2023-09-28T00:00:00Z","oa":1,"publication_identifier":{"issn":["0178-8051"],"eissn":["1432-2064"]}},{"publication":"European Journal of Organic Chemistry","has_accepted_license":"1","month":"11","article_number":"e202300769","oa_version":"Published Version","language":[{"iso":"eng"}],"date_published":"2023-11-07T00:00:00Z","type":"journal_article","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode"},"oa":1,"publication_identifier":{"eissn":["1099-0690"],"issn":["1434-193X"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","file":[{"creator":"dernst","file_id":"14913","relation":"main_file","success":1,"access_level":"open_access","file_name":"2023_EurJOrgChem_Baunis.pdf","content_type":"application/pdf","date_updated":"2024-01-30T14:04:44Z","checksum":"e8ad7865acd94672e476f273ccf3d542","file_size":3277622,"date_created":"2024-01-30T14:04:44Z"}],"author":[{"id":"2eea55ec-e8ec-11ed-86cb-d9c76787acfe","first_name":"Haralds","last_name":"Baunis","full_name":"Baunis, Haralds"},{"id":"93e5e5b2-0da6-11ed-8a41-af589a024726","first_name":"Bartholomäus","last_name":"Pieber","orcid":"0000-0001-8689-388X","full_name":"Pieber, Bartholomäus"}],"issue":"42","_id":"14409","scopus_import":"1","title":"Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex","intvolume":"        26","publication_status":"published","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"BaPi"}],"date_created":"2023-10-08T22:01:18Z","file_date_updated":"2024-01-30T14:04:44Z","quality_controlled":"1","article_type":"original","publisher":"Wiley","isi":1,"external_id":{"isi":["001072666500001"]},"date_updated":"2024-01-30T14:05:14Z","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>.","short":"H. Baunis, B. Pieber, European Journal of Organic Chemistry 26 (2023).","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.","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>","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.","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>."},"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"}],"doi":"10.1002/ejoc.202300769","day":"07","ddc":["540"],"volume":26,"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."},{"type":"conference","date_published":"2023-08-20T00:00:00Z","year":"2023","citation":{"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.","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>.","short":"P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.","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>.","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.","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>","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>"},"date_updated":"2023-10-09T06:48:02Z","abstract":[{"lang":"eng","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."}],"publication_identifier":{"isbn":["9783031407727"],"eissn":["1611-3349"],"issn":["0302-9743"]},"day":"20","doi":"10.1007/978-3-031-40773-4_6","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":14068,"author":[{"first_name":"Paulina","last_name":"Tomaszewska","full_name":"Tomaszewska, Paulina"},{"last_name":"Lampert","first_name":"Christoph","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"scopus_import":"1","publication":"International Workshop on Reproducible Research in Pattern Recognition","_id":"14410","intvolume":"     14068","title":"On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift","month":"08","alternative_title":["LNCS"],"article_processing_charge":"No","date_created":"2023-10-08T22:01:18Z","department":[{"_id":"ChLa"}],"oa_version":"None","publication_status":"published","language":[{"iso":"eng"}],"quality_controlled":"1","page":"67-73","conference":{"end_date":"2022-08-21","location":"Montreal, Canada","start_date":"2022-08-21","name":"RRPR: Reproducible Research in Pattern Recognition"},"publisher":"Springer Nature"},{"oa":1,"publication_identifier":{"isbn":["9783031426964"],"eissn":["1611-3349"],"issn":["0302-9743"]},"type":"conference","date_published":"2023-09-09T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_created":"2024-02-16T08:26:32Z","checksum":"6f71bdaedb770b52380222fd9f4d7937","file_size":691582,"date_updated":"2024-02-16T08:26:32Z","file_name":"cmsb2023.pdf","content_type":"application/pdf","relation":"main_file","success":1,"access_level":"open_access","file_id":"14997","creator":"spastva"}],"month":"09","project":[{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"oa_version":"Submitted Version","has_accepted_license":"1","publication":"21st International Conference on Computational Methods in Systems Biology","conference":{"start_date":"2023-09-13","name":"CMSB: Computational Methods in Systems Biology","end_date":"2023-09-15","location":"Luxembourg City, Luxembourg"},"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","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."}],"day":"09","doi":"10.1007/978-3-031-42697-1_2","year":"2023","citation":{"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.","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>.","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.","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>.","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>","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>"},"date_updated":"2024-02-20T09:02:04Z","ddc":["000"],"volume":14137,"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.","intvolume":"     14137","title":"Phenotype control of partially specified boolean networks","alternative_title":["LNBI"],"article_processing_charge":"No","date_created":"2023-10-08T22:01:18Z","department":[{"_id":"ToHe"}],"publication_status":"published","author":[{"last_name":"Beneš","first_name":"Nikola","full_name":"Beneš, Nikola"},{"first_name":"Luboš","last_name":"Brim","full_name":"Brim, Luboš"},{"id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel","first_name":"Samuel","last_name":"Pastva"},{"last_name":"Šafránek","first_name":"David","full_name":"Šafránek, David"},{"first_name":"Eva","last_name":"Šmijáková","full_name":"Šmijáková, Eva"}],"scopus_import":"1","_id":"14411","publisher":"Springer Nature","file_date_updated":"2024-02-16T08:26:32Z","ec_funded":1,"quality_controlled":"1","page":"18-35"},{"file":[{"access_level":"open_access","relation":"main_file","success":1,"creator":"dernst","file_id":"14418","file_size":826843,"checksum":"402281b17ed669bbf149d0fdf68ac201","date_created":"2023-10-09T09:19:11Z","content_type":"application/pdf","file_name":"2023_LIPIcsMFCS_Baier.pdf","date_updated":"2023-10-09T09:19:11Z"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"isbn":["9783959772921"],"eissn":["1868-8969"]},"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"conference","date_published":"2023-08-21T00:00:00Z","conference":{"name":"MFCS: Symposium on Mathematical Foundations of Computer Science","start_date":"2023-08-28","end_date":"2023-09-01","location":"Bordeaux, France"},"language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"}],"oa_version":"Published Version","article_number":"15","month":"08","has_accepted_license":"1","publication":"48th International Symposium on Mathematical Foundations of Computer Science","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.","volume":272,"ddc":["000"],"day":"21","arxiv":1,"doi":"10.4230/LIPIcs.MFCS.2023.15","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"}],"year":"2023","citation":{"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>.","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>","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.","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.","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>."},"date_updated":"2025-07-14T09:09:57Z","external_id":{"arxiv":["2307.06611"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","quality_controlled":"1","ec_funded":1,"file_date_updated":"2023-10-09T09:19:11Z","article_processing_charge":"Yes","department":[{"_id":"KrCh"}],"date_created":"2023-10-09T09:21:05Z","publication_status":"published","intvolume":"       272","alternative_title":["LIPIcs"],"title":"Entropic risk for turn-based stochastic games","scopus_import":"1","_id":"14417","author":[{"first_name":"Christel","last_name":"Baier","full_name":"Baier, Christel"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165"},{"first_name":"Jakob","last_name":"Piribauer","full_name":"Piribauer, Jakob"}]},{"publication_identifier":{"issn":["1751-8113"],"eissn":["1751-8121"]},"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","date_published":"2023-10-11T00:00:00Z","file":[{"creator":"dernst","file_id":"14429","success":1,"relation":"main_file","access_level":"open_access","file_name":"2023_JourPhysics_Henheik.pdf","content_type":"application/pdf","date_updated":"2023-10-16T07:07:24Z","checksum":"5b68de147dd4c608b71a6e0e844d2ce9","file_size":721399,"date_created":"2023-10-16T07:07:24Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","project":[{"_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020","name":"Random matrices beyond Wigner-Dyson-Mehta","grant_number":"101020331"}],"oa_version":"Published Version","article_number":"445201","month":"10","has_accepted_license":"1","publication":"Journal of Physics A: Mathematical and Theoretical","language":[{"iso":"eng"}],"day":"11","arxiv":1,"doi":"10.1088/1751-8121/acfe62","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"}],"year":"2023","citation":{"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>","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>.","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.","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>.","short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","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."},"date_updated":"2023-12-13T13:01:25Z","external_id":{"arxiv":["2211.16606"],"isi":["001080908000001"]},"isi":1,"volume":56,"acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","ddc":["510"],"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"date_created":"2023-10-12T12:42:53Z","article_processing_charge":"Yes (via OA deal)","publication_status":"published","intvolume":"        56","title":"Creation rate of Dirac particles at a point source","scopus_import":"1","_id":"14421","issue":"44","author":[{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","full_name":"Henheik, Sven Joscha","orcid":"0000-0003-1106-327X","last_name":"Henheik","first_name":"Sven Joscha"},{"first_name":"Roderich","last_name":"Tumulka","full_name":"Tumulka, Roderich"}],"publisher":"IOP Publishing","article_type":"original","quality_controlled":"1","ec_funded":1,"file_date_updated":"2023-10-16T07:07:24Z"},{"file_date_updated":"2023-10-18T07:56:08Z","ec_funded":1,"page":"148","publisher":"Institute of Science and Technology Austria","author":[{"full_name":"Confavreux, Basile J","first_name":"Basile J","last_name":"Confavreux","id":"C7610134-B532-11EA-BD9F-F5753DDC885E"}],"_id":"14422","alternative_title":["ISTA Thesis"],"title":"Synapseek: Meta-learning synaptic plasticity rules","article_processing_charge":"No","date_created":"2023-10-12T14:13:25Z","department":[{"_id":"GradSch"},{"_id":"TiVo"}],"publication_status":"published","ddc":["610"],"citation":{"ieee":"B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute of Science and Technology Austria, 2023.","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>.","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>","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>","ista":"Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.","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>.","short":"B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023."},"year":"2023","date_updated":"2023-10-18T09:20:56Z","abstract":[{"lang":"eng","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"}],"day":"12","degree_awarded":"PhD","doi":"10.15479/at:ista:14422","language":[{"iso":"eng"}],"has_accepted_license":"1","month":"10","project":[{"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.","grant_number":"819603"}],"oa_version":"Published Version","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","status":"public","related_material":{"record":[{"relation":"part_of_dissertation","id":"9633","status":"public"}]},"file":[{"access_level":"closed","relation":"main_file","creator":"cchlebak","file_id":"14424","embargo_to":"open_access","checksum":"7f636555eae7803323df287672fd13ed","file_size":30599717,"embargo":"2024-10-12","date_created":"2023-10-12T14:53:50Z","content_type":"application/pdf","file_name":"Confavreux_Thesis_2A.pdf","date_updated":"2023-10-12T14:54:52Z"},{"creator":"cchlebak","file_id":"14440","relation":"source_file","access_level":"closed","content_type":"application/x-zip-compressed","file_name":"Confavreux Thesis.zip","date_updated":"2023-10-18T07:56:08Z","file_size":68406739,"checksum":"725e85946db92290a4583a0de9779e1b","date_created":"2023-10-18T07:38:34Z"}],"type":"dissertation","date_published":"2023-10-12T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","short":"CC BY-NC-SA (4.0)"},"supervisor":[{"id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","full_name":"Vogels, Tim P","orcid":"0000-0003-3295-6181","last_name":"Vogels","first_name":"Tim P"}],"publication_identifier":{"issn":["2663 - 337X"]}}]