--- _id: '12964' abstract: - lang: eng text: "Pattern formation is of great importance for its contribution across different biological behaviours. During developmental processes for example, patterns of chemical gradients are\r\nestablished to determine cell fate and complex tissue patterns emerge to define structures such\r\nas limbs and vascular networks. Patterns are also seen in collectively migrating groups, for\r\ninstance traveling waves of density emerging in moving animal flocks as well as collectively migrating cells and tissues. To what extent these biological patterns arise spontaneously through\r\nthe local interaction of individual constituents or are dictated by higher level instructions is\r\nstill an open question however there is evidence for the involvement of both types of process.\r\nWhere patterns arise spontaneously there is a long standing interest in how far the interplay\r\nof mechanics, e.g. force generation and deformation, and chemistry, e.g. gene regulation\r\nand signaling, contributes to the behaviour. This is because many systems are able to both\r\nchemically regulate mechanical force production and chemically sense mechanical deformation,\r\nforming mechano-chemical feedback loops which can potentially become unstable towards\r\nspatio and/or temporal patterning.\r\nWe work with experimental collaborators to investigate the possibility that this type of\r\ninteraction drives pattern formation in biological systems at different scales. We focus first on\r\ntissue-level ERK-density waves observed during the wound healing response across different\r\nsystems where many previous studies have proposed that patterns depend on polarized cell\r\nmigration and arise from a mechanical flocking-like mechanism. By combining theory with\r\nmechanical and optogenetic perturbation experiments on in vitro monolayers we instead find\r\nevidence for mechanochemical pattern formation involving only scalar bilateral feedbacks\r\nbetween ERK signaling and cell contraction. We perform further modeling and experiment\r\nto study how this instability couples with polar cell migration in order to produce a robust\r\nand efficient wound healing response. In a following chapter we implement ERK-density\r\ncoupling and cell migration in a 2D active vertex model to investigate the interaction of\r\nERK-density patterning with different tissue rheologies and find that the spatio-temporal\r\ndynamics are able to both locally and globally fluidize a tissue across the solid-fluid glass\r\ntransition. In a last chapter we move towards lower spatial scales in the context of subcellular\r\npatterning of the cell cytoskeleton where we investigate the transition between phases of\r\nspatially homogeneous temporal oscillations and chaotic spatio-temporal patterning in the\r\ndynamics of myosin and ROCK activities (a motor component of the actomyosin cytoskeleton\r\nand its activator). Experimental evidence supports an intrinsic chemical oscillator which we\r\nencode in a reaction model and couple to a contractile active gel description of the cell cortex.\r\nThe model exhibits phases of chemical oscillations and contractile spatial patterning which\r\nreproduce many features of the dynamics seen in Drosophila oocyte epithelia in vivo. However,\r\nadditional pharmacological perturbations to inhibit myosin contractility leaves the role of\r\ncontractile instability unclear. We discuss alternative hypotheses and investigate the possibility\r\nof reaction-diffusion instability." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Daniel R full_name: Boocock, Daniel R id: 453AF628-F248-11E8-B48F-1D18A9856A87 last_name: Boocock orcid: 0000-0002-1585-2631 citation: ama: Boocock DR. Mechanochemical pattern formation across biological scales. 2023. doi:10.15479/at:ista:12964 apa: Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12964 chicago: Boocock, Daniel R. “Mechanochemical Pattern Formation across Biological Scales.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12964. ieee: D. R. Boocock, “Mechanochemical pattern formation across biological scales,” Institute of Science and Technology Austria, 2023. ista: Boocock DR. 2023. Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. mla: Boocock, Daniel R. Mechanochemical Pattern Formation across Biological Scales. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12964. short: D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023. date_created: 2023-05-15T14:52:36Z date_published: 2023-05-17T00:00:00Z date_updated: 2023-08-04T11:02:40Z day: '17' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: EdHa doi: 10.15479/at:ista:12964 ec_funded: 1 file: - access_level: closed checksum: d51240675fc6dc0e3f5dc0c902695d3a content_type: application/pdf creator: dboocock date_created: 2023-05-17T13:39:54Z date_updated: 2023-05-19T07:04:25Z embargo: 2024-05-17 embargo_to: open_access file_id: '12988' file_name: thesis_boocock.pdf file_size: 40414730 relation: main_file - access_level: closed checksum: 581a2313ffeb40fe77e8a122a25a7795 content_type: application/zip creator: dboocock date_created: 2023-05-17T13:39:53Z date_updated: 2023-05-17T14:35:13Z file_id: '12989' file_name: thesis_boocock.zip file_size: 34338567 relation: source_file file_date_updated: 2023-05-19T07:04:25Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '05' oa_version: Published Version page: '146' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-032-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8602' relation: part_of_dissertation status: public status: public supervisor: - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 title: Mechanochemical pattern formation across biological scales 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: '2023' ... --- _id: '12885' abstract: - lang: eng text: 'High-performance semiconductors rely upon precise control of heat and charge transport. This can be achieved by precisely engineering defects in polycrystalline solids. There are multiple approaches to preparing such polycrystalline semiconductors, and the transformation of solution-processed colloidal nanoparticles is appealing because colloidal nanoparticles combine low cost with structural and compositional tunability along with rich surface chemistry. However, the multiple processes from nanoparticle synthesis to the final bulk nanocomposites are very complex. They involve nanoparticle purification, post-synthetic modifications, and finally consolidation (thermal treatments and densification). All these properties dictate the final material’s composition and microstructure, ultimately affecting its functional properties. This thesis explores the synthesis, surface chemistry and consolidation of colloidal semiconductor nanoparticles into dense solids. In particular, the transformations that take place during these processes, and their effect on the material’s transport properties are evaluated. ' acknowledged_ssus: - _id: EM-Fac - _id: NanoFab alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Mariano full_name: Calcabrini, Mariano id: 45D7531A-F248-11E8-B48F-1D18A9856A87 last_name: Calcabrini orcid: 0000-0003-4566-5877 citation: ama: 'Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885' apa: 'Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885' chicago: 'Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.' ieee: 'M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.' ista: 'Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.' mla: 'Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.' short: 'M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.' date_created: 2023-05-02T07:58:57Z date_published: 2023-04-28T00:00:00Z date_updated: 2023-08-14T07:25:26Z day: '28' ddc: - '546' - '541' degree_awarded: PhD department: - _id: GradSch - _id: MaIb doi: 10.15479/at:ista:12885 ec_funded: 1 file: - access_level: closed checksum: 9347b0e09425f56fdcede5d3528404dc content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: mcalcabr date_created: 2023-05-02T07:43:18Z date_updated: 2023-05-02T07:43:18Z file_id: '12887' file_name: Thesis_Calcabrini.docx file_size: 99627036 relation: source_file - access_level: open_access checksum: 2d188b76621086cd384f0b9264b0a576 content_type: application/pdf creator: mcalcabr date_created: 2023-05-02T07:42:45Z date_updated: 2023-05-02T07:42:45Z file_id: '12888' file_name: Thesis_Calcabrini_pdfa.pdf file_size: 8742220 relation: main_file success: 1 file_date_updated: 2023-05-02T07:43:18Z has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '82' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-028-2 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10806' relation: part_of_dissertation status: public - id: '10042' relation: part_of_dissertation status: public - id: '12237' relation: part_of_dissertation status: public - id: '9118' relation: part_of_dissertation status: public - id: '10123' relation: part_of_dissertation status: public status: public supervisor: - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 title: 'Nanoparticle-based semiconductor solids: From synthesis to consolidation' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '12891' abstract: - lang: eng text: "The tight spatiotemporal coordination of signaling activity determining embryo\r\npatterning and the physical processes driving embryo morphogenesis renders\r\nembryonic development robust, such that key developmental processes can unfold\r\nrelatively normally even outside of the full embryonic context. For instance, embryonic\r\nstem cell cultures can recapitulate the hallmarks of gastrulation, i.e. break symmetry\r\nleading to germ layer formation and morphogenesis, in a very reduced environment.\r\nThis leads to questions on specific contributions of embryo-specific features, such as\r\nthe presence of extraembryonic tissues, which are inherently involved in gastrulation\r\nin the full embryonic context. To address this, we established zebrafish embryonic\r\nexplants without the extraembryonic yolk cell, an important player as a signaling\r\nsource and for morphogenesis during gastrulation, as a model of ex vivo development.\r\nWe found that dorsal-marginal determinants are required and sufficient in these\r\nexplants to form and pattern all three germ layers. However, formation of tissues,\r\nwhich require the highest Nodal-signaling levels, is variable, demonstrating a\r\ncontribution of extraembryonic tissues for reaching peak Nodal signaling levels.\r\nBlastoderm explants also undergo gastrulation-like axis elongation. We found that this\r\nelongation movement shows hallmarks of oriented mesendoderm cell intercalations\r\ntypically associated with dorsal tissues in the intact embryo. These are disrupted by\r\nuniform upregulation of BMP signaling activity and concomitant explant ventralization,\r\nsuggesting that tight spatial control of BMP signaling is a prerequisite for explant\r\nmorphogenesis. This control is achieved by Nodal signaling, which is critical for\r\neffectively downregulating BMP signaling in the mesendoderm, highlighting that Nodal\r\nsignaling is not only directly required for mesendoderm cell fate specification and\r\nmorphogenesis, but also by maintaining low levels of BMP signaling at the dorsal side.\r\nCollectively, we provide insights into the capacity and organization of signaling and\r\nmorphogenetic domains to recapitulate features of zebrafish gastrulation outside of\r\nthe full embryonic context." acknowledged_ssus: - _id: Bio - _id: LifeSc alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Alexandra full_name: Schauer, Alexandra id: 30A536BA-F248-11E8-B48F-1D18A9856A87 last_name: Schauer orcid: 0000-0001-7659-9142 citation: ama: 'Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891' apa: 'Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12891' chicago: 'Schauer, Alexandra. “Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12891.' ieee: 'A. Schauer, “Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues,” Institute of Science and Technology Austria, 2023.' ista: 'Schauer A. 2023. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.' mla: 'Schauer, Alexandra. Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12891.' short: 'A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.' date_created: 2023-05-05T08:48:20Z date_published: 2023-05-05T00:00:00Z date_updated: 2023-08-21T06:25:48Z day: '05' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: CaHe doi: 10.15479/at:ista:12891 ec_funded: 1 file: - access_level: closed checksum: 59b0303dc483f40a96a610a90aab7ee9 content_type: application/pdf creator: aschauer date_created: 2023-05-05T13:01:14Z date_updated: 2023-05-05T13:01:14Z embargo: 2024-05-05 embargo_to: open_access file_id: '12907' file_name: Thesis_Schauer_final.pdf file_size: 31434230 relation: main_file - access_level: closed checksum: 25f54e12479b6adaabd129a20568e6c1 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: aschauer date_created: 2023-05-05T13:04:15Z date_updated: 2023-05-05T13:04:15Z file_id: '12908' file_name: Thesis_Schauer_final.docx file_size: 43809109 relation: source_file file_date_updated: 2023-05-05T13:04:15Z has_accepted_license: '1' language: - iso: eng month: '05' oa_version: Published Version page: '190' project: - _id: 260F1432-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742573' name: Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation - _id: 26B1E39C-B435-11E9-9278-68D0E5697425 grant_number: '25239' name: 'Mesendoderm specification in zebrafish: The role of extraembryonic tissues' publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8966' relation: part_of_dissertation status: public - id: '7888' relation: part_of_dissertation status: public status: public supervisor: - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 title: 'Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '13175' abstract: - lang: eng text: "About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. " acknowledged_ssus: - _id: M-Shop - _id: SSU - _id: NanoFab alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Rishabh full_name: Sahu, Rishabh id: 47D26E34-F248-11E8-B48F-1D18A9856A87 last_name: Sahu orcid: 0000-0001-6264-2162 citation: ama: Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175 apa: Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175 chicago: Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175. ieee: R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023. ista: Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria. mla: Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175. short: R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023. date_created: 2023-06-30T08:07:43Z date_published: 2023-05-05T00:00:00Z date_updated: 2023-08-24T11:16:35Z day: '05' ddc: - '537' - '535' - '539' degree_awarded: PhD department: - _id: GradSch - _id: JoFi doi: 10.15479/at:ista:13175 ec_funded: 1 file: - access_level: open_access checksum: 7d03f1a5a5258ee43dfc3323dea4e08f content_type: application/pdf creator: cchlebak date_created: 2023-06-30T08:17:25Z date_updated: 2023-06-30T08:17:25Z file_id: '13176' file_name: thesis_pdfa.pdf file_size: 18688376 relation: main_file success: 1 - access_level: closed checksum: c3b45317ae58e0527533f98c202d81b7 content_type: application/x-zip-compressed creator: cchlebak date_created: 2023-07-06T11:35:15Z date_updated: 2023-07-06T11:35:15Z file_id: '13196' file_name: thesis.zip file_size: 37847025 relation: source_file file_date_updated: 2023-07-06T11:35:15Z has_accepted_license: '1' keyword: - quantum optics - electrooptics - quantum networks - quantum communication - transduction language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '202' 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: bdb108fd-d553-11ed-ba76-83dc74a9864f name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits publication_identifier: isbn: - 978-3-99078-030-5 issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12900' relation: old_edition status: public - id: '10924' relation: part_of_dissertation status: public - id: '9114' 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: Cavity quantum electrooptics 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: '2023' ... --- _id: '12900' abstract: - lang: eng text: "About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. " acknowledged_ssus: - _id: M-Shop - _id: SSU - _id: NanoFab alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Rishabh full_name: Sahu, Rishabh id: 47D26E34-F248-11E8-B48F-1D18A9856A87 last_name: Sahu orcid: 0000-0001-6264-2162 citation: ama: Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900 apa: Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900 chicago: Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900. ieee: R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023. ista: Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria. mla: Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12900. short: R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023. date_created: 2023-05-05T11:08:50Z date_published: 2023-05-05T00:00:00Z date_updated: 2023-08-24T11:16:35Z day: '05' ddc: - '537' - '535' - '539' degree_awarded: PhD department: - _id: GradSch - _id: JoFi doi: 10.15479/at:ista:12900 ec_funded: 1 file: - access_level: closed checksum: 8cbdab9c37ee55e591092a6f66b272c4 content_type: application/x-zip-compressed creator: rsahu date_created: 2023-05-09T08:45:14Z date_updated: 2023-06-06T22:30:03Z embargo_to: open_access file_id: '12928' file_name: thesis.zip file_size: 36767177 relation: source_file - access_level: closed checksum: 439659ead46618147309be39d9dd5a8c content_type: application/pdf creator: rsahu date_created: 2023-05-09T08:51:17Z date_updated: 2023-07-06T11:37:40Z file_id: '12929' file_name: thesis_pdfa_final.pdf file_size: 17501990 relation: main_file file_date_updated: 2023-07-06T11:37:40Z has_accepted_license: '1' keyword: - quantum optics - electrooptics - quantum networks - quantum communication - transduction language: - iso: eng month: '05' oa_version: Published Version page: '190' 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: bdb108fd-d553-11ed-ba76-83dc74a9864f name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits publication_identifier: isbn: - 978-3-99078-030-5 issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '13175' relation: new_edition status: public - id: '10924' relation: part_of_dissertation status: public - id: '9114' 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: Cavity quantum electrooptics 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: '2023' ... --- _id: '12732' abstract: - lang: eng text: "Nonergodic systems, whose out-of-equilibrium dynamics fail to thermalize, provide a fascinating research direction both for fundamental reasons and for application in state of the art quantum devices.\r\nGoing beyond the description of statistical mechanics, ergodicity breaking yields a new paradigm in quantum many-body physics, introducing novel phases of matter with no counterpart at equilibrium.\r\nIn this Thesis, we address different open questions in the field, focusing on disorder-induced many-body localization (MBL) and on weak ergodicity breaking in kinetically constrained models.\r\nIn particular, we contribute to the debate about transport in kinetically constrained models, studying the effect of $U(1)$ conservation and inversion-symmetry breaking in a family of quantum East models.\r\nUsing tensor network techniques, we analyze the dynamics of large MBL systems beyond the limit of exact numerical methods.\r\nIn this setting, we approach the debated topic of the coexistence of localized and thermal eigenstates separated by energy thresholds known as many-body mobility edges.\r\nInspired by recent experiments, our work further investigates the localization of a small bath induced by the coupling to a large localized chain, the so-called MBL proximity effect.\r\n\r\nIn the first Chapter, we introduce a family of particle-conserving kinetically constrained models, inspired by the quantum East model.\r\nThe system we study features strong inversion-symmetry breaking, due to the nature of the correlated hopping.\r\nWe show that these models host so-called quantum Hilbert space fragmentation, consisting of disconnected subsectors in an entangled basis, and further provide an analytical description of this phenomenon.\r\nWe further probe its effect on dynamics of simple product states, showing revivals in fidelity and local observalbes.\r\nThe study of dynamics within the largest subsector reveals an anomalous transient superdiffusive behavior crossing over to slow logarithmic dynamics at later times.\r\nThis work suggests that particle conserving constrained models with inversion-symmetry breaking realize new universality classes of dynamics and invite their further theoretical and experimental studies.\r\n\r\nNext, we use kinetic constraints and disorder to design a model with many-body mobility edges in particle density.\r\nThis feature allows to study the dynamics of localized and thermal states in large systems beyond the limitations of previous studies.\r\nThe time-evolution shows typical signatures of localization at small densities, replaced by thermal behavior at larger densities.\r\nOur results provide evidence in favor of the stability of many-body mobility edges, which was recently challenged by a theoretical argument.\r\nTo support our findings, we probe the mechanism proposed as a cause of delocalization in many-body localized systems with mobility edges suggesting its ineffectiveness in the model studied.\r\n\r\nIn the last Chapter of this Thesis, we address the topic of many-body localization proximity effect.\r\nWe study a model inspired by recent experiments, featuring Anderson localized coupled to a small bath of free hard-core bosons.\r\nThe interaction among the two particle species results in non-trivial dynamics, which we probe using tensor network techniques.\r\nOur simulations show convincing evidence of many-body localization proximity effect when the bath is composed by a single free particle and interactions are strong.\r\nWe furthter observe an anomalous entanglement dynamics, which we explain through a phenomenological theory.\r\nFinally, we extract highly excited eigenstates of large systems, providing supplementary evidence in favor of our findings." acknowledged_ssus: - _id: ScienComp alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Pietro full_name: Brighi, Pietro id: 4115AF5C-F248-11E8-B48F-1D18A9856A87 last_name: Brighi orcid: 0000-0002-7969-2729 citation: ama: Brighi P. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. 2023. doi:10.15479/at:ista:12732 apa: Brighi, P. (2023). Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12732 chicago: Brighi, Pietro. “Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12732. ieee: P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023. ista: Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria. mla: Brighi, Pietro. Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12732. short: P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023. date_created: 2023-03-17T13:30:48Z date_published: 2023-03-21T00:00:00Z date_updated: 2023-09-20T10:44:12Z day: '21' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: MaSe doi: 10.15479/at:ista:12732 ec_funded: 1 file: - access_level: closed checksum: 5d2de651ef9449c1b8dc27148ca74777 content_type: application/zip creator: pbrighi date_created: 2023-03-23T16:42:56Z date_updated: 2023-03-23T16:42:56Z file_id: '12753' file_name: Thesis_sub_PBrighi.zip file_size: 42167561 relation: source_file - access_level: open_access checksum: 7caa153d4a5b0873a79358787d2dfe1e content_type: application/pdf creator: pbrighi date_created: 2023-03-23T16:43:14Z date_updated: 2023-03-23T16:43:14Z file_id: '12754' file_name: Thesis_PBrighi.pdf file_size: 13977000 relation: main_file success: 1 file_date_updated: 2023-03-23T16:43:14Z has_accepted_license: '1' language: - iso: eng month: '03' oa: 1 oa_version: None page: '158' project: - _id: 23841C26-32DE-11EA-91FC-C7463DDC885E call_identifier: H2020 grant_number: '850899' name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11470' relation: part_of_dissertation status: public - id: '8308' relation: part_of_dissertation status: public - id: '11469' relation: part_of_dissertation status: public - id: '12750' relation: part_of_dissertation status: public status: public supervisor: - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 title: Ergodicity breaking in disordered and kinetically constrained quantum many-body systems 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: '2023' ... --- _id: '13081' abstract: - lang: eng text: During development, tissues undergo changes in size and shape to form functional organs. Distinct cellular processes such as cell division and cell rearrangements underlie tissue morphogenesis. Yet how the distinct processes are controlled and coordinated, and how they contribute to morphogenesis is poorly understood. In our study, we addressed these questions using the developing mouse neural tube. This epithelial organ transforms from a flat epithelial sheet to an epithelial tube while increasing in size and undergoing morpho-gen-mediated patterning. The extent and mechanism of neural progenitor rearrangement within the developing mouse neuroepithelium is unknown. To investigate this, we per-formed high resolution lineage tracing analysis to quantify the extent of epithelial rear-rangement at different stages of neural tube development. We quantitatively described the relationship between apical cell size with cell cycle dependent interkinetic nuclear migra-tions (IKNM) and performed high cellular resolution live imaging of the neuroepithelium to study the dynamics of junctional remodeling. Furthermore, developed a vertex model of the neuroepithelium to investigate the quantitative contribution of cell proliferation, cell differentiation and mechanical properties to the epithelial rearrangement dynamics and validated the model predictions through functional experiments. Our analysis revealed that at early developmental stages, the apical cell area kinetics driven by IKNM induce high lev-els of cell rearrangements in a regime of high junctional tension and contractility. After E9.5, there is a sharp decline in the extent of cell rearrangements, suggesting that the epi-thelium transitions from a fluid-like to a solid-like state. We found that this transition is regulated by the growth rate of the tissue, rather than by changes in cell-cell adhesion and contractile forces. Overall, our study provides a quantitative description of the relationship between tissue growth, cell cycle dynamics, epithelia rearrangements and the emergent tissue material properties, and novel insights on how epithelial cell dynamics influences tissue morphogenesis. acknowledged_ssus: - _id: Bio - _id: LifeSc alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Laura full_name: Bocanegra, Laura id: 4896F754-F248-11E8-B48F-1D18A9856A87 last_name: Bocanegra citation: ama: Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:10.15479/at:ista:13081 apa: Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13081 chicago: Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13081. ieee: L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023. ista: Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria. mla: Bocanegra, Laura. Epithelial Dynamics during Mouse Neural Tube Development. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13081. short: L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023. date_created: 2023-05-23T19:10:42Z date_published: 2023-05-23T00:00:00Z date_updated: 2023-10-04T11:14:04Z day: '23' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: AnKi doi: 10.15479/at:ista:13081 file: - access_level: closed checksum: 74f3f89e59a0189bee53ebfad9c1b9af content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: lbocaneg date_created: 2023-05-25T06:32:12Z date_updated: 2023-05-25T06:32:12Z file_id: '13089' file_name: Thesis_final_LauraBocanegra.docx file_size: 25615534 relation: source_file - access_level: closed checksum: c6cdef6323eacfb4b7a8af20f32eae97 content_type: application/pdf creator: lbocaneg date_created: 2023-05-25T06:32:16Z date_updated: 2023-05-25T06:32:16Z embargo: 2024-05-31 embargo_to: open_access file_id: '13090' file_name: TotalFinal_Thesis_LauraBocanegraArx.pdf file_size: 12386046 relation: main_file file_date_updated: 2023-05-25T06:32:16Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '05' oa_version: Published Version page: '93' publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9349' relation: part_of_dissertation status: public - id: '12837' relation: part_of_dissertation status: public status: public supervisor: - first_name: Anna full_name: Kicheva, Anna id: 3959A2A0-F248-11E8-B48F-1D18A9856A87 last_name: Kicheva orcid: 0000-0003-4509-4998 title: Epithelial dynamics during mouse neural tube development 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: '2023' ... --- _id: '13331' abstract: - lang: eng text: "The extension of extremal combinatorics to the setting of exterior algebra is a work\r\nin progress that gained attention recently. In this thesis, we study the combinatorial structure of exterior algebra by introducing a dictionary that translates the notions from the set systems into the framework of exterior algebra. We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms.\r\n" alternative_title: - ISTA Master's Thesis article_processing_charge: No author: - first_name: Seyda full_name: Köse, Seyda id: 8ba3170d-dc85-11ea-9058-c4251c96a6eb last_name: Köse citation: ama: Köse S. Exterior algebra and combinatorics. 2023. doi:10.15479/at:ista:13331 apa: Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331 chicago: Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13331. ieee: S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023. ista: Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria. mla: Köse, Seyda. Exterior Algebra and Combinatorics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13331. short: S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023. date_created: 2023-07-31T10:20:55Z date_published: 2023-07-31T00:00:00Z date_updated: 2023-10-04T11:54:56Z day: '31' ddc: - '510' - '516' degree_awarded: MS department: - _id: GradSch - _id: UlWa doi: 10.15479/at:ista:13331 file: - access_level: closed checksum: 96ee518d796d02af71395622c45de03c content_type: application/x-zip-compressed creator: skoese date_created: 2023-07-31T10:16:32Z date_updated: 2023-07-31T10:16:32Z file_id: '13333' file_name: Exterior Algebra and Combinatorics.zip file_size: 28684 relation: source_file - access_level: open_access checksum: f610f4713f88bc477de576aaa46b114e content_type: application/pdf creator: skoese date_created: 2023-08-03T15:28:55Z date_updated: 2023-08-03T15:28:55Z file_id: '13480' file_name: thesis-pdfa.pdf file_size: 4953418 relation: main_file success: 1 file_date_updated: 2023-08-03T15:28:55Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '26' publication_identifier: issn: - 2791-4585 publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12680' 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: Exterior algebra and combinatorics type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '14422' abstract: - lang: eng text: "Animals exhibit a remarkable ability to learn and remember new behaviors, skills, and associations throughout their lifetime. These capabilities are made possible thanks to a variety of\r\nchanges in the brain throughout adulthood, regrouped under the term \"plasticity\". Some cells\r\nin the brain —neurons— and specifically changes in the connections between neurons, the\r\nsynapses, were shown to be crucial for the formation, selection, and consolidation of memories\r\nfrom past experiences. These ongoing changes of synapses across time are called synaptic\r\nplasticity. Understanding how a myriad of biochemical processes operating at individual\r\nsynapses can somehow work in concert to give rise to meaningful changes in behavior is a\r\nfascinating problem and an active area of research.\r\nHowever, the experimental search for the precise plasticity mechanisms at play in the brain\r\nis daunting, as it is difficult to control and observe synapses during learning. Theoretical\r\napproaches have thus been the default method to probe the plasticity-behavior connection. Such\r\nstudies attempt to extract unifying principles across synapses and model all observed synaptic\r\nchanges using plasticity rules: equations that govern the evolution of synaptic strengths across\r\ntime in neuronal network models. These rules can use many relevant quantities to determine\r\nthe magnitude of synaptic changes, such as the precise timings of pre- and postsynaptic\r\naction potentials, the recent neuronal activity levels, the state of neighboring synapses, etc.\r\nHowever, analytical studies rely heavily on human intuition and are forced to make simplifying\r\nassumptions about plasticity rules.\r\nIn this thesis, we aim to assist and augment human intuition in this search for plasticity rules.\r\nWe explore whether a numerical approach could automatically discover the plasticity rules\r\nthat elicit desired behaviors in large networks of interconnected neurons. This approach is\r\ndubbed meta-learning synaptic plasticity: learning plasticity rules which themselves will make\r\nneuronal networks learn how to solve a desired task. We first write all the potential plasticity\r\nmechanisms to consider using a single expression with adjustable parameters. We then optimize\r\nthese plasticity parameters using evolutionary strategies or Bayesian inference on tasks known\r\nto involve synaptic plasticity, such as familiarity detection and network stabilization.\r\nWe show that these automated approaches are powerful tools, able to complement established\r\nanalytical methods. By comprehensively screening plasticity rules at all synapse types in\r\nrealistic, spiking neuronal network models, we discover entire sets of degenerate plausible\r\nplasticity rules that reliably elicit memory-related behaviors. Our approaches allow for more\r\nrobust experimental predictions, by abstracting out the idiosyncrasies of individual plasticity\r\nrules, and provide fresh insights on synaptic plasticity in spiking network models.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Basile J full_name: Confavreux, Basile J id: C7610134-B532-11EA-BD9F-F5753DDC885E last_name: Confavreux citation: ama: 'Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422' apa: 'Confavreux, B. J. (2023). Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14422' chicago: 'Confavreux, Basile J. “Synapseek: Meta-Learning Synaptic Plasticity Rules.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14422.' ieee: 'B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute of Science and Technology Austria, 2023.' ista: 'Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.' mla: 'Confavreux, Basile J. Synapseek: Meta-Learning Synaptic Plasticity Rules. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14422.' short: 'B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.' date_created: 2023-10-12T14:13:25Z date_published: 2023-10-12T00:00:00Z date_updated: 2023-10-18T09:20:56Z day: '12' ddc: - '610' degree_awarded: PhD department: - _id: GradSch - _id: TiVo doi: 10.15479/at:ista:14422 ec_funded: 1 file: - access_level: closed checksum: 7f636555eae7803323df287672fd13ed content_type: application/pdf creator: cchlebak date_created: 2023-10-12T14:53:50Z date_updated: 2023-10-12T14:54:52Z embargo: 2024-10-12 embargo_to: open_access file_id: '14424' file_name: Confavreux_Thesis_2A.pdf file_size: 30599717 relation: main_file - access_level: closed checksum: 725e85946db92290a4583a0de9779e1b content_type: application/x-zip-compressed creator: cchlebak date_created: 2023-10-18T07:38:34Z date_updated: 2023-10-18T07:56:08Z file_id: '14440' file_name: Confavreux Thesis.zip file_size: 68406739 relation: source_file file_date_updated: 2023-10-18T07:56:08Z has_accepted_license: '1' language: - iso: eng month: '10' oa_version: Published Version page: '148' project: - _id: 0aacfa84-070f-11eb-9043-d7eb2c709234 call_identifier: H2020 grant_number: '819603' name: Learning the shape of synaptic plasticity rules for neuronal architectures and function through machine learning. publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9633' relation: part_of_dissertation status: public status: public supervisor: - first_name: Tim P full_name: Vogels, Tim P id: CB6FF8D2-008F-11EA-8E08-2637E6697425 last_name: Vogels orcid: 0000-0003-3295-6181 title: 'Synapseek: Meta-learning synaptic plasticity rules' 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: '2023' ... --- _id: '14374' abstract: - lang: eng text: "Superconductivity has many important applications ranging from levitating trains over qubits to MRI scanners. The phenomenon is successfully modeled by Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory has been studied extensively for systems without boundary. However, little is known in the presence of boundaries. With the help of numerical methods physicists observed that the critical temperature may increase in the presence of a boundary. The goal of this thesis is to understand the influence of boundaries on the critical temperature in BCS theory and to give a first rigorous justification of these observations. On the way, we also study two-body Schrödinger operators on domains with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS theory is based on a non-linear functional, where the minimizer indicates whether the system is superconducting or in the normal, non-superconducting state. By considering the Hessian of the BCS functional at the normal state, one can analyze whether the normal state is possibly a minimum of the BCS functional and estimate the critical temperature. The Hessian turns out to be a linear operator resembling a Schrödinger operator for two interacting particles, but with more complicated kinetic energy. As a first step, we study the two-body Schrödinger operator in the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that the addition of a boundary can create new eigenvalues, which correspond to the two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need to understand superconductivity in the translation invariant setting. While in three dimensions this has been extensively studied, there is no mathematical literature for the one and two dimensional cases. In dimensions one and two, we compute the weak coupling asymptotics of the critical temperature and the energy gap in the translation invariant setting. We also prove that their ratio is independent of the microscopic details of the model in the weak coupling limit; this property is referred to as universality.\r\n\r\nIn the third part, we study the critical temperature of superconductors in the presence of boundaries. We start by considering the one-dimensional case of a half-line with contact interaction. Then, we generalize the results to generic interactions and half-spaces in one, two and three dimensions. Finally, we compare the critical temperature of a quarter space in two dimensions to the critical temperatures of a half-space and of the full space." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Barbara full_name: Roos, Barbara id: 5DA90512-D80F-11E9-8994-2E2EE6697425 last_name: Roos orcid: 0000-0002-9071-5880 citation: ama: Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374 apa: Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374 chicago: Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14374. ieee: B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023. ista: Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. mla: Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14374. short: B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023. date_created: 2023-09-28T14:23:04Z date_published: 2023-09-30T00:00:00Z date_updated: 2023-10-27T10:37:30Z day: '30' ddc: - '515' - '539' degree_awarded: PhD department: - _id: GradSch - _id: RoSe doi: 10.15479/at:ista:14374 ec_funded: 1 file: - access_level: open_access checksum: ef039ffc3de2cb8dee5b14110938e9b6 content_type: application/pdf creator: broos date_created: 2023-10-06T11:35:56Z date_updated: 2023-10-06T11:35:56Z file_id: '14398' file_name: phd-thesis-draft_pdfa_acrobat.pdf file_size: 2365702 relation: main_file - access_level: closed checksum: 81dcac33daeefaf0111db52f41bb1fd0 content_type: application/x-zip-compressed creator: broos date_created: 2023-10-06T11:38:01Z date_updated: 2023-10-06T11:38:01Z file_id: '14399' file_name: Version5.zip file_size: 4691734 relation: source_file file_date_updated: 2023-10-06T11:38:01Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '206' project: - _id: 25C6DC12-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694227' name: Analysis of quantum many-body systems - _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b grant_number: I06427 name: Mathematical Challenges in BCS Theory of Superconductivity publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '13207' relation: part_of_dissertation status: public - id: '10850' relation: part_of_dissertation status: public status: public supervisor: - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 title: Boundary superconductivity in BCS theory 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: '2023' ... --- _id: '14506' abstract: - lang: eng text: "Payment channel networks are a promising approach to improve the scalability bottleneck\r\nof cryptocurrencies. Two design principles behind payment channel networks are\r\nefficiency and privacy. Payment channel networks improve efficiency by allowing users\r\nto transact in a peer-to-peer fashion along multi-hop routes in the network, avoiding\r\nthe lengthy process of consensus on the blockchain. Transacting over payment channel\r\nnetworks also improves privacy as these transactions are not broadcast to the blockchain.\r\nDespite the influx of recent protocols built on top of payment channel networks and\r\ntheir analysis, a common shortcoming of many of these protocols is that they typically\r\nfocus only on either improving efficiency or privacy, but not both. Another limitation\r\non the efficiency front is that the models used to model actions, costs and utilities of\r\nusers are limited or come with unrealistic assumptions.\r\nThis thesis aims to address some of the shortcomings of recent protocols and algorithms\r\non payment channel networks, particularly in their privacy and efficiency aspects. We\r\nfirst present a payment route discovery protocol based on hub labelling and private\r\ninformation retrieval that hides the route query and is also efficient. We then present\r\na rebalancing protocol that formulates the rebalancing problem as a linear program\r\nand solves the linear program using multiparty computation so as to hide the channel\r\nbalances. The rebalancing solution as output by our protocol is also globally optimal.\r\nWe go on to develop more realistic models of the action space, costs, and utilities of\r\nboth existing and new users that want to join the network. In each of these settings,\r\nwe also develop algorithms to optimise the utility of these users with good guarantees\r\non the approximation and competitive ratios." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michelle X full_name: Yeo, Michelle X id: 2D82B818-F248-11E8-B48F-1D18A9856A87 last_name: Yeo citation: ama: Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506 apa: Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506 chicago: Yeo, Michelle X. “Advances in Efficiency and Privacy in Payment Channel Network Analysis.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14506. ieee: M. X. Yeo, “Advances in efficiency and privacy in payment channel network analysis,” Institute of Science and Technology Austria, 2023. ista: Yeo MX. 2023. Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. mla: Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506. short: M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023. date_created: 2023-11-10T08:10:43Z date_published: 2023-11-10T00:00:00Z date_updated: 2023-11-30T10:54:51Z day: '10' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: KrPi doi: 10.15479/14506 ec_funded: 1 file: - access_level: closed checksum: 521c72818d720a52b377207b2ee87b6a content_type: application/x-zip-compressed creator: cchlebak date_created: 2023-11-23T10:29:55Z date_updated: 2023-11-23T10:29:55Z file_id: '14598' file_name: thesis_yeo.zip file_size: 3037720 relation: source_file - access_level: open_access checksum: 0ed5d16899687aecf13d843c9878c9f2 content_type: application/pdf creator: cchlebak date_created: 2023-11-23T10:30:08Z date_updated: 2023-11-23T10:30:08Z file_id: '14599' file_name: thesis_yeo.pdf file_size: 2717256 relation: main_file success: 1 file_date_updated: 2023-11-23T10:30:08Z has_accepted_license: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '162' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9969' relation: part_of_dissertation status: public - id: '13238' relation: part_of_dissertation status: public - id: '14490' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 title: Advances in efficiency and privacy in payment channel network analysis type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '12726' abstract: - lang: eng text: "Most motions of many-body systems at any scale in nature with sufficient degrees\r\nof freedom tend to be chaotic; reaching from the orbital motion of planets, the air\r\ncurrents in our atmosphere, down to the water flowing through our pipelines or\r\nthe movement of a population of bacteria. To the observer it is therefore intriguing\r\nwhen a moving collective exhibits order. Collective motion of flocks of birds, schools\r\nof fish or swarms of self-propelled particles or robots have been studied extensively\r\nover the past decades but the mechanisms involved in the transition from chaos to\r\norder remain unclear. Here, the interactions, that in most systems give rise to chaos,\r\nsustain order. In this thesis we investigate mechanisms that preserve, destabilize\r\nor lead to the ordered state. We show that endothelial cells migrating in circular\r\nconfinements transition to a collective rotating state and concomitantly synchronize\r\nthe frequencies of nucleating actin waves within individual cells. Consequently,\r\nthe frequency dependent cell migration speed uniformizes across the population.\r\nComplementary to the WAVE dependent nucleation of traveling actin waves, we\r\nshow that in leukocytes the actin polymerization depending on WASp generates\r\npushing forces locally at stationary patches. Next, in pipe flows, we study methods\r\nto disrupt the self–sustaining cycle of turbulence and therefore relaminarize the\r\nflow. While we find in pulsating flow conditions that turbulence emerges through a\r\nhelical instability during the decelerating phase. Finally, we show quantitatively in\r\nbrain slices of mice that wild-type control neurons can compensate the migratory\r\ndeficits of a genetically modified neuronal sub–population in the developing cortex." acknowledged_ssus: - _id: M-Shop - _id: Bio alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michael full_name: Riedl, Michael id: 3BE60946-F248-11E8-B48F-1D18A9856A87 last_name: Riedl orcid: 0000-0003-4844-6311 citation: ama: Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726 apa: Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12726 chicago: Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12726. ieee: M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023. ista: Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria. mla: Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12726. short: M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023. date_created: 2023-03-15T13:22:13Z date_published: 2023-03-23T00:00:00Z date_updated: 2023-11-30T10:55:13Z day: '23' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: BjHo doi: 10.15479/at:ista:12726 file: - access_level: closed checksum: eba0e19fe57a8c15e7aeab55a845efb7 content_type: application/pdf creator: cchlebak date_created: 2023-03-23T12:49:23Z date_updated: 2023-11-24T11:57:46Z description: the main file is missing the bibliography. See new thesis record 14530 for updated files. file_id: '12745' file_name: Thesis_Riedl_2023.pdf file_size: 63734746 relation: main_file - access_level: closed checksum: 0eb7b650cc8ae843bcec7c8a6109ae03 content_type: application/octet-stream creator: cchlebak date_created: 2023-03-23T12:54:34Z date_updated: 2023-09-24T22:30:03Z embargo_to: open_access file_id: '12746' file_name: Thesis_Riedl_2023_source.rar file_size: 339473651 relation: source_file file_date_updated: 2023-11-24T11:57:46Z has_accepted_license: '1' language: - iso: eng month: '03' oa_version: None page: '260' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10703' relation: part_of_dissertation status: public - id: '10791' relation: part_of_dissertation status: public - id: '7932' relation: part_of_dissertation status: public - id: '461' relation: part_of_dissertation status: public - id: '14530' relation: new_edition 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: Synchronization in collectively moving active matter type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '14530' abstract: - lang: eng text: 'Most motions of many-body systems at any scale in nature with sufficient degrees of freedom tend to be chaotic; reaching from the orbital motion of planets, the air currents in our atmosphere, down to the water flowing through our pipelines or the movement of a population of bacteria. To the observer it is therefore intriguing when a moving collective exhibits order. Collective motion of flocks of birds, schools of fish or swarms of self-propelled particles or robots have been studied extensively over the past decades but the mechanisms involved in the transition from chaos to order remain unclear. Here, the interactions, that in most systems give rise to chaos, sustain order. In this thesis we investigate mechanisms that preserve, destabilize or lead to the ordered state. We show that endothelial cells migrating in circular confinements transition to a collective rotating state and concomitantly synchronize the frequencies of nucleating actin waves within individual cells. Consequently, the frequency dependent cell migration speed uniformizes across the population. Complementary to the WAVE dependent nucleation of traveling actin waves, we show that in leukocytes the actin polymerization depending on WASp generates pushing forces locally at stationary patches. Next, in pipe flows, we study methods to disrupt the self--sustaining cycle of turbulence and therefore relaminarize the flow. While we find in pulsating flow conditions that turbulence emerges through a helical instability during the decelerating phase. Finally, we show quantitatively in brain slices of mice that wild-type control neurons can compensate the migratory deficits of a genetically modified neuronal sub--population in the developing cortex. ' acknowledged_ssus: - _id: M-Shop - _id: Bio alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michael full_name: Riedl, Michael id: 3BE60946-F248-11E8-B48F-1D18A9856A87 last_name: Riedl orcid: 0000-0003-4844-6311 citation: ama: Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530 apa: Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/14530 chicago: Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14530. ieee: M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023. ista: Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria. mla: Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530. short: M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023. date_created: 2023-11-15T09:59:03Z date_published: 2023-11-16T00:00:00Z date_updated: 2023-11-30T10:55:13Z day: '16' ddc: - '530' - '570' degree_awarded: PhD department: - _id: GradSch - _id: MiSi doi: 10.15479/14530 file: - access_level: open_access checksum: 52e1d0ab6c1abe59c82dfe8c9ff5f83a content_type: application/pdf creator: mriedl date_created: 2023-11-15T09:52:54Z date_updated: 2023-11-15T09:52:54Z file_id: '14536' file_name: Thesis_Riedl_2023_corr.pdf file_size: 36743942 relation: main_file success: 1 file_date_updated: 2023-11-15T09:52:54Z has_accepted_license: '1' keyword: - Synchronization - Collective Movement - Active Matter - Cell Migration - Active Colloids language: - iso: eng month: '11' oa: 1 oa_version: Updated Version page: '260' publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10703' relation: part_of_dissertation status: public - id: '10791' relation: part_of_dissertation status: public - id: '7932' relation: part_of_dissertation status: public - id: '461' relation: part_of_dissertation status: public - id: '12726' relation: old_edition 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: Synchronization in collectively moving active matter type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '14547' abstract: - lang: eng text: "Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation.\r\nDespite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood.\r\n\r\nIn this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. \r\nThe second focuses on a technological application, a gate-tunable Josephson parametric amplifier.\r\n\r\nIn the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well.\r\nWe embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance.\r\nThe behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \\pm ip$ pairing in InAs.\r\nMeasuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory.\r\nWe observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory.\r\nIn contrast, the data can be captured quantitatively by fitting to a two-component model.\r\nWe find the evidence of the intraband $p \\pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\\mathrm{T}$.\r\nFrom the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined.\r\nBy systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle.\r\nStrong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data.\r\n\r\nIn the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element.\r\nThe device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator.\r\nBy applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz.\r\nModelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage.\r\nWe observed gate-tunable Kerr nonlinearity qualitatively in line with expectation.\r\nThe JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency.\r\nIn general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared.\r\nThe noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier.\r\nAs a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account.\r\nWe found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier." acknowledged_ssus: - _id: NanoFab - _id: Bio alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Duc T full_name: Phan, Duc T id: 29C8C0B4-F248-11E8-B48F-1D18A9856A87 last_name: Phan citation: ama: Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547 apa: Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547 chicago: Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14547. ieee: D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023. ista: Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. mla: Phan, Duc T. Resonant Microwave Spectroscopy of Al-InAs. Institute of Science and Technology Austria, 2023, doi:10.15479/14547. short: D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023. date_created: 2023-11-17T13:45:26Z date_published: 2023-11-16T00:00:00Z date_updated: 2023-11-30T10:56:04Z day: '16' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: AnHi doi: 10.15479/14547 file: - access_level: open_access checksum: db0c37d213bc002125bd59690e9db246 content_type: application/pdf creator: pduc date_created: 2023-11-17T13:36:44Z date_updated: 2023-11-22T09:46:06Z file_id: '14548' file_name: Phan_Thesis_pdfa.pdf file_size: 34828019 relation: main_file - access_level: closed checksum: 8d3bd6afa279a0078ffd13e06bb6d56d content_type: application/zip creator: pduc date_created: 2023-11-17T13:44:53Z date_updated: 2023-11-17T13:47:54Z file_id: '14549' file_name: dissertation_src.zip file_size: 279319709 relation: source_file file_date_updated: 2023-11-22T09:46:06Z has_accepted_license: '1' keyword: - superconductor-semiconductor - superconductivity - Al - InAs - p-wave - superconductivity - JPA - microwave language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '80' publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10851' relation: part_of_dissertation status: public - id: '13264' relation: part_of_dissertation status: public status: public supervisor: - first_name: Andrew P full_name: Higginbotham, Andrew P id: 4AD6785A-F248-11E8-B48F-1D18A9856A87 last_name: Higginbotham orcid: 0000-0003-2607-2363 title: Resonant microwave spectroscopy of Al-InAs 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: '2023' ... --- _id: '14058' abstract: - lang: eng text: "Females and males across species are subject to divergent selective pressures arising\r\nfrom di↵erent reproductive interests and ecological niches. This often translates into a\r\nintricate array of sex-specific natural and sexual selection on traits that have a shared\r\ngenetic basis between both sexes, causing a genetic sexual conflict. The resolution of\r\nthis conflict mostly relies on the evolution of sex-specific expression of the shared genes,\r\nleading to phenotypic sexual dimorphism. Such sex-specific gene expression is thought\r\nto evolve via modifications of the genetic networks ultimately linked to sex-determining\r\ntranscription factors. Although much empirical and theoretical evidence supports this\r\nstandard picture of the molecular basis of sexual conflict resolution, there still are a\r\nfew open questions regarding the complex array of selective forces driving phenotypic\r\ndi↵erentiation between the sexes, as well as the molecular mechanisms underlying sexspecific adaptation. I address some of these open questions in my PhD thesis.\r\nFirst, how do patterns of phenotypic sexual dimorphism vary within populations,\r\nas a response to the temporal and spatial changes in sex-specific selective forces? To\r\ntackle this question, I analyze the patterns of sex-specific phenotypic variation along\r\nthree life stages and across populations spanning the whole geographical range of Rumex\r\nhastatulus, a wind-pollinated angiosperm, in the first Chapter of the thesis.\r\nSecond, how do gene expression patterns lead to phenotypic dimorphism, and what\r\nare the molecular mechanisms underlying the observed transcriptomic variation? I\r\naddress this question by examining the sex- and tissue-specific expression variation in\r\nnewly-generated datasets of sex-specific expression in heads and gonads of Drosophila\r\nmelanogaster. I additionally used two complementary approaches for the study of the\r\ngenetic basis of sex di↵erences in gene expression in the second and third Chapters of\r\nthe thesis.\r\nThird, how does intersex correlation, thought to be one of the main aspects constraining the ability for the two sexes to decouple, interact with the evolution of sexual\r\ndimorphism? I develop models of sex-specific stabilizing selection, mutation and drift\r\nto formalize common intuition regarding the patterns of covariation between intersex\r\ncorrelation and sexual dimorphism in the fourth Chapter of the thesis.\r\nAlltogether, the work described in this PhD thesis provides useful insights into the\r\nlinks between genetic, transcriptomic and phenotypic layers of sex-specific variation,\r\nand contributes to our general understanding of the dynamics of sexual dimorphism\r\nevolution." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Gemma full_name: Puixeu Sala, Gemma id: 33AB266C-F248-11E8-B48F-1D18A9856A87 last_name: Puixeu Sala orcid: 0000-0001-8330-1754 citation: ama: 'Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058' apa: 'Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14058' chicago: 'Puixeu Sala, Gemma. “The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14058.' ieee: 'G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.' ista: 'Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.' mla: 'Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14058.' short: 'G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.' date_created: 2023-08-15T10:20:40Z date_published: 2023-08-15T00:00:00Z date_updated: 2023-12-13T12:15:36Z day: '15' ddc: - '576' degree_awarded: PhD department: - _id: GradSch - _id: NiBa - _id: BeVi doi: 10.15479/at:ista:14058 ec_funded: 1 file: - access_level: closed checksum: 4e44e169f2724ee8c9324cd60bcc2b71 content_type: application/zip creator: gpuixeus date_created: 2023-08-16T18:15:17Z date_updated: 2023-08-17T06:55:24Z file_id: '14075' file_name: Thesis_latex_forpdfa.zip file_size: 10891454 relation: source_file - access_level: open_access checksum: e10b04cd8f3fecc0d9ef6e6868b6e1e8 content_type: application/pdf creator: gpuixeus date_created: 2023-08-18T10:47:55Z date_updated: 2023-08-18T10:47:55Z file_id: '14079' file_name: PhDThesis_PuixeuG.pdf file_size: 19856686 relation: main_file success: 1 file_date_updated: 2023-08-18T10:47:55Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '08' oa: 1 oa_version: Published Version page: '230' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 9B9DFC9E-BA93-11EA-9121-9846C619BF3A grant_number: '25817' name: 'Sexual conflict: resolution, constraints and biomedical implications' publication_identifier: isbn: - 978-3-99078-035-0 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9803' relation: research_data status: public - id: '12933' relation: research_data status: public - id: '6831' relation: part_of_dissertation status: public - id: '14077' relation: part_of_dissertation status: public status: public supervisor: - first_name: Beatriz full_name: Vicoso, Beatriz id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87 last_name: Vicoso orcid: 0000-0002-4579-8306 - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 title: 'The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation' 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: '2023' ... --- _id: '14622' alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Stefan full_name: Sack, Stefan id: dd622248-f6e0-11ea-865d-ce382a1c81a5 last_name: Sack orcid: 0000-0001-5400-8508 citation: ama: 'Sack S. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622' apa: 'Sack, S. (2023). Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14622' chicago: 'Sack, Stefan. “Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14622.' ieee: 'S. Sack, “Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems,” Institute of Science and Technology Austria, 2023.' ista: 'Sack S. 2023. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria.' mla: 'Sack, Stefan. Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14622.' short: 'S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.' date_created: 2023-11-28T10:58:13Z date_published: 2023-11-30T00:00:00Z date_updated: 2023-12-13T14:47:25Z day: '30' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: MaSe doi: 10.15479/at:ista:14622 ec_funded: 1 file: - access_level: closed checksum: 068fd3570506ec42b2faa390de784bc4 content_type: application/pdf creator: ssack date_created: 2023-11-30T15:53:10Z date_updated: 2023-12-01T11:10:46Z embargo: 2024-11-30 embargo_to: open_access file_id: '14635' file_name: PhD_Thesis.pdf file_size: 11947523 relation: main_file - access_level: closed checksum: 0fa3bc0d108aed0ac59d2c6beef2220a content_type: application/zip creator: ssack date_created: 2023-11-30T15:54:11Z date_updated: 2023-12-01T11:10:46Z file_id: '14636' file_name: PhD Thesis (1).zip file_size: 18422964 relation: source_file file_date_updated: 2023-12-01T11:10:46Z has_accepted_license: '1' language: - iso: eng month: '11' oa_version: Published Version page: '142' project: - _id: bd660c93-d553-11ed-ba76-fb0fb6f49c0d name: Quantum_Quantum Circuits and Software_Variational quantum algorithms on NISQ devices - _id: 23841C26-32DE-11EA-91FC-C7463DDC885E call_identifier: H2020 grant_number: '850899' name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control' publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11471' relation: part_of_dissertation status: public - id: '13125' relation: part_of_dissertation status: public - id: '9760' relation: part_of_dissertation status: public status: public supervisor: - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 title: 'Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems' 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: '2023' ... --- _id: '14697' acknowledged_ssus: - _id: LifeSc - _id: Bio alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Julian A full_name: Stopp, Julian A id: 489E3F00-F248-11E8-B48F-1D18A9856A87 last_name: Stopp citation: ama: 'Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697' apa: 'Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14697' chicago: 'Stopp, Julian A. “Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14697.' ieee: 'J. A. Stopp, “Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function,” Institute of Science and Technology Austria, 2023.' ista: 'Stopp JA. 2023. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.' mla: 'Stopp, Julian A. Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14697.' short: 'J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.' date_created: 2023-12-18T19:14:28Z date_published: 2023-12-20T00:00:00Z date_updated: 2023-12-21T14:30:02Z day: '20' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: MiSi doi: 10.15479/at:ista:14697 ec_funded: 1 file: - access_level: closed checksum: 457927165d5d556305d3086f6b83e5c7 content_type: application/pdf creator: jstopp date_created: 2023-12-20T09:35:34Z date_updated: 2023-12-20T09:35:34Z embargo: 2024-12-20 embargo_to: open_access file_id: '14699' file_name: Thesis.pdf file_size: 51585778 relation: main_file - access_level: closed checksum: e8d26449ac461f5e8478a62c9507506f content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: jstopp date_created: 2023-12-20T09:35:35Z date_updated: 2023-12-20T10:41:42Z file_id: '14700' file_name: Thesis.docx file_size: 69625950 relation: source_file file_date_updated: 2023-12-20T10:41:42Z has_accepted_license: '1' language: - iso: eng month: '12' oa_version: Published Version page: '226' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-038-1 issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6328' relation: part_of_dissertation status: public - id: '7885' relation: part_of_dissertation status: public - id: '12272' relation: part_of_dissertation status: public - id: '14274' relation: part_of_dissertation status: public - id: '14360' 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: 'Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '14651' abstract: - lang: eng text: 'For self-incompatibility (SI) to be stable in a population, theory predicts that sufficient inbreeding depression (ID) is required: the fitness of offspring from self-mated individuals must be low enough to prevent the spread of self-compatibility (SC). Reviews of natural plant populations have supported this theory, with SI species generally showing high levels of ID. However, there is thought to be an under-sampling of self-incompatible taxa in the current literature. In this thesis, I study inbreeding depression in the SI plant species Antirrhinum majus using both greenhouse crosses and a large collected field dataset. Additionally, the gametophytic S-locus of A. majus is highly heterozygous and polymorphic, thus making assembly and discovery of S-alleles very difficult. Here, 206 new alleles of the male component SLFs are presented, along with a phylogeny showing the high conservation with alleles from another Antirrhinum species. Lastly, selected sites within the protein structure of SLFs are investigated, with one site in particular highlighted as potentially being involved in the SI recognition mechanism.' acknowledged_ssus: - _id: ScienComp alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Louise S full_name: Arathoon, Louise S id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87 last_name: Arathoon orcid: 0000-0003-1771-714X citation: ama: Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651 apa: Arathoon, L. S. (2023). Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14651 chicago: Arathoon, Louise S. “Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14651. ieee: L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023. ista: Arathoon LS. 2023. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria. mla: Arathoon, Louise S. Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14651. short: L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023. date_created: 2023-12-11T19:30:37Z date_published: 2023-12-12T00:00:00Z date_updated: 2023-12-22T11:04:45Z day: '12' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: NiBa doi: 10.15479/at:ista:14651 ec_funded: 1 file: - access_level: open_access checksum: 520bdb61e95e66070e02824947d2c5fa content_type: application/pdf creator: larathoo date_created: 2023-12-13T15:37:55Z date_updated: 2023-12-13T15:37:55Z file_id: '14684' file_name: Phd_Thesis_LA.pdf file_size: 34101468 relation: main_file success: 1 - access_level: closed checksum: d8e59afd0817c98fba2564a264508e5c content_type: application/zip creator: larathoo date_created: 2023-12-13T15:42:23Z date_updated: 2023-12-14T08:58:18Z file_id: '14685' file_name: Phd_Thesis_LA.zip file_size: 31052872 relation: source_file - access_level: closed checksum: 9a778c949932286f4519e1f1fca2820d content_type: application/zip creator: larathoo date_created: 2023-12-11T19:24:59Z date_updated: 2023-12-14T08:58:18Z file_id: '14681' file_name: Supplementary_Materials.zip file_size: 10713896 relation: supplementary_material file_date_updated: 2023-12-14T08:58:18Z has_accepted_license: '1' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: '96' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11411' relation: part_of_dissertation status: public status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 title: Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '14539' abstract: - lang: eng text: "Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal\r\nverification and control of finite state stochastic systems, a subfield of formal methods\r\nalso known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively\r\nless attention. However, infinite state stochastic systems commonly arise in practice.\r\nFor instance, probabilistic models that contain continuous probability distributions such\r\nas normal or uniform, or stochastic dynamical systems which are a classical model for\r\ncontrol under uncertainty, both give rise to infinite state systems.\r\nThe goal of this thesis is to contribute to laying theoretical and algorithmic foundations\r\nof fully automated formal verification and control of infinite state stochastic systems,\r\nwith a particular focus on systems that may be executed over a long or infinite time.\r\nWe consider formal verification of infinite state stochastic systems in the setting of\r\nstatic analysis of probabilistic programs and formal control in the setting of controller\r\nsynthesis in stochastic dynamical systems. For both problems, we present some of the\r\nfirst fully automated methods for probabilistic (a.k.a. quantitative) reachability and\r\nsafety analysis applicable to infinite time horizon systems. We also advance the state\r\nof the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems.\r\nFinally, for formal controller synthesis in stochastic dynamical systems, we present a\r\nnovel framework for learning neural network control policies in stochastic dynamical\r\nsystems with formal guarantees on correctness with respect to quantitative reachability,\r\nsafety or reach-avoid specifications.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539 apa: Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539 chicago: Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539. ieee: D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023. ista: Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. mla: Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539. short: D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023. date_created: 2023-11-15T13:39:10Z date_published: 2023-11-15T00:00:00Z date_updated: 2024-01-16T11:58:15Z day: '15' ddc: - '000' degree_awarded: PhD department: - _id: KrCh - _id: GradSch doi: 10.15479/14539 ec_funded: 1 file: - access_level: open_access checksum: f23e002b0059ca78e1fbb864da52dd7e content_type: application/pdf creator: cchlebak date_created: 2023-11-15T13:43:28Z date_updated: 2023-11-15T13:43:28Z file_id: '14540' file_name: main.pdf file_size: 2116426 relation: main_file success: 1 - access_level: closed checksum: 80ca37618a3c7b59866875f8be9b15ed content_type: application/x-zip-compressed creator: cchlebak date_created: 2023-11-15T13:44:24Z date_updated: 2023-11-15T13:44:24Z file_id: '14541' file_name: thesis_source.zip file_size: 35884057 relation: source_file file_date_updated: 2023-11-15T13:44:24Z language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '256' project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-036-7 issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '1194' relation: part_of_dissertation status: public - id: '12000' relation: part_of_dissertation status: public - id: '9644' relation: part_of_dissertation status: public - id: '12511' relation: part_of_dissertation status: public - id: '14600' relation: part_of_dissertation status: public - id: '14601' relation: part_of_dissertation status: public - id: '10414' 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: Automated verification and control of infinite state stochastic systems 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: '2023' ... --- _id: '13107' abstract: - lang: eng text: "Within the human body, the brain exhibits the highest rate of energy consumption amongst all organs, with the majority of generated ATP being utilized to sustain neuronal activity. Therefore, the metabolism of the mature cerebral cortex is geared towards preserving metabolic homeostasis whilst generating significant amounts of energy. This requires a precise interplay between diverse metabolic pathways, spanning from a tissue-wide scale to the level of individual neurons. Disturbances to this delicate metabolic equilibrium, such as those resulting from maternal malnutrition\r\nor mutations affecting metabolic enzymes, often result in neuropathological variants of neurodevelopment. For instance, mutations in SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs), have been associated with autism and microcephaly. However, despite recent progress in the field, the extent of metabolic restructuring that occurs within the developing brain and the corresponding alterations in nutrient demands during various critical periods remain largely unknown. To investigate this, we performed metabolomic profiling of the murine cerebral cortex to characterize the metabolic state of the forebrain at different developmental stages. We found that the developing cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites displaying stage-specific changes. According to our observations, we determined a distinct temporal period in postnatal development during which the cortex displays heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model, we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed neuronal metabolic state across multiple developmental stages of corticogenesis. We found that manipulating the levels of essential LNAAs in cortical neurons in vivo affects one particular perinatal developmental period critical for cortical network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous alterations in neuronal lipid metabolism, excitability, and survival during this particular time window. Although most of the effects of Slc7a5 deletion on neuronal physiology are transient, derailment of these processes during this brief but crucial window leads to long-term circuit dysfunction in mice. In conclusion, out data indicate that the cerebral cortex undergoes significant metabolic reorganization during development. This process involves the intricate integration of multiple metabolic pathways to ensure optimal neuronal function throughout different developmental stages. Our findings offer a paradigm for understanding how neurons synchronize the expression of nutrient-related genes with their activity to allow proper brain maturation. Further, our results demonstrate that disruptions in these precisely calibrated metabolic processes during critical periods of brain development may result in neuropathological outcomes in mice and in humans." acknowledged_ssus: - _id: PreCl - _id: Bio - _id: EM-Fac alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Lisa full_name: Knaus, Lisa id: 3B2ABCF4-F248-11E8-B48F-1D18A9856A87 last_name: Knaus citation: ama: 'Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107' apa: 'Knaus, L. (2023). The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13107' chicago: 'Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13107.' ieee: 'L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.' ista: 'Knaus L. 2023. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.' mla: 'Knaus, Lisa. The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13107.' short: 'L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.' date_created: 2023-06-01T09:05:24Z date_published: 2023-05-31T00:00:00Z date_updated: 2024-02-07T08:03:33Z day: '31' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: GaNo doi: 10.15479/at:ista:13107 ec_funded: 1 file: - access_level: closed checksum: 4b69a4ac0bbf4163d59c0b58dcb4f2c3 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: lknaus date_created: 2023-06-01T13:48:41Z date_updated: 2023-06-01T13:48:41Z file_id: '13112' file_name: Thesis_Lisa Knaus_approved_final.docx file_size: 12991551 relation: source_file - access_level: open_access checksum: 6903d152aa01181d87a696085af31c83 content_type: application/pdf creator: lknaus date_created: 2023-06-02T09:47:29Z date_updated: 2023-06-07T08:41:49Z file_id: '13114' file_name: Thesis_Lisa Knaus_approved_final_pdfa2b.pdf file_size: 9309015 relation: main_file file_date_updated: 2023-06-07T08:41:49Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '147' project: - _id: 25444568-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715508' name: Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models - _id: 2548AE96-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1232-B24 name: Molecular Drug Targets publication_identifier: issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12802' relation: part_of_dissertation status: public status: public supervisor: - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 title: 'The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ...