--- _id: '18296' abstract: - lang: eng text: It is widely believed that information storage in neuronal circuits involves nanoscopic structural changes at synapses, resulting in the formation of synaptic engrams. However, direct evidence for this hypothesis is lacking. To test this conjecture, we combined chemical potentiation, functional analysis by paired pre-postsynaptic recordings, and structural analysis by electron microscopy (EM) and freeze-fracture replica labeling (FRL) at the murine hippocampal mossy fiber synapse, a key synapse in the trisynaptic circuit of the hippocampus. Biophysical analysis of synaptic transmission revealed that forskolin-induced chemical potentiation increased the readily releasable vesicle pool size and vesicular release probability by 146% and 49%, respectively. Structural analysis of mossy fiber synapses by EM and FRL demonstrated an increase in the number of vesicles close to the plasma membrane and the number of clusters of the priming protein Munc13-1, indicating an increase in the number of both docked and primed vesicles. Furthermore, FRL analysis revealed a significant reduction of the distance between Munc13-1 and CaV2.1 Ca2+ channels, suggesting reconfiguration of the channel-vesicle coupling nanotopography. Our results indicate that presynaptic plasticity is associated with structural reorganization of active zones. We propose that changes in potential nanoscopic organization at synaptic vesicle release sites may be correlates of learning and memory at a plastic central synapse. article_processing_charge: No author: - first_name: Olena full_name: Kim, Olena id: 3F8ABDDA-F248-11E8-B48F-1D18A9856A87 last_name: Kim orcid: 0000-0003-2344-1039 citation: ama: Kim O. Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons. 2024. doi:10.15479/AT:ISTA:18296 apa: Kim, O. (2024). Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:18296 chicago: Kim, Olena. “Presynaptic CAMP-PKA-Mediated Potentiation Induces Reconfiguration of Synaptic Vesicle Pools and Channel-Vesicle Coupling at Hippocampal Mossy Fiber Boutons.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:18296. ieee: O. Kim, “Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons.” Institute of Science and Technology Austria, 2024. ista: Kim O. 2024. Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons, Institute of Science and Technology Austria, 10.15479/AT:ISTA:18296. mla: Kim, Olena. Presynaptic CAMP-PKA-Mediated Potentiation Induces Reconfiguration of Synaptic Vesicle Pools and Channel-Vesicle Coupling at Hippocampal Mossy Fiber Boutons. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:18296. short: O. Kim, (2024). contributor: - contributor_type: researcher first_name: Olena id: 3F8ABDDA-F248-11E8-B48F-1D18A9856A87 last_name: Kim - contributor_type: researcher first_name: Yuji id: 3337E116-F248-11E8-B48F-1D18A9856A87 last_name: Okamoto orcid: 0000-0003-0408-6094 - contributor_type: researcher first_name: Walter id: 3F99E422-F248-11E8-B48F-1D18A9856A87 last_name: Kaufmann orcid: 0000-0001-9735-5315 - contributor_type: researcher first_name: 'Nils ' last_name: Brose - contributor_type: researcher first_name: Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - contributor_type: supervisor first_name: Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 corr_author: '1' date_created: 2024-10-11T10:12:17Z date_published: 2024-10-11T00:00:00Z date_updated: 2026-04-16T12:20:33Z day: '11' ddc: - '570' department: - _id: PeJo - _id: RySh - _id: EM-Fac doi: 10.15479/AT:ISTA:18296 ec_funded: 1 file: - access_level: open_access checksum: 0a977e7df54c418251b10dfd3f8a015c content_type: application/zip creator: okim date_created: 2024-10-11T10:04:19Z date_updated: 2024-10-11T10:04:19Z file_id: '18297' file_name: Kim_et_al_2024_PlosBio_Source_data.zip file_size: 164382 relation: main_file success: 1 - access_level: open_access checksum: 5b9343d6b2035ac3185e390fad4d3830 content_type: text/plain creator: okim date_created: 2024-10-11T10:04:23Z date_updated: 2024-10-11T10:04:23Z file_id: '18298' file_name: info.txt file_size: 654 relation: main_file success: 1 file_date_updated: 2024-10-11T10:04:23Z has_accepted_license: '1' keyword: - Hippocampal mossy fiber synapses - short-term potentiation - long-term potentiation - presynaptic plasticity - electron microscopy - freeze-fracture replica labeling - paired recordings - forskolin - cyclic adenosine monophosphate (cAMP) - protein kinase A (PKA) - neuromodulation - synaptic vesicle pools - presynaptic Ca2+ channels - Munc13 - docking - priming - active zone month: '10' oa: 1 oa_version: Submitted Version project: - _id: 25B7EB9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '692692' name: Biophysics and circuit function of a giant cortical glutamatergic synapse publisher: Institute of Science and Technology Austria related_material: record: - id: '18603' relation: used_in_publication status: public status: public title: Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d year: '2024' ... --- OA_place: publisher _id: '18301' abstract: - lang: eng text: Physics simulation in computer graphics can bring triangle meshes into topologically invalid states. The method in this thesis contributed to Heiss-Synak* and Kalinov* et al. [2024] who devised a non-manifold hybrid surface tracker—a surface tracker that repairs explicit non-manifold triangle meshes with the help of the implicit domain. Specifically, this thesis provides an algorithm for filling the holes that are left after removing problematic parts of the mesh. alternative_title: - ISTA Master's Thesis article_processing_charge: No author: - first_name: Arian full_name: Etemadihaghighi, Arian id: 36cea3aa-f38e-11ec-8ae0-c65ae6f6098f last_name: Etemadihaghighi citation: ama: Etemadi A. Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. 2024. doi:10.15479/at:ista:18301 apa: Etemadi, A. (2024). Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18301 chicago: Etemadi, Arian. “Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18301. ieee: A. Etemadi, “Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking,” Institute of Science and Technology Austria, 2024. ista: Etemadi A. 2024. Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria. mla: Etemadi, Arian. Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18301. short: A. Etemadi, Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking, Institute of Science and Technology Austria, 2024. corr_author: '1' date_created: 2024-10-11T19:52:20Z date_published: 2024-10-15T00:00:00Z date_updated: 2026-04-07T13:02:36Z day: '15' ddc: - '000' degree_awarded: MS department: - _id: GradSch - _id: ChWo doi: 10.15479/at:ista:18301 file: - access_level: open_access checksum: 80fb7923e229ad9d39253d7c8a8083d0 content_type: application/pdf creator: aetemadi date_created: 2024-10-24T14:34:42Z date_updated: 2024-10-24T14:34:42Z file_id: '18469' file_name: thesis-arian-etemadi.pdf file_size: 8914218 relation: main_file success: 1 - access_level: closed checksum: 1c02586ed7d441d5ec441867650568d1 content_type: application/x-zip-compressed creator: aetemadi date_created: 2024-10-24T14:34:54Z date_updated: 2024-10-24T14:34:54Z file_id: '18470' file_name: thesis-arian-etemadi-latex-source.zip file_size: 9802650 relation: source_file file_date_updated: 2024-10-24T14:34:54Z has_accepted_license: '1' keyword: - surface tracking - non-manifold - hole-filling - topology change - multi-material - solid-modeling language: - iso: eng license: https://creativecommons.org/licenses/by-sa/4.0/ month: '10' oa: 1 oa_version: Published Version page: '39' publication_identifier: issn: - 2791-4585 publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '17219' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 title: Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking tmp: image: /images/cc_by_sa.png legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0) short: CC BY-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2024' ... --- OA_embargo: 6 months OA_place: publisher OA_type: hybrid _id: '18305' abstract: - lang: eng 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. 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. article_number: e1238242024 article_processing_charge: No article_type: original author: - first_name: Paschalis full_name: Kratsios, Paschalis last_name: Kratsios - first_name: Niccolò full_name: Zampieri, Niccolò last_name: Zampieri - first_name: Robert full_name: Carrillo, Robert last_name: Carrillo - first_name: Kota full_name: Mizumoto, Kota last_name: Mizumoto - first_name: Lora Beatrice Jaeger full_name: Sweeney, Lora Beatrice Jaeger id: 56BE8254-C4F0-11E9-8E45-0B23E6697425 last_name: Sweeney orcid: 0000-0001-9242-5601 - first_name: Polyxeni full_name: Philippidou, Polyxeni last_name: Philippidou citation: 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 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 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. 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. 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. 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. short: P. Kratsios, N. Zampieri, R. Carrillo, K. Mizumoto, L.B. Sweeney, P. Philippidou, The Journal of Neuroscience 44 (2024). date_created: 2024-10-13T22:01:49Z date_published: 2024-10-02T00:00:00Z date_updated: 2026-01-05T14:01:26Z day: '02' ddc: - '570' department: - _id: LoSw doi: 10.1523/JNEUROSCI.1238-24.2024 external_id: isi: - '001335212200016' pmid: - '39358025' has_accepted_license: '1' intvolume: ' 44' isi: 1 issue: '40' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1523/JNEUROSCI.1238-24.2024 month: '10' oa: 1 oa_version: Published Version pmid: 1 project: - _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae grant_number: '101041551' name: Development and Evolution of Tetrapod Motor Circuits publication: The Journal of Neuroscience publication_identifier: eissn: - 1529-2401 publication_status: published publisher: Society for Neuroscience quality_controlled: '1' scopus_import: '1' status: public title: Molecular and cellular mechanisms of motor circuit development type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 44 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18306' 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. 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). article_number: L53 article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Apurva V. full_name: Oza, Apurva V. last_name: Oza - first_name: Julia V. full_name: Seidel, Julia V. last_name: Seidel - first_name: H. Jens full_name: Hoeijmakers, H. Jens last_name: Hoeijmakers - first_name: Athira full_name: Unni, Athira last_name: Unni - first_name: Aurora Y. full_name: Kesseli, Aurora Y. last_name: Kesseli - first_name: Carl A. full_name: Schmidt, Carl A. last_name: Schmidt - first_name: Thirupathi full_name: Sivarani, Thirupathi last_name: Sivarani - first_name: Aaron full_name: Bello-Arufe, Aaron last_name: Bello-Arufe - first_name: Andrea full_name: Gebek, Andrea last_name: Gebek - first_name: Moritz full_name: Meyer Zu Westram, Moritz last_name: Meyer Zu Westram - first_name: Sérgio G. full_name: Sousa, Sérgio G. last_name: Sousa - first_name: Rosaly M.C. full_name: Lopes, Rosaly M.C. last_name: Lopes - first_name: Renyu full_name: Hu, Renyu last_name: Hu - first_name: Katherine full_name: De Kleer, Katherine last_name: De Kleer - first_name: Chloe full_name: Fisher, Chloe last_name: Fisher - first_name: Sébastien full_name: Charnoz, Sébastien last_name: Charnoz - first_name: Ashley D. full_name: Baker, Ashley D. last_name: Baker - first_name: Samuel P. full_name: Halverson, Samuel P. last_name: Halverson - first_name: Nick M. full_name: Schneider, Nick M. last_name: Schneider - first_name: Angelica full_name: Psaridi, Angelica last_name: Psaridi - first_name: Aurélien full_name: Wyttenbach, Aurélien last_name: Wyttenbach - first_name: Santiago full_name: Torres Rodriguez, Santiago id: a8df4360-4328-11ee-8f1a-e502d0c83fc2 last_name: Torres Rodriguez orcid: 0000-0002-3150-8988 - first_name: Ishita full_name: Bhatnagar, Ishita last_name: Bhatnagar - first_name: Robert E. full_name: Johnson, Robert E. last_name: Johnson citation: 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 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 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. ieee: A. V. Oza et al., “Redshifted sodium transient near exoplanet transit,” Astrophysical Journal Letters, vol. 973, no. 2. IOP Publishing, 2024. 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. 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. 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). date_created: 2024-10-13T22:01:49Z date_published: 2024-10-01T00:00:00Z date_updated: 2025-09-08T14:18:18Z day: '01' ddc: - '520' department: - _id: LiBu doi: 10.3847/2041-8213/ad6b29 external_id: arxiv: - '2409.19844' isi: - '001322169500001' file: - access_level: open_access checksum: 23eea2a6a0519694a84998957ad7b7fb content_type: application/pdf creator: dernst date_created: 2024-10-21T11:05:11Z date_updated: 2024-10-21T11:05:11Z file_id: '18456' file_name: 2024_AstrophysicalJourn_Oza.pdf file_size: 1249747 relation: main_file success: 1 file_date_updated: 2024-10-21T11:05:11Z has_accepted_license: '1' intvolume: ' 973' isi: 1 issue: '2' language: - iso: eng month: '10' oa: 1 oa_version: Published Version publication: Astrophysical Journal Letters publication_identifier: eissn: - 2041-8213 issn: - 2041-8205 publication_status: published publisher: IOP Publishing quality_controlled: '1' scopus_import: '1' status: public title: Redshifted sodium transient near exoplanet transit tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 973 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18308' abstract: - lang: eng 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). 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)." alternative_title: - LIPIcs article_number: '100' article_processing_charge: Yes arxiv: 1 author: - first_name: Max Dupré full_name: La Tour, Max Dupré last_name: La Tour - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: David full_name: Saulpic, David id: f8e48cf0-b0ff-11ed-b0e9-b4c35598f964 last_name: Saulpic citation: 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' 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' 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. 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. 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.' 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. conference: end_date: 2024-09-04 location: London, United Kingdom name: 'ESA: European Symposium on Algorithms' start_date: 2024-09-02 corr_author: '1' date_created: 2024-10-13T22:01:50Z date_published: 2024-09-23T00:00:00Z date_updated: 2025-12-02T13:49:11Z day: '23' ddc: - '000' department: - _id: MoHe doi: 10.4230/LIPIcs.ESA.2024.100 ec_funded: 1 external_id: arxiv: - '2406.19926' isi: - '001545622400100' file: - access_level: open_access checksum: 8e8c0b13049f11bb0133dfac22e32718 content_type: application/pdf creator: dernst date_created: 2024-10-21T09:41:48Z date_updated: 2024-10-21T09:41:48Z file_id: '18454' file_name: 2024_LIPICs_DuprelaTour.pdf file_size: 873561 relation: main_file success: 1 file_date_updated: 2024-10-21T09:41:48Z has_accepted_license: '1' intvolume: ' 308' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: bd9ca328-d553-11ed-ba76-dc4f890cfe62 call_identifier: H2020 grant_number: '101019564' name: The design and evaluation of modern fully dynamic data structures - _id: 34def286-11ca-11ed-8bc3-da5948e1613c grant_number: Z00422 name: Efficient algorithms - _id: bda196b2-d553-11ed-ba76-8e8ee6c21103 grant_number: I05982 name: Static and Dynamic Hierarchical Graph Decompositions - _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe grant_number: P33775 name: Fast Algorithms for a Reactive Network Layer - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: 32nd Annual European Symposium on Algorithms publication_identifier: isbn: - '9783959773386' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Fully dynamic k-means coreset in near-optimal update time tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 308 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18309' 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.' 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" alternative_title: - LIPIcs article_number: '72' article_processing_charge: Yes arxiv: 1 author: - first_name: Bingbing full_name: Hu, Bingbing last_name: Hu - first_name: Evangelos full_name: Kosinas, Evangelos id: 4c7f9625-dbbc-11ee-9d86-bdcc2db5a949 last_name: Kosinas - first_name: Adam full_name: Polak, Adam last_name: Polak citation: 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' 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' 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. 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. 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.' 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. short: B. Hu, E. Kosinas, A. Polak, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. conference: end_date: 2024-09-04 location: London, United Kingdom name: 'ESA: European Symposium on Algorithms' start_date: 2024-09-02 corr_author: '1' date_created: 2024-10-13T22:01:50Z date_published: 2024-09-01T00:00:00Z date_updated: 2025-12-02T13:49:52Z day: '01' ddc: - '000' department: - _id: MoHe doi: 10.4230/LIPIcs.ESA.2024.72 external_id: arxiv: - '2312.08489' isi: - '001545622400072' file: - access_level: open_access checksum: ab1f2f9161549a8763eda15db40e022c content_type: application/pdf creator: dernst date_created: 2024-10-21T10:03:48Z date_updated: 2024-10-21T10:03:48Z file_id: '18455' file_name: 2024_LIPICs_Hu.pdf file_size: 853914 relation: main_file success: 1 file_date_updated: 2024-10-21T10:03:48Z has_accepted_license: '1' intvolume: ' 308' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version publication: 32nd Annual European Symposium on Algorithms publication_identifier: isbn: - '9783959773386' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Connectivity oracles for predictable vertex failures tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 308 year: '2024' ... --- OA_type: closed access _id: '18310' article_processing_charge: No article_type: original author: - first_name: Maria full_name: Kitsara, Maria last_name: Kitsara - first_name: Merima full_name: Smajlhodžić-Deljo, Merima last_name: Smajlhodžić-Deljo - first_name: Lejla full_name: Gurbeta Pokvic, Lejla last_name: Gurbeta Pokvic - first_name: Bettina full_name: Bert, Bettina last_name: Bert - first_name: Nataliia full_name: Bubalo, Nataliia last_name: Bubalo - first_name: Sevilay full_name: Erden, Sevilay last_name: Erden - first_name: Nuno Henrique full_name: Franco, Nuno Henrique last_name: Franco - first_name: Giuseppe full_name: Chirico, Giuseppe last_name: Chirico - first_name: Jonathan full_name: Gómez Raja, Jonathan last_name: Gómez Raja - first_name: Fernando full_name: Gonzalez-Uarquin, Fernando last_name: Gonzalez-Uarquin - first_name: Annemarie full_name: Lang, Annemarie last_name: Lang - first_name: Nicole full_name: Linklater, Nicole last_name: Linklater - first_name: Sandra full_name: Mojsova, Sandra last_name: Mojsova - first_name: I. Anna S. full_name: Olsson, I. Anna S. last_name: Olsson - first_name: Ioanna full_name: Sandvig, Ioanna last_name: Sandvig - first_name: Alexandra full_name: Schaffert, Alexandra last_name: Schaffert - first_name: Marthe full_name: Schmit, Marthe last_name: Schmit - first_name: Sophie full_name: Schober, Sophie id: 80b0a0ef-4b9f-11ec-b119-8d9d94c4a1d8 last_name: Schober - first_name: Bogdan full_name: Sevastre, Bogdan last_name: Sevastre - first_name: Doris full_name: Wilflingseder, Doris last_name: Wilflingseder - first_name: Arti full_name: Ahluwalia, Arti last_name: Ahluwalia - first_name: Winfried full_name: Neuhaus, Winfried last_name: Neuhaus citation: 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 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 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. 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. 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. 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. 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. date_created: 2024-10-13T22:01:51Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T09:56:39Z day: '01' department: - _id: PreCl doi: 10.1177/02611929241286024 external_id: isi: - '001348633700007' pmid: - '39333027' intvolume: ' 52' isi: 1 issue: '6' language: - iso: eng month: '11' oa_version: None page: 326-333 pmid: 1 publication: Alternatives to Laboratory Animals publication_identifier: eissn: - 2632-3559 issn: - 0261-1929 publication_status: published publisher: SAGE Publications quality_controlled: '1' scopus_import: '1' status: public title: Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 52 year: '2024' ... --- OA_type: closed access _id: '18311' 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. article_processing_charge: No article_type: original author: - first_name: Lukas full_name: Hörmayer, Lukas id: 2EEE7A2A-F248-11E8-B48F-1D18A9856A87 last_name: Hörmayer orcid: 0000-0001-8295-2926 - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: 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' 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' 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.' 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.' ista: 'Hörmayer L, Friml J. 2024. Feeling the danger: Local wound signaling in plants. Cell Research. 34, 761–762.' 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.' short: L. Hörmayer, J. Friml, Cell Research 34 (2024) 761–762. corr_author: '1' date_created: 2024-10-13T22:01:51Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T09:57:18Z day: '01' department: - _id: JiFr doi: 10.1038/s41422-024-01035-x external_id: isi: - '001326684200001' pmid: - '39354142' intvolume: ' 34' isi: 1 language: - iso: eng month: '11' oa_version: None page: 761-762 pmid: 1 publication: Cell Research publication_identifier: eissn: - 1748-7838 issn: - 1001-0602 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: 'Feeling the danger: Local wound signaling in plants' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 34 year: '2024' ... --- OA_place: publisher OA_type: free access _id: '18443' 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" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Maria A full_name: Sisak, Maria A id: 44A03D04-AEA4-11E9-B225-EA2DE6697425 last_name: Sisak citation: ama: Sisak MA. T-dual branes on hyperkähler manifolds. 2024. doi:10.15479/at:ista:18443 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 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. 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. 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. corr_author: '1' date_created: 2024-10-19T12:00:37Z date_published: 2024-10-24T00:00:00Z date_updated: 2026-04-07T12:42:44Z day: '24' ddc: - '516' degree_awarded: PhD department: - _id: GradSch - _id: TaHa doi: 10.15479/at:ista:18443 file: - access_level: open_access checksum: 8c4893e726aaa4b3efb82758da9b6851 content_type: application/pdf creator: msisak date_created: 2024-10-23T14:42:45Z date_updated: 2024-10-23T14:42:45Z file_id: '18467' file_name: MASisak_dissertation.pdf file_size: 1672547 relation: main_file success: 1 - access_level: closed checksum: 1831b072e861a1e5481024ca9d02b036 content_type: application/x-zip-compressed creator: msisak date_created: 2024-10-23T14:43:56Z date_updated: 2024-10-24T08:09:13Z file_id: '18468' file_name: MASisak_source.zip file_size: 617913 relation: source_file file_date_updated: 2024-10-24T08:09:13Z has_accepted_license: '1' keyword: - hyperkaehler geometry - branes - mirror symmetry - T-duality language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: '178' project: - _id: 6286e8c4-2b32-11ec-9570-f5297902f67f grant_number: '26069' name: Branes on hyperkähler manifolds publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Tamás full_name: Hausel, Tamás id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel orcid: 0000-0002-9582-2634 title: T-dual branes on hyperkähler manifolds tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2024' ... --- OA_place: repository OA_type: green _id: '22065' 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Thierry full_name: Laurens, Thierry last_name: Laurens - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: 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 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 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. 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. ista: Killip R, Laurens T, Vişan M. 2024. Sharp well-posedness for the Benjamin–Ono equation. Inventiones mathematicae. 236(3), 999–1054. 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. short: R. Killip, T. Laurens, M. Vişan, Inventiones Mathematicae 236 (2024) 999–1054. das_tickbox: '1' date_created: 2026-06-19T08:13:06Z date_published: 2024-06-01T00:00:00Z date_updated: 2026-06-30T07:11:40Z day: '01' doi: 10.1007/s00222-024-01250-8 extern: '1' external_id: arxiv: - '2304.00124' intvolume: ' 236' issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2304.00124 month: '06' oa: 1 oa_version: Preprint page: 999-1054 publication: Inventiones mathematicae publication_identifier: eissn: - 1432-1297 issn: - 0020-9910 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Sharp well-posedness for the Benjamin–Ono equation type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 236 year: '2024' ... --- OA_place: repository OA_type: green _id: '22062' 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Benjamin full_name: Harrop-Griffiths, Benjamin last_name: Harrop-Griffiths - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Maria full_name: Ntekoume, Maria last_name: Ntekoume - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: 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 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 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. 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. 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. 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. short: B. Harrop-Griffiths, R. Killip, M. Ntekoume, M. Vişan, Journal of the European Mathematical Society 28 (2024) 843–924. date_created: 2026-06-19T08:11:46Z date_published: 2024-06-26T00:00:00Z date_updated: 2026-06-30T07:04:07Z day: '26' doi: 10.4171/jems/1490 extern: '1' external_id: arxiv: - '2204.12548' intvolume: ' 28' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2204.12548 mathsc: - 35Q55 month: '06' oa: 1 oa_version: Preprint page: 843-924 publication: Journal of the European Mathematical Society publication_identifier: eissn: - 1435-9863 issn: - 1435-9855 publication_status: published publisher: EMS Press quality_controlled: '1' scopus_import: '1' status: public title: Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 28 year: '2024' ... --- OA_place: repository OA_type: green _id: '22074' abstract: - lang: eng text: We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Loukas full_name: Grafakos, Loukas last_name: Grafakos - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan 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' 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' 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.' 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.' 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.' 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.' short: 'L. Grafakos, M. Vişan, Proceedings of the Royal Society of Edinburgh: Section A Mathematics 154 (2024) 1504–1517.' das_tickbox: '1' date_created: 2026-06-19T08:22:51Z date_published: 2024-10-01T00:00:00Z date_updated: 2026-06-30T11:03:28Z day: '01' doi: 10.1017/prm.2023.77 extern: '1' external_id: arxiv: - '2304.07831' intvolume: ' 154' issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2304.07831 month: '10' oa: 1 oa_version: Preprint page: 1504-1517 publication: 'Proceedings of the Royal Society of Edinburgh: Section A Mathematics' publication_identifier: eissn: - 1473-7124 issn: - 0308-2105 publication_status: published publisher: Cambridge University Press quality_controlled: '1' scopus_import: '1' status: public title: Remarks on countable subadditivity type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 154 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '22079' abstract: - lang: eng 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. ' article_number: e6 article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Benjamin full_name: Harrop-Griffiths, Benjamin last_name: Harrop-Griffiths - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: 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 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 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. 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. 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. 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. short: B. Harrop-Griffiths, R. Killip, M. Vişan, Forum of Mathematics, Pi 12 (2024). das_tickbox: '1' date_created: 2026-06-19T08:26:10Z date_published: 2024-04-02T00:00:00Z date_updated: 2026-06-30T12:16:50Z day: '02' ddc: - '500' doi: 10.1017/fmp.2024.4 extern: '1' external_id: arxiv: - '2003.05011' has_accepted_license: '1' intvolume: ' 12' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1017/fmp.2024.4 mathsc: - 35Q55 - 35Q53 - 37K10 month: '04' oa: 1 oa_version: Published Version publication: Forum of Mathematics, Pi publication_identifier: eissn: - 2050-5086 publication_status: published publisher: Cambridge University Press quality_controlled: '1' scopus_import: '1' status: public title: Sharp well-posedness for the cubic NLS and mKdV in H^s(R) tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 12 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '22123' abstract: - lang: eng 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. article_processing_charge: Yes article_type: original author: - first_name: José M full_name: Muñoz Hermosilla, José M id: e1037a6d-646e-11ef-b402-e0ed9ab0901e last_name: Muñoz Hermosilla orcid: 0000-0002-1990-8508 - first_name: Jaime full_name: Otero, Jaime last_name: Otero - first_name: Eva full_name: De Andrés, Eva last_name: De Andrés - first_name: Kaian full_name: Shahateet, Kaian last_name: Shahateet - first_name: Francisco full_name: Navarro, Francisco last_name: Navarro - first_name: Iván full_name: Pérez-Doña, Iván last_name: Pérez-Doña citation: 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 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 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. 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. 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. 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. das_tickbox: '1' date_created: 2026-06-22T12:18:27Z date_published: 2024-04-23T00:00:00Z date_updated: 2026-07-02T07:13:15Z day: '23' ddc: - '550' doi: 10.5194/tc-18-1911-2024 extern: '1' has_accepted_license: '1' intvolume: ' 18' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.5194/tc-18-1911-2024 month: '04' oa: 1 oa_version: Published Version page: 1911-1924 publication: The Cryosphere publication_identifier: eissn: - 1994-0424 publication_status: published publisher: Copernicus Publications quality_controlled: '1' related_material: record: - id: '22125' relation: earlier_version status: public scopus_import: '1' status: public title: A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 18 year: '2024' ... --- APC_amount: 5666,27 EUR OA_place: publisher OA_type: gold _id: '15180' abstract: - lang: eng 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. 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)." article_number: '129' article_processing_charge: Yes article_type: original author: - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Rohan P. full_name: Naidu, Rohan P. last_name: Naidu - first_name: Gabriel full_name: Brammer, Gabriel last_name: Brammer - first_name: John full_name: Chisholm, John last_name: Chisholm - first_name: Anna-Christina full_name: Eilers, Anna-Christina last_name: Eilers - first_name: Andy full_name: Goulding, Andy last_name: Goulding - first_name: Jenny full_name: Greene, Jenny last_name: Greene - first_name: Daichi full_name: Kashino, Daichi last_name: Kashino - first_name: Ivo full_name: Labbe, Ivo last_name: Labbe - first_name: Simon J. full_name: Lilly, Simon J. last_name: Lilly - first_name: Ruari full_name: Mackenzie, Ruari last_name: Mackenzie - first_name: Pascal A. full_name: Oesch, Pascal A. last_name: Oesch - first_name: Andrea full_name: Weibel, Andrea last_name: Weibel - first_name: Stijn full_name: Wuyts, Stijn last_name: Wuyts - first_name: Mengyuan full_name: Xiao, Mengyuan last_name: Xiao - first_name: Rongmon full_name: Bordoloi, Rongmon last_name: Bordoloi - first_name: Rychard full_name: Bouwens, Rychard last_name: Bouwens - first_name: Pieter full_name: van Dokkum, Pieter last_name: van Dokkum - first_name: Garth full_name: Illingworth, Garth last_name: Illingworth - first_name: Ivan full_name: Kramarenko, Ivan last_name: Kramarenko - first_name: Michael V. full_name: Maseda, Michael V. last_name: Maseda - first_name: Charlotte full_name: Mason, Charlotte last_name: Mason - first_name: Romain A. full_name: Meyer, Romain A. last_name: Meyer - first_name: Erica J. full_name: Nelson, Erica J. last_name: Nelson - first_name: Naveen A. full_name: Reddy, Naveen A. last_name: Reddy - first_name: Irene full_name: Shivaei, Irene last_name: Shivaei - first_name: Robert A. full_name: Simcoe, Robert A. last_name: Simcoe - first_name: Minghao full_name: Yue, Minghao last_name: Yue citation: 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' 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' 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.' 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.' 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.' 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.' 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). corr_author: '1' das_tickbox: '1' date_created: 2024-03-25T08:54:47Z date_published: 2024-03-07T00:00:00Z date_updated: 2026-07-06T12:20:54Z day: '07' ddc: - '550' department: - _id: JoMa doi: 10.3847/1538-4357/ad2345 external_id: isi: - '001184703600001' file: - access_level: open_access checksum: dc7af4694f9f94a551417ab49fa43edf content_type: application/pdf creator: dernst date_created: 2024-03-25T09:31:58Z date_updated: 2024-03-25T09:31:58Z file_id: '15184' file_name: 2024_AstrophysicalJourn_Matthee.pdf file_size: 6047536 relation: main_file success: 1 file_date_updated: 2024-03-25T09:31:58Z has_accepted_license: '1' intvolume: ' 963' isi: 1 issue: '2' keyword: - Space and Planetary Science - Astronomy and Astrophysics language: - iso: eng month: '03' oa: 1 oa_version: Published Version project: - _id: bd9b2118-d553-11ed-ba76-db24564edfea grant_number: '101076224' name: Young galaxies as tracers and agents of cosmic reionization publication: The Astrophysical Journal publication_identifier: eissn: - 1538-4357 issn: - 0004-637X publication_status: published publisher: IOP Publishing quality_controlled: '1' related_material: link: - description: News on ISTA website relation: press_release url: https://ista.ac.at/en/news/baby-quasars-growing-supermassive-black-holes/ scopus_import: '1' status: public title: 'Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 963 year: '2024' ... --- APC_amount: 3080,76 EUR DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18564' abstract: - lang: eng 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. 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." article_number: L7 article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Tim full_name: Cunningham, Tim last_name: Cunningham - first_name: Ilaria full_name: Caiazzo, Ilaria id: 8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d last_name: Caiazzo orcid: 0000-0002-4770-5388 - first_name: Nikolaus Z. full_name: Prusinski, Nikolaus Z. last_name: Prusinski - first_name: James full_name: Fuller, James last_name: Fuller - first_name: John C. full_name: Raymond, John C. last_name: Raymond - first_name: S. R. full_name: Kulkarni, S. R. last_name: Kulkarni - first_name: James D. full_name: Neill, James D. last_name: Neill - first_name: Paul full_name: Duffell, Paul last_name: Duffell - first_name: Chris full_name: Martin, Chris last_name: Martin - first_name: Odette full_name: Toloza, Odette last_name: Toloza - first_name: David full_name: Charbonneau, David last_name: Charbonneau - first_name: Scott J. full_name: Kenyon, Scott J. last_name: Kenyon - first_name: Zeren full_name: Lin, Zeren last_name: Lin - first_name: Mateusz full_name: Matuszewski, Mateusz last_name: Matuszewski - first_name: Rosalie full_name: McGurk, Rosalie last_name: McGurk - first_name: Abigail full_name: Polin, Abigail last_name: Polin - first_name: Philippe Z. full_name: Yao, Philippe Z. last_name: Yao citation: 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 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 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. 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. 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. 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. 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). das_tickbox: '1' date_created: 2024-11-19T08:12:59Z date_published: 2024-10-24T00:00:00Z date_updated: 2026-07-06T12:21:32Z day: '24' ddc: - '520' department: - _id: IlCa doi: 10.3847/2041-8213/ad713b external_id: arxiv: - '2410.10940' isi: - '001340831400001' file: - access_level: open_access checksum: 51e790dd3d85ca984e656734f9f611da content_type: application/pdf creator: dernst date_created: 2024-11-20T12:24:52Z date_updated: 2024-11-20T12:24:52Z file_id: '18573' file_name: 2024_AstrophysJourLetters_Cunningham.pdf file_size: 90328868 relation: main_file success: 1 file_date_updated: 2024-11-20T12:24:52Z has_accepted_license: '1' intvolume: ' 975' isi: 1 issue: '1' language: - iso: eng month: '10' oa: 1 oa_version: Published Version project: - _id: B67AFEDC-15C9-11EA-A837-991A96BB2854 name: IST Austria Open Access Fund publication: The Astrophysical Journal Letters publication_identifier: eissn: - 2041-8213 issn: - 2041-8205 publication_status: published publisher: IOP Publishing quality_controlled: '1' scopus_import: '1' status: public title: Expansion properties of the young supernova type Iax remnant Pa 30 revealed tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 975 year: '2024' ... --- OA_type: closed access _id: '18965' abstract: - lang: eng 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." acknowledgement: All authors acknowledge financial support from the Werner Siemens Foundation article_number: '222' article_processing_charge: No author: - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Shengduo full_name: Xu, Shengduo id: 12ab8624-4c8a-11ec-9e11-e1ac2438f22f last_name: Xu - first_name: Sharona full_name: Horta, Sharona id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc last_name: Horta - first_name: Abayomi Q full_name: Lawal, Abayomi Q id: 5bdaf946-5355-11ee-ae5a-8061700bd605 last_name: Lawal citation: 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' 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' 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. 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. 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.' 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. 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. conference: end_date: 2024-11-15 location: Lausanne, Switzerland name: 'MATSUS: Materials for Sustainable Development Conference' start_date: 2024-11-12 corr_author: '1' das_tickbox: '1' date_created: 2025-01-29T14:41:32Z date_published: 2024-11-15T00:00:00Z date_updated: 2026-07-06T13:07:24Z day: '15' department: - _id: MaIb doi: 10.29363/nanoge.matsusfall.2024.222 language: - iso: eng month: '11' oa_version: None publication: Proceedings of the Materials for Sustainable Development Conference publication_status: published publisher: Fundació de la comunitat valenciana SCITO quality_controlled: '1' status: public title: High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2024' ... --- OA_place: repository OA_type: green _id: '20701' abstract: - lang: eng text: "A Proof of Exponentiation (PoE) allows a prover to efficiently convince a verifier that \U0001D466 = \U0001D465\r\n\U0001D452\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." acknowledgement: Pavel Hubáček was supported by the Institute of Mathematics, Czech Academy of Sciences (RVO 67985840). article_number: 2024/145 article_processing_charge: No author: - first_name: Charlotte full_name: Hoffmann, Charlotte id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7 last_name: Hoffmann orcid: 0000-0003-2027-5549 - first_name: Pavel full_name: Hubáček, Pavel last_name: Hubáček - first_name: Svetlana full_name: Ivanova, Svetlana last_name: Ivanova citation: ama: Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive. apa: Hoffmann, C., Hubáček, P., & Ivanova, S. (n.d.). Practical batch proofs of exponentiation. Cryptology ePrint Archive. International Association for Cryptologic Research. chicago: Hoffmann, Charlotte, Pavel Hubáček, and Svetlana Ivanova. “Practical Batch Proofs of Exponentiation.” Cryptology EPrint Archive. International Association for Cryptologic Research, n.d. ieee: C. Hoffmann, P. Hubáček, and S. Ivanova, “Practical batch proofs of exponentiation,” Cryptology ePrint Archive. International Association for Cryptologic Research. ista: Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive, 2024/145. mla: Hoffmann, Charlotte, et al. “Practical Batch Proofs of Exponentiation.” Cryptology EPrint Archive, 2024/145, International Association for Cryptologic Research. short: C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.). corr_author: '1' cryptoeprintid: 1 das_tickbox: '1' date_created: 2025-11-27T10:13:38Z date_published: 2024-02-02T00:00:00Z date_updated: 2026-07-06T13:15:28Z day: '02' department: - _id: KrPi external_id: cryptoeprintid: - 2024/145 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2024/145 month: '02' oa: 1 oa_version: Preprint publication: Cryptology ePrint Archive publication_status: draft publisher: International Association for Cryptologic Research related_material: record: - id: '20920' relation: dissertation_contains status: public - id: '20556' relation: dissertation_contains status: public status: public title: Practical batch proofs of exponentiation tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2024' ... --- OA_place: repository OA_type: green _id: '17292' abstract: - lang: eng 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Jason D. full_name: Lotay, Jason D. last_name: Lotay - first_name: Goncalo full_name: Oliveira, Goncalo id: 58abbde8-f455-11eb-a497-98c8fd71b905 last_name: Oliveira citation: 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 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 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. 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. 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. 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. short: J.D. Lotay, G. Oliveira, Journal of Differential Geometry 126 (2024) 1121–1184. corr_author: '1' das_tickbox: '1' date_created: 2024-07-22T07:45:31Z date_published: 2024-03-01T00:00:00Z date_updated: 2026-07-06T13:37:38Z day: '01' department: - _id: TaHa doi: 10.4310/jdg/1717348872 external_id: arxiv: - '2002.10391' isi: - '001271790200007' intvolume: ' 126' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2002.10391 month: '03' oa: 1 oa_version: Preprint page: 1121-1184 publication: Journal of Differential Geometry publication_identifier: issn: - 0022-040X publication_status: published publisher: International Press of Boston quality_controlled: '1' scopus_import: '1' status: public title: Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 126 year: '2024' ... --- OA_place: repository OA_type: green _id: '17053' abstract: - lang: eng 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. 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. article_processing_charge: No author: - first_name: Nils full_name: Froleyks, Nils last_name: Froleyks - first_name: Zhengqi full_name: Yu, Zhengqi id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342 last_name: Yu orcid: 0000-0002-4993-773X - first_name: Armin full_name: Biere, Armin last_name: Biere citation: 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.' 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.' 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. 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. 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.' 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. 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. conference: end_date: 2024-02-15 location: Kaiserslautern, Germany name: 'MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems' start_date: 2024-02-14 das_tickbox: '1' date_created: 2024-05-26T22:00:58Z date_published: 2024-02-01T00:00:00Z date_updated: 2026-07-07T07:03:23Z day: '01' department: - _id: ToHe ec_funded: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://cca.informatik.uni-freiburg.de/papers/FroleyksYuBiere-MBMV24.pdf month: '02' oa: 1 oa_version: Submitted Version page: 148-151 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems publication_identifier: isbn: - '9783800762682' publication_status: published publisher: VDE Verlag quality_controlled: '1' scopus_import: '1' status: public title: Ternary simulation as abstract interpretation (Work in Progress) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2024' ...