[{"year":"2023","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_number":"168","isi":1,"keyword":["Computer Graphics and Computer-Aided Design"],"language":[{"iso":"eng"}],"file_date_updated":"2023-12-04T08:04:14Z","has_accepted_license":"1","doi":"10.1145/3605389","_id":"14628","scopus_import":"1","issue":"5","acknowledgement":"The authors thank Mina Konaković Luković and Michael Foshey for their early contributions to this project, David Palmer and Paul Zhang for their insightful discussions about minimal surfaces and the CSCM, Julian Panetta for providing the Elastic Textures code, and Hannes Hergeth for his feedback and support. We also thank our user study participants and anonymous reviewers.\r\nThis material is based upon work supported by the National Science Foundation\r\n(NSF) Graduate Research Fellowship under Grant No. 2141064; the MIT Morningside\r\nAcademy for Design Fellowship; the Defense Advanced Research Projects Agency\r\n(DARPA) Grant No. FA8750-20-C-0075; the ERC Consolidator Grant No. 101045083,\r\n“CoDiNA: Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena”; and the NewSat project, which is co-funded by the Operational Program for Competitiveness and Internationalisation (COMPETE2020), Portugal 2020, the European Regional Development Fund (ERDF), and the Portuguese Foundation for Science and Technology (FTC) under the MIT Portugal program.","date_created":"2023-11-29T15:02:03Z","department":[{"_id":"GradSch"},{"_id":"ChWo"},{"_id":"BeBi"}],"author":[{"first_name":"Liane","last_name":"Makatura","full_name":"Makatura, Liane"},{"first_name":"Bohan","full_name":"Wang, Bohan","last_name":"Wang"},{"first_name":"Yi-Lu","full_name":"Chen, Yi-Lu","last_name":"Chen","id":"0b467602-dbcd-11ea-9d1d-ed480aa46b70"},{"full_name":"Deng, Bolei","last_name":"Deng","first_name":"Bolei"},{"orcid":"0000-0001-6646-5546","first_name":"Christopher J","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","last_name":"Wojtan"},{"last_name":"Bickel","id":"49876194-F248-11E8-B48F-1D18A9856A87","full_name":"Bickel, Bernd","first_name":"Bernd","orcid":"0000-0001-6511-9385"},{"last_name":"Matusik","full_name":"Matusik, Wojciech","first_name":"Wojciech"}],"date_published":"2023-10-01T00:00:00Z","article_processing_charge":"Yes (in subscription journal)","oa_version":"Published Version","date_updated":"2025-09-09T13:33:58Z","day":"01","publication_status":"published","publication":"ACM Transactions on Graphics","status":"public","abstract":[{"lang":"eng","text":"We introduce a compact, intuitive procedural graph representation for cellular metamaterials, which are small-scale, tileable structures that can be architected to exhibit many useful material properties. Because the structures’ “architectures” vary widely—with elements such as beams, thin shells, and solid bulks—it is difficult to explore them using existing representations. Generic approaches like voxel grids are versatile, but it is cumbersome to represent and edit individual structures; architecture-specific approaches address these issues, but are incompatible with one another. By contrast, our procedural graph succinctly represents the construction process for any structure using a simple skeleton annotated with spatially varying thickness. To express the highly constrained triply periodic minimal surfaces (TPMS) in this manner, we present the first fully automated version of the conjugate surface construction method, which allows novices to create complex TPMS from intuitive input. We demonstrate our representation’s expressiveness, accuracy, and compactness by constructing a wide range of established structures and hundreds of novel structures with diverse architectures and material properties. We also conduct a user study to verify our representation’s ease-of-use and ability to expand engineers’ capacity for exploration."}],"title":"Procedural metamaterials: A unified procedural graph for metamaterial design","ddc":["531","006"],"article_type":"original","project":[{"name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083","_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088"}],"citation":{"apa":"Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., &#38; Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3605389\">https://doi.org/10.1145/3605389</a>","ama":"Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural graph for metamaterial design. <i>ACM Transactions on Graphics</i>. 2023;42(5). doi:<a href=\"https://doi.org/10.1145/3605389\">10.1145/3605389</a>","short":"L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).","mla":"Makatura, Liane, et al. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” <i>ACM Transactions on Graphics</i>, vol. 42, no. 5, 168, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3605389\">10.1145/3605389</a>.","ista":"Makatura L, Wang B, Chen Y-L, Deng B, Wojtan C, Bickel B, Matusik W. 2023. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 42(5), 168.","chicago":"Makatura, Liane, Bohan Wang, Yi-Lu Chen, Bolei Deng, Chris Wojtan, Bernd Bickel, and Wojciech Matusik. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3605389\">https://doi.org/10.1145/3605389</a>.","ieee":"L. Makatura <i>et al.</i>, “Procedural metamaterials: A unified procedural graph for metamaterial design,” <i>ACM Transactions on Graphics</i>, vol. 42, no. 5. Association for Computing Machinery, 2023."},"file":[{"checksum":"0192f597d7a2ceaf89baddfd6190d4c8","file_name":"tog-22-0089-File004.zip","file_id":"14630","creator":"yichen","content_type":"application/zip","date_created":"2023-11-29T15:16:01Z","relation":"main_file","success":1,"date_updated":"2023-11-29T15:16:01Z","access_level":"open_access","file_size":95467870},{"creator":"yichen","date_created":"2023-11-29T15:16:01Z","content_type":"application/zip","checksum":"7fb024963be81933494f38de191e4710","file_name":"tog-22-0089-File005.zip","file_id":"14631","access_level":"open_access","file_size":103731880,"date_updated":"2023-11-29T15:16:01Z","relation":"main_file","success":1},{"creator":"dernst","date_created":"2023-12-04T08:04:14Z","content_type":"application/pdf","file_name":"2023_ACMToG_Makatura.pdf","checksum":"b7d6829ce396e21cac9fae0ec7130a6b","file_id":"14638","date_updated":"2023-12-04T08:04:14Z","access_level":"open_access","file_size":57067476,"relation":"main_file","success":1}],"type":"journal_article","month":"10","external_id":{"isi":["001086833300007"]},"quality_controlled":"1","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"intvolume":"        42","volume":42,"publisher":"Association for Computing Machinery","oa":1},{"author":[{"first_name":"Louise S","orcid":"0000-0003-1771-714X","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","last_name":"Arathoon","full_name":"Arathoon, Louise S"}],"department":[{"_id":"GradSch"},{"_id":"NiBa"}],"date_created":"2023-12-11T19:30:37Z","_id":"14651","has_accepted_license":"1","doi":"10.15479/at:ista:14651","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-12-14T08:58:18Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"status":"public","id":"11411","relation":"part_of_dissertation"}]},"year":"2023","supervisor":[{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"}],"degree_awarded":"PhD","page":"96","month":"12","type":"dissertation","publisher":"Institute of Science and Technology Austria","oa":1,"publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"}],"citation":{"ieee":"L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023.","ista":"Arathoon LS. 2023. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria.","chicago":"Arathoon, Louise S. “Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14651\">https://doi.org/10.15479/at:ista:14651</a>.","mla":"Arathoon, Louise S. <i>Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14651\">10.15479/at:ista:14651</a>.","short":"L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.","ama":"Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14651\">10.15479/at:ista:14651</a>","apa":"Arathoon, L. S. (2023). <i>Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14651\">https://doi.org/10.15479/at:ista:14651</a>"},"file":[{"success":1,"relation":"main_file","date_updated":"2023-12-13T15:37:55Z","file_size":34101468,"access_level":"open_access","file_id":"14684","file_name":"Phd_Thesis_LA.pdf","checksum":"520bdb61e95e66070e02824947d2c5fa","date_created":"2023-12-13T15:37:55Z","content_type":"application/pdf","creator":"larathoo"},{"file_id":"14685","file_name":"Phd_Thesis_LA.zip","checksum":"d8e59afd0817c98fba2564a264508e5c","date_created":"2023-12-13T15:42:23Z","content_type":"application/zip","creator":"larathoo","relation":"source_file","access_level":"closed","file_size":31052872,"date_updated":"2023-12-14T08:58:18Z"},{"date_created":"2023-12-11T19:24:59Z","content_type":"application/zip","creator":"larathoo","file_id":"14681","file_name":"Supplementary_Materials.zip","checksum":"9a778c949932286f4519e1f1fca2820d","date_updated":"2023-12-14T08:58:18Z","file_size":10713896,"access_level":"closed","relation":"supplementary_material"}],"ec_funded":1,"abstract":[{"text":"For self-incompatibility (SI) to be stable in a population, theory predicts that sufficient inbreeding depression (ID) is required: the fitness of offspring from self-mated individuals must be low enough to prevent the spread of self-compatibility (SC). Reviews of natural plant populations have supported this theory, with SI species generally showing high levels of ID. However, there is thought to be an under-sampling of self-incompatible taxa in the current literature. In this thesis, I study inbreeding depression in the SI plant species Antirrhinum majus using both greenhouse crosses and a large collected field dataset. Additionally, the gametophytic S-locus of A. majus is highly heterozygous and polymorphic, thus making assembly and discovery of S-alleles very difficult. Here, 206 new alleles of the male component SLFs are presented, along with a phylogeny showing the high conservation with alleles from another Antirrhinum species. Lastly, selected sites within the protein structure of SLFs are investigated, with one site in particular highlighted as potentially being involved in the SI recognition mechanism.","lang":"eng"}],"title":"Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus","ddc":["570"],"oa_version":"Published Version","acknowledged_ssus":[{"_id":"ScienComp"}],"date_updated":"2026-04-07T13:28:30Z","alternative_title":["ISTA Thesis"],"day":"12","date_published":"2023-12-12T00:00:00Z","article_processing_charge":"No","status":"public","publication_status":"published"},{"scopus_import":"1","acknowledgement":"Eleftherios Kokoris-Kogias is partially supported by Austrian Science Fund (FWF) grant No: F8512-N.","doi":"10.1007/978-3-031-47754-6_1","_id":"14735","date_created":"2024-01-08T09:17:38Z","department":[{"_id":"ElKo"},{"_id":"GradSch"}],"author":[{"first_name":"Christos","last_name":"Stefo","id":"a20e8902-32b0-11ee-9fa8-b23fa638b793","full_name":"Stefo, Christos"},{"first_name":"Zhuolun","last_name":"Xiang","full_name":"Xiang, Zhuolun"},{"full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios"}],"year":"2023","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","corr_author":"1","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2022/1554"}],"language":[{"iso":"eng"}],"citation":{"short":"C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.","mla":"Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.” <i>27th International Conference on Financial Cryptography and Data Security</i>, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:<a href=\"https://doi.org/10.1007/978-3-031-47754-6_1\">10.1007/978-3-031-47754-6_1</a>.","ista":"Stefo C, Xiang Z, Kokoris Kogias E. 2023. Executing and proving over dirty ledgers. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 3–20.","chicago":"Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.” In <i>27th International Conference on Financial Cryptography and Data Security</i>, 13950:3–20. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-47754-6_1\">https://doi.org/10.1007/978-3-031-47754-6_1</a>.","ieee":"C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in <i>27th International Conference on Financial Cryptography and Data Security</i>, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.","apa":"Stefo, C., Xiang, Z., &#38; Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In <i>27th International Conference on Financial Cryptography and Data Security</i> (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-47754-6_1\">https://doi.org/10.1007/978-3-031-47754-6_1</a>","ama":"Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: <i>27th International Conference on Financial Cryptography and Data Security</i>. Vol 13950. Springer Nature; 2023:3-20. doi:<a href=\"https://doi.org/10.1007/978-3-031-47754-6_1\">10.1007/978-3-031-47754-6_1</a>"},"project":[{"grant_number":"F8512","_id":"34a4ce89-11ca-11ed-8bc3-8cc37fb6e11f","name":"Security and Privacy by Design for Complex Systems"}],"conference":{"end_date":"2023-05-05","start_date":"2023-05-01","name":"FC: Financial Cryptography and Data Security","location":"Bol, Brac, Croatia"},"intvolume":"     13950","publication_identifier":{"issn":["1611-3349"],"eisbn":["9783031477546"],"eissn":["0302-9743"],"isbn":["9783031477539"]},"publisher":"Springer Nature","volume":13950,"oa":1,"month":"12","type":"conference","external_id":{"isi":["001150222600001"]},"page":"3-20","quality_controlled":"1","publication_status":"published","publication":"27th International Conference on Financial Cryptography and Data Security","status":"public","article_processing_charge":"No","date_published":"2023-12-01T00:00:00Z","date_updated":"2025-09-09T14:07:16Z","alternative_title":["LNCS"],"day":"01","oa_version":"Preprint","title":"Executing and proving over dirty ledgers","abstract":[{"lang":"eng","text":"Scaling blockchain protocols to perform on par with the expected needs of Web3.0 has been proven to be a challenging task with almost a decade of research. In the forefront of the current solution is the idea of separating the execution of the updates encoded in a block from the ordering of blocks. In order to achieve this, a new class of protocols called rollups has emerged. Rollups have as input a total ordering of valid and invalid transactions and as output a new valid state-transition.\r\nIf we study rollups from a distributed computing perspective, we uncover that rollups take as input the output of a Byzantine Atomic Broadcast (BAB) protocol and convert it to a State Machine Replication (SMR) protocol. BAB and SMR, however, are considered equivalent as far as distributed computing is concerned and a solution to one can easily be retrofitted to solve the other simply by adding/removing an execution step before the validation of the input.\r\nThis “easy” step of retrofitting an atomic broadcast solution to implement an SMR has, however, been overlooked in practice. In this paper, we formalize the problem and show that after BAB is solved, traditional impossibility results for consensus no longer apply towards an SMR. Leveraging this we propose a distributed execution protocol that allows reduced execution and storage cost per executor (O(log2n/n)) without relaxing the network assumptions of the underlying BAB protocol and providing censorship-resistance. Finally, we propose efficient non-interactive light client constructions that leverage our efficient execution protocols and do not require any synchrony assumptions or expensive ZK-proofs."}]},{"publication_status":"published","status":"public","publication":"Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation","article_processing_charge":"No","date_published":"2023-08-01T00:00:00Z","day":"01","date_updated":"2025-04-14T12:58:27Z","oa_version":"None","ddc":["005","531"],"title":"Unified treatment of contact, friction and shock-propagation in rigid body animation","abstract":[{"lang":"eng","text":"We present a rigid body animation technique which prevents solids from interpenetrating, dissipates energy through friction, and propagates shocks through contacts. We employ the Alternating Direction Method of Multipliers (ADMM) to couple non-smooth Coulomb friction with impact propagation, allowing efficient and accurate non-smooth dynamics along with a correct transmission of impacts through assemblies of rigid bodies. We further extend our method to model adhesion, dynamic friction and lubricated contact."}],"file":[{"file_id":"15293","file_name":"video.mp4","checksum":"88bdef929ca262ee0eefae0bbc649139","date_created":"2024-04-03T14:58:24Z","content_type":"video/mp4","creator":"yichen","success":1,"relation":"main_file","access_level":"open_access","file_size":58770929,"date_updated":"2024-04-03T14:58:24Z"},{"relation":"main_file","success":1,"access_level":"open_access","file_size":3951968,"date_updated":"2024-04-03T14:58:23Z","checksum":"c06881ba847da365a74ac09c953eaffd","file_name":"frictionPoster_clean.pdf","file_id":"15294","creator":"yichen","content_type":"application/pdf","date_created":"2024-04-03T14:58:23Z"}],"citation":{"ama":"Chen Y-L, Ly M, Wojtan C. <i>Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation</i>. ACM; 2023. doi:<a href=\"https://doi.org/10.1145/3606037.3606836\">10.1145/3606037.3606836</a>","apa":"Chen, Y.-L., Ly, M., &#38; Wojtan, C. (2023). <i>Unified treatment of contact, friction and shock-propagation in rigid body animation</i>. <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>. Los Angeles, CA, United States: ACM. <a href=\"https://doi.org/10.1145/3606037.3606836\">https://doi.org/10.1145/3606037.3606836</a>","ieee":"Y.-L. Chen, M. Ly, and C. Wojtan, <i>Unified treatment of contact, friction and shock-propagation in rigid body animation</i>. ACM, 2023.","chicago":"Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. <i>Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation</i>. <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>. ACM, 2023. <a href=\"https://doi.org/10.1145/3606037.3606836\">https://doi.org/10.1145/3606037.3606836</a>.","ista":"Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.","mla":"Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>, ACM, 2023, doi:<a href=\"https://doi.org/10.1145/3606037.3606836\">10.1145/3606037.3606836</a>.","short":"Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023."},"project":[{"_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088","grant_number":"101045083","name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena"}],"conference":{"start_date":"2023-08-04","end_date":"2023-08-06","name":"SCA: Symposium on Computer Animation","location":"Los Angeles, CA, United States"},"oa":1,"publisher":"ACM","month":"08","type":"conference_poster","year":"2023","related_material":{"record":[{"id":"14748","relation":"other","status":"public"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2024-04-03T14:58:24Z","corr_author":"1","language":[{"iso":"eng"}],"acknowledgement":"We thank the anonymous reviewers and the members of the Visual Computing Group at ISTA for their helpful comments. This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing, and was funded in part by the European Union (ERC-2021-COG 101045083 CoDiNA)","doi":"10.1145/3606037.3606836","has_accepted_license":"1","_id":"15292","date_created":"2024-04-03T14:57:23Z","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"author":[{"id":"0b467602-dbcd-11ea-9d1d-ed480aa46b70","last_name":"Chen","full_name":"Chen, Yi-Lu","first_name":"Yi-Lu"},{"first_name":"Mickaël","full_name":"Ly, Mickaël","id":"6340d7f0-b48d-11eb-b10d-b7487e71d9f1","last_name":"Ly"},{"last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","full_name":"Wojtan, Christopher J","first_name":"Christopher J","orcid":"0000-0001-6646-5546"}]},{"status":"public","publication_status":"draft","publication":"arXiv","article_processing_charge":"No","date_published":"2023-09-20T00:00:00Z","oa_version":"Preprint","day":"20","date_updated":"2025-11-24T13:53:48Z","title":"Multivariate Dirichlet moments and a polychromatic Ewens sampling formula","abstract":[{"lang":"eng","text":"We present an elementary non-recursive formula for the multivariate moments\r\nof the Dirichlet distribution on the standard simplex, in terms of the pattern\r\ninventory of the moments' exponents. We obtain analog formulas for the\r\nmultivariate moments of the Dirichlet-Ferguson and Gamma measures. We further\r\nintroduce a polychromatic analogue of Ewens sampling formula on colored integer\r\npartitions, discuss its relation with suitable extensions of Hoppe's urn model\r\nand of the Chinese restaurant process, and prove that it satisfies an adapted\r\nnotion of consistency in the sense of Kingman."}],"arxiv":1,"citation":{"apa":"Dello Schiavo, L., &#38; Quattrocchi, F. (n.d.). Multivariate Dirichlet moments and a polychromatic Ewens sampling formula. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2309.11292\">https://doi.org/10.48550/arXiv.2309.11292</a>","ama":"Dello Schiavo L, Quattrocchi F. Multivariate Dirichlet moments and a polychromatic Ewens sampling formula. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2309.11292\">10.48550/arXiv.2309.11292</a>","mla":"Dello Schiavo, Lorenzo, and Filippo Quattrocchi. “Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula.” <i>ArXiv</i>, 2309.11292, doi:<a href=\"https://doi.org/10.48550/arXiv.2309.11292\">10.48550/arXiv.2309.11292</a>.","short":"L. Dello Schiavo, F. Quattrocchi, ArXiv (n.d.).","ieee":"L. Dello Schiavo and F. Quattrocchi, “Multivariate Dirichlet moments and a polychromatic Ewens sampling formula,” <i>arXiv</i>. .","chicago":"Dello Schiavo, Lorenzo, and Filippo Quattrocchi. “Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2309.11292\">https://doi.org/10.48550/arXiv.2309.11292</a>.","ista":"Dello Schiavo L, Quattrocchi F. Multivariate Dirichlet moments and a polychromatic Ewens sampling formula. arXiv, 2309.11292."},"project":[{"grant_number":"E208","_id":"34dbf174-11ca-11ed-8bc3-afe9d43d4b9c","name":"Configuration Spaces over Non-Smooth Spaces"},{"_id":"260482E2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"F06504","name":"Taming Complexity in Partial Differential Systems"}],"OA_place":"repository","oa":1,"external_id":{"arxiv":["2309.11292"]},"month":"09","type":"preprint","keyword":["Dirichlet distribution","Ewens sampling formula","Hoppe urn model","colored partitions"],"year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2309.11292","OA_type":"green","corr_author":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2309.11292","open_access":"1"}],"language":[{"iso":"eng"}],"acknowledgement":"This research was funded by the Austrian Science Fund (FWF) ESPRIT 208. For the purpose of open access, the authors have applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission. F.Q. gratefully acknowledges support by the Austrian Science Fund (FWF), Project SFB F65. The authors are grateful to Professor Nathanaël Berestycki for several helpful suggestions, and to Nicola Battisti and Dr. Elizabeth Hollwey for enlightening discussions on DNA-methylation.","doi":"10.48550/arXiv.2309.11292","_id":"20572","date_created":"2025-10-28T13:13:08Z","department":[{"_id":"GradSch"},{"_id":"JaMa"}],"author":[{"orcid":"0000-0002-9881-6870","first_name":"Lorenzo","full_name":"Dello Schiavo, Lorenzo","last_name":"Dello Schiavo","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E"},{"first_name":"Filippo","orcid":"0009-0000-9773-1931","id":"3ebd6ba8-edfb-11eb-afb5-91a9745ba308","last_name":"Quattrocchi","full_name":"Quattrocchi, Filippo"}]},{"date_created":"2024-01-22T12:08:12Z","department":[{"_id":"CaMu"},{"_id":"GradSch"}],"author":[{"id":"74c777f4-32da-11ee-b498-874db0835561","last_name":"Polesello","full_name":"Polesello, Andrea","first_name":"Andrea"},{"id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","last_name":"Muller","full_name":"Muller, Caroline J","first_name":"Caroline J","orcid":"0000-0001-5836-5350"},{"first_name":"Claudia","full_name":"Pasquero, Claudia","last_name":"Pasquero"},{"first_name":"Agostino N.","last_name":"Meroni","full_name":"Meroni, Agostino N."}],"has_accepted_license":"1","doi":"10.5194/egusphere-egu23-6157","_id":"14863","language":[{"iso":"eng"}],"file_date_updated":"2024-01-24T11:19:54Z","corr_author":"1","year":"2023","article_number":"EGU23-6157","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","license":"https://creativecommons.org/licenses/by/4.0/","type":"conference_abstract","month":"04","conference":{"end_date":"2023-04-28","start_date":"2023-04-23","name":"EGU General Assembly","location":"Vienna, Austria & Virtual"},"publisher":"European Geosciences Union","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"oa":1,"file":[{"creator":"dernst","content_type":"application/pdf","date_created":"2024-01-24T11:19:54Z","file_name":"2023_EGU_Polesello.pdf","checksum":"8cb88c1bc80ccee328478a62064d98f7","file_id":"14883","file_size":296769,"access_level":"open_access","date_updated":"2024-01-24T11:19:54Z","relation":"main_file","success":1}],"citation":{"ama":"Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: <i>EGU General Assembly 2023</i>. European Geosciences Union; 2023. doi:<a href=\"https://doi.org/10.5194/egusphere-egu23-6157\">10.5194/egusphere-egu23-6157</a>","apa":"Polesello, A., Muller, C. J., Pasquero, C., &#38; Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In <i>EGU General Assembly 2023</i>. Vienna, Austria &#38; Virtual: European Geosciences Union. <a href=\"https://doi.org/10.5194/egusphere-egu23-6157\">https://doi.org/10.5194/egusphere-egu23-6157</a>","ista":"Polesello A, Muller CJ, Pasquero C, Meroni AN. 2023. Intensification mechanisms of tropical cyclones. EGU General Assembly 2023. EGU General Assembly, EGU23-6157.","chicago":"Polesello, Andrea, Caroline J Muller, Claudia Pasquero, and Agostino N. Meroni. “Intensification Mechanisms of Tropical Cyclones.” In <i>EGU General Assembly 2023</i>. European Geosciences Union, 2023. <a href=\"https://doi.org/10.5194/egusphere-egu23-6157\">https://doi.org/10.5194/egusphere-egu23-6157</a>.","ieee":"A. Polesello, C. J. Muller, C. Pasquero, and A. N. Meroni, “Intensification mechanisms of tropical cyclones,” in <i>EGU General Assembly 2023</i>, Vienna, Austria &#38; Virtual, 2023.","short":"A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.","mla":"Polesello, Andrea, et al. “Intensification Mechanisms of Tropical Cyclones.” <i>EGU General Assembly 2023</i>, EGU23-6157, European Geosciences Union, 2023, doi:<a href=\"https://doi.org/10.5194/egusphere-egu23-6157\">10.5194/egusphere-egu23-6157</a>."},"ddc":["550"],"title":"Intensification mechanisms of tropical cyclones","article_processing_charge":"No","date_published":"2023-04-13T00:00:00Z","day":"13","date_updated":"2026-07-02T06:42:45Z","oa_version":"Published Version","publication":"EGU General Assembly 2023","publication_status":"published","status":"public"},{"ddc":["546","541"],"title":"Nanoparticle-based semiconductor solids: From synthesis to consolidation","abstract":[{"text":"High-performance semiconductors rely upon precise control of heat and charge transport. This can be achieved by precisely engineering defects in polycrystalline solids. There are multiple approaches to preparing such polycrystalline semiconductors, and the transformation of solution-processed colloidal nanoparticles is appealing because colloidal nanoparticles combine low cost with structural and compositional tunability along with rich surface chemistry. However, the multiple processes from nanoparticle synthesis to the final bulk nanocomposites are very complex. They involve nanoparticle purification, post-synthetic modifications, and finally consolidation (thermal treatments and densification). All these properties dictate the final material’s composition and microstructure, ultimately affecting its functional properties. This thesis explores the synthesis, surface chemistry and consolidation of colloidal semiconductor nanoparticles into dense solids. In particular, the transformations that take place during these processes, and their effect on the material’s transport properties are evaluated. ","lang":"eng"}],"ec_funded":1,"publication_status":"published","status":"public","date_published":"2023-04-28T00:00:00Z","article_processing_charge":"No","alternative_title":["ISTA Thesis"],"day":"28","date_updated":"2026-07-06T12:16:05Z","oa_version":"Published Version","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"NanoFab"}],"OA_place":"publisher","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-028-2"]},"oa":1,"publisher":"Institute of Science and Technology Austria","type":"dissertation","month":"04","page":"82","file":[{"checksum":"9347b0e09425f56fdcede5d3528404dc","file_name":"Thesis_Calcabrini.docx","file_id":"12887","creator":"mcalcabr","date_created":"2023-05-02T07:43:18Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","relation":"source_file","date_updated":"2023-05-02T07:43:18Z","file_size":99627036,"access_level":"closed"},{"relation":"main_file","success":1,"file_size":8742220,"access_level":"open_access","date_updated":"2023-05-02T07:42:45Z","file_name":"Thesis_Calcabrini_pdfa.pdf","checksum":"2d188b76621086cd384f0b9264b0a576","file_id":"12888","creator":"mcalcabr","content_type":"application/pdf","date_created":"2023-05-02T07:42:45Z"}],"citation":{"ieee":"M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.","chicago":"Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12885\">https://doi.org/10.15479/at:ista:12885</a>.","ista":"Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.","mla":"Calcabrini, Mariano. <i>Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12885\">10.15479/at:ista:12885</a>.","short":"M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.","ama":"Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12885\">10.15479/at:ista:12885</a>","apa":"Calcabrini, M. (2023). <i>Nanoparticle-based semiconductor solids: From synthesis to consolidation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12885\">https://doi.org/10.15479/at:ista:12885</a>"},"project":[{"call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"}],"file_date_updated":"2023-05-02T07:43:18Z","corr_author":"1","language":[{"iso":"eng"}],"degree_awarded":"PhD","supervisor":[{"first_name":"Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","full_name":"Ibáñez, Maria"}],"year":"2023","related_material":{"record":[{"relation":"part_of_dissertation","id":"12237","status":"public"},{"relation":"part_of_dissertation","id":"10806","status":"public"},{"id":"10123","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"9118"},{"relation":"part_of_dissertation","id":"10042","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_created":"2023-05-02T07:58:57Z","department":[{"_id":"GradSch"},{"_id":"MaIb"}],"author":[{"id":"45D7531A-F248-11E8-B48F-1D18A9856A87","last_name":"Calcabrini","full_name":"Calcabrini, Mariano","first_name":"Mariano","orcid":"0000-0003-4566-5877"}],"doi":"10.15479/at:ista:12885","has_accepted_license":"1","_id":"12885"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"year":"2023","related_material":{"record":[{"relation":"research_data","id":"14995","status":"public"}]},"das_tickbox":"1","file_date_updated":"2023-09-06T08:16:25Z","language":[{"iso":"eng"}],"scopus_import":"1","_id":"14260","has_accepted_license":"1","doi":"10.1007/978-3-031-37706-8_8","author":[{"first_name":"Nikita","full_name":"Koval, Nikita","last_name":"Koval","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Fedorov, Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","last_name":"Fedorov","first_name":"Alexander"},{"full_name":"Sokolova, Maria","last_name":"Sokolova","first_name":"Maria"},{"last_name":"Tsitelov","full_name":"Tsitelov, Dmitry","first_name":"Dmitry"},{"first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"}],"date_created":"2023-09-03T22:01:16Z","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"status":"public","publication":"35th International Conference on Computer Aided Verification","publication_status":"published","oa_version":"Published Version","date_updated":"2026-07-07T13:39:36Z","day":"17","alternative_title":["LNCS"],"article_processing_charge":"Yes (in subscription journal)","date_published":"2023-07-17T00:00:00Z","title":"Lincheck: A practical framework for testing concurrent data structures on JVM","ddc":["000"],"abstract":[{"text":"This paper presents Lincheck, a new practical and user-friendly framework for testing concurrent algorithms on the Java Virtual Machine (JVM). Lincheck provides a simple and declarative way to write concurrent tests: instead of describing how to perform the test, users specify what to test by declaring all the operations to examine; the framework automatically handles the rest. As a result, tests written with Lincheck are concise and easy to understand. The framework automatically generates a set of concurrent scenarios, examines them using stress-testing or bounded model checking, and verifies that the results of each invocation are correct. Notably, if an error is detected via model checking, Lincheck provides an easy-to-follow trace to reproduce it, significantly simplifying the bug investigation.\r\n\r\nTo the best of our knowledge, Lincheck is the first production-ready tool on the JVM that offers such a simple way of writing concurrent tests, without requiring special skills or expertise. We successfully integrated Lincheck in the development process of several large projects, such as Kotlin Coroutines, and identified new bugs in popular concurrency libraries, such as a race in Java’s standard ConcurrentLinkedDeque and a liveliness bug in Java’s AbstractQueuedSynchronizer framework, which is used in most of the synchronization primitives. We believe that Lincheck can significantly improve the quality and productivity of concurrent algorithms research and development and become the state-of-the-art tool for checking their correctness.","lang":"eng"}],"citation":{"chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In <i>35th International Conference on Computer Aided Verification</i>, 13964:156–69. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>.","ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in <i>35th International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13964, pp. 156–169.","short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 156–169.","mla":"Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” <i>35th International Conference on Computer Aided Verification</i>, vol. 13964, Springer Nature, 2023, pp. 156–69, doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</a>.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: <i>35th International Conference on Computer Aided Verification</i>. Vol 13964. Springer Nature; 2023:156-169. doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</a>","apa":"Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &#38; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In <i>35th International Conference on Computer Aided Verification</i> (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>"},"file":[{"success":1,"relation":"main_file","file_size":421408,"access_level":"open_access","date_updated":"2023-09-06T08:16:25Z","file_id":"14275","checksum":"c346016393123a0a2338ad4d976f61bc","file_name":"2023_LNCS_Koval.pdf","content_type":"application/pdf","date_created":"2023-09-06T08:16:25Z","creator":"dernst"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":13964,"oa":1,"publisher":"Springer Nature","publication_identifier":{"isbn":["9783031377051"],"eissn":["1611-3349"],"issn":["0302-9743"]},"conference":{"end_date":"2023-07-22","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","location":"Paris, France"},"intvolume":"     13964","quality_controlled":"1","page":"156-169","type":"conference","month":"07","external_id":{"isi":["001310786500008"]}},{"language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-11-22T09:46:06Z","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","year":"2023","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"10851"},{"relation":"part_of_dissertation","id":"13264","status":"public"}]},"supervisor":[{"full_name":"Higginbotham, Andrew P","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","last_name":"Higginbotham","orcid":"0000-0003-2607-2363","first_name":"Andrew P"}],"keyword":["superconductor-semiconductor","superconductivity","Al","InAs","p-wave","superconductivity","JPA","microwave"],"degree_awarded":"PhD","author":[{"first_name":"Duc T","full_name":"Phan, Duc T","last_name":"Phan","id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"GradSch"},{"_id":"AnHi"}],"date_created":"2023-11-17T13:45:26Z","_id":"14547","has_accepted_license":"1","doi":"10.15479/14547","abstract":[{"text":"Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation.\r\nDespite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood.\r\n\r\nIn this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. \r\nThe second focuses on a technological application, a gate-tunable Josephson parametric amplifier.\r\n\r\nIn the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well.\r\nWe embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance.\r\nThe behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \\pm ip$ pairing in InAs.\r\nMeasuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory.\r\nWe observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory.\r\nIn contrast, the data can be captured quantitatively by fitting to a two-component model.\r\nWe find the evidence of the intraband $p \\pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\\mathrm{T}$.\r\nFrom the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined.\r\nBy systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle.\r\nStrong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data.\r\n\r\nIn the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element.\r\nThe device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator.\r\nBy applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz.\r\nModelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage.\r\nWe observed gate-tunable Kerr nonlinearity qualitatively in line with expectation.\r\nThe JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency.\r\nIn general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared.\r\nThe noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier.\r\nAs a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account.\r\nWe found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier.","lang":"eng"}],"title":"Resonant microwave spectroscopy of Al-InAs","ddc":["530"],"oa_version":"Published Version","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"Bio"}],"alternative_title":["ISTA Thesis"],"day":"16","date_updated":"2026-07-08T08:38:43Z","date_published":"2023-11-16T00:00:00Z","article_processing_charge":"No","status":"public","publication_status":"published","page":"80","month":"11","type":"dissertation","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","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"},"oa":1,"publisher":"Institute of Science and Technology Austria","publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","citation":{"ama":"Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>","apa":"Phan, D. T. (2023). <i>Resonant microwave spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>","ista":"Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.","chicago":"Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>.","ieee":"D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.","short":"D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.","mla":"Phan, Duc T. <i>Resonant Microwave Spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>."},"file":[{"file_name":"Phan_Thesis_pdfa.pdf","checksum":"db0c37d213bc002125bd59690e9db246","file_id":"14548","creator":"pduc","content_type":"application/pdf","date_created":"2023-11-17T13:36:44Z","relation":"main_file","file_size":34828019,"access_level":"open_access","date_updated":"2023-11-22T09:46:06Z"},{"relation":"source_file","date_updated":"2023-11-17T13:47:54Z","file_size":279319709,"access_level":"closed","file_name":"dissertation_src.zip","checksum":"8d3bd6afa279a0078ffd13e06bb6d56d","file_id":"14549","creator":"pduc","date_created":"2023-11-17T13:44:53Z","content_type":"application/zip"}]},{"project":[{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"International IST Doctoral Program"}],"file":[{"access_level":"closed","file_size":46405919,"date_updated":"2024-11-30T23:30:05Z","relation":"source_file","date_created":"2023-12-06T13:13:26Z","content_type":"application/vnd.oasis.opendocument.text","creator":"mhenness","file_id":"14648","file_name":"mike_thesis_v06-12-2023.odt","checksum":"4127c285b34f4bf7fb31ef24f9d14c25","embargo_to":"open_access"},{"date_created":"2023-12-06T13:14:15Z","content_type":"application/pdf","creator":"mhenness","file_id":"14649","file_name":"mike_thesis_v06-12-2023.pdf","checksum":"f5203a61eddaf35235bbc51904d73982","embargo_to":"open_access","embargo":"2026-11-18","date_updated":"2026-07-13T10:55:56Z","access_level":"closed","file_size":21282155,"relation":"main_file"},{"creator":"cchlebak","date_created":"2025-05-20T12:59:12Z","content_type":"application/pdf","title":"Print version","file_name":"2023_Hennessey_Michael_Thesis_print.pdf","embargo_to":"open_access","checksum":"902102d26d30e74dbd6cdd70a65820c3","description":"for printing purposes only","file_id":"19720","file_size":45847968,"access_level":"closed","date_updated":"2025-05-20T22:31:34Z","relation":"other"}],"citation":{"apa":"Hennessey-Wesen, M. (2023). <i>Adaptive mutation in E. coli modulated by luxS</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14641\">https://doi.org/10.15479/at:ista:14641</a>","ama":"Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14641\">10.15479/at:ista:14641</a>","mla":"Hennessey-Wesen, Mike. <i>Adaptive Mutation in E. Coli Modulated by LuxS</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14641\">10.15479/at:ista:14641</a>.","short":"M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.","ieee":"M. Hennessey-Wesen, “Adaptive mutation in E. coli modulated by luxS,” Institute of Science and Technology Austria, 2023.","chicago":"Hennessey-Wesen, Mike. “Adaptive Mutation in E. Coli Modulated by LuxS.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14641\">https://doi.org/10.15479/at:ista:14641</a>.","ista":"Hennessey-Wesen M. 2023. Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria."},"month":"11","type":"dissertation","page":"104","publisher":"Institute of Science and Technology Austria","OA_place":"publisher","publication_identifier":{"issn":["2663-337X"]},"day":"30","alternative_title":["ISTA Thesis"],"date_updated":"2026-07-13T10:55:56Z","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"CampIT"}],"oa_version":"Published Version","article_processing_charge":"No","date_published":"2023-11-30T00:00:00Z","doi_confirm":"1","status":"public","publication_status":"published","ec_funded":1,"abstract":[{"text":"Mutation rates represent the net result of complex interactions among various\r\ncellular processes and can dramatically influence the evolutionary fate of\r\nmicrobial populations. However, many popular techniques used to study\r\nmutations are subject to the confounding effects of heredity and the subtleties\r\nof adaptation to selection, all of which make it difficult to observe any dynamic\r\nresponses of mutation rates to fitness challenges. Furthermore, in spite of the\r\nubiquity of quorum sensing systems across the bacterial domain and relevance\r\nfor many physiological behaviors, the effects of such mechanisms on mutation\r\nrate and adaptation remain poorly understood. In the following work, I\r\npresent the development of a microfluidic droplet-based method to measure\r\nsingle base-pair mutation rates in growing populations of the bacterium\r\nEscherichia coli. I use this method to observe a stress-induced increase in\r\nmutation rate that is mediated by luxS, a highly conserved bacterial quorum\r\nsensing component. I also show that the aforementioned increase in mutation\r\nrate, and its associated control by luxS, corresponds to a higher degree of\r\nadaptability under competitive environments.","lang":"eng"}],"ddc":["570"],"title":"Adaptive mutation in E. coli modulated by luxS","_id":"14641","doi":"10.15479/at:ista:14641","has_accepted_license":"1","author":[{"first_name":"Mike","id":"3F338C72-F248-11E8-B48F-1D18A9856A87","last_name":"Hennessey-Wesen","full_name":"Hennessey-Wesen, Mike"}],"date_created":"2023-12-04T13:17:37Z","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","das_tickbox":"1","supervisor":[{"first_name":"Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","full_name":"Hof, Björn"}],"year":"2023","degree_awarded":"PhD","keyword":["microfluidics","miceobiology","mutations","quorum sensing"],"language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2026-07-13T10:55:56Z"},{"date_published":"2023-05-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","date_updated":"2026-07-20T09:49:12Z","day":"01","status":"public","publication":"Angewandte Chemie International Edition","publication_status":"published","abstract":[{"text":"Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein--protein interactions. By studying a pair of structurally homologous cross-β amyloid fibrils, HET-s and HELLF, with a specific isotope-labeling approach and magic-angle-spinning (MAS) NMR, we have characterized the dynamic behavior of Phe and Tyr aromatic rings to show that the hydrophobic amyloid core is rigid, without any sign of \"breathing motions\" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips, on a variety of time scales from ns to µs. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from a NMR structural ensemble of such amyloid cross-β architecture.","lang":"eng"}],"title":"The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues","ddc":["540"],"article_type":"original","pmid":1,"citation":{"ieee":"L. M. Becker <i>et al.</i>, “The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues,” <i>Angewandte Chemie International Edition</i>, vol. 62, no. 19. Wiley, 2023.","chicago":"Becker, Lea Marie, Mélanie Berbon, Alicia Vallet, Axelle Grelard, Estelle Morvan, Benjamin Bardiaux, Roman Lichtenecker, Matthias Ernst, Antoine Loquet, and Paul Schanda. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle Spinning NMR of Aromatic Residues.” <i>Angewandte Chemie International Edition</i>. Wiley, 2023. <a href=\"https://doi.org/10.1002/anie.202219314\">https://doi.org/10.1002/anie.202219314</a>.","ista":"Becker LM, Berbon M, Vallet A, Grelard A, Morvan E, Bardiaux B, Lichtenecker R, Ernst M, Loquet A, Schanda P. 2023. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 62(19), e202219314.","mla":"Becker, Lea Marie, et al. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle Spinning NMR of Aromatic Residues.” <i>Angewandte Chemie International Edition</i>, vol. 62, no. 19, e202219314, Wiley, 2023, doi:<a href=\"https://doi.org/10.1002/anie.202219314\">10.1002/anie.202219314</a>.","short":"L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).","ama":"Becker LM, Berbon M, Vallet A, et al. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. <i>Angewandte Chemie International Edition</i>. 2023;62(19). doi:<a href=\"https://doi.org/10.1002/anie.202219314\">10.1002/anie.202219314</a>","apa":"Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.202219314\">https://doi.org/10.1002/anie.202219314</a>"},"file":[{"file_name":"2023_AngewChemInt_Becker.pdf","checksum":"7dd083ed8850faa55c34e411ed390de9","file_id":"14072","creator":"dernst","date_created":"2023-08-16T12:33:31Z","content_type":"application/pdf","relation":"main_file","success":1,"date_updated":"2023-08-16T12:33:31Z","access_level":"open_access","file_size":1422445}],"external_id":{"isi":["000956919900001"],"pmid":["36738230"]},"month":"05","type":"journal_article","quality_controlled":"1","publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"intvolume":"        62","tmp":{"image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"publisher":"Wiley","volume":62,"oa":1,"year":"2023","related_material":{"record":[{"status":"public","id":"12497","relation":"research_data"},{"status":"public","relation":"other","id":"14861"},{"status":"public","id":"22334","relation":"dissertation_contains"}],"link":[{"url":"https://ista.ac.at/en/news/dancing-styles-of-atoms/","description":"News on ISTA website","relation":"press_release"}]},"license":"https://creativecommons.org/licenses/by-nc/4.0/","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"article_number":"e202219314","keyword":["General Chemistry","Catalysis"],"language":[{"iso":"eng"}],"file_date_updated":"2023-08-16T12:33:31Z","corr_author":"1","doi":"10.1002/anie.202219314","has_accepted_license":"1","_id":"12675","scopus_import":"1","issue":"19","acknowledgement":"We thank AlbertA. Smith (Leipzig)for insightful discussions. This work was supported by funding from the European Research Council (StG-2012-311318 to P.S.) and used the platforms of the Grenoble Instruct-ERIC center (ISBG;UMS 3518 CNRS-CEA-UJF-EMBL) within the Grenoble Partnership for Structural Biology(PSB) and facilities and expertiseof the Biophysical and Structural Chemistry platform (BPCS) at IECB,CNRSUAR3033,INSERMUS001 and Bordeaux University.","department":[{"_id":"GradSch"},{"_id":"PaSc"}],"date_created":"2023-02-24T10:45:01Z","author":[{"first_name":"Lea Marie","orcid":"0000-0002-6401-5151","id":"36336939-eb97-11eb-a6c2-c83f1214ca79","last_name":"Becker","full_name":"Becker, Lea Marie"},{"first_name":"Mélanie","full_name":"Berbon, Mélanie","last_name":"Berbon"},{"full_name":"Vallet, Alicia","last_name":"Vallet","first_name":"Alicia"},{"full_name":"Grelard, Axelle","last_name":"Grelard","first_name":"Axelle"},{"last_name":"Morvan","full_name":"Morvan, Estelle","first_name":"Estelle"},{"last_name":"Bardiaux","full_name":"Bardiaux, Benjamin","first_name":"Benjamin"},{"first_name":"Roman","last_name":"Lichtenecker","full_name":"Lichtenecker, Roman"},{"first_name":"Matthias","last_name":"Ernst","full_name":"Ernst, Matthias"},{"first_name":"Antoine","last_name":"Loquet","full_name":"Loquet, Antoine"},{"first_name":"Paul","orcid":"0000-0002-9350-7606","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","last_name":"Schanda","full_name":"Schanda, Paul"}]},{"article_processing_charge":"No","year":"2023","date_published":"2023-11-10T00:00:00Z","related_material":{"record":[{"relation":"dissertation_contains","id":"19759","status":"public"}]},"date_updated":"2026-07-27T12:47:43Z","day":"10","article_number":"2311.06103","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa_version":"Preprint","status":"public","publication":"arXiv","publication_status":"draft","arxiv":1,"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.06103"}],"abstract":[{"lang":"eng","text":"A crucial property for achieving secure, trustworthy and interpretable deep learning systems is their robustness: small changes to a system's inputs should not result in large changes to its outputs. Mathematically, this means one strives for networks with a small Lipschitz constant. Several recent works have focused on how to construct such Lipschitz networks, typically by imposing constraints on the weight matrices. In this work, we study an orthogonal aspect, namely the role of the activation function. We show that commonly used activation functions, such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily restrict the class of representable functions, even in the simplest one-dimensional setting. We furthermore introduce the new N-activation function that is provably more expressive than currently popular activation functions. We provide code at this https URL."}],"corr_author":"1","title":"1-Lipschitz neural networks are more expressive with N-activations","doi":"10.48550/ARXIV.2311.06103","_id":"15039","citation":{"ama":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>","apa":"Prach, B., &#38; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>","ista":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.","chicago":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>.","ieee":"B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” <i>arXiv</i>. .","short":"B. Prach, C. Lampert, ArXiv (n.d.).","mla":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, 2311.06103, doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>."},"department":[{"_id":"GradSch"},{"_id":"ChLa"}],"external_id":{"arxiv":["2311.06103"]},"month":"11","type":"preprint","date_created":"2024-02-28T17:59:32Z","author":[{"id":"2D561D42-C427-11E9-89B4-9C1AE6697425","last_name":"Prach","full_name":"Prach, Bernd","first_name":"Bernd"},{"orcid":"0000-0001-8622-7887","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"OA_place":"repository","oa":1,"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"17","isi":1,"year":"2023","related_material":{"record":[{"id":"20342","relation":"later_version","status":"public"},{"relation":"dissertation_contains","id":"20147","status":"public"}]},"corr_author":"1","file_date_updated":"2023-07-14T12:03:48Z","language":[{"iso":"eng"}],"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.","scopus_import":"1","_id":"13221","doi":"10.4230/LIPIcs.CONCUR.2023.17","has_accepted_license":"1","author":[{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","last_name":"Boker","full_name":"Boker, Udi","first_name":"Udi"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"first_name":"Nicolas Adrien","last_name":"Mazzocchi","id":"b26baa86-3308-11ec-87b0-8990f34baa85","full_name":"Mazzocchi, Nicolas Adrien"},{"full_name":"Sarac, Naci E","last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E"}],"date_created":"2023-07-14T10:00:15Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publication_status":"published","publication":"34th International Conference on Concurrency Theory","status":"public","oa_version":"Published Version","day":"01","date_updated":"2026-07-27T12:48:18Z","alternative_title":["LIPIcs"],"date_published":"2023-09-01T00:00:00Z","article_processing_charge":"No","title":"Safety and liveness of quantitative automata","ddc":["000"],"ec_funded":1,"abstract":[{"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.","lang":"eng"}],"arxiv":1,"citation":{"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>","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>","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>.","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.","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.","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.","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>."},"file":[{"date_updated":"2023-07-14T12:03:48Z","access_level":"open_access","file_size":755529,"success":1,"relation":"main_file","content_type":"application/pdf","date_created":"2023-07-14T12:03:48Z","creator":"esarac","file_id":"13224","checksum":"d40e57a04448ea5c77d7e1cfb9590a81","file_name":"CONCUR23.pdf"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":279,"oa":1,"publication_identifier":{"isbn":["9783959772990"],"eissn":["1868-8969"]},"intvolume":"       279","conference":{"start_date":"2023-09-18","end_date":"2023-09-23","name":"CONCUR: Conference on Concurrency Theory","location":"Antwerp, Belgium"},"quality_controlled":"1","type":"conference","external_id":{"isi":["001570542500017"],"arxiv":["2307.06016"]},"month":"09"},{"year":"2023","related_material":{"record":[{"id":"10912","relation":"earlier_version","status":"public"}]},"isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","language":[{"iso":"eng"}],"file_date_updated":"2023-08-16T12:39:57Z","corr_author":"1","has_accepted_license":"1","doi":"10.1038/s43588-023-00410-9","_id":"12762","scopus_import":"1","acknowledgement":"This research was funded in whole, or in part, by the Austrian Science Fund (FWF) (grant no. PT1013M03318 to F.L. and no. P34015 to G.T.). For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission. The study was supported by the European Union Horizon 2020 research and innovation program under the Marie Sklodowska-Curie action (grant agreement No. 754411 to F.L.).","date_created":"2023-03-26T22:01:08Z","department":[{"_id":"GaTk"},{"_id":"GradSch"}],"author":[{"full_name":"Lombardi, Fabrizio","id":"A057D288-3E88-11E9-986D-0CF4E5697425","last_name":"Lombardi","orcid":"0000-0003-2623-5249","first_name":"Fabrizio"},{"last_name":"Pepic","id":"F93245C4-C3CA-11E9-B4F0-C6F4E5697425","full_name":"Pepic, Selver","first_name":"Selver"},{"first_name":"Oren","full_name":"Shriki, Oren","last_name":"Shriki"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik","full_name":"Tkačik, Gašper","first_name":"Gašper","orcid":"0000-0002-6699-1455"},{"first_name":"Daniele","orcid":"0000-0002-5214-4706","last_name":"De Martino","id":"3FF5848A-F248-11E8-B48F-1D18A9856A87","full_name":"De Martino, Daniele"}],"article_processing_charge":"No","date_published":"2023-03-20T00:00:00Z","date_updated":"2026-07-29T06:53:41Z","day":"20","oa_version":"Published Version","status":"public","publication":"Nature Computational Science","publication_status":"published","arxiv":1,"abstract":[{"text":"Neurons in the brain are wired into adaptive networks that exhibit collective dynamics as diverse as scale-specific oscillations and scale-free neuronal avalanches. Although existing models account for oscillations and avalanches separately, they typically do not explain both phenomena, are too complex to analyze analytically or intractable to infer from data rigorously. Here we propose a feedback-driven Ising-like class of neural networks that captures avalanches and oscillations simultaneously and quantitatively. In the simplest yet fully microscopic model version, we can analytically compute the phase diagram and make direct contact with human brain resting-state activity recordings via tractable inference of the model’s two essential parameters. The inferred model quantitatively captures the dynamics over a broad range of scales, from single sensor oscillations to collective behaviors of extreme events and neuronal avalanches. Importantly, the inferred parameters indicate that the co-existence of scale-specific (oscillations) and scale-free (avalanches) dynamics occurs close to a non-equilibrium critical point at the onset of self-sustained oscillations.","lang":"eng"}],"ec_funded":1,"ddc":["570"],"title":"Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain","project":[{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"},{"_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","grant_number":"M03318","name":"Functional Advantages of Critical Brain Dynamics"},{"grant_number":"P34015","_id":"626c45b5-2b32-11ec-9570-e509828c1ba6","name":"Efficient coding with biophysical realism"}],"article_type":"original","file":[{"file_name":"2023_NatureCompScience_Lombardi.pdf","checksum":"7c63b2b2edfd68aaffe96d70ca6a865a","file_id":"14073","creator":"dernst","content_type":"application/pdf","date_created":"2023-08-16T12:39:57Z","relation":"main_file","success":1,"date_updated":"2023-08-16T12:39:57Z","access_level":"open_access","file_size":4474284}],"pmid":1,"citation":{"short":"F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.","mla":"Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” <i>Nature Computational Science</i>, vol. 3, Springer Nature, 2023, pp. 254–63, doi:<a href=\"https://doi.org/10.1038/s43588-023-00410-9\">10.1038/s43588-023-00410-9</a>.","ista":"Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. 2023. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. 3, 254–263.","chicago":"Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gašper Tkačik, and Daniele De Martino. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” <i>Nature Computational Science</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s43588-023-00410-9\">https://doi.org/10.1038/s43588-023-00410-9</a>.","ieee":"F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” <i>Nature Computational Science</i>, vol. 3. Springer Nature, pp. 254–263, 2023.","apa":"Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., &#38; De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. <i>Nature Computational Science</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s43588-023-00410-9\">https://doi.org/10.1038/s43588-023-00410-9</a>","ama":"Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. <i>Nature Computational Science</i>. 2023;3:254-263. doi:<a href=\"https://doi.org/10.1038/s43588-023-00410-9\">10.1038/s43588-023-00410-9</a>"},"month":"03","external_id":{"arxiv":["2108.06686"],"isi":["000968161800002"],"pmid":["38177880"]},"type":"journal_article","page":"254-263","quality_controlled":"1","intvolume":"         3","publication_identifier":{"eissn":["2662-8457"]},"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publisher":"Springer Nature","volume":3,"oa":1},{"corr_author":"1","file_date_updated":"2023-08-07T11:55:43Z","language":[{"iso":"eng"}],"isi":1,"article_number":"15","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","related_material":{"link":[{"url":"https://github.com/madvorak/grammars/tree/publish","relation":"software"}],"record":[{"status":"public","id":"21393","relation":"dissertation_contains"}]},"year":"2023","author":[{"full_name":"Dvorak, Martin","last_name":"Dvorak","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","first_name":"Martin"},{"first_name":"Jasmin","last_name":"Blanchette","full_name":"Blanchette, Jasmin"}],"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"date_created":"2023-06-05T07:29:05Z","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. ","scopus_import":"1","_id":"13120","doi":"10.4230/LIPIcs.ITP.2023.15","has_accepted_license":"1","ddc":["000"],"title":"Closure properties of general grammars - formally verified","arxiv":1,"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."}],"publication_status":"published","publication":"14th International Conference on Interactive Theorem Proving","status":"public","date_updated":"2026-07-29T12:56:51Z","alternative_title":["LIPIcs"],"day":"27","oa_version":"Published Version","date_published":"2023-07-27T00:00:00Z","article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","volume":268,"oa":1,"conference":{"location":"Bialystok, Poland","end_date":"2023-08-04","name":"ITP: Interactive Theorem Proving","start_date":"2023-07-31"},"intvolume":"       268","publication_identifier":{"isbn":["9783959772846"],"eissn":["1868-8969"]},"quality_controlled":"1","type":"conference","month":"07","external_id":{"arxiv":["2302.06420"],"isi":["001515590500015"]},"file":[{"access_level":"open_access","file_size":715976,"date_updated":"2023-08-07T11:55:43Z","relation":"main_file","success":1,"creator":"dernst","content_type":"application/pdf","date_created":"2023-08-07T11:55:43Z","checksum":"773a0197f05b67feaa6cb1e17ec3642d","file_name":"2023_LIPIcS_Dvorak.pdf","file_id":"13982"}],"citation":{"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>.","ista":"Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.","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.","short":"M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","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>.","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>","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>"}},{"department":[{"_id":"GradSch"},{"_id":"BeBi"}],"date_created":"2023-05-22T08:37:04Z","author":[{"full_name":"Freire, Marco","last_name":"Freire","first_name":"Marco"},{"first_name":"Manas","orcid":"0009-0007-6138-6890","id":"FF8FA64C-AA6A-11E9-99AD-50D4E5697425","last_name":"Bhargava","full_name":"Bhargava, Manas"},{"first_name":"Camille","id":"2B14B676-F248-11E8-B48F-1D18A9856A87","last_name":"Schreck","full_name":"Schreck, Camille"},{"first_name":"Pierre-Alexandre","last_name":"Hugron","full_name":"Hugron, Pierre-Alexandre"},{"full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","orcid":"0000-0001-6511-9385","first_name":"Bernd"},{"first_name":"Sylvain","last_name":"Lefebvre","full_name":"Lefebvre, Sylvain"}],"doi":"10.1145/3592411","has_accepted_license":"1","_id":"13049","scopus_import":"1","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).","issue":"4","language":[{"iso":"eng"}],"file_date_updated":"2023-06-20T12:20:51Z","corr_author":"1","related_material":{"record":[{"relation":"dissertation_contains","id":"20276","status":"public"}]},"year":"2023","article_number":"142","isi":1,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","keyword":["PCB design and layout","Mesh geometry models"],"month":"07","external_id":{"isi":["001044671300108"]},"type":"journal_article","quality_controlled":"1","intvolume":"        42","conference":{"name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference","start_date":"2023-08-06","end_date":"2023-08-10","location":"Los Angeles, CA, United States"},"publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"publisher":"Association for Computing Machinery","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":42,"oa":1,"project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767","call_identifier":"H2020"}],"article_type":"original","file":[{"success":1,"relation":"main_file","access_level":"open_access","file_size":78940724,"date_updated":"2023-06-19T11:02:23Z","file_id":"13156","checksum":"a0b0ba3b36f43a94388e8824613d812a","file_name":"2023_ACMToG_Freire.pdf","content_type":"application/pdf","date_created":"2023-06-19T11:02:23Z","creator":"dernst"},{"relation":"main_file","success":1,"access_level":"open_access","file_size":34345905,"date_updated":"2023-06-20T12:20:51Z","file_name":"2023_ACMToG_SuppMaterial_Freire.pdf","checksum":"b9206bbb67af82df49b7e7cdbde3410c","file_id":"13157","creator":"dernst","date_created":"2023-06-20T12:20:51Z","content_type":"application/pdf"}],"citation":{"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.","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>.","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.","short":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).","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>","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>"},"abstract":[{"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.","lang":"eng"}],"ec_funded":1,"ddc":["006"],"title":"PCBend: Light up your 3D shapes with foldable circuit boards","date_published":"2023-07-26T00:00:00Z","article_processing_charge":"No","date_updated":"2026-07-29T13:03:30Z","day":"26","oa_version":"Submitted Version","acknowledged_ssus":[{"_id":"M-Shop"}],"status":"public","publication":"Transactions on Graphics","publication_status":"published"},{"day":"23","date_updated":"2026-07-29T13:18:16Z","oa_version":"Published Version","article_processing_charge":"Yes","date_published":"2023-08-23T00:00:00Z","status":"public","publication_status":"published","publication":"Forum of Mathematics, Sigma","ec_funded":1,"arxiv":1,"abstract":[{"lang":"eng","text":"The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation."}],"ddc":["510"],"title":"Gaussian fluctuations in the equipartition principle for Wigner matrices","project":[{"call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"article_type":"original","file":[{"date_created":"2023-09-20T11:09:35Z","content_type":"application/pdf","creator":"dernst","file_id":"14352","checksum":"eb747420e6a88a7796fa934151957676","file_name":"2023_ForumMathematics_Cipolloni.pdf","date_updated":"2023-09-20T11:09:35Z","access_level":"open_access","file_size":852652,"success":1,"relation":"main_file"}],"citation":{"apa":"Cipolloni, G., Erdös, L., Henheik, S. J., &#38; Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. <i>Forum of Mathematics, Sigma</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/fms.2023.70\">https://doi.org/10.1017/fms.2023.70</a>","ama":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. <i>Forum of Mathematics, Sigma</i>. 2023;11. doi:<a href=\"https://doi.org/10.1017/fms.2023.70\">10.1017/fms.2023.70</a>","short":"G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).","mla":"Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” <i>Forum of Mathematics, Sigma</i>, vol. 11, e74, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/fms.2023.70\">10.1017/fms.2023.70</a>.","ista":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.","chicago":"Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” <i>Forum of Mathematics, Sigma</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/fms.2023.70\">https://doi.org/10.1017/fms.2023.70</a>.","ieee":"G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” <i>Forum of Mathematics, Sigma</i>, vol. 11. Cambridge University Press, 2023."},"quality_controlled":"1","month":"08","external_id":{"isi":["001051980200001"],"arxiv":["2301.05181"]},"type":"journal_article","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":11,"oa":1,"publisher":"Cambridge University Press","intvolume":"        11","publication_identifier":{"eissn":["2050-5094"]},"article_number":"e74","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"19540"}]},"year":"2023","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-09-20T11:09:35Z","_id":"14343","has_accepted_license":"1","doi":"10.1017/fms.2023.70","acknowledgement":"G.C. and L.E. gratefully acknowledge many discussions with Dominik Schröder at the preliminary stage of this project, especially his essential contribution to identify the correct generalisation of traceless observables to the deformed Wigner ensembles.\r\nL.E. and J.H. acknowledges support by ERC Advanced Grant ‘RMTBeyond’ No. 101020331.","scopus_import":"1","author":[{"last_name":"Cipolloni","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","full_name":"Cipolloni, Giorgio","first_name":"Giorgio","orcid":"0000-0002-4901-7992"},{"orcid":"0000-0001-5366-9603","first_name":"László","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös"},{"first_name":"Sven Joscha","orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","full_name":"Henheik, Sven Joscha"},{"full_name":"Kolupaiev, Oleksii","last_name":"Kolupaiev","id":"149b70d4-896a-11ed-bdf8-8c63fd44ca61","orcid":"0000-0003-1491-4623","first_name":"Oleksii"}],"department":[{"_id":"LaEr"},{"_id":"GradSch"}],"date_created":"2023-09-17T22:01:09Z"},{"language":[{"iso":"eng"}],"file_date_updated":"2023-10-16T07:07:24Z","corr_author":"1","year":"2023","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"19540"}]},"isi":1,"article_number":"445201","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"GradSch"},{"_id":"LaEr"}],"date_created":"2023-10-12T12:42:53Z","author":[{"first_name":"Sven Joscha","orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","full_name":"Henheik, Sven Joscha"},{"last_name":"Tumulka","full_name":"Tumulka, Roderich","first_name":"Roderich"}],"has_accepted_license":"1","doi":"10.1088/1751-8121/acfe62","_id":"14421","scopus_import":"1","acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","issue":"44","arxiv":1,"abstract":[{"lang":"eng","text":"Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\\in\\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission)."}],"ec_funded":1,"ddc":["510"],"title":"Creation rate of Dirac particles at a point source","article_processing_charge":"Yes (via OA deal)","date_published":"2023-10-11T00:00:00Z","day":"11","date_updated":"2026-07-29T13:18:16Z","oa_version":"Published Version","publication_status":"published","status":"public","publication":"Journal of Physics A: Mathematical and Theoretical","external_id":{"isi":["001080908000001"],"arxiv":["2211.16606"]},"month":"10","type":"journal_article","quality_controlled":"1","intvolume":"        56","publication_identifier":{"eissn":["1751-8121"],"issn":["1751-8113"]},"publisher":"IOP Publishing","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"oa":1,"volume":56,"project":[{"name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331"}],"article_type":"original","file":[{"content_type":"application/pdf","date_created":"2023-10-16T07:07:24Z","creator":"dernst","file_id":"14429","checksum":"5b68de147dd4c608b71a6e0e844d2ce9","file_name":"2023_JourPhysics_Henheik.pdf","file_size":721399,"access_level":"open_access","date_updated":"2023-10-16T07:07:24Z","success":1,"relation":"main_file"}],"citation":{"chicago":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing, 2023. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>.","ista":"Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.","ieee":"S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44. IOP Publishing, 2023.","short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","mla":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>.","ama":"Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. 2023;56(44). doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>","apa":"Henheik, S. J., &#38; Tumulka, R. (2023). Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>"}},{"language":[{"iso":"eng"}],"file_date_updated":"2024-02-08T23:30:04Z","corr_author":"1","year":"2023","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"8586"}]},"supervisor":[{"full_name":"Schur, Florian KM","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4790-8078","first_name":"Florian KM"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","keyword":["cryo-EM","cryo-ET","FIB milling","method development","FIBSEM","extracellular matrix","ECM","cell-derived matrices","CDMs","cell culture","high pressure freezing","HPF","structural biology","tomography","collagen"],"degree_awarded":"PhD","department":[{"_id":"GradSch"},{"_id":"FlSc"}],"date_created":"2023-02-02T14:50:20Z","author":[{"full_name":"Zens, Bettina","id":"45FD126C-F248-11E8-B48F-1D18A9856A87","last_name":"Zens","orcid":"0000-0002-9561-1239","first_name":"Bettina"}],"has_accepted_license":"1","doi":"10.15479/at:ista:12491","_id":"12491","abstract":[{"lang":"eng","text":"The extracellular matrix (ECM) is a hydrated and complex three-dimensional network consisting of proteins, polysaccharides, and water. It provides structural scaffolding for the cells embedded within it and is essential in regulating numerous physiological processes, including cell migration and proliferation, wound healing, and stem cell fate. \r\nDespite extensive study, detailed structural knowledge of ECM components in physiologically relevant conditions is still rudimentary. This is due to methodological limitations in specimen preparation protocols which are incompatible with keeping large samples, such as the ECM, in their native state for subsequent imaging. Conventional electron microscopy (EM) techniques rely on fixation, dehydration, contrasting, and sectioning. This results in the alteration of a highly hydrated environment and the potential introduction of artifacts. Other structural biology techniques, such as nuclear magnetic resonance (NMR) spectroscopy and X-ray crystallography, allow high-resolution analysis of protein structures but only work on homogenous and purified samples, hence lacking contextual information. Currently, no approach exists for the ultrastructural and structural study of extracellular components under native conditions in a physiological, 3D environment. \r\nIn this thesis, I have developed a workflow that allows for the ultrastructural analysis of the ECM in near-native conditions at molecular resolution. The developments I introduced include implementing a novel specimen preparation workflow for cell-derived matrices (CDMs) to render them compatible with ion-beam milling and subsequent high-resolution cryo-electron tomography (ET). \r\nTo this end, I have established protocols to generate CDMs grown over several weeks on EM grids that are compatible with downstream cryo-EM sample preparation and imaging techniques. Characterization of these ECMs confirmed that they contain essential ECM components such as collagen I, collagen VI, and fibronectin I in high abundance and hence represent a bona fide biologically-relevant sample. I successfully optimized vitrification of these specimens by testing various vitrification techniques and cryoprotectants. \r\nIn order to obtain high-resolution molecular insights into the ultrastructure and organization of CDMs, I established cryo-focused ion beam scanning electron microscopy (FIBSEM) on these challenging and complex specimens. I explored different approaches for the creation of thin cryo-lamellae by FIB milling and succeeded in optimizing the cryo-lift-out technique, resulting in high-quality lamellae of approximately 200 nm thickness. \r\nHigh-resolution Cryo-ET of these lamellae revealed for the first time the architecture of native CDM in the context of matrix-secreting cells. This allowed for the in situ visualization of fibrillar matrix proteins such as collagen, laying the foundation for future structural and ultrastructural characterization of these proteins in their near-native environment. \r\nIn summary, in this thesis, I present a novel workflow that combines state-of-the-art cryo-EM specimen preparation and imaging technologies to permit characterization of the ECM, an important tissue component in higher organisms. This innovative and highly versatile workflow will enable addressing far-reaching questions on ECM architecture, composition, and reciprocal ECM-cell interactions."}],"title":"Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography","ddc":["570"],"date_published":"2023-02-02T00:00:00Z","article_processing_charge":"No","oa_version":"Published Version","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"},{"_id":"Bio"}],"alternative_title":["ISTA Thesis"],"date_updated":"2026-04-07T13:49:23Z","day":"02","status":"public","publication_status":"published","page":"187","month":"02","type":"dissertation","publication_identifier":{"isbn":["978-3-99078-027-5"],"issn":["2663-337X"]},"OA_place":"publisher","publisher":"Institute of Science and Technology Austria","oa":1,"project":[{"name":"Integrated visual proteomics of reciprocal cell-extracellular matrix interactions","_id":"eba3b5f6-77a9-11ec-83b8-cf0905748aa3"},{"_id":"059B463C-7A3F-11EA-A408-12923DDC885E","name":"NÖ-Fonds Preis für die Jungforscherin des Jahres am IST Austria"}],"citation":{"ama":"Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12491\">10.15479/at:ista:12491</a>","apa":"Zens, B. (2023). <i>Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12491\">https://doi.org/10.15479/at:ista:12491</a>","ieee":"B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.","ista":"Zens B. 2023. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.","chicago":"Zens, Bettina. “Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12491\">https://doi.org/10.15479/at:ista:12491</a>.","mla":"Zens, Bettina. <i>Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12491\">10.15479/at:ista:12491</a>.","short":"B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023."},"file":[{"access_level":"open_access","file_size":23082464,"embargo":"2024-02-07","date_updated":"2024-02-08T23:30:04Z","relation":"main_file","creator":"bzens","date_created":"2023-02-07T13:07:38Z","content_type":"application/pdf","file_name":"PhDThesis_BettinaZens_2023_final.pdf","checksum":"069d87f025e0799bf9e3c375664264f2","file_id":"12527"},{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2023-02-07T13:09:05Z","creator":"bzens","file_id":"12528","checksum":"8c66ed203495d6e078ed1002a866520c","file_name":"PhDThesis_BettinaZens_2023_final.docx","embargo_to":"open_access","file_size":106169509,"access_level":"closed","date_updated":"2024-02-08T23:30:04Z","relation":"source_file"}]},{"year":"2023","supervisor":[{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","full_name":"Cremer, Sylvia","first_name":"Sylvia","orcid":"0000-0002-2193-3868"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","degree_awarded":"PhD","language":[{"iso":"eng"}],"file_date_updated":"2024-10-29T23:31:04Z","corr_author":"1","has_accepted_license":"1","doi":"10.15479/at:ista:13984","_id":"13984","date_created":"2023-08-08T15:33:29Z","department":[{"_id":"GradSch"},{"_id":"SyCr"}],"author":[{"first_name":"Anna","full_name":"Franschitz, Anna","last_name":"Franschitz","id":"480826C8-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","date_published":"2023-08-08T00:00:00Z","acknowledged_ssus":[{"_id":"LifeSc"}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"day":"08","date_updated":"2026-04-07T13:51:29Z","status":"public","publication_status":"published","abstract":[{"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.","lang":"eng"}],"title":"Individual and social immunity against viral infections in ants","ddc":["570","577"],"citation":{"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>","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>","ista":"Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.","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>.","ieee":"A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.","short":"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>."},"file":[{"access_level":"open_access","file_size":10416761,"date_updated":"2024-10-29T23:31:04Z","relation":"main_file","date_created":"2024-03-01T08:56:06Z","content_type":"application/pdf","creator":"cchlebak","file_id":"15044","title":"Combined Version of original Thesis and Addendum","checksum":"55c876b73d49db15228a7f571592ec77","embargo_to":"open_access","file_name":"Print_Version_Franschitz_Anna_Thesis.pdf"},{"checksum":"27220243d5d51c3b0d7d61c0879d7a0c","file_name":"Thesis_AnnaFranschitz_202308.pdf","file_id":"13986","creator":"afransch","date_created":"2023-08-08T18:01:28Z","content_type":"application/pdf","relation":"main_file","file_size":10797612,"access_level":"open_access","date_updated":"2024-08-09T22:30:03Z","embargo":"2024-08-08"},{"relation":"source_file","file_size":2619085,"access_level":"closed","date_updated":"2024-08-09T22:30:03Z","file_id":"13987","file_name":"Thesis_AnnaFranschitz_202308.docx","checksum":"40abf7ccca14a3893f72dc7fb88585d6","embargo_to":"open_access","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2023-08-08T18:02:25Z","creator":"afransch"},{"creator":"cchlebak","date_created":"2024-03-01T08:37:15Z","content_type":"application/pdf","description":"Minor modifications and clarifications - Feb 2024","title":"Addendum","checksum":"8b991ecc2d59d045cc3cf0d676785ec7","file_name":"Addendum_AnnaFranschitz202402.pdf","file_id":"15042","embargo":"2024-08-08","date_updated":"2024-10-29T23:31:04Z","file_size":85956,"access_level":"open_access","relation":"main_file"},{"relation":"source_file","date_updated":"2024-08-09T22:30:03Z","file_size":11818,"access_level":"closed","file_id":"15043","file_name":"Addendum_AnnaFranschitz202402.docx","embargo_to":"open_access","title":"Addendum - source file","checksum":"66745aa01f960f17472c024875c049ed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2024-03-01T08:39:20Z","creator":"cchlebak"}],"page":"89","type":"dissertation","month":"08","publication_identifier":{"isbn":["978-3-99078-034-3"],"issn":["2663-337X"]},"OA_place":"publisher","oa":1,"publisher":"Institute of Science and Technology Austria"}]