[{"scopus_import":"1","publication_identifier":{"eissn":["1529-2401"]},"status":"public","article_number":"e1238242024","oa_version":"Published Version","oa":1,"has_accepted_license":"1","OA_place":"publisher","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1523/JNEUROSCI.1238-24.2024"}],"citation":{"ieee":"P. Kratsios, N. Zampieri, R. Carrillo, K. Mizumoto, L. B. Sweeney, and P. Philippidou, “Molecular and cellular mechanisms of motor circuit development,” The Journal of Neuroscience, vol. 44, no. 40. Society for Neuroscience, 2024.","apa":"Kratsios, P., Zampieri, N., Carrillo, R., Mizumoto, K., Sweeney, L. B., & Philippidou, P. (2024). Molecular and cellular mechanisms of motor circuit development. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1238-24.2024","short":"P. Kratsios, N. Zampieri, R. Carrillo, K. Mizumoto, L.B. Sweeney, P. Philippidou, The Journal of Neuroscience 44 (2024).","ista":"Kratsios P, Zampieri N, Carrillo R, Mizumoto K, Sweeney LB, Philippidou P. 2024. Molecular and cellular mechanisms of motor circuit development. The Journal of Neuroscience. 44(40), e1238242024.","chicago":"Kratsios, Paschalis, Niccolò Zampieri, Robert Carrillo, Kota Mizumoto, Lora B. Sweeney, and Polyxeni Philippidou. “Molecular and Cellular Mechanisms of Motor Circuit Development.” The Journal of Neuroscience. Society for Neuroscience, 2024. https://doi.org/10.1523/JNEUROSCI.1238-24.2024.","mla":"Kratsios, Paschalis, et al. “Molecular and Cellular Mechanisms of Motor Circuit Development.” The Journal of Neuroscience, vol. 44, no. 40, e1238242024, Society for Neuroscience, 2024, doi:10.1523/JNEUROSCI.1238-24.2024.","ama":"Kratsios P, Zampieri N, Carrillo R, Mizumoto K, Sweeney LB, Philippidou P. Molecular and cellular mechanisms of motor circuit development. The Journal of Neuroscience. 2024;44(40). doi:10.1523/JNEUROSCI.1238-24.2024"},"volume":44,"ddc":["570"],"OA_embargo":"6 months","pmid":1,"publication":"The Journal of Neuroscience","date_updated":"2026-01-05T14:01:26Z","year":"2024","isi":1,"abstract":[{"text":"Motor circuits represent the main output of the central nervous system and produce dynamic behaviors ranging from relatively simple rhythmic activities like swimming in fish and breathing in mammals to highly sophisticated dexterous movements in humans. Despite decades of research, the development and function of motor circuits remain poorly understood. Breakthroughs in the field recently provided new tools and tractable model systems that set the stage to discover the molecular mechanisms and circuit logic underlying motor control. Here, we describe recent advances from both vertebrate (mouse, frog) and invertebrate (nematode, fruit fly) systems on cellular and molecular mechanisms that enable motor circuits to develop and function and highlight conserved and divergent mechanisms necessary for motor circuit development.","lang":"eng"}],"month":"10","day":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"LoSw"}],"publication_status":"published","type":"journal_article","doi":"10.1523/JNEUROSCI.1238-24.2024","publisher":"Society for Neuroscience","project":[{"grant_number":"101041551","_id":"ebb66355-77a9-11ec-83b8-b8ac210a4dae","name":"Development and Evolution of Tetrapod Motor Circuits"}],"title":"Molecular and cellular mechanisms of motor circuit development","issue":"40","date_published":"2024-10-02T00:00:00Z","external_id":{"isi":["001335212200016"],"pmid":["39358025"]},"OA_type":"hybrid","quality_controlled":"1","intvolume":" 44","author":[{"first_name":"Paschalis","last_name":"Kratsios","full_name":"Kratsios, Paschalis"},{"full_name":"Zampieri, Niccolò","first_name":"Niccolò","last_name":"Zampieri"},{"full_name":"Carrillo, Robert","first_name":"Robert","last_name":"Carrillo"},{"full_name":"Mizumoto, Kota","last_name":"Mizumoto","first_name":"Kota"},{"orcid":"0000-0001-9242-5601","id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","first_name":"Lora Beatrice Jaeger","last_name":"Sweeney","full_name":"Sweeney, Lora Beatrice Jaeger"},{"full_name":"Philippidou, Polyxeni","last_name":"Philippidou","first_name":"Polyxeni"}],"_id":"18305","acknowledgement":"Work in the authors’ labs is funded by the Helmholtz Association (N.Z.), National Institute of Neurological Disorders and Stroke (NINDS) R01NS116365 (P.K.), NINDS R01NS123439 and National Science Foundation IOS-2048080 (R.C.), NINDS R01NS114510 (P.P.), Natural Sciences and Engineering Research Council of Canada RGPIN-2021-03154 (K.M.) and Horizon Europe European Research Council Starting Grant Number 101041551 (L.B.S.). P.P. is the Weidenthal Family Designated Professor in Career Development.","date_created":"2024-10-13T22:01:49Z","article_processing_charge":"No"},{"day":"01","file_date_updated":"2024-10-21T11:05:11Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","language":[{"iso":"eng"}],"month":"10","year":"2024","isi":1,"abstract":[{"lang":"eng","text":"Neutral sodium (Na i) is an alkali metal with a favorable absorption cross section such that tenuous gases are easily illuminated at select transiting exoplanet systems. We examine both the time-averaged and time-series alkali spectral flux individually, over 4 nights at a hot Saturn system on a ∼2.8 day orbit about a Sun-like star WASP-49 A. Very Large Telescope/ESPRESSO observations are analyzed, providing new constraints. We recover the previously confirmed residual sodium flux uniquely when averaged, whereas night-to-night Na i varies by more than an order of magnitude. On HARPS/3.6 m Epoch II, we report a Doppler redshift at vΓ,NaD = + 9.7 ± 1.6 km s−1 with respect to the planet's rest frame. Upon examining the lightcurves, we confirm night-to-night variability, on the order of ∼1%–4% in NaD, rarely coinciding with exoplanet transit, not readily explained by stellar activity, starspots, tellurics, or the interstellar medium. Coincident with the ∼+10 km s−1 Doppler redshift, we detect a transient sodium absorption event dFNaD/F⋆ = 3.6% ± 1% at a relative difference of ΔFNaD(t) ∼ 4.4% ± 1%, lasting ΔtNaD ≳ 40 minutes. Since exoplanetary alkali signatures are blueshifted due to the natural vector of radiation pressure, estimated here at roughly ∼−5.7 km s−1, the radial velocity is rather at +15.4 km s−1, far larger than any known exoplanet system. Given that the redshift magnitude vΓ is in between the Roche limit and dynamically stable satellite orbits, the transient sodium may be a putative indication of a natural satellite orbiting WASP-49 A b."}],"publication":"Astrophysical Journal Letters","date_updated":"2025-09-08T14:18:18Z","DOAJ_listed":"1","ddc":["520"],"citation":{"mla":"Oza, Apurva V., et al. “Redshifted Sodium Transient near Exoplanet Transit.” Astrophysical Journal Letters, vol. 973, no. 2, L53, IOP Publishing, 2024, doi:10.3847/2041-8213/ad6b29.","ama":"Oza AV, Seidel JV, Hoeijmakers HJ, et al. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 2024;973(2). doi:10.3847/2041-8213/ad6b29","chicago":"Oza, Apurva V., Julia V. Seidel, H. Jens Hoeijmakers, Athira Unni, Aurora Y. Kesseli, Carl A. Schmidt, Thirupathi Sivarani, et al. “Redshifted Sodium Transient near Exoplanet Transit.” Astrophysical Journal Letters. IOP Publishing, 2024. https://doi.org/10.3847/2041-8213/ad6b29.","ista":"Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.","ieee":"A. V. Oza et al., “Redshifted sodium transient near exoplanet transit,” Astrophysical Journal Letters, vol. 973, no. 2. IOP Publishing, 2024.","apa":"Oza, A. V., Seidel, J. V., Hoeijmakers, H. J., Unni, A., Kesseli, A. Y., Schmidt, C. A., … Johnson, R. E. (2024). Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/ad6b29","short":"A.V. Oza, J.V. Seidel, H.J. Hoeijmakers, A. Unni, A.Y. Kesseli, C.A. Schmidt, T. Sivarani, A. Bello-Arufe, A. Gebek, M. Meyer Zu Westram, S.G. Sousa, R.M.C. Lopes, R. Hu, K. De Kleer, C. Fisher, S. Charnoz, A.D. Baker, S.P. Halverson, N.M. Schneider, A. Psaridi, A. Wyttenbach, S. Torres Rodriguez, I. Bhatnagar, R.E. Johnson, Astrophysical Journal Letters 973 (2024)."},"volume":973,"oa_version":"Published Version","has_accepted_license":"1","oa":1,"OA_place":"publisher","arxiv":1,"scopus_import":"1","publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"status":"public","article_number":"L53","date_created":"2024-10-13T22:01:49Z","article_processing_charge":"Yes","_id":"18306","acknowledgement":"The research described in this Letter was carried out in part at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics Space Administration, © 2024. California Institute of Technology. Government sponsorship acknowledged. A.V.O. and J.V.S. thank M. Lendl for constraints and discussions on the mass of WASP-49 A b. S.G.S acknowledges the support from FCT through Investigador FCT contract nr. CEECIND/00826/2018 and POPH/FSE (EC).","intvolume":" 973","author":[{"first_name":"Apurva V.","last_name":"Oza","full_name":"Oza, Apurva V."},{"full_name":"Seidel, Julia V.","first_name":"Julia V.","last_name":"Seidel"},{"last_name":"Hoeijmakers","first_name":"H. Jens","full_name":"Hoeijmakers, H. Jens"},{"full_name":"Unni, Athira","last_name":"Unni","first_name":"Athira"},{"last_name":"Kesseli","first_name":"Aurora Y.","full_name":"Kesseli, Aurora Y."},{"full_name":"Schmidt, Carl A.","first_name":"Carl A.","last_name":"Schmidt"},{"full_name":"Sivarani, Thirupathi","first_name":"Thirupathi","last_name":"Sivarani"},{"first_name":"Aaron","last_name":"Bello-Arufe","full_name":"Bello-Arufe, Aaron"},{"full_name":"Gebek, Andrea","first_name":"Andrea","last_name":"Gebek"},{"full_name":"Meyer Zu Westram, Moritz","first_name":"Moritz","last_name":"Meyer Zu Westram"},{"last_name":"Sousa","first_name":"Sérgio G.","full_name":"Sousa, Sérgio G."},{"first_name":"Rosaly M.C.","last_name":"Lopes","full_name":"Lopes, Rosaly M.C."},{"full_name":"Hu, Renyu","last_name":"Hu","first_name":"Renyu"},{"full_name":"De Kleer, Katherine","first_name":"Katherine","last_name":"De Kleer"},{"full_name":"Fisher, Chloe","first_name":"Chloe","last_name":"Fisher"},{"full_name":"Charnoz, Sébastien","last_name":"Charnoz","first_name":"Sébastien"},{"full_name":"Baker, Ashley D.","last_name":"Baker","first_name":"Ashley D."},{"full_name":"Halverson, Samuel P.","first_name":"Samuel P.","last_name":"Halverson"},{"full_name":"Schneider, Nick M.","first_name":"Nick M.","last_name":"Schneider"},{"last_name":"Psaridi","first_name":"Angelica","full_name":"Psaridi, Angelica"},{"full_name":"Wyttenbach, Aurélien","last_name":"Wyttenbach","first_name":"Aurélien"},{"last_name":"Torres Rodriguez","first_name":"Santiago","orcid":"0000-0002-3150-8988","id":"a8df4360-4328-11ee-8f1a-e502d0c83fc2","full_name":"Torres Rodriguez, Santiago"},{"last_name":"Bhatnagar","first_name":"Ishita","full_name":"Bhatnagar, Ishita"},{"first_name":"Robert E.","last_name":"Johnson","full_name":"Johnson, Robert E."}],"date_published":"2024-10-01T00:00:00Z","external_id":{"arxiv":["2409.19844"],"isi":["001322169500001"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"OA_type":"gold","quality_controlled":"1","file":[{"file_size":1249747,"creator":"dernst","access_level":"open_access","file_id":"18456","file_name":"2024_AstrophysicalJourn_Oza.pdf","content_type":"application/pdf","date_created":"2024-10-21T11:05:11Z","relation":"main_file","checksum":"23eea2a6a0519694a84998957ad7b7fb","date_updated":"2024-10-21T11:05:11Z","success":1}],"issue":"2","title":"Redshifted sodium transient near exoplanet transit","type":"journal_article","doi":"10.3847/2041-8213/ad6b29","publisher":"IOP Publishing","department":[{"_id":"LiBu"}],"publication_status":"published"},{"day":"23","file_date_updated":"2024-10-21T09:41:48Z","alternative_title":["LIPIcs"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"month":"09","year":"2024","isi":1,"abstract":[{"text":"We study in this paper the problem of maintaining a solution to k-median and k-means clustering in a fully dynamic setting. To do so, we present an algorithm to efficiently maintain a coreset, a compressed version of the dataset, that allows easy computation of a clustering solution at query time. Our coreset algorithm has near-optimal update time of Õ(k) in general metric spaces, which reduces to Õ(d) in the Euclidean space ℝ^d. The query time is O(k²) in general metrics, and O(kd) in ℝ^d. To maintain a constant-factor approximation for k-median and k-means clustering in Euclidean space, this directly leads to an algorithm with update time Õ(d), and query time Õ(kd + k²). To maintain a O(polylog k)-approximation, the query time is reduced to Õ(kd).","lang":"eng"}],"publication":"32nd Annual European Symposium on Algorithms","date_updated":"2025-12-02T13:49:11Z","ddc":["000"],"citation":{"chicago":"La Tour, Max Dupré, Monika Henzinger, and David Saulpic. “Fully Dynamic K-Means Coreset in near-Optimal Update Time.” In 32nd Annual European Symposium on Algorithms, Vol. 308. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ESA.2024.100.","ama":"La Tour MD, Henzinger M, Saulpic D. Fully dynamic k-means coreset in near-optimal update time. In: 32nd Annual European Symposium on Algorithms. Vol 308. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ESA.2024.100","mla":"La Tour, Max Dupré, et al. “Fully Dynamic K-Means Coreset in near-Optimal Update Time.” 32nd Annual European Symposium on Algorithms, vol. 308, 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.ESA.2024.100.","short":"M.D. La Tour, M. Henzinger, D. Saulpic, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.","ieee":"M. D. La Tour, M. Henzinger, and D. Saulpic, “Fully dynamic k-means coreset in near-optimal update time,” in 32nd Annual European Symposium on Algorithms, London, United Kingdom, 2024, vol. 308.","apa":"La Tour, M. D., Henzinger, M., & Saulpic, D. (2024). Fully dynamic k-means coreset in near-optimal update time. In 32nd Annual European Symposium on Algorithms (Vol. 308). London, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2024.100","ista":"La Tour MD, Henzinger M, Saulpic D. 2024. Fully dynamic k-means coreset in near-optimal update time. 32nd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 308, 100."},"ec_funded":1,"volume":308,"oa_version":"Published Version","oa":1,"has_accepted_license":"1","OA_place":"publisher","arxiv":1,"publication_identifier":{"isbn":["9783959773386"],"issn":["1868-8969"]},"scopus_import":"1","status":"public","article_number":"100","date_created":"2024-10-13T22:01:50Z","corr_author":"1","article_processing_charge":"Yes","_id":"18308","acknowledgement":"Monika Henzinger: This project has received funding from the European Research Council\r\n(ERC) under the European Union’s Horizon 2020 research and innovation programme (MoDynStruct Grant agreement No. 101019564) and the Austrian Science Fund (FWF) grant DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024.\r\nDavid Saulpic: Work partially done while at ISTA. Received funding from the European Union’s\r\nHorizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101034413. This work was partially funded by the grant ANR-19-CE48-0016 from the French National Research Agency (ANR).","intvolume":" 308","author":[{"full_name":"La Tour, Max Dupré","last_name":"La Tour","first_name":"Max Dupré"},{"last_name":"Henzinger","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"full_name":"Saulpic, David","id":"f8e48cf0-b0ff-11ed-b0e9-b4c35598f964","first_name":"David","last_name":"Saulpic"}],"date_published":"2024-09-23T00:00:00Z","conference":{"start_date":"2024-09-02","location":"London, United Kingdom","end_date":"2024-09-04","name":"ESA: European Symposium on Algorithms"},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"isi":["001545622400100"],"arxiv":["2406.19926"]},"OA_type":"gold","quality_controlled":"1","file":[{"relation":"main_file","checksum":"8e8c0b13049f11bb0133dfac22e32718","date_updated":"2024-10-21T09:41:48Z","success":1,"creator":"dernst","file_size":873561,"access_level":"open_access","file_id":"18454","file_name":"2024_LIPICs_DuprelaTour.pdf","content_type":"application/pdf","date_created":"2024-10-21T09:41:48Z"}],"title":"Fully dynamic k-means coreset in near-optimal update time","project":[{"_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62","grant_number":"101019564","call_identifier":"H2020","name":"The design and evaluation of modern fully dynamic data structures"},{"grant_number":"Z00422","_id":"34def286-11ca-11ed-8bc3-da5948e1613c","name":"Efficient algorithms"},{"name":"Static and Dynamic Hierarchical Graph Decompositions","grant_number":"I05982","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103"},{"name":"Fast Algorithms for a Reactive Network Layer","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","grant_number":"P33775"},{"name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020"}],"type":"conference","doi":"10.4230/LIPIcs.ESA.2024.100","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","department":[{"_id":"MoHe"}],"publication_status":"published"},{"volume":308,"citation":{"ieee":"B. Hu, E. Kosinas, and A. Polak, “Connectivity oracles for predictable vertex failures,” in 32nd Annual European Symposium on Algorithms, London, United Kingdom, 2024, vol. 308.","apa":"Hu, B., Kosinas, E., & Polak, A. (2024). Connectivity oracles for predictable vertex failures. In 32nd Annual European Symposium on Algorithms (Vol. 308). London, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2024.72","short":"B. Hu, E. Kosinas, A. Polak, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.","ista":"Hu B, Kosinas E, Polak A. 2024. Connectivity oracles for predictable vertex failures. 32nd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 308, 72.","chicago":"Hu, Bingbing, Evangelos Kosinas, and Adam Polak. “Connectivity Oracles for Predictable Vertex Failures.” In 32nd Annual European Symposium on Algorithms, Vol. 308. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ESA.2024.72.","ama":"Hu B, Kosinas E, Polak A. Connectivity oracles for predictable vertex failures. In: 32nd Annual European Symposium on Algorithms. Vol 308. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ESA.2024.72","mla":"Hu, Bingbing, et al. “Connectivity Oracles for Predictable Vertex Failures.” 32nd Annual European Symposium on Algorithms, vol. 308, 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.ESA.2024.72."},"ddc":["000"],"status":"public","article_number":"72","scopus_import":"1","publication_identifier":{"issn":["1868-8969"],"isbn":["9783959773386"]},"OA_place":"publisher","arxiv":1,"oa_version":"Published Version","oa":1,"has_accepted_license":"1","month":"09","language":[{"iso":"eng"}],"file_date_updated":"2024-10-21T10:03:48Z","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LIPIcs"],"date_updated":"2025-12-02T13:49:52Z","publication":"32nd Annual European Symposium on Algorithms","abstract":[{"lang":"eng","text":"The problem of designing connectivity oracles supporting vertex failures is one of the basic data structures problems for undirected graphs. It is already well understood: previous works [Duan-Pettie STOC'10; Long-Saranurak FOCS'22] achieve query time linear in the number of failed vertices, and it is conditionally optimal as long as we require preprocessing time polynomial in the size of the graph and update time polynomial in the number of failed vertices. We revisit this problem in the paradigm of algorithms with predictions: we ask if the query time can be improved if the set of failed vertices can be predicted beforehand up to a small number of errors. More specifically, we design a data structure that, given a graph G = (V,E) and a set of vertices predicted to fail D̂ ⊆ V of size d = |D̂|, preprocesses it in time Õ(d|E|) and then can receive an update given as the symmetric difference between the predicted and the actual set of failed vertices D̂△D = (D̂ ⧵ D) ∪ (D ⧵ D̂) of size η = |D̂△D|, process it in time Õ(η⁴), and after that answer connectivity queries in G ⧵ D in time O(η). Viewed from another perspective, our data structure provides an improvement over the state of the art for the fully dynamic subgraph connectivity problem in the sensitivity setting [Henzinger-Neumann ESA'16]. We argue that the preprocessing time and query time of our data structure are conditionally optimal under standard fine-grained complexity assumptions."}],"year":"2024","isi":1,"title":"Connectivity oracles for predictable vertex failures","file":[{"access_level":"open_access","file_size":853914,"creator":"dernst","file_id":"18455","content_type":"application/pdf","file_name":"2024_LIPICs_Hu.pdf","date_created":"2024-10-21T10:03:48Z","checksum":"ab1f2f9161549a8763eda15db40e022c","relation":"main_file","date_updated":"2024-10-21T10:03:48Z","success":1}],"publication_status":"published","department":[{"_id":"MoHe"}],"type":"conference","doi":"10.4230/LIPIcs.ESA.2024.72","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","acknowledgement":"Part of this work was done when Evangelos Kosinas was at University of Ioannina and Adam Polak was at Max Planck Institute of Informatics.\r\n","_id":"18309","date_created":"2024-10-13T22:01:50Z","article_processing_charge":"Yes","corr_author":"1","OA_type":"gold","quality_controlled":"1","date_published":"2024-09-01T00:00:00Z","conference":{"location":"London, United Kingdom","start_date":"2024-09-02","end_date":"2024-09-04","name":"ESA: European Symposium on Algorithms"},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"isi":["001545622400072"],"arxiv":["2312.08489"]},"intvolume":" 308","author":[{"first_name":"Bingbing","last_name":"Hu","full_name":"Hu, Bingbing"},{"last_name":"Kosinas","first_name":"Evangelos","id":"4c7f9625-dbbc-11ee-9d86-bdcc2db5a949","full_name":"Kosinas, Evangelos"},{"last_name":"Polak","first_name":"Adam","full_name":"Polak, Adam"}]},{"pmid":1,"citation":{"ista":"Kitsara M, Smajlhodžić-Deljo M, Gurbeta Pokvic L, Bert B, Bubalo N, Erden S, Franco NH, Chirico G, Gómez Raja J, Gonzalez-Uarquin F, Lang A, Linklater N, Mojsova S, Olsson IAS, Sandvig I, Schaffert A, Schmit M, Schober S, Sevastre B, Wilflingseder D, Ahluwalia A, Neuhaus W. 2024. Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE). Alternatives to Laboratory Animals. 52(6), 326–333.","ieee":"M. Kitsara et al., “Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE),” Alternatives to Laboratory Animals, vol. 52, no. 6. SAGE Publications, pp. 326–333, 2024.","apa":"Kitsara, M., Smajlhodžić-Deljo, M., Gurbeta Pokvic, L., Bert, B., Bubalo, N., Erden, S., … Neuhaus, W. (2024). Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE). Alternatives to Laboratory Animals. SAGE Publications. https://doi.org/10.1177/02611929241286024","short":"M. Kitsara, M. Smajlhodžić-Deljo, L. Gurbeta Pokvic, B. Bert, N. Bubalo, S. Erden, N.H. Franco, G. Chirico, J. Gómez Raja, F. Gonzalez-Uarquin, A. Lang, N. Linklater, S. Mojsova, I.A.S. Olsson, I. Sandvig, A. Schaffert, M. Schmit, S. Schober, B. Sevastre, D. Wilflingseder, A. Ahluwalia, W. Neuhaus, Alternatives to Laboratory Animals 52 (2024) 326–333.","ama":"Kitsara M, Smajlhodžić-Deljo M, Gurbeta Pokvic L, et al. Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE). Alternatives to Laboratory Animals. 2024;52(6):326-333. doi:10.1177/02611929241286024","mla":"Kitsara, Maria, et al. “Introducing the COST Action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE).” Alternatives to Laboratory Animals, vol. 52, no. 6, SAGE Publications, 2024, pp. 326–33, doi:10.1177/02611929241286024.","chicago":"Kitsara, Maria, Merima Smajlhodžić-Deljo, Lejla Gurbeta Pokvic, Bettina Bert, Nataliia Bubalo, Sevilay Erden, Nuno Henrique Franco, et al. “Introducing the COST Action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE).” Alternatives to Laboratory Animals. SAGE Publications, 2024. https://doi.org/10.1177/02611929241286024."},"volume":52,"oa_version":"None","scopus_import":"1","publication_identifier":{"eissn":["2632-3559"],"issn":["0261-1929"]},"status":"public","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"01","language":[{"iso":"eng"}],"article_type":"original","month":"11","isi":1,"year":"2024","publication":"Alternatives to Laboratory Animals","date_updated":"2025-09-08T09:56:39Z","issue":"6","title":"Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE)","publisher":"SAGE Publications","type":"journal_article","doi":"10.1177/02611929241286024","department":[{"_id":"PreCl"}],"publication_status":"published","page":"326-333","article_processing_charge":"No","date_created":"2024-10-13T22:01:51Z","_id":"18310","author":[{"full_name":"Kitsara, Maria","last_name":"Kitsara","first_name":"Maria"},{"first_name":"Merima","last_name":"Smajlhodžić-Deljo","full_name":"Smajlhodžić-Deljo, Merima"},{"last_name":"Gurbeta Pokvic","first_name":"Lejla","full_name":"Gurbeta Pokvic, Lejla"},{"last_name":"Bert","first_name":"Bettina","full_name":"Bert, Bettina"},{"full_name":"Bubalo, Nataliia","first_name":"Nataliia","last_name":"Bubalo"},{"last_name":"Erden","first_name":"Sevilay","full_name":"Erden, Sevilay"},{"full_name":"Franco, Nuno Henrique","first_name":"Nuno Henrique","last_name":"Franco"},{"first_name":"Giuseppe","last_name":"Chirico","full_name":"Chirico, Giuseppe"},{"full_name":"Gómez Raja, Jonathan","first_name":"Jonathan","last_name":"Gómez Raja"},{"full_name":"Gonzalez-Uarquin, Fernando","first_name":"Fernando","last_name":"Gonzalez-Uarquin"},{"full_name":"Lang, Annemarie","last_name":"Lang","first_name":"Annemarie"},{"last_name":"Linklater","first_name":"Nicole","full_name":"Linklater, Nicole"},{"last_name":"Mojsova","first_name":"Sandra","full_name":"Mojsova, Sandra"},{"full_name":"Olsson, I. Anna S.","first_name":"I. Anna S.","last_name":"Olsson"},{"full_name":"Sandvig, Ioanna","last_name":"Sandvig","first_name":"Ioanna"},{"first_name":"Alexandra","last_name":"Schaffert","full_name":"Schaffert, Alexandra"},{"full_name":"Schmit, Marthe","first_name":"Marthe","last_name":"Schmit"},{"full_name":"Schober, Sophie","first_name":"Sophie","id":"80b0a0ef-4b9f-11ec-b119-8d9d94c4a1d8","last_name":"Schober"},{"first_name":"Bogdan","last_name":"Sevastre","full_name":"Sevastre, Bogdan"},{"first_name":"Doris","last_name":"Wilflingseder","full_name":"Wilflingseder, Doris"},{"first_name":"Arti","last_name":"Ahluwalia","full_name":"Ahluwalia, Arti"},{"first_name":"Winfried","last_name":"Neuhaus","full_name":"Neuhaus, Winfried"}],"intvolume":" 52","external_id":{"isi":["001348633700007"],"pmid":["39333027"]},"date_published":"2024-11-01T00:00:00Z","quality_controlled":"1","OA_type":"closed access"},{"date_published":"2024-11-01T00:00:00Z","external_id":{"pmid":["39354142"],"isi":["001326684200001"]},"OA_type":"closed access","quality_controlled":"1","intvolume":" 34","author":[{"full_name":"Hörmayer, Lukas","last_name":"Hörmayer","orcid":"0000-0001-8295-2926","id":"2EEE7A2A-F248-11E8-B48F-1D18A9856A87","first_name":"Lukas"},{"full_name":"Friml, Jiří","first_name":"Jiří","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml"}],"_id":"18311","page":"761-762","date_created":"2024-10-13T22:01:51Z","corr_author":"1","article_processing_charge":"No","department":[{"_id":"JiFr"}],"publication_status":"published","doi":"10.1038/s41422-024-01035-x","type":"journal_article","publisher":"Springer Nature","title":"Feeling the danger: Local wound signaling in plants","publication":"Cell Research","date_updated":"2025-09-08T09:57:18Z","year":"2024","isi":1,"abstract":[{"lang":"eng","text":"Local wound signaling in plants informs the surrounding tissues about an injury and initiates the regeneration process. In a recent paper published in Cell, Yang and colleagues show the involvement of a single Pep family member from tomato in wound signaling and how exogenous application of this regeneration factor enhances transformation efficiency in crops."}],"month":"11","day":"01","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","language":[{"iso":"eng"}],"publication_identifier":{"issn":["1001-0602"],"eissn":["1748-7838"]},"scopus_import":"1","status":"public","oa_version":"None","citation":{"mla":"Hörmayer, Lukas, and Jiří Friml. “Feeling the Danger: Local Wound Signaling in Plants.” Cell Research, vol. 34, Springer Nature, 2024, pp. 761–62, doi:10.1038/s41422-024-01035-x.","ama":"Hörmayer L, Friml J. Feeling the danger: Local wound signaling in plants. Cell Research. 2024;34:761-762. doi:10.1038/s41422-024-01035-x","chicago":"Hörmayer, Lukas, and Jiří Friml. “Feeling the Danger: Local Wound Signaling in Plants.” Cell Research. Springer Nature, 2024. https://doi.org/10.1038/s41422-024-01035-x.","ista":"Hörmayer L, Friml J. 2024. Feeling the danger: Local wound signaling in plants. Cell Research. 34, 761–762.","apa":"Hörmayer, L., & Friml, J. (2024). Feeling the danger: Local wound signaling in plants. Cell Research. Springer Nature. https://doi.org/10.1038/s41422-024-01035-x","ieee":"L. Hörmayer and J. Friml, “Feeling the danger: Local wound signaling in plants,” Cell Research, vol. 34. Springer Nature, pp. 761–762, 2024.","short":"L. Hörmayer, J. Friml, Cell Research 34 (2024) 761–762."},"volume":34,"pmid":1},{"type":"dissertation","doi":"10.15479/at:ista:18443","publisher":"Institute of Science and Technology Austria","publication_status":"published","department":[{"_id":"GradSch"},{"_id":"TaHa"}],"file":[{"creator":"msisak","file_size":1672547,"access_level":"open_access","file_id":"18467","file_name":"MASisak_dissertation.pdf","content_type":"application/pdf","date_created":"2024-10-23T14:42:45Z","relation":"main_file","checksum":"8c4893e726aaa4b3efb82758da9b6851","date_updated":"2024-10-23T14:42:45Z","success":1},{"file_id":"18468","file_size":617913,"creator":"msisak","access_level":"closed","date_created":"2024-10-23T14:43:56Z","file_name":"MASisak_source.zip","content_type":"application/x-zip-compressed","date_updated":"2024-10-24T08:09:13Z","relation":"source_file","checksum":"1831b072e861a1e5481024ca9d02b036"}],"project":[{"grant_number":"26069","_id":"6286e8c4-2b32-11ec-9570-f5297902f67f","name":"Branes on hyperkähler manifolds"}],"title":"T-dual branes on hyperkähler manifolds","author":[{"full_name":"Sisak, Maria A","id":"44A03D04-AEA4-11E9-B225-EA2DE6697425","first_name":"Maria A","last_name":"Sisak"}],"OA_type":"free access","date_published":"2024-10-24T00:00:00Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"keyword":["hyperkaehler geometry","branes","mirror symmetry","T-duality"],"date_created":"2024-10-19T12:00:37Z","article_processing_charge":"No","corr_author":"1","page":"178","_id":"18443","OA_place":"publisher","degree_awarded":"PhD","oa_version":"Published Version","oa":1,"has_accepted_license":"1","status":"public","publication_identifier":{"issn":["2663-337X"]},"ddc":["516"],"citation":{"chicago":"Sisak, Maria A. “T-Dual Branes on Hyperkähler Manifolds.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18443.","ama":"Sisak MA. T-dual branes on hyperkähler manifolds. 2024. doi:10.15479/at:ista:18443","mla":"Sisak, Maria A. T-Dual Branes on Hyperkähler Manifolds. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18443.","short":"M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.","apa":"Sisak, M. A. (2024). T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18443","ieee":"M. A. Sisak, “T-dual branes on hyperkähler manifolds,” Institute of Science and Technology Austria, 2024.","ista":"Sisak MA. 2024. T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria."},"abstract":[{"lang":"eng","text":"In [KW06] Kapustin and Witten conjectured that there is a mirror symmetry relation between\r\nthe hyperkähler structures on certain Higgs bundle moduli spaces. As a consequence, they\r\nconjecture an equivalence between categories of BBB and BAA-branes. At the classical\r\nlevel, this mirror symmetry is given by T-duality between semi-flat hyperkähler structures on\r\nalgebraic integrable systems.\r\nIn this thesis, we investigate the T-duality relation between hyperkähler structures and the\r\ncorresponding branes on affine torus bundles. We use the techniques of generalized geometry\r\nto show that semi-flat hyperkähler structures are T-dual on algebraic integrable systems.\r\nWe also describe T-duality for generalized branes. Motivated by Fourier-Mukai transform\r\nwe upgrade the T-duality between generalized branes to T-duality of submanifolds endowed\r\nwith U(1)-bundles and connections. This T-duality in the appropriate context specializes to\r\nT-duality between BBB and BAA-branes.\r\n"}],"year":"2024","date_updated":"2026-04-07T12:42:44Z","supervisor":[{"orcid":"0000-0002-9582-2634","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","first_name":"Tamás","last_name":"Hausel","full_name":"Hausel, Tamás"}],"language":[{"iso":"eng"}],"file_date_updated":"2024-10-24T08:09:13Z","day":"24","alternative_title":["ISTA Thesis"],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10"},{"page":"999-1054","article_processing_charge":"No","date_created":"2026-06-19T08:13:06Z","_id":"22065","author":[{"full_name":"Killip, Rowan","last_name":"Killip","first_name":"Rowan"},{"full_name":"Laurens, Thierry","last_name":"Laurens","first_name":"Thierry"},{"id":"056daca0-b8d1-11f0-964f-f91054abf8ca","first_name":"Monica","last_name":"Visan","full_name":"Visan, Monica"}],"intvolume":" 236","external_id":{"arxiv":["2304.00124"]},"date_published":"2024-06-01T00:00:00Z","quality_controlled":"1","OA_type":"green","issue":"3","title":"Sharp well-posedness for the Benjamin–Ono equation","publisher":"Springer Nature","type":"journal_article","doi":"10.1007/s00222-024-01250-8","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","language":[{"iso":"eng"}],"extern":"1","article_type":"original","month":"06","year":"2024","abstract":[{"lang":"eng","text":"The Benjamin–Ono equation is shown to be well-posed, both on the line and on the circle, in the Sobolev spaces H^s for s > -1/2. The proof rests on a new gauge transformation and benefits from our introduction of a modified Lax pair representation of the full hierarchy. As we will show, these developments yield important additional dividends beyond well-posedness, including (i) the unification of the diverse approaches to polynomial conservation laws; (ii) a generalization of Gérard’s explicit formula to the full hierarchy; and (iii) new virial-type identities covering all equations in the hierarchy."}],"publication":"Inventiones mathematicae","das_tickbox":"1","date_updated":"2026-06-30T07:11:40Z","citation":{"chicago":"Killip, Rowan, Thierry Laurens, and Monica Vişan. “Sharp Well-Posedness for the Benjamin–Ono Equation.” Inventiones Mathematicae. Springer Nature, 2024. https://doi.org/10.1007/s00222-024-01250-8.","mla":"Killip, Rowan, et al. “Sharp Well-Posedness for the Benjamin–Ono Equation.” Inventiones Mathematicae, vol. 236, no. 3, Springer Nature, 2024, pp. 999–1054, doi:10.1007/s00222-024-01250-8.","ama":"Killip R, Laurens T, Vişan M. Sharp well-posedness for the Benjamin–Ono equation. Inventiones mathematicae. 2024;236(3):999-1054. doi:10.1007/s00222-024-01250-8","short":"R. Killip, T. Laurens, M. Vişan, Inventiones Mathematicae 236 (2024) 999–1054.","ieee":"R. Killip, T. Laurens, and M. Vişan, “Sharp well-posedness for the Benjamin–Ono equation,” Inventiones mathematicae, vol. 236, no. 3. Springer Nature, pp. 999–1054, 2024.","apa":"Killip, R., Laurens, T., & Vişan, M. (2024). Sharp well-posedness for the Benjamin–Ono equation. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-024-01250-8","ista":"Killip R, Laurens T, Vişan M. 2024. Sharp well-posedness for the Benjamin–Ono equation. Inventiones mathematicae. 236(3), 999–1054."},"volume":236,"oa_version":"Preprint","oa":1,"arxiv":1,"OA_place":"repository","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2304.00124"}],"scopus_import":"1","publication_identifier":{"issn":["0020-9910"],"eissn":["1432-1297"]},"status":"public"},{"article_type":"original","extern":"1","language":[{"iso":"eng"}],"day":"26","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"06","abstract":[{"lang":"eng","text":"We prove that the derivative nonlinear Schrödinger equation in one space dimension is globally well-posed on the line in L^2 (R), which is the scaling-critical space for this equation."}],"year":"2024","date_updated":"2026-06-30T07:04:07Z","publication":"Journal of the European Mathematical Society","volume":28,"citation":{"short":"B. Harrop-Griffiths, R. Killip, M. Ntekoume, M. Vişan, Journal of the European Mathematical Society 28 (2024) 843–924.","ieee":"B. Harrop-Griffiths, R. Killip, M. Ntekoume, and M. Vişan, “Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R),” Journal of the European Mathematical Society, vol. 28, no. 2. EMS Press, pp. 843–924, 2024.","apa":"Harrop-Griffiths, B., Killip, R., Ntekoume, M., & Vişan, M. (2024). Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R). Journal of the European Mathematical Society. EMS Press. https://doi.org/10.4171/jems/1490","ista":"Harrop-Griffiths B, Killip R, Ntekoume M, Vişan M. 2024. Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R). Journal of the European Mathematical Society. 28(2), 843–924.","chicago":"Harrop-Griffiths, Benjamin, Rowan Killip, Maria Ntekoume, and Monica Vişan. “Global Well-Posedness for the Derivative Nonlinear Schrödinger Equation in L^2(R).” Journal of the European Mathematical Society. EMS Press, 2024. https://doi.org/10.4171/jems/1490.","mla":"Harrop-Griffiths, Benjamin, et al. “Global Well-Posedness for the Derivative Nonlinear Schrödinger Equation in L^2(R).” Journal of the European Mathematical Society, vol. 28, no. 2, EMS Press, 2024, pp. 843–924, doi:10.4171/jems/1490.","ama":"Harrop-Griffiths B, Killip R, Ntekoume M, Vişan M. Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R). Journal of the European Mathematical Society. 2024;28(2):843-924. doi:10.4171/jems/1490"},"mathsc":["35Q55"],"OA_place":"repository","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2204.12548"}],"arxiv":1,"oa":1,"oa_version":"Preprint","status":"public","publication_identifier":{"issn":["1435-9855"],"eissn":["1435-9863"]},"scopus_import":"1","date_created":"2026-06-19T08:11:46Z","article_processing_charge":"No","page":"843-924","_id":"22062","intvolume":" 28","author":[{"last_name":"Harrop-Griffiths","first_name":"Benjamin","full_name":"Harrop-Griffiths, Benjamin"},{"last_name":"Killip","first_name":"Rowan","full_name":"Killip, Rowan"},{"full_name":"Ntekoume, Maria","first_name":"Maria","last_name":"Ntekoume"},{"last_name":"Visan","first_name":"Monica","id":"056daca0-b8d1-11f0-964f-f91054abf8ca","full_name":"Visan, Monica"}],"OA_type":"green","quality_controlled":"1","date_published":"2024-06-26T00:00:00Z","external_id":{"arxiv":["2204.12548"]},"issue":"2","title":"Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R)","type":"journal_article","doi":"10.4171/jems/1490","publisher":"EMS Press","publication_status":"published"},{"status":"public","publication_identifier":{"eissn":["1473-7124"],"issn":["0308-2105"]},"scopus_import":"1","arxiv":1,"OA_place":"repository","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2304.07831","open_access":"1"}],"oa":1,"oa_version":"Preprint","volume":154,"citation":{"ama":"Grafakos L, Vişan M. Remarks on countable subadditivity. Proceedings of the Royal Society of Edinburgh: Section A Mathematics. 2024;154(5):1504-1517. doi:10.1017/prm.2023.77","mla":"Grafakos, Loukas, and Monica Vişan. “Remarks on Countable Subadditivity.” Proceedings of the Royal Society of Edinburgh: Section A Mathematics, vol. 154, no. 5, Cambridge University Press, 2024, pp. 1504–17, doi:10.1017/prm.2023.77.","chicago":"Grafakos, Loukas, and Monica Vişan. “Remarks on Countable Subadditivity.” Proceedings of the Royal Society of Edinburgh: Section A Mathematics. Cambridge University Press, 2024. https://doi.org/10.1017/prm.2023.77.","ista":"Grafakos L, Vişan M. 2024. Remarks on countable subadditivity. Proceedings of the Royal Society of Edinburgh: Section A Mathematics. 154(5), 1504–1517.","short":"L. Grafakos, M. Vişan, Proceedings of the Royal Society of Edinburgh: Section A Mathematics 154 (2024) 1504–1517.","ieee":"L. Grafakos and M. Vişan, “Remarks on countable subadditivity,” Proceedings of the Royal Society of Edinburgh: Section A Mathematics, vol. 154, no. 5. Cambridge University Press, pp. 1504–1517, 2024.","apa":"Grafakos, L., & Vişan, M. (2024). Remarks on countable subadditivity. Proceedings of the Royal Society of Edinburgh: Section A Mathematics. Cambridge University Press. https://doi.org/10.1017/prm.2023.77"},"das_tickbox":"1","date_updated":"2026-06-30T11:03:28Z","publication":"Proceedings of the Royal Society of Edinburgh: Section A Mathematics","abstract":[{"text":"We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.","lang":"eng"}],"year":"2024","month":"10","extern":"1","language":[{"iso":"eng"}],"article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","publication_status":"published","publisher":"Cambridge University Press","type":"journal_article","doi":"10.1017/prm.2023.77","title":"Remarks on countable subadditivity","issue":"5","quality_controlled":"1","OA_type":"green","external_id":{"arxiv":["2304.07831"]},"date_published":"2024-10-01T00:00:00Z","author":[{"first_name":"Loukas","last_name":"Grafakos","full_name":"Grafakos, Loukas"},{"full_name":"Visan, Monica","first_name":"Monica","id":"056daca0-b8d1-11f0-964f-f91054abf8ca","last_name":"Visan"}],"intvolume":" 154","_id":"22074","article_processing_charge":"No","date_created":"2026-06-19T08:22:51Z","page":"1504-1517"},{"status":"public","article_number":"e6","scopus_import":"1","publication_identifier":{"eissn":["2050-5086"]},"OA_place":"publisher","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/fmp.2024.4"}],"arxiv":1,"has_accepted_license":"1","oa_version":"Published Version","oa":1,"volume":12,"citation":{"ista":"Harrop-Griffiths B, Killip R, Vişan M. 2024. Sharp well-posedness for the cubic NLS and mKdV in H^s(R). Forum of Mathematics, Pi. 12, e6.","short":"B. Harrop-Griffiths, R. Killip, M. Vişan, Forum of Mathematics, Pi 12 (2024).","apa":"Harrop-Griffiths, B., Killip, R., & Vişan, M. (2024). Sharp well-posedness for the cubic NLS and mKdV in H^s(R). Forum of Mathematics, Pi. Cambridge University Press. https://doi.org/10.1017/fmp.2024.4","ieee":"B. Harrop-Griffiths, R. Killip, and M. Vişan, “Sharp well-posedness for the cubic NLS and mKdV in H^s(R),” Forum of Mathematics, Pi, vol. 12. Cambridge University Press, 2024.","ama":"Harrop-Griffiths B, Killip R, Vişan M. Sharp well-posedness for the cubic NLS and mKdV in H^s(R). Forum of Mathematics, Pi. 2024;12. doi:10.1017/fmp.2024.4","mla":"Harrop-Griffiths, Benjamin, et al. “Sharp Well-Posedness for the Cubic NLS and MKdV in H^s(R).” Forum of Mathematics, Pi, vol. 12, e6, Cambridge University Press, 2024, doi:10.1017/fmp.2024.4.","chicago":"Harrop-Griffiths, Benjamin, Rowan Killip, and Monica Vişan. “Sharp Well-Posedness for the Cubic NLS and MKdV in H^s(R).” Forum of Mathematics, Pi. Cambridge University Press, 2024. https://doi.org/10.1017/fmp.2024.4."},"mathsc":["35Q55","35Q53","37K10"],"DOAJ_listed":"1","ddc":["500"],"date_updated":"2026-06-30T12:16:50Z","das_tickbox":"1","publication":"Forum of Mathematics, Pi","abstract":[{"text":"We prove that the cubic nonlinear Schrödinger equation (both focusing and defocusing) is globally well-posed in H^s(R) for any regularity s > −1/2. Well-posedness has long been known for s ≥ 0, see [55], but not previously for any s < 0. The scaling-critical value s = −1/2 is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48]. We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg–de Vries equations in H^s(R) for any s > −1/2. The best regularity achieved previously was s ≥ 1/4 (see [15, 24, 33, 39]). To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the nonperturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity. ","lang":"eng"}],"year":"2024","month":"04","PlanS_conform":"1","article_type":"original","extern":"1","language":[{"iso":"eng"}],"day":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","doi":"10.1017/fmp.2024.4","type":"journal_article","publisher":"Cambridge University Press","title":"Sharp well-posedness for the cubic NLS and mKdV in H^s(R)","OA_type":"gold","quality_controlled":"1","date_published":"2024-04-02T00:00:00Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"arxiv":["2003.05011"]},"intvolume":" 12","author":[{"first_name":"Benjamin","last_name":"Harrop-Griffiths","full_name":"Harrop-Griffiths, Benjamin"},{"last_name":"Killip","first_name":"Rowan","full_name":"Killip, Rowan"},{"full_name":"Visan, Monica","first_name":"Monica","id":"056daca0-b8d1-11f0-964f-f91054abf8ca","last_name":"Visan"}],"_id":"22079","date_created":"2026-06-19T08:26:10Z","article_processing_charge":"No"},{"OA_type":"gold","quality_controlled":"1","date_published":"2024-04-23T00:00:00Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"intvolume":" 18","author":[{"last_name":"Muñoz Hermosilla","first_name":"José M","id":"e1037a6d-646e-11ef-b402-e0ed9ab0901e","orcid":"0000-0002-1990-8508","full_name":"Muñoz Hermosilla, José M"},{"full_name":"Otero, Jaime","first_name":"Jaime","last_name":"Otero"},{"first_name":"Eva","last_name":"De Andrés","full_name":"De Andrés, Eva"},{"full_name":"Shahateet, Kaian","last_name":"Shahateet","first_name":"Kaian"},{"first_name":"Francisco","last_name":"Navarro","full_name":"Navarro, Francisco"},{"first_name":"Iván","last_name":"Pérez-Doña","full_name":"Pérez-Doña, Iván"}],"_id":"22123","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"22125"}]},"date_created":"2026-06-22T12:18:27Z","article_processing_charge":"Yes","page":"1911-1924","publication_status":"published","doi":"10.5194/tc-18-1911-2024","type":"journal_article","publisher":"Copernicus Publications","title":"A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard","issue":"4","date_updated":"2026-07-02T07:13:15Z","das_tickbox":"1","publication":"The Cryosphere","abstract":[{"text":"Frontal ablation is responsible for a large fraction of the mass loss from tidewater glaciers. The main contributors to frontal ablation are iceberg calving and submarine melting, with calving often being the largest. However, submarine melting, in addition to its direct contribution to mass loss, also promotes calving through the changes induced in the stress field at the glacier terminus, so both processes should be jointly analysed. Among the factors influencing submarine melting, the formation of a buoyant plume due to the emergence of fresh subglacial water at the glacier grounding line plays a key role. In this study we used Elmer/Ice to develop a 3D glacier dynamics model including calving and subglacial hydrology coupled with a line plume model to calculate the calving front position at every time step. We applied this model to the Hansbreen–Hansbukta glacier–fjord system in southern Spitsbergen, Svalbard, where a large set of data are available for both the glacier and the fjord from September 2008 to March 2011. We found that our 3D model reproduced the expected seasonal cycle of advance–retreat. Besides, the modelled front positions were in good agreement with the observed front positions at the central part of the calving front, with longitudinal differences, on average, below 15 m for the period from December 2009 to March 2011. But there were regions of the front, especially the eastern margin, that presented major differences.","lang":"eng"}],"year":"2024","month":"04","PlanS_conform":"1","article_type":"original","language":[{"iso":"eng"}],"extern":"1","day":"23","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","publication_identifier":{"eissn":["1994-0424"]},"scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.5194/tc-18-1911-2024","open_access":"1"}],"OA_place":"publisher","oa_version":"Published Version","has_accepted_license":"1","oa":1,"volume":18,"citation":{"short":"J.M. Muñoz Hermosilla, J. Otero, E. De Andrés, K. Shahateet, F. Navarro, I. Pérez-Doña, The Cryosphere 18 (2024) 1911–1924.","apa":"Muñoz Hermosilla, J. M., Otero, J., De Andrés, E., Shahateet, K., Navarro, F., & Pérez-Doña, I. (2024). A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-18-1911-2024","ieee":"J. M. Muñoz Hermosilla, J. Otero, E. De Andrés, K. Shahateet, F. Navarro, and I. Pérez-Doña, “A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard,” The Cryosphere, vol. 18, no. 4. Copernicus Publications, pp. 1911–1924, 2024.","ista":"Muñoz Hermosilla JM, Otero J, De Andrés E, Shahateet K, Navarro F, Pérez-Doña I. 2024. A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard. The Cryosphere. 18(4), 1911–1924.","chicago":"Muñoz Hermosilla, José M, Jaime Otero, Eva De Andrés, Kaian Shahateet, Francisco Navarro, and Iván Pérez-Doña. “A 3D Glacier Dynamics–Line Plume Model to Estimate the Frontal Ablation of Hansbreen, Svalbard.” The Cryosphere. Copernicus Publications, 2024. https://doi.org/10.5194/tc-18-1911-2024.","mla":"Muñoz Hermosilla, José M., et al. “A 3D Glacier Dynamics–Line Plume Model to Estimate the Frontal Ablation of Hansbreen, Svalbard.” The Cryosphere, vol. 18, no. 4, Copernicus Publications, 2024, pp. 1911–24, doi:10.5194/tc-18-1911-2024.","ama":"Muñoz Hermosilla JM, Otero J, De Andrés E, Shahateet K, Navarro F, Pérez-Doña I. A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard. The Cryosphere. 2024;18(4):1911-1924. doi:10.5194/tc-18-1911-2024"},"DOAJ_listed":"1","ddc":["550"]},{"project":[{"grant_number":"101076224","_id":"bd9b2118-d553-11ed-ba76-db24564edfea","name":"Young galaxies as tracers and agents of cosmic reionization"}],"title":"Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys","issue":"2","file":[{"content_type":"application/pdf","file_name":"2024_AstrophysicalJourn_Matthee.pdf","date_created":"2024-03-25T09:31:58Z","access_level":"open_access","file_size":6047536,"creator":"dernst","file_id":"15184","success":1,"checksum":"dc7af4694f9f94a551417ab49fa43edf","relation":"main_file","date_updated":"2024-03-25T09:31:58Z"}],"publication_status":"published","department":[{"_id":"JoMa"}],"publisher":"IOP Publishing","doi":"10.3847/1538-4357/ad2345","type":"journal_article","acknowledgement":"We thank the anonymous referee for constructive comments that helped improve the manuscript. This work is based on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with program Nos. 1243 and 1895. The specific observations analyzed can be accessed via doi:10.17909/4xx0-zj76. Funded by the European Union (ERC, AGENTS, 101076224). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them. R.P.N. acknowledges funding from JWST programs GO-1933 and GO-2279. Support for this work for R.P.N. was provided by NASA through the NASA Hubble Fellowship grant HST-HF2-51515.001-A awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555. Support for this work for G.I. was provided by NASA through grant JWST-GO-01895 awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-26555. This work has received funding from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract No. MB22.00072, as well as from the Swiss National Science Foundation (SNSF) through project grant 200020_207349. The Cosmic Dawn Center (DAWN) is funded by the Danish National Research Foundation under grant No. 140.\r\nFacility: JWST - James Webb Space Telescope, HST - Hubble Space Telescope satellite\r\nSoftware: Python, matplotlib (Hunter 2007), numpy (Harris et al. 2020), scipy (Virtanen et al. 2020), Astropy (Astropy Collaboration et al. 2013, 2018), Imfit (Erwin 2015).","_id":"15180","corr_author":"1","article_processing_charge":"Yes","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"related_material":{"link":[{"url":"https://ista.ac.at/en/news/baby-quasars-growing-supermassive-black-holes/","relation":"press_release","description":"News on ISTA website"}]},"date_created":"2024-03-25T08:54:47Z","quality_controlled":"1","OA_type":"gold","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"isi":["001184703600001"]},"date_published":"2024-03-07T00:00:00Z","author":[{"first_name":"Jorryt J","orcid":"0000-0003-2871-127X","id":"7439a258-f3c0-11ec-9501-9df22fe06720","last_name":"Matthee","full_name":"Matthee, Jorryt J"},{"full_name":"Naidu, Rohan P.","last_name":"Naidu","first_name":"Rohan P."},{"full_name":"Brammer, Gabriel","first_name":"Gabriel","last_name":"Brammer"},{"full_name":"Chisholm, John","last_name":"Chisholm","first_name":"John"},{"first_name":"Anna-Christina","last_name":"Eilers","full_name":"Eilers, Anna-Christina"},{"full_name":"Goulding, Andy","first_name":"Andy","last_name":"Goulding"},{"full_name":"Greene, Jenny","first_name":"Jenny","last_name":"Greene"},{"full_name":"Kashino, Daichi","first_name":"Daichi","last_name":"Kashino"},{"last_name":"Labbe","first_name":"Ivo","full_name":"Labbe, Ivo"},{"full_name":"Lilly, Simon J.","first_name":"Simon J.","last_name":"Lilly"},{"last_name":"Mackenzie","first_name":"Ruari","full_name":"Mackenzie, Ruari"},{"first_name":"Pascal A.","last_name":"Oesch","full_name":"Oesch, Pascal A."},{"first_name":"Andrea","last_name":"Weibel","full_name":"Weibel, Andrea"},{"last_name":"Wuyts","first_name":"Stijn","full_name":"Wuyts, Stijn"},{"first_name":"Mengyuan","last_name":"Xiao","full_name":"Xiao, Mengyuan"},{"last_name":"Bordoloi","first_name":"Rongmon","full_name":"Bordoloi, Rongmon"},{"last_name":"Bouwens","first_name":"Rychard","full_name":"Bouwens, Rychard"},{"full_name":"van Dokkum, Pieter","first_name":"Pieter","last_name":"van Dokkum"},{"first_name":"Garth","last_name":"Illingworth","full_name":"Illingworth, Garth"},{"last_name":"Kramarenko","first_name":"Ivan","full_name":"Kramarenko, Ivan"},{"first_name":"Michael V.","last_name":"Maseda","full_name":"Maseda, Michael V."},{"full_name":"Mason, Charlotte","last_name":"Mason","first_name":"Charlotte"},{"first_name":"Romain A.","last_name":"Meyer","full_name":"Meyer, Romain A."},{"first_name":"Erica J.","last_name":"Nelson","full_name":"Nelson, Erica J."},{"last_name":"Reddy","first_name":"Naveen A.","full_name":"Reddy, Naveen A."},{"full_name":"Shivaei, Irene","last_name":"Shivaei","first_name":"Irene"},{"full_name":"Simcoe, Robert A.","first_name":"Robert A.","last_name":"Simcoe"},{"full_name":"Yue, Minghao","last_name":"Yue","first_name":"Minghao"}],"intvolume":" 963","volume":963,"citation":{"ista":"Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.","short":"J.J. Matthee, R.P. Naidu, G. Brammer, J. Chisholm, A.-C. Eilers, A. Goulding, J. Greene, D. Kashino, I. Labbe, S.J. Lilly, R. Mackenzie, P.A. Oesch, A. Weibel, S. Wuyts, M. Xiao, R. Bordoloi, R. Bouwens, P. van Dokkum, G. Illingworth, I. Kramarenko, M.V. Maseda, C. Mason, R.A. Meyer, E.J. Nelson, N.A. Reddy, I. Shivaei, R.A. Simcoe, M. Yue, The Astrophysical Journal 963 (2024).","apa":"Matthee, J. J., Naidu, R. P., Brammer, G., Chisholm, J., Eilers, A.-C., Goulding, A., … Yue, M. (2024). Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad2345","ieee":"J. J. Matthee et al., “Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys,” The Astrophysical Journal, vol. 963, no. 2. IOP Publishing, 2024.","mla":"Matthee, Jorryt J., et al. “Little Red Dots: An Abundant Population of Faint Active Galactic Nuclei at z ∼ 5 Revealed by the EIGER and FRESCO JWST Surveys.” The Astrophysical Journal, vol. 963, no. 2, 129, IOP Publishing, 2024, doi:10.3847/1538-4357/ad2345.","ama":"Matthee JJ, Naidu RP, Brammer G, et al. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 2024;963(2). doi:10.3847/1538-4357/ad2345","chicago":"Matthee, Jorryt J, Rohan P. Naidu, Gabriel Brammer, John Chisholm, Anna-Christina Eilers, Andy Goulding, Jenny Greene, et al. “Little Red Dots: An Abundant Population of Faint Active Galactic Nuclei at z ∼ 5 Revealed by the EIGER and FRESCO JWST Surveys.” The Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad2345."},"ddc":["550"],"article_number":"129","status":"public","publication_identifier":{"eissn":["1538-4357"],"issn":["0004-637X"]},"scopus_import":"1","OA_place":"publisher","oa_version":"Published Version","oa":1,"has_accepted_license":"1","month":"03","language":[{"iso":"eng"}],"article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"07","file_date_updated":"2024-03-25T09:31:58Z","das_tickbox":"1","date_updated":"2026-07-06T12:20:54Z","publication":"The Astrophysical Journal","abstract":[{"text":"Characterizing the prevalence and properties of faint active galactic nuclei (AGNs) in the early Universe is key for understanding the formation of supermassive black holes (SMBHs) and determining their role in cosmic reionization. We perform a spectroscopic search for broad Hα emitters at z ≈ 4–6 using deep JWST/NIRCam imaging and wide field slitless spectroscopy from the EIGER and FRESCO surveys. We identify 20 Hα lines at z = 4.2–5.5 that have broad components with line widths from ∼1200–3700 km s−1, contributing ∼30%–90% of the total line flux. We interpret these broad components as being powered by accretion onto SMBHs with implied masses ∼107–8M⊙. In the UV luminosity range MUV,AGN+host = −21 to −18, we measure number densities of ≈10−5 cMpc−3. This is an order of magnitude higher than expected from extrapolating quasar UV luminosity functions (LFs). Yet, such AGN are found in only <1% of star-forming galaxies at z ∼ 5. The number density discrepancy is much lower when compared to the broad Hα LF. The SMBH mass function agrees with large cosmological simulations. In two objects, we detect complex Hα profiles that we tentatively interpret as caused by absorption signatures from dense gas fueling SMBH growth and outflows. We may be witnessing early AGN feedback that will clear dust-free pathways through which more massive blue quasars are seen. We uncover a strong correlation between reddening and the fraction of total galaxy luminosity arising from faint AGN. This implies that early SMBH growth is highly obscured and that faint AGN are only minor contributors to cosmic reionization.","lang":"eng"}],"isi":1,"year":"2024","APC_amount":"5666,27 EUR"},{"publication_status":"published","department":[{"_id":"IlCa"}],"publisher":"IOP Publishing","type":"journal_article","doi":"10.3847/2041-8213/ad713b","title":"Expansion properties of the young supernova type Iax remnant Pa 30 revealed","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"issue":"1","file":[{"access_level":"open_access","creator":"dernst","file_size":90328868,"file_id":"18573","content_type":"application/pdf","file_name":"2024_AstrophysJourLetters_Cunningham.pdf","date_created":"2024-11-20T12:24:52Z","checksum":"51e790dd3d85ca984e656734f9f611da","relation":"main_file","date_updated":"2024-11-20T12:24:52Z","success":1}],"quality_controlled":"1","OA_type":"gold","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"isi":["001340831400001"],"arxiv":["2410.10940"]},"date_published":"2024-10-24T00:00:00Z","author":[{"full_name":"Cunningham, Tim","first_name":"Tim","last_name":"Cunningham"},{"orcid":"0000-0002-4770-5388","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d","first_name":"Ilaria","last_name":"Caiazzo","full_name":"Caiazzo, Ilaria"},{"first_name":"Nikolaus Z.","last_name":"Prusinski","full_name":"Prusinski, Nikolaus Z."},{"first_name":"James","last_name":"Fuller","full_name":"Fuller, James"},{"first_name":"John C.","last_name":"Raymond","full_name":"Raymond, John C."},{"full_name":"Kulkarni, S. R.","first_name":"S. R.","last_name":"Kulkarni"},{"full_name":"Neill, James D.","last_name":"Neill","first_name":"James D."},{"full_name":"Duffell, Paul","last_name":"Duffell","first_name":"Paul"},{"full_name":"Martin, Chris","last_name":"Martin","first_name":"Chris"},{"full_name":"Toloza, Odette","last_name":"Toloza","first_name":"Odette"},{"full_name":"Charbonneau, David","last_name":"Charbonneau","first_name":"David"},{"full_name":"Kenyon, Scott J.","last_name":"Kenyon","first_name":"Scott J."},{"first_name":"Zeren","last_name":"Lin","full_name":"Lin, Zeren"},{"full_name":"Matuszewski, Mateusz","last_name":"Matuszewski","first_name":"Mateusz"},{"full_name":"McGurk, Rosalie","first_name":"Rosalie","last_name":"McGurk"},{"full_name":"Polin, Abigail","first_name":"Abigail","last_name":"Polin"},{"full_name":"Yao, Philippe Z.","first_name":"Philippe Z.","last_name":"Yao"}],"intvolume":" 975","acknowledgement":"We thank Rob Fesen for providing the [S ii] narrowband imaging and providing helpful comments on the Letter. We also thank Eliot Quartert for the helpful discussions. T.C. was supported by NASA through the NASA Hubble Fellowship grant HST-HF2-51527.001-A awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., for NASA, under contract NAS5-26555. I.C. was also supported by NASA through grants from the Space Telescope Science Institute, under NASA contracts NASA.22K1813, NAS5-26555, and NAS5-03127. This research was supported in part by grant NSF PHY-1748958 to the Kavli Institute for Theoretical Physics (KITP). O.T. was supported by FONDECYT grant 11241186.\r\n\r\nThis publication makes use of data products from the Wide-field Infrared Survey Explorer, which is a joint project of the University of California, Los Angeles, and the Jet Propulsion Laboratory/California Institute of Technology, funded by the National Aeronautics and Space Administration.\r\n\r\nThis research made use of Montage. It is funded by the National Science Foundation under grant No. ACI-1440620, and was previously funded by the National Aeronautics and Space Administration's Earth Science Technology Office, Computation Technologies Project, under Cooperative Agreement Number NCC5-626 between NASA and the California Institute of Technology.","_id":"18564","article_processing_charge":"Yes","date_created":"2024-11-19T08:12:59Z","article_number":"L7","status":"public","publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"scopus_import":"1","arxiv":1,"OA_place":"publisher","oa_version":"Published Version","has_accepted_license":"1","oa":1,"volume":975,"citation":{"mla":"Cunningham, Tim, et al. “Expansion Properties of the Young Supernova Type Iax Remnant Pa 30 Revealed.” The Astrophysical Journal Letters, vol. 975, no. 1, L7, IOP Publishing, 2024, doi:10.3847/2041-8213/ad713b.","ama":"Cunningham T, Caiazzo I, Prusinski NZ, et al. Expansion properties of the young supernova type Iax remnant Pa 30 revealed. The Astrophysical Journal Letters. 2024;975(1). doi:10.3847/2041-8213/ad713b","chicago":"Cunningham, Tim, Ilaria Caiazzo, Nikolaus Z. Prusinski, James Fuller, John C. Raymond, S. R. Kulkarni, James D. Neill, et al. “Expansion Properties of the Young Supernova Type Iax Remnant Pa 30 Revealed.” The Astrophysical Journal Letters. IOP Publishing, 2024. https://doi.org/10.3847/2041-8213/ad713b.","ista":"Cunningham T, Caiazzo I, Prusinski NZ, Fuller J, Raymond JC, Kulkarni SR, Neill JD, Duffell P, Martin C, Toloza O, Charbonneau D, Kenyon SJ, Lin Z, Matuszewski M, McGurk R, Polin A, Yao PZ. 2024. Expansion properties of the young supernova type Iax remnant Pa 30 revealed. The Astrophysical Journal Letters. 975(1), L7.","ieee":"T. Cunningham et al., “Expansion properties of the young supernova type Iax remnant Pa 30 revealed,” The Astrophysical Journal Letters, vol. 975, no. 1. IOP Publishing, 2024.","apa":"Cunningham, T., Caiazzo, I., Prusinski, N. Z., Fuller, J., Raymond, J. C., Kulkarni, S. R., … Yao, P. Z. (2024). Expansion properties of the young supernova type Iax remnant Pa 30 revealed. The Astrophysical Journal Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/ad713b","short":"T. Cunningham, I. Caiazzo, N.Z. Prusinski, J. Fuller, J.C. Raymond, S.R. Kulkarni, J.D. Neill, P. Duffell, C. Martin, O. Toloza, D. Charbonneau, S.J. Kenyon, Z. Lin, M. Matuszewski, R. McGurk, A. Polin, P.Z. Yao, The Astrophysical Journal Letters 975 (2024)."},"ddc":["520"],"DOAJ_listed":"1","das_tickbox":"1","date_updated":"2026-07-06T12:21:32Z","publication":"The Astrophysical Journal Letters","abstract":[{"text":"The recently discovered Pa 30 nebula, the putative type Iax supernova remnant associated with the historical supernova of 1181 AD, shows puzzling characteristics that make it unique among known supernova remnants. In particular, Pa 30 exhibits a complex morphology, with a unique radial and filamentary structure, and it hosts a hot stellar remnant at its center, which displays oxygen-dominated, ultrafast winds. Because of the surviving stellar remnant and the lack of hydrogen and helium in its filaments, it has been suggested that Pa 30 is the product of a failed thermonuclear explosion in a near- or super-Chandrasekhar white dwarf, which created a subluminous transient, a rare subtype of the Ia class of supernovae called type Iax. We present here a detailed study of the 3D structure and velocities of a full radial section of the remnant. The Integral Field Unit observations, obtained with the new red channel of the Keck Cosmic Web Imager spectrograph, reveal that the ejecta are consistent with being ballistic, with velocities close to the free-expansion velocity. Additionally, we detect a large cavity inside the supernova remnant and a sharp inner edge to the filamentary structure, which coincides with the outer edge of a bright ring detected in infrared images. Finally, we detect a strong asymmetry in the amount of ejecta along the line of sight, which might hint at an asymmetric explosion. Our analysis provides strong confirmation that the explosion originated from SN 1181.","lang":"eng"}],"isi":1,"year":"2024","APC_amount":"3080,76 EUR","month":"10","language":[{"iso":"eng"}],"article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"24","file_date_updated":"2024-11-20T12:24:52Z"},{"department":[{"_id":"MaIb"}],"publication_status":"published","status":"public","article_number":"222","doi":"10.29363/nanoge.matsusfall.2024.222","type":"conference","oa_version":"None","publisher":"Fundació de la comunitat valenciana SCITO","citation":{"mla":"Ibáñez, Maria, et al. “High-Performance Thermoelectric Cooler Fabricated Vith Extrusion-Based 3D Printing Materials.” Proceedings of the Materials for Sustainable Development Conference, 222, Fundació de la comunitat valenciana SCITO, 2024, doi:10.29363/nanoge.matsusfall.2024.222.","ama":"Ibáñez M, Xu S, Horta S, Lawal AQ. High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials. In: Proceedings of the Materials for Sustainable Development Conference. Fundació de la comunitat valenciana SCITO; 2024. doi:10.29363/nanoge.matsusfall.2024.222","chicago":"Ibáñez, Maria, Shengduo Xu, Sharona Horta, and Abayomi Q Lawal. “High-Performance Thermoelectric Cooler Fabricated Vith Extrusion-Based 3D Printing Materials.” In Proceedings of the Materials for Sustainable Development Conference. Fundació de la comunitat valenciana SCITO, 2024. https://doi.org/10.29363/nanoge.matsusfall.2024.222.","ista":"Ibáñez M, Xu S, Horta S, Lawal AQ. 2024. High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials. Proceedings of the Materials for Sustainable Development Conference. MATSUS: Materials for Sustainable Development Conference, 222.","ieee":"M. Ibáñez, S. Xu, S. Horta, and A. Q. Lawal, “High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials,” in Proceedings of the Materials for Sustainable Development Conference, Lausanne, Switzerland, 2024.","apa":"Ibáñez, M., Xu, S., Horta, S., & Lawal, A. Q. (2024). High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials. In Proceedings of the Materials for Sustainable Development Conference. Lausanne, Switzerland: Fundació de la comunitat valenciana SCITO. https://doi.org/10.29363/nanoge.matsusfall.2024.222","short":"M. Ibáñez, S. Xu, S. Horta, A.Q. Lawal, in:, Proceedings of the Materials for Sustainable Development Conference, Fundació de la comunitat valenciana SCITO, 2024."},"title":"High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials","publication":"Proceedings of the Materials for Sustainable Development Conference","date_published":"2024-11-15T00:00:00Z","conference":{"location":"Lausanne, Switzerland","start_date":"2024-11-12","end_date":"2024-11-15","name":"MATSUS: Materials for Sustainable Development Conference"},"date_updated":"2026-07-06T13:07:24Z","OA_type":"closed access","quality_controlled":"1","das_tickbox":"1","year":"2024","abstract":[{"text":"A thermoelectric cooler is a solid-state device that transfers heat from one side to another when an electrical current passes through it. This technology is appealing because it can provide precise and localized cooling and heating without using hazardous liquids or gases commonly found in traditional vapor compression refrigeration. These devices are compact, customizable in size, work in any orientation, operate noiselessly, and require minimal maintenance. Even though thermoelectric coolers could be transformative for many advanced thermal management applications, their widespread adoption is hindered by the low efficiency of the thermoelectric materials and costly manufacturing processes.\r\n In this work, we use extrusion-based 3D printing techniques to fabricate high-performance thermoelectric materials using nanomaterial-based ink. The ink formulation is optimized to ensure structural integrity and particle interfacial bonding during annealing, providing p- and n-type materials with record-high zT values of 1.46 and 1.35 at room temperature, respectively. Moreover, we integrate the printed materials into a 32-pair device and achieve a significant cooling temperature gradient of 50 °C and a coefficient of performance of 3.8, comparable to best-performing thermoelectric coolers, avoiding material waste, and the energy-intense and inefficient steps, such as high-temperature synthesis, pressure-assisted sintering, and cutting and dicing ingots, commonly used in conventional manufacturing processes.","lang":"eng"}],"author":[{"full_name":"Ibáñez, Maria","last_name":"Ibáñez","first_name":"Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Xu, Shengduo","last_name":"Xu","first_name":"Shengduo","id":"12ab8624-4c8a-11ec-9e11-e1ac2438f22f"},{"full_name":"Horta, Sharona","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","first_name":"Sharona","last_name":"Horta"},{"full_name":"Lawal, Abayomi Q","first_name":"Abayomi Q","id":"5bdaf946-5355-11ee-ae5a-8061700bd605","last_name":"Lawal"}],"month":"11","_id":"18965","acknowledgement":"All authors acknowledge financial support from the Werner Siemens Foundation","day":"15","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2025-01-29T14:41:32Z","article_processing_charge":"No","corr_author":"1","language":[{"iso":"eng"}]},{"citation":{"mla":"Hoffmann, Charlotte, et al. “Practical Batch Proofs of Exponentiation.” Cryptology EPrint Archive, 2024/145, International Association for Cryptologic Research.","ama":"Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive.","chicago":"Hoffmann, Charlotte, Pavel Hubáček, and Svetlana Ivanova. “Practical Batch Proofs of Exponentiation.” Cryptology EPrint Archive. International Association for Cryptologic Research, n.d.","ista":"Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive, 2024/145.","short":"C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.).","ieee":"C. Hoffmann, P. Hubáček, and S. Ivanova, “Practical batch proofs of exponentiation,” Cryptology ePrint Archive. International Association for Cryptologic Research.","apa":"Hoffmann, C., Hubáček, P., & Ivanova, S. (n.d.). Practical batch proofs of exponentiation. Cryptology ePrint Archive. International Association for Cryptologic Research."},"OA_place":"repository","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2024/145"}],"oa":1,"oa_version":"Preprint","article_number":"2024/145","status":"public","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"02","month":"02","abstract":[{"lang":"eng","text":"A Proof of Exponentiation (PoE) allows a prover to efficiently convince a verifier that 𝑦 = 𝑥\r\n𝑒\r\nin some group of unknown order. PoEs\r\nare the basis for practical constructions of Verifiable Delay Functions (VDFs), which, in turn, are important for various higher-level\r\nprotocols in distributed computing. In applications such as distributed consensus, many PoEs are generated regularly, motivating\r\nprotocols for secure aggregation of batches of statements into a\r\nfew statements to improve the efficiency for both parties. Rotem\r\n(TCC 2021) recently presented two such generic batch PoEs.\r\nIn this work, we introduce two batch PoEs that outperform\r\nboth proposals of Rotem and we evaluate their practicality. First,\r\nwe show that the two batch PoEs of Rotem can be combined to\r\nimprove the overall efficiency by at least a factor of two. Second, we\r\nrevisit the work of Bellare, Garay, and Rabin (EUROCRYPT 1998)\r\non batch verification of digital signatures and show that, under the\r\nlow order assumption, their bucket test can be securely adapted to\r\nthe setting of groups of unknown order. The resulting batch PoE\r\nquickly outperforms the state of the art in the expected number of\r\ngroup multiplications with the growing number of instances, and it\r\ndecreases the cost of batching by an order of magnitude already for\r\nhundreds of thousands of instances. Importantly, it is the first batch\r\nPoE that significantly decreases both the proof size and complexity\r\nof verification. Our experimental evaluations show that even a nonoptimized implementation achieves such improvements, which\r\nwould match the demands of real-life systems requiring large-scale\r\nPoE processing.\r\nFinally, even though our proof techniques are conceptually similar to Rotem, we give an improved analysis of the application of the\r\nlow order assumption towards secure batching of PoE instances,\r\nresulting in a tight reduction, which is important when setting the\r\nsecurity parameter in practice."}],"year":"2024","das_tickbox":"1","date_updated":"2026-07-06T13:15:28Z","publication":"Cryptology ePrint Archive","title":"Practical batch proofs of exponentiation","publisher":"International Association for Cryptologic Research","cryptoeprintid":1,"type":"preprint","publication_status":"draft","department":[{"_id":"KrPi"}],"corr_author":"1","article_processing_charge":"No","related_material":{"record":[{"id":"20920","status":"public","relation":"dissertation_contains"},{"relation":"dissertation_contains","status":"public","id":"20556"}]},"date_created":"2025-11-27T10:13:38Z","acknowledgement":"Pavel Hubáček was supported by the Institute of Mathematics, Czech Academy of Sciences (RVO 67985840).","_id":"20701","author":[{"full_name":"Hoffmann, Charlotte","last_name":"Hoffmann","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","orcid":"0000-0003-2027-5549","first_name":"Charlotte"},{"last_name":"Hubáček","first_name":"Pavel","full_name":"Hubáček, Pavel"},{"first_name":"Svetlana","last_name":"Ivanova","full_name":"Ivanova, Svetlana"}],"OA_type":"green","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"cryptoeprintid":["2024/145"]},"date_published":"2024-02-02T00:00:00Z"},{"publication":"Journal of Differential Geometry","date_updated":"2026-07-06T13:37:38Z","das_tickbox":"1","year":"2024","isi":1,"abstract":[{"text":"The Gibbons-Hawking ansatz provides a large family of circle-invariant hyperkähler 4-manifolds, and thus Calabi-Yau 2-folds. In this setting, we prove versions of the Thomas conjecture on existence of special Lagrangian representatives of Hamiltonian isotopy classes of Lagrangians, and the Thomas-Yau conjecture on longtime existence of the Lagrangian mean curvature ow. We also make observations concerning closed geodesics, curve shortening flow and minimal surfaces.","lang":"eng"}],"month":"03","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","language":[{"iso":"eng"}],"scopus_import":"1","publication_identifier":{"issn":["0022-040X"]},"status":"public","oa":1,"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2002.10391"}],"OA_place":"repository","arxiv":1,"citation":{"ista":"Lotay JD, Oliveira G. 2024. Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz. Journal of Differential Geometry. 126(3), 1121–1184.","ieee":"J. D. Lotay and G. Oliveira, “Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz,” Journal of Differential Geometry, vol. 126, no. 3. International Press of Boston, pp. 1121–1184, 2024.","apa":"Lotay, J. D., & Oliveira, G. (2024). Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz. Journal of Differential Geometry. International Press of Boston. https://doi.org/10.4310/jdg/1717348872","short":"J.D. Lotay, G. Oliveira, Journal of Differential Geometry 126 (2024) 1121–1184.","mla":"Lotay, Jason D., and Goncalo Oliveira. “Special Lagrangians, Lagrangian Mean Curvature Flow and the Gibbons-Hawking Ansatz.” Journal of Differential Geometry, vol. 126, no. 3, International Press of Boston, 2024, pp. 1121–84, doi:10.4310/jdg/1717348872.","ama":"Lotay JD, Oliveira G. Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz. Journal of Differential Geometry. 2024;126(3):1121-1184. doi:10.4310/jdg/1717348872","chicago":"Lotay, Jason D., and Goncalo Oliveira. “Special Lagrangians, Lagrangian Mean Curvature Flow and the Gibbons-Hawking Ansatz.” Journal of Differential Geometry. International Press of Boston, 2024. https://doi.org/10.4310/jdg/1717348872."},"volume":126,"date_published":"2024-03-01T00:00:00Z","external_id":{"isi":["001271790200007"],"arxiv":["2002.10391"]},"OA_type":"green","quality_controlled":"1","intvolume":" 126","author":[{"full_name":"Lotay, Jason D.","last_name":"Lotay","first_name":"Jason D."},{"full_name":"Oliveira, Goncalo","id":"58abbde8-f455-11eb-a497-98c8fd71b905","first_name":"Goncalo","last_name":"Oliveira"}],"_id":"17292","page":"1121-1184","date_created":"2024-07-22T07:45:31Z","corr_author":"1","article_processing_charge":"No","department":[{"_id":"TaHa"}],"publication_status":"published","doi":"10.4310/jdg/1717348872","type":"journal_article","publisher":"International Press of Boston","title":"Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz","issue":"3"},{"project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"title":"Ternary simulation as abstract interpretation (Work in Progress)","publisher":"VDE Verlag","type":"conference","publication_status":"published","department":[{"_id":"ToHe"}],"article_processing_charge":"No","date_created":"2024-05-26T22:00:58Z","page":"148-151","acknowledgement":"This work is supported by the Austrian Science Fund (FWF) under the project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, the ERC-2020-AdG 101020093 and by a gift from Intel Corporation.","_id":"17053","author":[{"full_name":"Froleyks, Nils","last_name":"Froleyks","first_name":"Nils"},{"orcid":"0000-0002-4993-773X","id":"20aa2ae8-f2f1-11ed-bbfa-8205053f1342","first_name":"Zhengqi","last_name":"Yu","full_name":"Yu, Zhengqi"},{"first_name":"Armin","last_name":"Biere","full_name":"Biere, Armin"}],"quality_controlled":"1","OA_type":"green","conference":{"name":"MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems","location":"Kaiserslautern, Germany","end_date":"2024-02-15","start_date":"2024-02-14"},"date_published":"2024-02-01T00:00:00Z","ec_funded":1,"citation":{"ista":"Froleyks N, Yu E, Biere A. 2024. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.","ieee":"N. Froleyks, E. Yu, and A. Biere, “Ternary simulation as abstract interpretation (Work in Progress),” in 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, Kaiserslautern, Germany, 2024, pp. 148–151.","apa":"Froleyks, N., Yu, E., & Biere, A. (2024). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany: VDE Verlag.","short":"N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, VDE Verlag, 2024, pp. 148–151.","ama":"Froleyks N, Yu E, Biere A. Ternary simulation as abstract interpretation (Work in Progress). In: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. VDE Verlag; 2024:148-151.","mla":"Froleyks, Nils, et al. “Ternary Simulation as Abstract Interpretation (Work in Progress).” 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, VDE Verlag, 2024, pp. 148–51.","chicago":"Froleyks, Nils, Emily Yu, and Armin Biere. “Ternary Simulation as Abstract Interpretation (Work in Progress).” In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–51. VDE Verlag, 2024."},"OA_place":"repository","main_file_link":[{"open_access":"1","url":"https://cca.informatik.uni-freiburg.de/papers/FroleyksYuBiere-MBMV24.pdf"}],"oa_version":"Submitted Version","oa":1,"status":"public","scopus_import":"1","publication_identifier":{"isbn":["9783800762682"]},"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","month":"02","abstract":[{"text":"We introduce a formalization of ternary simulation as abstract interpretation along with a widening operator to speed up convergence. With the same goal, we present a subsumption algorithm that can determine termination earlier than the usual approach using hash sets. Additionally, we introduce a narrowing operator that utilizes recent advances in backbone extraction, allowing to increase the overapproximation precision in simulation at any time. The experiments evaluate the presented techniques in the context of hardware model checking.","lang":"eng"}],"year":"2024","das_tickbox":"1","date_updated":"2026-07-07T07:03:23Z","publication":"27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems"},{"publication":"Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing","das_tickbox":"1","date_updated":"2026-07-07T13:30:07Z","year":"2024","abstract":[{"lang":"eng","text":"We study selfish mining attacks in longest-chain blockchains like Bitcoin, but where the proof of work is replaced with efficient proof systems - like proofs of stake or proofs of space - and consider the problem of computing an optimal selfish mining attack which maximizes expected relative revenue of the adversary, thus minimizing the chain quality. To this end, we propose a novel selfish mining attack that aims to maximize this objective and formally model the attack as a Markov decision process (MDP). We then present a formal analysis procedure which computes an ϵ-tight lower bound on the optimal expected relative revenue in the MDP and a strategy that achieves this ϵ-tight lower bound, where ϵ > 0 may be any specified precision. Our analysis is fully automated and provides formal guarantees on the correctness. We evaluate our selfish mining attack and observe that it achieves superior expected relative revenue compared to two considered baselines.\r\nIn concurrent work [Sarenche FC'24] does an automated analysis on selfish mining in predictable longest-chain blockchains based on efficient proof systems. Predictable means the randomness for the challenges is fixed for many blocks (as used e.g., in Ouroboros), while we consider unpredictable (Bitcoin-like) chains where the challenge is derived from the previous block."}],"month":"06","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2024-07-29T07:18:12Z","day":"17","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9798400706684"]},"scopus_import":"1","status":"public","oa_version":"Published Version","has_accepted_license":"1","oa":1,"arxiv":1,"citation":{"mla":"Chatterjee, Krishnendu, et al. “Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.” Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2024, pp. 268–78, doi:10.1145/3662158.3662769.","ama":"Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. Fully automated selfish mining analysis in efficient proof systems blockchains. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2024:268-278. doi:10.1145/3662158.3662769","chicago":"Chatterjee, Krishnendu, Amirali Ebrahimzadeh, Mehrdad Karrabi, Krzysztof Z Pietrzak, Michelle X Yeo, and Dorde Zikelic. “Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.” In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, 268–78. Association for Computing Machinery, 2024. https://doi.org/10.1145/3662158.3662769.","ista":"Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. 2024. Fully automated selfish mining analysis in efficient proof systems blockchains. Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 268–278.","short":"K. Chatterjee, A. Ebrahimzadeh, M. Karrabi, K.Z. Pietrzak, M.X. Yeo, D. Zikelic, in:, Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2024, pp. 268–278.","ieee":"K. Chatterjee, A. Ebrahimzadeh, M. Karrabi, K. Z. Pietrzak, M. X. Yeo, and D. Zikelic, “Fully automated selfish mining analysis in efficient proof systems blockchains,” in Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing, Nantes, France, 2024, pp. 268–278.","apa":"Chatterjee, K., Ebrahimzadeh, A., Karrabi, M., Pietrzak, K. Z., Yeo, M. X., & Zikelic, D. (2024). Fully automated selfish mining analysis in efficient proof systems blockchains. In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing (pp. 268–278). Nantes, France: Association for Computing Machinery. https://doi.org/10.1145/3662158.3662769"},"ec_funded":1,"ddc":["000"],"external_id":{"arxiv":["2405.04420"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"conference":{"name":"PODC: Symposium on Principles of Distributed Computing","end_date":"2024-06-21","start_date":"2024-06-17","location":"Nantes, France"},"date_published":"2024-06-17T00:00:00Z","quality_controlled":"1","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"first_name":"Amirali","last_name":"Ebrahimzadeh","full_name":"Ebrahimzadeh, Amirali"},{"orcid":"0009-0007-5253-9170","id":"67638922-f394-11eb-9cf6-f20423e08757","first_name":"Mehrdad","last_name":"Karrabi","full_name":"Karrabi, Mehrdad"},{"last_name":"Pietrzak","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z"},{"full_name":"Yeo, Michelle X","first_name":"Michelle X","orcid":"0009-0001-3676-4809","id":"2D82B818-F248-11E8-B48F-1D18A9856A87","last_name":"Yeo"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","first_name":"Dorde","last_name":"Zikelic","full_name":"Zikelic, Dorde"}],"_id":"17328","acknowledgement":"This work was supported in part by the ERC-2020-CoG 863818 (FoRM-SMArt) grant and the MOE-T2EP20122-0014 (Data-Driven Distributed Algorithms) grant.\r\n","page":"268-278","article_processing_charge":"Yes (via OA deal)","corr_author":"1","date_created":"2024-07-28T22:01:10Z","department":[{"_id":"KrCh"},{"_id":"KrPi"}],"publication_status":"published","publisher":"Association for Computing Machinery","type":"conference","doi":"10.1145/3662158.3662769","project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"title":"Fully automated selfish mining analysis in efficient proof systems blockchains","file":[{"content_type":"application/pdf","file_name":"2024_ACM_Chatterjee.pdf","date_created":"2024-07-29T07:18:12Z","access_level":"open_access","file_size":832034,"creator":"dernst","file_id":"17334","success":1,"checksum":"6122bd97b42751ff81c452a19970f67d","relation":"main_file","date_updated":"2024-07-29T07:18:12Z"}]},{"page":"1-28","date_created":"2024-11-10T23:02:01Z","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"12508"}]},"corr_author":"1","article_processing_charge":"No","_id":"18530","acknowledgement":"This work has in parts been presented at the 33rd International Conference on Concurrency Theory (CONCUR’22) [HLT22] and at the 16th International Workshop on Reachability Problems (RP’22) [BHL+22]. This work was supported by the EU (ERC-2020-AdG 101020093); the EPSRC (EP/V025848/1, EP/X042596/1, EP/X017796/1 and EP/X03688X/1); and the ANR (QUASY 23-CE48-0008-01).","intvolume":" 20","author":[{"full_name":"Bose, Sougata","first_name":"Sougata","last_name":"Bose"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A"},{"full_name":"Lehtinen, Karoliina","last_name":"Lehtinen","first_name":"Karoliina"},{"first_name":"Sven","last_name":"Schewe","full_name":"Schewe, Sven"},{"full_name":"Totzke, Patrick","first_name":"Patrick","last_name":"Totzke"}],"date_published":"2024-10-02T00:00:00Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"isi":["001332466900002"],"arxiv":["2304.03183"]},"OA_type":"gold","quality_controlled":"1","file":[{"file_id":"18532","access_level":"open_access","creator":"dernst","file_size":563394,"date_created":"2024-11-11T08:32:02Z","content_type":"application/pdf","file_name":"2024_LMCS_Bose.pdf","date_updated":"2024-11-11T08:32:02Z","checksum":"26826786a960039b9501cfc5cb4f3fe6","relation":"main_file","success":1}],"issue":"4","project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software"}],"title":"History-deterministic timed automata","doi":"10.46298/lmcs-20(4:1)2024","type":"journal_article","publisher":"EPI Sciences","department":[{"_id":"ToHe"}],"publication_status":"published","file_date_updated":"2024-11-11T08:32:02Z","day":"02","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","language":[{"iso":"eng"}],"month":"10","year":"2024","isi":1,"abstract":[{"lang":"eng","text":"We explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-determinism is a robust property that admits different game-based characterisations, and HD specifications allow for game-based verification without an expensive determinization step. We show that the class of timed ω\r\n-languages recognized by HD timed automata strictly extends that of deterministic ones, and is strictly included in those recognised by fully non-deterministic TA. For non-deterministic timed automata it is known that universality is already undecidable for safety/reachability TA. For history-deterministic TA with arbitrary parity acceptance, we show that timed universality, inclusion, and synthesis all remain decidable and are EXPTIME-complete. For the subclass of TA with safety or reachability acceptance, one can decide (in EXPTIME) whether such an automaton is history-deterministic. If so, it can effectively determinized without introducing new automaton states."}],"publication":"Logical Methods in Computer Science","date_updated":"2026-07-07T13:37:45Z","DOAJ_listed":"1","ddc":["000"],"citation":{"chicago":"Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata.” Logical Methods in Computer Science. EPI Sciences, 2024. https://doi.org/10.46298/lmcs-20(4:1)2024.","ama":"Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata. Logical Methods in Computer Science. 2024;20(4):1-28. doi:10.46298/lmcs-20(4:1)2024","mla":"Bose, Sougata, et al. “History-Deterministic Timed Automata.” Logical Methods in Computer Science, vol. 20, no. 4, EPI Sciences, 2024, pp. 1–28, doi:10.46298/lmcs-20(4:1)2024.","short":"S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.","ieee":"S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata,” Logical Methods in Computer Science, vol. 20, no. 4. EPI Sciences, pp. 1–28, 2024.","apa":"Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2024). History-deterministic timed automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-20(4:1)2024","ista":"Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2024. History-deterministic timed automata. Logical Methods in Computer Science. 20(4), 1–28."},"ec_funded":1,"volume":20,"has_accepted_license":"1","oa":1,"oa_version":"Published Version","OA_place":"publisher","arxiv":1,"scopus_import":"1","publication_identifier":{"eissn":["1860-5974"]},"status":"public"}]