[{"citation":{"short":"R. Schulz, (2022).","ama":"Schulz R. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). 2022. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:11542\">10.15479/AT:ISTA:11542</a>","ista":"Schulz R. 2022. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses), Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:11542\">10.15479/AT:ISTA:11542</a>.","chicago":"Schulz, Rouven. “Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses).” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/AT:ISTA:11542\">https://doi.org/10.15479/AT:ISTA:11542</a>.","apa":"Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:11542\">https://doi.org/10.15479/AT:ISTA:11542</a>","mla":"Schulz, Rouven. <i>Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses)</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:11542\">10.15479/AT:ISTA:11542</a>.","ieee":"R. Schulz, “Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses).” Institute of Science and Technology Austria, 2022."},"has_accepted_license":"1","article_processing_charge":"No","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"status":"public","file":[{"creator":"rschulz","file_size":135784571,"checksum":"71e8186583f3adbb6c69a88ac9e6e49b","relation":"main_file","success":1,"access_level":"open_access","date_updated":"2022-07-08T10:56:52Z","file_id":"11543","date_created":"2022-07-08T10:56:52Z","content_type":"application/vnd.openxmlformats-officedocument.spreadsheetml.sheet","file_name":"Source Data.xlsx"}],"contributor":[{"first_name":"Sandra","last_name":"Siegert","contributor_type":"contact_person","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8635-0877"}],"year":"2022","date_created":"2022-07-08T11:03:02Z","date_updated":"2024-02-21T12:34:51Z","author":[{"orcid":"0000-0001-5297-733X","id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","first_name":"Rouven","full_name":"Schulz, Rouven","last_name":"Schulz"}],"oa_version":"None","license":"https://creativecommons.org/licenses/by/4.0/","department":[{"_id":"GradSch"},{"_id":"SaSi"}],"date_published":"2022-01-01T00:00:00Z","title":"Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses)","oa":1,"related_material":{"link":[{"relation":"contains","url":"https://www.biorxiv.org/content/10.1101/2021.06.21.449162v1"}],"record":[{"id":"11995","relation":"used_in_publication","status":"public"}]},"type":"research_data","file_date_updated":"2022-07-08T10:56:52Z","_id":"11542","doi":"10.15479/AT:ISTA:11542","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Science and Technology Austria"},{"acknowledgement":"Zhores supercomputer of Skolkovo Institute of Science and Technology [68] has been used in the present research. S.A.M. was supported by Moscow Center for Fundamental and Applied Mathematics (the agreement with the Ministry of Education and Science of the Russian Federation No. 075-15-2019-1624). A.I.O. acknowledges RFBR project No. 20-31-90022. N.V.B. acknowledges the support of the Analytical Center (subsidy agreement 000000D730321P5Q0002, Grant No. 70-2021-00145 02.11.2021).","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"month":"10","_id":"11556","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","title":"Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics","oa":1,"article_type":"original","day":"15","keyword":["Computer Science Applications","Physics and Astronomy (miscellaneous)","Applied Mathematics","Computational Mathematics","Modeling and Simulation","Numerical Analysis"],"citation":{"short":"A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).","ama":"Kalinov A, Osinskiy AI, Matveev SA, Otieno W, Brilliantov NV. Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. <i>Journal of Computational Physics</i>. 2022;467. doi:<a href=\"https://doi.org/10.1016/j.jcp.2022.111439\">10.1016/j.jcp.2022.111439</a>","apa":"Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., &#38; Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. <i>Journal of Computational Physics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jcp.2022.111439\">https://doi.org/10.1016/j.jcp.2022.111439</a>","chicago":"Kalinov, Aleksei, A.I. Osinskiy, S.A. Matveev, W. Otieno, and N.V. Brilliantov. “Direct Simulation Monte Carlo for New Regimes in Aggregation-Fragmentation Kinetics.” <i>Journal of Computational Physics</i>. Elsevier, 2022. <a href=\"https://doi.org/10.1016/j.jcp.2022.111439\">https://doi.org/10.1016/j.jcp.2022.111439</a>.","ista":"Kalinov A, Osinskiy AI, Matveev SA, Otieno W, Brilliantov NV. 2022. Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. 467, 111439.","mla":"Kalinov, Aleksei, et al. “Direct Simulation Monte Carlo for New Regimes in Aggregation-Fragmentation Kinetics.” <i>Journal of Computational Physics</i>, vol. 467, 111439, Elsevier, 2022, doi:<a href=\"https://doi.org/10.1016/j.jcp.2022.111439\">10.1016/j.jcp.2022.111439</a>.","ieee":"A. Kalinov, A. I. Osinskiy, S. A. Matveev, W. Otieno, and N. V. Brilliantov, “Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics,” <i>Journal of Computational Physics</i>, vol. 467. Elsevier, 2022."},"intvolume":"       467","status":"public","article_number":"111439","abstract":[{"text":"We revisit two basic Direct Simulation Monte Carlo Methods to model aggregation kinetics and extend them for aggregation processes with collisional fragmentation (shattering). We test the performance and accuracy of the extended methods and compare their performance with efficient deterministic finite-difference method applied to the same model. We validate the stochastic methods on the test problems and apply them to verify the existence of oscillating regimes in the aggregation-fragmentation kinetics recently detected in deterministic simulations. We confirm the emergence of steady oscillations of densities in such systems and prove the stability of the\r\noscillations with respect to fluctuations and noise.","lang":"eng"}],"external_id":{"isi":["000917225500013"],"arxiv":["2103.09481"]},"oa_version":"Preprint","date_published":"2022-10-15T00:00:00Z","publication":"Journal of Computational Physics","author":[{"first_name":"Aleksei","full_name":"Kalinov, Aleksei","last_name":"Kalinov","orcid":"0000-0003-2189-3904","id":"44b7120e-eb97-11eb-a6c2-e1557aa81d02"},{"last_name":"Osinskiy","full_name":"Osinskiy, A.I.","first_name":"A.I."},{"full_name":"Matveev, S.A.","first_name":"S.A.","last_name":"Matveev"},{"first_name":"W.","full_name":"Otieno, W.","last_name":"Otieno"},{"last_name":"Brilliantov","full_name":"Brilliantov, N.V.","first_name":"N.V."}],"ddc":["518"],"doi":"10.1016/j.jcp.2022.111439","publisher":"Elsevier","language":[{"iso":"eng"}],"arxiv":1,"type":"journal_article","article_processing_charge":"No","publication_identifier":{"issn":["0021-9991"]},"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2103.09481","open_access":"1"}],"date_created":"2022-07-11T12:19:59Z","year":"2022","quality_controlled":"1","date_updated":"2023-08-03T11:55:06Z","isi":1,"volume":467},{"file":[{"relation":"main_file","checksum":"bd7ac35403cf5b4b2607287d2a104b3a","file_size":9730864,"creator":"mgallei","file_name":"Thesis_Gallei.pdf","file_id":"11645","content_type":"application/pdf","date_created":"2022-07-25T09:08:47Z","access_level":"open_access","date_updated":"2022-07-25T09:08:47Z"},{"file_name":"Thesis_Gallei_source.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2022-07-25T09:09:09Z","file_id":"11646","access_level":"closed","date_updated":"2022-07-25T09:39:58Z","relation":"source_file","checksum":"a9e54fe5471ba25dc13c2150c1b8ccbb","file_size":19560720,"creator":"mgallei"},{"relation":"source_file","checksum":"3994f7f20058941b5bb8a16886b21e71","file_size":24542837,"creator":"mgallei","file_name":"Thesis_Gallei_to_print.pdf","content_type":"application/pdf","date_created":"2022-07-25T09:09:32Z","file_id":"11647","date_updated":"2022-07-25T09:39:58Z","description":"This is the print version of the thesis including the full appendix","access_level":"closed"},{"file_name":"Thesis_Gallei_Appendix.pdf","date_updated":"2022-07-25T11:48:45Z","access_level":"open_access","date_created":"2022-07-25T11:48:45Z","file_id":"11650","content_type":"application/pdf","checksum":"f24acd3c0d864f4c6676e8b0d7bfa76b","relation":"main_file","creator":"mgallei","file_size":15435966}],"page":"248","year":"2022","date_created":"2022-07-20T11:21:53Z","date_updated":"2024-10-29T10:22:45Z","project":[{"_id":"261099A6-B435-11E9-9278-68D0E5697425","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","grant_number":"742985","call_identifier":"H2020"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-019-0"]},"article_processing_charge":"No","language":[{"iso":"eng"}],"file_date_updated":"2022-07-25T11:48:45Z","type":"dissertation","doi":"10.15479/at:ista:11626","publisher":"Institute of Science and Technology Austria","ddc":["575"],"author":[{"id":"35A03822-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1286-7368","full_name":"Gallei, Michelle C","first_name":"Michelle C","last_name":"Gallei"}],"oa_version":"Published Version","date_published":"2022-07-20T00:00:00Z","status":"public","abstract":[{"lang":"eng","text":"Plant growth and development is well known to be both, flexible and dynamic. The high capacity for post-embryonic organ formation and tissue regeneration requires tightly regulated intercellular communication and coordinated tissue polarization. One of the most important drivers for patterning and polarity in plant development is the phytohormone auxin. Auxin has the unique characteristic to establish polarized channels for its own active directional cell to cell transport. This fascinating phenomenon is called auxin canalization. Those auxin transport channels are characterized by the expression and polar, subcellular localization of PIN auxin efflux carriers. PIN proteins have the ability to dynamically change their localization and auxin itself can affect this by interfering with trafficking. Most of the underlying molecular mechanisms of canalization still remain enigmatic. What is known so far is that canonical auxin signaling is indispensable but also other non-canonical signaling components are thought to play a role. In order to shed light into the mysteries auf auxin canalization this study revisits the branches of auxin signaling in detail. Further a new auxin analogue, PISA, is developed which triggers auxin-like responses but does not directly activate canonical transcriptional auxin signaling. We revisit the direct auxin effect on PIN trafficking where we found that, contradictory to previous observations, auxin is very specifically promoting endocytosis of PIN2 but has no overall effect on endocytosis. Further, we evaluate which cellular processes related to PIN subcellular dynamics are involved in the establishment of auxin conducting channels and the formation of vascular tissue. We are re-evaluating the function of AUXIN BINDING PROTEIN 1 (ABP1) and provide a comprehensive picture about its developmental phneotypes and involvement in auxin signaling and canalization. Lastly, we are focusing on the crosstalk between the hormone strigolactone (SL) and auxin and found that SL is interfering with essentially all processes involved in auxin canalization in a non-transcriptional manner. Lastly we identify a new way of SL perception and signaling which is emanating from mitochondria, is independent of canonical SL signaling and is modulating primary root growth."}],"degree_awarded":"PhD","ec_funded":1,"supervisor":[{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml"},{"orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","full_name":"Benková, Eva","first_name":"Eva","last_name":"Benková"},{"last_name":"Shani","first_name":"Eilon","full_name":"Shani, Eilon"}],"citation":{"ieee":"M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.","mla":"Gallei, Michelle C. <i>Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11626\">10.15479/at:ista:11626</a>.","apa":"Gallei, M. C. (2022). <i>Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11626\">https://doi.org/10.15479/at:ista:11626</a>","ista":"Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.","chicago":"Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11626\">https://doi.org/10.15479/at:ista:11626</a>.","ama":"Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11626\">10.15479/at:ista:11626</a>","short":"M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022."},"day":"20","has_accepted_license":"1","related_material":{"record":[{"id":"9287","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"7142"},{"status":"public","relation":"part_of_dissertation","id":"7465"},{"status":"public","relation":"part_of_dissertation","id":"8138"},{"id":"6260","status":"public","relation":"part_of_dissertation"},{"id":"8931","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"10411"}]},"title":"Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana","oa":1,"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","month":"07","_id":"11626","alternative_title":["ISTA Thesis"],"department":[{"_id":"GradSch"},{"_id":"JiFr"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"11653","month":"08","doi":"10.15479/AT:ISTA:11653","publisher":"Institute of Science and Technology Austria","title":"Data from Elkrewi, Khauratovich, Toups et al. 2022, \"ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp\"","related_material":{"record":[{"id":"12248","status":"public","relation":"used_in_publication"}]},"oa":1,"file_date_updated":"2022-08-08T22:30:04Z","type":"research_data","oa_version":"Published Version","date_published":"2022-08-05T00:00:00Z","department":[{"_id":"GradSch"},{"_id":"BeVi"}],"ddc":["570"],"author":[{"last_name":"Elkrewi","first_name":"Marwan N","full_name":"Elkrewi, Marwan N","id":"0B46FACA-A8E1-11E9-9BD3-79D1E5697425","orcid":"0000-0002-5328-7231"}],"date_created":"2022-07-26T11:01:47Z","year":"2022","date_updated":"2024-02-21T12:35:53Z","status":"public","abstract":[{"lang":"eng","text":"Eurasian brine shrimp (genus Artemia) have closely related sexual and asexual lineages of parthenogenetic females, which produce rare males at low frequencies. Although they are known to have ZW chromosomes, these are not well characterized, and it is unclear whether they are shared across the clade. Furthermore, the underlying genetic architecture of the transmission of asexuality, which can occur when rare males mate with closely related sexual females, is not well understood. We produced a chromosome-level assembly for the sexual Eurasian species A. sinica and characterized in detail the pair of sex chromosomes of this species. We combined this new assembly with short-read genomic data for the sexual species A. sp. Kazakhstan and several asexual lineages of A. parthenogenetica, allowing us to perform an in-depth characterization of sex-chromosome evolution across the genus. We identified a small differentiated region of the ZW pair that is shared by all sexual and asexual lineages, supporting the shared ancestry of the sex chromosomes. We also inferred that recombination suppression has spread to larger sections of the chromosome independently in the American and Eurasian lineages. Finally, we took advantage of a rare male, which we backcrossed to sexual females, to explore the genetic basis of asexuality. Our results suggest that parthenogenesis is likely partly controlled by a locus on the Z chromosome, highlighting the interplay between sex determination and asexuality."}],"contributor":[{"orcid":"0000-0002-5328-7231","id":"0B46FACA-A8E1-11E9-9BD3-79D1E5697425","last_name":"Elkrewi","first_name":"Marwan N"},{"last_name":"Khauratovich","first_name":"Uladzislava"},{"first_name":"Melissa A","last_name":"Toups","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Vincent K","last_name":"Bett","id":"57854184-AAE0-11E9-8D04-98D6E5697425"},{"id":"353FAC84-AE61-11E9-8BFC-00D3E5697425","last_name":"Mrnjavac","first_name":"Andrea"},{"first_name":"Ariana","last_name":"Macon","id":"2A0848E2-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-8441-5075","id":"32DF5794-F248-11E8-B48F-1D18A9856A87","first_name":"Christelle","last_name":"Fraisse"},{"first_name":"Luca","last_name":"Sax"},{"id":"4C0A3874-F248-11E8-B48F-1D18A9856A87","last_name":"Huylmans","first_name":"Ann K"},{"last_name":"Hontoria ","first_name":"Francisco"},{"id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4579-8306","first_name":"Beatriz","last_name":"Vicoso"}],"file":[{"relation":"main_file","checksum":"5f1d7c6d7ab5375ed2564521432bed0c","file_size":2209382998,"creator":"melkrewi","file_name":"Data.zip","title":"Supplementary Datasets","embargo":"2022-08-07","date_created":"2022-07-26T12:37:52Z","content_type":"application/x-zip-compressed","file_id":"11655","date_updated":"2022-08-08T22:30:04Z","access_level":"open_access","description":"The folder contains the following datasets (fasta files, and text files):\nSup. Dataset 1: Genome assemblies: A. sinica male high quality assembly, A. sp. Kazakhstan\nmale draft assembly\nSup. Dataset 2: Male transcriptome assemblies for A. sinica and A. franciscana\nSup. Dataset 3: Male and female coverage for A. sinica, A. sp. Kazakhstan, A. urmiana, and\nA. parthenogenetica females and rare male.\nSup. Dataset 4: Artemia sinica Male:female FST per 1Kb window\nSup. Dataset 5: FASTA file with candidate W scaffolds\nSup. Dataset 6: Candidate W-derived transcripts and alignments\nSup. Dataset 7: Gene expression with genomic location\nSup. Dataset 8: VCF for asexual female and rare male\nSup. Dataset 9: FST between backcrossed asexual and control females (pooled analysis)\nSup. Dataset 10: VCF of backcrossed asexual and control females (individual analysis using\nA. sp. Kazakhstan as the reference), and inferred ancestry\nSup. Dataset 11: GO and DE annotations of all the Artemia sinica transcripts and their\nlocations in the Artemia sinica male genome.\n"}],"day":"05","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"article_processing_charge":"No","has_accepted_license":"1","citation":{"short":"M.N. Elkrewi, (2022).","ama":"Elkrewi MN. Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” 2022. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:11653\">10.15479/AT:ISTA:11653</a>","ista":"Elkrewi MN. 2022. Data from Elkrewi, Khauratovich, Toups et al. 2022, ‘ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:11653\">10.15479/AT:ISTA:11653</a>.","chicago":"Elkrewi, Marwan N. “Data from Elkrewi, Khauratovich, Toups et Al. 2022, ‘ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.’” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/AT:ISTA:11653\">https://doi.org/10.15479/AT:ISTA:11653</a>.","apa":"Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:11653\">https://doi.org/10.15479/AT:ISTA:11653</a>","mla":"Elkrewi, Marwan N. <i>Data from Elkrewi, Khauratovich, Toups et Al. 2022, “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.”</i> Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:11653\">10.15479/AT:ISTA:11653</a>.","ieee":"M. N. Elkrewi, “Data from Elkrewi, Khauratovich, Toups et al. 2022, ‘ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.’” Institute of Science and Technology Austria, 2022."}},{"publication_status":"submitted","oa":1,"title":"Depth in arrangements: Dehn–Sommerville–Euler relations with applications","_id":"11658","month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"GradSch"},{"_id":"HeEd"}],"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35.","status":"public","abstract":[{"text":"The depth of a cell in an arrangement of n (non-vertical) great-spheres in Sd is the number of great-spheres that pass above the cell. We prove Euler-type relations, which imply extensions of the classic Dehn–Sommerville relations for convex polytopes to sublevel sets of the depth function, and we use the relations to extend the expressions for the number of faces of neighborly polytopes to the number of cells of levels in neighborly arrangements.","lang":"eng"}],"ec_funded":1,"citation":{"short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Leibniz International Proceedings on Mathematics (n.d.).","ama":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. <i>Leibniz International Proceedings on Mathematics</i>.","chicago":"Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” <i>Leibniz International Proceedings on Mathematics</i>. Schloss Dagstuhl - Leibniz Zentrum für Informatik, n.d.","ista":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics.","apa":"Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &#38; Saghafian, M. (n.d.). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. <i>Leibniz International Proceedings on Mathematics</i>. Schloss Dagstuhl - Leibniz Zentrum für Informatik.","mla":"Biswas, Ranita, et al. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” <i>Leibniz International Proceedings on Mathematics</i>, Schloss Dagstuhl - Leibniz Zentrum für Informatik.","ieee":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Depth in arrangements: Dehn–Sommerville–Euler relations with applications,” <i>Leibniz International Proceedings on Mathematics</i>. Schloss Dagstuhl - Leibniz Zentrum für Informatik."},"day":"27","has_accepted_license":"1","language":[{"iso":"eng"}],"type":"journal_article","file_date_updated":"2022-07-27T09:25:53Z","publisher":"Schloss Dagstuhl - Leibniz Zentrum für Informatik","publication":"Leibniz International Proceedings on Mathematics","author":[{"id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5372-7890","first_name":"Ranita","full_name":"Biswas, Ranita","last_name":"Biswas"},{"first_name":"Sebastiano","full_name":"Cultrera di Montesano, Sebastiano","last_name":"Cultrera di Montesano","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-0832"},{"orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","last_name":"Edelsbrunner"},{"full_name":"Saghafian, Morteza","first_name":"Morteza","last_name":"Saghafian","id":"f86f7148-b140-11ec-9577-95435b8df824"}],"ddc":["510"],"oa_version":"Submitted Version","date_published":"2022-07-27T00:00:00Z","file":[{"date_updated":"2022-07-27T09:25:53Z","access_level":"open_access","content_type":"application/pdf","date_created":"2022-07-27T09:25:53Z","file_id":"11659","file_name":"D-S-E.pdf","creator":"scultrer","file_size":639266,"checksum":"b2f511e8b1cae5f1892b0cdec341acac","relation":"main_file"}],"year":"2022","date_created":"2022-07-27T09:27:34Z","quality_controlled":"1","project":[{"call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","name":"Alpha Shape Theory Extended","grant_number":"788183"},{"call_identifier":"FWF","_id":"268116B8-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z00342"},{"call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes"}],"date_updated":"2022-07-28T07:57:48Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"article_processing_charge":"No"},{"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","language":[{"iso":"eng"}],"type":"journal_article","file_date_updated":"2022-07-27T09:30:30Z","oa_version":"Submitted Version","date_published":"2022-07-25T00:00:00Z","publication":"LIPIcs","author":[{"orcid":"0000-0002-5372-7890","id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","full_name":"Biswas, Ranita","first_name":"Ranita","last_name":"Biswas"},{"first_name":"Sebastiano","full_name":"Cultrera di Montesano, Sebastiano","last_name":"Cultrera di Montesano","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-0832"},{"last_name":"Edelsbrunner","first_name":"Herbert","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Saghafian","first_name":"Morteza","full_name":"Saghafian, Morteza"}],"ddc":["510"],"year":"2022","date_created":"2022-07-27T09:31:15Z","quality_controlled":"1","project":[{"grant_number":"788183","name":"Alpha Shape Theory Extended","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"Z00342","name":"The Wittgenstein Prize","_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes"}],"date_updated":"2022-07-28T08:05:34Z","file":[{"file_name":"window 1.pdf","access_level":"open_access","date_updated":"2022-07-27T09:30:30Z","date_created":"2022-07-27T09:30:30Z","file_id":"11661","content_type":"application/pdf","checksum":"95903f9d1649e8e437a967b6f2f64730","relation":"main_file","creator":"scultrer","file_size":564836}],"article_processing_charge":"No","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"11660","month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"submitted","oa":1,"title":"A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs","department":[{"_id":"GradSch"},{"_id":"HeEd"}],"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35. ","alternative_title":["LIPIcs"],"ec_funded":1,"status":"public","abstract":[{"lang":"eng","text":"We characterize critical points of 1-dimensional maps paired in persistent homology geometrically and this way get elementary proofs of theorems about the symmetry of persistence diagrams and the variation of such maps. In particular, we identify branching points and endpoints of networks as the sole source of asymmetry and relate the cycle basis in persistent homology with a version of the stable marriage problem. Our analysis provides the foundations of fast algorithms for maintaining collections of interrelated sorted lists together with their persistence diagrams. "}],"day":"25","has_accepted_license":"1","citation":{"mla":"Biswas, Ranita, et al. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” <i>LIPIcs</i>, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.","ieee":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs,” <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.","apa":"Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &#38; Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.","chicago":"Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, n.d.","ista":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs.","ama":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. <i>LIPIcs</i>.","short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.)."}},{"isi":1,"file":[{"creator":"dernst","file_size":2506262,"checksum":"ae6f19b0d9efba6687f9e4dc1bab1d6e","relation":"main_file","access_level":"open_access","success":1,"date_updated":"2022-08-08T07:42:09Z","date_created":"2022-08-08T07:42:09Z","content_type":"application/pdf","file_id":"11747","file_name":"2022_PNAS_Li.pdf"}],"volume":119,"project":[{"call_identifier":"FWF","_id":"26538374-B435-11E9-9278-68D0E5697425","grant_number":"I03630","name":"Molecular mechanisms of endocytic cargo recognition in plants"},{"_id":"26B4D67E-B435-11E9-9278-68D0E5697425","grant_number":"25351","name":"A Case Study of Plant Growth Regulation: Molecular Mechanism of Auxin-mediated Rapid Growth Inhibition in Arabidopsis Root"}],"date_updated":"2024-10-29T10:12:30Z","year":"2022","date_created":"2022-08-04T20:06:49Z","quality_controlled":"1","pmid":1,"scopus_import":"1","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"tmp":{"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)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)"},"article_processing_charge":"No","type":"journal_article","file_date_updated":"2022-08-08T07:42:09Z","language":[{"iso":"eng"}],"publisher":"Proceedings of the National Academy of Sciences","doi":"10.1073/pnas.2121058119","author":[{"full_name":"Li, Lanxin","first_name":"Lanxin","last_name":"Li","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5607-272X"},{"id":"83c96512-15b2-11ec-abd3-b7eede36184f","full_name":"Chen, Huihuang","first_name":"Huihuang","last_name":"Chen"},{"last_name":"Alotaibi","full_name":"Alotaibi, Saqer S.","first_name":"Saqer S."},{"last_name":"Pěnčík","full_name":"Pěnčík, Aleš","first_name":"Aleš"},{"id":"45F536D2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6463-5257","last_name":"Adamowski","first_name":"Maciek","full_name":"Adamowski, Maciek"},{"last_name":"Novák","full_name":"Novák, Ondřej","first_name":"Ondřej"},{"first_name":"Jiří","full_name":"Friml, Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"ddc":["580"],"publication":"Proceedings of the National Academy of Sciences","issue":"31","date_published":"2022-07-25T00:00:00Z","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","external_id":{"isi":["000881496900002"],"pmid":["35878023"]},"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Plant cell growth responds rapidly to various stimuli, adapting architecture to environmental changes. Two major endogenous signals regulating growth are the phytohormone auxin and the secreted peptides rapid alkalinization factors (RALFs). Both trigger very rapid cellular responses and also exert long-term effects [Du et al., Annu. Rev. Plant Biol. 71, 379–402 (2020); Blackburn et al., Plant Physiol. 182, 1657–1666 (2020)]. However, the way, in which these distinct signaling pathways converge to regulate growth, remains unknown. Here, using vertical confocal microscopy combined with a microfluidic chip, we addressed the mechanism of RALF action on growth. We observed correlation between RALF1-induced rapid Arabidopsis thaliana root growth inhibition and apoplast alkalinization during the initial phase of the response, and revealed that RALF1 reversibly inhibits primary root growth through apoplast alkalinization faster than within 1 min. This rapid apoplast alkalinization was the result of RALF1-induced net H+ influx and was mediated by the receptor FERONIA (FER). Furthermore, we investigated the cross-talk between RALF1 and the auxin signaling pathways during root growth regulation. The results showed that RALF-FER signaling triggered auxin signaling with a delay of approximately 1 h by up-regulating auxin biosynthesis, thus contributing to sustained RALF1-induced growth inhibition. This biphasic RALF1 action on growth allows plants to respond rapidly to environmental stimuli and also reprogram growth and development in the long term."}],"status":"public","article_number":"e2121058119","intvolume":"       119","citation":{"ama":"Li L, Chen H, Alotaibi SS, et al. RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. <i>Proceedings of the National Academy of Sciences</i>. 2022;119(31). doi:<a href=\"https://doi.org/10.1073/pnas.2121058119\">10.1073/pnas.2121058119</a>","short":"L. Li, H. Chen, S.S. Alotaibi, A. Pěnčík, M. Adamowski, O. Novák, J. Friml, Proceedings of the National Academy of Sciences 119 (2022).","ieee":"L. Li <i>et al.</i>, “RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis,” <i>Proceedings of the National Academy of Sciences</i>, vol. 119, no. 31. Proceedings of the National Academy of Sciences, 2022.","mla":"Li, Lanxin, et al. “RALF1 Peptide Triggers Biphasic Root Growth Inhibition Upstream of Auxin Biosynthesis.” <i>Proceedings of the National Academy of Sciences</i>, vol. 119, no. 31, e2121058119, Proceedings of the National Academy of Sciences, 2022, doi:<a href=\"https://doi.org/10.1073/pnas.2121058119\">10.1073/pnas.2121058119</a>.","chicago":"Li, Lanxin, Huihuang Chen, Saqer S. Alotaibi, Aleš Pěnčík, Maciek Adamowski, Ondřej Novák, and Jiří Friml. “RALF1 Peptide Triggers Biphasic Root Growth Inhibition Upstream of Auxin Biosynthesis.” <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences, 2022. <a href=\"https://doi.org/10.1073/pnas.2121058119\">https://doi.org/10.1073/pnas.2121058119</a>.","ista":"Li L, Chen H, Alotaibi SS, Pěnčík A, Adamowski M, Novák O, Friml J. 2022. RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. 119(31), e2121058119.","apa":"Li, L., Chen, H., Alotaibi, S. S., Pěnčík, A., Adamowski, M., Novák, O., &#38; Friml, J. (2022). RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2121058119\">https://doi.org/10.1073/pnas.2121058119</a>"},"keyword":["Multidisciplinary"],"has_accepted_license":"1","day":"25","article_type":"original","publication_status":"published","oa":1,"title":"RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis","_id":"11723","month":"07","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"GradSch"},{"_id":"JiFr"}],"acknowledgement":"We thank Sarah M. Assmann, Kris Vissenberg, and Nadine Paris for kindly sharing seeds; Matyáš Fendrych for initiating this project and providing constant support; Lukas Fiedler for revising the manuscript; and Huibin Han and Arseny Savin for contributing to genotyping. This work was supported by the Austrian Science Fund (FWF) I 3630-B25 (to J.F.) and the Doctoral Fellowship Progrmme of the Austrian Academy of Sciences (to L.L.) We also acknowledge Taif University Researchers Supporting Project TURSP-HC2021/02 and funding “Plants as a tool for sustainable global development (no. CZ.02.1.01/0.0/0.0/16_019/0000827).”"},{"project":[{"call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"date_updated":"2023-09-05T14:57:49Z","year":"2022","date_created":"2022-08-05T11:36:56Z","quality_controlled":"1","isi":1,"file":[{"file_size":419563,"creator":"dernst","relation":"main_file","checksum":"b398c4dbf65f71d417981d6e366427e9","date_created":"2022-08-08T07:36:34Z","file_id":"11746","content_type":"application/pdf","access_level":"open_access","date_updated":"2022-08-08T07:36:34Z","success":1,"file_name":"2022_JourStatisticalPhysics_Henheik.pdf"}],"volume":189,"article_processing_charge":"Yes (via OA deal)","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"scopus_import":"1","publication_identifier":{"issn":["0022-4715"],"eissn":["1572-9613"]},"publisher":"Springer Nature","doi":"10.1007/s10955-022-02965-9","type":"journal_article","file_date_updated":"2022-08-08T07:36:34Z","language":[{"iso":"eng"}],"date_published":"2022-07-29T00:00:00Z","oa_version":"Published Version","external_id":{"isi":["000833007200002"]},"author":[{"orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha"},{"last_name":"Lauritsen","first_name":"Asbjørn Bækgaard","full_name":"Lauritsen, Asbjørn Bækgaard","orcid":"0000-0003-4476-2288","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1"}],"ddc":["530"],"publication":"Journal of Statistical Physics","ec_funded":1,"abstract":[{"text":"We study the BCS energy gap Ξ in the high–density limit and derive an asymptotic formula, which strongly depends on the strength of the interaction potential V on the Fermi surface. In combination with the recent result by one of us (Math. Phys. Anal. Geom. 25, 3, 2022) on the critical temperature Tc at high densities, we prove the universality of the ratio of the energy gap and the critical temperature.","lang":"eng"}],"status":"public","article_number":"5","has_accepted_license":"1","day":"29","citation":{"ama":"Henheik SJ, Lauritsen AB. The BCS energy gap at high density. <i>Journal of Statistical Physics</i>. 2022;189. doi:<a href=\"https://doi.org/10.1007/s10955-022-02965-9\">10.1007/s10955-022-02965-9</a>","short":"S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).","ieee":"S. J. Henheik and A. B. Lauritsen, “The BCS energy gap at high density,” <i>Journal of Statistical Physics</i>, vol. 189. Springer Nature, 2022.","mla":"Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” <i>Journal of Statistical Physics</i>, vol. 189, 5, Springer Nature, 2022, doi:<a href=\"https://doi.org/10.1007/s10955-022-02965-9\">10.1007/s10955-022-02965-9</a>.","ista":"Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.","apa":"Henheik, S. J., &#38; Lauritsen, A. B. (2022). The BCS energy gap at high density. <i>Journal of Statistical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10955-022-02965-9\">https://doi.org/10.1007/s10955-022-02965-9</a>","chicago":"Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” <i>Journal of Statistical Physics</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s10955-022-02965-9\">https://doi.org/10.1007/s10955-022-02965-9</a>."},"intvolume":"       189","keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"month":"07","_id":"11732","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_type":"original","publication_status":"published","title":"The BCS energy gap at high density","oa":1,"department":[{"_id":"GradSch"},{"_id":"LaEr"},{"_id":"RoSe"}],"acknowledgement":"We are grateful to Robert Seiringer for helpful discussions and many valuable comments\r\non an earlier version of the manuscript. J.H. acknowledges partial financial support by the ERC Advanced Grant “RMTBeyond’ No. 101020331. Open access funding provided by Institute of Science and Technology (IST Austria)"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"11775","month":"09","title":"Abstract monitors for quantitative specifications","oa":1,"publication_status":"published","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093.","alternative_title":["LNCS"],"ec_funded":1,"status":"public","abstract":[{"text":"Quantitative monitoring can be universal and approximate: For every finite sequence of observations, the specification provides a value and the monitor outputs a best-effort approximation of it. The quality of the approximation may depend on the resources that are available to the monitor. By taking to the limit the sequences of specification values and monitor outputs, we obtain precision-resource trade-offs also for limit monitoring. This paper provides a formal framework for studying such trade-offs using an abstract interpretation for monitors: For each natural number n, the aggregate semantics of a monitor at time n is an equivalence relation over all sequences of at most n observations so that two equivalent sequences are indistinguishable to the monitor and thus mapped to the same output. This abstract interpretation of quantitative monitors allows us to measure the number of equivalence classes (or “resource use”) that is necessary for a certain precision up to a certain time, or at any time. Our framework offers several insights. For example, we identify a family of specifications for which any resource-optimal exact limit monitor is independent of any error permitted over finite traces. Moreover, we present a specification for which any resource-optimal approximate limit monitor does not minimize its resource use at any time. ","lang":"eng"}],"day":"23","has_accepted_license":"1","citation":{"ama":"Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: <i>22nd International Conference on Runtime Verification</i>. Vol 13498. Springer Nature; 2022:200-220. doi:<a href=\"https://doi.org/10.1007/978-3-031-17196-3_11\">10.1007/978-3-031-17196-3_11</a>","short":"T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.","ieee":"T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Abstract monitors for quantitative specifications,” in <i>22nd International Conference on Runtime Verification</i>, Tbilisi, Georgia, 2022, vol. 13498, pp. 200–220.","mla":"Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” <i>22nd International Conference on Runtime Verification</i>, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:<a href=\"https://doi.org/10.1007/978-3-031-17196-3_11\">10.1007/978-3-031-17196-3_11</a>.","ista":"Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.","apa":"Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In <i>22nd International Conference on Runtime Verification</i> (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-17196-3_11\">https://doi.org/10.1007/978-3-031-17196-3_11</a>","chicago":"Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.” In <i>22nd International Conference on Runtime Verification</i>, 13498:200–220. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-17196-3_11\">https://doi.org/10.1007/978-3-031-17196-3_11</a>."},"intvolume":"     13498","doi":"10.1007/978-3-031-17196-3_11","publisher":"Springer Nature","language":[{"iso":"eng"}],"file_date_updated":"2023-01-20T07:34:50Z","type":"conference","conference":{"end_date":"2022-09-30","location":"Tbilisi, Georgia","start_date":"2022-09-28","name":"RV: Runtime Verification"},"oa_version":"Published Version","external_id":{"isi":["000866539700011"]},"date_published":"2022-09-23T00:00:00Z","publication":"22nd International Conference on Runtime Verification","ddc":["000"],"author":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"b26baa86-3308-11ec-87b0-8990f34baa85","first_name":"Nicolas Adrien","full_name":"Mazzocchi, Nicolas Adrien","last_name":"Mazzocchi"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","full_name":"Sarac, Naci E","last_name":"Sarac"}],"page":"200-220","quality_controlled":"1","year":"2022","date_created":"2022-08-08T17:09:09Z","date_updated":"2023-08-03T13:38:46Z","project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"volume":13498,"file":[{"checksum":"05c7dcfbb9053a98f46441fb2eccb213","relation":"main_file","creator":"dernst","file_size":477110,"file_name":"2022_LNCS_RV_Henzinger.pdf","date_updated":"2023-01-20T07:34:50Z","access_level":"open_access","success":1,"date_created":"2023-01-20T07:34:50Z","file_id":"12317","content_type":"application/pdf"}],"isi":1,"article_processing_charge":"Yes","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"publication_identifier":{"issn":["0302-9743"]},"scopus_import":"1"},{"ddc":["500","516","514"],"author":[{"first_name":"Pascal","full_name":"Wild, Pascal","last_name":"Wild","id":"4C20D868-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","date_published":"2022-08-11T00:00:00Z","language":[{"iso":"eng"}],"file_date_updated":"2022-08-11T16:09:19Z","type":"dissertation","doi":"10.15479/at:ista:11777","publisher":"Institute of Science and Technology","publication_identifier":{"isbn":["978-3-99078-021-3"],"issn":["2663-337X"]},"article_processing_charge":"No","file":[{"file_size":16828,"creator":"pwild","relation":"supplementary_material","checksum":"f5f3af1fb7c8a24b71ddc88ad7f7c5b4","date_created":"2022-08-10T15:34:04Z","file_id":"11780","content_type":"text/x-python","description":"Code for computer-assisted proofs in Section 8.4.7 in Thesis","date_updated":"2022-08-10T15:34:04Z","access_level":"open_access","file_name":"flags.py"},{"file_name":"lowerbound.cpp","file_id":"11781","date_created":"2022-08-10T15:34:10Z","content_type":"text/x-c++src","date_updated":"2022-08-10T15:34:10Z","access_level":"open_access","description":"Code for proof of Lemma 8.20 in Thesis","relation":"supplementary_material","checksum":"1f7c12dfe3bdaa9b147e4fbc3d34e3d5","file_size":12226,"creator":"pwild"},{"file_id":"11782","content_type":"text/x-python","date_created":"2022-08-10T15:34:17Z","description":"Code for proof of Proposition 7.9 in Thesis","date_updated":"2022-08-10T15:34:17Z","access_level":"open_access","file_name":"upperbound.py","file_size":3240,"creator":"pwild","relation":"supplementary_material","checksum":"4cf81455c49e5dec3b9b2e3980137eeb"},{"file_size":5086282,"creator":"pwild","relation":"main_file","checksum":"4e96575b10cbe4e0d0db2045b2847774","date_created":"2022-08-11T16:08:33Z","content_type":"application/pdf","file_id":"11809","date_updated":"2022-08-11T16:08:33Z","access_level":"open_access","title":"High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes","file_name":"finalthesisPascalWildPDFA.pdf"},{"checksum":"92d94842a1fb6dca5808448137573b2e","relation":"source_file","creator":"pwild","file_size":18150068,"file_name":"ThesisSubmission.zip","access_level":"closed","date_updated":"2022-08-11T16:09:19Z","date_created":"2022-08-11T16:09:19Z","file_id":"11810","content_type":"application/zip"}],"page":"170","year":"2022","date_created":"2022-08-10T15:51:19Z","date_updated":"2023-06-22T09:56:36Z","project":[{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"alternative_title":["ISTA Thesis"],"department":[{"_id":"GradSch"},{"_id":"UlWa"}],"oa":1,"title":"High-dimensional expansion and crossing numbers of simplicial complexes","publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"11777","month":"08","supervisor":[{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli","first_name":"Uli","last_name":"Wagner"}],"citation":{"ama":"Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11777\">10.15479/at:ista:11777</a>","short":"P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.","ieee":"P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology, 2022.","mla":"Wild, Pascal. <i>High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes</i>. Institute of Science and Technology, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11777\">10.15479/at:ista:11777</a>.","chicago":"Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology, 2022. <a href=\"https://doi.org/10.15479/at:ista:11777\">https://doi.org/10.15479/at:ista:11777</a>.","ista":"Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.","apa":"Wild, P. (2022). <i>High-dimensional expansion and crossing numbers of simplicial complexes</i>. Institute of Science and Technology. <a href=\"https://doi.org/10.15479/at:ista:11777\">https://doi.org/10.15479/at:ista:11777</a>"},"day":"11","has_accepted_license":"1","status":"public","abstract":[{"lang":"eng","text":"In this dissertation we study coboundary expansion of simplicial complex with a view of giving geometric applications.\r\nOur main novel tool is an equivariant version of Gromov's celebrated Topological Overlap Theorem. The equivariant topological overlap theorem leads to various geometric applications including a quantitative non-embeddability result for sufficiently thick buildings (which partially resolves a conjecture of Tancer and Vorwerk) and an improved lower bound on the pair-crossing number of (bounded degree) expander graphs. Additionally, we will give new proofs for several known lower bounds for geometric problems such as the number of Tverberg partitions or the crossing number of complete bipartite graphs.\r\nFor the aforementioned applications one is naturally lead to study expansion properties of joins of simplicial complexes. In the presence of a special certificate for expansion (as it is the case, e.g., for spherical buildings), the join of two expanders is an expander. On the flip-side, we report quite some evidence that coboundary expansion exhibits very non-product-like behaviour under taking joins. For instance, we exhibit infinite families of graphs $(G_n)_{n\\in \\mathbb{N}}$ and $(H_n)_{n\\in\\mathbb{N}}$ whose join $G_n*H_n$ has expansion of lower order than the product of the expansion constant of the graphs. Moreover, we show an upper bound of $(d+1)/2^d$ on the normalized coboundary expansion constants for the complete multipartite complex $[n]^{*(d+1)}$ (under a mild divisibility condition on $n$).\r\nVia the probabilistic method the latter result extends to an upper bound of $(d+1)/2^d+\\varepsilon$ on the coboundary expansion constant of the spherical building associated with $\\mathrm{PGL}_{d+2}(\\mathbb{F}_q)$ for any $\\varepsilon>0$ and sufficiently large $q=q(\\varepsilon)$. This disproves a conjecture of Lubotzky, Meshulam and Mozes -- in a rather strong sense.\r\nBy improving on existing lower bounds we make further progress towards closing the gap between the known lower and upper bounds on the coboundary expansion constants of $[n]^{*(d+1)}$. The best improvements we achieve using computer-aided proofs and flag algebras. The exact value even for the complete $3$-partite $2$-dimensional complex $[n]^{*3}$ remains unknown but we are happy to conjecture a precise value for every $n$. %Moreover, we show that a previously shown lower bound on the expansion constant of the spherical building associated with $\\mathrm{PGL}_{2}(\\mathbb{F}_q)$ is not tight.\r\nIn a loosely structured, last chapter of this thesis we collect further smaller observations related to expansion. We point out a link between discrete Morse theory and a technique for showing coboundary expansion, elaborate a bit on the hardness of computing coboundary expansion constants, propose a new criterion for coboundary expansion (in a very dense setting) and give one way of making the folklore result that expansion of links is a necessary condition for a simplicial complex to be an expander precise."}],"degree_awarded":"PhD","ec_funded":1},{"author":[{"first_name":"Bernd","full_name":"Prach, Bernd","last_name":"Prach","id":"2D561D42-C427-11E9-89B4-9C1AE6697425"},{"orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert"}],"publication":"Computer Vision – ECCV 2022","date_published":"2022-10-23T00:00:00Z","conference":{"start_date":"2022-10-23","name":"ECCV: European Conference on Computer Vision","end_date":"2022-10-27","location":"Tel Aviv, Israel"},"oa_version":"Preprint","external_id":{"arxiv":["2208.03160"]},"type":"conference","arxiv":1,"language":[{"iso":"eng"}],"publisher":"Springer Nature","doi":"10.1007/978-3-031-19803-8_21","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.2208.03160","open_access":"1"}],"scopus_import":"1","publication_identifier":{"isbn":["9783031198021"],"eisbn":["9783031198038"]},"article_processing_charge":"No","volume":13681,"date_updated":"2023-05-03T08:00:46Z","date_created":"2022-08-12T15:09:47Z","year":"2022","page":"350-365","quality_controlled":"1","alternative_title":["LNCS"],"department":[{"_id":"GradSch"},{"_id":"ChLa"}],"publication_status":"published","oa":1,"title":"Almost-orthogonal layers for efficient general-purpose Lipschitz networks","_id":"11839","month":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.","ama":"Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: <i>Computer Vision – ECCV 2022</i>. Vol 13681. Springer Nature; 2022:350-365. doi:<a href=\"https://doi.org/10.1007/978-3-031-19803-8_21\">10.1007/978-3-031-19803-8_21</a>","chicago":"Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” In <i>Computer Vision – ECCV 2022</i>, 13681:350–65. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-19803-8_21\">https://doi.org/10.1007/978-3-031-19803-8_21</a>.","ista":"Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.","apa":"Prach, B., &#38; Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In <i>Computer Vision – ECCV 2022</i> (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-19803-8_21\">https://doi.org/10.1007/978-3-031-19803-8_21</a>","ieee":"B. Prach and C. Lampert, “Almost-orthogonal layers for efficient general-purpose Lipschitz networks,” in <i>Computer Vision – ECCV 2022</i>, Tel Aviv, Israel, 2022, vol. 13681, pp. 350–365.","mla":"Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” <i>Computer Vision – ECCV 2022</i>, vol. 13681, Springer Nature, 2022, pp. 350–65, doi:<a href=\"https://doi.org/10.1007/978-3-031-19803-8_21\">10.1007/978-3-031-19803-8_21</a>."},"intvolume":"     13681","day":"23","abstract":[{"text":"It is a highly desirable property for deep networks to be robust against\r\nsmall input changes. One popular way to achieve this property is by designing\r\nnetworks with a small Lipschitz constant. In this work, we propose a new\r\ntechnique for constructing such Lipschitz networks that has a number of\r\ndesirable properties: it can be applied to any linear network layer\r\n(fully-connected or convolutional), it provides formal guarantees on the\r\nLipschitz constant, it is easy to implement and efficient to run, and it can be\r\ncombined with any training objective and optimization method. In fact, our\r\ntechnique is the first one in the literature that achieves all of these\r\nproperties simultaneously. Our main contribution is a rescaling-based weight\r\nmatrix parametrization that guarantees each network layer to have a Lipschitz\r\nconstant of at most 1 and results in the learned weight matrices to be close to\r\northogonal. Hence we call such layers almost-orthogonal Lipschitz (AOL).\r\nExperiments and ablation studies in the context of image classification with\r\ncertified robust accuracy confirm that AOL layers achieve results that are on\r\npar with most existing methods. Yet, they are simpler to implement and more\r\nbroadly applicable, because they do not require computationally expensive\r\nmatrix orthogonalization or inversion steps as part of the network\r\narchitecture. We provide code at https://github.com/berndprach/AOL.","lang":"eng"}],"status":"public"},{"oa":1,"title":"Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"11879","month":"08","alternative_title":["ISTA Thesis"],"acknowledgement":"I would like to acknowledge ISTA and all the people from the Scientific Service Units and at ISTA, in particular Dorota Jaworska for excellent technical and scientific support as well as ÖAW for funding my research for over 3 years (DOC ÖAW Fellowship PR1022OEAW02).","department":[{"_id":"GradSch"},{"_id":"EvBe"}],"status":"public","abstract":[{"lang":"eng","text":"As the overall global mean surface temperature is increasing due to climate change, plant\r\nadaptation to those stressful conditions is of utmost importance for their survival. Plants are\r\nsessile organisms, thus to compensate for their lack of mobility, they evolved a variety of\r\nmechanisms enabling them to flexibly adjust their physiological, growth and developmental\r\nprocesses to fluctuating temperatures and to survive in harsh environments. While these unique\r\nadaptation abilities provide an important evolutionary advantage, overall modulation of plant\r\ngrowth and developmental program due to non-optimal temperature negatively affects biomass\r\nproduction, crop productivity or sensitivity to pathogens. Thus, understanding molecular\r\nprocesses underlying plant adaptation to increased temperature can provide important\r\nresources for breeding strategies to ensure sufficient agricultural food production.\r\nAn increase in ambient temperature by a few degrees leads to profound changes in organ growth\r\nincluding enhanced hypocotyl elongation, expansion of petioles, hyponastic growth of leaves and\r\ncotyledons, collectively named thermomorphogenesis (Casal & Balasubramanian, 2019). Auxin,\r\none of the best-studied growth hormones, plays an essential role in this process by direct\r\nactivation of transcriptional and non-transcriptional processes resulting in elongation growth\r\n(Majda & Robert, 2018).To modulate hypocotyl growth in response to high ambient temperature\r\n(hAT), auxin needs to be redistributed accordingly. PINs, auxin efflux transporters, are key\r\ncomponents of the polar auxin transport (PAT) machinery, which controls the amount and\r\ndirection of auxin translocated in the plant tissues and organs(Adamowski & Friml, 2015). Hence,\r\nPIN-mediated transport is tightly linked with thermo-morphogenesis, and interference with PAT\r\nthrough either chemical or genetic means dramatically affecting the adaptive responses to hAT.\r\nIntriguingly, despite the key role of PIN mediated transport in growth response to hAT, whether\r\nand how PINs at the level of expression adapt to fluctuation in temperature is scarcely\r\nunderstood.\r\nWith genetic, molecular and advanced bio-imaging approaches, we demonstrate the role of PIN\r\nauxin transporters in the regulation of hypocotyl growth in response to hAT. We show that via\r\nadjustment of PIN3, PIN4 and PIN7 expression in cotyledons and hypocotyls, auxin distribution is modulated thereby determining elongation pattern of epidermal cells at hAT. Furthermore, we\r\nidentified three Zinc-Finger (ZF) transcription factors as novel molecular components of the\r\nthermo-regulatory network, which through negative regulation of PIN transcription adjust the\r\ntransport of auxin at hAT. Our results suggest that the ZF-PIN module might be a part of the\r\nnegative feedback loop attenuating the activity of the thermo-sensing pathway to restrain\r\nexaggerated growth and developmental responses to hAT."}],"degree_awarded":"PhD","supervisor":[{"last_name":"Benková","full_name":"Benková, Eva","first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739"}],"keyword":["high ambient temperature","auxin","PINs","Zinc-Finger proteins","thermomorphogenesis","stress"],"citation":{"mla":"Artner, Christina. <i>Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11879\">10.15479/at:ista:11879</a>.","ieee":"C. Artner, “Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature,” Institute of Science and Technology Austria, 2022.","ista":"Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.","apa":"Artner, C. (2022). <i>Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11879\">https://doi.org/10.15479/at:ista:11879</a>","chicago":"Artner, Christina. “Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11879\">https://doi.org/10.15479/at:ista:11879</a>.","ama":"Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11879\">10.15479/at:ista:11879</a>","short":"C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022."},"day":"17","has_accepted_license":"1","language":[{"iso":"eng"}],"file_date_updated":"2023-09-09T22:30:03Z","type":"dissertation","doi":"10.15479/at:ista:11879","publisher":"Institute of Science and Technology Austria","ddc":["580"],"author":[{"id":"45DF286A-F248-11E8-B48F-1D18A9856A87","full_name":"Artner, Christina","first_name":"Christina","last_name":"Artner"}],"oa_version":"Published Version","date_published":"2022-08-17T00:00:00Z","file":[{"file_name":"ChristinaArtner_PhD_Thesis_2022.pdf","embargo":"2023-09-08","file_id":"11907","content_type":"application/pdf","date_created":"2022-08-17T12:08:49Z","access_level":"open_access","date_updated":"2023-09-09T22:30:03Z","relation":"main_file","checksum":"a2c2fdc28002538840490bfa6a08b2cb","file_size":11113608,"creator":"cartner"},{"content_type":"application/octet-stream","embargo_to":"open_access","date_created":"2022-08-17T12:08:59Z","file_id":"11908","access_level":"closed","date_updated":"2023-09-09T22:30:03Z","file_name":"ChristinaArtner_PhD_Thesis_2022.7z","file_size":19097730,"creator":"cartner","relation":"source_file","checksum":"66b461c074b815fbe63481b3f46a9f43"}],"page":"128","date_created":"2022-08-17T07:58:53Z","year":"2022","date_updated":"2023-09-09T22:30:04Z","project":[{"_id":"2685A872-B435-11E9-9278-68D0E5697425","name":"Hormonal regulation of plant adaptive responses to environmental signals"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"SSU"}],"publication_identifier":{"isbn":["978-3-99078-022-0"],"issn":["2663-337X"]},"article_processing_charge":"No"},{"title":"On the encoding, transfer, and consolidation of spatial memories","oa":1,"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"10077"},{"relation":"part_of_dissertation","status":"public","id":"6194"}]},"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"11932","month":"08","alternative_title":["ISTA Thesis"],"department":[{"_id":"GradSch"},{"_id":"JoCs"}],"acknowledgement":"I acknowledge the support from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 665385.","status":"public","abstract":[{"lang":"eng","text":"The ability to form and retrieve memories is central to survival. In mammals, the hippocampus\r\nis a brain region essential to the acquisition and consolidation of new memories. It is also\r\ninvolved in keeping track of one’s position in space and aids navigation. Although this\r\nspace-memory has been a source of contradiction, evidence supports the view that the role of\r\nthe hippocampus in navigation is memory, thanks to the formation of cognitive maps. First\r\nintroduced by Tolman in 1948, cognitive maps are generally used to organize experiences in\r\nmemory; however, the detailed mechanisms by which these maps are formed and stored are not\r\nyet agreed upon. Some influential theories describe this process as involving three fundamental\r\nsteps: initial encoding by the hippocampus, interactions between the hippocampus and other\r\ncortical areas, and long-term extra-hippocampal consolidation. In this thesis, I will show how\r\nthe investigation of cognitive maps of space helped to shed light on each of these three memory\r\nprocesses.\r\nThe first study included in this thesis deals with the initial encoding of spatial memories in\r\nthe hippocampus. Much is known about encoding at the level of single cells, but less about\r\ntheir co-activity or joint contribution to the encoding of novel spatial information. I will\r\ndescribe the structure of an interaction network that allows for efficient encoding of noisy\r\nspatial information during the first exploration of a novel environment.\r\nThe second study describes the interactions between the hippocampus and the prefrontal\r\ncortex (PFC), two areas directly and indirectly connected. It is known that the PFC, in concert\r\nwith the hippocampus, is involved in various processes, including memory storage and spatial\r\nnavigation. Nonetheless, the detailed mechanisms by which PFC receives information from the\r\nhippocampus are not clear. I will show how a transient improvement in theta phase locking of\r\nPFC cells enables interactions of cell pairs across the two regions.\r\nThe third study describes the learning of behaviorally-relevant spatial locations in the hippocampus and the medial entorhinal cortex. I will show how the accumulation of firing around\r\ngoal locations, a correlate of learning, can shed light on the transition from short- to long-term\r\nspatial memories and the speed of consolidation in different brain areas.\r\nThe studies included in this thesis represent the main scientific contributions of my Ph.D. They\r\ninvolve statistical analyses and models of neural responses of cells in different brain areas of\r\nrats executing spatial tasks. I will conclude the thesis by discussing the impact of the findings\r\non principles of memory formation and retention, including the mechanisms, the speed, and\r\nthe duration of these processes."}],"degree_awarded":"PhD","ec_funded":1,"supervisor":[{"orcid":"0000-0002-5193-4036","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari"}],"citation":{"ama":"Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11932\">10.15479/at:ista:11932</a>","short":"M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.","ieee":"M. Nardin, “On the encoding, transfer, and consolidation of spatial memories,” Institute of Science and Technology Austria, 2022.","mla":"Nardin, Michele. <i>On the Encoding, Transfer, and Consolidation of Spatial Memories</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11932\">10.15479/at:ista:11932</a>.","chicago":"Nardin, Michele. “On the Encoding, Transfer, and Consolidation of Spatial Memories.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11932\">https://doi.org/10.15479/at:ista:11932</a>.","apa":"Nardin, M. (2022). <i>On the encoding, transfer, and consolidation of spatial memories</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11932\">https://doi.org/10.15479/at:ista:11932</a>","ista":"Nardin M. 2022. On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria."},"day":"19","has_accepted_license":"1","language":[{"iso":"eng"}],"file_date_updated":"2023-06-20T22:30:04Z","type":"dissertation","doi":"10.15479/at:ista:11932","publisher":"Institute of Science and Technology Austria","ddc":["573"],"author":[{"last_name":"Nardin","full_name":"Nardin, Michele","first_name":"Michele","orcid":"0000-0001-8849-6570","id":"30BD0376-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","date_published":"2022-08-19T00:00:00Z","file":[{"relation":"source_file","checksum":"2dbb70c74aaa3b64c1f463e943baf09c","file_size":13515457,"creator":"mnardin","file_name":"Michele Nardin, Ph.D. Thesis - ISTA (1).zip","file_id":"11935","content_type":"application/zip","embargo_to":"open_access","date_created":"2022-08-19T16:31:34Z","date_updated":"2023-06-20T22:30:04Z","access_level":"closed"},{"content_type":"application/pdf","file_id":"11941","date_created":"2022-08-22T09:43:50Z","access_level":"open_access","date_updated":"2023-06-20T22:30:04Z","file_name":"Michele_Nardin_Phd_Thesis_PDFA.pdf","embargo":"2023-06-19","file_size":9906458,"creator":"mnardin","relation":"main_file","checksum":"0ec94035ea35a47a9f589ed168e60b48"}],"page":"136","date_created":"2022-08-19T08:52:30Z","year":"2022","date_updated":"2023-09-05T12:02:14Z","project":[{"name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"publication_identifier":{"issn":["2663-337X"]},"article_processing_charge":"No"},{"publisher":"Institute of Science and Technology Austria","doi":"10.15479/at:ista:11945","type":"dissertation","file_date_updated":"2022-08-25T09:33:31Z","language":[{"iso":"eng"}],"date_published":"2022-08-23T00:00:00Z","oa_version":"Published Version","author":[{"id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5297-733X","first_name":"Rouven","full_name":"Schulz, Rouven","last_name":"Schulz"}],"ddc":["570"],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"}],"project":[{"name":"Modulating microglia through G protein-coupled receptor (GPCR) signaling","_id":"267F75D8-B435-11E9-9278-68D0E5697425"}],"date_updated":"2023-08-03T13:02:26Z","date_created":"2022-08-23T11:33:11Z","year":"2022","page":"133","file":[{"success":1,"date_updated":"2022-08-25T08:59:57Z","access_level":"open_access","date_created":"2022-08-25T08:59:57Z","file_id":"11970","content_type":"application/pdf","file_name":"Thesis_Rouven_Schulz_2022_final.pdf","creator":"rschulz","file_size":28079331,"checksum":"61b1b666a210ff7cdd0e95ea75207a13","relation":"main_file"},{"checksum":"2b8f95ea1c134dbdb927b41b1dbeeeb5","relation":"source_file","creator":"rschulz","file_size":27226963,"file_name":"Thesis_Rouven_Schulz_2022_final.docx","access_level":"closed","date_updated":"2022-08-25T09:33:31Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2022-08-25T09:00:11Z","file_id":"11971"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"article_processing_charge":"No","publication_identifier":{"issn":["2663-337X"]},"_id":"11945","month":"08","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"published","oa":1,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"11995"}]},"title":"Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function","department":[{"_id":"GradSch"},{"_id":"SaSi"}],"alternative_title":["ISTA Thesis"],"degree_awarded":"PhD","abstract":[{"text":"G protein-coupled receptors (GPCRs) respond to specific ligands and regulate multiple processes ranging from cell growth and immune responses to neuronal signal transmission. However, ligands for many GPCRs remain unknown, suffer from off-target effects or have poor bioavailability. Additional challenges exist to dissect cell-type specific responses when the same GPCR is expressed on several cell types within the body. Here, we overcome these limitations by engineering DREADD-based GPCR chimeras that selectively bind their agonist clozapine-N-oxide (CNO) and mimic a GPCR-of-interest in a desired cell type.\r\nWe validated our approach with β2-adrenergic receptor (β2AR/ADRB2) and show that our chimeric DREADD-β2AR triggers comparable responses on second messenger and kinase activity, post-translational modifications, and protein-protein interactions. Since β2AR is also enriched in microglia, which can drive inflammation in the central nervous system, we expressed chimeric DREADD-β2AR in primary microglia and successfully recapitulate β2AR-mediated filopodia formation through CNO stimulation. To dissect the role of selected GPCRs during microglial inflammation, we additionally generated DREADD-based chimeras for microglia-enriched GPR65 and GPR109A/HCAR2. In a microglia cell line, DREADD-β2AR and DREADD-GPR65 both modulated the inflammatory response with a similar profile as endogenously expressed β2AR, while DREADD-GPR109A showed no impact.\r\nOur DREADD-based approach provides the means to obtain mechanistic and functional insights into GPCR signaling on a cell-type specific level.","lang":"eng"}],"status":"public","has_accepted_license":"1","day":"23","citation":{"apa":"Schulz, R. (2022). <i>Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11945\">https://doi.org/10.15479/at:ista:11945</a>","chicago":"Schulz, Rouven. “Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11945\">https://doi.org/10.15479/at:ista:11945</a>.","ista":"Schulz R. 2022. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria.","ieee":"R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022.","mla":"Schulz, Rouven. <i>Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11945\">10.15479/at:ista:11945</a>.","short":"R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.","ama":"Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11945\">10.15479/at:ista:11945</a>"},"supervisor":[{"first_name":"Sandra","full_name":"Siegert, Sandra","last_name":"Siegert","orcid":"0000-0001-8635-0877","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87"}]},{"acknowledgement":"I acknowledge the received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska Curie Grant Agreement No. 665385.","department":[{"_id":"GradSch"},{"_id":"TiBr"}],"alternative_title":["ISTA Thesis"],"_id":"12072","month":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"12076"},{"status":"public","relation":"part_of_dissertation","id":"12077"}]},"title":"Existence and density problems in Diophantine geometry: From norm forms to Campana points","has_accepted_license":"1","day":"08","citation":{"apa":"Shute, A. L. (2022). <i>Existence and density problems in Diophantine geometry: From norm forms to Campana points</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12072\">https://doi.org/10.15479/at:ista:12072</a>","chicago":"Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:12072\">https://doi.org/10.15479/at:ista:12072</a>.","ista":"Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.","mla":"Shute, Alec L. <i>Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:12072\">10.15479/at:ista:12072</a>.","ieee":"A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.","short":"A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.","ama":"Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:12072\">10.15479/at:ista:12072</a>"},"supervisor":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","first_name":"Timothy D","full_name":"Browning, Timothy D","last_name":"Browning"}],"ec_funded":1,"degree_awarded":"PhD","abstract":[{"text":"In this thesis, we study two of the most important questions in Arithmetic geometry: that of the existence and density of solutions to Diophantine equations. In order for a Diophantine equation to have any solutions over the rational numbers, it must have solutions everywhere locally, i.e., over R and over Qp for every prime p. The converse, called the Hasse principle, is known to fail in general. However, it is still a central question in Arithmetic geometry to determine for which varieties the Hasse principle does hold. In this work, we establish the Hasse principle for a wide new family of varieties of the form f(t) = NK/Q(x) ̸= 0, where f is a polynomial with integer coefficients and NK/Q denotes the norm\r\nform associated to a number field K. Our results cover products of arbitrarily many linear, quadratic or cubic factors, and generalise an argument of Irving [69], which makes use of the beta sieve of Rosser and Iwaniec. We also demonstrate how our main sieve results can be applied to treat new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.\r\nIn the second question, about the density of solutions, one defines a height function and seeks to estimate asymptotically the number of points of height bounded by B as B → ∞. Traditionally, one either counts rational points, or\r\nintegral points with respect to a suitable model. However, in this thesis, we study an emerging area of interest in Arithmetic geometry known as Campana points, which in some sense interpolate between rational and integral points.\r\nMore precisely, we count the number of nonzero integers z1, z2, z3 such that gcd(z1, z2, z3) = 1, and z1, z2, z3, z1 + z2 + z3 are all squareful and bounded by B. Using the circle method, we obtain an asymptotic formula which agrees in\r\nthe power of B and log B with a bold new generalisation of Manin’s conjecture to the setting of Campana points, recently formulated by Pieropan, Smeets, Tanimoto and Várilly-Alvarado [96]. However, in this thesis we also provide the first known counterexamples to leading constant predicted by their conjecture. ","lang":"eng"}],"status":"public","date_published":"2022-09-08T00:00:00Z","oa_version":"Published Version","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","author":[{"first_name":"Alec L","full_name":"Shute, Alec L","last_name":"Shute","orcid":"0000-0002-1812-2810","id":"440EB050-F248-11E8-B48F-1D18A9856A87"}],"ddc":["512"],"publisher":"Institute of Science and Technology Austria","doi":"10.15479/at:ista:12072","type":"dissertation","file_date_updated":"2022-09-12T11:24:21Z","language":[{"iso":"eng"}],"tmp":{"short":"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","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"article_processing_charge":"No","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-023-7"]},"project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"}],"date_updated":"2023-02-21T16:37:35Z","date_created":"2022-09-08T21:53:03Z","year":"2022","page":"208","file":[{"file_id":"12073","date_created":"2022-09-08T21:50:34Z","content_type":"application/pdf","success":1,"access_level":"open_access","date_updated":"2022-09-08T21:50:34Z","file_name":"Thesis_final_draft.pdf","file_size":1907386,"creator":"ashute","relation":"main_file","checksum":"bf073344320e05d92c224786cec2e92d"},{"file_name":"athesis.tex","file_id":"12074","date_created":"2022-09-08T21:50:42Z","content_type":"application/octet-stream","date_updated":"2022-09-12T11:24:21Z","access_level":"closed","relation":"source_file","checksum":"b054ac6baa09f70e8235403a4abbed80","file_size":495393,"creator":"ashute"},{"creator":"ashute","file_size":944534,"checksum":"0a31e905f1cff5eb8110978cc90e1e79","relation":"source_file","date_updated":"2022-09-12T11:24:21Z","access_level":"closed","content_type":"application/x-zip-compressed","date_created":"2022-09-09T12:05:00Z","file_id":"12078","file_name":"qfcjsfmtvtbfrjjvhdzrnqxfvgjvxtbf.zip"}]},{"language":[{"iso":"eng"}],"file_date_updated":"2023-01-20T10:39:44Z","type":"conference","doi":"10.4230/LIPIcs.FSTTCS.2022.29","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication":"42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science","ddc":["000"],"author":[{"last_name":"Ahmadi","full_name":"Ahmadi, Ali","first_name":"Ali"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"orcid":"0000-0003-1702-6584","id":"391365CE-F248-11E8-B48F-1D18A9856A87","last_name":"Goharshady","first_name":"Amir Kafshdar","full_name":"Goharshady, Amir Kafshdar"},{"first_name":"Tobias","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"id":"72ed2640-8972-11ed-ae7b-f9c81ec75154","last_name":"Safavi Hemami","full_name":"Safavi Hemami, Roodabeh","first_name":"Roodabeh"},{"orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","full_name":"Zikelic, Dorde","first_name":"Dorde"}],"conference":{"name":"FSTTC: Foundations of Software Technology and Theoretical Computer Science","start_date":"2022-12-18","location":"Madras, India","end_date":"2022-12-20"},"oa_version":"Published Version","date_published":"2022-12-14T00:00:00Z","volume":250,"file":[{"file_name":"2022_LIPICs_Ahmadi.pdf","file_id":"12324","content_type":"application/pdf","date_created":"2023-01-20T10:39:44Z","success":1,"access_level":"open_access","date_updated":"2023-01-20T10:39:44Z","relation":"main_file","checksum":"6660c802489013f034c9e8bd57f4d46e","file_size":872534,"creator":"dernst"}],"quality_controlled":"1","date_created":"2023-01-01T23:00:50Z","year":"2022","date_updated":"2025-07-14T09:09:55Z","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"},{"call_identifier":"H2020","name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"isbn":["9783959772617"],"issn":["1868-8969"]},"scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"article_processing_charge":"No","oa":1,"title":"Algorithms and hardness results for computing cores of Markov chains","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","_id":"12102","acknowledgement":"The research was partially supported by the Hong Kong Research Grants Council ECS\r\nProject No. 26208122, ERC CoG 863818 (FoRM-SMArt), the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385, HKUST– Kaisa Joint Research Institute Project Grant HKJRI3A-055 and HKUST Startup Grant R9272. Ali Ahmadi and Roodabeh Safavi were interns at HKUST.","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"article_number":"29","status":"public","abstract":[{"text":"Given a Markov chain M = (V, v_0, δ), with state space V and a starting state v_0, and a probability threshold ε, an ε-core is a subset C of states that is left with probability at most ε. More formally, C ⊆ V is an ε-core, iff ℙ[reach (V\\C)] ≤ ε. Cores have been applied in a wide variety of verification problems over Markov chains, Markov decision processes, and probabilistic programs, as a means of discarding uninteresting and low-probability parts of a probabilistic system and instead being able to focus on the states that are likely to be encountered in a real-world run. In this work, we focus on the problem of computing a minimal ε-core in a Markov chain. Our contributions include both negative and positive results: (i) We show that the decision problem on the existence of an ε-core of a given size is NP-complete. This solves an open problem posed in [Jan Kretínský and Tobias Meggendorfer, 2020]. We additionally show that the problem remains NP-complete even when limited to acyclic Markov chains with bounded maximal vertex degree; (ii) We provide a polynomial time algorithm for computing a minimal ε-core on Markov chains over control-flow graphs of structured programs. A straightforward combination of our algorithm with standard branch prediction techniques allows one to apply the idea of cores to find a subset of program lines that are left with low probability and then focus any desired static analysis on this core subset.","lang":"eng"}],"ec_funded":1,"citation":{"chicago":"Ahmadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi Hemami, and Dorde Zikelic. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” In <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29\">https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29</a>.","apa":"Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., &#38; Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i> (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29\">https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29</a>","ista":"Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 2022. Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 29.","ieee":"A. Ahmadi, K. Chatterjee, A. K. Goharshady, T. Meggendorfer, R. Safavi Hemami, and D. Zikelic, “Algorithms and hardness results for computing cores of Markov chains,” in <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Madras, India, 2022, vol. 250.","mla":"Ahmadi, Ali, et al. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, vol. 250, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29\">10.4230/LIPIcs.FSTTCS.2022.29</a>.","short":"A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.","ama":"Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. Algorithms and hardness results for computing cores of Markov chains. In: <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29\">10.4230/LIPIcs.FSTTCS.2022.29</a>"},"intvolume":"       250","day":"14","has_accepted_license":"1"},{"abstract":[{"lang":"eng","text":"To understand how potential gene manipulations affect in vitro microglia, we provide a set of short protocols to evaluate microglia identity and function. We detail steps for immunostaining to determine microglia identity. We describe three functional assays for microglia: phagocytosis, calcium response following ATP stimulation, and cytokine expression upon inflammatory stimuli. We apply these protocols to human induced-pluripotent-stem-cell (hiPSC)-derived microglia, but they can be also applied to other in vitro microglial models including primary mouse microglia.\r\nFor complete details on the use and execution of this protocol, please refer to Bartalska et al. (2022).1"}],"status":"public","article_number":"101866","ec_funded":1,"intvolume":"         3","citation":{"ieee":"V. Hübschmann, M. Korkut, and S. Siegert, “Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay,” <i>STAR Protocols</i>, vol. 3, no. 4. Elsevier, 2022.","mla":"Hübschmann, Verena, et al. “Assessing Human IPSC-Derived Microglia Identity and Function by Immunostaining, Phagocytosis, Calcium Activity, and Inflammation Assay.” <i>STAR Protocols</i>, vol. 3, no. 4, 101866, Elsevier, 2022, doi:<a href=\"https://doi.org/10.1016/j.xpro.2022.101866\">10.1016/j.xpro.2022.101866</a>.","chicago":"Hübschmann, Verena, Medina Korkut, and Sandra Siegert. “Assessing Human IPSC-Derived Microglia Identity and Function by Immunostaining, Phagocytosis, Calcium Activity, and Inflammation Assay.” <i>STAR Protocols</i>. Elsevier, 2022. <a href=\"https://doi.org/10.1016/j.xpro.2022.101866\">https://doi.org/10.1016/j.xpro.2022.101866</a>.","ista":"Hübschmann V, Korkut M, Siegert S. 2022. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. 3(4), 101866.","apa":"Hübschmann, V., Korkut, M., &#38; Siegert, S. (2022). Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. <i>STAR Protocols</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xpro.2022.101866\">https://doi.org/10.1016/j.xpro.2022.101866</a>","ama":"Hübschmann V, Korkut M, Siegert S. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. <i>STAR Protocols</i>. 2022;3(4). doi:<a href=\"https://doi.org/10.1016/j.xpro.2022.101866\">10.1016/j.xpro.2022.101866</a>","short":"V. Hübschmann, M. Korkut, S. Siegert, STAR Protocols 3 (2022)."},"keyword":["General Immunology and Microbiology","General Biochemistry","Genetics and Molecular Biology","General Neuroscience"],"has_accepted_license":"1","day":"16","article_type":"letter_note","publication_status":"published","related_material":{"record":[{"relation":"other","status":"public","id":"11478"}]},"oa":1,"title":"Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay","_id":"12117","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"SaSi"},{"_id":"GradSch"}],"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant No. 715571 to S.S.) and from the Gesellschaft für Forschungsförderung Niederösterreich (grant No. Sc19-017 to V.H.). We thank Rouven Schulz and Alessandro Venturino for their insights into functional assays and data analysis, Verena Seiboth for insights into necessary institutional permission, and ISTA imaging & optics facility (IOF) especially Bernhard Hochreiter for their support.","file":[{"file_name":"2022_STARProtocols_Huebschmann.pdf","file_id":"12340","content_type":"application/pdf","date_created":"2023-01-23T09:50:51Z","access_level":"open_access","success":1,"date_updated":"2023-01-23T09:50:51Z","relation":"main_file","checksum":"3c71b8a60633d42c2f77c49025d5559b","file_size":6251945,"creator":"dernst"}],"volume":3,"project":[{"call_identifier":"H2020","grant_number":"715571","name":"Microglia action towards neuronal circuit formation and function in health and disease","_id":"25D4A630-B435-11E9-9278-68D0E5697425"},{"grant_number":"SC19-017","name":"How human microglia shape developing neurons during health and inflammation","_id":"9B99D380-BA93-11EA-9121-9846C619BF3A"}],"acknowledged_ssus":[{"_id":"Bio"}],"date_updated":"2023-11-02T12:21:32Z","date_created":"2023-01-12T11:56:38Z","year":"2022","quality_controlled":"1","scopus_import":"1","publication_identifier":{"issn":["2666-1667"]},"tmp":{"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)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)"},"article_processing_charge":"No","type":"journal_article","file_date_updated":"2023-01-23T09:50:51Z","language":[{"iso":"eng"}],"publisher":"Elsevier","doi":"10.1016/j.xpro.2022.101866","author":[{"full_name":"Hübschmann, Verena","first_name":"Verena","last_name":"Hübschmann","id":"32B7C918-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Korkut, Medina","first_name":"Medina","last_name":"Korkut","orcid":"0000-0003-4309-2251","id":"4B51CE74-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sandra","full_name":"Siegert, Sandra","last_name":"Siegert","orcid":"0000-0001-8635-0877","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87"}],"ddc":["570"],"issue":"4","publication":"STAR Protocols","date_published":"2022-12-16T00:00:00Z","oa_version":"Published Version"},{"publication_identifier":{"eissn":["1476-4660"],"issn":["1476-1122"]},"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2011.13755"}],"article_processing_charge":"No","volume":20,"isi":1,"page":"1106–1112","quality_controlled":"1","year":"2021","date_created":"2020-12-02T10:50:47Z","date_updated":"2024-03-25T23:30:14Z","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"project":[{"call_identifier":"H2020","_id":"26A151DA-B435-11E9-9278-68D0E5697425","grant_number":"844511","name":"Majorana bound states in Ge/SiGe heterostructures"},{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"},{"grant_number":"P30207","name":"Hole spin orbit qubits in Ge quantum wells","_id":"2641CE5E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"262116AA-B435-11E9-9278-68D0E5697425","name":"Hybrid Semiconductor - Superconductor Quantum Devices"}],"issue":"8","publication":"Nature Materials","author":[{"last_name":"Jirovec","first_name":"Daniel","full_name":"Jirovec, Daniel","id":"4C473F58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7197-4801"},{"last_name":"Hofmann","first_name":"Andrea C","full_name":"Hofmann, Andrea C","id":"340F461A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ballabio","first_name":"Andrea","full_name":"Ballabio, Andrea"},{"full_name":"Mutter, Philipp M.","first_name":"Philipp M.","last_name":"Mutter"},{"first_name":"Giulio","full_name":"Tavani, Giulio","last_name":"Tavani"},{"full_name":"Botifoll, Marc","first_name":"Marc","last_name":"Botifoll"},{"id":"1F2B21A2-F6E7-11E9-9B82-F7DBE5697425","orcid":"0000-0002-2968-611X","first_name":"Alessandro","full_name":"Crippa, Alessandro","last_name":"Crippa"},{"id":"3F5D8856-F248-11E8-B48F-1D18A9856A87","last_name":"Kukucka","first_name":"Josip","full_name":"Kukucka, Josip"},{"id":"71616374-A8E9-11E9-A7CA-09ECE5697425","last_name":"Sagi","first_name":"Oliver","full_name":"Sagi, Oliver"},{"id":"38F80F9A-1CB8-11EA-BC76-B49B3DDC885E","orcid":"0000-0003-2668-2401","last_name":"Martins","first_name":"Frederico","full_name":"Martins, Frederico"},{"id":"e0390f72-f6e0-11ea-865d-862393336714","first_name":"Jaime","full_name":"Saez Mollejo, Jaime","last_name":"Saez Mollejo"},{"orcid":"0000-0002-7370-5357","id":"2A307FE2-F248-11E8-B48F-1D18A9856A87","full_name":"Prieto Gonzalez, Ivan","first_name":"Ivan","last_name":"Prieto Gonzalez"},{"first_name":"Maksim","full_name":"Borovkov, Maksim","last_name":"Borovkov","id":"2ac7a0a2-3562-11eb-9256-fbd18ea55087"},{"first_name":"Jordi","full_name":"Arbiol, Jordi","last_name":"Arbiol"},{"last_name":"Chrastina","full_name":"Chrastina, Daniel","first_name":"Daniel"},{"first_name":"Giovanni","full_name":"Isella, Giovanni","last_name":"Isella"},{"orcid":"0000-0001-8342-202X","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","first_name":"Georgios","full_name":"Katsaros, Georgios","last_name":"Katsaros"}],"external_id":{"isi":["000657596400001"],"arxiv":["2011.13755"]},"oa_version":"Preprint","date_published":"2021-08-01T00:00:00Z","language":[{"iso":"eng"}],"arxiv":1,"type":"journal_article","doi":"10.1038/s41563-021-01022-2","publisher":"Springer Nature","citation":{"short":"D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials 20 (2021) 1106–1112.","ama":"Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit in planar Ge. <i>Nature Materials</i>. 2021;20(8):1106–1112. doi:<a href=\"https://doi.org/10.1038/s41563-021-01022-2\">10.1038/s41563-021-01022-2</a>","chicago":"Jirovec, Daniel, Andrea C Hofmann, Andrea Ballabio, Philipp M. Mutter, Giulio Tavani, Marc Botifoll, Alessandro Crippa, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” <i>Nature Materials</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41563-021-01022-2\">https://doi.org/10.1038/s41563-021-01022-2</a>.","ista":"Jirovec D, Hofmann AC, Ballabio A, Mutter PM, Tavani G, Botifoll M, Crippa A, Kukucka J, Sagi O, Martins F, Saez Mollejo J, Prieto Gonzalez I, Borovkov M, Arbiol J, Chrastina D, Isella G, Katsaros G. 2021. A singlet triplet hole spin qubit in planar Ge. Nature Materials. 20(8), 1106–1112.","apa":"Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. <i>Nature Materials</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41563-021-01022-2\">https://doi.org/10.1038/s41563-021-01022-2</a>","ieee":"D. Jirovec <i>et al.</i>, “A singlet triplet hole spin qubit in planar Ge,” <i>Nature Materials</i>, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021.","mla":"Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” <i>Nature Materials</i>, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:<a href=\"https://doi.org/10.1038/s41563-021-01022-2\">10.1038/s41563-021-01022-2</a>."},"intvolume":"        20","day":"01","status":"public","abstract":[{"text":"Spin qubits are considered to be among the most promising candidates for building a quantum processor. Group IV hole spin qubits have moved into the focus of interest due to the ease of operation and compatibility with Si technology. In addition, Ge offers the option for monolithic superconductor-semiconductor integration. Here we demonstrate a hole spin qubit operating at fields below 10 mT, the critical field of Al, by exploiting the large out-of-plane hole g-factors in planar Ge and by encoding the qubit into the singlet-triplet states of a double quantum dot. We observe electrically controlled X and Z-rotations with tunable frequencies exceeding 100 MHz and dephasing times of 1μs which we extend beyond 15μs with echo techniques. These results show that Ge hole singlet triplet qubits outperform their electronic Si and GaAs based counterparts in speed and coherence, respectively. In addition, they are on par with Ge single spin qubits, but can be operated at much lower fields underlining their potential for on chip integration with superconducting technologies.","lang":"eng"}],"ec_funded":1,"acknowledgement":"This research was supported by the Scientific Service Units of Institute of Science and Technology (IST) Austria through resources provided by the Miba Machine Shop and the nanofabrication facility, and was made possible with the support of the NOMIS Foundation. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under Marie Sklodowska-Curie grant agreements no. 844511 and no. 75441, and by the Austrian Science Fund FWF-P 30207 project. A.B. acknowledges support from the European Union Horizon 2020 FET project microSPIRE, no. 766955. M. Botifoll and J.A. acknowledge funding from Generalitat de Catalunya 2017 SGR 327. The Catalan Institute of Nanoscience and Nanotechnology (ICN2) is supported by the Severo Ochoa programme from the Spanish Ministery of Economy (MINECO) (grant no. SEV-2017-0706) and is funded by the Catalonian Research Centre (CERCA) Programme, Generalitat de Catalunya. Part of the present work has been performed within the framework of the Universitat Autónoma de Barcelona Materials Science PhD programme. Part of the HAADF scanning transmission electron microscopy was conducted in the Laboratorio de Microscopias Avanzadas at Instituto de Nanociencia de Aragon, Universidad de Zaragoza. ICN2 acknowledge support from the Spanish Superior Council of Scientific Research (CSIC) Research Platform on Quantum Technologies PTI-001. M.B. acknowledges funding from the Catalan Agency for Management of University and Research Grants (AGAUR) Generalitat de Catalunya formation of investigators (FI) PhD grant.","department":[{"_id":"GeKa"},{"_id":"NanoFab"},{"_id":"GradSch"}],"oa":1,"related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/quantum-computing-with-holes/"}],"record":[{"id":"9323","status":"public","relation":"research_data"},{"id":"10058","relation":"dissertation_contains","status":"public"}]},"title":"A singlet triplet hole spin qubit in planar Ge","publication_status":"published","article_type":"original","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"8909","month":"08"},{"alternative_title":["ISTA Thesis"],"department":[{"_id":"KrCh"},{"_id":"GradSch"}],"acknowledgement":"The research was partially supported by an IBM PhD fellowship, a Facebook PhD fellowship, and DOC fellowship #24956 of the Austrian Academy of Sciences (OeAW).","oa":1,"title":"Parameterized and algebro-geometric advances in static program analysis","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"1386"},{"relation":"part_of_dissertation","status":"public","id":"1437"},{"id":"639","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"6918"},{"id":"6490","status":"public","relation":"part_of_dissertation"},{"id":"7158","status":"public","relation":"part_of_dissertation"},{"id":"6009","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"949"},{"id":"311","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"7810"},{"status":"public","relation":"part_of_dissertation","id":"8089"},{"id":"8728","relation":"part_of_dissertation","status":"public"},{"id":"5977","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"6056"},{"relation":"part_of_dissertation","status":"public","id":"6175"},{"id":"6340","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"6378"},{"id":"6380","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"66"},{"relation":"part_of_dissertation","status":"public","id":"6780"},{"relation":"part_of_dissertation","status":"public","id":"7014"}]},"publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"01","_id":"8934","supervisor":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"}],"citation":{"ama":"Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8934\">10.15479/AT:ISTA:8934</a>","short":"A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.","ieee":"A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021.","mla":"Goharshady, Amir Kafshdar. <i>Parameterized and Algebro-Geometric Advances in Static Program Analysis</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8934\">10.15479/AT:ISTA:8934</a>.","chicago":"Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:8934\">https://doi.org/10.15479/AT:ISTA:8934</a>.","apa":"Goharshady, A. K. (2021). <i>Parameterized and algebro-geometric advances in static program analysis</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8934\">https://doi.org/10.15479/AT:ISTA:8934</a>","ista":"Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria."},"day":"01","has_accepted_license":"1","status":"public","abstract":[{"lang":"eng","text":"In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management.\r\nWe use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades."}],"degree_awarded":"PhD","ddc":["005"],"author":[{"first_name":"Amir Kafshdar","full_name":"Goharshady, Amir Kafshdar","last_name":"Goharshady","orcid":"0000-0003-1702-6584","id":"391365CE-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","license":"https://creativecommons.org/publicdomain/zero/1.0/","date_published":"2021-01-01T00:00:00Z","language":[{"iso":"eng"}],"file_date_updated":"2021-12-23T23:30:04Z","type":"dissertation","doi":"10.15479/AT:ISTA:8934","publisher":"Institute of Science and Technology Austria","publication_identifier":{"issn":["2663-337X"]},"article_processing_charge":"No","tmp":{"short":"CC0 (1.0)","name":"Creative Commons Public Domain Dedication (CC0 1.0)","image":"/images/cc_0.png","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode"},"file":[{"date_updated":"2021-12-23T23:30:04Z","access_level":"open_access","content_type":"application/pdf","date_created":"2020-12-22T20:08:44Z","file_id":"8969","embargo":"2021-12-22","file_name":"Thesis-pdfa.pdf","creator":"akafshda","file_size":5251507,"checksum":"d1b9db3725aed34dadd81274aeb9426c","relation":"main_file"},{"file_name":"source.zip","access_level":"closed","date_updated":"2021-03-04T23:30:04Z","content_type":"application/zip","embargo_to":"open_access","date_created":"2020-12-22T20:08:50Z","file_id":"8970","checksum":"1661df7b393e6866d2460eba3c905130","relation":"source_file","creator":"akafshda","file_size":10636756}],"page":"278","year":"2021","date_created":"2020-12-10T12:17:07Z","date_updated":"2025-06-02T08:53:47Z","project":[{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"},{"name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts","_id":"266EEEC0-B435-11E9-9278-68D0E5697425"}]},{"article_processing_charge":"No","publication_identifier":{"issn":["2663-337X"]},"page":"380","date_created":"2021-01-21T18:16:54Z","year":"2021","date_updated":"2023-09-07T13:29:32Z","project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program"},{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","call_identifier":"FP7"}],"file":[{"checksum":"5a93658a5f19478372523ee232887e2b","relation":"main_file","creator":"gcipollo","file_size":4127796,"file_name":"thesis.pdf","access_level":"open_access","date_updated":"2021-01-25T14:19:03Z","success":1,"date_created":"2021-01-25T14:19:03Z","content_type":"application/pdf","file_id":"9043"},{"file_id":"9044","content_type":"application/zip","date_created":"2021-01-25T14:19:10Z","date_updated":"2021-01-25T14:19:10Z","access_level":"closed","file_name":"Thesis_files.zip","file_size":12775206,"creator":"gcipollo","relation":"source_file","checksum":"e8270eddfe6a988e92a53c88d1d19b8c"}],"oa_version":"Published Version","date_published":"2021-01-25T00:00:00Z","ddc":["510"],"author":[{"orcid":"0000-0002-4901-7992","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","last_name":"Cipolloni","first_name":"Giorgio","full_name":"Cipolloni, Giorgio"}],"doi":"10.15479/AT:ISTA:9022","publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"file_date_updated":"2021-01-25T14:19:10Z","type":"dissertation","day":"25","has_accepted_license":"1","supervisor":[{"last_name":"Erdös","full_name":"Erdös, László","first_name":"László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"citation":{"ama":"Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9022\">10.15479/AT:ISTA:9022</a>","short":"G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.","mla":"Cipolloni, Giorgio. <i>Fluctuations in the Spectrum of Random Matrices</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9022\">10.15479/AT:ISTA:9022</a>.","ieee":"G. Cipolloni, “Fluctuations in the spectrum of random matrices,” Institute of Science and Technology Austria, 2021.","ista":"Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.","apa":"Cipolloni, G. (2021). <i>Fluctuations in the spectrum of random matrices</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9022\">https://doi.org/10.15479/AT:ISTA:9022</a>","chicago":"Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9022\">https://doi.org/10.15479/AT:ISTA:9022</a>."},"degree_awarded":"PhD","ec_funded":1,"status":"public","abstract":[{"text":"In the first part of the thesis we consider Hermitian random matrices. Firstly, we consider sample covariance matrices XX∗ with X having independent identically distributed (i.i.d.) centred entries. We prove a Central Limit Theorem for differences of linear statistics of XX∗ and its minor after removing the first column of X. Secondly, we consider Wigner-type matrices and prove that the eigenvalue statistics near cusp singularities of the limiting density of states are universal and that they form a Pearcey process. Since the limiting eigenvalue distribution admits only square root (edge) and cubic root (cusp) singularities, this concludes the third and last remaining case of the Wigner-Dyson-Mehta universality conjecture. The main technical ingredients are an optimal local law at the cusp, and the proof of the fast relaxation to equilibrium of the Dyson Brownian motion in the cusp regime.\r\nIn the second part we consider non-Hermitian matrices X with centred i.i.d. entries. We normalise the entries of X to have variance N −1. It is well known that the empirical eigenvalue density converges to the uniform distribution on the unit disk (circular law). In the first project, we prove universality of the local eigenvalue statistics close to the edge of the spectrum. This is the non-Hermitian analogue of the TracyWidom universality at the Hermitian edge. Technically we analyse the evolution of the spectral distribution of X along the Ornstein-Uhlenbeck flow for very long time\r\n(up to t = +∞). In the second project, we consider linear statistics of eigenvalues for macroscopic test functions f in the Sobolev space H2+ϵ and prove their convergence to the projection of the Gaussian Free Field on the unit disk. We prove this result for non-Hermitian matrices with real or complex entries. The main technical ingredients are: (i) local law for products of two resolvents at different spectral parameters, (ii) analysis of correlated Dyson Brownian motions.\r\nIn the third and final part we discuss the mathematically rigorous application of supersymmetric techniques (SUSY ) to give a lower tail estimate of the lowest singular value of X − z, with z ∈ C. More precisely, we use superbosonisation formula to give an integral representation of the resolvent of (X − z)(X − z)∗ which reduces to two and three contour integrals in the complex and real case, respectively. The rigorous analysis of these integrals is quite challenging since simple saddle point analysis cannot be applied (the main contribution comes from a non-trivial manifold). Our result\r\nimproves classical smoothing inequalities in the regime |z| ≈ 1; this result is essential to prove edge universality for i.i.d. non-Hermitian matrices.","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"acknowledgement":"I gratefully acknowledge the financial support from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385 and my advisor’s ERC Advanced Grant No. 338804.","alternative_title":["ISTA Thesis"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"01","_id":"9022","title":"Fluctuations in the spectrum of random matrices","oa":1,"publication_status":"published"}]