--- _id: '11542' article_processing_charge: No author: - first_name: Rouven full_name: Schulz, Rouven id: 4C5E7B96-F248-11E8-B48F-1D18A9856A87 last_name: Schulz orcid: 0000-0001-5297-733X citation: ama: Schulz R. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). 2022. doi:10.15479/AT:ISTA:11542 apa: Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11542 chicago: Schulz, Rouven. “Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses).” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:11542. ieee: R. Schulz, “Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses).” Institute of Science and Technology Austria, 2022. ista: Schulz R. 2022. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses), Institute of Science and Technology Austria, 10.15479/AT:ISTA:11542. mla: Schulz, Rouven. Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses). Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:11542. short: R. Schulz, (2022). contributor: - contributor_type: contact_person first_name: Sandra id: 36ACD32E-F248-11E8-B48F-1D18A9856A87 last_name: Siegert orcid: 0000-0001-8635-0877 date_created: 2022-07-08T11:03:02Z date_published: 2022-01-01T00:00:00Z date_updated: 2024-02-21T12:34:51Z department: - _id: GradSch - _id: SaSi doi: 10.15479/AT:ISTA:11542 file: - access_level: open_access checksum: 71e8186583f3adbb6c69a88ac9e6e49b content_type: application/vnd.openxmlformats-officedocument.spreadsheetml.sheet creator: rschulz date_created: 2022-07-08T10:56:52Z date_updated: 2022-07-08T10:56:52Z file_id: '11543' file_name: Source Data.xlsx file_size: 135784571 relation: main_file success: 1 file_date_updated: 2022-07-08T10:56:52Z has_accepted_license: '1' license: https://creativecommons.org/licenses/by/4.0/ oa: 1 oa_version: None publisher: Institute of Science and Technology Austria 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 status: public title: Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses) tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '11556' abstract: - lang: eng 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." 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). article_number: '111439' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Aleksei full_name: Kalinov, Aleksei id: 44b7120e-eb97-11eb-a6c2-e1557aa81d02 last_name: Kalinov orcid: 0000-0003-2189-3904 - first_name: A.I. full_name: Osinskiy, A.I. last_name: Osinskiy - first_name: S.A. full_name: Matveev, S.A. last_name: Matveev - first_name: W. full_name: Otieno, W. last_name: Otieno - first_name: N.V. full_name: Brilliantov, N.V. last_name: Brilliantov citation: ama: Kalinov A, Osinskiy AI, Matveev SA, Otieno W, Brilliantov NV. Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. 2022;467. doi:10.1016/j.jcp.2022.111439 apa: Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., & Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2022.111439 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.” Journal of Computational Physics. Elsevier, 2022. https://doi.org/10.1016/j.jcp.2022.111439. 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,” Journal of Computational Physics, vol. 467. Elsevier, 2022. 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.” Journal of Computational Physics, vol. 467, 111439, Elsevier, 2022, doi:10.1016/j.jcp.2022.111439. short: A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022). date_created: 2022-07-11T12:19:59Z date_published: 2022-10-15T00:00:00Z date_updated: 2023-08-03T11:55:06Z day: '15' ddc: - '518' department: - _id: GradSch - _id: ChWo doi: 10.1016/j.jcp.2022.111439 external_id: arxiv: - '2103.09481' isi: - '000917225500013' intvolume: ' 467' isi: 1 keyword: - Computer Science Applications - Physics and Astronomy (miscellaneous) - Applied Mathematics - Computational Mathematics - Modeling and Simulation - Numerical Analysis language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2103.09481 month: '10' oa: 1 oa_version: Preprint publication: Journal of Computational Physics publication_identifier: issn: - 0021-9991 publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 467 year: '2022' ... --- _id: '11626' 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 citation: ama: Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626 apa: Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11626 chicago: Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11626. ieee: M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022. ista: Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. mla: Gallei, Michelle C. Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11626. short: M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022. date_created: 2022-07-20T11:21:53Z date_published: 2022-07-20T00:00:00Z date_updated: 2024-10-29T10:22:45Z day: '20' ddc: - '575' degree_awarded: PhD department: - _id: GradSch - _id: JiFr doi: 10.15479/at:ista:11626 ec_funded: 1 file: - access_level: open_access checksum: bd7ac35403cf5b4b2607287d2a104b3a content_type: application/pdf creator: mgallei date_created: 2022-07-25T09:08:47Z date_updated: 2022-07-25T09:08:47Z file_id: '11645' file_name: Thesis_Gallei.pdf file_size: 9730864 relation: main_file - access_level: closed checksum: a9e54fe5471ba25dc13c2150c1b8ccbb content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: mgallei date_created: 2022-07-25T09:09:09Z date_updated: 2022-07-25T09:39:58Z file_id: '11646' file_name: Thesis_Gallei_source.docx file_size: 19560720 relation: source_file - access_level: closed checksum: 3994f7f20058941b5bb8a16886b21e71 content_type: application/pdf creator: mgallei date_created: 2022-07-25T09:09:32Z date_updated: 2022-07-25T09:39:58Z description: This is the print version of the thesis including the full appendix file_id: '11647' file_name: Thesis_Gallei_to_print.pdf file_size: 24542837 relation: source_file - access_level: open_access checksum: f24acd3c0d864f4c6676e8b0d7bfa76b content_type: application/pdf creator: mgallei date_created: 2022-07-25T11:48:45Z date_updated: 2022-07-25T11:48:45Z file_id: '11650' file_name: Thesis_Gallei_Appendix.pdf file_size: 15435966 relation: main_file file_date_updated: 2022-07-25T11:48:45Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '248' project: - _id: 261099A6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742985' name: Tracing Evolution of Auxin Transport and Polarity in Plants publication_identifier: isbn: - 978-3-99078-019-0 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9287' relation: part_of_dissertation status: public - id: '7142' relation: part_of_dissertation status: public - id: '7465' relation: part_of_dissertation status: public - id: '8138' relation: part_of_dissertation status: public - id: '6260' relation: part_of_dissertation status: public - id: '8931' relation: part_of_dissertation status: public - id: '10411' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 - first_name: Eilon full_name: Shani, Eilon last_name: Shani title: Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2022' ... --- _id: '11653' 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. article_processing_charge: No author: - first_name: Marwan N full_name: Elkrewi, Marwan N id: 0B46FACA-A8E1-11E9-9BD3-79D1E5697425 last_name: Elkrewi orcid: 0000-0002-5328-7231 citation: ama: Elkrewi MN. Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” 2022. doi:10.15479/AT:ISTA:11653 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. https://doi.org/10.15479/AT:ISTA:11653 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. https://doi.org/10.15479/AT:ISTA:11653. 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. 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, 10.15479/AT:ISTA:11653. mla: 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, doi:10.15479/AT:ISTA:11653. short: M.N. Elkrewi, (2022). contributor: - first_name: Marwan N id: 0B46FACA-A8E1-11E9-9BD3-79D1E5697425 last_name: Elkrewi orcid: 0000-0002-5328-7231 - first_name: Uladzislava last_name: Khauratovich - first_name: Melissa A id: 4E099E4E-F248-11E8-B48F-1D18A9856A87 last_name: Toups - first_name: Vincent K id: 57854184-AAE0-11E9-8D04-98D6E5697425 last_name: Bett - first_name: Andrea id: 353FAC84-AE61-11E9-8BFC-00D3E5697425 last_name: Mrnjavac - first_name: Ariana id: 2A0848E2-F248-11E8-B48F-1D18A9856A87 last_name: Macon - first_name: Christelle id: 32DF5794-F248-11E8-B48F-1D18A9856A87 last_name: Fraisse orcid: 0000-0001-8441-5075 - first_name: Luca last_name: Sax - first_name: Ann K id: 4C0A3874-F248-11E8-B48F-1D18A9856A87 last_name: Huylmans - first_name: Francisco last_name: 'Hontoria ' - first_name: Beatriz id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87 last_name: Vicoso orcid: 0000-0002-4579-8306 date_created: 2022-07-26T11:01:47Z date_published: 2022-08-05T00:00:00Z date_updated: 2024-02-21T12:35:53Z day: '05' ddc: - '570' department: - _id: GradSch - _id: BeVi doi: 10.15479/AT:ISTA:11653 file: - access_level: open_access checksum: 5f1d7c6d7ab5375ed2564521432bed0c content_type: application/x-zip-compressed creator: melkrewi date_created: 2022-07-26T12:37:52Z date_updated: 2022-08-08T22:30:04Z description: | The folder contains the following datasets (fasta files, and text files): Sup. Dataset 1: Genome assemblies: A. sinica male high quality assembly, A. sp. Kazakhstan male draft assembly Sup. Dataset 2: Male transcriptome assemblies for A. sinica and A. franciscana Sup. Dataset 3: Male and female coverage for A. sinica, A. sp. Kazakhstan, A. urmiana, and A. parthenogenetica females and rare male. Sup. Dataset 4: Artemia sinica Male:female FST per 1Kb window Sup. Dataset 5: FASTA file with candidate W scaffolds Sup. Dataset 6: Candidate W-derived transcripts and alignments Sup. Dataset 7: Gene expression with genomic location Sup. Dataset 8: VCF for asexual female and rare male Sup. Dataset 9: FST between backcrossed asexual and control females (pooled analysis) Sup. Dataset 10: VCF of backcrossed asexual and control females (individual analysis using A. sp. Kazakhstan as the reference), and inferred ancestry Sup. Dataset 11: GO and DE annotations of all the Artemia sinica transcripts and their locations in the Artemia sinica male genome. embargo: 2022-08-07 file_id: '11655' file_name: Data.zip file_size: 2209382998 relation: main_file title: Supplementary Datasets file_date_updated: 2022-08-08T22:30:04Z has_accepted_license: '1' month: '08' oa: 1 oa_version: Published Version publisher: Institute of Science and Technology Austria related_material: record: - id: '12248' relation: used_in_publication status: public status: public title: Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp" tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '11658' abstract: - lang: eng 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. 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. article_processing_charge: No author: - first_name: Ranita full_name: Biswas, Ranita id: 3C2B033E-F248-11E8-B48F-1D18A9856A87 last_name: Biswas orcid: 0000-0002-5372-7890 - first_name: Sebastiano full_name: Cultrera di Montesano, Sebastiano id: 34D2A09C-F248-11E8-B48F-1D18A9856A87 last_name: Cultrera di Montesano orcid: 0000-0001-6249-0832 - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Morteza full_name: Saghafian, Morteza id: f86f7148-b140-11ec-9577-95435b8df824 last_name: Saghafian citation: ama: '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., & Saghafian, M. (n.d.). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik.' chicago: 'Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik, n.d.' ieee: 'R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Depth in arrangements: Dehn–Sommerville–Euler relations with applications,” Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik.' 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.' mla: 'Biswas, Ranita, et al. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” Leibniz International Proceedings on Mathematics, Schloss Dagstuhl - Leibniz Zentrum für Informatik.' short: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Leibniz International Proceedings on Mathematics (n.d.). date_created: 2022-07-27T09:27:34Z date_published: 2022-07-27T00:00:00Z date_updated: 2022-07-28T07:57:48Z day: '27' ddc: - '510' department: - _id: GradSch - _id: HeEd ec_funded: 1 file: - access_level: open_access checksum: b2f511e8b1cae5f1892b0cdec341acac content_type: application/pdf creator: scultrer date_created: 2022-07-27T09:25:53Z date_updated: 2022-07-27T09:25:53Z file_id: '11659' file_name: D-S-E.pdf file_size: 639266 relation: main_file file_date_updated: 2022-07-27T09:25:53Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 268116B8-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z00342 name: The Wittgenstein Prize - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication: Leibniz International Proceedings on Mathematics publication_status: submitted publisher: Schloss Dagstuhl - Leibniz Zentrum für Informatik quality_controlled: '1' status: public title: 'Depth in arrangements: Dehn–Sommerville–Euler relations with applications' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '11660' 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. ' 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 article_processing_charge: No author: - first_name: Ranita full_name: Biswas, Ranita id: 3C2B033E-F248-11E8-B48F-1D18A9856A87 last_name: Biswas orcid: 0000-0002-5372-7890 - first_name: Sebastiano full_name: Cultrera di Montesano, Sebastiano id: 34D2A09C-F248-11E8-B48F-1D18A9856A87 last_name: Cultrera di Montesano orcid: 0000-0001-6249-0832 - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Morteza full_name: Saghafian, Morteza last_name: Saghafian citation: 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. LIPIcs.' apa: 'Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs. 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.” LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, n.d.' 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,” LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.' 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.' mla: 'Biswas, Ranita, et al. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.' short: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.). date_created: 2022-07-27T09:31:15Z date_published: 2022-07-25T00:00:00Z date_updated: 2022-07-28T08:05:34Z day: '25' ddc: - '510' department: - _id: GradSch - _id: HeEd ec_funded: 1 file: - access_level: open_access checksum: 95903f9d1649e8e437a967b6f2f64730 content_type: application/pdf creator: scultrer date_created: 2022-07-27T09:30:30Z date_updated: 2022-07-27T09:30:30Z file_id: '11661' file_name: window 1.pdf file_size: 564836 relation: main_file file_date_updated: 2022-07-27T09:30:30Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 268116B8-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z00342 name: The Wittgenstein Prize - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication: LIPIcs publication_status: submitted publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' status: public title: 'A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '11723' 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. 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).” article_number: e2121058119 article_processing_charge: No article_type: original author: - first_name: Lanxin full_name: Li, Lanxin id: 367EF8FA-F248-11E8-B48F-1D18A9856A87 last_name: Li orcid: 0000-0002-5607-272X - first_name: Huihuang full_name: Chen, Huihuang id: 83c96512-15b2-11ec-abd3-b7eede36184f last_name: Chen - first_name: Saqer S. full_name: Alotaibi, Saqer S. last_name: Alotaibi - first_name: Aleš full_name: Pěnčík, Aleš last_name: Pěnčík - first_name: Maciek full_name: Adamowski, Maciek id: 45F536D2-F248-11E8-B48F-1D18A9856A87 last_name: Adamowski orcid: 0000-0001-6463-5257 - first_name: Ondřej full_name: Novák, Ondřej last_name: Novák - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Li L, Chen H, Alotaibi SS, et al. RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. 2022;119(31). doi:10.1073/pnas.2121058119 apa: Li, L., Chen, H., Alotaibi, S. S., 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. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2121058119 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.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2022. https://doi.org/10.1073/pnas.2121058119. ieee: L. Li et al., “RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis,” Proceedings of the National Academy of Sciences, vol. 119, no. 31. Proceedings of the National Academy of Sciences, 2022. 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. mla: Li, Lanxin, et al. “RALF1 Peptide Triggers Biphasic Root Growth Inhibition Upstream of Auxin Biosynthesis.” Proceedings of the National Academy of Sciences, vol. 119, no. 31, e2121058119, Proceedings of the National Academy of Sciences, 2022, doi:10.1073/pnas.2121058119. 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). date_created: 2022-08-04T20:06:49Z date_published: 2022-07-25T00:00:00Z date_updated: 2024-10-29T10:12:30Z day: '25' ddc: - '580' department: - _id: GradSch - _id: JiFr doi: 10.1073/pnas.2121058119 external_id: isi: - '000881496900002' pmid: - '35878023' file: - access_level: open_access checksum: ae6f19b0d9efba6687f9e4dc1bab1d6e content_type: application/pdf creator: dernst date_created: 2022-08-08T07:42:09Z date_updated: 2022-08-08T07:42:09Z file_id: '11747' file_name: 2022_PNAS_Li.pdf file_size: 2506262 relation: main_file success: 1 file_date_updated: 2022-08-08T07:42:09Z has_accepted_license: '1' intvolume: ' 119' isi: 1 issue: '31' keyword: - Multidisciplinary language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '07' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 26538374-B435-11E9-9278-68D0E5697425 call_identifier: FWF 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' publication: Proceedings of the National Academy of Sciences publication_identifier: eissn: - 1091-6490 issn: - 0027-8424 publication_status: published publisher: Proceedings of the National Academy of Sciences quality_controlled: '1' scopus_import: '1' status: public title: RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 119 year: '2022' ... --- _id: '11732' abstract: - lang: eng 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. 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)" article_number: '5' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Sven Joscha full_name: Henheik, Sven Joscha id: 31d731d7-d235-11ea-ad11-b50331c8d7fb last_name: Henheik orcid: 0000-0003-1106-327X - first_name: Asbjørn Bækgaard full_name: Lauritsen, Asbjørn Bækgaard id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1 last_name: Lauritsen orcid: 0000-0003-4476-2288 citation: ama: Henheik SJ, Lauritsen AB. The BCS energy gap at high density. Journal of Statistical Physics. 2022;189. doi:10.1007/s10955-022-02965-9 apa: Henheik, S. J., & Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02965-9 chicago: Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-022-02965-9. ieee: S. J. Henheik and A. B. Lauritsen, “The BCS energy gap at high density,” Journal of Statistical Physics, vol. 189. Springer Nature, 2022. ista: Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5. mla: Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” Journal of Statistical Physics, vol. 189, 5, Springer Nature, 2022, doi:10.1007/s10955-022-02965-9. short: S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022). date_created: 2022-08-05T11:36:56Z date_published: 2022-07-29T00:00:00Z date_updated: 2023-09-05T14:57:49Z day: '29' ddc: - '530' department: - _id: GradSch - _id: LaEr - _id: RoSe doi: 10.1007/s10955-022-02965-9 ec_funded: 1 external_id: isi: - '000833007200002' file: - access_level: open_access checksum: b398c4dbf65f71d417981d6e366427e9 content_type: application/pdf creator: dernst date_created: 2022-08-08T07:36:34Z date_updated: 2022-08-08T07:36:34Z file_id: '11746' file_name: 2022_JourStatisticalPhysics_Henheik.pdf file_size: 419563 relation: main_file success: 1 file_date_updated: 2022-08-08T07:36:34Z has_accepted_license: '1' intvolume: ' 189' isi: 1 keyword: - Mathematical Physics - Statistical and Nonlinear Physics language: - iso: eng month: '07' oa: 1 oa_version: Published Version project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication: Journal of Statistical Physics publication_identifier: eissn: - 1572-9613 issn: - 0022-4715 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: The BCS energy gap at high density tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 189 year: '2022' ... --- _id: '11775' abstract: - lang: eng 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. ' 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 article_processing_charge: Yes author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Nicolas Adrien full_name: Mazzocchi, Nicolas Adrien id: b26baa86-3308-11ec-87b0-8990f34baa85 last_name: Mazzocchi - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: 'Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11' apa: 'Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11' chicago: Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.” In 22nd International Conference on Runtime Verification, 13498:200–220. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-17196-3_11. ieee: T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Abstract monitors for quantitative specifications,” in 22nd International Conference on Runtime Verification, Tbilisi, Georgia, 2022, vol. 13498, pp. 200–220. 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.' mla: Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11. short: T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220. conference: end_date: 2022-09-30 location: Tbilisi, Georgia name: 'RV: Runtime Verification' start_date: 2022-09-28 date_created: 2022-08-08T17:09:09Z date_published: 2022-09-23T00:00:00Z date_updated: 2023-08-03T13:38:46Z day: '23' ddc: - '000' department: - _id: GradSch - _id: ToHe doi: 10.1007/978-3-031-17196-3_11 ec_funded: 1 external_id: isi: - '000866539700011' file: - access_level: open_access checksum: 05c7dcfbb9053a98f46441fb2eccb213 content_type: application/pdf creator: dernst date_created: 2023-01-20T07:34:50Z date_updated: 2023-01-20T07:34:50Z file_id: '12317' file_name: 2022_LNCS_RV_Henzinger.pdf file_size: 477110 relation: main_file success: 1 file_date_updated: 2023-01-20T07:34:50Z has_accepted_license: '1' intvolume: ' 13498' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 200-220 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 22nd International Conference on Runtime Verification publication_identifier: issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Abstract monitors for quantitative specifications tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 13498 year: '2022' ... --- _id: '11777' 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." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Pascal full_name: Wild, Pascal id: 4C20D868-F248-11E8-B48F-1D18A9856A87 last_name: Wild citation: ama: Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777 apa: Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology. https://doi.org/10.15479/at:ista:11777 chicago: Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology, 2022. https://doi.org/10.15479/at:ista:11777. ieee: P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology, 2022. ista: Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology. mla: Wild, Pascal. High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes. Institute of Science and Technology, 2022, doi:10.15479/at:ista:11777. short: P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022. date_created: 2022-08-10T15:51:19Z date_published: 2022-08-11T00:00:00Z date_updated: 2023-06-22T09:56:36Z day: '11' ddc: - '500' - '516' - '514' degree_awarded: PhD department: - _id: GradSch - _id: UlWa doi: 10.15479/at:ista:11777 ec_funded: 1 file: - access_level: open_access checksum: f5f3af1fb7c8a24b71ddc88ad7f7c5b4 content_type: text/x-python creator: pwild date_created: 2022-08-10T15:34:04Z date_updated: 2022-08-10T15:34:04Z description: Code for computer-assisted proofs in Section 8.4.7 in Thesis file_id: '11780' file_name: flags.py file_size: 16828 relation: supplementary_material - access_level: open_access checksum: 1f7c12dfe3bdaa9b147e4fbc3d34e3d5 content_type: text/x-c++src creator: pwild date_created: 2022-08-10T15:34:10Z date_updated: 2022-08-10T15:34:10Z description: Code for proof of Lemma 8.20 in Thesis file_id: '11781' file_name: lowerbound.cpp file_size: 12226 relation: supplementary_material - access_level: open_access checksum: 4cf81455c49e5dec3b9b2e3980137eeb content_type: text/x-python creator: pwild date_created: 2022-08-10T15:34:17Z date_updated: 2022-08-10T15:34:17Z description: Code for proof of Proposition 7.9 in Thesis file_id: '11782' file_name: upperbound.py file_size: 3240 relation: supplementary_material - access_level: open_access checksum: 4e96575b10cbe4e0d0db2045b2847774 content_type: application/pdf creator: pwild date_created: 2022-08-11T16:08:33Z date_updated: 2022-08-11T16:08:33Z file_id: '11809' file_name: finalthesisPascalWildPDFA.pdf file_size: 5086282 relation: main_file title: High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes - access_level: closed checksum: 92d94842a1fb6dca5808448137573b2e content_type: application/zip creator: pwild date_created: 2022-08-11T16:09:19Z date_updated: 2022-08-11T16:09:19Z file_id: '11810' file_name: ThesisSubmission.zip file_size: 18150068 relation: source_file file_date_updated: 2022-08-11T16:09:19Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '170' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-021-3 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology status: public supervisor: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 title: High-dimensional expansion and crossing numbers of simplicial complexes type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2022' ... --- _id: '11839' abstract: - lang: eng 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." alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Bernd full_name: Prach, Bernd id: 2D561D42-C427-11E9-89B4-9C1AE6697425 last_name: Prach - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi:10.1007/978-3-031-19803-8_21' apa: 'Prach, B., & Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21' chicago: Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” In Computer Vision – ECCV 2022, 13681:350–65. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19803-8_21. ieee: B. Prach and C. Lampert, “Almost-orthogonal layers for efficient general-purpose Lipschitz networks,” in Computer Vision – ECCV 2022, Tel Aviv, Israel, 2022, vol. 13681, pp. 350–365. 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.' mla: Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” Computer Vision – ECCV 2022, vol. 13681, Springer Nature, 2022, pp. 350–65, doi:10.1007/978-3-031-19803-8_21. short: B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365. conference: end_date: 2022-10-27 location: Tel Aviv, Israel name: 'ECCV: European Conference on Computer Vision' start_date: 2022-10-23 date_created: 2022-08-12T15:09:47Z date_published: 2022-10-23T00:00:00Z date_updated: 2023-05-03T08:00:46Z day: '23' department: - _id: GradSch - _id: ChLa doi: 10.1007/978-3-031-19803-8_21 external_id: arxiv: - '2208.03160' intvolume: ' 13681' language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.2208.03160' month: '10' oa: 1 oa_version: Preprint page: 350-365 publication: Computer Vision – ECCV 2022 publication_identifier: eisbn: - '9783031198038' isbn: - '9783031198021' publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Almost-orthogonal layers for efficient general-purpose Lipschitz networks type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13681 year: '2022' ... --- _id: '11879' 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." acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: SSU 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). alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Christina full_name: Artner, Christina id: 45DF286A-F248-11E8-B48F-1D18A9856A87 last_name: Artner citation: ama: Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879 apa: Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879 chicago: Artner, Christina. “Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11879. 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. mla: Artner, Christina. Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11879. short: C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022. date_created: 2022-08-17T07:58:53Z date_published: 2022-08-17T00:00:00Z date_updated: 2023-09-09T22:30:04Z day: '17' ddc: - '580' degree_awarded: PhD department: - _id: GradSch - _id: EvBe doi: 10.15479/at:ista:11879 file: - access_level: open_access checksum: a2c2fdc28002538840490bfa6a08b2cb content_type: application/pdf creator: cartner date_created: 2022-08-17T12:08:49Z date_updated: 2023-09-09T22:30:03Z embargo: 2023-09-08 file_id: '11907' file_name: ChristinaArtner_PhD_Thesis_2022.pdf file_size: 11113608 relation: main_file - access_level: closed checksum: 66b461c074b815fbe63481b3f46a9f43 content_type: application/octet-stream creator: cartner date_created: 2022-08-17T12:08:59Z date_updated: 2023-09-09T22:30:03Z embargo_to: open_access file_id: '11908' file_name: ChristinaArtner_PhD_Thesis_2022.7z file_size: 19097730 relation: source_file file_date_updated: 2023-09-09T22:30:03Z has_accepted_license: '1' keyword: - high ambient temperature - auxin - PINs - Zinc-Finger proteins - thermomorphogenesis - stress language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '128' project: - _id: 2685A872-B435-11E9-9278-68D0E5697425 name: Hormonal regulation of plant adaptive responses to environmental signals publication_identifier: isbn: - 978-3-99078-022-0 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 title: Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '11932' 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." 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michele full_name: Nardin, Michele id: 30BD0376-F248-11E8-B48F-1D18A9856A87 last_name: Nardin orcid: 0000-0001-8849-6570 citation: ama: Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932 apa: Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11932 chicago: Nardin, Michele. “On the Encoding, Transfer, and Consolidation of Spatial Memories.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11932. ieee: M. Nardin, “On the encoding, transfer, and consolidation of spatial memories,” Institute of Science and Technology Austria, 2022. ista: Nardin M. 2022. On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. mla: Nardin, Michele. On the Encoding, Transfer, and Consolidation of Spatial Memories. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11932. short: M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022. date_created: 2022-08-19T08:52:30Z date_published: 2022-08-19T00:00:00Z date_updated: 2023-09-05T12:02:14Z day: '19' ddc: - '573' degree_awarded: PhD department: - _id: GradSch - _id: JoCs doi: 10.15479/at:ista:11932 ec_funded: 1 file: - access_level: closed checksum: 2dbb70c74aaa3b64c1f463e943baf09c content_type: application/zip creator: mnardin date_created: 2022-08-19T16:31:34Z date_updated: 2023-06-20T22:30:04Z embargo_to: open_access file_id: '11935' file_name: Michele Nardin, Ph.D. Thesis - ISTA (1).zip file_size: 13515457 relation: source_file - access_level: open_access checksum: 0ec94035ea35a47a9f589ed168e60b48 content_type: application/pdf creator: mnardin date_created: 2022-08-22T09:43:50Z date_updated: 2023-06-20T22:30:04Z embargo: 2023-06-19 file_id: '11941' file_name: Michele_Nardin_Phd_Thesis_PDFA.pdf file_size: 9906458 relation: main_file file_date_updated: 2023-06-20T22:30:04Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '136' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10077' relation: part_of_dissertation status: public - id: '6194' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 title: On the encoding, transfer, and consolidation of spatial memories type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2022' ... --- _id: '11945' abstract: - lang: eng 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." acknowledged_ssus: - _id: Bio - _id: PreCl - _id: LifeSc alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Rouven full_name: Schulz, Rouven id: 4C5E7B96-F248-11E8-B48F-1D18A9856A87 last_name: Schulz orcid: 0000-0001-5297-733X citation: ama: Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:10.15479/at:ista:11945 apa: Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945 chicago: Schulz, Rouven. “Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11945. ieee: R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022. ista: Schulz R. 2022. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. mla: Schulz, Rouven. Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11945. short: R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022. date_created: 2022-08-23T11:33:11Z date_published: 2022-08-23T00:00:00Z date_updated: 2023-08-03T13:02:26Z day: '23' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: SaSi doi: 10.15479/at:ista:11945 file: - access_level: open_access checksum: 61b1b666a210ff7cdd0e95ea75207a13 content_type: application/pdf creator: rschulz date_created: 2022-08-25T08:59:57Z date_updated: 2022-08-25T08:59:57Z file_id: '11970' file_name: Thesis_Rouven_Schulz_2022_final.pdf file_size: 28079331 relation: main_file success: 1 - access_level: closed checksum: 2b8f95ea1c134dbdb927b41b1dbeeeb5 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: rschulz date_created: 2022-08-25T09:00:11Z date_updated: 2022-08-25T09:33:31Z file_id: '11971' file_name: Thesis_Rouven_Schulz_2022_final.docx file_size: 27226963 relation: source_file file_date_updated: 2022-08-25T09:33:31Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '133' project: - _id: 267F75D8-B435-11E9-9278-68D0E5697425 name: Modulating microglia through G protein-coupled receptor (GPCR) signaling publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11995' relation: dissertation_contains status: public status: public supervisor: - first_name: Sandra full_name: Siegert, Sandra id: 36ACD32E-F248-11E8-B48F-1D18A9856A87 last_name: Siegert orcid: 0000-0001-8635-0877 title: Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2022' ... --- _id: '12072' abstract: - lang: eng 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. " 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Alec L full_name: Shute, Alec L id: 440EB050-F248-11E8-B48F-1D18A9856A87 last_name: Shute orcid: 0000-0002-1812-2810 citation: ama: 'Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072' apa: 'Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072' chicago: 'Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.' ieee: 'A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.' 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. Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12072.' short: 'A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.' date_created: 2022-09-08T21:53:03Z date_published: 2022-09-08T00:00:00Z date_updated: 2023-02-21T16:37:35Z day: '08' ddc: - '512' degree_awarded: PhD department: - _id: GradSch - _id: TiBr doi: 10.15479/at:ista:12072 ec_funded: 1 file: - access_level: open_access checksum: bf073344320e05d92c224786cec2e92d content_type: application/pdf creator: ashute date_created: 2022-09-08T21:50:34Z date_updated: 2022-09-08T21:50:34Z file_id: '12073' file_name: Thesis_final_draft.pdf file_size: 1907386 relation: main_file success: 1 - access_level: closed checksum: b054ac6baa09f70e8235403a4abbed80 content_type: application/octet-stream creator: ashute date_created: 2022-09-08T21:50:42Z date_updated: 2022-09-12T11:24:21Z file_id: '12074' file_name: athesis.tex file_size: 495393 relation: source_file - access_level: closed checksum: 0a31e905f1cff5eb8110978cc90e1e79 content_type: application/x-zip-compressed creator: ashute date_created: 2022-09-09T12:05:00Z date_updated: 2022-09-12T11:24:21Z file_id: '12078' file_name: qfcjsfmtvtbfrjjvhdzrnqxfvgjvxtbf.zip file_size: 944534 relation: source_file file_date_updated: 2022-09-12T11:24:21Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '09' oa: 1 oa_version: Published Version page: '208' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-023-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12076' relation: part_of_dissertation status: public - id: '12077' relation: part_of_dissertation status: public status: public supervisor: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 title: 'Existence and density problems in Diophantine geometry: From norm forms to Campana points' tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '12102' abstract: - lang: eng 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.' 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." article_number: '29' article_processing_charge: No author: - first_name: Ali full_name: Ahmadi, Ali last_name: Ahmadi - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Amir Kafshdar full_name: Goharshady, Amir Kafshdar id: 391365CE-F248-11E8-B48F-1D18A9856A87 last_name: Goharshady orcid: 0000-0003-1702-6584 - first_name: Tobias full_name: Meggendorfer, Tobias id: b21b0c15-30a2-11eb-80dc-f13ca25802e1 last_name: Meggendorfer orcid: 0000-0002-1712-2165 - first_name: Roodabeh full_name: Safavi Hemami, Roodabeh id: 72ed2640-8972-11ed-ae7b-f9c81ec75154 last_name: Safavi Hemami - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: 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: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.29' apa: 'Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., & Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29' 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 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.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 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250. 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.' mla: Ahmadi, Ali, et al. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.29. 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. conference: end_date: 2022-12-20 location: Madras, India name: 'FSTTC: Foundations of Software Technology and Theoretical Computer Science' start_date: 2022-12-18 date_created: 2023-01-01T23:00:50Z date_published: 2022-12-14T00:00:00Z date_updated: 2025-07-14T09:09:55Z day: '14' ddc: - '000' department: - _id: KrCh - _id: GradSch doi: 10.4230/LIPIcs.FSTTCS.2022.29 ec_funded: 1 file: - access_level: open_access checksum: 6660c802489013f034c9e8bd57f4d46e content_type: application/pdf creator: dernst date_created: 2023-01-20T10:39:44Z date_updated: 2023-01-20T10:39:44Z file_id: '12324' file_name: 2022_LIPICs_Ahmadi.pdf file_size: 872534 relation: main_file success: 1 file_date_updated: 2023-01-20T10:39:44Z has_accepted_license: '1' intvolume: ' 250' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science publication_identifier: isbn: - '9783959772617' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Algorithms and hardness results for computing cores of Markov chains tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 250 year: '2022' ... --- _id: '12117' 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" acknowledged_ssus: - _id: Bio 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. article_number: '101866' article_processing_charge: No article_type: letter_note author: - first_name: Verena full_name: Hübschmann, Verena id: 32B7C918-F248-11E8-B48F-1D18A9856A87 last_name: Hübschmann - first_name: Medina full_name: Korkut, Medina id: 4B51CE74-F248-11E8-B48F-1D18A9856A87 last_name: Korkut orcid: 0000-0003-4309-2251 - first_name: Sandra full_name: Siegert, Sandra id: 36ACD32E-F248-11E8-B48F-1D18A9856A87 last_name: Siegert orcid: 0000-0001-8635-0877 citation: ama: Hübschmann V, Korkut M, Siegert S. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. 2022;3(4). doi:10.1016/j.xpro.2022.101866 apa: 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. Elsevier. https://doi.org/10.1016/j.xpro.2022.101866 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.” STAR Protocols. Elsevier, 2022. https://doi.org/10.1016/j.xpro.2022.101866. 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,” STAR Protocols, vol. 3, no. 4. Elsevier, 2022. 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. mla: Hübschmann, Verena, et al. “Assessing Human IPSC-Derived Microglia Identity and Function by Immunostaining, Phagocytosis, Calcium Activity, and Inflammation Assay.” STAR Protocols, vol. 3, no. 4, 101866, Elsevier, 2022, doi:10.1016/j.xpro.2022.101866. short: V. Hübschmann, M. Korkut, S. Siegert, STAR Protocols 3 (2022). date_created: 2023-01-12T11:56:38Z date_published: 2022-12-16T00:00:00Z date_updated: 2023-11-02T12:21:32Z day: '16' ddc: - '570' department: - _id: SaSi - _id: GradSch doi: 10.1016/j.xpro.2022.101866 ec_funded: 1 file: - access_level: open_access checksum: 3c71b8a60633d42c2f77c49025d5559b content_type: application/pdf creator: dernst date_created: 2023-01-23T09:50:51Z date_updated: 2023-01-23T09:50:51Z file_id: '12340' file_name: 2022_STARProtocols_Huebschmann.pdf file_size: 6251945 relation: main_file success: 1 file_date_updated: 2023-01-23T09:50:51Z has_accepted_license: '1' intvolume: ' 3' issue: '4' keyword: - General Immunology and Microbiology - General Biochemistry - Genetics and Molecular Biology - General Neuroscience language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 25D4A630-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715571' name: Microglia action towards neuronal circuit formation and function in health and disease - _id: 9B99D380-BA93-11EA-9121-9846C619BF3A grant_number: SC19-017 name: How human microglia shape developing neurons during health and inflammation publication: STAR Protocols publication_identifier: issn: - 2666-1667 publication_status: published publisher: Elsevier quality_controlled: '1' related_material: record: - id: '11478' relation: other status: public scopus_import: '1' status: public title: Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 3 year: '2022' ... --- _id: '8909' abstract: - lang: eng 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. acknowledged_ssus: - _id: M-Shop - _id: NanoFab 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Daniel full_name: Jirovec, Daniel id: 4C473F58-F248-11E8-B48F-1D18A9856A87 last_name: Jirovec orcid: 0000-0002-7197-4801 - first_name: Andrea C full_name: Hofmann, Andrea C id: 340F461A-F248-11E8-B48F-1D18A9856A87 last_name: Hofmann - first_name: Andrea full_name: Ballabio, Andrea last_name: Ballabio - first_name: Philipp M. full_name: Mutter, Philipp M. last_name: Mutter - first_name: Giulio full_name: Tavani, Giulio last_name: Tavani - first_name: Marc full_name: Botifoll, Marc last_name: Botifoll - first_name: Alessandro full_name: Crippa, Alessandro id: 1F2B21A2-F6E7-11E9-9B82-F7DBE5697425 last_name: Crippa orcid: 0000-0002-2968-611X - first_name: Josip full_name: Kukucka, Josip id: 3F5D8856-F248-11E8-B48F-1D18A9856A87 last_name: Kukucka - first_name: Oliver full_name: Sagi, Oliver id: 71616374-A8E9-11E9-A7CA-09ECE5697425 last_name: Sagi - first_name: Frederico full_name: Martins, Frederico id: 38F80F9A-1CB8-11EA-BC76-B49B3DDC885E last_name: Martins orcid: 0000-0003-2668-2401 - first_name: Jaime full_name: Saez Mollejo, Jaime id: e0390f72-f6e0-11ea-865d-862393336714 last_name: Saez Mollejo - first_name: Ivan full_name: Prieto Gonzalez, Ivan id: 2A307FE2-F248-11E8-B48F-1D18A9856A87 last_name: Prieto Gonzalez orcid: 0000-0002-7370-5357 - first_name: Maksim full_name: Borovkov, Maksim id: 2ac7a0a2-3562-11eb-9256-fbd18ea55087 last_name: Borovkov - first_name: Jordi full_name: Arbiol, Jordi last_name: Arbiol - first_name: Daniel full_name: Chrastina, Daniel last_name: Chrastina - first_name: Giovanni full_name: Isella, Giovanni last_name: Isella - first_name: Georgios full_name: Katsaros, Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros orcid: 0000-0001-8342-202X citation: ama: Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit in planar Ge. Nature Materials. 2021;20(8):1106–1112. doi:10.1038/s41563-021-01022-2 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. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-021-01022-2 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.” Nature Materials. Springer Nature, 2021. https://doi.org/10.1038/s41563-021-01022-2. ieee: D. Jirovec et al., “A singlet triplet hole spin qubit in planar Ge,” Nature Materials, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021. 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. mla: Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” Nature Materials, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:10.1038/s41563-021-01022-2. 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. date_created: 2020-12-02T10:50:47Z date_published: 2021-08-01T00:00:00Z date_updated: 2024-03-25T23:30:14Z day: '01' department: - _id: GeKa - _id: NanoFab - _id: GradSch doi: 10.1038/s41563-021-01022-2 ec_funded: 1 external_id: arxiv: - '2011.13755' isi: - '000657596400001' intvolume: ' 20' isi: 1 issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2011.13755 month: '08' oa: 1 oa_version: Preprint page: 1106–1112 project: - _id: 26A151DA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '844511' name: Majorana bound states in Ge/SiGe heterostructures - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 2641CE5E-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P30207 name: Hole spin orbit qubits in Ge quantum wells - _id: 262116AA-B435-11E9-9278-68D0E5697425 name: Hybrid Semiconductor - Superconductor Quantum Devices publication: Nature Materials publication_identifier: eissn: - 1476-4660 issn: - 1476-1122 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/quantum-computing-with-holes/ record: - id: '9323' relation: research_data status: public - id: '10058' relation: dissertation_contains status: public scopus_import: '1' status: public title: A singlet triplet hole spin qubit in planar Ge type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 20 year: '2021' ... --- _id: '8934' 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." 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).' alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Amir Kafshdar full_name: Goharshady, Amir Kafshdar id: 391365CE-F248-11E8-B48F-1D18A9856A87 last_name: Goharshady orcid: 0000-0003-1702-6584 citation: ama: Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934 apa: Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934 chicago: Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934. ieee: A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021. ista: Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. mla: Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:8934. short: A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021. date_created: 2020-12-10T12:17:07Z date_published: 2021-01-01T00:00:00Z date_updated: 2025-06-02T08:53:47Z day: '01' ddc: - '005' degree_awarded: PhD department: - _id: KrCh - _id: GradSch doi: 10.15479/AT:ISTA:8934 file: - access_level: open_access checksum: d1b9db3725aed34dadd81274aeb9426c content_type: application/pdf creator: akafshda date_created: 2020-12-22T20:08:44Z date_updated: 2021-12-23T23:30:04Z embargo: 2021-12-22 file_id: '8969' file_name: Thesis-pdfa.pdf file_size: 5251507 relation: main_file - access_level: closed checksum: 1661df7b393e6866d2460eba3c905130 content_type: application/zip creator: akafshda date_created: 2020-12-22T20:08:50Z date_updated: 2021-03-04T23:30:04Z embargo_to: open_access file_id: '8970' file_name: source.zip file_size: 10636756 relation: source_file file_date_updated: 2021-12-23T23:30:04Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/publicdomain/zero/1.0/ month: '01' oa: 1 oa_version: Published Version page: '278' project: - _id: 267066CE-B435-11E9-9278-68D0E5697425 name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies - _id: 266EEEC0-B435-11E9-9278-68D0E5697425 name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '1386' relation: part_of_dissertation status: public - id: '1437' relation: part_of_dissertation status: public - id: '639' relation: part_of_dissertation status: public - id: '6918' relation: part_of_dissertation status: public - id: '6490' relation: part_of_dissertation status: public - id: '7158' relation: part_of_dissertation status: public - id: '6009' relation: part_of_dissertation status: public - id: '949' relation: part_of_dissertation status: public - id: '311' relation: part_of_dissertation status: public - id: '7810' relation: part_of_dissertation status: public - id: '8089' relation: part_of_dissertation status: public - id: '8728' relation: part_of_dissertation status: public - id: '5977' relation: part_of_dissertation status: public - id: '6056' relation: part_of_dissertation status: public - id: '6175' relation: part_of_dissertation status: public - id: '6340' relation: part_of_dissertation status: public - id: '6378' relation: part_of_dissertation status: public - id: '6380' relation: part_of_dissertation status: public - id: '66' relation: part_of_dissertation status: public - id: '6780' relation: part_of_dissertation status: public - id: '7014' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X title: Parameterized and algebro-geometric advances in static program analysis tmp: image: /images/cc_0.png legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode name: Creative Commons Public Domain Dedication (CC0 1.0) short: CC0 (1.0) type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2021' ... --- _id: '9022' abstract: - lang: eng 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." 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 article_processing_charge: No author: - first_name: Giorgio full_name: Cipolloni, Giorgio id: 42198EFA-F248-11E8-B48F-1D18A9856A87 last_name: Cipolloni orcid: 0000-0002-4901-7992 citation: ama: Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022 apa: Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022 chicago: Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022. 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. mla: Cipolloni, Giorgio. Fluctuations in the Spectrum of Random Matrices. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9022. short: G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021. date_created: 2021-01-21T18:16:54Z date_published: 2021-01-25T00:00:00Z date_updated: 2023-09-07T13:29:32Z day: '25' ddc: - '510' degree_awarded: PhD department: - _id: GradSch - _id: LaEr doi: 10.15479/AT:ISTA:9022 ec_funded: 1 file: - access_level: open_access checksum: 5a93658a5f19478372523ee232887e2b content_type: application/pdf creator: gcipollo date_created: 2021-01-25T14:19:03Z date_updated: 2021-01-25T14:19:03Z file_id: '9043' file_name: thesis.pdf file_size: 4127796 relation: main_file success: 1 - access_level: closed checksum: e8270eddfe6a988e92a53c88d1d19b8c content_type: application/zip creator: gcipollo date_created: 2021-01-25T14:19:10Z date_updated: 2021-01-25T14:19:10Z file_id: '9044' file_name: Thesis_files.zip file_size: 12775206 relation: source_file file_date_updated: 2021-01-25T14:19:10Z has_accepted_license: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: '380' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 258DCDE6-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '338804' name: Random matrices, universality and disordered quantum systems publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 title: Fluctuations in the spectrum of random matrices type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2021' ...