--- OA_place: publisher OA_type: diamond _id: '22067' abstract: - lang: eng text: "We consider the derivative nonlinear Schrödinger equation in one space dimension, posed both on the line and on the circle. This model is known to be completely integrable and L^2-critical with respect to scaling. We first discuss whether ensembles of orbits with L^2-equicontinuous initial data remain equicontinuous under evolution. We prove that this is true under the restriction \r\nM(q)=∫∣∣q∣∣2<4π. We conjecture that this restriction is unnecessary. Further, we prove that the problem is globally well posed for initial data in H1∕6 under the same restriction on M. Moreover, we show that this restriction would be removed by a successful resolution of our equicontinuity conjecture." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Maria full_name: Ntekoume, Maria last_name: Ntekoume - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: ama: Killip R, Ntekoume M, Vişan M. On the well-posedness problem for the derivativenonlinear Schrödinger equation. Analysis & PDE. 2023;16(5):1245-1270. doi:10.2140/apde.2023.16.1245 apa: Killip, R., Ntekoume, M., & Vişan, M. (2023). On the well-posedness problem for the derivativenonlinear Schrödinger equation. Analysis & PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2023.16.1245 chicago: Killip, Rowan, Maria Ntekoume, and Monica Vişan. “On the Well-Posedness Problem for the Derivativenonlinear Schrödinger Equation.” Analysis & PDE. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/apde.2023.16.1245. ieee: R. Killip, M. Ntekoume, and M. Vişan, “On the well-posedness problem for the derivativenonlinear Schrödinger equation,” Analysis & PDE, vol. 16, no. 5. Mathematical Sciences Publishers, pp. 1245–1270, 2023. ista: Killip R, Ntekoume M, Vişan M. 2023. On the well-posedness problem for the derivativenonlinear Schrödinger equation. Analysis & PDE. 16(5), 1245–1270. mla: Killip, Rowan, et al. “On the Well-Posedness Problem for the Derivativenonlinear Schrödinger Equation.” Analysis & PDE, vol. 16, no. 5, Mathematical Sciences Publishers, 2023, pp. 1245–70, doi:10.2140/apde.2023.16.1245. short: R. Killip, M. Ntekoume, M. Vişan, Analysis & PDE 16 (2023) 1245–1270. das_tickbox: '1' date_created: 2026-06-19T08:15:32Z date_published: 2023-08-12T00:00:00Z date_updated: 2026-06-30T07:20:56Z day: '12' ddc: - '500' doi: 10.2140/apde.2023.16.1245 extern: '1' external_id: arxiv: - '2101.12274' fulldoi: https://doi.org/10.2140/apde.2023.16.1245 has_accepted_license: '1' intvolume: ' 16' issue: '5' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ main_file_link: - open_access: '1' url: https://doi.org/10.2140/apde.2023.16.1245 mathsc: - 35Q55 month: '08' oa: 1 oa_version: Published Version page: 1245-1270 publication: Analysis & PDE publication_identifier: eissn: - 1948-206X issn: - 2157-5045 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' scopus_import: '1' status: public title: On the well-posedness problem for the derivativenonlinear Schrödinger equation 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: 16 year: '2023' ... --- OA_place: repository OA_type: green _id: '22064' abstract: - lang: eng text: Using the two-dimensional nonlinear Schrödinger equation as a model example, we present a general method for recovering the nonlinearity of a nonlinear dispersive equation from its small-data scattering behavior. We prove that under very mild assumptions on the nonlinearity, the wave operator uniquely determines the nonlinearity, as does the scattering map. Evaluating the scattering map on well-chosen initial data, we reduce the problem to an inverse convolution problem, which we solve by means of an application of the Beurling–Lax Theorem. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Jason full_name: Murphy, Jason last_name: Murphy - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: ama: Killip R, Murphy J, Vişan M. The scattering map determines the nonlinearity. Proceedings of the American Mathematical Society. 2023;151(6):2543-2557. doi:10.1090/proc/16297 apa: Killip, R., Murphy, J., & Vişan, M. (2023). The scattering map determines the nonlinearity. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/16297 chicago: Killip, Rowan, Jason Murphy, and Monica Vişan. “The Scattering Map Determines the Nonlinearity.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/16297. ieee: R. Killip, J. Murphy, and M. Vişan, “The scattering map determines the nonlinearity,” Proceedings of the American Mathematical Society, vol. 151, no. 6. American Mathematical Society, pp. 2543–2557, 2023. ista: Killip R, Murphy J, Vişan M. 2023. The scattering map determines the nonlinearity. Proceedings of the American Mathematical Society. 151(6), 2543–2557. mla: Killip, Rowan, et al. “The Scattering Map Determines the Nonlinearity.” Proceedings of the American Mathematical Society, vol. 151, no. 6, American Mathematical Society, 2023, pp. 2543–57, doi:10.1090/proc/16297. short: R. Killip, J. Murphy, M. Vişan, Proceedings of the American Mathematical Society 151 (2023) 2543–2557. das_tickbox: '1' date_created: 2026-06-19T08:12:42Z date_published: 2023-06-01T00:00:00Z date_updated: 2026-06-30T07:08:20Z day: '01' doi: 10.1090/proc/16297 extern: '1' external_id: arxiv: - '2207.02414' fulldoi: https://doi.org/10.1090/proc/16297 intvolume: ' 151' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2207.02414 mathsc: - 35Q55 month: '06' oa: 1 oa_version: Preprint page: 2543-2557 publication: Proceedings of the American Mathematical Society publication_identifier: eissn: - 1088-6826 issn: - 0002-9939 publication_status: published publisher: American Mathematical Society quality_controlled: '1' scopus_import: '1' status: public title: The scattering map determines the nonlinearity type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 151 year: '2023' ... --- OA_place: repository OA_type: green _id: '22072' abstract: - lang: eng text: We consider the derivative nonlinear Schrödinger equation in one spatial dimension, which is known to be completely integrable. We prove that the orbits of L^2 bounded and equicontinuous sets of initial data remain bounded and equicontinuous, not only under this flow, but also under the entire hierarchy. This allows us to remove the small-data restriction from prior conservation laws and global well-posedness results. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Benjamin full_name: Harrop-Griffiths, Benjamin last_name: Harrop-Griffiths - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: ama: Harrop-Griffiths B, Killip R, Vişan M. Large-data equicontinuity for the derivative NLS. International Mathematics Research Notices. 2023;2023(6):4601-4642. doi:10.1093/imrn/rnab374 apa: Harrop-Griffiths, B., Killip, R., & Vişan, M. (2023). Large-data equicontinuity for the derivative NLS. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnab374 chicago: Harrop-Griffiths, Benjamin, Rowan Killip, and Monica Vişan. “Large-Data Equicontinuity for the Derivative NLS.” International Mathematics Research Notices. Oxford University Press, 2023. https://doi.org/10.1093/imrn/rnab374. ieee: B. Harrop-Griffiths, R. Killip, and M. Vişan, “Large-data equicontinuity for the derivative NLS,” International Mathematics Research Notices, vol. 2023, no. 6. Oxford University Press, pp. 4601–4642, 2023. ista: Harrop-Griffiths B, Killip R, Vişan M. 2023. Large-data equicontinuity for the derivative NLS. International Mathematics Research Notices. 2023(6), 4601–4642. mla: Harrop-Griffiths, Benjamin, et al. “Large-Data Equicontinuity for the Derivative NLS.” International Mathematics Research Notices, vol. 2023, no. 6, Oxford University Press, 2023, pp. 4601–42, doi:10.1093/imrn/rnab374. short: B. Harrop-Griffiths, R. Killip, M. Vişan, International Mathematics Research Notices 2023 (2023) 4601–4642. das_tickbox: '1' date_created: 2026-06-19T08:22:03Z date_published: 2023-03-01T00:00:00Z date_updated: 2026-06-30T10:56:42Z day: '01' doi: 10.1093/imrn/rnab374 extern: '1' external_id: arxiv: - '2106.13333' fulldoi: https://doi.org/10.1093/imrn/rnab374 intvolume: ' 2023' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2106.13333 month: '03' oa: 1 oa_version: Preprint page: 4601-4642 publication: International Mathematics Research Notices publication_identifier: eissn: - 1687-0247 issn: - 1073-7928 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: Large-data equicontinuity for the derivative NLS type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 2023 year: '2023' ... --- _id: '14863' article_number: EGU23-6157 article_processing_charge: No author: - first_name: Andrea full_name: Polesello, Andrea id: 74c777f4-32da-11ee-b498-874db0835561 last_name: Polesello - first_name: Caroline J full_name: Muller, Caroline J id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b last_name: Muller orcid: 0000-0001-5836-5350 - first_name: Claudia full_name: Pasquero, Claudia last_name: Pasquero - first_name: Agostino N. full_name: Meroni, Agostino N. last_name: Meroni citation: ama: 'Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6157' apa: 'Polesello, A., Muller, C. J., Pasquero, C., & Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-6157' chicago: Polesello, Andrea, Caroline J Muller, Claudia Pasquero, and Agostino N. Meroni. “Intensification Mechanisms of Tropical Cyclones.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-6157. ieee: A. Polesello, C. J. Muller, C. Pasquero, and A. N. Meroni, “Intensification mechanisms of tropical cyclones,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023. ista: Polesello A, Muller CJ, Pasquero C, Meroni AN. 2023. Intensification mechanisms of tropical cyclones. EGU General Assembly 2023. EGU General Assembly, EGU23-6157. mla: Polesello, Andrea, et al. “Intensification Mechanisms of Tropical Cyclones.” EGU General Assembly 2023, EGU23-6157, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-6157. short: A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023. conference: end_date: 2023-04-28 location: Vienna, Austria & Virtual name: EGU General Assembly start_date: 2023-04-23 corr_author: '1' date_created: 2024-01-22T12:08:12Z date_published: 2023-04-13T00:00:00Z date_updated: 2026-07-02T06:42:45Z day: '13' ddc: - '550' department: - _id: CaMu - _id: GradSch doi: 10.5194/egusphere-egu23-6157 file: - access_level: open_access checksum: 8cb88c1bc80ccee328478a62064d98f7 content_type: application/pdf creator: dernst date_created: 2024-01-24T11:19:54Z date_updated: 2024-01-24T11:19:54Z file_id: '14883' file_name: 2023_EGU_Polesello.pdf file_size: 296769 relation: main_file success: 1 file_date_updated: 2024-01-24T11:19:54Z fulldoi: https://doi.org/10.5194/egusphere-egu23-6157 has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version publication: EGU General Assembly 2023 publication_status: published publisher: European Geosciences Union status: public title: Intensification mechanisms of tropical cyclones 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_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- OA_place: publisher OA_type: gold _id: '22125' article_number: EGU23-5510 article_processing_charge: No author: - first_name: José M full_name: Muñoz Hermosilla, José M id: e1037a6d-646e-11ef-b402-e0ed9ab0901e last_name: Muñoz Hermosilla orcid: 0000-0002-1990-8508 - first_name: Eva full_name: De Andrés, Eva last_name: De Andrés - first_name: Kaian full_name: Shahateet, Kaian last_name: Shahateet - first_name: Jaime full_name: Otero, Jaime last_name: Otero - first_name: Francisco J. full_name: Navarro, Francisco J. last_name: Navarro citation: ama: 'Muñoz Hermosilla JM, De Andrés E, Shahateet K, Otero J, Navarro FJ. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-5510' apa: 'Muñoz Hermosilla, J. M., De Andrés, E., Shahateet, K., Otero, J., & Navarro, F. J. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-5510' chicago: Muñoz Hermosilla, José M, Eva De Andrés, Kaian Shahateet, Jaime Otero, and Francisco J. Navarro. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen, Svalbard.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-5510. ieee: J. M. Muñoz Hermosilla, E. De Andrés, K. Shahateet, J. Otero, and F. J. Navarro, “A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023. ista: Muñoz Hermosilla JM, De Andrés E, Shahateet K, Otero J, Navarro FJ. 2023. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard. EGU General Assembly 2023. EGU General Assembly, EGU23-5510. mla: Muñoz Hermosilla, José M., et al. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen, Svalbard.” EGU General Assembly 2023, EGU23-5510, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-5510. short: J.M. Muñoz Hermosilla, E. De Andrés, K. Shahateet, J. Otero, F.J. Navarro, in:, EGU General Assembly 2023, European Geosciences Union, 2023. conference: end_date: 2023-04-28 location: Vienna, Austria & Virtual name: EGU General Assembly start_date: 2023-04-23 date_created: 2026-06-22T12:19:10Z date_published: 2023-09-14T00:00:00Z date_updated: 2026-07-02T07:13:16Z day: '14' ddc: - '550' doi: 10.5194/egusphere-egu23-5510 extern: '1' fulldoi: https://doi.org/10.5194/egusphere-egu23-5510 has_accepted_license: '1' language: - iso: eng month: '09' oa_version: None publication: EGU General Assembly 2023 publication_status: published publisher: European Geosciences Union related_material: record: - id: '22123' relation: later_version status: public status: public title: A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '14756' abstract: - lang: eng text: "We prove the r-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer r: the 2-groupoid of 2-dimensional fully extended r-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced Spin 2r -action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the rth power of their Serre automorphisms. For r=1, we recover the oriented case (on which our proof builds), while ordinary spin structures correspond to r=2.\r\nTo construct examples, we explicitly describe Spin 2r​-homotopy fixed points in the equivariant completion of any symmetric monoidal 2-category. We also show that every object in a 2-category of Landau–Ginzburg models gives rise to fully extended spin TQFTs and that half of these do not factor through the oriented bordism 2-category." acknowledgement: "N.C. is supported by the DFG Heisenberg Programme.\r\nWe are grateful to Tobias Dyckerhoff, Lukas Müller, Ingo Runkel, and Christopher Schommer-Pries for helpful discussions." article_processing_charge: Yes article_type: original author: - first_name: Nils full_name: Carqueville, Nils last_name: Carqueville - first_name: Lorant full_name: Szegedy, Lorant id: 7943226E-220E-11EA-94C7-D59F3DDC885E last_name: Szegedy orcid: 0000-0003-2834-5054 citation: ama: Carqueville N, Szegedy L. Fully extended r-spin TQFTs. Quantum Topology. 2023;14(3):467-532. doi:10.4171/qt/193 apa: Carqueville, N., & Szegedy, L. (2023). Fully extended r-spin TQFTs. Quantum Topology. EMS Press. https://doi.org/10.4171/qt/193 chicago: Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” Quantum Topology. EMS Press, 2023. https://doi.org/10.4171/qt/193. ieee: N. Carqueville and L. Szegedy, “Fully extended r-spin TQFTs,” Quantum Topology, vol. 14, no. 3. EMS Press, pp. 467–532, 2023. ista: Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology. 14(3), 467–532. mla: Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” Quantum Topology, vol. 14, no. 3, EMS Press, 2023, pp. 467–532, doi:10.4171/qt/193. short: N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532. corr_author: '1' das_tickbox: '1' date_created: 2024-01-08T13:14:48Z date_published: 2023-10-16T00:00:00Z date_updated: 2026-07-06T11:52:15Z day: '16' ddc: - '530' department: - _id: MiLe doi: 10.4171/qt/193 external_id: isi: - '001104620800003' file: - access_level: open_access checksum: b0590aff6e7ec89cc149ba94d459d3a3 content_type: application/pdf creator: dernst date_created: 2024-01-09T09:25:34Z date_updated: 2024-01-09T09:25:34Z file_id: '14764' file_name: 2023_QuantumTopol_Carqueville.pdf file_size: 707344 relation: main_file success: 1 file_date_updated: 2024-01-09T09:25:34Z fulldoi: https://doi.org/10.4171/qt/193 has_accepted_license: '1' intvolume: ' 14' isi: 1 issue: '3' keyword: - Geometry and Topology - Mathematical Physics language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 467-532 publication: Quantum Topology publication_identifier: issn: - 1663-487X publication_status: published publisher: EMS Press quality_controlled: '1' scopus_import: '1' status: public title: Fully extended r-spin TQFTs 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: 14 year: '2023' ... --- _id: '13179' abstract: - lang: eng text: "Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads.\r\n\r\nThis paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives." article_number: '116' article_processing_charge: No article_type: original author: - first_name: Nikita full_name: Koval, Nikita id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87 last_name: Koval - first_name: Dmitry full_name: Khalanskiy, Dmitry last_name: Khalanskiy - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X citation: ama: 'Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230' apa: 'Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3591230' chicago: 'Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3591230.' ieee: 'N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery, 2023.' ista: 'Koval N, Khalanskiy D, Alistarh D-A. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.' mla: 'Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery, 2023, doi:10.1145/3591230.' short: N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023). corr_author: '1' das_tickbox: '1' date_created: 2023-07-02T22:00:43Z date_published: 2023-06-06T00:00:00Z date_updated: 2026-07-06T12:12:08Z day: '06' ddc: - '000' department: - _id: DaAl doi: 10.1145/3591230 file: - access_level: open_access checksum: 5dba6e73f0ed79adbdae14d165bc2f68 content_type: application/pdf creator: alisjak date_created: 2023-07-03T13:09:39Z date_updated: 2023-07-03T13:09:39Z file_id: '13187' file_name: 2023_ACMProgram.Lang._Koval.pdf file_size: 1266773 relation: main_file success: 1 file_date_updated: 2023-07-03T13:09:39Z fulldoi: https://doi.org/10.1145/3591230 has_accepted_license: '1' intvolume: ' 7' language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: Proceedings of the ACM on Programming Languages publication_identifier: eissn: - 2475-1421 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'CQS: A formally-verified framework for fair and abortable synchronization' 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: 7 year: '2023' ... --- OA_place: repository OA_type: green _id: '19983' abstract: - lang: eng text: 'The sinkless orientation problem plays a key role in understanding the foundations of distributed computing. The problem can be used to separate two fundamental models of distributed graph algorithms, LOCAL and SLOCAL: the locality of sinkless orientation is Ω(log n) in the deterministic LOCAL model and O(log log n) in the deterministic SLOCAL model. Both of these results are known by prior work, but here we give new simple, self-contained proofs for them.' acknowledgement: We thank the anonymous reviewers for their helpful feedback on previous versions of this work. Parts ofthis work appeared in DISC 2021 as a brief announcement [ 21]. This work was supported in part by theEuropean Research Council (ERC) under the European Union’s Horizon 2020 research and innovationprogramme (grant agreement No 805223 ScaleML), the Academy of Finland (grant agreement No 333837),the Austrian Science Fund (FWF) and netIDEE (grant agreement No P 33775-N), and the AustrianScience Fund (FWF) project DELTA (grant agreement No I 5025-N). article_processing_charge: No arxiv: 1 author: - first_name: Alkida full_name: Balliu, Alkida last_name: Balliu - first_name: Janne full_name: Korhonen, Janne id: C5402D42-15BC-11E9-A202-CA2BE6697425 last_name: Korhonen - first_name: Fabian full_name: Kuhn, Fabian last_name: Kuhn - first_name: Henrik full_name: Lievonen, Henrik last_name: Lievonen - first_name: Dennis full_name: Olivetti, Dennis last_name: Olivetti - first_name: Shreyas full_name: Pai, Shreyas last_name: Pai - first_name: Ami full_name: Paz, Ami last_name: Paz - first_name: Joel full_name: Rybicki, Joel id: 334EFD2E-F248-11E8-B48F-1D18A9856A87 last_name: Rybicki orcid: 0000-0002-6432-6646 - first_name: Stefan full_name: Schmid, Stefan last_name: Schmid - first_name: Jan full_name: Studený, Jan last_name: Studený - first_name: Jukka full_name: Suomela, Jukka last_name: Suomela - first_name: Jara full_name: Uitto, Jara last_name: Uitto citation: ama: 'Balliu A, Korhonen J, Kuhn F, et al. Sinkless Orientation Made Simple. In: Symposium on Simplicity in Algorithms. Society for Industrial and Applied Mathematics; 2023:175-191. doi:10.1137/1.9781611977585.ch17' apa: 'Balliu, A., Korhonen, J., Kuhn, F., Lievonen, H., Olivetti, D., Pai, S., … Uitto, J. (2023). Sinkless Orientation Made Simple. In Symposium on Simplicity in Algorithms (pp. 175–191). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977585.ch17' chicago: Balliu, Alkida, Janne Korhonen, Fabian Kuhn, Henrik Lievonen, Dennis Olivetti, Shreyas Pai, Ami Paz, et al. “Sinkless Orientation Made Simple.” In Symposium on Simplicity in Algorithms, 175–91. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977585.ch17. ieee: A. Balliu et al., “Sinkless Orientation Made Simple,” in Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191. ista: 'Balliu A, Korhonen J, Kuhn F, Lievonen H, Olivetti D, Pai S, Paz A, Rybicki J, Schmid S, Studený J, Suomela J, Uitto J. 2023.Sinkless Orientation Made Simple. In: Symposium on Simplicity in Algorithms. , 175–191.' mla: Balliu, Alkida, et al. “Sinkless Orientation Made Simple.” Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–91, doi:10.1137/1.9781611977585.ch17. short: A. Balliu, J. Korhonen, F. Kuhn, H. Lievonen, D. Olivetti, S. Pai, A. Paz, J. Rybicki, S. Schmid, J. Studený, J. Suomela, J. Uitto, in:, Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191. conference: end_date: 2023-01-25 location: Florence, Italy name: 'SOSA: Symposium on Simplicity in Algorithms' start_date: 2023-01-23 das_tickbox: '1' date_created: 2025-07-10T13:11:47Z date_published: 2023-01-12T00:00:00Z date_updated: 2026-07-06T11:57:38Z day: '12' department: - _id: DaAl doi: 10.1137/1.9781611977585.ch17 ec_funded: 1 external_id: arxiv: - '2108.02655' fulldoi: https://doi.org/10.1137/1.9781611977585.ch17 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2108.02655 month: '01' oa: 1 oa_version: Preprint page: 175-191 project: - _id: 268A44D6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '805223' name: Elastic Coordination for Scalable Machine Learning - _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe grant_number: P33775 name: Fast Algorithms for a Reactive Network Layer publication: Symposium on Simplicity in Algorithms publication_identifier: eisbn: - '9781611977585' publication_status: published publisher: Society for Industrial and Applied Mathematics quality_controlled: '1' status: public title: Sinkless Orientation Made Simple type: book_chapter user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13443' abstract: - lang: eng text: 'The ages of solar-like stars have been at the center of many studies such as exoplanet characterization or Galactic-archeology. While ages are usually computed from stellar evolution models, relations linking ages to other stellar properties, such as rotation and magnetic activity, have been investigated. With the large catalog of 55,232 rotation periods, Prot, and photometric magnetic activity index, Sph from Kepler data, we have the opportunity to look for such magneto-gyro-chronology relations. Stellar ages are obtained with two stellar evolution codes that include treatment of angular momentum evolution, hence using Prot as input in addition to classical atmospheric parameters. We explore two different ways of predicting stellar ages on three subsamples with spectroscopic observations: solar analogs, late-F and G dwarfs, and K dwarfs. We first perform a Bayesian analysis to derive relations between Sph and ages between 1 and 5 Gyr, and other stellar properties. For late-F and G dwarfs, and K dwarfs, the multivariate regression favors the model with Prot and Sph with median differences of 0.1% and 0.2%, respectively. We also apply Machine Learning techniques with a Random Forest algorithm to predict ages up to 14 Gyr with the same set of input parameters. For late-F, G and K dwarfs together, predicted ages are on average within 5.3% of the model ages and improve to 3.1% when including Prot. These are very promising results for a quick age estimation for solar-like stars with photometric observations, especially with current and future space missions.' acknowledgement: 'This paper includes data collected by the Kepler mission and obtained from the MAST data archive at the Space Telescope Science Institute (STScI). Funding for the Kepler mission is provided by the NASA Science Mission Directorate. STScI is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5–26555. We acknowledge that this research was supported in part by the National Science Foundation under grant No. NSF PHY-1748958. S.M. acknowledges support from the Spanish Ministry of Science and Innovation (MICINN) with the Ramón y Cajal fellowship No. RYC-2015-17697, the grant No. PID2019-107061GB-C66, and through AEI under the Severo Ochoa Centres of Excellence Programme 2020–2023 (CEX2019-000920-S). S.M. and D.G.R. acknowledge support from the Spanish Ministry of Science and Innovation (MICINN) with the grant No. PID2019-107187GB-I00. Z.R.C. acknowledges support from National Aeronautics and Space Administration via the TESS Guest Investigator Program (grant No. 80NSSC18K18584). The work presented here was partially supported by the NASA grant NNX17AF27G. A.R.G.S. acknowledges the support by FCT through national funds and by FEDER through COMPETE2020 by the following grants: UIDB/04434/2020 and UIDP/04434/2020. A.R.G.S. is supported by FCT through the work contract No. 2020.02480.CEECIND/CP1631/CT0001. R.A.G., L.A., and S.N.B. acknowledge the support from PLATO and GOLF CNES grants. S.N.B. acknowledges support from PLATO ASI-INAF agreement No. 2015-019-R.1-2018.' article_number: '131' article_processing_charge: Yes article_type: original author: - first_name: Savita full_name: Mathur, Savita last_name: Mathur - first_name: Zachary R. full_name: Claytor, Zachary R. last_name: Claytor - first_name: Ângela R. G. full_name: Santos, Ângela R. G. last_name: Santos - first_name: Rafael A. full_name: García, Rafael A. last_name: García - first_name: Louis full_name: Amard, Louis last_name: Amard - first_name: Lisa Annabelle full_name: Bugnet, Lisa Annabelle id: d9edb345-f866-11ec-9b37-d119b5234501 last_name: Bugnet orcid: 0000-0003-0142-4000 - first_name: Enrico full_name: Corsaro, Enrico last_name: Corsaro - first_name: Alfio full_name: Bonanno, Alfio last_name: Bonanno - first_name: Sylvain N. full_name: Breton, Sylvain N. last_name: Breton - first_name: Diego full_name: Godoy-Rivera, Diego last_name: Godoy-Rivera - first_name: Marc H. full_name: Pinsonneault, Marc H. last_name: Pinsonneault - first_name: Jennifer full_name: van Saders, Jennifer last_name: van Saders citation: ama: Mathur S, Claytor ZR, Santos ÂRG, et al. Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. The Astrophysical Journal. 2023;952(2). doi:10.3847/1538-4357/acd118 apa: Mathur, S., Claytor, Z. R., Santos, Â. R. G., García, R. A., Amard, L., Bugnet, L. A., … van Saders, J. (2023). Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/acd118 chicago: Mathur, Savita, Zachary R. Claytor, Ângela R. G. Santos, Rafael A. García, Louis Amard, Lisa Annabelle Bugnet, Enrico Corsaro, et al. “Magnetic Activity Evolution of Solar-like Stars. I. Sph–Age Relation Derived from Kepler Observations.” The Astrophysical Journal. IOP Publishing, 2023. https://doi.org/10.3847/1538-4357/acd118. ieee: S. Mathur et al., “Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations,” The Astrophysical Journal, vol. 952, no. 2. IOP Publishing, 2023. ista: Mathur S, Claytor ZR, Santos ÂRG, García RA, Amard L, Bugnet LA, Corsaro E, Bonanno A, Breton SN, Godoy-Rivera D, Pinsonneault MH, van Saders J. 2023. Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. The Astrophysical Journal. 952(2), 131. mla: Mathur, Savita, et al. “Magnetic Activity Evolution of Solar-like Stars. I. Sph–Age Relation Derived from Kepler Observations.” The Astrophysical Journal, vol. 952, no. 2, 131, IOP Publishing, 2023, doi:10.3847/1538-4357/acd118. short: S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023). das_tickbox: '1' date_created: 2023-08-01T14:19:16Z date_published: 2023-08-01T00:00:00Z date_updated: 2026-07-06T12:20:17Z day: '01' ddc: - '520' department: - _id: LiBu doi: 10.3847/1538-4357/acd118 external_id: isi: - '001034185700001' file: - access_level: open_access checksum: f12452834d7ed6748dbf5ace18af4723 content_type: application/pdf creator: dernst date_created: 2023-08-02T07:42:26Z date_updated: 2023-08-02T07:42:26Z file_id: '13448' file_name: 2023_AstrophysicalJour_Mathur.pdf file_size: 4192386 relation: main_file success: 1 file_date_updated: 2023-08-02T07:42:26Z fulldoi: https://doi.org/10.3847/1538-4357/acd118 has_accepted_license: '1' intvolume: ' 952' isi: 1 issue: '2' keyword: - Space and Planetary Science - Astronomy and Astrophysics language: - iso: eng month: '08' oa: 1 oa_version: Published Version publication: The 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: Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations 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: 952 year: '2023' ... --- OA_place: publisher _id: '12885' abstract: - lang: eng text: 'High-performance semiconductors rely upon precise control of heat and charge transport. This can be achieved by precisely engineering defects in polycrystalline solids. There are multiple approaches to preparing such polycrystalline semiconductors, and the transformation of solution-processed colloidal nanoparticles is appealing because colloidal nanoparticles combine low cost with structural and compositional tunability along with rich surface chemistry. However, the multiple processes from nanoparticle synthesis to the final bulk nanocomposites are very complex. They involve nanoparticle purification, post-synthetic modifications, and finally consolidation (thermal treatments and densification). All these properties dictate the final material’s composition and microstructure, ultimately affecting its functional properties. This thesis explores the synthesis, surface chemistry and consolidation of colloidal semiconductor nanoparticles into dense solids. In particular, the transformations that take place during these processes, and their effect on the material’s transport properties are evaluated. ' acknowledged_ssus: - _id: EM-Fac - _id: NanoFab alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Mariano full_name: Calcabrini, Mariano id: 45D7531A-F248-11E8-B48F-1D18A9856A87 last_name: Calcabrini orcid: 0000-0003-4566-5877 citation: ama: 'Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885' apa: 'Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885' chicago: 'Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.' ieee: 'M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.' ista: 'Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.' mla: 'Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.' short: 'M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.' corr_author: '1' date_created: 2023-05-02T07:58:57Z date_published: 2023-04-28T00:00:00Z date_updated: 2026-07-06T12:16:05Z day: '28' ddc: - '546' - '541' degree_awarded: PhD department: - _id: GradSch - _id: MaIb doi: 10.15479/at:ista:12885 ec_funded: 1 file: - access_level: closed checksum: 9347b0e09425f56fdcede5d3528404dc content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: mcalcabr date_created: 2023-05-02T07:43:18Z date_updated: 2023-05-02T07:43:18Z file_id: '12887' file_name: Thesis_Calcabrini.docx file_size: 99627036 relation: source_file - access_level: open_access checksum: 2d188b76621086cd384f0b9264b0a576 content_type: application/pdf creator: mcalcabr date_created: 2023-05-02T07:42:45Z date_updated: 2023-05-02T07:42:45Z file_id: '12888' file_name: Thesis_Calcabrini_pdfa.pdf file_size: 8742220 relation: main_file success: 1 file_date_updated: 2023-05-02T07:43:18Z fulldoi: https://doi.org/10.15479/at:ista:12885 has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '82' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-028-2 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12237' relation: part_of_dissertation status: public - id: '10806' relation: part_of_dissertation status: public - id: '10123' relation: part_of_dissertation status: public - id: '9118' relation: part_of_dissertation status: public - id: '10042' relation: part_of_dissertation status: public status: public supervisor: - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 title: 'Nanoparticle-based semiconductor solids: From synthesis to consolidation' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2023' ... --- _id: '14402' abstract: - lang: eng text: Alpha oscillations are a distinctive feature of the awake resting state of the human brain. However, their functional role in resting-state neuronal dynamics remains poorly understood. Here we show that, during resting wakefulness, alpha oscillations drive an alternation of attenuation and amplification bouts in neural activity. Our analysis indicates that inhibition is activated in pulses that last for a single alpha cycle and gradually suppress neural activity, while excitation is successively enhanced over a few alpha cycles to amplify neural activity. Furthermore, we show that long-term alpha amplitude fluctuations—the “waxing and waning” phenomenon—are an attenuation-amplification mechanism described by a power-law decay of the activity rate in the “waning” phase. Importantly, we do not observe such dynamics during non-rapid eye movement (NREM) sleep with marginal alpha oscillations. The results suggest that alpha oscillations modulate neural activity not only through pulses of inhibition (pulsed inhibition hypothesis) but also by timely enhancement of excitation (or disinhibition). acknowledgement: This research was funded in whole or in part by the Austrian Science Fund (FWF) (grant PT1013M03318 to F.L.). For the purpose of open access, the author has applied a CC BY public copyright license to any Author Accepted Manuscript version arising from this submission. The study was supported by the European Union Horizon 2020 Research and Innovation Program under the Marie Sklodowska-Curie action (grant agreement 754411 to F.L.) and in part by the NextGenerationEU through the grant TAlent in ReSearch@University of Padua – STARS@UNIPD (to F.L.) (project BRAINCIP [brain criticality and information processing]). L.d.A. acknowledges support from the Italian MIUR project PRIN2017WZFTZP and partial support from NEXTGENERATIONEU (NGEU) funded by the Ministry of University and Research (MUR), National Recovery and Resilience Plan (NRRP), and project MNESYS (PE0000006)—a multiscale integrated approach to the study of the nervous system in health and disease (DN. 1553 11.10.2022). O.S. acknowledges support from the Israel Science Foundation, grant 504/17. The work was supported in part by DIRP ZIAMH02797 (to D.P.). article_number: '113162' article_processing_charge: Yes article_type: original author: - first_name: Fabrizio full_name: Lombardi, Fabrizio id: A057D288-3E88-11E9-986D-0CF4E5697425 last_name: Lombardi orcid: 0000-0003-2623-5249 - first_name: Hans J. full_name: Herrmann, Hans J. last_name: Herrmann - first_name: Liborio full_name: Parrino, Liborio last_name: Parrino - first_name: Dietmar full_name: Plenz, Dietmar last_name: Plenz - first_name: Silvia full_name: Scarpetta, Silvia last_name: Scarpetta - first_name: Anna Elisabetta full_name: Vaudano, Anna Elisabetta last_name: Vaudano - first_name: Lucilla full_name: De Arcangelis, Lucilla last_name: De Arcangelis - first_name: Oren full_name: Shriki, Oren last_name: Shriki citation: ama: 'Lombardi F, Herrmann HJ, Parrino L, et al. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 2023;42(10). doi:10.1016/j.celrep.2023.113162' apa: 'Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113162' chicago: 'Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz, Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla De Arcangelis, and Oren Shriki. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” Cell Reports. Elsevier, 2023. https://doi.org/10.1016/j.celrep.2023.113162.' ieee: 'F. Lombardi et al., “Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state,” Cell Reports, vol. 42, no. 10. Elsevier, 2023.' ista: 'Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, De Arcangelis L, Shriki O. 2023. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 42(10), 113162.' mla: 'Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” Cell Reports, vol. 42, no. 10, 113162, Elsevier, 2023, doi:10.1016/j.celrep.2023.113162.' short: F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023). corr_author: '1' date_created: 2023-10-08T22:01:15Z date_published: 2023-10-31T00:00:00Z date_updated: 2026-07-06T12:48:55Z day: '31' ddc: - '570' department: - _id: GaTk doi: 10.1016/j.celrep.2023.113162 ec_funded: 1 external_id: isi: - '001086695500001' pmid: - '37777965' file: - access_level: open_access checksum: 9c71eb2a03aa160415f01ad95f49ceb5 content_type: application/pdf creator: dernst date_created: 2024-01-30T14:07:08Z date_updated: 2024-01-30T14:07:08Z file_id: '14914' file_name: 2023_CellReports_Lombardi.pdf file_size: 5599007 relation: main_file success: 1 file_date_updated: 2024-01-30T14:07:08Z fulldoi: https://doi.org/10.1016/j.celrep.2023.113162 has_accepted_license: '1' intvolume: ' 42' isi: 1 issue: '10' language: - iso: eng month: '10' oa: 1 oa_version: Published Version pmid: 1 project: - _id: eb943429-77a9-11ec-83b8-9f471cdf5c67 grant_number: M03318 name: Functional Advantages of Critical Brain Dynamics - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Cell Reports publication_identifier: eissn: - 2211-1247 publication_status: published publisher: Elsevier quality_controlled: '1' related_material: record: - id: '10821' relation: earlier_version status: public scopus_import: '1' status: public title: 'Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state' 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: 42 year: '2023' ... --- _id: '14502' abstract: - lang: eng text: A precise quantitative description of the ultrastructural characteristics underlying biological mechanisms is often key to their understanding. This is particularly true for dynamic extra- and intracellular filamentous assemblies, playing a role in cell motility, cell integrity, cytokinesis, tissue formation and maintenance. For example, genetic manipulation or modulation of actin regulatory proteins frequently manifests in changes of the morphology, dynamics, and ultrastructural architecture of actin filament-rich cell peripheral structures, such as lamellipodia or filopodia. However, the observed ultrastructural effects often remain subtle and require sufficiently large datasets for appropriate quantitative analysis. The acquisition of such large datasets has been enabled by recent advances in high-throughput cryo-electron tomography (cryo-ET) methods. This also necessitates the development of complementary approaches to maximize the extraction of relevant biological information. We have developed a computational toolbox for the semi-automatic quantification of segmented and vectorized fila- mentous networks from pre-processed cryo-electron tomograms, facilitating the analysis and cross-comparison of multiple experimental conditions. GUI-based components simplify the processing of data and allow users to obtain a large number of ultrastructural parameters describing filamentous assemblies. We demonstrate the feasibility of this workflow by analyzing cryo-ET data of untreated and chemically perturbed branched actin filament networks and that of parallel actin filament arrays. In principle, the computational toolbox presented here is applicable for data analysis comprising any type of filaments in regular (i.e. parallel) or random arrangement. We show that it can ease the identification of key differences between experimental groups and facilitate the in-depth analysis of ultrastructural data in a time-efficient manner. author: - first_name: Georgi A full_name: Dimchev, Georgi A id: 38C393BE-F248-11E8-B48F-1D18A9856A87 last_name: Dimchev orcid: 0000-0001-8370-6161 - first_name: Behnam full_name: Amiri, Behnam last_name: Amiri - first_name: Florian full_name: Fäßler, Florian id: 404F5528-F248-11E8-B48F-1D18A9856A87 last_name: Fäßler orcid: 0000-0001-7149-769X - first_name: Martin full_name: Falcke, Martin last_name: Falcke - first_name: Florian KM full_name: Schur, Florian KM id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 citation: ama: Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. 2023. doi:10.15479/AT:ISTA:14502 apa: Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2023). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14502 chicago: Dimchev, Georgi A, Behnam Amiri, Florian Fäßler, Martin Falcke, and Florian KM Schur. “Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:14502. ieee: G. A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, and F. K. Schur, “Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data.” Institute of Science and Technology Austria, 2023. ista: Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. 2023. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data, Institute of Science and Technology Austria, 10.15479/AT:ISTA:14502. mla: Dimchev, Georgi A., et al. Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:14502. short: G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023). corr_author: '1' date_created: 2023-11-08T19:40:54Z date_published: 2023-11-21T00:00:00Z date_updated: 2026-07-06T12:57:43Z day: '21' ddc: - '570' department: - _id: FlSc doi: 10.15479/AT:ISTA:14502 file: - access_level: open_access checksum: a8b9adeb53a4109dea4d5e39fa1acccf content_type: application/zip creator: fschur date_created: 2023-11-08T20:23:07Z date_updated: 2023-11-08T20:23:07Z file_id: '14503' file_name: Computational_Toolbox_v1.2.zip file_size: 347641117 relation: main_file success: 1 - access_level: open_access checksum: 14db2addbfca61a085ba301ed6f2900b content_type: text/plain creator: dernst date_created: 2023-11-21T08:20:23Z date_updated: 2023-11-21T08:20:23Z file_id: '14586' file_name: Readme.txt file_size: 1522 relation: main_file success: 1 file_date_updated: 2023-11-21T08:20:23Z fulldoi: https://doi.org/10.15479/AT:ISTA:14502 has_accepted_license: '1' keyword: - cryo-electron tomography - actin cytoskeleton - toolbox license: https://choosealicense.com/licenses/agpl-3.0/ month: '11' oa: 1 project: - _id: 9B954C5C-BA93-11EA-9121-9846C619BF3A grant_number: P33367 name: Structure and isoform diversity of the Arp2/3 complex publisher: Institute of Science and Technology Austria related_material: record: - id: '10290' relation: used_for_analysis_in status: public status: public title: Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data tmp: legal_code_url: https://www.gnu.org/licenses/agpl-3.0.html name: GNU Affero General Public License v3.0 short: 'GNU AGPLv3 ' type: software user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13209' abstract: - lang: eng text: The phytohormone auxin plays central roles in many growth and developmental processes in plants. Development of chemical tools targeting the auxin pathway is useful for both plant biology and agriculture. Here we reveal that naproxen, a synthetic compound with anti-inflammatory activity in humans, acts as an auxin transport inhibitor targeting PIN-FORMED (PIN) transporters in plants. Physiological experiments indicate that exogenous naproxen treatment affects pleiotropic auxin-regulated developmental processes. Additional cellular and biochemical evidence indicates that naproxen suppresses auxin transport, specifically PIN-mediated auxin efflux. Moreover, biochemical and structural analyses confirm that naproxen binds directly to PIN1 protein via the same binding cavity as the indole-3-acetic acid substrate. Thus, by combining cellular, biochemical, and structural approaches, this study clearly establishes that naproxen is a PIN inhibitor and elucidates the underlying mechanisms. Further use of this compound may advance our understanding of the molecular mechanisms of PIN-mediated auxin transport and expand our toolkit in auxin biology and agriculture. acknowledgement: "This work was supported by the Strategic Priority Research Program of the Chinese Academy of Sciences (XDB37020103 to Linfeng Sun); research funds from the Center for Advanced Interdisciplinary Science\r\nand Biomedicine of IHM, Division of Life Sciences and Medicine, University of Science and Technology of China (QYPY20220012 to S.T.); start-up funding from the University of Science and Technology of China and the\r\nChinese Academy of Sciences (GG9100007007, KY9100000026,KY9100000051, and KJ2070000079 to S.T.); the National Natural Science Foundation of China (31900885 to X.L. and 31870732 to Linfeng Sun); the Natural Science Foundation of Anhui Province (2008085MC90 to X.L. and 2008085J15 to Linfeng Sun); the Fundamental Research Funds for the Central Universities (WK9100000021 to S.T. and WK9100000031 to Linfeng Sun); and the USTC Research Funds of the Double First-Class Initiative (YD9100002016 to S.T. and YD9100002004 to Linfeng Sun). Linfeng Sun is supported by an Outstanding Young Scholar Award from the Qiu Shi Science and Technologies Foundation and a Young Scholar Award from the Cyrus Tang Foundation.We thank Dr. Yang Zhao for sharing published materials (Center for Excellence in Molecular Plant Sciences, Chinese Academy of Sciences) and the Cryo-EM Center of the University of Science and Technology of China for the EM facility support. We are grateful to Y. Gao and all other staff members for their technical support on cryo-EM data collection. " article_number: '100632' article_processing_charge: Yes article_type: original author: - first_name: Jing full_name: Xia, Jing last_name: Xia - first_name: Mengjuan full_name: Kong, Mengjuan last_name: Kong - first_name: Zhisen full_name: Yang, Zhisen last_name: Yang - first_name: Lianghanxiao full_name: Sun, Lianghanxiao last_name: Sun - first_name: Yakun full_name: Peng, Yakun last_name: Peng - first_name: Yanbo full_name: Mao, Yanbo last_name: Mao - first_name: Hong full_name: Wei, Hong last_name: Wei - first_name: Wei full_name: Ying, Wei last_name: Ying - first_name: Yongxiao full_name: Gao, Yongxiao last_name: Gao - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Jianping full_name: Weng, Jianping last_name: Weng - first_name: Xin full_name: Liu, Xin last_name: Liu - first_name: Linfeng full_name: Sun, Linfeng last_name: Sun - first_name: Shutang full_name: Tan, Shutang last_name: Tan citation: ama: Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 2023;4(6). doi:10.1016/j.xplc.2023.100632 apa: Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2023.100632 chicago: Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier, 2023. https://doi.org/10.1016/j.xplc.2023.100632. ieee: J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier, 2023. ista: Xia J, Kong M, Yang Z, Sun L, Peng Y, Mao Y, Wei H, Ying W, Gao Y, Friml J, Weng J, Liu X, Sun L, Tan S. 2023. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 4(6), 100632. mla: Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, vol. 4, no. 6, 100632, Elsevier, 2023, doi:10.1016/j.xplc.2023.100632. short: J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023). das_tickbox: '1' date_created: 2023-07-12T07:32:00Z date_published: 2023-11-13T00:00:00Z date_updated: 2026-07-06T12:59:25Z day: '13' ddc: - '580' department: - _id: JiFr doi: 10.1016/j.xplc.2023.100632 external_id: isi: - '001113003000001' pmid: - '37254481' file: - access_level: open_access checksum: f8ef92af6096834f91ce38587fb1db9f content_type: application/pdf creator: dernst date_created: 2024-01-30T10:54:40Z date_updated: 2024-01-30T10:54:40Z file_id: '14900' file_name: 2023_PlantCommunications_Xia.pdf file_size: 1434862 relation: main_file success: 1 file_date_updated: 2024-01-30T10:54:40Z fulldoi: https://doi.org/10.1016/j.xplc.2023.100632 has_accepted_license: '1' intvolume: ' 4' isi: 1 issue: '6' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '11' oa: 1 oa_version: Published Version pmid: 1 publication: Plant Communications publication_identifier: eissn: - 2590-3462 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen 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: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 4 year: '2023' ... --- _id: '13162' article_processing_charge: No author: - first_name: Stefano full_name: Elefante, Stefano id: 490F40CE-F248-11E8-B48F-1D18A9856A87 last_name: Elefante - first_name: Stephan full_name: Stadlbauer, Stephan id: 4D0BC184-F248-11E8-B48F-1D18A9856A87 last_name: Stadlbauer - first_name: Michael F full_name: Alexander, Michael F id: 3A02A8FA-F248-11E8-B48F-1D18A9856A87 last_name: Alexander - first_name: Alois full_name: Schlögl, Alois id: 45BF87EE-F248-11E8-B48F-1D18A9856A87 last_name: Schlögl orcid: 0000-0002-5621-8100 citation: ama: 'Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC Austria; 2023:42-42.' apa: 'Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (2023). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC Austria.' chicago: 'Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC Austria, 2023.' ieee: 'S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, 2023, pp. 42–42.' ista: 'Elefante S, Stadlbauer S, Alexander MF, Schlögl A. 2023. Cryo-EM software packages: A sys-admins point of view. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 42–42.' mla: 'Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 42–42.' short: S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 42–42. conference: end_date: 2023-06-15 location: Maribor, Slovenia name: 'ASHPC: Austrian-Slovenian HPC Meeting' start_date: 2023-06-12 corr_author: '1' date_created: 2023-06-23T11:03:18Z date_published: 2023-07-01T00:00:00Z date_updated: 2026-07-06T13:01:58Z day: '01' ddc: - '000' department: - _id: ScienComp file: - access_level: open_access checksum: 0ab6173cd5c5634ed773cd37ff012681 content_type: application/pdf creator: dernst date_created: 2023-07-18T09:28:30Z date_updated: 2023-07-18T09:28:30Z file_id: '13250' file_name: 2023_ASHPC_Elefante.pdf file_size: 380354 relation: main_file success: 1 file_date_updated: 2023-07-18T09:28:30Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 42-42 publication: ASHPC23 - Austrian-Slovenian HPC Meeting 2023 publication_status: published publisher: EuroCC Austria quality_controlled: '1' status: public title: 'Cryo-EM software packages: A sys-admins point of view' 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_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13161' acknowledgement: Thanks to Jesse Hansen for his suggestions on improving the abstract. article_processing_charge: No author: - first_name: Alois full_name: Schlögl, Alois id: 45BF87EE-F248-11E8-B48F-1D18A9856A87 last_name: Schlögl orcid: 0000-0002-5621-8100 - first_name: Stefano full_name: Elefante, Stefano id: 490F40CE-F248-11E8-B48F-1D18A9856A87 last_name: Elefante - first_name: Victor-Valentin full_name: Hodirnau, Victor-Valentin id: 3661B498-F248-11E8-B48F-1D18A9856A87 last_name: Hodirnau orcid: 0000-0003-3904-947X citation: ama: 'Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC Austria; 2023:59-59.' apa: 'Schlögl, A., Elefante, S., & Hodirnau, V.-V. (2023). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC Austria.' chicago: Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC Austria, 2023. ieee: A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, 2023, pp. 59–59. ista: 'Schlögl A, Elefante S, Hodirnau V-V. 2023. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.' mla: Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 59–59. short: A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 59–59. conference: end_date: 2023-06-15 location: Maribor, Slovenia name: 'ASHPC: Austrian-Slovenian HPC Meeting' start_date: 2023-06-13 corr_author: '1' date_created: 2023-06-23T11:01:23Z date_published: 2023-07-01T00:00:00Z date_updated: 2026-07-06T13:01:46Z day: '01' ddc: - '000' department: - _id: ScienComp - _id: EM-Fac file: - access_level: open_access checksum: ec8e4295d54171032cdd1b01423eb4a6 content_type: application/pdf creator: dernst date_created: 2023-07-18T09:18:55Z date_updated: 2023-07-18T09:18:55Z file_id: '13249' file_name: 2023_ASHPC_Schloegl.pdf file_size: 316959 relation: main_file success: 1 file_date_updated: 2023-07-18T09:18:55Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 59-59 publication: ASHPC23 - Austrian-Slovenian HPC Meeting 2023 publication_status: published publisher: EuroCC Austria quality_controlled: '1' status: public title: Running Windows-applications on a Linux HPC cluster using WINE 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_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13268' abstract: - lang: eng text: We give a simple argument to prove Nagai’s conjecture for type II degenerations of compact hyperkähler manifolds and cohomology classes of middle degree. Under an additional assumption, the techniques yield the conjecture in arbitrary degree. This would complete the proof of Nagai’s conjecture in general, as it was proved already for type I degenerations by Kollár, Laza, Saccà, and Voisin [10] and independently by Soldatenkov [18], while it is immediate for type III degenerations. Our arguments are close in spirit to a recent paper by Harder [8] proving similar results for the restrictive class of good degenerations. acknowledgement: The first author is supported by the ERC Synergy Grant HyperK. The second author is supported by the Max Planck Institute for Mathematics and the Institute of Science and Technology Austria. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: D. full_name: Huybrechts, D. last_name: Huybrechts - first_name: Mirko full_name: Mauri, Mirko id: 2cf70c34-09c1-11ed-bd8d-c34fac206130 last_name: Mauri citation: ama: Huybrechts D, Mauri M. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 2023;30(1):125-141. doi:10.4310/mrl.2023.v30.n1.a6 apa: Huybrechts, D., & Mauri, M. (2023). On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. International Press of Boston. https://doi.org/10.4310/mrl.2023.v30.n1.a6 chicago: Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” Mathematical Research Letters. International Press of Boston, 2023. https://doi.org/10.4310/mrl.2023.v30.n1.a6. ieee: D. Huybrechts and M. Mauri, “On type II degenerations of hyperkähler manifolds,” Mathematical Research Letters, vol. 30, no. 1. International Press of Boston, pp. 125–141, 2023. ista: Huybrechts D, Mauri M. 2023. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 30(1), 125–141. mla: Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” Mathematical Research Letters, vol. 30, no. 1, International Press of Boston, 2023, pp. 125–41, doi:10.4310/mrl.2023.v30.n1.a6. short: D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141. corr_author: '1' das_tickbox: '1' date_created: 2023-07-23T22:01:14Z date_published: 2023-06-21T00:00:00Z date_updated: 2026-07-06T13:37:53Z day: '21' department: - _id: TaHa doi: 10.4310/mrl.2023.v30.n1.a6 ec_funded: 1 external_id: arxiv: - '2108.01587' isi: - '001027656000006' fulldoi: https://doi.org/10.4310/mrl.2023.v30.n1.a6 intvolume: ' 30' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2108.01587 month: '06' oa: 1 oa_version: Preprint page: 125-141 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Mathematical Research Letters publication_identifier: eissn: - 1945-001X issn: - 1073-2780 publication_status: published publisher: International Press of Boston quality_controlled: '1' scopus_import: '1' status: public title: On type II degenerations of hyperkähler manifolds type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 30 year: '2023' ... --- _id: '14609' abstract: - lang: eng text: "Distributed Key Generation (DKG) is a technique to bootstrap threshold cryptosystems without a trusted party. DKG is an essential building block to many decentralized protocols such as randomness beacons, threshold signatures, Byzantine consensus, and multiparty computation. While significant progress has been made recently, existing asynchronous DKG constructions are inefficient when the reconstruction threshold is larger than one-third of the total nodes. In this paper, we present a simple and concretely efficient asynchronous DKG (ADKG) protocol among n = 3t + 1 nodes that can tolerate up to t malicious nodes and support any reconstruction threshold ℓ ≥ t. Our protocol has an expected O(κn3) communication cost, where κ is the security parameter, and only assumes the hardness of the Discrete Logarithm. The\r\ncore ingredient of our ADKG protocol is an asynchronous protocol to secret share a random polynomial of degree ℓ ≥ t, which has other applications, such as asynchronous proactive secret sharing and asynchronous multiparty computation. We implement our high-threshold ADKG protocol and evaluate it using a network of up to 128 geographically distributed nodes. Our evaluation shows that our high-threshold ADKG protocol reduces the running time by 90% and bandwidth usage by 80% over the state-of-the-art." acknowledgement: The authors would like to thank Amit Agarwal, Andrew Miller, and Tom Yurek for the helpful discussions related to the paper. This work is funded in part by a VMware early career faculty grant, a Chainlink Labs Ph.D. fellowship, the National Science Foundation, and the Austrian Science Fund (FWF) F8512-N. article_processing_charge: No author: - first_name: Sourav full_name: Das, Sourav last_name: Das - first_name: Zhuolun full_name: Xiang, Zhuolun last_name: Xiang - first_name: Eleftherios full_name: Kokoris Kogias, Eleftherios id: f5983044-d7ef-11ea-ac6d-fd1430a26d30 last_name: Kokoris Kogias orcid: 0000-0002-8827-3382 - first_name: Ling full_name: Ren, Ling last_name: Ren citation: ama: 'Das S, Xiang Z, Kokoris Kogias E, Ren L. Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In: 32nd USENIX Security Symposium. Vol 8. Usenix Association; 2023:5359-5376.' apa: 'Das, S., Xiang, Z., Kokoris Kogias, E., & Ren, L. (2023). Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In 32nd USENIX Security Symposium (Vol. 8, pp. 5359–5376). Anaheim, CA, United States: Usenix Association.' chicago: Das, Sourav, Zhuolun Xiang, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous High-Threshold Distributed Key Generation and Distributed Polynomial Sampling.” In 32nd USENIX Security Symposium, 8:5359–76. Usenix Association, 2023. ieee: S. Das, Z. Xiang, E. Kokoris Kogias, and L. Ren, “Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling,” in 32nd USENIX Security Symposium, Anaheim, CA, United States, 2023, vol. 8, pp. 5359–5376. ista: Das S, Xiang Z, Kokoris Kogias E, Ren L. 2023. Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. 32nd USENIX Security Symposium. USENIX Security Symposium vol. 8, 5359–5376. mla: Das, Sourav, et al. “Practical Asynchronous High-Threshold Distributed Key Generation and Distributed Polynomial Sampling.” 32nd USENIX Security Symposium, vol. 8, Usenix Association, 2023, pp. 5359–76. short: S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix Association, 2023, pp. 5359–5376. conference: end_date: 2023-08-11 location: Anaheim, CA, United States name: USENIX Security Symposium start_date: 2023-08-09 corr_author: '1' cryptoeprintid: 1 das_tickbox: '1' date_created: 2023-11-26T23:00:55Z date_published: 2023-08-15T00:00:00Z date_updated: 2026-07-07T06:02:32Z day: '15' ddc: - '000' department: - _id: ElKo external_id: cryptoeprintid: - 2022/1389 file: - access_level: open_access checksum: 1a730765930138e23c6efd2575872641 content_type: application/pdf creator: dernst date_created: 2023-11-28T09:14:34Z date_updated: 2023-11-28T09:14:34Z file_id: '14621' file_name: 2023_USENIX_Das.pdf file_size: 704331 relation: main_file success: 1 file_date_updated: 2023-11-28T09:14:34Z has_accepted_license: '1' intvolume: ' 8' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2022/1389 month: '08' oa: 1 oa_version: Published Version page: 5359-5376 project: - _id: 34a4ce89-11ca-11ed-8bc3-8cc37fb6e11f grant_number: F8512 name: Security and Privacy by Design for Complex Systems publication: 32nd USENIX Security Symposium publication_identifier: isbn: - '9781713879497' publication_status: published publisher: Usenix Association quality_controlled: '1' scopus_import: '1' status: public title: Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2023' ... --- _id: '14718' abstract: - lang: eng text: 'Binary decision diagrams (BDDs) are one of the fundamental data structures in formal methods and computer science in general. However, the performance of BDD-based algorithms greatly depends on memory latency due to the reliance on large hash tables and thus, by extension, on the speed of random memory access. This hinders the full utilisation of resources available on modern CPUs, since the absolute memory latency has not improved significantly for at least a decade. In this paper, we explore several implementation techniques that improve the performance of BDD manipulation either through enhanced memory locality or by partially eliminating random memory access. On a benchmark suite of 600+ BDDs derived from real-world applications, we demonstrate runtime that is comparable or better than parallelising the same operations on eight CPU cores. ' acknowledgement: "This work was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413 and the\r\n“VAMOS” grant ERC-2020-AdG 101020093." article_processing_charge: No author: - first_name: Samuel full_name: Pastva, Samuel id: 07c5ea74-f61c-11ec-a664-aa7c5d957b2b last_name: Pastva orcid: 0000-0003-1993-0331 - 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: 'Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20' apa: 'Pastva, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20' chicago: Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Wien Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20. ieee: S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131. ista: 'Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.' mla: Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20. short: S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–131. conference: end_date: 2023-10-27 location: Ames, IA, United States name: 'FMCAD: Formal Methods in Computer-Aided Design' start_date: 2023-10-25 corr_author: '1' das_tickbox: '1' date_created: 2023-12-31T23:01:03Z date_published: 2023-10-01T00:00:00Z date_updated: 2026-07-07T05:58:51Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.34727/2023/isbn.978-3-85448-060-0_20 ec_funded: 1 external_id: isi: - '001504402400020' file: - access_level: open_access checksum: 818d6e13dd508f3a04f0941081022e5d content_type: application/pdf creator: dernst date_created: 2024-01-02T08:14:23Z date_updated: 2024-01-02T08:14:23Z file_id: '14721' file_name: 2023_FMCAD_Pastva.pdf file_size: 524321 relation: main_file success: 1 file_date_updated: 2024-01-02T08:14:23Z fulldoi: https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 has_accepted_license: '1' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 122-131 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design publication_identifier: isbn: - '9783854480600' publication_status: published publisher: TU Wien Academic Press quality_controlled: '1' scopus_import: '1' status: public title: Binary decision diagrams on modern hardware 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 year: '2023' ... --- _id: '14799' abstract: - lang: eng text: "A round-robin study has been carried out to estimate the impact of the human element in small-angle scattering data analysis. Four corrected datasets were provided to participants ready for analysis. All datasets were measured on samples containing spherical scatterers, with two datasets in dilute dispersions and two from powders. Most of the 46 participants correctly identified the number of populations in the dilute dispersions, with half of the population\r\nmean entries within 1.5% and half of the population width entries within 40%. Due to the added complexity of the structure factor, far fewer people submitted answers on the powder datasets. For those that did, half of the entries for the means and widths were within 44 and 86%, respectively. This round-robin experiment highlights several causes for the discrepancies, for which solutions are proposed." acknowledgement: "KT acknowledges the NIST–NRC postdoctoral fellowship program for support. This work was partially funded through the European Metrology Programme for Innovation and Research (EMPIR) project No. 17NRM04.\r\nCertain commercial equipment, instruments, materials or software are identified in this article in order to specify the experimental procedure adequately. Such identification is not intended to imply recommendation or endorsement by NIST, nor is it intended to imply that the materials or equipment identified are necessarily the best available for the purpose. Open access funding enabled and organized by Projekt DEAL." article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Brian R. full_name: Pauw, Brian R. last_name: Pauw - first_name: Glen J. full_name: Smales, Glen J. last_name: Smales - first_name: Andy S. full_name: Anker, Andy S. last_name: Anker - first_name: Venkatasamy full_name: Annadurai, Venkatasamy last_name: Annadurai - first_name: Daniel full_name: Balazs, Daniel id: 302BADF6-85FC-11EA-9E3B-B9493DDC885E last_name: Balazs orcid: 0000-0001-7597-043X - first_name: Ralf full_name: Bienert, Ralf last_name: Bienert - first_name: Wim G. full_name: Bouwman, Wim G. last_name: Bouwman - first_name: Ingo full_name: Breßler, Ingo last_name: Breßler - first_name: Joachim full_name: Breternitz, Joachim last_name: Breternitz - first_name: Erik S. full_name: Brok, Erik S. last_name: Brok - first_name: Gary full_name: Bryant, Gary last_name: Bryant - first_name: Andrew J. full_name: Clulow, Andrew J. last_name: Clulow - first_name: Erin R. full_name: Crater, Erin R. last_name: Crater - first_name: Frédéric full_name: De Geuser, Frédéric last_name: De Geuser - first_name: Alessandra Del full_name: Giudice, Alessandra Del last_name: Giudice - first_name: Jérôme full_name: Deumer, Jérôme last_name: Deumer - first_name: Sabrina full_name: Disch, Sabrina last_name: Disch - first_name: Shankar full_name: Dutt, Shankar last_name: Dutt - first_name: Kilian full_name: Frank, Kilian last_name: Frank - first_name: Emiliano full_name: Fratini, Emiliano last_name: Fratini - first_name: Paulo R.A.F. full_name: Garcia, Paulo R.A.F. last_name: Garcia - first_name: Elliot P. full_name: Gilbert, Elliot P. last_name: Gilbert - first_name: Marc B. full_name: Hahn, Marc B. last_name: Hahn - first_name: James full_name: Hallett, James last_name: Hallett - first_name: Max full_name: Hohenschutz, Max last_name: Hohenschutz - first_name: Martin full_name: Hollamby, Martin last_name: Hollamby - first_name: Steven full_name: Huband, Steven last_name: Huband - first_name: Jan full_name: Ilavsky, Jan last_name: Ilavsky - first_name: Johanna K. full_name: Jochum, Johanna K. last_name: Jochum - first_name: Mikkel full_name: Juelsholt, Mikkel last_name: Juelsholt - first_name: Bradley W. full_name: Mansel, Bradley W. last_name: Mansel - first_name: Paavo full_name: Penttilä, Paavo last_name: Penttilä - first_name: Rebecca K. full_name: Pittkowski, Rebecca K. last_name: Pittkowski - first_name: Giuseppe full_name: Portale, Giuseppe last_name: Portale - first_name: Lilo D. full_name: Pozzo, Lilo D. last_name: Pozzo - first_name: Leonhard full_name: Rochels, Leonhard last_name: Rochels - first_name: Julian M. full_name: Rosalie, Julian M. last_name: Rosalie - first_name: Patrick E.J. full_name: Saloga, Patrick E.J. last_name: Saloga - first_name: Susanne full_name: Seibt, Susanne last_name: Seibt - first_name: Andrew J. full_name: Smith, Andrew J. last_name: Smith - first_name: Gregory N. full_name: Smith, Gregory N. last_name: Smith - first_name: Glenn A. full_name: Spiering, Glenn A. last_name: Spiering - first_name: Tomasz M. full_name: Stawski, Tomasz M. last_name: Stawski - first_name: Olivier full_name: Taché, Olivier last_name: Taché - first_name: Andreas F. full_name: Thünemann, Andreas F. last_name: Thünemann - first_name: Kristof full_name: Toth, Kristof last_name: Toth - first_name: Andrew E. full_name: Whitten, Andrew E. last_name: Whitten - first_name: Joachim full_name: Wuttke, Joachim last_name: Wuttke citation: ama: 'Pauw BR, Smales GJ, Anker AS, et al. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 2023;56(6):1618-1629. doi:10.1107/S1600576723008324' apa: 'Pauw, B. R., Smales, G. J., Anker, A. S., Annadurai, V., Balazs, D., Bienert, R., … Wuttke, J. (2023). The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. International Union of Crystallography. https://doi.org/10.1107/S1600576723008324' chicago: 'Pauw, Brian R., Glen J. Smales, Andy S. Anker, Venkatasamy Annadurai, Daniel Balazs, Ralf Bienert, Wim G. Bouwman, et al. “The Human Factor: Results of a Small-Angle Scattering Data Analysis Round Robin.” Journal of Applied Crystallography. International Union of Crystallography, 2023. https://doi.org/10.1107/S1600576723008324.' ieee: 'B. R. Pauw et al., “The human factor: Results of a small-angle scattering data analysis round robin,” Journal of Applied Crystallography, vol. 56, no. 6. International Union of Crystallography, pp. 1618–1629, 2023.' ista: 'Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.' mla: 'Pauw, Brian R., et al. “The Human Factor: Results of a Small-Angle Scattering Data Analysis Round Robin.” Journal of Applied Crystallography, vol. 56, no. 6, International Union of Crystallography, 2023, pp. 1618–29, doi:10.1107/S1600576723008324.' short: B.R. Pauw, G.J. Smales, A.S. Anker, V. Annadurai, D. Balazs, R. Bienert, W.G. Bouwman, I. Breßler, J. Breternitz, E.S. Brok, G. Bryant, A.J. Clulow, E.R. Crater, F. De Geuser, A.D. Giudice, J. Deumer, S. Disch, S. Dutt, K. Frank, E. Fratini, P.R.A.F. Garcia, E.P. Gilbert, M.B. Hahn, J. Hallett, M. Hohenschutz, M. Hollamby, S. Huband, J. Ilavsky, J.K. Jochum, M. Juelsholt, B.W. Mansel, P. Penttilä, R.K. Pittkowski, G. Portale, L.D. Pozzo, L. Rochels, J.M. Rosalie, P.E.J. Saloga, S. Seibt, A.J. Smith, G.N. Smith, G.A. Spiering, T.M. Stawski, O. Taché, A.F. Thünemann, K. Toth, A.E. Whitten, J. Wuttke, Journal of Applied Crystallography 56 (2023) 1618–1629. das_tickbox: '1' date_created: 2024-01-14T23:00:57Z date_published: 2023-12-01T00:00:00Z date_updated: 2026-07-07T06:18:55Z day: '01' ddc: - '540' department: - _id: LifeSc doi: 10.1107/S1600576723008324 external_id: arxiv: - '2303.03772' isi: - '001120776200002' file: - access_level: open_access checksum: dab30d4556360f2cecf99f4b7efb0ee9 content_type: application/pdf creator: dernst date_created: 2024-01-17T07:47:35Z date_updated: 2024-01-17T07:47:35Z file_id: '14822' file_name: 2023_JourApplCrystallography_Pauw.pdf file_size: 2165864 relation: main_file success: 1 file_date_updated: 2024-01-17T07:47:35Z fulldoi: https://doi.org/10.1107/S1600576723008324 has_accepted_license: '1' intvolume: ' 56' isi: 1 issue: '6' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 1618-1629 publication: Journal of Applied Crystallography publication_identifier: eissn: - 1600-5767 issn: - 0021-8898 publication_status: published publisher: International Union of Crystallography quality_controlled: '1' scopus_import: '1' status: public title: 'The human factor: Results of a small-angle scattering data analysis round robin' 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: 56 year: '2023' ... --- _id: '14243' abstract: - lang: eng text: 'Two-player zero-sum "graph games" are central in logic, verification, and multi-agent systems. The game proceeds by placing a token on a vertex of a graph, and allowing the players to move it to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In "bidding games", however, the players have budgets and in each turn, an auction (bidding) determines which player moves the token. So far, bidding games have only been studied as full-information games. In this work we initiate the study of partial-information bidding games: we study bidding games in which a player''s initial budget is drawn from a known probability distribution. We show that while for some bidding mechanisms and objectives, it is straightforward to adapt the results from the full-information setting to the partial-information setting, for others, the analysis is significantly more challenging, requires new techniques, and gives rise to interesting results. Specifically, we study games with "mean-payoff" objectives in combination with "poorman" bidding. We construct optimal strategies for a partially-informed player who plays against a fully-informed adversary. We show that, somewhat surprisingly, the "value" under pure strategies does not necessarily exist in such games.' acknowledgement: This research was supported in part by ISF grant no.1679/21, by the ERC CoG 863818 (ForM-SMArt), and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. article_processing_charge: No arxiv: 1 author: - first_name: Guy full_name: Avni, Guy id: 463C8BC2-F248-11E8-B48F-1D18A9856A87 last_name: Avni orcid: 0000-0001-5588-8287 - first_name: Ismael R full_name: Jecker, Ismael R id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425 last_name: Jecker - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. AAAI Press; 2023:5464-5471. doi:10.1609/aaai.v37i5.25679' apa: 'Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States: AAAI Press. https://doi.org/10.1609/aaai.v37i5.25679' chicago: Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71. AAAI Press, 2023. https://doi.org/10.1609/aaai.v37i5.25679. ieee: G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471. ista: 'Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.' mla: Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, AAAI Press, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679. short: G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 2023, pp. 5464–5471. conference: end_date: 2023-02-14 location: Washington, DC, United States name: 'AAAI: Conference on Artificial Intelligence' start_date: 2023-02-07 das_tickbox: '1' date_created: 2023-08-27T22:01:18Z date_published: 2023-06-27T00:00:00Z date_updated: 2026-07-07T06:24:15Z day: '27' ddc: - '000' department: - _id: ToHe - _id: KrCh doi: 10.1609/aaai.v37i5.25679 ec_funded: 1 external_id: arxiv: - '2211.13626' fulldoi: https://doi.org/10.1609/aaai.v37i5.25679 intvolume: ' 37' issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1609/aaai.v37i5.25679 month: '06' oa: 1 oa_version: Published Version page: 5464-5471 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: Proceedings of the 37th AAAI Conference on Artificial Intelligence publication_identifier: isbn: - '9781577358800' publication_status: published publisher: AAAI Press quality_controlled: '1' scopus_import: '1' status: public title: Bidding graph games with partially-observable budgets type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 37 year: '2023' ...