--- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20223' abstract: - lang: eng text: The first influential hypothesis for sex chromosome evolution was proposed in 1914 by H. J. Muller, who argued that once recombination was suppressed between the X and Y chromosomes, Y-linked genes become “sheltered” from selection, leading to accumulation of recessive loss-of-function (LOF) mutations and decay of Y-linked genes. The hypothesis fell out of favor in the 1970s because early mathematical models failed to support it and data on the dominance of lethal mutations were viewed as incompatible with the hypothesis. We reevaluate the main arguments against Muller's hypothesis and find that they do not conclusively exclude a role for sheltering in sex chromosome evolution. By relaxing restrictive assumptions of earlier models, we show that sheltering promotes fixation of LOF mutations with sexually dimorphic fitness effects, resulting in decay of X-linked genes that are exclusively expressed by males and Y-linked genes that are primarily, though not necessarily exclusively, expressed by females. We further show that drift and other processes contributing to Y degeneration (i.e. selective interference and regulatory evolution) expand conditions of Y-linked gene loss by sheltering. The actual contribution of sheltering to sex chromosome evolution hinges upon the distribution of dominance and sex-specific fitness effects of LOF mutations, which we discuss. acknowledged_ssus: - _id: ScienComp acknowledgement: We thank Filip Ruzicka, Colin Olito, Akane Uesugi, Melissa Toups, Daniel Jeffries, the Associate Editor, and anonymous reviewers, for comments and suggestions on earlier versions of the paper. We are particularly grateful to Deborah Charlesworth and Brian Charlesworth for extensive comments on two different drafts of the manuscript. We also thank Aneil Agrawal and Thomas Lenormand for email correspondence about the data on dominance and ways to interpret it. Technical support was provided by ISTA Scientific Computing Unit. article_number: msaf177 article_processing_charge: Yes article_type: original author: - first_name: Andrea full_name: Mrnjavac, Andrea id: 353FAC84-AE61-11E9-8BFC-00D3E5697425 last_name: Mrnjavac - first_name: Beatriz full_name: Vicoso, Beatriz id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87 last_name: Vicoso orcid: 0000-0002-4579-8306 - first_name: Tim full_name: Connallon, Tim last_name: Connallon citation: ama: Mrnjavac A, Vicoso B, Connallon T. An extension of Muller’s sheltering hypothesis for the evolution of sex chromosome gene content. Molecular Biology and Evolution. 2025;42(8). doi:10.1093/molbev/msaf177 apa: Mrnjavac, A., Vicoso, B., & Connallon, T. (2025). An extension of Muller’s sheltering hypothesis for the evolution of sex chromosome gene content. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msaf177 chicago: Mrnjavac, Andrea, Beatriz Vicoso, and Tim Connallon. “An Extension of Muller’s Sheltering Hypothesis for the Evolution of Sex Chromosome Gene Content.” Molecular Biology and Evolution. Oxford University Press, 2025. https://doi.org/10.1093/molbev/msaf177. ieee: A. Mrnjavac, B. Vicoso, and T. Connallon, “An extension of Muller’s sheltering hypothesis for the evolution of sex chromosome gene content,” Molecular Biology and Evolution, vol. 42, no. 8. Oxford University Press, 2025. ista: Mrnjavac A, Vicoso B, Connallon T. 2025. An extension of Muller’s sheltering hypothesis for the evolution of sex chromosome gene content. Molecular Biology and Evolution. 42(8), msaf177. mla: Mrnjavac, Andrea, et al. “An Extension of Muller’s Sheltering Hypothesis for the Evolution of Sex Chromosome Gene Content.” Molecular Biology and Evolution, vol. 42, no. 8, msaf177, Oxford University Press, 2025, doi:10.1093/molbev/msaf177. short: A. Mrnjavac, B. Vicoso, T. Connallon, Molecular Biology and Evolution 42 (2025). date_created: 2025-08-24T22:01:31Z date_published: 2025-08-01T00:00:00Z date_updated: 2025-09-30T14:25:57Z day: '01' ddc: - '570' department: - _id: BeVi doi: 10.1093/molbev/msaf177 external_id: isi: - '001547617100001' pmid: - '40713898' file: - access_level: open_access checksum: f40abffa56cb1e9ff65800f2a7d7b39a content_type: application/pdf creator: dernst date_created: 2025-09-02T07:47:32Z date_updated: 2025-09-02T07:47:32Z file_id: '20274' file_name: 2025_MolecularBioEvolution_Mrnjavac.pdf file_size: 1239841 relation: main_file success: 1 file_date_updated: 2025-09-02T07:47:32Z has_accepted_license: '1' intvolume: ' 42' isi: 1 issue: '8' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Molecular Biology and Evolution publication_identifier: eissn: - 1537-1719 issn: - 0737-4038 publication_status: published publisher: Oxford University Press quality_controlled: '1' related_material: link: - relation: software url: https://git.ista.ac.at/bvicoso/xydegenerate scopus_import: '1' status: public title: An extension of Muller's sheltering hypothesis for the evolution of sex chromosome gene content tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 42 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20224' abstract: - lang: eng text: "Traffic in datacenters may follow some pattern: some pairs of servers communicate more frequently than others. Demand-oblivious networks may perform poorly for such workloads, and demand-aware networks optimized for traffic should be used instead. Unfortunately, not all shapes of networks are feasible in real hardware. Practical limitations are usually provided in the form of a topology. For example, a network may be required to be a binary tree, a bounded-degree graph or a Fat tree.\r\nIn this work, we consider a topology of a binary tree, one of the most fundamental network topologies. We show that already finding an optimal demand-aware binary tree network is NP-hard. Then, we explore how various optimization techniques, including simple local searches, as well as deterministic mutation and crossover operators, cope with generating efficient tree networks on real-life and synthetic workloads." acknowledgement: Research was supported by the German Research Foundation (DFG), grant 470029389 (FlexNets). article_processing_charge: Yes (in subscription journal) author: - first_name: Pavel full_name: Martynov, Pavel last_name: Martynov - first_name: Maxim full_name: Buzdalov, Maxim last_name: Buzdalov - first_name: Sergei full_name: Pankratov, Sergei id: f773bf05-72ef-11ef-b75a-a383d22f454b last_name: Pankratov - first_name: Vitaliy full_name: Aksenov, Vitaliy last_name: Aksenov - first_name: Stefan full_name: Schmid, Stefan last_name: Schmid citation: ama: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. In the search of optimal tree networks: Hardness and heuristics. In: Proceedings of the 2025 Genetic and Evolutionary Computation Conference. Association for Computing Machinery; 2025:249-257. doi:10.1145/3712256.3726425' apa: 'Martynov, P., Buzdalov, M., Pankratov, S., Aksenov, V., & Schmid, S. (2025). In the search of optimal tree networks: Hardness and heuristics. In Proceedings of the 2025 Genetic and Evolutionary Computation Conference (pp. 249–257). Malaga, Spain: Association for Computing Machinery. https://doi.org/10.1145/3712256.3726425' chicago: 'Martynov, Pavel, Maxim Buzdalov, Sergei Pankratov, Vitaliy Aksenov, and Stefan Schmid. “In the Search of Optimal Tree Networks: Hardness and Heuristics.” In Proceedings of the 2025 Genetic and Evolutionary Computation Conference, 249–57. Association for Computing Machinery, 2025. https://doi.org/10.1145/3712256.3726425.' ieee: 'P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, and S. Schmid, “In the search of optimal tree networks: Hardness and heuristics,” in Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Malaga, Spain, 2025, pp. 249–257.' ista: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. 2025. In the search of optimal tree networks: Hardness and heuristics. Proceedings of the 2025 Genetic and Evolutionary Computation Conference. GECCO: Genetic and evolutionary computation conference, 249–257.' mla: 'Martynov, Pavel, et al. “In the Search of Optimal Tree Networks: Hardness and Heuristics.” Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–57, doi:10.1145/3712256.3726425.' short: P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257. conference: end_date: 2025-07-18 location: Malaga, Spain name: 'GECCO: Genetic and evolutionary computation conference' start_date: 2025-07-14 date_created: 2025-08-24T22:01:31Z date_published: 2025-07-13T00:00:00Z date_updated: 2025-12-01T12:35:24Z day: '13' ddc: - '000' department: - _id: DaAl doi: 10.1145/3712256.3726425 external_id: isi: - '001556459900031' file: - access_level: open_access checksum: 7e513fa508cff7e8a0d33f50b1fe09af content_type: application/pdf creator: dernst date_created: 2025-09-02T07:41:13Z date_updated: 2025-09-02T07:41:13Z file_id: '20273' file_name: 2025_GECCO_Martynov.pdf file_size: 608996 relation: main_file success: 1 file_date_updated: 2025-09-02T07:41:13Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 249-257 publication: Proceedings of the 2025 Genetic and Evolutionary Computation Conference publication_identifier: isbn: - '9798400714658' publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'In the search of optimal tree networks: Hardness and heuristics' 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: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20225' abstract: - lang: eng text: "We present the first supermartingale certificate for quantitative \r\n-regular properties of discrete-time infinite-state stochastic systems. Our certificate is defined on the product of the stochastic system and a limit-deterministic Büchi automaton that specifies the property of interest; hence we call it a limit-deterministic Büchi supermartingale (LDBSM). Previously known supermartingale certificates applied only to quantitative reachability, safety, or reach-avoid properties, and to qualitative (i.e., probability 1) \r\n-regular properties.We also present fully automated algorithms for the template-based synthesis of LDBSMs, for the case when the stochastic system dynamics and the controller can be represented in terms of polynomial inequalities. Our experiments demonstrate the ability of our method to solve verification and control tasks for stochastic systems that were beyond the reach of previous supermartingale-based approaches." acknowledgement: This work was supported in part by the Singapore Ministry of Education (MOE) Academic Research Fund (AcRF) Tier 1 grant (Project ID:22-SIS-SMU-100) and the ERC project ERC-2020-AdG 101020093. alternative_title: - LNCS article_processing_charge: Yes (in subscription journal) arxiv: 1 author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Kaushik full_name: Mallik, Kaushik id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598 last_name: Mallik orcid: 0000-0001-9864-7475 - first_name: Pouya full_name: Sadeghi, Pouya last_name: Sadeghi - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55. doi:10.1007/978-3-031-98679-6_2' apa: 'Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale certificates for quantitative omega-regular verification and control. In 37th International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2' chicago: Henzinger, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” In 37th International Conference on Computer Aided Verification, 15932:29–55. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98679-6_2. ieee: T. A. Henzinger, K. Mallik, P. Sadeghi, and D. Zikelic, “Supermartingale certificates for quantitative omega-regular verification and control,” in 37th International Conference on Computer Aided Verification, Zagreb, Croatia, 2025, vol. 15932, pp. 29–55. ista: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. 2025. Supermartingale certificates for quantitative omega-regular verification and control. 37th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15932, 29–55.' mla: Henzinger, Thomas A., et al. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” 37th International Conference on Computer Aided Verification, vol. 15932, Springer Nature, 2025, pp. 29–55, doi:10.1007/978-3-031-98679-6_2. short: T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55. conference: end_date: 2025-07-25 location: Zagreb, Croatia name: 'CAV: Computer Aided Verification' start_date: 2025-07-23 date_created: 2025-08-24T22:01:31Z date_published: 2025-07-22T00:00:00Z date_updated: 2025-12-01T12:34:41Z day: '22' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-031-98679-6_2 ec_funded: 1 external_id: arxiv: - '2505.18833' isi: - '001562506600002' file: - access_level: open_access checksum: beb1e2637de5b2268cc2262119439113 content_type: application/pdf creator: dernst date_created: 2025-09-02T07:34:33Z date_updated: 2025-09-02T07:34:33Z file_id: '20272' file_name: 2025_CAV_HenzingerT.pdf file_size: 884831 relation: main_file success: 1 file_date_updated: 2025-09-02T07:34:33Z has_accepted_license: '1' intvolume: ' 15932' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 29-55 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 37th International Conference on Computer Aided Verification publication_identifier: eissn: - 1611-3349 isbn: - '9783031986789' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Supermartingale certificates for quantitative omega-regular verification and control tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15932 year: '2025' ... --- OA_place: publisher _id: '20234' abstract: - lang: eng text: "Game Theory is the mathematical formalization of social dynamics - systems where agents interact over time and the evolution of the state of the system depends on the decisions of every player. \r\nThis thesis takes the perspective of a single player and focuses on what they can guarantee in the worst case over the behavior of other players.\r\nIn other words, we consider that the objective of every other player in the game is exactly the opposite to the player.\r\nWe focus on sustained interactions over time, where the players repeatedly obtain quantitative rewards over time, and they are interested in maximizing their long-term performance.\t\r\nFormally, this thesis focuses on zero-sum games with the liminf average objective.\r\nTwo fundamental questions that Game Theory aims to answer are the following.\r\n\r\n1. How much can a player guarantee to obtain after the interaction?\r\n\r\n2. How to act in order to obtain the previously mentioned guarantee?\r\n\r\nThese questions are formalized by the concepts of \"value\" and \"optimal strategies\". \t\r\nWe study their properties on games that exhibit one or more of the following properties. \r\n\r\n1. Partial Observation: \r\nthe players can not perfectly observe the current state of the system during the game. We consider the model of (finite) Partially Observable Markov Decision Processes and prove that finite-memory strategies are sufficient to approximately guarantee the value.\r\n\r\n2. Perturbed Description: \r\nthe formal description of the game is perturbed by a small parameter.\r\nWe consider the model of (finite) Perturbed Matrix Games, and provide algorithms to check various robustness properties and to compute the parameterized value and optimal strategies.\r\n\r\n3. Stochastic Transitions: \r\nthe actions of the players determine the behavior of the evolution of the system, described as a probability distribution over the next state.\r\nWe consider the model of (finite) Perturbed Stochastic Games and provide formulas for the marginal value.\r\n\r\n4. Infinite States: \r\nthe system can be in infinitely many states.\r\nWe consider the model of Random Dynamic Games on a class of infinite graphs, prove the existence of the value, and quantify the concentration of finite-horizon values." acknowledgement: "Funding sources The works included in this thesis were partially supported by:\r\n• Austrian Science Fund (FWF), grants 10.55776/COE12 and No RiSE/SHiNE S11407,\r\n• French Agence Nationale de la Recherche (ANR), grants ANR-21-CE40-0020 (CONVERGENCE) and ANR-20-CE40-0002 (GrHyDy),\r\n• Fondation Mathématique Jaques Hadamard, grant PGMO RSG 2018-0031H,\r\n• European Research Council (ERC), Consolidator grant 863818 (ForM-SMArt),\r\n• Agencia Nacional de Investigación y Desarrollo (ANID Chile), grant ACT210005,\r\n• Fondo Nacional de Desarrollo Científico y Tecnológico (Fondecyt Chile), grant 1220174,\r\n• Comisión Nacional de Investigación Científica y Tecnológica (CONICYT Chile), grant\r\nPII 20150140,\r\n• Evaluation-orientation de la Coopération Scientifique and Comisión Nacional de Investigación Científica y Tecnológica (ECOS-CONICYT), grant C15E03,\r\n• European Cooperation in Science and Technology (E-COST), grants CA16228 - European\r\nNetwork for Game Theory (GAMENET) and E-COST-GRANT-CA16228-c5a69859.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X citation: ama: 'Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234' apa: 'Saona Urmeneta, R. J. (2025). Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234' chicago: 'Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.' ieee: 'R. J. Saona Urmeneta, “Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games,” Institute of Science and Technology Austria, 2025.' ista: 'Saona Urmeneta RJ. 2025. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria.' mla: 'Saona Urmeneta, Raimundo J. Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20234.' short: 'R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-08-27T14:00:13Z date_published: 2025-08-27T00:00:00Z date_updated: 2026-04-07T12:31:22Z day: '27' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-20234 ec_funded: 1 file: - access_level: open_access checksum: 394a651f7de7085e509ef856ffe7bd97 content_type: application/pdf creator: rsaonaur date_created: 2025-08-28T14:47:07Z date_updated: 2025-08-28T14:47:07Z file_id: '20240' file_name: 2025_Saona_Raimundo_Thesis.pdf file_size: 1503623 relation: main_file success: 1 - access_level: closed checksum: 09fb2633e66aac80433d373f4180c5b4 content_type: application/zip creator: rsaonaur date_created: 2025-08-28T14:47:12Z date_updated: 2025-08-28T14:47:12Z file_id: '20241' file_name: 2025_Saona_Raimundo_Thesis.zip file_size: 622747 relation: source_file file_date_updated: 2025-08-28T14:47:12Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '125' project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9311' relation: part_of_dissertation status: public - id: '17037' relation: part_of_dissertation status: public - id: '18266' relation: part_of_dissertation status: public - id: '19508' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X title: 'Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- _id: '20242' abstract: - lang: eng text: "This repository contains calculations of carbon footprints of NMR conferences, as described in the article by \r\nLucky N. Kapoor, Natalia Ruzickova, Predrag Živadinović, Valentin Leitner, Maria Anna Sisak, Cecelia Mweka, Jeroen Dobbelaere, Georgios Katsaros, and Paul Schanda\r\nPublished in Magnetic Resonance, 2025." article_processing_charge: No author: - first_name: Paul full_name: Schanda, Paul id: 7B541462-FAF6-11E9-A490-E8DFE5697425 last_name: Schanda orcid: 0000-0002-9350-7606 citation: ama: 'Schanda P. Data of: “Quantifying the carbon footprint of conference travel: the case of NMR meetings.” 2025. doi:10.15479/AT-ISTA-20242' apa: 'Schanda, P. (2025). Data of: “Quantifying the carbon footprint of conference travel: the case of NMR meetings.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20242' chicago: 'Schanda, Paul. “Data of: ‘Quantifying the Carbon Footprint of Conference Travel: The Case of NMR Meetings.’” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20242.' ieee: 'P. Schanda, “Data of: ‘Quantifying the carbon footprint of conference travel: the case of NMR meetings.’” Institute of Science and Technology Austria, 2025.' ista: 'Schanda P. 2025. Data of: ‘Quantifying the carbon footprint of conference travel: the case of NMR meetings’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20242.' mla: 'Schanda, Paul. Data of: “Quantifying the Carbon Footprint of Conference Travel: The Case of NMR Meetings.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20242.' short: P. Schanda, (2025). contributor: - contributor_type: researcher first_name: Natalia id: D2761128-D73D-11E9-A1BF-BA0DE6697425 last_name: Ruzickova - contributor_type: researcher first_name: Lucky id: 84b9700b-15b2-11ec-abd3-831089e67615 last_name: Kapoor - contributor_type: researcher first_name: Valentin id: 4c665ce3-0016-11ec-bea0-e44de7a4fa3d last_name: Leitner - contributor_type: researcher first_name: Predrag id: 68AA0E5A-AFDA-11E9-9994-141DE6697425 last_name: Zivadinovic - contributor_type: researcher first_name: Maria A id: 44A03D04-AEA4-11E9-B225-EA2DE6697425 last_name: Sisak - contributor_type: researcher first_name: Cecelia N id: 2a69ab4b-896a-11ed-bdf8-cb8641cf2b21 last_name: Mweka - contributor_type: supervisor first_name: Jeroen A id: c15a5412-de82-11ed-b809-8dc1aa996e40 last_name: Dobbelaere - contributor_type: supervisor first_name: Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros orcid: 0000-0001-8342-202X corr_author: '1' date_created: 2025-08-31T15:14:18Z date_published: 2025-09-01T00:00:00Z date_updated: 2026-06-10T08:45:12Z department: - _id: PaSc doi: 10.15479/AT-ISTA-20242 file: - access_level: open_access checksum: 055044b03f835cb98c45d0504f1db96e content_type: application/zip creator: pschanda date_created: 2025-08-31T15:09:44Z date_updated: 2025-08-31T15:09:44Z file_id: '20244' file_name: Abstracts.zip file_size: 42368943 relation: main_file success: 1 - access_level: open_access checksum: 1492683af736ac65088b77e12b52c3b0 content_type: application/zip creator: pschanda date_created: 2025-08-31T15:11:58Z date_updated: 2025-08-31T15:11:58Z file_id: '20245' file_name: data_CO2_conferences.zip file_size: 470659 relation: main_file success: 1 - access_level: open_access checksum: 8ac69071f7508e77b5ca91fa5018339a content_type: application/zip creator: pschanda date_created: 2025-08-31T15:12:03Z date_updated: 2025-08-31T15:12:03Z file_id: '20246' file_name: Figure6_predictions.zip file_size: 1138772 relation: main_file success: 1 - access_level: open_access checksum: 19b77db247feecdc36fbe6f68d94a76d content_type: text/x-python-script creator: pschanda date_created: 2025-08-31T15:12:07Z date_updated: 2025-08-31T15:12:07Z file_id: '20247' file_name: ExcelFileAnalysisCode.py file_size: 6558 relation: main_file success: 1 - access_level: open_access checksum: 39655e28c6df523f4f9662dc58c94623 content_type: application/pdf creator: pschanda date_created: 2025-08-31T15:12:11Z date_updated: 2025-08-31T15:12:11Z file_id: '20248' file_name: emissions_spectrometers_and_Parisgoal.pdf file_size: 1107467 relation: main_file success: 1 - access_level: open_access checksum: 2e9a9460b3f2abe7e46179561a63492b content_type: application/octet-stream creator: pschanda date_created: 2025-09-01T11:05:27Z date_updated: 2025-09-01T11:05:27Z file_id: '20263' file_name: README file_size: 3994 relation: main_file success: 1 file_date_updated: 2025-09-01T11:05:27Z has_accepted_license: '1' keyword: - sustainability - conference travel month: '09' oa: 1 oa_version: Published Version publisher: Institute of Science and Technology Austria related_material: record: - id: '20664' relation: used_in_publication status: public status: public title: 'Data of: "Quantifying the carbon footprint of conference travel: the case of NMR meetings"' tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: research_data user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20249' abstract: - lang: eng text: We develop a heuristic for the density of integer points on affine cubic surfaces. Our heuristic applies to smooth surfaces defined by cubic polynomials that are log K3, but it can also be adjusted to handle singular cubic surfaces. We compare our heuristic to Heath-Brown’s prediction for sums of three cubes, as well as to asymptotic formulae in the literature around Zagier’s work on the Markoff cubic surface, and work of Baragar and Umeda on further surfaces of Markoff-type. We also test our heuristic against numerical data for several families of cubic surfaces. acknowledgement: "The authors owe a debt of thanks to Yonatan Harpaz for asking about circle method heuristics for log K3 surfaces. His contribution to the resulting discussion is gratefully acknowledged. Thanks are also due to Andrew Sutherland for help with numerical data for the equation x^3 + y^3 + z^3 = 1, together with Alex Gamburd, Amit Ghosh, Peter Sarnak and Matteo Verzobio for their interest in this paper. Special thanks are due to Victor Wang for helpful conversations about the circle method heuristics and to the anonymous referee for several useful comments. While working on this paper, the authors were supported by a FWF grant (DOI 10.55776/P32428), and the first author was supported by a further FWF grant (DOI 10.55776/P36278) and a grant from the School of Mathematics at the Institute for Advanced Study in Princeton.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria)." article_number: '81' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Florian Alexander full_name: Wilsch, Florian Alexander id: 560601DA-8D36-11E9-A136-7AC1E5697425 last_name: Wilsch orcid: 0000-0001-7302-8256 citation: ama: 'Browning TD, Wilsch FA. Integral points on cubic surfaces: heuristics and numerics. Selecta Mathematica New Series. 2025;31(4). doi:10.1007/s00029-025-01074-1' apa: 'Browning, T. D., & Wilsch, F. A. (2025). Integral points on cubic surfaces: heuristics and numerics. Selecta Mathematica New Series. Springer Nature. https://doi.org/10.1007/s00029-025-01074-1' chicago: 'Browning, Timothy D, and Florian Alexander Wilsch. “Integral Points on Cubic Surfaces: Heuristics and Numerics.” Selecta Mathematica New Series. Springer Nature, 2025. https://doi.org/10.1007/s00029-025-01074-1.' ieee: 'T. D. Browning and F. A. Wilsch, “Integral points on cubic surfaces: heuristics and numerics,” Selecta Mathematica New Series, vol. 31, no. 4. Springer Nature, 2025.' ista: 'Browning TD, Wilsch FA. 2025. Integral points on cubic surfaces: heuristics and numerics. Selecta Mathematica New Series. 31(4), 81.' mla: 'Browning, Timothy D., and Florian Alexander Wilsch. “Integral Points on Cubic Surfaces: Heuristics and Numerics.” Selecta Mathematica New Series, vol. 31, no. 4, 81, Springer Nature, 2025, doi:10.1007/s00029-025-01074-1.' short: T.D. Browning, F.A. Wilsch, Selecta Mathematica New Series 31 (2025). corr_author: '1' date_created: 2025-08-31T22:01:31Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-09-30T14:29:25Z day: '01' ddc: - '500' department: - _id: TiBr doi: 10.1007/s00029-025-01074-1 external_id: arxiv: - '2407.16315' isi: - '001552779800001' file: - access_level: open_access checksum: 89352f1f7e8d2b367ae5f4e9bf9eb1f5 content_type: application/pdf creator: dernst date_created: 2025-09-03T06:44:44Z date_updated: 2025-09-03T06:44:44Z file_id: '20281' file_name: 2025_SelectaMathematica_Browning.pdf file_size: 2484757 relation: main_file success: 1 file_date_updated: 2025-09-03T06:44:44Z has_accepted_license: '1' intvolume: ' 31' isi: 1 issue: '4' language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 26AEDAB2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P32428 name: New frontiers of the Manin conjecture - _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3 grant_number: P36278 name: Rational curves via function field analytic number theory publication: Selecta Mathematica New Series publication_identifier: eissn: - 1420-9020 issn: - 1022-1824 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: 'Integral points on cubic surfaces: heuristics and numerics' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 31 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20250' abstract: - lang: eng text: "Population III stars are possible precursors to early supermassive black holes (BHs). The presence of soft UV Lyman–Werner (LW) background radiation can suppress Population III star formation in minihaloes and allow them to form in pristine atomic-cooling haloes. In the absence of molecular hydrogen (⁠H2⁠) cooling, atomic-cooling haloes enable rapid collapse with suppressed fragmentation. High background LW fluxes from preceding star-formation have been proposed to dissociate H2⁠. This flux can be supplemented by LW radiation from one or more Population III star(s) in the same halo, reducing the necessary background level. Here, we consider atomic-cooling haloes in which multiple protostellar cores form close to one another nearly simultaneously. We assess whether the first star’s LW radiation can dissociate nearby \r\n⁠, enabling rapid accretion on to a nearby protostellar core, and the prompt formation of a second, supermassive star (SMS) from warm, atomically-cooled gas. We use a set of hydrodynamical simulations with the code enzo, with identical LW backgrounds centred on a halo with two adjacent collapsing gas clumps. When an additional large local LW flux is introduced, we observe immediate reductions in both the accretion rates and the stellar masses that form within these clumps. While the LW flux reduces the H2 fraction and increases the gas temperature, the halo core’s potential well is too shallow to promptly heat the gas to >1000 K and increase the second protostar’s accretion rate. We conclude that this internal LW feedback scenario is unlikely to facilitate SMS or massive BH seed formation." acknowledgement: We thank the anonymous referee for comments that helped us improve the clarity of this manuscript. We acknowledge support from the United States National Science Foundation (NSF) grant AST-2006176 and the National Aeronautics and Space Administration (NASA) grants 80NSSC24K0440 and 80NSSC22K0822 (ZH). We also acknowledge support from NSF grant AST-2009309, NASA Astrophysics Theory Program grant 80NSSC22K0629, and Space Telescope Science Institute grant JWST-AR-05238 (EV). The simulations in this work were run on Texas Advanced Computing Center’s Stampede2 and Stampede3 systems. We used Stampede2 and Purdue University’s computing system Anvil for data analysis. article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: James full_name: Sullivan, James last_name: Sullivan - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman orcid: 0000-0003-3633-5403 - first_name: Mihir full_name: Kulkarni, Mihir last_name: Kulkarni - first_name: Eli full_name: Visbal, Eli last_name: Visbal citation: ama: Sullivan J, Haiman Z, Kulkarni M, Visbal E. Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the Royal Astronomical Society. 2025;542(2):822-838. doi:10.1093/mnras/staf1269 apa: Sullivan, J., Haiman, Z., Kulkarni, M., & Visbal, E. (2025). Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/staf1269 chicago: Sullivan, James, Zoltán Haiman, Mihir Kulkarni, and Eli Visbal. “Can Supermassive Stars Form in Protogalaxies Due to Internal Lyman-Werner Feedback?” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2025. https://doi.org/10.1093/mnras/staf1269. ieee: J. Sullivan, Z. Haiman, M. Kulkarni, and E. Visbal, “Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback?,” Monthly Notices of the Royal Astronomical Society, vol. 542, no. 2. Oxford University Press, pp. 822–838, 2025. ista: Sullivan J, Haiman Z, Kulkarni M, Visbal E. 2025. Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the Royal Astronomical Society. 542(2), 822–838. mla: Sullivan, James, et al. “Can Supermassive Stars Form in Protogalaxies Due to Internal Lyman-Werner Feedback?” Monthly Notices of the Royal Astronomical Society, vol. 542, no. 2, Oxford University Press, 2025, pp. 822–38, doi:10.1093/mnras/staf1269. short: J. Sullivan, Z. Haiman, M. Kulkarni, E. Visbal, Monthly Notices of the Royal Astronomical Society 542 (2025) 822–838. date_created: 2025-08-31T22:01:31Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-09-30T14:28:05Z day: '01' ddc: - '520' department: - _id: ZoHa doi: 10.1093/mnras/staf1269 external_id: arxiv: - '2501.12986' isi: - '001553472000001' file: - access_level: open_access checksum: 2a06796b27da0b33d479dba170ba4b3f content_type: application/pdf creator: dernst date_created: 2025-09-03T05:44:47Z date_updated: 2025-09-03T05:44:47Z file_id: '20279' file_name: 2025_MonthlyNoticesRAS_Sullivan.pdf file_size: 2780496 relation: main_file success: 1 file_date_updated: 2025-09-03T05:44:47Z has_accepted_license: '1' intvolume: ' 542' isi: 1 issue: '2' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 822-838 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback? tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 542 year: '2025' ... --- OA_place: repository OA_type: green _id: '20251' abstract: - lang: eng text: The Lane–Emden inequality controls (math. formular) in terms of the L^1 and L^p norms of p. We provide a remainder estimate for this inequality in terms of a suitable distance of p to the manifold of optimizers. acknowledgement: We are grateful to Rupert Frank and Enno Lenzmann for helpful discussions. article_number: '226' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Eric full_name: Carlen, Eric last_name: Carlen - first_name: Mathieu full_name: Lewin, Mathieu last_name: Lewin - first_name: Elliott H. full_name: Lieb, Elliott H. last_name: Lieb - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: Carlen E, Lewin M, Lieb EH, Seiringer R. Stability estimate for the Lane–Emden inequality. Calculus of Variations and Partial Differential Equations. 2025;64(7). doi:10.1007/s00526-025-03062-x apa: Carlen, E., Lewin, M., Lieb, E. H., & Seiringer, R. (2025). Stability estimate for the Lane–Emden inequality. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-025-03062-x chicago: Carlen, Eric, Mathieu Lewin, Elliott H. Lieb, and Robert Seiringer. “Stability Estimate for the Lane–Emden Inequality.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2025. https://doi.org/10.1007/s00526-025-03062-x. ieee: E. Carlen, M. Lewin, E. H. Lieb, and R. Seiringer, “Stability estimate for the Lane–Emden inequality,” Calculus of Variations and Partial Differential Equations, vol. 64, no. 7. Springer Nature, 2025. ista: Carlen E, Lewin M, Lieb EH, Seiringer R. 2025. Stability estimate for the Lane–Emden inequality. Calculus of Variations and Partial Differential Equations. 64(7), 226. mla: Carlen, Eric, et al. “Stability Estimate for the Lane–Emden Inequality.” Calculus of Variations and Partial Differential Equations, vol. 64, no. 7, 226, Springer Nature, 2025, doi:10.1007/s00526-025-03062-x. short: E. Carlen, M. Lewin, E.H. Lieb, R. Seiringer, Calculus of Variations and Partial Differential Equations 64 (2025). date_created: 2025-08-31T22:01:31Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-09-30T14:27:35Z day: '01' department: - _id: RoSe doi: 10.1007/s00526-025-03062-x external_id: arxiv: - '2410.20113' isi: - '001558641300006' intvolume: ' 64' isi: 1 issue: '7' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2410.20113 month: '09' oa: 1 oa_version: Preprint publication: Calculus of Variations and Partial Differential Equations publication_identifier: eissn: - 1432-0835 issn: - 0944-2669 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Stability estimate for the Lane–Emden inequality type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 64 year: '2025' ... --- OA_place: repository OA_type: green _id: '20252' abstract: - lang: eng text: Zirconia nanocrystals (ZrO2 NCs) are a stable host material for lanthanides, but their performance lags behind that of the leading NaYF4 nanomaterials. Here, we leverage surface chemistry and core/shell architectures to uncover the contribution of dopants at the nanocrystal surface and of dopants in the nanocrystal bulk. We first assess the doping efficiency by ICP and find that, while Eu is almost quantitatively incorporated, the other lanthanides (La, Ce, Tb, Tm, Er, Yb) have about 50% incorporation efficiency over the studied doping range of 1–10%. We then determine the nanocrystal surface chemistry using NMR spectroscopy, despite the additional spectral line broadening caused by the paramagnetic lanthanide dopants. By varying the surface ligands and measuring the photoluminescence, we resolve the spectroscopic signals that are sensitive to a change in surface chemistry. Time-resolved emission spectra further reinforce the notion of a bulk component with a long luminescent lifetime and a surface component with a fast lifetime. Upon shelling Eu- or Tb-doped zirconia NCs with pure zirconia, the surface component disappears, and the photoluminescence quantum yield increases. We further functionalized the surface of the core/shell particles with oleylphosphonic acid ligands to obtain excellent dispersibility. These results show that lanthanide-doped zirconia NCs can be engineered to eliminate deactivation pathways. acknowledged_ssus: - _id: EM-Fac acknowledgement: N.R. and C.S. thank the SNSF Eccellenza funding scheme (Project 194172) for funding. D.V.d.H. is supported by the Research Foundation Flanders (FWO) through a Senior Postdoctoral Research Fellowship (N° 1237825N). P.F.S. acknowledges the Special Research Fund at UGent (bof/baf/4y/2024/01/037). M.I. acknowledges financial support from ISTA and the Werner Siemens Foundation. This research was supported by the Scientific Service Units (SSU) of ISTA Austria through resources provided by the electron microscopy facility (EMF). We thank Tommaso Costanzo for providing assistance during STEM measurements. We acknowledge DESY (Hamburg, Germany), a member of the Helmholtz Association HGF, for the provision of experimental facilities. Parts of this research were carried out using beamline P21.1 at PETRA III, and the authors thank Ann-Christin Dippel, Jiatu Liu, and Fernando Igoa for assistance in using the beamline for PDF acquisition (Proposal I-20231114 EC). The authors thank Daniel Häussinger for help with the analysis of NMR spectra. article_processing_charge: No article_type: original author: - first_name: Nico full_name: Reichholf, Nico last_name: Reichholf - first_name: Sharona full_name: Horta, Sharona id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc last_name: Horta - first_name: David full_name: Van Der Heggen, David last_name: Van Der Heggen - first_name: Carlotta full_name: Seno, Carlotta last_name: Seno - first_name: Jikson full_name: Pulparayil Mathew, Jikson last_name: Pulparayil Mathew - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Philippe F. full_name: Smet, Philippe F. last_name: Smet - first_name: Jonathan full_name: De Roo, Jonathan last_name: De Roo citation: ama: Reichholf N, Horta S, Van Der Heggen D, et al. Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. 2025;19(33):30371-30382. doi:10.1021/acsnano.5c09137 apa: Reichholf, N., Horta, S., Van Der Heggen, D., Seno, C., Pulparayil Mathew, J., Ibáñez, M., … De Roo, J. (2025). Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.5c09137 chicago: Reichholf, Nico, Sharona Horta, David Van Der Heggen, Carlotta Seno, Jikson Pulparayil Mathew, Maria Ibáñez, Philippe F. Smet, and Jonathan De Roo. “Identification and Elimination of Surface Emission in Lanthanide (Co)Doped Zirconia Nanocrystals.” ACS Nano. American Chemical Society, 2025. https://doi.org/10.1021/acsnano.5c09137. ieee: N. Reichholf et al., “Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals,” ACS Nano, vol. 19, no. 33. American Chemical Society, pp. 30371–30382, 2025. ista: Reichholf N, Horta S, Van Der Heggen D, Seno C, Pulparayil Mathew J, Ibáñez M, Smet PF, De Roo J. 2025. Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. 19(33), 30371–30382. mla: Reichholf, Nico, et al. “Identification and Elimination of Surface Emission in Lanthanide (Co)Doped Zirconia Nanocrystals.” ACS Nano, vol. 19, no. 33, American Chemical Society, 2025, pp. 30371–82, doi:10.1021/acsnano.5c09137. short: N. Reichholf, S. Horta, D. Van Der Heggen, C. Seno, J. Pulparayil Mathew, M. Ibáñez, P.F. Smet, J. De Roo, ACS Nano 19 (2025) 30371–30382. date_created: 2025-08-31T22:01:31Z date_published: 2025-08-26T00:00:00Z date_updated: 2025-09-30T14:27:03Z day: '26' department: - _id: MaIb doi: 10.1021/acsnano.5c09137 external_id: isi: - '001550173000001' intvolume: ' 19' isi: 1 issue: '33' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.26434/chemrxiv-2025-r1gw4 month: '08' oa: 1 oa_version: Preprint page: 30371-30382 project: - _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery' publication: ACS Nano publication_identifier: eissn: - 1936-086X publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 19 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20253' abstract: - lang: eng text: "A quantitative word automaton (QWA) defines a function from infinite words to values. For example, every infinite run of a limit-average QWA \U0001D49C obtains a mean payoff, and every word w ∈ Σ^ω is assigned the maximal mean payoff obtained by nondeterministic runs of \U0001D49C over w. We introduce quantitative language automata (QLAs) that define functions from language generators (i.e., implementations) to values, where a language generator can be nonprobabilistic, defining a set of infinite words, or probabilistic, defining a probability measure over infinite words. A QLA consists of a QWA and an aggregator function. For example, given a QWA \U0001D49C, the infimum aggregator maps each language L ⊆ Σ^ω to the greatest lower bound assigned by \U0001D49C to any word in L. For boolean value sets, QWAs define boolean properties of traces, and QLAs define boolean properties of sets of traces, i.e., hyperproperties. For more general value sets, QLAs serve as a specification language for a generalization of hyperproperties, called quantitative hyperproperties. A nonprobabilistic (resp. probabilistic) quantitative hyperproperty assigns a value to each set (resp. distribution) G of traces, e.g., the minimal (resp. expected) average response time exhibited by the traces in G. We give several examples of quantitative hyperproperties and investigate three paradigmatic problems for QLAs: evaluation, nonemptiness, and universality. In the evaluation problem, given a QLA \U0001D538 and an implementation G, we ask for the value that \U0001D538 assigns to G. In the nonemptiness (resp. universality) problem, given a QLA \U0001D538 and a value k, we ask whether \U0001D538 assigns at least k to some (resp. every) language. We provide a comprehensive picture of decidability for these problems for QLAs with common aggregators as well as their restrictions to ω-regular languages and trace distributions generated by finite-state Markov chains." acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093. alternative_title: - LIPIcs article_number: '21' article_processing_charge: No arxiv: 1 author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Pavol full_name: Kebis, Pavol id: 2e0132b3-4e98-11ef-b275-cf7281c2802a last_name: Kebis - first_name: Nicolas Adrien full_name: Mazzocchi, Nicolas Adrien id: b26baa86-3308-11ec-87b0-8990f34baa85 last_name: Mazzocchi - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Quantitative language automata. In: 36th International Conference on Concurrency Theory. Vol 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.CONCUR.2025.21' apa: 'Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2025). Quantitative language automata. In 36th International Conference on Concurrency Theory (Vol. 348). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21' chicago: Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Language Automata.” In 36th International Conference on Concurrency Theory, Vol. 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21. ieee: T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Quantitative language automata,” in 36th International Conference on Concurrency Theory, Aarhus, Denmark, 2025, vol. 348. ista: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2025. Quantitative language automata. 36th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 348, 21.' mla: Henzinger, Thomas A., et al. “Quantitative Language Automata.” 36th International Conference on Concurrency Theory, vol. 348, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.CONCUR.2025.21. short: T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. conference: end_date: 2025-08-29 location: Aarhus, Denmark name: 'CONCUR: Conference on Concurrency Theory' start_date: 2025-08-26 corr_author: '1' date_created: 2025-08-31T22:01:32Z date_published: 2025-08-18T00:00:00Z date_updated: 2025-12-01T12:36:52Z day: '18' ddc: - '000' department: - _id: ToHe doi: 10.4230/LIPIcs.CONCUR.2025.21 ec_funded: 1 external_id: arxiv: - '2506.0515' isi: - '001570540800021' file: - access_level: open_access checksum: 9d4054058757a73477e6015b10ed6996 content_type: application/pdf creator: dernst date_created: 2025-09-03T10:01:53Z date_updated: 2025-09-03T10:01:53Z file_id: '20282' file_name: 2025_CONCUR_HenzingerT.pdf file_size: 1257397 relation: main_file success: 1 file_date_updated: 2025-09-03T10:01:53Z has_accepted_license: '1' intvolume: ' 348' isi: 1 language: - iso: eng month: '08' oa: 1 oa_version: Published Version project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 36th International Conference on Concurrency Theory publication_identifier: isbn: - '9783959773898' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Quantitative language automata tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 348 year: '2025' ... --- APC_amount: 4493,27 EUR DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20254' abstract: - lang: eng text: 'We examine population structures for their ability to maintain diversity in neutral evolution. We use the general framework of evolutionary graph theory and consider birth–death (bd) and death–birth (db) updating. The population is of size N. Initially all individuals represent different types. The basic question is: what is the time TN until one type takes over the population? This time is known as consensus time in computer science and as total coalescent time in evolutionary biology. For the complete graph, it is known that TN is quadratic in N for db and bd. For the cycle, we prove that TN is cubic in N for db and bd. For the star, we prove that TN is cubic for bd and quasilinear (N log N) for db. For the double star, we show that TN is quartic for bd. We derive upper and lower bounds for all undirected graphs for bd and db. We also show the Pareto front of graphs (of size N = 8) that maintain diversity the longest for bd and db. Further, we show that some graphs that quickly homogenize can maintain high levels of diversity longer than graphs that slowly homogenize. For directed graphs, we give simple contracting star-like structures that have superexponential time scales for maintaining diversity.' acknowledgement: J.S. and K.C. were supported by the European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12. J.T. was supported by GAČR grant 25-17377S and by Charles Univ. projects UNCE 24/SCI/008 and PRIMUS 24/SCI/012. article_number: pgaf252 article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: David A. full_name: Brewster, David A. last_name: Brewster - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 - first_name: Dylan full_name: Roscow, Dylan last_name: Roscow - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Josef full_name: Tkadlec, Josef id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87 last_name: Tkadlec orcid: 0000-0002-1097-9684 - first_name: Martin A. full_name: Nowak, Martin A. last_name: Nowak citation: ama: Brewster DA, Svoboda J, Roscow D, Chatterjee K, Tkadlec J, Nowak MA. Maintaining diversity in structured populations. PNAS Nexus. 2025;4(8). doi:10.1093/pnasnexus/pgaf252 apa: Brewster, D. A., Svoboda, J., Roscow, D., Chatterjee, K., Tkadlec, J., & Nowak, M. A. (2025). Maintaining diversity in structured populations. PNAS Nexus. Oxford University Press. https://doi.org/10.1093/pnasnexus/pgaf252 chicago: Brewster, David A., Jakub Svoboda, Dylan Roscow, Krishnendu Chatterjee, Josef Tkadlec, and Martin A. Nowak. “Maintaining Diversity in Structured Populations.” PNAS Nexus. Oxford University Press, 2025. https://doi.org/10.1093/pnasnexus/pgaf252. ieee: D. A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, and M. A. Nowak, “Maintaining diversity in structured populations,” PNAS Nexus, vol. 4, no. 8. Oxford University Press, 2025. ista: Brewster DA, Svoboda J, Roscow D, Chatterjee K, Tkadlec J, Nowak MA. 2025. Maintaining diversity in structured populations. PNAS Nexus. 4(8), pgaf252. mla: Brewster, David A., et al. “Maintaining Diversity in Structured Populations.” PNAS Nexus, vol. 4, no. 8, pgaf252, Oxford University Press, 2025, doi:10.1093/pnasnexus/pgaf252. short: D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, PNAS Nexus 4 (2025). date_created: 2025-08-31T22:01:32Z date_published: 2025-08-01T00:00:00Z date_updated: 2026-06-11T09:11:17Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1093/pnasnexus/pgaf252 ec_funded: 1 external_id: arxiv: - '2503.09841' file: - access_level: open_access checksum: 8a5e82c6f842e3220ec96028c9374b69 content_type: application/pdf creator: dernst date_created: 2025-09-03T06:20:08Z date_updated: 2025-09-03T06:20:08Z file_id: '20280' file_name: 2025_PNASNexus_Brewster.pdf file_size: 1086419 relation: main_file success: 1 file_date_updated: 2025-09-03T06:20:08Z has_accepted_license: '1' intvolume: ' 4' issue: '8' language: - iso: eng month: '08' oa: 1 oa_version: Published Version project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: PNAS Nexus publication_identifier: eissn: - 2752-6542 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: Maintaining diversity in structured populations 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: 4 year: '2025' ... --- OA_place: repository OA_type: green _id: '20255' abstract: - lang: eng text: With stunning clarity, the JWST has revealed the Universe’s first billion years. The scientific community is analysing a wealth of JWST imaging and spectroscopic data from that era, and is in the process of rewriting the astronomy textbooks. Here, as a result of the 2024 ISSI Breakthrough Workshop, we provide a snapshot of the great progress made towards understanding the initial chapters of our cosmic history 1.5 years into the JWST science mission. We present the current census of early galaxies, their luminosities, appearance, chemical composition, masses and formation histories as revealed by JWST. We relate the discovery of massive black holes in early galaxies and discuss their demographics and implications for their formations and growth. We conclude by describing the potential sources of reionization and our current understanding of how the Universe became fully ionized. Throughout the Perspective, we highlight discoveries and breakthroughs, topics and issues that are not yet understood, and questions that will be addressed in the coming years, as JWST continues its revolutionary observations of the early Universe. acknowledgement: While this Perspective is written by a small number of authors, invited to ISSI Bern in March 2024 as part of the 2024 ISSI Breakthrough Workshop, we acknowledge the work of a large community that is advancing our collective understanding of the evolution of the early Universe. We thank ISSI for sponsoring the 2024 Breakthrough Workshop, and the ISSI staff for their wonderful welcome and support. We are grateful to the author collaborators, who made this paper possible. Collectively, we are grateful to the large group of committed scientists and engineers, worldwide, who designed, built and commissioned the JWST and made a decades-long astronomer dream a reality. R.P.N. is a NASA Hubble Fellow. We are grateful to M. Dickinson for a careful read of the final paper and to F. Crameri (ISSI) for his expert help designing the very best figures. We dedicate this paper to the 20,000 people who spent decades to make JWST an incredible discovery machine. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Angela full_name: Adamo, Angela last_name: Adamo - first_name: Hakim full_name: Atek, Hakim last_name: Atek - first_name: Micaela B. full_name: Bagley, Micaela B. last_name: Bagley - first_name: Eduardo full_name: Bañados, Eduardo last_name: Bañados - first_name: Kirk S.S. full_name: Barrow, Kirk S.S. last_name: Barrow - first_name: Danielle A. full_name: Berg, Danielle A. last_name: Berg - first_name: Rachel full_name: Bezanson, Rachel last_name: Bezanson - first_name: Maruša full_name: Bradač, Maruša last_name: Bradač - first_name: Gabriel full_name: Brammer, Gabriel last_name: Brammer - first_name: Adam C. full_name: Carnall, Adam C. last_name: Carnall - first_name: John full_name: Chisholm, John last_name: Chisholm - first_name: Dan full_name: Coe, Dan last_name: Coe - first_name: Pratika full_name: Dayal, Pratika last_name: Dayal - first_name: Daniel J. full_name: Eisenstein, Daniel J. last_name: Eisenstein - first_name: Jan J. full_name: Eldridge, Jan J. last_name: Eldridge - first_name: Andrea full_name: Ferrara, Andrea last_name: Ferrara - first_name: Seiji full_name: Fujimoto, Seiji last_name: Fujimoto - first_name: Anna De full_name: Graaff, Anna De last_name: Graaff - first_name: Melanie full_name: Habouzit, Melanie last_name: Habouzit - first_name: Taylor A. full_name: Hutchison, Taylor A. last_name: Hutchison - first_name: Jeyhan S. full_name: Kartaltepe, Jeyhan S. last_name: Kartaltepe - first_name: Susan A. full_name: Kassin, Susan A. last_name: Kassin - first_name: Mariska full_name: Kriek, Mariska last_name: Kriek - first_name: Ivo full_name: Labbé, Ivo last_name: Labbé - first_name: Roberto full_name: Maiolino, Roberto last_name: Maiolino - first_name: Rui full_name: Marques-Chaves, Rui last_name: Marques-Chaves - first_name: Michael V. full_name: Maseda, Michael V. last_name: Maseda - first_name: Charlotte full_name: Mason, Charlotte last_name: Mason - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Kristen B.W. full_name: Mcquinn, Kristen B.W. last_name: Mcquinn - first_name: Georges full_name: Meynet, Georges last_name: Meynet - first_name: Rohan P. full_name: Naidu, Rohan P. last_name: Naidu - first_name: Pascal A. full_name: Oesch, Pascal A. last_name: Oesch - first_name: Laura full_name: Pentericci, Laura last_name: Pentericci - first_name: Pablo G. full_name: Pérez-González, Pablo G. last_name: Pérez-González - first_name: Jane R. full_name: Rigby, Jane R. last_name: Rigby - first_name: Guido full_name: Roberts-Borsani, Guido last_name: Roberts-Borsani - first_name: Daniel full_name: Schaerer, Daniel last_name: Schaerer - first_name: Alice E. full_name: Shapley, Alice E. last_name: Shapley - first_name: Daniel P. full_name: Stark, Daniel P. last_name: Stark - first_name: Massimo full_name: Stiavelli, Massimo last_name: Stiavelli - first_name: Allison L. full_name: Strom, Allison L. last_name: Strom - first_name: Eros full_name: Vanzella, Eros last_name: Vanzella - first_name: Feige full_name: Wang, Feige last_name: Wang - first_name: Stephen M. full_name: Wilkins, Stephen M. last_name: Wilkins - first_name: Christina C. full_name: Williams, Christina C. last_name: Williams - first_name: Chris J. full_name: Willott, Chris J. last_name: Willott - first_name: Dominika full_name: Wylezalek, Dominika last_name: Wylezalek - first_name: Antonella full_name: Nota, Antonella last_name: Nota citation: ama: Adamo A, Atek H, Bagley MB, et al. The first billion years according to JWST. Nature Astronomy. 2025;9(8):1134-1147. doi:10.1038/s41550-025-02624-5 apa: Adamo, A., Atek, H., Bagley, M. B., Bañados, E., Barrow, K. S. S., Berg, D. A., … Nota, A. (2025). The first billion years according to JWST. Nature Astronomy. Springer Nature. https://doi.org/10.1038/s41550-025-02624-5 chicago: Adamo, Angela, Hakim Atek, Micaela B. Bagley, Eduardo Bañados, Kirk S.S. Barrow, Danielle A. Berg, Rachel Bezanson, et al. “The First Billion Years According to JWST.” Nature Astronomy. Springer Nature, 2025. https://doi.org/10.1038/s41550-025-02624-5. ieee: A. Adamo et al., “The first billion years according to JWST,” Nature Astronomy, vol. 9, no. 8. Springer Nature, pp. 1134–1147, 2025. ista: Adamo A, Atek H, Bagley MB, Bañados E, Barrow KSS, Berg DA, Bezanson R, Bradač M, Brammer G, Carnall AC, Chisholm J, Coe D, Dayal P, Eisenstein DJ, Eldridge JJ, Ferrara A, Fujimoto S, Graaff AD, Habouzit M, Hutchison TA, Kartaltepe JS, Kassin SA, Kriek M, Labbé I, Maiolino R, Marques-Chaves R, Maseda MV, Mason C, Matthee JJ, Mcquinn KBW, Meynet G, Naidu RP, Oesch PA, Pentericci L, Pérez-González PG, Rigby JR, Roberts-Borsani G, Schaerer D, Shapley AE, Stark DP, Stiavelli M, Strom AL, Vanzella E, Wang F, Wilkins SM, Williams CC, Willott CJ, Wylezalek D, Nota A. 2025. The first billion years according to JWST. Nature Astronomy. 9(8), 1134–1147. mla: Adamo, Angela, et al. “The First Billion Years According to JWST.” Nature Astronomy, vol. 9, no. 8, Springer Nature, 2025, pp. 1134–47, doi:10.1038/s41550-025-02624-5. short: A. Adamo, H. Atek, M.B. Bagley, E. Bañados, K.S.S. Barrow, D.A. Berg, R. Bezanson, M. Bradač, G. Brammer, A.C. Carnall, J. Chisholm, D. Coe, P. Dayal, D.J. Eisenstein, J.J. Eldridge, A. Ferrara, S. Fujimoto, A.D. Graaff, M. Habouzit, T.A. Hutchison, J.S. Kartaltepe, S.A. Kassin, M. Kriek, I. Labbé, R. Maiolino, R. Marques-Chaves, M.V. Maseda, C. Mason, J.J. Matthee, K.B.W. Mcquinn, G. Meynet, R.P. Naidu, P.A. Oesch, L. Pentericci, P.G. Pérez-González, J.R. Rigby, G. Roberts-Borsani, D. Schaerer, A.E. Shapley, D.P. Stark, M. Stiavelli, A.L. Strom, E. Vanzella, F. Wang, S.M. Wilkins, C.C. Williams, C.J. Willott, D. Wylezalek, A. Nota, Nature Astronomy 9 (2025) 1134–1147. date_created: 2025-08-31T22:01:32Z date_published: 2025-08-01T00:00:00Z date_updated: 2025-09-30T14:28:42Z day: '01' department: - _id: JoMa doi: 10.1038/s41550-025-02624-5 external_id: arxiv: - '2405.21054' isi: - '001547681400001' intvolume: ' 9' isi: 1 issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2405.21054 month: '08' oa: 1 oa_version: Preprint page: 1134-1147 publication: Nature Astronomy publication_identifier: eissn: - 2397-3366 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: The first billion years according to JWST type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 9 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20256' abstract: - lang: eng text: We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics of the dynamical system and the controller are unknown, and that we are only able to observe the state of the controlled (aka, closed-loop) system at finitely many time points. We present a novel framework for predicting future states of the system based on the states observed in the past. The numbers of past states and of predicted future states are parameters provided by the user. Our method is based on a combination of Taylor’s expansion and the backward difference operator for numerical differentiation. We also derive an upper bound on the prediction error under the assumption that the system dynamics and the controller are smooth. The predicted states are then used to predict safety violations ahead in time. Our experiments demonstrate practical applicability of our method for complex black-box systems, showing that it is computationally lightweight and yet significantly more accurate than the state-of-the-art predictive safety monitoring techniques. acknowledgement: "This work was supported in part by the ERC project ERC-2020-AdG 101020093.\r\n" alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Fabian full_name: Kresse, Fabian id: faff3c84-23f6-11ef-9085-e5187b51c604 last_name: Kresse - first_name: Kaushik full_name: Mallik, Kaushik id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598 last_name: Mallik orcid: 0000-0001-9864-7475 - first_name: Zhengqi full_name: Yu, Zhengqi id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342 last_name: Yu - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control Conference. Vol 283. ML Research Press; 2025:804-816.' apa: 'Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025). Predictive monitoring of black-box dynamical systems. In 7th Annual Learning for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor, MI, United States: ML Research Press.' chicago: Henzinger, Thomas A, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde Zikelic. “Predictive Monitoring of Black-Box Dynamical Systems.” In 7th Annual Learning for Dynamics & Control Conference, 283:804–16. ML Research Press, 2025. ieee: T. A. Henzinger, F. Kresse, K. Mallik, E. Yu, and D. Zikelic, “Predictive monitoring of black-box dynamical systems,” in 7th Annual Learning for Dynamics & Control Conference, Ann Arbor, MI, United States, 2025, vol. 283, pp. 804–816. ista: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. 2025. Predictive monitoring of black-box dynamical systems. 7th Annual Learning for Dynamics & Control Conference. L4DC: Learning for Dynamics & Control, PMLR, vol. 283, 804–816.' mla: Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16. short: T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816. conference: end_date: 2025-06-06 location: Ann Arbor, MI, United States name: 'L4DC: Learning for Dynamics & Control' start_date: 2025-06-04 corr_author: '1' date_created: 2025-08-31T22:01:32Z date_published: 2025-06-01T00:00:00Z date_updated: 2025-09-03T10:37:59Z day: '01' ddc: - '000' department: - _id: ToHe - _id: ChLa ec_funded: 1 external_id: arxiv: - '2412.16564' file: - access_level: open_access checksum: d5236e561560635f5ae1d17de4903033 content_type: application/pdf creator: dernst date_created: 2025-09-03T10:32:12Z date_updated: 2025-09-03T10:32:12Z file_id: '20283' file_name: 2025_L4DC_HenzingerT.pdf file_size: 489639 relation: main_file success: 1 file_date_updated: 2025-09-03T10:32:12Z has_accepted_license: '1' intvolume: ' 283' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 804-816 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 7th Annual Learning for Dynamics & Control Conference publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' scopus_import: '1' status: public title: Predictive monitoring of black-box dynamical systems type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 283 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20258' abstract: - lang: eng text: The specific introduction of ^1H-^13C or ^1H-^15N moieties into otherwise deuterated proteins holds great potential for high-resolution solution and magic-angle spinning (MAS) NMR studies of protein structure and dynamics. Arginine residues play key roles for example at active sites of enzymes. Taking advantage of a chemically synthesized Arg with a ^13C-^1H2 group in an otherwise deuterated backbone, we demonstrate here the usefulness of proton-detected MAS NMR approaches to probe arginine dynamics. In experiments with crystalline ubiquitin and the 134 kDa tetrameric enzyme malate dehydrogenase we detected a wide range of motions, from sites that are rigid on time scales of at least tens of milliseconds to residues undergoing predominantly nanosecond motions. Spin-relaxation and dipolar-coupling measurements enabled quantitative determination of these dynamics. We observed microsecond dynamics of residue Arg54 in crystalline ubiquitin, whose backbone is known to sample different β-turn conformations on this time scale. The labeling scheme and experiments presented here expand the toolkit for high-resolution proton-detected MAS NMR. acknowledged_ssus: - _id: NMR - _id: LifeSc acknowledgement: This work was supported financially by the Austrian Science Fund (FWF, Grant No. I5812-B, “AlloSpace”). This research was supported by the Scientific Service Units (SSU) of Institute of Science and Technology Austria (ISTA) through resources provided by the Nuclear Magnetic Resonance Facility and the Lab Support Facility (LSF). We thank Petra Rovò and Margarita Valhondo Falcón for excellent support of the NMR facility. article_number: '169379' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Darja full_name: Rohden, Darja id: 81dc668a-19fa-11f0-bf31-d56534059ef3 last_name: Rohden - first_name: Federico full_name: Napoli, Federico id: d42e08e7-f4fc-11eb-af0a-d71e26138f1b last_name: Napoli orcid: 0000-0002-9043-136X - first_name: Anna full_name: Kapitonova, Anna id: 9fb2a840-89e1-11ee-a8b7-cc5c7ba62471 last_name: Kapitonova - first_name: Benjamin full_name: Tatman, Benjamin id: 71cda2f3-e604-11ee-a1df-da10587eda3f last_name: Tatman - first_name: Roman J. full_name: Lichtenecker, Roman J. last_name: Lichtenecker - first_name: Paul full_name: Schanda, Paul id: 7B541462-FAF6-11E9-A490-E8DFE5697425 last_name: Schanda orcid: 0000-0002-9350-7606 citation: ama: Rohden D, Napoli F, Kapitonova A, Tatman B, Lichtenecker RJ, Schanda P. Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme. Journal of Molecular Biology. 2025;437(23). doi:10.1016/j.jmb.2025.169379 apa: Rohden, D., Napoli, F., Kapitonova, A., Tatman, B., Lichtenecker, R. J., & Schanda, P. (2025). Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2025.169379 chicago: Rohden, Darja, Federico Napoli, Anna Kapitonova, Benjamin Tatman, Roman J. Lichtenecker, and Paul Schanda. “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Journal of Molecular Biology. Elsevier, 2025. https://doi.org/10.1016/j.jmb.2025.169379. ieee: D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R. J. Lichtenecker, and P. Schanda, “Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme,” Journal of Molecular Biology, vol. 437, no. 23. Elsevier, 2025. ista: Rohden D, Napoli F, Kapitonova A, Tatman B, Lichtenecker RJ, Schanda P. 2025. Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme. Journal of Molecular Biology. 437(23), 169379. mla: Rohden, Darja, et al. “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Journal of Molecular Biology, vol. 437, no. 23, 169379, Elsevier, 2025, doi:10.1016/j.jmb.2025.169379. short: D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R.J. Lichtenecker, P. Schanda, Journal of Molecular Biology 437 (2025). corr_author: '1' date_created: 2025-08-31T22:01:33Z date_published: 2025-12-01T00:00:00Z date_updated: 2026-06-10T08:20:37Z day: '01' ddc: - '540' department: - _id: PaSc doi: 10.1016/j.jmb.2025.169379 external_id: isi: - '001618289100020' file: - access_level: open_access checksum: 90d50594d8ea9860ac5da41297992847 content_type: application/pdf creator: dernst date_created: 2025-12-29T14:51:40Z date_updated: 2025-12-29T14:51:40Z file_id: '20876' file_name: 2025_JourMolecularBiology_Rohden.pdf file_size: 2270555 relation: main_file success: 1 file_date_updated: 2025-12-29T14:51:40Z has_accepted_license: '1' intvolume: ' 437' isi: 1 issue: '23' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: eb9c82eb-77a9-11ec-83b8-aadd536561cf grant_number: I05812 name: AlloSpace. The emergence and mechanisms of allostery publication: Journal of Molecular Biology publication_identifier: eissn: - 1089-8638 issn: - 0022-2836 publication_status: published publisher: Elsevier quality_controlled: '1' related_material: record: - id: '19956' relation: research_data status: public scopus_import: '1' status: public title: Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme 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: 437 year: '2025' ... --- OA_type: closed access _id: '20259' abstract: - lang: eng text: Cell migration in narrow microenvironments occurs in numerous physiological processes. It involves successive cycles of confinement and release that drive important morphological changes. However, it remains unclear whether migrating cells can retain a memory of their past morphological states that could potentially facilitate their navigation through confined spaces. We demonstrate that local geometry governs a switch between two cell morphologies, thereby facilitating cell passage through long and narrow gaps. We combined cell migration assays on standardized microsystems with biophysical modelling and biochemical perturbations to show that migrating cells have a long-term memory of past confinement events. The morphological cell states correlate across transitions through actin cortex remodelling. These findings indicate that mechanical memory in migrating cells plays an active role in their migratory potential in confined environments. acknowledgement: We are grateful to members of S.G.’s laboratory for feedback and suggestions. We thank E. Hannezo, J. O. Rädler, M. Piel, O. du Roure and J. Heuvingh for inspiring discussions. Y.K. and S.G. acknowledge J. B. Braquenier from Nikon Instruments Belux and the Nikon BioImaging Lab in Leiden (the Netherlands) for their support with the Nikon Spatial Array Confocal enhanced-resolution confocal microscopy. We thank D. S. Herrador and M. Balland for their help in improving the microprinting method. D.B.B. was supported by the NOMIS Foundation as a NOMIS Fellow and by an EMBO Postdoctoral Fellowship (ALTF 343-2022). Y.K., M.L. and S.G. acknowledge funding from the University of Mons (FEDER Prostem Research Project no. 1510614, Wallonia DG06), the F.R.S.-FNRS (Epiforce Project no. T.0092.21, Cellsqueezer Project no. J.0061.23 and Optopattern Project no. U.NO26.22) and the Interreg projects ANTIRESI and MICROPLAITE, which are financially supported by Interreg France-Wallonie-Vlaanderen (Fonds Européen de Développement Régional). Y.K. and M.L. are financially supported by F.R.S.-FNRS as FRIA Grantee FNRS and Postdoctoral Fellow (Chargé de Recherches), respectively. Y.K. and S.G. acknowledge le Fonds pour la Recherche Médicale dans le Hainaut (FRMH). G.C. was supported by a grant from the Biotechnology and Biological Sciences Research Council (grant no. BB/V007483/1). article_processing_charge: No article_type: original author: - first_name: Yohalie full_name: Kalukula, Yohalie last_name: Kalukula - first_name: Marine full_name: Luciano, Marine last_name: Luciano - first_name: Gleb full_name: Simanov, Gleb last_name: Simanov - first_name: Guillaume full_name: Charras, Guillaume last_name: Charras - first_name: David full_name: Brückner, David id: e1e86031-6537-11eb-953a-f7ab92be508d last_name: Brückner orcid: 0000-0001-7205-2975 - first_name: Sylvain full_name: Gabriele, Sylvain last_name: Gabriele citation: ama: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. The actin cortex acts as a mechanical memory of morphology in confined migrating cells. Nature Physics. 2025;21:1451-1461. doi:10.1038/s41567-025-02980-z apa: Kalukula, Y., Luciano, M., Simanov, G., Charras, G., Brückner, D., & Gabriele, S. (2025). The actin cortex acts as a mechanical memory of morphology in confined migrating cells. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-025-02980-z chicago: Kalukula, Yohalie, Marine Luciano, Gleb Simanov, Guillaume Charras, David Brückner, and Sylvain Gabriele. “The Actin Cortex Acts as a Mechanical Memory of Morphology in Confined Migrating Cells.” Nature Physics. Springer Nature, 2025. https://doi.org/10.1038/s41567-025-02980-z. ieee: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, and S. Gabriele, “The actin cortex acts as a mechanical memory of morphology in confined migrating cells,” Nature Physics, vol. 21. Springer Nature, pp. 1451–1461, 2025. ista: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. 2025. The actin cortex acts as a mechanical memory of morphology in confined migrating cells. Nature Physics. 21, 1451–1461. mla: Kalukula, Yohalie, et al. “The Actin Cortex Acts as a Mechanical Memory of Morphology in Confined Migrating Cells.” Nature Physics, vol. 21, Springer Nature, 2025, pp. 1451–61, doi:10.1038/s41567-025-02980-z. short: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, S. Gabriele, Nature Physics 21 (2025) 1451–1461. corr_author: '1' date_created: 2025-08-31T22:01:33Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-12-30T09:34:11Z day: '01' department: - _id: EdHa doi: 10.1038/s41567-025-02980-z external_id: isi: - '001556019400001' intvolume: ' 21' isi: 1 language: - iso: eng month: '09' oa_version: None page: 1451-1461 project: - _id: 34e2a5b5-11ca-11ed-8bc3-b2265616ef0b grant_number: ALTF 343-2022 name: A mechano-chemical theory for stem cell fate decisions in organoid development publication: Nature Physics publication_identifier: eissn: - 1745-2481 issn: - 1745-2473 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: The actin cortex acts as a mechanical memory of morphology in confined migrating cells type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 21 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20260' abstract: - lang: eng text: The medial axis of a set consists of the points in the ambient space without a unique closest point in the original set. Since its introduction, the medial axis has been used extensively in many applications as a method of computing a skeleton topologically equivalent to the original set. Unfortunately, one limiting factor in the use of the medial axis of a smooth manifold is that it is not necessarily topologically stable under small perturbations of the manifold. To counter these instabilities, various prunings of the medial axis have been proposed in the computational geometry community. Here, we examine one type of pruning, called burning. Because of the good experimental results it was hoped that the burning method of simplifying the medial axis would be stable. In this work, we show a simple example that dashes such hopes. Based on Bing’s house with two rooms, we demonstrate an isotopy of a shape where the medial axis goes from collapsible to non-collapsible. More precisely, we consider the standard deformation retract from the closed ball to Bing’s house with two rooms, but stop just short of the point where Bing’s house becomes two dimensional. This way we obtain an isotopy from the 3-ball to a thickened version of Bing’s house. Under this isotopy, the medial axis goes from collapsible to non-collapsible. We stress that this isotopy can be made generic, in the sense of singularity theory, as developed by Arnol’d and Thom. acknowledgement: "We thank André Lieutier, David Letscher, Ellen Gasparovic, Kathryn Leonard, and Tao Ju for early discussions on this work. We also thank Lu Liu, Yajie Yan, and Tao Ju for sharing code to generate the examples. We further thank Abigail Thompson for discussion on the conjecture and James Damon for sharing his insight in singularity theory. We thank the reviewers for their detailed reviews, which helped to improve the exposition.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria). Partially supported by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’ and the European Research Council (ERC), grant no. 788183, ‘Alpha Shape Theory Extended’. The first author was supported in part by the National Science Foundation through grants DBI-1759807, CCF-1907612, and CCF-2444309. The fourth author was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411, the Austrian science fund (FWF) M-3073, ANR grant StratMesh, ANR-24-CE48-1899, and the welcome package from IDEX of the Université Côte d’Azur, ANR-15-IDEX-01." article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Erin Wolf full_name: Chambers, Erin Wolf last_name: Chambers - first_name: Christopher D full_name: Fillmore, Christopher D id: 35638A5C-AAC7-11E9-B0BF-5503E6697425 last_name: Fillmore - first_name: Elizabeth R full_name: Stephenson, Elizabeth R id: 2D04F932-F248-11E8-B48F-1D18A9856A87 last_name: Stephenson orcid: 0000-0002-6862-208X - first_name: Mathijs full_name: Wintraecken, Mathijs id: 307CFBC8-F248-11E8-B48F-1D18A9856A87 last_name: Wintraecken orcid: 0000-0002-7472-2220 citation: ama: Chambers EW, Fillmore CD, Stephenson ER, Wintraecken M. Burning or collapsing the medial axis is unstable. La Matematica. 2025;4:811-828. doi:10.1007/s44007-025-00170-0 apa: Chambers, E. W., Fillmore, C. D., Stephenson, E. R., & Wintraecken, M. (2025). Burning or collapsing the medial axis is unstable. La Matematica. Springer Nature. https://doi.org/10.1007/s44007-025-00170-0 chicago: Chambers, Erin Wolf, Christopher D Fillmore, Elizabeth R Stephenson, and Mathijs Wintraecken. “Burning or Collapsing the Medial Axis Is Unstable.” La Matematica. Springer Nature, 2025. https://doi.org/10.1007/s44007-025-00170-0. ieee: E. W. Chambers, C. D. Fillmore, E. R. Stephenson, and M. Wintraecken, “Burning or collapsing the medial axis is unstable,” La Matematica, vol. 4. Springer Nature, pp. 811–828, 2025. ista: Chambers EW, Fillmore CD, Stephenson ER, Wintraecken M. 2025. Burning or collapsing the medial axis is unstable. La Matematica. 4, 811–828. mla: Chambers, Erin Wolf, et al. “Burning or Collapsing the Medial Axis Is Unstable.” La Matematica, vol. 4, Springer Nature, 2025, pp. 811–28, doi:10.1007/s44007-025-00170-0. short: E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica 4 (2025) 811–828. corr_author: '1' date_created: 2025-08-31T22:01:33Z date_published: 2025-12-01T00:00:00Z date_updated: 2026-04-07T11:42:48Z day: '01' ddc: - '510' department: - _id: HeEd doi: 10.1007/s44007-025-00170-0 ec_funded: 1 file: - access_level: open_access checksum: e2043259194bfcdf3d74c4da8a5a853f content_type: application/pdf creator: dernst date_created: 2025-12-30T07:52:58Z date_updated: 2025-12-30T07:52:58Z file_id: '20885' file_name: 2025_LaMatematica_Chambers.pdf file_size: 2678640 relation: main_file success: 1 file_date_updated: 2025-12-30T07:52:58Z has_accepted_license: '1' intvolume: ' 4' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 811-828 project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: fc390959-9c52-11eb-aca3-afa58bd282b2 grant_number: M03073 name: Learning and triangulating manifolds via collapses publication: La Matematica publication_identifier: eissn: - 2730-9657 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '21021' relation: dissertation_contains status: public scopus_import: '1' status: public title: Burning or collapsing the medial axis is unstable 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: 4 year: '2025' ... --- OA_place: publisher _id: '20276' abstract: - lang: eng text: "Complex 3D shapes can be created by morphing flat 2D configurations. Such deformations\r\neither preserve the intrinsic material geometry (e.g., folding paper) or modify it through\r\nlocalized contraction. Once transformed, the 3D shape can be further controlled to achieve a\r\ntarget functionality. A key challenge is to take the material specifications and the actuation\r\nprocess as input to automatically design the target 3D shape and its functionality. This thesis\r\npresents two novel computational pipelines for the design and control of shape-morphing\r\nstructures used to create functional prototypes.\r\nThe first pipeline borrows from the art of origami to fold paper into intricate shapes and\r\napplies this principle to make 3D lighting displays. We introduce, PCBend a computational\r\ndesign approach that covers a surface with individually addressable RGB LEDs, effectively\r\nforming a low-resolution surface by folding rigid printed circuit boards (PCBs). We optimize\r\ncut patterns on PCBs to act as hinges and co-design LED placement, circuit routing, and\r\nfabrication constraints to produce PCB blueprints. The PCBs are fabricated using automated\r\nstandard manufacturing services with LEDs embedded on them. Finally, the fabricated PCBs\r\nare cut along the contour and folded onto a 3D-printed support. The 3D lighting display is\r\nthen controlled to display complex surface light patterns.\r\nCreating 3D shapes through folding is only possible if their planar configuration, called ”unfolding” exists without any distortion or overlap. Existing methods often permit distortion\r\nor require multiple patches, which are unsuitable for fabrication pipelines that rely on folding\r\nnon-stretchable materials. We reinforce such fabrication pipelines by providing a geometric\r\nrelaxation to the problem, where the input shape is modified to admit overlap-free unfolding.\r\nThe second fabrication pipeline extends shape morphing to soft robotics by emulating nature’s\r\nblueprint of distributed actuation. Inspired by vertebrates, we build musculoskeletal robots\r\nusing modular active actuators, employing Liquid Crystal Elastomers (LCEs) as shrinkable\r\nartificial muscles integrated with 3D-printed bones. The chemical composition of LCEs is\r\naltered to enable untethered actuation through infrared radiation, allowing active control of\r\nindividual muscles and their corresponding bones. The combined motion of individual bones\r\ndefines the robot’s overall shape and functionality. Our proposed system significantly expands\r\nboth the design and control spaces of soft robots, which we harness using our computational\r\ndesign tools. We build several physical robots that exhibit complex shape morphing and varied\r\nterrain navigation, showcasing the versatility of our pipeline.\r\nThis thesis explores applications ranging from intricate light patterns displayed on 3D shapes\r\nformed by folding rigid PCBs to untethered robots that use contractile muscles to exhibit\r\nshape morphing and locomotion. Through these examples, the thesis highlights how computational design and distributed actuation, integrated with novel materials, can transform\r\npassive structures into functional prototypes." acknowledgement: "Financial support was provided by the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design\r\nand Modeling that I gratefully acknowledge.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Manas full_name: Bhargava, Manas id: FF8FA64C-AA6A-11E9-99AD-50D4E5697425 last_name: Bhargava orcid: 0009-0007-6138-6890 citation: ama: 'Bhargava M. Design and control of deformable structures : From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276' apa: 'Bhargava, M. (2025). Design and control of deformable structures : From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20276' chicago: 'Bhargava, Manas. “Design and Control of Deformable Structures : From PCB Lighting Displays to Elastomer Robots.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20276.' ieee: 'M. Bhargava, “Design and control of deformable structures : From PCB lighting displays to elastomer robots,” Institute of Science and Technology Austria, 2025.' ista: 'Bhargava M. 2025. Design and control of deformable structures : From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria.' mla: 'Bhargava, Manas. Design and Control of Deformable Structures : From PCB Lighting Displays to Elastomer Robots. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20276.' short: 'M. Bhargava, Design and Control of Deformable Structures : From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-09-02T14:48:39Z date_published: 2025-09-02T00:00:00Z date_updated: 2026-05-04T12:41:53Z day: '02' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: BeBi doi: 10.15479/AT-ISTA-20276 ec_funded: 1 file: - access_level: open_access checksum: 5baf8ca46c86a94fc8380ff1007aabd4 content_type: application/pdf creator: mbhargav date_created: 2025-09-03T10:40:52Z date_updated: 2025-09-03T10:40:52Z file_id: '20284' file_name: 2025-Bhargava-Manas-Thesis.pdf file_size: 161436245 relation: main_file success: 1 - access_level: closed checksum: 66878fafbc0074f88ddd18f24a9fc647 content_type: application/x-zip-compressed creator: mbhargav date_created: 2025-09-03T13:18:05Z date_updated: 2025-09-04T09:22:29Z file_id: '20285' file_name: manas_phd_thesis_source_files.zip file_size: 198831315 relation: source_file file_date_updated: 2025-09-04T09:22:29Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '96' project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication_identifier: isbn: - 978-3-99078-065-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '13049' relation: part_of_dissertation status: public - id: '18565' relation: part_of_dissertation status: public - id: '20286' relation: part_of_dissertation status: public status: public supervisor: - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 title: 'Design and control of deformable structures : From PCB lighting displays to elastomer robots' tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: repository _id: '20286' abstract: - lang: eng text: "Natural organisms utilize distributed actuation through their musculoskeletal\r\nsystems to adapt their gait for traversing diverse terrains or to morph their\r\nbodies for varied tasks. A longstanding challenge in robotics is to emulate\r\nthis capability of natural organisms, which has motivated the development of\r\nnumerous soft robotic systems. However, such systems are generally optimized\r\nfor a single functionality, lack the ability to change form or function on\r\ndemand, or remain tethered to bulky control systems. To address these\r\nlimitations, we present a framework for designing and controlling robots that\r\nutilize distributed actuation. We propose a novel building block that\r\nintegrates 3D-printed bones with liquid crystal elastomer (LCE) muscles as\r\nlightweight actuators, enabling the modular assembly of musculoskeletal robots.\r\nWe developed LCE rods that contract in response to infrared radiation, thereby\r\nproviding localized, untethered control over the distributed skeletal network\r\nand producing global deformations of the robot. To fully capitalize on the\r\nextensive design space, we introduce two computational tools: one for\r\noptimizing the robot's skeletal graph to achieve multiple target deformations,\r\nand another for co-optimizing skeletal designs and control gaits to realize\r\ndesired locomotion. We validate our framework by constructing several robots\r\nthat demonstrate complex shape morphing, diverse control schemes, and\r\nenvironmental adaptability. Our system integrates advances in modular material\r\nbuilding, untethered and distributed control, and computational design to\r\nintroduce a new generation of robots that brings us closer to the capabilities\r\nof living organisms." acknowledgement: "The authors express gratitude to Magali Lorion for assisting in the initial fabrication of LCEs,\r\nPengbin Tang for providing the code for simulating discrete elastic rods, the Imaging and\r\nOptics Facility at ISTA for assisting with the spectrometry measurements, and the MIBA\r\nmachine shop at ISTA for their support in manufacturing various devices.\r\nFunding: This project was supported by the European Research Council (ERC) under\r\nthe European Union’s Horizon 2020 research and innovation program (Grant Agreement No.\r\n715767 -– MATERIALIZABLE)." article_processing_charge: No arxiv: 1 author: - first_name: Manas full_name: Bhargava, Manas id: FF8FA64C-AA6A-11E9-99AD-50D4E5697425 last_name: Bhargava orcid: 0009-0007-6138-6890 - first_name: Takefumi full_name: Hiraki, Takefumi last_name: Hiraki - first_name: Irina-Malina full_name: Strugaru, Irina-Malina id: 2afc607f-f128-11eb-9611-8f2a0dfcf074 last_name: Strugaru - first_name: Yuhan full_name: Zhang, Yuhan last_name: Zhang - first_name: Michael full_name: Piovarci, Michael id: 62E473F4-5C99-11EA-A40E-AF823DDC885E last_name: Piovarci orcid: 0000-0002-5062-4474 - first_name: Chiara full_name: Daraio, Chiara last_name: Daraio - first_name: Daisuke full_name: Iwai, Daisuke last_name: Iwai - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Bhargava M, Hiraki T, Strugaru I-M, et al. Computational design and fabrication of modular robots with untethered control. arXiv. doi:10.48550/arXiv.2508.05410 apa: Bhargava, M., Hiraki, T., Strugaru, I.-M., Zhang, Y., Piovarci, M., Daraio, C., … Bickel, B. (n.d.). Computational design and fabrication of modular robots with untethered control. arXiv. https://doi.org/10.48550/arXiv.2508.05410 chicago: Bhargava, Manas, Takefumi Hiraki, Irina-Malina Strugaru, Yuhan Zhang, Michael Piovarci, Chiara Daraio, Daisuke Iwai, and Bernd Bickel. “Computational Design and Fabrication of Modular Robots with Untethered Control.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2508.05410. ieee: M. Bhargava et al., “Computational design and fabrication of modular robots with untethered control,” arXiv. . ista: Bhargava M, Hiraki T, Strugaru I-M, Zhang Y, Piovarci M, Daraio C, Iwai D, Bickel B. Computational design and fabrication of modular robots with untethered control. arXiv, 10.48550/arXiv.2508.05410. mla: Bhargava, Manas, et al. “Computational Design and Fabrication of Modular Robots with Untethered Control.” ArXiv, doi:10.48550/arXiv.2508.05410. short: M. Bhargava, T. Hiraki, I.-M. Strugaru, Y. Zhang, M. Piovarci, C. Daraio, D. Iwai, B. Bickel, ArXiv (n.d.). corr_author: '1' date_created: 2025-09-04T09:14:11Z date_published: 2025-08-31T00:00:00Z date_updated: 2026-05-04T12:41:52Z day: '31' department: - _id: BeBi doi: 10.48550/arXiv.2508.05410 ec_funded: 1 external_id: arxiv: - '2508.05410' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2508.05410 month: '08' oa: 1 oa_version: Preprint project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: arXiv publication_status: draft related_material: record: - id: '20276' relation: dissertation_contains status: public status: public title: Computational design and fabrication of modular robots with untethered control tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: preprint user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- APC_amount: 5766,07 EUR OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20289' abstract: - lang: eng text: Cell and tissue movement in development, cancer invasion, and immune response relies on chemical or mechanical guidance cues. In many systems, this behavior is locally directed by self-generated signaling gradients rather than long-range, prepatterned cues. However, how heterogeneous mixtures of cells interact nonreciprocally and navigate through self-generated gradients remains largely unexplored. Here, we introduce a theoretical framework for the self-organized chemotaxis of heterogeneous cell populations. We find that the relative chemotactic sensitivities of different cell populations control their long-time coupling and comigration dynamics, with boundary conditions such as external cell and attractant reservoirs substantially influencing the migration patterns. Our model predicts an optimal parameter regime that enables robust and colocalized migration. We test our theoretical predictions with in vitro experiments demonstrating the comigration of distinct immune cell populations, and quantitatively reproduce observed migration patterns under wild-type and perturbed conditions. Interestingly, immune cell comigration occurs close to the predicted optimal regime. Finally, we incorporate mechanical interactions into our framework, revealing a nontrivial interplay between chemotactic and mechanical nonreciprocity in driving collective migration. Together, our findings suggest that self-generated chemotaxis is a robust strategy for the navigation of mixed cell populations. acknowledged_ssus: - _id: Bio - _id: PreCl - _id: LifeSc - _id: NanoFab acknowledgement: We thank all members of the M.S. and E.H. groups for stimulating discussions.We thank the Imaging and Optics facility, the Pre-clinical and Lab Support facility of the Institute of Science and Technology Austria for their excellent support and provided resources for the experimental research. In particular, we thank Jack Merrin from the Nanofabrication facility who generated the microfabricated channel used in this study. This work received funding fromt he European Research Council under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 851288 to E.H.). M.C.U.is funded by a University of Sheffield Strategic Research Fellowship in the Physics of Life and Quantitative Biology. article_number: e2504064122 article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Mehmet C full_name: Ucar, Mehmet C id: 50B2A802-6007-11E9-A42B-EB23E6697425 last_name: Ucar orcid: 0000-0003-0506-4217 - first_name: Alsberga full_name: Zane, Alsberga id: 60f7509a-f652-11ea-9d86-b963d6490d7c last_name: Zane orcid: 0009-0003-0415-7603 - first_name: Jonna H full_name: Alanko, Jonna H id: 2CC12E8C-F248-11E8-B48F-1D18A9856A87 last_name: Alanko orcid: 0000-0002-7698-3061 - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 citation: ama: Ucar MC, Zane A, Alanko JH, Sixt MK, Hannezo EB. Self-generated chemotaxis of mixed cell populations. Proceedings of the National Academy of Sciences. 2025;122(34). doi:10.1073/pnas.2504064122 apa: Ucar, M. C., Zane, A., Alanko, J. H., Sixt, M. K., & Hannezo, E. B. (2025). Self-generated chemotaxis of mixed cell populations. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2504064122 chicago: Ucar, Mehmet C, Alsberga Zane, Jonna H Alanko, Michael K Sixt, and Edouard B Hannezo. “Self-Generated Chemotaxis of Mixed Cell Populations.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2025. https://doi.org/10.1073/pnas.2504064122. ieee: M. C. Ucar, A. Zane, J. H. Alanko, M. K. Sixt, and E. B. Hannezo, “Self-generated chemotaxis of mixed cell populations,” Proceedings of the National Academy of Sciences, vol. 122, no. 34. National Academy of Sciences, 2025. ista: Ucar MC, Zane A, Alanko JH, Sixt MK, Hannezo EB. 2025. Self-generated chemotaxis of mixed cell populations. Proceedings of the National Academy of Sciences. 122(34), e2504064122. mla: Ucar, Mehmet C., et al. “Self-Generated Chemotaxis of Mixed Cell Populations.” Proceedings of the National Academy of Sciences, vol. 122, no. 34, e2504064122, National Academy of Sciences, 2025, doi:10.1073/pnas.2504064122. short: M.C. Ucar, A. Zane, J.H. Alanko, M.K. Sixt, E.B. Hannezo, Proceedings of the National Academy of Sciences 122 (2025). corr_author: '1' date_created: 2025-09-07T22:01:32Z date_published: 2025-08-26T00:00:00Z date_updated: 2026-05-20T08:59:54Z day: '26' ddc: - '570' department: - _id: EdHa - _id: MiSi doi: 10.1073/pnas.2504064122 ec_funded: 1 external_id: isi: - '001562181600001' pmid: - '40838890' file: - access_level: open_access checksum: b36abd92673b6d76376fc9434bad52cc content_type: application/pdf creator: dernst date_created: 2025-09-08T07:23:29Z date_updated: 2025-09-08T07:23:29Z file_id: '20307' file_name: 2025_PNAS_Ucar.pdf file_size: 16069140 relation: main_file success: 1 file_date_updated: 2025-09-08T07:23:29Z has_accepted_license: '1' intvolume: ' 122' isi: 1 issue: '34' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 05943252-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '851288' name: Design Principles of Branching Morphogenesis publication: Proceedings of the National Academy of Sciences publication_identifier: eissn: - 1091-6490 issn: - 0027-8424 publication_status: published publisher: National Academy of Sciences quality_controlled: '1' related_material: link: - relation: software url: https://github.com/mehmetcanucar/Self-generated-chemotaxis scopus_import: '1' status: public title: Self-generated chemotaxis of mixed cell populations 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: 122 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20290' abstract: - lang: eng text: 'We consider equilibria in multiplayer stochastic graph games with terminal-node rewards. In such games, Nash equilibria are defined assuming that each player seeks to maximise their expected payoff, ignoring their aversion or tolerance to risk. We therefore study risk-sensitive equilibria (RSEs), where the expected payoff is replaced by a risk measure. A classical risk measure in the literature is the entropic risk measure, where each player has a real valued parameter capturing their risk-averseness. We introduce the extreme risk measure, which corresponds to extreme cases of entropic risk measure, where players are either extreme optimists or extreme pessimists. Under extreme risk measure, every player is an extremist: an extreme optimist perceives their reward as the maximum payoff that can be achieved with positive probability, while an extreme pessimist expects the minimum payoff achievable with positive probability. We argue that the extreme risk measure, especially in multi-player graph based settings, is particularly relevant as they can model several real life instances such as interactions between secure systems and potential security threats, or distributed controls for safety critical systems. We prove that RSEs defined with the extreme risk measure are guaranteed to exist when all rewards are non-negative. Furthermore, we prove that the problem of deciding whether a given game contains an RSE that generates risk measures within specified intervals is decidable and NP-complete for our extreme risk measure, and even PTIME-complete when all players are extreme optimists, while that same problem is undecidable using the entropic risk measure or even the classical expected payoff. This establishes, to our knowledge, the first decidable fragment for equilibria in simple stochastic games without restrictions on strategy types or number of players.' acknowledgement: "This work is a part of project VAMOS that has received funding from the European\r\nResearch Council (ERC), grant agreement No 101020093. We thank anonymous reviewers for pointing us to the Hurwicz criterion and to the work of Gallego-Hernández and Mansutti [13]. We thank Marie van den Bogaard for her valuable feedback on the first author’s PhD dissertation, which helped improve the quality of this work. " alternative_title: - LIPIcs article_number: '30' article_processing_charge: Yes arxiv: 1 author: - first_name: Léonard full_name: Brice, Léonard last_name: Brice - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: K. S. full_name: Thejaswini, K. S. id: 3807fb92-fdc1-11ee-bb4a-b4d8a431c753 last_name: Thejaswini citation: ama: 'Brice L, Henzinger TA, Thejaswini KS. Finding equilibria: Simpler for pessimists, simplest for optimists. In: 50th International Symposium on Mathematical Foundations of Computer Science. Vol 345. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.MFCS.2025.30' apa: 'Brice, L., Henzinger, T. A., & Thejaswini, K. S. (2025). Finding equilibria: Simpler for pessimists, simplest for optimists. In 50th International Symposium on Mathematical Foundations of Computer Science (Vol. 345). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2025.30' chicago: 'Brice, Léonard, Thomas A Henzinger, and K. S. Thejaswini. “Finding Equilibria: Simpler for Pessimists, Simplest for Optimists.” In 50th International Symposium on Mathematical Foundations of Computer Science, Vol. 345. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.MFCS.2025.30.' ieee: 'L. Brice, T. A. Henzinger, and K. S. Thejaswini, “Finding equilibria: Simpler for pessimists, simplest for optimists,” in 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 2025, vol. 345.' ista: 'Brice L, Henzinger TA, Thejaswini KS. 2025. Finding equilibria: Simpler for pessimists, simplest for optimists. 50th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 345, 30.' mla: 'Brice, Léonard, et al. “Finding Equilibria: Simpler for Pessimists, Simplest for Optimists.” 50th International Symposium on Mathematical Foundations of Computer Science, vol. 345, 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.MFCS.2025.30.' short: L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. conference: end_date: 2025-08-29 location: Warsaw, Poland name: 'MFCS: Mathematical Foundations of Computer Science' start_date: 2025-08-25 corr_author: '1' date_created: 2025-09-07T22:01:32Z date_published: 2025-08-20T00:00:00Z date_updated: 2025-09-08T07:15:40Z day: '20' ddc: - '000' department: - _id: ToHe doi: 10.4230/LIPIcs.MFCS.2025.30 ec_funded: 1 external_id: arxiv: - '2502.0531' file: - access_level: open_access checksum: 9bc6b8e537662d371d2a27444cbc0b75 content_type: application/pdf creator: dernst date_created: 2025-09-08T07:11:12Z date_updated: 2025-09-08T07:11:12Z file_id: '20306' file_name: 2025_MFCS_Brice.pdf file_size: 1149694 relation: main_file success: 1 file_date_updated: 2025-09-08T07:11:12Z has_accepted_license: '1' intvolume: ' 345' language: - iso: eng month: '08' oa: 1 oa_version: Published Version project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 50th International Symposium on Mathematical Foundations of Computer Science publication_identifier: isbn: - '9783959773881' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: 'Finding equilibria: Simpler for pessimists, simplest for optimists' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 345 year: '2025' ...