[{"_id":"14962","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2309.09858","open_access":"1"}],"publication_status":"submitted","year":"2023","type":"preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"K. Fan <i>et al.</i>, “Unsupervised open-vocabulary object localization in videos,” <i>arXiv</i>. .","chicago":"Fan, Ke, Zechen Bai, Tianjun Xiao, Dominik Zietlow, Max Horn, Zixu Zhao, Carl-Johann Simon-Gabriel Carl-Johann Simon-Gabriel, et al. “Unsupervised Open-Vocabulary Object Localization in Videos.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2309.09858\">https://doi.org/10.48550/arXiv.2309.09858</a>.","apa":"Fan, K., Bai, Z., Xiao, T., Zietlow, D., Horn, M., Zhao, Z., … He, T. (n.d.). Unsupervised open-vocabulary object localization in videos. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2309.09858\">https://doi.org/10.48550/arXiv.2309.09858</a>","ama":"Fan K, Bai Z, Xiao T, et al. Unsupervised open-vocabulary object localization in videos. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2309.09858\">10.48550/arXiv.2309.09858</a>","ista":"Fan K, Bai Z, Xiao T, Zietlow D, Horn M, Zhao Z, Carl-Johann Simon-Gabriel C-JS-G, Shou MZ, Locatello F, Schiele B, Brox T, Zhang Z, Fu Y, He T. Unsupervised open-vocabulary object localization in videos. arXiv, 2309.09858.","mla":"Fan, Ke, et al. “Unsupervised Open-Vocabulary Object Localization in Videos.” <i>ArXiv</i>, 2309.09858, doi:<a href=\"https://doi.org/10.48550/arXiv.2309.09858\">10.48550/arXiv.2309.09858</a>.","short":"K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.)."},"language":[{"iso":"eng"}],"month":"09","oa":1,"status":"public","day":"18","external_id":{"arxiv":["2309.09858"]},"oa_version":"Preprint","date_created":"2024-02-08T15:33:39Z","title":"Unsupervised open-vocabulary object localization in videos","department":[{"_id":"FrLo"}],"publication":"arXiv","article_number":"2309.09858","abstract":[{"text":"In this paper, we show that recent advances in video representation learning\r\nand pre-trained vision-language models allow for substantial improvements in\r\nself-supervised video object localization. We propose a method that first\r\nlocalizes objects in videos via a slot attention approach and then assigns text\r\nto the obtained slots. The latter is achieved by an unsupervised way to read\r\nlocalized semantic information from the pre-trained CLIP model. The resulting\r\nvideo object localization is entirely unsupervised apart from the implicit\r\nannotation contained in CLIP, and it is effectively the first unsupervised\r\napproach that yields good results on regular video benchmarks.","lang":"eng"}],"extern":"1","arxiv":1,"date_published":"2023-09-18T00:00:00Z","author":[{"full_name":"Fan, Ke","last_name":"Fan","first_name":"Ke"},{"last_name":"Bai","first_name":"Zechen","full_name":"Bai, Zechen"},{"full_name":"Xiao, Tianjun","last_name":"Xiao","first_name":"Tianjun"},{"full_name":"Zietlow, Dominik","last_name":"Zietlow","first_name":"Dominik"},{"first_name":"Max","last_name":"Horn","full_name":"Horn, Max"},{"full_name":"Zhao, Zixu","first_name":"Zixu","last_name":"Zhao"},{"last_name":"Carl-Johann Simon-Gabriel","first_name":"Carl-Johann Simon-Gabriel","full_name":"Carl-Johann Simon-Gabriel, Carl-Johann Simon-Gabriel"},{"full_name":"Shou, Mike Zheng","first_name":"Mike Zheng","last_name":"Shou"},{"last_name":"Locatello","orcid":"0000-0002-4850-0683","first_name":"Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","full_name":"Locatello, Francesco"},{"first_name":"Bernt","last_name":"Schiele","full_name":"Schiele, Bernt"},{"full_name":"Brox, Thomas","first_name":"Thomas","last_name":"Brox"},{"full_name":"Zhang, Zheng","last_name":"Zhang","first_name":"Zheng"},{"full_name":"Fu, Yanwei","last_name":"Fu","first_name":"Yanwei"},{"first_name":"Tong","last_name":"He","full_name":"He, Tong"}],"doi":"10.48550/arXiv.2309.09858","date_updated":"2024-02-12T10:12:22Z","article_processing_charge":"No"},{"title":"Object-centric multiple object tracking","department":[{"_id":"FrLo"}],"publication":"arXiv","article_number":"2309.00233","oa_version":"Preprint","date_created":"2024-02-08T15:34:43Z","arxiv":1,"date_published":"2023-09-01T00:00:00Z","author":[{"full_name":"Zhao, Zixu","first_name":"Zixu","last_name":"Zhao"},{"full_name":"Wang, Jiaze","first_name":"Jiaze","last_name":"Wang"},{"full_name":"Horn, Max","last_name":"Horn","first_name":"Max"},{"first_name":"Yizhuo","last_name":"Ding","full_name":"Ding, Yizhuo"},{"full_name":"He, Tong","last_name":"He","first_name":"Tong"},{"full_name":"Bai, Zechen","last_name":"Bai","first_name":"Zechen"},{"full_name":"Zietlow, Dominik","first_name":"Dominik","last_name":"Zietlow"},{"last_name":"Carl-Johann Simon-Gabriel","first_name":"Carl-Johann Simon-Gabriel","full_name":"Carl-Johann Simon-Gabriel, Carl-Johann Simon-Gabriel"},{"last_name":"Shuai","first_name":"Bing","full_name":"Shuai, Bing"},{"full_name":"Tu, Zhuowen","first_name":"Zhuowen","last_name":"Tu"},{"last_name":"Brox","first_name":"Thomas","full_name":"Brox, Thomas"},{"full_name":"Schiele, Bernt","first_name":"Bernt","last_name":"Schiele"},{"last_name":"Fu","first_name":"Yanwei","full_name":"Fu, Yanwei"},{"first_name":"Francesco","last_name":"Locatello","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4"},{"first_name":"Zheng","last_name":"Zhang","full_name":"Zhang, Zheng"},{"full_name":"Xiao, Tianjun","first_name":"Tianjun","last_name":"Xiao"}],"doi":"10.48550/arXiv.2309.00233","date_updated":"2024-02-12T10:16:21Z","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Unsupervised object-centric learning methods allow the partitioning of scenes\r\ninto entities without additional localization information and are excellent\r\ncandidates for reducing the annotation burden of multiple-object tracking (MOT)\r\npipelines. Unfortunately, they lack two key properties: objects are often split\r\ninto parts and are not consistently tracked over time. In fact,\r\nstate-of-the-art models achieve pixel-level accuracy and temporal consistency\r\nby relying on supervised object detection with additional ID labels for the\r\nassociation through time. This paper proposes a video object-centric model for\r\nMOT. It consists of an index-merge module that adapts the object-centric slots\r\ninto detection outputs and an object memory module that builds complete object\r\nprototypes to handle occlusions. Benefited from object-centric learning, we\r\nonly require sparse detection labels (0%-6.25%) for object localization and\r\nfeature binding. Relying on our self-supervised\r\nExpectation-Maximization-inspired loss for object association, our approach\r\nrequires no ID labels. Our experiments significantly narrow the gap between the\r\nexisting object-centric model and the fully supervised state-of-the-art and\r\noutperform several unsupervised trackers."}],"extern":"1","type":"preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14963","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.2309.00233","open_access":"1"}],"publication_status":"submitted","year":"2023","status":"public","oa":1,"day":"01","external_id":{"arxiv":["2309.00233"]},"citation":{"ama":"Zhao Z, Wang J, Horn M, et al. Object-centric multiple object tracking. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2309.00233\">10.48550/arXiv.2309.00233</a>","mla":"Zhao, Zixu, et al. “Object-Centric Multiple Object Tracking.” <i>ArXiv</i>, 2309.00233, doi:<a href=\"https://doi.org/10.48550/arXiv.2309.00233\">10.48550/arXiv.2309.00233</a>.","ista":"Zhao Z, Wang J, Horn M, Ding Y, He T, Bai Z, Zietlow D, Carl-Johann Simon-Gabriel C-JS-G, Shuai B, Tu Z, Brox T, Schiele B, Fu Y, Locatello F, Zhang Z, Xiao T. Object-centric multiple object tracking. arXiv, 2309.00233.","short":"Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).","ieee":"Z. Zhao <i>et al.</i>, “Object-centric multiple object tracking,” <i>arXiv</i>. .","chicago":"Zhao, Zixu, Jiaze Wang, Max Horn, Yizhuo Ding, Tong He, Zechen Bai, Dominik Zietlow, et al. “Object-Centric Multiple Object Tracking.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2309.00233\">https://doi.org/10.48550/arXiv.2309.00233</a>.","apa":"Zhao, Z., Wang, J., Horn, M., Ding, Y., He, T., Bai, Z., … Xiao, T. (n.d.). Object-centric multiple object tracking. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2309.00233\">https://doi.org/10.48550/arXiv.2309.00233</a>"},"language":[{"iso":"eng"}],"month":"09"},{"file_date_updated":"2024-02-19T09:58:32Z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2023-01-01T00:00:00Z","author":[{"first_name":"Zhengtao","last_name":"Liu","full_name":"Liu, Zhengtao"},{"first_name":"Tao","last_name":"Hong","full_name":"Hong, Tao"},{"last_name":"Xu","first_name":"Liqing","full_name":"Xu, Liqing"},{"first_name":"Sining","last_name":"Wang","full_name":"Wang, Sining"},{"first_name":"Xiang","last_name":"Gao","full_name":"Gao, Xiang"},{"full_name":"Chang, Cheng","id":"9E331C2E-9F27-11E9-AE48-5033E6697425","first_name":"Cheng","last_name":"Chang","orcid":"0000-0002-9515-4277"},{"last_name":"Ding","first_name":"Xiangdong","full_name":"Ding, Xiangdong"},{"full_name":"Xiao, Yu","last_name":"Xiao","first_name":"Yu"},{"last_name":"Zhao","first_name":"Li‐Dong","full_name":"Zhao, Li‐Dong"}],"date_updated":"2024-02-19T10:01:26Z","doi":"10.1002/idm2.12056","article_processing_charge":"Yes","quality_controlled":"1","license":"https://creativecommons.org/licenses/by/4.0/","intvolume":"         2","publication_status":"published","file":[{"date_updated":"2024-02-19T09:58:32Z","file_id":"15015","file_name":"2023_InterdiscMaterials_Liu.pdf","checksum":"7b5e8210ef1434feb173022c6dbbee0c","file_size":4675941,"access_level":"open_access","creator":"dernst","relation":"main_file","success":1,"date_created":"2024-02-19T09:58:32Z","content_type":"application/pdf"}],"day":"01","ddc":["540"],"language":[{"iso":"eng"}],"month":"01","title":"Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS","department":[{"_id":"MaIb"}],"publication":"Interdisciplinary Materials","publisher":"Wiley","oa_version":"Published Version","date_created":"2024-02-14T12:12:17Z","abstract":[{"text":"Lead sulfide (PbS) presents large potential in thermoelectric application due to its earth-abundant S element. However, its inferior average ZT (ZTave) value makes PbS less competitive with its analogs PbTe and PbSe. To promote its thermoelectric performance, this study implements strategies of continuous Se alloying and Cu interstitial doping to synergistically tune thermal and electrical transport properties in n-type PbS. First, the lattice parameter of 5.93 Å in PbS is linearly expanded to 6.03 Å in PbS0.5Se0.5 with increasing Se alloying content. This expanded lattice in Se-alloyed PbS not only intensifies phonon scattering but also facilitates the formation of Cu interstitials. Based on the PbS0.6Se0.4 content with the minimal lattice thermal conductivity, Cu interstitials are introduced to improve the electron density, thus boosting the peak power factor, from 3.88 μW cm−1 K−2 in PbS0.6Se0.4 to 20.58 μW cm−1 K−2 in PbS0.6Se0.4−1%Cu. Meanwhile, the lattice thermal conductivity in PbS0.6Se0.4−x%Cu (x = 0–2) is further suppressed due to the strong strain field caused by Cu interstitials. Finally, with the lowered thermal conductivity and high electrical transport properties, a peak ZT ~1.1 and ZTave ~0.82 can be achieved in PbS0.6Se0.4 − 1%Cu at 300–773K, which outperforms previously reported n-type PbS.","lang":"eng"}],"page":"161-170","volume":2,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14985","has_accepted_license":"1","year":"2023","acknowledgement":"The authors would like to acknowledge the strong supportof microstructure observation from Center for HighPressure Science and Technology Advanced Research(HPSTAR). We acknowledge the financial support fromthe  National  Natural  Science  Foundation  of  China:52172236, the Fundamental Research Funds for theCentral Universities: xtr042021007, Top Young TalentsProgramme of Xi'an Jiaotong University and NationalScience Fund for Distinguished Young Scholars: 51925101.","oa":1,"status":"public","article_type":"original","issue":"1","citation":{"chicago":"Liu, Zhengtao, Tao Hong, Liqing Xu, Sining Wang, Xiang Gao, Cheng Chang, Xiangdong Ding, Yu Xiao, and Li‐Dong Zhao. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in N‐type PbS.” <i>Interdisciplinary Materials</i>. Wiley, 2023. <a href=\"https://doi.org/10.1002/idm2.12056\">https://doi.org/10.1002/idm2.12056</a>.","ieee":"Z. Liu <i>et al.</i>, “Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS,” <i>Interdisciplinary Materials</i>, vol. 2, no. 1. Wiley, pp. 161–170, 2023.","apa":"Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C., … Zhao, L. (2023). Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. <i>Interdisciplinary Materials</i>. Wiley. <a href=\"https://doi.org/10.1002/idm2.12056\">https://doi.org/10.1002/idm2.12056</a>","ama":"Liu Z, Hong T, Xu L, et al. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. <i>Interdisciplinary Materials</i>. 2023;2(1):161-170. doi:<a href=\"https://doi.org/10.1002/idm2.12056\">10.1002/idm2.12056</a>","mla":"Liu, Zhengtao, et al. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in N‐type PbS.” <i>Interdisciplinary Materials</i>, vol. 2, no. 1, Wiley, 2023, pp. 161–70, doi:<a href=\"https://doi.org/10.1002/idm2.12056\">10.1002/idm2.12056</a>.","ista":"Liu Z, Hong T, Xu L, Wang S, Gao X, Chang C, Ding X, Xiao Y, Zhao L. 2023. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2(1), 161–170.","short":"Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170."},"publication_identifier":{"eissn":["2767-441X"]}},{"article_processing_charge":"No","doi":"10.14722/ndss.2023.24545","date_updated":"2024-02-19T12:11:15Z","author":[{"first_name":"Harjasleen","last_name":"Malvai","full_name":"Malvai, Harjasleen"},{"last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios"},{"full_name":"Sonnino, Alberto","first_name":"Alberto","last_name":"Sonnino"},{"last_name":"Ghosh","first_name":"Esha","full_name":"Ghosh, Esha"},{"first_name":"Ercan","last_name":"Oztürk","full_name":"Oztürk, Ercan"},{"last_name":"Lewi","first_name":"Kevin","full_name":"Lewi, Kevin"},{"full_name":"Lawlor, Sean","last_name":"Lawlor","first_name":"Sean"}],"date_published":"2023-03-01T00:00:00Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"Encryption alone is not enough for secure end-to end encrypted messaging: a server must also honestly serve public keys to users. Key transparency has been presented as an efficient\r\nsolution for detecting (and hence deterring) a server that attempts to dishonestly serve keys. Key transparency involves two major components: (1) a username to public key mapping, stored and cryptographically committed to by the server, and, (2) an outof-band consistency protocol for serving short commitments to users. In the setting of real-world deployments and supporting production scale, new challenges must be considered for both of these components. We enumerate these challenges and provide solutions to address them. In particular, we design and implement a memory-optimized and privacy-preserving verifiable data structure for committing to the username to public key store.\r\nTo make this implementation viable for production, we also integrate support for persistent and distributed storage. We also propose a future-facing solution, termed “compaction”, as\r\na mechanism for mitigating practical issues that arise from dealing with infinitely growing server data structures. Finally, we implement a consensusless solution that achieves the minimum requirements for a service that consistently distributes commitments for a transparency application, providing a much more efficient protocol for distributing small and consistent\r\ncommitments to users. This culminates in our production-grade implementation of a key transparency system (Parakeet) which we have open-sourced, along with a demonstration of feasibility through our benchmarks."}],"publisher":"Internet Society","publication":"Proceedings of the 2023 Network and Distributed System Security Symposium","title":"Parakeet: Practical key transparency for end-to-end eEncrypted messaging","department":[{"_id":"ElKo"}],"date_created":"2024-02-14T14:20:40Z","conference":{"location":"San Diego, CA, United States","start_date":"2023-02-27","name":"NDSS: Network and Distributed Systems Security","end_date":"2023-03-03"},"oa_version":"Published Version","day":"01","status":"public","acknowledgement":"This work is supported by the Novi team at Meta and funded in part by IC3 industry partners and NSF grant 1943499.","oa":1,"month":"03","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["1891562835"]},"citation":{"apa":"Malvai, H., Kokoris Kogias, E., Sonnino, A., Ghosh, E., Oztürk, E., Lewi, K., &#38; Lawlor, S. (2023). Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In <i>Proceedings of the 2023 Network and Distributed System Security Symposium</i>. San Diego, CA, United States: Internet Society. <a href=\"https://doi.org/10.14722/ndss.2023.24545\">https://doi.org/10.14722/ndss.2023.24545</a>","ieee":"H. Malvai <i>et al.</i>, “Parakeet: Practical key transparency for end-to-end eEncrypted messaging,” in <i>Proceedings of the 2023 Network and Distributed System Security Symposium</i>, San Diego, CA, United States, 2023.","chicago":"Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” In <i>Proceedings of the 2023 Network and Distributed System Security Symposium</i>. Internet Society, 2023. <a href=\"https://doi.org/10.14722/ndss.2023.24545\">https://doi.org/10.14722/ndss.2023.24545</a>.","ista":"Malvai H, Kokoris Kogias E, Sonnino A, Ghosh E, Oztürk E, Lewi K, Lawlor S. 2023. Parakeet: Practical key transparency for end-to-end eEncrypted messaging. Proceedings of the 2023 Network and Distributed System Security Symposium. NDSS: Network and Distributed Systems Security.","mla":"Malvai, Harjasleen, et al. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” <i>Proceedings of the 2023 Network and Distributed System Security Symposium</i>, Internet Society, 2023, doi:<a href=\"https://doi.org/10.14722/ndss.2023.24545\">10.14722/ndss.2023.24545</a>.","short":"H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.","ama":"Malvai H, Kokoris Kogias E, Sonnino A, et al. Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In: <i>Proceedings of the 2023 Network and Distributed System Security Symposium</i>. Internet Society; 2023. doi:<a href=\"https://doi.org/10.14722/ndss.2023.24545\">10.14722/ndss.2023.24545</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","year":"2023","publication_status":"published","_id":"14989","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2023/081"}]},{"month":"01","citation":{"apa":"Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7548214\">https://doi.org/10.5281/ZENODO.7548214</a>","ieee":"T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.","chicago":"Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7548214\">https://doi.org/10.5281/ZENODO.7548214</a>.","mla":"Meggendorfer, Tobias. <i>Artefact for: Correct Approximation of Stationary Distributions</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>.","ista":"Meggendorfer T. 2023. Artefact for: Correct Approximation of Stationary Distributions, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>.","short":"T. Meggendorfer, (2023).","ama":"Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>"},"day":"18","ddc":["000"],"oa":1,"status":"public","has_accepted_license":"1","year":"2023","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7548214","open_access":"1"}],"_id":"14990","type":"research_data_reference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The software artefact to evaluate the approximation of stationary distributions implementation."}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"13139"}]},"doi":"10.5281/ZENODO.7548214","date_updated":"2024-02-27T07:19:32Z","article_processing_charge":"No","date_published":"2023-01-18T00:00:00Z","author":[{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","first_name":"Tobias"}],"oa_version":"Published Version","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2024-02-14T14:27:06Z","publisher":"Zenodo","department":[{"_id":"KrCh"}],"title":"Artefact for: Correct Approximation of Stationary Distributions"},{"citation":{"chicago":"Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7757041\">https://doi.org/10.5281/ZENODO.7757041</a>.","ieee":"Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.","apa":"Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., &#38; Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7757041\">https://doi.org/10.5281/ZENODO.7757041</a>","ama":"Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory in convection schemes using idealized tests. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>","mla":"Hwong, Yi-Ling, et al. <i>Data-Assessing Memory in Convection Schemes Using Idealized Tests</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>.","short":"Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).","ista":"Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Data-assessing memory in convection schemes using idealized tests, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>."},"month":"06","project":[{"call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413"}],"oa":1,"status":"public","ddc":["550"],"day":"23","_id":"14991","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7757041","open_access":"1"}],"has_accepted_license":"1","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"research_data_reference","abstract":[{"lang":"eng","text":"This repository contains the data, scripts, WRF codes and files required to reproduce the results of the manuscript \"Assessing Memory in Convection Schemes Using Idealized Tests\" submitted to the Journal of Advances in Modeling Earth Systems (JAMES)."}],"date_published":"2023-06-23T00:00:00Z","author":[{"first_name":"Yi-Ling","last_name":"Hwong","orcid":"0000-0001-9281-3479","full_name":"Hwong, Yi-Ling","id":"1217aa61-4dd1-11ec-9ac3-f2ba3f17ee22"},{"first_name":"Maxime","last_name":"Colin","full_name":"Colin, Maxime"},{"id":"02eace56-97fc-11ee-b81a-f0939ca85a77","full_name":"Aglas, Philipp","last_name":"Aglas","first_name":"Philipp"},{"last_name":"Muller","orcid":"0000-0001-5836-5350","first_name":"Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","full_name":"Muller, Caroline J"},{"full_name":"Sherwood, Steven C.","first_name":"Steven C.","last_name":"Sherwood"}],"article_processing_charge":"No","doi":"10.5281/ZENODO.7757041","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"14654"}]},"date_updated":"2024-02-27T07:26:31Z","date_created":"2024-02-14T14:37:57Z","ec_funded":1,"oa_version":"Published Version","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"CaMu"}],"title":"Data-assessing memory in convection schemes using idealized tests","publisher":"Zenodo"},{"external_id":{"arxiv":["1912.10424"]},"status":"public","oa":1,"publication_identifier":{"issn":["3005-0286"],"eisbn":["9783031223402"],"isbn":["9783031223396"]},"citation":{"chicago":"Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In <i>Density Functional Theory</i>, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. <a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">https://doi.org/10.1007/978-3-031-22340-2_3</a>.","ieee":"M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in <i>Density Functional Theory</i>, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.","apa":"Lewin, M., Lieb, E. H., &#38; Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances &#38; G. Friesecke (Eds.), <i>Density Functional Theory</i> (1st ed., pp. 115–182). Springer. <a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">https://doi.org/10.1007/978-3-031-22340-2_3</a>","ama":"Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. <i>Density Functional Theory</i>. 1st ed. MAMOMO. Springer; 2023:115-182. doi:<a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">10.1007/978-3-031-22340-2_3</a>","ista":"Lewin M, Lieb EH, Seiringer R. 2023.Universal Functionals in Density Functional Theory. In: Density Functional Theory. Mathematics and Molecular Modeling, , 115–182.","mla":"Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” <i>Density Functional Theory</i>, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:<a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">10.1007/978-3-031-22340-2_3</a>.","short":"M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182."},"type":"book_chapter","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"115-182","edition":"1","year":"2023","_id":"14992","arxiv":1,"series_title":"MAMOMO","abstract":[{"lang":"eng","text":"In this chapter we first review the Levy–Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximation, in which the functionals get replaced by purely local functionals constructed using the uniform electron gas energy per unit volume. We then review the known upper and lower bounds on the Levy–Lieb functionals. We start with the kinetic energy alone, then turn to the classical interaction alone, before we are able to put everything together. A later section is devoted to the Hohenberg–Kohn theorem and the role of many-body unique continuation in its proof."}],"publisher":"Springer","title":"Universal Functionals in Density Functional Theory","department":[{"_id":"RoSe"}],"publication":"Density Functional Theory","oa_version":"Preprint","date_created":"2024-02-14T14:44:33Z","day":"19","language":[{"iso":"eng"}],"month":"07","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1912.10424"}],"doi":"10.1007/978-3-031-22340-2_3","alternative_title":["Mathematics and Molecular Modeling"],"date_updated":"2024-02-20T08:33:06Z","article_processing_charge":"No","editor":[{"first_name":"Eric","last_name":"Cances","full_name":"Cances, Eric"},{"full_name":"Friesecke, Gero","last_name":"Friesecke","first_name":"Gero"}],"author":[{"full_name":"Lewin, Mathieu","last_name":"Lewin","first_name":"Mathieu"},{"first_name":"Elliott H.","last_name":"Lieb","full_name":"Lieb, Elliott H."},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer"}],"date_published":"2023-07-19T00:00:00Z","quality_controlled":"1"},{"main_file_link":[{"open_access":"1","url":"https://openreview.net/forum?id=jHY_G91R880"}],"_id":"14993","publication_status":"published","year":"2023","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A., … Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In <i>1st Workshop on Machine Learning &#38; Global Health</i>. Kigali, Rwanda: OpenReview.","chicago":"Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In <i>1st Workshop on Machine Learning &#38; Global Health</i>. OpenReview, 2023.","ieee":"C. Currin <i>et al.</i>, “A framework for grassroots research collaboration in machine learning and global health,” in <i>1st Workshop on Machine Learning &#38; Global Health</i>, Kigali, Rwanda, 2023.","mla":"Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” <i>1st Workshop on Machine Learning &#38; Global Health</i>, OpenReview, 2023.","ista":"Currin C, Asiedu  MN, Fourie C, Rosman B, Turki H, Lambebo Tonja A, Abbott J, Ajala M, Adedayo SA, Emezue CC, Machangara D. 2023. A framework for grassroots research collaboration in machine learning and global health. 1st Workshop on Machine Learning &#38; Global Health. ICLR: International Conference on Learning Representations.","short":"C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning &#38; Global Health, OpenReview, 2023.","ama":"Currin C, Asiedu  MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: <i>1st Workshop on Machine Learning &#38; Global Health</i>. OpenReview; 2023."},"language":[{"iso":"eng"}],"month":"03","status":"public","acknowledgement":"Houcemeddine Turki’s contributions to this final output have been funded through the Adapting\r\nWikidata to support clinical practice using Data Science, Semantic Web and Machine Learning\r\nproject, which is part of the Wikimedia Research Fund maintained by the Wikimedia Foundation in San Francisco, California, United States of America.","oa":1,"day":"02","oa_version":"Published Version","date_created":"2024-02-14T15:11:48Z","conference":{"location":"Kigali, Rwanda","start_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","end_date":"2023-05-05"},"department":[{"_id":"TiVo"}],"title":"A framework for grassroots research collaboration in machine learning and global health","publication":"1st Workshop on Machine Learning & Global Health","publisher":"OpenReview","abstract":[{"text":"Traditional top-down approaches for global health have historically failed to achieve social progress (Hoffman et al., 2015; Hoffman & Røttingen, 2015). Recently, however, a more holistic, multi-level approach termed One Health (OH) (Osterhaus et al., 2020) is being adopted. Several sets of challenges have been identified for the implementation of OH (dos S. Ribeiro et al., 2019), including policy and funding, education and training, and multi-actor, multi-domain, and multi-level collaborations. These exist despite the increasing accessibility to\r\nknowledge and digital collaborative research tools through the internet. To address some of these challenges, we propose a general framework for grassroots community-based means of participatory research. Additionally, we present a specific roadmap to create a Machine Learning for Global Health community in Africa. The proposed framework aims to enable any small group of individuals with scarce resources to build and sustain an online community within approximately two years. We provide a discussion on the potential impact of the proposed framework for global health research collaborations.","lang":"eng"}],"quality_controlled":"1","author":[{"id":"e8321fc5-3091-11eb-8a53-83f309a11ac9","full_name":"Currin, Christopher","last_name":"Currin","orcid":"0000-0002-4809-5059","first_name":"Christopher"},{"last_name":"Asiedu ","first_name":"Mercy Nyamewaa","full_name":"Asiedu , Mercy Nyamewaa"},{"first_name":"Chris","last_name":"Fourie","full_name":"Fourie, Chris"},{"full_name":"Rosman, Benjamin","first_name":"Benjamin","last_name":"Rosman"},{"full_name":"Turki, Houcemeddine","first_name":"Houcemeddine","last_name":"Turki"},{"last_name":"Lambebo Tonja","first_name":"Atnafu","full_name":"Lambebo Tonja, Atnafu"},{"full_name":"Abbott, Jade","last_name":"Abbott","first_name":"Jade"},{"first_name":"Marvellous","last_name":"Ajala","full_name":"Ajala, Marvellous"},{"first_name":"Sadiq Adewale","last_name":"Adedayo","full_name":"Adedayo, Sadiq Adewale"},{"first_name":"Chris Chinenye","last_name":"Emezue","full_name":"Emezue, Chris Chinenye"},{"first_name":"Daphne","last_name":"Machangara","full_name":"Machangara, Daphne"}],"date_published":"2023-03-02T00:00:00Z","date_updated":"2024-02-28T12:12:00Z","article_processing_charge":"No"},{"type":"research_data_reference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2023","has_accepted_license":"1","_id":"14994","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7877790"}],"day":"28","ddc":["000"],"status":"public","oa":1,"month":"04","citation":{"ama":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>","ista":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>.","short":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).","mla":"Majumdar, Rupak, et al. <i>A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>.","ieee":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.","chicago":"Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7877790\">https://doi.org/10.5281/ZENODO.7877790</a>.","apa":"Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &#38; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7877790\">https://doi.org/10.5281/ZENODO.7877790</a>"},"publisher":"Zenodo","title":"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties","department":[{"_id":"ToHe"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","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_version":"Published Version","date_created":"2024-02-14T15:13:00Z","date_updated":"2024-02-27T07:39:51Z","doi":"10.5281/ZENODO.7877790","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"14758"}]},"article_processing_charge":"No","author":[{"full_name":"Majumdar, Rupak","last_name":"Majumdar","first_name":"Rupak"},{"full_name":"Mallik, Kaushik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","first_name":"Kaushik","last_name":"Mallik","orcid":"0000-0001-9864-7475"},{"full_name":"Rychlicki, Mateusz","first_name":"Mateusz","last_name":"Rychlicki"},{"first_name":"Anne-Kathrin","last_name":"Schmuck","full_name":"Schmuck, Anne-Kathrin"},{"first_name":"Sadegh","last_name":"Soudjani","full_name":"Soudjani, Sadegh"}],"date_published":"2023-04-28T00:00:00Z","abstract":[{"text":"This resource contains the artifacts for reproducing the experimental results presented in the paper titled \"A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties\" that has been submitted in CAV 2023.","lang":"eng"}]},{"department":[{"_id":"DaAl"}],"title":"Lincheck: A practical framework for testing concurrent data structures on JVM","publisher":"Zenodo","oa_version":"Published Version","date_created":"2024-02-14T15:14:13Z","date_published":"2023-04-28T00:00:00Z","author":[{"first_name":"Nikita","last_name":"Koval","full_name":"Koval, Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Alexander","last_name":"Fedorov","full_name":"Fedorov, Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"full_name":"Sokolova, Maria","first_name":"Maria","last_name":"Sokolova"},{"first_name":"Dmitry","last_name":"Tsitelov","full_name":"Tsitelov, Dmitry"},{"first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.5281/ZENODO.7877757","date_updated":"2024-02-27T07:46:52Z","related_material":{"record":[{"id":"14260","status":"public","relation":"used_in_publication"}]},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Lincheck is a new practical and user-friendly framework for testing concurrent data structures on the Java Virtual Machine (JVM). It 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. \r\nThe artifact presents a collection of Lincheck tests that discover new bugs in popular libraries and implementations from the concurrency literature -- they are listed in Table 1, Section 3. To evaluate the performance of Lincheck analysis, the collection of tests also includes those which check correct data structures and, thus, always succeed. Similarly to Table 2, Section 3, the experiments demonstrate the reasonable time to perform a test. Finally, Lincheck provides user-friendly output with an easy-to-follow trace to reproduce a detected error, significantly simplifying further investigation."}],"type":"research_data_reference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7877757"}],"_id":"14995","year":"2023","oa":1,"status":"public","day":"28","ddc":["000"],"citation":{"short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).","ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>.","mla":"Koval, Nikita, et al. <i>Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</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. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7877757\">https://doi.org/10.5281/ZENODO.7877757</a>","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.","chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7877757\">https://doi.org/10.5281/ZENODO.7877757</a>."},"month":"04"},{"publication_status":"epub_ahead","year":"2023","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2312.01456","open_access":"1"}],"_id":"15023","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"month":"12","citation":{"ama":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: <i>37th Conference on Neural Information Processing Systems</i>. ; 2023.","short":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.","ista":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.","mla":"Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” <i>37th Conference on Neural Information Processing Systems</i>, 2023.","chicago":"Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In <i>37th Conference on Neural Information Processing Systems</i>, 2023.","ieee":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LO, United States, 2023.","apa":"Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., &#38; Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In <i>37th Conference on Neural Information Processing Systems</i>. New Orleans, LO, United States."},"day":"15","external_id":{"arxiv":["2312.01456"]},"oa":1,"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS) and the ERC-2020-\r\nCoG 863818 (FoRM-SMArt).","status":"public","oa_version":"Preprint","ec_funded":1,"date_created":"2024-02-25T09:23:24Z","conference":{"start_date":"2023-12-10","location":"New Orleans, LO, United States","end_date":"2023-12-16","name":"NeurIPS: Neural Information Processing Systems"},"title":"Compositional policy learning in stochastic control systems with formal guarantees","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"publication":"37th Conference on Neural Information Processing Systems","quality_controlled":"1","abstract":[{"text":"Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SpectRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided by learning neural network policies together with reach-avoid supermartingales (RASM) for the graph’s sub-tasks and then composing them into a global policy. We also derive a tighter lower bound compared to previous work on the probability of reach-avoidance implied by a RASM, which is required to find a compositional policy with an acceptable probabilistic threshold for complex tasks with multiple edge policies. We implement a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.","lang":"eng"}],"date_updated":"2025-07-14T09:10:04Z","article_processing_charge":"No","arxiv":1,"date_published":"2023-12-15T00:00:00Z","author":[{"full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","orcid":"0000-0002-4681-1699","last_name":"Zikelic"},{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"},{"last_name":"Verma","first_name":"Abhinav","id":"a235593c-d7fa-11eb-a0c5-b22ca3c66ee6","full_name":"Verma, Abhinav"},{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A"}]},{"abstract":[{"lang":"eng","text":"This data repository underpins the paper, published in PNAS (doi pending) and bioarxiv (doi: https://doi.org/10.1101/2023.07.05.547777)."}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"15001"}]},"date_updated":"2024-02-26T08:45:55Z","article_processing_charge":"No","date_published":"2023-12-13T00:00:00Z","author":[{"full_name":"Curk, Samo","id":"031eff0d-d481-11ee-8508-cd12a7a86e5b","first_name":"Samo","last_name":"Curk","orcid":"0000-0001-6160-9766"}],"oa_version":"Published Version","tmp":{"short":"CC0 (1.0)","image":"/images/cc_0.png","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_created":"2024-02-26T08:37:57Z","publisher":"Figshare","title":"aggregation_data","department":[{"_id":"AnSa"}],"month":"12","citation":{"ama":"Curk S. aggregation_data. 2023.","ista":"Curk S. 2023. aggregation_data, Figshare.","short":"S. Curk, (2023).","mla":"Curk, Samo. <i>Aggregation_data</i>. Figshare, 2023.","chicago":"Curk, Samo. “Aggregation_data.” Figshare, 2023.","ieee":"S. Curk, “aggregation_data.” Figshare, 2023.","apa":"Curk, S. (2023). aggregation_data. Figshare."},"day":"13","ddc":["570"],"status":"public","oa":1,"has_accepted_license":"1","year":"2023","main_file_link":[{"open_access":"1","url":"https://figshare.com/s/85798bba4ebc68d822ed"}],"_id":"15027","type":"research_data_reference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","license":"https://creativecommons.org/publicdomain/zero/1.0/"},{"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","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_version":"Published Version","ec_funded":1,"date_created":"2024-02-28T07:34:34Z","title":"Monitoring hyperproperties with prefix transducers","department":[{"_id":"ToHe"}],"publisher":"Zenodo","abstract":[{"lang":"eng","text":"This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties With Prefix Transducers accepted at RV'23, and give further pointers to implementation of prefix transducers.\r\nIt has two parts: a pre-compiled docker image and sources that one can use to compile (locally or in docker) the software and run the experiments."}],"author":[{"first_name":"Marek","last_name":"Chalupa","full_name":"Chalupa, Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2023-07-28T00:00:00Z","doi":"10.5281/ZENODO.8191723","date_updated":"2024-02-28T12:33:09Z","related_material":{"record":[{"id":"14076","relation":"used_in_publication","status":"public"}]},"article_processing_charge":"No","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8191722","open_access":"1"}],"_id":"15035","year":"2023","has_accepted_license":"1","type":"research_data_reference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>","mla":"Chalupa, Marek, and Thomas A. Henzinger. <i>Monitoring Hyperproperties with Prefix Transducers</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>.","short":"M. Chalupa, T.A. Henzinger, (2023).","ista":"Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>.","chicago":"Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8191723\">https://doi.org/10.5281/ZENODO.8191723</a>.","ieee":"M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.","apa":"Chalupa, M., &#38; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8191723\">https://doi.org/10.5281/ZENODO.8191723</a>"},"project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"month":"07","status":"public","oa":1,"day":"28","ddc":["000"]},{"article_number":"2311.06103","title":"1-Lipschitz neural networks are more expressive with N-activations","department":[{"_id":"GradSch"},{"_id":"ChLa"}],"publication":"arXiv","oa_version":"Preprint","date_created":"2024-02-28T17:59:32Z","date_updated":"2024-03-04T07:02:39Z","doi":"10.48550/ARXIV.2311.06103","article_processing_charge":"No","arxiv":1,"date_published":"2023-11-10T00:00:00Z","author":[{"first_name":"Bernd","last_name":"Prach","full_name":"Prach, Bernd","id":"2D561D42-C427-11E9-89B4-9C1AE6697425"},{"orcid":"0000-0001-8622-7887","last_name":"Lampert","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph"}],"abstract":[{"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.","lang":"eng"}],"type":"preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"submitted","year":"2023","_id":"15039","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.06103"}],"day":"10","external_id":{"arxiv":["2311.06103"]},"oa":1,"status":"public","language":[{"iso":"eng"}],"month":"11","citation":{"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>","ieee":"B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” <i>arXiv</i>. .","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>.","ista":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.","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>.","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>"}},{"year":"2023","publication_status":"accepted","main_file_link":[{"open_access":"1","url":"https://openreview.net/pdf?id=_eTZBs-yedr"}],"_id":"13053","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","month":"05","project":[{"call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223","name":"Elastic Coordination for Scalable Machine Learning"}],"language":[{"iso":"eng"}],"citation":{"ama":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: <i>11th International Conference on Learning Representations </i>.","short":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.","ista":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.","mla":"Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” <i>11th International Conference on Learning Representations </i>.","chicago":"Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In <i>11th International Conference on Learning Representations </i>, n.d.","ieee":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in <i>11th International Conference on Learning Representations </i>, Kigali, Rwanda .","apa":"Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., &#38; Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In <i>11th International Conference on Learning Representations </i>. Kigali, Rwanda ."},"external_id":{"arxiv":["2207.14200"]},"status":"public","oa":1,"acknowledgement":"AP, EK, DA received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further acknowledge the support from the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp)-","acknowledged_ssus":[{"_id":"ScienComp"}],"ec_funded":1,"date_created":"2023-05-23T11:36:18Z","conference":{"start_date":"2023-05-01","location":"Kigali, Rwanda ","end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations"},"oa_version":"Preprint","publication":"11th International Conference on Learning Representations ","title":"CrAM: A Compression-Aware Minimizer","department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"quality_controlled":"1","abstract":[{"text":"Deep neural networks (DNNs) often have to be compressed, via pruning and/or quantization, before they can be deployed in practical settings. In this work we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization step in a principled way, in order to produce models whose local loss behavior is stable under compression operations such as pruning. Thus, dense models trained via CrAM should be compressible post-training, in a single step, without significant accuracy loss. Experimental results on standard benchmarks, such as residual networks for ImageNet classification and BERT models for language modelling, show that CrAM produces dense models that can be more accurate than the standard SGD/Adam-based baselines, but which are stable under weight pruning: specifically, we can prune models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90% with reasonable (∼1%) accuracy loss, which is competitive with gradual compression methods. Additionally, CrAM can produce sparse models which perform well for transfer learning, and it also works for semi-structured 2:4 pruning patterns supported by GPU hardware. The code for reproducing the results is available at this https URL .","lang":"eng"}],"article_processing_charge":"No","date_updated":"2023-06-01T12:54:45Z","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"13074"}]},"author":[{"last_name":"Peste","first_name":"Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87","full_name":"Peste, Elena-Alexandra"},{"full_name":"Vladu, Adrian","last_name":"Vladu","first_name":"Adrian"},{"full_name":"Kurtic, Eldar","id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","last_name":"Kurtic"},{"orcid":"0000-0001-8622-7887","last_name":"Lampert","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian"}],"date_published":"2023-05-01T00:00:00Z","arxiv":1},{"oa":1,"status":"public","citation":{"chicago":"Peste, Elena-Alexandra. “Efficiency and Generalization of Sparse Neural Networks.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>.","ieee":"E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.","apa":"Peste, E.-A. (2023). <i>Efficiency and generalization of sparse neural networks</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>","ama":"Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>","mla":"Peste, Elena-Alexandra. <i>Efficiency and Generalization of Sparse Neural Networks</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>.","short":"E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.","ista":"Peste E-A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria."},"publication_identifier":{"issn":["2663-337X"]},"page":"147","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"dissertation","_id":"13074","supervisor":[{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","first_name":"Christoph"},{"first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"year":"2023","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Deep learning has become an integral part of a large number of important applications, and many of the recent breakthroughs have been enabled by the ability to train very large models, capable to capture complex patterns and relationships from the data. At the same time, the massive sizes of modern deep learning models have made their deployment to smaller devices more challenging; this is particularly important, as in many applications the users rely on accurate deep learning predictions, but they only have access to devices with limited memory and compute power. One solution to this problem is to prune neural networks, by setting as many of their parameters as possible to zero, to obtain accurate sparse models with lower memory footprint. Despite the great research progress in obtaining sparse models that preserve accuracy, while satisfying memory and computational constraints, there are still many challenges associated with efficiently training sparse models, as well as understanding their generalization properties.\r\n\r\nThe focus of this thesis is to investigate how the training process of sparse models can be made more efficient, and to understand the differences between sparse and dense models in terms of how well they can generalize to changes in the data distribution. We first study a method for co-training sparse and dense models, at a lower cost compared to regular training. With our method we can obtain very accurate sparse networks, and dense models that can recover the baseline accuracy. Furthermore, we are able to more easily analyze the differences, at prediction level, between the sparse-dense model pairs. Next, we investigate the generalization properties of sparse neural networks in more detail, by studying how well different sparse models trained on a larger task can adapt to smaller, more specialized tasks, in a transfer learning scenario. Our analysis across multiple pruning methods and sparsity levels reveals that sparse models provide features that can transfer similarly to or better than the dense baseline. However, the choice of the pruning method plays an important role, and can influence the results when the features are fixed (linear finetuning), or when they are allowed to adapt to the new task (full finetuning). Using sparse models with fixed masks for finetuning on new tasks has an important practical advantage, as it enables training neural networks on smaller devices. However, one drawback of current pruning methods is that the entire training cycle has to be repeated to obtain the initial sparse model, for every sparsity target; in consequence, the entire training process is costly and also multiple models need to be stored. In the last part of the thesis we propose a method that can train accurate dense models that are compressible in a single step, to multiple sparsity levels, without additional finetuning. Our method results in sparse models that can be competitive with existing pruning methods, and which can also successfully generalize to new tasks."}],"title":"Efficiency and generalization of sparse neural networks","department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"publisher":"Institute of Science and Technology Austria","date_created":"2023-05-23T17:07:53Z","ec_funded":1,"oa_version":"Published Version","ddc":["000"],"day":"23","month":"05","language":[{"iso":"eng"}],"project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020"},{"_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223","name":"Elastic Coordination for Scalable Machine Learning","call_identifier":"H2020"}],"file":[{"content_type":"application/pdf","date_created":"2023-05-24T16:11:16Z","success":1,"relation":"main_file","access_level":"open_access","creator":"epeste","file_size":2152072,"checksum":"6b3354968403cb9d48cc5a83611fb571","file_name":"PhD_Thesis_Alexandra_Peste_final.pdf","date_updated":"2023-05-24T16:11:16Z","file_id":"13087"},{"file_id":"13088","date_updated":"2023-05-24T16:12:59Z","file_size":1658293,"checksum":"8d0df94bbcf4db72c991f22503b3fd60","file_name":"PhD_Thesis_APeste.zip","relation":"source_file","creator":"epeste","access_level":"closed","content_type":"application/zip","date_created":"2023-05-24T16:12:59Z"}],"publication_status":"published","date_published":"2023-05-23T00:00:00Z","author":[{"last_name":"Peste","first_name":"Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87","full_name":"Peste, Elena-Alexandra"}],"article_processing_charge":"No","doi":"10.15479/at:ista:13074","date_updated":"2023-08-04T10:33:27Z","related_material":{"record":[{"id":"11458","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"13053"},{"id":"12299","relation":"part_of_dissertation","status":"public"}]},"alternative_title":["ISTA Thesis"],"degree_awarded":"PhD","file_date_updated":"2023-05-24T16:12:59Z","acknowledged_ssus":[{"_id":"ScienComp"}]},{"page":"93","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"dissertation","supervisor":[{"first_name":"Anna","last_name":"Kicheva","orcid":"0000-0003-4509-4998","full_name":"Kicheva, Anna","id":"3959A2A0-F248-11E8-B48F-1D18A9856A87"}],"_id":"13081","year":"2023","has_accepted_license":"1","status":"public","citation":{"ista":"Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.","short":"L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.","mla":"Bocanegra, Laura. <i>Epithelial Dynamics during Mouse Neural Tube Development</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13081\">10.15479/at:ista:13081</a>.","ama":"Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13081\">10.15479/at:ista:13081</a>","apa":"Bocanegra, L. (2023). <i>Epithelial dynamics during mouse neural tube development</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13081\">https://doi.org/10.15479/at:ista:13081</a>","ieee":"L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023.","chicago":"Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13081\">https://doi.org/10.15479/at:ista:13081</a>."},"publication_identifier":{"issn":["2663 - 337X"]},"department":[{"_id":"GradSch"},{"_id":"AnKi"}],"title":"Epithelial dynamics during mouse neural tube development","publisher":"Institute of Science and Technology Austria","date_created":"2023-05-23T19:10:42Z","oa_version":"Published Version","abstract":[{"lang":"eng","text":"During development, tissues undergo changes in size and shape to form functional organs. Distinct cellular processes such as cell division and cell rearrangements underlie tissue morphogenesis. Yet how the distinct processes are controlled and coordinated, and how they contribute to morphogenesis is poorly understood. In our study, we addressed these questions using the developing mouse neural tube. This epithelial organ transforms from a flat epithelial sheet to an epithelial tube while increasing in size and undergoing morpho-gen-mediated patterning. The extent and mechanism of neural progenitor rearrangement within the developing mouse neuroepithelium is unknown. To investigate this, we per-formed high resolution lineage tracing analysis to quantify the extent of epithelial rear-rangement at different stages of neural tube development. We quantitatively described the relationship between apical cell size with cell cycle dependent interkinetic nuclear migra-tions (IKNM) and performed high cellular resolution live imaging of the neuroepithelium to study the dynamics of junctional remodeling.  Furthermore, developed a vertex model of the neuroepithelium to investigate the quantitative contribution of cell proliferation, cell differentiation and mechanical properties to the epithelial rearrangement dynamics and validated the model predictions through functional experiments. Our analysis revealed that at early developmental stages, the apical cell area kinetics driven by IKNM induce high lev-els of cell rearrangements in a regime of high junctional tension and contractility. After E9.5, there is a sharp decline in the extent of cell rearrangements, suggesting that the epi-thelium transitions from a fluid-like to a solid-like state. We found that this transition is regulated by the growth rate of the tissue, rather than by changes in cell-cell adhesion and contractile forces. Overall, our study provides a quantitative description of the relationship between tissue growth, cell cycle dynamics, epithelia rearrangements and the emergent tissue material properties, and novel insights on how epithelial cell dynamics influences tissue morphogenesis."}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"file_name":"Thesis_final_LauraBocanegra.docx","checksum":"74f3f89e59a0189bee53ebfad9c1b9af","file_size":25615534,"file_id":"13089","date_updated":"2023-05-25T06:32:12Z","date_created":"2023-05-25T06:32:12Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","creator":"lbocaneg","relation":"source_file"},{"date_created":"2023-05-25T06:32:16Z","content_type":"application/pdf","embargo_to":"open_access","access_level":"closed","creator":"lbocaneg","relation":"main_file","file_name":"TotalFinal_Thesis_LauraBocanegraArx.pdf","checksum":"c6cdef6323eacfb4b7a8af20f32eae97","file_size":12386046,"file_id":"13090","date_updated":"2023-05-25T06:32:16Z","embargo":"2024-05-31"}],"publication_status":"published","ddc":["570"],"day":"23","month":"05","language":[{"iso":"eng"}],"file_date_updated":"2023-05-25T06:32:16Z","tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"date_published":"2023-05-23T00:00:00Z","author":[{"full_name":"Bocanegra, Laura","id":"4896F754-F248-11E8-B48F-1D18A9856A87","first_name":"Laura","last_name":"Bocanegra"}],"article_processing_charge":"No","alternative_title":["ISTA Thesis"],"doi":"10.15479/at:ista:13081","date_updated":"2023-10-04T11:14:04Z","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"9349"},{"id":"12837","status":"public","relation":"part_of_dissertation"}]},"degree_awarded":"PhD"},{"arxiv":1,"abstract":[{"lang":"eng","text":"We use a function field version of the Hardy–Littlewood circle method to study the locus of free rational curves on an arbitrary smooth projective hypersurface of sufficiently low degree. On the one hand this allows us to bound the dimension of the singular locus of the moduli space of rational curves on such hypersurfaces and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin conjecture in terms of slopes with respect to the tangent bundle."}],"publication":"Algebra and Number Theory","title":"Free rational curves on low degree hypersurfaces and the circle method","department":[{"_id":"TiBr"}],"publisher":"Mathematical Sciences Publishers","date_created":"2023-05-28T22:01:02Z","oa_version":"Published Version","oa":1,"acknowledgement":"The authors are grateful to Paul Nelson, Per Salberger and Jason Starr for useful comments. While working on this paper the first author was supported by EPRSC grant EP/P026710/1. The research was partially conducted during the period the second author served as a Clay Research Fellow, and partially conducted during the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and the ETH Zurich Foundation.","status":"public","issue":"3","article_type":"original","external_id":{"arxiv":["1810.06882"],"isi":["000996014700004"]},"citation":{"ieee":"T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” <i>Algebra and Number Theory</i>, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023.","chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” <i>Algebra and Number Theory</i>. Mathematical Sciences Publishers, 2023. <a href=\"https://doi.org/10.2140/ant.2023.17.719\">https://doi.org/10.2140/ant.2023.17.719</a>.","apa":"Browning, T. D., &#38; Sawin, W. (2023). Free rational curves on low degree hypersurfaces and the circle method. <i>Algebra and Number Theory</i>. Mathematical Sciences Publishers. <a href=\"https://doi.org/10.2140/ant.2023.17.719\">https://doi.org/10.2140/ant.2023.17.719</a>","ama":"Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. <i>Algebra and Number Theory</i>. 2023;17(3):719-748. doi:<a href=\"https://doi.org/10.2140/ant.2023.17.719\">10.2140/ant.2023.17.719</a>","ista":"Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 17(3), 719–748.","short":"T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.","mla":"Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” <i>Algebra and Number Theory</i>, vol. 17, no. 3, Mathematical Sciences Publishers, 2023, pp. 719–48, doi:<a href=\"https://doi.org/10.2140/ant.2023.17.719\">10.2140/ant.2023.17.719</a>."},"publication_identifier":{"issn":["1937-0652"],"eissn":["1944-7833"]},"volume":17,"page":"719-748","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","_id":"13091","year":"2023","has_accepted_license":"1","author":[{"full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning"},{"first_name":"Will","last_name":"Sawin","full_name":"Sawin, Will"}],"date_published":"2023-04-12T00:00:00Z","article_processing_charge":"No","date_updated":"2023-08-01T14:51:57Z","doi":"10.2140/ant.2023.17.719","scopus_import":"1","quality_controlled":"1","file_date_updated":"2023-05-30T08:05:22Z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["510"],"day":"12","month":"04","isi":1,"project":[{"_id":"26A8D266-B435-11E9-9278-68D0E5697425","grant_number":"EP-P026710-2","name":"Between rational and integral points"}],"language":[{"iso":"eng"}],"intvolume":"        17","file":[{"access_level":"open_access","creator":"dernst","relation":"main_file","date_created":"2023-05-30T08:05:22Z","success":1,"content_type":"application/pdf","file_id":"13101","date_updated":"2023-05-30T08:05:22Z","checksum":"5d5d67b235905650e33cf7065d7583b4","file_name":"2023_AlgebraNumberTheory_Browning.pdf","file_size":1430719}],"publication_status":"published"},{"_id":"13092","has_accepted_license":"1","year":"2023","page":"23380–23389","volume":15,"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"apa":"Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023). Bottom-up synthesis of SnTe-based thermoelectric composites. <i>ACS Applied Materials and Interfaces</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsami.3c00625\">https://doi.org/10.1021/acsami.3c00625</a>","ieee":"B. Nan <i>et al.</i>, “Bottom-up synthesis of SnTe-based thermoelectric composites,” <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19. American Chemical Society, pp. 23380–23389, 2023.","chicago":"Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” <i>ACS Applied Materials and Interfaces</i>. American Chemical Society, 2023. <a href=\"https://doi.org/10.1021/acsami.3c00625\">https://doi.org/10.1021/acsami.3c00625</a>.","ista":"Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 15(19), 23380–23389.","short":"B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.","mla":"Nan, Bingfei, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19, American Chemical Society, 2023, pp. 23380–23389, doi:<a href=\"https://doi.org/10.1021/acsami.3c00625\">10.1021/acsami.3c00625</a>.","ama":"Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric composites. <i>ACS Applied Materials and Interfaces</i>. 2023;15(19):23380–23389. doi:<a href=\"https://doi.org/10.1021/acsami.3c00625\">10.1021/acsami.3c00625</a>"},"publication_identifier":{"eissn":["1944-8252"],"issn":["1944-8244"]},"acknowledgement":"Open Access is funded by the Austrian Science Fund (FWF). We thank Generalitat de Catalunya AGAUR─2021 SGR 01581 for financial support. B.F.N., K.X., and L.L.Y. thank the China Scholarship Council (CSC) for the scholarship support. C.C. acknowledges funding from the FWF “Lise Meitner Fellowship” grant agreement M 2889-N. J.S.L is grateful to the Science and Technology Department of Sichuan Province for the project no. 22NSFSC0966. K.H.L. was supported by the Institute of Zhejiang University-Quzhou (IZQ2021RCZX003). M.I. acknowledges the financial support from IST Austria.","oa":1,"status":"public","external_id":{"pmid":["37141543"],"isi":["000985497900001"]},"article_type":"original","issue":"19","oa_version":"Published Version","date_created":"2023-05-28T22:01:03Z","title":"Bottom-up synthesis of SnTe-based thermoelectric composites","department":[{"_id":"MaIb"}],"publication":"ACS Applied Materials and Interfaces","publisher":"American Chemical Society","abstract":[{"lang":"eng","text":"There is a need for the development of lead-free thermoelectric materials for medium-/high-temperature applications. Here, we report a thiol-free tin telluride (SnTe) precursor that can be thermally decomposed to produce SnTe crystals with sizes ranging from tens to several hundreds of nanometers. We further engineer SnTe–Cu2SnTe3 nanocomposites with a homogeneous phase distribution by decomposing the liquid SnTe precursor containing a dispersion of Cu1.5Te colloidal nanoparticles. The presence of Cu within the SnTe and the segregated semimetallic Cu2SnTe3 phase effectively improves the electrical conductivity of SnTe while simultaneously reducing the lattice thermal conductivity without compromising the Seebeck coefficient. Overall, power factors up to 3.63 mW m–1 K–2 and thermoelectric figures of merit up to 1.04 are obtained at 823 K, which represent a 167% enhancement compared with pristine SnTe."}],"intvolume":"        15","publication_status":"published","file":[{"creator":"dernst","access_level":"open_access","relation":"main_file","date_created":"2023-05-30T07:38:44Z","success":1,"content_type":"application/pdf","file_id":"13099","date_updated":"2023-05-30T07:38:44Z","checksum":"23893be46763c4c78daacddd019de821","file_name":"2023_ACSAppliedMaterials_Nan.pdf","file_size":5640829}],"project":[{"_id":"9B8804FC-BA93-11EA-9121-9846C619BF3A","name":"Bottom-up Engineering for Thermoelectric Applications","grant_number":"M02889"}],"language":[{"iso":"eng"}],"month":"05","isi":1,"pmid":1,"day":"04","ddc":["540"],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file_date_updated":"2023-05-30T07:38:44Z","scopus_import":"1","quality_controlled":"1","author":[{"first_name":"Bingfei","last_name":"Nan","full_name":"Nan, Bingfei"},{"last_name":"Song","first_name":"Xuan","full_name":"Song, Xuan"},{"full_name":"Chang, Cheng","id":"9E331C2E-9F27-11E9-AE48-5033E6697425","first_name":"Cheng","last_name":"Chang","orcid":"0000-0002-9515-4277"},{"full_name":"Xiao, Ke","first_name":"Ke","last_name":"Xiao"},{"last_name":"Zhang","first_name":"Yu","full_name":"Zhang, Yu"},{"full_name":"Yang, Linlin","last_name":"Yang","first_name":"Linlin"},{"first_name":"Sharona","last_name":"Horta","full_name":"Horta, Sharona","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc"},{"first_name":"Junshan","last_name":"Li","full_name":"Li, Junshan"},{"full_name":"Lim, Khak Ho","last_name":"Lim","first_name":"Khak Ho"},{"orcid":"0000-0001-5013-2843","last_name":"Ibáñez","first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"}],"date_published":"2023-05-04T00:00:00Z","date_updated":"2023-08-01T14:50:09Z","doi":"10.1021/acsami.3c00625","article_processing_charge":"No"},{"oa":1,"acknowledgement":"Open Access is funded by the Austrian Science Fund (FWF). B.N., M.L., Y.Z., K.X., and X.H. thank the China Scholarship Council (CSC) for the scholarship support. C.C. received funding from the FWF “Lise Meitner Fellowship” grant agreement M 2889-N. M.I. acknowledges the financial support from ISTA and the Werner Siemens Foundation. ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457 and project NANOGEN (PID2020-116093RB-C43) funded by MCIN/AEI/10.13039/501100011033/. ICN2 was supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.: CEX2021-001214-S) and was funded by the CERCA Programme/Generalitat de Catalunya. J.L. is a Serra Húnter Fellow and is grateful to the ICREA Academia program and projects MICINN/FEDER PID2021-124572OB-C31 and 2021 SGR 01061. K.H.L. acknowledges support from the National Natural Science Foundation of China (22208293). This study is part of the Advanced Materials programme and was supported by MCIN with funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya.","status":"public","article_type":"original","external_id":{"isi":["000986859000001"]},"citation":{"apa":"Nan, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2023). Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. <i>ACS Applied Electronic Materials</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsaelm.3c00055\">https://doi.org/10.1021/acsaelm.3c00055</a>","chicago":"Nan, Bingfei, Mengyao Li, Yu Zhang, Ke Xiao, Khak Ho Lim, Cheng Chang, Xu Han, et al. “Engineering of Thermoelectric Composites Based on Silver Selenide in Aqueous Solution and Ambient Temperature.” <i>ACS Applied Electronic Materials</i>. American Chemical Society, 2023. <a href=\"https://doi.org/10.1021/acsaelm.3c00055\">https://doi.org/10.1021/acsaelm.3c00055</a>.","ieee":"B. Nan <i>et al.</i>, “Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature,” <i>ACS Applied Electronic Materials</i>. American Chemical Society, 2023.","mla":"Nan, Bingfei, et al. “Engineering of Thermoelectric Composites Based on Silver Selenide in Aqueous Solution and Ambient Temperature.” <i>ACS Applied Electronic Materials</i>, American Chemical Society, 2023, doi:<a href=\"https://doi.org/10.1021/acsaelm.3c00055\">10.1021/acsaelm.3c00055</a>.","short":"B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials (2023).","ista":"Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol J, Llorca J, Ibáñez M, Cabot A. 2023. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials.","ama":"Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. <i>ACS Applied Electronic Materials</i>. 2023. doi:<a href=\"https://doi.org/10.1021/acsaelm.3c00055\">10.1021/acsaelm.3c00055</a>"},"publication_identifier":{"eissn":["2637-6113"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","_id":"13093","year":"2023","abstract":[{"lang":"eng","text":"The direct, solid state, and reversible conversion between heat and electricity using thermoelectric devices finds numerous potential uses, especially around room temperature. However, the relatively high material processing cost limits their real applications. Silver selenide (Ag2Se) is one of the very few n-type thermoelectric (TE) materials for room-temperature applications. Herein, we report a room temperature, fast, and aqueous-phase synthesis approach to produce Ag2Se, which can be extended to other metal chalcogenides. These materials reach TE figures of merit (zT) of up to 0.76 at 380 K. To improve these values, bismuth sulfide (Bi2S3) particles also prepared in an aqueous solution are incorporated into the Ag2Se matrix. In this way, a series of Ag2Se/Bi2S3 composites with Bi2S3 wt % of 0.5, 1.0, and 1.5 are prepared by solution blending and hot-press sintering. The presence of Bi2S3 significantly improves the Seebeck coefficient and power factor while at the same time decreasing the thermal conductivity with no apparent drop in electrical conductivity. Thus, a maximum zT value of 0.96 is achieved in the composites with 1.0 wt % Bi2S3 at 370 K. Furthermore, a high average zT value (zTave) of 0.93 in the 300–390 K range is demonstrated."}],"publication":"ACS Applied Electronic Materials","department":[{"_id":"MaIb"}],"title":"Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature","publisher":"American Chemical Society","date_created":"2023-05-28T22:01:03Z","oa_version":"Published Version","day":"05","isi":1,"month":"05","project":[{"_id":"9B8804FC-BA93-11EA-9121-9846C619BF3A","grant_number":"M02889","name":"Bottom-up Engineering for Thermoelectric Applications"},{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1021/acsaelm.3c00055"}],"publication_status":"epub_ahead","author":[{"full_name":"Nan, Bingfei","first_name":"Bingfei","last_name":"Nan"},{"full_name":"Li, Mengyao","first_name":"Mengyao","last_name":"Li"},{"full_name":"Zhang, Yu","last_name":"Zhang","first_name":"Yu"},{"last_name":"Xiao","first_name":"Ke","full_name":"Xiao, Ke"},{"full_name":"Lim, Khak Ho","first_name":"Khak Ho","last_name":"Lim"},{"first_name":"Cheng","orcid":"0000-0002-9515-4277","last_name":"Chang","full_name":"Chang, Cheng","id":"9E331C2E-9F27-11E9-AE48-5033E6697425"},{"full_name":"Han, Xu","last_name":"Han","first_name":"Xu"},{"first_name":"Yong","last_name":"Zuo","full_name":"Zuo, Yong"},{"first_name":"Junshan","last_name":"Li","full_name":"Li, Junshan"},{"full_name":"Arbiol, Jordi","first_name":"Jordi","last_name":"Arbiol"},{"last_name":"Llorca","first_name":"Jordi","full_name":"Llorca, Jordi"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria","last_name":"Ibáñez","orcid":"0000-0001-5013-2843","first_name":"Maria"},{"full_name":"Cabot, Andreu","last_name":"Cabot","first_name":"Andreu"}],"date_published":"2023-05-05T00:00:00Z","article_processing_charge":"No","doi":"10.1021/acsaelm.3c00055","date_updated":"2023-08-01T14:50:48Z","scopus_import":"1","quality_controlled":"1"}]