[{"publisher":"American Physical Society","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Kranabetter, Lorenz","first_name":"Lorenz","last_name":"Kranabetter"},{"last_name":"Kristensen","first_name":"Henrik H.","full_name":"Kristensen, Henrik H."},{"full_name":"Ghazaryan, Areg","first_name":"Areg","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9666-3543","last_name":"Ghazaryan"},{"last_name":"Schouder","first_name":"Constant A.","full_name":"Schouder, Constant A."},{"first_name":"Adam S.","last_name":"Chatterley","full_name":"Chatterley, Adam S."},{"last_name":"Janssen","first_name":"Paul","full_name":"Janssen, Paul"},{"full_name":"Jensen, Frank","first_name":"Frank","last_name":"Jensen"},{"full_name":"Zillich, Robert E.","first_name":"Robert E.","last_name":"Zillich"},{"last_name":"Lemeshko","orcid":"0000-0002-6990-7802","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","full_name":"Lemeshko, Mikhail"},{"first_name":"Henrik","last_name":"Stapelfeldt","full_name":"Stapelfeldt, Henrik"}],"title":"Nonadiabatic laser-induced alignment dynamics of molecules on a surface","department":[{"_id":"MiLe"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}],"abstract":[{"text":"We demonstrate that a sodium dimer, Na2(13Σ+u), residing on the surface of a helium nanodroplet, can be set into rotation by a nonresonant 1.0 ps infrared laser pulse. The time-dependent degree of alignment measured, exhibits a periodic, gradually decreasing structure that deviates qualitatively from that expected for gas-phase dimers. Comparison to alignment dynamics calculated from the time-dependent rotational Schrödinger equation shows that the deviation is due to the alignment dependent interaction between the dimer and the droplet surface. This interaction confines the dimer to the tangential plane of the droplet surface at the point where it resides and is the reason that the observed alignment dynamics is also well described by a 2D quantum rotor model.","lang":"eng"}],"scopus_import":"1","arxiv":1,"type":"journal_article","citation":{"chicago":"Kranabetter, Lorenz, Henrik H. Kristensen, Areg Ghazaryan, Constant A. Schouder, Adam S. Chatterley, Paul Janssen, Frank Jensen, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Nonadiabatic Laser-Induced Alignment Dynamics of Molecules on a Surface.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevLett.131.053201\">https://doi.org/10.1103/PhysRevLett.131.053201</a>.","ama":"Kranabetter L, Kristensen HH, Ghazaryan A, et al. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. <i>Physical Review Letters</i>. 2023;131(5). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.131.053201\">10.1103/PhysRevLett.131.053201</a>","ista":"Kranabetter L, Kristensen HH, Ghazaryan A, Schouder CA, Chatterley AS, Janssen P, Jensen F, Zillich RE, Lemeshko M, Stapelfeldt H. 2023. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 131(5), 053201.","ieee":"L. Kranabetter <i>et al.</i>, “Nonadiabatic laser-induced alignment dynamics of molecules on a surface,” <i>Physical Review Letters</i>, vol. 131, no. 5. American Physical Society, 2023.","short":"L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).","mla":"Kranabetter, Lorenz, et al. “Nonadiabatic Laser-Induced Alignment Dynamics of Molecules on a Surface.” <i>Physical Review Letters</i>, vol. 131, no. 5, 053201, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.131.053201\">10.1103/PhysRevLett.131.053201</a>.","apa":"Kranabetter, L., Kristensen, H. H., Ghazaryan, A., Schouder, C. A., Chatterley, A. S., Janssen, P., … Stapelfeldt, H. (2023). Nonadiabatic laser-induced alignment dynamics of molecules on a surface. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.131.053201\">https://doi.org/10.1103/PhysRevLett.131.053201</a>"},"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"quality_controlled":"1","_id":"14238","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"801770","name":"Angulon: physics and applications of a new quasiparticle","_id":"2688CF98-B435-11E9-9278-68D0E5697425"}],"article_number":"053201","acknowledgement":"H. S. acknowledges support from The Villum Foundation through a Villum Investigator Grant No. 25886. M. L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). F. J. and R. E. Z. acknowledge support from the Centre for Scientific Computing, Aarhus and the JKU scientific computing administration, Linz, respectively.","date_published":"2023-08-04T00:00:00Z","month":"08","intvolume":"       131","oa":1,"issue":"5","date_updated":"2023-12-13T12:18:54Z","external_id":{"arxiv":["2308.15247"],"pmid":["37595218"],"isi":["001101784100001"]},"year":"2023","volume":131,"pmid":1,"day":"04","status":"public","date_created":"2023-08-27T22:01:16Z","publication":"Physical Review Letters","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2308.15247"}],"doi":"10.1103/PhysRevLett.131.053201","oa_version":"Preprint","ec_funded":1,"isi":1},{"volume":11,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["510"],"date_created":"2023-08-27T22:01:16Z","status":"public","day":"03","doi":"10.1017/fms.2023.65","publication":"Forum of Mathematics, Sigma","isi":1,"ec_funded":1,"oa_version":"Published Version","month":"08","intvolume":"        11","date_published":"2023-08-03T00:00:00Z","article_number":"e66","acknowledgement":"We thank Agnieszka Bodzenta-Skibińska, Paolo Cascini, Wahei Hara, Sándor Kovács, Alexander Kuznetsov, Mircea Musta  ă, Nebojsa Pavic, Pavel Sechin, and Michael Wemyss for discussions and e-mail correspondence. We also thank the anonymous referee for the helpful comments. M.M. was supported by the Institute of Science and Technology Austria. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 101034413. E.S. was partially supported by the EPSRC grant EP/T019379/1 “Derived categories and algebraic K-theory of singularities”, and by the ERC Synergy grant “Modern Aspects of Geometry: Categories, Cycles and Cohomology of Hyperkähler Varieties.”\r\n\r\n","date_updated":"2023-12-13T12:18:18Z","oa":1,"external_id":{"isi":["001041926700001"],"arxiv":["2212.06786"]},"license":"https://creativecommons.org/licenses/by/4.0/","year":"2023","citation":{"apa":"Mauri, M., &#38; Shinder, E. (2023). Homological Bondal-Orlov localization conjecture for rational singularities. <i>Forum of Mathematics, Sigma</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/fms.2023.65\">https://doi.org/10.1017/fms.2023.65</a>","mla":"Mauri, Mirko, and Evgeny Shinder. “Homological Bondal-Orlov Localization Conjecture for Rational Singularities.” <i>Forum of Mathematics, Sigma</i>, vol. 11, e66, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/fms.2023.65\">10.1017/fms.2023.65</a>.","ista":"Mauri M, Shinder E. 2023. Homological Bondal-Orlov localization conjecture for rational singularities. Forum of Mathematics, Sigma. 11, e66.","short":"M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).","ieee":"M. Mauri and E. Shinder, “Homological Bondal-Orlov localization conjecture for rational singularities,” <i>Forum of Mathematics, Sigma</i>, vol. 11. Cambridge University Press, 2023.","ama":"Mauri M, Shinder E. Homological Bondal-Orlov localization conjecture for rational singularities. <i>Forum of Mathematics, Sigma</i>. 2023;11. doi:<a href=\"https://doi.org/10.1017/fms.2023.65\">10.1017/fms.2023.65</a>","chicago":"Mauri, Mirko, and Evgeny Shinder. “Homological Bondal-Orlov Localization Conjecture for Rational Singularities.” <i>Forum of Mathematics, Sigma</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/fms.2023.65\">https://doi.org/10.1017/fms.2023.65</a>."},"publication_identifier":{"eissn":["2050-5094"]},"type":"journal_article","file_date_updated":"2023-09-05T06:43:11Z","scopus_import":"1","abstract":[{"lang":"eng","text":"Given a resolution of rational singularities  π:X~→X  over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor  Rπ∗:Db(X~)→Db(X)\r\n  between bounded derived categories of coherent sheaves generates  Db(X)\r\n  as a triangulated category. This gives a weak version of the Bondal–Orlov localization conjecture [BO02], answering a question from [PS21]. The same result is established more generally for proper (not necessarily birational) morphisms  π:X~→X , with  X~\r\n  smooth, satisfying  Rπ∗(OX~)=OX ."}],"arxiv":1,"_id":"14239","quality_controlled":"1","project":[{"grant_number":"101034413","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program"}],"publication_status":"published","has_accepted_license":"1","publisher":"Cambridge University Press","file":[{"content_type":"application/pdf","file_id":"14266","file_size":280865,"creator":"dernst","checksum":"c36241750cc5cb06890aec0ecdfee626","relation":"main_file","access_level":"open_access","success":1,"file_name":"2023_ForumMathematics_Mauri.pdf","date_created":"2023-09-05T06:43:11Z","date_updated":"2023-09-05T06:43:11Z"}],"title":"Homological Bondal-Orlov localization conjecture for rational singularities","author":[{"full_name":"Mauri, Mirko","id":"2cf70c34-09c1-11ed-bd8d-c34fac206130","first_name":"Mirko","last_name":"Mauri"},{"last_name":"Shinder","first_name":"Evgeny","full_name":"Shinder, Evgeny"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes","department":[{"_id":"TaHa"}],"language":[{"iso":"eng"}],"article_type":"original"},{"has_accepted_license":"1","publisher":"Association for Computing Machinery","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Generalizing shallow water simulations with dispersive surface waves","author":[{"first_name":"Stefan","id":"44D6411A-F248-11E8-B48F-1D18A9856A87","last_name":"Jeschke","full_name":"Jeschke, Stefan"},{"orcid":"0000-0001-6646-5546","last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","full_name":"Wojtan, Christopher J"}],"file":[{"success":1,"file_name":"PaperVideo_final.mp4","date_updated":"2023-12-21T12:26:40Z","date_created":"2023-12-21T12:26:40Z","file_id":"14704","content_type":"video/mp4","file_size":511572575,"creator":"sjeschke","relation":"main_file","checksum":"1d178bb2f8011d9f5aedda6427e18c7a","access_level":"open_access"},{"access_level":"open_access","checksum":"a49b2e744d5cd1276bb8b2e0ce6dc638","relation":"main_file","content_type":"application/pdf","file_id":"14725","creator":"dernst","file_size":7469177,"date_updated":"2024-01-02T09:34:27Z","date_created":"2024-01-02T09:34:27Z","success":1,"file_name":"2023_ACMToG_Jeschke.pdf"}],"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"article_type":"original","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"citation":{"mla":"Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” <i>ACM Transactions on Graphics</i>, vol. 42, no. 4, 83, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3592098\">10.1145/3592098</a>.","apa":"Jeschke, S., &#38; Wojtan, C. (2023). Generalizing shallow water simulations with dispersive surface waves. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3592098\">https://doi.org/10.1145/3592098</a>","chicago":"Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3592098\">https://doi.org/10.1145/3592098</a>.","ieee":"S. Jeschke and C. Wojtan, “Generalizing shallow water simulations with dispersive surface waves,” <i>ACM Transactions on Graphics</i>, vol. 42, no. 4. Association for Computing Machinery, 2023.","ista":"Jeschke S, Wojtan C. 2023. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 42(4), 83.","short":"S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).","ama":"Jeschke S, Wojtan C. Generalizing shallow water simulations with dispersive surface waves. <i>ACM Transactions on Graphics</i>. 2023;42(4). doi:<a href=\"https://doi.org/10.1145/3592098\">10.1145/3592098</a>"},"scopus_import":"1","abstract":[{"text":"This paper introduces a novel method for simulating large bodies of water as a height field. At the start of each time step, we partition the waves into a bulk flow (which approximately satisfies the assumptions of the shallow water equations) and surface waves (which approximately satisfy the assumptions of Airy wave theory). We then solve the two wave regimes separately using appropriate state-of-the-art techniques, and re-combine the resulting wave velocities at the end of each step. This strategy leads to the first heightfield wave model capable of simulating complex interactions between both deep and shallow water effects, like the waves from a boat wake sloshing up onto a beach, or a dam break producing wave interference patterns and eddies. We also analyze the numerical dispersion created by our method and derive an exact correction factor for waves at a constant water depth, giving us a numerically perfect re-creation of theoretical water wave dispersion patterns.","lang":"eng"}],"file_date_updated":"2024-01-02T09:34:27Z","type":"journal_article","_id":"14240","quality_controlled":"1","project":[{"_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088","name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083"}],"publication_status":"published","date_published":"2023-08-01T00:00:00Z","intvolume":"        42","month":"08","acknowledgement":"We thank Georg Sperl for helping with early research for this paper, Mickael Ly and Yi-Lu Chen for proofreading, and members of the ISTA Visual Computing Group for general feedback. This project was funded in part by the European Research Council (ERC Consolidator Grant 101045083 CoDiNA).\r\nThe motorboat and sailboat were modeled by Sergei and the palmtrees by YadroGames. The environment map was created by Emil Persson.","article_number":"83","date_updated":"2024-01-02T09:35:55Z","acknowledged_ssus":[{"_id":"ScienComp"}],"oa":1,"issue":"4","external_id":{"isi":["001044671300049"]},"year":"2023","volume":42,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-08-27T22:01:17Z","ddc":["000"],"status":"public","day":"01","publication":"ACM Transactions on Graphics","doi":"10.1145/3592098","oa_version":"Published Version","isi":1},{"publication_status":"published","_id":"14241","quality_controlled":"1","publication_identifier":{"isbn":["9798400701597"]},"citation":{"chicago":"Tojo, Kenji, Ariel Shamir, Bernd Bickel, and Nobuyuki Umetani. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” In <i>SIGGRAPH 2023 Conference Proceedings</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3588432.3591542\">https://doi.org/10.1145/3588432.3591542</a>.","ama":"Tojo K, Shamir A, Bickel B, Umetani N. Stealth shaper: Reflectivity optimization as surface stylization. In: <i>SIGGRAPH 2023 Conference Proceedings</i>. Association for Computing Machinery; 2023. doi:<a href=\"https://doi.org/10.1145/3588432.3591542\">10.1145/3588432.3591542</a>","short":"K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.","ieee":"K. Tojo, A. Shamir, B. Bickel, and N. Umetani, “Stealth shaper: Reflectivity optimization as surface stylization,” in <i>SIGGRAPH 2023 Conference Proceedings</i>, Los Angeles, CA, United States, 2023.","ista":"Tojo K, Shamir A, Bickel B, Umetani N. 2023. Stealth shaper: Reflectivity optimization as surface stylization. SIGGRAPH 2023 Conference Proceedings. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 20.","mla":"Tojo, Kenji, et al. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” <i>SIGGRAPH 2023 Conference Proceedings</i>, 20, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3588432.3591542\">10.1145/3588432.3591542</a>.","apa":"Tojo, K., Shamir, A., Bickel, B., &#38; Umetani, N. (2023). Stealth shaper: Reflectivity optimization as surface stylization. In <i>SIGGRAPH 2023 Conference Proceedings</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3588432.3591542\">https://doi.org/10.1145/3588432.3591542</a>"},"arxiv":1,"abstract":[{"lang":"eng","text":"We present a technique to optimize the reflectivity of a surface while preserving its overall shape. The naïve optimization of the mesh vertices using the gradients of reflectivity simulations results in undesirable distortion. In contrast, our robust formulation optimizes the surface normal as an independent variable that bridges the reflectivity term with differential rendering, and the regularization term with as-rigid-as-possible elastic energy. We further adaptively subdivide the input mesh to improve the convergence. Consequently, our method can minimize the retroreflectivity of a wide range of input shapes, resulting in sharply creased shapes ubiquitous among stealth aircraft and Sci-Fi vehicles. Furthermore, by changing the reward for the direction of the outgoing light directions, our method can be applied to other reflectivity design tasks, such as the optimization of architectural walls to concentrate light in a specific region. We have tested the proposed method using light-transport simulations and real-world 3D-printed objects."}],"scopus_import":"1","type":"conference","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"BeBi"}],"title":"Stealth shaper: Reflectivity optimization as surface stylization","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Tojo, Kenji","last_name":"Tojo","first_name":"Kenji"},{"last_name":"Shamir","first_name":"Ariel","full_name":"Shamir, Ariel"},{"orcid":"0000-0001-6511-9385","last_name":"Bickel","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","full_name":"Bickel, Bernd"},{"full_name":"Umetani, Nobuyuki","last_name":"Umetani","first_name":"Nobuyuki"}],"publisher":"Association for Computing Machinery","oa_version":"Preprint","publication":"SIGGRAPH 2023 Conference Proceedings","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2305.05944","open_access":"1"}],"doi":"10.1145/3588432.3591542","date_created":"2023-08-27T22:01:17Z","status":"public","day":"23","year":"2023","external_id":{"arxiv":["2305.05944"]},"conference":{"start_date":"2023-08-06","end_date":"2023-08-10","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference","location":"Los Angeles, CA, United States"},"date_updated":"2023-09-05T07:22:03Z","oa":1,"date_published":"2023-07-23T00:00:00Z","month":"07","article_number":"20","acknowledgement":"The authors would like to thank Yuki Koyama and Takeo Igarashi for early discussions, and Yuta Yaguchi for support in 3D printing. This research is partially supported by the Israel Science Foundation grant number 1390/19.\r\n"},{"year":"2023","external_id":{"arxiv":["2211.16187"]},"page":"14964-14973","conference":{"start_date":"2023-02-07","end_date":"2023-02-14","name":"AAAI: Conference on Artificial Intelligence","location":"Washington, DC, United States"},"date_updated":"2025-07-14T09:09:56Z","issue":"12","oa":1,"intvolume":"        37","month":"06","date_published":"2023-06-26T00:00:00Z","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. Research was sponsored by the United\r\nStates Air Force Research Laboratory and the United States Air Force Artificial Intelligence Accelerator and was accomplished under Cooperative Agreement Number FA8750-19-2-\r\n1000. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied,\r\nof the United States Air Force or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright\r\nnotation herein. The research was also funded in part by the AI2050 program at Schmidt Futures (Grant G-22-63172) and Capgemini SE.","ec_funded":1,"oa_version":"Preprint","doi":"10.1609/aaai.v37i12.26747","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2211.16187","open_access":"1"}],"publication":"Proceedings of the 37th AAAI Conference on Artificial Intelligence","date_created":"2023-08-27T22:01:17Z","status":"public","day":"26","volume":37,"language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"},{"last_name":"Zikelic","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","full_name":"Zikelic, Dorde"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Daniela","last_name":"Rus","full_name":"Rus, Daniela"}],"title":"Quantization-aware interval bound propagation for training certifiably robust quantized neural networks","publisher":"Association for the Advancement of Artificial Intelligence","project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"},{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818"},{"grant_number":"665385","call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"14242","quality_controlled":"1","publication_identifier":{"isbn":["9781577358800"]},"citation":{"mla":"Lechner, Mathias, et al. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, vol. 37, no. 12, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–73, doi:<a href=\"https://doi.org/10.1609/aaai.v37i12.26747\">10.1609/aaai.v37i12.26747</a>.","apa":"Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., &#38; Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i> (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. <a href=\"https://doi.org/10.1609/aaai.v37i12.26747\">https://doi.org/10.1609/aaai.v37i12.26747</a>","chicago":"Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023. <a href=\"https://doi.org/10.1609/aaai.v37i12.26747\">https://doi.org/10.1609/aaai.v37i12.26747</a>.","ista":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 14964–14973.","short":"M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.","ieee":"M. Lechner, D. Zikelic, K. Chatterjee, T. A. Henzinger, and D. Rus, “Quantization-aware interval bound propagation for training certifiably robust quantized neural networks,” in <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, Washington, DC, United States, 2023, vol. 37, no. 12, pp. 14964–14973.","ama":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In: <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:14964-14973. doi:<a href=\"https://doi.org/10.1609/aaai.v37i12.26747\">10.1609/aaai.v37i12.26747</a>"},"type":"conference","arxiv":1,"scopus_import":"1","abstract":[{"lang":"eng","text":"We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly adopted in industry. Recent work has shown that floating-point neural networks that have been verified to be robust can become vulnerable to adversarial attacks after quantization, and certification of the quantized representation is necessary to guarantee robustness. In this work, we present quantization-aware interval bound propagation (QA-IBP), a novel method for training robust QNNs. Inspired by advances in robust learning of non-quantized networks, our training algorithm computes the gradient of an abstract representation of the actual network. Unlike existing approaches, our method can handle the discrete semantics of QNNs. Based on QA-IBP, we also develop a complete verification procedure for verifying the adversarial robustness of QNNs, which is guaranteed to terminate and produce a correct answer. Compared to existing approaches, the key advantage of our verification procedure is that it runs entirely on GPU or other accelerator devices. We demonstrate experimentally that our approach significantly outperforms existing methods and establish the new state-of-the-art for training and certifying the robustness of QNNs."}]},{"publication_status":"published","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"}],"quality_controlled":"1","_id":"14243","type":"conference","arxiv":1,"scopus_import":"1","abstract":[{"text":"Two-player zero-sum \"graph games\" are central in logic, verification, and multi-agent systems. The game proceeds by placing a token on a vertex of a graph, and allowing the players to move it to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In \"bidding games\", however, the players have budgets and in each turn, an auction (bidding) determines which player moves the token. So far, bidding games have only been studied as full-information games. In this work we initiate the study of partial-information bidding games: we study bidding games in which a player's initial budget is drawn from a known probability distribution. We show that while for some bidding mechanisms and objectives, it is straightforward to adapt the results from the full-information setting to the partial-information setting, for others, the analysis is significantly more challenging, requires new techniques, and gives rise to interesting results. Specifically, we study games with \"mean-payoff\" objectives in combination with \"poorman\" bidding. We construct optimal strategies for a partially-informed player who plays against a fully-informed adversary. We show that, somewhat surprisingly, the \"value\" under pure strategies does not necessarily exist in such games.","lang":"eng"}],"publication_identifier":{"isbn":["9781577358800"]},"citation":{"ama":"Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>. Vol 37. ; 2023:5464-5471. doi:<a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">10.1609/aaai.v37i5.25679</a>","short":"G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.","ieee":"G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.","ista":"Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.","chicago":"Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, 37:5464–71, 2023. <a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">https://doi.org/10.1609/aaai.v37i5.25679</a>.","apa":"Avni, G., Jecker, I. R., &#38; Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i> (Vol. 37, pp. 5464–5471). Washington, DC, United States. <a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">https://doi.org/10.1609/aaai.v37i5.25679</a>","mla":"Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, vol. 37, no. 5, 2023, pp. 5464–71, doi:<a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">10.1609/aaai.v37i5.25679</a>."},"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"},{"_id":"KrCh"}],"article_processing_charge":"No","author":[{"orcid":"0000-0001-5588-8287","last_name":"Avni","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy","full_name":"Avni, Guy"},{"first_name":"Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","last_name":"Jecker","full_name":"Jecker, Ismael R"},{"full_name":"Zikelic, Dorde","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","orcid":"0000-0002-4681-1699"}],"title":"Bidding graph games with partially-observable budgets","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","ec_funded":1,"main_file_link":[{"url":"https://doi.org/10.1609/aaai.v37i5.25679","open_access":"1"}],"doi":"10.1609/aaai.v37i5.25679","publication":"Proceedings of the 37th AAAI Conference on Artificial Intelligence","day":"27","status":"public","date_created":"2023-08-27T22:01:18Z","volume":37,"year":"2023","conference":{"start_date":"2023-02-07","end_date":"2023-02-14","name":"AAAI: Conference on Artificial Intelligence","location":"Washington, DC, United States"},"page":"5464-5471","external_id":{"arxiv":["2211.13626"]},"issue":"5","oa":1,"date_updated":"2025-07-14T09:09:56Z","acknowledgement":"This research was supported in part by ISF grant no.1679/21, 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.","intvolume":"        37","month":"06","date_published":"2023-06-27T00:00:00Z"},{"external_id":{"isi":["001049312700001"],"arxiv":["1807.04057"]},"page":"958-1027","year":"2023","month":"10","intvolume":"       127","date_published":"2023-10-01T00:00:00Z","acknowledgement":"We would like to thank Gergely Bérczy, Roger Bielawski, Philip Boalch, Sergey Cherkis, Andrew Dancer, Brent Doran, Eloïse Hamilton, Frances Kirwan, Bernard Leclerc, Emmanuel Letellier, Alessia Mandini, Maxence Mayrand, András Némethi, Szilárd Szabó, and Daisuke Yamakawa for discussions related to the paper. We especially thank the referee for an extensive list of very careful comments. At various stages of this project, the authors were supported by the Advanced Grant “Arithmetic and physics of Higgs moduli spaces” no. 320593 of the European Research Council, by grant no. 153627 and NCCR SwissMAP, both funded by the Swiss National Science Foundation as well as by EPF Lausanne and IST Austria. In the final stages of this project, MLW was supported by SFB/TR 45 “Periods, moduli and arithmetic of algebraic varieties,” subproject M08-10 “Moduli of vector bundles on higher-dimensional varieties.” DW was also supported by the Fondation Sciences Mathématiques de Paris, as well as public grants overseen by the Agence national de la recherche (ANR) of France as part of the Investissements d'avenir program, under reference numbers ANR-10-LABX-0098 and ANR-15-CE40-0008 (Défigéo).","date_updated":"2024-01-30T12:56:10Z","issue":"4","oa":1,"doi":"10.1112/plms.12555","publication":"Proceedings of the London Mathematical Society","isi":1,"ec_funded":1,"oa_version":"Published Version","volume":127,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-08-27T22:01:18Z","ddc":["510"],"day":"01","status":"public","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"TaHa"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"Wiley","file":[{"content_type":"application/pdf","file_id":"14910","creator":"dernst","file_size":651335,"checksum":"2af4d2d6a8ae42f7d3fba0188e79ae82","access_level":"open_access","relation":"main_file","success":1,"file_name":"2023_ProcLondonMathSoc_Hausel.pdf","date_created":"2024-01-30T12:56:00Z","date_updated":"2024-01-30T12:56:00Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Arithmetic and metric aspects of open de Rham spaces","author":[{"full_name":"Hausel, Tamás","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","first_name":"Tamás"},{"last_name":"Wong","first_name":"Michael Lennox","full_name":"Wong, Michael Lennox"},{"full_name":"Wyss, Dimitri","last_name":"Wyss","first_name":"Dimitri"}],"project":[{"call_identifier":"FP7","grant_number":"320593","name":"Arithmetic and physics of Higgs moduli spaces","_id":"25E549F4-B435-11E9-9278-68D0E5697425"},{"_id":"25E6C798-B435-11E9-9278-68D0E5697425","name":"Arithmetic quantization of character and quiver varities","grant_number":"153627"}],"publication_status":"published","citation":{"mla":"Hausel, Tamás, et al. “Arithmetic and Metric Aspects of Open de Rham Spaces.” <i>Proceedings of the London Mathematical Society</i>, vol. 127, no. 4, Wiley, 2023, pp. 958–1027, doi:<a href=\"https://doi.org/10.1112/plms.12555\">10.1112/plms.12555</a>.","apa":"Hausel, T., Wong, M. L., &#38; Wyss, D. (2023). Arithmetic and metric aspects of open de Rham spaces. <i>Proceedings of the London Mathematical Society</i>. Wiley. <a href=\"https://doi.org/10.1112/plms.12555\">https://doi.org/10.1112/plms.12555</a>","chicago":"Hausel, Tamás, Michael Lennox Wong, and Dimitri Wyss. “Arithmetic and Metric Aspects of Open de Rham Spaces.” <i>Proceedings of the London Mathematical Society</i>. Wiley, 2023. <a href=\"https://doi.org/10.1112/plms.12555\">https://doi.org/10.1112/plms.12555</a>.","ama":"Hausel T, Wong ML, Wyss D. Arithmetic and metric aspects of open de Rham spaces. <i>Proceedings of the London Mathematical Society</i>. 2023;127(4):958-1027. doi:<a href=\"https://doi.org/10.1112/plms.12555\">10.1112/plms.12555</a>","ieee":"T. Hausel, M. L. Wong, and D. Wyss, “Arithmetic and metric aspects of open de Rham spaces,” <i>Proceedings of the London Mathematical Society</i>, vol. 127, no. 4. Wiley, pp. 958–1027, 2023.","short":"T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.","ista":"Hausel T, Wong ML, Wyss D. 2023. Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. 127(4), 958–1027."},"publication_identifier":{"issn":["0024-6115"],"eissn":["1460-244X"]},"file_date_updated":"2024-01-30T12:56:00Z","type":"journal_article","scopus_import":"1","abstract":[{"lang":"eng","text":"In this paper, we determine the motivic class — in particular, the weight polynomial and conjecturally the Poincaré polynomial — of the open de Rham space, defined and studied by Boalch, of certain moduli spaces of irregular meromorphic connections on the trivial rank \r\n bundle on P1. The computation is by motivic Fourier transform. We show that the result satisfies the purity conjecture, that is, it agrees with the pure part of the conjectured mixed Hodge polynomial of the corresponding wild character variety. We also identify the open de Rham spaces with quiver varieties with multiplicities of Yamakawa and Geiss–Leclerc–Schröer. We finish with constructing natural complete hyperkähler metrics on them, which in the four-dimensional cases are expected to be of type ALF."}],"arxiv":1,"_id":"14244","quality_controlled":"1"},{"language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"Yes","department":[{"_id":"TiBr"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution","author":[{"full_name":"Horesh, Tal","last_name":"Horesh","id":"C8B7BF48-8D81-11E9-BCA9-F536E6697425","first_name":"Tal"},{"full_name":"Nevo, Amos","first_name":"Amos","last_name":"Nevo"}],"file":[{"date_updated":"2023-09-05T07:26:17Z","date_created":"2023-09-05T07:26:17Z","file_name":"2023_PacificJourMaths_Horesh.pdf","success":1,"checksum":"a675b53cfb31fa46be1e879b7e77fe8c","relation":"main_file","access_level":"open_access","creator":"dernst","file_size":654895,"file_id":"14267","content_type":"application/pdf"}],"has_accepted_license":"1","publisher":"Mathematical Sciences Publishers","publication_status":"published","_id":"14245","quality_controlled":"1","publication_identifier":{"issn":["0030-8730"],"eissn":["1945-5844"]},"citation":{"chicago":"Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” <i>Pacific Journal of Mathematics</i>. Mathematical Sciences Publishers, 2023. <a href=\"https://doi.org/10.2140/pjm.2023.324.265\">https://doi.org/10.2140/pjm.2023.324.265</a>.","ama":"Horesh T, Nevo A. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. <i>Pacific Journal of Mathematics</i>. 2023;324(2):265-294. doi:<a href=\"https://doi.org/10.2140/pjm.2023.324.265\">10.2140/pjm.2023.324.265</a>","ista":"Horesh T, Nevo A. 2023. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. 324(2), 265–294.","ieee":"T. Horesh and A. Nevo, “Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution,” <i>Pacific Journal of Mathematics</i>, vol. 324, no. 2. Mathematical Sciences Publishers, pp. 265–294, 2023.","short":"T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.","mla":"Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” <i>Pacific Journal of Mathematics</i>, vol. 324, no. 2, Mathematical Sciences Publishers, 2023, pp. 265–94, doi:<a href=\"https://doi.org/10.2140/pjm.2023.324.265\">10.2140/pjm.2023.324.265</a>.","apa":"Horesh, T., &#38; Nevo, A. (2023). Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. <i>Pacific Journal of Mathematics</i>. Mathematical Sciences Publishers. <a href=\"https://doi.org/10.2140/pjm.2023.324.265\">https://doi.org/10.2140/pjm.2023.324.265</a>"},"scopus_import":"1","abstract":[{"lang":"eng","text":"We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements."}],"arxiv":1,"type":"journal_article","file_date_updated":"2023-09-05T07:26:17Z","year":"2023","external_id":{"arxiv":["1612.08215"],"isi":["001047690500001"]},"page":"265-294","date_updated":"2023-12-13T12:19:42Z","oa":1,"issue":"2","date_published":"2023-07-26T00:00:00Z","month":"07","intvolume":"       324","acknowledgement":"The authors thank the referee for important comments which led to significant improvements is the presentation of several results in the paper. They also thank Ami Paz for preparing the figures for this paper. Horesh thanks Ami Paz and Yakov Karasik for helpful discussions. Nevo thanks John Parker and Rene Rühr for providing some very useful references. Nevo is supported by ISF Grant No. 2095/15.","oa_version":"Published Version","isi":1,"publication":"Pacific Journal of Mathematics","doi":"10.2140/pjm.2023.324.265","ddc":["510"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-08-27T22:01:18Z","status":"public","day":"26","volume":324},{"year":"2023","external_id":{"isi":["001052577500002"],"arxiv":["2301.10488"]},"oa":1,"date_updated":"2023-12-13T12:21:09Z","keyword":["General Physics and Astronomy"],"article_number":"224","acknowledgement":"Open Access funding enabled and organized by Projekt DEAL.\r\nWe would like to thank Jonas Jager for sharing his data with us in the early stages of this project. We thank Joachim Brand and Ray Yang for sharing with us data from Yang et al.46. This work has received funding from the DFG Project no. 413495248 [VO 2437/1-1] (F.B., H.-W.H., A.G.V.). We acknowledge support from the Deutsche Forschungsgemeinschaft (DFG - German Research Foundation) and the Open Access Publishing Fund of the Technical University of Darmstadt.","intvolume":"         6","month":"08","date_published":"2023-08-22T00:00:00Z","isi":1,"oa_version":"Published Version","doi":"10.1038/s42005-023-01281-2","publication":"Communications Physics","status":"public","day":"22","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-08-28T12:36:49Z","ddc":["530"],"volume":6,"article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"MiLe"}],"article_processing_charge":"Yes (via OA deal)","file":[{"date_created":"2023-09-05T08:45:49Z","date_updated":"2023-09-05T08:45:49Z","file_name":"2023_CommPhysics_Brauneis.pdf","success":1,"checksum":"6edfc59b0ee7dc406d0968b05236e83d","access_level":"open_access","relation":"main_file","creator":"dernst","file_size":855960,"file_id":"14268","content_type":"application/pdf"}],"author":[{"last_name":"Brauneis","first_name":"Fabian","full_name":"Brauneis, Fabian"},{"last_name":"Ghazaryan","orcid":"0000-0001-9666-3543","first_name":"Areg","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","full_name":"Ghazaryan, Areg"},{"first_name":"Hans-Werner","last_name":"Hammer","full_name":"Hammer, Hans-Werner"},{"full_name":"Volosniev, Artem","last_name":"Volosniev","orcid":"0000-0003-0393-5525","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","first_name":"Artem"}],"title":"Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","has_accepted_license":"1","publication_status":"published","quality_controlled":"1","_id":"14246","type":"journal_article","file_date_updated":"2023-09-05T08:45:49Z","arxiv":1,"scopus_import":"1","abstract":[{"lang":"eng","text":"The model of a ring threaded by the Aharonov-Bohm flux underlies our understanding of a coupling between gauge potentials and matter. The typical formulation of the model is based upon a single particle picture, and should be extended when interactions with other particles become relevant. Here, we illustrate such an extension for a particle in an Aharonov-Bohm ring subject to interactions with a weakly interacting Bose gas. We show that the ground state of the system can be described using the Bose-polaron concept—a particle dressed by interactions with a bosonic environment. We connect the energy spectrum to the effective mass of the polaron, and demonstrate how to change currents in the system by tuning boson-particle interactions. Our results suggest the Aharonov-Bohm ring as a platform for studying coherence and few- to many-body crossover of quasi-particles that arise from an impurity immersed in a medium."}],"publication_identifier":{"issn":["2399-3650"]},"citation":{"chicago":"Brauneis, Fabian, Areg Ghazaryan, Hans-Werner Hammer, and Artem Volosniev. “Emergence of a Bose Polaron in a Small Ring Threaded by the Aharonov-Bohm Flux.” <i>Communications Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s42005-023-01281-2\">https://doi.org/10.1038/s42005-023-01281-2</a>.","ama":"Brauneis F, Ghazaryan A, Hammer H-W, Volosniev A. Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux. <i>Communications Physics</i>. 2023;6. doi:<a href=\"https://doi.org/10.1038/s42005-023-01281-2\">10.1038/s42005-023-01281-2</a>","ista":"Brauneis F, Ghazaryan A, Hammer H-W, Volosniev A. 2023. Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux. Communications Physics. 6, 224.","ieee":"F. Brauneis, A. Ghazaryan, H.-W. Hammer, and A. Volosniev, “Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux,” <i>Communications Physics</i>, vol. 6. Springer Nature, 2023.","short":"F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).","mla":"Brauneis, Fabian, et al. “Emergence of a Bose Polaron in a Small Ring Threaded by the Aharonov-Bohm Flux.” <i>Communications Physics</i>, vol. 6, 224, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s42005-023-01281-2\">10.1038/s42005-023-01281-2</a>.","apa":"Brauneis, F., Ghazaryan, A., Hammer, H.-W., &#38; Volosniev, A. (2023). Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux. <i>Communications Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42005-023-01281-2\">https://doi.org/10.1038/s42005-023-01281-2</a>"}},{"publication_status":"published","_id":"14253","quality_controlled":"1","citation":{"mla":"Vierra, Nicholas C., et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” <i>Nature Communications</i>, vol. 14, 5231, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-40930-6\">10.1038/s41467-023-40930-6</a>.","apa":"Vierra, N. C., Ribeiro-Silva, L., Kirmiz, M., Van Der List, D., Bhandari, P., Mack, O. A., … Trimmer, J. S. (2023). Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-023-40930-6\">https://doi.org/10.1038/s41467-023-40930-6</a>","chicago":"Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” <i>Nature Communications</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41467-023-40930-6\">https://doi.org/10.1038/s41467-023-40930-6</a>.","short":"N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).","ieee":"N. C. Vierra <i>et al.</i>, “Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.","ista":"Vierra NC, Ribeiro-Silva L, Kirmiz M, Van Der List D, Bhandari P, Mack OA, Carroll J, Le Monnier E, Aicher SA, Shigemoto R, Trimmer JS. 2023. Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. 14, 5231.","ama":"Vierra NC, Ribeiro-Silva L, Kirmiz M, et al. Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-40930-6\">10.1038/s41467-023-40930-6</a>"},"publication_identifier":{"eissn":["2041-1723"]},"scopus_import":"1","abstract":[{"text":"Junctions between the endoplasmic reticulum (ER) and the plasma membrane (PM) are specialized membrane contacts ubiquitous in eukaryotic cells. Concentration of intracellular signaling machinery near ER-PM junctions allows these domains to serve critical roles in lipid and Ca2+ signaling and homeostasis. Subcellular compartmentalization of protein kinase A (PKA) signaling also regulates essential cellular functions, however, no specific association between PKA and ER-PM junctional domains is known. Here, we show that in brain neurons type I PKA is directed to Kv2.1 channel-dependent ER-PM junctional domains via SPHKAP, a type I PKA-specific anchoring protein. SPHKAP association with type I PKA regulatory subunit RI and ER-resident VAP proteins results in the concentration of type I PKA between stacked ER cisternae associated with ER-PM junctions. This ER-associated PKA signalosome enables reciprocal regulation between PKA and Ca2+ signaling machinery to support Ca2+ influx and excitation-transcription coupling. These data reveal that neuronal ER-PM junctions support a receptor-independent form of PKA signaling driven by membrane depolarization and intracellular Ca2+, allowing conversion of information encoded in electrical signals into biochemical changes universally recognized throughout the cell.","lang":"eng"}],"file_date_updated":"2023-09-06T06:50:07Z","type":"journal_article","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"Yes","department":[{"_id":"RySh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Nicholas C.","last_name":"Vierra","full_name":"Vierra, Nicholas C."},{"last_name":"Ribeiro-Silva","first_name":"Luisa","full_name":"Ribeiro-Silva, Luisa"},{"full_name":"Kirmiz, Michael","first_name":"Michael","last_name":"Kirmiz"},{"last_name":"Van Der List","first_name":"Deborah","full_name":"Van Der List, Deborah"},{"orcid":"0000-0003-0863-4481","last_name":"Bhandari","first_name":"Pradeep","id":"45EDD1BC-F248-11E8-B48F-1D18A9856A87","full_name":"Bhandari, Pradeep"},{"last_name":"Mack","first_name":"Olivia A.","full_name":"Mack, Olivia A."},{"full_name":"Carroll, James","first_name":"James","last_name":"Carroll"},{"id":"3B59276A-F248-11E8-B48F-1D18A9856A87","first_name":"Elodie","last_name":"Le Monnier","full_name":"Le Monnier, Elodie"},{"full_name":"Aicher, Sue A.","last_name":"Aicher","first_name":"Sue A."},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Trimmer, James S.","last_name":"Trimmer","first_name":"James S."}],"title":"Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling","file":[{"content_type":"application/pdf","file_id":"14270","creator":"dernst","file_size":9412549,"relation":"main_file","access_level":"open_access","checksum":"6ab8aab4e957f626a09a1c73db3388fb","success":1,"file_name":"2023_NatureComm_Vierra.pdf","date_created":"2023-09-06T06:50:07Z","date_updated":"2023-09-06T06:50:07Z"}],"has_accepted_license":"1","publisher":"Springer Nature","oa_version":"Published Version","publication":"Nature Communications","doi":"10.1038/s41467-023-40930-6","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-03T22:01:14Z","ddc":["570"],"status":"public","day":"26","volume":14,"pmid":1,"year":"2023","external_id":{"pmid":["37633939"]},"date_updated":"2023-09-06T06:53:32Z","oa":1,"date_published":"2023-08-26T00:00:00Z","intvolume":"        14","month":"08","article_number":"5231","acknowledgement":"We thank Kayla Templeton and Peter Turcanu for technical assistance, Michelle Salemi for assistance with LC-MS data acquisition and analysis, Dr. Belvin Gong for advice on monoclonal antibody generation, Drs. Maria Casas Prat and Eamonn Dickson for assistance with super-resolution TIRF microscopy, Dr. Oscar Cerda for assistance with the design of TAT-FFAT peptides, Dr. Fernando Santana for helpful discussions, and Dr. Jodi Nunnari for a careful reading of our manuscript. We also thank Dr. Alan Howe, Dr. Sohum Mehta, and Dr. Jin Zhang for providing plasmids used in this study. This project was funded by NIH Grants R01NS114210 and R21NS101648 (J.S.T.), and F32NS108519 (N.C.V.)."},{"file_date_updated":"2024-01-30T14:15:16Z","type":"journal_article","abstract":[{"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.","lang":"eng"}],"arxiv":1,"scopus_import":"1","citation":{"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>.","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>","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>.","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>","short":"R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).","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.","ista":"Seiringer R, Solovej JP. 2023. A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. 285(10), 110129."},"publication_identifier":{"eissn":["1096-0783"],"issn":["0022-1236"]},"quality_controlled":"1","_id":"14254","publication_status":"published","publisher":"Elsevier","has_accepted_license":"1","file":[{"file_id":"14915","content_type":"application/pdf","creator":"dernst","file_size":232934,"access_level":"open_access","relation":"main_file","checksum":"28e424ad91be6219e9d321054ce3a412","success":1,"file_name":"2023_JourFunctionalAnalysis_Seiringer.pdf","date_created":"2024-01-30T14:15:16Z","date_updated":"2024-01-30T14:15:16Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"A simple approach to Lieb-Thirring type inequalities","author":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert"},{"last_name":"Solovej","first_name":"Jan Philip","full_name":"Solovej, Jan Philip"}],"department":[{"_id":"RoSe"}],"article_processing_charge":"Yes (via OA deal)","article_type":"original","language":[{"iso":"eng"}],"volume":285,"day":"15","status":"public","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["510"],"date_created":"2023-09-03T22:01:14Z","doi":"10.1016/j.jfa.2023.110129","publication":"Journal of Functional Analysis","isi":1,"oa_version":"Published Version","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).","article_number":"110129","intvolume":"       285","month":"11","date_published":"2023-11-15T00:00:00Z","issue":"10","oa":1,"date_updated":"2024-01-30T14:17:23Z","external_id":{"isi":["001071552300001"],"arxiv":["2303.04504"]},"year":"2023"},{"oa_version":"Published Version","isi":1,"publication":"PLoS Pathogens","doi":"10.1371/journal.ppat.1011562","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-03T22:01:14Z","ddc":["570"],"status":"public","day":"14","volume":19,"pmid":1,"year":"2023","external_id":{"isi":["001050846300004"],"pmid":["37578957"]},"date_updated":"2023-12-13T12:22:22Z","acknowledged_ssus":[{"_id":"EM-Fac"}],"oa":1,"issue":"8","date_published":"2023-08-14T00:00:00Z","intvolume":"        19","month":"08","article_number":"e1011562","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.","project":[{"call_identifier":"FWF","grant_number":"P31445","name":"Structural conservation and diversity in retroviral capsid","_id":"26736D6A-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"14255","quality_controlled":"1","citation":{"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>.","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>.","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).","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.","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.","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>"},"publication_identifier":{"eissn":["1553-7374"],"issn":["1553-7366"]},"scopus_import":"1","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"}],"file_date_updated":"2023-09-06T06:41:52Z","type":"journal_article","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"Yes","department":[{"_id":"FlSc"}],"title":"The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells","author":[{"first_name":"Jana","last_name":"Koch","full_name":"Koch, Jana"},{"last_name":"Xin","first_name":"Qilin","full_name":"Xin, Qilin"},{"first_name":"Martin","id":"4741CA5A-F248-11E8-B48F-1D18A9856A87","last_name":"Obr","orcid":"0000-0003-1756-6564","full_name":"Obr, Martin"},{"full_name":"Schäfer, Alicia","last_name":"Schäfer","first_name":"Alicia"},{"last_name":"Rolfs","first_name":"Nina","full_name":"Rolfs, Nina"},{"full_name":"Anagho, Holda A.","last_name":"Anagho","first_name":"Holda A."},{"full_name":"Kudulyte, Aiste","first_name":"Aiste","last_name":"Kudulyte"},{"first_name":"Lea","last_name":"Woltereck","full_name":"Woltereck, Lea"},{"full_name":"Kummer, Susann","first_name":"Susann","last_name":"Kummer"},{"full_name":"Campos, Joaquin","first_name":"Joaquin","last_name":"Campos"},{"full_name":"Uckeley, Zina M.","last_name":"Uckeley","first_name":"Zina M."},{"full_name":"Bell-Sakyi, Lesley","last_name":"Bell-Sakyi","first_name":"Lesley"},{"full_name":"Kräusslich, Hans Georg","first_name":"Hans Georg","last_name":"Kräusslich"},{"full_name":"Schur, Florian Km","orcid":"0000-0003-4790-8078","last_name":"Schur","first_name":"Florian Km","id":"48AD8942-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Acuna, Claudio","last_name":"Acuna","first_name":"Claudio"},{"full_name":"Lozach, Pierre Yves","last_name":"Lozach","first_name":"Pierre Yves"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"checksum":"47ca3bb54b27f28b05644be0ad064bc6","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"14269","creator":"dernst","file_size":4458336,"date_updated":"2023-09-06T06:41:52Z","date_created":"2023-09-06T06:41:52Z","success":1,"file_name":"2023_PloSPathogens_Koch.pdf"}],"has_accepted_license":"1","publisher":"Public Library of Science"},{"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"LiBu"}],"language":[{"iso":"eng"}],"article_type":"letter_note","has_accepted_license":"1","publisher":"EDP Sciences","file":[{"file_name":"2023_AstronomyAstrophysics_Mathis.pdf","success":1,"date_created":"2023-09-06T07:13:19Z","date_updated":"2023-09-06T07:13:19Z","creator":"dernst","file_size":458120,"content_type":"application/pdf","file_id":"14271","relation":"main_file","checksum":"7b30d26fb2b7bcb5b5be1414950615f9","access_level":"open_access"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Mathis, S.","last_name":"Mathis","first_name":"S."},{"full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000","last_name":"Bugnet","id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle"}],"title":"Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields","publication_status":"published","citation":{"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>.","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.","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.","short":"S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).","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>","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>.","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>"},"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"file_date_updated":"2023-09-06T07:13:19Z","type":"journal_article","scopus_import":"1","arxiv":1,"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"}],"_id":"14256","quality_controlled":"1","external_id":{"isi":["001046037700007"],"arxiv":["2306.11587"]},"year":"2023","intvolume":"       676","month":"08","date_published":"2023-08-01T00:00:00Z","article_number":"L9","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.","date_updated":"2023-09-06T11:05:58Z","oa":1,"doi":"10.1051/0004-6361/202346832","publication":"Astronomy and Astrophysics","isi":1,"oa_version":"Published Version","volume":676,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-03T22:01:15Z","ddc":["520"],"status":"public","day":"01"},{"_id":"14257","quality_controlled":"1","publication_identifier":{"eissn":["1546-1696"],"issn":["1087-0156"]},"citation":{"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>.","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>","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>.","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).","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.","ieee":"J. M. Michalska <i>et al.</i>, “Imaging brain tissue architecture across millimeter to nanometer scales,” <i>Nature Biotechnology</i>. Springer Nature, 2023.","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>"},"type":"journal_article","scopus_import":"1","abstract":[{"lang":"eng","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."}],"project":[{"_id":"265CB4D0-B435-11E9-9278-68D0E5697425","name":"Optical control of synaptic function via adhesion molecules","call_identifier":"FWF","grant_number":"I03600"},{"grant_number":"W1232-B24","call_identifier":"FWF","name":"Molecular Drug Targets","_id":"2548AE96-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"Z00312","_id":"25C5A090-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"},{"_id":"23889792-32DE-11EA-91FC-C7463DDC885E","name":"High content imaging to decode human immune cell interactions in health and allergic disease"},{"name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","_id":"25444568-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"715508"},{"grant_number":"692692","call_identifier":"H2020","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","name":"Biophysics and circuit function of a giant cortical glumatergic synapse"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"},{"name":"Synaptic computations of the hippocampal CA3 circuitry","_id":"fc2be41b-9c52-11eb-aca3-faa90aa144e9","grant_number":"101026635","call_identifier":"H2020"}],"publication_status":"epub_ahead","author":[{"full_name":"Michalska, Julia M","first_name":"Julia M","id":"443DB6DE-F248-11E8-B48F-1D18A9856A87","last_name":"Michalska","orcid":"0000-0003-3862-1235"},{"full_name":"Lyudchik, Julia","first_name":"Julia","id":"46E28B80-F248-11E8-B48F-1D18A9856A87","last_name":"Lyudchik"},{"full_name":"Velicky, Philipp","id":"39BDC62C-F248-11E8-B48F-1D18A9856A87","first_name":"Philipp","last_name":"Velicky","orcid":"0000-0002-2340-7431"},{"last_name":"Korinkova","first_name":"Hana","id":"ee3cb6ca-ec98-11ea-ae11-ff703e2254ed","full_name":"Korinkova, Hana"},{"first_name":"Jake","id":"63836096-4690-11EA-BD4E-32803DDC885E","last_name":"Watson","orcid":"0000-0002-8698-3823","full_name":"Watson, Jake"},{"last_name":"Cenameri","id":"9ac8f577-2357-11eb-997a-e566c5550886","first_name":"Alban","full_name":"Cenameri, Alban"},{"first_name":"Christoph M","id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1216-9105","last_name":"Sommer","full_name":"Sommer, Christoph M"},{"last_name":"Amberg","orcid":"0000-0002-3183-8207","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicole","full_name":"Amberg, Nicole"},{"orcid":"0000-0003-2356-9403","last_name":"Venturino","id":"41CB84B2-F248-11E8-B48F-1D18A9856A87","first_name":"Alessandro","full_name":"Venturino, Alessandro"},{"full_name":"Roessler, Karl","first_name":"Karl","last_name":"Roessler"},{"full_name":"Czech, Thomas","first_name":"Thomas","last_name":"Czech"},{"first_name":"Romana","last_name":"Höftberger","full_name":"Höftberger, Romana"},{"last_name":"Siegert","orcid":"0000-0001-8635-0877","first_name":"Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","full_name":"Siegert, Sandra"},{"full_name":"Novarino, Gaia","first_name":"Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","last_name":"Novarino"},{"full_name":"Jonas, Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M"},{"full_name":"Danzl, Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"}],"title":"Imaging brain tissue architecture across millimeter to nanometer scales","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"SaSi"},{"_id":"GaNo"},{"_id":"PeJo"},{"_id":"JoDa"},{"_id":"Bio"},{"_id":"RySh"}],"date_created":"2023-09-03T22:01:15Z","day":"31","status":"public","related_material":{"record":[{"status":"public","relation":"research_data","id":"13126"}],"link":[{"url":"https://github.com/danzllab/CATS","relation":"software"}]},"isi":1,"ec_funded":1,"oa_version":"Published Version","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41587-023-01911-8"}],"doi":"10.1038/s41587-023-01911-8","publication":"Nature Biotechnology","date_updated":"2024-02-21T12:18:18Z","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"},{"_id":"M-Shop"},{"_id":"E-Lib"}],"oa":1,"month":"08","date_published":"2023-08-31T00:00:00Z","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.).","year":"2023","external_id":{"isi":["001065254200001"]}},{"publication_status":"published","type":"journal_article","file_date_updated":"2024-01-30T13:20:35Z","abstract":[{"lang":"eng","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."}],"scopus_import":"1","publication_identifier":{"eissn":["1537-6605"],"issn":["0002-9297"]},"citation":{"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>.","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>","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.","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.","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.","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>.","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>"},"quality_controlled":"1","_id":"14258","department":[{"_id":"MaRo"}],"article_processing_charge":"Yes (via OA deal)","article_type":"original","language":[{"iso":"eng"}],"publisher":"Elsevier","has_accepted_license":"1","file":[{"date_updated":"2024-01-30T13:20:35Z","date_created":"2024-01-30T13:20:35Z","success":1,"file_name":"2023_AJHG_Ojavee.pdf","relation":"main_file","access_level":"open_access","checksum":"4108b031dc726ae6b4a5ae7e021ba188","content_type":"application/pdf","file_id":"14912","file_size":2551276,"creator":"dernst"}],"author":[{"full_name":"Ojavee, Sven E.","first_name":"Sven E.","last_name":"Ojavee"},{"full_name":"Darrous, Liza","last_name":"Darrous","first_name":"Liza"},{"last_name":"Patxot","first_name":"Marion","full_name":"Patxot, Marion"},{"full_name":"Läll, Kristi","first_name":"Kristi","last_name":"Läll"},{"full_name":"Fischer, Krista","first_name":"Krista","last_name":"Fischer"},{"full_name":"Mägi, Reedik","first_name":"Reedik","last_name":"Mägi"},{"full_name":"Kutalik, Zoltan","first_name":"Zoltan","last_name":"Kutalik"},{"full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","first_name":"Matthew Richard"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Genetic insights into the age-specific biological mechanisms governing human ovarian aging","doi":"10.1016/j.ajhg.2023.07.006","publication":"American Journal of Human Genetics","oa_version":"Published Version","pmid":1,"volume":110,"day":"07","status":"public","date_created":"2023-09-03T22:01:15Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"external_id":{"pmid":["37543033"]},"page":"1549-1563","year":"2023","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.","intvolume":"       110","month":"09","date_published":"2023-09-07T00:00:00Z","issue":"9","oa":1,"date_updated":"2024-01-30T13:21:05Z"},{"year":"2023","conference":{"end_date":"2023-07-22","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","location":"Paris, France"},"page":"390-414","oa":1,"date_updated":"2023-09-06T08:27:33Z","acknowledgement":"This research was funded in part by the German Research Foundation (DFG) project 427755713 Group-By Objectives in Probabilistic Verification (GOPro).","month":"07","intvolume":"     13964","alternative_title":["LNCS"],"date_published":"2023-07-17T00:00:00Z","oa_version":"Published Version","doi":"10.1007/978-3-031-37706-8_20","publication":"35th International Conference on Computer Aided Verification ","day":"17","status":"public","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["000"],"date_created":"2023-09-03T22:01:16Z","volume":13964,"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"article_processing_charge":"Yes (in subscription journal)","file":[{"checksum":"ed66278b61bb869e1baba3d9b9081271","relation":"main_file","access_level":"open_access","file_id":"14276","content_type":"application/pdf","file_size":428354,"creator":"dernst","date_created":"2023-09-06T08:25:50Z","date_updated":"2023-09-06T08:25:50Z","success":1,"file_name":"2023_LNCS_CAV_Kretinsky.pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky","full_name":"Kretinsky, Jan"},{"full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"full_name":"Prokop, Maximilian","first_name":"Maximilian","last_name":"Prokop"},{"first_name":"Sabine","last_name":"Rieder","full_name":"Rieder, Sabine"}],"title":"Guessing winning policies in LTL synthesis by semantic learning","publisher":"Springer Nature","has_accepted_license":"1","publication_status":"published","quality_controlled":"1","_id":"14259","type":"conference","file_date_updated":"2023-09-06T08:25:50Z","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."}],"scopus_import":"1","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>","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>.","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.","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.","short":"J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 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>","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>."},"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031377051"]}},{"related_material":{"record":[{"relation":"research_data","status":"public","id":"14995"}]},"oa_version":"Published Version","doi":"10.1007/978-3-031-37706-8_8","publication":"35th International Conference on Computer Aided Verification ","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-03T22:01:16Z","ddc":["000"],"day":"17","status":"public","volume":13964,"year":"2023","page":"156-169","conference":{"start_date":"2023-07-17","end_date":"2023-07-22","name":"CAV: Computer Aided Verification","location":"Paris, France"},"date_updated":"2024-02-27T07:46:52Z","oa":1,"intvolume":"     13964","month":"07","alternative_title":["LNCS"],"date_published":"2023-07-17T00:00:00Z","publication_status":"published","_id":"14260","quality_controlled":"1","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031377051"]},"citation":{"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>","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.","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.","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.","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>","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>."},"file_date_updated":"2023-09-06T08:16:25Z","type":"conference","scopus_import":"1","abstract":[{"lang":"eng","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."}],"language":[{"iso":"eng"}],"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"file":[{"date_updated":"2023-09-06T08:16:25Z","date_created":"2023-09-06T08:16:25Z","success":1,"file_name":"2023_LNCS_Koval.pdf","access_level":"open_access","checksum":"c346016393123a0a2338ad4d976f61bc","relation":"main_file","content_type":"application/pdf","file_id":"14275","creator":"dernst","file_size":421408}],"title":"Lincheck: A practical framework for testing concurrent data structures on JVM","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","full_name":"Koval, Nikita"},{"first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","last_name":"Fedorov","full_name":"Fedorov, Alexander"},{"last_name":"Sokolova","first_name":"Maria","full_name":"Sokolova, Maria"},{"full_name":"Tsitelov, Dmitry","last_name":"Tsitelov","first_name":"Dmitry"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"}],"has_accepted_license":"1","publisher":"Springer Nature"},{"oa_version":"Published Version","isi":1,"publication":"Journal of Physical Chemistry Letters","doi":"10.1021/acs.jpclett.3c01707","status":"public","day":"11","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-03T22:01:16Z","ddc":["530","540"],"volume":14,"pmid":1,"year":"2023","page":"7395-7403","external_id":{"isi":["001048165800001"],"pmid":["37566743"]},"oa":1,"issue":"33","date_updated":"2023-09-06T11:04:31Z","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.","date_published":"2023-08-11T00:00:00Z","month":"08","intvolume":"        14","publication_status":"published","quality_controlled":"1","_id":"14261","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"}],"scopus_import":"1","file_date_updated":"2023-09-06T07:32:39Z","type":"journal_article","citation":{"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>.","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>","short":"J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.","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.","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>.","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>"},"publication_identifier":{"eissn":["1948-7185"]},"article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"GradSch"}],"article_processing_charge":"Yes (in subscription journal)","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","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Gamper, Jakob","last_name":"Gamper","first_name":"Jakob"},{"full_name":"Kluibenschedl, Florian","last_name":"Kluibenschedl","id":"7499e70e-eb2c-11ec-b98b-f925648bc9d9","first_name":"Florian"},{"last_name":"Weiss","first_name":"Alexander K.H.","full_name":"Weiss, Alexander K.H."},{"last_name":"Hofer","first_name":"Thomas S.","full_name":"Hofer, Thomas S."}],"file":[{"access_level":"open_access","checksum":"637454e2b3a357498d8d622d241c4bf6","relation":"main_file","content_type":"application/pdf","file_id":"14272","creator":"dernst","file_size":4986859,"date_updated":"2023-09-06T07:32:39Z","date_created":"2023-09-06T07:32:39Z","success":1,"file_name":"2023_JourPhysChemistry_Gamper.pdf"}],"publisher":"American Chemical Society","has_accepted_license":"1"},{"volume":8,"pmid":1,"date_created":"2023-09-06T08:07:51Z","day":"01","status":"public","publication":"Science Immunology","doi":"10.1126/sciimmunol.adc9584","main_file_link":[{"url":"https://doi.org/10.1126/sciimmunol.adc9584","open_access":"1"}],"related_material":{"record":[{"status":"public","relation":"research_data","id":"14279"},{"status":"public","relation":"dissertation_contains","id":"14697"}]},"oa_version":"Published Version","ec_funded":1,"isi":1,"date_published":"2023-09-01T00:00:00Z","intvolume":"         8","month":"09","article_number":"adc9584","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.","keyword":["General Medicine","Immunology"],"date_updated":"2023-12-21T14:30:01Z","oa":1,"issue":"87","external_id":{"pmid":["37656776"],"isi":["001062110600003"]},"year":"2023","citation":{"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>.","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.","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).","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>.","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>"},"publication_identifier":{"issn":["2470-9468"]},"scopus_import":"1","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"}],"type":"journal_article","_id":"14274","quality_controlled":"1","project":[{"name":"Cellular navigation along spatial gradients","_id":"25FE9508-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"724373"},{"grant_number":"851288","call_identifier":"H2020","_id":"05943252-7A3F-11EA-A408-12923DDC885E","name":"Design Principles of Branching Morphogenesis"},{"call_identifier":"FWF","grant_number":"W01250-B20","_id":"265E2996-B435-11E9-9278-68D0E5697425","name":"Nano-Analytics of Cellular Systems"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"publication_status":"published","publisher":"American Association for the Advancement of Science","author":[{"full_name":"Alanko, Jonna H","orcid":"0000-0002-7698-3061","last_name":"Alanko","first_name":"Jonna H","id":"2CC12E8C-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-0506-4217","last_name":"Ucar","id":"50B2A802-6007-11E9-A42B-EB23E6697425","first_name":"Mehmet C","full_name":"Ucar, Mehmet C"},{"full_name":"Canigova, Nikola","last_name":"Canigova","orcid":"0000-0002-8518-5926","first_name":"Nikola","id":"3795523E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Stopp","first_name":"Julian A","id":"489E3F00-F248-11E8-B48F-1D18A9856A87","full_name":"Stopp, Julian A"},{"id":"346C1EC6-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Schwarz","full_name":"Schwarz, Jan"},{"full_name":"Merrin, Jack","orcid":"0000-0001-5145-4609","last_name":"Merrin","first_name":"Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hannezo","orcid":"0000-0001-6005-1561","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","full_name":"Hannezo, Edouard B"},{"first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","last_name":"Sixt","full_name":"Sixt, Michael K"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration","article_processing_charge":"No","department":[{"_id":"MiSi"},{"_id":"EdHa"},{"_id":"NanoFab"}],"language":[{"iso":"eng"}],"article_type":"original"},{"publication":"PRX Life","doi":"10.1103/prxlife.1.013001","oa_version":"Published Version","ec_funded":1,"volume":1,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2023-09-06T08:30:59Z","ddc":["570"],"status":"public","day":"20","year":"2023","date_published":"2023-07-20T00:00:00Z","month":"07","intvolume":"         1","article_number":"013001","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.","date_updated":"2023-09-15T06:39:17Z","oa":1,"issue":"1","project":[{"grant_number":"851288","call_identifier":"H2020","name":"Design Principles of Branching Morphogenesis","_id":"05943252-7A3F-11EA-A408-12923DDC885E"}],"publication_status":"published","publication_identifier":{"issn":["2835-8279"]},"citation":{"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>.","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>","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>.","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>","short":"D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).","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.","ista":"Boocock DR, Hirashima T, Hannezo EB. 2023. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. 1(1), 013001."},"abstract":[{"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.","lang":"eng"}],"type":"journal_article","file_date_updated":"2023-09-15T06:30:50Z","_id":"14277","quality_controlled":"1","article_processing_charge":"Yes","department":[{"_id":"EdHa"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"American Physical Society","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Boocock, Daniel R","first_name":"Daniel R","id":"453AF628-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1585-2631","last_name":"Boocock"},{"first_name":"Tsuyoshi","last_name":"Hirashima","full_name":"Hirashima, Tsuyoshi"},{"orcid":"0000-0001-6005-1561","last_name":"Hannezo","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","full_name":"Hannezo, Edouard B"}],"title":"Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers","file":[{"date_created":"2023-09-15T06:30:50Z","date_updated":"2023-09-15T06:30:50Z","success":1,"file_name":"2023_PRXLife_Boocock.pdf","checksum":"f881d98c89eb9f1aa136d7b781511553","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"14335","creator":"dernst","file_size":2559520}]}]