[{"isi":1,"intvolume":"        42","publisher":"Association for Computing Machinery","oa":1,"oa_version":"Submitted Version","publication":"Transactions on Graphics","ec_funded":1,"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledged_ssus":[{"_id":"M-Shop"}],"keyword":["PCB design and layout","Mesh geometry models"],"publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"type":"journal_article","doi":"10.1145/3592411","has_accepted_license":"1","article_number":"142","author":[{"first_name":"Marco","full_name":"Freire, Marco","last_name":"Freire"},{"orcid":"0009-0007-6138-6890","id":"FF8FA64C-AA6A-11E9-99AD-50D4E5697425","first_name":"Manas","full_name":"Bhargava, Manas","last_name":"Bhargava"},{"id":"2B14B676-F248-11E8-B48F-1D18A9856A87","first_name":"Camille","full_name":"Schreck, Camille","last_name":"Schreck"},{"first_name":"Pierre-Alexandre","full_name":"Hugron, Pierre-Alexandre","last_name":"Hugron"},{"last_name":"Bickel","full_name":"Bickel, Bernd","first_name":"Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sylvain","full_name":"Lefebvre, Sylvain","last_name":"Lefebvre"}],"month":"07","article_processing_charge":"No","date_published":"2023-07-26T00:00:00Z","abstract":[{"lang":"eng","text":"We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of\r\nestablished PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. \r\nOur approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved.\r\nOur technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs."}],"ddc":["006"],"file":[{"creator":"dernst","checksum":"a0b0ba3b36f43a94388e8824613d812a","relation":"main_file","date_created":"2023-06-19T11:02:23Z","success":1,"file_name":"2023_ACMToG_Freire.pdf","date_updated":"2023-06-19T11:02:23Z","file_size":78940724,"access_level":"open_access","content_type":"application/pdf","file_id":"13156"},{"creator":"dernst","checksum":"b9206bbb67af82df49b7e7cdbde3410c","relation":"main_file","date_created":"2023-06-20T12:20:51Z","success":1,"file_name":"2023_ACMToG_SuppMaterial_Freire.pdf","date_updated":"2023-06-20T12:20:51Z","file_size":34345905,"access_level":"open_access","content_type":"application/pdf","file_id":"13157"}],"quality_controlled":"1","article_type":"original","status":"public","date_created":"2023-05-22T08:37:04Z","publication_status":"published","citation":{"mla":"Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” <i>Transactions on Graphics</i>, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3592411\">10.1145/3592411</a>.","ama":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. <i>Transactions on Graphics</i>. 2023;42(4). doi:<a href=\"https://doi.org/10.1145/3592411\">10.1145/3592411</a>","chicago":"Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” <i>Transactions on Graphics</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3592411\">https://doi.org/10.1145/3592411</a>.","apa":"Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., &#38; Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. <i>Transactions on Graphics</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3592411\">https://doi.org/10.1145/3592411</a>","ista":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. 2023. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 42(4), 142.","short":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).","ieee":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” <i>Transactions on Graphics</i>, vol. 42, no. 4. Association for Computing Machinery, 2023."},"department":[{"_id":"GradSch"},{"_id":"BeBi"}],"conference":{"location":"Los Angeles, CA, United States","start_date":"2023-08-06","end_date":"2023-08-10","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference"},"file_date_updated":"2023-06-20T12:20:51Z","project":[{"_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767"}],"_id":"13049","date_updated":"2024-01-29T10:30:49Z","issue":"4","year":"2023","volume":42,"acknowledgement":"We thank the reviewers for the valuable feedback. We also thank the Miba Machine Shop at ISTA, PCBWay, and PragoBoard for helping us with fabrication and assembly. This project was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 715767 – MATERIALIZABLE).","day":"26","title":"PCBend: Light up your 3D shapes with foldable circuit boards","external_id":{"isi":["001044671300108"]}},{"date_published":"2023-05-01T00:00:00Z","abstract":[{"lang":"eng","text":"Deep neural networks (DNNs) often have to be compressed, via pruning and/or quantization, before they can be deployed in practical settings. In this work we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization step in a principled way, in order to produce models whose local loss behavior is stable under compression operations such as pruning. Thus, dense models trained via CrAM should be compressible post-training, in a single step, without significant accuracy loss. Experimental results on standard benchmarks, such as residual networks for ImageNet classification and BERT models for language modelling, show that CrAM produces dense models that can be more accurate than the standard SGD/Adam-based baselines, but which are stable under weight pruning: specifically, we can prune models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90% with reasonable (∼1%) accuracy loss, which is competitive with gradual compression methods. Additionally, CrAM can produce sparse models which perform well for transfer learning, and it also works for semi-structured 2:4 pruning patterns supported by GPU hardware. The code for reproducing the results is available at this https URL ."}],"acknowledgement":"AP, EK, DA received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further acknowledge the support from the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp)-","quality_controlled":"1","title":"CrAM: A Compression-Aware Minimizer","status":"public","external_id":{"arxiv":["2207.14200"]},"year":"2023","author":[{"id":"32D78294-F248-11E8-B48F-1D18A9856A87","first_name":"Elena-Alexandra","full_name":"Peste, Elena-Alexandra","last_name":"Peste"},{"last_name":"Vladu","full_name":"Vladu, Adrian","first_name":"Adrian"},{"id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","full_name":"Kurtic, Eldar","last_name":"Kurtic"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert"},{"first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"}],"month":"05","article_processing_charge":"No","arxiv":1,"oa_version":"Preprint","publication":"11th International Conference on Learning Representations ","citation":{"chicago":"Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In <i>11th International Conference on Learning Representations </i>, n.d.","ama":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: <i>11th International Conference on Learning Representations </i>.","mla":"Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” <i>11th International Conference on Learning Representations </i>.","short":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.","apa":"Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., &#38; Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In <i>11th International Conference on Learning Representations </i>. Kigali, Rwanda .","ista":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.","ieee":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in <i>11th International Conference on Learning Representations </i>, Kigali, Rwanda ."},"ec_funded":1,"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"related_material":{"record":[{"status":"public","id":"13074","relation":"dissertation_contains"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","location":"Kigali, Rwanda ","start_date":"2023-05-01"},"acknowledged_ssus":[{"_id":"ScienComp"}],"project":[{"_id":"268A44D6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223"}],"type":"conference","_id":"13053","date_updated":"2023-06-01T12:54:45Z","date_created":"2023-05-23T11:36:18Z","oa":1,"main_file_link":[{"open_access":"1","url":"https://openreview.net/pdf?id=_eTZBs-yedr"}],"publication_status":"accepted"},{"title":"Efficiency and generalization of sparse neural networks","day":"23","supervisor":[{"first_name":"Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","full_name":"Lampert, Christoph"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh"}],"year":"2023","department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"citation":{"ieee":"E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.","chicago":"Peste, Elena-Alexandra. “Efficiency and Generalization of Sparse Neural Networks.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>.","ama":"Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>","mla":"Peste, Elena-Alexandra. <i>Efficiency and Generalization of Sparse Neural Networks</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>.","short":"E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.","ista":"Peste E-A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.","apa":"Peste, E.-A. (2023). <i>Efficiency and generalization of sparse neural networks</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>"},"project":[{"grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"grant_number":"805223","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"file_date_updated":"2023-05-24T16:12:59Z","date_updated":"2023-08-04T10:33:27Z","_id":"13074","date_created":"2023-05-23T17:07:53Z","publication_status":"published","alternative_title":["ISTA Thesis"],"ddc":["000"],"abstract":[{"lang":"eng","text":"Deep learning has become an integral part of a large number of important applications, and many of the recent breakthroughs have been enabled by the ability to train very large models, capable to capture complex patterns and relationships from the data. At the same time, the massive sizes of modern deep learning models have made their deployment to smaller devices more challenging; this is particularly important, as in many applications the users rely on accurate deep learning predictions, but they only have access to devices with limited memory and compute power. One solution to this problem is to prune neural networks, by setting as many of their parameters as possible to zero, to obtain accurate sparse models with lower memory footprint. Despite the great research progress in obtaining sparse models that preserve accuracy, while satisfying memory and computational constraints, there are still many challenges associated with efficiently training sparse models, as well as understanding their generalization properties.\r\n\r\nThe focus of this thesis is to investigate how the training process of sparse models can be made more efficient, and to understand the differences between sparse and dense models in terms of how well they can generalize to changes in the data distribution. We first study a method for co-training sparse and dense models, at a lower cost compared to regular training. With our method we can obtain very accurate sparse networks, and dense models that can recover the baseline accuracy. Furthermore, we are able to more easily analyze the differences, at prediction level, between the sparse-dense model pairs. Next, we investigate the generalization properties of sparse neural networks in more detail, by studying how well different sparse models trained on a larger task can adapt to smaller, more specialized tasks, in a transfer learning scenario. Our analysis across multiple pruning methods and sparsity levels reveals that sparse models provide features that can transfer similarly to or better than the dense baseline. However, the choice of the pruning method plays an important role, and can influence the results when the features are fixed (linear finetuning), or when they are allowed to adapt to the new task (full finetuning). Using sparse models with fixed masks for finetuning on new tasks has an important practical advantage, as it enables training neural networks on smaller devices. However, one drawback of current pruning methods is that the entire training cycle has to be repeated to obtain the initial sparse model, for every sparsity target; in consequence, the entire training process is costly and also multiple models need to be stored. In the last part of the thesis we propose a method that can train accurate dense models that are compressible in a single step, to multiple sparsity levels, without additional finetuning. Our method results in sparse models that can be competitive with existing pruning methods, and which can also successfully generalize to new tasks."}],"date_published":"2023-05-23T00:00:00Z","file":[{"relation":"main_file","date_created":"2023-05-24T16:11:16Z","creator":"epeste","checksum":"6b3354968403cb9d48cc5a83611fb571","file_size":2152072,"access_level":"open_access","content_type":"application/pdf","file_id":"13087","success":1,"file_name":"PhD_Thesis_Alexandra_Peste_final.pdf","date_updated":"2023-05-24T16:11:16Z"},{"access_level":"closed","file_size":1658293,"file_id":"13088","content_type":"application/zip","file_name":"PhD_Thesis_APeste.zip","date_updated":"2023-05-24T16:12:59Z","date_created":"2023-05-24T16:12:59Z","relation":"source_file","creator":"epeste","checksum":"8d0df94bbcf4db72c991f22503b3fd60"}],"status":"public","has_accepted_license":"1","month":"05","author":[{"id":"32D78294-F248-11E8-B48F-1D18A9856A87","first_name":"Elena-Alexandra","full_name":"Peste, Elena-Alexandra","last_name":"Peste"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"ec_funded":1,"oa_version":"Published Version","related_material":{"record":[{"relation":"part_of_dissertation","id":"11458","status":"public"},{"status":"public","id":"13053","relation":"part_of_dissertation"},{"id":"12299","relation":"part_of_dissertation","status":"public"}]},"type":"dissertation","acknowledged_ssus":[{"_id":"ScienComp"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","page":"147","doi":"10.15479/at:ista:13074","oa":1,"publisher":"Institute of Science and Technology Austria"},{"day":"23","title":"Epithelial dynamics during mouse neural tube development","supervisor":[{"id":"3959A2A0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4509-4998","first_name":"Anna","full_name":"Kicheva, Anna","last_name":"Kicheva"}],"year":"2023","file_date_updated":"2023-05-25T06:32:16Z","_id":"13081","date_updated":"2023-10-04T11:14:04Z","citation":{"short":"L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.","apa":"Bocanegra, L. (2023). <i>Epithelial dynamics during mouse neural tube development</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13081\">https://doi.org/10.15479/at:ista:13081</a>","ista":"Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.","chicago":"Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13081\">https://doi.org/10.15479/at:ista:13081</a>.","mla":"Bocanegra, Laura. <i>Epithelial Dynamics during Mouse Neural Tube Development</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13081\">10.15479/at:ista:13081</a>.","ama":"Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13081\">10.15479/at:ista:13081</a>","ieee":"L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023."},"department":[{"_id":"GradSch"},{"_id":"AnKi"}],"publication_status":"published","alternative_title":["ISTA Thesis"],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_created":"2023-05-23T19:10:42Z","status":"public","date_published":"2023-05-23T00:00:00Z","ddc":["570"],"abstract":[{"lang":"eng","text":"During development, tissues undergo changes in size and shape to form functional organs. Distinct cellular processes such as cell division and cell rearrangements underlie tissue morphogenesis. Yet how the distinct processes are controlled and coordinated, and how they contribute to morphogenesis is poorly understood. In our study, we addressed these questions using the developing mouse neural tube. This epithelial organ transforms from a flat epithelial sheet to an epithelial tube while increasing in size and undergoing morpho-gen-mediated patterning. The extent and mechanism of neural progenitor rearrangement within the developing mouse neuroepithelium is unknown. To investigate this, we per-formed high resolution lineage tracing analysis to quantify the extent of epithelial rear-rangement at different stages of neural tube development. We quantitatively described the relationship between apical cell size with cell cycle dependent interkinetic nuclear migra-tions (IKNM) and performed high cellular resolution live imaging of the neuroepithelium to study the dynamics of junctional remodeling.  Furthermore, developed a vertex model of the neuroepithelium to investigate the quantitative contribution of cell proliferation, cell differentiation and mechanical properties to the epithelial rearrangement dynamics and validated the model predictions through functional experiments. Our analysis revealed that at early developmental stages, the apical cell area kinetics driven by IKNM induce high lev-els of cell rearrangements in a regime of high junctional tension and contractility. After E9.5, there is a sharp decline in the extent of cell rearrangements, suggesting that the epi-thelium transitions from a fluid-like to a solid-like state. We found that this transition is regulated by the growth rate of the tissue, rather than by changes in cell-cell adhesion and contractile forces. Overall, our study provides a quantitative description of the relationship between tissue growth, cell cycle dynamics, epithelia rearrangements and the emergent tissue material properties, and novel insights on how epithelial cell dynamics influences tissue morphogenesis."}],"file":[{"date_created":"2023-05-25T06:32:12Z","relation":"source_file","checksum":"74f3f89e59a0189bee53ebfad9c1b9af","creator":"lbocaneg","file_id":"13089","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","file_size":25615534,"date_updated":"2023-05-25T06:32:12Z","file_name":"Thesis_final_LauraBocanegra.docx"},{"embargo":"2024-05-31","relation":"main_file","date_created":"2023-05-25T06:32:16Z","creator":"lbocaneg","checksum":"c6cdef6323eacfb4b7a8af20f32eae97","file_size":12386046,"access_level":"closed","content_type":"application/pdf","file_id":"13090","date_updated":"2023-05-25T06:32:16Z","file_name":"TotalFinal_Thesis_LauraBocanegraArx.pdf","embargo_to":"open_access"}],"author":[{"full_name":"Bocanegra, Laura","last_name":"Bocanegra","id":"4896F754-F248-11E8-B48F-1D18A9856A87","first_name":"Laura"}],"month":"05","article_processing_charge":"No","has_accepted_license":"1","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"issn":["2663 - 337X"]},"type":"dissertation","doi":"10.15479/at:ista:13081","page":"93","degree_awarded":"PhD","oa_version":"Published Version","language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"9349","relation":"part_of_dissertation"},{"status":"public","id":"12837","relation":"part_of_dissertation"}]},"tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"publisher":"Institute of Science and Technology Austria"},{"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"EM-Fac"}],"publication_identifier":{"issn":["2663 - 337X"]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"dissertation","page":"147","doi":"10.15479/at:ista:13107","degree_awarded":"PhD","oa_version":"Published Version","ec_funded":1,"language":[{"iso":"eng"}],"related_material":{"record":[{"id":"12802","relation":"part_of_dissertation","status":"public"}]},"oa":1,"publisher":"Institute of Science and Technology Austria","status":"public","date_published":"2023-05-31T00:00:00Z","abstract":[{"text":"Within the human body, the brain exhibits the highest rate of energy consumption amongst all organs, with the majority of generated ATP being utilized to sustain neuronal activity. Therefore, the metabolism of the mature cerebral cortex is geared towards preserving metabolic homeostasis whilst generating significant amounts of energy. This requires a precise interplay between diverse metabolic pathways, spanning from a tissue-wide scale to the level of individual neurons. Disturbances to this delicate metabolic equilibrium, such as those resulting from maternal malnutrition\r\nor mutations affecting metabolic enzymes, often result in neuropathological variants of neurodevelopment. For instance, mutations in SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs), have been associated with autism and microcephaly. However, despite recent progress in the field, the extent of metabolic restructuring that occurs within the developing brain and the corresponding alterations in nutrient demands during various critical periods remain largely unknown. To investigate this, we performed metabolomic profiling of the murine cerebral cortex to characterize the metabolic state of the forebrain at different developmental stages. We found that the developing cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites displaying stage-specific changes. According to our observations, we determined a distinct temporal period in postnatal development during which the cortex displays heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model, we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed neuronal metabolic state across multiple developmental stages of corticogenesis. We found that manipulating the levels of essential LNAAs in cortical neurons in vivo affects one particular perinatal developmental period critical for cortical network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous alterations in neuronal lipid metabolism, excitability, and survival during this particular time window. Although most of the effects of Slc7a5 deletion on neuronal physiology are transient, derailment of these processes during this brief but crucial window leads to long-term circuit dysfunction in mice. In conclusion, out data indicate that the cerebral cortex undergoes significant metabolic reorganization during development. This process involves the intricate integration of multiple metabolic pathways to ensure optimal neuronal function throughout different developmental stages. Our findings offer a paradigm for understanding how neurons synchronize the expression of nutrient-related genes with their activity to allow proper brain maturation. Further, our results demonstrate that disruptions in these precisely calibrated metabolic processes during critical periods of brain development may result in neuropathological outcomes in mice and in humans.","lang":"eng"}],"ddc":["570"],"file":[{"file_name":"Thesis_Lisa Knaus_approved_final.docx","date_updated":"2023-06-01T13:48:41Z","file_id":"13112","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","file_size":12991551,"checksum":"4b69a4ac0bbf4163d59c0b58dcb4f2c3","creator":"lknaus","date_created":"2023-06-01T13:48:41Z","relation":"source_file"},{"checksum":"6903d152aa01181d87a696085af31c83","creator":"lknaus","relation":"main_file","date_created":"2023-06-02T09:47:29Z","file_name":"Thesis_Lisa Knaus_approved_final_pdfa2b.pdf","date_updated":"2023-06-07T08:41:49Z","content_type":"application/pdf","file_id":"13114","file_size":9309015,"access_level":"open_access"}],"author":[{"full_name":"Knaus, Lisa","last_name":"Knaus","id":"3B2ABCF4-F248-11E8-B48F-1D18A9856A87","first_name":"Lisa"}],"month":"05","article_processing_charge":"No","has_accepted_license":"1","file_date_updated":"2023-06-07T08:41:49Z","project":[{"call_identifier":"H2020","_id":"25444568-B435-11E9-9278-68D0E5697425","name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","grant_number":"715508"},{"call_identifier":"FWF","_id":"2548AE96-B435-11E9-9278-68D0E5697425","name":"Molecular Drug Targets","grant_number":"W1232-B24"}],"_id":"13107","date_updated":"2024-02-07T08:03:33Z","citation":{"short":"L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.","apa":"Knaus, L. (2023). <i>The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13107\">https://doi.org/10.15479/at:ista:13107</a>","ista":"Knaus L. 2023. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.","chicago":"Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13107\">https://doi.org/10.15479/at:ista:13107</a>.","mla":"Knaus, Lisa. <i>The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13107\">10.15479/at:ista:13107</a>.","ama":"Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13107\">10.15479/at:ista:13107</a>","ieee":"L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023."},"department":[{"_id":"GradSch"},{"_id":"GaNo"}],"publication_status":"published","alternative_title":["ISTA Thesis"],"date_created":"2023-06-01T09:05:24Z","day":"31","title":"The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival","supervisor":[{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","first_name":"Gaia","full_name":"Novarino, Gaia","last_name":"Novarino"}],"year":"2023"},{"file":[{"relation":"main_file","date_created":"2023-08-07T11:55:43Z","creator":"dernst","checksum":"773a0197f05b67feaa6cb1e17ec3642d","file_size":715976,"access_level":"open_access","content_type":"application/pdf","file_id":"13982","success":1,"file_name":"2023_LIPIcS_Dvorak.pdf","date_updated":"2023-08-07T11:55:43Z"}],"date_published":"2023-07-27T00:00:00Z","abstract":[{"lang":"eng","text":"We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction."}],"ddc":["000"],"status":"public","quality_controlled":"1","has_accepted_license":"1","article_number":"15","article_processing_charge":"No","scopus_import":"1","author":[{"id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","first_name":"Martin","full_name":"Dvorak, Martin","last_name":"Dvorak"},{"first_name":"Jasmin","full_name":"Blanchette, Jasmin","last_name":"Blanchette"}],"month":"07","related_material":{"link":[{"url":"https://github.com/madvorak/grammars/tree/publish","relation":"software"}]},"arxiv":1,"oa_version":"Published Version","publication":"14th International Conference on Interactive Theorem Proving","language":[{"iso":"eng"}],"doi":"10.4230/LIPIcs.ITP.2023.15","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"isbn":["9783959772846"],"eissn":["1868-8969"]},"type":"conference","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","oa":1,"intvolume":"       268","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"volume":268,"acknowledgement":"Jasmin Blanchette: This research has received funding from the Netherlands Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No. 016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making this collaboration possible. We\r\nthank Václav Končický for discussing ideas about the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano Testa for their small yet very valuable contributions to our code. We thank Eric Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting textual improvements. We thank the anonymous reviewers for very helpful comments. Finally, we thank the Lean community for helping us with various technical issues and answering many questions. ","external_id":{"arxiv":["2302.06420"]},"day":"27","title":"Closure properties of general grammars - formally verified","year":"2023","citation":{"ista":"Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.","apa":"Dvorak, M., &#38; Blanchette, J. (2023). Closure properties of general grammars - formally verified. In <i>14th International Conference on Interactive Theorem Proving</i> (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>","short":"M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","ama":"Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: <i>14th International Conference on Interactive Theorem Proving</i>. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">10.4230/LIPIcs.ITP.2023.15</a>","mla":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” <i>14th International Conference on Interactive Theorem Proving</i>, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">10.4230/LIPIcs.ITP.2023.15</a>.","chicago":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In <i>14th International Conference on Interactive Theorem Proving</i>, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>.","ieee":"M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in <i>14th International Conference on Interactive Theorem Proving</i>, Bialystok, Poland, 2023, vol. 268."},"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"_id":"13120","date_updated":"2023-09-25T11:04:29Z","conference":{"start_date":"2023-07-31","location":"Bialystok, Poland","name":"ITP: International Conference on Interactive Theorem Proving","end_date":"2023-08-04"},"file_date_updated":"2023-08-07T11:55:43Z","date_created":"2023-06-05T07:29:05Z","license":"https://creativecommons.org/licenses/by/4.0/","alternative_title":["LIPIcs"],"publication_status":"published"},{"date_created":"2023-06-11T22:00:40Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2106.07328"}],"publication_status":"published","citation":{"short":"A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.","apa":"Mohammadi, A., Pham, T., &#38; Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. <i>Canadian Mathematical Bulletin</i>. Cambridge University Press. <a href=\"https://doi.org/10.4153/S000843952300036X\">https://doi.org/10.4153/S000843952300036X</a>","ista":"Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.","chicago":"Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem for Matrices and Related Questions.” <i>Canadian Mathematical Bulletin</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.4153/S000843952300036X\">https://doi.org/10.4153/S000843952300036X</a>.","ama":"Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. <i>Canadian Mathematical Bulletin</i>. 2023;66(4):1280-1295. doi:<a href=\"https://doi.org/10.4153/S000843952300036X\">10.4153/S000843952300036X</a>","mla":"Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:<a href=\"https://doi.org/10.4153/S000843952300036X\">10.4153/S000843952300036X</a>.","ieee":"A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023."},"department":[{"_id":"GradSch"}],"_id":"13128","date_updated":"2024-01-29T11:00:46Z","issue":"4","year":"2023","volume":66,"external_id":{"isi":["001011963000001"],"arxiv":["2106.07328"]},"day":"01","title":"An energy decomposition theorem for matrices and related questions","oa":1,"publisher":"Cambridge University Press","isi":1,"intvolume":"        66","arxiv":1,"oa_version":"Preprint","publication":"Canadian Mathematical Bulletin","language":[{"iso":"eng"}],"page":"1280-1295","doi":"10.4153/S000843952300036X","publication_identifier":{"eissn":["1496-4287"],"issn":["0008-4395"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","scopus_import":"1","article_processing_charge":"No","author":[{"first_name":"Ali","full_name":"Mohammadi, Ali","last_name":"Mohammadi"},{"first_name":"Thang","full_name":"Pham, Thang","last_name":"Pham"},{"first_name":"Yiting","orcid":"0000-0002-2856-767X","id":"1917d194-076e-11ed-97cd-837255f88785","last_name":"Wang","full_name":"Wang, Yiting"}],"month":"12","date_published":"2023-12-01T00:00:00Z","abstract":[{"lang":"eng","text":"Given  A⊆GL2(Fq), we prove that there exist disjoint subsets  B,C⊆A such that  A=B⊔C and their additive and multiplicative energies satisfying max{E+(B),E×(C)}≪|A|3/M(|A|), where\r\nM(|A|)=min{q4/3/|A|1/3(log|A|)2/3,|A|4/5/q13/5(log|A|)27/10}.\r\n We also study some related questions on moderate expanders over matrix rings, namely, for  A,B,C⊆GL2(Fq), we have |AB+C|, |(A+B)C|≫q4, whenever  |A||B||C|≫q10+1/2. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh ([2019], Expanding phenomena over matrix rings,  ForumMath., 31, 951–970).\r\n"}],"article_type":"original","status":"public","quality_controlled":"1"},{"acknowledgement":"The numerical computations in this work were performed using QuSpin [83, 84]. We acknowledge useful discussions with Igor Aleiner, Boris Altshuler, Jacopo de Nardis, Anatoli Polkovnikov, and Gora Shlyapnikov. We thank Piotr Sierant and Dario Rosa for drawing our attention to Refs. [31, 42, 46] and Ref. [47], respectively. We are grateful to an anonymous referee for very useful comments and for drawing our attention to Refs. [80, 81]. The work of VG is part of the DeltaITP consortium, a program of the Netherlands Organization for Scientific\r\nResearch (NWO) funded by the Dutch Ministry of Education, Culture and Science (OCW). VG is also partially supported by RSF 19-71-10092. The work of AT was supported by the ERC Starting Grant 101042293 (HEPIQ). RS acknowledges support from Slovenian Research Agency (ARRS) - research programme P1-0402. ","volume":107,"title":"Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain","day":"01","external_id":{"arxiv":["2303.00729"],"isi":["001003686900004"]},"year":"2023","issue":"18","department":[{"_id":"GradSch"}],"citation":{"apa":"Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., &#38; Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">https://doi.org/10.1103/PhysRevB.107.184312</a>","ista":"Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312.","short":"P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).","mla":"Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” <i>Physical Review B</i>, vol. 107, no. 18, 184312, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">10.1103/PhysRevB.107.184312</a>.","ama":"Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. <i>Physical Review B</i>. 2023;107(18). doi:<a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">10.1103/PhysRevB.107.184312</a>","chicago":"Orlov, Pavel, Anastasiia Tiutiakina, Rustem Sharipov, Elena Petrova, Vladimir Gritsev, and Denis V. Kurlov. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">https://doi.org/10.1103/PhysRevB.107.184312</a>.","ieee":"P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” <i>Physical Review B</i>, vol. 107, no. 18. American Physical Society, 2023."},"date_updated":"2023-08-02T06:16:02Z","_id":"13138","date_created":"2023-06-18T22:00:46Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2303.00729","open_access":"1"}],"publication_status":"published","abstract":[{"lang":"eng","text":"We consider the spin-\r\n1\r\n2\r\n Heisenberg chain (XXX model) weakly perturbed away from integrability by an isotropic next-to-nearest neighbor exchange interaction. Recently, it was conjectured that this model possesses an infinite tower of quasiconserved integrals of motion (charges) [D. Kurlov et al., Phys. Rev. B 105, 104302 (2022)]. In this work we first test this conjecture by investigating how the norm of the adiabatic gauge potential (AGP) scales with the system size, which is known to be a remarkably accurate measure of chaos. We find that for the perturbed XXX chain the behavior of the AGP norm corresponds to neither an integrable nor a chaotic regime, which supports the conjectured quasi-integrability of the model. We then prove the conjecture and explicitly construct the infinite set of quasiconserved charges. Our proof relies on the fact that the XXX chain perturbed by next-to-nearest exchange interaction can be viewed as a truncation of an integrable long-range deformation of the Heisenberg spin chain."}],"date_published":"2023-05-01T00:00:00Z","quality_controlled":"1","status":"public","article_type":"original","article_number":"184312","month":"05","author":[{"full_name":"Orlov, Pavel","last_name":"Orlov","first_name":"Pavel"},{"first_name":"Anastasiia","last_name":"Tiutiakina","full_name":"Tiutiakina, Anastasiia"},{"first_name":"Rustem","last_name":"Sharipov","full_name":"Sharipov, Rustem"},{"first_name":"Elena","id":"0ac84990-897b-11ed-a09c-f5abb56a4ede","last_name":"Petrova","full_name":"Petrova, Elena"},{"full_name":"Gritsev, Vladimir","last_name":"Gritsev","first_name":"Vladimir"},{"first_name":"Denis V.","full_name":"Kurlov, Denis V.","last_name":"Kurlov"}],"scopus_import":"1","article_processing_charge":"No","language":[{"iso":"eng"}],"publication":"Physical Review B","oa_version":"Preprint","arxiv":1,"type":"journal_article","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1103/PhysRevB.107.184312","intvolume":"       107","isi":1,"oa":1,"publisher":"American Physical Society"},{"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Springer Nature","oa":1,"intvolume":"        13","isi":1,"doi":"10.1038/s41598-023-35979-8","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"eissn":["2045-2322"]},"language":[{"iso":"eng"}],"oa_version":"Published Version","publication":"Scientific Reports","scopus_import":"1","article_processing_charge":"No","month":"06","author":[{"first_name":"Alexandra A.","last_name":"Vetrova","full_name":"Vetrova, Alexandra A."},{"last_name":"Kupaeva","full_name":"Kupaeva, Daria M.","first_name":"Daria M."},{"first_name":"Alena","id":"a521c60b-0815-11ed-9b02-b8bd522477c8","last_name":"Kizenko","full_name":"Kizenko, Alena"},{"last_name":"Lebedeva","full_name":"Lebedeva, Tatiana S.","first_name":"Tatiana S."},{"full_name":"Walentek, Peter","last_name":"Walentek","first_name":"Peter"},{"last_name":"Tsikolia","full_name":"Tsikolia, Nikoloz","first_name":"Nikoloz"},{"first_name":"Stanislav V.","full_name":"Kremnyov, Stanislav V.","last_name":"Kremnyov"}],"article_number":"9382","has_accepted_license":"1","status":"public","article_type":"original","quality_controlled":"1","file":[{"creator":"dernst","checksum":"baddf6b2fa9adf88263d4a3b0998f0f2","date_created":"2023-06-26T09:58:53Z","relation":"main_file","success":1,"date_updated":"2023-06-26T09:58:53Z","file_name":"2023_ScientificReports_Vetrova.pdf","access_level":"open_access","file_size":4844149,"file_id":"13170","content_type":"application/pdf"}],"abstract":[{"lang":"eng","text":"Brachyury, a member of T-box gene family, is widely known for its major role in mesoderm specification in bilaterians. It is also present in non-bilaterian metazoans, such as cnidarians, where it acts as a component of an axial patterning system. In this study, we present a phylogenetic analysis of Brachyury genes within phylum Cnidaria, investigate differential expression and address a functional framework of Brachyury paralogs in hydrozoan Dynamena pumila. Our analysis indicates two duplication events of Brachyury within the cnidarian lineage. The first duplication likely appeared in the medusozoan ancestor, resulting in two copies in medusozoans, while the second duplication arose in the hydrozoan ancestor, resulting in three copies in hydrozoans. Brachyury1 and 2 display a conservative expression pattern marking the oral pole of the body axis in D. pumila. On the contrary, Brachyury3 expression was detected in scattered presumably nerve cells of the D. pumila larva. Pharmacological modulations indicated that Brachyury3 is not under regulation of cWnt signaling in contrast to the other two Brachyury genes. Divergence in expression patterns and regulation suggest neofunctionalization of Brachyury3 in hydrozoans."}],"ddc":["570"],"date_published":"2023-06-09T00:00:00Z","publication_status":"published","date_created":"2023-06-25T22:00:46Z","pmid":1,"date_updated":"2023-08-02T06:17:18Z","_id":"13166","file_date_updated":"2023-06-26T09:58:53Z","department":[{"_id":"GradSch"}],"citation":{"ieee":"A. A. Vetrova <i>et al.</i>, “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” <i>Scientific Reports</i>, vol. 13. Springer Nature, 2023.","short":"A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).","apa":"Vetrova, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., &#38; Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-023-35979-8\">https://doi.org/10.1038/s41598-023-35979-8</a>","ista":"Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382.","chicago":"Vetrova, Alexandra A., Daria M. Kupaeva, Alena Kizenko, Tatiana S. Lebedeva, Peter Walentek, Nikoloz Tsikolia, and Stanislav V. Kremnyov. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” <i>Scientific Reports</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41598-023-35979-8\">https://doi.org/10.1038/s41598-023-35979-8</a>.","ama":"Vetrova AA, Kupaeva DM, Kizenko A, et al. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. <i>Scientific Reports</i>. 2023;13. doi:<a href=\"https://doi.org/10.1038/s41598-023-35979-8\">10.1038/s41598-023-35979-8</a>","mla":"Vetrova, Alexandra A., et al. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” <i>Scientific Reports</i>, vol. 13, 9382, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41598-023-35979-8\">10.1038/s41598-023-35979-8</a>."},"year":"2023","external_id":{"pmid":["37296138"],"isi":["001006690200045"]},"title":"The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization","day":"09","acknowledgement":"We thank N.A. Pertsov White Sea Biological Station of Moscow State University for the help and support in obtaining samples and providing access to all required facilities and equipment of the “Center of Microscopy WSBS MSU”. We are grateful to Dr. Amro Hamdoun for pCS2+8 plasmid (Addgene plasmid # 34931).\r\nWork in the Walentek lab is supported by the Deutsche Forschungsgemeinschaft (DFG) under the Emmy Noether Programme (grant WA3365/2-2) and under Germany’s Excellence Strategy (CIBSS-EXC-2189-Project ID 390939984). SK is supported by the project No. 0088-2021-0009 of the Koltzov Institute of Developmental Biology of the RAS. The study of molecular patterning of D. pumila colony was funded by RFBR, project number 20-04-00978a (to S.K.).","volume":13},{"status":"public","abstract":[{"text":"About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. ","lang":"eng"}],"ddc":["537","535","539"],"date_published":"2023-05-05T00:00:00Z","file":[{"content_type":"application/pdf","file_id":"13176","file_size":18688376,"access_level":"open_access","date_updated":"2023-06-30T08:17:25Z","file_name":"thesis_pdfa.pdf","success":1,"relation":"main_file","date_created":"2023-06-30T08:17:25Z","checksum":"7d03f1a5a5258ee43dfc3323dea4e08f","creator":"cchlebak"},{"date_updated":"2023-07-06T11:35:15Z","file_name":"thesis.zip","file_id":"13196","content_type":"application/x-zip-compressed","access_level":"closed","file_size":37847025,"checksum":"c3b45317ae58e0527533f98c202d81b7","creator":"cchlebak","date_created":"2023-07-06T11:35:15Z","relation":"source_file"}],"month":"05","author":[{"full_name":"Sahu, Rishabh","last_name":"Sahu","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6264-2162","first_name":"Rishabh"}],"article_processing_charge":"No","has_accepted_license":"1","type":"dissertation","keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"isbn":["978-3-99078-030-5"],"issn":["2663 - 337X"]},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"page":"202","doi":"10.15479/at:ista:13175","degree_awarded":"PhD","ec_funded":1,"language":[{"iso":"eng"}],"oa_version":"Published Version","related_material":{"record":[{"relation":"old_edition","id":"12900","status":"public"},{"status":"public","id":"9114","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10924","status":"public"}]},"tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"oa":1,"publisher":"Institute of Science and Technology Austria","title":"Cavity quantum electrooptics","day":"05","supervisor":[{"orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","full_name":"Fink, Johannes M","last_name":"Fink"}],"year":"2023","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","_id":"26336814-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"758053"},{"grant_number":"899354","name":"Quantum Local Area Networks with Superconducting Qubits","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020"},{"_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits"}],"file_date_updated":"2023-07-06T11:35:15Z","date_updated":"2024-10-29T09:11:06Z","_id":"13175","department":[{"_id":"GradSch"},{"_id":"JoFi"}],"citation":{"ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","apa":"Sahu, R. (2023). <i>Cavity quantum electrooptics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>","mla":"Sahu, Rishabh. <i>Cavity Quantum Electrooptics</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>.","chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>."},"publication_status":"published","alternative_title":["ISTA Thesis"],"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","date_created":"2023-06-30T08:07:43Z"},{"project":[{"name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"694227"}],"file_date_updated":"2023-07-11T08:19:15Z","date_updated":"2023-10-27T10:37:29Z","_id":"13207","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"citation":{"ieee":"C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” <i>Journal of Spectral Theory</i>, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.","mla":"Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>.","ama":"Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. 2023;12(4):1507–1540. doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>","chicago":"Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>. EMS Press, 2023. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>.","apa":"Hainzl, C., Roos, B., &#38; Seiringer, R. (2023). Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. EMS Press. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>","ista":"Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540.","short":"C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540."},"publication_status":"published","date_created":"2023-07-10T16:35:45Z","title":"Boundary superconductivity in the BCS model","day":"18","external_id":{"arxiv":["2201.08090"],"isi":["000997933500008"]},"acknowledgement":"We thank Egor Babaev for encouraging us to study this problem, and Rupert Frank for many fruitful discussions. scussions. Funding. Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No. 694227 (Barbara Roos and Robert Seiringer) is gratefully acknowledged.","volume":12,"year":"2023","issue":"4","type":"journal_article","publication_identifier":{"issn":["1664-039X"],"eissn":["1664-0403"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","page":"1507–1540","doi":"10.4171/JST/439","language":[{"iso":"eng"}],"ec_funded":1,"arxiv":1,"publication":"Journal of Spectral Theory","oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"14374"}]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"        12","isi":1,"publisher":"EMS Press","oa":1,"quality_controlled":"1","status":"public","article_type":"original","abstract":[{"lang":"eng","text":"We consider the linear BCS equation, determining the BCS critical temperature, in the presence of a boundary, where Dirichlet boundary conditions are imposed. In the one-dimensional case with point interactions, we prove that the critical temperature is strictly larger than the bulk value, at least at weak coupling. In particular, the Cooper-pair wave function localizes near the boundary, an effect that cannot be modeled by effective Neumann boundary conditions on the order parameter as often imposed in Ginzburg–Landau theory. We also show that the relative shift in critical temperature vanishes if the coupling constant either goes to zero or to infinity."}],"ddc":["530"],"date_published":"2023-05-18T00:00:00Z","file":[{"creator":"alisjak","checksum":"5501da33be010b5c81440438287584d5","relation":"main_file","date_created":"2023-07-11T08:19:15Z","success":1,"date_updated":"2023-07-11T08:19:15Z","file_name":"2023_EMS_Hainzl.pdf","file_size":304619,"access_level":"open_access","content_type":"application/pdf","file_id":"13208"}],"month":"05","author":[{"last_name":"Hainzl","full_name":"Hainzl, Christian","first_name":"Christian"},{"last_name":"Roos","full_name":"Roos, Barbara","first_name":"Barbara","orcid":"0000-0002-9071-5880","id":"5DA90512-D80F-11E9-8994-2E2EE6697425"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","full_name":"Seiringer, Robert","last_name":"Seiringer"}],"article_processing_charge":"No","has_accepted_license":"1"},{"citation":{"ieee":"U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in <i>34th International Conference on Concurrency Theory</i>, Antwerp, Belgium, 2023, vol. 279.","mla":"Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” <i>34th International Conference on Concurrency Theory</i>, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">10.4230/LIPIcs.CONCUR.2023.17</a>.","ama":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: <i>34th International Conference on Concurrency Theory</i>. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">10.4230/LIPIcs.CONCUR.2023.17</a>","chicago":"Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In <i>34th International Conference on Concurrency Theory</i>, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.17</a>.","apa":"Boker, U., Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2023). Safety and liveness of quantitative automata. In <i>34th International Conference on Concurrency Theory</i> (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.17</a>","ista":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.","short":"U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023."},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"_id":"13221","date_updated":"2023-10-09T07:14:03Z","conference":{"name":"CONCUR: Conference on Concurrency Theory","end_date":"2023-09-23","start_date":"2023-09-18","location":"Antwerp, Belgium"},"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"file_date_updated":"2023-07-14T12:03:48Z","date_created":"2023-07-14T10:00:15Z","alternative_title":["LIPIcs"],"publication_status":"published","volume":279,"acknowledgement":"We thank Christof Löding for pointing us to some results on PSpace-hardess of universality problems and the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093 and the Israel Science Foundation grant 2410/22.","external_id":{"arxiv":["2307.06016"]},"day":"01","title":"Safety and liveness of quantitative automata","year":"2023","publication":"34th International Conference on Concurrency Theory","oa_version":"Published Version","arxiv":1,"ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.4230/LIPIcs.CONCUR.2023.17","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772990"]},"type":"conference","oa":1,"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","intvolume":"       279","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"file":[{"creator":"esarac","checksum":"d40e57a04448ea5c77d7e1cfb9590a81","relation":"main_file","date_created":"2023-07-14T12:03:48Z","success":1,"file_name":"CONCUR23.pdf","date_updated":"2023-07-14T12:03:48Z","file_size":755529,"access_level":"open_access","content_type":"application/pdf","file_id":"13224"}],"date_published":"2023-09-01T00:00:00Z","abstract":[{"lang":"eng","text":"The safety-liveness dichotomy is a fundamental concept in formal languages which plays a key role in verification. Recently, this dichotomy has been lifted to quantitative properties, which are arbitrary functions from infinite words to partially-ordered domains. We look into harnessing the dichotomy for the specific classes of quantitative properties expressed by quantitative automata. These automata contain finitely many states and rational-valued transition weights, and their common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the totallyordered domain of real numbers. In this automata-theoretic setting, we establish a connection between quantitative safety and topological continuity and provide an alternative characterization of quantitative safety and liveness in terms of their boolean counterparts. For all common value functions, we show how the safety closure of a quantitative automaton can be constructed in PTime, and we provide PSpace-complete checks of whether a given quantitative automaton is safe or live, with the exception of LimInfAvg and LimSupAvg automata, for which the safety check is in ExpSpace. Moreover, for deterministic Sup, LimInf, and LimSup automata, we give PTime decompositions into safe and live automata. These decompositions enable the separation of techniques for safety and liveness verification for quantitative specifications."}],"ddc":["000"],"status":"public","quality_controlled":"1","has_accepted_license":"1","article_number":"17","article_processing_charge":"No","author":[{"first_name":"Udi","id":"31E297B6-F248-11E8-B48F-1D18A9856A87","last_name":"Boker","full_name":"Boker, Udi"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A"},{"first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien"},{"first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","full_name":"Sarac, Naci E"}],"month":"09"},{"author":[{"last_name":"Fedorov","full_name":"Fedorov, Alexander","first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"full_name":"Hashemi, Diba","last_name":"Hashemi","id":"ed9595ea-2f8f-11ee-ba95-d2b546540783","first_name":"Diba"},{"id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi","full_name":"Nadiradze, Giorgi","last_name":"Nadiradze"},{"last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"month":"06","article_processing_charge":"Yes (in subscription journal)","scopus_import":"1","has_accepted_license":"1","quality_controlled":"1","status":"public","date_published":"2023-06-17T00:00:00Z","abstract":[{"lang":"eng","text":"Determining the degree of inherent parallelism in classical sequential algorithms and leveraging it for fast parallel execution is a key topic in parallel computing, and detailed analyses are known for a wide range of classical algorithms. In this paper, we perform the first such analysis for the fundamental Union-Find problem, in which we are given a graph as a sequence of edges, and must maintain its connectivity structure under edge additions. We prove that classic sequential algorithms for this problem are well-parallelizable under reasonable assumptions, addressing a conjecture by [Blelloch, 2017]. More precisely, we show via a new potential argument that, under uniform random edge ordering, parallel union-find operations are unlikely to interfere: T concurrent threads processing the graph in parallel will encounter memory contention O(T2 · log |V| · log |E|) times in expectation, where |E| and |V| are the number of edges and nodes in the graph, respectively. We leverage this result to design a new parallel Union-Find algorithm that is both internally deterministic, i.e., its results are guaranteed to match those of a sequential execution, but also work-efficient and scalable, as long as the number of threads T is O(|E|1 over 3 - ε), for an arbitrarily small constant ε > 0, which holds for most large real-world graphs. We present lower bounds which show that our analysis is close to optimal, and experimental results suggesting that the performance cost of internal determinism is limited."}],"ddc":["000"],"file":[{"creator":"dernst","checksum":"72e312aabf0c5248c99b5cd3a88e4c88","date_created":"2023-07-31T10:53:08Z","relation":"main_file","success":1,"file_name":"2023_SPAA_Fedorov.pdf","date_updated":"2023-07-31T10:53:08Z","access_level":"open_access","file_size":2087937,"file_id":"13334","content_type":"application/pdf"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Association for Computing Machinery","oa":1,"publication_identifier":{"isbn":["9781450395458"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","page":"261-271","doi":"10.1145/3558481.3591082","publication":"Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures","arxiv":1,"oa_version":"Published Version","language":[{"iso":"eng"}],"year":"2023","day":"17","title":"Provably-efficient and internally-deterministic parallel Union-Find","external_id":{"arxiv":["2304.09331"]},"publication_status":"published","date_created":"2023-07-23T22:01:12Z","conference":{"name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","end_date":"2023-06-19","start_date":"2023-06-17","location":"Orlando, FL, United States"},"file_date_updated":"2023-07-31T10:53:08Z","_id":"13262","date_updated":"2023-07-31T10:54:32Z","citation":{"mla":"Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Association for Computing Machinery, 2023, pp. 261–71, doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>.","ama":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2023:261-271. doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>","chicago":"Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, 261–71. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>.","ista":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.","apa":"Fedorov, A., Hashemi, D., Nadiradze, G., &#38; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>","short":"A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.","ieee":"A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Orlando, FL, United States, 2023, pp. 261–271."},"department":[{"_id":"DaAl"},{"_id":"GradSch"}]},{"article_type":"original","status":"public","quality_controlled":"1","date_published":"2023-07-21T00:00:00Z","abstract":[{"lang":"eng","text":"Viscous flows through pipes and channels are steady and ordered until, with increasing velocity, the laminar motion catastrophically breaks down and gives way to turbulence. How this apparently discontinuous change from low- to high-dimensional motion can be rationalized within the framework of the Navier-Stokes equations is not well understood. Exploiting geometrical properties of transitional channel flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible and identify the complete path that reversibly links fully turbulent motion to an invariant solution. This precursor of turbulence destabilizes rapidly with Re, and the accompanying explosive increase in attractor dimension effectively marks the transition between deterministic and de facto stochastic dynamics."}],"article_processing_charge":"No","author":[{"full_name":"Paranjape, Chaitanya S","last_name":"Paranjape","id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","first_name":"Chaitanya S"},{"full_name":"Yalniz, Gökhan","last_name":"Yalniz","orcid":"0000-0002-8490-9312","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","first_name":"Gökhan"},{"full_name":"Duguet, Yohann","last_name":"Duguet","first_name":"Yohann"},{"last_name":"Budanur","full_name":"Budanur, Nazmi B","first_name":"Nazmi B","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0423-5010"},{"last_name":"Hof","full_name":"Hof, Björn","first_name":"Björn","orcid":"0000-0003-2057-2754","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"month":"07","article_number":"034002","doi":"10.1103/physrevlett.131.034002","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["General Physics and Astronomy"],"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"type":"journal_article","publication":"Physical Review Letters","oa_version":"Preprint","arxiv":1,"language":[{"iso":"eng"}],"publisher":"American Physical Society","oa":1,"isi":1,"intvolume":"       131","external_id":{"isi":["001052929900004"],"arxiv":["2306.05098"]},"day":"21","title":"Direct path from turbulence to time-periodic solutions","volume":131,"acknowledgement":"We thank Baofang Song as well as the developers of Channelflow for sharing their numerical codes, and Mukund Vasudevan and Holger Kantz for fruitful discussions. This work was supported by a grant from the Simons Foundation (662960, B. H.).","issue":"3","year":"2023","_id":"13274","date_updated":"2023-12-13T11:40:19Z","project":[{"name":"Revisiting the Turbulence Problem Using Statistical Mechanics: Experimental Studies on Transitional and Turbulent Flows","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","grant_number":"662960"}],"citation":{"chicago":"Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>.","mla":"Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>.","ama":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. 2023;131(3). doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>","short":"C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).","apa":"Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., &#38; Hof, B. (2023). Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>","ista":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.","ieee":"C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct path from turbulence to time-periodic solutions,” <i>Physical Review Letters</i>, vol. 131, no. 3. American Physical Society, 2023."},"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2306.05098"}],"publication_status":"published","date_created":"2023-07-24T09:43:59Z"},{"doi":"10.15479/at:ista:13286","page":"184","degree_awarded":"PhD","type":"dissertation","publication_identifier":{"issn":["2663 - 337X"]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"related_material":{"record":[{"status":"public","id":"13312","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"12118"},{"relation":"part_of_dissertation","id":"8910","status":"public"},{"status":"public","id":"12522","relation":"research_data"}]},"language":[{"iso":"eng"}],"ec_funded":1,"oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"oa":1,"publisher":"Institute of Science and Technology Austria","status":"public","file":[{"creator":"mvalenti","checksum":"666ee31c7eade89679806287c062fa14","relation":"source_file","date_created":"2023-08-11T09:27:39Z","date_updated":"2023-08-11T10:01:34Z","file_name":"PhD_thesis_Valentini_final.zip","file_size":56121429,"access_level":"closed","content_type":"application/x-zip-compressed","file_id":"14033"},{"creator":"mvalenti","checksum":"0992f2ebef152dee8e70055350ebbb55","date_created":"2023-08-11T14:39:17Z","relation":"main_file","file_name":"PhD_thesis_Valentini_final_validated.pdf","date_updated":"2023-08-11T14:39:17Z","access_level":"open_access","file_size":38199711,"file_id":"14035","content_type":"application/pdf"}],"abstract":[{"text":"Semiconductor-superconductor hybrid systems are the harbour of many intriguing mesoscopic phenomena. This material combination leads to spatial variations of the superconducting properties, which gives rise to Andreev bound states (ABSs). Some of these states might exhibit remarkable properties that render them highly desirable for topological quantum computing. The most prominent and hunted of such states are Majorana zero modes (MZMs), quasiparticles equals to their own quasiparticles that they follow non-abelian statistics. In this thesis, we first introduce the general framework of such hybrid systems and, then, we unveil a series of mesoscopic phenomena that we discovered. Firstly, we show tunneling spectroscopy experiments on full-shell nanowires (NWs) showing that unwanted quantum-dot states coupled to superconductors (Yu-Shiba-Rusinov states) can mimic MZMs signatures. Then, we introduce a novel protocol which allowed the integration of tunneling spectroscopy with Coulomb spectroscopy within the same device. Employing this approach on both full-shell NWs and partial-shell NWs, we demonstrated that longitudinally confined states reveal charge transport phenomenology similar to the one expected for MZMs. These findings shed light on the intricate interplay between superconductivity and quantum confinement, which brought us to explore another material platform, i.e. a two-dimensional Germanium hole gas. After developing a robust way to induce superconductivity in such system, we showed how to engineer the proximity effect and we revealed a superconducting hard gap. Finally, we created a superconducting radio frequency driven ideal diode and a generator of non-sinusoidal current-phase relations. Our results open the path for the exploration of protected superconducting qubits and more complex hybrid devices in planar Germanium, like Kitaev chains and hybrid qubit devices.","lang":"eng"}],"ddc":["530"],"date_published":"2023-07-21T00:00:00Z","article_processing_charge":"No","month":"07","author":[{"last_name":"Valentini","full_name":"Valentini, Marco","first_name":"Marco","id":"C0BB2FAC-D767-11E9-B658-BC13E6697425"}],"has_accepted_license":"1","date_updated":"2024-02-21T12:35:34Z","_id":"13286","file_date_updated":"2023-08-11T14:39:17Z","project":[{"name":"Hybrid Semiconductor - Superconductor Quantum Devices","_id":"262116AA-B435-11E9-9278-68D0E5697425"},{"grant_number":"862046","name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","call_identifier":"H2020","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E"},{"grant_number":"F8606","_id":"34a66131-11ca-11ed-8bc3-a31681c6b03e","name":"Conventional and unconventional topological superconductors"}],"department":[{"_id":"GradSch"},{"_id":"GeKa"}],"citation":{"ista":"Valentini M. 2023. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.","apa":"Valentini, M. (2023). <i>Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>","short":"M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.","mla":"Valentini, Marco. <i>Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>.","ama":"Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>","chicago":"Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>.","ieee":"M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023."},"alternative_title":["ISTA Thesis"],"publication_status":"published","date_created":"2023-07-24T14:10:45Z","title":"Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium","day":"21","year":"2023","supervisor":[{"first_name":"Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8342-202X","last_name":"Katsaros","full_name":"Katsaros, Georgios"}]},{"external_id":{"arxiv":["2305.03447"]},"day":"05","title":"Regular methods for operator precedence languages","volume":261,"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.\r\nWe thank Pierre Ganty for early discussions and the anonymous reviewers for their helpful comments.\r\n","year":"2023","_id":"13292","date_updated":"2023-07-31T08:38:38Z","conference":{"end_date":"2023-07-14","name":"ICALP: International Colloquium on Automata, Languages, and Programming","location":"Paderborn, Germany","start_date":"2023-07-10"},"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"file_date_updated":"2023-07-24T15:11:05Z","citation":{"ista":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 129:1--129:20.","apa":"Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &#38; Sarac, N. E. (2023). Regular methods for operator precedence languages. In <i>50th International Colloquium on Automata, Languages, and Programming</i> (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">https://doi.org/10.4230/LIPIcs.ICALP.2023.129</a>","short":"T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.","mla":"Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” <i>50th International Colloquium on Automata, Languages, and Programming</i>, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">10.4230/LIPIcs.ICALP.2023.129</a>.","ama":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: <i>50th International Colloquium on Automata, Languages, and Programming</i>. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">10.4230/LIPIcs.ICALP.2023.129</a>","chicago":"Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In <i>50th International Colloquium on Automata, Languages, and Programming</i>, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">https://doi.org/10.4230/LIPIcs.ICALP.2023.129</a>.","ieee":"T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in <i>50th International Colloquium on Automata, Languages, and Programming</i>, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20."},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"alternative_title":["LIPIcs"],"publication_status":"published","date_created":"2023-07-24T15:11:41Z","status":"public","quality_controlled":"1","file":[{"access_level":"open_access","file_size":859379,"file_id":"13293","content_type":"application/pdf","success":1,"file_name":"icalp23.pdf","date_updated":"2023-07-24T15:11:05Z","date_created":"2023-07-24T15:11:05Z","relation":"main_file","creator":"esarac","checksum":"5d4c8932ef3450615a53b9bb15d92eb2"}],"date_published":"2023-07-05T00:00:00Z","ddc":["000"],"abstract":[{"text":"The operator precedence languages (OPLs) represent the largest known subclass of the context-free languages which enjoys all desirable closure and decidability properties. This includes the decidability of language inclusion, which is the ultimate verification problem. Operator precedence grammars, automata, and logics have been investigated and used, for example, to verify programs with arithmetic expressions and exceptions (both of which are deterministic pushdown but lie outside the scope of the visibly pushdown languages). In this paper, we complete the picture and give, for the first time, an algebraic characterization of the class of OPLs in the form of a syntactic congruence that has finitely many equivalence classes exactly for the operator precedence languages. This is a generalization of the celebrated Myhill-Nerode theorem for the regular languages to OPLs. As one of the consequences, we show that universality and language inclusion for nondeterministic operator precedence automata can be solved by an antichain algorithm. Antichain algorithms avoid determinization and complementation through an explicit subset construction, by leveraging a quasi-order on words, which allows the pruning of the search space for counterexample words without sacrificing completeness. Antichain algorithms can be implemented symbolically, and these implementations are today the best-performing algorithms in practice for the inclusion of finite automata. We give a generic construction of the quasi-order needed for antichain algorithms from a finite syntactic congruence. This yields the first antichain algorithm for OPLs, an algorithm that solves the ExpTime-hard language inclusion problem for OPLs in exponential time.","lang":"eng"}],"article_processing_charge":"Yes","author":[{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A"},{"first_name":"Pavol","full_name":"Kebis, Pavol","last_name":"Kebis"},{"last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"last_name":"Sarac","full_name":"Sarac, Naci E","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"month":"07","has_accepted_license":"1","page":"129:1--129:20","doi":"10.4230/LIPIcs.ICALP.2023.129","publication_identifier":{"isbn":["9783959772785"],"eissn":["1868-8969"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","oa_version":"Published Version","arxiv":1,"publication":"50th International Colloquium on Automata, Languages, and Programming","ec_funded":1,"language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","oa":1,"intvolume":"       261"},{"status":"public","quality_controlled":"1","file":[{"success":1,"date_updated":"2023-07-31T08:11:20Z","file_name":"2023_LNCS_CAV_HenzingerT.pdf","file_size":647760,"access_level":"open_access","content_type":"application/pdf","file_id":"13327","creator":"dernst","checksum":"ccaf94bf7d658ba012c016e11869b54c","relation":"main_file","date_created":"2023-07-31T08:11:20Z"}],"ddc":["000"],"abstract":[{"lang":"eng","text":"Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness for systems whose models are unknown, but are assumed to have a Markov chain structure. We introduce a specification language that can model many common algorithmic fairness properties, such as demographic parity, equal opportunity, and social burden. We build monitors that observe a long sequence of events as generated by a given system, and output, after each observation, a quantitative estimate of how fair or biased the system was on that run until that point in time. The estimate is proven to be correct modulo a variable error bound and a given confidence level, where the error bound gets tighter as the observed sequence gets longer. Our monitors are of two types, and use, respectively, frequentist and Bayesian statistical inference techniques. While the frequentist monitors compute estimates that are objectively correct with respect to the ground truth, the Bayesian monitors compute estimates that are correct subject to a given prior belief about the system’s model. Using a prototype implementation, we show how we can monitor if a bank is fair in giving loans to applicants from different social backgrounds, and if a college is fair in admitting students while maintaining a reasonable financial burden on the society. Although they exhibit different theoretical complexities in certain cases, in our experiments, both frequentist and Bayesian monitors took less than a millisecond to update their verdicts after each observation."}],"date_published":"2023-07-18T00:00:00Z","article_processing_charge":"Yes (in subscription journal)","month":"07","author":[{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Mahyar","id":"f1dedef5-2f78-11ee-989a-c4c97bccf506","orcid":"0009-0005-0820-1696","last_name":"Karimi","full_name":"Karimi, Mahyar"},{"first_name":"Konstantin","orcid":"0000-0001-8974-2542","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","last_name":"Kueffner","full_name":"Kueffner, Konstantin"},{"full_name":"Mallik, Kaushik","last_name":"Mallik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","orcid":"0000-0001-9864-7475","first_name":"Kaushik"}],"has_accepted_license":"1","doi":"10.1007/978-3-031-37703-7_17","page":"358–382","type":"conference","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031377020"],"eisbn":["9783031377037"],"issn":["0302-9743"]},"ec_funded":1,"language":[{"iso":"eng"}],"publication":"Computer Aided Verification","oa_version":"Published Version","arxiv":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"publisher":"Springer Nature","intvolume":"     13965","external_id":{"arxiv":["2305.15979"]},"title":"Monitoring algorithmic fairness","day":"18","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG101020093.","volume":13965,"year":"2023","date_updated":"2023-09-05T15:14:00Z","_id":"13310","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"file_date_updated":"2023-07-31T08:11:20Z","conference":{"start_date":"2023-07-17","location":"Paris, France","name":"CAV: Computer Aided Verification","end_date":"2023-07-22"},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"citation":{"ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.","apa":"Henzinger, T. A., Karimi, M., Kueffner, K., &#38; Mallik, K. (2023). Monitoring algorithmic fairness. In <i>Computer Aided Verification</i> (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.","ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: <i>Computer Aided Verification</i>. Vol 13965. Springer Nature; 2023:358–382. doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” <i>Computer Aided Verification</i>, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>.","chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In <i>Computer Aided Verification</i>, 13965:358–382. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>.","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in <i>Computer Aided Verification</i>, Paris, France, 2023, vol. 13965, pp. 358–382."},"alternative_title":["LNCS"],"publication_status":"published","date_created":"2023-07-25T18:32:40Z"},{"department":[{"_id":"JoDa"},{"_id":"EdHa"},{"_id":"MaLo"},{"_id":"GradSch"}],"citation":{"short":"Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.","ista":"Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments. Nature Physics. 19, 1916–1926.","apa":"Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. <i>Nature Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41567-023-02218-w\">https://doi.org/10.1038/s41567-023-02218-w</a>","chicago":"Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” <i>Nature Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41567-023-02218-w\">https://doi.org/10.1038/s41567-023-02218-w</a>.","mla":"Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” <i>Nature Physics</i>, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:<a href=\"https://doi.org/10.1038/s41567-023-02218-w\">10.1038/s41567-023-02218-w</a>.","ama":"Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. <i>Nature Physics</i>. 2023;19:1916-1926. doi:<a href=\"https://doi.org/10.1038/s41567-023-02218-w\">10.1038/s41567-023-02218-w</a>","ieee":"Z. Dunajova <i>et al.</i>, “Chiral and nematic phases of flexible active filaments,” <i>Nature Physics</i>, vol. 19. Springer Nature, pp. 1916–1926, 2023."},"project":[{"grant_number":"679239","name":"Self-Organization of the Bacterial Cell","_id":"2595697A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"_id":"fc38323b-9c52-11eb-aca3-ff8afb4a011d","name":"Understanding bacterial cell division by in vitro\r\nreconstitution","grant_number":"P34607"},{"grant_number":"26360","name":"Motile active matter models of migrating cells and chiral filaments","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d"}],"file_date_updated":"2024-01-30T14:28:30Z","date_updated":"2024-02-21T12:19:08Z","_id":"13314","pmid":1,"date_created":"2023-07-27T14:44:45Z","publication_status":"published","acknowledgement":"This work was supported by the European Research Council through grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607 to M.L., B. P.M. was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM collaborative research program. Z.D. has received funding from Doctoral Programme of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria), Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments on the manuscript. We are also thankful for the support by the Scientific Service Units (SSU) of IST Austria through resources provided by the Imaging and Optics Facility (IOF) and the Lab Support Facility (LSF).","volume":19,"title":"Chiral and nematic phases of flexible active filaments","day":"01","external_id":{"pmid":["38075437"]},"year":"2023","ec_funded":1,"language":[{"iso":"eng"}],"oa_version":"Published Version","publication":"Nature Physics","related_material":{"record":[{"status":"public","id":"13116","relation":"research_data"}]},"type":"journal_article","publication_identifier":{"issn":["1745-2473"],"eissn":["1745-2481"]},"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1038/s41567-023-02218-w","page":"1916-1926","intvolume":"        19","publisher":"Springer Nature","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"abstract":[{"lang":"eng","text":"The emergence of large-scale order in self-organized systems relies on local interactions between individual components. During bacterial cell division, FtsZ—a prokaryotic homologue of the eukaryotic protein tubulin—polymerizes into treadmilling filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments can form dynamic chiral assemblies. However, how the active and passive properties of individual filaments relate to these large-scale self-organized structures remains poorly understood. Here we connect single-filament properties with the mesoscopic scale by combining minimal active matter simulations and biochemical reconstitution experiments. We show that the density and flexibility of active chiral filaments define their global order. At intermediate densities, curved, flexible filaments organize into chiral rings and polar bands. An effectively nematic organization dominates for high densities and for straight, mutant filaments with increased rigidity. Our predicted phase diagram quantitatively captures these features, demonstrating how the flexibility, density and chirality of the active filaments affect their collective behaviour. Our findings shed light on the fundamental properties of active chiral matter and explain how treadmilling FtsZ filaments organize during bacterial cell division."}],"ddc":["530"],"date_published":"2023-12-01T00:00:00Z","file":[{"file_id":"14916","content_type":"application/pdf","access_level":"open_access","file_size":22471673,"date_updated":"2024-01-30T14:28:30Z","file_name":"2023_NaturePhysics_Dunajova.pdf","success":1,"date_created":"2024-01-30T14:28:30Z","relation":"main_file","checksum":"bc7673ca07d37309013a86166577b2f7","creator":"dernst"}],"quality_controlled":"1","status":"public","article_type":"original","has_accepted_license":"1","month":"12","author":[{"first_name":"Zuzana","id":"4B39F286-F248-11E8-B48F-1D18A9856A87","last_name":"Dunajova","full_name":"Dunajova, Zuzana"},{"id":"299FE892-F248-11E8-B48F-1D18A9856A87","first_name":"Batirtze","full_name":"Prats Mateu, Batirtze","last_name":"Prats Mateu"},{"first_name":"Philipp","id":"40136C2A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9198-2182 ","last_name":"Radler","full_name":"Radler, Philipp"},{"full_name":"Lim, Keesiang","last_name":"Lim","first_name":"Keesiang"},{"first_name":"Dörte","id":"21d64d35-f128-11eb-9611-b8bcca7a12fd","last_name":"Brandis","full_name":"Brandis, Dörte"},{"last_name":"Velicky","full_name":"Velicky, Philipp","first_name":"Philipp","orcid":"0000-0002-2340-7431","id":"39BDC62C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Danzl","full_name":"Danzl, Johann G","first_name":"Johann G","orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Richard W.","last_name":"Wong","full_name":"Wong, Richard W."},{"first_name":"Jens","full_name":"Elgeti, Jens","last_name":"Elgeti"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","full_name":"Hannezo, Edouard B","last_name":"Hannezo"},{"last_name":"Loose","full_name":"Loose, Martin","first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7309-9724"}],"article_processing_charge":"Yes (in subscription journal)","scopus_import":"1"},{"department":[{"_id":"GradSch"},{"_id":"UlWa"}],"citation":{"apa":"Köse, S. (2023). <i>Exterior algebra and combinatorics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13331\">https://doi.org/10.15479/at:ista:13331</a>","ista":"Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.","short":"S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.","mla":"Köse, Seyda. <i>Exterior Algebra and Combinatorics</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13331\">10.15479/at:ista:13331</a>.","ama":"Köse S. Exterior algebra and combinatorics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13331\">10.15479/at:ista:13331</a>","chicago":"Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13331\">https://doi.org/10.15479/at:ista:13331</a>.","ieee":"S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023."},"date_updated":"2023-10-04T11:54:56Z","_id":"13331","file_date_updated":"2023-08-03T15:28:55Z","date_created":"2023-07-31T10:20:55Z","alternative_title":["ISTA Master's Thesis"],"publication_status":"published","title":"Exterior algebra and combinatorics","day":"31","year":"2023","supervisor":[{"full_name":"Wagner, Uli","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568","first_name":"Uli"}],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"12680"}]},"language":[{"iso":"eng"}],"oa_version":"Published Version","doi":"10.15479/at:ista:13331","page":"26","degree_awarded":"MS","type":"dissertation","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"issn":["2791-4585"]},"publisher":"Institute of Science and Technology Austria","oa":1,"file":[{"checksum":"96ee518d796d02af71395622c45de03c","creator":"skoese","relation":"source_file","date_created":"2023-07-31T10:16:32Z","file_name":"Exterior Algebra and Combinatorics.zip","date_updated":"2023-07-31T10:16:32Z","content_type":"application/x-zip-compressed","file_id":"13333","file_size":28684,"access_level":"closed"},{"file_name":"thesis-pdfa.pdf","date_updated":"2023-08-03T15:28:55Z","success":1,"content_type":"application/pdf","file_id":"13480","file_size":4953418,"access_level":"open_access","checksum":"f610f4713f88bc477de576aaa46b114e","creator":"skoese","relation":"main_file","date_created":"2023-08-03T15:28:55Z"}],"ddc":["510","516"],"abstract":[{"text":"The extension of extremal combinatorics to the setting of exterior algebra is a work\r\nin progress that gained attention recently. In this thesis, we study the combinatorial structure of exterior algebra by introducing a dictionary that translates the notions from the set systems into the framework of exterior algebra. We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms.\r\n","lang":"eng"}],"date_published":"2023-07-31T00:00:00Z","status":"public","has_accepted_license":"1","article_processing_charge":"No","month":"07","author":[{"full_name":"Köse, Seyda","last_name":"Köse","id":"8ba3170d-dc85-11ea-9058-c4251c96a6eb","first_name":"Seyda"}]},{"language":[{"iso":"eng"}],"oa_version":"Published Version","doi":"10.15479/at:ista:13984","page":"89","degree_awarded":"PhD","type":"dissertation","acknowledged_ssus":[{"_id":"LifeSc"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_identifier":{"isbn":["978-3-99078-034-3"],"issn":["2663 - 337X"]},"publisher":"Institute of Science and Technology Austria","file":[{"access_level":"closed","file_size":10797612,"file_id":"13986","content_type":"application/pdf","embargo_to":"open_access","file_name":"Thesis_AnnaFranschitz_202308.pdf","date_updated":"2024-03-01T08:51:42Z","embargo":"2024-08-08","date_created":"2023-08-08T18:01:28Z","relation":"main_file","creator":"afransch","checksum":"27220243d5d51c3b0d7d61c0879d7a0c"},{"date_updated":"2023-08-09T07:25:27Z","file_name":"Thesis_AnnaFranschitz_202308.docx","file_id":"13987","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","file_size":2619085,"checksum":"40abf7ccca14a3893f72dc7fb88585d6","creator":"afransch","date_created":"2023-08-08T18:02:25Z","relation":"source_file"},{"checksum":"8b991ecc2d59d045cc3cf0d676785ec7","creator":"cchlebak","date_created":"2024-03-01T08:37:15Z","relation":"erratum","embargo":"2024-08-08","embargo_to":"open_access","date_updated":"2024-03-01T12:13:29Z","file_name":"Addendum_AnnaFranschitz202402.pdf","title":"Addendum","file_id":"15042","description":"Minor modifications and clarifications - Feb 2024","content_type":"application/pdf","access_level":"closed","file_size":85956},{"checksum":"66745aa01f960f17472c024875c049ed","creator":"cchlebak","date_created":"2024-03-01T08:39:20Z","relation":"source_file","file_name":"Addendum_AnnaFranschitz202402.docx","date_updated":"2024-03-01T08:51:42Z","title":"Addendum - source file","file_id":"15043","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","file_size":11818},{"file_name":"Print_Version_Franschitz_Anna_Thesis.pdf","date_updated":"2024-03-01T12:58:14Z","title":"Print Version","description":"For printing purposes","content_type":"application/pdf","file_id":"15044","file_size":10416761,"access_level":"closed","checksum":"55c876b73d49db15228a7f571592ec77","creator":"cchlebak","relation":"other","date_created":"2024-03-01T08:56:06Z"}],"abstract":[{"lang":"eng","text":"Social insects fight disease using their individual immune systems and the cooperative\r\nsanitary behaviors of colony members. These social defenses are well explored against\r\nexternally-infecting pathogens, but little is known about defense strategies against\r\ninternally-infecting pathogens, such as viruses. Viruses are ubiquitous and in the last decades\r\nit has become evident that also many ant species harbor viruses. We present one of the first\r\nstudies addressing transmission dynamics and collective disease defenses against viruses in\r\nants on a mechanistic level. I successfully established an experimental ant host – viral\r\npathogen system as a model for the defense strategies used by social insects against internal\r\npathogen infections, as outlined in the third chapter. In particular, we studied how garden ants\r\n(Lasius neglectus) defend themselves and their colonies against the generalist insect virus\r\nCrPV (cricket paralysis virus). We chose microinjections of virus directly into the ants’\r\nhemolymph because it allowed us to use a defined exposure dose. Here we show that this is a\r\ngood model system, as the virus is replicating and thus infecting the host. The ants mount a\r\nclear individual immune response against the viral infection, which is characterized by a\r\nspecific siRNA pattern, namely siRNAs mapping against the viral genome with a peak of 21\r\nand 22 bp long fragments. The onset of this immune response is consistent with the timeline\r\nof viral replication that starts already within two days post injection. The disease manifests in\r\ndecreased survival over a course of two to three weeks.\r\nRegarding group living, we find that infected ants show a strong individual immune response,\r\nbut that their course of disease is little affected by nestmate presence, as described in chapter\r\nfour. Hence, we do not find social immunity in the context of viral infections in ants.\r\nNestmates, however, can contract the virus. Using Drosophila S2R+ cells in culture, we\r\nshowed that 94 % of the nestmates contract active virus within four days of social contact to\r\nan infected individual. Virus is transmitted in low doses, thus not causing disease\r\ntransmission within the colony. While virus can be transmitted during short direct contacts,\r\nwe also assume transmission from deceased ants and show that the nestmates’ immune\r\nsystem gets activated after contracting a low viral dose. We find considerable potential for\r\nindirect transmission via the nest space. Virus is shed to the nest, where it stays viable for one\r\nweek and is also picked up by other ants. Apart from that, we want to underline the potential\r\nof ant poison as antiviral agent. We determined that ant poison successfully inactivates CrPV\r\nin vitro. However, we found no evidence for effective poison use to sanitize the nest space.\r\nOn the other hand, local application of ant poison by oral poison uptake, which is part of the\r\nants prophylactic behavioral repertoire, probably contributes to keeping the gut of each\r\nindividual sanitized. We hypothesize that oral poison uptake might be the reason why we did\r\nnot find viable virus in the trophallactic fluid.\r\nThe fifth chapter encompasses preliminary data on potential social immunization. However,\r\nour experiments do not confirm an actual survival benefit for the nestmates upon pathogen\r\nchallenge under the given experimental settings. Nevertheless, we do not want to rule out the\r\npossibility for nestmate immunization, but rather emphasize that considering different\r\nexperimental timelines and viral doses would provide a multitude of options for follow-up\r\nexperiments.\r\nIn conclusion, we find that prophylactic individual behaviors, such as oral poison uptake,\r\nmight play a role in preventing viral disease transmission. Compared to colony defense\r\nagainst external pathogens, internal pathogen infections require a stronger component of\r\nindividual physiological immunity than behavioral social immunity, yet could still lead to\r\ncollective protection."}],"ddc":["570","577"],"date_published":"2023-08-08T00:00:00Z","status":"public","has_accepted_license":"1","article_processing_charge":"No","month":"08","author":[{"first_name":"Anna","id":"480826C8-F248-11E8-B48F-1D18A9856A87","last_name":"Franschitz","full_name":"Franschitz, Anna"}],"department":[{"_id":"GradSch"},{"_id":"SyCr"}],"citation":{"ieee":"A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.","mla":"Franschitz, Anna. <i>Individual and Social Immunity against Viral Infections in Ants</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13984\">10.15479/at:ista:13984</a>.","ama":"Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13984\">10.15479/at:ista:13984</a>","chicago":"Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13984\">https://doi.org/10.15479/at:ista:13984</a>.","ista":"Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.","apa":"Franschitz, A. (2023). <i>Individual and social immunity against viral infections in ants</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13984\">https://doi.org/10.15479/at:ista:13984</a>","short":"A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023."},"date_updated":"2024-03-01T15:25:17Z","_id":"13984","file_date_updated":"2024-03-01T12:58:14Z","date_created":"2023-08-08T15:33:29Z","alternative_title":["ISTA Thesis"],"publication_status":"published","title":"Individual and social immunity against viral infections in ants","day":"08","year":"2023","supervisor":[{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","first_name":"Sylvia","full_name":"Cremer, Sylvia","last_name":"Cremer"}]}]