[{"article_type":"original","arxiv":1,"citation":{"ieee":"R. Seiringer and J. P. Solovej, “A simple approach to Lieb-Thirring type inequalities,” <i>Journal of Functional Analysis</i>, vol. 285, no. 10. Elsevier, 2023.","chicago":"Seiringer, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.” <i>Journal of Functional Analysis</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.jfa.2023.110129\">https://doi.org/10.1016/j.jfa.2023.110129</a>.","short":"R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).","mla":"Seiringer, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.” <i>Journal of Functional Analysis</i>, vol. 285, no. 10, 110129, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.jfa.2023.110129\">10.1016/j.jfa.2023.110129</a>.","ama":"Seiringer R, Solovej JP. A simple approach to Lieb-Thirring type inequalities. <i>Journal of Functional Analysis</i>. 2023;285(10). doi:<a href=\"https://doi.org/10.1016/j.jfa.2023.110129\">10.1016/j.jfa.2023.110129</a>","apa":"Seiringer, R., &#38; Solovej, J. P. (2023). A simple approach to Lieb-Thirring type inequalities. <i>Journal of Functional Analysis</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jfa.2023.110129\">https://doi.org/10.1016/j.jfa.2023.110129</a>","ista":"Seiringer R, Solovej JP. 2023. A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. 285(10), 110129."},"ddc":["510"],"file_date_updated":"2024-01-30T14:15:16Z","month":"11","article_number":"110129","file":[{"checksum":"28e424ad91be6219e9d321054ce3a412","creator":"dernst","relation":"main_file","file_name":"2023_JourFunctionalAnalysis_Seiringer.pdf","content_type":"application/pdf","date_updated":"2024-01-30T14:15:16Z","date_created":"2024-01-30T14:15:16Z","access_level":"open_access","success":1,"file_id":"14915","file_size":232934}],"author":[{"orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert"},{"last_name":"Solovej","first_name":"Jan Philip","full_name":"Solovej, Jan Philip"}],"acknowledgement":"J.P.S. thanks the Institute of Science and Technology Austria for the hospitality and support during a visit where this work was done. J.P.S. was also partially supported by the VILLUM Centre of Excellence for the Mathematics of Quantum Theory (QMATH) (grant No. 10059).","_id":"14254","language":[{"iso":"eng"}],"issue":"10","publication_identifier":{"eissn":["1096-0783"],"issn":["0022-1236"]},"day":"15","date_updated":"2024-01-30T14:17:23Z","title":"A simple approach to Lieb-Thirring type inequalities","doi":"10.1016/j.jfa.2023.110129","isi":1,"external_id":{"arxiv":["2303.04504"],"isi":["001071552300001"]},"oa":1,"article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","year":"2023","scopus_import":"1","date_created":"2023-09-03T22:01:14Z","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"       285","abstract":[{"lang":"eng","text":"In [10] Nam proved a Lieb–Thirring Inequality for the kinetic energy of a fermionic quantum system, with almost optimal (semi-classical) constant and a gradient correction term. We present a stronger version of this inequality, with a much simplified proof. As a corollary we obtain a simple proof of the original Lieb–Thirring inequality."}],"status":"public","date_published":"2023-11-15T00:00:00Z","publication":"Journal of Functional Analysis","publication_status":"published","publisher":"Elsevier","department":[{"_id":"RoSe"}],"quality_controlled":"1","volume":285,"type":"journal_article"},{"date_updated":"2023-12-13T12:22:22Z","publication_identifier":{"issn":["1553-7366"],"eissn":["1553-7374"]},"day":"14","isi":1,"external_id":{"pmid":["37578957"],"isi":["001050846300004"]},"title":"The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells","doi":"10.1371/journal.ppat.1011562","article_processing_charge":"Yes","oa":1,"year":"2023","has_accepted_license":"1","citation":{"ama":"Koch J, Xin Q, Obr M, et al. The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. <i>PLoS Pathogens</i>. 2023;19(8). doi:<a href=\"https://doi.org/10.1371/journal.ppat.1011562\">10.1371/journal.ppat.1011562</a>","ista":"Koch J, Xin Q, Obr M, Schäfer A, Rolfs N, Anagho HA, Kudulyte A, Woltereck L, Kummer S, Campos J, Uckeley ZM, Bell-Sakyi L, Kräusslich HG, Schur FK, Acuna C, Lozach PY. 2023. The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. PLoS Pathogens. 19(8), e1011562.","apa":"Koch, J., Xin, Q., Obr, M., Schäfer, A., Rolfs, N., Anagho, H. A., … Lozach, P. Y. (2023). The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. <i>PLoS Pathogens</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.ppat.1011562\">https://doi.org/10.1371/journal.ppat.1011562</a>","chicago":"Koch, Jana, Qilin Xin, Martin Obr, Alicia Schäfer, Nina Rolfs, Holda A. Anagho, Aiste Kudulyte, et al. “The Phenuivirus Toscana Virus Makes an Atypical Use of Vacuolar Acidity to Enter Host Cells.” <i>PLoS Pathogens</i>. Public Library of Science, 2023. <a href=\"https://doi.org/10.1371/journal.ppat.1011562\">https://doi.org/10.1371/journal.ppat.1011562</a>.","ieee":"J. Koch <i>et al.</i>, “The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells,” <i>PLoS Pathogens</i>, vol. 19, no. 8. Public Library of Science, 2023.","mla":"Koch, Jana, et al. “The Phenuivirus Toscana Virus Makes an Atypical Use of Vacuolar Acidity to Enter Host Cells.” <i>PLoS Pathogens</i>, vol. 19, no. 8, e1011562, Public Library of Science, 2023, doi:<a href=\"https://doi.org/10.1371/journal.ppat.1011562\">10.1371/journal.ppat.1011562</a>.","short":"J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023)."},"ddc":["570"],"article_type":"original","file_date_updated":"2023-09-06T06:41:52Z","article_number":"e1011562","month":"08","file":[{"relation":"main_file","file_name":"2023_PloSPathogens_Koch.pdf","creator":"dernst","checksum":"47ca3bb54b27f28b05644be0ad064bc6","content_type":"application/pdf","access_level":"open_access","date_updated":"2023-09-06T06:41:52Z","date_created":"2023-09-06T06:41:52Z","file_size":4458336,"success":1,"file_id":"14269"}],"author":[{"full_name":"Koch, Jana","first_name":"Jana","last_name":"Koch"},{"full_name":"Xin, Qilin","first_name":"Qilin","last_name":"Xin"},{"orcid":"0000-0003-1756-6564","full_name":"Obr, Martin","first_name":"Martin","last_name":"Obr","id":"4741CA5A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Schäfer, Alicia","first_name":"Alicia","last_name":"Schäfer"},{"full_name":"Rolfs, Nina","first_name":"Nina","last_name":"Rolfs"},{"first_name":"Holda A.","last_name":"Anagho","full_name":"Anagho, Holda A."},{"full_name":"Kudulyte, Aiste","first_name":"Aiste","last_name":"Kudulyte"},{"full_name":"Woltereck, Lea","last_name":"Woltereck","first_name":"Lea"},{"first_name":"Susann","last_name":"Kummer","full_name":"Kummer, Susann"},{"first_name":"Joaquin","last_name":"Campos","full_name":"Campos, Joaquin"},{"full_name":"Uckeley, Zina M.","first_name":"Zina M.","last_name":"Uckeley"},{"last_name":"Bell-Sakyi","first_name":"Lesley","full_name":"Bell-Sakyi, Lesley"},{"last_name":"Kräusslich","first_name":"Hans Georg","full_name":"Kräusslich, Hans Georg"},{"id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian Km","last_name":"Schur","orcid":"0000-0003-4790-8078","full_name":"Schur, Florian Km"},{"full_name":"Acuna, Claudio","first_name":"Claudio","last_name":"Acuna"},{"full_name":"Lozach, Pierre Yves","first_name":"Pierre Yves","last_name":"Lozach"}],"acknowledgement":"We acknowledge Elodie Chatre and the Imaging Platform Platim, SFR Biosciences, Lyon, as well as Vibor Laketa and the Infectious Diseases Imaging Platform (IDIP) at the Center for Integrative Infectious Disease Research (CIID) Heidelberg. The sand fly cell lines were supplied by the Tick Cell Biobank at the University of Liverpool. F.K.M.S. acknowledges support from the Scientific Service Units (SSUs) of ISTA through resources provided by the Electron Microscopy Facility (EMF).\r\nThis work was supported by CellNetworks Research Group funds and Deutsche Forschungsgemeinschaft (DFG) funding (LO-2338/3-1) and the Agence Nationale de la Recherche (ANR) funding (grant numbers ANR-21-CE11-0012 and ANR-22-CE15-0034), all awarded to P.-Y.L. This work was also supported by the LABEX ECOFECT (ANR-11-LABX-0048) of Université de Lyon (UDL), within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operated by the ANR and by the RESPOND program of the UDL (awarded to P.-Y.L) . C.A. was supported by the Chica and Heinz Schaller Research Group funds, NARSAD 2019 award, a Fritz Thyssen Research Grant, and the SFB1158-S02 grant. L.B-S. is supported by a United Kingdom Biotechnology and Biological Sciences Research Council grant (BB/P024270/1) and a Wellcome Trust grant (223743/Z/21/Z). F.K.M.S acknowledges support from the Austrian Science Fund (FWF, P31445). J.K. received a salary from the DFG (LO-2338/3-1) and then from the ANR (ANR-11-LABX-0048). The salary of Z.M.U. was partially covered by the DFG (LO-2338/3-1). S.K. received a salary from the DFG (SFB1129). We are grateful to the Chinese Scholarship Council (CSC; 201904910701), DAAD/ANID (57451854/62180003), the Rufus A. Kellogg fellowship program (Amherst College, Massachusetts, USA) for awarding fellowships to Q.X., J.C., and H.A.A., respectively.","language":[{"iso":"eng"}],"_id":"14255","issue":"8","publisher":"Public Library of Science","acknowledged_ssus":[{"_id":"EM-Fac"}],"publication_status":"published","project":[{"call_identifier":"FWF","grant_number":"P31445","_id":"26736D6A-B435-11E9-9278-68D0E5697425","name":"Structural conservation and diversity in retroviral capsid"}],"pmid":1,"quality_controlled":"1","department":[{"_id":"FlSc"}],"volume":19,"type":"journal_article","date_created":"2023-09-03T22:01:14Z","scopus_import":"1","oa_version":"Published Version","intvolume":"        19","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2023-08-14T00:00:00Z","publication":"PLoS Pathogens","abstract":[{"text":"Toscana virus is a major cause of arboviral disease in humans in the Mediterranean basin during summer. However, early virus-host cell interactions and entry mechanisms remain poorly characterized. Investigating iPSC-derived human neurons and cell lines, we found that virus binding to the cell surface was specific, and 50% of bound virions were endocytosed within 10 min. Virions entered Rab5a+ early endosomes and, subsequently, Rab7a+ and LAMP-1+ late endosomal compartments. Penetration required intact late endosomes and occurred within 30 min following internalization. Virus entry relied on vacuolar acidification, with an optimal pH for viral membrane fusion at pH 5.5. The pH threshold increased to 5.8 with longer pre-exposure of virions to the slightly acidic pH in early endosomes. Strikingly, the particles remained infectious after entering late endosomes with a pH below the fusion threshold. Overall, our study establishes Toscana virus as a late-penetrating virus and reveals an atypical use of vacuolar acidity by this virus to enter host cells.","lang":"eng"}]},{"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"       676","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"Astronomy and Astrophysics","status":"public","date_published":"2023-08-01T00:00:00Z","abstract":[{"text":"Context. Space asteroseismology is revolutionizing our knowledge of the internal structure and dynamics of stars. A breakthrough is ongoing with the recent discoveries of signatures of strong magnetic fields in the core of red giant stars. The key signature for such a detection is the asymmetry these fields induce in the frequency splittings of observed dipolar mixed gravito-acoustic modes.\r\nAims. We investigate the ability of the observed asymmetries of the frequency splittings of dipolar mixed modes to constrain the geometrical properties of deep magnetic fields.\r\nMethods. We used the powerful analytical Racah-Wigner algebra used in quantum mechanics to characterize the geometrical couplings of dipolar mixed oscillation modes with various realistically plausible topologies of fossil magnetic fields. We also computed the induced perturbation of their frequencies.\r\nResults. First, in the case of an oblique magnetic dipole, we provide the exact analytical expression of the asymmetry as a function of the angle between the rotation and magnetic axes. Its value provides a direct measure of this angle. Second, considering a combination of axisymmetric dipolar and quadrupolar fields, we show how the asymmetry is blind to the unraveling of the relative strength and sign of each component. Finally, in the case of a given multipole, we show that a negative asymmetry is a signature of non-axisymmetric topologies.\r\nConclusions. Asymmetries of dipolar mixed modes provide a key bit of information on the geometrical topology of deep fossil magnetic fields, but this is insufficient on its own. Asteroseismic constraints should therefore be combined with spectropolarimetric observations and numerical simulations, which aim to predict the more probable stable large-scale geometries.","lang":"eng"}],"date_created":"2023-09-03T22:01:15Z","scopus_import":"1","oa_version":"Published Version","type":"journal_article","volume":676,"publisher":"EDP Sciences","publication_status":"published","quality_controlled":"1","department":[{"_id":"LiBu"}],"_id":"14256","language":[{"iso":"eng"}],"acknowledgement":"The authors are grateful to the referee for her/his detailed and constructive report, which has allowed us to improve our article. S. M. acknowledges support from the CNES GOLF-SOHO and PLATO grants at CEA/DAp and PNPS (CNRS/INSU). We thank R. A. Garcia for fruitful discussions and suggestions.","ddc":["520"],"citation":{"short":"S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).","mla":"Mathis, S., and Lisa Annabelle Bugnet. “Asymmetries of Frequency Splittings of Dipolar Mixed Modes: A Window on the Topology of Deep Magnetic Fields.” <i>Astronomy and Astrophysics</i>, vol. 676, L9, EDP Sciences, 2023, doi:<a href=\"https://doi.org/10.1051/0004-6361/202346832\">10.1051/0004-6361/202346832</a>.","ieee":"S. Mathis and L. A. Bugnet, “Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields,” <i>Astronomy and Astrophysics</i>, vol. 676. EDP Sciences, 2023.","chicago":"Mathis, S., and Lisa Annabelle Bugnet. “Asymmetries of Frequency Splittings of Dipolar Mixed Modes: A Window on the Topology of Deep Magnetic Fields.” <i>Astronomy and Astrophysics</i>. EDP Sciences, 2023. <a href=\"https://doi.org/10.1051/0004-6361/202346832\">https://doi.org/10.1051/0004-6361/202346832</a>.","apa":"Mathis, S., &#38; Bugnet, L. A. (2023). Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. <i>Astronomy and Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202346832\">https://doi.org/10.1051/0004-6361/202346832</a>","ista":"Mathis S, Bugnet LA. 2023. Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. Astronomy and Astrophysics. 676, L9.","ama":"Mathis S, Bugnet LA. Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. <i>Astronomy and Astrophysics</i>. 2023;676. doi:<a href=\"https://doi.org/10.1051/0004-6361/202346832\">10.1051/0004-6361/202346832</a>"},"arxiv":1,"article_type":"letter_note","author":[{"first_name":"S.","last_name":"Mathis","full_name":"Mathis, S."},{"orcid":"0000-0003-0142-4000","full_name":"Bugnet, Lisa Annabelle","first_name":"Lisa Annabelle","last_name":"Bugnet","id":"d9edb345-f866-11ec-9b37-d119b5234501"}],"file":[{"content_type":"application/pdf","checksum":"7b30d26fb2b7bcb5b5be1414950615f9","creator":"dernst","file_name":"2023_AstronomyAstrophysics_Mathis.pdf","relation":"main_file","success":1,"file_id":"14271","file_size":458120,"date_updated":"2023-09-06T07:13:19Z","date_created":"2023-09-06T07:13:19Z","access_level":"open_access"}],"month":"08","article_number":"L9","file_date_updated":"2023-09-06T07:13:19Z","oa":1,"article_processing_charge":"Yes (in subscription journal)","year":"2023","has_accepted_license":"1","date_updated":"2023-09-06T11:05:58Z","day":"01","publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"external_id":{"isi":["001046037700007"],"arxiv":["2306.11587"]},"isi":1,"doi":"10.1051/0004-6361/202346832","title":"Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields"},{"date_created":"2023-09-03T22:01:15Z","scopus_import":"1","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Nature Biotechnology","date_published":"2023-08-31T00:00:00Z","status":"public","abstract":[{"text":"Mapping the complex and dense arrangement of cells and their connectivity in brain tissue demands nanoscale spatial resolution imaging. Super-resolution optical microscopy excels at visualizing specific molecules and individual cells but fails to provide tissue context. Here we developed Comprehensive Analysis of Tissues across Scales (CATS), a technology to densely map brain tissue architecture from millimeter regional to nanometer synaptic scales in diverse chemically fixed brain preparations, including rodent and human. CATS uses fixation-compatible extracellular labeling and optical imaging, including stimulated emission depletion or expansion microscopy, to comprehensively delineate cellular structures. It enables three-dimensional reconstruction of single synapses and mapping of synaptic connectivity by identification and analysis of putative synaptic cleft regions. Applying CATS to the mouse hippocampal mossy fiber circuitry, we reconstructed and quantified the synaptic input and output structure of identified neurons. We furthermore demonstrate applicability to clinically derived human tissue samples, including formalin-fixed paraffin-embedded routine diagnostic specimens, for visualizing the cellular architecture of brain tissue in health and disease.","lang":"eng"}],"publisher":"Springer Nature","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"},{"_id":"M-Shop"},{"_id":"E-Lib"}],"publication_status":"epub_ahead","quality_controlled":"1","project":[{"call_identifier":"FWF","grant_number":"I03600","name":"Optical control of synaptic function via adhesion molecules","_id":"265CB4D0-B435-11E9-9278-68D0E5697425"},{"name":"Molecular Drug Targets","_id":"2548AE96-B435-11E9-9278-68D0E5697425","grant_number":"W1232-B24","call_identifier":"FWF"},{"name":"The Wittgenstein Prize","_id":"25C5A090-B435-11E9-9278-68D0E5697425","grant_number":"Z00312","call_identifier":"FWF"},{"name":"High content imaging to decode human immune cell interactions in health and allergic disease","_id":"23889792-32DE-11EA-91FC-C7463DDC885E"},{"call_identifier":"H2020","grant_number":"715508","name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","_id":"25444568-B435-11E9-9278-68D0E5697425"},{"name":"Biophysics and circuit function of a giant cortical glumatergic synapse","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","grant_number":"692692","call_identifier":"H2020"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"},{"call_identifier":"H2020","name":"Synaptic computations of the hippocampal CA3 circuitry","_id":"fc2be41b-9c52-11eb-aca3-faa90aa144e9","grant_number":"101026635"}],"department":[{"_id":"SaSi"},{"_id":"GaNo"},{"_id":"PeJo"},{"_id":"JoDa"},{"_id":"Bio"},{"_id":"RySh"}],"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41587-023-01911-8"}],"citation":{"short":"J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).","mla":"Michalska, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” <i>Nature Biotechnology</i>, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41587-023-01911-8\">10.1038/s41587-023-01911-8</a>.","chicago":"Michalska, Julia M, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” <i>Nature Biotechnology</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41587-023-01911-8\">https://doi.org/10.1038/s41587-023-01911-8</a>.","ieee":"J. M. Michalska <i>et al.</i>, “Imaging brain tissue architecture across millimeter to nanometer scales,” <i>Nature Biotechnology</i>. Springer Nature, 2023.","ista":"Michalska JM, Lyudchik J, Velicky P, Korinkova H, Watson J, Cenameri A, Sommer CM, Amberg N, Venturino A, Roessler K, Czech T, Höftberger R, Siegert S, Novarino G, Jonas PM, Danzl JG. 2023. Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology.","apa":"Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. <i>Nature Biotechnology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41587-023-01911-8\">https://doi.org/10.1038/s41587-023-01911-8</a>","ama":"Michalska JM, Lyudchik J, Velicky P, et al. Imaging brain tissue architecture across millimeter to nanometer scales. <i>Nature Biotechnology</i>. 2023. doi:<a href=\"https://doi.org/10.1038/s41587-023-01911-8\">10.1038/s41587-023-01911-8</a>"},"article_type":"original","author":[{"id":"443DB6DE-F248-11E8-B48F-1D18A9856A87","first_name":"Julia M","last_name":"Michalska","full_name":"Michalska, Julia M","orcid":"0000-0003-3862-1235"},{"id":"46E28B80-F248-11E8-B48F-1D18A9856A87","first_name":"Julia","last_name":"Lyudchik","full_name":"Lyudchik, Julia"},{"full_name":"Velicky, Philipp","orcid":"0000-0002-2340-7431","id":"39BDC62C-F248-11E8-B48F-1D18A9856A87","last_name":"Velicky","first_name":"Philipp"},{"id":"ee3cb6ca-ec98-11ea-ae11-ff703e2254ed","first_name":"Hana","last_name":"Korinkova","full_name":"Korinkova, Hana"},{"full_name":"Watson, Jake","orcid":"0000-0002-8698-3823","last_name":"Watson","first_name":"Jake","id":"63836096-4690-11EA-BD4E-32803DDC885E"},{"id":"9ac8f577-2357-11eb-997a-e566c5550886","last_name":"Cenameri","first_name":"Alban","full_name":"Cenameri, Alban"},{"orcid":"0000-0003-1216-9105","full_name":"Sommer, Christoph M","last_name":"Sommer","first_name":"Christoph M","id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-3183-8207","full_name":"Amberg, Nicole","last_name":"Amberg","first_name":"Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87"},{"id":"41CB84B2-F248-11E8-B48F-1D18A9856A87","last_name":"Venturino","first_name":"Alessandro","full_name":"Venturino, Alessandro","orcid":"0000-0003-2356-9403"},{"first_name":"Karl","last_name":"Roessler","full_name":"Roessler, Karl"},{"first_name":"Thomas","last_name":"Czech","full_name":"Czech, Thomas"},{"last_name":"Höftberger","first_name":"Romana","full_name":"Höftberger, Romana"},{"orcid":"0000-0001-8635-0877","full_name":"Siegert, Sandra","first_name":"Sandra","last_name":"Siegert","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Novarino, Gaia","orcid":"0000-0002-7673-7178","first_name":"Gaia","last_name":"Novarino","id":"3E57A680-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Peter M","last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"},{"last_name":"Danzl","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973"}],"month":"08","_id":"14257","language":[{"iso":"eng"}],"acknowledgement":"We thank J. Vorlaufer, N. Agudelo-Dueñas, W. Jahr and A. Wartak for microscope maintenance and troubleshooting; C. Kreuzinger, A. Freeman and I. Erber for technical assistance; and M. Tomschik for support with obtaining human samples. We gratefully acknowledge E. Miguel for setting up webKnossos and M. Šuplata for computational support and hardware control. We are grateful to R. Shigemoto and B. Bickel for generous support and M. Sixt and S. Boyd (Stanford University) for discussions and critical reading of the paper. PSD95-HaloTag mice were kindly provided by S. Grant (University of Edinburgh). We acknowledge expert support by Institute of Science and Technology Austria’s scientific computing, imaging and optics, preclinical and lab support facilities and by the Miba machine shop and library. We gratefully acknowledge funding by the following sources: Austrian Science Fund (FWF) grant I3600-B27 (J.G.D.); Austrian Science Fund (FWF) grant DK W1232 (J.G.D. and J.M.M.); Austrian Science Fund (FWF) grant Z 312-B27, Wittgenstein award (P.J.); Austrian Science Fund (FWF) projects I4685-B, I6565-B (SYNABS) and DOC 33-B27 (R.H.); Gesellschaft für Forschungsförderung NÖ (NFB) grant LSC18-022 (J.G.D.); European Union’s Horizon 2020 research and innovation programme, European Research Council (ERC) grant 715508 – REVERSEAUTISM (G.N.); European Union’s Horizon 2020 research and innovation programme, European Research Council (ERC) grant 692692 – GIANTSYN (P.J.); Marie Skłodowska-Curie Actions Fellowship GA no. 665385 under the EU Horizon 2020 program (J.M.M. and J.L.); and Marie Skłodowska-Curie Actions Individual Fellowship no. 101026635 under the EU Horizon 2020 program (J.F.W.).","date_updated":"2024-02-21T12:18:18Z","day":"31","publication_identifier":{"eissn":["1546-1696"],"issn":["1087-0156"]},"external_id":{"isi":["001065254200001"]},"isi":1,"doi":"10.1038/s41587-023-01911-8","title":"Imaging brain tissue architecture across millimeter to nanometer scales","oa":1,"article_processing_charge":"Yes (in subscription journal)","ec_funded":1,"year":"2023","related_material":{"record":[{"id":"13126","relation":"research_data","status":"public"}],"link":[{"url":"https://github.com/danzllab/CATS","relation":"software"}]}},{"oa_version":"Published Version","date_created":"2023-09-03T22:01:15Z","scopus_import":"1","date_published":"2023-09-07T00:00:00Z","status":"public","publication":"American Journal of Human Genetics","abstract":[{"text":"There is currently little evidence that the genetic basis of human phenotype varies significantly across the lifespan. However, time-to-event phenotypes are understudied and can be thought of as reflecting an underlying hazard, which is unlikely to be constant through life when values take a broad range. Here, we find that 74% of 245 genome-wide significant genetic associations with age at natural menopause (ANM) in the UK Biobank show a form of age-specific effect. Nineteen of these replicated discoveries are identified only by our modeling framework, which determines the time dependency of DNA-variant age-at-onset associations without a significant multiple-testing burden. Across the range of early to late menopause, we find evidence for significantly different underlying biological pathways, changes in the signs of genetic correlations of ANM to health indicators and outcomes, and differences in inferred causal relationships. We find that DNA damage response processes only act to shape ovarian reserve and depletion for women of early ANM. Genetically mediated delays in ANM were associated with increased relative risk of breast cancer and leiomyoma at all ages and with high cholesterol and heart failure for late-ANM women. These findings suggest that a better understanding of the age dependency of genetic risk factor relationships among health indicators and outcomes is achievable through appropriate statistical modeling of large-scale biobank data.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"       110","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"quality_controlled":"1","department":[{"_id":"MaRo"}],"publisher":"Elsevier","publication_status":"published","volume":110,"type":"journal_article","file_date_updated":"2024-01-30T13:20:35Z","month":"09","file":[{"file_id":"14912","success":1,"file_size":2551276,"date_created":"2024-01-30T13:20:35Z","date_updated":"2024-01-30T13:20:35Z","access_level":"open_access","content_type":"application/pdf","creator":"dernst","checksum":"4108b031dc726ae6b4a5ae7e021ba188","file_name":"2023_AJHG_Ojavee.pdf","relation":"main_file"}],"author":[{"full_name":"Ojavee, Sven E.","first_name":"Sven E.","last_name":"Ojavee"},{"full_name":"Darrous, Liza","first_name":"Liza","last_name":"Darrous"},{"last_name":"Patxot","first_name":"Marion","full_name":"Patxot, Marion"},{"last_name":"Läll","first_name":"Kristi","full_name":"Läll, Kristi"},{"full_name":"Fischer, Krista","first_name":"Krista","last_name":"Fischer"},{"first_name":"Reedik","last_name":"Mägi","full_name":"Mägi, Reedik"},{"full_name":"Kutalik, Zoltan","last_name":"Kutalik","first_name":"Zoltan"},{"full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","first_name":"Matthew Richard","last_name":"Robinson"}],"citation":{"ista":"Ojavee SE, Darrous L, Patxot M, Läll K, Fischer K, Mägi R, Kutalik Z, Robinson MR. 2023. Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. 110(9), 1549–1563.","apa":"Ojavee, S. E., Darrous, L., Patxot, M., Läll, K., Fischer, K., Mägi, R., … Robinson, M. R. (2023). Genetic insights into the age-specific biological mechanisms governing human ovarian aging. <i>American Journal of Human Genetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ajhg.2023.07.006\">https://doi.org/10.1016/j.ajhg.2023.07.006</a>","ama":"Ojavee SE, Darrous L, Patxot M, et al. Genetic insights into the age-specific biological mechanisms governing human ovarian aging. <i>American Journal of Human Genetics</i>. 2023;110(9):1549-1563. doi:<a href=\"https://doi.org/10.1016/j.ajhg.2023.07.006\">10.1016/j.ajhg.2023.07.006</a>","short":"S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.","mla":"Ojavee, Sven E., et al. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” <i>American Journal of Human Genetics</i>, vol. 110, no. 9, Elsevier, 2023, pp. 1549–63, doi:<a href=\"https://doi.org/10.1016/j.ajhg.2023.07.006\">10.1016/j.ajhg.2023.07.006</a>.","chicago":"Ojavee, Sven E., Liza Darrous, Marion Patxot, Kristi Läll, Krista Fischer, Reedik Mägi, Zoltan Kutalik, and Matthew Richard Robinson. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” <i>American Journal of Human Genetics</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.ajhg.2023.07.006\">https://doi.org/10.1016/j.ajhg.2023.07.006</a>.","ieee":"S. E. Ojavee <i>et al.</i>, “Genetic insights into the age-specific biological mechanisms governing human ovarian aging,” <i>American Journal of Human Genetics</i>, vol. 110, no. 9. Elsevier, pp. 1549–1563, 2023."},"ddc":["570"],"article_type":"original","issue":"9","page":"1549-1563","acknowledgement":"This project was funded by an SNSF Eccellenza grant to M.R.R. (PCEGP3-181181) and by core funding from the Institute of Science and Technology Austria. K.L. and R.M. were supported by the Estonian Research Council grant 1911. Estonian Biobank computations were performed in the High-Performance Computing Center, University of Tartu. We thank Triin Laisk for her valuable insights and comments that helped greatly. We would like to acknowledge the participants and investigators of UK Biobank and Estonian Biobank studies. This project uses UK Biobank data under project number 35520.","_id":"14258","language":[{"iso":"eng"}],"external_id":{"pmid":["37543033"]},"title":"Genetic insights into the age-specific biological mechanisms governing human ovarian aging","doi":"10.1016/j.ajhg.2023.07.006","date_updated":"2024-01-30T13:21:05Z","publication_identifier":{"eissn":["1537-6605"],"issn":["0002-9297"]},"day":"07","year":"2023","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","oa":1},{"department":[{"_id":"KrCh"}],"quality_controlled":"1","publication_status":"published","publisher":"Springer Nature","volume":13964,"type":"conference","oa_version":"Published Version","alternative_title":["LNCS"],"scopus_import":"1","date_created":"2023-09-03T22:01:16Z","abstract":[{"lang":"eng","text":"We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions.\r\nIn contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning."}],"status":"public","date_published":"2023-07-17T00:00:00Z","publication":"35th International Conference on Computer Aided Verification ","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"     13964","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"title":"Guessing winning policies in LTL synthesis by semantic learning","doi":"10.1007/978-3-031-37706-8_20","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031377051"],"issn":["0302-9743"]},"day":"17","date_updated":"2023-09-06T08:27:33Z","has_accepted_license":"1","conference":{"end_date":"2023-07-22","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","location":"Paris, France"},"year":"2023","article_processing_charge":"Yes (in subscription journal)","oa":1,"month":"07","file_date_updated":"2023-09-06T08:25:50Z","file":[{"access_level":"open_access","date_created":"2023-09-06T08:25:50Z","date_updated":"2023-09-06T08:25:50Z","file_size":428354,"file_id":"14276","success":1,"file_name":"2023_LNCS_CAV_Kretinsky.pdf","relation":"main_file","creator":"dernst","checksum":"ed66278b61bb869e1baba3d9b9081271","content_type":"application/pdf"}],"author":[{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Kretinsky","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias","last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias"},{"full_name":"Prokop, Maximilian","first_name":"Maximilian","last_name":"Prokop"},{"first_name":"Sabine","last_name":"Rieder","full_name":"Rieder, Sabine"}],"citation":{"apa":"Kretinsky, J., Meggendorfer, T., Prokop, M., &#38; Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In <i>35th International Conference on Computer Aided Verification </i> (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">https://doi.org/10.1007/978-3-031-37706-8_20</a>","ista":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. 2023. Guessing winning policies in LTL synthesis by semantic learning. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 390–414.","ama":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: <i>35th International Conference on Computer Aided Verification </i>. Vol 13964. Springer Nature; 2023:390-414. doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">10.1007/978-3-031-37706-8_20</a>","mla":"Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” <i>35th International Conference on Computer Aided Verification </i>, vol. 13964, Springer Nature, 2023, pp. 390–414, doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">10.1007/978-3-031-37706-8_20</a>.","short":"J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.","ieee":"J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in <i>35th International Conference on Computer Aided Verification </i>, Paris, France, 2023, vol. 13964, pp. 390–414.","chicago":"Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In <i>35th International Conference on Computer Aided Verification </i>, 13964:390–414. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">https://doi.org/10.1007/978-3-031-37706-8_20</a>."},"ddc":["000"],"page":"390-414","acknowledgement":"This research was funded in part by the German Research Foundation (DFG) project 427755713 Group-By Objectives in Probabilistic Verification (GOPro).","language":[{"iso":"eng"}],"_id":"14259"},{"page":"156-169","_id":"14260","language":[{"iso":"eng"}],"file_date_updated":"2023-09-06T08:16:25Z","month":"07","file":[{"date_updated":"2023-09-06T08:16:25Z","date_created":"2023-09-06T08:16:25Z","access_level":"open_access","success":1,"file_id":"14275","file_size":421408,"creator":"dernst","checksum":"c346016393123a0a2338ad4d976f61bc","file_name":"2023_LNCS_Koval.pdf","relation":"main_file","content_type":"application/pdf"}],"author":[{"full_name":"Koval, Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","first_name":"Nikita"},{"id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","last_name":"Fedorov","first_name":"Alexander","full_name":"Fedorov, Alexander"},{"full_name":"Sokolova, Maria","last_name":"Sokolova","first_name":"Maria"},{"full_name":"Tsitelov, Dmitry","first_name":"Dmitry","last_name":"Tsitelov"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"}],"citation":{"ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.","apa":"Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &#38; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In <i>35th International Conference on Computer Aided Verification </i> (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: <i>35th International Conference on Computer Aided Verification </i>. Vol 13964. Springer Nature; 2023:156-169. doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</a>","mla":"Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” <i>35th International Conference on Computer Aided Verification </i>, vol. 13964, Springer Nature, 2023, pp. 156–69, doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</a>.","short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.","chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In <i>35th International Conference on Computer Aided Verification </i>, 13964:156–69. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>.","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in <i>35th International Conference on Computer Aided Verification </i>, Paris, France, 2023, vol. 13964, pp. 156–169."},"ddc":["000"],"related_material":{"record":[{"relation":"research_data","id":"14995","status":"public"}]},"has_accepted_license":"1","conference":{"start_date":"2023-07-17","end_date":"2023-07-22","location":"Paris, France","name":"CAV: Computer Aided Verification"},"year":"2023","article_processing_charge":"Yes (in subscription journal)","oa":1,"title":"Lincheck: A practical framework for testing concurrent data structures on JVM","doi":"10.1007/978-3-031-37706-8_8","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031377051"],"issn":["0302-9743"]},"day":"17","date_updated":"2024-02-27T07:46:52Z","abstract":[{"text":"This paper presents Lincheck, a new practical and user-friendly framework for testing concurrent algorithms on the Java Virtual Machine (JVM). Lincheck provides a simple and declarative way to write concurrent tests: instead of describing how to perform the test, users specify what to test by declaring all the operations to examine; the framework automatically handles the rest. As a result, tests written with Lincheck are concise and easy to understand. The framework automatically generates a set of concurrent scenarios, examines them using stress-testing or bounded model checking, and verifies that the results of each invocation are correct. Notably, if an error is detected via model checking, Lincheck provides an easy-to-follow trace to reproduce it, significantly simplifying the bug investigation.\r\n\r\nTo the best of our knowledge, Lincheck is the first production-ready tool on the JVM that offers such a simple way of writing concurrent tests, without requiring special skills or expertise. We successfully integrated Lincheck in the development process of several large projects, such as Kotlin Coroutines, and identified new bugs in popular concurrency libraries, such as a race in Java’s standard ConcurrentLinkedDeque and a liveliness bug in Java’s AbstractQueuedSynchronizer framework, which is used in most of the synchronization primitives. We believe that Lincheck can significantly improve the quality and productivity of concurrent algorithms research and development and become the state-of-the-art tool for checking their correctness.","lang":"eng"}],"date_published":"2023-07-17T00:00:00Z","status":"public","publication":"35th International Conference on Computer Aided Verification ","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"     13964","oa_version":"Published Version","alternative_title":["LNCS"],"scopus_import":"1","date_created":"2023-09-03T22:01:16Z","volume":13964,"type":"conference","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"quality_controlled":"1","publication_status":"published","publisher":"Springer Nature"},{"acknowledgement":"Financial supports for this work via a PhD scholarship for J. Gamper issued by the Leopold-Franzens-University of Innsbruck (Vicerector Prof. Dr Ulrike Tanzer) are gratefully acknowledged. The computational results presented have been achieved (in part) using the HPC infrastructure of the University of Innsbruck.","_id":"14261","language":[{"iso":"eng"}],"issue":"33","page":"7395-7403","citation":{"ama":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. <i>Journal of Physical Chemistry Letters</i>. 2023;14(33):7395-7403. doi:<a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">10.1021/acs.jpclett.3c01707</a>","ista":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 14(33), 7395–7403.","apa":"Gamper, J., Kluibenschedl, F., Weiss, A. K. H., &#38; Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. <i>Journal of Physical Chemistry Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">https://doi.org/10.1021/acs.jpclett.3c01707</a>","chicago":"Gamper, Jakob, Florian Kluibenschedl, Alexander K.H. Weiss, and Thomas S. Hofer. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” <i>Journal of Physical Chemistry Letters</i>. American Chemical Society, 2023. <a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">https://doi.org/10.1021/acs.jpclett.3c01707</a>.","ieee":"J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems,” <i>Journal of Physical Chemistry Letters</i>, vol. 14, no. 33. American Chemical Society, pp. 7395–7403, 2023.","mla":"Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” <i>Journal of Physical Chemistry Letters</i>, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:<a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">10.1021/acs.jpclett.3c01707</a>.","short":"J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403."},"ddc":["530","540"],"article_type":"original","month":"08","file_date_updated":"2023-09-06T07:32:39Z","author":[{"full_name":"Gamper, Jakob","first_name":"Jakob","last_name":"Gamper"},{"id":"7499e70e-eb2c-11ec-b98b-f925648bc9d9","first_name":"Florian","last_name":"Kluibenschedl","full_name":"Kluibenschedl, Florian"},{"full_name":"Weiss, Alexander K.H.","first_name":"Alexander K.H.","last_name":"Weiss"},{"full_name":"Hofer, Thomas S.","last_name":"Hofer","first_name":"Thomas S."}],"file":[{"access_level":"open_access","date_updated":"2023-09-06T07:32:39Z","date_created":"2023-09-06T07:32:39Z","file_size":4986859,"success":1,"file_id":"14272","relation":"main_file","file_name":"2023_JourPhysChemistry_Gamper.pdf","checksum":"637454e2b3a357498d8d622d241c4bf6","creator":"dernst","content_type":"application/pdf"}],"oa":1,"article_processing_charge":"Yes (in subscription journal)","year":"2023","has_accepted_license":"1","date_updated":"2023-09-06T11:04:31Z","publication_identifier":{"eissn":["1948-7185"]},"day":"11","isi":1,"external_id":{"pmid":["37566743"],"isi":["001048165800001"]},"title":"Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems","doi":"10.1021/acs.jpclett.3c01707","intvolume":"        14","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","date_published":"2023-08-11T00:00:00Z","publication":"Journal of Physical Chemistry Letters","abstract":[{"text":"In this work, a generalized, adapted Numerov implementation capable of determining band structures of periodic quantum systems is outlined. Based on the input potential, the presented approach numerically solves the Schrödinger equation in position space at each momentum space point. Thus, in addition to the band structure, the method inherently provides information about the state functions and probability densities in position space at each momentum space point considered. The generalized, adapted Numerov framework provided reliable estimates for a variety of increasingly complex test suites in one, two, and three dimensions. The accuracy of the proposed methodology was benchmarked against results obtained for the analytically solvable Kronig-Penney model. Furthermore, the presented numerical solver was applied to a model potential representing a 2D optical lattice being a challenging application relevant, for example, in the field of quantum computing.","lang":"eng"}],"date_created":"2023-09-03T22:01:16Z","scopus_import":"1","oa_version":"Published Version","volume":14,"type":"journal_article","publisher":"American Chemical Society","publication_status":"published","pmid":1,"quality_controlled":"1","department":[{"_id":"GradSch"}]},{"oa":1,"article_processing_charge":"No","related_material":{"record":[{"status":"public","id":"14279","relation":"research_data"},{"status":"public","relation":"dissertation_contains","id":"14697"}]},"year":"2023","ec_funded":1,"publication_identifier":{"issn":["2470-9468"]},"day":"01","date_updated":"2023-12-21T14:30:01Z","title":"CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration","doi":"10.1126/sciimmunol.adc9584","isi":1,"external_id":{"pmid":["37656776"],"isi":["001062110600003"]},"acknowledgement":"We thank I. de Vries and the Scientific Service Units (Life Sciences, Bioimaging, Nanofabrication, Preclinical and Miba Machine Shop) of the Institute of Science and Technology Austria for excellent support, as well as all the rotation students assisting in the laboratory work (B. Zens, H. Schön, and D. Babic).\r\nThis work was supported by grants from the European Research Council under the European Union’s Horizon 2020 research to M.S. (grant agreement no. 724373) and to E.H. (grant agreement no. 851288), and a grant by the Austrian Science Fund (DK Nanocell W1250-B20) to M.S. J.A. was supported by the Jenny and Antti Wihuri Foundation and Research Council of Finland's Flagship Programme InFLAMES (decision number: 357910). M.C.U. was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 754411.","language":[{"iso":"eng"}],"_id":"14274","issue":"87","article_type":"original","citation":{"ama":"Alanko JH, Ucar MC, Canigova N, et al. CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. <i>Science Immunology</i>. 2023;8(87). doi:<a href=\"https://doi.org/10.1126/sciimmunol.adc9584\">10.1126/sciimmunol.adc9584</a>","ista":"Alanko JH, Ucar MC, Canigova N, Stopp JA, Schwarz J, Merrin J, Hannezo EB, Sixt MK. 2023. CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. Science Immunology. 8(87), adc9584.","apa":"Alanko, J. H., Ucar, M. C., Canigova, N., Stopp, J. A., Schwarz, J., Merrin, J., … Sixt, M. K. (2023). CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. <i>Science Immunology</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/sciimmunol.adc9584\">https://doi.org/10.1126/sciimmunol.adc9584</a>","chicago":"Alanko, Jonna H, Mehmet C Ucar, Nikola Canigova, Julian A Stopp, Jan Schwarz, Jack Merrin, Edouard B Hannezo, and Michael K Sixt. “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.” <i>Science Immunology</i>. American Association for the Advancement of Science, 2023. <a href=\"https://doi.org/10.1126/sciimmunol.adc9584\">https://doi.org/10.1126/sciimmunol.adc9584</a>.","ieee":"J. H. Alanko <i>et al.</i>, “CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration,” <i>Science Immunology</i>, vol. 8, no. 87. American Association for the Advancement of Science, 2023.","mla":"Alanko, Jonna H., et al. “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.” <i>Science Immunology</i>, vol. 8, no. 87, adc9584, American Association for the Advancement of Science, 2023, doi:<a href=\"https://doi.org/10.1126/sciimmunol.adc9584\">10.1126/sciimmunol.adc9584</a>.","short":"J.H. Alanko, M.C. Ucar, N. Canigova, J.A. Stopp, J. Schwarz, J. Merrin, E.B. Hannezo, M.K. Sixt, Science Immunology 8 (2023)."},"keyword":["General Medicine","Immunology"],"month":"09","article_number":"adc9584","author":[{"first_name":"Jonna H","last_name":"Alanko","id":"2CC12E8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7698-3061","full_name":"Alanko, Jonna H"},{"first_name":"Mehmet C","last_name":"Ucar","id":"50B2A802-6007-11E9-A42B-EB23E6697425","full_name":"Ucar, Mehmet C","orcid":"0000-0003-0506-4217"},{"orcid":"0000-0002-8518-5926","full_name":"Canigova, Nikola","id":"3795523E-F248-11E8-B48F-1D18A9856A87","last_name":"Canigova","first_name":"Nikola"},{"id":"489E3F00-F248-11E8-B48F-1D18A9856A87","last_name":"Stopp","first_name":"Julian A","full_name":"Stopp, Julian A"},{"full_name":"Schwarz, Jan","first_name":"Jan","last_name":"Schwarz","id":"346C1EC6-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-5145-4609","full_name":"Merrin, Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87","first_name":"Jack","last_name":"Merrin"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","first_name":"Edouard B","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B"},{"last_name":"Sixt","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K"}],"volume":8,"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1126/sciimmunol.adc9584","open_access":"1"}],"publication_status":"published","publisher":"American Association for the Advancement of Science","department":[{"_id":"MiSi"},{"_id":"EdHa"},{"_id":"NanoFab"}],"pmid":1,"project":[{"call_identifier":"H2020","grant_number":"724373","name":"Cellular navigation along spatial gradients","_id":"25FE9508-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","grant_number":"851288","_id":"05943252-7A3F-11EA-A408-12923DDC885E","name":"Design Principles of Branching Morphogenesis"},{"name":"Nano-Analytics of Cellular Systems","_id":"265E2996-B435-11E9-9278-68D0E5697425","grant_number":"W01250-B20","call_identifier":"FWF"},{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"}],"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"         8","abstract":[{"text":"Immune responses rely on the rapid and coordinated migration of leukocytes. Whereas it is well established that single-cell migration is often guided by gradients of chemokines and other chemoattractants, it remains poorly understood how these gradients are generated, maintained, and modulated. By combining experimental data with theory on leukocyte chemotaxis guided by the G protein–coupled receptor (GPCR) CCR7, we demonstrate that in addition to its role as the sensory receptor that steers migration, CCR7 also acts as a generator and a modulator of chemotactic gradients. Upon exposure to the CCR7 ligand CCL19, dendritic cells (DCs) effectively internalize the receptor and ligand as part of the canonical GPCR desensitization response. We show that CCR7 internalization also acts as an effective sink for the chemoattractant, dynamically shaping the spatiotemporal distribution of the chemokine. This mechanism drives complex collective migration patterns, enabling DCs to create or sharpen chemotactic gradients. We further show that these self-generated gradients can sustain the long-range guidance of DCs, adapt collective migration patterns to the size and geometry of the environment, and provide a guidance cue for other comigrating cells. Such a dual role of CCR7 as a GPCR that both senses and consumes its ligand can thus provide a novel mode of cellular self-organization.","lang":"eng"}],"date_published":"2023-09-01T00:00:00Z","status":"public","publication":"Science Immunology","scopus_import":"1","date_created":"2023-09-06T08:07:51Z","oa_version":"Published Version"},{"day":"20","publication_identifier":{"issn":["2835-8279"]},"date_updated":"2023-09-15T06:39:17Z","doi":"10.1103/prxlife.1.013001","title":"Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers","article_processing_charge":"Yes","oa":1,"has_accepted_license":"1","year":"2023","ec_funded":1,"article_type":"original","ddc":["570"],"citation":{"ama":"Boocock DR, Hirashima T, Hannezo EB. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. <i>PRX Life</i>. 2023;1(1). doi:<a href=\"https://doi.org/10.1103/prxlife.1.013001\">10.1103/prxlife.1.013001</a>","apa":"Boocock, D. R., Hirashima, T., &#38; Hannezo, E. B. (2023). Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. <i>PRX Life</i>. American Physical Society. <a href=\"https://doi.org/10.1103/prxlife.1.013001\">https://doi.org/10.1103/prxlife.1.013001</a>","ista":"Boocock DR, Hirashima T, Hannezo EB. 2023. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. 1(1), 013001.","ieee":"D. R. Boocock, T. Hirashima, and E. B. Hannezo, “Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers,” <i>PRX Life</i>, vol. 1, no. 1. American Physical Society, 2023.","chicago":"Boocock, Daniel R, Tsuyoshi Hirashima, and Edouard B Hannezo. “Interplay between Mechanochemical Patterning and Glassy Dynamics in Cellular Monolayers.” <i>PRX Life</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/prxlife.1.013001\">https://doi.org/10.1103/prxlife.1.013001</a>.","mla":"Boocock, Daniel R., et al. “Interplay between Mechanochemical Patterning and Glassy Dynamics in Cellular Monolayers.” <i>PRX Life</i>, vol. 1, no. 1, 013001, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/prxlife.1.013001\">10.1103/prxlife.1.013001</a>.","short":"D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023)."},"author":[{"orcid":"0000-0002-1585-2631","full_name":"Boocock, Daniel R","last_name":"Boocock","first_name":"Daniel R","id":"453AF628-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hirashima","first_name":"Tsuyoshi","full_name":"Hirashima, Tsuyoshi"},{"full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"}],"file":[{"file_size":2559520,"success":1,"file_id":"14335","access_level":"open_access","date_updated":"2023-09-15T06:30:50Z","date_created":"2023-09-15T06:30:50Z","content_type":"application/pdf","file_name":"2023_PRXLife_Boocock.pdf","relation":"main_file","checksum":"f881d98c89eb9f1aa136d7b781511553","creator":"dernst"}],"file_date_updated":"2023-09-15T06:30:50Z","month":"07","article_number":"013001","language":[{"iso":"eng"}],"_id":"14277","acknowledgement":"We thank all members of the Hannezo group for discussions and suggestions, as well as Sound Wai Phow for technical assistance. This work received funding from the European Research Council under the EU Horizon 2020 research and innovation program Grant Agreement No. 851288 (E.H.), JSPS KAKENHI Grant No. 21H05290, and the Ministry of Education under the Research Centres of Excellence program through the MBI at NUS.","issue":"1","publication_status":"published","publisher":"American Physical Society","department":[{"_id":"EdHa"}],"quality_controlled":"1","project":[{"call_identifier":"H2020","_id":"05943252-7A3F-11EA-A408-12923DDC885E","name":"Design Principles of Branching Morphogenesis","grant_number":"851288"}],"type":"journal_article","volume":1,"date_created":"2023-09-06T08:30:59Z","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"         1","abstract":[{"lang":"eng","text":"Living tissues are characterized by an intrinsically mechanochemical interplay of active physical forces and complex biochemical signaling pathways. Either feature alone can give rise to complex emergent phenomena, for example, mechanically driven glassy dynamics and rigidity transitions, or chemically driven reaction-diffusion instabilities. An important question is how to quantitatively assess the contribution of these different cues to the large-scale dynamics of biological materials. We address this in Madin-Darby canine kidney (MDCK) monolayers, considering both mechanochemical feedback between extracellular signal-regulated kinase (ERK) signaling activity and cellular density as well as a mechanically active tissue rheology via a self-propelled vertex model. We show that the relative strength of active migration forces to mechanochemical couplings controls a transition from a uniform active glass to periodic spatiotemporal waves. We parametrize the model from published experimental data sets on MDCK monolayers and use it to make new predictions on the correlation functions of cellular dynamics and the dynamics of topological defects associated with the oscillatory phase of cells. Interestingly, MDCK monolayers are best described by an intermediary parameter region in which both mechanochemical couplings and noisy active propulsion have a strong influence on the dynamics. Finally, we study how tissue rheology and ERK waves produce feedback on one another and uncover a mechanism via which tissue fluidity can be controlled by mechanochemical waves at both the local and global levels."}],"publication":"PRX Life","date_published":"2023-07-20T00:00:00Z","status":"public"},{"department":[{"_id":"EdHa"}],"title":"Source data for the manuscript \"CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration\"","doi":"10.5281/ZENODO.8133960","day":"11","publisher":"Zenodo","date_updated":"2023-10-03T11:42:58Z","has_accepted_license":"1","related_material":{"record":[{"status":"public","id":"14274","relation":"used_in_publication"}]},"main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8133960","open_access":"1"}],"year":"2023","type":"research_data_reference","oa":1,"article_processing_charge":"No","month":"07","oa_version":"Published Version","author":[{"orcid":"0000-0003-0506-4217","full_name":"Ucar, Mehmet C","id":"50B2A802-6007-11E9-A42B-EB23E6697425","last_name":"Ucar","first_name":"Mehmet C"}],"citation":{"chicago":"Ucar, Mehmet C. “Source Data for the Manuscript ‘CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.’” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8133960\">https://doi.org/10.5281/ZENODO.8133960</a>.","ieee":"M. C. Ucar, “Source data for the manuscript ‘CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration.’” Zenodo, 2023.","short":"M.C. Ucar, (2023).","mla":"Ucar, Mehmet C. <i>Source Data for the Manuscript “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.”</i> Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8133960\">10.5281/ZENODO.8133960</a>.","ama":"Ucar MC. Source data for the manuscript “CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration.” 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8133960\">10.5281/ZENODO.8133960</a>","ista":"Ucar MC. 2023. Source data for the manuscript ‘CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration’, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8133960\">10.5281/ZENODO.8133960</a>.","apa":"Ucar, M. C. (2023). Source data for the manuscript “CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration.” Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8133960\">https://doi.org/10.5281/ZENODO.8133960</a>"},"date_created":"2023-09-06T08:39:25Z","ddc":["570"],"abstract":[{"lang":"eng","text":"The zip file includes source data used in the manuscript \"CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration\", as well as a representative Jupyter notebook to reproduce the main figures. Please see the preprint on bioRxiv and the DOI link there to access the final published version. Note the title change between the preprint and the published manuscript.\r\nA sample script for particle-based simulations of collective chemotaxis by self-generated gradients is also included (see Self-generated_chemotaxis_sample_script.ipynb) to generate exemplary cell trajectories. A detailed description of the simulation setup is provided in the supplementary information of the manuscipt."}],"status":"public","date_published":"2023-07-11T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14279","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"}},{"abstract":[{"lang":"eng","text":"Cell division in Escherichia coli is performed by the divisome, a multi-protein complex composed of more than 30 proteins. The divisome spans from the cytoplasm through the inner membrane to the cell wall and the outer membrane. Divisome assembly is initiated by a cytoskeletal structure, the so-called Z-ring, which localizes at the center of the E. coli cell and determines the position of the future cell septum. The Z-ring is composed of the highly conserved bacterial tubulin homologue FtsZ, which forms treadmilling filaments. These filaments are recruited to the inner membrane by FtsA, a highly conserved bacterial actin homologue. FtsA interacts with other proteins in the periplasm and thus connects the cytoplasmic and periplasmic components of the divisome. \r\nA previous model postulated that FtsA regulates maturation of the divisome by switching from an oligomeric, inactive state to a monomeric and active state. This model was based mostly on in vivo studies, as a biochemical characterization of FtsA has been hampered by difficulties in purifying the protein. Here, we studied FtsA using an in vitro reconstitution approach and aimed to answer two questions: (i) How are dynamics from cytoplasmic, treadmilling FtsZ filaments coupled to proteins acting in the periplasmic space and (ii) How does FtsA regulate the maturation of the divisome?\r\nWe found that the cytoplasmic peptides of the transmembrane proteins FtsN and FtsQ interact directly with FtsA and can follow the spatiotemporal signal of FtsA/Z filaments. When we investigated the underlying mechanism by imaging single molecules of FtsNcyto, we found the peptide to interact transiently with FtsA. An in depth analysis of the single molecule trajectories helped to postulate a model where PG synthases follow the dynamics of FtsZ by a diffusion and capture mechanism. \r\nFollowing up on these findings we were interested in how the self-interaction of FtsA changes when it encounters FtsNcyto and if we can confirm the proposed oligomer-monomer switch. For this, we compared the behavior of the previously identified, hyperactive mutant FtsA R286W with wildtype FtsA. The mutant outperforms WT in mirroring and transmitting the spatiotemporal signal of treadmilling FtsZ filaments. Surprisingly however, we found that this was not due to a difference in the self-interaction strength of the two variants, but a difference in their membrane residence time. Furthermore, in contrast to our expectations, upon binding of FtsNcyto the measured self-interaction of FtsA actually increased. \r\nWe propose that FtsNcyto induces a rearrangement of the oligomeric architecture of FtsA. In further consequence this change leads to more persistent FtsZ filaments which results in a defined signalling zone, allowing formation of the mature divisome. The observed difference between FtsA WT and R286W is due to the vastly different membrane turnover of the proteins. R286W cycles 5-10x faster compared to WT which allows to sample FtsZ filaments at faster frequencies. These findings can explain the observed differences in toxicity for overexpression of FtsA WT and R286W and help to understand how FtsA regulates divisome maturation."}],"date_published":"2023-09-25T00:00:00Z","status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"date_created":"2023-09-06T10:58:25Z","type":"dissertation","department":[{"_id":"GradSch"},{"_id":"MaLo"}],"supervisor":[{"orcid":"0000-0001-7309-9724","full_name":"Loose, Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","last_name":"Loose","first_name":"Martin"}],"project":[{"call_identifier":"H2020","grant_number":"679239","_id":"2595697A-B435-11E9-9278-68D0E5697425","name":"Self-Organization of the Bacterial Cell"},{"_id":"fc38323b-9c52-11eb-aca3-ff8afb4a011d","name":"Understanding bacterial cell division by in vitro\r\nreconstitution","grant_number":"P34607"},{"grant_number":"ALTF 2015-1163","name":"Synthesis of bacterial cell wall","_id":"2596EAB6-B435-11E9-9278-68D0E5697425"},{"name":"Reconstitution of bacterial cell wall sythesis","_id":"259B655A-B435-11E9-9278-68D0E5697425","grant_number":"LT000824/2016"}],"publication_status":"published","publisher":"Institute of Science and Technology Austria","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"page":"156","degree_awarded":"PhD","language":[{"iso":"eng"}],"_id":"14280","month":"09","file_date_updated":"2023-10-04T10:28:35Z","author":[{"last_name":"Radler","first_name":"Philipp","id":"40136C2A-F248-11E8-B48F-1D18A9856A87","full_name":"Radler, Philipp","orcid":"0000-0001-9198-2182 "}],"file":[{"date_created":"2023-10-04T10:11:53Z","date_updated":"2023-10-04T10:28:35Z","access_level":"closed","file_id":"14390","file_size":114932847,"creator":"pradler","checksum":"87eef11fbc5c7df0826f12a3a629b444","file_name":"PhD Thesis_Philipp Radler_20231004.docx","relation":"source_file","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document"},{"content_type":"application/pdf","creator":"pradler","checksum":"3253e099b7126469d941fd9419d68b4f","embargo":"2024-10-04","relation":"main_file","file_name":"PhD Thesis_Philipp Radler_20231004.pdf","file_id":"14391","file_size":37838778,"embargo_to":"open_access","date_updated":"2023-10-04T10:28:35Z","date_created":"2023-10-04T10:11:21Z","access_level":"closed"}],"citation":{"ieee":"P. Radler, “Spatiotemporal signaling during assembly of the bacterial divisome,” Institute of Science and Technology Austria, 2023.","chicago":"Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14280\">https://doi.org/10.15479/at:ista:14280</a>.","mla":"Radler, Philipp. <i>Spatiotemporal Signaling during Assembly of the Bacterial Divisome</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14280\">10.15479/at:ista:14280</a>.","short":"P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.","ama":"Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14280\">10.15479/at:ista:14280</a>","apa":"Radler, P. (2023). <i>Spatiotemporal signaling during assembly of the bacterial divisome</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14280\">https://doi.org/10.15479/at:ista:14280</a>","ista":"Radler P. 2023. Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria."},"keyword":["Cell Division","Reconstitution","FtsZ","FtsA","Divisome","E.coli"],"ddc":["572"],"related_material":{"record":[{"status":"public","id":"11373","relation":"part_of_dissertation"},{"status":"public","id":"7387","relation":"part_of_dissertation"},{"status":"public","relation":"research_data","id":"10934"}]},"has_accepted_license":"1","ec_funded":1,"year":"2023","article_processing_charge":"No","title":"Spatiotemporal signaling during assembly of the bacterial divisome","doi":"10.15479/at:ista:14280","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-033-6"]},"day":"25","date_updated":"2024-02-21T12:35:18Z"},{"issue":"6659","page":"754-760","_id":"14281","language":[{"iso":"eng"}],"author":[{"id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","first_name":"Florian M","last_name":"Praetorius","full_name":"Praetorius, Florian M"},{"full_name":"Leung, Philip J. Y.","first_name":"Philip J. Y.","last_name":"Leung"},{"full_name":"Tessmer, Maxx H.","first_name":"Maxx H.","last_name":"Tessmer"},{"full_name":"Broerman, Adam","first_name":"Adam","last_name":"Broerman"},{"full_name":"Demakis, Cullen","last_name":"Demakis","first_name":"Cullen"},{"first_name":"Acacia F.","last_name":"Dishman","full_name":"Dishman, Acacia F."},{"first_name":"Arvind","last_name":"Pillai","full_name":"Pillai, Arvind"},{"full_name":"Idris, Abbas","last_name":"Idris","first_name":"Abbas"},{"first_name":"David","last_name":"Juergens","full_name":"Juergens, David"},{"last_name":"Dauparas","first_name":"Justas","full_name":"Dauparas, Justas"},{"full_name":"Li, Xinting","first_name":"Xinting","last_name":"Li"},{"last_name":"Levine","first_name":"Paul M.","full_name":"Levine, Paul M."},{"full_name":"Lamb, Mila","last_name":"Lamb","first_name":"Mila"},{"full_name":"Ballard, Ryanne K.","last_name":"Ballard","first_name":"Ryanne K."},{"full_name":"Gerben, Stacey R.","first_name":"Stacey R.","last_name":"Gerben"},{"full_name":"Nguyen, Hannah","last_name":"Nguyen","first_name":"Hannah"},{"last_name":"Kang","first_name":"Alex","full_name":"Kang, Alex"},{"last_name":"Sankaran","first_name":"Banumathi","full_name":"Sankaran, Banumathi"},{"first_name":"Asim K.","last_name":"Bera","full_name":"Bera, Asim K."},{"full_name":"Volkman, Brian F.","last_name":"Volkman","first_name":"Brian F."},{"full_name":"Nivala, Jeff","last_name":"Nivala","first_name":"Jeff"},{"full_name":"Stoll, Stefan","last_name":"Stoll","first_name":"Stefan"},{"first_name":"David","last_name":"Baker","full_name":"Baker, David"}],"month":"08","citation":{"chicago":"Praetorius, Florian M, Philip J. Y. Leung, Maxx H. Tessmer, Adam Broerman, Cullen Demakis, Acacia F. Dishman, Arvind Pillai, et al. “Design of Stimulus-Responsive Two-State Hinge Proteins.” <i>Science</i>. American Association for the Advancement of Science, 2023. <a href=\"https://doi.org/10.1126/science.adg7731\">https://doi.org/10.1126/science.adg7731</a>.","ieee":"F. M. Praetorius <i>et al.</i>, “Design of stimulus-responsive two-state hinge proteins,” <i>Science</i>, vol. 381, no. 6659. American Association for the Advancement of Science, pp. 754–760, 2023.","short":"F.M. Praetorius, P.J.Y. Leung, M.H. Tessmer, A. Broerman, C. Demakis, A.F. Dishman, A. Pillai, A. Idris, D. Juergens, J. Dauparas, X. Li, P.M. Levine, M. Lamb, R.K. Ballard, S.R. Gerben, H. Nguyen, A. Kang, B. Sankaran, A.K. Bera, B.F. Volkman, J. Nivala, S. Stoll, D. Baker, Science 381 (2023) 754–760.","mla":"Praetorius, Florian M., et al. “Design of Stimulus-Responsive Two-State Hinge Proteins.” <i>Science</i>, vol. 381, no. 6659, American Association for the Advancement of Science, 2023, pp. 754–60, doi:<a href=\"https://doi.org/10.1126/science.adg7731\">10.1126/science.adg7731</a>.","ama":"Praetorius FM, Leung PJY, Tessmer MH, et al. Design of stimulus-responsive two-state hinge proteins. <i>Science</i>. 2023;381(6659):754-760. doi:<a href=\"https://doi.org/10.1126/science.adg7731\">10.1126/science.adg7731</a>","ista":"Praetorius FM, Leung PJY, Tessmer MH, Broerman A, Demakis C, Dishman AF, Pillai A, Idris A, Juergens D, Dauparas J, Li X, Levine PM, Lamb M, Ballard RK, Gerben SR, Nguyen H, Kang A, Sankaran B, Bera AK, Volkman BF, Nivala J, Stoll S, Baker D. 2023. Design of stimulus-responsive two-state hinge proteins. Science. 381(6659), 754–760.","apa":"Praetorius, F. M., Leung, P. J. Y., Tessmer, M. H., Broerman, A., Demakis, C., Dishman, A. F., … Baker, D. (2023). Design of stimulus-responsive two-state hinge proteins. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.adg7731\">https://doi.org/10.1126/science.adg7731</a>"},"article_type":"original","year":"2023","article_processing_charge":"No","external_id":{"pmid":["37590357"]},"doi":"10.1126/science.adg7731","title":"Design of stimulus-responsive two-state hinge proteins","date_updated":"2023-11-07T12:42:09Z","day":"17","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"publication":"Science","date_published":"2023-08-17T00:00:00Z","status":"public","abstract":[{"text":"In nature, proteins that switch between two conformations in response to environmental stimuli structurally transduce biochemical information in a manner analogous to how transistors control information flow in computing devices. Designing proteins with two distinct but fully structured conformations is a challenge for protein design as it requires sculpting an energy landscape with two distinct minima. Here we describe the design of “hinge” proteins that populate one designed state in the absence of ligand and a second designed state in the presence of ligand. X-ray crystallography, electron microscopy, double electron-electron resonance spectroscopy, and binding measurements demonstrate that despite the significant structural differences the two states are designed with atomic level accuracy and that the conformational and binding equilibria are closely coupled.","lang":"eng"}],"intvolume":"       381","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","date_created":"2023-09-06T12:04:23Z","scopus_import":"1","extern":"1","type":"journal_article","volume":381,"quality_controlled":"1","pmid":1,"publisher":"American Association for the Advancement of Science","publication_status":"published"},{"publication_status":"submitted","day":"15","date_updated":"2023-11-07T12:21:58Z","title":"Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies","doi":"10.1101/2023.03.14.532666","type":"preprint","article_processing_charge":"No","oa":1,"year":"2023","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2023.03.14.532666"}],"extern":"1","date_created":"2023-09-06T12:31:49Z","citation":{"ieee":"N. I. Edman <i>et al.</i>, “Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies,” <i>bioRxiv</i>. .","chicago":"Edman, Natasha I, Rachel L Redler, Ashish Phal, Thomas Schlichthaerle, Sanjay R Srivatsan, Ali Etemadi, Seong An, et al. “Modulation of FGF Pathway Signaling and Vascular Differentiation Using Designed Oligomeric Assemblies.” <i>BioRxiv</i>, n.d. <a href=\"https://doi.org/10.1101/2023.03.14.532666\">https://doi.org/10.1101/2023.03.14.532666</a>.","short":"N.I. Edman, R.L. Redler, A. Phal, T. Schlichthaerle, S.R. Srivatsan, A. Etemadi, S. An, A. Favor, D. Ehnes, Z. Li, F.M. Praetorius, M. Gordon, W. Yang, B. Coventry, D.R. Hicks, L. Cao, N. Bethel, P. Heine, A.N. Murray, S. Gerben, L. Carter, M. Miranda, B. Negahdari, S. Lee, C. Trapnell, L. Stewart, D.C. Ekiert, J. Schlessinger, J. Shendure, G. Bhabha, H. Ruohola-Baker, D. Baker, BioRxiv (n.d.).","mla":"Edman, Natasha I., et al. “Modulation of FGF Pathway Signaling and Vascular Differentiation Using Designed Oligomeric Assemblies.” <i>BioRxiv</i>, doi:<a href=\"https://doi.org/10.1101/2023.03.14.532666\">10.1101/2023.03.14.532666</a>.","ama":"Edman NI, Redler RL, Phal A, et al. Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2023.03.14.532666\">10.1101/2023.03.14.532666</a>","apa":"Edman, N. I., Redler, R. L., Phal, A., Schlichthaerle, T., Srivatsan, S. R., Etemadi, A., … Baker, D. (n.d.). Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2023.03.14.532666\">https://doi.org/10.1101/2023.03.14.532666</a>","ista":"Edman NI, Redler RL, Phal A, Schlichthaerle T, Srivatsan SR, Etemadi A, An S, Favor A, Ehnes D, Li Z, Praetorius FM, Gordon M, Yang W, Coventry B, Hicks DR, Cao L, Bethel N, Heine P, Murray AN, Gerben S, Carter L, Miranda M, Negahdari B, Lee S, Trapnell C, Stewart L, Ekiert DC, Schlessinger J, Shendure J, Bhabha G, Ruohola-Baker H, Baker D. Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies. bioRxiv, <a href=\"https://doi.org/10.1101/2023.03.14.532666\">10.1101/2023.03.14.532666</a>."},"month":"03","author":[{"last_name":"Edman","first_name":"Natasha I","full_name":"Edman, Natasha I"},{"full_name":"Redler, Rachel L","first_name":"Rachel L","last_name":"Redler"},{"full_name":"Phal, Ashish","last_name":"Phal","first_name":"Ashish"},{"first_name":"Thomas","last_name":"Schlichthaerle","full_name":"Schlichthaerle, Thomas"},{"full_name":"Srivatsan, Sanjay R","first_name":"Sanjay R","last_name":"Srivatsan"},{"first_name":"Ali","last_name":"Etemadi","full_name":"Etemadi, Ali"},{"last_name":"An","first_name":"Seong","full_name":"An, Seong"},{"full_name":"Favor, Andrew","first_name":"Andrew","last_name":"Favor"},{"full_name":"Ehnes, Devon","first_name":"Devon","last_name":"Ehnes"},{"first_name":"Zhe","last_name":"Li","full_name":"Li, Zhe"},{"full_name":"Praetorius, Florian M","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","last_name":"Praetorius","first_name":"Florian M"},{"last_name":"Gordon","first_name":"Max","full_name":"Gordon, Max"},{"full_name":"Yang, Wei","last_name":"Yang","first_name":"Wei"},{"full_name":"Coventry, Brian","first_name":"Brian","last_name":"Coventry"},{"first_name":"Derrick R","last_name":"Hicks","full_name":"Hicks, Derrick R"},{"full_name":"Cao, Longxing","first_name":"Longxing","last_name":"Cao"},{"last_name":"Bethel","first_name":"Neville","full_name":"Bethel, Neville"},{"full_name":"Heine, Piper","last_name":"Heine","first_name":"Piper"},{"full_name":"Murray, Analisa N","last_name":"Murray","first_name":"Analisa N"},{"last_name":"Gerben","first_name":"Stacey","full_name":"Gerben, Stacey"},{"full_name":"Carter, Lauren","last_name":"Carter","first_name":"Lauren"},{"full_name":"Miranda, Marcos","last_name":"Miranda","first_name":"Marcos"},{"first_name":"Babak","last_name":"Negahdari","full_name":"Negahdari, Babak"},{"first_name":"Sangwon","last_name":"Lee","full_name":"Lee, Sangwon"},{"first_name":"Cole","last_name":"Trapnell","full_name":"Trapnell, Cole"},{"first_name":"Lance","last_name":"Stewart","full_name":"Stewart, Lance"},{"first_name":"Damian C","last_name":"Ekiert","full_name":"Ekiert, Damian C"},{"full_name":"Schlessinger, Joseph","last_name":"Schlessinger","first_name":"Joseph"},{"last_name":"Shendure","first_name":"Jay","full_name":"Shendure, Jay"},{"full_name":"Bhabha, Gira","first_name":"Gira","last_name":"Bhabha"},{"full_name":"Ruohola-Baker, Hannele","last_name":"Ruohola-Baker","first_name":"Hannele"},{"first_name":"David","last_name":"Baker","full_name":"Baker, David"}],"oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14294","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Growth factors and cytokines signal by binding to the extracellular domains of their receptors and drive association and transphosphorylation of the receptor intracellular tyrosine kinase domains, initiating downstream signaling cascades. To enable systematic exploration of how receptor valency and geometry affects signaling outcomes, we designed cyclic homo-oligomers with up to 8 subunits using repeat protein building blocks that can be modularly extended. By incorporating a de novo designed fibroblast growth-factor receptor (FGFR) binding module into these scaffolds, we generated a series of synthetic signaling ligands that exhibit potent valency- and geometry-dependent Ca2+ release and MAPK pathway activation. The high specificity of the designed agonists reveal distinct roles for two FGFR splice variants in driving endothelial and mesenchymal cell fates during early vascular development. The ability to incorporate receptor binding domains and repeat extensions in a modular fashion makes our designed scaffolds broadly useful for probing and manipulating cellular signaling pathways."}],"date_published":"2023-03-15T00:00:00Z","status":"public","publication":"bioRxiv"},{"article_processing_charge":"No","oa":1,"year":"2023","has_accepted_license":"1","date_updated":"2023-11-07T08:17:13Z","publication_identifier":{"issn":["1369-5266"]},"day":"01","external_id":{"pmid":["37666097"]},"title":"Rapid auxin signaling: Unknowns old and new","doi":"10.1016/j.pbi.2023.102443","acknowledgement":"The opening quote is not intended to reflect any political views of the authors. The authors by no means endorse the rhetoric of Donald Rumsfeld or the 2003 invasion of Iraq by the United States. Nevertheless, Rumsfeld's quote led to both public and academic debates on the concept of known and unknown unknowns, which can be applied to the recent unexpected developments in the auxin signaling field. We thank Linlin Qi and Huihuang Chen for their suggestions on figure presentation and inspiring discussions of TIR1/AFB signaling. Finally, we thank Aroosa Hussain for discussion of Greek mythology.","language":[{"iso":"eng"}],"_id":"14313","issue":"10","citation":{"ista":"Fiedler L, Friml J. 2023. Rapid auxin signaling: Unknowns old and new. Current Opinion in Plant Biology. 75(10), 102443.","apa":"Fiedler, L., &#38; Friml, J. (2023). Rapid auxin signaling: Unknowns old and new. <i>Current Opinion in Plant Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.pbi.2023.102443\">https://doi.org/10.1016/j.pbi.2023.102443</a>","ama":"Fiedler L, Friml J. Rapid auxin signaling: Unknowns old and new. <i>Current Opinion in Plant Biology</i>. 2023;75(10). doi:<a href=\"https://doi.org/10.1016/j.pbi.2023.102443\">10.1016/j.pbi.2023.102443</a>","short":"L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).","mla":"Fiedler, Lukas, and Jiří Friml. “Rapid Auxin Signaling: Unknowns Old and New.” <i>Current Opinion in Plant Biology</i>, vol. 75, no. 10, 102443, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.pbi.2023.102443\">10.1016/j.pbi.2023.102443</a>.","chicago":"Fiedler, Lukas, and Jiří Friml. “Rapid Auxin Signaling: Unknowns Old and New.” <i>Current Opinion in Plant Biology</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.pbi.2023.102443\">https://doi.org/10.1016/j.pbi.2023.102443</a>.","ieee":"L. Fiedler and J. Friml, “Rapid auxin signaling: Unknowns old and new,” <i>Current Opinion in Plant Biology</i>, vol. 75, no. 10. Elsevier, 2023."},"ddc":["580"],"article_type":"review","file_date_updated":"2023-11-02T17:03:20Z","month":"10","article_number":"102443","author":[{"first_name":"Lukas","last_name":"Fiedler","id":"7c417475-8972-11ed-ae7b-8b674ca26986","full_name":"Fiedler, Lukas"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří"}],"file":[{"relation":"main_file","file_name":"Fiedler CurrOpinOlantBiol 2023_revised.pdf","checksum":"1c476c3414d2dfb0c85db0cb6cfd8a28","creator":"amally","content_type":"application/pdf","access_level":"open_access","date_updated":"2023-11-02T17:03:20Z","date_created":"2023-11-02T17:03:20Z","file_size":737872,"success":1,"file_id":"14482"}],"volume":75,"type":"journal_article","publisher":"Elsevier","publication_status":"published","pmid":1,"quality_controlled":"1","department":[{"_id":"JiFr"}],"intvolume":"        75","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2023-10-01T00:00:00Z","publication":"Current Opinion in Plant Biology","abstract":[{"text":"To respond to auxin, the chief orchestrator of their multicellularity, plants evolved multiple receptor systems and signal transduction cascades. Despite decades of research, however, we are still lacking a satisfactory synthesis of various auxin signaling mechanisms. The chief discrepancy and historical controversy of the field is that of rapid and slow auxin effects on plant physiology and development. How is it possible that ions begin to trickle across the plasma membrane as soon as auxin enters the cell, even though the best-characterized transcriptional auxin pathway can take effect only after tens of minutes? Recently, unexpected progress has been made in understanding this and other unknowns of auxin signaling. We provide a perspective on these exciting developments and concepts whose general applicability might have ramifications beyond auxin signaling.","lang":"eng"}],"date_created":"2023-09-10T22:01:11Z","scopus_import":"1","oa_version":"Submitted Version"},{"type":"journal_article","volume":42,"quality_controlled":"1","pmid":1,"project":[{"_id":"257BBB4C-B435-11E9-9278-68D0E5697425","name":"Inter-and intracellular signalling in schizophrenia","grant_number":"607616","call_identifier":"FP7"}],"department":[{"_id":"JoCs"}],"publisher":"Elsevier","publication_status":"published","publication":"Cell Reports","date_published":"2023-09-26T00:00:00Z","status":"public","abstract":[{"text":"The execution of cognitive functions requires coordinated circuit activity across different brain areas that involves the associated firing of neuronal assemblies. Here, we tested the circuit mechanism behind assembly interactions between the hippocampus and the medial prefrontal cortex (mPFC) of adult rats by recording neuronal populations during a rule-switching task. We identified functionally coupled CA1-mPFC cells that synchronized their activity beyond that expected from common spatial coding or oscillatory firing. When such cell pairs fired together, the mPFC cell strongly phase locked to CA1 theta oscillations and maintained consistent theta firing phases, independent of the theta timing of their CA1 counterpart. These functionally connected CA1-mPFC cells formed interconnected assemblies. While firing together with their CA1 assembly partners, mPFC cells fired along specific theta sequences. Our results suggest that upregulated theta oscillatory firing of mPFC cells can signal transient interactions with specific CA1 assemblies, thus enabling distributed computations.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"        42","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","date_created":"2023-09-10T22:01:11Z","scopus_import":"1","year":"2023","ec_funded":1,"has_accepted_license":"1","article_processing_charge":"Yes","oa":1,"external_id":{"pmid":["37632747"]},"doi":"10.1016/j.celrep.2023.113015","title":"Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions","date_updated":"2023-09-15T07:14:12Z","day":"26","publication_identifier":{"eissn":["2211-1247"]},"issue":"9","_id":"14314","language":[{"iso":"eng"}],"acknowledgement":"We thank A. Cumpelik, H. Chiossi, and L. Bollman for comments on an earlier version of this manuscript. This work was funded by EU-FP7 MC-ITN IN-SENS (grant 607616).","file":[{"file_name":"2023_CellPress_Nardin.pdf","relation":"main_file","checksum":"ca77a304fb813c292550b8604b0fb41d","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_created":"2023-09-15T07:12:46Z","date_updated":"2023-09-15T07:12:46Z","file_size":4879455,"file_id":"14337","success":1}],"author":[{"id":"30BD0376-F248-11E8-B48F-1D18A9856A87","first_name":"Michele","last_name":"Nardin","full_name":"Nardin, Michele","orcid":"0000-0001-8849-6570"},{"full_name":"Käfer, Karola","last_name":"Käfer","first_name":"Karola","id":"2DAA49AA-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-9439-3148","full_name":"Stella, Federico","last_name":"Stella","first_name":"Federico","id":"39AF1E74-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jozsef L","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5193-4036","full_name":"Csicsvari, Jozsef L"}],"file_date_updated":"2023-09-15T07:12:46Z","article_number":"113015","month":"09","ddc":["570"],"citation":{"ista":"Nardin M, Käfer K, Stella F, Csicsvari JL. 2023. Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. 42(9), 113015.","apa":"Nardin, M., Käfer, K., Stella, F., &#38; Csicsvari, J. L. (2023). Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. <i>Cell Reports</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.celrep.2023.113015\">https://doi.org/10.1016/j.celrep.2023.113015</a>","ama":"Nardin M, Käfer K, Stella F, Csicsvari JL. Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. <i>Cell Reports</i>. 2023;42(9). doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113015\">10.1016/j.celrep.2023.113015</a>","mla":"Nardin, Michele, et al. “Theta Oscillations as a Substrate for Medial Prefrontal-Hippocampal Assembly Interactions.” <i>Cell Reports</i>, vol. 42, no. 9, 113015, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113015\">10.1016/j.celrep.2023.113015</a>.","short":"M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).","chicago":"Nardin, Michele, Karola Käfer, Federico Stella, and Jozsef L Csicsvari. “Theta Oscillations as a Substrate for Medial Prefrontal-Hippocampal Assembly Interactions.” <i>Cell Reports</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.celrep.2023.113015\">https://doi.org/10.1016/j.celrep.2023.113015</a>.","ieee":"M. Nardin, K. Käfer, F. Stella, and J. L. Csicsvari, “Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions,” <i>Cell Reports</i>, vol. 42, no. 9. Elsevier, 2023."},"article_type":"original"},{"acknowledgement":"We thank the members of the Hetzer laboratory, Tony Hunter (Salk), Lorenzo Puri (Sanford Burnham Prebys), and Jongmin Kim (Massachusetts General Hospital) for the critical reading of the manuscript; Kenneth Diffenderfer and Aimee Pankonin (Stem Cell Core at the Salk Institute) for help with neurogenesis; Carol Marchetto and Fred Gage (Salk) for providing H9 embryonic stem cells; Lorenzo Puri, Alexandra Sacco, and Luca Caputo (Sanford Burnham Prebys) for helpful discussions and sharing mouse primary myoblasts. This work was supported by a Glenn Foundation for Medical Research Postdoctoral Fellowship in Aging Research (UHC), the NOMIS foundation (MWH), and the National Institutes of Health (R01 NS096786 to MWH and K01 AR080828 to UHC). This work was also supported by the Mass Spectrometry Core of the Salk Institute with funding from NIH-NCI CCSG: P30 014195 and the Helmsley Center for Genomic Medicine. We thank Jolene Diedrich and Antonio Pinto for technical support.","_id":"14315","language":[{"iso":"eng"}],"citation":{"ama":"Cho UH, Hetzer M. Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress. <i>eLife</i>. 2023;12. doi:<a href=\"https://doi.org/10.7554/eLife.89066\">10.7554/eLife.89066</a>","ista":"Cho UH, Hetzer M. 2023. Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress. eLife. 12, RP89066.","apa":"Cho, U. H., &#38; Hetzer, M. (2023). Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.89066\">https://doi.org/10.7554/eLife.89066</a>","chicago":"Cho, Ukrae H., and Martin Hetzer. “Caspase-Mediated Nuclear Pore Complex Trimming in Cell Differentiation and Endoplasmic Reticulum Stress.” <i>ELife</i>. eLife Sciences Publications, 2023. <a href=\"https://doi.org/10.7554/eLife.89066\">https://doi.org/10.7554/eLife.89066</a>.","ieee":"U. H. Cho and M. Hetzer, “Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress,” <i>eLife</i>, vol. 12. eLife Sciences Publications, 2023.","short":"U.H. Cho, M. Hetzer, ELife 12 (2023).","mla":"Cho, Ukrae H., and Martin Hetzer. “Caspase-Mediated Nuclear Pore Complex Trimming in Cell Differentiation and Endoplasmic Reticulum Stress.” <i>ELife</i>, vol. 12, RP89066, eLife Sciences Publications, 2023, doi:<a href=\"https://doi.org/10.7554/eLife.89066\">10.7554/eLife.89066</a>."},"ddc":["570"],"article_type":"original","article_number":"RP89066","file_date_updated":"2023-09-15T06:59:10Z","month":"09","file":[{"relation":"main_file","file_name":"2023_eLife_Cho.pdf","checksum":"db24bf3d595507387b48d3799c33e289","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_updated":"2023-09-15T06:59:10Z","date_created":"2023-09-15T06:59:10Z","file_size":3703097,"success":1,"file_id":"14336"}],"author":[{"full_name":"Cho, Ukrae H.","last_name":"Cho","first_name":"Ukrae H."},{"orcid":"0000-0002-2111-992X","full_name":"Hetzer, Martin W","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","last_name":"Hetzer","first_name":"Martin W"}],"oa":1,"article_processing_charge":"Yes","year":"2023","has_accepted_license":"1","date_updated":"2023-09-15T07:07:10Z","publication_identifier":{"eissn":["2050-084X"]},"day":"04","external_id":{"pmid":["37665327"]},"title":"Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress","doi":"10.7554/eLife.89066","intvolume":"        12","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2023-09-04T00:00:00Z","publication":"eLife","abstract":[{"lang":"eng","text":"During apoptosis, caspases degrade 8 out of ~30 nucleoporins to irreversibly demolish the nuclear pore complex. However, for poorly understood reasons, caspases are also activated during cell differentiation. Here, we show that sublethal activation of caspases during myogenesis results in the transient proteolysis of four peripheral Nups and one transmembrane Nup. ‘Trimmed’ NPCs become nuclear export-defective, and we identified in an unbiased manner several classes of cytoplasmic, plasma membrane, and mitochondrial proteins that rapidly accumulate in the nucleus. NPC trimming by non-apoptotic caspases was also observed in neurogenesis and endoplasmic reticulum stress. Our results suggest that caspases can reversibly modulate nuclear transport activity, which allows them to function as agents of cell differentiation and adaptation at sublethal levels."}],"date_created":"2023-09-10T22:01:11Z","scopus_import":"1","oa_version":"Published Version","volume":12,"type":"journal_article","publisher":"eLife Sciences Publications","publication_status":"published","pmid":1,"quality_controlled":"1","department":[{"_id":"MaHe"}]},{"_id":"14316","language":[{"iso":"eng"}],"issue":"17","article_type":"original","citation":{"ama":"Nagano M, Aoshima K, Shimamura H, Siekhaus DE, Toshima JY, Toshima J. Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. <i>Journal of Cell Science</i>. 2023;136(17). doi:<a href=\"https://doi.org/10.1242/jcs.261448\">10.1242/jcs.261448</a>","apa":"Nagano, M., Aoshima, K., Shimamura, H., Siekhaus, D. E., Toshima, J. Y., &#38; Toshima, J. (2023). Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. <i>Journal of Cell Science</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.261448\">https://doi.org/10.1242/jcs.261448</a>","ista":"Nagano M, Aoshima K, Shimamura H, Siekhaus DE, Toshima JY, Toshima J. 2023. Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. Journal of Cell Science. 136(17), jcs261448.","ieee":"M. Nagano, K. Aoshima, H. Shimamura, D. E. Siekhaus, J. Y. Toshima, and J. Toshima, “Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway,” <i>Journal of Cell Science</i>, vol. 136, no. 17. The Company of Biologists, 2023.","chicago":"Nagano, Makoto, Kaito Aoshima, Hiroki Shimamura, Daria E Siekhaus, Junko Y. Toshima, and Jiro Toshima. “Distinct Role of TGN-Resident Clathrin Adaptors for Vps21p Activation in the TGN-Endosome Trafficking Pathway.” <i>Journal of Cell Science</i>. The Company of Biologists, 2023. <a href=\"https://doi.org/10.1242/jcs.261448\">https://doi.org/10.1242/jcs.261448</a>.","short":"M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).","mla":"Nagano, Makoto, et al. “Distinct Role of TGN-Resident Clathrin Adaptors for Vps21p Activation in the TGN-Endosome Trafficking Pathway.” <i>Journal of Cell Science</i>, vol. 136, no. 17, jcs261448, The Company of Biologists, 2023, doi:<a href=\"https://doi.org/10.1242/jcs.261448\">10.1242/jcs.261448</a>."},"month":"09","article_number":"jcs261448","author":[{"first_name":"Makoto","last_name":"Nagano","full_name":"Nagano, Makoto"},{"full_name":"Aoshima, Kaito","first_name":"Kaito","last_name":"Aoshima"},{"last_name":"Shimamura","first_name":"Hiroki","full_name":"Shimamura, Hiroki"},{"id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus","first_name":"Daria E","full_name":"Siekhaus, Daria E","orcid":"0000-0001-8323-8353"},{"first_name":"Junko Y.","last_name":"Toshima","full_name":"Toshima, Junko Y."},{"full_name":"Toshima, Jiro","first_name":"Jiro","last_name":"Toshima"}],"article_processing_charge":"No","oa":1,"year":"2023","publication_identifier":{"eissn":["1477-9137"],"issn":["0021-9533"]},"day":"01","date_updated":"2023-09-20T09:14:15Z","title":"Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway","doi":"10.1242/jcs.261448","external_id":{"pmid":["37539494"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"       136","abstract":[{"lang":"eng","text":"Clathrin-mediated vesicle trafficking plays central roles in post-Golgi transport. In yeast (Saccharomyces cerevisiae), the AP-1 complex and GGA adaptors are predicted to generate distinct transport vesicles at the trans-Golgi network (TGN), and the epsin-related proteins Ent3p and Ent5p (collectively Ent3p/5p) act as accessories for these adaptors. Recently, we showed that vesicle transport from the TGN is crucial for yeast Rab5 (Vps21p)-mediated endosome formation, and that Ent3p/5p are crucial for this process, whereas AP-1 and GGA adaptors are dispensable. However, these observations were incompatible with previous studies showing that these adaptors are required for Ent3p/5p recruitment to the TGN, and thus the overall mechanism responsible for regulation of Vps21p activity remains ambiguous. Here, we investigated the functional relationships between clathrin adaptors in post-Golgi-mediated Vps21p activation. We show that AP-1 disruption in the ent3Δ5Δ mutant impaired transport of the Vps21p guanine nucleotide exchange factor Vps9p transport to the Vps21p compartment and severely reduced Vps21p activity. Additionally, GGA adaptors, the phosphatidylinositol-4-kinase Pik1p and Rab11 GTPases Ypt31p and Ypt32p were found to have partially overlapping functions for recruitment of AP-1 and Ent3p/5p to the TGN. These findings suggest a distinct role of clathrin adaptors for Vps21p activation in the TGN–endosome trafficking pathway."}],"date_published":"2023-09-01T00:00:00Z","status":"public","publication":"Journal of Cell Science","scopus_import":"1","date_created":"2023-09-10T22:01:12Z","oa_version":"Preprint","volume":136,"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1101/2023.03.27.534325","open_access":"1"}],"publication_status":"published","publisher":"The Company of Biologists","department":[{"_id":"DaSi"}],"pmid":1,"quality_controlled":"1"},{"type":"conference","volume":13966,"publication_status":"published","publisher":"Springer Nature","department":[{"_id":"KrCh"}],"quality_controlled":"1","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"     13966","abstract":[{"text":"Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distributions, basic reachability and safety problems are known to be computationally intractable (i.e., Skolem-hard) to solve in such models. Further, we show that even for simple examples of MDPs, strategies for safety objectives over distributions can require infinite memory and randomization.\r\nIn light of this, we present a novel overapproximation approach to synthesize strategies in an MDP, such that a safety objective over the distributions is met. More precisely, we develop a new framework for template-based synthesis of certificates as affine distributional and inductive invariants for safety objectives in MDPs. We provide two algorithms within this framework. One can only synthesize memoryless strategies, but has relative completeness guarantees, while the other can synthesize general strategies. The runtime complexity of both algorithms is in PSPACE. We implement these algorithms and show that they can solve several non-trivial examples.","lang":"eng"}],"publication":"International Conference on Computer Aided Verification","date_published":"2023-07-17T00:00:00Z","status":"public","scopus_import":"1","alternative_title":["LNCS"],"date_created":"2023-09-10T22:01:12Z","oa_version":"Published Version","oa":1,"article_processing_charge":"Yes (in subscription journal)","conference":{"end_date":"2023-07-22","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","location":"Paris, France"},"has_accepted_license":"1","year":"2023","ec_funded":1,"day":"17","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031377082"],"eissn":["1611-3349"]},"date_updated":"2025-07-14T09:09:56Z","doi":"10.1007/978-3-031-37709-9_5","title":"MDPs as distribution transformers: Affine invariant synthesis for safety objectives","language":[{"iso":"eng"}],"_id":"14317","acknowledgement":"This work was supported in part by the 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 as well as DST/CEFIPRA/INRIA project EQuaVE and SERB Matrices grant MTR/2018/00074.","page":"86-112","ddc":["000"],"citation":{"ista":"Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2023. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 86–112.","apa":"Akshay, S., Chatterjee, K., Meggendorfer, T., &#38; Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In <i>International Conference on Computer Aided Verification</i> (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_5\">https://doi.org/10.1007/978-3-031-37709-9_5</a>","ama":"Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: <i>International Conference on Computer Aided Verification</i>. Vol 13966. Springer Nature; 2023:86-112. doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_5\">10.1007/978-3-031-37709-9_5</a>","short":"S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.","mla":"Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” <i>International Conference on Computer Aided Verification</i>, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_5\">10.1007/978-3-031-37709-9_5</a>.","chicago":"Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In <i>International Conference on Computer Aided Verification</i>, 13966:86–112. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_5\">https://doi.org/10.1007/978-3-031-37709-9_5</a>.","ieee":"S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “MDPs as distribution transformers: Affine invariant synthesis for safety objectives,” in <i>International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13966, pp. 86–112."},"author":[{"first_name":"S.","last_name":"Akshay","full_name":"Akshay, S."},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"},{"orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"first_name":"Dorde","last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699"}],"file":[{"checksum":"f143c8eedf609f20f2aad2eeb496d53f","creator":"dernst","file_name":"2023_LNCS_Akshay.pdf","relation":"main_file","content_type":"application/pdf","date_updated":"2023-09-20T08:46:43Z","date_created":"2023-09-20T08:46:43Z","access_level":"open_access","success":1,"file_id":"14349","file_size":531745}],"month":"07","file_date_updated":"2023-09-20T08:46:43Z"},{"citation":{"ama":"Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: <i>Computer Aided Verification</i>. Vol 13966. Springer Nature; 2023:16-39. doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_2\">10.1007/978-3-031-37709-9_2</a>","apa":"Sun, Y., Fu, H., Chatterjee, K., &#38; Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In <i>Computer Aided Verification</i> (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_2\">https://doi.org/10.1007/978-3-031-37709-9_2</a>","ista":"Sun Y, Fu H, Chatterjee K, Goharshady AK. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.","ieee":"Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Automated tail bound analysis for probabilistic recurrence relations,” in <i>Computer Aided Verification</i>, Paris, France, 2023, vol. 13966, pp. 16–39.","chicago":"Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In <i>Computer Aided Verification</i>, 13966:16–39. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_2\">https://doi.org/10.1007/978-3-031-37709-9_2</a>.","mla":"Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” <i>Computer Aided Verification</i>, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_2\">10.1007/978-3-031-37709-9_2</a>.","short":"Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39."},"ddc":["000"],"month":"07","file_date_updated":"2023-09-20T08:24:47Z","author":[{"full_name":"Sun, Yican","first_name":"Yican","last_name":"Sun"},{"full_name":"Fu, Hongfei","last_name":"Fu","first_name":"Hongfei"},{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","last_name":"Goharshady","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584","full_name":"Goharshady, Amir Kafshdar"}],"file":[{"file_size":624647,"success":1,"file_id":"14348","access_level":"open_access","date_updated":"2023-09-20T08:24:47Z","date_created":"2023-09-20T08:24:47Z","content_type":"application/pdf","file_name":"2023_LNCS_Sun.pdf","relation":"main_file","creator":"dernst","checksum":"42917e086f8c7699f3bccf84f74fe000"}],"acknowledgement":"We thank Prof. Bican Xia for valuable information on the exponential theory of reals. The work is partially supported by the National Natural Science Foundation of China (NSFC) with Grant No. 62172271, ERC CoG 863818 (ForM-SMArt), the Hong Kong Research Grants Council ECS Project Number 26208122, the HKUST-Kaisa Joint Research Institute Project Grant HKJRI3A-055 and the HKUST Startup Grant R9272.","language":[{"iso":"eng"}],"_id":"14318","page":"16-39","date_updated":"2025-07-14T09:09:57Z","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031377082"],"issn":["0302-9743"]},"day":"17","title":"Automated tail bound analysis for probabilistic recurrence relations","doi":"10.1007/978-3-031-37709-9_2","oa":1,"article_processing_charge":"Yes (in subscription journal)","ec_funded":1,"year":"2023","related_material":{"link":[{"url":"https://github.com/boyvolcano/PRR","relation":"software"}]},"has_accepted_license":"1","conference":{"end_date":"2023-07-22","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","location":"Paris, France"},"date_created":"2023-09-10T22:01:12Z","alternative_title":["LNCS"],"scopus_import":"1","oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"     13966","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2023-07-17T00:00:00Z","status":"public","publication":"Computer Aided Verification","abstract":[{"text":"Probabilistic recurrence relations (PRRs) are a standard formalism for describing the runtime of a randomized algorithm. Given a PRR and a time limit κ, we consider the tail probability Pr[T≥κ], i.e., the probability that the randomized runtime T of the PRR exceeds κ. Our focus is the formal analysis of tail bounds that aims at finding a tight asymptotic upper bound u≥Pr[T≥κ]. To address this problem, the classical and most well-known approach is the cookbook method by Karp (JACM 1994), while other approaches are mostly limited to deriving tail bounds of specific PRRs via involved custom analysis.\r\nIn this work, we propose a novel approach for deriving the common exponentially-decreasing tail bounds for PRRs whose preprocessing time and random passed sizes observe discrete or (piecewise) uniform distribution and whose recursive call is either a single procedure call or a divide-and-conquer. We first establish a theoretical approach via Markov’s inequality, and then instantiate the theoretical approach with a template-based algorithmic approach via a refined treatment of exponentiation. Experimental evaluation shows that our algorithmic approach is capable of deriving tail bounds that are (i) asymptotically tighter than Karp’s method, (ii) match the best-known manually-derived asymptotic tail bound for QuickSelect, and (iii) is only slightly worse (with a loglogn factor) than the manually-proven optimal asymptotic tail bound for QuickSort. Moreover, our algorithmic approach handles all examples (including realistic PRRs such as QuickSort, QuickSelect, DiameterComputation, etc.) in less than 0.1 s, showing that our approach is efficient in practice.","lang":"eng"}],"publisher":"Springer Nature","publication_status":"published","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020"}],"quality_controlled":"1","department":[{"_id":"KrCh"}],"volume":13966,"type":"conference"}]