[{"project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385"}],"title":"Automated verification and control of infinite state stochastic systems","date_published":"2023-11-15T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"article_processing_charge":"No","year":"2023","ddc":["000"],"date_created":"2023-11-15T13:39:10Z","file_date_updated":"2023-11-15T13:44:24Z","_id":"14539","citation":{"short":"D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.","ama":"Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:<a href=\"https://doi.org/10.15479/14539\">10.15479/14539</a>","chicago":"Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14539\">https://doi.org/10.15479/14539</a>.","ieee":"D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.","ista":"Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.","apa":"Zikelic, D. (2023). <i>Automated verification and control of infinite state stochastic systems</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14539\">https://doi.org/10.15479/14539</a>","mla":"Zikelic, Dorde. <i>Automated Verification and Control of Infinite State Stochastic Systems</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14539\">10.15479/14539</a>."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa":1,"author":[{"last_name":"Zikelic","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","full_name":"Zikelic, Dorde"}],"date_updated":"2025-07-14T09:10:10Z","oa_version":"Published Version","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"file":[{"access_level":"open_access","file_id":"14540","success":1,"date_created":"2023-11-15T13:43:28Z","file_name":"main.pdf","date_updated":"2023-11-15T13:43:28Z","content_type":"application/pdf","file_size":2116426,"checksum":"f23e002b0059ca78e1fbb864da52dd7e","relation":"main_file","creator":"cchlebak"},{"date_updated":"2023-11-15T13:44:24Z","content_type":"application/x-zip-compressed","file_size":35884057,"file_name":"thesis_source.zip","file_id":"14541","date_created":"2023-11-15T13:44:24Z","access_level":"closed","creator":"cchlebak","checksum":"80ca37618a3c7b59866875f8be9b15ed","relation":"source_file"}],"type":"dissertation","supervisor":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"}],"publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"page":"256","abstract":[{"text":"Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal\r\nverification and control of finite state stochastic systems, a subfield of formal methods\r\nalso known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively\r\nless attention. However, infinite state stochastic systems commonly arise in practice.\r\nFor instance, probabilistic models that contain continuous probability distributions such\r\nas normal or uniform, or stochastic dynamical systems which are a classical model for\r\ncontrol under uncertainty, both give rise to infinite state systems.\r\nThe goal of this thesis is to contribute to laying theoretical and algorithmic foundations\r\nof fully automated formal verification and control of infinite state stochastic systems,\r\nwith a particular focus on systems that may be executed over a long or infinite time.\r\nWe consider formal verification of infinite state stochastic systems in the setting of\r\nstatic analysis of probabilistic programs and formal control in the setting of controller\r\nsynthesis in stochastic dynamical systems. For both problems, we present some of the\r\nfirst fully automated methods for probabilistic (a.k.a. quantitative) reachability and\r\nsafety analysis applicable to infinite time horizon systems. We also advance the state\r\nof the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems.\r\nFinally, for formal controller synthesis in stochastic dynamical systems, we present a\r\nnovel framework for learning neural network control policies in stochastic dynamical\r\nsystems with formal guarantees on correctness with respect to quantitative reachability,\r\nsafety or reach-avoid specifications.\r\n","lang":"eng"}],"doi":"10.15479/14539","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","publication_identifier":{"issn":["2663 - 337X"],"isbn":["978-3-99078-036-7"]},"status":"public","degree_awarded":"PhD","day":"15","ec_funded":1,"publication_status":"published","month":"11","related_material":{"record":[{"status":"public","id":"1194","relation":"part_of_dissertation"},{"status":"public","id":"12000","relation":"part_of_dissertation"},{"id":"12511","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"14600","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"14601"},{"status":"public","relation":"part_of_dissertation","id":"9644"},{"relation":"part_of_dissertation","id":"10414","status":"public"}]},"alternative_title":["ISTA Thesis"]},{"year":"2023","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1142/S0129055X2360005X"}],"publication":"Reviews in Mathematical Physics","article_processing_charge":"Yes (in subscription journal)","date_created":"2023-11-15T23:48:14Z","project":[{"grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d"},{"_id":"bda63fe5-d553-11ed-ba76-a16e3d2f256b","name":"Mathematical Challenges in BCS Theory of Superconductivity","grant_number":"I06427"}],"title":"Universality in low-dimensional BCS theory","date_published":"2023-10-31T00:00:00Z","quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2023-11-20T10:04:38Z","oa_version":"Published Version","department":[{"_id":"GradSch"},{"_id":"LaEr"},{"_id":"RoSe"}],"citation":{"ista":"Henheik SJ, Lauritsen AB, Roos B. 2023. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics., 2360005.","apa":"Henheik, S. J., Lauritsen, A. B., &#38; Roos, B. (2023). Universality in low-dimensional BCS theory. <i>Reviews in Mathematical Physics</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/s0129055x2360005x\">https://doi.org/10.1142/s0129055x2360005x</a>","mla":"Henheik, Sven Joscha, et al. “Universality in Low-Dimensional BCS Theory.” <i>Reviews in Mathematical Physics</i>, 2360005, World Scientific Publishing, 2023, doi:<a href=\"https://doi.org/10.1142/s0129055x2360005x\">10.1142/s0129055x2360005x</a>.","ieee":"S. J. Henheik, A. B. Lauritsen, and B. Roos, “Universality in low-dimensional BCS theory,” <i>Reviews in Mathematical Physics</i>. World Scientific Publishing, 2023.","ama":"Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. <i>Reviews in Mathematical Physics</i>. 2023. doi:<a href=\"https://doi.org/10.1142/s0129055x2360005x\">10.1142/s0129055x2360005x</a>","short":"S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).","chicago":"Henheik, Sven Joscha, Asbjørn Bækgaard Lauritsen, and Barbara Roos. “Universality in Low-Dimensional BCS Theory.” <i>Reviews in Mathematical Physics</i>. World Scientific Publishing, 2023. <a href=\"https://doi.org/10.1142/s0129055x2360005x\">https://doi.org/10.1142/s0129055x2360005x</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","oa":1,"author":[{"orcid":"0000-0003-1106-327X","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik"},{"orcid":"0000-0003-4476-2288","full_name":"Lauritsen, Asbjørn Bækgaard","first_name":"Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","last_name":"Lauritsen"},{"orcid":"0000-0002-9071-5880","first_name":"Barbara","id":"5DA90512-D80F-11E9-8994-2E2EE6697425","full_name":"Roos, Barbara","last_name":"Roos"}],"type":"journal_article","external_id":{"arxiv":["2301.05621"]},"scopus_import":"1","_id":"14542","arxiv":1,"language":[{"iso":"eng"}],"article_number":"2360005 ","article_type":"original","publisher":"World Scientific Publishing","publication_status":"epub_ahead","acknowledgement":"We thank Robert Seiringer for comments on the paper. J. H. gratefully acknowledges  partial  financial  support  by  the  ERC  Advanced  Grant  “RMTBeyond”No. 101020331.This research was funded in part by the Austrian Science Fund (FWF) grantnumber I6427.","day":"31","ec_funded":1,"month":"10","license":"https://creativecommons.org/licenses/by/4.0/","abstract":[{"text":"It is a remarkable property of BCS theory that the ratio of the energy gap at zero temperature Ξ\r\n and the critical temperature Tc is (approximately) given by a universal constant, independent of the microscopic details of the fermionic interaction. This universality has rigorously been proven quite recently in three spatial dimensions and three different limiting regimes: weak coupling, low density and high density. The goal of this short note is to extend the universal behavior to lower dimensions d=1,2 and give an exemplary proof in the weak coupling limit.","lang":"eng"}],"doi":"10.1142/s0129055x2360005x","status":"public","publication_identifier":{"eissn":["1793-6659"],"issn":["0129-055X"]}},{"status":"public","publication_identifier":{"issn":["0006-8950"],"eissn":["1460-2156"]},"doi":"10.1093/brain/awad380","abstract":[{"lang":"eng","text":"The acyl-CoA-binding domain-containing protein 6 (ACBD6) is ubiquitously expressed, plays a role in the acylation of lipids and proteins, and regulates the N-myristoylation of proteins via N-myristoyltransferase enzymes (NMTs). However, its precise function in cells is still unclear, as is the consequence of ACBD6 defects on human pathophysiology. Utilizing exome sequencing and extensive international data sharing efforts, we identified 45 affected individuals from 28 unrelated families (consanguinity 93%) with bi-allelic pathogenic, predominantly loss-of-function (18/20) variants in ACBD6. We generated zebrafish and Xenopus tropicalis acbd6 knockouts by CRISPR/Cas9 and characterized the role of ACBD6 on protein N-myristoylation with YnMyr chemical proteomics in the model organisms and human cells, with the latter also being subjected further to ACBD6 peroxisomal localization studies. The affected individuals (23 males and 22 females), with ages ranging from 1 to 50 years old, typically present with a complex and progressive disease involving moderate-to-severe global developmental delay/intellectual disability (100%) with significant expressive language impairment (98%), movement disorders (97%), facial dysmorphism (95%), and mild cerebellar ataxia (85%) associated with gait impairment (94%), limb spasticity/hypertonia (76%), oculomotor (71%) and behavioural abnormalities (65%), overweight (59%), microcephaly (39%) and epilepsy (33%). The most conspicuous and common movement disorder was dystonia (94%), frequently leading to early-onset progressive postural deformities (97%), limb dystonia (55%), and cervical dystonia (31%). A jerky tremor in the upper limbs (63%), a mild head tremor (59%), parkinsonism/hypokinesia developing with advancing age (32%), and simple motor and vocal tics were among other frequent movement disorders. Midline brain malformations including corpus callosum abnormalities (70%), hypoplasia/agenesis of the anterior commissure (66%), short midbrain and small inferior cerebellar vermis (38% each), as well as hypertrophy of the clava (24%) were common neuroimaging findings. acbd6-deficient zebrafish and Xenopus models effectively recapitulated many clinical phenotypes reported in patients including movement disorders, progressive neuromotor impairment, seizures, microcephaly, craniofacial dysmorphism, and midbrain defects accompanied by developmental delay with increased mortality over time. Unlike ACBD5, ACBD6 did not show a peroxisomal localisation and ACBD6-deficiency was not associated with altered peroxisomal parameters in patient fibroblasts. Significant differences in YnMyr-labelling were observed for 68 co- and 18 post-translationally N-myristoylated proteins in patient-derived fibroblasts. N-Myristoylation was similarly affected in acbd6-deficient zebrafish and Xenopus tropicalis models, including Fus, Marcks, and Chchd-related proteins implicated in neurological diseases. The present study provides evidence that bi-allelic pathogenic variants in ACBD6 lead to a distinct neurodevelopmental syndrome accompanied by complex and progressive cognitive and movement disorders."}],"month":"11","publication_status":"epub_ahead","extern":"1","day":"10","publisher":"Oxford University Press","article_number":"awad380","article_type":"original","language":[{"iso":"eng"}],"_id":"14543","scopus_import":"1","type":"journal_article","department":[{"_id":"GradSch"}],"oa_version":"Submitted Version","date_updated":"2023-11-20T10:17:32Z","oa":1,"author":[{"full_name":"Kaiyrzhanov, Rauan","first_name":"Rauan","last_name":"Kaiyrzhanov"},{"full_name":"Rad, Aboulfazl","first_name":"Aboulfazl","last_name":"Rad"},{"first_name":"Sheng-Jia","full_name":"Lin, Sheng-Jia","last_name":"Lin"},{"first_name":"Aida","full_name":"Bertoli-Avella, Aida","last_name":"Bertoli-Avella"},{"first_name":"Wouter W","full_name":"Kallemeijn, Wouter W","last_name":"Kallemeijn"},{"last_name":"Godwin","full_name":"Godwin, Annie","first_name":"Annie"},{"last_name":"Zaki","first_name":"Maha S","full_name":"Zaki, Maha S"},{"last_name":"Huang","orcid":"0000-0002-2512-7812","full_name":"Huang, Kevin","first_name":"Kevin","id":"3b3d2888-1ff6-11ee-9fa6-8f209ca91fe3"},{"full_name":"Lau, Tracy","first_name":"Tracy","last_name":"Lau"},{"first_name":"Cassidy","full_name":"Petree, Cassidy","last_name":"Petree"},{"first_name":"Stephanie","full_name":"Efthymiou, Stephanie","last_name":"Efthymiou"},{"full_name":"Ghayoor Karimiani, Ehsan","first_name":"Ehsan","last_name":"Ghayoor Karimiani"},{"last_name":"Hempel","full_name":"Hempel, Maja","first_name":"Maja"},{"last_name":"Normand","first_name":"Elizabeth A","full_name":"Normand, Elizabeth A"},{"last_name":"Rudnik-Schöneborn","full_name":"Rudnik-Schöneborn, Sabine","first_name":"Sabine"},{"last_name":"Schatz","full_name":"Schatz, Ulrich A","first_name":"Ulrich A"},{"last_name":"Baggelaar","full_name":"Baggelaar, Marc P","first_name":"Marc P"},{"first_name":"Muhammad","full_name":"Ilyas, Muhammad","last_name":"Ilyas"},{"last_name":"Sultan","first_name":"Tipu","full_name":"Sultan, Tipu"},{"last_name":"Alvi","full_name":"Alvi, Javeria Raza","first_name":"Javeria Raza"},{"last_name":"Ganieva","full_name":"Ganieva, Manizha","first_name":"Manizha"},{"last_name":"Fowler","full_name":"Fowler, Ben","first_name":"Ben"},{"first_name":"Ruxandra","full_name":"Aanicai, Ruxandra","last_name":"Aanicai"},{"last_name":"Akay Tayfun","full_name":"Akay Tayfun, Gulsen","first_name":"Gulsen"},{"last_name":"Al Saman","first_name":"Abdulaziz","full_name":"Al Saman, Abdulaziz"},{"first_name":"Abdulrahman","full_name":"Alswaid, Abdulrahman","last_name":"Alswaid"},{"first_name":"Nafise","full_name":"Amiri, Nafise","last_name":"Amiri"},{"first_name":"Nilufar","full_name":"Asilova, Nilufar","last_name":"Asilova"},{"last_name":"Shotelersuk","full_name":"Shotelersuk, Vorasuk","first_name":"Vorasuk"},{"last_name":"Yeetong","full_name":"Yeetong, Patra","first_name":"Patra"},{"last_name":"Azam","first_name":"Matloob","full_name":"Azam, Matloob"},{"first_name":"Meisam","full_name":"Babaei, Meisam","last_name":"Babaei"},{"full_name":"Bahrami Monajemi, Gholamreza","first_name":"Gholamreza","last_name":"Bahrami Monajemi"},{"last_name":"Mohammadi","full_name":"Mohammadi, Pouria","first_name":"Pouria"},{"first_name":"Saeed","full_name":"Samie, Saeed","last_name":"Samie"},{"last_name":"Banu","full_name":"Banu, Selina Husna","first_name":"Selina Husna"},{"full_name":"Basto, Jorge Pinto","first_name":"Jorge Pinto","last_name":"Basto"},{"full_name":"Kortüm, Fanny","first_name":"Fanny","last_name":"Kortüm"},{"last_name":"Bauer","first_name":"Mislen","full_name":"Bauer, Mislen"},{"first_name":"Peter","full_name":"Bauer, Peter","last_name":"Bauer"},{"first_name":"Christian","full_name":"Beetz, Christian","last_name":"Beetz"},{"full_name":"Garshasbi, Masoud","first_name":"Masoud","last_name":"Garshasbi"},{"full_name":"Hameed Issa, Awatif","first_name":"Awatif","last_name":"Hameed Issa"},{"first_name":"Wafaa","full_name":"Eyaid, Wafaa","last_name":"Eyaid"},{"full_name":"Ahmed, Hind","first_name":"Hind","last_name":"Ahmed"},{"last_name":"Hashemi","full_name":"Hashemi, Narges","first_name":"Narges"},{"last_name":"Hassanpour","full_name":"Hassanpour, Kazem","first_name":"Kazem"},{"last_name":"Herman","full_name":"Herman, Isabella","first_name":"Isabella"},{"full_name":"Ibrohimov, Sherozjon","first_name":"Sherozjon","last_name":"Ibrohimov"},{"last_name":"Abdul-Majeed","full_name":"Abdul-Majeed, Ban A","first_name":"Ban A"},{"full_name":"Imdad, Maria","first_name":"Maria","last_name":"Imdad"},{"last_name":"Isrofilov","full_name":"Isrofilov, Maksudjon","first_name":"Maksudjon"},{"last_name":"Kaiyal","full_name":"Kaiyal, Qassem","first_name":"Qassem"},{"full_name":"Khan, Suliman","first_name":"Suliman","last_name":"Khan"},{"first_name":"Brian","full_name":"Kirmse, Brian","last_name":"Kirmse"},{"full_name":"Koster, Janet","first_name":"Janet","last_name":"Koster"},{"first_name":"Charles Marques","full_name":"Lourenço, Charles Marques","last_name":"Lourenço"},{"full_name":"Mitani, Tadahiro","first_name":"Tadahiro","last_name":"Mitani"},{"last_name":"Moldovan","full_name":"Moldovan, Oana","first_name":"Oana"},{"last_name":"Murphy","first_name":"David","full_name":"Murphy, David"},{"first_name":"Maryam","full_name":"Najafi, Maryam","last_name":"Najafi"},{"last_name":"Pehlivan","full_name":"Pehlivan, Davut","first_name":"Davut"},{"first_name":"Maria Eugenia","full_name":"Rocha, Maria Eugenia","last_name":"Rocha"},{"last_name":"Salpietro","first_name":"Vincenzo","full_name":"Salpietro, Vincenzo"},{"last_name":"Schmidts","first_name":"Miriam","full_name":"Schmidts, Miriam"},{"first_name":"Adel","full_name":"Shalata, Adel","last_name":"Shalata"},{"last_name":"Mahroum","full_name":"Mahroum, Mohammad","first_name":"Mohammad"},{"last_name":"Talbeya","first_name":"Jawabreh Kassem","full_name":"Talbeya, Jawabreh Kassem"},{"full_name":"Taylor, Robert W","first_name":"Robert W","last_name":"Taylor"},{"full_name":"Vazquez, Dayana","first_name":"Dayana","last_name":"Vazquez"},{"full_name":"Vetro, Annalisa","first_name":"Annalisa","last_name":"Vetro"},{"first_name":"Hans R","full_name":"Waterham, Hans R","last_name":"Waterham"},{"full_name":"Zaman, Mashaya","first_name":"Mashaya","last_name":"Zaman"},{"last_name":"Schrader","first_name":"Tina A","full_name":"Schrader, Tina A"},{"last_name":"Chung","full_name":"Chung, Wendy K","first_name":"Wendy K"},{"full_name":"Guerrini, Renzo","first_name":"Renzo","last_name":"Guerrini"},{"last_name":"Lupski","full_name":"Lupski, James R","first_name":"James R"},{"last_name":"Gleeson","first_name":"Joseph","full_name":"Gleeson, Joseph"},{"first_name":"Mohnish","full_name":"Suri, Mohnish","last_name":"Suri"},{"first_name":"Yalda","full_name":"Jamshidi, Yalda","last_name":"Jamshidi"},{"full_name":"Bhatia, Kailash P","first_name":"Kailash P","last_name":"Bhatia"},{"first_name":"Barbara","full_name":"Vona, Barbara","last_name":"Vona"},{"full_name":"Schrader, Michael","first_name":"Michael","last_name":"Schrader"},{"full_name":"Severino, Mariasavina","first_name":"Mariasavina","last_name":"Severino"},{"full_name":"Guille, Matthew","first_name":"Matthew","last_name":"Guille"},{"first_name":"Edward W","full_name":"Tate, Edward W","last_name":"Tate"},{"last_name":"Varshney","first_name":"Gaurav K","full_name":"Varshney, Gaurav K"},{"first_name":"Henry","full_name":"Houlden, Henry","last_name":"Houlden"},{"first_name":"Reza","full_name":"Maroofian, Reza","last_name":"Maroofian"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"R. Kaiyrzhanov, A. Rad, S.-J. Lin, A. Bertoli-Avella, W.W. Kallemeijn, A. Godwin, M.S. Zaki, K. Huang, T. Lau, C. Petree, S. Efthymiou, E. Ghayoor Karimiani, M. Hempel, E.A. Normand, S. Rudnik-Schöneborn, U.A. Schatz, M.P. Baggelaar, M. Ilyas, T. Sultan, J.R. Alvi, M. Ganieva, B. Fowler, R. Aanicai, G. Akay Tayfun, A. Al Saman, A. Alswaid, N. Amiri, N. Asilova, V. Shotelersuk, P. Yeetong, M. Azam, M. Babaei, G. Bahrami Monajemi, P. Mohammadi, S. Samie, S.H. Banu, J.P. Basto, F. Kortüm, M. Bauer, P. Bauer, C. Beetz, M. Garshasbi, A. Hameed Issa, W. Eyaid, H. Ahmed, N. Hashemi, K. Hassanpour, I. Herman, S. Ibrohimov, B.A. Abdul-Majeed, M. Imdad, M. Isrofilov, Q. Kaiyal, S. Khan, B. Kirmse, J. Koster, C.M. Lourenço, T. Mitani, O. Moldovan, D. Murphy, M. Najafi, D. Pehlivan, M.E. Rocha, V. Salpietro, M. Schmidts, A. Shalata, M. Mahroum, J.K. Talbeya, R.W. Taylor, D. Vazquez, A. Vetro, H.R. Waterham, M. Zaman, T.A. Schrader, W.K. Chung, R. Guerrini, J.R. Lupski, J. Gleeson, M. Suri, Y. Jamshidi, K.P. Bhatia, B. Vona, M. Schrader, M. Severino, M. Guille, E.W. Tate, G.K. Varshney, H. Houlden, R. Maroofian, Brain (2023).","ama":"Kaiyrzhanov R, Rad A, Lin S-J, et al. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. <i>Brain</i>. 2023. doi:<a href=\"https://doi.org/10.1093/brain/awad380\">10.1093/brain/awad380</a>","chicago":"Kaiyrzhanov, Rauan, Aboulfazl Rad, Sheng-Jia Lin, Aida Bertoli-Avella, Wouter W Kallemeijn, Annie Godwin, Maha S Zaki, et al. “Bi-Allelic ACBD6 Variants Lead to a Neurodevelopmental Syndrome with Progressive and Complex Movement Disorders.” <i>Brain</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/brain/awad380\">https://doi.org/10.1093/brain/awad380</a>.","ieee":"R. Kaiyrzhanov <i>et al.</i>, “Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders,” <i>Brain</i>. Oxford University Press, 2023.","ista":"Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.","mla":"Kaiyrzhanov, Rauan, et al. “Bi-Allelic ACBD6 Variants Lead to a Neurodevelopmental Syndrome with Progressive and Complex Movement Disorders.” <i>Brain</i>, awad380, Oxford University Press, 2023, doi:<a href=\"https://doi.org/10.1093/brain/awad380\">10.1093/brain/awad380</a>.","apa":"Kaiyrzhanov, R., Rad, A., Lin, S.-J., Bertoli-Avella, A., Kallemeijn, W. W., Godwin, A., … Maroofian, R. (2023). Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. <i>Brain</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/brain/awad380\">https://doi.org/10.1093/brain/awad380</a>"},"keyword":["Neurology (clinical)"],"title":"Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders","date_published":"2023-11-10T00:00:00Z","quality_controlled":"1","date_created":"2023-11-16T12:36:51Z","year":"2023","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/brain/awad380"}],"article_processing_charge":"No","publication":"Brain"},{"date_created":"2023-11-17T13:45:26Z","ddc":["530"],"article_processing_charge":"No","year":"2023","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"date_published":"2023-11-16T00:00:00Z","keyword":["superconductor-semiconductor","superconductivity","Al","InAs","p-wave","superconductivity","JPA","microwave"],"title":"Resonant microwave spectroscopy of Al-InAs","type":"dissertation","author":[{"last_name":"Phan","id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87","first_name":"Duc T","full_name":"Phan, Duc T"}],"oa":1,"has_accepted_license":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"chicago":"Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>.","short":"D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.","ama":"Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>","ieee":"D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.","mla":"Phan, Duc T. <i>Resonant Microwave Spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>.","apa":"Phan, D. T. (2023). <i>Resonant microwave spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>","ista":"Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria."},"file":[{"content_type":"application/pdf","date_updated":"2023-11-22T09:46:06Z","file_size":34828019,"file_name":"Phan_Thesis_pdfa.pdf","file_id":"14548","date_created":"2023-11-17T13:36:44Z","access_level":"open_access","creator":"pduc","checksum":"db0c37d213bc002125bd59690e9db246","relation":"main_file"},{"file_name":"dissertation_src.zip","file_size":279319709,"date_updated":"2023-11-17T13:47:54Z","content_type":"application/zip","access_level":"closed","date_created":"2023-11-17T13:44:53Z","file_id":"14549","relation":"source_file","checksum":"8d3bd6afa279a0078ffd13e06bb6d56d","creator":"pduc"}],"department":[{"_id":"GradSch"},{"_id":"AnHi"}],"oa_version":"Published Version","date_updated":"2023-11-30T10:56:04Z","_id":"14547","file_date_updated":"2023-11-22T09:46:06Z","page":"80","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Higginbotham","orcid":"0000-0003-2607-2363","first_name":"Andrew P","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","full_name":"Higginbotham, Andrew P"}],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"10851"},{"id":"13264","relation":"part_of_dissertation","status":"public"}]},"month":"11","alternative_title":["ISTA Thesis"],"day":"16","publication_status":"published","publication_identifier":{"issn":["2663 - 337X"]},"status":"public","degree_awarded":"PhD","doi":"10.15479/14547","abstract":[{"lang":"eng","text":"Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation.\r\nDespite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood.\r\n\r\nIn this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. \r\nThe second focuses on a technological application, a gate-tunable Josephson parametric amplifier.\r\n\r\nIn the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well.\r\nWe embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance.\r\nThe behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \\pm ip$ pairing in InAs.\r\nMeasuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory.\r\nWe observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory.\r\nIn contrast, the data can be captured quantitatively by fitting to a two-component model.\r\nWe find the evidence of the intraband $p \\pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\\mathrm{T}$.\r\nFrom the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined.\r\nBy systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle.\r\nStrong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data.\r\n\r\nIn the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element.\r\nThe device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator.\r\nBy applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz.\r\nModelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage.\r\nWe observed gate-tunable Kerr nonlinearity qualitatively in line with expectation.\r\nThe JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency.\r\nIn general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared.\r\nThe noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier.\r\nAs a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account.\r\nWe found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier."}],"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"Bio"}]},{"type":"journal_article","file":[{"creator":"dernst","checksum":"101fdac59e6f1102d68ef91f2b5bd51a","relation":"main_file","date_updated":"2023-11-20T11:22:52Z","content_type":"application/pdf","file_size":5587897,"file_name":"2023_CellSystems_Briffa.pdf","file_id":"14580","date_created":"2023-11-20T11:22:52Z","success":1,"access_level":"open_access"}],"department":[{"_id":"DaZi"}],"oa_version":"Published Version","date_updated":"2023-11-20T11:24:34Z","author":[{"first_name":"Amy","full_name":"Briffa, Amy","last_name":"Briffa"},{"last_name":"Hollwey","id":"b8c4f54b-e484-11eb-8fdc-a54df64ef6dd","first_name":"Elizabeth","full_name":"Hollwey, Elizabeth"},{"last_name":"Shahzad","full_name":"Shahzad, Zaigham","first_name":"Zaigham"},{"last_name":"Moore","first_name":"Jonathan D.","full_name":"Moore, Jonathan D."},{"last_name":"Lyons","full_name":"Lyons, David B.","first_name":"David B."},{"full_name":"Howard, Martin","first_name":"Martin","last_name":"Howard"},{"orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","first_name":"Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","last_name":"Zilberman"}],"oa":1,"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"A. Briffa <i>et al.</i>, “Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations,” <i>Cell Systems</i>, vol. 14, no. 11. Elsevier, pp. 953–967, 2023.","short":"A. Briffa, E. Hollwey, Z. Shahzad, J.D. Moore, D.B. Lyons, M. Howard, D. Zilberman, Cell Systems 14 (2023) 953–967.","ama":"Briffa A, Hollwey E, Shahzad Z, et al. Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations. <i>Cell Systems</i>. 2023;14(11):953-967. doi:<a href=\"https://doi.org/10.1016/j.cels.2023.10.007\">10.1016/j.cels.2023.10.007</a>","chicago":"Briffa, Amy, Elizabeth Hollwey, Zaigham Shahzad, Jonathan D. Moore, David B. Lyons, Martin Howard, and Daniel Zilberman. “Millennia-Long Epigenetic Fluctuations Generate Intragenic DNA Methylation Variance in Arabidopsis Populations.” <i>Cell Systems</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.cels.2023.10.007\">https://doi.org/10.1016/j.cels.2023.10.007</a>.","ista":"Briffa A, Hollwey E, Shahzad Z, Moore JD, Lyons DB, Howard M, Zilberman D. 2023. Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations. Cell Systems. 14(11), 953–967.","apa":"Briffa, A., Hollwey, E., Shahzad, Z., Moore, J. D., Lyons, D. B., Howard, M., &#38; Zilberman, D. (2023). Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations. <i>Cell Systems</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cels.2023.10.007\">https://doi.org/10.1016/j.cels.2023.10.007</a>","mla":"Briffa, Amy, et al. “Millennia-Long Epigenetic Fluctuations Generate Intragenic DNA Methylation Variance in Arabidopsis Populations.” <i>Cell Systems</i>, vol. 14, no. 11, Elsevier, 2023, pp. 953–67, doi:<a href=\"https://doi.org/10.1016/j.cels.2023.10.007\">10.1016/j.cels.2023.10.007</a>."},"_id":"14551","external_id":{"pmid":["37944515"]},"scopus_import":"1","file_date_updated":"2023-11-20T11:22:52Z","date_created":"2023-11-19T23:00:54Z","ddc":["570"],"year":"2023","article_processing_charge":"Yes (via OA deal)","volume":14,"publication":"Cell Systems","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2023-11-15T00:00:00Z","title":"Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations","project":[{"grant_number":"725746","name":"Quantitative analysis of DNA methylation maintenance with chromatin","call_identifier":"H2020","_id":"62935a00-2b32-11ec-9570-eff30fa39068"}],"quality_controlled":"1","month":"11","acknowledgement":"We would like to thank Xiaoqi Feng, Ander Movilla Miangolarra, and Suzanne de Bruijn for discussions. This work was supported by BBSRC Institute Strategic Programme GEN (BB/P013511/1) to M.H. and D.Z. and by a European Research Council grant MaintainMeth (725746) to D.Z.","publication_status":"published","ec_funded":1,"day":"15","pmid":1,"status":"public","publication_identifier":{"eissn":["2405-4720"],"issn":["2405-4712"]},"issue":"11","abstract":[{"lang":"eng","text":"Methylation of CG dinucleotides (mCGs), which regulates eukaryotic genome functions, is epigenetically propagated by Dnmt1/MET1 methyltransferases. How mCG is established and transmitted across generations despite imperfect enzyme fidelity is unclear. Whether mCG variation in natural populations is governed by genetic or epigenetic inheritance also remains mysterious. Here, we show that MET1 de novo activity, which is enhanced by existing proximate methylation, seeds and stabilizes mCG in Arabidopsis thaliana genes. MET1 activity is restricted by active demethylation and suppressed by histone variant H2A.Z, producing localized mCG patterns. Based on these observations, we develop a stochastic mathematical model that precisely recapitulates mCG inheritance dynamics and predicts intragenic mCG patterns and their population-scale variation given only CG site spacing. Our results demonstrate that intragenic mCG establishment, inheritance, and variance constitute a unified epigenetic process, revealing that intragenic mCG undergoes large, millennia-long epigenetic fluctuations and can therefore mediate evolution on this timescale."}],"doi":"10.1016/j.cels.2023.10.007","intvolume":"        14","page":"953-967","article_type":"original","language":[{"iso":"eng"}],"publisher":"Elsevier"},{"date_created":"2023-11-19T23:00:54Z","year":"2023","volume":382,"article_processing_charge":"No","publication":"Science","date_published":"2023-11-09T00:00:00Z","title":"Plant size, latitude, and phylogeny explain within-population variability in herbivory","quality_controlled":"1","type":"journal_article","department":[{"_id":"NiBa"}],"oa_version":"None","date_updated":"2023-11-20T11:17:34Z","author":[{"full_name":"Robinson, M. L.","first_name":"M. L.","last_name":"Robinson"},{"full_name":"Hahn, P. G.","first_name":"P. G.","last_name":"Hahn"},{"last_name":"Inouye","full_name":"Inouye, B. D.","first_name":"B. D."},{"last_name":"Underwood","first_name":"N.","full_name":"Underwood, N."},{"first_name":"S. R.","full_name":"Whitehead, S. R.","last_name":"Whitehead"},{"last_name":"Abbott","full_name":"Abbott, K. C.","first_name":"K. C."},{"first_name":"E. M.","full_name":"Bruna, E. M.","last_name":"Bruna"},{"full_name":"Cacho, N. I.","first_name":"N. I.","last_name":"Cacho"},{"last_name":"Dyer","first_name":"L. A.","full_name":"Dyer, L. A."},{"last_name":"Abdala-Roberts","first_name":"L.","full_name":"Abdala-Roberts, L."},{"first_name":"W. J.","full_name":"Allen, W. J.","last_name":"Allen"},{"last_name":"Andrade","full_name":"Andrade, J. F.","first_name":"J. F."},{"last_name":"Angulo","first_name":"D. F.","full_name":"Angulo, D. F."},{"first_name":"D.","full_name":"Anjos, D.","last_name":"Anjos"},{"last_name":"Anstett","full_name":"Anstett, D. N.","first_name":"D. N."},{"first_name":"R.","full_name":"Bagchi, R.","last_name":"Bagchi"},{"last_name":"Bagchi","full_name":"Bagchi, S.","first_name":"S."},{"full_name":"Barbosa, M.","first_name":"M.","last_name":"Barbosa"},{"last_name":"Barrett","full_name":"Barrett, S.","first_name":"S."},{"orcid":"0000-0002-7354-8574","first_name":"Carina","full_name":"Baskett, Carina","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87","last_name":"Baskett"},{"first_name":"E.","full_name":"Ben-Simchon, E.","last_name":"Ben-Simchon"},{"last_name":"Bloodworth","first_name":"K. J.","full_name":"Bloodworth, K. J."},{"first_name":"J. L.","full_name":"Bronstein, J. L.","last_name":"Bronstein"},{"last_name":"Buckley","first_name":"Y. M.","full_name":"Buckley, Y. M."},{"full_name":"Burghardt, K. T.","first_name":"K. T.","last_name":"Burghardt"},{"first_name":"C.","full_name":"Bustos-Segura, C.","last_name":"Bustos-Segura"},{"full_name":"Calixto, E. S.","first_name":"E. S.","last_name":"Calixto"},{"first_name":"R. L.","full_name":"Carvalho, R. L.","last_name":"Carvalho"},{"last_name":"Castagneyrol","full_name":"Castagneyrol, B.","first_name":"B."},{"full_name":"Chiuffo, M. C.","first_name":"M. C.","last_name":"Chiuffo"},{"full_name":"Cinoğlu, D.","first_name":"D.","last_name":"Cinoğlu"},{"full_name":"Cinto Mejía, E.","first_name":"E.","last_name":"Cinto Mejía"},{"full_name":"Cock, M. C.","first_name":"M. C.","last_name":"Cock"},{"last_name":"Cogni","first_name":"R.","full_name":"Cogni, R."},{"first_name":"O. L.","full_name":"Cope, O. L.","last_name":"Cope"},{"last_name":"Cornelissen","first_name":"T.","full_name":"Cornelissen, T."},{"full_name":"Cortez, D. R.","first_name":"D. R.","last_name":"Cortez"},{"last_name":"Crowder","first_name":"D. W.","full_name":"Crowder, D. W."},{"last_name":"Dallstream","full_name":"Dallstream, C.","first_name":"C."},{"full_name":"Dáttilo, W.","first_name":"W.","last_name":"Dáttilo"},{"first_name":"J. K.","full_name":"Davis, J. K.","last_name":"Davis"},{"full_name":"Dimarco, R. D.","first_name":"R. D.","last_name":"Dimarco"},{"last_name":"Dole","first_name":"H. E.","full_name":"Dole, H. E."},{"first_name":"I. N.","full_name":"Egbon, I. N.","last_name":"Egbon"},{"first_name":"M.","full_name":"Eisenring, M.","last_name":"Eisenring"},{"first_name":"A.","full_name":"Ejomah, A.","last_name":"Ejomah"},{"first_name":"B. D.","full_name":"Elderd, B. D.","last_name":"Elderd"},{"first_name":"M. J.","full_name":"Endara, M. J.","last_name":"Endara"},{"last_name":"Eubanks","first_name":"M. D.","full_name":"Eubanks, M. D."},{"first_name":"S. E.","full_name":"Everingham, S. E.","last_name":"Everingham"},{"full_name":"Farah, K. N.","first_name":"K. N.","last_name":"Farah"},{"last_name":"Farias","full_name":"Farias, R. P.","first_name":"R. P."},{"last_name":"Fernandes","first_name":"A. P.","full_name":"Fernandes, A. P."},{"first_name":"G. W.","full_name":"Fernandes, G. W.","last_name":"Fernandes"},{"full_name":"Ferrante, M.","first_name":"M.","last_name":"Ferrante"},{"last_name":"Finn","first_name":"A.","full_name":"Finn, A."},{"last_name":"Florjancic","first_name":"G. A.","full_name":"Florjancic, G. A."},{"last_name":"Forister","first_name":"M. L.","full_name":"Forister, M. L."},{"last_name":"Fox","first_name":"Q. N.","full_name":"Fox, Q. N."},{"first_name":"E.","full_name":"Frago, E.","last_name":"Frago"},{"full_name":"França, F. M.","first_name":"F. M.","last_name":"França"},{"full_name":"Getman-Pickering, A. S.","first_name":"A. S.","last_name":"Getman-Pickering"},{"full_name":"Getman-Pickering, Z.","first_name":"Z.","last_name":"Getman-Pickering"},{"full_name":"Gianoli, E.","first_name":"E.","last_name":"Gianoli"},{"last_name":"Gooden","first_name":"B.","full_name":"Gooden, B."},{"last_name":"Gossner","full_name":"Gossner, M. M.","first_name":"M. M."},{"full_name":"Greig, K. A.","first_name":"K. A.","last_name":"Greig"},{"first_name":"S.","full_name":"Gripenberg, S.","last_name":"Gripenberg"},{"last_name":"Groenteman","first_name":"R.","full_name":"Groenteman, R."},{"first_name":"P.","full_name":"Grof-Tisza, P.","last_name":"Grof-Tisza"},{"first_name":"N.","full_name":"Haack, N.","last_name":"Haack"},{"last_name":"Hahn","full_name":"Hahn, L.","first_name":"L."},{"full_name":"Haq, S. M.","first_name":"S. M.","last_name":"Haq"},{"full_name":"Helms, A. M.","first_name":"A. M.","last_name":"Helms"},{"last_name":"Hennecke","first_name":"J.","full_name":"Hennecke, J."},{"last_name":"Hermann","first_name":"S. L.","full_name":"Hermann, S. L."},{"last_name":"Holeski","full_name":"Holeski, L. M.","first_name":"L. M."},{"last_name":"Holm","first_name":"S.","full_name":"Holm, S."},{"last_name":"Hutchinson","first_name":"M. C.","full_name":"Hutchinson, M. C."},{"last_name":"Jackson","first_name":"E. E.","full_name":"Jackson, E. E."},{"last_name":"Kagiya","first_name":"S.","full_name":"Kagiya, S."},{"full_name":"Kalske, A.","first_name":"A.","last_name":"Kalske"},{"last_name":"Kalwajtys","first_name":"M.","full_name":"Kalwajtys, M."},{"last_name":"Karban","full_name":"Karban, R.","first_name":"R."},{"last_name":"Kariyat","full_name":"Kariyat, R.","first_name":"R."},{"last_name":"Keasar","first_name":"T.","full_name":"Keasar, T."},{"first_name":"M. F.","full_name":"Kersch-Becker, M. F.","last_name":"Kersch-Becker"},{"last_name":"Kharouba","first_name":"H. M.","full_name":"Kharouba, H. M."},{"last_name":"Kim","first_name":"T. N.","full_name":"Kim, T. N."},{"full_name":"Kimuyu, D. M.","first_name":"D. M.","last_name":"Kimuyu"},{"full_name":"Kluse, J.","first_name":"J.","last_name":"Kluse"},{"last_name":"Koerner","full_name":"Koerner, S. E.","first_name":"S. E."},{"last_name":"Komatsu","first_name":"K. J.","full_name":"Komatsu, K. J."},{"full_name":"Krishnan, S.","first_name":"S.","last_name":"Krishnan"},{"first_name":"M.","full_name":"Laihonen, M.","last_name":"Laihonen"},{"last_name":"Lamelas-López","first_name":"L.","full_name":"Lamelas-López, L."},{"full_name":"Lascaleia, M. C.","first_name":"M. C.","last_name":"Lascaleia"},{"last_name":"Lecomte","first_name":"N.","full_name":"Lecomte, N."},{"last_name":"Lehn","full_name":"Lehn, C. R.","first_name":"C. R."},{"first_name":"X.","full_name":"Li, X.","last_name":"Li"},{"full_name":"Lindroth, R. L.","first_name":"R. L.","last_name":"Lindroth"},{"first_name":"E. F.","full_name":"Lopresti, E. F.","last_name":"Lopresti"},{"last_name":"Losada","first_name":"M.","full_name":"Losada, M."},{"last_name":"Louthan","full_name":"Louthan, A. M.","first_name":"A. M."},{"last_name":"Luizzi","full_name":"Luizzi, V. J.","first_name":"V. J."},{"first_name":"S. C.","full_name":"Lynch, S. C.","last_name":"Lynch"},{"full_name":"Lynn, J. S.","first_name":"J. S.","last_name":"Lynn"},{"full_name":"Lyon, N. J.","first_name":"N. J.","last_name":"Lyon"},{"last_name":"Maia","first_name":"L. F.","full_name":"Maia, L. F."},{"full_name":"Maia, R. A.","first_name":"R. A.","last_name":"Maia"},{"full_name":"Mannall, T. L.","first_name":"T. L.","last_name":"Mannall"},{"last_name":"Martin","first_name":"B. S.","full_name":"Martin, B. S."},{"full_name":"Massad, T. J.","first_name":"T. J.","last_name":"Massad"},{"last_name":"Mccall","first_name":"A. C.","full_name":"Mccall, A. C."},{"last_name":"Mcgurrin","first_name":"K.","full_name":"Mcgurrin, K."},{"full_name":"Merwin, A. C.","first_name":"A. C.","last_name":"Merwin"},{"last_name":"Mijango-Ramos","first_name":"Z.","full_name":"Mijango-Ramos, Z."},{"last_name":"Mills","full_name":"Mills, C. H.","first_name":"C. H."},{"first_name":"A. T.","full_name":"Moles, A. T.","last_name":"Moles"},{"last_name":"Moore","first_name":"C. M.","full_name":"Moore, C. M."},{"full_name":"Moreira, X.","first_name":"X.","last_name":"Moreira"},{"last_name":"Morrison","full_name":"Morrison, C. R.","first_name":"C. R."},{"first_name":"M. C.","full_name":"Moshobane, M. C.","last_name":"Moshobane"},{"first_name":"A.","full_name":"Muola, A.","last_name":"Muola"},{"last_name":"Nakadai","full_name":"Nakadai, R.","first_name":"R."},{"last_name":"Nakajima","first_name":"K.","full_name":"Nakajima, K."},{"full_name":"Novais, S.","first_name":"S.","last_name":"Novais"},{"full_name":"Ogbebor, C. O.","first_name":"C. O.","last_name":"Ogbebor"},{"full_name":"Ohsaki, H.","first_name":"H.","last_name":"Ohsaki"},{"full_name":"Pan, V. S.","first_name":"V. S.","last_name":"Pan"},{"full_name":"Pardikes, N. A.","first_name":"N. A.","last_name":"Pardikes"},{"last_name":"Pareja","full_name":"Pareja, M.","first_name":"M."},{"first_name":"N.","full_name":"Parthasarathy, N.","last_name":"Parthasarathy"},{"last_name":"Pawar","first_name":"R. R.","full_name":"Pawar, R. R."},{"full_name":"Paynter, Q.","first_name":"Q.","last_name":"Paynter"},{"last_name":"Pearse","first_name":"I. S.","full_name":"Pearse, I. S."},{"full_name":"Penczykowski, R. M.","first_name":"R. M.","last_name":"Penczykowski"},{"last_name":"Pepi","full_name":"Pepi, A. A.","first_name":"A. A."},{"first_name":"C. C.","full_name":"Pereira, C. C.","last_name":"Pereira"},{"full_name":"Phartyal, S. S.","first_name":"S. S.","last_name":"Phartyal"},{"last_name":"Piper","full_name":"Piper, F. I.","first_name":"F. I."},{"full_name":"Poveda, K.","first_name":"K.","last_name":"Poveda"},{"last_name":"Pringle","full_name":"Pringle, E. G.","first_name":"E. G."},{"last_name":"Puy","full_name":"Puy, J.","first_name":"J."},{"full_name":"Quijano, T.","first_name":"T.","last_name":"Quijano"},{"last_name":"Quintero","full_name":"Quintero, C.","first_name":"C."},{"first_name":"S.","full_name":"Rasmann, S.","last_name":"Rasmann"},{"last_name":"Rosche","first_name":"C.","full_name":"Rosche, C."},{"first_name":"L. Y.","full_name":"Rosenheim, L. Y.","last_name":"Rosenheim"},{"last_name":"Rosenheim","first_name":"J. A.","full_name":"Rosenheim, J. A."},{"last_name":"Runyon","full_name":"Runyon, J. B.","first_name":"J. B."},{"last_name":"Sadeh","first_name":"A.","full_name":"Sadeh, A."},{"last_name":"Sakata","first_name":"Y.","full_name":"Sakata, Y."},{"first_name":"D. M.","full_name":"Salcido, D. M.","last_name":"Salcido"},{"last_name":"Salgado-Luarte","first_name":"C.","full_name":"Salgado-Luarte, C."},{"first_name":"B. A.","full_name":"Santos, B. A.","last_name":"Santos"},{"last_name":"Sapir","first_name":"Y.","full_name":"Sapir, Y."},{"last_name":"Sasal","first_name":"Y.","full_name":"Sasal, Y."},{"last_name":"Sato","full_name":"Sato, Y.","first_name":"Y."},{"first_name":"M.","full_name":"Sawant, M.","last_name":"Sawant"},{"last_name":"Schroeder","full_name":"Schroeder, H.","first_name":"H."},{"full_name":"Schumann, I.","first_name":"I.","last_name":"Schumann"},{"last_name":"Segoli","full_name":"Segoli, M.","first_name":"M."},{"first_name":"H.","full_name":"Segre, H.","last_name":"Segre"},{"last_name":"Shelef","full_name":"Shelef, O.","first_name":"O."},{"last_name":"Shinohara","first_name":"N.","full_name":"Shinohara, N."},{"last_name":"Singh","first_name":"R. P.","full_name":"Singh, R. P."},{"last_name":"Smith","full_name":"Smith, D. S.","first_name":"D. S."},{"first_name":"M.","full_name":"Sobral, M.","last_name":"Sobral"},{"last_name":"Stotz","first_name":"G. C.","full_name":"Stotz, G. C."},{"last_name":"Tack","full_name":"Tack, A. J.M.","first_name":"A. J.M."},{"first_name":"M.","full_name":"Tayal, M.","last_name":"Tayal"},{"full_name":"Tooker, J. F.","first_name":"J. F.","last_name":"Tooker"},{"full_name":"Torrico-Bazoberry, D.","first_name":"D.","last_name":"Torrico-Bazoberry"},{"last_name":"Tougeron","first_name":"K.","full_name":"Tougeron, K."},{"first_name":"A. M.","full_name":"Trowbridge, A. M.","last_name":"Trowbridge"},{"full_name":"Utsumi, S.","first_name":"S.","last_name":"Utsumi"},{"first_name":"O.","full_name":"Uyi, O.","last_name":"Uyi"},{"last_name":"Vaca-Uribe","first_name":"J. L.","full_name":"Vaca-Uribe, J. L."},{"first_name":"A.","full_name":"Valtonen, A.","last_name":"Valtonen"},{"full_name":"Van Dijk, L. J.A.","first_name":"L. J.A.","last_name":"Van Dijk"},{"full_name":"Vandvik, V.","first_name":"V.","last_name":"Vandvik"},{"first_name":"J.","full_name":"Villellas, J.","last_name":"Villellas"},{"last_name":"Waller","first_name":"L. P.","full_name":"Waller, L. P."},{"last_name":"Weber","first_name":"M. G.","full_name":"Weber, M. G."},{"last_name":"Yamawo","full_name":"Yamawo, A.","first_name":"A."},{"full_name":"Yim, S.","first_name":"S.","last_name":"Yim"},{"last_name":"Zarnetske","first_name":"P. L.","full_name":"Zarnetske, P. L."},{"last_name":"Zehr","full_name":"Zehr, L. N.","first_name":"L. N."},{"last_name":"Zhong","first_name":"Z.","full_name":"Zhong, Z."},{"first_name":"W. C.","full_name":"Wetzel, W. C.","last_name":"Wetzel"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Robinson, M. L., P. G. Hahn, B. D. Inouye, N. Underwood, S. R. Whitehead, K. C. Abbott, E. M. Bruna, et al. “Plant Size, Latitude, and Phylogeny Explain within-Population Variability in Herbivory.” <i>Science</i>. AAAS, 2023. <a href=\"https://doi.org/10.1126/science.adh8830\">https://doi.org/10.1126/science.adh8830</a>.","short":"M.L. Robinson, P.G. Hahn, B.D. Inouye, N. Underwood, S.R. Whitehead, K.C. Abbott, E.M. Bruna, N.I. Cacho, L.A. Dyer, L. Abdala-Roberts, W.J. Allen, J.F. Andrade, D.F. Angulo, D. Anjos, D.N. Anstett, R. Bagchi, S. Bagchi, M. Barbosa, S. Barrett, C. Baskett, E. Ben-Simchon, K.J. Bloodworth, J.L. Bronstein, Y.M. Buckley, K.T. Burghardt, C. Bustos-Segura, E.S. Calixto, R.L. Carvalho, B. Castagneyrol, M.C. Chiuffo, D. Cinoğlu, E. Cinto Mejía, M.C. Cock, R. Cogni, O.L. Cope, T. Cornelissen, D.R. Cortez, D.W. Crowder, C. Dallstream, W. Dáttilo, J.K. Davis, R.D. Dimarco, H.E. Dole, I.N. Egbon, M. Eisenring, A. Ejomah, B.D. Elderd, M.J. Endara, M.D. Eubanks, S.E. Everingham, K.N. Farah, R.P. Farias, A.P. Fernandes, G.W. Fernandes, M. Ferrante, A. Finn, G.A. Florjancic, M.L. Forister, Q.N. Fox, E. Frago, F.M. França, A.S. Getman-Pickering, Z. Getman-Pickering, E. Gianoli, B. Gooden, M.M. Gossner, K.A. Greig, S. Gripenberg, R. Groenteman, P. Grof-Tisza, N. Haack, L. Hahn, S.M. Haq, A.M. Helms, J. Hennecke, S.L. Hermann, L.M. Holeski, S. Holm, M.C. Hutchinson, E.E. Jackson, S. Kagiya, A. Kalske, M. Kalwajtys, R. Karban, R. Kariyat, T. Keasar, M.F. Kersch-Becker, H.M. Kharouba, T.N. Kim, D.M. Kimuyu, J. Kluse, S.E. Koerner, K.J. Komatsu, S. Krishnan, M. Laihonen, L. Lamelas-López, M.C. Lascaleia, N. Lecomte, C.R. Lehn, X. Li, R.L. Lindroth, E.F. Lopresti, M. Losada, A.M. Louthan, V.J. Luizzi, S.C. Lynch, J.S. Lynn, N.J. Lyon, L.F. Maia, R.A. Maia, T.L. Mannall, B.S. Martin, T.J. Massad, A.C. Mccall, K. Mcgurrin, A.C. Merwin, Z. Mijango-Ramos, C.H. Mills, A.T. Moles, C.M. Moore, X. Moreira, C.R. Morrison, M.C. Moshobane, A. Muola, R. Nakadai, K. Nakajima, S. Novais, C.O. Ogbebor, H. Ohsaki, V.S. Pan, N.A. Pardikes, M. Pareja, N. Parthasarathy, R.R. Pawar, Q. Paynter, I.S. Pearse, R.M. Penczykowski, A.A. Pepi, C.C. Pereira, S.S. Phartyal, F.I. Piper, K. Poveda, E.G. Pringle, J. Puy, T. Quijano, C. Quintero, S. Rasmann, C. Rosche, L.Y. Rosenheim, J.A. Rosenheim, J.B. Runyon, A. Sadeh, Y. Sakata, D.M. Salcido, C. Salgado-Luarte, B.A. Santos, Y. Sapir, Y. Sasal, Y. Sato, M. Sawant, H. Schroeder, I. Schumann, M. Segoli, H. Segre, O. Shelef, N. Shinohara, R.P. Singh, D.S. Smith, M. Sobral, G.C. Stotz, A.J.M. Tack, M. Tayal, J.F. Tooker, D. Torrico-Bazoberry, K. Tougeron, A.M. Trowbridge, S. Utsumi, O. Uyi, J.L. Vaca-Uribe, A. Valtonen, L.J.A. Van Dijk, V. Vandvik, J. Villellas, L.P. Waller, M.G. Weber, A. Yamawo, S. Yim, P.L. Zarnetske, L.N. Zehr, Z. Zhong, W.C. Wetzel, Science 382 (2023) 679–683.","ama":"Robinson ML, Hahn PG, Inouye BD, et al. Plant size, latitude, and phylogeny explain within-population variability in herbivory. <i>Science</i>. 2023;382(6671):679-683. doi:<a href=\"https://doi.org/10.1126/science.adh8830\">10.1126/science.adh8830</a>","ieee":"M. L. Robinson <i>et al.</i>, “Plant size, latitude, and phylogeny explain within-population variability in herbivory,” <i>Science</i>, vol. 382, no. 6671. AAAS, pp. 679–683, 2023.","mla":"Robinson, M. L., et al. “Plant Size, Latitude, and Phylogeny Explain within-Population Variability in Herbivory.” <i>Science</i>, vol. 382, no. 6671, AAAS, 2023, pp. 679–83, doi:<a href=\"https://doi.org/10.1126/science.adh8830\">10.1126/science.adh8830</a>.","apa":"Robinson, M. L., Hahn, P. G., Inouye, B. D., Underwood, N., Whitehead, S. R., Abbott, K. C., … Wetzel, W. C. (2023). Plant size, latitude, and phylogeny explain within-population variability in herbivory. <i>Science</i>. AAAS. <a href=\"https://doi.org/10.1126/science.adh8830\">https://doi.org/10.1126/science.adh8830</a>","ista":"Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683."},"_id":"14552","external_id":{"pmid":["37943897"]},"scopus_import":"1","intvolume":"       382","page":"679-683","article_type":"original","language":[{"iso":"eng"}],"publisher":"AAAS","month":"11","related_material":{"record":[{"status":"public","id":"14579","relation":"research_data"}]},"acknowledgement":"The authors acknowledge funding for central project coordination from NSF Research Coordination Network grant DEB-2203582; the Ecology, Evolution, and Behavior Program at Michigan State University; and AgBioResearch at Michigan State University. Site-specific funding is listed in the supplementary materials.","publication_status":"published","day":"09","pmid":1,"status":"public","publication_identifier":{"eissn":["1095-9203"]},"issue":"6671","abstract":[{"text":"Interactions between plants and herbivores are central in most ecosystems, but their strength is highly variable. The amount of variability within a system is thought to influence most aspects of plant-herbivore biology, from ecological stability to plant defense evolution. Our understanding of what influences variability, however, is limited by sparse data. We collected standardized surveys of herbivory for 503 plant species at 790 sites across 116° of latitude. With these data, we show that within-population variability in herbivory increases with latitude, decreases with plant size, and is phylogenetically structured. Differences in the magnitude of variability are thus central to how plant-herbivore biology varies across macroscale gradients. We argue that increased focus on interaction variability will advance understanding of patterns of life on Earth.","lang":"eng"}],"doi":"10.1126/science.adh8830"},{"status":"public","publication_identifier":{"issn":["2469-9926"],"eissn":["2469-9934"]},"issue":"4","abstract":[{"lang":"eng","text":"Quantum state tomography is an essential component of modern quantum technology. In application to continuous-variable harmonic-oscillator systems, such as the electromagnetic field, existing tomography methods typically reconstruct the state in discrete bases, and are hence limited to states with relatively low amplitudes and energies. Here, we overcome this limitation by utilizing a feed-forward neural network to obtain the density matrix directly in the continuous position basis. An important benefit of our approach is the ability to choose specific regions in the phase space for detailed reconstruction. This results in a relatively slow scaling of the amount of resources required for the reconstruction with the state amplitude, and hence allows us to dramatically increase the range of amplitudes accessible with our method."}],"doi":"10.1103/PhysRevA.108.042430","month":"10","publication_status":"published","day":"30","publisher":"American Physical Society","intvolume":"       108","article_number":"042430","article_type":"original","arxiv":1,"language":[{"iso":"eng"}],"_id":"14553","external_id":{"arxiv":["2212.07406"]},"scopus_import":"1","type":"journal_article","department":[{"_id":"JoFi"}],"oa_version":"Preprint","date_updated":"2023-11-20T10:26:51Z","author":[{"orcid":"0000-0001-7242-015X","full_name":"Fedotova, Ekaterina","id":"c1bea5e1-878e-11ee-9dff-d7404e4422ab","first_name":"Ekaterina","last_name":"Fedotova"},{"full_name":"Kuznetsov, Nikolai","first_name":"Nikolai","last_name":"Kuznetsov"},{"first_name":"Egor","full_name":"Tiunov, Egor","last_name":"Tiunov"},{"first_name":"A. E.","full_name":"Ulanov, A. E.","last_name":"Ulanov"},{"last_name":"Lvovsky","full_name":"Lvovsky, A. I.","first_name":"A. I."}],"oa":1,"citation":{"ista":"Fedotova E, Kuznetsov N, Tiunov E, Ulanov AE, Lvovsky AI. 2023. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 108(4), 042430.","apa":"Fedotova, E., Kuznetsov, N., Tiunov, E., Ulanov, A. E., &#38; Lvovsky, A. I. (2023). Continuous-variable quantum tomography of high-amplitude states. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.108.042430\">https://doi.org/10.1103/PhysRevA.108.042430</a>","mla":"Fedotova, Ekaterina, et al. “Continuous-Variable Quantum Tomography of High-Amplitude States.” <i>Physical Review A</i>, vol. 108, no. 4, 042430, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevA.108.042430\">10.1103/PhysRevA.108.042430</a>.","ieee":"E. Fedotova, N. Kuznetsov, E. Tiunov, A. E. Ulanov, and A. I. Lvovsky, “Continuous-variable quantum tomography of high-amplitude states,” <i>Physical Review A</i>, vol. 108, no. 4. American Physical Society, 2023.","ama":"Fedotova E, Kuznetsov N, Tiunov E, Ulanov AE, Lvovsky AI. Continuous-variable quantum tomography of high-amplitude states. <i>Physical Review A</i>. 2023;108(4). doi:<a href=\"https://doi.org/10.1103/PhysRevA.108.042430\">10.1103/PhysRevA.108.042430</a>","short":"E. Fedotova, N. Kuznetsov, E. Tiunov, A.E. Ulanov, A.I. Lvovsky, Physical Review A 108 (2023).","chicago":"Fedotova, Ekaterina, Nikolai Kuznetsov, Egor Tiunov, A. E. Ulanov, and A. I. Lvovsky. “Continuous-Variable Quantum Tomography of High-Amplitude States.” <i>Physical Review A</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevA.108.042430\">https://doi.org/10.1103/PhysRevA.108.042430</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2023-10-30T00:00:00Z","title":"Continuous-variable quantum tomography of high-amplitude states","quality_controlled":"1","date_created":"2023-11-19T23:00:54Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2212.07406","open_access":"1"}],"year":"2023","volume":108,"article_processing_charge":"No","publication":"Physical Review A"},{"ddc":["510"],"date_created":"2023-11-19T23:00:55Z","publication":"ESAIM: Mathematical Modelling and Numerical Analysis","volume":57,"article_processing_charge":"Yes (in subscription journal)","year":"2023","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"quality_controlled":"1","project":[{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"title":"The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime","date_published":"2023-09-01T00:00:00Z","type":"journal_article","has_accepted_license":"1","citation":{"ista":"Cornalba F, Shardlow T. 2023. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 57(5), 3061–3090.","mla":"Cornalba, Federico, and Tony Shardlow. “The Regularised Inertial Dean’ Kawasaki Equation: Discontinuous Galerkin Approximation and Modelling for Low-Density Regime.” <i>ESAIM: Mathematical Modelling and Numerical Analysis</i>, vol. 57, no. 5, EDP Sciences, 2023, pp. 3061–90, doi:<a href=\"https://doi.org/10.1051/m2an/2023077\">10.1051/m2an/2023077</a>.","apa":"Cornalba, F., &#38; Shardlow, T. (2023). The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. <i>ESAIM: Mathematical Modelling and Numerical Analysis</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/m2an/2023077\">https://doi.org/10.1051/m2an/2023077</a>","ieee":"F. Cornalba and T. Shardlow, “The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime,” <i>ESAIM: Mathematical Modelling and Numerical Analysis</i>, vol. 57, no. 5. EDP Sciences, pp. 3061–3090, 2023.","short":"F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.","ama":"Cornalba F, Shardlow T. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. <i>ESAIM: Mathematical Modelling and Numerical Analysis</i>. 2023;57(5):3061-3090. doi:<a href=\"https://doi.org/10.1051/m2an/2023077\">10.1051/m2an/2023077</a>","chicago":"Cornalba, Federico, and Tony Shardlow. “The Regularised Inertial Dean’ Kawasaki Equation: Discontinuous Galerkin Approximation and Modelling for Low-Density Regime.” <i>ESAIM: Mathematical Modelling and Numerical Analysis</i>. EDP Sciences, 2023. <a href=\"https://doi.org/10.1051/m2an/2023077\">https://doi.org/10.1051/m2an/2023077</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"author":[{"last_name":"Cornalba","orcid":"0000-0002-6269-5149","id":"2CEB641C-A400-11E9-A717-D712E6697425","first_name":"Federico","full_name":"Cornalba, Federico"},{"first_name":"Tony","full_name":"Shardlow, Tony","last_name":"Shardlow"}],"date_updated":"2023-11-20T08:38:47Z","oa_version":"Published Version","file":[{"checksum":"3aef1475b1882c8dec112df9a5167c39","relation":"main_file","creator":"dernst","file_name":"2023_ESAIM_Cornalba.pdf","content_type":"application/pdf","date_updated":"2023-11-20T08:34:57Z","file_size":1508534,"access_level":"open_access","file_id":"14560","date_created":"2023-11-20T08:34:57Z","success":1}],"department":[{"_id":"JuFi"}],"_id":"14554","file_date_updated":"2023-11-20T08:34:57Z","scopus_import":"1","page":"3061-3090","article_type":"original","intvolume":"        57","language":[{"iso":"eng"}],"publisher":"EDP Sciences","month":"09","related_material":{"link":[{"url":"https://github.com/tonyshardlow/RIDK-FD","relation":"software"}]},"day":"01","ec_funded":1,"publication_status":"published","acknowledgement":"The authors thank the anonymous referees for their careful reading of the manuscript and their\r\nvaluable suggestions. FC gratefully acknowledges funding from the Austrian Science Fund (FWF) through the project F65, and from the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 754411 (the latter funding source covered the first part of this project).","publication_identifier":{"issn":["2822-7840"],"eissn":["2804-7214"]},"status":"public","abstract":[{"text":"The Regularised Inertial Dean–Kawasaki model (RIDK) – introduced by the authors and J. Zimmer in earlier works – is a nonlinear stochastic PDE capturing fluctuations around the meanfield limit for large-scale particle systems in both particle density and momentum density. We focus on the following two aspects. Firstly, we set up a Discontinuous Galerkin (DG) discretisation scheme for the RIDK model: we provide suitable definitions of numerical fluxes at the interface of the mesh elements which are consistent with the wave-type nature of the RIDK model and grant stability of the simulations, and we quantify the rate of convergence in mean square to the continuous RIDK model. Secondly, we introduce modifications of the RIDK model in order to preserve positivity of the density (such a feature only holds in a “high-probability sense” for the original RIDK model). By means of numerical simulations, we show that the modifications lead to physically realistic and positive density profiles. In one case, subject to additional regularity constraints, we also prove positivity. Finally, we present an application of our methodology to a system of diffusing and reacting particles. Our Python code is available in open-source format.","lang":"eng"}],"doi":"10.1051/m2an/2023077","issue":"5"},{"status":"public","publication_identifier":{"eissn":["2296-634X"]},"abstract":[{"text":"The intricate regulatory processes behind actin polymerization play a crucial role in cellular biology, including essential mechanisms such as cell migration or cell division. However, the self-organizing principles governing actin polymerization are still poorly understood. In this perspective article, we compare the Belousov-Zhabotinsky (BZ) reaction, a classic and well understood chemical oscillator known for its self-organizing spatiotemporal dynamics, with the excitable dynamics of polymerizing actin. While the BZ reaction originates from the domain of inorganic chemistry, it shares remarkable similarities with actin polymerization, including the characteristic propagating waves, which are influenced by geometry and external fields, and the emergent collective behavior. Starting with a general description of emerging patterns, we elaborate on single droplets or cell-level dynamics, the influence of geometric confinements and conclude with collective interactions. Comparing these two systems sheds light on the universal nature of self-organization principles in both living and inanimate systems.","lang":"eng"}],"doi":"10.3389/fcell.2023.1287420","month":"10","acknowledgement":"The author(s) declare that no financial support was received for the research, authorship, and/or publication of this article.","publication_status":"published","day":"31","publisher":"Frontiers","article_number":"1287420","intvolume":"        11","article_type":"original","language":[{"iso":"eng"}],"_id":"14555","file_date_updated":"2023-11-20T08:41:15Z","scopus_import":"1","type":"journal_article","date_updated":"2023-11-20T08:44:17Z","oa_version":"Published Version","file":[{"file_size":2047622,"date_updated":"2023-11-20T08:41:15Z","content_type":"application/pdf","file_name":"2023_FrontiersCellDevBio_Riedl.pdf","success":1,"date_created":"2023-11-20T08:41:15Z","file_id":"14561","access_level":"open_access","creator":"dernst","relation":"main_file","checksum":"61857fc3ebf019354932e7ee684658ce"}],"department":[{"_id":"MiSi"}],"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Riedl M, Sixt MK. 2023. The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. Frontiers in Cell and Developmental Biology. 11, 1287420.","apa":"Riedl, M., &#38; Sixt, M. K. (2023). The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. <i>Frontiers in Cell and Developmental Biology</i>. Frontiers. <a href=\"https://doi.org/10.3389/fcell.2023.1287420\">https://doi.org/10.3389/fcell.2023.1287420</a>","mla":"Riedl, Michael, and Michael K. Sixt. “The Excitable Nature of Polymerizing Actin and the Belousov-Zhabotinsky Reaction.” <i>Frontiers in Cell and Developmental Biology</i>, vol. 11, 1287420, Frontiers, 2023, doi:<a href=\"https://doi.org/10.3389/fcell.2023.1287420\">10.3389/fcell.2023.1287420</a>.","ieee":"M. Riedl and M. K. Sixt, “The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction,” <i>Frontiers in Cell and Developmental Biology</i>, vol. 11. Frontiers, 2023.","short":"M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).","ama":"Riedl M, Sixt MK. The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. <i>Frontiers in Cell and Developmental Biology</i>. 2023;11. doi:<a href=\"https://doi.org/10.3389/fcell.2023.1287420\">10.3389/fcell.2023.1287420</a>","chicago":"Riedl, Michael, and Michael K Sixt. “The Excitable Nature of Polymerizing Actin and the Belousov-Zhabotinsky Reaction.” <i>Frontiers in Cell and Developmental Biology</i>. Frontiers, 2023. <a href=\"https://doi.org/10.3389/fcell.2023.1287420\">https://doi.org/10.3389/fcell.2023.1287420</a>."},"author":[{"id":"3BE60946-F248-11E8-B48F-1D18A9856A87","first_name":"Michael","full_name":"Riedl, Michael","orcid":"0000-0003-4844-6311","last_name":"Riedl"},{"last_name":"Sixt","full_name":"Sixt, Michael K","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179"}],"oa":1,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2023-10-31T00:00:00Z","title":"The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction","quality_controlled":"1","ddc":["570"],"date_created":"2023-11-19T23:00:55Z","year":"2023","publication":"Frontiers in Cell and Developmental Biology","volume":11,"article_processing_charge":"Yes"},{"type":"journal_article","oa":1,"author":[{"first_name":"Emma L.","full_name":"Berdan, Emma L.","last_name":"Berdan"},{"last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","orcid":"0000-0002-8548-5240"},{"first_name":"Roger","full_name":"Butlin, Roger","last_name":"Butlin"},{"last_name":"Charlesworth","full_name":"Charlesworth, Brian","first_name":"Brian"},{"last_name":"Faria","full_name":"Faria, Rui","first_name":"Rui"},{"last_name":"Fragata","first_name":"Inês","full_name":"Fragata, Inês"},{"last_name":"Gilbert","first_name":"Kimberly J.","full_name":"Gilbert, Kimberly J."},{"last_name":"Jay","full_name":"Jay, Paul","first_name":"Paul"},{"last_name":"Kapun","full_name":"Kapun, Martin","first_name":"Martin"},{"full_name":"Lotterhos, Katie E.","first_name":"Katie E.","last_name":"Lotterhos"},{"last_name":"Mérot","full_name":"Mérot, Claire","first_name":"Claire"},{"first_name":"Esra","full_name":"Durmaz Mitchell, Esra","last_name":"Durmaz Mitchell"},{"full_name":"Pascual, Marta","first_name":"Marta","last_name":"Pascual"},{"last_name":"Peichel","first_name":"Catherine L.","full_name":"Peichel, Catherine L."},{"full_name":"Rafajlović, Marina","first_name":"Marina","last_name":"Rafajlović"},{"orcid":"0000-0003-1050-4969","first_name":"Anja M","id":"3C147470-F248-11E8-B48F-1D18A9856A87","full_name":"Westram, Anja M","last_name":"Westram"},{"last_name":"Schaeffer","full_name":"Schaeffer, Stephen W.","first_name":"Stephen W."},{"full_name":"Johannesson, Kerstin","first_name":"Kerstin","last_name":"Johannesson"},{"last_name":"Flatt","full_name":"Flatt, Thomas","first_name":"Thomas"}],"citation":{"ieee":"E. L. Berdan <i>et al.</i>, “How chromosomal inversions reorient the evolutionary process,” <i>Journal of Evolutionary Biology</i>. Wiley, 2023.","chicago":"Berdan, Emma L., Nicholas H Barton, Roger Butlin, Brian Charlesworth, Rui Faria, Inês Fragata, Kimberly J. Gilbert, et al. “How Chromosomal Inversions Reorient the Evolutionary Process.” <i>Journal of Evolutionary Biology</i>. Wiley, 2023. <a href=\"https://doi.org/10.1111/jeb.14242\">https://doi.org/10.1111/jeb.14242</a>.","short":"E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology (2023).","ama":"Berdan EL, Barton NH, Butlin R, et al. How chromosomal inversions reorient the evolutionary process. <i>Journal of Evolutionary Biology</i>. 2023. doi:<a href=\"https://doi.org/10.1111/jeb.14242\">10.1111/jeb.14242</a>","apa":"Berdan, E. L., Barton, N. H., Butlin, R., Charlesworth, B., Faria, R., Fragata, I., … Flatt, T. (2023). How chromosomal inversions reorient the evolutionary process. <i>Journal of Evolutionary Biology</i>. Wiley. <a href=\"https://doi.org/10.1111/jeb.14242\">https://doi.org/10.1111/jeb.14242</a>","mla":"Berdan, Emma L., et al. “How Chromosomal Inversions Reorient the Evolutionary Process.” <i>Journal of Evolutionary Biology</i>, 14242, Wiley, 2023, doi:<a href=\"https://doi.org/10.1111/jeb.14242\">10.1111/jeb.14242</a>.","ista":"Berdan EL, Barton NH, Butlin R, Charlesworth B, Faria R, Fragata I, Gilbert KJ, Jay P, Kapun M, Lotterhos KE, Mérot C, Durmaz Mitchell E, Pascual M, Peichel CL, Rafajlović M, Westram AM, Schaeffer SW, Johannesson K, Flatt T. 2023. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology., 14242."},"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"NiBa"}],"date_updated":"2023-11-20T08:51:09Z","oa_version":"Published Version","_id":"14556","scopus_import":"1","date_created":"2023-11-19T23:00:55Z","ddc":["570"],"article_processing_charge":"No","publication":"Journal of Evolutionary Biology","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/jeb.14242"}],"year":"2023","tmp":{"image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"quality_controlled":"1","date_published":"2023-11-08T00:00:00Z","title":"How chromosomal inversions reorient the evolutionary process","month":"11","day":"08","publication_status":"epub_ahead","acknowledgement":"We are grateful to two referees and Luke Holman for valuable comments on a previous version of our manuscript. This paper was conceived at the ESEB Progress Meeting ‘Disentangling neutral versus adaptive evolution in chromosomal inversions’, organized by ELB, KJ and TF and held at Tjärnö Marine Laboratory (Sweden) between 28 February and 3 March 2022. We are indebted to ESEB for sponsoring our workshop and to the following funding bodies for supporting our research: ERC AdG 101055327 to NHB; Swedish Research Council (VR) 2018-03695 and Leverhulme Trust RPG-2021-141 to RKB; Fundação para a Ciência e a Tecnologia (FCT) contract 2020.00275.CEECIND and research project PTDC/BIA-1232 EVL/1614/2021 to RF; Fundação para a Ciência e a Tecnologia (FCT) junior researcher contract CEECIND/02616/2018 to IF; Swiss National Science Foundation (SNSF) Ambizione #PZ00P3_185952 to KJG; National Science Foundation NSF-OCE 2043905 and NSF-DEB 1655701 to KEL; Swiss National Science Foundation (SNSF) 310030_204681 to CLP; Swedish Research Council (VR) 2021-05243 to MR; Norwegian Research Council grant 315287 to AMW; Swiss National Science Foundation (SNSF) 31003A-182262 and FZEB-0-214654 to TF. We also thank Luca Ferretti for the discussion and Eliane Zinn (Flatt lab) for help with reference formatting.","publication_identifier":{"issn":["1010-061X"],"eissn":["1420-9101"]},"status":"public","abstract":[{"lang":"eng","text":"Inversions are structural mutations that reverse the sequence of a chromosome segment and reduce the effective rate of recombination in the heterozygous state. They play a major role in adaptation, as well as in other evolutionary processes such as speciation. Although inversions have been studied since the 1920s, they remain difficult to investigate because the reduced recombination conferred by them strengthens the effects of drift and hitchhiking, which in turn can obscure signatures of selection. Nonetheless, numerous inversions have been found to be under selection. Given recent advances in population genetic theory and empirical study, here we review how different mechanisms of selection affect the evolution of inversions. A key difference between inversions and other mutations, such as single nucleotide variants, is that the fitness of an inversion may be affected by a larger number of frequently interacting processes. This considerably complicates the analysis of the causes underlying the evolution of inversions. We discuss the extent to which these mechanisms can be disentangled, and by which approach."}],"doi":"10.1111/jeb.14242","license":"https://creativecommons.org/licenses/by-nc/4.0/","article_type":"review","article_number":"14242","language":[{"iso":"eng"}],"publisher":"Wiley"},{"language":[{"iso":"eng"}],"intvolume":"        46","article_type":"original","page":"191-221","publisher":"Taylor & Francis","acknowledgement":"The first and second named authors are members of GNSAGA – INdAM.\r\nThe third named author was supported by the FWF Grant, Project number I4245–N35","publication_status":"published","day":"01","month":"11","issue":"S1","abstract":[{"lang":"eng","text":"Motivated by a problem posed in [10], we investigate the closure operators of the category SLatt of join semilattices and its subcategory SLattO of join semilattices with bottom element. In particular, we show that there are only finitely many closure operators of both categories, and provide a complete classification. We use this result to deduce the known fact that epimorphisms of SLatt and SLattO are surjective. We complement the paper with two different proofs of this result using either generators or Isbell’s zigzag theorem."}],"doi":"10.2989/16073606.2023.2247731","status":"public","publication_identifier":{"issn":["1607-3606"],"eissn":["1727-933X"]},"year":"2023","volume":46,"article_processing_charge":"No","publication":"Quaestiones Mathematicae","date_created":"2023-11-19T23:00:55Z","title":"Epimorphisms and closure operators of categories of semilattices","date_published":"2023-11-01T00:00:00Z","project":[{"call_identifier":"FWF","_id":"26AD5D90-B435-11E9-9278-68D0E5697425","grant_number":"I04245","name":"Algebraic Footprints of Geometric Features in Homology"}],"quality_controlled":"1","department":[{"_id":"HeEd"}],"date_updated":"2023-11-20T09:24:48Z","oa_version":"None","author":[{"last_name":"Dikranjan","full_name":"Dikranjan, D.","first_name":"D."},{"last_name":"Giordano Bruno","full_name":"Giordano Bruno, A.","first_name":"A."},{"orcid":"0000-0001-8686-1888","first_name":"Nicolò","full_name":"Zava, Nicolò","id":"c8b3499c-7a77-11eb-b046-aa368cbbf2ad","last_name":"Zava"}],"citation":{"chicago":"Dikranjan, D., A. Giordano Bruno, and Nicolò Zava. “Epimorphisms and Closure Operators of Categories of Semilattices.” <i>Quaestiones Mathematicae</i>. Taylor &#38; Francis, 2023. <a href=\"https://doi.org/10.2989/16073606.2023.2247731\">https://doi.org/10.2989/16073606.2023.2247731</a>.","short":"D. Dikranjan, A. Giordano Bruno, N. Zava, Quaestiones Mathematicae 46 (2023) 191–221.","ama":"Dikranjan D, Giordano Bruno A, Zava N. Epimorphisms and closure operators of categories of semilattices. <i>Quaestiones Mathematicae</i>. 2023;46(S1):191-221. doi:<a href=\"https://doi.org/10.2989/16073606.2023.2247731\">10.2989/16073606.2023.2247731</a>","ieee":"D. Dikranjan, A. Giordano Bruno, and N. Zava, “Epimorphisms and closure operators of categories of semilattices,” <i>Quaestiones Mathematicae</i>, vol. 46, no. S1. Taylor &#38; Francis, pp. 191–221, 2023.","apa":"Dikranjan, D., Giordano Bruno, A., &#38; Zava, N. (2023). Epimorphisms and closure operators of categories of semilattices. <i>Quaestiones Mathematicae</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.2989/16073606.2023.2247731\">https://doi.org/10.2989/16073606.2023.2247731</a>","mla":"Dikranjan, D., et al. “Epimorphisms and Closure Operators of Categories of Semilattices.” <i>Quaestiones Mathematicae</i>, vol. 46, no. S1, Taylor &#38; Francis, 2023, pp. 191–221, doi:<a href=\"https://doi.org/10.2989/16073606.2023.2247731\">10.2989/16073606.2023.2247731</a>.","ista":"Dikranjan D, Giordano Bruno A, Zava N. 2023. Epimorphisms and closure operators of categories of semilattices. Quaestiones Mathematicae. 46(S1), 191–221."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","scopus_import":"1","_id":"14557"},{"scopus_import":"1","_id":"14558","author":[{"full_name":"Bhattacharya, Sayan","first_name":"Sayan","last_name":"Bhattacharya"},{"last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"last_name":"Nanongkai","first_name":"Danupon","full_name":"Nanongkai, Danupon"},{"last_name":"Wu","full_name":"Wu, Xiaowei","first_name":"Xiaowei"}],"citation":{"apa":"Bhattacharya, S., Henzinger, M. H., Nanongkai, D., &#38; Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/21M1428649\">https://doi.org/10.1137/21M1428649</a>","mla":"Bhattacharya, Sayan, et al. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” <i>SIAM Journal on Computing</i>, vol. 52, no. 5, Society for Industrial and Applied Mathematics, 2023, pp. 1132–92, doi:<a href=\"https://doi.org/10.1137/21M1428649\">10.1137/21M1428649</a>.","ista":"Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. 2023. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 52(5), 1132–1192.","ieee":"S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” <i>SIAM Journal on Computing</i>, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.","chicago":"Bhattacharya, Sayan, Monika H Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics, 2023. <a href=\"https://doi.org/10.1137/21M1428649\">https://doi.org/10.1137/21M1428649</a>.","ama":"Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. Deterministic near-optimal approximation algorithms for dynamic set cover. <i>SIAM Journal on Computing</i>. 2023;52(5):1132-1192. doi:<a href=\"https://doi.org/10.1137/21M1428649\">10.1137/21M1428649</a>","short":"S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"MoHe"}],"date_updated":"2025-07-15T12:51:52Z","oa_version":"None","type":"journal_article","quality_controlled":"1","title":"Deterministic near-optimal approximation algorithms for dynamic set cover","date_published":"2023-10-01T00:00:00Z","project":[{"grant_number":"101019564","name":"The design and evaluation of modern fully dynamic data structures","call_identifier":"H2020","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62"},{"grant_number":"P33775 ","name":"Fast Algorithms for a Reactive Network Layer","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe"},{"_id":"34def286-11ca-11ed-8bc3-da5948e1613c","grant_number":"Z00422","name":"Wittgenstein Award - Monika Henzinger"},{"_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","name":"Static and Dynamic Hierarchical Graph Decompositions","grant_number":"I05982"}],"article_processing_charge":"No","volume":52,"publication":"SIAM Journal on Computing","year":"2023","date_created":"2023-11-19T23:00:56Z","doi":"10.1137/21M1428649","abstract":[{"text":"n the dynamic minimum set cover problem, the challenge is to minimize the update time while guaranteeing a close-to-optimal min{O(log n), f} approximation factor. (Throughout, n, m, f , and C are parameters denoting the maximum number of elements, the number of sets, the frequency, and the cost range.) In the high-frequency range, when f = Ω(log n) , this was achieved by a deterministic O(log n) -approximation algorithm with O(f log n) amortized update time by Gupta et al. [Online and dynamic algorithms for set cover, in Proceedings STOC 2017, ACM, pp. 537–550]. In this paper we consider the low-frequency range, when f = O(log n) , and obtain deterministic algorithms with a (1 + ∈)f -approximation ratio and the following guarantees on the update time. (1)  O ((f/∈)-log(Cn)) amortized update time: Prior to our work, the best approximation ratio guaranteed by deterministic algorithms was O(f2) of Bhattacharya, Henzinger, and Italiano [Design of dynamic algorithms via primal-dual method, in Proceedings ICALP 2015, Springer, pp. 206–218]. In contrast, the only result with O(f) -approximation was that of Abboud et al. [Dynamic set cover: Improved algorithms and lower bounds, in Proceedings STOC 2019, ACM, pp. 114–125], who designed a randomized (1+∈)f -approximation algorithm with  amortized update time. (2) O(f2/∈3 + (f/∈2).logC) amortized update time: This result improves the above update time bound for most values of f\r\n in the low-frequency range, i.e., f=o(log n) . It is also the first result that is independent of m\r\n and n. It subsumes the constant amortized update time of Bhattacharya and Kulkarni [Deterministically maintaining a (2 + ∈) -approximate minimum vertex cover in O(1/∈2) amortized update time, in Proceedings SODA 2019, SIAM, pp. 1872–1885] for unweighted dynamic vertex cover (i.e., when f = 2 and C = 1). (3) O((f/∈3).log2(Cn)) worst-case update time: No nontrivial worst-case update time was previously known for the dynamic set cover problem. Our bound subsumes and improves by a logarithmic factor the O(log3n/poly (∈)) \r\n worst-case update time for the unweighted dynamic vertex cover problem (i.e., when f = 2\r\n and C =1) of Bhattacharya, Henzinger, and Nanongkai [Fully dynamic approximate maximum matching and minimum vertex cover in O(log3)n worst case update time, in Proceedings SODA 2017, SIAM, pp. 470–489]. We achieve our results via the primal-dual approach, by maintaining a fractional packing solution as a dual certificate. Prior work in dynamic algorithms that employs the primal-dual approach uses a local update scheme that maintains relaxed complementary slackness conditions for every set. For our first result we use instead a global update scheme that does not always maintain complementary slackness conditions. For our second result we combine the global and the local update schema. To achieve our third result we use a hierarchy of background schedulers. It is an interesting open question whether this background scheduler technique can also be used to transform algorithms with amortized running time bounds into algorithms with worst-case running time bounds.","lang":"eng"}],"issue":"5","publication_identifier":{"issn":["0097-5397"],"eissn":["1095-7111"]},"status":"public","ec_funded":1,"day":"01","publication_status":"published","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grants 715672 and\r\n101019564 ``The Design of Modern Fully Dynamic Data Structures (MoDynStruct)\"\") and from the Engineering and Physical Sciences Research Council, UK (EPSRC) under grant EP/S03353X/1. The second author was also supported by the Austrian Science Fund (FWF) project ``Fast Algorithms for a Reactive Network Layer (ReactNet),\"\" P 33775-N, with additional funding from the netidee SCIENCE Stiftung, 2020--2024, project ``Static and Dynamic Hierarchical Graph Decompositions,\"\"I 5982-N, and project Z 422-N. The third author was also supported by the Swedish Research Council (Reg. No. 2015-04659). The fourth author was also supported by the Science and Technology Development Fund (FDCT), Macau SAR (file 0014/2022/AFJ, 0085/2022/A, 0143/2020/A3, and SKL-IOTSC-2021-2023).","month":"10","publisher":"Society for Industrial and Applied Mathematics","language":[{"iso":"eng"}],"page":"1132-1192","article_type":"original","intvolume":"        52"},{"date_created":"2023-11-19T23:00:56Z","year":"2023","publication":"21st International Symposium on Automated Technology for Verification and Analysis","article_processing_charge":"No","volume":14215,"conference":{"end_date":"2023-10-27","location":"Singapore, Singapore","start_date":"2023-10-24","name":"ATVA: Automated Technology for Verification and Analysis"},"project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"title":"Learning provably stabilizing neural controllers for discrete-time stochastic systems","date_published":"2023-10-22T00:00:00Z","quality_controlled":"1","type":"conference","date_updated":"2025-07-14T09:09:59Z","oa_version":"None","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"citation":{"apa":"Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., &#38; Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In <i>21st International Symposium on Automated Technology for Verification and Analysis</i> (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-45329-8_17\">https://doi.org/10.1007/978-3-031-45329-8_17</a>","mla":"Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” <i>21st International Symposium on Automated Technology for Verification and Analysis</i>, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:<a href=\"https://doi.org/10.1007/978-3-031-45329-8_17\">10.1007/978-3-031-45329-8_17</a>.","ista":"Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. Learning provably stabilizing neural controllers for discrete-time stochastic systems. 21st International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 14215, 357–379.","ieee":"M. Ansaripour, K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “Learning provably stabilizing neural controllers for discrete-time stochastic systems,” in <i>21st International Symposium on Automated Technology for Verification and Analysis</i>, Singapore, Singapore, 2023, vol. 14215, pp. 357–379.","chicago":"Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In <i>21st International Symposium on Automated Technology for Verification and Analysis</i>, 14215:357–79. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-45329-8_17\">https://doi.org/10.1007/978-3-031-45329-8_17</a>.","short":"M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.","ama":"Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. Learning provably stabilizing neural controllers for discrete-time stochastic systems. In: <i>21st International Symposium on Automated Technology for Verification and Analysis</i>. Vol 14215. Springer Nature; 2023:357-379. doi:<a href=\"https://doi.org/10.1007/978-3-031-45329-8_17\">10.1007/978-3-031-45329-8_17</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Matin","full_name":"Ansaripour, Matin","last_name":"Ansaripour"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"},{"last_name":"Lechner","first_name":"Mathias","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic"}],"_id":"14559","scopus_import":"1","intvolume":"     14215","page":"357-379","language":[{"iso":"eng"}],"publisher":"Springer Nature","alternative_title":["LNCS"],"month":"10","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","publication_status":"published","day":"22","ec_funded":1,"status":"public","publication_identifier":{"isbn":["9783031453281"],"issn":["0302-9743"],"eissn":["1611-3349"]},"doi":"10.1007/978-3-031-45329-8_17","abstract":[{"text":"We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability 1. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an sRSM that formally certifies probability 1 stability, both learned as neural networks. We show that this procedure can also be adapted to formally verifying that, under a given Lipschitz continuous control policy, the stochastic system stabilizes within some stabilizing region with probability 1. Our experimental evaluation shows that our learning procedure can successfully learn provably stabilizing policies in practice.","lang":"eng"}]},{"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"12334"}]},"month":"11","acknowledgement":"We would like to thank K. von Peinen and B. Denker (Helmholtz Centre for Infection Research, Braunschweig, Germany) for experimental and technical assistance, respectively.\r\nFunding: This research was supported by the Scientific Service Units (SSUs) of ISTA through resources provided by Scientific Computing (SciComp), the Life Science Facility (LSF), the Imaging and Optics facility (IOF), and the Electron Microscopy Facility (EMF). We acknowledge support from ISTA and from the Austrian Science Fund (FWF) (P33367) to F.K.M.S., from the Research Training Group GRK2223 and the Helmholtz Society to K.R,. and from the Deutsche Forschungsgemeinschaft (DFG) to J.F. and K.R.","day":"21","status":"public","license":"https://creativecommons.org/licenses/by-sa/4.0/","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"ScienComp"},{"_id":"EM-Fac"}],"doi":"10.15479/AT:ISTA:14562","abstract":[{"lang":"eng","text":"Regulation of the Arp2/3 complex is required for productive nucleation of branched actin networks. An emerging aspect of regulation is the incorporation of subunit isoforms into the Arp2/3 complex. Specifically, both ArpC5 subunit isoforms, ArpC5 and ArpC5L, have been reported to fine-tune nucleation activity and branch junction stability. We have combined reverse genetics and cellular structural biology to describe how ArpC5 and ArpC5L differentially affect cell migration. Both define the structural stability of ArpC1 in branch junctions and, in turn, by determining protrusion characteristics, affect protein dynamics and actin network ultrastructure. ArpC5 isoforms also affect the positioning of members of the Ena/Vasodilator-stimulated phosphoprotein (VASP) family of actin filament elongators, which mediate ArpC5 isoform–specific effects on the actin assembly level. Our results suggest that ArpC5 and Ena/VASP proteins are part of a signaling pathway enhancing cell migration.\r\n"}],"publisher":"Institute of Science and Technology Austria","type":"research_data","date_updated":"2023-11-21T08:05:34Z","oa_version":"Published Version","department":[{"_id":"FlSc"}],"file":[{"creator":"fschur","relation":"main_file","checksum":"e9bab797b44614f144a5b02d9636f8c3","file_size":1581687449,"content_type":"application/zip","date_updated":"2023-11-20T10:27:17Z","file_name":"Figure2.zip","success":1,"date_created":"2023-11-20T10:27:17Z","file_id":"14570","access_level":"open_access"},{"creator":"fschur","relation":"main_file","checksum":"4efd388cccd03c549fc90f6e46d37006","file_size":116088565,"content_type":"application/zip","date_updated":"2023-11-20T10:29:18Z","file_name":"SupplementaryFigure3.zip","success":1,"date_created":"2023-11-20T10:29:18Z","file_id":"14571","access_level":"open_access"},{"creator":"fschur","checksum":"bdeb232dc94d0c22a3f7e0d18189ce89","relation":"main_file","content_type":"application/zip","date_updated":"2023-11-20T10:44:39Z","file_size":5154614201,"file_name":"Figure5.zip","file_id":"14572","success":1,"date_created":"2023-11-20T10:44:39Z","access_level":"open_access"},{"file_id":"14573","success":1,"date_created":"2023-11-20T10:46:00Z","access_level":"open_access","date_updated":"2023-11-20T10:46:00Z","content_type":"application/zip","file_size":1277893286,"file_name":"SupplementaryFigure7.zip","creator":"fschur","checksum":"83aee17d621a05d865f68f39c8892d27","relation":"main_file"},{"creator":"fschur","checksum":"fb9beb6fe15c8dac6679dd02044d2ea6","relation":"main_file","file_id":"14574","date_created":"2023-11-20T10:46:08Z","success":1,"access_level":"open_access","content_type":"application/zip","date_updated":"2023-11-20T10:46:08Z","file_size":228485124,"file_name":"SupplementaryFigure9.zip"},{"file_name":"SupplementaryFigure10.zip","content_type":"application/zip","date_updated":"2023-11-20T10:46:32Z","file_size":1226788198,"access_level":"open_access","file_id":"14575","date_created":"2023-11-20T10:46:32Z","success":1,"checksum":"4f3644e5feabe4824486d56885bb79fe","relation":"main_file","creator":"fschur"},{"creator":"fschur","checksum":"96167f722ed0ca78e30681cd1573b9d7","relation":"main_file","content_type":"application/zip","date_updated":"2023-11-20T10:46:17Z","file_size":277577131,"file_name":"SupplementaryFigure11.zip","file_id":"14576","success":1,"date_created":"2023-11-20T10:46:17Z","access_level":"open_access"},{"access_level":"open_access","file_id":"14577","date_created":"2023-11-20T10:46:29Z","success":1,"file_name":"SupplementaryFigure15.zip","date_updated":"2023-11-20T10:46:29Z","content_type":"application/zip","file_size":591483468,"checksum":"d1e03c9805c18cfbc2e9fdf38a9f556f","relation":"main_file","creator":"fschur"},{"access_level":"open_access","success":1,"date_created":"2023-11-20T10:47:00Z","file_id":"14578","file_name":"SupplementaryFigure17.zip","file_size":1709528579,"date_updated":"2023-11-20T10:47:00Z","content_type":"application/zip","relation":"main_file","checksum":"4d437c04fdb3c1e699618063c4bd21c3","creator":"fschur"},{"file_size":1920765280,"date_updated":"2023-11-20T11:26:36Z","content_type":"application/zip","file_name":"SupplementaryFigure4.zip","date_created":"2023-11-20T11:26:36Z","success":1,"file_id":"14581","access_level":"open_access","creator":"fschur","relation":"main_file","checksum":"967b5378a4f16c43f490eae328afe50e"},{"content_type":"application/zip","date_updated":"2023-11-20T11:38:12Z","file_size":3013566196,"file_name":"Figure1_partA.zip","file_id":"14583","success":1,"date_created":"2023-11-20T11:38:12Z","access_level":"open_access","creator":"fschur","checksum":"11899986cf0b471d258fe168ee33a3ea","relation":"main_file"},{"relation":"main_file","checksum":"c452afe1ab506d58d32e601d5b3878bb","creator":"fschur","access_level":"open_access","date_created":"2023-11-20T11:43:23Z","success":1,"file_id":"14584","file_name":"Figure1_partB.zip","file_size":3250260203,"content_type":"application/zip","date_updated":"2023-11-20T11:43:23Z"},{"date_created":"2023-11-20T11:49:58Z","success":1,"file_id":"14585","access_level":"open_access","file_size":1460,"date_updated":"2023-11-20T11:49:58Z","content_type":"text/rtf","file_name":"ReadMe.rtf","creator":"fschur","relation":"main_file","checksum":"223c98eceecbe65dd268f4f363a620d8"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Schur FK. 2023. Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:14562\">10.15479/AT:ISTA:14562</a>.","apa":"Schur, F. K. (2023). Research data of the publication “ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:14562\">https://doi.org/10.15479/AT:ISTA:14562</a>","mla":"Schur, Florian KM. <i>Research Data of the Publication “ArpC5 Isoforms Regulate Arp2/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.”</i> Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:14562\">10.15479/AT:ISTA:14562</a>.","ieee":"F. K. Schur, “Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.’” Institute of Science and Technology Austria, 2023.","short":"F.K. Schur, (2023).","ama":"Schur FK. Research data of the publication “ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.” 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:14562\">10.15479/AT:ISTA:14562</a>","chicago":"Schur, Florian KM. “Research Data of the Publication ‘ArpC5 Isoforms Regulate Arp2/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.’” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:14562\">https://doi.org/10.15479/AT:ISTA:14562</a>."},"has_accepted_license":"1","oa":1,"author":[{"last_name":"Schur","orcid":"0000-0003-4790-8078","first_name":"Florian KM","full_name":"Schur, Florian KM","id":"48AD8942-F248-11E8-B48F-1D18A9856A87"}],"_id":"14562","file_date_updated":"2023-11-20T11:49:58Z","ddc":["570"],"date_created":"2023-11-20T09:22:33Z","contributor":[{"first_name":"Florian","id":"404F5528-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher","orcid":"0000-0001-7149-769X","last_name":"Fäßler"},{"last_name":"Javoor","contributor_type":"researcher","first_name":"Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2"},{"last_name":"Datler","orcid":"0000-0002-3616-8580","contributor_type":"researcher","id":"3B12E2E6-F248-11E8-B48F-1D18A9856A87","first_name":"Julia"},{"last_name":"Döring","first_name":"Hermann","contributor_type":"researcher"},{"contributor_type":"researcher","id":"b9d234ba-9e33-11ed-95b6-cd561df280e6","first_name":"Florian","last_name":"Hofer"},{"last_name":"Dimchev","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","first_name":"Georgi A","contributor_type":"researcher","orcid":"0000-0001-8370-6161"},{"last_name":"Hodirnau","first_name":"Victor-Valentin","id":"3661B498-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher"},{"last_name":"Faix","first_name":"Jan","contributor_type":"researcher"},{"contributor_type":"researcher","first_name":"Klemens","last_name":"Rottner"},{"orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM","contributor_type":"researcher","last_name":"Schur"}],"year":"2023","article_processing_charge":"No","tmp":{"name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","short":"CC BY-SA (4.0)","image":"/images/cc_by_sa.png"},"project":[{"_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","grant_number":"P33367","name":"Structure and isoform diversity of the Arp2/3 complex"}],"date_published":"2023-11-21T00:00:00Z","title":"Research data of the publication \"ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning\""},{"issue":"11","doi":"10.1029/2022ms003391","abstract":[{"lang":"eng","text":"Cumulus parameterization (CP) in state‐of‐the‐art global climate models is based on the quasi‐equilibrium assumption (QEA), which views convection as the action of an ensemble of cumulus clouds, in a state of equilibrium with respect to a slowly varying atmospheric state. This view is not compatible with the organization and dynamical interactions across multiple scales of cloud systems in the tropics and progress in this research area was slow over decades despite the widely recognized major shortcomings. Novel ideas on how to represent key physical processes of moist convection‐large‐scale interaction to overcome the QEA have surged recently. The stochastic multicloud model (SMCM) CP in particular mimics the dynamical interactions of multiple cloud types that characterize organized tropical convection. Here, the SMCM is used to modify the Zhang‐McFarlane (ZM) CP by changing the way in which the bulk mass flux and bulk entrainment and detrainment rates are calculated. This is done by introducing a stochastic ensemble of plumes characterized by randomly varying detrainment level distributions based on the cloud area fraction of the SMCM. The SMCM is here extended to include shallow cumulus clouds resulting in a unified shallow‐deep CP. The new stochastic multicloud plume CP is validated against the control ZM scheme in the context of the single column Community Climate Model of the National Center for Atmospheric Research using data from both tropical ocean and midlatitude land convection. Some key features of the SMCM CP such as it capability to represent the tri‐modal nature of organized convection are emphasized."}],"status":"public","publication_identifier":{"eissn":["1942-2466"]},"publication_status":"published","acknowledgement":"The research of B.K. is supported in part by a Discovery Grant from the Natural Sciences and Engineering Research Council of Canada (RGPIN-04246-2020). This research was conducted during the visits of P.M. Krishna to the Center for Prototype Climate Models at NYU Abu Dhabi and University of Victoria from November 2018 to June 2019 and July 2019 and October 2019, respectively. The authors are very grateful to the three anonymous reviewers who provided very thoughtful and constructive comments during the review process that helped greatly improve and shape the final version of the manuscript.","day":"01","month":"11","publisher":"American Geophysical Union","language":[{"iso":"eng"}],"intvolume":"        15","article_number":"e2022MS003391","article_type":"original","scopus_import":"1","file_date_updated":"2023-11-20T11:29:16Z","_id":"14564","file":[{"creator":"dernst","checksum":"e30329dd985559de0ddc7021ca7382b4","relation":"main_file","file_id":"14582","date_created":"2023-11-20T11:29:16Z","success":1,"access_level":"open_access","content_type":"application/pdf","date_updated":"2023-11-20T11:29:16Z","file_size":6435697,"file_name":"2023_JAMES_Khoulder.pdf"}],"department":[{"_id":"CaMu"}],"oa_version":"Published Version","date_updated":"2023-11-28T12:04:42Z","oa":1,"author":[{"last_name":"Khouider","full_name":"Khouider, B.","first_name":"B."},{"orcid":"0000-0001-8602-3083","id":"3a4ac09c-6d61-11ec-bf66-884cde66b64b","full_name":"GOSWAMI, BIDYUT B","first_name":"BIDYUT B","last_name":"GOSWAMI"},{"last_name":"Phani","first_name":"R.","full_name":"Phani, R."},{"full_name":"Majda, A. J.","first_name":"A. J.","last_name":"Majda"}],"citation":{"ieee":"B. Khouider, B. B. GOSWAMI, R. Phani, and A. J. Majda, “A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model,” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 15, no. 11. American Geophysical Union, 2023.","short":"B. Khouider, B.B. GOSWAMI, R. Phani, A.J. Majda, Journal of Advances in Modeling Earth Systems 15 (2023).","ama":"Khouider B, GOSWAMI BB, Phani R, Majda AJ. A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. <i>Journal of Advances in Modeling Earth Systems</i>. 2023;15(11). doi:<a href=\"https://doi.org/10.1029/2022ms003391\">10.1029/2022ms003391</a>","chicago":"Khouider, B., BIDYUT B GOSWAMI, R. Phani, and A. J. Majda. “A Shallow‐deep Unified Stochastic Mass Flux Cumulus Parameterization in the Single Column Community Climate Model.” <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union, 2023. <a href=\"https://doi.org/10.1029/2022ms003391\">https://doi.org/10.1029/2022ms003391</a>.","ista":"Khouider B, GOSWAMI BB, Phani R, Majda AJ. 2023. A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. Journal of Advances in Modeling Earth Systems. 15(11), e2022MS003391.","mla":"Khouider, B., et al. “A Shallow‐deep Unified Stochastic Mass Flux Cumulus Parameterization in the Single Column Community Climate Model.” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 15, no. 11, e2022MS003391, American Geophysical Union, 2023, doi:<a href=\"https://doi.org/10.1029/2022ms003391\">10.1029/2022ms003391</a>.","apa":"Khouider, B., GOSWAMI, B. B., Phani, R., &#38; Majda, A. J. (2023). A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2022ms003391\">https://doi.org/10.1029/2022ms003391</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","type":"journal_article","title":"A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model","keyword":["General Earth and Planetary Sciences","Environmental Chemistry","Global and Planetary Change"],"date_published":"2023-11-01T00:00:00Z","quality_controlled":"1","tmp":{"image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"year":"2023","article_processing_charge":"Yes","volume":15,"publication":"Journal of Advances in Modeling Earth Systems","date_created":"2023-11-20T09:18:21Z","ddc":["550"]},{"article_processing_charge":"No","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8133118","open_access":"1"}],"year":"2023","date_created":"2023-11-20T11:07:45Z","ddc":["570"],"title":"HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0","date_published":"2023-07-11T00:00:00Z","publisher":"Zenodo","author":[{"last_name":"Wetzel","full_name":"Wetzel, William","first_name":"William"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Wetzel, William. <i>HerbVar-Network/HV-Large-Patterns-MS-Public: V1.0.0</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8133117\">10.5281/ZENODO.8133117</a>.","apa":"Wetzel, W. (2023). HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8133117\">https://doi.org/10.5281/ZENODO.8133117</a>","ista":"Wetzel W. 2023. HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8133117\">10.5281/ZENODO.8133117</a>.","ieee":"W. Wetzel, “HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0.” Zenodo, 2023.","chicago":"Wetzel, William. “HerbVar-Network/HV-Large-Patterns-MS-Public: V1.0.0.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8133117\">https://doi.org/10.5281/ZENODO.8133117</a>.","ama":"Wetzel W. HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8133117\">10.5281/ZENODO.8133117</a>","short":"W. Wetzel, (2023)."},"day":"11","department":[{"_id":"NiBa"}],"oa_version":"Published Version","date_updated":"2023-11-20T11:17:33Z","related_material":{"record":[{"status":"public","id":"14552","relation":"used_in_publication"}]},"month":"07","type":"research_data_reference","doi":"10.5281/ZENODO.8133117","abstract":[{"text":"This is associated with our paper \"Plant size, latitude, and phylogeny explain within-population variability in herbivory\" published in Science.\r\n","lang":"eng"}],"_id":"14579","status":"public"},{"title":"Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences","date_published":"2023-11-21T00:00:00Z","project":[{"call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","grant_number":"948819"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"year":"2023","article_processing_charge":"No","date_created":"2023-11-21T11:41:05Z","ddc":["515"],"file_date_updated":"2023-11-29T09:28:30Z","_id":"14587","file":[{"creator":"amarvegg","checksum":"6c7db4cc86da6cdc79f7f358dc7755d4","relation":"main_file","date_updated":"2023-11-29T09:09:31Z","content_type":"application/pdf","file_size":2881100,"file_name":"thesis_Marveggio.pdf","file_id":"14626","date_created":"2023-11-29T09:09:31Z","success":1,"access_level":"open_access"},{"relation":"source_file","checksum":"52f28bdf95ec82cff39f3685f9c48e7d","creator":"amarvegg","access_level":"open_access","date_created":"2023-11-29T09:10:19Z","file_id":"14627","file_name":"Thesis_Marveggio.zip","file_size":10189696,"content_type":"application/zip","date_updated":"2023-11-29T09:28:30Z"}],"department":[{"_id":"GradSch"},{"_id":"JuFi"}],"oa_version":"Published Version","date_updated":"2023-11-30T13:25:03Z","oa":1,"author":[{"full_name":"Marveggio, Alice","id":"25647992-AA84-11E9-9D75-8427E6697425","first_name":"Alice","last_name":"Marveggio"}],"has_accepted_license":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ieee":"A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.","short":"A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.","ama":"Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14587\">10.15479/at:ista:14587</a>","chicago":"Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14587\">https://doi.org/10.15479/at:ista:14587</a>.","ista":"Marveggio A. 2023. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.","apa":"Marveggio, A. (2023). <i>Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14587\">https://doi.org/10.15479/at:ista:14587</a>","mla":"Marveggio, Alice. <i>Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14587\">10.15479/at:ista:14587</a>."},"type":"dissertation","supervisor":[{"full_name":"Fischer, Julian L","first_name":"Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0479-558X","last_name":"Fischer"}],"publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"page":"228","doi":"10.15479/at:ista:14587","abstract":[{"text":"This thesis concerns the application of variational methods to the study of evolution problems arising in fluid mechanics and in material sciences. The main focus is on weak-strong stability properties of some curvature driven interface evolution problems, such as the two-phase Navier–Stokes flow with surface tension and multiphase mean curvature flow, and on the phase-field approximation of the latter. Furthermore, we discuss a variational approach to the study of a class of doubly nonlinear wave equations.\r\nFirst, we consider the two-phase Navier–Stokes flow with surface tension within a bounded domain. The two fluids are immiscible and separated by a sharp interface, which intersects the boundary of the domain at a constant contact angle of ninety degree. We devise a suitable concept of varifolds solutions for the associated interface evolution problem and we establish a weak-strong uniqueness principle in case of a two dimensional ambient space. In order to focus on the boundary effects and on the singular geometry of the evolving domains, we work for simplicity in the regime of same viscosities for the two fluids.\r\nThe core of the thesis consists in the rigorous proof of the convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow for a suitable class of multi- well potentials and for well-prepared initial data. We even establish a rate of convergence. Our relative energy approach relies on the concept of gradient-flow calibration for branching singularities in multiphase mean curvature flow and thus enables us to overcome the limitations of other approaches. To the best of the author’s knowledge, our result is the first quantitative and unconditional one available in the literature for the vectorial/multiphase setting.\r\nThis thesis also contains a first study of weak-strong stability for planar multiphase mean curvature flow beyond the singularity resulting from a topology change. Previous weak-strong results are indeed limited to time horizons before the first topology change of the strong solution. We consider circular topology changes and we prove weak-strong stability for BV solutions to planar multiphase mean curvature flow beyond the associated singular times by dynamically adapting the strong solutions to the weak one by means of a space-time shift.\r\nIn the context of interface evolution problems, our proofs for the main results of this thesis are based on the relative energy technique, relying on novel suitable notions of relative energy functionals, which in particular measure the interface error. Our statements follow from the resulting stability estimates for the relative energy associated to the problem.\r\nAt last, we introduce a variational approach to the study of nonlinear evolution problems. This approach hinges on the minimization of a parameter dependent family of convex functionals over entire trajectories, known as Weighted Inertia-Dissipation-Energy (WIDE) functionals. We consider a class of doubly nonlinear wave equations and establish the convergence, up to subsequences, of the associated WIDE minimizers to a solution of the target problem as the parameter goes to zero.","lang":"eng"}],"status":"public","degree_awarded":"PhD","publication_identifier":{"issn":["2663 - 337X"]},"publication_status":"published","acknowledgement":"The research projects contained in this thesis have received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819).","ec_funded":1,"day":"21","alternative_title":["ISTA Thesis"],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"11842"},{"id":"14597","relation":"part_of_dissertation","status":"public"}]},"month":"11"},{"type":"preprint","related_material":{"record":[{"id":"14510","relation":"dissertation_contains","status":"public"}]},"month":"10","publication_status":"submitted","oa_version":"Preprint","date_updated":"2023-12-01T13:51:06Z","department":[{"_id":"JiFr"},{"_id":"MaLo"},{"_id":"CaBe"}],"day":"10","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ama":"Gnyliukh N, Johnson AJ, Nagel M-K, et al. Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2023.10.09.561523\">10.1101/2023.10.09.561523</a>","short":"N. Gnyliukh, A.J. Johnson, M.-K. Nagel, A. Monzer, A. Hlavata, E. Isono, M. Loose, J. Friml, BioRxiv (n.d.).","chicago":"Gnyliukh, Nataliia, Alexander J Johnson, Marie-Kristin Nagel, Aline Monzer, Annamaria Hlavata, Erika Isono, Martin Loose, and Jiří Friml. “Role of Dynamin-Related Proteins 2 and SH3P2 in Clathrin-Mediated Endocytosis in Plants.” <i>BioRxiv</i>, n.d. <a href=\"https://doi.org/10.1101/2023.10.09.561523\">https://doi.org/10.1101/2023.10.09.561523</a>.","ieee":"N. Gnyliukh <i>et al.</i>, “Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants,” <i>bioRxiv</i>. .","ista":"Gnyliukh N, Johnson AJ, Nagel M-K, Monzer A, Hlavata A, Isono E, Loose M, Friml J. Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. bioRxiv, <a href=\"https://doi.org/10.1101/2023.10.09.561523\">10.1101/2023.10.09.561523</a>.","apa":"Gnyliukh, N., Johnson, A. J., Nagel, M.-K., Monzer, A., Hlavata, A., Isono, E., … Friml, J. (n.d.). Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2023.10.09.561523\">https://doi.org/10.1101/2023.10.09.561523</a>","mla":"Gnyliukh, Nataliia, et al. “Role of Dynamin-Related Proteins 2 and SH3P2 in Clathrin-Mediated Endocytosis in Plants.” <i>BioRxiv</i>, doi:<a href=\"https://doi.org/10.1101/2023.10.09.561523\">10.1101/2023.10.09.561523</a>."},"author":[{"last_name":"Gnyliukh","orcid":"0000-0002-2198-0509","id":"390C1120-F248-11E8-B48F-1D18A9856A87","first_name":"Nataliia","full_name":"Gnyliukh, Nataliia"},{"id":"46A62C3A-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander J","full_name":"Johnson, Alexander J","orcid":"0000-0002-2739-8843","last_name":"Johnson"},{"first_name":"Marie-Kristin","full_name":"Nagel, Marie-Kristin","last_name":"Nagel"},{"last_name":"Monzer","id":"2DB5D88C-D7B3-11E9-B8FD-7907E6697425","full_name":"Monzer, Aline","first_name":"Aline"},{"last_name":"Hlavata","first_name":"Annamaria","id":"36062FEC-F248-11E8-B48F-1D18A9856A87","full_name":"Hlavata, Annamaria"},{"last_name":"Isono","first_name":"Erika","full_name":"Isono, Erika"},{"last_name":"Loose","orcid":"0000-0001-7309-9724","full_name":"Loose, Martin","first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Friml","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","orcid":"0000-0002-8302-7596"}],"oa":1,"ec_funded":1,"status":"public","_id":"14591","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"},{"_id":"Bio"}],"doi":"10.1101/2023.10.09.561523","abstract":[{"lang":"eng","text":"Clathrin-mediated endocytosis (CME) is vital for the regulation of plant growth and development by controlling plasma membrane protein composition and cargo uptake. CME relies on the precise recruitment of regulators for vesicle maturation and release. Homologues of components of mammalian vesicle scission are strong candidates to be part of the scissin machinery in plants, but the precise roles of these proteins in this process is not fully understood. Here, we characterised the roles of Plant Dynamin-Related Proteins 2 (DRP2s) and SH3-domain containing protein 2 (SH3P2), the plant homologue to Dynamins’ recruiters, like Endophilin and Amphiphysin, in the CME by combining high-resolution imaging of endocytic events in vivo and characterisation of the purified proteins in vitro. Although DRP2s and SH3P2 arrive similarly late during CME and physically interact, genetic analysis of the Dsh3p1,2,3 triple-mutant and complementation assays with non-SH3P2-interacting DRP2 variants suggests that SH3P2 does not directly recruit DRP2s to the site of endocytosis. These observations imply that despite the presence of many well-conserved endocytic components, plants have acquired a distinct mechanism for CME. One Sentence Summary In contrast to predictions based on mammalian systems, plant Dynamin-related proteins 2 are recruited to the site of Clathrin-mediated endocytosis independently of BAR-SH3 proteins."}],"date_created":"2023-11-22T10:17:49Z","year":"2023","main_file_link":[{"url":"https://www.biorxiv.org/content/10.1101/2023.10.09.561523v2","open_access":"1"}],"publication":"bioRxiv","language":[{"iso":"eng"}],"article_processing_charge":"No","project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program"}],"date_published":"2023-10-10T00:00:00Z","title":"Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants"},{"date_published":"2023-11-14T00:00:00Z","title":"A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals","quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"year":"2023","article_processing_charge":"Yes (in subscription journal)","volume":159,"publication":"Journal of Chemical Physics","date_created":"2023-11-26T23:00:54Z","ddc":["530","540"],"external_id":{"arxiv":["2308.10886"]},"scopus_import":"1","file_date_updated":"2023-11-28T08:39:06Z","_id":"14603","file":[{"creator":"dernst","relation":"main_file","checksum":"f668ee0d07096eef81159d05bc27aabc","success":1,"date_created":"2023-11-28T08:39:06Z","file_id":"14620","access_level":"open_access","file_size":6276059,"content_type":"application/pdf","date_updated":"2023-11-28T08:39:06Z","file_name":"2023_JourChemicalPhysics_Reinhardt.pdf"}],"department":[{"_id":"BiCh"}],"oa_version":"Published Version","date_updated":"2023-11-28T08:39:23Z","oa":1,"author":[{"full_name":"Reinhardt, Aleks","first_name":"Aleks","last_name":"Reinhardt"},{"first_name":"Pin Yu","full_name":"Chew, Pin Yu","last_name":"Chew"},{"id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","full_name":"Cheng, Bingqing","first_name":"Bingqing","orcid":"0000-0002-3584-9632","last_name":"Cheng"}],"has_accepted_license":"1","citation":{"mla":"Reinhardt, Aleks, et al. “A Streamlined Molecular-Dynamics Workflow for Computing Solubilities of Molecular and Ionic Crystals.” <i>Journal of Chemical Physics</i>, vol. 159, no. 18, 184110, AIP Publishing, 2023, doi:<a href=\"https://doi.org/10.1063/5.0173341\">10.1063/5.0173341</a>.","apa":"Reinhardt, A., Chew, P. Y., &#38; Cheng, B. (2023). A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. <i>Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/5.0173341\">https://doi.org/10.1063/5.0173341</a>","ista":"Reinhardt A, Chew PY, Cheng B. 2023. A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. Journal of Chemical Physics. 159(18), 184110.","ieee":"A. Reinhardt, P. Y. Chew, and B. Cheng, “A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals,” <i>Journal of Chemical Physics</i>, vol. 159, no. 18. AIP Publishing, 2023.","chicago":"Reinhardt, Aleks, Pin Yu Chew, and Bingqing Cheng. “A Streamlined Molecular-Dynamics Workflow for Computing Solubilities of Molecular and Ionic Crystals.” <i>Journal of Chemical Physics</i>. AIP Publishing, 2023. <a href=\"https://doi.org/10.1063/5.0173341\">https://doi.org/10.1063/5.0173341</a>.","short":"A. Reinhardt, P.Y. Chew, B. Cheng, Journal of Chemical Physics 159 (2023).","ama":"Reinhardt A, Chew PY, Cheng B. A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. <i>Journal of Chemical Physics</i>. 2023;159(18). doi:<a href=\"https://doi.org/10.1063/5.0173341\">10.1063/5.0173341</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publisher":"AIP Publishing","arxiv":1,"language":[{"iso":"eng"}],"intvolume":"       159","article_number":"184110","article_type":"original","issue":"18","abstract":[{"lang":"eng","text":"Computing the solubility of crystals in a solvent using atomistic simulations is notoriously challenging due to the complexities and convergence issues associated with free-energy methods, as well as the slow equilibration in direct-coexistence simulations. This paper introduces a molecular-dynamics workflow that simplifies and robustly computes the solubility of molecular or ionic crystals. This method is considerably more straightforward than the state-of-the-art, as we have streamlined and optimised each step of the process. Specifically, we calculate the chemical potential of the crystal using the gas-phase molecule as a reference state, and employ the S0 method to determine the concentration dependence of the chemical potential of the solute. We use this workflow to predict the solubilities of sodium chloride in water, urea polymorphs in water, and paracetamol polymorphs in both water and ethanol. Our findings indicate that the predicted solubility is sensitive to the chosen potential energy surface. Furthermore, we note that the harmonic approximation often fails for both molecular crystals and gas molecules at or above room temperature, and that the assumption of an ideal solution becomes less valid for highly soluble substances."}],"doi":"10.1063/5.0173341","status":"public","publication_identifier":{"issn":["0021-9606"],"eissn":["1089-7690"]},"publication_status":"published","acknowledgement":"A.R. and B.C. acknowledge resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital Grant No. EP/P020259/1. P.Y.C. acknowledges support from the Ernest Oppenheimer Fund and the Winton Programme for the Physics of Sustainability.","day":"14","related_material":{"record":[{"id":"14619","relation":"research_data","status":"public"}]},"month":"11"},{"external_id":{"pmid":["37738212"]},"file_date_updated":"2023-11-28T08:12:15Z","scopus_import":"1","_id":"14604","oa_version":"Published Version","date_updated":"2023-11-28T08:25:28Z","file":[{"checksum":"b66dc10edae92d38918d534e64dda77c","relation":"main_file","creator":"dernst","file_name":"2023_Evolution_Toups.pdf","content_type":"application/pdf","date_updated":"2023-11-28T08:12:15Z","file_size":1399102,"access_level":"open_access","file_id":"14618","date_created":"2023-11-28T08:12:15Z","success":1}],"department":[{"_id":"BeVi"}],"citation":{"ista":"Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of class Insecta. Evolution. 77(11), 2504–2511.","apa":"Toups, M. A., &#38; Vicoso, B. (2023). The X chromosome of insects likely predates the origin of class Insecta. <i>Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/evolut/qpad169\">https://doi.org/10.1093/evolut/qpad169</a>","mla":"Toups, Melissa A., and Beatriz Vicoso. “The X Chromosome of Insects Likely Predates the Origin of Class Insecta.” <i>Evolution</i>, vol. 77, no. 11, Oxford University Press, 2023, pp. 2504–11, doi:<a href=\"https://doi.org/10.1093/evolut/qpad169\">10.1093/evolut/qpad169</a>.","ieee":"M. A. Toups and B. Vicoso, “The X chromosome of insects likely predates the origin of class Insecta,” <i>Evolution</i>, vol. 77, no. 11. Oxford University Press, pp. 2504–2511, 2023.","ama":"Toups MA, Vicoso B. The X chromosome of insects likely predates the origin of class Insecta. <i>Evolution</i>. 2023;77(11):2504-2511. doi:<a href=\"https://doi.org/10.1093/evolut/qpad169\">10.1093/evolut/qpad169</a>","short":"M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.","chicago":"Toups, Melissa A, and Beatriz Vicoso. “The X Chromosome of Insects Likely Predates the Origin of Class Insecta.” <i>Evolution</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/evolut/qpad169\">https://doi.org/10.1093/evolut/qpad169</a>."},"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"author":[{"last_name":"Toups","first_name":"Melissa A","full_name":"Toups, Melissa A","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9752-7380"},{"id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306","last_name":"Vicoso"}],"type":"journal_article","date_published":"2023-11-02T00:00:00Z","title":"The X chromosome of insects likely predates the origin of class Insecta","quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"year":"2023","publication":"Evolution","volume":77,"article_processing_charge":"Yes (in subscription journal)","ddc":["570"],"date_created":"2023-11-26T23:00:54Z","issue":"11","doi":"10.1093/evolut/qpad169","abstract":[{"lang":"eng","text":"Sex chromosomes have evolved independently multiple times, but why some are conserved for more than 100 million years whereas others turnover rapidly remains an open question. Here, we examine the homology of sex chromosomes across nine orders of insects, plus the outgroup springtails. We find that the X chromosome is likely homologous across insects and springtails; the only exception is in the Lepidoptera, which has lost the X and now has a ZZ/ZW sex-chromosome system. These results suggest the ancestral insect X chromosome has persisted for more than 450 million years—the oldest known sex chromosome to date. Further, we propose that the shrinking of gene content the dipteran X chromosome has allowed for a burst of sex-chromosome turnover that is absent from other speciose insect orders."}],"pmid":1,"status":"public","publication_identifier":{"eissn":["1558-5646"]},"acknowledgement":"All computational analyses were performed on the server at Institute of Science and Technology Austria. We thank Marwan Elkrewi and Vincent Bett for analytical advice, and Tanja Schwander and Vincent Merel for useful discussions. We also thank Matthew Hahn for comments on an earlier version of the manuscript.","publication_status":"published","day":"02","month":"11","related_material":{"record":[{"status":"public","relation":"research_data","id":"14616"},{"relation":"research_data","id":"14617","status":"public"}],"link":[{"url":"https://git.ista.ac.at/bvicoso/veryoldx","relation":"software"}]},"publisher":"Oxford University Press","language":[{"iso":"eng"}],"intvolume":"        77","page":"2504-2511","article_type":"original"}]