[{"title":"Advances in efficiency and privacy in payment channel network analysis","author":[{"id":"2D82B818-F248-11E8-B48F-1D18A9856A87","first_name":"Michelle X","full_name":"Yeo, Michelle X","last_name":"Yeo"}],"article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"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.","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.","ieee":"M. X. Yeo, “Advances in efficiency and privacy in payment channel network analysis,” Institute of Science and Technology Austria, 2023.","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"},"project":[{"grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"doi":"10.15479/14506","date_published":"2023-11-10T00:00:00Z","date_created":"2023-11-10T08:10:43Z","page":"162","day":"10","has_accepted_license":"1","year":"2023","publisher":"Institute of Science and Technology Austria","oa":1,"file_date_updated":"2023-11-23T10:30:08Z","department":[{"_id":"GradSch"},{"_id":"KrPi"}],"ddc":["000"],"supervisor":[{"full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","last_name":"Pietrzak","first_name":"Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2023-11-30T10:54:51Z","status":"public","type":"dissertation","_id":"14506","related_material":{"record":[{"relation":"part_of_dissertation","id":"9969","status":"public"},{"status":"public","id":"13238","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"14490"}]},"ec_funded":1,"file":[{"checksum":"521c72818d720a52b377207b2ee87b6a","file_id":"14598","access_level":"closed","relation":"source_file","content_type":"application/x-zip-compressed","date_created":"2023-11-23T10:29:55Z","file_name":"thesis_yeo.zip","creator":"cchlebak","date_updated":"2023-11-23T10:29:55Z","file_size":3037720},{"creator":"cchlebak","date_updated":"2023-11-23T10:30:08Z","file_size":2717256,"date_created":"2023-11-23T10:30:08Z","file_name":"thesis_yeo.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","checksum":"0ed5d16899687aecf13d843c9878c9f2","file_id":"14599","success":1}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663 - 337X"]},"publication_status":"published","degree_awarded":"PhD","month":"11","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","abstract":[{"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.","lang":"eng"}]},{"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"file_date_updated":"2023-11-24T11:57:46Z","date_updated":"2023-11-30T10:55:13Z","supervisor":[{"last_name":"Hof","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn"}],"ddc":["530"],"type":"dissertation","status":"public","_id":"12726","related_material":{"record":[{"status":"public","id":"10703","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"10791"},{"relation":"part_of_dissertation","status":"public","id":"7932"},{"relation":"part_of_dissertation","id":"461","status":"public"},{"id":"14530","status":"public","relation":"new_edition"}]},"publication_status":"published","degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"]},"language":[{"iso":"eng"}],"file":[{"access_level":"closed","relation":"main_file","description":"the main file is missing the bibliography. See new thesis record 14530 for updated files.","content_type":"application/pdf","file_id":"12745","checksum":"eba0e19fe57a8c15e7aeab55a845efb7","creator":"cchlebak","date_updated":"2023-11-24T11:57:46Z","file_size":63734746,"date_created":"2023-03-23T12:49:23Z","file_name":"Thesis_Riedl_2023.pdf"},{"embargo_to":"open_access","content_type":"application/octet-stream","relation":"source_file","access_level":"closed","checksum":"0eb7b650cc8ae843bcec7c8a6109ae03","file_id":"12746","file_size":339473651,"date_updated":"2023-09-24T22:30:03Z","creator":"cchlebak","file_name":"Thesis_Riedl_2023_source.rar","date_created":"2023-03-23T12:54:34Z"}],"alternative_title":["ISTA Thesis"],"month":"03","abstract":[{"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.","lang":"eng"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"Bio"}],"oa_version":"None","article_processing_charge":"No","author":[{"full_name":"Riedl, Michael","orcid":"0000-0003-4844-6311","last_name":"Riedl","first_name":"Michael","id":"3BE60946-F248-11E8-B48F-1D18A9856A87"}],"title":"Synchronization in collectively moving active matter","citation":{"mla":"Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 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","ama":"Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726","short":"M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.","ieee":"M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.","chicago":"Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12726.","ista":"Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","page":"260","date_created":"2023-03-15T13:22:13Z","date_published":"2023-03-23T00:00:00Z","doi":"10.15479/at:ista:12726","year":"2023","has_accepted_license":"1","day":"23","publisher":"Institute of Science and Technology Austria"},{"file_date_updated":"2023-11-15T09:52:54Z","department":[{"_id":"GradSch"},{"_id":"MiSi"}],"ddc":["530","570"],"supervisor":[{"first_name":"Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754"}],"date_updated":"2023-11-30T10:55:13Z","status":"public","keyword":["Synchronization","Collective Movement","Active Matter","Cell Migration","Active Colloids"],"type":"dissertation","_id":"14530","related_material":{"record":[{"id":"10703","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10791","status":"public"},{"status":"public","id":"7932","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"461"},{"relation":"old_edition","id":"12726","status":"public"}]},"file":[{"success":1,"checksum":"52e1d0ab6c1abe59c82dfe8c9ff5f83a","file_id":"14536","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"Thesis_Riedl_2023_corr.pdf","date_created":"2023-11-15T09:52:54Z","creator":"mriedl","file_size":36743942,"date_updated":"2023-11-15T09:52:54Z"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663 - 337X"]},"degree_awarded":"PhD","publication_status":"published","month":"11","alternative_title":["ISTA Thesis"],"oa_version":"Updated Version","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"Bio"}],"abstract":[{"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. ","lang":"eng"}],"title":"Synchronization in collectively moving active matter","author":[{"first_name":"Michael","id":"3BE60946-F248-11E8-B48F-1D18A9856A87","last_name":"Riedl","full_name":"Riedl, Michael","orcid":"0000-0003-4844-6311"}],"article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.","chicago":"Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14530.","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","short":"M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.","ieee":"M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.","mla":"Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530."},"doi":"10.15479/14530","date_published":"2023-11-16T00:00:00Z","date_created":"2023-11-15T09:59:03Z","page":"260","day":"16","has_accepted_license":"1","year":"2023","publisher":"Institute of Science and Technology Austria","oa":1},{"publication_status":"published","degree_awarded":"PhD","publication_identifier":{"issn":["2663 - 337X"]},"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_id":"14548","checksum":"db0c37d213bc002125bd59690e9db246","file_size":34828019,"date_updated":"2023-11-22T09:46:06Z","creator":"pduc","file_name":"Phan_Thesis_pdfa.pdf","date_created":"2023-11-17T13:36:44Z"},{"creator":"pduc","file_size":279319709,"date_updated":"2023-11-17T13:47:54Z","file_name":"dissertation_src.zip","date_created":"2023-11-17T13:44:53Z","relation":"source_file","access_level":"closed","content_type":"application/zip","checksum":"8d3bd6afa279a0078ffd13e06bb6d56d","file_id":"14549"}],"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","related_material":{"record":[{"id":"10851","status":"public","relation":"part_of_dissertation"},{"id":"13264","status":"public","relation":"part_of_dissertation"}]},"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"Bio"}],"abstract":[{"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.","lang":"eng"}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"11","date_updated":"2023-11-30T10:56:04Z","supervisor":[{"last_name":"Higginbotham","orcid":"0000-0003-2607-2363","full_name":"Higginbotham, Andrew P","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","first_name":"Andrew P"}],"ddc":["530"],"file_date_updated":"2023-11-22T09:46:06Z","department":[{"_id":"GradSch"},{"_id":"AnHi"}],"_id":"14547","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","keyword":["superconductor-semiconductor","superconductivity","Al","InAs","p-wave","superconductivity","JPA","microwave"],"status":"public","year":"2023","has_accepted_license":"1","day":"16","page":"80","date_created":"2023-11-17T13:45:26Z","date_published":"2023-11-16T00:00:00Z","doi":"10.15479/14547","oa":1,"publisher":"Institute of Science and Technology Austria","citation":{"short":"D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.","ieee":"D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.","apa":"Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547","ama":"Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547","mla":"Phan, Duc T. Resonant Microwave Spectroscopy of Al-InAs. Institute of Science and Technology Austria, 2023, doi:10.15479/14547.","ista":"Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.","chicago":"Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14547."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","author":[{"last_name":"Phan","full_name":"Phan, Duc T","first_name":"Duc T","id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87"}],"title":"Resonant microwave spectroscopy of Al-InAs"},{"_id":"14058","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"dissertation","status":"public","date_updated":"2023-12-13T12:15:36Z","supervisor":[{"first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz"},{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"ddc":["576"],"file_date_updated":"2023-08-18T10:47:55Z","department":[{"_id":"GradSch"},{"_id":"NiBa"},{"_id":"BeVi"}],"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."}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"08","publication_status":"published","degree_awarded":"PhD","publication_identifier":{"isbn":["978-3-99078-035-0"],"issn":["2663-337X"]},"language":[{"iso":"eng"}],"file":[{"file_name":"Thesis_latex_forpdfa.zip","date_created":"2023-08-16T18:15:17Z","file_size":10891454,"date_updated":"2023-08-17T06:55:24Z","creator":"gpuixeus","file_id":"14075","checksum":"4e44e169f2724ee8c9324cd60bcc2b71","content_type":"application/zip","relation":"source_file","access_level":"closed"},{"success":1,"checksum":"e10b04cd8f3fecc0d9ef6e6868b6e1e8","file_id":"14079","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"PhDThesis_PuixeuG.pdf","date_created":"2023-08-18T10:47:55Z","creator":"gpuixeus","file_size":19856686,"date_updated":"2023-08-18T10:47:55Z"}],"ec_funded":1,"related_material":{"record":[{"status":"public","id":"9803","relation":"research_data"},{"status":"public","id":"12933","relation":"research_data"},{"status":"public","id":"6831","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"14077","status":"public"}]},"project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385"},{"grant_number":"25817","name":"Sexual conflict: resolution, constraints and biomedical implications","_id":"9B9DFC9E-BA93-11EA-9121-9846C619BF3A"}],"citation":{"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.","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.","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","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","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.","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.","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."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","author":[{"last_name":"Puixeu Sala","full_name":"Puixeu Sala, Gemma","orcid":"0000-0001-8330-1754","id":"33AB266C-F248-11E8-B48F-1D18A9856A87","first_name":"Gemma"}],"title":"The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation","oa":1,"publisher":"Institute of Science and Technology Austria","year":"2023","has_accepted_license":"1","day":"15","page":"230","date_created":"2023-08-15T10:20:40Z","doi":"10.15479/at:ista:14058","date_published":"2023-08-15T00:00:00Z"},{"department":[{"_id":"GradSch"},{"_id":"MaSe"}],"file_date_updated":"2023-12-01T11:10:46Z","ddc":["530"],"date_updated":"2023-12-13T14:47:25Z","supervisor":[{"last_name":"Serbyn","full_name":"Serbyn, Maksym","orcid":"0000-0002-2399-5827","first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"}],"status":"public","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","_id":"14622","ec_funded":1,"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"11471"},{"id":"13125","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"9760","status":"public"}]},"language":[{"iso":"eng"}],"file":[{"date_created":"2023-11-30T15:53:10Z","file_name":"PhD_Thesis.pdf","date_updated":"2023-12-01T11:10:46Z","file_size":11947523,"creator":"ssack","file_id":"14635","checksum":"068fd3570506ec42b2faa390de784bc4","embargo":"2024-11-30","content_type":"application/pdf","embargo_to":"open_access","access_level":"closed","relation":"main_file"},{"creator":"ssack","file_size":18422964,"date_updated":"2023-12-01T11:10:46Z","file_name":"PhD Thesis (1).zip","date_created":"2023-11-30T15:54:11Z","relation":"source_file","access_level":"closed","content_type":"application/zip","file_id":"14636","checksum":"0fa3bc0d108aed0ac59d2c6beef2220a"}],"publication_status":"published","degree_awarded":"PhD","publication_identifier":{"issn":["2663 - 337X"]},"month":"11","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","title":"Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems","article_processing_charge":"No","author":[{"orcid":"0000-0001-5400-8508","full_name":"Sack, Stefan","last_name":"Sack","first_name":"Stefan","id":"dd622248-f6e0-11ea-865d-ce382a1c81a5"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"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.","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","short":"S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.","ieee":"S. Sack, “Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems,” Institute of Science and Technology Austria, 2023.","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.","ista":"Sack S. 2023. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria."},"project":[{"name":"Quantum_Quantum Circuits and Software_Variational quantum algorithms on NISQ devices","_id":"bd660c93-d553-11ed-ba76-fb0fb6f49c0d"},{"name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","grant_number":"850899","call_identifier":"H2020","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E"}],"date_created":"2023-11-28T10:58:13Z","doi":"10.15479/at:ista:14622","date_published":"2023-11-30T00:00:00Z","page":"142","day":"30","year":"2023","has_accepted_license":"1","publisher":"Institute of Science and Technology Austria"},{"_id":"14697","status":"public","type":"dissertation","ddc":["570"],"supervisor":[{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","last_name":"Sixt","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179"}],"date_updated":"2023-12-21T14:30:02Z","department":[{"_id":"GradSch"},{"_id":"MiSi"}],"file_date_updated":"2023-12-20T10:41:42Z","oa_version":"Published Version","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"month":"12","alternative_title":["ISTA Thesis"],"file":[{"checksum":"457927165d5d556305d3086f6b83e5c7","file_id":"14699","embargo":"2024-12-20","access_level":"closed","relation":"main_file","content_type":"application/pdf","embargo_to":"open_access","date_created":"2023-12-20T09:35:34Z","file_name":"Thesis.pdf","creator":"jstopp","date_updated":"2023-12-20T09:35:34Z","file_size":51585778},{"creator":"jstopp","file_size":69625950,"date_updated":"2023-12-20T10:41:42Z","file_name":"Thesis.docx","date_created":"2023-12-20T09:35:35Z","relation":"source_file","access_level":"closed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"e8d26449ac461f5e8478a62c9507506f","file_id":"14700"}],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-99078-038-1"],"issn":["2663 - 337X"]},"degree_awarded":"PhD","publication_status":"published","related_material":{"record":[{"relation":"part_of_dissertation","id":"6328","status":"public"},{"status":"public","id":"7885","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"12272"},{"status":"public","id":"14274","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"14360"}]},"ec_funded":1,"project":[{"name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Stopp JA. 2023. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.","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.","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","ama":"Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi: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.","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.","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."},"title":"Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function","author":[{"last_name":"Stopp","full_name":"Stopp, Julian A","first_name":"Julian A","id":"489E3F00-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","day":"20","has_accepted_license":"1","year":"2023","date_published":"2023-12-20T00:00:00Z","doi":"10.15479/at:ista:14697","date_created":"2023-12-18T19:14:28Z","page":"226"},{"oa":1,"publisher":"Institute of Science and Technology Austria","day":"12","year":"2023","has_accepted_license":"1","date_created":"2023-12-11T19:30:37Z","date_published":"2023-12-12T00:00:00Z","doi":"10.15479/at:ista:14651","page":"96","project":[{"name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Arathoon LS. 2023. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria.","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.","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","short":"L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.","ieee":"L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023.","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."},"title":"Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus","article_processing_charge":"No","author":[{"orcid":"0000-0003-1771-714X","full_name":"Arathoon, Louise S","last_name":"Arathoon","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","abstract":[{"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.","lang":"eng"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"month":"12","alternative_title":["ISTA Thesis"],"language":[{"iso":"eng"}],"file":[{"success":1,"checksum":"520bdb61e95e66070e02824947d2c5fa","file_id":"14684","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"Phd_Thesis_LA.pdf","date_created":"2023-12-13T15:37:55Z","file_size":34101468,"date_updated":"2023-12-13T15:37:55Z","creator":"larathoo"},{"date_created":"2023-12-13T15:42:23Z","file_name":"Phd_Thesis_LA.zip","creator":"larathoo","date_updated":"2023-12-14T08:58:18Z","file_size":31052872,"file_id":"14685","checksum":"d8e59afd0817c98fba2564a264508e5c","access_level":"closed","relation":"source_file","content_type":"application/zip"},{"content_type":"application/zip","relation":"supplementary_material","access_level":"closed","checksum":"9a778c949932286f4519e1f1fca2820d","file_id":"14681","file_size":10713896,"date_updated":"2023-12-14T08:58:18Z","creator":"larathoo","file_name":"Supplementary_Materials.zip","date_created":"2023-12-11T19:24:59Z"}],"publication_status":"published","degree_awarded":"PhD","publication_identifier":{"issn":["2663 - 337X"]},"ec_funded":1,"related_material":{"record":[{"id":"11411","status":"public","relation":"part_of_dissertation"}]},"_id":"14651","status":"public","type":"dissertation","ddc":["570"],"date_updated":"2023-12-22T11:04:45Z","supervisor":[{"orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H"}],"file_date_updated":"2023-12-14T08:58:18Z","department":[{"_id":"GradSch"},{"_id":"NiBa"}]},{"title":"Automated verification and control of infinite state stochastic systems","article_processing_charge":"No","author":[{"last_name":"Zikelic","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.","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.","short":"D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.","ieee":"D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.","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","mla":"Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539."},"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385"}],"date_created":"2023-11-15T13:39:10Z","doi":"10.15479/14539","date_published":"2023-11-15T00:00:00Z","page":"256","day":"15","year":"2023","oa":1,"publisher":"Institute of Science and Technology Austria","file_date_updated":"2023-11-15T13:44:24Z","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"ddc":["000"],"date_updated":"2024-01-16T11:58:15Z","supervisor":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"status":"public","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","_id":"14539","ec_funded":1,"related_material":{"record":[{"relation":"part_of_dissertation","id":"1194","status":"public"},{"relation":"part_of_dissertation","id":"12000","status":"public"},{"id":"9644","status":"public","relation":"part_of_dissertation"},{"id":"12511","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"14600","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"14601"},{"id":"10414","status":"public","relation":"part_of_dissertation"}]},"language":[{"iso":"eng"}],"file":[{"file_id":"14540","checksum":"f23e002b0059ca78e1fbb864da52dd7e","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2023-11-15T13:43:28Z","file_name":"main.pdf","date_updated":"2023-11-15T13:43:28Z","file_size":2116426,"creator":"cchlebak"},{"file_size":35884057,"date_updated":"2023-11-15T13:44:24Z","creator":"cchlebak","file_name":"thesis_source.zip","date_created":"2023-11-15T13:44:24Z","content_type":"application/x-zip-compressed","relation":"source_file","access_level":"closed","file_id":"14541","checksum":"80ca37618a3c7b59866875f8be9b15ed"}],"degree_awarded":"PhD","publication_status":"published","publication_identifier":{"isbn":["978-3-99078-036-7"],"issn":["2663 - 337X"]},"month":"11","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","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"}]},{"project":[{"call_identifier":"H2020","_id":"25444568-B435-11E9-9278-68D0E5697425","name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","grant_number":"715508"},{"name":"Molecular Drug Targets","grant_number":"W1232-B24","_id":"2548AE96-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"citation":{"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.","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.","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","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","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.","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."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","author":[{"last_name":"Knaus","full_name":"Knaus, Lisa","first_name":"Lisa","id":"3B2ABCF4-F248-11E8-B48F-1D18A9856A87"}],"title":"The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival","oa":1,"publisher":"Institute of Science and Technology Austria","year":"2023","has_accepted_license":"1","day":"31","page":"147","date_created":"2023-06-01T09:05:24Z","doi":"10.15479/at:ista:13107","date_published":"2023-05-31T00:00:00Z","_id":"13107","type":"dissertation","status":"public","date_updated":"2024-02-07T08:03:33Z","supervisor":[{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","last_name":"Novarino","full_name":"Novarino, Gaia","orcid":"0000-0002-7673-7178"}],"ddc":["570"],"file_date_updated":"2023-06-07T08:41:49Z","department":[{"_id":"GradSch"},{"_id":"GaNo"}],"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"EM-Fac"}],"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."}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"05","degree_awarded":"PhD","publication_status":"published","publication_identifier":{"issn":["2663 - 337X"]},"language":[{"iso":"eng"}],"file":[{"date_created":"2023-06-01T13:48:41Z","file_name":"Thesis_Lisa Knaus_approved_final.docx","date_updated":"2023-06-01T13:48:41Z","file_size":12991551,"creator":"lknaus","checksum":"4b69a4ac0bbf4163d59c0b58dcb4f2c3","file_id":"13112","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","relation":"source_file"},{"file_id":"13114","checksum":"6903d152aa01181d87a696085af31c83","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"Thesis_Lisa Knaus_approved_final_pdfa2b.pdf","date_created":"2023-06-02T09:47:29Z","file_size":9309015,"date_updated":"2023-06-07T08:41:49Z","creator":"lknaus"}],"ec_funded":1,"related_material":{"record":[{"relation":"part_of_dissertation","id":"12802","status":"public"}]}}]