--- OA_place: publisher OA_type: hybrid _id: '18528' abstract: - lang: eng text: The recent measurement of magnetic field strength inside the radiative interior of red giant stars has opened the way toward full 3D characterization of the geometry of stable large-scale magnetic fields. However, current measurements, which are limited to dipolar (ℓ = 1) mixed modes, do not properly constrain the topology of magnetic fields due to degeneracies on the observed magnetic field signature on such ℓ = 1 mode frequencies. Efforts focused toward unambiguous detections of magnetic field configurations are now key to better understand angular momentum transport in stars. We investigated the detectability of complex magnetic field topologies (such as the ones observed at the surface of stars with a radiative envelope with spectropolarimetry) inside the radiative interior of red giants. We focused on a field composed of a combination of a dipole and a quadrupole (quadrudipole) and on an offset field. We explored the potential of probing such magnetic field topologies from a combined measurement of magnetic signatures on ℓ = 1 and quadrupolar (ℓ = 2) mixed mode oscillation frequencies. We first derived the asymptotic theoretical formalism for computing the asymmetric signature in the frequency pattern for ℓ = 2 modes due to a quadrudipole magnetic field. To access asymmetry parameters for more complex magnetic field topologies, we numerically performed a grid search over the parameter space to map the degeneracy of the signatures of given topologies. We demonstrate the crucial role played by ℓ = 2 mixed modes in accessing internal magnetic fields with a quadrupolar component. The degeneracy of the quadrudipole compared to pure dipolar fields is lifted when considering magnetic asymmetries in both ℓ = 1 and ℓ = 2 mode frequencies. In addition to the analytical derivation for the quadrudipole, we present the prospect for complex magnetic field inversions using magnetic sensitivity kernels from standard perturbation analysis for forward modeling. Using this method, we explored the detectability of offset magnetic fields from ℓ = 1 and ℓ = 2 frequencies and demonstrate that offset fields may be mistaken for weak and centered magnetic fields, resulting in underestimating the magnetic field strength in stellar cores. We emphasize the need to characterize ℓ = 2 mixed-mode frequencies, (along with the currently characterized ℓ = 1 mixed modes), to unveil the higher-order components of the geometry of buried magnetic fields and to better constrain angular momentum transport inside stars. acknowledgement: The authors thank S. Mathis, L. Barrault, S. Torres, A. Cristea, and K. M. Smith for very useful discussions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curíe grant agreement No 101034413. The authors thank the anonymous referee for valuable comments and suggestions to improve the manuscript. article_number: A217 article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Srijan B full_name: Das, Srijan B id: 9ce7c423-dacf-11ed-8942-e09c6cb27149 last_name: Das orcid: 0000-0003-0896-7972 - first_name: Lukas full_name: Einramhof, Lukas id: f1497a1a-72ef-11ef-b75a-fd877bbf6e8c last_name: Einramhof - first_name: Lisa Annabelle full_name: Bugnet, Lisa Annabelle id: d9edb345-f866-11ec-9b37-d119b5234501 last_name: Bugnet orcid: 0000-0003-0142-4000 citation: ama: Das SB, Einramhof L, Bugnet LA. Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. 2024;690. doi:10.1051/0004-6361/202450918 apa: Das, S. B., Einramhof, L., & Bugnet, L. A. (2024). Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450918 chicago: Das, Srijan B, Lukas Einramhof, and Lisa Annabelle Bugnet. “Unveiling Complex Magnetic Field Configurations in Red Giant Stars.” Astronomy and Astrophysics. EDP Sciences, 2024. https://doi.org/10.1051/0004-6361/202450918. ieee: S. B. Das, L. Einramhof, and L. A. Bugnet, “Unveiling complex magnetic field configurations in red giant stars,” Astronomy and Astrophysics, vol. 690. EDP Sciences, 2024. ista: Das SB, Einramhof L, Bugnet LA. 2024. Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. 690, A217. mla: Das, Srijan B., et al. “Unveiling Complex Magnetic Field Configurations in Red Giant Stars.” Astronomy and Astrophysics, vol. 690, A217, EDP Sciences, 2024, doi:10.1051/0004-6361/202450918. short: S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024). corr_author: '1' date_created: 2024-11-10T23:02:00Z date_published: 2024-10-01T00:00:00Z date_updated: 2025-09-08T14:36:39Z day: '01' ddc: - '520' department: - _id: LiBu doi: 10.1051/0004-6361/202450918 ec_funded: 1 external_id: arxiv: - '2405.20133' isi: - '001336485200015' file: - access_level: open_access checksum: d43bbe6ed8ce4512e65e2d0d87070cf6 content_type: application/pdf creator: dernst date_created: 2024-11-11T09:01:11Z date_updated: 2024-11-11T09:01:11Z file_id: '18534' file_name: 2024_AstronomyAstrophysics_Das.pdf file_size: 5306256 relation: main_file success: 1 file_date_updated: 2024-11-11T09:01:11Z has_accepted_license: '1' intvolume: ' 690' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Astronomy and Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: Unveiling complex magnetic field configurations in red giant stars 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: 690 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18530' abstract: - lang: eng text: "We explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-determinism is a robust property that admits different game-based characterisations, and HD specifications allow for game-based verification without an expensive determinization step. We show that the class of timed ω\r\n-languages recognized by HD timed automata strictly extends that of deterministic ones, and is strictly included in those recognised by fully non-deterministic TA. For non-deterministic timed automata it is known that universality is already undecidable for safety/reachability TA. For history-deterministic TA with arbitrary parity acceptance, we show that timed universality, inclusion, and synthesis all remain decidable and are EXPTIME-complete. For the subclass of TA with safety or reachability acceptance, one can decide (in EXPTIME) whether such an automaton is history-deterministic. If so, it can effectively determinized without introducing new automaton states." acknowledgement: This work has in parts been presented at the 33rd International Conference on Concurrency Theory (CONCUR’22) [HLT22] and at the 16th International Workshop on Reachability Problems (RP’22) [BHL+22]. This work was supported by the EU (ERC-2020-AdG 101020093); the EPSRC (EP/V025848/1, EP/X042596/1, EP/X017796/1 and EP/X03688X/1); and the ANR (QUASY 23-CE48-0008-01). article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Sougata full_name: Bose, Sougata last_name: Bose - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Karoliina full_name: Lehtinen, Karoliina last_name: Lehtinen - first_name: Sven full_name: Schewe, Sven last_name: Schewe - first_name: Patrick full_name: Totzke, Patrick last_name: Totzke citation: ama: Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata. Logical Methods in Computer Science. 2024;20(4):1-28. doi:10.46298/lmcs-20(4:1)2024 apa: Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2024). History-deterministic timed automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-20(4:1)2024 chicago: Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata.” Logical Methods in Computer Science. EPI Sciences, 2024. https://doi.org/10.46298/lmcs-20(4:1)2024. ieee: S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata,” Logical Methods in Computer Science, vol. 20, no. 4. EPI Sciences, pp. 1–28, 2024. ista: Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2024. History-deterministic timed automata. Logical Methods in Computer Science. 20(4), 1–28. mla: Bose, Sougata, et al. “History-Deterministic Timed Automata.” Logical Methods in Computer Science, vol. 20, no. 4, EPI Sciences, 2024, pp. 1–28, doi:10.46298/lmcs-20(4:1)2024. short: S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28. corr_author: '1' date_created: 2024-11-10T23:02:01Z date_published: 2024-10-02T00:00:00Z date_updated: 2025-09-08T14:35:17Z day: '02' ddc: - '000' department: - _id: ToHe doi: 10.46298/lmcs-20(4:1)2024 ec_funded: 1 external_id: arxiv: - '2304.03183' isi: - '001332466900002' file: - access_level: open_access checksum: 26826786a960039b9501cfc5cb4f3fe6 content_type: application/pdf creator: dernst date_created: 2024-11-11T08:32:02Z date_updated: 2024-11-11T08:32:02Z file_id: '18532' file_name: 2024_LMCS_Bose.pdf file_size: 563394 relation: main_file success: 1 file_date_updated: 2024-11-11T08:32:02Z has_accepted_license: '1' intvolume: ' 20' isi: 1 issue: '4' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 1-28 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: Logical Methods in Computer Science publication_identifier: eissn: - 1860-5974 publication_status: published publisher: EPI Sciences quality_controlled: '1' related_material: record: - id: '12508' relation: earlier_version status: public scopus_import: '1' status: public title: History-deterministic timed automata 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: 20 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '18553' abstract: - lang: eng text: Transcription-coupled nucleotide excision repair (TC-NER) efficiently eliminates DNA damage that impedes gene transcription by RNA polymerase II (RNA Pol II). TC-NER is initiated by the recognition of lesion-stalled RNA Pol II by CSB, which recruits the CRL4CSA ubiquitin ligase and UVSSA. RNA Pol II ubiquitylation at RPB1-K1268 by CRL4CSA serves as a critical TC-NER checkpoint, governing RNA Pol II stability and initiating DNA damage excision by TFIIH recruitment. However, the precise regulatory mechanisms of CRL4CSA activity and TFIIH recruitment remain elusive. Here, we reveal human serine/threonine-protein kinase 19 (STK19) as a TC-NER factor, which is essential for correct DNA damage removal and subsequent transcription restart. Cryogenic electron microscopy (cryo-EM) studies demonstrate that STK19 is an integral part of the RNA Pol II-TC-NER complex, bridging CSA, UVSSA, RNA Pol II, and downstream DNA. STK19 stimulates TC-NER complex stability and CRL4CSA activity, resulting in efficient RNA Pol II ubiquitylation and correct UVSSA and TFIIH binding. These findings underscore the crucial role of STK19 as a core TC-NER component. acknowledged_ssus: - _id: LifeSc - _id: PreCl acknowledgement: We thank N. Thompson and R. Burgess for the 8WG16 hybridoma cell line. This research was further supported by the Scientific Service Units (SSU) of IST Austria through resources provided by the Lab Support Facility (LSF) and the Preclinical Facility (PCF). This work is part of the Oncode Institute, which is partly financed by the Dutch Cancer Society. Research at the Netherlands Cancer Institute is supported by institutional grants of the Dutch Cancer Society and the Dutch Ministry of Health, Welfare and Sport. This study was supported by a VICI (VI.C.182.025) and a TOP Grant (714.017.003) of the Netherlands Organization for Scientific Research. article_processing_charge: No article_type: original author: - first_name: Anisha R. full_name: Ramadhin, Anisha R. last_name: Ramadhin - first_name: Shun-Hsiao full_name: Lee, Shun-Hsiao last_name: Lee - first_name: Di full_name: Zhou, Di last_name: Zhou - first_name: Anita P full_name: Testa Salmazo, Anita P id: 41F1F098-F248-11E8-B48F-1D18A9856A87 last_name: Testa Salmazo - first_name: Camila full_name: Gonzalo-Hansen, Camila last_name: Gonzalo-Hansen - first_name: Marjolein full_name: van Sluis, Marjolein last_name: van Sluis - first_name: Cindy M.A. full_name: Blom, Cindy M.A. last_name: Blom - first_name: Roel C. full_name: Janssens, Roel C. last_name: Janssens - first_name: Anja full_name: Raams, Anja last_name: Raams - first_name: Dick full_name: Dekkers, Dick last_name: Dekkers - first_name: Karel full_name: Bezstarosti, Karel last_name: Bezstarosti - first_name: Dea full_name: Slade, Dea last_name: Slade - first_name: Wim full_name: Vermeulen, Wim last_name: Vermeulen - first_name: Alex full_name: Pines, Alex last_name: Pines - first_name: Jeroen A.A. full_name: Demmers, Jeroen A.A. last_name: Demmers - first_name: Carrie A full_name: Bernecky, Carrie A id: 2CB9DFE2-F248-11E8-B48F-1D18A9856A87 last_name: Bernecky orcid: 0000-0003-0893-7036 - first_name: Titia K. full_name: Sixma, Titia K. last_name: Sixma - first_name: Jurgen A. full_name: Marteijn, Jurgen A. last_name: Marteijn citation: ama: Ramadhin AR, Lee S-H, Zhou D, et al. STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment. Molecular Cell. 2024;84(24):4740-4757.e12. doi:10.1016/j.molcel.2024.10.030 apa: Ramadhin, A. R., Lee, S.-H., Zhou, D., Testa Salmazo, A. P., Gonzalo-Hansen, C., van Sluis, M., … Marteijn, J. A. (2024). STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment. Molecular Cell. Elsevier. https://doi.org/10.1016/j.molcel.2024.10.030 chicago: Ramadhin, Anisha R., Shun-Hsiao Lee, Di Zhou, Anita P Testa Salmazo, Camila Gonzalo-Hansen, Marjolein van Sluis, Cindy M.A. Blom, et al. “STK19 Drives Transcription-Coupled Repair by Stimulating Repair Complex Stability, RNA Pol II Ubiquitylation, and TFIIH Recruitment.” Molecular Cell. Elsevier, 2024. https://doi.org/10.1016/j.molcel.2024.10.030. ieee: A. R. Ramadhin et al., “STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment,” Molecular Cell, vol. 84, no. 24. Elsevier, p. 4740–4757.e12, 2024. ista: Ramadhin AR, Lee S-H, Zhou D, Testa Salmazo AP, Gonzalo-Hansen C, van Sluis M, Blom CMA, Janssens RC, Raams A, Dekkers D, Bezstarosti K, Slade D, Vermeulen W, Pines A, Demmers JAA, Bernecky C, Sixma TK, Marteijn JA. 2024. STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment. Molecular Cell. 84(24), 4740–4757.e12. mla: Ramadhin, Anisha R., et al. “STK19 Drives Transcription-Coupled Repair by Stimulating Repair Complex Stability, RNA Pol II Ubiquitylation, and TFIIH Recruitment.” Molecular Cell, vol. 84, no. 24, Elsevier, 2024, p. 4740–4757.e12, doi:10.1016/j.molcel.2024.10.030. short: A.R. Ramadhin, S.-H. Lee, D. Zhou, A.P. Testa Salmazo, C. Gonzalo-Hansen, M. van Sluis, C.M.A. Blom, R.C. Janssens, A. Raams, D. Dekkers, K. Bezstarosti, D. Slade, W. Vermeulen, A. Pines, J.A.A. Demmers, C. Bernecky, T.K. Sixma, J.A. Marteijn, Molecular Cell 84 (2024) 4740–4757.e12. date_created: 2024-11-15T12:12:54Z date_published: 2024-12-19T00:00:00Z date_updated: 2025-09-08T14:42:50Z day: '19' ddc: - '570' department: - _id: CaBe doi: 10.1016/j.molcel.2024.10.030 external_id: isi: - '001395711300001' pmid: - '39547223' file: - access_level: open_access checksum: e051e2766b2d424983778f742cb7c5ed content_type: application/pdf creator: dernst date_created: 2025-01-13T11:17:35Z date_updated: 2025-01-13T11:17:35Z file_id: '18844' file_name: 2024_MolecularCell_Ramadhin.pdf file_size: 25071994 relation: main_file success: 1 file_date_updated: 2025-01-13T11:17:35Z has_accepted_license: '1' intvolume: ' 84' isi: 1 issue: '24' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 4740-4757.e12 pmid: 1 publication: Molecular Cell publication_identifier: issn: - 1097-2765 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment 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: 84 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18556' abstract: - lang: eng text: Given a finite set, A ⊆ ℝ², and a subset, B ⊆ A, the MST-ratio is the combined length of the minimum spanning trees of B and A⧵B divided by the length of the minimum spanning tree of A. The question of the supremum, over all sets A, of the maximum, over all subsets B, is related to the Steiner ratio, and we prove this sup-max is between 2.154 and 2.427. Restricting ourselves to 2-dimensional lattices, we prove that the sup-max is 2, while the inf-max is 1.25. By some margin the most difficult of these results is the upper bound for the inf-max, which we prove by showing that the hexagonal lattice cannot have MST-ratio larger than 1.25. acknowledgement: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, "Discretization in Geometry and Dynamics", Austrian Science Fund (FWF), grant no. I 02979-N35. alternative_title: - LIPIcs article_number: '3' article_processing_charge: Yes arxiv: 1 author: - first_name: Sebastiano full_name: Cultrera di Montesano, Sebastiano id: 34D2A09C-F248-11E8-B48F-1D18A9856A87 last_name: Cultrera di Montesano orcid: 0000-0001-6249-0832 - first_name: Ondrej full_name: Draganov, Ondrej id: 2B23F01E-F248-11E8-B48F-1D18A9856A87 last_name: Draganov orcid: 0000-0003-0464-3823 - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Morteza full_name: Saghafian, Morteza id: f86f7148-b140-11ec-9577-95435b8df824 last_name: Saghafian citation: ama: 'Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. The Euclidean MST-ratio for bi-colored lattices. In: 32nd International Symposium on Graph Drawing and Network Visualization. Vol 320. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.GD.2024.3' apa: 'Cultrera di Montesano, S., Draganov, O., Edelsbrunner, H., & Saghafian, M. (2024). The Euclidean MST-ratio for bi-colored lattices. In 32nd International Symposium on Graph Drawing and Network Visualization (Vol. 320). Vienna, Austria: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.GD.2024.3' chicago: Cultrera di Montesano, Sebastiano, Ondrej Draganov, Herbert Edelsbrunner, and Morteza Saghafian. “The Euclidean MST-Ratio for Bi-Colored Lattices.” In 32nd International Symposium on Graph Drawing and Network Visualization, Vol. 320. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.GD.2024.3. ieee: S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, and M. Saghafian, “The Euclidean MST-ratio for bi-colored lattices,” in 32nd International Symposium on Graph Drawing and Network Visualization, Vienna, Austria, 2024, vol. 320. ista: 'Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. 2024. The Euclidean MST-ratio for bi-colored lattices. 32nd International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LIPIcs, vol. 320, 3.' mla: Cultrera di Montesano, Sebastiano, et al. “The Euclidean MST-Ratio for Bi-Colored Lattices.” 32nd International Symposium on Graph Drawing and Network Visualization, vol. 320, 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.GD.2024.3. short: S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, in:, 32nd International Symposium on Graph Drawing and Network Visualization, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. conference: end_date: 2024-09-20 location: Vienna, Austria name: 'GD: Graph Drawing and Network Visualization' start_date: 2024-09-18 corr_author: '1' date_created: 2024-11-17T23:01:47Z date_published: 2024-10-28T00:00:00Z date_updated: 2025-12-02T13:50:50Z day: '28' ddc: - '510' department: - _id: HeEd doi: 10.4230/LIPIcs.GD.2024.3 ec_funded: 1 external_id: arxiv: - '2403.10204' isi: - '001540278400001' file: - access_level: open_access checksum: 5f9b35e115c3d375e99be78da9054cb4 content_type: application/pdf creator: dernst date_created: 2024-11-18T07:49:25Z date_updated: 2024-11-18T07:49:25Z file_id: '18560' file_name: 2024_LIPIcs_CultreradiMontesano.pdf file_size: 908541 relation: main_file success: 1 file_date_updated: 2024-11-18T07:49:25Z has_accepted_license: '1' intvolume: ' 320' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 268116B8-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z00342 name: Mathematics, Computer Science - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication: 32nd International Symposium on Graph Drawing and Network Visualization publication_identifier: isbn: - '9783959773430' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: The Euclidean MST-ratio for bi-colored lattices 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: 320 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18557' abstract: - lang: eng text: Broadcast and Consensus are most fundamental tasks in distributed computing. These tasks are particularly challenging in dynamic networks where communication across the network links may be unreliable, e.g., due to mobility or failures. Over the last years, researchers have derived several impossibility results and high time complexity lower bounds for these tasks. Specifically for the setting where in each round of communication the adversary is allowed to choose one rooted tree along which the information is disseminated, there is a lower as well as an upper bound that is linear in the number n of nodes for Broadcast and for n ≥ 3 the adversary can guarantee that Consensus never happens. This setting is called the oblivious message adversary for rooted trees. Also note that if the adversary is allowed to choose a graph that does not contain a rooted tree, then it can guarantee that Broadcast and Consensus will never happen. However, such deterministic adversarial models may be overly pessimistic, as many processes in real-world settings are stochastic in nature rather than worst-case. This paper studies Broadcast on stochastic dynamic networks and shows that the situation is very different to the deterministic case. In particular, we show that if information dissemination occurs along random rooted trees and directed Erdős–Rényi graphs, Broadcast completes in O(log n) rounds of communication with high probability. The fundamental insight in our analysis is that key variables are mutually independent. We then study two adversarial models, (a) one with Byzantine nodes and (b) one where an adversary controls the edges. (a) Our techniques without Byzantine nodes are general enough so that they can be extended to Byzantine nodes. (b) In the spirit of smoothed analysis, we introduce the notion of randomized oblivious message adversary, where in each round, an adversary picks k ≤ 2n/3 edges to appear in the communication network, and then a graph (e.g. rooted tree or directed Erdős–Rényi graph) is chosen uniformly at random among the set of all such graphs that include these edges. We show that Broadcast completes in a finite number of rounds, which is, e.g., O(k+log n) rounds in rooted trees. We then extend these results to All-to-All Broadcast, and Consensus, and give lower bounds that show that most of our upper bounds are tight. acknowledgement: "Antoine El-Hayek: This project has received funding from the Austrian Science Fund\r\n(FWF) grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung,\r\n2020–2024.\r\nMonika Henzinger: This project has received funding from the European Research Council (ERC)\r\nunder the European Union’s Horizon 2020 research and innovation programme (MoDynStruct,\r\nNo. 101019564) and the Austrian Science Fund (FWF) grant DOI 10.55776/Z422, grant DOI\r\n10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE\r\nStiftung, 2020–2024.\r\nStefan Schmid: This project has received funding from the German Research Foundation (DFG),\r\nSPP 2378 (project ReNO), 2023-2027." alternative_title: - LIPIcs article_number: '21' article_processing_charge: Yes arxiv: 1 author: - first_name: Antoine full_name: El-Hayek, Antoine id: 888a098e-fcac-11ee-aff7-d347be57b725 last_name: El-Hayek orcid: 0000-0003-4268-7368 - 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: Stefan full_name: Schmid, Stefan last_name: Schmid citation: ama: 'El-Hayek A, Henzinger M, Schmid S. Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. In: 38th International Symposium on Distributed Computing. Vol 319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.DISC.2024.21' apa: 'El-Hayek, A., Henzinger, M., & Schmid, S. (2024). Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. In 38th International Symposium on Distributed Computing (Vol. 319). Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2024.21' chicago: El-Hayek, Antoine, Monika Henzinger, and Stefan Schmid. “Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges.” In 38th International Symposium on Distributed Computing, Vol. 319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.DISC.2024.21. ieee: A. El-Hayek, M. Henzinger, and S. Schmid, “Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges,” in 38th International Symposium on Distributed Computing, Madrid, Spain, 2024, vol. 319. ista: 'El-Hayek A, Henzinger M, Schmid S. 2024. Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. 38th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 319, 21.' mla: El-Hayek, Antoine, et al. “Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges.” 38th International Symposium on Distributed Computing, vol. 319, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.DISC.2024.21. short: A. El-Hayek, M. Henzinger, S. Schmid, in:, 38th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. conference: end_date: 2024-11-01 location: Madrid, Spain name: 'DISC: Symposium on Distributed Computing' start_date: 2024-10-28 corr_author: '1' date_created: 2024-11-17T23:01:47Z date_published: 2024-10-24T00:00:00Z date_updated: 2025-12-02T13:51:28Z day: '24' ddc: - '000' department: - _id: MoHe doi: 10.4230/LIPIcs.DISC.2024.21 ec_funded: 1 external_id: arxiv: - '2302.11988' isi: - '001542467600021' file: - access_level: open_access checksum: d6c8277331cafa188c33ba1717206cf4 content_type: application/pdf creator: dernst date_created: 2024-11-18T08:02:45Z date_updated: 2024-11-18T08:02:45Z file_id: '18561' file_name: 2024_LIPIcs_ElHayek.pdf file_size: 809666 relation: main_file success: 1 file_date_updated: 2024-11-18T08:02:45Z has_accepted_license: '1' intvolume: ' 319' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version project: - _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe grant_number: P33775 name: Fast Algorithms for a Reactive Network Layer - _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 publication: 38th International Symposium on Distributed Computing publication_identifier: isbn: - '9783959773522' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges 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: 319 year: '2024' ... --- OA_place: repository OA_type: green _id: '18559' abstract: - lang: eng text: We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth. acknowledgement: Sah and Sawhney were supported by NSF Graduate Research Fellowship Program DGE1745302. Sah was supported by the PD Soros Fellowship. Simkin was supported by the Center of Mathematical Sciences and Applications at Harvard University. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Matthew Alan full_name: Kwan, Matthew Alan id: 5fca0887-a1db-11eb-95d1-ca9d5e0453b3 last_name: Kwan orcid: 0000-0002-4003-7567 - first_name: Ashwin full_name: Sah, Ashwin last_name: Sah - first_name: Mehtaab full_name: Sawhney, Mehtaab last_name: Sawhney - first_name: Michael full_name: Simkin, Michael last_name: Simkin citation: ama: Kwan MA, Sah A, Sawhney M, Simkin M. High-girth Steiner triple systems. Annals of Mathematics. 2024;200(3):1059-1156. doi:10.4007/annals.2024.200.3.4 apa: Kwan, M. A., Sah, A., Sawhney, M., & Simkin, M. (2024). High-girth Steiner triple systems. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2024.200.3.4 chicago: Kwan, Matthew Alan, Ashwin Sah, Mehtaab Sawhney, and Michael Simkin. “High-Girth Steiner Triple Systems.” Annals of Mathematics. Princeton University, 2024. https://doi.org/10.4007/annals.2024.200.3.4. ieee: M. A. Kwan, A. Sah, M. Sawhney, and M. Simkin, “High-girth Steiner triple systems,” Annals of Mathematics, vol. 200, no. 3. Princeton University, pp. 1059–1156, 2024. ista: Kwan MA, Sah A, Sawhney M, Simkin M. 2024. High-girth Steiner triple systems. Annals of Mathematics. 200(3), 1059–1156. mla: Kwan, Matthew Alan, et al. “High-Girth Steiner Triple Systems.” Annals of Mathematics, vol. 200, no. 3, Princeton University, 2024, pp. 1059–156, doi:10.4007/annals.2024.200.3.4. short: M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Annals of Mathematics 200 (2024) 1059–1156. corr_author: '1' date_created: 2024-11-17T23:01:48Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T14:40:55Z day: '01' department: - _id: MaKw doi: 10.4007/annals.2024.200.3.4 external_id: arxiv: - '2201.04554' isi: - '001366233800004' intvolume: ' 200' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2201.04554 month: '11' oa: 1 oa_version: Preprint page: 1059-1156 publication: Annals of Mathematics publication_identifier: eissn: - 1939-8980 issn: - 0003-486X publication_status: published publisher: Princeton University quality_controlled: '1' scopus_import: '1' status: public title: High-girth Steiner triple systems type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 200 year: '2024' ... --- OA_type: closed access _id: '18563' abstract: - lang: eng text: I give a personal account about the wave of new research activities that rose in the 1990s on the specification, verification, and control of real-time systems. acknowledgement: I thank all my collaborators over the years. None of the mentioned contributions would have been possible without them. I also apologize for all omissions. The selection of contributions in this essay reflects primarily my personal involvement rather than any measure of importance. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 citation: ama: 'Henzinger TA. Reminiscences of a Real-Time Researcher. In: Graf S, Pettersson P, Steffen B, eds. Real Time and Such. Vol 15230. LNCS. Cham: Springer Nature; 2024:154-164. doi:10.1007/978-3-031-73751-0_12' apa: 'Henzinger, T. A. (2024). Reminiscences of a Real-Time Researcher. In S. Graf, P. Pettersson, & B. Steffen (Eds.), Real Time and Such (Vol. 15230, pp. 154–164). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-73751-0_12' chicago: 'Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” In Real Time and Such, edited by Susanne Graf, Paul Pettersson, and Bernhard Steffen, 15230:154–64. LNCS. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-73751-0_12.' ieee: 'T. A. Henzinger, “Reminiscences of a Real-Time Researcher,” in Real Time and Such, vol. 15230, S. Graf, P. Pettersson, and B. Steffen, Eds. Cham: Springer Nature, 2024, pp. 154–164.' ista: 'Henzinger TA. 2024.Reminiscences of a Real-Time Researcher. In: Real Time and Such. LNCS, vol. 15230, 154–164.' mla: Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” Real Time and Such, edited by Susanne Graf et al., vol. 15230, Springer Nature, 2024, pp. 154–64, doi:10.1007/978-3-031-73751-0_12. short: T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164. corr_author: '1' date_created: 2024-11-18T09:10:06Z date_published: 2024-10-23T00:00:00Z date_updated: 2025-08-05T12:19:50Z day: '23' department: - _id: ToHe doi: 10.1007/978-3-031-73751-0_12 editor: - first_name: Susanne full_name: Graf, Susanne last_name: Graf - first_name: Paul full_name: Pettersson, Paul last_name: Pettersson - first_name: Bernhard full_name: Steffen, Bernhard last_name: Steffen intvolume: ' 15230' language: - iso: eng month: '10' oa_version: None page: 154-164 place: Cham publication: Real Time and Such publication_identifier: eisbn: - '9783031737510' eissn: - 1611-3349 isbn: - '9783031737503' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' series_title: LNCS status: public title: Reminiscences of a Real-Time Researcher type: book_chapter user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15230 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. American Astronomical Society. 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. American Astronomical Society, 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. American Astronomical Society, 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, American Astronomical Society, 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). date_created: 2024-11-19T08:12:59Z date_published: 2024-10-24T00:00:00Z date_updated: 2025-09-08T14:43:36Z 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: American Astronomical Society 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 975 year: '2024' ... --- OA_place: publisher _id: '18579' abstract: - lang: eng text: 'Electrophysiological, calcium two-photon recordings and behavioral data for Vega-Zuniga et al. Relevant information can be found in the ''README.txt'' files. ' acknowledged_ssus: - _id: ScienComp - _id: PreCl - _id: M-Shop - _id: Bio - _id: LifeSc acknowledgement: Freyja Lange, Michael Schunn, and Todor Asenov article_processing_charge: No author: - first_name: Tomas A full_name: Vega Zuniga, Tomas A id: 2E7C4E78-F248-11E8-B48F-1D18A9856A87 last_name: Vega Zuniga - first_name: Anton L full_name: Sumser, Anton L id: 3320A096-F248-11E8-B48F-1D18A9856A87 last_name: Sumser orcid: 0000-0002-4792-1881 - first_name: Olga full_name: Symonova, Olga id: 3C0C7BC6-F248-11E8-B48F-1D18A9856A87 last_name: Symonova orcid: 0000-0003-2012-9947 - first_name: Peter full_name: Koppensteiner, Peter id: 3B8B25A8-F248-11E8-B48F-1D18A9856A87 last_name: Koppensteiner orcid: 0000-0002-3509-1948 - first_name: Florian full_name: Schmidt, Florian id: A2EF226A-AF19-11E9-924C-0525E6697425 last_name: Schmidt - first_name: Maximilian A full_name: Jösch, Maximilian A id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 citation: ama: Vega Zuniga TA, Sumser AL, Symonova O, Koppensteiner P, Schmidt F, Jösch MA. A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics. 2024. doi:10.15479/AT:ISTA:18579 apa: Vega Zuniga, T. A., Sumser, A. L., Symonova, O., Koppensteiner, P., Schmidt, F., & Jösch, M. A. (2024). A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:18579 chicago: Vega Zuniga, Tomas A, Anton L Sumser, Olga Symonova, Peter Koppensteiner, Florian Schmidt, and Maximilian A Jösch. “A Thalamic Hub-and-Spoke Network Enables Visual Perception during Action by Coordinating Visuomotor Dynamics.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:18579. ieee: T. A. Vega Zuniga, A. L. Sumser, O. Symonova, P. Koppensteiner, F. Schmidt, and M. A. Jösch, “A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics.” Institute of Science and Technology Austria, 2024. ista: Vega Zuniga TA, Sumser AL, Symonova O, Koppensteiner P, Schmidt F, Jösch MA. 2024. A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics, Institute of Science and Technology Austria, 10.15479/AT:ISTA:18579. mla: Vega Zuniga, Tomas A., et al. A Thalamic Hub-and-Spoke Network Enables Visual Perception during Action by Coordinating Visuomotor Dynamics. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:18579. short: T.A. Vega Zuniga, A.L. Sumser, O. Symonova, P. Koppensteiner, F. Schmidt, M.A. Jösch, (2024). corr_author: '1' date_created: 2024-11-22T13:48:12Z date_published: 2024-12-09T00:00:00Z date_updated: 2025-09-30T10:40:48Z day: '09' ddc: - '570' department: - _id: MaJö doi: 10.15479/AT:ISTA:18579 ec_funded: 1 file: - access_level: open_access checksum: 8b13990ca1a458ae3f3ae54c2e888564 content_type: application/x-zip-compressed creator: symonova date_created: 2024-12-06T13:28:18Z date_updated: 2024-12-09T10:24:25Z file_id: '18625' file_name: electro_physiology_data.zip file_size: 800647957 relation: main_file - access_level: open_access checksum: c5a4d71c5f29c009c3d96a3244532afa content_type: application/x-zip-compressed creator: symonova date_created: 2024-12-09T10:21:10Z date_updated: 2024-12-09T10:21:10Z file_id: '18636' file_name: NN_vLGN_Ca_data.zip file_size: 828410832 relation: main_file success: 1 - access_level: open_access checksum: 63651df0186196969553dc48b467f6ab content_type: text/plain creator: symonova date_created: 2024-12-09T12:54:55Z date_updated: 2024-12-09T12:54:55Z file_id: '18637' file_name: readme.txt file_size: 505 relation: main_file success: 1 file_date_updated: 2024-12-09T12:54:55Z has_accepted_license: '1' month: '12' oa: 1 oa_version: Published Version project: - _id: 264FEA02-B435-11E9-9278-68D0E5697425 grant_number: ALTF 1098-2017 name: Connecting sensory with motor processing in the superior colliculus - _id: 266D407A-B435-11E9-9278-68D0E5697425 grant_number: LT000256 name: Neuronal networks of salience and spatial detection in the murine superior colliculus - _id: 2634E9D2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '756502' name: Circuits of Visual Attention - _id: bdaf81a8-d553-11ed-ba76-c95961984540 grant_number: '101086580' name: 'Action Selection in the Midbrain: Neuromodulation of Visuomotor Senses' publisher: Institute of Science and Technology Austria related_material: record: - id: '19076' relation: used_in_publication status: public status: public title: A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics 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: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18582' abstract: - lang: eng text: Identification of PIN exporters for auxin, the major coordinative signal in plants, some 25 years ago, signifies a landmark in our understanding of plant-specific mechanisms underlying development and adaptation. Auxin is directionally transported throughout the plant body; a unique feature already envisioned by Darwin and solidified by PINs’ discovery and characterization. The PIN-based auxin distribution network with its complex regulations of PIN expression, localization and activity turned out to underlie a remarkable multitude of developmental processes and represents means to integrate endogenous and environmental signals. Given the recent anniversary, we here summarize past and current developments in this exciting field. acknowledgement: We gratefully acknowledge Leo Gälweiler for authorizing his PIN1 story. We would like to thank Yuanrong Pei for invaluable help with preparing figures. Work in the lab of C.L. is supported by grants from the Austrian Science Fund (PAT 8419423) and by the Gesellschaft für Forschungsförderung Niederösterreich m.b.H. (FTI19-008). The lab of J.F. is supported by the Austrian Science Fund (I 6123-B and P 37051-B). article_number: '9904' article_processing_charge: Yes article_type: original author: - first_name: Christian full_name: Luschnig, Christian last_name: Luschnig - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Luschnig C, Friml J. Over 25 years of decrypting PIN-mediated plant development. Nature Communications. 2024;15. doi:10.1038/s41467-024-54240-y apa: Luschnig, C., & Friml, J. (2024). Over 25 years of decrypting PIN-mediated plant development. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-54240-y chicago: Luschnig, Christian, and Jiří Friml. “Over 25 Years of Decrypting PIN-Mediated Plant Development.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-54240-y. ieee: C. Luschnig and J. Friml, “Over 25 years of decrypting PIN-mediated plant development,” Nature Communications, vol. 15. Springer Nature, 2024. ista: Luschnig C, Friml J. 2024. Over 25 years of decrypting PIN-mediated plant development. Nature Communications. 15, 9904. mla: Luschnig, Christian, and Jiří Friml. “Over 25 Years of Decrypting PIN-Mediated Plant Development.” Nature Communications, vol. 15, 9904, Springer Nature, 2024, doi:10.1038/s41467-024-54240-y. short: C. Luschnig, J. Friml, Nature Communications 15 (2024). corr_author: '1' date_created: 2024-11-24T23:01:48Z date_published: 2024-12-01T00:00:00Z date_updated: 2025-09-08T14:53:48Z day: '01' ddc: - '580' department: - _id: JiFr doi: 10.1038/s41467-024-54240-y external_id: isi: - '001356232600004' pmid: - '39548100' file: - access_level: open_access checksum: 3a31af06f52100d287f1e9d9c2aa1d40 content_type: application/pdf creator: dernst date_created: 2024-12-03T14:10:54Z date_updated: 2024-12-03T14:10:54Z file_id: '18615' file_name: 2024_NatureComm_Luschnig.pdf file_size: 1426555 relation: main_file success: 1 file_date_updated: 2024-12-03T14:10:54Z has_accepted_license: '1' intvolume: ' 15' isi: 1 language: - iso: eng month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: bd76d395-d553-11ed-ba76-f678c14f9033 grant_number: I06123 name: Peptide receptors for auxin canalization in Arabidopsis - _id: 7bcece63-9f16-11ee-852c-ae94e099eeb6 grant_number: P37051 name: Guanylate cyclase activity of TIR1/AFBs auxin receptors publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Over 25 years of decrypting PIN-mediated plant development 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: 15 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '18583' abstract: - lang: eng text: "There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex v, at most half of the out-neighbours of v have the same colour as \r\n. As another example, the internal partition conjecture, due to DeVos and to Ban and Linial, states that for every d, all but finitely many d-regular graphs have a partition into two non-empty parts such that for every vertex v, at least half of the neighbours of v lie in the same part as v. We prove several results in this spirit: in particular, two of our results are that the majority colouring conjecture holds for Erdős–Rényi random directed graphs (of any density), and that the internal partition conjecture holds if we permit a tiny number of ‘exceptional vertices’. Our proofs involve a variety of techniques, including several different methods to analyse random recolouring processes. One highlight is a personality-changing scheme: we ‘forget’ certain information based on the state of a Markov chain, giving us more independence to work with." acknowledgement: "We are grateful to the anonymous referees for their thorough reading of the paper, and for many suggestions which have improved the exposition throughout.\r\n\r\nMichael Anastos was supported by the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101034413. Matthew Kwan was supported by ERC Starting Grant ‘RANDSTRUCT’ No. 101076777, also funded by the European Union image. Mihyun Kang was supported in part by the Austrian Science Fund (FWF) [10.55776/I6502]. For the purpose of open access, the authors have applied a CC-BY public copyright licence to any Author Accepted Manuscript version arising from this submission." article_number: e70010 article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Michael full_name: Anastos, Michael id: 0b2a4358-bb35-11ec-b7b9-e3279b593dbb last_name: Anastos - first_name: Oliver full_name: Cooley, Oliver id: 43f4ddd0-a46b-11ec-8df6-ef3703bd721d last_name: Cooley - first_name: Mihyun full_name: Kang, Mihyun last_name: Kang - first_name: Matthew Alan full_name: Kwan, Matthew Alan id: 5fca0887-a1db-11eb-95d1-ca9d5e0453b3 last_name: Kwan orcid: 0000-0002-4003-7567 citation: ama: Anastos M, Cooley O, Kang M, Kwan MA. Partitioning problems via random processes. Journal of the London Mathematical Society. 2024;110(6). doi:10.1112/jlms.70010 apa: Anastos, M., Cooley, O., Kang, M., & Kwan, M. A. (2024). Partitioning problems via random processes. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.70010 chicago: Anastos, Michael, Oliver Cooley, Mihyun Kang, and Matthew Alan Kwan. “Partitioning Problems via Random Processes.” Journal of the London Mathematical Society. Wiley, 2024. https://doi.org/10.1112/jlms.70010. ieee: M. Anastos, O. Cooley, M. Kang, and M. A. Kwan, “Partitioning problems via random processes,” Journal of the London Mathematical Society, vol. 110, no. 6. Wiley, 2024. ista: Anastos M, Cooley O, Kang M, Kwan MA. 2024. Partitioning problems via random processes. Journal of the London Mathematical Society. 110(6), e70010. mla: Anastos, Michael, et al. “Partitioning Problems via Random Processes.” Journal of the London Mathematical Society, vol. 110, no. 6, e70010, Wiley, 2024, doi:10.1112/jlms.70010. short: M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024). corr_author: '1' date_created: 2024-11-24T23:01:48Z date_published: 2024-12-01T00:00:00Z date_updated: 2025-12-02T13:52:26Z day: '01' ddc: - '510' department: - _id: MaKw doi: 10.1112/jlms.70010 ec_funded: 1 external_id: arxiv: - '2307.06453' isi: - '001374738100001' file: - access_level: open_access checksum: 98e301e0565d75e3fb50e10e982a5018 content_type: application/pdf creator: dernst date_created: 2024-12-10T08:10:39Z date_updated: 2024-12-10T08:10:39Z file_id: '18639' file_name: 2024_JournLondonMathSoc_Anastos.pdf file_size: 539891 relation: main_file success: 1 file_date_updated: 2024-12-10T08:10:39Z has_accepted_license: '1' intvolume: ' 110' isi: 1 issue: '6' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' - _id: bd95085b-d553-11ed-ba76-e55d3349be45 grant_number: '101076777' name: Randomness and structure in combinatorics publication: Journal of the London Mathematical Society publication_identifier: eissn: - 1469-7750 issn: - 0024-6107 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Partitioning problems via random processes 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: 110 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18584' abstract: - lang: eng text: In this paper, we describe the "Medium Bands, Mega Science" JWST Cycle 2 survey (JWST-GO-4111) and demonstrate the power of these data to reveal both the spatially integrated and spatially resolved properties of galaxies from the local Universe to the era of cosmic dawn. Executed in 2023 November, MegaScience obtained ∼30 arcmin2 of deep multiband NIRCam imaging centered on the z ∼ 0.3 A2744 cluster, including 11 medium-band filters and the two shortest-wavelength broadband filters, F070W and F090W. Together, MegaScience and the UNCOVER Cycle 1 treasury program provide a complete set of deep (∼28–30 magAB) images in all NIRCam medium- and broadband filters. This unique data set allows us to precisely constrain photometric redshifts, map stellar populations and dust attenuation for large samples of distant galaxies, and examine the connection between galaxy structures and formation histories. MegaScience also includes ∼17 arcmin2 of NIRISS parallel imaging in two broadband and four medium-band filters from 0.9 to 4.8 μm, expanding the footprint where robust spectral energy distribution (SED) fitting is possible. We provide example SEDs and multiband cutouts at a variety of redshifts, and use a catalog of JWST spectroscopic redshifts to show that MegaScience improves both the scatter and catastrophic outlier rate of photometric redshifts by factors of 2–3. Additionally, we demonstrate the spatially resolved science enabled by MegaScience by presenting maps of the [O iii] line emission and continuum emission in three spectroscopically confirmed z > 6 galaxies. We show that line emission in reionization-era galaxies can be clumpy, extended, and spatially offset from continuum emission, implying that galaxy assembly histories are complex even at these early epochs. We publicly release fully reduced mosaics and photometric catalogs for both the NIRCam primary and NIRISS parallel fields (jwst-uncover.github.io/megascience). acknowledgement: "K.A.S. thanks Shelly Meyett, the MegaScience Program Coordinator, for invaluable assistance designing WOPR 88967 and ensuring that this program was fully observed. This proposal was conceived of and developed at the International Space Science Institute (ISSI) in Bern, through ISSI International Team project #562. This work is based on observations made with the NASA/ESA/CSA James Webb Space Telescope. The raw 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 JWST Cycle 2 GO program #4111, and this project has gratefully made use of a large number of public JWST programs in the A2744 field including JWST-GO-2641, JWST-ERS-1324, JWST-DD-2756, JWST-GO-2883, JWST-GO-3538, and JWST-GO-3516. Support for program JWST-GO-4111 was provided by NASA through a grant from the Space Telescope Science Institute, which is operated by the Associations of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555.\r\n\r\nThe Cosmic Dawn Center is funded by the Danish National Research Foundation (DNRF) under grant #140. P.D. acknowledges support from the NWO grant 016.VIDI.189.162 (\"ODIN\") and warmly thanks the European Commission's and University of Groningen's CO-FUND Rosalind Franklin program. This work has received funding from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract number MB22.00072, as well as from the Swiss National Science Foundation (SNSF) through project grant 200020_207349. The work of C.C.W. is supported by NOIRLab, which is managed by the Association of Universities for Research in Astronomy (AURA) under a cooperative agreement with the National Science Foundation. T.B.M. was supported by a CIERA Fellowship. H.A. is supported by CNES, focused on the JWST mission, and by the Programme National Cosmology and Galaxies (PNCG) of CNRS/INSU with INP and IN2P3, co-funded by CEA and CNES. The BGU lensing group acknowledges support by grant No. 2020750 from the United States–Israel Binational Science Foundation (BSF) and grant No. 2109066 from the United States National Science Foundation (NSF); by the Ministry of Science & Technology, Israel; and by the Israel Science Foundation grant No. 864/23. Y.F. acknowledges support from JSPS KAKENHI grant No. JP22K21349 and JP23K13149. R.P. and D.M. acknowledge funding from JWST-GO-02561.013 and JWST-GO-04111.035." article_number: '101' article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Katherine A. full_name: Suess, Katherine A. last_name: Suess - first_name: John R. full_name: Weaver, John R. last_name: Weaver - first_name: Sedona H. full_name: Price, Sedona H. last_name: Price - first_name: Richard full_name: Pan, Richard last_name: Pan - first_name: Bingjie full_name: Wang, Bingjie last_name: Wang - first_name: Rachel full_name: Bezanson, Rachel last_name: Bezanson - first_name: Gabriel full_name: Brammer, Gabriel last_name: Brammer - first_name: Sam E. full_name: Cutler, Sam E. last_name: Cutler - first_name: Ivo full_name: Labbé, Ivo last_name: Labbé - first_name: Joel full_name: Leja, Joel last_name: Leja - first_name: Christina C. full_name: Williams, Christina C. last_name: Williams - first_name: Katherine E. full_name: Whitaker, Katherine E. last_name: Whitaker - first_name: Hakim full_name: Atek, Hakim last_name: Atek - first_name: Pratika full_name: Dayal, Pratika last_name: Dayal - first_name: Anna full_name: De Graaff, Anna last_name: De Graaff - first_name: Robert full_name: Feldmann, Robert last_name: Feldmann - first_name: Marijn full_name: Franx, Marijn last_name: Franx - first_name: Yoshinobu full_name: Fudamoto, Yoshinobu last_name: Fudamoto - first_name: Seiji full_name: Fujimoto, Seiji last_name: Fujimoto - first_name: Lukas J. full_name: Furtak, Lukas J. last_name: Furtak - first_name: Andy D. full_name: Goulding, Andy D. last_name: Goulding - first_name: Jenny E. full_name: Greene, Jenny E. last_name: Greene - first_name: Gourav full_name: Khullar, Gourav last_name: Khullar - first_name: Vasily full_name: Kokorev, Vasily last_name: Kokorev - first_name: Mariska full_name: Kriek, Mariska last_name: Kriek - first_name: Brian full_name: Lorenz, Brian last_name: Lorenz - first_name: Danilo full_name: Marchesini, Danilo last_name: Marchesini - first_name: Michael V. full_name: Maseda, Michael V. last_name: Maseda - 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: Tim B. full_name: Miller, Tim B. last_name: Miller - first_name: Ikki full_name: Mitsuhashi, Ikki last_name: Mitsuhashi - first_name: Lamiya A. full_name: Mowla, Lamiya A. last_name: Mowla - first_name: Adam full_name: Muzzin, Adam last_name: Muzzin - first_name: Rohan P. full_name: Naidu, Rohan P. last_name: Naidu - first_name: Themiya full_name: Nanayakkara, Themiya last_name: Nanayakkara - first_name: Erica J. full_name: Nelson, Erica J. last_name: Nelson - first_name: Pascal A. full_name: Oesch, Pascal A. last_name: Oesch - first_name: David J. full_name: Setton, David J. last_name: Setton - first_name: Heath full_name: Shipley, Heath last_name: Shipley - first_name: Renske full_name: Smit, Renske last_name: Smit - first_name: Justin S. full_name: Spilker, Justin S. last_name: Spilker - first_name: Pieter full_name: Van Dokkum, Pieter last_name: Van Dokkum - first_name: Adi full_name: Zitrin, Adi last_name: Zitrin citation: ama: 'Suess KA, Weaver JR, Price SH, et al. Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. 2024;976(1). doi:10.3847/1538-4357/ad75fe' apa: 'Suess, K. A., Weaver, J. R., Price, S. H., Pan, R., Wang, B., Bezanson, R., … Zitrin, A. (2024). Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad75fe' chicago: 'Suess, Katherine A., John R. Weaver, Sedona H. Price, Richard Pan, Bingjie Wang, Rachel Bezanson, Gabriel Brammer, et al. “Medium Bands, Mega Science: A JWST/NIRCam Medium-Band Imaging Survey of A2744.” Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad75fe.' ieee: 'K. A. Suess et al., “Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744,” Astrophysical Journal, vol. 976, no. 1. IOP Publishing, 2024.' ista: 'Suess KA, Weaver JR, Price SH, Pan R, Wang B, Bezanson R, Brammer G, Cutler SE, Labbé I, Leja J, Williams CC, Whitaker KE, Atek H, Dayal P, De Graaff A, Feldmann R, Franx M, Fudamoto Y, Fujimoto S, Furtak LJ, Goulding AD, Greene JE, Khullar G, Kokorev V, Kriek M, Lorenz B, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Mitsuhashi I, Mowla LA, Muzzin A, Naidu RP, Nanayakkara T, Nelson EJ, Oesch PA, Setton DJ, Shipley H, Smit R, Spilker JS, Van Dokkum P, Zitrin A. 2024. Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. 976(1), 101.' mla: 'Suess, Katherine A., et al. “Medium Bands, Mega Science: A JWST/NIRCam Medium-Band Imaging Survey of A2744.” Astrophysical Journal, vol. 976, no. 1, 101, IOP Publishing, 2024, doi:10.3847/1538-4357/ad75fe.' short: K.A. Suess, J.R. Weaver, S.H. Price, R. Pan, B. Wang, R. Bezanson, G. Brammer, S.E. Cutler, I. Labbé, J. Leja, C.C. Williams, K.E. Whitaker, H. Atek, P. Dayal, A. De Graaff, R. Feldmann, M. Franx, Y. Fudamoto, S. Fujimoto, L.J. Furtak, A.D. Goulding, J.E. Greene, G. Khullar, V. Kokorev, M. Kriek, B. Lorenz, D. Marchesini, M.V. Maseda, J.J. Matthee, T.B. Miller, I. Mitsuhashi, L.A. Mowla, A. Muzzin, R.P. Naidu, T. Nanayakkara, E.J. Nelson, P.A. Oesch, D.J. Setton, H. Shipley, R. Smit, J.S. Spilker, P. Van Dokkum, A. Zitrin, Astrophysical Journal 976 (2024). date_created: 2024-11-24T23:01:48Z date_published: 2024-11-14T00:00:00Z date_updated: 2025-09-09T11:40:09Z day: '14' ddc: - '520' department: - _id: JoMa doi: 10.3847/1538-4357/ad75fe external_id: arxiv: - '2404.13132' isi: - '001355710500001' file: - access_level: open_access checksum: dcd854acee73ce998d70a4ce634ead6d content_type: application/pdf creator: dernst date_created: 2024-12-10T08:18:53Z date_updated: 2024-12-10T08:18:53Z file_id: '18640' file_name: 2024_AstrophysicalJournal_Suess.pdf file_size: 13352667 relation: main_file success: 1 file_date_updated: 2024-12-10T08:18:53Z has_accepted_license: '1' intvolume: ' 976' isi: 1 issue: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version publication: Astrophysical Journal publication_identifier: eissn: - 1538-4357 issn: - 0004-637X publication_status: published publisher: IOP Publishing quality_controlled: '1' scopus_import: '1' status: public title: 'Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744' 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: 976 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18585' abstract: - lang: eng text: We present the census of Hβ+[OIII] 4960,5008 Åemitters at 6.87 galaxies. We report a rapid decline of the [OIII] luminosity density at z≳6−7 which cannot be explained by the evolution of the cosmic star-formation rate density. Finally we find that FRESCO detects in only 2h galaxies likely accounting for ∼10−20% of the ionising budget at z=7−8 (assuming an escape fraction of 10%), raising the prospect of directly detecting a significant fraction of the sources of reionisation with JWST. acknowledgement: "The authors thank the anonymous referee for comments and suggestions which improved this paper. RAM thanks R. Kannan for sharing emission line luminosities from THESAN and H. Katz for similar data from an early version of the SPHINX20 data release (we use the final data release in this paper). The authors thank the CONGRESS team for proposing and designing their program with a zero exclusive access period.\r\nRAM, PA, ACP, and AW acknowledge support from the Swiss National Science Foundation (SNSF) through project grant 200020_207349. PA, AW, EG, and MX acknowledge support from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract number MB22.00072. YF acknowledges support by JSPS KAKENHI grant number JP22K21349 and JP23K13149. RPN acknowledges support for this work 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. MS acknowledges support from the European Research Commission Grant 101088789 (SFEER), from the CIDEGENT/2021/059 grant by Generalitat Valenciana, and from project PID2019-109592GB-I00/AEI/10.13039/501100011033 by the Spanish Ministerio de Ciencia e Innovación - Agencia Estatal de Investigación. The Cosmic Dawn Center (DAWN) is funded by the Danish National Research Foundation under grant no. 140. Cloud-based data processing and file storage for this work is provided by the AWS Cloud Credits for Research program. RJB and MS acknowledges support from NWO grant TOP1.16.057.\r\nThis work is based on observations made with the NASA/ESA/CSA JWST. The raw 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 JWST Cycle 1 GO program #1895. Support for program JWST-GO-1895 was provided by NASA through a grant from the Space Telescope Science Institute, which is operated by the Associations of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555." article_processing_charge: Yes article_type: original author: - first_name: R. A. full_name: Meyer, R. A. last_name: Meyer - first_name: P. A. full_name: Oesch, P. A. last_name: Oesch - first_name: E. full_name: Giovinazzo, E. last_name: Giovinazzo - first_name: A. full_name: Weibel, A. last_name: Weibel - first_name: G. full_name: Brammer, G. last_name: Brammer - 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: R. P. full_name: Naidu, R. P. last_name: Naidu - first_name: R. J. full_name: Bouwens, R. J. last_name: Bouwens - first_name: J. full_name: Chisholm, J. last_name: Chisholm - first_name: A. full_name: Covelo-Paz, A. last_name: Covelo-Paz - first_name: Y. full_name: Fudamoto, Y. last_name: Fudamoto - first_name: M. full_name: Maseda, M. last_name: Maseda - first_name: E. full_name: Nelson, E. last_name: Nelson - first_name: I. full_name: Shivaei, I. last_name: Shivaei - first_name: M. full_name: Xiao, M. last_name: Xiao - first_name: T. full_name: Herard-Demanche, T. last_name: Herard-Demanche - first_name: G. D. full_name: Illingworth, G. D. last_name: Illingworth - first_name: J. full_name: Kerutt, J. last_name: Kerutt - first_name: Ivan full_name: Kramarenko, Ivan id: 9a9394cb-3200-11ee-973b-f5ba2a8b16e4 last_name: Kramarenko orcid: 0000-0001-5346-6048 - first_name: I. full_name: Labbe, I. last_name: Labbe - first_name: E. full_name: Leonova, E. last_name: Leonova - first_name: D. full_name: Magee, D. last_name: Magee - first_name: J. full_name: Matharu, J. last_name: Matharu - first_name: G. full_name: Prieto Lyon, G. last_name: Prieto Lyon - first_name: N. full_name: Reddy, N. last_name: Reddy - first_name: D. full_name: Schaerer, D. last_name: Schaerer - first_name: A. full_name: Shapley, A. last_name: Shapley - first_name: M. full_name: Stefanon, M. last_name: Stefanon - first_name: M. A. full_name: Wozniak, M. A. last_name: Wozniak - first_name: S. full_name: Wuyts, S. last_name: Wuyts citation: ama: 'Meyer RA, Oesch PA, Giovinazzo E, et al. JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields. Monthly Notices of the Royal Astronomical Society. 2024;535(1):1067-1094. doi:10.1093/mnras/stae2353' apa: 'Meyer, R. A., Oesch, P. A., Giovinazzo, E., Weibel, A., Brammer, G., Matthee, J. J., … Wuyts, S. (2024). JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stae2353' chicago: 'Meyer, R. A., P. A. Oesch, E. Giovinazzo, A. Weibel, G. Brammer, Jorryt J Matthee, R. P. Naidu, et al. “JWST FRESCO: A Comprehensive Census of H β + [O Iii] Emitters at 6.8 < z < 9.0 in the GOODS Fields.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae2353.' ieee: 'R. A. Meyer et al., “JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields,” Monthly Notices of the Royal Astronomical Society, vol. 535, no. 1. Oxford University Press, pp. 1067–1094, 2024.' ista: 'Meyer RA, Oesch PA, Giovinazzo E, Weibel A, Brammer G, Matthee JJ, Naidu RP, Bouwens RJ, Chisholm J, Covelo-Paz A, Fudamoto Y, Maseda M, Nelson E, Shivaei I, Xiao M, Herard-Demanche T, Illingworth GD, Kerutt J, Kramarenko I, Labbe I, Leonova E, Magee D, Matharu J, Prieto Lyon G, Reddy N, Schaerer D, Shapley A, Stefanon M, Wozniak MA, Wuyts S. 2024. JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields. Monthly Notices of the Royal Astronomical Society. 535(1), 1067–1094.' mla: 'Meyer, R. A., et al. “JWST FRESCO: A Comprehensive Census of H β + [O Iii] Emitters at 6.8 < z < 9.0 in the GOODS Fields.” Monthly Notices of the Royal Astronomical Society, vol. 535, no. 1, Oxford University Press, 2024, pp. 1067–94, doi:10.1093/mnras/stae2353.' short: R.A. Meyer, P.A. Oesch, E. Giovinazzo, A. Weibel, G. Brammer, J.J. Matthee, R.P. Naidu, R.J. Bouwens, J. Chisholm, A. Covelo-Paz, Y. Fudamoto, M. Maseda, E. Nelson, I. Shivaei, M. Xiao, T. Herard-Demanche, G.D. Illingworth, J. Kerutt, I. Kramarenko, I. Labbe, E. Leonova, D. Magee, J. Matharu, G. Prieto Lyon, N. Reddy, D. Schaerer, A. Shapley, M. Stefanon, M.A. Wozniak, S. Wuyts, Monthly Notices of the Royal Astronomical Society 535 (2024) 1067–1094. date_created: 2024-11-24T23:01:49Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T14:47:58Z day: '01' ddc: - '520' department: - _id: JoMa doi: 10.1093/mnras/stae2353 external_id: isi: - '001348009500001' file: - access_level: open_access checksum: efe0ce3580e01459f3be78eb111b35a9 content_type: application/pdf creator: dernst date_created: 2024-12-03T12:52:13Z date_updated: 2024-12-03T12:52:13Z file_id: '18613' file_name: 2024_MonthlyNRoyalAstronSoc_Meyer.pdf file_size: 29476699 relation: main_file success: 1 file_date_updated: 2024-12-03T12:52:13Z has_accepted_license: '1' intvolume: ' 535' isi: 1 issue: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: 1067-1094 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields' 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: 535 year: '2024' ... --- OA_place: repository OA_type: green _id: '18586' abstract: - lang: eng text: "We prove the Central Limit Theorem and superpolynomial mixing for environment\r\nviewed from the particle process in quasi periodic Diophantine random environment. The main\r\ningredients are smoothness estimates for the solution of the Poisson equation and local limit asymptotics for certain accelerated walks." acknowledgement: "ents. The authors are grateful to Agnieszka Zelerowicz and the anonymous referee\r\nfor useful comments. The first author is grateful to Minsung Kim for providing some references.\r\nThe first author has been supported by the European Union Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 101034413. The second author has been supported by the NSF grant DMS 2246983." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Klaudiusz S full_name: Czudek, Klaudiusz S id: 5c0e116e-803f-11ed-ab7e-90d572405f20 last_name: Czudek - first_name: Dmitry full_name: Dolgopyat, Dmitry last_name: Dolgopyat citation: ama: CZUDEK KS, Dolgopyat D. The central limit theorem and rate of mixing for simple random walks on the circle. Alea. 2024;21(2):1853-1865. doi:10.30757/ALEA.V21-70 apa: CZUDEK, K. S., & Dolgopyat, D. (2024). The central limit theorem and rate of mixing for simple random walks on the circle. Alea. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.V21-70 chicago: CZUDEK, Klaudiusz S, and Dmitry Dolgopyat. “The Central Limit Theorem and Rate of Mixing for Simple Random Walks on the Circle.” Alea. Instituto Nacional de Matematica Pura e Aplicada, 2024. https://doi.org/10.30757/ALEA.V21-70. ieee: K. S. CZUDEK and D. Dolgopyat, “The central limit theorem and rate of mixing for simple random walks on the circle,” Alea, vol. 21, no. 2. Instituto Nacional de Matematica Pura e Aplicada, pp. 1853–1865, 2024. ista: CZUDEK KS, Dolgopyat D. 2024. The central limit theorem and rate of mixing for simple random walks on the circle. Alea. 21(2), 1853–1865. mla: CZUDEK, Klaudiusz S., and Dmitry Dolgopyat. “The Central Limit Theorem and Rate of Mixing for Simple Random Walks on the Circle.” Alea, vol. 21, no. 2, Instituto Nacional de Matematica Pura e Aplicada, 2024, pp. 1853–65, doi:10.30757/ALEA.V21-70. short: K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865. date_created: 2024-11-24T23:01:49Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T14:48:42Z day: '01' department: - _id: VaKa doi: 10.30757/ALEA.V21-70 ec_funded: 1 external_id: arxiv: - '2404.11700' isi: - '001440992000003' intvolume: ' 21' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.2404.11700' month: '11' oa: 1 oa_version: Preprint page: 1853-1865 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Alea publication_identifier: issn: - 1980-0436 publication_status: published publisher: Instituto Nacional de Matematica Pura e Aplicada quality_controlled: '1' scopus_import: '1' status: public title: The central limit theorem and rate of mixing for simple random walks on the circle type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 21 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '18596' abstract: - lang: eng text: Hormone perception and signaling pathways have a fundamental regulatory function in the physiological processes of plants. Cytokinins, a class of plant hormones, regulate cell division and meristem maintenance. The cytokinin signaling pathway is well established in the model plant Arabidopsis thaliana. Several negative feedback mechanisms, tightly controlling cytokinin signaling output, have been described previously. In this study, we identified a new feedback mechanism executed through alternative splicing of the cytokinin receptor AHK4/CRE1. A novel splicing variant named CRE1int7 results from seventh intron retention, introducing a premature termination codon in the transcript. We showed that CRE1int7 is translated in planta into a truncated receptor lacking the C-terminal receiver domain essential for signal transduction. CRE1int7 can bind cytokinin but cannot activate the downstream cascade. We present a novel negative feedback mechanism of the cytokinin signaling pathway, facilitated by a decoy receptor that can inactivate canonical cytokinin receptors via dimerization and compete with them for ligand binding. Ensuring proper plant growth and development requires precise control of the cytokinin signaling pathway at several levels. CRE1int7 represents a so-far unknown mechanism for fine-tuning the cytokinin signaling pathway in Arabidopsis. acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: We dedicate this paper to the deceased Petr Galuszka for his inspiration and support of our project. We thank Prof. Peter Hedden for constructive criticism of the manuscript and English editing. No conflict of interest is declared. article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Michaela full_name: Králová, Michaela last_name: Králová - first_name: Ivona full_name: Kubalová, Ivona last_name: Kubalová - first_name: Jakub full_name: Hajný, Jakub last_name: Hajný - first_name: Karolina full_name: Kubiasova, Karolina id: 946011F4-3E71-11EA-860B-C7A73DDC885E last_name: Kubiasova orcid: 0000-0001-5630-9419 - first_name: Karolína full_name: Vagaská, Karolína last_name: Vagaská - first_name: Zengxiang full_name: Ge, Zengxiang id: f43371a3-09ff-11eb-8013-bd0c6a2f6de8 last_name: Ge orcid: 0000-0001-9381-3577 - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 - first_name: Hana full_name: Semerádová, Hana id: 42FE702E-F248-11E8-B48F-1D18A9856A87 last_name: Semerádová - first_name: Anna full_name: Kuchařová, Anna last_name: Kuchařová - first_name: Martin full_name: Hönig, Martin last_name: Hönig - first_name: Aline full_name: Monzer, Aline id: 2DB5D88C-D7B3-11E9-B8FD-7907E6697425 last_name: Monzer - first_name: Martin full_name: Kovačik, Martin last_name: Kovačik - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Ondřej full_name: Novák, Ondřej last_name: Novák - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 - first_name: Yoshihisa full_name: Ikeda, Yoshihisa last_name: Ikeda - first_name: David full_name: Zalabák, David last_name: Zalabák citation: ama: Králová M, Kubalová I, Hajný J, et al. A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis. Molecular Plant. 2024;17(12):1850-1865. doi:10.1016/j.molp.2024.11.001 apa: Králová, M., Kubalová, I., Hajný, J., Kubiasova, K., Vagaská, K., Ge, Z., … Zalabák, D. (2024). A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2024.11.001 chicago: Králová, Michaela, Ivona Kubalová, Jakub Hajný, Karolina Kubiasova, Karolína Vagaská, Zengxiang Ge, Michelle C Gallei, et al. “A Decoy Receptor Derived from Alternative Splicing Fine-Tunes Cytokinin Signaling in Arabidopsis.” Molecular Plant. Elsevier, 2024. https://doi.org/10.1016/j.molp.2024.11.001. ieee: M. Králová et al., “A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis,” Molecular Plant, vol. 17, no. 12. Elsevier, pp. 1850–1865, 2024. ista: Králová M, Kubalová I, Hajný J, Kubiasova K, Vagaská K, Ge Z, Gallei MC, Semerádová H, Kuchařová A, Hönig M, Monzer A, Kovačik M, Friml J, Novák O, Benková E, Ikeda Y, Zalabák D. 2024. A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis. Molecular Plant. 17(12), 1850–1865. mla: Králová, Michaela, et al. “A Decoy Receptor Derived from Alternative Splicing Fine-Tunes Cytokinin Signaling in Arabidopsis.” Molecular Plant, vol. 17, no. 12, Elsevier, 2024, pp. 1850–65, doi:10.1016/j.molp.2024.11.001. short: M. Králová, I. Kubalová, J. Hajný, K. Kubiasova, K. Vagaská, Z. Ge, M.C. Gallei, H. Semerádová, A. Kuchařová, M. Hönig, A. Monzer, M. Kovačik, J. Friml, O. Novák, E. Benková, Y. Ikeda, D. Zalabák, Molecular Plant 17 (2024) 1850–1865. date_created: 2024-11-28T11:13:35Z date_published: 2024-12-02T00:00:00Z date_updated: 2025-09-08T14:46:45Z day: '02' ddc: - '580' department: - _id: JiFr - _id: EvBe doi: 10.1016/j.molp.2024.11.001 external_id: isi: - '001373778300001' pmid: - '39501563' file: - access_level: open_access checksum: a11feea4b1677df76b632eca04bfc1dd content_type: application/pdf creator: dernst date_created: 2024-12-03T11:08:09Z date_updated: 2024-12-03T11:08:09Z file_id: '18612' file_name: 2024_MolecularPlant_Kralova.pdf file_size: 3308945 relation: main_file success: 1 file_date_updated: 2024-12-03T11:08:09Z has_accepted_license: '1' intvolume: ' 17' isi: 1 issue: '12' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 1850-1865 pmid: 1 publication: Molecular Plant publication_identifier: issn: - 1674-2052 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 17 year: '2024' ... --- OA_type: closed access _id: '18599' abstract: - lang: eng text: "Hypernode logic can reason about the prefix relation on stutter-reduced finite traces through the stutter-reduced prefix predicate. We increase the expressiveness of hypernode logic in two ways. First, we split the stutter-reduced prefix predicate into an explicit stutter-reduction operator and the classical prefix predicate on words. This change gives hypernode logic the ability to combine synchronous and asynchronous reasoning by explicitly stating which parts of traces can stutter. Second, we allow the use of regular expressions in formulas to reason about the structure of traces. This change enables hypernode logic to describe a mixture of trace properties and hyperproperties.\r\n\r\nWe show how to translate extended hypernode logic formulas into multi-track automata, which are automata that read multiple input words. Then we describe a fully online monitoring algorithm for monitoring k-safety hyperproperties specified in the logic. We have implemented the monitoring algorithm, and evaluated it on monitoring synchronous and asynchronous versions of observational determinism, and on checking the privacy preservation by compiler optimizations." acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093, and by the Austrian Science Fund (FWF) SFB project SpyCoDe F8502. alternative_title: - LNCS article_processing_charge: No author: - first_name: Marek full_name: Chalupa, Marek id: 87e34708-d6c6-11ec-9f5b-9391e7be2463 last_name: Chalupa - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Ana full_name: Oliveira da Costa, Ana id: f347ec37-6676-11ee-b395-a888cb7b4fb4 last_name: Oliveira da Costa orcid: 0000-0002-8741-5799 citation: ama: 'Chalupa M, Henzinger TA, Oliveira da Costa A. Monitoring extended hypernode logic. In: Integrated Formal Methods. Vol 15234. Springer Nature; 2024:151-171. doi:10.1007/978-3-031-76554-4_9' apa: Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. (2024). Monitoring extended hypernode logic. In Integrated Formal Methods (Vol. 15234, pp. 151–171). Springer Nature. https://doi.org/10.1007/978-3-031-76554-4_9 chicago: Chalupa, Marek, Thomas A Henzinger, and Ana Oliveira da Costa. “Monitoring Extended Hypernode Logic.” In Integrated Formal Methods, 15234:151–71. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-76554-4_9. ieee: M. Chalupa, T. A. Henzinger, and A. Oliveira da Costa, “Monitoring extended hypernode logic,” in Integrated Formal Methods, 2024, vol. 15234, pp. 151–171. ista: Chalupa M, Henzinger TA, Oliveira da Costa A. 2024. Monitoring extended hypernode logic. Integrated Formal Methods. , LNCS, vol. 15234, 151–171. mla: Chalupa, Marek, et al. “Monitoring Extended Hypernode Logic.” Integrated Formal Methods, vol. 15234, Springer Nature, 2024, pp. 151–71, doi:10.1007/978-3-031-76554-4_9. short: M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171. corr_author: '1' date_created: 2024-12-01T23:01:52Z date_published: 2024-11-13T00:00:00Z date_updated: 2025-09-08T14:47:22Z day: '13' department: - _id: ToHe doi: 10.1007/978-3-031-76554-4_9 ec_funded: 1 external_id: isi: - '001416640500009' intvolume: ' 15234' isi: 1 language: - iso: eng month: '11' oa_version: None page: 151-171 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software - _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e grant_number: F8502 name: Interface Theory for Security and Privacy publication: Integrated Formal Methods publication_identifier: eissn: - 1611-3349 isbn: - '9783031765537' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Monitoring extended hypernode logic type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 15234 year: '2024' ... --- OA_place: repository OA_type: green _id: '18600' abstract: - lang: eng text: 'The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected rewards on basic models such as Markov chains. Previous editions of QComp, the comparison of tools for the analysis of quantitative formal models, focused on this setting. Many application scenarios, however, require more advanced property types such as LTL and parameter synthesis queries as well as advanced models like stochastic games and partially observable MDPs. For these, tool support is in its infancy today. This paper presents the outcomes of QComp 2023: a survey of the state of the art in quantitative verification tool support for advanced property types and models. With tools ranging from first research prototypes to well-supported integrations into established toolsets, this report highlights today’s active areas and tomorrow’s challenges in tool-focused research for quantitative verification.' acknowledgement: The authors are ordered alphabetically. This work was supported by DFG RTG 2236/2 (UnRAVeL) and DFG project TRR 248 (CPEC, ID 389792660), by the EU under MSCA grant agreements 101008233 (MISSION), 101034413 (IST-BRIDGE), and 101067199 (ProSVED), by ERC Starting Grant 101077178 (DEUCE), ERC Consolidator Grant 864075 (CAESAR), and ERC Advanced Grant 834115 (FUN2MODEL), by GAČR grant GA23-06963S (VESCAA), by National Science Foundation grant 1856733, by NextGenerationEU project D53D23008400006 (SMARTITUDE), and by NWO VENI grant 639.021.754. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Roman full_name: Andriushchenko, Roman last_name: Andriushchenko - first_name: Alexander full_name: Bork, Alexander last_name: Bork - first_name: Carlos E. full_name: Budde, Carlos E. last_name: Budde - first_name: Milan full_name: Češka, Milan last_name: Češka - first_name: Kush full_name: Grover, Kush last_name: Grover - first_name: Ernst Moritz full_name: Hahn, Ernst Moritz last_name: Hahn - first_name: Arnd full_name: Hartmanns, Arnd last_name: Hartmanns - first_name: Bryant full_name: Israelsen, Bryant last_name: Israelsen - first_name: Nils full_name: Jansen, Nils last_name: Jansen - first_name: Joshua full_name: Jeppson, Joshua last_name: Jeppson - first_name: Sebastian full_name: Junges, Sebastian last_name: Junges - first_name: Maximilian A. full_name: Köhl, Maximilian A. last_name: Köhl - first_name: Bettina full_name: Könighofer, Bettina last_name: Könighofer - first_name: Jan full_name: Kretinsky, Jan id: 44CEF464-F248-11E8-B48F-1D18A9856A87 last_name: Kretinsky orcid: 0000-0002-8122-2881 - first_name: Tobias full_name: Meggendorfer, Tobias id: b21b0c15-30a2-11eb-80dc-f13ca25802e1 last_name: Meggendorfer orcid: 0000-0002-1712-2165 - first_name: David full_name: Parker, David last_name: Parker - first_name: Stefan full_name: Pranger, Stefan last_name: Pranger - first_name: Tim full_name: Quatmann, Tim last_name: Quatmann - first_name: Enno full_name: Ruijters, Enno last_name: Ruijters - first_name: Landon full_name: Taylor, Landon last_name: Taylor - first_name: Matthias full_name: Volk, Matthias last_name: Volk - first_name: Maximilian full_name: Weininger, Maximilian id: 02ab0197-cc70-11ed-ab61-918e71f56881 last_name: Weininger - first_name: Zhen full_name: Zhang, Zhen last_name: Zhang citation: ama: 'Andriushchenko R, Bork A, Budde CE, et al. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. In: TOOLympics Challenge 2023. Vol 14550. Springer Nature; 2024:90-146. doi:10.1007/978-3-031-67695-6_4' apa: 'Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., … Zhang, Z. (2024). Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. In TOOLympics Challenge 2023 (Vol. 14550, pp. 90–146). Springer Nature. https://doi.org/10.1007/978-3-031-67695-6_4' chicago: 'Andriushchenko, Roman, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, et al. “Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report.” In TOOLympics Challenge 2023, 14550:90–146. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-67695-6_4.' ieee: 'R. Andriushchenko et al., “Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report,” in TOOLympics Challenge 2023, 2024, vol. 14550, pp. 90–146.' ista: 'Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.' mla: 'Andriushchenko, Roman, et al. “Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report.” TOOLympics Challenge 2023, vol. 14550, Springer Nature, 2024, pp. 90–146, doi:10.1007/978-3-031-67695-6_4.' short: R. Andriushchenko, A. Bork, C.E. Budde, M. Češka, K. Grover, E.M. Hahn, A. Hartmanns, B. Israelsen, N. Jansen, J. Jeppson, S. Junges, M.A. Köhl, B. Könighofer, J. Kretinsky, T. Meggendorfer, D. Parker, S. Pranger, T. Quatmann, E. Ruijters, L. Taylor, M. Volk, M. Weininger, Z. Zhang, in:, TOOLympics Challenge 2023, Springer Nature, 2024, pp. 90–146. date_created: 2024-12-01T23:01:53Z date_published: 2024-11-01T00:00:00Z date_updated: 2025-09-08T14:45:11Z day: '01' department: - _id: KrCh doi: 10.1007/978-3-031-67695-6_4 external_id: arxiv: - '2405.13583' isi: - '001434957500004' intvolume: ' 14550' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.2405.13583' month: '11' oa: 1 oa_version: Preprint page: 90-146 publication: TOOLympics Challenge 2023 publication_identifier: eissn: - 1611-3349 isbn: - '9783031676949' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: 'Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report' type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 14550 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18602' abstract: - lang: eng text: Semiconductor quantum dots (QDs) in planar germanium (Ge) heterostructures have emerged as front-runners for future hole-based quantum processors. Here, we present strong coupling between a hole charge qubit, defined in a double quantum dot (DQD) in planar Ge, and microwave photons in a high-impedance (Zr = 1.3 kΩ) resonator based on an array of superconducting quantum interference devices (SQUIDs). Our investigation reveals vacuum-Rabi splittings with coupling strengths up to g0/2π = 260 MHz, and a cooperativity of C ~ 100, dependent on DQD tuning. Furthermore, utilizing the frequency tunability of our resonator, we explore the quenched energy splitting associated with strong Coulomb correlation effects in Ge QDs. The observed enhanced coherence of the strongly correlated excited state signals the presence of distinct symmetries within related spin functions, serving as a precursor to the strong coupling between photons and spin-charge hybrid qubits in planar Ge. This work paves the way towards coherent quantum connections between remote hole qubits in planar Ge, required to scale up hole-based quantum processors. acknowledgement: The authors thank Simone Frasca, Vincent Jouanny, Guillaume Beaulieu, Camille Roy, Dominic Dahinden, Davide Lombardo, Daniel Chrastina, and Siddhart Gautam for contributing to some cleanroom fabrication steps, the measurement setup, device simulations, data analysis, and for the useful discussions. P.S. acknowledges support from the Swiss National Science Foundation (SNSF) through the grants Ref. No. 200021 200418 and Ref. No. 206021_205335, and from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract number 01042765 SEFRI MB22.00081. W.J. acknowledges support from the EPFL QSE Postdoctoral Fellowship Grant. S.B., D.L., and P.S. acknowledge support from the NCCR Spin Qubit in Silicon (NCCR-SPIN) Grant No. 51NF40-180604. M.J., G.K., G.I., and S.C. acknowledge support from the Horizon Europe Project IGNITE ID 101070193. G.K. acknowledges support from the FWF via the P32235 and I05060 projects. article_number: '10177' article_processing_charge: Yes article_type: original author: - first_name: Franco full_name: De Palma, Franco last_name: De Palma - first_name: Fabian full_name: Oppliger, Fabian last_name: Oppliger - first_name: Wonjin full_name: Jang, Wonjin last_name: Jang - first_name: Stefano full_name: Bosco, Stefano last_name: Bosco - first_name: Marian full_name: Janik, Marian id: 396A1950-F248-11E8-B48F-1D18A9856A87 last_name: Janik orcid: 0009-0003-9037-8831 - first_name: Stefano full_name: Calcaterra, Stefano last_name: Calcaterra - first_name: Georgios full_name: Katsaros, Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros orcid: 0000-0001-8342-202X - first_name: Giovanni full_name: Isella, Giovanni last_name: Isella - first_name: Daniel full_name: Loss, Daniel last_name: Loss - first_name: Pasquale full_name: Scarlino, Pasquale last_name: Scarlino citation: ama: De Palma F, Oppliger F, Jang W, et al. Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states. Nature Communications. 2024;15. doi:10.1038/s41467-024-54520-7 apa: De Palma, F., Oppliger, F., Jang, W., Bosco, S., Janik, M., Calcaterra, S., … Scarlino, P. (2024). Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-54520-7 chicago: De Palma, Franco, Fabian Oppliger, Wonjin Jang, Stefano Bosco, Marian Janik, Stefano Calcaterra, Georgios Katsaros, Giovanni Isella, Daniel Loss, and Pasquale Scarlino. “Strong Hole-Photon Coupling in Planar Ge for Probing Charge Degree and Strongly Correlated States.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-54520-7. ieee: F. De Palma et al., “Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states,” Nature Communications, vol. 15. Springer Nature, 2024. ista: De Palma F, Oppliger F, Jang W, Bosco S, Janik M, Calcaterra S, Katsaros G, Isella G, Loss D, Scarlino P. 2024. Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states. Nature Communications. 15, 10177. mla: De Palma, Franco, et al. “Strong Hole-Photon Coupling in Planar Ge for Probing Charge Degree and Strongly Correlated States.” Nature Communications, vol. 15, 10177, Springer Nature, 2024, doi:10.1038/s41467-024-54520-7. short: F. De Palma, F. Oppliger, W. Jang, S. Bosco, M. Janik, S. Calcaterra, G. Katsaros, G. Isella, D. Loss, P. Scarlino, Nature Communications 15 (2024). date_created: 2024-12-01T23:01:53Z date_published: 2024-12-01T00:00:00Z date_updated: 2025-09-08T14:46:06Z day: '01' ddc: - '530' department: - _id: GeKa doi: 10.1038/s41467-024-54520-7 external_id: isi: - '001362684200001' pmid: - '39580488' file: - access_level: open_access checksum: ef9f99a84089c388904cc8aa8d89c55a content_type: application/pdf creator: dernst date_created: 2024-12-03T11:00:15Z date_updated: 2024-12-03T11:00:15Z file_id: '18611' file_name: 2024_NatureComm_dePalma.pdf file_size: 5288092 relation: main_file success: 1 file_date_updated: 2024-12-03T11:00:15Z has_accepted_license: '1' intvolume: ' 15' isi: 1 language: - iso: eng month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 237B3DA4-32DE-11EA-91FC-C7463DDC885E call_identifier: FWF grant_number: P32235 name: Towards scalable hut wire quantum devices - _id: c0977eea-5a5b-11eb-8a69-a862db0cf4d1 grant_number: I05060 name: High impedance circuit quantum electrodynamics with hole spins publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states 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: 15 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18604' abstract: - lang: eng text: 'A face in a curve arrangement is called popular if it is bounded by the same curve multiple times. Motivated by the automatic generation of curved nonogram puzzles, we investigate possibilities to eliminate the popular faces in an arrangement by inserting a single additional curve. This turns out to be NP-hard; however, it becomes tractable when the number of popular faces is small: We present a randomized FPT-time algorithm where the parameter is the number of popular faces.' acknowledgement: "This work was initiated at the 16th European Research Week on Geometric Graphs in Strobl in 2019. A.W. has been supported by the Austrian Science Fund (FWF): W1230. S.T. has been funded by the Vienna Science and Technology Fund (WWTF) [10.47379/ICT19035] and by the NWO Gravitation project NETWORKS under grant no. 024.002.003. Part of the work was done while A.W. was emplyed at Graz University of Technology. Preliminary versions of this work have been presented at the 38th European Workshop on Computational Geometry (EuroCG\r\n2022) in Perugia [10] and at the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023) in Isola delle Femmine [11]." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Phoebe full_name: De Nooijer, Phoebe last_name: De Nooijer - first_name: Soeren full_name: Terziadis, Soeren last_name: Terziadis - first_name: Alexandra full_name: Weinberger, Alexandra last_name: Weinberger - first_name: Zuzana full_name: Masárová, Zuzana id: 45CFE238-F248-11E8-B48F-1D18A9856A87 last_name: Masárová orcid: 0000-0002-6660-1322 - first_name: Tamara full_name: Mchedlidze, Tamara last_name: Mchedlidze - first_name: Maarten full_name: Löffler, Maarten last_name: Löffler - first_name: Günter full_name: Rote, Günter last_name: Rote citation: ama: De Nooijer P, Terziadis S, Weinberger A, et al. Removing popular faces in curve arrangements. Journal of Graph Algorithms and Applications. 2024;28(2):47-82. doi:10.7155/jgaa.v28i2.2988 apa: De Nooijer, P., Terziadis, S., Weinberger, A., Masárová, Z., Mchedlidze, T., Löffler, M., & Rote, G. (2024). Removing popular faces in curve arrangements. Journal of Graph Algorithms and Applications. Brown University. https://doi.org/10.7155/jgaa.v28i2.2988 chicago: De Nooijer, Phoebe, Soeren Terziadis, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler, and Günter Rote. “Removing Popular Faces in Curve Arrangements.” Journal of Graph Algorithms and Applications. Brown University, 2024. https://doi.org/10.7155/jgaa.v28i2.2988. ieee: P. De Nooijer et al., “Removing popular faces in curve arrangements,” Journal of Graph Algorithms and Applications, vol. 28, no. 2. Brown University, pp. 47–82, 2024. ista: De Nooijer P, Terziadis S, Weinberger A, Masárová Z, Mchedlidze T, Löffler M, Rote G. 2024. Removing popular faces in curve arrangements. Journal of Graph Algorithms and Applications. 28(2), 47–82. mla: De Nooijer, Phoebe, et al. “Removing Popular Faces in Curve Arrangements.” Journal of Graph Algorithms and Applications, vol. 28, no. 2, Brown University, 2024, pp. 47–82, doi:10.7155/jgaa.v28i2.2988. short: P. De Nooijer, S. Terziadis, A. Weinberger, Z. Masárová, T. Mchedlidze, M. Löffler, G. Rote, Journal of Graph Algorithms and Applications 28 (2024) 47–82. corr_author: '1' date_created: 2024-12-01T23:01:54Z date_published: 2024-11-03T00:00:00Z date_updated: 2024-12-03T09:49:18Z day: '03' ddc: - '510' department: - _id: UlWa - _id: HeEd doi: 10.7155/jgaa.v28i2.2988 external_id: arxiv: - '2202.12175' file: - access_level: open_access checksum: be611da6f9d790dc980d6fb7283fe889 content_type: application/pdf creator: dernst date_created: 2024-12-03T09:45:00Z date_updated: 2024-12-03T09:45:00Z file_id: '18609' file_name: 2024_JourGraphAlgorithms_deNooijer.pdf file_size: 1582493 relation: main_file success: 1 file_date_updated: 2024-12-03T09:45:00Z has_accepted_license: '1' intvolume: ' 28' issue: '2' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: 47-82 publication: Journal of Graph Algorithms and Applications publication_identifier: issn: - 1526-1719 publication_status: published publisher: Brown University quality_controlled: '1' scopus_import: '1' status: public title: Removing popular faces in curve arrangements 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: 28 year: '2024' ... --- OA_type: closed access _id: '18616' abstract: - lang: eng text: By patterning an ultrathin layered structure with tiny wells, physicists have created and imaged peculiar states known as quantum scars — revealing behaviour that could be used to boost the performance of electronic devices. article_processing_charge: No article_type: letter_note author: - first_name: Dmitry full_name: Abanin, Dmitry last_name: Abanin - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 citation: ama: Abanin D, Serbyn M. Quantum scars make their mark in graphene. Nature. 2024;635(8040):825-826. doi:10.1038/d41586-024-03649-y apa: Abanin, D., & Serbyn, M. (2024). Quantum scars make their mark in graphene. Nature. Springer Nature. https://doi.org/10.1038/d41586-024-03649-y chicago: Abanin, Dmitry, and Maksym Serbyn. “Quantum Scars Make Their Mark in Graphene.” Nature. Springer Nature, 2024. https://doi.org/10.1038/d41586-024-03649-y. ieee: D. Abanin and M. Serbyn, “Quantum scars make their mark in graphene,” Nature, vol. 635, no. 8040. Springer Nature, pp. 825–826, 2024. ista: Abanin D, Serbyn M. 2024. Quantum scars make their mark in graphene. Nature. 635(8040), 825–826. mla: Abanin, Dmitry, and Maksym Serbyn. “Quantum Scars Make Their Mark in Graphene.” Nature, vol. 635, no. 8040, Springer Nature, 2024, pp. 825–26, doi:10.1038/d41586-024-03649-y. short: D. Abanin, M. Serbyn, Nature 635 (2024) 825–826. date_created: 2024-12-03T18:08:16Z date_published: 2024-11-27T00:00:00Z date_updated: 2025-09-08T14:57:35Z day: '27' department: - _id: MaSe doi: 10.1038/d41586-024-03649-y external_id: isi: - '001367935000029' pmid: - '39604614' intvolume: ' 635' isi: 1 issue: '8040' language: - iso: eng month: '11' oa_version: None page: 825-826 pmid: 1 publication: Nature publication_identifier: eissn: - 1476-4687 issn: - 0028-0836 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Quantum scars make their mark in graphene type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 635 year: '2024' ...