[{"article_type":"original","day":"28","external_id":{"pmid":["38152986"]},"acknowledgement":"Y.L. acknowledges funding from the National Natural Science Foundation of China (NSFC) (Grants No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (Grant No. 2022LCX002). K.H.L. acknowledges financial support from the National Natural Science Foundation of China (NSFC) (Grant No. 22208293). M.I. acknowledges financial support from ISTA and the Werner Siemens Foundation.","status":"public","pmid":1,"month":"12","project":[{"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"}],"publication_identifier":{"eissn":["2366-9608"]},"citation":{"chicago":"Wan, Shanhong, Shanshan Xiao, Mingquan Li, Xin Wang, Khak Ho Lim, Min Hong, Maria Ibáñez, Andreu Cabot, and Yu Liu. “Band Engineering through Pb-Doping of Nanocrystal Building Blocks to Enhance Thermoelectric Performance in Cu3SbSe4.” <i>Small Methods</i>. Wiley, 2023. <a href=\"https://doi.org/10.1002/smtd.202301377\">https://doi.org/10.1002/smtd.202301377</a>.","ieee":"S. Wan <i>et al.</i>, “Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4,” <i>Small Methods</i>. Wiley, 2023.","apa":"Wan, S., Xiao, S., Li, M., Wang, X., Lim, K. H., Hong, M., … Liu, Y. (2023). Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. <i>Small Methods</i>. Wiley. <a href=\"https://doi.org/10.1002/smtd.202301377\">https://doi.org/10.1002/smtd.202301377</a>","ama":"Wan S, Xiao S, Li M, et al. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. <i>Small Methods</i>. 2023. doi:<a href=\"https://doi.org/10.1002/smtd.202301377\">10.1002/smtd.202301377</a>","ista":"Wan S, Xiao S, Li M, Wang X, Lim KH, Hong M, Ibáñez M, Cabot A, Liu Y. 2023. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods.","mla":"Wan, Shanhong, et al. “Band Engineering through Pb-Doping of Nanocrystal Building Blocks to Enhance Thermoelectric Performance in Cu3SbSe4.” <i>Small Methods</i>, Wiley, 2023, doi:<a href=\"https://doi.org/10.1002/smtd.202301377\">10.1002/smtd.202301377</a>.","short":"S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023)."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","year":"2023","publication_status":"epub_ahead","_id":"14734","article_processing_charge":"No","date_updated":"2024-01-08T09:17:04Z","doi":"10.1002/smtd.202301377","date_published":"2023-12-28T00:00:00Z","author":[{"full_name":"Wan, Shanhong","last_name":"Wan","first_name":"Shanhong"},{"last_name":"Xiao","first_name":"Shanshan","full_name":"Xiao, Shanshan"},{"last_name":"Li","first_name":"Mingquan","full_name":"Li, Mingquan"},{"first_name":"Xin","last_name":"Wang","full_name":"Wang, Xin"},{"first_name":"Khak Ho","last_name":"Lim","full_name":"Lim, Khak Ho"},{"first_name":"Min","last_name":"Hong","full_name":"Hong, Min"},{"first_name":"Maria","orcid":"0000-0001-5013-2843","last_name":"Ibáñez","full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Andreu","last_name":"Cabot","full_name":"Cabot, Andreu"},{"full_name":"Liu, Yu","id":"2A70014E-F248-11E8-B48F-1D18A9856A87","first_name":"Yu","orcid":"0000-0001-7313-6740","last_name":"Liu"}],"quality_controlled":"1","abstract":[{"text":"Developing cost-effective and high-performance thermoelectric (TE) materials to assemble efficient TE devices presents a multitude of challenges and opportunities. Cu3SbSe4 is a promising p-type TE material based on relatively earth abundant elements. However, the challenge lies in its poor electrical conductivity. Herein, an efficient and scalable solution-based approach is developed to synthesize high-quality Cu3SbSe4 nanocrystals doped with Pb at the Sb site. After ligand displacement and annealing treatments, the dried powders are consolidated into dense pellets, and their TE properties are investigated. Pb doping effectively increases the charge carrier concentration, resulting in a significant increase in electrical conductivity, while the Seebeck coefficients remain consistently high. The calculated band structure shows that Pb doping induces band convergence, thereby increasing the effective mass. Furthermore, the large ionic radius of Pb2+ results in the generation of additional point and plane defects and interphases, dramatically enhancing phonon scattering, which significantly decreases the lattice thermal conductivity at high temperatures. Overall, a maximum figure of merit (zTmax) ≈ 0.85 at 653 K is obtained in Cu3Sb0.97Pb0.03Se4. This represents a 1.6-fold increase compared to the undoped sample and exceeds most doped Cu3SbSe4-based materials produced by solid-state, demonstrating advantages of versatility and cost-effectiveness using a solution-based technology.","lang":"eng"}],"scopus_import":"1","publisher":"Wiley","publication":"Small Methods","department":[{"_id":"MaIb"}],"title":"Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4","date_created":"2024-01-07T23:00:51Z","oa_version":"None"},{"day":"01","month":"12","project":[{"name":"Secure Network and Hardware for Efficient Blockchains","grant_number":"F8512","_id":"34a4ce89-11ca-11ed-8bc3-8cc37fb6e11f"}],"language":[{"iso":"eng"}],"publication_status":"published","intvolume":"     13950","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2022/1554"}],"article_processing_charge":"No","date_updated":"2024-01-08T09:28:14Z","alternative_title":["LNCS"],"doi":"10.1007/978-3-031-47754-6_1","date_published":"2023-12-01T00:00:00Z","author":[{"first_name":"Christos","last_name":"Stefo","full_name":"Stefo, Christos","id":"a20e8902-32b0-11ee-9fa8-b23fa638b793"},{"last_name":"Xiang","first_name":"Zhuolun","full_name":"Xiang, Zhuolun"},{"last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios"}],"quality_controlled":"1","scopus_import":"1","conference":{"end_date":"2023-05-05","name":"FC: Financial Cryptography and Data Security","start_date":"2023-05-01","location":"Bol, Brac, Croatia"},"oa":1,"acknowledgement":"Eleftherios Kokoris-Kogias is partially supported by Austrian Science Fund (FWF) grant No: F8512-N.","status":"public","publication_identifier":{"eissn":["0302-9743"],"eisbn":["9783031477546"],"issn":["1611-3349"],"isbn":["9783031477539"]},"citation":{"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>","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.","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>.","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>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","volume":13950,"page":"3-20","year":"2023","_id":"14735","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."}],"publisher":"Springer Nature","publication":"27th International Conference on Financial Cryptography and Data Security","title":"Executing and proving over dirty ledgers","department":[{"_id":"ElKo"},{"_id":"GradSch"}],"date_created":"2024-01-08T09:17:38Z","oa_version":"Preprint"},{"conference":{"name":"FC: Financial Cryptography and Data Security","end_date":"2023-05-05","location":"Bol, Brac, Croatia","start_date":"2023-05-01"},"quality_controlled":"1","author":[{"last_name":"Bastankhah","first_name":"Mahsa","full_name":"Bastankhah, Mahsa"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Maddah-Ali, Mohammad Ali","first_name":"Mohammad Ali","last_name":"Maddah-Ali"},{"full_name":"Schmid, Stefan","first_name":"Stefan","last_name":"Schmid"},{"first_name":"Jakub","orcid":"0000-0002-1419-3267","last_name":"Svoboda","full_name":"Svoboda, Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425"},{"first_name":"Michelle X","last_name":"Yeo","orcid":"0009-0001-3676-4809","full_name":"Yeo, Michelle X","id":"2D82B818-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2023-12-01T00:00:00Z","article_processing_charge":"No","alternative_title":["LNCS"],"date_updated":"2025-07-14T09:10:01Z","doi":"10.1007/978-3-031-47754-6_18","intvolume":"     13950","publication_status":"published","month":"12","language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"day":"01","ec_funded":1,"date_created":"2024-01-08T09:30:22Z","oa_version":"None","publication":"27th International Conference on Financial Cryptography and Data Security","title":"R2: Boosting liquidity in payment channel networks with online admission control","department":[{"_id":"KrCh"},{"_id":"KrPi"}],"publisher":"Springer Nature","abstract":[{"text":"Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admission control logic to decide which transactions to reject in case capacity is insufficient. This paper presents a formal model of this optimisation problem. In particular, we consider an online algorithms perspective, where transactions arrive over time in an unpredictable manner. Our main contributions are competitive online algorithms which come with provable guarantees over time. We empirically evaluate our algorithms on randomly generated transactions to compare the average performance of our algorithms to our theoretical bounds. We also show how this model and approach differs from related problems in classic communication networks.","lang":"eng"}],"_id":"14736","year":"2023","volume":13950,"page":"309-325","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","citation":{"ieee":"M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in <i>27th International Conference on Financial Cryptography and Data Security</i>, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.","chicago":"Bastankhah, Mahsa, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” In <i>27th International Conference on Financial Cryptography and Data Security</i>, 13950:309–25. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-47754-6_18\">https://doi.org/10.1007/978-3-031-47754-6_18</a>.","apa":"Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., &#38; Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In <i>27th International Conference on Financial Cryptography and Data Security</i> (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-47754-6_18\">https://doi.org/10.1007/978-3-031-47754-6_18</a>","ama":"Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: <i>27th International Conference on Financial Cryptography and Data Security</i>. Vol 13950. Springer Nature; 2023:309-325. doi:<a href=\"https://doi.org/10.1007/978-3-031-47754-6_18\">10.1007/978-3-031-47754-6_18</a>","ista":"Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.","short":"M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.","mla":"Bastankhah, Mahsa, et al. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” <i>27th International Conference on Financial Cryptography and Data Security</i>, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:<a href=\"https://doi.org/10.1007/978-3-031-47754-6_18\">10.1007/978-3-031-47754-6_18</a>."},"publication_identifier":{"isbn":["9783031477539"],"eissn":["1611-3349"],"eisbn":["9783031477546"],"issn":["0302-9743"]},"status":"public","acknowledgement":"Supported by the German Federal Ministry of Education and Research (BMBF), grant 16KISK020K (6G-RIC), 2021–2025, and ERC CoG 863818 (ForM-SMArt)."},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":2023,"page":"20613-20669","year":"2023","has_accepted_license":"1","_id":"14737","issue":"23","article_type":"original","external_id":{"arxiv":["2212.11781"]},"acknowledgement":"We thank Alexander Litvak for the many discussions on Theorem 1.1. Igor Tsiutsiurupa participated in the early stage of this project. To our deep regret, Igor chose another road for his life and stopped working with us.\r\nThis work was supported by the János Bolyai Scholarship of the Hungarian Academy of Sciences [to M.N.]; the National Research, Development, and Innovation Fund (NRDI) [K119670 and K131529 to M.N.]; and the ÚNKP-22-5 New National Excellence Program of the Ministry for Innovation and Technology from the source of the NRDI [to M.N.].","oa":1,"status":"public","publication_identifier":{"eissn":["1687-0247"],"issn":["1073-7928"]},"citation":{"ieee":"G. Ivanov and M. Naszódi, “Functional John and Löwner conditions for pairs of log-concave functions,” <i>International Mathematics Research Notices</i>, vol. 2023, no. 23. Oxford University Press, pp. 20613–20669, 2023.","chicago":"Ivanov, Grigory, and Márton Naszódi. “Functional John and Löwner Conditions for Pairs of Log-Concave Functions.” <i>International Mathematics Research Notices</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/imrn/rnad210\">https://doi.org/10.1093/imrn/rnad210</a>.","apa":"Ivanov, G., &#38; Naszódi, M. (2023). Functional John and Löwner conditions for pairs of log-concave functions. <i>International Mathematics Research Notices</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/imrn/rnad210\">https://doi.org/10.1093/imrn/rnad210</a>","ama":"Ivanov G, Naszódi M. Functional John and Löwner conditions for pairs of log-concave functions. <i>International Mathematics Research Notices</i>. 2023;2023(23):20613-20669. doi:<a href=\"https://doi.org/10.1093/imrn/rnad210\">10.1093/imrn/rnad210</a>","ista":"Ivanov G, Naszódi M. 2023. Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. 2023(23), 20613–20669.","short":"G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.","mla":"Ivanov, Grigory, and Márton Naszódi. “Functional John and Löwner Conditions for Pairs of Log-Concave Functions.” <i>International Mathematics Research Notices</i>, vol. 2023, no. 23, Oxford University Press, 2023, pp. 20613–69, doi:<a href=\"https://doi.org/10.1093/imrn/rnad210\">10.1093/imrn/rnad210</a>."},"publisher":"Oxford University Press","publication":"International Mathematics Research Notices","title":"Functional John and Löwner conditions for pairs of log-concave functions","department":[{"_id":"UlWa"}],"date_created":"2024-01-08T09:48:56Z","oa_version":"Published Version","arxiv":1,"abstract":[{"lang":"eng","text":"John’s fundamental theorem characterizing the largest volume ellipsoid contained in a convex body $K$ in $\\mathbb{R}^{d}$ has seen several generalizations and extensions. One direction, initiated by V. Milman is to replace ellipsoids by positions (affine images) of another body $L$. Another, more recent direction is to consider logarithmically concave functions on $\\mathbb{R}^{d}$ instead of convex bodies: we designate some special, radially symmetric log-concave function $g$ as the analogue of the Euclidean ball, and want to find its largest integral position under the constraint that it is pointwise below some given log-concave function $f$. We follow both directions simultaneously: we consider the functional question, and allow essentially any meaningful function to play the role of $g$ above. Our general theorems jointly extend known results in both directions. The dual problem in the setting of convex bodies asks for the smallest volume ellipsoid, called Löwner’s ellipsoid, containing $K$. We consider the analogous problem for functions: we characterize the solutions of the optimization problem of finding a smallest integral position of some log-concave function $g$ under the constraint that it is pointwise above $f$. It turns out that in the functional setting, the relationship between the John and the Löwner problems is more intricate than it is in the setting of convex bodies."}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"success":1,"date_created":"2024-01-08T09:53:09Z","content_type":"application/pdf","creator":"dernst","access_level":"open_access","relation":"main_file","file_name":"2023_IMRN_Ivanov.pdf","checksum":"353666cea80633beb0f1ffd342dff6d4","file_size":815777,"date_updated":"2024-01-08T09:53:09Z","file_id":"14738"}],"publication_status":"published","intvolume":"      2023","ddc":["510"],"day":"01","month":"12","language":[{"iso":"eng"}],"file_date_updated":"2024-01-08T09:53:09Z","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)"},"article_processing_charge":"Yes (via OA deal)","date_updated":"2024-01-08T09:57:25Z","doi":"10.1093/imrn/rnad210","date_published":"2023-12-01T00:00:00Z","author":[{"id":"87744F66-5C6F-11EA-AFE0-D16B3DDC885E","full_name":"Ivanov, Grigory","last_name":"Ivanov","first_name":"Grigory"},{"last_name":"Naszódi","first_name":"Márton","full_name":"Naszódi, Márton"}],"quality_controlled":"1","keyword":["General Mathematics"]},{"date_created":"2024-01-08T09:59:46Z","oa_version":"Published Version","publisher":"IEEE","publication":"IEEE Transactions on Pattern Analysis and Machine Intelligence","department":[{"_id":"HeEd"}],"title":"A survey of vectorization methods in topological data analysis","abstract":[{"text":"Attempts to incorporate topological information in supervised learning tasks have resulted in the creation of several techniques for vectorizing persistent homology barcodes. In this paper, we study thirteen such methods. Besides describing an organizational framework for these methods, we comprehensively benchmark them against three well-known classification tasks. Surprisingly, we discover that the best-performing method is a simple vectorization, which consists only of a few elementary summary statistics. Finally, we provide a convenient web application which has been designed to facilitate exploration and experimentation with various vectorization methods.","lang":"eng"}],"year":"2023","has_accepted_license":"1","_id":"14739","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":45,"page":"14069-14080","publication_identifier":{"eissn":["1939-3539"],"issn":["0162-8828"]},"citation":{"apa":"Ali, D., Asaad, A., Jimenez, M.-J., Nanda, V., Paluzo-Hidalgo, E., &#38; Soriano Trigueros, M. (2023). A survey of vectorization methods in topological data analysis. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. IEEE. <a href=\"https://doi.org/10.1109/tpami.2023.3308391\">https://doi.org/10.1109/tpami.2023.3308391</a>","ieee":"D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, and M. Soriano Trigueros, “A survey of vectorization methods in topological data analysis,” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 45, no. 12. IEEE, pp. 14069–14080, 2023.","chicago":"Ali, Dashti, Aras Asaad, Maria-Jose Jimenez, Vidit Nanda, Eduardo Paluzo-Hidalgo, and Manuel Soriano Trigueros. “A Survey of Vectorization Methods in Topological Data Analysis.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. IEEE, 2023. <a href=\"https://doi.org/10.1109/tpami.2023.3308391\">https://doi.org/10.1109/tpami.2023.3308391</a>.","mla":"Ali, Dashti, et al. “A Survey of Vectorization Methods in Topological Data Analysis.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 45, no. 12, IEEE, 2023, pp. 14069–80, doi:<a href=\"https://doi.org/10.1109/tpami.2023.3308391\">10.1109/tpami.2023.3308391</a>.","ista":"Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. 2023. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 45(12), 14069–14080.","short":"D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.","ama":"Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. A survey of vectorization methods in topological data analysis. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. 2023;45(12):14069-14080. doi:<a href=\"https://doi.org/10.1109/tpami.2023.3308391\">10.1109/tpami.2023.3308391</a>"},"issue":"12","article_type":"original","acknowledgement":"The work of Maria-Jose Jimenez, Eduardo Paluzo-Hidalgo and Manuel Soriano-Trigueros was supported in part by the Spanish grant Ministerio de Ciencia e Innovacion under Grants TED2021-129438B-I00 and PID2019-107339GB-I00, and in part by REXASI-PRO H-EU project, call HORIZON-CL4-2021-HUMAN-01-01 under Grant 101070028. The work of\r\nMaria-Jose Jimenez was supported by a grant of Convocatoria de la Universidad de Sevilla para la recualificacion del sistema universitario español, 2021-23, funded by the European Union, NextGenerationEU. The work of Vidit Nanda was supported in part by EPSRC under Grant EP/R018472/1 and in part by US AFOSR under Grant FA9550-22-1-0462. \r\nWe are grateful to the team of GUDHI and TEASPOON developers, for their work and their support. We are also grateful to Streamlit for providing extra resources to deploy the web app\r\nonline on Streamlit community cloud. We thank the anonymous referees for their helpful suggestions.","status":"public","oa":1,"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":"2024-01-08T10:09:14Z","quality_controlled":"1","keyword":["Applied Mathematics","Artificial Intelligence","Computational Theory and Mathematics","Computer Vision and Pattern Recognition","Software"],"article_processing_charge":"Yes (in subscription journal)","date_updated":"2024-01-08T10:11:46Z","doi":"10.1109/tpami.2023.3308391","author":[{"last_name":"Ali","first_name":"Dashti","full_name":"Ali, Dashti"},{"first_name":"Aras","last_name":"Asaad","full_name":"Asaad, Aras"},{"first_name":"Maria-Jose","last_name":"Jimenez","full_name":"Jimenez, Maria-Jose"},{"last_name":"Nanda","first_name":"Vidit","full_name":"Nanda, Vidit"},{"full_name":"Paluzo-Hidalgo, Eduardo","first_name":"Eduardo","last_name":"Paluzo-Hidalgo"},{"first_name":"Manuel","orcid":"0000-0003-2449-1433","last_name":"Soriano Trigueros","full_name":"Soriano Trigueros, Manuel","id":"15ebd7cf-15bf-11ee-aebd-bb4bb5121ea8"}],"date_published":"2023-12-01T00:00:00Z","file":[{"date_updated":"2024-01-08T10:09:14Z","file_id":"14740","file_size":2370988,"file_name":"2023_IEEEToP_Ali.pdf","checksum":"465c28ef0b151b4b1fb47977ed5581ab","relation":"main_file","creator":"dernst","access_level":"open_access","content_type":"application/pdf","success":1,"date_created":"2024-01-08T10:09:14Z"}],"publication_status":"published","intvolume":"        45","month":"12","language":[{"iso":"eng"}],"ddc":["000"],"day":"01"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/cshperspect.a041447"}],"intvolume":"        15","publication_status":"published","month":"11","language":[{"iso":"eng"}],"pmid":1,"day":"01","article_number":"a041447","keyword":["General Biochemistry","Genetics and Molecular Biology"],"scopus_import":"1","quality_controlled":"1","date_published":"2023-11-01T00:00:00Z","author":[{"last_name":"Lucek","first_name":"Kay","full_name":"Lucek, Kay"},{"full_name":"Giménez, Mabel D.","last_name":"Giménez","first_name":"Mabel D."},{"first_name":"Mathieu","last_name":"Joron","full_name":"Joron, Mathieu"},{"full_name":"Rafajlović, Marina","first_name":"Marina","last_name":"Rafajlović"},{"first_name":"Jeremy B.","last_name":"Searle","full_name":"Searle, Jeremy B."},{"first_name":"Nora","last_name":"Walden","full_name":"Walden, Nora"},{"full_name":"Westram, Anja M","id":"3C147470-F248-11E8-B48F-1D18A9856A87","first_name":"Anja M","orcid":"0000-0003-1050-4969","last_name":"Westram"},{"first_name":"Rui","last_name":"Faria","full_name":"Faria, Rui"}],"article_processing_charge":"No","date_updated":"2024-01-08T12:52:29Z","doi":"10.1101/cshperspect.a041447","_id":"14742","year":"2023","volume":15,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","citation":{"ieee":"K. Lucek <i>et al.</i>, “The impact of chromosomal rearrangements in speciation: From micro- to macroevolution,” <i>Cold Spring Harbor Perspectives in Biology</i>, vol. 15, no. 11. Cold Spring Harbor Laboratory, 2023.","chicago":"Lucek, Kay, Mabel D. Giménez, Mathieu Joron, Marina Rafajlović, Jeremy B. Searle, Nora Walden, Anja M Westram, and Rui Faria. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” <i>Cold Spring Harbor Perspectives in Biology</i>. Cold Spring Harbor Laboratory, 2023. <a href=\"https://doi.org/10.1101/cshperspect.a041447\">https://doi.org/10.1101/cshperspect.a041447</a>.","apa":"Lucek, K., Giménez, M. D., Joron, M., Rafajlović, M., Searle, J. B., Walden, N., … Faria, R. (2023). The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. <i>Cold Spring Harbor Perspectives in Biology</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/cshperspect.a041447\">https://doi.org/10.1101/cshperspect.a041447</a>","ama":"Lucek K, Giménez MD, Joron M, et al. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. <i>Cold Spring Harbor Perspectives in Biology</i>. 2023;15(11). doi:<a href=\"https://doi.org/10.1101/cshperspect.a041447\">10.1101/cshperspect.a041447</a>","mla":"Lucek, Kay, et al. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” <i>Cold Spring Harbor Perspectives in Biology</i>, vol. 15, no. 11, a041447, Cold Spring Harbor Laboratory, 2023, doi:<a href=\"https://doi.org/10.1101/cshperspect.a041447\">10.1101/cshperspect.a041447</a>.","ista":"Lucek K, Giménez MD, Joron M, Rafajlović M, Searle JB, Walden N, Westram AM, Faria R. 2023. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 15(11), a041447.","short":"K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023)."},"publication_identifier":{"issn":["1943-0264"]},"acknowledgement":"K.L. was funded by a Swiss National Science Foundation Eccellenza project: The evolution of strong reproductive barriers towards the completion of speciation (PCEFP3_202869). R.F.\r\nwas funded by an FCT CEEC (Fundação para a Ciênca e a Tecnologia, Concurso Estímulo ao\r\nEmprego Científico) contract (2020.00275. CEECIND) and by an FCT research project\r\n(PTDC/BIA-EVL/1614/2021). M.R. was funded by the Swedish Research Council Vetenskapsrådet (grant number 2021-05243). A.M.W. was partly funded by the Norwegian Research Council RCN. We thank Luis Silva for his help preparing Figure 1. We are grateful to Maren Wellenreuther, Daniel Bolnick, and two anonymous reviewers for their constructive feedback on an earlier version of this paper.","oa":1,"status":"public","issue":"11","article_type":"original","external_id":{"pmid":["37604585"]},"date_created":"2024-01-08T12:43:48Z","oa_version":"Published Version","publication":"Cold Spring Harbor Perspectives in Biology","title":"The impact of chromosomal rearrangements in speciation: From micro- to macroevolution","department":[{"_id":"NiBa"},{"_id":"BeVi"}],"publisher":"Cold Spring Harbor Laboratory","abstract":[{"text":"Chromosomal rearrangements (CRs) have been known since almost the beginning of genetics.\r\nWhile an important role for CRs in speciation has been suggested, evidence primarily stems\r\nfrom theoretical and empirical studies focusing on the microevolutionary level (i.e., on taxon\r\npairs where speciation is often incomplete). Although the role of CRs in eukaryotic speciation at\r\na macroevolutionary level has been supported by associations between species diversity and\r\nrates of evolution of CRs across phylogenies, these findings are limited to a restricted range of\r\nCRs and taxa. Now that more broadly applicable and precise CR detection approaches have\r\nbecome available, we address the challenges in filling some of the conceptual and empirical\r\ngaps between micro- and macroevolutionary studies on the role of CRs in speciation. We\r\nsynthesize what is known about the macroevolutionary impact of CRs and suggest new research avenues to overcome the pitfalls of previous studies to gain a more comprehensive understanding of the evolutionary significance of CRs in speciation across the tree of life.","lang":"eng"}]},{"main_file_link":[{"url":"https://doi.org/10.1145/3600006.3613150","open_access":"1"}],"_id":"14743","publication_status":"published","year":"2023","page":"281-297","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Tennage, Pasindu, Cristina Basescu, Eleftherios Kokoris Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galinanes, and Bryan Ford. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” In <i>Proceedings of the 29th Symposium on Operating Systems Principles</i>, 281–97. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3600006.3613150\">https://doi.org/10.1145/3600006.3613150</a>.","ieee":"P. Tennage <i>et al.</i>, “QuePaxa: Escaping the tyranny of timeouts in consensus,” in <i>Proceedings of the 29th Symposium on Operating Systems Principles</i>, Koblenz, Germany, 2023, pp. 281–297.","apa":"Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., &#38; Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In <i>Proceedings of the 29th Symposium on Operating Systems Principles</i> (pp. 281–297). Koblenz, Germany: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3600006.3613150\">https://doi.org/10.1145/3600006.3613150</a>","ama":"Tennage P, Basescu C, Kokoris Kogias E, et al. QuePaxa: Escaping the tyranny of timeouts in consensus. In: <i>Proceedings of the 29th Symposium on Operating Systems Principles</i>. Association for Computing Machinery; 2023:281-297. doi:<a href=\"https://doi.org/10.1145/3600006.3613150\">10.1145/3600006.3613150</a>","short":"P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.","ista":"Tennage P, Basescu C, Kokoris Kogias E, Syta E, Jovanovic P, Estrada-Galinanes V, Ford B. 2023. QuePaxa: Escaping the tyranny of timeouts in consensus. Proceedings of the 29th Symposium on Operating Systems Principles. SOSP: Symposium on Operating Systems Principles, 281–297.","mla":"Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” <i>Proceedings of the 29th Symposium on Operating Systems Principles</i>, Association for Computing Machinery, 2023, pp. 281–97, doi:<a href=\"https://doi.org/10.1145/3600006.3613150\">10.1145/3600006.3613150</a>."},"publication_identifier":{"isbn":["9798400702297"]},"language":[{"iso":"eng"}],"month":"10","status":"public","oa":1,"acknowledgement":"The authors would like to thank Marcos K. Aguilera, Pierluca Borsò, Aleksey Charapko, Rachid Guerraoui, Jovan Komatovic, Derek Leung, Louis-Henri Merino, Shailesh Mishra, Haochen Pan, Rodrigo Rodrigues, Lewis Tseng, and Haoqian Zhang for their helpful feedback on early drafts of this paper.","day":"01","oa_version":"Published Version","date_created":"2024-01-08T12:54:35Z","conference":{"name":"SOSP: Symposium on Operating Systems Principles","end_date":"2023-10-26","location":"Koblenz, Germany","start_date":"2023-10-23"},"title":"QuePaxa: Escaping the tyranny of timeouts in consensus","department":[{"_id":"ElKo"}],"publication":"Proceedings of the 29th Symposium on Operating Systems Principles","publisher":"Association for Computing Machinery","abstract":[{"lang":"eng","text":"Leader-based consensus algorithms are fast and efficient under normal conditions, but lack robustness to adverse conditions due to their reliance on timeouts for liveness. We present QuePaxa, the first protocol offering state-of-the-art normal-case efficiency without depending on timeouts. QuePaxa uses a novel randomized asynchronous consensus core to tolerate adverse conditions such as denial-of-service (DoS) attacks, while a one-round-trip fast path preserves the normal-case efficiency of Multi-Paxos or Raft. By allowing simultaneous proposers without destructive interference, and using short hedging delays instead of conservative timeouts to limit redundant effort, QuePaxa permits rapid recovery after leader failure without risking costly view changes due to false timeouts. By treating leader choice and hedging delay as a multi-armed-bandit optimization, QuePaxa achieves responsiveness to prevalent conditions, and can choose the best leader even if the current one has not failed. Experiments with a prototype confirm that QuePaxa achieves normal-case LAN and WAN performance of 584k and 250k cmd/sec in throughput, respectively, comparable to Multi-Paxos. Under conditions such as DoS attacks, misconfigurations, or slow leaders that severely impact existing protocols, we find that QuePaxa remains live with median latency under 380ms in WAN experiments."}],"scopus_import":"1","quality_controlled":"1","date_published":"2023-10-01T00:00:00Z","author":[{"first_name":"Pasindu","last_name":"Tennage","full_name":"Tennage, Pasindu"},{"full_name":"Basescu, Cristina","first_name":"Cristina","last_name":"Basescu"},{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","first_name":"Eleftherios"},{"full_name":"Syta, Ewa","last_name":"Syta","first_name":"Ewa"},{"first_name":"Philipp","last_name":"Jovanovic","full_name":"Jovanovic, Philipp"},{"full_name":"Estrada-Galinanes, Vero","first_name":"Vero","last_name":"Estrada-Galinanes"},{"last_name":"Ford","first_name":"Bryan","full_name":"Ford, Bryan"}],"doi":"10.1145/3600006.3613150","date_updated":"2024-02-28T12:51:24Z","article_processing_charge":"No"},{"month":"06","language":[{"iso":"eng"}],"day":"01","publication_status":"published","intvolume":"     13892","quality_controlled":"1","scopus_import":"1","article_processing_charge":"No","doi":"10.1007/978-3-031-32733-9_10","alternative_title":["LNCS"],"date_updated":"2024-01-09T07:40:57Z","author":[{"first_name":"Zeta","last_name":"Avarikioti","full_name":"Avarikioti, Zeta"},{"id":"06d0c166-aec1-11ee-a7c0-b96e840a602b","full_name":"Desjardins, Antoine","last_name":"Desjardins","first_name":"Antoine"},{"first_name":"Eleftherios","last_name":"Kokoris Kogias","full_name":"Kokoris Kogias, Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"},{"first_name":"Roger","last_name":"Wattenhofer","full_name":"Wattenhofer, Roger"}],"date_published":"2023-06-01T00:00:00Z","conference":{"location":"Alcalá de Henares, Spain","start_date":"2023-06-06","name":"SIROCCO: Structural Information and Communication Complexity","end_date":"2023-06-09"},"publication_identifier":{"isbn":["9783031327322"],"issn":["0302-9743"],"eisbn":["9783031327339"],"eissn":["1611-3349"]},"citation":{"chicago":"Avarikioti, Zeta, Antoine Desjardins, Eleftherios Kokoris Kogias, and Roger Wattenhofer. “Divide &#38; Scale: Formalization and Roadmap to Robust Sharding.” In <i>30th International Colloquium on Structural Information and Communication Complexity</i>, 13892:199–245. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-32733-9_10\">https://doi.org/10.1007/978-3-031-32733-9_10</a>.","ieee":"Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, and R. Wattenhofer, “Divide &#38; Scale: Formalization and roadmap to robust sharding,” in <i>30th International Colloquium on Structural Information and Communication Complexity</i>, Alcalá de Henares, Spain, 2023, vol. 13892, pp. 199–245.","apa":"Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., &#38; Wattenhofer, R. (2023). Divide &#38; Scale: Formalization and roadmap to robust sharding. In <i>30th International Colloquium on Structural Information and Communication Complexity</i> (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-32733-9_10\">https://doi.org/10.1007/978-3-031-32733-9_10</a>","ama":"Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. Divide &#38; Scale: Formalization and roadmap to robust sharding. In: <i>30th International Colloquium on Structural Information and Communication Complexity</i>. Vol 13892. Springer Nature; 2023:199-245. doi:<a href=\"https://doi.org/10.1007/978-3-031-32733-9_10\">10.1007/978-3-031-32733-9_10</a>","short":"Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.","mla":"Avarikioti, Zeta, et al. “Divide &#38; Scale: Formalization and Roadmap to Robust Sharding.” <i>30th International Colloquium on Structural Information and Communication Complexity</i>, vol. 13892, Springer Nature, 2023, pp. 199–245, doi:<a href=\"https://doi.org/10.1007/978-3-031-32733-9_10\">10.1007/978-3-031-32733-9_10</a>.","ista":"Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. 2023. Divide &#38; Scale: Formalization and roadmap to robust sharding. 30th International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 13892, 199–245."},"acknowledgement":"The work was partially supported by the Austrian Science Fund (FWF) through the project CoRaF (grant agreement 2020388).","status":"public","year":"2023","_id":"14744","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","volume":13892,"page":"199-245","abstract":[{"lang":"eng","text":"Sharding distributed ledgers is a promising on-chain solution for scaling blockchains but lacks formal grounds, nurturing skepticism on whether such complex systems can scale blockchains securely. We fill this gap by introducing the first formal framework as well as a roadmap to robust sharding. In particular, we first define the properties sharded distributed ledgers should fulfill. We build upon and extend the Bitcoin backbone protocol by defining consistency and scalability. Consistency encompasses the need for atomic execution of cross-shard transactions to preserve safety, whereas scalability encapsulates the speedup a sharded system can gain in comparison to a non-sharded system.\r\nUsing our model, we explore the limitations of sharding. We show that a sharded ledger with n participants cannot scale under a fully adaptive adversary, but it can scale up to m shards where n=c'm log m, under an epoch-adaptive adversary; the constant c' encompasses the trade-off between security and scalability. This is possible only if the sharded ledgers create succinct proofs of the valid state updates at every epoch. We leverage our results to identify the sufficient components for robust sharding, which we incorporate in a protocol abstraction termed Divide & Scale. To demonstrate the power of our framework, we analyze the most prominent sharded blockchains (Elastico, Monoxide, OmniLedger, RapidChain) and pinpoint where they fail to meet the desired properties."}],"date_created":"2024-01-08T12:56:46Z","oa_version":"None","publisher":"Springer Nature","publication":"30th International Colloquium on Structural Information and Communication Complexity","department":[{"_id":"ElKo"}],"title":"Divide & Scale: Formalization and roadmap to robust sharding"},{"status":"public","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).","day":"01","citation":{"apa":"Chen, Y.-L., Ly, M., &#38; Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3606037.3606836\">https://doi.org/10.1145/3606037.3606836</a>","chicago":"Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” In <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>. Association for Computing Machinery, 2023. <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, “Unified treatment of contact, friction and shock-propagation in rigid body animation,” in <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>, Los Angeles, CA, United States, 2023.","short":"Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.","ista":"Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: Symposium on Computer Animation, 5.","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>, 5, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3606037.3606836\">10.1145/3606037.3606836</a>.","ama":"Chen Y-L, Ly M, Wojtan C. Unified treatment of contact, friction and shock-propagation in rigid body animation. In: <i>Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation</i>. Association for Computing Machinery; 2023. doi:<a href=\"https://doi.org/10.1145/3606037.3606836\">10.1145/3606037.3606836</a>"},"month":"08","project":[{"name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083","_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088"}],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9798400702686"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference_abstract","_id":"14748","year":"2023","publication_status":"published","author":[{"first_name":"Yi-Lu","last_name":"Chen","full_name":"Chen, Yi-Lu","id":"0b467602-dbcd-11ea-9d1d-ed480aa46b70"},{"id":"6340d7f0-b48d-11eb-b10d-b7487e71d9f1","full_name":"Ly, Mickaël","last_name":"Ly","first_name":"Mickaël"},{"first_name":"Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2023-08-01T00:00:00Z","article_processing_charge":"No","date_updated":"2024-02-28T12:51:40Z","doi":"10.1145/3606037.3606836","quality_controlled":"1","publication":"Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation","department":[{"_id":"ChWo"}],"title":"Unified treatment of contact, friction and shock-propagation in rigid body animation","publisher":"Association for Computing Machinery","article_number":"5","conference":{"name":"SCA: Symposium on Computer Animation","end_date":"2023-08-06","location":"Los Angeles, CA, United States","start_date":"2023-08-04"},"date_created":"2024-01-08T13:00:24Z","oa_version":"None","acknowledged_ssus":[{"_id":"ScienComp"}]},{"arxiv":1,"abstract":[{"text":"We unveil a powerful method for the stabilization of laser injection locking based on sensing variations in the output beam ellipticity of an optically seeded laser. The effect arises due to an interference between the seeding beam and the injected laser output. We demonstrate the method for a commercial semiconductor laser without the need for any internal changes to the readily operational injection locked laser system that was used. The method can also be used to increase the mode-hop free tuning range of lasers, and has the potential to fill a void in the low-noise laser industry.","lang":"eng"}],"department":[{"_id":"OnHo"}],"title":"Monitoring and active stabilization of laser injection locking using beam ellipticity","publication":"Optics Letters","publisher":"Optica Publishing Group","oa_version":"Preprint","date_created":"2024-01-08T13:01:46Z","status":"public","external_id":{"arxiv":["2212.01266"]},"article_type":"original","issue":"15","citation":{"ieee":"U. Mishra, V. Li, S. Wald, S. Agafonova, F. R. Diorico, and O. Hosten, “Monitoring and active stabilization of laser injection locking using beam ellipticity,” <i>Optics Letters</i>, vol. 48, no. 15. Optica Publishing Group, pp. 3973–3976, 2023.","chicago":"Mishra, Umang, Vyacheslav Li, Sebastian Wald, Sofya Agafonova, Fritz R Diorico, and Onur Hosten. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” <i>Optics Letters</i>. Optica Publishing Group, 2023. <a href=\"https://doi.org/10.1364/ol.495553\">https://doi.org/10.1364/ol.495553</a>.","apa":"Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., &#38; Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. <i>Optics Letters</i>. Optica Publishing Group. <a href=\"https://doi.org/10.1364/ol.495553\">https://doi.org/10.1364/ol.495553</a>","ama":"Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. <i>Optics Letters</i>. 2023;48(15):3973-3976. doi:<a href=\"https://doi.org/10.1364/ol.495553\">10.1364/ol.495553</a>","short":"U. Mishra, V. Li, S. Wald, S. Agafonova, F.R. Diorico, O. Hosten, Optics Letters 48 (2023) 3973–3976.","mla":"Mishra, Umang, et al. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” <i>Optics Letters</i>, vol. 48, no. 15, Optica Publishing Group, 2023, pp. 3973–76, doi:<a href=\"https://doi.org/10.1364/ol.495553\">10.1364/ol.495553</a>.","ista":"Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. 2023. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 48(15), 3973–3976."},"publication_identifier":{"eissn":["1539-4794"],"issn":["0146-9592"]},"page":"3973-3976","volume":48,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14749","year":"2023","date_published":"2023-07-21T00:00:00Z","author":[{"full_name":"Mishra, Umang","id":"4328fa4c-f128-11eb-9611-c107b0fe4d51","first_name":"Umang","last_name":"Mishra"},{"first_name":"Vyacheslav","last_name":"Li","full_name":"Li, Vyacheslav","id":"3A4FAA92-F248-11E8-B48F-1D18A9856A87"},{"id":"133F200A-B015-11E9-AD41-0EDAE5697425","full_name":"Wald, Sebastian","last_name":"Wald","first_name":"Sebastian"},{"id":"09501ff6-dca7-11ea-a8ae-b3e0b9166e80","full_name":"Agafonova, Sofya","orcid":"0000-0003-0582-2946","last_name":"Agafonova","first_name":"Sofya"},{"last_name":"Diorico","first_name":"Fritz R","id":"2E054C4C-F248-11E8-B48F-1D18A9856A87","full_name":"Diorico, Fritz R"},{"orcid":"0000-0002-2031-204X","last_name":"Hosten","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","full_name":"Hosten, Onur"}],"date_updated":"2024-01-09T08:09:32Z","doi":"10.1364/ol.495553","article_processing_charge":"No","scopus_import":"1","keyword":["Atomic and Molecular Physics","and Optics"],"quality_controlled":"1","day":"21","language":[{"iso":"eng"}],"month":"07","intvolume":"        48","publication_status":"published"},{"month":"08","project":[{"call_identifier":"H2020","grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d"}],"language":[{"iso":"eng"}],"day":"01","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2010.16083"}],"intvolume":"        33","quality_controlled":"1","keyword":["Statistics","Probability and Uncertainty","Statistics and Probability"],"scopus_import":"1","article_processing_charge":"No","doi":"10.1214/22-aap1882","date_updated":"2024-01-09T08:16:41Z","author":[{"last_name":"Ding","first_name":"Xiucai","full_name":"Ding, Xiucai"},{"full_name":"Ji, Hong Chang","id":"dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d","first_name":"Hong Chang","last_name":"Ji"}],"date_published":"2023-08-01T00:00:00Z","publication_identifier":{"issn":["1050-5164"]},"citation":{"ama":"Ding X, Ji HC. Local laws for multiplication of random matrices. <i>The Annals of Applied Probability</i>. 2023;33(4):2981-3009. doi:<a href=\"https://doi.org/10.1214/22-aap1882\">10.1214/22-aap1882</a>","short":"X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.","ista":"Ding X, Ji HC. 2023. Local laws for multiplication of random matrices. The Annals of Applied Probability. 33(4), 2981–3009.","mla":"Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.” <i>The Annals of Applied Probability</i>, vol. 33, no. 4, Institute of Mathematical Statistics, 2023, pp. 2981–3009, doi:<a href=\"https://doi.org/10.1214/22-aap1882\">10.1214/22-aap1882</a>.","ieee":"X. Ding and H. C. Ji, “Local laws for multiplication of random matrices,” <i>The Annals of Applied Probability</i>, vol. 33, no. 4. Institute of Mathematical Statistics, pp. 2981–3009, 2023.","chicago":"Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.” <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2023. <a href=\"https://doi.org/10.1214/22-aap1882\">https://doi.org/10.1214/22-aap1882</a>.","apa":"Ding, X., &#38; Ji, H. C. (2023). Local laws for multiplication of random matrices. <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/22-aap1882\">https://doi.org/10.1214/22-aap1882</a>"},"issue":"4","article_type":"original","external_id":{"arxiv":["2010.16083"]},"oa":1,"acknowledgement":"The first author is partially supported by NSF Grant DMS-2113489 and grateful for the AMS-SIMONS travel grant (2020–2023). The second author is supported by the ERC Advanced Grant “RMTBeyond” No. 101020331.\r\nThe authors would like to thank the Editor, Associate Editor and an anonymous referee for their many critical suggestions which have significantly improved the paper. We also want to thank Zhigang Bao and Ji Oon Lee for many helpful discussions and comments.","status":"public","year":"2023","_id":"14750","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":33,"page":"2981-3009","abstract":[{"text":"Consider the random matrix model A1/2UBU∗A1/2, where A and B are two N × N deterministic matrices and U is either an N × N Haar unitary or orthogonal random matrix. It is well known that on the macroscopic scale (Invent. Math. 104 (1991) 201–220), the limiting empirical spectral distribution (ESD) of the above model is given by the free multiplicative convolution\r\nof the limiting ESDs of A and B, denoted as μα \u0002 μβ, where μα and μβ are the limiting ESDs of A and B, respectively. In this paper, we study the asymptotic microscopic behavior of the edge eigenvalues and eigenvectors statistics. We prove that both the density of μA \u0002μB, where μA and μB are the ESDs of A and B, respectively and the associated subordination functions\r\nhave a regular behavior near the edges. Moreover, we establish the local laws near the edges on the optimal scale. In particular, we prove that the entries of the resolvent are close to some functionals depending only on the eigenvalues of A, B and the subordination functions with optimal convergence rates. Our proofs and calculations are based on the techniques developed for the additive model A+UBU∗ in (J. Funct. Anal. 271 (2016) 672–719; Comm. Math.\r\nPhys. 349 (2017) 947–990; Adv. Math. 319 (2017) 251–291; J. Funct. Anal. 279 (2020) 108639), and our results can be regarded as the counterparts of (J. Funct. Anal. 279 (2020) 108639) for the multiplicative model. ","lang":"eng"}],"arxiv":1,"date_created":"2024-01-08T13:03:18Z","ec_funded":1,"oa_version":"Preprint","publisher":"Institute of Mathematical Statistics","publication":"The Annals of Applied Probability","department":[{"_id":"LaEr"}],"title":"Local laws for multiplication of random matrices"},{"abstract":[{"lang":"eng","text":"We consider zero-error communication over a two-transmitter deterministic adversarial multiple access channel (MAC) governed by an adversary who has access to the transmissions of both senders (hence called omniscient ) and aims to maliciously corrupt the communication. None of the encoders, jammer and decoder is allowed to randomize using private or public randomness. This enforces a combinatorial nature of the problem. Our model covers a large family of channels studied in the literature, including all deterministic discrete memoryless noisy or noiseless MACs. In this work, given an arbitrary two-transmitter deterministic omniscient adversarial MAC, we characterize when the capacity region: 1) has nonempty interior (in particular, is two-dimensional); 2) consists of two line segments (in particular, has empty interior); 3) consists of one line segment (in particular, is one-dimensional); 4) or only contains (0,0) (in particular, is zero-dimensional). This extends a recent result by Wang et al. (201 9) from the point-to-point setting to the multiple access setting. Indeed, our converse arguments build upon their generalized Plotkin bound and involve delicate case analysis. One of the technical challenges is to take care of both “joint confusability” and “marginal confusability”. In particular, the treatment of marginal confusability does not follow from the point-to-point results by Wang et al. Our achievability results follow from random coding with expurgation."}],"arxiv":1,"oa_version":"Preprint","date_created":"2024-01-08T13:04:54Z","publisher":"Institute of Electrical and Electronics Engineers","title":"Zero-error communication over adversarial MACs","department":[{"_id":"MaMo"}],"publication":"IEEE Transactions on Information Theory","publication_identifier":{"eissn":["1557-9654"],"issn":["0018-9448"]},"citation":{"apa":"Zhang, Y. (2023). Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>","chicago":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers, 2023. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>.","ieee":"Y. Zhang, “Zero-error communication over adversarial MACs,” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.","ista":"Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.","mla":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>.","short":"Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.","ama":"Zhang Y. Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. 2023;69(7):4093-4127. doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>"},"external_id":{"arxiv":["2101.12426"]},"article_type":"original","issue":"7","oa":1,"status":"public","acknowledgement":"The author would like to thank Amitalok J. Budkuley and Sidharth Jaggi for many helpful discussions at the early stage of this work. He would also like to thank Nir Ailon, Qi Cao, and Chandra Nair for discussions on a related problem regarding zero-error binary adder MACs.\r\nThe work of Yihan Zhang was supported by the European Union’s Horizon 2020 Research and Innovation Programme under Grant 682203-ERC-[Inf-Speed-Tradeoff]","year":"2023","_id":"14751","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"4093-4127","volume":69,"quality_controlled":"1","scopus_import":"1","keyword":["Computer Science Applications","Information Systems"],"date_updated":"2024-01-09T08:45:24Z","doi":"10.1109/tit.2023.3257239","article_processing_charge":"No","date_published":"2023-07-01T00:00:00Z","author":[{"last_name":"Zhang","orcid":"0000-0002-6465-6258","first_name":"Yihan","id":"2ce5da42-b2ea-11eb-bba5-9f264e9d002c","full_name":"Zhang, Yihan"}],"language":[{"iso":"eng"}],"month":"07","day":"01","publication_status":"published","intvolume":"        69","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2101.12426"}]},{"month":"06","language":[{"iso":"eng"}],"project":[{"_id":"629205d8-2b32-11ec-9570-e1356ff73576","name":"organization of CLoUdS, and implications of Tropical  cyclones and for the Energetics of the tropics, in current and waRming climate","grant_number":"805041","call_identifier":"H2020"}],"ddc":["550"],"day":"01","intvolume":"         4","file":[{"file_size":24149551,"file_name":"2023_AGUAdvances_Fildier.pdf","checksum":"af773220a9fa194c61a8dc2fae092c16","date_updated":"2024-01-09T08:51:25Z","file_id":"14761","content_type":"application/pdf","success":1,"date_created":"2024-01-09T08:51:25Z","relation":"main_file","creator":"dernst","access_level":"open_access"}],"publication_status":"published","keyword":["General Earth and Planetary Sciences"],"scopus_import":"1","quality_controlled":"1","author":[{"first_name":"B.","last_name":"Fildier","full_name":"Fildier, B."},{"last_name":"Muller","orcid":"0000-0001-5836-5350","first_name":"Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","full_name":"Muller, Caroline J"},{"first_name":"R.","last_name":"Pincus","full_name":"Pincus, R."},{"full_name":"Fueglistaler, S.","last_name":"Fueglistaler","first_name":"S."}],"date_published":"2023-06-01T00:00:00Z","article_processing_charge":"Yes","date_updated":"2024-01-09T08:54:03Z","doi":"10.1029/2023av000880","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)"},"file_date_updated":"2024-01-09T08:51:25Z","article_number":"e2023AV000880","citation":{"ama":"Fildier B, Muller CJ, Pincus R, Fueglistaler S. How moisture shapes low‐level radiative cooling in subsidence regimes. <i>AGU Advances</i>. 2023;4(3). doi:<a href=\"https://doi.org/10.1029/2023av000880\">10.1029/2023av000880</a>","ista":"Fildier B, Muller CJ, Pincus R, Fueglistaler S. 2023. How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. 4(3), e2023AV000880.","short":"B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).","mla":"Fildier, B., et al. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” <i>AGU Advances</i>, vol. 4, no. 3, e2023AV000880, American Geophysical Union, 2023, doi:<a href=\"https://doi.org/10.1029/2023av000880\">10.1029/2023av000880</a>.","chicago":"Fildier, B., Caroline J Muller, R. Pincus, and S. Fueglistaler. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” <i>AGU Advances</i>. American Geophysical Union, 2023. <a href=\"https://doi.org/10.1029/2023av000880\">https://doi.org/10.1029/2023av000880</a>.","ieee":"B. Fildier, C. J. Muller, R. Pincus, and S. Fueglistaler, “How moisture shapes low‐level radiative cooling in subsidence regimes,” <i>AGU Advances</i>, vol. 4, no. 3. American Geophysical Union, 2023.","apa":"Fildier, B., Muller, C. J., Pincus, R., &#38; Fueglistaler, S. (2023). How moisture shapes low‐level radiative cooling in subsidence regimes. <i>AGU Advances</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2023av000880\">https://doi.org/10.1029/2023av000880</a>"},"publication_identifier":{"eissn":["2576-604X"]},"acknowledgement":"The authors would like to thank two anonymous reviews and gratefully acknowledge diverse funding agencies and resources used for this work. B.F. and C.M. thank funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Project CLUSTER, grant agreement no. 805041), and the EUREC4A campaign organizers for giving the opportunity to take part to the campaign and use the data early on. R. P. was supported by the US National Science Foundation (award AGS 19–16908), by the National Oceanic and Atmospheric Administration (award NA200AR4310375), and the Vetlesen Foundation.","status":"public","oa":1,"issue":"3","article_type":"original","_id":"14752","year":"2023","has_accepted_license":"1","volume":4,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","abstract":[{"lang":"eng","text":"Radiative cooling of the lowest atmospheric levels is of strong importance for modulating atmospheric circulations and organizing convection, but detailed observations and a robust theoretical understanding are lacking. Here we use unprecedented observational constraints from subsidence regimes in the tropical Atlantic to develop a theory for the shape and magnitude of low‐level longwave radiative cooling in clear‐sky, showing peaks larger than 5–10 K/day at the top of the boundary layer. A suite of novel scaling approximations is first developed from simplified spectral theory, in close agreement with the measurements. The radiative cooling peak height is set by the maximum lapse rate in water vapor path, and its magnitude is mainly controlled by the ratio of column relative humidity above and below the peak. We emphasize how elevated intrusions of moist air can reduce low‐level cooling, by sporadically shading the spectral range which effectively cools to space. The efficiency of this spectral shading depends both on water content and altitude of moist intrusions; its height dependence cannot be explained by the temperature difference between the emitting and absorbing layers, but by the decrease of water vapor extinction with altitude. This analytical work can help to narrow the search for low‐level cloud patterns sensitive to radiative‐convective feedbacks: the most organized patterns with largest cloud fractions occur in atmospheres below 10% relative humidity and feel the strongest low‐level cooling. This motivates further assessment of favorable conditions for radiative‐convective feedbacks and a robust quantification of corresponding shallow cloud dynamics in current and warmer climates."}],"date_created":"2024-01-08T13:07:49Z","ec_funded":1,"oa_version":"Published Version","publication":"AGU Advances","department":[{"_id":"CaMu"}],"title":"How moisture shapes low‐level radiative cooling in subsidence regimes","publisher":"American Geophysical Union"},{"abstract":[{"lang":"eng","text":"Several fixed-target experiments reported J/ψ and ϒ polarizations, as functions of Feynman x (xF) and transverse momentum (PT), in three different frames, using different combinations of beam particles, target nuclei, and collision energies. Despite the diverse and heterogeneous picture formed by these measurements, a detailed look allows us to discern qualitative physical patterns that inspire a simple empirical model. This data-driven scenario offers a good quantitative description of the J/ψ and ϒ(1S) polarizations measured in proton- and pion-nucleus collisions, in the xF 0.5 domain: more than 80 data points (not statistically independent) are well reproduced with only one free parameter. This study sets the context for future low-PT\r\n quarkonium polarization measurements in proton- and pion-nucleus collisions, such as those to be made by the AMBER experiment, and shows that such measurements provide significant constraints on the poorly-known parton distribution functions of the pion."}],"date_created":"2024-01-08T13:09:17Z","oa_version":"Published Version","publisher":"Elsevier","publication":"Physics Letters B","title":"Low-pT quarkonium polarization measurements: Challenges and opportunities","department":[{"_id":"MaRo"}],"publication_identifier":{"eissn":["1873-2445"],"issn":["0370-2693"]},"citation":{"chicago":"Faccioli, Pietro, Ilse Krätschmer, and Carlos Lourenço. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” <i>Physics Letters B</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">https://doi.org/10.1016/j.physletb.2023.137871</a>.","ieee":"P. Faccioli, I. Krätschmer, and C. Lourenço, “Low-pT quarkonium polarization measurements: Challenges and opportunities,” <i>Physics Letters B</i>, vol. 840. Elsevier, 2023.","apa":"Faccioli, P., Krätschmer, I., &#38; Lourenço, C. (2023). Low-pT quarkonium polarization measurements: Challenges and opportunities. <i>Physics Letters B</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">https://doi.org/10.1016/j.physletb.2023.137871</a>","ama":"Faccioli P, Krätschmer I, Lourenço C. Low-pT quarkonium polarization measurements: Challenges and opportunities. <i>Physics Letters B</i>. 2023;840. doi:<a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">10.1016/j.physletb.2023.137871</a>","ista":"Faccioli P, Krätschmer I, Lourenço C. 2023. Low-pT quarkonium polarization measurements: Challenges and opportunities. Physics Letters B. 840, 137871.","mla":"Faccioli, Pietro, et al. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” <i>Physics Letters B</i>, vol. 840, 137871, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">10.1016/j.physletb.2023.137871</a>.","short":"P. Faccioli, I. Krätschmer, C. Lourenço, Physics Letters B 840 (2023)."},"article_type":"original","acknowledgement":"P.F. and C.L. acknowledge support from Fundação para a Ciência e a Tecnologia, Portugal, under contract CERN/FIS-PAR/0010/2019.\r\nOpen Access funded by SCOAP3.","status":"public","oa":1,"has_accepted_license":"1","year":"2023","_id":"14753","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":840,"quality_controlled":"1","keyword":["Nuclear and High Energy Physics"],"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","date_updated":"2024-01-09T09:02:22Z","doi":"10.1016/j.physletb.2023.137871","author":[{"last_name":"Faccioli","first_name":"Pietro","full_name":"Faccioli, Pietro"},{"full_name":"Krätschmer, Ilse","id":"30d4014e-7753-11eb-b44b-db6d61112e73","first_name":"Ilse","orcid":"0000-0002-5636-9259","last_name":"Krätschmer"},{"first_name":"Carlos","last_name":"Lourenço","full_name":"Lourenço, Carlos"}],"date_published":"2023-05-10T00:00:00Z","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"},"article_number":"137871","file_date_updated":"2024-01-09T08:59:24Z","month":"05","language":[{"iso":"eng"}],"ddc":["530"],"day":"10","file":[{"file_name":"2023_PhysicsLettersB_Faccioli.pdf","checksum":"02dec160dbc81d95985e755869d8afbf","file_size":855494,"date_updated":"2024-01-09T08:59:24Z","file_id":"14762","success":1,"date_created":"2024-01-09T08:59:24Z","content_type":"application/pdf","creator":"dernst","access_level":"open_access","relation":"main_file"}],"publication_status":"published","intvolume":"       840"},{"oa_version":"Submitted Version","date_created":"2024-01-08T13:11:45Z","publisher":"The Royal Society","department":[{"_id":"BjHo"}],"title":"Mean structure of the supercritical turbulent spiral in Taylor–Couette flow","publication":"Philosophical Transactions of the Royal Society A","abstract":[{"text":"The large-scale laminar/turbulent spiral patterns that appear in the linearly unstable regime of counter-rotating Taylor–Couette flow are investigated from a statistical perspective by means of direct numerical simulation. Unlike the vast majority of previous numerical studies, we analyse the flow in periodic parallelogram-annular domains, following a coordinate change that aligns one of the parallelogram sides with the spiral pattern. The domain size, shape and spatial resolution have been varied and the results compared with those in a sufficiently large computational orthogonal domain with natural axial and azimuthal periodicity. We find that a minimal parallelogram of the right tilt significantly reduces the computational cost without notably compromising the statistical properties of the supercritical turbulent spiral. Its mean structure, obtained from extremely long time integrations in a co-rotating reference frame using the method of slices, bears remarkable similarity with the turbulent stripes observed in plane Couette flow, the centrifugal instability playing only a secondary role.","lang":"eng"}],"year":"2023","has_accepted_license":"1","_id":"14754","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":381,"publication_identifier":{"issn":["1364-503X"],"eissn":["1471-2962"]},"citation":{"apa":"Wang, B., Mellibovsky, F., Ayats López, R., Deguchi, K., &#38; Meseguer, A. (2023). Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. <i>Philosophical Transactions of the Royal Society A</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rsta.2022.0112\">https://doi.org/10.1098/rsta.2022.0112</a>","ieee":"B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, and A. Meseguer, “Mean structure of the supercritical turbulent spiral in Taylor–Couette flow,” <i>Philosophical Transactions of the Royal Society A</i>, vol. 381, no. 2246. The Royal Society, 2023.","chicago":"Wang, B., F. Mellibovsky, Roger Ayats López, K. Deguchi, and A. Meseguer. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” <i>Philosophical Transactions of the Royal Society A</i>. The Royal Society, 2023. <a href=\"https://doi.org/10.1098/rsta.2022.0112\">https://doi.org/10.1098/rsta.2022.0112</a>.","short":"B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical Transactions of the Royal Society A 381 (2023).","ista":"Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. 2023. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions of the Royal Society A. 381(2246), 0112.","mla":"Wang, B., et al. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” <i>Philosophical Transactions of the Royal Society A</i>, vol. 381, no. 2246, 0112, The Royal Society, 2023, doi:<a href=\"https://doi.org/10.1098/rsta.2022.0112\">10.1098/rsta.2022.0112</a>.","ama":"Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. <i>Philosophical Transactions of the Royal Society A</i>. 2023;381(2246). doi:<a href=\"https://doi.org/10.1098/rsta.2022.0112\">10.1098/rsta.2022.0112</a>"},"article_type":"original","external_id":{"pmid":["36907214"]},"issue":"2246","acknowledgement":"K.D.’s research was supported by Australian Research Council Discovery Early Career Researcher Award (DE170100171). B.W., R.A., F.M. and A.M. research was supported by the Spanish Ministerio de Economía y Competitividad (grant nos. FIS2016-77849-R and FIS2017-85794-P) and Ministerio de Ciencia e Innovación (grant no. PID2020-114043GB-I00) and the Generalitat de Catalunya (grant no. 2017-SGR-785). B.W.’s research was also supported by the Chinese Scholarship Council (grant CSC no. 201806440152). F.M. is a Serra-Húnter Fellow.","oa":1,"status":"public","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"},"article_number":"0112","file_date_updated":"2024-01-09T09:13:53Z","quality_controlled":"1","scopus_import":"1","keyword":["General Physics and Astronomy","General Engineering","General Mathematics"],"date_updated":"2024-01-09T09:15:29Z","doi":"10.1098/rsta.2022.0112","article_processing_charge":"No","date_published":"2023-05-01T00:00:00Z","author":[{"full_name":"Wang, B.","first_name":"B.","last_name":"Wang"},{"full_name":"Mellibovsky, F.","first_name":"F.","last_name":"Mellibovsky"},{"full_name":"Ayats López, Roger","id":"ab77522d-073b-11ed-8aff-e71b39258362","first_name":"Roger","orcid":"0000-0001-6572-0621","last_name":"Ayats López"},{"last_name":"Deguchi","first_name":"K.","full_name":"Deguchi, K."},{"last_name":"Meseguer","first_name":"A.","full_name":"Meseguer, A."}],"publication_status":"published","file":[{"file_size":6421086,"file_name":"2023_PhilTransactionsA_Wang_accepted.pdf","checksum":"1978d126c0ce2f47c22ac20107cc0106","file_id":"14763","date_updated":"2024-01-09T09:13:53Z","content_type":"application/pdf","success":1,"date_created":"2024-01-09T09:13:53Z","relation":"main_file","creator":"dernst","access_level":"open_access"}],"intvolume":"       381","language":[{"iso":"eng"}],"month":"05","day":"01","ddc":["530"],"pmid":1},{"quality_controlled":"1","scopus_import":"1","keyword":["General Mathematics"],"doi":"10.3233/asy-221775","date_updated":"2024-01-09T09:22:16Z","article_processing_charge":"No","date_published":"2023-02-02T00:00:00Z","author":[{"last_name":"Moser","first_name":"Maximilian","id":"a60047a9-da77-11eb-85b4-c4dc385ebb8c","full_name":"Moser, Maximilian"}],"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2105.07100"}],"intvolume":"       131","language":[{"iso":"eng"}],"month":"02","day":"02","oa_version":"Preprint","date_created":"2024-01-08T13:13:28Z","publisher":"IOS Press","title":"Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result","department":[{"_id":"JuFi"}],"publication":"Asymptotic Analysis","abstract":[{"lang":"eng","text":"We consider the sharp interface limit for the scalar-valued and vector-valued Allen–Cahn equation with homogeneous Neumann boundary condition in a bounded smooth domain Ω of arbitrary dimension N ⩾ 2 in the situation when a two-phase diffuse interface has developed and intersects the boundary ∂ Ω. The limit problem is mean curvature flow with 90°-contact angle and we show convergence in strong norms for well-prepared initial data as long as a smooth solution to the limit problem exists. To this end we assume that the limit problem has a smooth solution on [ 0 , T ] for some time T &gt; 0. Based on the latter we construct suitable curvilinear coordinates and set up an asymptotic expansion for the scalar-valued and the vector-valued Allen–Cahn equation. In order to estimate the difference of the exact and approximate solutions with a Gronwall-type argument, a spectral estimate for the linearized Allen–Cahn operator in both cases is required. The latter will be shown in a separate paper, cf. (Moser (2021))."}],"arxiv":1,"year":"2023","_id":"14755","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"297-383","volume":131,"publication_identifier":{"eissn":["1875-8576"],"issn":["0921-7134"]},"citation":{"apa":"Moser, M. (2023). Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. <i>Asymptotic Analysis</i>. IOS Press. <a href=\"https://doi.org/10.3233/asy-221775\">https://doi.org/10.3233/asy-221775</a>","ieee":"M. Moser, “Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result,” <i>Asymptotic Analysis</i>, vol. 131, no. 3–4. IOS Press, pp. 297–383, 2023.","chicago":"Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part I: Convergence Result.” <i>Asymptotic Analysis</i>. IOS Press, 2023. <a href=\"https://doi.org/10.3233/asy-221775\">https://doi.org/10.3233/asy-221775</a>.","ista":"Moser M. 2023. Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. Asymptotic Analysis. 131(3–4), 297–383.","short":"M. Moser, Asymptotic Analysis 131 (2023) 297–383.","mla":"Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part I: Convergence Result.” <i>Asymptotic Analysis</i>, vol. 131, no. 3–4, IOS Press, 2023, pp. 297–383, doi:<a href=\"https://doi.org/10.3233/asy-221775\">10.3233/asy-221775</a>.","ama":"Moser M. Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. <i>Asymptotic Analysis</i>. 2023;131(3-4):297-383. doi:<a href=\"https://doi.org/10.3233/asy-221775\">10.3233/asy-221775</a>"},"external_id":{"arxiv":["2105.07100"]},"article_type":"original","issue":"3-4","acknowledgement":"The author gratefully acknowledges support through DFG, GRK 1692 “Curvature,\r\nCycles and Cohomology” during parts of the work.","oa":1,"status":"public"},{"file_date_updated":"2024-01-09T09:25:34Z","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"},"article_processing_charge":"Yes","doi":"10.4171/qt/193","date_updated":"2024-01-09T09:27:46Z","date_published":"2023-10-16T00:00:00Z","author":[{"last_name":"Carqueville","first_name":"Nils","full_name":"Carqueville, Nils"},{"full_name":"Szegedy, Lorant","id":"7943226E-220E-11EA-94C7-D59F3DDC885E","first_name":"Lorant","orcid":"0000-0003-2834-5054","last_name":"Szegedy"}],"quality_controlled":"1","keyword":["Geometry and Topology","Mathematical Physics"],"scopus_import":"1","file":[{"date_updated":"2024-01-09T09:25:34Z","file_id":"14764","checksum":"b0590aff6e7ec89cc149ba94d459d3a3","file_name":"2023_QuantumTopol_Carqueville.pdf","file_size":707344,"access_level":"open_access","creator":"dernst","relation":"main_file","date_created":"2024-01-09T09:25:34Z","success":1,"content_type":"application/pdf"}],"publication_status":"published","intvolume":"        14","ddc":["530"],"day":"16","month":"10","language":[{"iso":"eng"}],"publisher":"European Mathematical Society","publication":"Quantum Topology","title":"Fully extended r-spin TQFTs","department":[{"_id":"MiLe"}],"date_created":"2024-01-08T13:14:48Z","oa_version":"Published Version","abstract":[{"lang":"eng","text":"We prove the r-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer r: the 2-groupoid of 2-dimensional fully extended r-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced Spin 2r -action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the rth power of their Serre automorphisms. For r=1, we recover the oriented case (on which our proof builds), while ordinary spin structures correspond to r=2.\r\nTo construct examples, we explicitly describe Spin 2r​-homotopy fixed points in the equivariant completion of any symmetric monoidal 2-category. We also show that every object in a 2-category of Landau–Ginzburg models gives rise to fully extended spin TQFTs and that half of these do not factor through the oriented bordism 2-category."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":14,"page":"467-532","year":"2023","has_accepted_license":"1","_id":"14756","issue":"3","article_type":"original","acknowledgement":"N.C. is supported by the DFG Heisenberg Programme.\r\nWe are grateful to Tobias Dyckerhoff, Lukas Müller, Ingo Runkel, and Christopher Schommer-Pries for helpful discussions.","status":"public","oa":1,"publication_identifier":{"issn":["1663-487X"]},"citation":{"apa":"Carqueville, N., &#38; Szegedy, L. (2023). Fully extended r-spin TQFTs. <i>Quantum Topology</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/qt/193\">https://doi.org/10.4171/qt/193</a>","ieee":"N. Carqueville and L. Szegedy, “Fully extended r-spin TQFTs,” <i>Quantum Topology</i>, vol. 14, no. 3. European Mathematical Society, pp. 467–532, 2023.","chicago":"Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” <i>Quantum Topology</i>. European Mathematical Society, 2023. <a href=\"https://doi.org/10.4171/qt/193\">https://doi.org/10.4171/qt/193</a>.","mla":"Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” <i>Quantum Topology</i>, vol. 14, no. 3, European Mathematical Society, 2023, pp. 467–532, doi:<a href=\"https://doi.org/10.4171/qt/193\">10.4171/qt/193</a>.","ista":"Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology. 14(3), 467–532.","short":"N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.","ama":"Carqueville N, Szegedy L. Fully extended r-spin TQFTs. <i>Quantum Topology</i>. 2023;14(3):467-532. doi:<a href=\"https://doi.org/10.4171/qt/193\">10.4171/qt/193</a>"}},{"publisher":"Wiley","publication":"Neocortical Neurogenesis in Development and Evolution","department":[{"_id":"SiHi"}],"title":"Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression","date_created":"2024-01-08T13:16:36Z","oa_version":"None","article_processing_charge":"No","date_updated":"2024-01-09T09:46:57Z","doi":"10.1002/9781119860914.ch10","author":[{"id":"68cb85a0-39f7-11eb-9559-9aaab4f6a247","full_name":"Villalba Requena, Ana","orcid":"0000-0002-5615-5277","last_name":"Villalba Requena","first_name":"Ana"},{"last_name":"Amberg","orcid":"0000-0002-3183-8207","first_name":"Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87","full_name":"Amberg, Nicole"},{"orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer","first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","full_name":"Hippenmeyer, Simon"}],"date_published":"2023-08-08T00:00:00Z","editor":[{"last_name":"Huttner","first_name":"Wieland","full_name":"Huttner, Wieland"}],"quality_controlled":"1","abstract":[{"lang":"eng","text":"The cerebral cortex is comprised of a vast cell-type diversity sequentially generated by cortical progenitor cells. Faithful progenitor lineage progression requires the tight orchestration of distinct molecular and cellular mechanisms regulating proper progenitor proliferation behavior and differentiation. Correct execution of developmental programs involves a complex interplay of cell intrinsic and tissue-wide mechanisms. Many studies over the past decades have been able to determine a plethora of genes critically involved in cortical development. However, only a few made use of genetic paradigms with sparse and global gene deletion to probe cell-autonomous vs. tissue-wide contribution. In this chapter, we will elaborate on the importance of dissecting the cell-autonomous and tissue-wide mechanisms to gain a precise understanding of gene function during radial glial progenitor lineage progression."}],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"book_chapter","page":"169-191","year":"2023","publication_status":"published","_id":"14757","day":"08","status":"public","month":"08","publication_identifier":{"eisbn":["9781119860914"]},"language":[{"iso":"eng"}],"citation":{"chicago":"Villalba Requena, Ana, Nicole Amberg, and Simon Hippenmeyer. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” In <i>Neocortical Neurogenesis in Development and Evolution</i>, edited by Wieland Huttner, 169–91. Wiley, 2023. <a href=\"https://doi.org/10.1002/9781119860914.ch10\">https://doi.org/10.1002/9781119860914.ch10</a>.","ieee":"A. Villalba Requena, N. Amberg, and S. Hippenmeyer, “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression,” in <i>Neocortical Neurogenesis in Development and Evolution</i>, W. Huttner, Ed. Wiley, 2023, pp. 169–191.","apa":"Villalba Requena, A., Amberg, N., &#38; Hippenmeyer, S. (2023). Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In W. Huttner (Ed.), <i>Neocortical Neurogenesis in Development and Evolution</i> (pp. 169–191). Wiley. <a href=\"https://doi.org/10.1002/9781119860914.ch10\">https://doi.org/10.1002/9781119860914.ch10</a>","ama":"Villalba Requena A, Amberg N, Hippenmeyer S. Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In: Huttner W, ed. <i>Neocortical Neurogenesis in Development and Evolution</i>. Wiley; 2023:169-191. doi:<a href=\"https://doi.org/10.1002/9781119860914.ch10\">10.1002/9781119860914.ch10</a>","short":"A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.","ista":"Villalba Requena A, Amberg N, Hippenmeyer S. 2023.Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In: Neocortical Neurogenesis in Development and Evolution. , 169–191.","mla":"Villalba Requena, Ana, et al. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” <i>Neocortical Neurogenesis in Development and Evolution</i>, edited by Wieland Huttner, Wiley, 2023, pp. 169–91, doi:<a href=\"https://doi.org/10.1002/9781119860914.ch10\">10.1002/9781119860914.ch10</a>."}},{"file":[{"creator":"dernst","access_level":"open_access","relation":"main_file","date_created":"2024-01-09T10:01:07Z","success":1,"content_type":"application/pdf","date_updated":"2024-01-09T10:01:07Z","file_id":"14765","checksum":"1a361d83db0244fd32c03b544c294b5a","file_name":"2023_LNCSCAV_Majumdar.pdf","file_size":405147}],"publication_status":"published","intvolume":"     13966","month":"07","language":[{"iso":"eng"}],"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"ddc":["000"],"day":"16","conference":{"location":"Paris, France","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","end_date":"2023-07-22"},"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":"2024-01-09T10:01:07Z","quality_controlled":"1","scopus_import":"1","article_processing_charge":"Yes (in subscription journal)","alternative_title":["LNCS"],"doi":"10.1007/978-3-031-37709-9_1","date_updated":"2024-02-27T07:39:51Z","related_material":{"record":[{"id":"14994","relation":"research_data","status":"public"}]},"author":[{"full_name":"Majumdar, Rupak","last_name":"Majumdar","first_name":"Rupak"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","full_name":"Mallik, Kaushik","orcid":"0000-0001-9864-7475","last_name":"Mallik","first_name":"Kaushik"},{"full_name":"Rychlicki, Mateusz","last_name":"Rychlicki","first_name":"Mateusz"},{"full_name":"Schmuck, Anne-Kathrin","first_name":"Anne-Kathrin","last_name":"Schmuck"},{"full_name":"Soudjani, Sadegh","first_name":"Sadegh","last_name":"Soudjani"}],"date_published":"2023-07-16T00:00:00Z","year":"2023","has_accepted_license":"1","_id":"14758","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","volume":13966,"page":"3-15","publication_identifier":{"isbn":["9783031377082"],"issn":["0302-9743"],"eissn":["1611-3349"],"eisbn":["9783031377099"]},"citation":{"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.” In <i>35th International Conference on Computer Aided Verification</i>, 13966:3–15. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">https://doi.org/10.1007/978-3-031-37709-9_1</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,” in <i>35th International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13966, pp. 3–15.","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. In <i>35th International Conference on Computer Aided Verification</i> (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">https://doi.org/10.1007/978-3-031-37709-9_1</a>","ama":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: <i>35th International Conference on Computer Aided Verification</i>. Vol 13966. Springer Nature; 2023:3-15. doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">10.1007/978-3-031-37709-9_1</a>","mla":"Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” <i>35th International Conference on Computer Aided Verification</i>, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">10.1007/978-3-031-37709-9_1</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. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.","short":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15."},"acknowledgement":"Authors ordered alphabetically. R. Majumdar and A.-K. Schmuck are partially supported by DFG project 389792660 TRR 248-CPEC. A.-K. Schmuck is additionally funded through DFG project (SCHM 3541/1-1). K. Mallik is supported by the ERC project ERC-2020-AdG 101020093. M. Rychlicki is supported by the EPSRC project EP/V00252X/1. S. Soudjani is supported by the following projects: EPSRC EP/V043676/1, EIC 101070802, and ERC 101089047.","status":"public","oa":1,"date_created":"2024-01-08T13:18:00Z","ec_funded":1,"oa_version":"Published Version","publisher":"Springer Nature","publication":"35th International Conference on Computer Aided Verification","department":[{"_id":"ToHe"}],"title":"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties","abstract":[{"text":"We present a flexible and efficient toolchain to symbolically solve (standard) Rabin games, fair-adversarial Rabin games, and 2 1/2 license type-player Rabin games. To our best knowledge, our tools are the first ones to be able to solve these problems. Furthermore, using these flexible game solvers as a back-end, we implemented a tool for computing correct-by-construction controllers for stochastic dynamical systems under LTL specifications. Our implementations use the recent theoretical result that all of these games can be solved using the same symbolic fixpoint algorithm but utilizing different, domain specific calculations of the involved predecessor operators. The main feature of our toolchain is the utilization of two programming abstractions: one to separate the symbolic fixpoint computations from the predecessor calculations, and another one to allow the integration of different BDD libraries as back-ends. In particular, we employ a multi-threaded execution of the fixpoint algorithm by using the multi-threaded BDD library Sylvan, which leads to enormous computational savings.","lang":"eng"}]},{"publisher":"Optica Publishing Group","department":[{"_id":"OnHo"}],"title":"Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone","publication":"Applied Optics","oa_version":"Preprint","date_created":"2024-01-08T13:19:14Z","arxiv":1,"abstract":[{"lang":"eng","text":"Proper operation of electro-optic I/Q modulators relies on precise adjustment and control of the relative phase biases between the modulator’s internal interferometer arms. We present an all-analog phase bias locking scheme where error signals are obtained from the beat between the optical carrier and optical tones generated by an auxiliary 2 MHz 𝑅𝐹 tone to lock the phases of all three involved interferometers for operation up to 10 GHz. With the developed method, we demonstrate an I/Q modulator in carrier-suppressed single-sideband mode, where the suppressed carrier and sideband are locked at optical power levels <−27dB\r\n relative to the transmitted sideband. We describe a simple analytical model for calculating the error signals and detail the implementation of the electronic circuitry for the implementation of the method."}],"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"1-7","volume":62,"year":"2023","_id":"14759","external_id":{"arxiv":["2208.11591"]},"article_type":"original","issue":"1","status":"public","acknowledgement":"We thank Jakob Vorlaufer for technical contributions and Vyacheslav Li and Sofia Agafonova for comments on the manuscript.","oa":1,"publication_identifier":{"eissn":["2155-3165"],"issn":["1559-128X"]},"citation":{"chicago":"Wald, Sebastian, Fritz R Diorico, and Onur Hosten. “Analog Stabilization of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” <i>Applied Optics</i>. Optica Publishing Group, 2023. <a href=\"https://doi.org/10.1364/ao.474118\">https://doi.org/10.1364/ao.474118</a>.","ieee":"S. Wald, F. R. Diorico, and O. Hosten, “Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone,” <i>Applied Optics</i>, vol. 62, no. 1. Optica Publishing Group, pp. 1–7, 2023.","apa":"Wald, S., Diorico, F. R., &#38; Hosten, O. (2023). Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. <i>Applied Optics</i>. Optica Publishing Group. <a href=\"https://doi.org/10.1364/ao.474118\">https://doi.org/10.1364/ao.474118</a>","ama":"Wald S, Diorico FR, Hosten O. Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. <i>Applied Optics</i>. 2023;62(1):1-7. doi:<a href=\"https://doi.org/10.1364/ao.474118\">10.1364/ao.474118</a>","ista":"Wald S, Diorico FR, Hosten O. 2023. Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. 62(1), 1–7.","short":"S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.","mla":"Wald, Sebastian, et al. “Analog Stabilization of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” <i>Applied Optics</i>, vol. 62, no. 1, Optica Publishing Group, 2023, pp. 1–7, doi:<a href=\"https://doi.org/10.1364/ao.474118\">10.1364/ao.474118</a>."},"doi":"10.1364/ao.474118","date_updated":"2024-01-09T10:10:34Z","article_processing_charge":"No","date_published":"2023-01-01T00:00:00Z","author":[{"full_name":"Wald, Sebastian","id":"133F200A-B015-11E9-AD41-0EDAE5697425","first_name":"Sebastian","orcid":"0000-0002-5869-1604","last_name":"Wald"},{"full_name":"Diorico, Fritz R","id":"2E054C4C-F248-11E8-B48F-1D18A9856A87","first_name":"Fritz R","orcid":"0000-0002-4947-8924","last_name":"Diorico"},{"last_name":"Hosten","orcid":"0000-0002-2031-204X","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","full_name":"Hosten, Onur"}],"quality_controlled":"1","scopus_import":"1","keyword":["Atomic and Molecular Physics","and Optics","Engineering (miscellaneous)","Electrical and Electronic Engineering"],"publication_status":"published","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2208.11591","open_access":"1"}],"intvolume":"        62","day":"01","language":[{"iso":"eng"}],"month":"01"}]