--- OA_place: publisher _id: '19759' abstract: - lang: eng text: "Despite generating remarkable results in various computer vision tasks, deep learning comes\r\nwith some surprising shortcomings. For example, tiny perturbations, often imperceptible to\r\nthe human eye, can completely change the predictions of image classifiers. Despite a decade\r\nof research, the field has made limited progress in developing image classifiers that are both\r\naccurate and robust. This thesis aims to address this gap.\r\nAs our first contribution, we aim to simplify the process of training certifiably robust image\r\nclassifiers. We do this by designing a convolutional layer that does not require executing an\r\niterative procedure in every forward pass, but relies on an explicit bound instead. We also\r\npropose a loss function that allows optimizing for a particular margin more precisely.\r\nNext, we provide an overview and comparison of various methods that create robust image\r\nclassifiers by constraining the Lipschitz constant. This is important since generally longer\r\ntraining times and more parameters improve the performance of robust classifiers, making it\r\nchallenging to determine the most practical and effective methods from existing literature.\r\nIn 1-Lipschitz classification, the performance of current methods is still much worse than what\r\nwe expect on the simple tasks we consider. Therefore, we next investigate potential causes of\r\nthis shortcoming. We first consider the role of the activation function. We prove a theoretical\r\nshortcoming of the commonly used activation function, and provide an alternative without it.\r\nHowever this theoretical improvement does barely translate to the empirical performance of\r\nrobust classifiers, suggesting a different bottleneck.\r\nTherefore, in the final chapter, we study how the performance depends on the amount of\r\ntraining data. We prove that in the worst case, we might require far more data to train a\r\nrobust classifier compared to a normal one. We furthermore find that the amount of training\r\ndata is a key determinant of the performance current methods achieve on popular datasets.\r\nAdditionally, we show that linear subspaces exist with tiny data variance, and yet we can\r\nstill train very accurate classifiers after projecting into those subspaces. This shows that on\r\nthe datasets considered, enforcing robustness in classification makes the task strictly more\r\nchallenging.\r\n\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Bernd full_name: Prach, Bernd id: 2D561D42-C427-11E9-89B4-9C1AE6697425 last_name: Prach citation: ama: Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759 apa: Prach, B. (2025). Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria. https://doi.org/10.15479/10.15479/at-ista-19759 chicago: Prach, Bernd. “Robust Image Classification with 1-Lipschitz Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/at-ista-19759. ieee: B. Prach, “Robust image classification with 1-Lipschitz networks,” Institute of Science and Technology Austria, 2025. ista: Prach B. 2025. Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria. mla: Prach, Bernd. Robust Image Classification with 1-Lipschitz Networks. Institute of Science and Technology Austria, 2025, doi:10.15479/10.15479/at-ista-19759. short: B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-05-28T16:20:48Z date_published: 2025-05-30T00:00:00Z date_updated: 2026-07-27T12:47:44Z day: '30' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: ChLa doi: 10.15479/10.15479/at-ista-19759 doi_confirm: '1' file: - access_level: open_access checksum: e5108e759014e2a9020c973c778fafc9 content_type: application/pdf creator: bprach date_created: 2025-06-10T18:11:05Z date_updated: 2025-06-10T18:11:05Z file_id: '19829' file_name: ThesisFinal.pdf file_size: 3578077 relation: main_file - access_level: closed checksum: 51bf6c11fb6d8a9f8010b458c600a83f content_type: application/x-zip-compressed creator: bprach date_created: 2025-06-10T18:14:03Z date_updated: 2025-06-10T18:14:03Z file_id: '19830' file_name: ThesisFinal.zip file_size: 74894357 relation: source_file file_date_updated: 2025-06-10T18:14:03Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '84' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publisher_comment: "In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink. If applicable, University Microfilms and/or ProQuest Library, or the Archives of Canada may supply single copies of the dissertation." related_material: record: - id: '15039' relation: part_of_dissertation status: public - id: '18874' relation: part_of_dissertation status: public - id: '17426' relation: part_of_dissertation status: public - id: '11839' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 title: Robust image classification with 1-Lipschitz networks type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20138' abstract: - lang: eng text: "The evolution shapes the world around us.\r\nNot only in biology, where the fittest individuals spread their genes but also in physics and social dynamics, the evolutionary forces determine the development of a state of matter or public opinions.\r\nMany models describe these dynamics.\r\nThis thesis examines the role of the structure in the models of selection.\r\nThe population structure is represented as a graph or a network, and each vertex is occupied by one individual.\r\nEvery individual has a type and fitness that represents the reproductive potential and depends on the type, occupied vertex, and the arrangement of the neighbors.\r\nThe evolution is modeled in discrete steps; in one step, one individual is replaced by a neighbor selected randomly with the influence of fitness.\r\n\r\n\r\n\r\nThe role of the networks is widely examined in the literature.\r\nThe structures that promote the spread of the desired type compared to the structureless case are called amplifiers.\r\nThe existence of amplifiers in various settings is an intensively studied topic, and in some settings, the amplifiers have been identified.\r\nMoreover, there are other important questions about the number of steps until one type spreads over the whole network (fixation time), the computational complexity, and the questions about the robustness of these processes.\r\n\r\n\r\nThis thesis explores the role of structure in evolution from many perspectives.\r\nFirst, it introduces different models and various choices that can be made in the models of evolution.\r\nIt highlights the role of the structure in the real world and how this is reflected in these models.\r\nThen, it describes the previous results and open problems.\r\nSecond, the thesis describes an amplifier for two variants of the Moran process: one with a constant birth rate and the other with a constant death rate.\r\nThis is an important contribution to the robustness of the amplification.\r\nThird, the thesis determines the complexity of spatial games.\r\nThese are processes where the fitness comes from a game, and the strength of selection is high.\r\nIt shows that determining the fate of cooperation in these games is a PSPACE-complete problem.\r\nFourth, the thesis describes the amplifier of cooperation for spatial games.\r\nThis is the first amplifier in this setting.\r\nFifth, the thesis examines the coexistence in the Moran process with environmental heterogeneity.\r\nIn this setting, the fitness depends not only on the type of the individual but also on the occupied vertex.\r\nThe chapter determines the relationship between the interactions of vertices of different types and the coexistence time.\r\nSixth, the thesis examines the social balance on networks and proposes a stochastic dynamic partially aware of the state of the graph, which reaches a balanced position quickly.\r\nFinally, the thesis presents conclusions and outlines the directions for future work.\r\n\r\n\r\n" acknowledgement: "This work was supported by the European Research Council CoG 863818 (ForMSMArt) and Austrian Science Fund 10.55776/COE12.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 citation: ama: Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138 apa: Svoboda, J. (2025). Structural properties of games on graphs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20138 chicago: Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138. ieee: J. Svoboda, “Structural properties of games on graphs,” Institute of Science and Technology Austria, 2025. ista: Svoboda J. 2025. Structural properties of games on graphs. Institute of Science and Technology Austria. mla: Svoboda, Jakub. Structural Properties of Games on Graphs. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20138. short: J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025. corr_author: '1' das_tickbox: '1' date_created: 2025-08-05T14:33:59Z date_published: 2025-08-05T00:00:00Z date_updated: 2026-07-27T12:52:04Z day: '05' ddc: - '000' - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-20138 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: c6c4df9777f4537940de7ab392ad57e2 content_type: application/pdf creator: jsvoboda date_created: 2025-08-14T09:54:43Z date_updated: 2025-08-14T09:54:43Z file_id: '20177' file_name: 2025_Svoboda_Jakub_Thesis.pdf file_size: 5927291 relation: main_file success: 1 - access_level: closed checksum: 485e9f9822821bc03666d245d80aaa08 content_type: application/zip creator: jsvoboda date_created: 2025-08-14T09:55:20Z date_updated: 2025-08-21T11:48:39Z file_id: '20178' file_name: 2025_Svoboda_Jakub_Thesis.zip file_size: 6731815 relation: source_file file_date_updated: 2025-08-21T11:48:39Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '08' oa: 1 oa_version: Published Version page: '167' project: - _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 publisher_comment: "Chapter 4 is copyrighted by CC BY-NC-ND\r\n4.0, which prohibits derivatives. Chapter 6 is copyrighted: Copyright (2025) by the American\r\nPhysical Society. For a copy, redistribution, or modification needs to be permitted by the\r\nAmerican Physical Society.\r\n" related_material: record: - id: '12787' relation: part_of_dissertation status: public - id: '12101' relation: part_of_dissertation status: public - id: '12257' relation: part_of_dissertation status: public - id: '15297' relation: part_of_dissertation status: public - id: '18703' 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: Structural properties of games on graphs tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20607' acknowledged_ssus: - _id: Bio - _id: SSU - _id: LifeSc - _id: M-Shop acknowledgement: "I gratefully acknowledge the support of the ISTA Graduate School and the Scientific Service Units of\r\nISTA, whose resources made this work possible—especially the Imaging & Optics Facility, the Lab\r\nSupport Facility, and the Miba Machine Shop. I would like to thank two staff scientists in particular:\r\nRobert Hauschild (Imaging & Optics Facility) and Daniel Balazs (Lab Support Facility), for their\r\nassistance and advice. My PhD was partially funded by the Austrian Science Fund (FWF)\r\n(10.55776/P37169 and 10.55776/COE5)." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Soumyadip full_name: Mondal, Soumyadip id: d25d21ef-dc8d-11ea-abe3-ec4576307f48 last_name: Mondal citation: ama: 'Mondal S. Oxygen and sulfur redox: Conversion kinetics and phase equilibria. 2025. doi:10.15479/AT-ISTA-20607' apa: 'Mondal, S. (2025). Oxygen and sulfur redox: Conversion kinetics and phase equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607' chicago: 'Mondal, Soumyadip. “Oxygen and Sulfur Redox: Conversion Kinetics and Phase Equilibria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20607.' ieee: 'S. Mondal, “Oxygen and sulfur redox: Conversion kinetics and phase equilibria,” Institute of Science and Technology Austria, 2025.' ista: 'Mondal S. 2025. Oxygen and sulfur redox: Conversion kinetics and phase equilibria. Institute of Science and Technology Austria.' mla: 'Mondal, Soumyadip. Oxygen and Sulfur Redox: Conversion Kinetics and Phase Equilibria. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20607.' short: 'S. Mondal, Oxygen and Sulfur Redox: Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.' corr_author: '1' das_tickbox: '1' date_created: 2025-11-07T12:40:54Z date_published: 2025-09-19T00:00:00Z date_updated: 2026-07-29T12:57:15Z day: '19' ddc: - '541' - '543' - '542' degree_awarded: PhD department: - _id: GradSch - _id: StFr doi: 10.15479/AT-ISTA-20607 doi_confirm: '1' file: - access_level: closed checksum: b5eed6a3dccb83cd2a8a22e11fd7d867 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: smondal date_created: 2025-11-13T16:47:47Z date_updated: 2025-11-13T16:47:47Z file_id: '20644' file_name: 2025_Mondal_Soumyadip_Thesis.docx file_size: 32589295 relation: source_file - access_level: closed checksum: 89b1529e0a7b524f46624d73ecadf8cb content_type: application/pdf creator: smondal date_created: 2025-11-13T16:47:46Z date_updated: 2025-11-13T16:47:46Z embargo: 2026-11-13 embargo_to: open_access file_id: '20645' file_name: 2025_Mondal_Soumyadip_Thesis.pdf file_size: 5007370 relation: main_file file_date_updated: 2025-11-13T16:47:47Z has_accepted_license: '1' language: - iso: eng month: '09' oa_version: Published Version page: '71' project: - _id: 8df062be-16d5-11f0-9cad-f559b6612c7e grant_number: P37169 name: Singlet oxygen in non-aqueous oxygen redox chemistry publication_identifier: isbn: - 978-3-99078-071-8 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12065' relation: part_of_dissertation status: public - id: '13044' relation: part_of_dissertation status: public - id: '20437' relation: part_of_dissertation status: deleted - id: '14687' relation: part_of_dissertation status: public status: public supervisor: - first_name: Stefan Alexander full_name: Freunberger, Stefan Alexander id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425 last_name: Freunberger orcid: 0000-0003-2902-5319 title: 'Oxygen and sulfur redox: Conversion kinetics and phase equilibria' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20811' abstract: - lang: eng text: "\tThis thesis is organized into two parts, each comprising two chapters: Chapter 1 and 2 offer models for the evolution of vaccine resistance in response to diverse vaccination strategies. Chapter 3 and 4 review the statistics of records, their connection to models of innovation and an application to the cultural evolution of sports.\r\n\tIn chapter 1 we present a modelling study from 2021 on the evolution of SARS-CoV-2. At that time the vaccine-resistant Omicron variant had not yet evolved. In our model we consider a population that is becoming vaccinated over time, while a pathogen is spreading in the population and eventually becoming resistant to the vaccine. We explore effective pharmaceutical and non-pharmaceutical interventions to prevent the emergence of vaccine resistance. \r\n\tIn chapter 2 we model a particular set of complex vaccination strategies, mosaic and pyramid vaccination, where an immunologically diverse portfolio of vaccines is considered. We find that a bet-hatching strategy, in which vaccine types are distributed in the population, is effective at hindering the evolution of vaccine resistance if mutation rates are high. \r\n\tIn chapter 3 we switch gears and present a review on the statistics of records. We highlight similarities and analogies to other models in the fields of statistical physics, evolution and innovation. This offers interesting complimentary perspectives on well-known models. \r\n\tIn chapter 4 we apply models of record statistics and innovation to study cultural evolution in sport. We propose a model of sport evolution that combines deterministic improvements in performance and stochastic bursts of improvements due to innovation. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Simon full_name: Rella, Simon id: B4765ACA-AA38-11E9-AC9A-0930E6697425 last_name: Rella citation: ama: 'Rella S. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. 2025. doi:10.15479/AT-ISTA-20811' apa: 'Rella, S. (2025). Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20811' chicago: 'Rella, Simon. “Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20811.' ieee: 'S. Rella, “Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation,” Institute of Science and Technology Austria, 2025.' ista: 'Rella S. 2025. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria.' mla: 'Rella, Simon. Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20811.' short: 'S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-12-12T14:39:56Z date_published: 2025-12-15T00:00:00Z date_updated: 2026-07-29T12:57:49Z day: '15' ddc: - '616' - '576' - '614' - '519' degree_awarded: PhD department: - _id: GradSch - _id: GaTk - _id: FyKo doi: 10.15479/AT-ISTA-20811 doi_confirm: '1' file: - access_level: open_access checksum: a0bd7a585720e60df284101b8afdf6bb content_type: application/pdf creator: srella date_created: 2025-12-16T21:49:52Z date_updated: 2025-12-16T21:49:52Z file_id: '20831' file_name: 2025_Rella_Simon_Thesis.pdf file_size: 29019662 relation: main_file success: 1 - access_level: open_access checksum: b8b3a90932ae1d96d307838710f46e32 content_type: application/zip creator: srella date_created: 2025-12-16T21:52:19Z date_updated: 2025-12-16T21:52:19Z file_id: '20832' file_name: 2025_Rella_Simon_Thesis_Sourcefiles.zip file_size: 42094025 relation: source_file file_date_updated: 2025-12-16T21:52:19Z has_accepted_license: '1' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: '95' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18307' relation: part_of_dissertation status: public - id: '9905' relation: part_of_dissertation status: public status: public supervisor: - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 title: 'Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation' tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 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-07-29T13:03:31Z day: '02' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: BeBi doi: 10.15479/AT-ISTA-20276 doi_confirm: '1' 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 license: https://creativecommons.org/licenses/by-nc/4.0/ 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: publisher _id: '20203' abstract: - lang: eng text: Tribocharging, or contact electrification, is the phenomenon in which two initially neutral materials exchange electric charge through contact and subsequent separation. While it is widely observed in everyday life and crucial to numerous natural processes, even the most basic aspects of tribocharging are still a mystery—what are the charge carriers involved and what drives their exchange? This work spans three separate projects that address different aspects of tribocharging. First, we introduce a novel strategy combining Finite Element Method (FEM) simulations with Kelvin Probe Force Microscopy (KPFM) to quantitatively extract surface charge density from surface voltage maps. Second, we present a simple theoretical model that allows for the existence of triboelectric cycles, under the assumption that multiple charge carrying species are involved. Third, we present experimental evidence that identical materials can spontaneously evolve into a triboelectric series, driven by contact history. Modeling this behavior enables the replication of experimental results with simulations, and even experimentally forcing the appearance of a pre-designed series by manipulating contact history. Together, the findings from these projects challenge traditional views on tribocharging, provide new tools for probing it, and open up new avenues of research—all with the hopes of bringing us closer to understanding this puzzling phenomenon. acknowledged_ssus: - _id: M-Shop - _id: NanoFab - _id: EM-Fac - _id: LifeSc - _id: ScienComp acknowledgement: "The project in Chapter 2 has received funding from the European Research Council (ERC) under\r\nthe European Union’s Horizon 2020 research and innovation programme (Grant Agreement\r\nNo. 949120).\r\nThe project in Chapter 3 has received funding from the European Research Council (ERC) under\r\nthe European Union’s Horizon 2020 research and innovation programme (Grant Agreement\r\nNo. 949120).\r\nThe project in Chapter 4 has received financing from the European Research Council grant\r\nagreement No. 949120 under the European Union’s Horizon 2020 research and innovation\r\nprogramme. The Analytical Instrumentation Center of the TU Wien acknowledges support by\r\nthe FFG project ‘ELSA’ under grant no. 884672. C.M.P. and M.O. acknowledge the state\r\nof Lower Austria and the European Regional Development Fund under grant no. WST3-F542638/004-2021.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Juan Carlos A full_name: Sobarzo Ponce, Juan Carlos A id: 4B807D68-AE37-11E9-AC72-31CAE5697425 last_name: Sobarzo Ponce citation: ama: 'Sobarzo Ponce JCA. Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. 2025. doi:10.15479/AT-ISTA-20203' apa: 'Sobarzo Ponce, J. C. A. (2025). Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20203' chicago: 'Sobarzo Ponce, Juan Carlos A. “Tribocharging of Identical Insulators: Triboelectric Series, Triboelectric Cycles and Surface Charges.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20203.' ieee: 'J. C. A. Sobarzo Ponce, “Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges,” Institute of Science and Technology Austria, 2025.' ista: 'Sobarzo Ponce JCA. 2025. Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. Institute of Science and Technology Austria.' mla: 'Sobarzo Ponce, Juan Carlos A. Tribocharging of Identical Insulators: Triboelectric Series, Triboelectric Cycles and Surface Charges. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20203.' short: 'J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators: Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-08-21T11:42:59Z date_published: 2025-08-27T00:00:00Z date_updated: 2026-07-29T13:11:25Z day: '27' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: ScWa doi: 10.15479/AT-ISTA-20203 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 661b9d3786cfc985be811befc3262bf5 content_type: application/pdf creator: jsobarzo date_created: 2025-08-27T14:50:32Z date_updated: 2025-08-27T14:50:32Z file_id: '20237' file_name: 2025_Sobarzo_JuanCarlos_Thesis.pdf file_size: 12667200 relation: main_file success: 1 - access_level: closed checksum: ca2f24e6c3b55912982521707552a0f5 content_type: application/x-zip-compressed creator: jsobarzo date_created: 2025-08-27T14:50:32Z date_updated: 2025-08-28T08:19:07Z file_id: '20238' file_name: 2025_Sobarzo_JuanCarlos_Thesis.zip file_size: 18940521 relation: source_file file_date_updated: 2025-08-28T08:19:07Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '96' project: - _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa call_identifier: H2020 grant_number: '949120' name: 'Tribocharge: a multi-scale approach to an enduring problem in physics' publication_identifier: isbn: - 978-3-99078-062-6 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12109' relation: part_of_dissertation status: public - id: '15322' relation: part_of_dissertation status: public - id: '19278' relation: part_of_dissertation status: public status: public supervisor: - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 title: 'Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20371' abstract: - lang: eng text: "Quantum mechanics reveals a world that defies classical determinism, where uncertainty, superposition, and fluctuations are fundamental aspects. Engineering devices that harness these quantum features requires not only precision, but also a deep understanding of how they interact with their surrounding environment. Superconducting circuits, which exploit\r\nmacroscopic quantum coherence in low-loss superconducting materials, provide a scalable platform for implementing such systems. Among the critical elements in these circuits, superinductors—high-impedance, dissipation-free inductive components—play a central role by suppressing charge fluctuations. They allow quantum states to be delocalized in phase space, protect qubits from environmental noise, and facilitate access to phenomena such as dual Josephson physics and ultra-strong coupling regimes. \r\nThis thesis explores two complementary implementations of high-impedance circuits: geometric superinductors, demonstrating that high impedance can be achieved beyond kinetic inductance,\r\nand Josephson junction chains, used to investigate both microwave mode properties and DC transport across the superconductor-to-insulator transition. \r\nPart I addresses geometric superinductors. Contrary to the common belief that high-impedance superconducting circuits require kinetic inductance, we demonstrate that purely geometric designs can achieve characteristic impedance exceeding the resistance quantum. By exploiting mutual coupling between adjacent turns, coil-based inductors achieve enhanced self-inductance, creating a reliable platform for qubits and resonators. Modeling, simulation, fabrication, and\r\ncharacterization confirm that these elements behave as superinductor. With low loss, high linearity, and minimal stray capacitance, these elements are reproducible, free of uncontrolled tunneling events, and capable of strong magnetic coupling. This establishes geometric superinductors as robust, single-wave-function superconducting devices suitable for hardware protected qubits and hybrid systems.\r\nPart II presents classical numerical simulations of a Quantum Phase Slip circuit to study dual Shapiro steps. The circuit consists of an ideal Quantum Phase Slip element embedded in a resistive-inductive environment with a parasitic capacitance.\r\nPart III extends the investigation of high characteristic-impedance circuit elements to one-dimensional Josephson junction chains, which act as a quantum simulator for many-body physics and the superconductor–insulator transition. Different devices are realized on both sides of the DC phase transition, showing either a supercurrent branch or Coulomb blockade at zero bias. The effect of the crossover on microwave modes, however, remains insufficiently investigated. Studying these modes provides insight into the interplay between disorder and phase-slip events. Small differences in circuit component sizes determine which side of the transition a device falls on, making these results relevant not only for fundamental understanding but also for the design of quantum devices, emphasizing the crucial role of the\r\nelectromagnetic environment in stabilizing and controlling fragile quantum states. \r\nTogether, these results illustrate how carefully engineered high characteristic-impedance elements provide a link between macroscopic circuits and the inherently uncertain quantum world, enabling experiments that probe, control, and ultimately exploit quantum fluctuations for applications in quantum information, metrology, solid state physics and beyond.\r\n\r\n" acknowledged_ssus: - _id: NanoFab - _id: M-Shop acknowledgement: "I also gratefully acknowledge the generous support of the NOMIS Foundation Project \"Protected\r\nStates of Quantum Matter\" and the grant from the Beyond-C consortium. Their funding\r\nmade this research possible and gave me the freedom to ask ambitious questions, and try to\r\nanswer them.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Andrea full_name: Trioni, Andrea id: 42F71B44-F248-11E8-B48F-1D18A9856A87 last_name: Trioni citation: ama: 'Trioni A. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. 2025. doi:10.15479/AT-ISTA-20371' apa: 'Trioni, A. (2025). High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20371' chicago: 'Trioni, Andrea. “High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20371.' ieee: 'A. Trioni, “High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains,” Institute of Science and Technology Austria, 2025.' ista: 'Trioni A. 2025. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria.' mla: 'Trioni, Andrea. High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20371.' short: 'A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-09-23T09:57:57Z date_published: 2025-09-23T00:00:00Z date_updated: 2026-07-29T13:12:10Z day: '23' ddc: - '539' degree_awarded: PhD department: - _id: GradSch - _id: JoFi doi: 10.15479/AT-ISTA-20371 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 6fb925648dfa5f4384814c552ee2f099 content_type: application/pdf creator: atrioni date_created: 2025-09-25T07:15:05Z date_updated: 2025-09-25T14:25:31Z file_id: '20392' file_name: 2025_Trioni_Andrea_Thesis.pdf file_size: 22351676 relation: main_file - access_level: closed checksum: 619dc614bdfbf3999b76ac8890b2cebd content_type: application/x-zip-compressed creator: atrioni date_created: 2025-09-25T14:45:43Z date_updated: 2025-09-26T07:20:48Z file_id: '20396' file_name: 2025_Trioni_Andrea_Thesis.zip file_size: 60079009 relation: source_file file_date_updated: 2025-09-26T07:20:48Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '202' project: - _id: eb9b30ac-77a9-11ec-83b8-871f581d53d2 name: Protected states of quantum matter - _id: bdb108fd-d553-11ed-ba76-83dc74a9864f grant_number: F07105 name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-067-1 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8755' relation: part_of_dissertation status: public status: public supervisor: - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X title: 'High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20339' abstract: - lang: eng text: "This thesis investigates the interplay between algebraic and topological methods and combinatorial problems, focusing on approximate graph colourings and mass partitioning. The unifying theme throughout the dissertation is the use of continuous maps and symmetry constraints to extract combinatorial insights.\r\n\r\nWe first explore approximate graph colouring problems and more generally promise constraint satisfaction problems. Using tools from equivariant topology in combination with the general theory of polymorphism of a promise constraint satisfaction problem, we establish hardness for specific types of approximations.\r\n\r\nIn the second part, we address mass partitioning problems, where one seeks to divide geometric objects or measures in Euclidean space into parts of equal size using hyperplanes. Employing techniques from topological combinatorics (configuration space/test map setup and Borsuk–Ulam type theorems), we both obtain a new equipartitioning result in the and provide a fast algorithm for computing equipartitioning of point sets in 3D.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Gianluca full_name: Tasinato, Gianluca id: 0433290C-AF8F-11E9-A4C7-F729E6697425 last_name: Tasinato citation: ama: 'Tasinato G. Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. 2025. doi:10.15479/AT-ISTA-20339' apa: 'Tasinato, G. (2025). Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20339' chicago: 'Tasinato, Gianluca. “Topological Methods in Discrete Geometry and Theoretical Computer Science: Measure Partitioning and Constraint Satisfaction Problems.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20339.' ieee: 'G. Tasinato, “Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems,” Institute of Science and Technology Austria, 2025.' ista: 'Tasinato G. 2025. Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. Institute of Science and Technology Austria.' mla: 'Tasinato, Gianluca. Topological Methods in Discrete Geometry and Theoretical Computer Science: Measure Partitioning and Constraint Satisfaction Problems. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20339.' short: 'G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science: Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-09-10T12:17:55Z date_published: 2025-09-10T00:00:00Z date_updated: 2026-07-29T13:13:18Z day: '10' ddc: - '516' degree_awarded: PhD department: - _id: GradSch - _id: UlWa doi: 10.15479/AT-ISTA-20339 doi_confirm: '1' file: - access_level: closed checksum: ae097a515b9bb4d4b025ca854ae2ed76 content_type: application/x-zip-compressed creator: gtasinat date_created: 2025-09-11T12:24:12Z date_updated: 2025-09-11T12:24:12Z file_id: '20344' file_name: thesis-source.zip file_size: 2218562 relation: source_file - access_level: open_access checksum: 04b2e016409e52167ce42b0eef839fbf content_type: application/pdf creator: gtasinat date_created: 2025-09-11T12:26:14Z date_updated: 2025-09-11T12:26:14Z file_id: '20345' file_name: 2025_Tasinato_Gianluca_Thesis.pdf file_size: 10071982 relation: main_file success: 1 file_date_updated: 2025-09-11T12:26:14Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '106' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '20008' relation: part_of_dissertation status: public - id: '15168' relation: part_of_dissertation status: public - id: '19860' relation: part_of_dissertation status: public status: public supervisor: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 title: 'Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems' tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 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-07-29T13:14:37Z day: '27' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-20234 doi_confirm: '1' 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: '18266' relation: part_of_dissertation status: public - id: '19508' relation: part_of_dissertation status: public - id: '17037' 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: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '19540' abstract: - lang: eng text: "This thesis deals with several different models for complex quantum mechanical systems and is structured in three main parts. \r\n\t\r\nIn Part I, we study mean field random matrices as models for quantum Hamiltonians. Our focus lies on proving concentration estimates for resolvents of random matrices, so-called local laws, mostly in the setting of multiple resolvents. These estimates have profound consequences for eigenvector overlaps and thermalization problems. More concretely, we obtain, e.g., the optimal eigenstate thermalization hypothesis (ETH) uniformly in the spectrum for Wigner matrices, an optimal lower bound on non-Hermitian eigenvector overlaps, and prethermalization for deformed Wigner matrices.\tIn order to prove our novel multi-resolvent local laws, we develop and devise two main methods, the static Psi-method and the dynamical Zigzag strategy. \r\n\t\r\nIn Part II, we study Bardeen-Cooper-Schrieffer (BCS) theory, the standard mean field microscopic theory of superconductivity. We focus on asymptotic formulas for the characteristic critical temperature and energy gap of a superconductor and prove universality of their ratio in various physical regimes. Additionally, we investigate multi-band superconductors and show that inter-band coupling effects can only enhance the critical temperature. \r\n\t\r\nIn Part III, we study quantum lattice systems. On the one hand, we show a strong version of the local-perturbations-perturb-locally (LPPL) principle for the ground state of weakly interacting quantum spin systems with a uniform on-site gap. On the other hand, we introduce a notion of a local gap and rigorously justify response theory and the Kubo formula under the weakened assumption of a local gap. \r\n\t\r\nAdditionally, we discuss two classes of problems which do not fit into the three main parts of the thesis. These are deformational rigidity of Liouville metrics on the torus and relativistic toy models of particle creation via interior-boundary-conditions (IBCs). " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sven Joscha full_name: Henheik, Sven Joscha id: 31d731d7-d235-11ea-ad11-b50331c8d7fb last_name: Henheik orcid: 0000-0003-1106-327X citation: ama: 'Henheik SJ. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. 2025. doi:10.15479/AT-ISTA-19540' apa: 'Henheik, S. J. (2025). Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19540' chicago: 'Henheik, Sven Joscha. “Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19540.' ieee: 'S. J. Henheik, “Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems,” Institute of Science and Technology Austria, 2025.' ista: 'Henheik SJ. 2025. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria.' mla: 'Henheik, Sven Joscha. Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19540.' short: 'S.J. Henheik, Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-04-10T21:21:18Z date_published: 2025-04-10T00:00:00Z date_updated: 2026-07-29T13:18:17Z day: '10' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: LaEr doi: 10.15479/AT-ISTA-19540 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: b8477ae5578436c72c3bb4193ad34ac5 content_type: application/zip creator: shenheik date_created: 2025-04-10T21:14:18Z date_updated: 2025-04-10T21:14:18Z file_id: '19542' file_name: Henheik-Thesis_source_final.zip file_size: 4107587 relation: source_file - access_level: open_access checksum: e9fc0ea12ec46c9f71110c33217c4140 content_type: application/pdf creator: shenheik date_created: 2025-04-11T13:16:05Z date_updated: 2025-04-11T13:16:05Z file_id: '19553' file_name: Henheik-Thesis-pdfa_FINAL.pdf file_size: 9999492 relation: main_file success: 1 - access_level: closed checksum: f94580f86c785e7108eb116cd189e225 content_type: application/pdf creator: cchlebak date_created: 2025-04-23T14:10:27Z date_updated: 2025-04-23T14:10:27Z file_id: '19615' file_name: Henheik-Thesis-Volume1_print.pdf file_size: 13276442 relation: other - access_level: closed checksum: b927ead3c78020ffb32918911deedb74 content_type: application/pdf creator: cchlebak date_created: 2025-04-23T14:11:05Z date_updated: 2025-04-23T14:11:05Z file_id: '19616' file_name: Henheik-Thesis-Volume2_print.pdf file_size: 7628767 relation: other file_date_updated: 2025-04-23T14:11:05Z has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '720' project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication_identifier: isbn: - 978-3-99078-057-2 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '14343' relation: part_of_dissertation status: public - id: '13317' relation: part_of_dissertation status: public - id: '11732' relation: part_of_dissertation status: public - id: '12184' relation: part_of_dissertation status: public - id: '14421' relation: part_of_dissertation status: public - id: '10623' relation: part_of_dissertation status: public - id: '18112' relation: part_of_dissertation status: public - id: '19001' relation: part_of_dissertation status: public - id: '10642' relation: part_of_dissertation status: public - id: '19545' relation: part_of_dissertation status: public - id: '19546' relation: part_of_dissertation status: public - id: '19550' relation: part_of_dissertation status: public - id: '19551' relation: part_of_dissertation status: public - id: '19552' relation: part_of_dissertation status: public - id: '14542' relation: part_of_dissertation status: public - id: '17049' relation: part_of_dissertation status: public - id: '18764' relation: part_of_dissertation status: public - id: '19547' relation: part_of_dissertation status: public - id: '19548' relation: part_of_dissertation status: public - id: '18656' relation: part_of_dissertation status: public status: public supervisor: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 title: 'Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20357' acknowledged_ssus: - _id: ScienComp - _id: E-Lib acknowledgement: "I would also like to acknowledge the Austrian Academy of Sciences for funding through the\r\nDOC Fellowship program (fellowship number 26917), the Grants Office at ISTA for their\r\nassistance with the application, and the Scientific Computing Unit for their support regarding\r\nhigh-performance computation.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Natalia full_name: Ruzickova, Natalia id: D2761128-D73D-11E9-A1BF-BA0DE6697425 last_name: Ruzickova citation: ama: Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357 apa: Ruzickova, N. (2025). Effect propagation in biological networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357 chicago: Ruzickova, Natalia. “Effect Propagation in Biological Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20357. ieee: N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025. ista: Ruzickova N. 2025. Effect propagation in biological networks. Institute of Science and Technology Austria. mla: Ruzickova, Natalia. Effect Propagation in Biological Networks. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20357. short: N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-09-15T17:04:48Z date_published: 2025-09-15T00:00:00Z date_updated: 2026-08-10T07:47:56Z day: '15' ddc: - '570' - '530' degree_awarded: PhD department: - _id: GradSch - _id: GaTk doi: 10.15479/AT-ISTA-20357 doi_confirm: '1' file: - access_level: closed checksum: 0582508d439b233497384f83a8307398 content_type: application/x-zip-compressed creator: cchlebak date_created: 2026-08-07T10:57:05Z date_updated: 2026-08-07T10:57:05Z file_id: '22661' file_name: 2025_Ruzickova_Natalia_Thesis.zip file_size: 56464803 relation: source_file - access_level: closed checksum: b722289fd550abede63adc27b9c61784 content_type: application/pdf creator: cchlebak date_created: 2026-08-07T10:57:34Z date_updated: 2026-08-07T10:57:34Z embargo: 2026-09-15 embargo_to: open_access file_id: '22662' file_name: 2025_Ruzickova_Natalia_Thesis.pdf file_size: 30634378 relation: main_file file_date_updated: 2026-08-07T10:57:34Z has_accepted_license: '1' keyword: - gene regulation - networks - omnigenic model - pancreas - collective behaviour language: - iso: eng month: '09' oa_version: Published Version page: '156' project: - _id: 7bec9174-9f16-11ee-852c-ded9fe5f810e name: Collective behaviour of cells in pancreatic Islets of Langerhans publication_identifier: isbn: - 978-3-99078-066-4 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18525' relation: part_of_dissertation status: public status: public supervisor: - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 title: Effect propagation in biological networks type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20074' abstract: - lang: eng text: "Prenatal immune challenges pose significant risks to human embryonic brain and eye development. However, we still lack knowledge about the safe usage of anti-inflammatory drugs during pregnancy. Human induced pluripotent stem cell (hIPSC)-derived brain organoid models provide a unique opportunity to investigate neuronal development and have started to explore functional consequences upon viral infection. However, brain organoids usually lack microglia, the brain-resident immune cells. They are present in the early human embryonic brain and actively participate in neuronal circuit development. At the same time, microglia are known for their immune-sensing properties and will influence viral-mediated effects. In my thesis, I was interested to study the multifunctional role of human microglia during retinal development. \r\nIn chapter 1, I characterize the innate occurrence of IBA1+-microglia-like cells within the retinal organoid differentiation (Bartalska et al., 2022). Therefore, we differentiate hIPSC using an unguided retinal organoid differentiation protocol and observe the presence of IBA1+-microglia-like cells alongside retinal cups between week 3 and 4 in 2.5D culture. However, instead of infiltrating the neuroectodermal sides, they enrich within non-pigmented, 3D-cystic compartments that develop in low numbers parallel to 3D-retinal organoids. To enrich for IBA1+-microglia precursors (preMG), we guided the differentiation with a low-dosed BMP4 application, which prevents retinal cup development and enhances microglia and 3D-cysts formation. We characterize the differentiated preMG for their microglia-like identity and validated their functionality. In parallel, mass spectrometry identifies the 3D-cysts to express mesenchymal and epithelial markers. We confirm that comparable 3D-cysts are also the preferential environment for IBA1+-microglia-like cells within the unguided retinal organoid differentiation. \r\nIn chapter 2, I investigate how microglia influence retinal development and whether they contribute to viral-mediated consequences (Schmied et al., 2025). Here, we assemble preMG, which we have characterized in chapter 1, into 3D-retinal organoids. Once the outer plexiform layer forms, microglia-like cells (iMG) populate them and interact with retinal cell types. However, at this developmental stage, the ganglion cell number decreases in 3D-retinal organoids. Thus, we adapted the model into 2D which promotes their survival. Integrated iMG engulf ganglion cells and control their cell number. In parallel, we apply the immunostimulant POLY(I:C) to mimic a fetal viral infection. Although POLY(I:C) stimulation affects iMG phenotype, it does not influence their interaction with ganglion cells. Furthermore, iMG presence significantly contributes to the supernatant’s inflammatory secretome and increases retinal cell proliferation. Simultaneous exposure to the non-steroidal anti-inflammatory drug (NSAID) ibuprofen dampens POLY(I:C)-mediated consequences of the iMG phenotype and ameliorates cell proliferation. Remarkably, while POLY(I:C) disrupts neuronal calcium dynamics independent of iMG presence, ibuprofen rescues this effect only in the presence of iMG. Mechanistically, ibuprofen blocks the enzymes cyclooxygenase 1 and 2 (COX1/ PTGS1 and COX2/ PTGS2) simultaneously, from which iMG predominantly express COX1. Selective inhibition of COX1 does not restore the calcium peak amplitude upon POLY(I:C) stimulation, indicating ibuprofen’s effect depends on the presence and interplay of both, COX1 and COX2. \r\nIn summary, we characterized the 3D-retinal organoid model for the occurrence of IBA1+-microglia like cells. As the innately developing IBA1+-cells enrich in mesenchymal over retinal structures, we optimized a protocol to differentiate IBA1+-microglia precursors. By combining these two models we generate microglia-assembled retinal organoids. Our results underscore the importance of microglia during neurodevelopment, in the context of prenatal immune challenges and provide insight into the mechanisms by which ibuprofen exerts its protective effects during embryonic development." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Verena full_name: Hübschmann, Verena id: 32B7C918-F248-11E8-B48F-1D18A9856A87 last_name: Hübschmann citation: ama: Schmied V. Human microglia impact neuronal development in retinal organoids. 2025. doi:10.15479/AT-ISTA-20074 apa: Schmied, V. (2025). Human microglia impact neuronal development in retinal organoids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20074 chicago: Schmied, Verena. “Human Microglia Impact Neuronal Development in Retinal Organoids.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20074. ieee: V. Schmied, “Human microglia impact neuronal development in retinal organoids,” Institute of Science and Technology Austria, 2025. ista: Schmied V. 2025. Human microglia impact neuronal development in retinal organoids. Institute of Science and Technology Austria. mla: Schmied, Verena. Human Microglia Impact Neuronal Development in Retinal Organoids. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20074. short: V. Schmied, Human Microglia Impact Neuronal Development in Retinal Organoids, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-07-24T12:37:22Z date_published: 2025-07-24T00:00:00Z date_updated: 2026-08-12T08:45:16Z day: '24' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: SaSi doi: 10.15479/AT-ISTA-20074 doi_confirm: '1' file: - access_level: closed checksum: d09f9984002353ad7442358394919bf3 content_type: application/x-zip-compressed creator: vhuebsch date_created: 2025-07-30T08:47:53Z date_updated: 2025-07-30T08:47:53Z file_id: '20086' file_name: PhD_Thesis_Schmied.zip file_size: 43566093 relation: source_file - access_level: open_access checksum: 4833690d7283c587f518ba98eeb2c946 content_type: application/pdf creator: vhuebsch date_created: 2025-07-30T08:47:46Z date_updated: 2025-07-30T09:29:09Z file_id: '20087' file_name: PhD_Thesis_Schmied.pdf file_size: 13120922 relation: main_file file_date_updated: 2025-07-30T09:29:09Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '151' project: - _id: 9B99D380-BA93-11EA-9121-9846C619BF3A grant_number: SC19-017 name: How human microglia shape developing neurons during health and inflammation publication_identifier: isbn: - 978-3-99078-060-2 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11478' relation: part_of_dissertation status: public - id: '19593' relation: part_of_dissertation status: public status: public supervisor: - first_name: Sandra full_name: Siegert, Sandra id: 36ACD32E-F248-11E8-B48F-1D18A9856A87 last_name: Siegert orcid: 0000-0001-8635-0877 title: Human microglia impact neuronal development in retinal organoids tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher _id: '20147' abstract: - lang: eng text: "Quantitative properties offer a framework for specifying and verifying system behaviors beyond the traditional boolean perspective. For example, while a boolean property may specify whether a server eventually grants every request it receives, a quantitative one may map each server execution to its average response time. This quantitative view is relatively well-studied in the context of static verification. However, although such properties often appear in practice as performance or robustness measures in a dynamic verification context, a general theoretical framework for their analysis and classification from a monitoring perspective is still missing.\r\n\r\nIn this thesis, we aim to develop such a framework that takes resource-precision tradeoffs of monitors as a central consideration. We present the first theory of monitorability for quantitative properties where monitors can be naturally approximate and compared regarding their precision and resource use. In particular, we show that additional monitor resources such as registers or states lead to strictly better approximations for some properties. To enable such analyses in a machine-model independent way, we describe an abstract notion of monitors that can be instantiated with concrete models of monitors. Within this framework, we study how abstract monitors behave and identify classes of properties amenable to approximate monitoring with resource-precision considerations. We then extend the boolean safety-liveness dichotomy and safety-progress hierarchy to the quantitative setting with a monitoring perspective. In particular, we prove that every property is the pointwise minimum of a safety property and a liveness property, and properties that are both safe and co-safe can be approximately monitored arbitrarily precisely using only finitely many states. We also study the classes of quantitative properties definable by finite-state quantitative automata and provide algorithms for deciding their safety or liveness as well as their safety-liveness decompositions. Finally, we present the first general-purpose tool for automating the analysis, verification, and monitoring of quantitative automata.\r\n\r\n\r\n" acknowledgement: "This work was supported in part by the Austrian Science Fund (FWF)\r\nunder grant Z211-N23 (Wittgenstein Award) and the ERC-2020-AdG 101020093.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147 apa: Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147 chicago: Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147. ieee: N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025. ista: Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. mla: Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147. short: N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-07T15:57:57Z date_published: 2025-08-07T00:00:00Z date_updated: 2026-08-12T08:46:04Z day: '07' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: ToHe doi: 10.15479/AT-ISTA-20147 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: 0f3015f1db36576a23d8d669afb60b41 content_type: application/x-zip-compressed creator: esarac date_created: 2025-08-21T09:40:28Z date_updated: 2025-09-10T08:19:51Z file_id: '20200' file_name: 2025_Sarac_NaciEge_Thesis.zip file_size: 8884801 relation: source_file - access_level: open_access checksum: 332ed2fe61f580641664ec3f05d30f14 content_type: application/pdf creator: esarac date_created: 2025-08-21T09:40:34Z date_updated: 2025-08-21T09:40:34Z file_id: '20201' file_name: 2025_Sarac_NaciEge_Thesis.pdf file_size: 2955584 relation: main_file success: 1 file_date_updated: 2025-09-10T08:19:51Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '149' project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publisher_comment: "In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink. If applicable, University Microfilms and/or ProQuest Library, or the Archives of Canada may supply single copies of the dissertation." related_material: record: - id: '11775' relation: part_of_dissertation status: public - id: '13140' relation: part_of_dissertation status: deleted - id: '19741' relation: part_of_dissertation status: public - id: '19643' relation: part_of_dissertation status: deleted - id: '17634' relation: part_of_dissertation status: public - id: '13221' relation: part_of_dissertation status: public - id: '9356' relation: part_of_dissertation status: public - id: '20342' relation: part_of_dissertation status: public status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 title: A monitoring-oriented theory and classification of quantitative specifications tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20167' acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: "This work was supported by EMBO (ALTF 302-2019 to Niko Amin-Wetzel), the FWF\r\n(ESPRIT PR1054E140 to Niko Amin-Wetzel), the European Research Council\r\n(Advanced Grant 269058 to Mario de Bono) and Wellcome (209504/A/17/Z\r\nInvestigator Award to Mario de Bono). " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Hanna full_name: Schön, Hanna id: C8E17EDC-D7AA-11E9-B7B7-45ECE5697425 last_name: Schön citation: ama: Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167 apa: Schön, H. (2025). The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20167 chicago: Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20167. ieee: H. Schön, “The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs,” Institute of Science and Technology Austria, 2025. ista: Schön H. 2025. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. mla: Schön, Hanna. The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20167. short: H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-13T11:13:13Z date_published: 2025-08-13T00:00:00Z date_updated: 2026-08-13T13:05:37Z day: '13' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: MaDe doi: 10.15479/AT-ISTA-20167 doi_confirm: '1' file: - access_level: closed checksum: b40c74404b8d9593802dabf57bfdf10f content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: hschoen date_created: 2025-09-08T14:33:50Z date_updated: 2025-09-09T08:57:04Z file_id: '20311' file_name: 2025_Schoen_Hanna_Thesis.docx file_size: 78812587 relation: source_file - access_level: closed checksum: 16abc3ff66396ce2457fe07ffa8bed90 content_type: application/pdf creator: hschoen date_created: 2025-09-11T14:20:59Z date_updated: 2026-08-13T13:05:36Z embargo: 2027-03-15 embargo_to: open_access file_id: '20347' file_name: 2025_Schoen_Hanna_Thesis.pdf file_size: 9667057 relation: main_file file_date_updated: 2026-08-13T13:05:36Z has_accepted_license: '1' language: - iso: eng month: '08' oa_version: Published Version page: '171' project: - _id: 23870BE8-32DE-11EA-91FC-C7463DDC885E grant_number: 209504/A/17/Z name: Molecular mechanisms of neural circuit function - _id: 23813290-32DE-11EA-91FC-C7463DDC885E grant_number: ALTF 302-2019 name: Control of gene expression at the endoplasmic reticulum publication_identifier: isbn: - 978-3-99078-061-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Mario full_name: de Bono, Mario id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87 last_name: de Bono orcid: 0000-0001-8347-0443 title: The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '19684' abstract: - lang: eng text: "The overarching goal of this thesis is to break down the complexity of turbulent flows in terms of enumerable, coherent structures and patterns. In a five-paper series, we adopt a variety of perspectives and techniques to relate the properties of systems of increasing complexity to their underlying coherent structures. \r\n\r\nInitially, we take a dynamical systems point of view, seeing turbulent flow as a chaotic trajectory bouncing between exact unstable solutions of the underlying equations of motion. Using persistent homology, the main tool of topological data analysis capturing the persistence across scales of topological features in a point cloud, we introduce a method that quantifies visits of turbulent trajectories to unstable time-periodic solutions, also called periodic orbits. We demonstrate this method first in the Rössler and Kuramoto–Sivashinsky systems. Using this method in 3D Kolmogorov flow, we extract a Markov chain from turbulent data, where each node corresponds to the neighbourhood of a periodic orbit. The invariant distribution of this Markov chain reproduces expectation values on turbulent data when it is used to weight averages on the respective periodic orbits.\r\n\r\nIn more realistic, wall-bounded settings, such as plane-Couette flow (pcf) driven by the relative motion of the walls, or plane-Poiseuille flow (ppf) driven by a pressure gradient, finding exact solutions is difficult. We use dynamic mode decomposition (DMD), a dimensionality reduction method for sequential data, to identify and approximate low-dimensional dynamics without knowing any exact solutions. Most spatially-extended systems are equivariant under translations, and in such cases spatial drifts dominate DMD, hindering its use in the search for and modelling of low-dimensional dynamics. We augment DMD with a symmetry reduction method trained on turbulent data to stop it from seeing translations as a feature, improving its ability to extract dynamical information in translation-equivariant systems. We find segments of turbulent trajectories that linearize well with their symmetry-reduced DMD spectra, akin to dynamics near exact solutions. Searching for harmonics in the spectra gives leads for periodic orbits with spatial drifts, one of which converges to a new solution.\r\n\r\nIn larger domains, turbulence can localize and coexist with surrounding laminar flow. Our preceding approaches are global, taking all of a domain into account at once, and cannot readily treat each localized patch individually. Working first in a minimal oblique domain that can host a single 1D-localized turbulent patch, we find that turbulence in ppf is connected to a stable periodic orbit at a flow velocity much lower than when turbulence is first onset. We show that, well in advance of sustained turbulence, chaos sets in explosively, and for long time horizons, time series are consistent with that of a random process.\r\n\r\nFinally, in much larger domains, we study and compare 2D-localized turbulence that appears as large-scale inclined structures, called stripes, in ppf and pcf. While appearing similar, we find that stripes in these two settings differ significantly in terms of how they sustain themselves, and in higher velocities, how they proliferate." acknowledged_ssus: - _id: ScienComp acknowledgement: "The work in this thesis was supported by a grant from the Simons Foundation (662960, BH).\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Gökhan full_name: Yalniz, Gökhan id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425 last_name: Yalniz orcid: 0000-0002-8490-9312 citation: ama: 'Yalniz G. Transition to turbulence: Data-, solution-, and pattern-driven approaches. 2025. doi:10.15479/AT-ISTA-19684' apa: 'Yalniz, G. (2025). Transition to turbulence: Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19684' chicago: 'Yalniz, Gökhan. “Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19684.' ieee: 'G. Yalniz, “Transition to turbulence: Data-, solution-, and pattern-driven approaches,” Institute of Science and Technology Austria, 2025.' ista: 'Yalniz G. 2025. Transition to turbulence: Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria.' mla: 'Yalniz, Gökhan. Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19684.' short: 'G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-05-12T15:12:28Z date_published: 2025-05-13T00:00:00Z date_updated: 2026-09-02T08:16:32Z day: '13' ddc: - '514' - '519' - '532' - '004' degree_awarded: PhD department: - _id: GradSch - _id: BjHo doi: 10.15479/AT-ISTA-19684 doi_confirm: '1' file: - access_level: open_access checksum: 0e452642b79f13633f1595bde71a67e3 content_type: application/pdf creator: gyalniz date_created: 2025-05-12T15:13:28Z date_updated: 2025-05-12T15:13:28Z file_id: '19685' file_name: Gökhan Yalnız - PhD thesis.pdf file_size: 20058169 relation: main_file success: 1 - access_level: open_access checksum: 921099d76adab2df784ce12ce41cfb22 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:15:59Z date_updated: 2025-05-12T15:43:28Z description: '3D visualizations of the turbulent flow (left) and the periodic orbits (middle) that are being shadowed along with the local state space projections (right) onto the principal components of the respective periodic orbit. Shown here are the isosurfaces of velocity (red/blue: ±95% of the instantaneous maximum) and vorticity (purple/green: ±65% of the instantaneous maximum) in the x-direction. Markers along the projections are in sync with the 3D visualizations. The movie corresponds to the initial time interval (up to t = 100) of figure 2.2 (a,b); periodic orbits and the state space projections are shown only through the shadowing events indicated in figure 2.2 (b).' file_id: '19686' file_name: Movie 2A.1.mp4 file_size: 37763743 relation: supplementary_material title: Chapter 2 - Movie 2A.1 - access_level: open_access checksum: 0ae5ac7d9896003c0c4207dd746808dc content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:09Z date_updated: 2025-05-12T15:43:28Z description: 'Turbulent flow (left) in HKW domain and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19687' file_name: Movie 3A.1.mp4 file_size: 3902655 relation: supplementary_material title: Chapter 3 - Movie 3A.1 - access_level: open_access checksum: ef8d270e066c1a9c3cb5ae46acf945e6 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:21Z date_updated: 2025-05-12T15:43:28Z description: 'Turbulent flow (left) in P2K domain and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19688' file_name: Movie 3A.2.mp4 file_size: 7043169 relation: supplementary_material title: Chapter 3 - Movie 3A.2 - access_level: open_access checksum: 7ed871f428100d6827ac9b0e8ca8e985 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:36Z date_updated: 2025-05-12T15:43:28Z description: 'Relative periodic orbit RPO_79.4 (left) of the plane-Couette flow (HKW domain) and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19689' file_name: Movie 3A.3.mp4 file_size: 7748659 relation: supplementary_material title: Chapter 3 - Movie 3A.3 - access_level: open_access checksum: dd5a252e1da00c8f303588e22e2baeef content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:50Z date_updated: 2025-05-12T15:43:28Z description: 'Symmetry-reduced flow (left), its SRDMD approximation (middle), and state space projection (right) showing the spiral-out episode in P2K domain (figure 3.6 (b) and figure 3.8 (b)). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19690' file_name: Movie 3A.4.mp4 file_size: 5873052 relation: supplementary_material title: Chapter 3 - Movie 3A.4 - access_level: open_access checksum: 5ac58b86810698db28cbfc28f351ff70 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:11Z date_updated: 2025-05-12T15:43:28Z description: Movie demonstrating the quasi-steady Reynolds number descent from turbulence to a periodic orbit. file_id: '19691' file_name: Movie 4A.1.mp4 file_size: 9209327 relation: supplementary_material title: Chapter 4 - Movie 4A.1 - access_level: open_access checksum: ac877f1e1ef39439911bf37cb1793b8e content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:43Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Couette flow (Re^C =335) at the y = 0 wall-normal plane in coordinates stationary with respect to the bulk velocity. Here, x is the streamwise direction (the wall at y = 1 moves to the right) and z is the spanwise direction. Time is in advectime time units. Shown is the full (L_x = L_z = 400) domain. file_id: '19692' file_name: Movie 5A.1.mp4 file_size: 5893993 relation: supplementary_material title: Chapter 5 - Movie 5A.1 - access_level: open_access checksum: fd17eabb70129ceaa414e40924d1d2fe content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:49Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Poiseuille flow (Re^P =660) at the y = 0.5 wall-normal plane in coordinates stationary with respect to the bulk velocity. Here, x is the streamwise direction (the mean negative pressure gradient is to the right) and z is the spanwise direction. Time is in advectime time units. Shown is the full (L_x = L_z = 400) domain. file_id: '19693' file_name: Movie 5A.2.mp4 file_size: 3990352 relation: supplementary_material title: Chapter 5 - Movie 5A.2 - access_level: open_access checksum: 32f904497ab0bbee38f0788d96b91454 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:58Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Poiseuille flow (Re^P=660) at the y = 0.5 wall-normal plane in coordinates stationary with respect to the average velocity of the downstream tip of the stripe. Here, x is the streamwise direction (the mean negative pressure gradient is to the right) and z is the spanwise direction. Time is in advectime time units. Shown is a zoom-in of the full (L_x = L_z) domain. file_id: '19694' file_name: Movie 5A.3.mp4 file_size: 5171009 relation: supplementary_material title: Chapter 5 - Movie 5A.3 - access_level: closed checksum: f313261b9bb12dfb943fead8318954c6 content_type: application/x-zip-compressed creator: gyalniz date_created: 2025-05-12T15:27:10Z date_updated: 2025-05-12T15:43:28Z file_id: '19695' file_name: Gökhan Yalnız - PhD thesis.zip file_size: 18991996 relation: source_file file_date_updated: 2025-05-12T15:43:28Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '155' project: - _id: 238598C6-32DE-11EA-91FC-C7463DDC885E grant_number: '662960' name: Revisiting the Turbulence Problem Using Statistical Mechanics publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9558' relation: part_of_dissertation status: public - id: '12105' relation: part_of_dissertation status: public - id: '13274' relation: part_of_dissertation status: public - id: '14466' relation: part_of_dissertation status: public - id: '7563' relation: part_of_dissertation status: public status: public supervisor: - first_name: Björn full_name: Hof, Björn id: 3A374330-F248-11E8-B48F-1D18A9856A87 last_name: Hof orcid: 0000-0003-2057-2754 title: 'Transition to turbulence: Data-, solution-, and pattern-driven approaches' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '20117' acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: PreCl acknowledgement: "I would also like to acknowledge the invaluable assistance provided by the Plant\r\nFacility, Imaging & Optics Facility, and the Lab Support Facility. The technical support and\r\nresources offered by these facilities were indispensable to the successful completion of my\r\nexperiments." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Yiqun full_name: Wang, Yiqun id: 82F537F2-B517-11E9-84D7-6433E6697425 last_name: Wang citation: ama: Wang Y. The role of dynamin related protein 2A in cytokinin regulated plant growth and development. 2025. doi:10.15479/AT-ISTA-20117 apa: Wang, Y. (2025). The role of dynamin related protein 2A in cytokinin regulated plant growth and development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20117 chicago: Wang, Yiqun. “The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20117. ieee: Y. Wang, “The role of dynamin related protein 2A in cytokinin regulated plant growth and development,” Institute of Science and Technology Austria, 2025. ista: Wang Y. 2025. The role of dynamin related protein 2A in cytokinin regulated plant growth and development. Institute of Science and Technology Austria. mla: Wang, Yiqun. The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20117. short: Y. Wang, The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-04T15:24:21Z date_published: 2025-08-04T00:00:00Z date_updated: 2026-09-03T22:30:04Z day: '04' ddc: - '580' degree_awarded: PhD department: - _id: GradSch - _id: EvBe doi: 10.15479/AT-ISTA-20117 file: - access_level: closed checksum: 36b87c17d12c7bf5955d6d812acb8d77 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: yiqwang date_created: 2025-08-22T08:22:10Z date_updated: 2026-09-03T22:30:03Z embargo_to: open_access file_id: '20209' file_name: 2025_Wang_Yiqun_Thesis.docx file_size: 25798848 relation: source_file - access_level: open_access checksum: 8d7a2383f66377da675d379ec30ea0fe content_type: application/pdf creator: yiqwang date_created: 2025-08-22T10:32:30Z date_updated: 2026-09-03T22:30:03Z embargo: 2026-09-03 file_id: '20211' file_name: 2025_Wang_Yiqun_Thesis.pdf file_size: 12628313 relation: main_file file_date_updated: 2026-09-03T22:30:03Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '108' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18063' relation: part_of_dissertation status: public status: public supervisor: - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 title: The role of dynamin related protein 2A in cytokinin regulated plant growth and development type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher _id: '20212' acknowledged_ssus: - _id: Bio - _id: PreCl acknowledgement: "I would also like to\r\nthank the Austrian Academy of Sciences for awarding me a 2-year DOC fellowship\r\n(DOC26253)." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Osvaldo full_name: Miranda, Osvaldo id: 862A3C56-A8BF-11E9-B4FA-D9E3E5697425 last_name: Miranda orcid: 0000-0001-6618-6889 citation: ama: Miranda O. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. 2025. doi:10.15479/AT-ISTA-20212 apa: Miranda, O. (2025). Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20212 chicago: Miranda, Osvaldo. “Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20212. ieee: O. Miranda, “Unraveling the role of Pten in cortical stem cell lineage progression using MADM,” Institute of Science and Technology Austria, 2025. ista: Miranda O. 2025. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria. mla: Miranda, Osvaldo. Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20212. short: O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-22T14:07:00Z date_published: 2025-08-22T00:00:00Z date_updated: 2026-08-26T22:30:03Z day: '22' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: SiHi doi: 10.15479/AT-ISTA-20212 file: - access_level: closed checksum: 3331f76bbef74ff4908e2d2c9262045c content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: omiranda date_created: 2025-08-26T09:03:50Z date_updated: 2026-08-26T22:30:02Z embargo_to: open_access file_id: '20230' file_name: 2025_MirandaRomero_OsvaldoAntonio_Thesis.docx file_size: 32887334 relation: source_file - access_level: open_access checksum: 02509d50cff8e35c5bcbf71e8d658176 content_type: application/pdf creator: omiranda date_created: 2025-08-26T09:05:55Z date_updated: 2026-08-26T22:30:02Z embargo: 2026-08-26 file_id: '20231' file_name: 2025_MirandaRomero_OsvaldoAntonio_Thesis.pdf file_size: 28636240 relation: main_file file_date_updated: 2026-08-26T22:30:02Z has_accepted_license: '1' keyword: - Pten - mtor - cortical development - MADM - Mapk language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '119' project: - _id: 34c9fbcb-11ca-11ed-8bc3-98fa5658610d grant_number: '26253' name: Molecular Mechanisms Regulating Cortical Neural Stem Cell Lineage Progression and Astrocyte Development publication_identifier: isbn: - 978-3-99078-063-3 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '17425' relation: part_of_dissertation status: public status: public supervisor: - first_name: Simon full_name: Hippenmeyer, Simon id: 37B36620-F248-11E8-B48F-1D18A9856A87 last_name: Hippenmeyer orcid: 0000-0003-2279-1061 title: Unraveling the role of Pten in cortical stem cell lineage progression using MADM type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_embargo: '6' OA_place: publisher _id: '20798' abstract: - lang: eng text: "Atom interferometers measure the relative phase shifts between coherent matter-wave paths\r\nthat arise from interactions with external fields or inertial forces. Due to their exceptional\r\nphase sensitivity, atom interferometers became an essential tool for precision measurements\r\nand fundamental physics experiments, finding applications in geodesy, gravimetry, and inertial\r\nnavigation. However, their measurement precision is limited by quantum projection noise,\r\nwhich arises from the Heisenberg uncertainty principle, preventing the measurement of atomic\r\nstates with absolute precision. The generation of entanglement between the atoms offers a\r\npath to surpass this so-called standard quantum limit, thereby enhancing the interferometer’s\r\nphase sensitivity beyond classical measurement bounds.\r\nThis thesis reports on the development of an atom interferometer experiment designed to\r\nrealize cavity-mediated, squeezed Mach-Zehnder-type interferometry with ultra-cold 87Rb atoms.\r\nThe experiment combines cavity-aided spin-squeezing with cavity-mediated Mach-Zehnder\r\ninterferometry to demonstrate entanglement-enhanced phase sensitivity. The experiment is\r\ncentered on a triangular optical cavity that mediates all relevant atom-light interactions. The\r\ncavity provides optical trapping, spin-squeezing, and Raman beam-splitter operations, enabling\r\nto perform interferometry on a continuously trapped atomic ensemble.\r\nThe thesis elaborates on the fundamental theoretical framework, the cavity design, and the full\r\noptical setup, including the detailed configuration of the developed laser stabilization methods.\r\nExperimentally, continuous loading methods were explored, resulting in an accumulation of\r\nup to 4 × 106\r\natoms in the dipole trap within a cycle time of 500 ms. The AC Stark shift\r\ncompensation method developed for continuous loading was further applied for in-trap cooling\r\nto 10 µK, and optical pumping for efficient atomic state preparation. Coherent state control\r\nwas verified via observation of microwave-driven Rabi oscillations, and used to characterize\r\natom-cavity coupling.\r\nThese presented results establish the experimental groundwork for the future development of\r\ncavity-mediated, entanglement-enhanced Mach-Zehnder-type atom interferometry." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sebastian full_name: Wald, Sebastian id: 133F200A-B015-11E9-AD41-0EDAE5697425 last_name: Wald orcid: 0000-0002-5869-1604 citation: ama: Wald S. Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. 2025. doi:10.15479/AT-ISTA-20798 apa: Wald, S. (2025). Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20798 chicago: Wald, Sebastian. “Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20798. ieee: S. Wald, “Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry,” Institute of Science and Technology Austria, 2025. ista: Wald S. 2025. Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. Institute of Science and Technology Austria. mla: Wald, Sebastian. Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20798. short: S. Wald, Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry, Institute of Science and Technology Austria, 2025. corr_author: '1' das_tickbox: '1' date_created: 2025-12-11T11:48:11Z date_published: 2025-12-11T00:00:00Z date_updated: 2026-07-24T08:07:28Z day: '11' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: OnHo doi: 10.15479/AT-ISTA-20798 doi_confirm: '1' file: - access_level: open_access checksum: 1be72faf529a5e8a2d03cb3d5f808b77 content_type: application/pdf creator: swald date_created: 2025-12-12T11:53:42Z date_updated: 2026-06-15T22:30:03Z embargo: 2026-06-15 file_id: '20809' file_name: 2025_Wald_Sebastian_Thesis.pdf file_size: 47536855 relation: main_file - access_level: closed checksum: 8c3a1904dceb4bcd04bc9f14b2594bab content_type: application/x-zip-compressed creator: swald date_created: 2025-12-12T11:54:55Z date_updated: 2026-06-15T22:30:03Z embargo_to: open_access file_id: '20810' file_name: 2025_Wald_Sebastian_Thesis.zip file_size: 40127601 relation: source_file file_date_updated: 2026-06-15T22:30:03Z has_accepted_license: '1' keyword: - entanglement-enhanced atom interferometry - cavity QED - spin-squeezing - dipole trap - quantum optics language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: '152' publication_identifier: isbn: - 978-3-99078-075-6 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '14759' relation: part_of_dissertation status: public status: public supervisor: - first_name: Onur full_name: Hosten, Onur id: 4C02D85E-F248-11E8-B48F-1D18A9856A87 last_name: Hosten orcid: 0000-0002-2031-204X title: Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry 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: publisher _id: '18871' abstract: - lang: eng text: "\"Can we do this with a new type of computer - a quantum computer?\". This famous\r\nquotation of the brilliant Richard Feynman within a conference talk on \"Simulating physics\r\nwith computers.” is often reverently praised as the origin of the field of quantum computing.\r\nThe idea was to use quantum mechanical systems itself to simulate \"Nature\", which is\r\ninherently quantum mechanical. Now, 43 years later, the theoretical framework of how such\r\na computer can operate has been developed. Two main important concepts for a potential\r\nquantum supremacy, superposition and entanglement, have been exploited to design quantum\r\nalgorithms to significantly speed up certain tasks. Yet, the specific hardware implementation\r\nis still far from being certain, in fact the race between the most promising platforms such as\r\nsuperconducting qubits, bosonic codes, cold atoms, trapped ions, optical computing as well\r\nas spin qubits has recently intensified. If one also includes the most mature applications of\r\nquantum communication technologies, secure quantum key distribution and quantum random\r\nnumber generators, as part of a quantum information technology ecosystem, we are confronted\r\nwith a plethora of different materials, concepts, and also operation frequencies. While\r\nsuperconducting qubits, bosonic codes and spin qubits work in the regime of approximately 5\r\nGHz and are controlled by electrical fields, trapped ions, cold atoms, and optical quantum\r\ncomputing operate with light in the infrared or visible range.\r\nConsequently, a quantum frequency converter or microwave-optic transducer is required\r\nto interface the different frequency domains or establish a long-range network connection\r\nwith suitable telecom fibers. In fact, the combination of different frequency regimes is also\r\nan essential part in our classical modern communication network, where computations are\r\nperformed in electrical circuits and the information exchange over longer distances happens\r\nvia optical fibers. However, the specific challenges specific to building a quantum computer,\r\nalso apply to the development of such a quantum frequency transducer: 1) As we deal with\r\nsingle excitations as the carrier of information, i.e. the smallest possible quantity, the signal\r\ncan easily be corrupted by other noise sources which needs to be avoided by all means. This\r\nis also the reason why microwave quantum computers operate at temperature environments\r\nclose to zero temperature (< 0.1 Kelvin) to avoid corruption by thermal noise. 2) The\r\nfrequency interface generally needs to preserve the phase of the signal as an essential part\r\nof the quantum state. And 3) Quantum signals cannot be copied which would be a typical\r\nstrategy to account for errors in classical computers. And finally, there is a challenge specific to\r\nmicrowave-optic transducers: While quantum computers are operating in one specific frequency\r\ndomain, microwave-optic transducers combine microwave and optical fields in one device.\r\nThis results in the particular challenge that high-energy optical radiation, which is usually\r\nwell-shielded from superconducting microwave quantum processors, are now an essential part\r\nof the device. The concomitant optical radiation in the operating transducer will inevitably\r\nhave a detrimental effect on the superconducting microwave components. Together with the\r\nrequirement of minimal background noise for quantum-limited operation as described above,\r\nv\r\nheating from the absorption of optical photons within the same device where single microwave\r\nexcitations are processed forms a formidable challenge.\r\nThis thesis aims to address this challenge by developing microwave-optic transducers where\r\nthe impact of optical absorption on superconducting circuits in general and superconducting\r\nqubits specifically can be mitigated. In our first approach, we developed a compact device\r\nwith optimized interaction strengths between the different frequency domains. This minimizes\r\nthe optical powers used for transducer operation and thus the optical absorption heating. This\r\nwork was - to the best of our knowledge - the first comprehensive noise study, in an integrated\r\nmicrowave-optic transducer. Unfortunately, we saw that the optical absorption heating added\r\nnoise way above a single excitation. Consequently, a potential quantum signal would have\r\nbeen buried in the noise, added by the transduction.\r\nBuilding on this insight, we utilized a three-dimensional microwave-optic transducer instead\r\nof an integrated device. The larger heat capacity of the macroscopic device with a size\r\nof a few millimeters can absorb a larger fraction of the optical heating before it increases\r\nthe temperature of the device. This allowed us to interface the transducer directly with a\r\nsuperconducting qubit to readout the qubit state in a novel all-optical manner. We showed\r\nthat the microwave-optic transducer can be operated in a regime in which optical fields don’t\r\nharm the sensitive qubit. This is an important prerequisite for the operation of microwave-optic\r\ntransducers in conjunction with microwave quantum processors and brings the integration and\r\nseamless orchestration of different frequency components in a quantum network a step closer.\r\n" acknowledged_ssus: - _id: SSU - _id: M-Shop - _id: NanoFab acknowledgement: "This work was supported by the European Research Council under grant agreement no. 758053\r\n(ERC StG QUNNECT) and the European Union’s Horizon 2020 research, innovation program\r\nunder grant agreement no. 899354 (FETopen SuperQuLAN) and the Austrian Science Fund\r\n(FWF) through BeyondC (F7105). I want to acknowledge generous support from the Austrian\r\nAcademy of Sciences from a DOC [Doctoral program of the Austrian Academy of Sciences]\r\nfellowship (no. 25129).\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Georg M full_name: Arnold, Georg M id: 3770C838-F248-11E8-B48F-1D18A9856A87 last_name: Arnold orcid: 0000-0003-1397-7876 citation: ama: Arnold GM. Microwave-optic interconnects for superconducting circuits. 2025. doi:10.15479/at:ista:18871 apa: Arnold, G. M. (2025). Microwave-optic interconnects for superconducting circuits. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18871 chicago: Arnold, Georg M. “Microwave-Optic Interconnects for Superconducting Circuits.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/at:ista:18871. ieee: G. M. Arnold, “Microwave-optic interconnects for superconducting circuits,” Institute of Science and Technology Austria, 2025. ista: Arnold GM. 2025. Microwave-optic interconnects for superconducting circuits. Institute of Science and Technology Austria. mla: Arnold, Georg M. Microwave-Optic Interconnects for Superconducting Circuits. Institute of Science and Technology Austria, 2025, doi:10.15479/at:ista:18871. short: G.M. Arnold, Microwave-Optic Interconnects for Superconducting Circuits, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-01-24T10:28:39Z date_published: 2025-01-24T00:00:00Z date_updated: 2026-04-16T12:20:43Z day: '24' ddc: - '530' degree_awarded: PhD department: - _id: JoFi - _id: GradSch doi: 10.15479/at:ista:18871 ec_funded: 1 file: - access_level: closed checksum: 71872702e8f46c275eaea44efc4d304f content_type: application/x-zip-compressed creator: cchlebak date_created: 2025-01-29T08:38:08Z date_updated: 2026-01-29T23:30:03Z embargo_to: open_access file_id: '18946' file_name: tex for upload.zip file_size: 18856130 relation: source_file - access_level: open_access checksum: dfaa06591970f4bff163705802fad56d content_type: application/pdf creator: cchlebak date_created: 2025-01-29T08:38:34Z date_updated: 2026-01-29T23:30:03Z embargo: 2026-01-29 file_id: '18947' file_name: ISTThesisGA2022_final.pdf file_size: 17344760 relation: main_file file_date_updated: 2026-01-29T23:30:03Z has_accepted_license: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: '135' project: - _id: 26336814-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '758053' name: A Fiber Optic Transceiver for Superconducting Qubits - _id: 9B868D20-BA93-11EA-9121-9846C619BF3A call_identifier: H2020 grant_number: '899354' name: Quantum Local Area Networks with Superconducting Qubits - _id: 2671EB66-B435-11E9-9278-68D0E5697425 name: Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies - _id: bdb108fd-d553-11ed-ba76-83dc74a9864f grant_number: F07105 name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6609' relation: part_of_dissertation status: public - id: '8529' relation: part_of_dissertation status: public - id: '18953' relation: part_of_dissertation status: public - id: '10924' relation: part_of_dissertation status: public - id: '9114' relation: part_of_dissertation status: public - id: '13200' relation: part_of_dissertation status: public status: public supervisor: - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X title: Microwave-optic interconnects for superconducting circuits tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_embargo: '6' OA_place: publisher _id: '19745' abstract: - lang: eng text: "Cell migration is a crucial process in animal development and maintenance. It is incredibly\r\nheterogeneous, with different cell types utilizing fundamentally distinct migration strategies.\r\nThe strategies also depend on the cellular microenvironment, where cells can switch between\r\nmigration modes as they encounter new environmental cues. In this thesis, we investigated\r\nhow dendritic cells adapt their migration strategy when encountering geometrically,\r\nmechanically and chemically distinct environments.\r\nWhen dendritic cells are embedded in a homogeneous fibrous network, they migrate in a fast\r\nand directional amoeboid manner. In this migration strategy, extracellular proteolysis and\r\nintegrin-mediated adhesions are dispensable. Instead, the cells use topography of the\r\nenvironment to propel their cell body forward. To migrate efficiently in the maze of different\r\npore sizes, they position the nucleus ahead of the microtubule organizing center (MTOC) and\r\nuse it to gauge the pores to identify the path of least resistance. Our aim was to identify\r\nwhether dendritic cells adapt their migration strategy when encountering asymmetrical\r\ntransitions into much denser environments with limited choice of large pores. In such invasive\r\ntransitions it is unclear if the cells can cross tight pores without the use of adhesions and\r\nextracellular proteolysis and whether they maintain the nucleus in the cell front.\r\nUsing various cell migration assays such as fibrous 3D collagen gels, geometrically defined\r\nmicrochannels with constrictions and simplistic under agarose migration assay, we provide\r\na comprehensive characterization of invasive migration of dendritic cells. We show that\r\nduring invasion the cells stall and stretch, reflecting the difficulty to translocate the bulky cell\r\nbody into the dense environment. In collagen gels, we show that dendritic cells can invade\r\nwithout proteolysis and adhesions. Instead, they utilize contractility, which can lead to largescale collagen compressions. During invasion, the nucleus stalls at tight constrictions, leading\r\nto a transient organelle reorientation. To resolve the stalling, upregulated rear contractility is\r\nrequired. This contractile force is simultaneously necessary for reverting the nucleus back to\r\nthe cell front after invasion and maintaining this positioning during permissive migration.\r\nA functional role of the reorientation was uncovered in the first collaboration project.\r\nA prominent central actin pool was identified around the MTOC, especially pronounced in\r\ndense and compressive environments. The actin pool was shown to generate pushing forces\r\nto dilate the space for cell translocation. These forces are only necessary in non-permissive\r\nenvironments, where the nucleus reorients to the cell rear, allowing the actin pool to\r\ngenerate space. In permissive environments where space generation is dispensable, the\r\nMTOC is located behind the nucleus and the actin cloud has reduced intensity, allowing more\r\nactin to be incorporated into the lamellipodium, speeding up migration.\r\nIn the second collaboration project, we investigated the effects of distinct chemical\r\nenvironments on dendritic cell migration. The strikingly persistent migration of these cells\r\nwas explained by their ability to modulate and even self-generate chemokine gradients. This\r\nallows the cells to migrate faster and more persistent in uniform chemokine fields compared\r\nto imposed chemokine gradients. The chemokine receptor CCR7 was identified as a crucial\r\nplayer in this process, both sensing the signal and internalizing the chemokine to create a sink." acknowledgement: "This project has received funding from the Austrian Science Fund (FWF) via the doctorate\r\ncollege DK NanoCell and from the European Union’s Horizon 2020 research and innovation\r\nprogramme under the Marie Skłodowska-Curie Grant Agreement No. 665385.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Nikola full_name: Canigova, Nikola id: 3795523E-F248-11E8-B48F-1D18A9856A87 last_name: Canigova orcid: 0000-0002-8518-5926 citation: ama: Canigova N. Adaptive strategies of dendritic cell migration in response to environmental cues. 2025. doi:10.15479/AT-ISTA-19745 apa: Canigova, N. (2025). Adaptive strategies of dendritic cell migration in response to environmental cues. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19745 chicago: Canigova, Nikola. “Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19745. ieee: N. Canigova, “Adaptive strategies of dendritic cell migration in response to environmental cues,” Institute of Science and Technology Austria, 2025. ista: Canigova N. 2025. Adaptive strategies of dendritic cell migration in response to environmental cues. Institute of Science and Technology Austria. mla: Canigova, Nikola. Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19745. short: N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-05-26T08:49:00Z date_published: 2025-05-27T00:00:00Z date_updated: 2026-06-18T17:34:48Z day: '27' ddc: - '570' degree_awarded: PhD department: - _id: MiSi - _id: GradSch doi: 10.15479/AT-ISTA-19745 ec_funded: 1 file: - access_level: closed checksum: 1a2d1525d19347fbb879ef57c02951bf content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: cchlebak date_created: 2025-05-28T07:38:17Z date_updated: 2025-11-27T23:30:02Z embargo_to: open_access file_id: '19748' file_name: NikolaCanigova_Thesis_final.docx file_size: 103879193 relation: source_file - access_level: open_access checksum: c1d8f9a40a8e19fcf895373f4b773a46 content_type: application/pdf creator: cchlebak date_created: 2025-05-28T07:39:53Z date_updated: 2025-11-27T23:30:02Z embargo: 2025-11-27 file_id: '19749' file_name: NikolaCanigova_Thesis_final_PDFA2a_fixed.pdf file_size: 194530600 relation: main_file file_date_updated: 2025-11-27T23:30:02Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '133' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 265E2996-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W01250-B20 name: Nano-Analytics of Cellular Systems publication_identifier: isbn: - 978-3-99078-058-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '14274' relation: part_of_dissertation status: public status: public supervisor: - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 title: Adaptive strategies of dendritic cell migration in response to environmental cues type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ...