[{"oa":1,"quality_controlled":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","acknowledgement":"Nicolas Resch: Research supported in part by ERC H2020 grant No.74079 (ALGSTRONGCRYPTO). Chen Yuan: Research supported in part by the National Key Research and Development Projects under Grant 2022YFA1004900 and Grant 2021YFE0109900, the National Natural Science Foundation of China under Grant 12101403 and Grant 12031011.\r\nAcknowledgements YZ is grateful to Shashank Vatedka, Diyuan Wu and Fengxing Zhu for inspiring discussions.","date_created":"2023-08-20T22:01:13Z","doi":"10.4230/LIPIcs.ICALP.2023.99","date_published":"2023-07-01T00:00:00Z","publication":"50th International Colloquium on Automata, Languages, and Programming","day":"01","year":"2023","has_accepted_license":"1","article_number":"99","title":"Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery","external_id":{"arxiv":["2210.07754"]},"article_processing_charge":"Yes","author":[{"first_name":"Nicolas","full_name":"Resch, Nicolas","last_name":"Resch"},{"first_name":"Chen","full_name":"Yuan, Chen","last_name":"Yuan"},{"last_name":"Zhang","full_name":"Zhang, Yihan","orcid":"0000-0002-6465-6258","id":"2ce5da42-b2ea-11eb-bba5-9f264e9d002c","first_name":"Yihan"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Resch, Nicolas, Chen Yuan, and Yihan Zhang. “Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.99.","ista":"Resch N, Yuan C, Zhang Y. 2023. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 99.","mla":"Resch, Nicolas, et al. “Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ICALP.2023.99.","apa":"Resch, N., Yuan, C., & Zhang, Y. (2023). Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.99","ama":"Resch N, Yuan C, Zhang Y. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.99","ieee":"N. Resch, C. Yuan, and Y. Zhang, “Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.","short":"N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023."},"intvolume":" 261","month":"07","scopus_import":"1","alternative_title":["LIPIcs"],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"In this work we consider the list-decodability and list-recoverability of arbitrary q-ary codes, for all integer values of q ≥ 2. A code is called (p,L)_q-list-decodable if every radius pn Hamming ball contains less than L codewords; (p,𝓁,L)_q-list-recoverability is a generalization where we place radius pn Hamming balls on every point of a combinatorial rectangle with side length 𝓁 and again stipulate that there be less than L codewords.\r\nOur main contribution is to precisely calculate the maximum value of p for which there exist infinite families of positive rate (p,𝓁,L)_q-list-recoverable codes, the quantity we call the zero-rate threshold. Denoting this value by p_*, we in fact show that codes correcting a p_*+ε fraction of errors must have size O_ε(1), i.e., independent of n. Such a result is typically referred to as a \"Plotkin bound.\" To complement this, a standard random code with expurgation construction shows that there exist positive rate codes correcting a p_*-ε fraction of errors. We also follow a classical proof template (typically attributed to Elias and Bassalygo) to derive from the zero-rate threshold other tradeoffs between rate and decoding radius for list-decoding and list-recovery.\r\nTechnically, proving the Plotkin bound boils down to demonstrating the Schur convexity of a certain function defined on the q-simplex as well as the convexity of a univariate function derived from it. We remark that an earlier argument claimed similar results for q-ary list-decoding; however, we point out that this earlier proof is flawed."}],"volume":261,"language":[{"iso":"eng"}],"file":[{"success":1,"checksum":"a449143fec3fbebb092cb8ef3b53c226","file_id":"14091","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"2023_LIPIcsICALP_Resch.pdf","date_created":"2023-08-21T07:23:18Z","file_size":1141497,"date_updated":"2023-08-21T07:23:18Z","creator":"dernst"}],"publication_status":"published","publication_identifier":{"issn":["1868-8969"],"isbn":["9783959772785"]},"status":"public","conference":{"location":"Paderborn, Germany","end_date":"2023-07-14","start_date":"2023-07-10","name":"ICALP: International Colloquium on Automata, Languages, and Programming"},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"conference","_id":"14083","department":[{"_id":"MaMo"}],"file_date_updated":"2023-08-21T07:23:18Z","ddc":["000"],"date_updated":"2023-08-21T07:26:01Z"},{"date_updated":"2023-08-21T09:18:12Z","extern":"1","_id":"12922","article_type":"original","type":"journal_article","status":"public","keyword":["General Chemistry","Catalysis"],"publication_identifier":{"issn":["1433-7851"],"eissn":["1521-3773"]},"publication_status":"published","language":[{"iso":"eng"}],"volume":62,"issue":"2","abstract":[{"text":"The influence of structural modifications on the catalytic activity of carbon materials is poorly understood. A collection of carbonaceous materials with different pore networks and high nitrogen content was characterized and used to catalyze four reactions to deduce structure–activity relationships. The CO2 cycloaddition and Knoevenagel reaction depend on Lewis basic sites (electron-rich nitrogen species). The absence of large conjugated carbon domains resulting from the introduction of large amounts of nitrogen in the carbon network is responsible for poor redox activity, as observed through the catalytic reduction of nitrobenzene with hydrazine and the catalytic oxidation of 3,3′,5,5′-tetramethylbenzidine using hydroperoxide. The material with the highest activity towards Lewis acid catalysis (in the hydrolysis of (dimethoxymethyl)benzene to benzaldehyde) is the most effective for small molecule activation and presents the highest concentration of electron-poor nitrogen species.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.1002/anie.202211663","open_access":"1"}],"month":"01","intvolume":" 62","citation":{"ista":"Lepre E, Rat S, Cavedon C, Seeberger PH, Pieber B, Antonietti M, López‐Salas N. 2023. Catalytic properties of high nitrogen content carbonaceous materials. Angewandte Chemie International Edition. 62(2), e202211663.","chicago":"Lepre, Enrico, Sylvain Rat, Cristian Cavedon, Peter H. Seeberger, Bartholomäus Pieber, Markus Antonietti, and Nieves López‐Salas. “Catalytic Properties of High Nitrogen Content Carbonaceous Materials.” Angewandte Chemie International Edition. Wiley, 2023. https://doi.org/10.1002/anie.202211663.","ieee":"E. Lepre et al., “Catalytic properties of high nitrogen content carbonaceous materials,” Angewandte Chemie International Edition, vol. 62, no. 2. Wiley, 2023.","short":"E. Lepre, S. Rat, C. Cavedon, P.H. Seeberger, B. Pieber, M. Antonietti, N. López‐Salas, Angewandte Chemie International Edition 62 (2023).","apa":"Lepre, E., Rat, S., Cavedon, C., Seeberger, P. H., Pieber, B., Antonietti, M., & López‐Salas, N. (2023). Catalytic properties of high nitrogen content carbonaceous materials. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202211663","ama":"Lepre E, Rat S, Cavedon C, et al. Catalytic properties of high nitrogen content carbonaceous materials. Angewandte Chemie International Edition. 2023;62(2). doi:10.1002/anie.202211663","mla":"Lepre, Enrico, et al. “Catalytic Properties of High Nitrogen Content Carbonaceous Materials.” Angewandte Chemie International Edition, vol. 62, no. 2, e202211663, Wiley, 2023, doi:10.1002/anie.202211663."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Enrico","last_name":"Lepre","full_name":"Lepre, Enrico"},{"first_name":"Sylvain","last_name":"Rat","full_name":"Rat, Sylvain"},{"first_name":"Cristian","last_name":"Cavedon","full_name":"Cavedon, Cristian"},{"first_name":"Peter H.","last_name":"Seeberger","full_name":"Seeberger, Peter H."},{"last_name":"Pieber","orcid":"0000-0001-8689-388X","full_name":"Pieber, Bartholomäus","first_name":"Bartholomäus","id":"93e5e5b2-0da6-11ed-8a41-af589a024726"},{"full_name":"Antonietti, Markus","last_name":"Antonietti","first_name":"Markus"},{"full_name":"López‐Salas, Nieves","last_name":"López‐Salas","first_name":"Nieves"}],"article_processing_charge":"No","title":"Catalytic properties of high nitrogen content carbonaceous materials","article_number":"e202211663","year":"2023","day":"09","publication":"Angewandte Chemie International Edition","doi":"10.1002/anie.202211663","date_published":"2023-01-09T00:00:00Z","date_created":"2023-05-08T08:28:14Z","quality_controlled":"1","publisher":"Wiley","oa":1},{"extern":"1","date_updated":"2023-08-21T12:07:05Z","_id":"13450","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"status":"public","type":"journal_article","article_type":"original","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"eissn":["1538-4357"],"issn":["0004-637X"]},"issue":"1","volume":943,"oa_version":"Published Version","abstract":[{"text":"In previous work, we identified a population of 38 cool and luminous variable stars in the Magellanic Clouds and examined 11 in detail in order to classify them as either Thorne–Żytkow objects (TŻOs; red supergiants with a neutron star cores) or super-asymptotic giant branch (sAGB) stars (the most massive stars that will not undergo core collapse). This population includes HV 2112, a peculiar star previously considered in other works to be either a TŻO or high-mass asymptotic giant branch (AGB) star. Here we continue this investigation, using the kinematic and radio environments and local star formation history of these stars to place constraints on the age of the progenitor systems and the presence of past supernovae. These stars are not associated with regions of recent star formation, and we find no evidence of past supernovae at their locations. Finally, we also assess the presence of heavy elements and lithium in their spectra compared to red supergiants. We find strong absorption in Li and s-process elements compared to RSGs in most of the sample, consistent with sAGB nucleosynthesis, while HV 2112 shows additional strong lines associated with TŻO nucleosynthesis. Coupled with our previous mass estimates, the results are consistent with the stars being massive (∼4–6.5 M⊙) or sAGB (∼6.5–12 M⊙) stars in the thermally pulsing phase, providing crucial observations of the transition between low- and high-mass stellar populations. HV 2112 is more ambiguous; it could either be a maximally massive sAGB star, or a TŻO if the minimum mass for stability extends down to ≲13 M⊙.","lang":"eng"}],"intvolume":" 943","month":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/aca655"}],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"O‘Grady AJG, Drout MR, Gaensler BM, Kochanek CS, Neugent KF, Doherty CL, Speagle JS, Shappee BJ, Rauch M, Götberg YLL, Ludwig B, Thompson TA. 2023. Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal. 943(1), 18.","chicago":"O‘Grady, Anna J. G., Maria R. Drout, B. M. Gaensler, C. S. Kochanek, Kathryn F. Neugent, Carolyn L. Doherty, Joshua S. Speagle, et al. “Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” The Astrophysical Journal. American Astronomical Society, 2023. https://doi.org/10.3847/1538-4357/aca655.","short":"A.J.G. O‘Grady, M.R. Drout, B.M. Gaensler, C.S. Kochanek, K.F. Neugent, C.L. Doherty, J.S. Speagle, B.J. Shappee, M. Rauch, Y.L.L. Götberg, B. Ludwig, T.A. Thompson, The Astrophysical Journal 943 (2023).","ieee":"A. J. G. O‘Grady et al., “Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates,” The Astrophysical Journal, vol. 943, no. 1. American Astronomical Society, 2023.","ama":"O‘Grady AJG, Drout MR, Gaensler BM, et al. Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal. 2023;943(1). doi:10.3847/1538-4357/aca655","apa":"O‘Grady, A. J. G., Drout, M. R., Gaensler, B. M., Kochanek, C. S., Neugent, K. F., Doherty, C. L., … Thompson, T. A. (2023). Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/aca655","mla":"O‘Grady, Anna J. G., et al. “Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” The Astrophysical Journal, vol. 943, no. 1, 18, American Astronomical Society, 2023, doi:10.3847/1538-4357/aca655."},"title":"Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates","article_processing_charge":"No","external_id":{"arxiv":["2211.12438"]},"author":[{"first_name":"Anna J. G.","last_name":"O‘Grady","full_name":"O‘Grady, Anna J. G."},{"last_name":"Drout","full_name":"Drout, Maria R.","first_name":"Maria R."},{"first_name":"B. M.","last_name":"Gaensler","full_name":"Gaensler, B. M."},{"full_name":"Kochanek, C. S.","last_name":"Kochanek","first_name":"C. S."},{"first_name":"Kathryn F.","last_name":"Neugent","full_name":"Neugent, Kathryn F."},{"first_name":"Carolyn L.","full_name":"Doherty, Carolyn L.","last_name":"Doherty"},{"full_name":"Speagle, Joshua S.","last_name":"Speagle","first_name":"Joshua S."},{"first_name":"B. J.","last_name":"Shappee","full_name":"Shappee, B. J."},{"full_name":"Rauch, Michael","last_name":"Rauch","first_name":"Michael"},{"full_name":"Götberg, Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911","last_name":"Götberg","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter"},{"first_name":"Bethany","last_name":"Ludwig","full_name":"Ludwig, Bethany"},{"first_name":"Todd A.","full_name":"Thompson, Todd A.","last_name":"Thompson"}],"article_number":"18","publication":"The Astrophysical Journal","day":"20","year":"2023","date_created":"2023-08-03T10:10:12Z","date_published":"2023-01-20T00:00:00Z","doi":"10.3847/1538-4357/aca655","oa":1,"publisher":"American Astronomical Society","quality_controlled":"1"},{"oa_version":"Published Version","abstract":[{"text":"Stars strongly impact their environment, and shape structures on all scales throughout the universe, in a process known as \"feedback.\" Due to the complexity of both stellar evolution and the physics of larger astrophysical structures, there remain many unanswered questions about how feedback operates and what we can learn about stars by studying their imprint on the wider universe. In this white paper, we summarize discussions from the Lorentz Center meeting \"Bringing Stellar Evolution and Feedback Together\" in 2022 April and identify key areas where further dialog can bring about radical changes in how we view the relationship between stars and the universe they live in.","lang":"eng"}],"intvolume":" 135","month":"03","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1088/1538-3873/acb6b5"}],"scopus_import":"1","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"eissn":["1538-3873"],"issn":["0004-6280"]},"issue":"1044","volume":135,"_id":"13449","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"status":"public","article_type":"original","type":"journal_article","extern":"1","date_updated":"2023-08-21T12:09:14Z","oa":1,"quality_controlled":"1","publisher":"IOP Publishing","publication":"Publications of the Astronomical Society of the Pacific","day":"09","year":"2023","date_created":"2023-08-03T10:09:57Z","doi":"10.1088/1538-3873/acb6b5","date_published":"2023-03-09T00:00:00Z","article_number":"021001","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Geen S, Agrawal P, Crowther PA, Keller BW, de Koter A, Keszthelyi Z, van de Voort F, Ali AA, Backs F, Bonne L, Brugaletta V, Derkink A, Ekström S, Fichtner YA, Grassitelli L, Götberg YLL, Higgins ER, Laplace E, You Liow K, Lorenzo M, McLeod AF, Meynet G, Newsome M, André Oliva G, Ramachandran V, Rey MP, Rieder S, Romano-Díaz E, Sabhahit G, Sander AAC, Sarwar R, Stinshoff H, Stoop M, Szécsi D, Trebitsch M, Vink JS, Winch E. 2023. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. 135(1044), 021001.","chicago":"Geen, Sam, Poojan Agrawal, Paul A. Crowther, B. W. Keller, Alex de Koter, Zsolt Keszthelyi, Freeke van de Voort, et al. “Bringing Stellar Evolution and Feedback Together: Summary of Proposals from the Lorentz Center Workshop.” Publications of the Astronomical Society of the Pacific. IOP Publishing, 2023. https://doi.org/10.1088/1538-3873/acb6b5.","ieee":"S. Geen et al., “Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop,” Publications of the Astronomical Society of the Pacific, vol. 135, no. 1044. IOP Publishing, 2023.","short":"S. Geen, P. Agrawal, P.A. Crowther, B.W. Keller, A. de Koter, Z. Keszthelyi, F. van de Voort, A.A. Ali, F. Backs, L. Bonne, V. Brugaletta, A. Derkink, S. Ekström, Y.A. Fichtner, L. Grassitelli, Y.L.L. Götberg, E.R. Higgins, E. Laplace, K. You Liow, M. Lorenzo, A.F. McLeod, G. Meynet, M. Newsome, G. André Oliva, V. Ramachandran, M.P. Rey, S. Rieder, E. Romano-Díaz, G. Sabhahit, A.A.C. Sander, R. Sarwar, H. Stinshoff, M. Stoop, D. Szécsi, M. Trebitsch, J.S. Vink, E. Winch, Publications of the Astronomical Society of the Pacific 135 (2023).","ama":"Geen S, Agrawal P, Crowther PA, et al. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. 2023;135(1044). doi:10.1088/1538-3873/acb6b5","apa":"Geen, S., Agrawal, P., Crowther, P. A., Keller, B. W., de Koter, A., Keszthelyi, Z., … Winch, E. (2023). Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. IOP Publishing. https://doi.org/10.1088/1538-3873/acb6b5","mla":"Geen, Sam, et al. “Bringing Stellar Evolution and Feedback Together: Summary of Proposals from the Lorentz Center Workshop.” Publications of the Astronomical Society of the Pacific, vol. 135, no. 1044, 021001, IOP Publishing, 2023, doi:10.1088/1538-3873/acb6b5."},"title":"Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop","external_id":{"arxiv":["2301.13611"]},"article_processing_charge":"No","author":[{"last_name":"Geen","full_name":"Geen, Sam","first_name":"Sam"},{"first_name":"Poojan","last_name":"Agrawal","full_name":"Agrawal, Poojan"},{"first_name":"Paul A.","full_name":"Crowther, Paul A.","last_name":"Crowther"},{"first_name":"B. W.","last_name":"Keller","full_name":"Keller, B. W."},{"first_name":"Alex","full_name":"de Koter, Alex","last_name":"de Koter"},{"first_name":"Zsolt","last_name":"Keszthelyi","full_name":"Keszthelyi, Zsolt"},{"full_name":"van de Voort, Freeke","last_name":"van de Voort","first_name":"Freeke"},{"last_name":"Ali","full_name":"Ali, Ahmad A.","first_name":"Ahmad A."},{"full_name":"Backs, Frank","last_name":"Backs","first_name":"Frank"},{"last_name":"Bonne","full_name":"Bonne, Lars","first_name":"Lars"},{"full_name":"Brugaletta, Vittoria","last_name":"Brugaletta","first_name":"Vittoria"},{"first_name":"Annelotte","last_name":"Derkink","full_name":"Derkink, Annelotte"},{"last_name":"Ekström","full_name":"Ekström, Sylvia","first_name":"Sylvia"},{"last_name":"Fichtner","full_name":"Fichtner, Yvonne A.","first_name":"Yvonne A."},{"first_name":"Luca","last_name":"Grassitelli","full_name":"Grassitelli, Luca"},{"last_name":"Götberg","orcid":"0000-0002-6960-6911","full_name":"Götberg, Ylva Louise Linsdotter","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter"},{"last_name":"Higgins","full_name":"Higgins, Erin R.","first_name":"Erin R."},{"first_name":"Eva","last_name":"Laplace","full_name":"Laplace, Eva"},{"last_name":"You Liow","full_name":"You Liow, Kong","first_name":"Kong"},{"full_name":"Lorenzo, Marta","last_name":"Lorenzo","first_name":"Marta"},{"first_name":"Anna F.","last_name":"McLeod","full_name":"McLeod, Anna F."},{"full_name":"Meynet, Georges","last_name":"Meynet","first_name":"Georges"},{"last_name":"Newsome","full_name":"Newsome, Megan","first_name":"Megan"},{"last_name":"André Oliva","full_name":"André Oliva, G.","first_name":"G."},{"last_name":"Ramachandran","full_name":"Ramachandran, Varsha","first_name":"Varsha"},{"first_name":"Martin P.","last_name":"Rey","full_name":"Rey, Martin P."},{"first_name":"Steven","full_name":"Rieder, Steven","last_name":"Rieder"},{"last_name":"Romano-Díaz","full_name":"Romano-Díaz, Emilio","first_name":"Emilio"},{"first_name":"Gautham","full_name":"Sabhahit, Gautham","last_name":"Sabhahit"},{"full_name":"Sander, Andreas A. C.","last_name":"Sander","first_name":"Andreas A. C."},{"last_name":"Sarwar","full_name":"Sarwar, Rafia","first_name":"Rafia"},{"first_name":"Hanno","full_name":"Stinshoff, Hanno","last_name":"Stinshoff"},{"first_name":"Mitchel","last_name":"Stoop","full_name":"Stoop, Mitchel"},{"first_name":"Dorottya","full_name":"Szécsi, Dorottya","last_name":"Szécsi"},{"full_name":"Trebitsch, Maxime","last_name":"Trebitsch","first_name":"Maxime"},{"first_name":"Jorick S.","last_name":"Vink","full_name":"Vink, Jorick S."},{"first_name":"Ethan","last_name":"Winch","full_name":"Winch, Ethan"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Farmer R, Renzo M, Götberg YLL, Bellinger E, Justham S, de Mink SE. 2023. Observational predictions for Thorne–Żytkow objects. Monthly Notices of the Royal Astronomical Society. 524(2), 1692–1709.","chicago":"Farmer, R, M Renzo, Ylva Louise Linsdotter Götberg, E Bellinger, S Justham, and S E de Mink. “Observational Predictions for Thorne–Żytkow Objects.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad1977.","ama":"Farmer R, Renzo M, Götberg YLL, Bellinger E, Justham S, de Mink SE. Observational predictions for Thorne–Żytkow objects. Monthly Notices of the Royal Astronomical Society. 2023;524(2):1692-1709. doi:10.1093/mnras/stad1977","apa":"Farmer, R., Renzo, M., Götberg, Y. L. L., Bellinger, E., Justham, S., & de Mink, S. E. (2023). Observational predictions for Thorne–Żytkow objects. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stad1977","short":"R. Farmer, M. Renzo, Y.L.L. Götberg, E. Bellinger, S. Justham, S.E. de Mink, Monthly Notices of the Royal Astronomical Society 524 (2023) 1692–1709.","ieee":"R. Farmer, M. Renzo, Y. L. L. Götberg, E. Bellinger, S. Justham, and S. E. de Mink, “Observational predictions for Thorne–Żytkow objects,” Monthly Notices of the Royal Astronomical Society, vol. 524, no. 2. Oxford University Press, pp. 1692–1709, 2023.","mla":"Farmer, R., et al. “Observational Predictions for Thorne–Żytkow Objects.” Monthly Notices of the Royal Astronomical Society, vol. 524, no. 2, Oxford University Press, 2023, pp. 1692–709, doi:10.1093/mnras/stad1977."},"title":"Observational predictions for Thorne–Żytkow objects","external_id":{"arxiv":["2305.07337"]},"article_processing_charge":"No","author":[{"first_name":"R","full_name":"Farmer, R","last_name":"Farmer"},{"full_name":"Renzo, M","last_name":"Renzo","first_name":"M"},{"id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter","last_name":"Götberg","full_name":"Götberg, Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911"},{"full_name":"Bellinger, E","last_name":"Bellinger","first_name":"E"},{"first_name":"S","full_name":"Justham, S","last_name":"Justham"},{"first_name":"S E","last_name":"de Mink","full_name":"de Mink, S E"}],"publication":"Monthly Notices of the Royal Astronomical Society","day":"01","year":"2023","date_created":"2023-08-21T10:13:56Z","doi":"10.1093/mnras/stad1977","date_published":"2023-09-01T00:00:00Z","page":"1692-1709","oa":1,"quality_controlled":"1","publisher":"Oxford University Press","extern":"1","date_updated":"2023-08-21T12:12:48Z","_id":"14104","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"status":"public","article_type":"original","type":"journal_article","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"issue":"2","volume":524,"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Thorne–Żytkow objects (TŻO) are potential end products of the merger of a neutron star with a non-degenerate star. In this work, we have computed the first grid of evolutionary models of TŻOs with the MESA stellar evolution code. With these models, we predict several observational properties of TŻOs, including their surface temperatures and luminosities, pulsation periods, and nucleosynthetic products. We expand the range of possible TŻO solutions to cover 3.45≲log(Teff/K)≲3.65 and 4.85≲log(L/L⊙)≲5.5. Due to the much higher densities our TŻOs reach compared to previous models, if TŻOs form we expect them to be stable over a larger mass range than previously predicted, without exhibiting a gap in their mass distribution. Using the GYRE stellar pulsation code we show that TŻOs should have fundamental pulsation periods of 1000–2000 d, and period ratios of ≈0.2–0.3. Models computed with a large 399 isotope fully coupled nuclear network show a nucleosynthetic signal that is different to previously predicted. We propose a new nucleosynthetic signal to determine a star’s status as a TŻO: the isotopologues 44TiO2 and 44TiO, which will have a shift in their spectral features as compared to stable titanium-containing molecules. We find that in the local Universe (∼SMC metallicities and above) TŻOs show little heavy metal enrichment, potentially explaining the difficulty in finding TŻOs to-date."}],"intvolume":" 524","month":"09","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2305.07337"}],"scopus_import":"1"},{"volume":14,"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2041-1723"]},"publication_status":"published","month":"06","intvolume":" 14","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41467-023-38540-3"}],"oa_version":"Published Version","pmid":1,"abstract":[{"lang":"eng","text":"Characterizing and controlling entanglement in quantum materials is crucial for the development of next-generation quantum technologies. However, defining a quantifiable figure of merit for entanglement in macroscopic solids is theoretically and experimentally challenging. At equilibrium the presence of entanglement can be diagnosed by extracting entanglement witnesses from spectroscopic observables and a nonequilibrium extension of this method could lead to the discovery of novel dynamical phenomena. Here, we propose a systematic approach to quantify the time-dependent quantum Fisher information and entanglement depth of transient states of quantum materials with time-resolved resonant inelastic x-ray scattering. Using a quarter-filled extended Hubbard model as an example, we benchmark the efficiency of this approach and predict a light-enhanced many-body entanglement due to the proximity to a phase boundary. Our work sets the stage for experimentally witnessing and controlling entanglement in light-driven quantum materials via ultrafast spectroscopic measurements."}],"extern":"1","date_updated":"2023-08-22T06:50:04Z","status":"public","keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"type":"journal_article","article_type":"original","_id":"13989","doi":"10.1038/s41467-023-38540-3","date_published":"2023-06-14T00:00:00Z","date_created":"2023-08-09T13:06:59Z","day":"14","publication":"Nature Communications","year":"2023","publisher":"Springer Nature","quality_controlled":"1","oa":1,"title":"Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering","author":[{"full_name":"Hales, Jordyn","last_name":"Hales","first_name":"Jordyn"},{"full_name":"Bajpai, Utkarsh","last_name":"Bajpai","first_name":"Utkarsh"},{"last_name":"Liu","full_name":"Liu, Tongtong","first_name":"Tongtong"},{"id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","full_name":"Baykusheva, Denitsa Rangelova","last_name":"Baykusheva"},{"first_name":"Mingda","last_name":"Li","full_name":"Li, Mingda"},{"last_name":"Mitrano","full_name":"Mitrano, Matteo","first_name":"Matteo"},{"first_name":"Yao","full_name":"Wang, Yao","last_name":"Wang"}],"article_processing_charge":"No","external_id":{"pmid":["37316515"],"arxiv":["2209.02283"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Hales J, Bajpai U, Liu T, et al. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 2023;14. doi:10.1038/s41467-023-38540-3","apa":"Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., & Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38540-3","short":"J. Hales, U. Bajpai, T. Liu, D.R. Baykusheva, M. Li, M. Mitrano, Y. Wang, Nature Communications 14 (2023).","ieee":"J. Hales et al., “Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering,” Nature Communications, vol. 14. Springer Nature, 2023.","mla":"Hales, Jordyn, et al. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications, vol. 14, 3512, Springer Nature, 2023, doi:10.1038/s41467-023-38540-3.","ista":"Hales J, Bajpai U, Liu T, Baykusheva DR, Li M, Mitrano M, Wang Y. 2023. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 14, 3512.","chicago":"Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38540-3."},"article_number":"3512"},{"title":"Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain","author":[{"last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530"},{"last_name":"Kalthoff","full_name":"Kalthoff, Mona H.","first_name":"Mona H."},{"first_name":"Damian","full_name":"Hofmann, Damian","last_name":"Hofmann"},{"last_name":"Claassen","full_name":"Claassen, Martin","first_name":"Martin"},{"first_name":"Dante M.","last_name":"Kennes","full_name":"Kennes, Dante M."},{"first_name":"Michael A.","full_name":"Sentef, Michael A.","last_name":"Sentef"},{"last_name":"Mitrano","full_name":"Mitrano, Matteo","first_name":"Matteo"}],"external_id":{"arxiv":["2209.02081"],"pmid":["36962013"]},"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Baykusheva DR, Kalthoff MH, Hofmann D, Claassen M, Kennes DM, Sentef MA, Mitrano M. 2023. Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain. Physical Review Letters. 130(10), 106902.","chicago":"Baykusheva, Denitsa Rangelova, Mona H. Kalthoff, Damian Hofmann, Martin Claassen, Dante M. Kennes, Michael A. Sentef, and Matteo Mitrano. “Witnessing Nonequilibrium Entanglement Dynamics in a Strongly Correlated Fermionic Chain.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.130.106902.","ieee":"D. R. Baykusheva et al., “Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.","short":"D.R. Baykusheva, M.H. Kalthoff, D. Hofmann, M. Claassen, D.M. Kennes, M.A. Sentef, M. Mitrano, Physical Review Letters 130 (2023).","apa":"Baykusheva, D. R., Kalthoff, M. H., Hofmann, D., Claassen, M., Kennes, D. M., Sentef, M. A., & Mitrano, M. (2023). Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.130.106902","ama":"Baykusheva DR, Kalthoff MH, Hofmann D, et al. Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain. Physical Review Letters. 2023;130(10). doi:10.1103/physrevlett.130.106902","mla":"Baykusheva, Denitsa Rangelova, et al. “Witnessing Nonequilibrium Entanglement Dynamics in a Strongly Correlated Fermionic Chain.” Physical Review Letters, vol. 130, no. 10, 106902, American Physical Society, 2023, doi:10.1103/physrevlett.130.106902."},"article_number":"106902","date_published":"2023-03-10T00:00:00Z","doi":"10.1103/physrevlett.130.106902","date_created":"2023-08-09T13:07:24Z","day":"10","publication":"Physical Review Letters","year":"2023","publisher":"American Physical Society","quality_controlled":"1","oa":1,"extern":"1","date_updated":"2023-08-22T07:18:01Z","status":"public","keyword":["General Physics and Astronomy"],"article_type":"original","type":"journal_article","_id":"13990","volume":130,"issue":"10","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"publication_status":"published","month":"03","intvolume":" 130","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2209.02081"}],"pmid":1,"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Many-body entanglement in condensed matter systems can be diagnosed from equilibrium response functions through the use of entanglement witnesses and operator-specific quantum bounds. Here, we investigate the applicability of this approach for detecting entangled states in quantum systems driven out of equilibrium. We use a multipartite entanglement witness, the quantum Fisher information, to study the dynamics of a paradigmatic fermion chain undergoing a time-dependent change of the Coulomb interaction. Our results show that the quantum Fisher information is able to witness distinct signatures of multipartite entanglement both near and far from equilibrium that are robust against decoherence. We discuss implications of these findings for probing entanglement in light-driven quantum materials with time-resolved optical and x-ray scattering methods."}]},{"related_material":{"record":[{"status":"public","id":"8101","relation":"research_paper"}]},"issue":"9","volume":130,"ec_funded":1,"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"publication_status":"published","file":[{"checksum":"c4f2f6eea0408811f8f4898e15890355","file_id":"12698","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2023-02-28T12:20:27Z","file_name":"Main_Preprint.pdf","date_updated":"2023-02-28T12:20:27Z","file_size":2301864,"creator":"ggrosjea"},{"date_created":"2023-02-28T12:20:55Z","file_name":"Suppl_info.pdf","creator":"ggrosjea","date_updated":"2023-02-28T12:20:55Z","file_size":1138625,"file_id":"12699","checksum":"6af6ed6c97a977f923de4162294b43c4","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf"},{"creator":"ggrosjea","file_size":793449,"date_updated":"2023-02-28T12:37:54Z","file_name":"Suppl_vid1.mp4","date_created":"2023-02-28T12:37:54Z","relation":"main_file","access_level":"open_access","content_type":"video/mp4","success":1,"checksum":"3f20365fb9515bdba3a111d912c8d8b4","file_id":"12700"},{"file_id":"12701","checksum":"90cecacbe0e2f9dea11f91a4ba20c32e","success":1,"access_level":"open_access","relation":"main_file","content_type":"video/mp4","date_created":"2023-02-28T12:37:54Z","file_name":"Suppl_vid2.mp4","creator":"ggrosjea","date_updated":"2023-02-28T12:37:54Z","file_size":455925}],"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2211.02488"}],"month":"03","intvolume":" 130","abstract":[{"lang":"eng","text":"Models for same-material contact electrification in granular media often rely on a local charge-driving parameter whose spatial variations lead to a stochastic origin for charge exchange. Measuring the charge transfer from individual granular spheres after contacts with substrates of the same material, we find instead a “global” charging behavior, coherent over the sample’s whole surface. Cleaning and baking samples fully resets charging magnitude and direction, which indicates the underlying global parameter is not intrinsic to the material, but acquired from its history. Charging behavior is randomly and irreversibly affected by changes in relative humidity, hinting at a mechanism where adsorbates, in particular, water, are fundamental to the charge-transfer process."}],"oa_version":"Preprint","department":[{"_id":"ScWa"}],"file_date_updated":"2023-02-28T12:37:54Z","date_updated":"2023-08-22T08:41:32Z","ddc":["530","537"],"article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","keyword":["General Physics","Electrostatics","Triboelectricity","Soft Matter","Acoustic Levitation","Granular Materials"],"_id":"12697","date_published":"2023-03-03T00:00:00Z","doi":"10.1103/physrevlett.130.098202","date_created":"2023-02-28T12:14:46Z","has_accepted_license":"1","isi":1,"year":"2023","day":"03","publication":"Physical Review Letters","quality_controlled":"1","publisher":"American Physical Society","oa":1,"acknowledgement":"We would like to thank Troy Shinbrot, Victor Lee and Daniele Foresti for helpful discussions. This project has received funding from the European Research Council Grant Agreement No. 949120 and from the the Marie Sk lodowska-Curie Grant Agreement No. 754411 under\r\nthe European Union’s Horizon 2020 research and innovation program.","author":[{"full_name":"Grosjean, Galien M","orcid":"0000-0001-5154-417X","last_name":"Grosjean","first_name":"Galien M","id":"0C5FDA4A-9CF6-11E9-8939-FF05E6697425"},{"last_name":"Waitukaitis","full_name":"Waitukaitis, Scott R","orcid":"0000-0002-2299-3176","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["2211.02488"],"isi":["000946178200008"]},"article_processing_charge":"No","title":"Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media","citation":{"ista":"Grosjean GM, Waitukaitis SR. 2023. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 130(9), 098202.","chicago":"Grosjean, Galien M, and Scott R Waitukaitis. “Single-Collision Statistics Reveal a Global Mechanism Driven by Sample History for Contact Electrification in Granular Media.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.130.098202.","apa":"Grosjean, G. M., & Waitukaitis, S. R. (2023). Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.130.098202","ama":"Grosjean GM, Waitukaitis SR. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 2023;130(9). doi:10.1103/physrevlett.130.098202","ieee":"G. M. Grosjean and S. R. Waitukaitis, “Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media,” Physical Review Letters, vol. 130, no. 9. American Physical Society, 2023.","short":"G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).","mla":"Grosjean, Galien M., and Scott R. Waitukaitis. “Single-Collision Statistics Reveal a Global Mechanism Driven by Sample History for Contact Electrification in Granular Media.” Physical Review Letters, vol. 130, no. 9, 098202, American Physical Society, 2023, doi:10.1103/physrevlett.130.098202."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","project":[{"name":"Tribocharge: a multi-scale approach to an enduring problem in physics","grant_number":"949120","call_identifier":"H2020","_id":"0aa60e99-070f-11eb-9043-a6de6bdc3afa"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"article_number":"098202"},{"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"publication_status":"published","language":[{"iso":"eng"}],"volume":675,"abstract":[{"text":"Observations of individual massive stars, super-luminous supernovae, gamma-ray bursts, and gravitational wave events involving spectacular black hole mergers indicate that the low-metallicity Universe is fundamentally different from our own Galaxy. Many transient phenomena will remain enigmatic until we achieve a firm understanding of the physics and evolution of massive stars at low metallicity (Z). The Hubble Space Telescope has devoted 500 orbits to observing ∼250 massive stars at low Z in the ultraviolet (UV) with the COS and STIS spectrographs under the ULLYSES programme. The complementary X-Shooting ULLYSES (XShootU) project provides an enhanced legacy value with high-quality optical and near-infrared spectra obtained with the wide-wavelength coverage X-shooter spectrograph at ESO’s Very Large Telescope. We present an overview of the XShootU project, showing that combining ULLYSES UV and XShootU optical spectra is critical for the uniform determination of stellar parameters such as effective temperature, surface gravity, luminosity, and abundances, as well as wind properties such as mass-loss rates as a function of Z. As uncertainties in stellar and wind parameters percolate into many adjacent areas of astrophysics, the data and modelling of the XShootU project is expected to be a game changer for our physical understanding of massive stars at low Z. To be able to confidently interpret James Webb Space Telescope spectra of the first stellar generations, the individual spectra of low-Z stars need to be understood, which is exactly where XShootU can deliver.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.1051/0004-6361/202245650","open_access":"1"}],"month":"07","intvolume":" 675","date_updated":"2023-08-22T11:01:07Z","extern":"1","_id":"14103","type":"journal_article","article_type":"original","status":"public","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"year":"2023","day":"01","publication":"Astronomy & Astrophysics","doi":"10.1051/0004-6361/202245650","date_published":"2023-07-01T00:00:00Z","date_created":"2023-08-21T10:12:35Z","publisher":"EDP Sciences","quality_controlled":"1","oa":1,"citation":{"mla":"Vink, Jorick S., et al. “X-Shooting ULLYSES: Massive Stars at Low Metallicity. I. Project Description.” Astronomy & Astrophysics, vol. 675, A154, EDP Sciences, 2023, doi:10.1051/0004-6361/202245650.","ama":"Vink JS, Mehner A, Crowther PA, et al. X-shooting ULLYSES: Massive stars at low metallicity. I. Project description. Astronomy & Astrophysics. 2023;675. doi:10.1051/0004-6361/202245650","apa":"Vink, J. S., Mehner, A., Crowther, P. A., Fullerton, A., Garcia, M., Martins, F., … Wang, L. (2023). X-shooting ULLYSES: Massive stars at low metallicity. I. Project description. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202245650","short":"J.S. Vink, A. Mehner, P.A. Crowther, A. Fullerton, M. Garcia, F. Martins, N. Morrell, L.M. Oskinova, N. St-Louis, A. ud-Doula, A.A.C. Sander, H. Sana, J.-C. Bouret, B. Kubátová, P. Marchant, L.P. Martins, A. Wofford, J.T. van Loon, O. Grace Telford, Y.L.L. Götberg, D.M. Bowman, C. Erba, V.M. Kalari, M. Abdul-Masih, T. Alkousa, F. Backs, C.L. Barbosa, S.R. Berlanas, M. Bernini-Peron, J.M. Bestenlehner, R. Blomme, J. Bodensteiner, S.A. Brands, C.J. Evans, A. David-Uraz, F.A. Driessen, K. Dsilva, S. Geen, V.M.A. Gómez-González, L. Grassitelli, W.-R. Hamann, C. Hawcroft, A. Herrero, E.R. Higgins, D. John Hillier, R. Ignace, A.G. Istrate, L. Kaper, N.D. Kee, C. Kehrig, Z. Keszthelyi, J. Klencki, A. de Koter, R. Kuiper, E. Laplace, C.J.K. Larkin, R.R. Lefever, C. Leitherer, D.J. Lennon, L. Mahy, J. Maíz Apellániz, G. Maravelias, W. Marcolino, A.F. McLeod, S.E. de Mink, F. Najarro, M.S. Oey, T.N. Parsons, D. Pauli, M.G. Pedersen, R.K. Prinja, V. Ramachandran, M.C. Ramírez-Tannus, G.N. Sabhahit, A. Schootemeijer, S. Reyero Serantes, T. Shenar, G.S. Stringfellow, N. Sudnik, F. Tramper, L. Wang, Astronomy & Astrophysics 675 (2023).","ieee":"J. S. Vink et al., “X-shooting ULLYSES: Massive stars at low metallicity. I. Project description,” Astronomy & Astrophysics, vol. 675. EDP Sciences, 2023.","chicago":"Vink, Jorick S., A. Mehner, P. A. Crowther, A. Fullerton, M. Garcia, F. Martins, N. Morrell, et al. “X-Shooting ULLYSES: Massive Stars at Low Metallicity. I. Project Description.” Astronomy & Astrophysics. EDP Sciences, 2023. https://doi.org/10.1051/0004-6361/202245650.","ista":"Vink JS, Mehner A, Crowther PA, Fullerton A, Garcia M, Martins F, Morrell N, Oskinova LM, St-Louis N, ud-Doula A, Sander AAC, Sana H, Bouret J-C, Kubátová B, Marchant P, Martins LP, Wofford A, van Loon JT, Grace Telford O, Götberg YLL, Bowman DM, Erba C, Kalari VM, Abdul-Masih M, Alkousa T, Backs F, Barbosa CL, Berlanas SR, Bernini-Peron M, Bestenlehner JM, Blomme R, Bodensteiner J, Brands SA, Evans CJ, David-Uraz A, Driessen FA, Dsilva K, Geen S, Gómez-González VMA, Grassitelli L, Hamann W-R, Hawcroft C, Herrero A, Higgins ER, John Hillier D, Ignace R, Istrate AG, Kaper L, Kee ND, Kehrig C, Keszthelyi Z, Klencki J, de Koter A, Kuiper R, Laplace E, Larkin CJK, Lefever RR, Leitherer C, Lennon DJ, Mahy L, Maíz Apellániz J, Maravelias G, Marcolino W, McLeod AF, de Mink SE, Najarro F, Oey MS, Parsons TN, Pauli D, Pedersen MG, Prinja RK, Ramachandran V, Ramírez-Tannus MC, Sabhahit GN, Schootemeijer A, Reyero Serantes S, Shenar T, Stringfellow GS, Sudnik N, Tramper F, Wang L. 2023. X-shooting ULLYSES: Massive stars at low metallicity. I. Project description. Astronomy & Astrophysics. 675, A154."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Vink, Jorick S.","last_name":"Vink","first_name":"Jorick S."},{"first_name":"A.","last_name":"Mehner","full_name":"Mehner, A."},{"full_name":"Crowther, P. A.","last_name":"Crowther","first_name":"P. A."},{"last_name":"Fullerton","full_name":"Fullerton, A.","first_name":"A."},{"last_name":"Garcia","full_name":"Garcia, M.","first_name":"M."},{"full_name":"Martins, F.","last_name":"Martins","first_name":"F."},{"full_name":"Morrell, N.","last_name":"Morrell","first_name":"N."},{"first_name":"L. M.","full_name":"Oskinova, L. M.","last_name":"Oskinova"},{"first_name":"N.","last_name":"St-Louis","full_name":"St-Louis, N."},{"first_name":"A.","full_name":"ud-Doula, A.","last_name":"ud-Doula"},{"full_name":"Sander, A. A. C.","last_name":"Sander","first_name":"A. A. C."},{"first_name":"H.","last_name":"Sana","full_name":"Sana, H."},{"full_name":"Bouret, J.-C.","last_name":"Bouret","first_name":"J.-C."},{"last_name":"Kubátová","full_name":"Kubátová, B.","first_name":"B."},{"first_name":"P.","last_name":"Marchant","full_name":"Marchant, P."},{"full_name":"Martins, L. P.","last_name":"Martins","first_name":"L. P."},{"first_name":"A.","full_name":"Wofford, A.","last_name":"Wofford"},{"first_name":"J. Th.","full_name":"van Loon, J. Th.","last_name":"van Loon"},{"first_name":"O.","full_name":"Grace Telford, O.","last_name":"Grace Telford"},{"first_name":"Ylva Louise Linsdotter","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","full_name":"Götberg, Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911","last_name":"Götberg"},{"last_name":"Bowman","full_name":"Bowman, D. M.","first_name":"D. M."},{"full_name":"Erba, C.","last_name":"Erba","first_name":"C."},{"first_name":"V. M.","full_name":"Kalari, V. M.","last_name":"Kalari"},{"first_name":"M.","full_name":"Abdul-Masih, M.","last_name":"Abdul-Masih"},{"full_name":"Alkousa, T.","last_name":"Alkousa","first_name":"T."},{"last_name":"Backs","full_name":"Backs, F.","first_name":"F."},{"last_name":"Barbosa","full_name":"Barbosa, C. L.","first_name":"C. L."},{"last_name":"Berlanas","full_name":"Berlanas, S. R.","first_name":"S. R."},{"first_name":"M.","last_name":"Bernini-Peron","full_name":"Bernini-Peron, M."},{"last_name":"Bestenlehner","full_name":"Bestenlehner, J. M.","first_name":"J. M."},{"last_name":"Blomme","full_name":"Blomme, R.","first_name":"R."},{"full_name":"Bodensteiner, J.","last_name":"Bodensteiner","first_name":"J."},{"full_name":"Brands, S. A.","last_name":"Brands","first_name":"S. A."},{"first_name":"C. J.","full_name":"Evans, C. J.","last_name":"Evans"},{"first_name":"A.","full_name":"David-Uraz, A.","last_name":"David-Uraz"},{"last_name":"Driessen","full_name":"Driessen, F. A.","first_name":"F. A."},{"last_name":"Dsilva","full_name":"Dsilva, K.","first_name":"K."},{"full_name":"Geen, S.","last_name":"Geen","first_name":"S."},{"full_name":"Gómez-González, V. M. A.","last_name":"Gómez-González","first_name":"V. M. A."},{"full_name":"Grassitelli, L.","last_name":"Grassitelli","first_name":"L."},{"full_name":"Hamann, W.-R.","last_name":"Hamann","first_name":"W.-R."},{"first_name":"C.","last_name":"Hawcroft","full_name":"Hawcroft, C."},{"full_name":"Herrero, A.","last_name":"Herrero","first_name":"A."},{"first_name":"E. R.","last_name":"Higgins","full_name":"Higgins, E. R."},{"full_name":"John Hillier, D.","last_name":"John Hillier","first_name":"D."},{"full_name":"Ignace, R.","last_name":"Ignace","first_name":"R."},{"first_name":"A. G.","last_name":"Istrate","full_name":"Istrate, A. G."},{"first_name":"L.","last_name":"Kaper","full_name":"Kaper, L."},{"first_name":"N. D.","last_name":"Kee","full_name":"Kee, N. D."},{"full_name":"Kehrig, C.","last_name":"Kehrig","first_name":"C."},{"last_name":"Keszthelyi","full_name":"Keszthelyi, Z.","first_name":"Z."},{"last_name":"Klencki","full_name":"Klencki, J.","first_name":"J."},{"full_name":"de Koter, A.","last_name":"de Koter","first_name":"A."},{"last_name":"Kuiper","full_name":"Kuiper, R.","first_name":"R."},{"first_name":"E.","last_name":"Laplace","full_name":"Laplace, E."},{"first_name":"C. J. K.","last_name":"Larkin","full_name":"Larkin, C. J. K."},{"last_name":"Lefever","full_name":"Lefever, R. R.","first_name":"R. R."},{"first_name":"C.","full_name":"Leitherer, C.","last_name":"Leitherer"},{"first_name":"D. J.","full_name":"Lennon, D. J.","last_name":"Lennon"},{"last_name":"Mahy","full_name":"Mahy, L.","first_name":"L."},{"first_name":"J.","last_name":"Maíz Apellániz","full_name":"Maíz Apellániz, J."},{"full_name":"Maravelias, G.","last_name":"Maravelias","first_name":"G."},{"last_name":"Marcolino","full_name":"Marcolino, W.","first_name":"W."},{"first_name":"A. F.","last_name":"McLeod","full_name":"McLeod, A. F."},{"first_name":"S. E.","last_name":"de Mink","full_name":"de Mink, S. E."},{"first_name":"F.","full_name":"Najarro, F.","last_name":"Najarro"},{"full_name":"Oey, M. S.","last_name":"Oey","first_name":"M. S."},{"last_name":"Parsons","full_name":"Parsons, T. N.","first_name":"T. N."},{"first_name":"D.","full_name":"Pauli, D.","last_name":"Pauli"},{"first_name":"M. G.","full_name":"Pedersen, M. G.","last_name":"Pedersen"},{"first_name":"R. K.","last_name":"Prinja","full_name":"Prinja, R. K."},{"first_name":"V.","last_name":"Ramachandran","full_name":"Ramachandran, V."},{"last_name":"Ramírez-Tannus","full_name":"Ramírez-Tannus, M. C.","first_name":"M. C."},{"last_name":"Sabhahit","full_name":"Sabhahit, G. N.","first_name":"G. N."},{"full_name":"Schootemeijer, A.","last_name":"Schootemeijer","first_name":"A."},{"first_name":"S.","full_name":"Reyero Serantes, S.","last_name":"Reyero Serantes"},{"first_name":"T.","last_name":"Shenar","full_name":"Shenar, T."},{"last_name":"Stringfellow","full_name":"Stringfellow, G. S.","first_name":"G. S."},{"last_name":"Sudnik","full_name":"Sudnik, N.","first_name":"N."},{"last_name":"Tramper","full_name":"Tramper, F.","first_name":"F."},{"full_name":"Wang, L.","last_name":"Wang","first_name":"L."}],"external_id":{"arxiv":["2305.06376"]},"article_processing_charge":"No","title":"X-shooting ULLYSES: Massive stars at low metallicity. I. Project description","article_number":"A154"},{"oa":1,"publisher":"Institute of Science and Technology Austria","day":"05","year":"2023","has_accepted_license":"1","date_created":"2023-06-30T08:07:43Z","date_published":"2023-05-05T00:00:00Z","doi":"10.15479/at:ista:13175","page":"202","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053","call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425"},{"name":"Quantum Local Area Networks with Superconducting Qubits","grant_number":"899354","call_identifier":"H2020","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","mla":"Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175.","apa":"Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175","short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.","ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023."},"title":"Cavity quantum electrooptics","article_processing_charge":"No","author":[{"orcid":"0000-0001-6264-2162","full_name":"Sahu, Rishabh","last_name":"Sahu","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","first_name":"Rishabh"}],"oa_version":"Published Version","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"abstract":[{"lang":"eng","text":"About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. "}],"month":"05","alternative_title":["ISTA Thesis"],"language":[{"iso":"eng"}],"file":[{"file_size":18688376,"date_updated":"2023-06-30T08:17:25Z","creator":"cchlebak","file_name":"thesis_pdfa.pdf","date_created":"2023-06-30T08:17:25Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","success":1,"checksum":"7d03f1a5a5258ee43dfc3323dea4e08f","file_id":"13176"},{"date_created":"2023-07-06T11:35:15Z","file_name":"thesis.zip","creator":"cchlebak","date_updated":"2023-07-06T11:35:15Z","file_size":37847025,"file_id":"13196","checksum":"c3b45317ae58e0527533f98c202d81b7","access_level":"closed","relation":"source_file","content_type":"application/x-zip-compressed"}],"degree_awarded":"PhD","publication_status":"published","publication_identifier":{"isbn":["978-3-99078-030-5"],"issn":["2663 - 337X"]},"ec_funded":1,"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","related_material":{"record":[{"relation":"old_edition","id":"12900","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"10924"},{"id":"9114","status":"public","relation":"part_of_dissertation"}]},"_id":"13175","keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"status":"public","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","ddc":["537","535","539"],"date_updated":"2023-08-24T11:16:35Z","supervisor":[{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","last_name":"Fink","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X"}],"file_date_updated":"2023-07-06T11:35:15Z","department":[{"_id":"GradSch"},{"_id":"JoFi"}]},{"degree_awarded":"PhD","publication_status":"published","publication_identifier":{"issn":["2663 - 337X"],"isbn":["978-3-99078-030-5"]},"language":[{"iso":"eng"}],"file":[{"access_level":"closed","relation":"source_file","content_type":"application/x-zip-compressed","embargo_to":"open_access","checksum":"8cbdab9c37ee55e591092a6f66b272c4","file_id":"12928","creator":"rsahu","date_updated":"2023-06-06T22:30:03Z","file_size":36767177,"date_created":"2023-05-09T08:45:14Z","file_name":"thesis.zip"},{"file_name":"thesis_pdfa_final.pdf","date_created":"2023-05-09T08:51:17Z","creator":"rsahu","file_size":17501990,"date_updated":"2023-07-06T11:37:40Z","file_id":"12929","checksum":"439659ead46618147309be39d9dd5a8c","relation":"main_file","access_level":"closed","content_type":"application/pdf"}],"ec_funded":1,"related_material":{"record":[{"relation":"new_edition","id":"13175","status":"public"},{"id":"10924","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"9114","relation":"part_of_dissertation"}]},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"abstract":[{"text":"About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. ","lang":"eng"}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"05","date_updated":"2023-08-24T11:16:35Z","supervisor":[{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","orcid":"0000-0001-8112-028X","full_name":"Fink, Johannes M","last_name":"Fink"}],"ddc":["537","535","539"],"file_date_updated":"2023-07-06T11:37:40Z","department":[{"_id":"GradSch"},{"_id":"JoFi"}],"_id":"12900","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"type":"dissertation","keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"status":"public","year":"2023","has_accepted_license":"1","day":"05","page":"190","date_created":"2023-05-05T11:08:50Z","doi":"10.15479/at:ista:12900","date_published":"2023-05-05T00:00:00Z","publisher":"Institute of Science and Technology Austria","citation":{"short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.","ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900","apa":"Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900","mla":"Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12900.","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","author":[{"id":"47D26E34-F248-11E8-B48F-1D18A9856A87","first_name":"Rishabh","last_name":"Sahu","orcid":"0000-0001-6264-2162","full_name":"Sahu, Rishabh"}],"title":"Cavity quantum electrooptics","project":[{"call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425","grant_number":"758053","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"name":"Quantum Local Area Networks with Superconducting Qubits","grant_number":"899354","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f"}]},{"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","external_id":{"arxiv":["2211.16187"]},"author":[{"full_name":"Lechner, Mathias","last_name":"Lechner","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","last_name":"Zikelic","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"},{"last_name":"Rus","full_name":"Rus, Daniela","first_name":"Daniela"}],"title":"Quantization-aware interval bound propagation for training certifiably robust quantized neural networks","citation":{"mla":"Lechner, Mathias, et al. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 12, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–73, doi:10.1609/aaai.v37i12.26747.","apa":"Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., & Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i12.26747","ama":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:14964-14973. doi:10.1609/aaai.v37i12.26747","ieee":"M. Lechner, D. Zikelic, K. Chatterjee, T. A. Henzinger, and D. Rus, “Quantization-aware interval bound propagation for training certifiably robust quantized neural networks,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 12, pp. 14964–14973.","short":"M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.","chicago":"Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i12.26747.","ista":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 14964–14973."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"publisher":"Association for the Advancement of Artificial Intelligence","quality_controlled":"1","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. Research was sponsored by the United\r\nStates Air Force Research Laboratory and the United States Air Force Artificial Intelligence Accelerator and was accomplished under Cooperative Agreement Number FA8750-19-2-\r\n1000. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied,\r\nof the United States Air Force or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright\r\nnotation herein. The research was also funded in part by the AI2050 program at Schmidt Futures (Grant G-22-63172) and Capgemini SE.","page":"14964-14973","date_created":"2023-08-27T22:01:17Z","date_published":"2023-06-26T00:00:00Z","doi":"10.1609/aaai.v37i12.26747","year":"2023","publication":"Proceedings of the 37th AAAI Conference on Artificial Intelligence","day":"26","conference":{"start_date":"2023-02-07","location":"Washington, DC, United States","end_date":"2023-02-14","name":"AAAI: Conference on Artificial Intelligence"},"type":"conference","status":"public","_id":"14242","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"date_updated":"2023-09-05T07:06:14Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2211.16187"}],"scopus_import":"1","intvolume":" 37","month":"06","abstract":[{"lang":"eng","text":"We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly adopted in industry. Recent work has shown that floating-point neural networks that have been verified to be robust can become vulnerable to adversarial attacks after quantization, and certification of the quantized representation is necessary to guarantee robustness. In this work, we present quantization-aware interval bound propagation (QA-IBP), a novel method for training robust QNNs. Inspired by advances in robust learning of non-quantized networks, our training algorithm computes the gradient of an abstract representation of the actual network. Unlike existing approaches, our method can handle the discrete semantics of QNNs. Based on QA-IBP, we also develop a complete verification procedure for verifying the adversarial robustness of QNNs, which is guaranteed to terminate and produce a correct answer. Compared to existing approaches, the key advantage of our verification procedure is that it runs entirely on GPU or other accelerator devices. We demonstrate experimentally that our approach significantly outperforms existing methods and establish the new state-of-the-art for training and certifying the robustness of QNNs."}],"oa_version":"Preprint","ec_funded":1,"volume":37,"issue":"12","publication_status":"published","publication_identifier":{"isbn":["9781577358800"]},"language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9781577358800"]},"publication_status":"published","volume":37,"issue":"5","ec_funded":1,"oa_version":"Published Version","abstract":[{"text":"Two-player zero-sum \"graph games\" are central in logic, verification, and multi-agent systems. The game proceeds by placing a token on a vertex of a graph, and allowing the players to move it to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In \"bidding games\", however, the players have budgets and in each turn, an auction (bidding) determines which player moves the token. So far, bidding games have only been studied as full-information games. In this work we initiate the study of partial-information bidding games: we study bidding games in which a player's initial budget is drawn from a known probability distribution. We show that while for some bidding mechanisms and objectives, it is straightforward to adapt the results from the full-information setting to the partial-information setting, for others, the analysis is significantly more challenging, requires new techniques, and gives rise to interesting results. Specifically, we study games with \"mean-payoff\" objectives in combination with \"poorman\" bidding. We construct optimal strategies for a partially-informed player who plays against a fully-informed adversary. We show that, somewhat surprisingly, the \"value\" under pure strategies does not necessarily exist in such games.","lang":"eng"}],"month":"06","intvolume":" 37","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1609/aaai.v37i5.25679"}],"date_updated":"2023-09-05T08:37:00Z","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"_id":"14243","status":"public","type":"conference","conference":{"name":"AAAI: Conference on Artificial Intelligence","end_date":"2023-02-14","location":"Washington, DC, United States","start_date":"2023-02-07"},"day":"27","publication":"Proceedings of the 37th AAAI Conference on Artificial Intelligence","year":"2023","doi":"10.1609/aaai.v37i5.25679","date_published":"2023-06-27T00:00:00Z","date_created":"2023-08-27T22:01:18Z","page":"5464-5471","acknowledgement":"This research was supported in part by ISF grant no.1679/21, by the ERC CoG 863818 (ForM-SMArt), and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","quality_controlled":"1","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.","ista":"Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.","mla":"Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.","short":"G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.","ieee":"G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.","ama":"Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. ; 2023:5464-5471. doi:10.1609/aaai.v37i5.25679","apa":"Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States. https://doi.org/10.1609/aaai.v37i5.25679"},"title":"Bidding graph games with partially-observable budgets","author":[{"last_name":"Avni","full_name":"Avni, Guy","orcid":"0000-0001-5588-8287","first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","full_name":"Jecker, Ismael R","last_name":"Jecker"},{"first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699"}],"article_processing_charge":"No","external_id":{"arxiv":["2211.13626"]},"project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}]},{"article_number":"20","author":[{"first_name":"Kenji","full_name":"Tojo, Kenji","last_name":"Tojo"},{"first_name":"Ariel","full_name":"Shamir, Ariel","last_name":"Shamir"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","last_name":"Bickel"},{"first_name":"Nobuyuki","last_name":"Umetani","full_name":"Umetani, Nobuyuki"}],"article_processing_charge":"No","external_id":{"arxiv":["2305.05944"]},"title":"Stealth shaper: Reflectivity optimization as surface stylization","citation":{"short":"K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.","ieee":"K. Tojo, A. Shamir, B. Bickel, and N. Umetani, “Stealth shaper: Reflectivity optimization as surface stylization,” in SIGGRAPH 2023 Conference Proceedings, Los Angeles, CA, United States, 2023.","ama":"Tojo K, Shamir A, Bickel B, Umetani N. Stealth shaper: Reflectivity optimization as surface stylization. In: SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591542","apa":"Tojo, K., Shamir, A., Bickel, B., & Umetani, N. (2023). Stealth shaper: Reflectivity optimization as surface stylization. In SIGGRAPH 2023 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591542","mla":"Tojo, Kenji, et al. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” SIGGRAPH 2023 Conference Proceedings, 20, Association for Computing Machinery, 2023, doi:10.1145/3588432.3591542.","ista":"Tojo K, Shamir A, Bickel B, Umetani N. 2023. Stealth shaper: Reflectivity optimization as surface stylization. SIGGRAPH 2023 Conference Proceedings. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 20.","chicago":"Tojo, Kenji, Ariel Shamir, Bernd Bickel, and Nobuyuki Umetani. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” In SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591542."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","publisher":"Association for Computing Machinery","oa":1,"acknowledgement":"The authors would like to thank Yuki Koyama and Takeo Igarashi for early discussions, and Yuta Yaguchi for support in 3D printing. This research is partially supported by the Israel Science Foundation grant number 1390/19.\r\n","doi":"10.1145/3588432.3591542","date_published":"2023-07-23T00:00:00Z","date_created":"2023-08-27T22:01:17Z","year":"2023","day":"23","publication":"SIGGRAPH 2023 Conference Proceedings","type":"conference","conference":{"start_date":"2023-08-06","end_date":"2023-08-10","location":"Los Angeles, CA, United States","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference"},"status":"public","_id":"14241","department":[{"_id":"BeBi"}],"date_updated":"2023-09-05T07:22:03Z","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2305.05944","open_access":"1"}],"month":"07","abstract":[{"lang":"eng","text":"We present a technique to optimize the reflectivity of a surface while preserving its overall shape. The naïve optimization of the mesh vertices using the gradients of reflectivity simulations results in undesirable distortion. In contrast, our robust formulation optimizes the surface normal as an independent variable that bridges the reflectivity term with differential rendering, and the regularization term with as-rigid-as-possible elastic energy. We further adaptively subdivide the input mesh to improve the convergence. Consequently, our method can minimize the retroreflectivity of a wide range of input shapes, resulting in sharply creased shapes ubiquitous among stealth aircraft and Sci-Fi vehicles. Furthermore, by changing the reward for the direction of the outgoing light directions, our method can be applied to other reflectivity design tasks, such as the optimization of architectural walls to concentrate light in a specific region. We have tested the proposed method using light-transport simulations and real-world 3D-printed objects."}],"oa_version":"Preprint","publication_identifier":{"isbn":["9798400701597"]},"publication_status":"published","language":[{"iso":"eng"}]},{"department":[{"_id":"SiHi"}],"date_updated":"2023-09-05T12:13:34Z","keyword":["Physiology","General Neuroscience"],"status":"public","article_type":"original","type":"journal_article","_id":"12562","issue":"3","volume":129,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"eissn":["1522-1598"],"issn":["0022-3077"]},"intvolume":" 129","month":"03","pmid":1,"oa_version":"None","abstract":[{"text":"Presynaptic inputs determine the pattern of activation of postsynaptic neurons in a neural circuit. Molecular and genetic pathways that regulate the selective formation of subsets of presynaptic inputs are largely unknown, despite significant understanding of the general process of synaptogenesis. In this study, we have begun to identify such factors using the spinal monosynaptic stretch reflex circuit as a model system. In this neuronal circuit, Ia proprioceptive afferents establish monosynaptic connections with spinal motor neurons that project to the same muscle (termed homonymous connections) or muscles with related or synergistic function. However, monosynaptic connections are not formed with motor neurons innervating muscles with antagonistic functions. The ETS transcription factor ER81 (also known as ETV1) is expressed by all proprioceptive afferents, but only a small set of motor neuron pools in the lumbar spinal cord of the mouse. Here we use conditional mouse genetic techniques to eliminate Er81 expression selectively from motor neurons. We find that ablation of Er81 in motor neurons reduces synaptic inputs from proprioceptive afferents conveying information from homonymous and synergistic muscles, with no change observed in the connectivity pattern from antagonistic proprioceptive afferents. In summary, these findings suggest a role for ER81 in defined motor neuron pools to control the assembly of specific presynaptic inputs and thereby influence the profile of activation of these motor neurons.","lang":"eng"}],"title":"Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons","external_id":{"pmid":["36695533"],"isi":["000957721600001"]},"article_processing_charge":"No","author":[{"last_name":"Ladle","full_name":"Ladle, David R.","first_name":"David R."},{"first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","last_name":"Hippenmeyer","orcid":"0000-0003-2279-1061","full_name":"Hippenmeyer, Simon"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Ladle, David R., and Simon Hippenmeyer. “Loss of ETV1/ER81 in Motor Neurons Leads to Reduced Monosynaptic Inputs from Proprioceptive Sensory Neurons.” Journal of Neurophysiology. American Physiological Society, 2023. https://doi.org/10.1152/jn.00172.2022.","ista":"Ladle DR, Hippenmeyer S. 2023. Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. 129(3), 501–512.","mla":"Ladle, David R., and Simon Hippenmeyer. “Loss of ETV1/ER81 in Motor Neurons Leads to Reduced Monosynaptic Inputs from Proprioceptive Sensory Neurons.” Journal of Neurophysiology, vol. 129, no. 3, American Physiological Society, 2023, pp. 501–12, doi:10.1152/jn.00172.2022.","ama":"Ladle DR, Hippenmeyer S. Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. 2023;129(3):501-512. doi:10.1152/jn.00172.2022","apa":"Ladle, D. R., & Hippenmeyer, S. (2023). Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00172.2022","ieee":"D. R. Ladle and S. Hippenmeyer, “Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons,” Journal of Neurophysiology, vol. 129, no. 3. American Physiological Society, pp. 501–512, 2023.","short":"D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512."},"date_created":"2023-02-15T14:46:14Z","date_published":"2023-03-01T00:00:00Z","doi":"10.1152/jn.00172.2022","page":"501-512","publication":"Journal of Neurophysiology","day":"01","year":"2023","isi":1,"publisher":"American Physiological Society","quality_controlled":"1","acknowledgement":"The authors gratefully thank Dr. Silvia Arber, University of Basel and Friedrich Miescher Institute for Biomedical Research, for support and in whose lab the data were collected. For advice on statistical analysis, we thank Michael Bottomley from the Statistical Consulting Center, College of Science and Mathematics, Wright State University."},{"_id":"13310","status":"public","conference":{"name":"CAV: Computer Aided Verification","start_date":"2023-07-17","location":"Paris, France","end_date":"2023-07-22"},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"conference","ddc":["000"],"date_updated":"2023-09-05T15:14:00Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"file_date_updated":"2023-07-31T08:11:20Z","oa_version":"Published Version","abstract":[{"lang":"eng","text":"Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness for systems whose models are unknown, but are assumed to have a Markov chain structure. We introduce a specification language that can model many common algorithmic fairness properties, such as demographic parity, equal opportunity, and social burden. We build monitors that observe a long sequence of events as generated by a given system, and output, after each observation, a quantitative estimate of how fair or biased the system was on that run until that point in time. The estimate is proven to be correct modulo a variable error bound and a given confidence level, where the error bound gets tighter as the observed sequence gets longer. Our monitors are of two types, and use, respectively, frequentist and Bayesian statistical inference techniques. While the frequentist monitors compute estimates that are objectively correct with respect to the ground truth, the Bayesian monitors compute estimates that are correct subject to a given prior belief about the system’s model. Using a prototype implementation, we show how we can monitor if a bank is fair in giving loans to applicants from different social backgrounds, and if a college is fair in admitting students while maintaining a reasonable financial burden on the society. Although they exhibit different theoretical complexities in certain cases, in our experiments, both frequentist and Bayesian monitors took less than a millisecond to update their verdicts after each observation."}],"intvolume":" 13965","month":"07","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"file":[{"date_updated":"2023-07-31T08:11:20Z","file_size":647760,"creator":"dernst","date_created":"2023-07-31T08:11:20Z","file_name":"2023_LNCS_CAV_HenzingerT.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"ccaf94bf7d658ba012c016e11869b54c","file_id":"13327","success":1}],"publication_status":"published","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031377020"],"eissn":["1611-3349"],"eisbn":["9783031377037"]},"ec_funded":1,"volume":13965,"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.","ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.","ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17","apa":"Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17"},"title":"Monitoring algorithmic fairness","article_processing_charge":"Yes (in subscription journal)","external_id":{"arxiv":["2305.15979"]},"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger"},{"orcid":"0009-0005-0820-1696","full_name":"Karimi, Mahyar","last_name":"Karimi","id":"f1dedef5-2f78-11ee-989a-c4c97bccf506","first_name":"Mahyar"},{"first_name":"Konstantin","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","full_name":"Kueffner, Konstantin","orcid":"0000-0001-8974-2542","last_name":"Kueffner"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","first_name":"Kaushik","last_name":"Mallik","full_name":"Mallik, Kaushik","orcid":"0000-0001-9864-7475"}],"acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG101020093.","oa":1,"quality_controlled":"1","publisher":"Springer Nature","publication":"Computer Aided Verification","day":"18","year":"2023","has_accepted_license":"1","date_created":"2023-07-25T18:32:40Z","date_published":"2023-07-18T00:00:00Z","doi":"10.1007/978-3-031-37703-7_17","page":"358–382"},{"citation":{"apa":"Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12459-3","ama":"Glajzer J, Castillo-Tong DC, Richter R, et al. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 2023;30:35-45. doi:10.1245/s10434-022-12459-3","short":"J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.","ieee":"J. Glajzer et al., “Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.","mla":"Glajzer, Jacek, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology, vol. 30, Springer Nature, 2023, pp. 35–45, doi:10.1245/s10434-022-12459-3.","ista":"Glajzer J, Castillo-Tong DC, Richter R, Vergote I, Kulbe H, Vanderstichele A, Ruscito I, Trillsch F, Mustea A, Kreuzinger C, Gourley C, Gabra H, Taube ET, Dorigo O, Horst D, Keunecke C, Baum J, Angelotti T, Sehouli J, Braicu EI. 2023. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 30, 35–45.","chicago":"Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12459-3."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"first_name":"Jacek","full_name":"Glajzer, Jacek","last_name":"Glajzer"},{"full_name":"Castillo-Tong, Dan Cacsire","last_name":"Castillo-Tong","first_name":"Dan Cacsire"},{"first_name":"Rolf","full_name":"Richter, Rolf","last_name":"Richter"},{"last_name":"Vergote","full_name":"Vergote, Ignace","first_name":"Ignace"},{"full_name":"Kulbe, Hagen","last_name":"Kulbe","first_name":"Hagen"},{"full_name":"Vanderstichele, Adriaan","last_name":"Vanderstichele","first_name":"Adriaan"},{"last_name":"Ruscito","full_name":"Ruscito, Ilary","first_name":"Ilary"},{"last_name":"Trillsch","full_name":"Trillsch, Fabian","first_name":"Fabian"},{"first_name":"Alexander","full_name":"Mustea, Alexander","last_name":"Mustea"},{"first_name":"Caroline","id":"382077BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kreuzinger, Caroline","last_name":"Kreuzinger"},{"first_name":"Charlie","last_name":"Gourley","full_name":"Gourley, Charlie"},{"full_name":"Gabra, Hani","last_name":"Gabra","first_name":"Hani"},{"last_name":"Taube","full_name":"Taube, Eliane T.","first_name":"Eliane T."},{"first_name":"Oliver","last_name":"Dorigo","full_name":"Dorigo, Oliver"},{"last_name":"Horst","full_name":"Horst, David","first_name":"David"},{"full_name":"Keunecke, Carlotta","last_name":"Keunecke","first_name":"Carlotta"},{"first_name":"Joanna","full_name":"Baum, Joanna","last_name":"Baum"},{"full_name":"Angelotti, Timothy","last_name":"Angelotti","first_name":"Timothy"},{"first_name":"Jalid","last_name":"Sehouli","full_name":"Sehouli, Jalid"},{"last_name":"Braicu","full_name":"Braicu, Elena Ioana","first_name":"Elena Ioana"}],"article_processing_charge":"No","external_id":{"isi":["000852125500006"]},"title":"Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium","isi":1,"has_accepted_license":"1","year":"2023","day":"01","publication":"Annals of Surgical Oncology","page":"35-45","date_published":"2023-01-01T00:00:00Z","doi":"10.1245/s10434-022-12459-3","date_created":"2023-01-16T09:44:36Z","acknowledgement":"E.I.B. is a Feodor Lynen fellow of the Humboldt Foundation and a participant of the Charité Clinical Scientist Program funded by the Charité Universitätsmedizin Berlin and the Berlin Institute of Health. This work was supported by European Commission’s Seventh Framework Programme under grant agreement no. 279113 (OCTIPS; www.octips.eu).\r\nOpen Access funding enabled and organized by Projekt DEAL.","publisher":"Springer Nature","quality_controlled":"1","oa":1,"date_updated":"2023-09-05T15:18:37Z","ddc":["610"],"file_date_updated":"2023-02-02T13:01:20Z","department":[{"_id":"JoDa"}],"_id":"12205","article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","keyword":["Oncology","Surgery"],"publication_identifier":{"eissn":["1534-4681"],"issn":["1068-9265"]},"publication_status":"published","file":[{"file_name":"2023_AnnalsSurgicalOncology_Glajzer.pdf","date_created":"2023-02-02T13:01:20Z","creator":"dernst","file_size":365865,"date_updated":"2023-02-02T13:01:20Z","success":1,"checksum":"36a1200e1011f4b2155a8041d0308f34","file_id":"12490","relation":"main_file","access_level":"open_access","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"12115","relation":"other"}]},"volume":30,"abstract":[{"lang":"eng","text":"Background: This study seeks to evaluate the impact of breast cancer (BRCA) gene status on tumor dissemination pattern, surgical outcome and survival in a multicenter cohort of paired primary ovarian cancer (pOC) and recurrent ovarian cancer (rOC).\r\n\r\nPatients and Methods: Medical records and follow-up data from 190 patients were gathered retrospectively. All patients had surgery at pOC and at least one further rOC surgery at four European high-volume centers. Patients were divided into one cohort with confirmed mutation for BRCA1 and/or BRCA2 (BRCAmut) and a second cohort with BRCA wild type or unknown (BRCAwt). Patterns of tumor presentation, surgical outcome and survival data were analyzed between the two groups.\r\n\r\nResults: Patients with BRCAmut disease were on average 4 years younger and had significantly more tumor involvement upon diagnosis. Patients with BRCAmut disease showed higher debulking rates at all stages. Multivariate analysis showed that only patient age had significant predictive value for complete tumor resection in pOC. At rOC, however, only BRCAmut status significantly correlated with optimal debulking. Patients with BRCAmut disease showed significantly prolonged overall survival (OS) by 24.3 months. Progression-free survival (PFS) was prolonged in the BRCAmut group at all stages as well, reaching statistical significance during recurrence.\r\n\r\nConclusions: Patients with BRCAmut disease showed a more aggressive course of disease with earlier onset and more extensive tumor dissemination at pOC. However, surgical outcome and OS were significantly better in patients with BRCAmut disease compared with patients with BRCAwt disease. We therefore propose to consider BRCAmut status in regard to patient selection for cytoreductive surgery, especially in rOC."}],"oa_version":"Published Version","scopus_import":"1","month":"01","intvolume":" 30"},{"intvolume":" 30","month":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1245/s10434-022-12681-z"}],"scopus_import":"1","oa_version":"Published Version","volume":30,"related_material":{"record":[{"relation":"other","status":"public","id":"12205"}]},"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["1068-9265"],"eissn":["1534-4681"]},"keyword":["Oncology","Surgery"],"status":"public","type":"journal_article","article_type":"original","_id":"12115","department":[{"_id":"JoDa"}],"date_updated":"2023-09-05T15:18:36Z","oa":1,"quality_controlled":"1","publisher":"Springer Nature","acknowledgement":"This work was supported by European Commission’s Seventh Framework Programme under Grant Agreement No. 279113 (OCTIPS; www.octips.eu).","date_created":"2023-01-12T11:56:22Z","doi":"10.1245/s10434-022-12681-z","date_published":"2023-01-01T00:00:00Z","page":"46-47","publication":"Annals of Surgical Oncology","day":"01","year":"2023","isi":1,"title":"ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium","external_id":{"isi":["000879151800001"]},"article_processing_charge":"No","author":[{"first_name":"Jacek","full_name":"Glajzer, Jacek","last_name":"Glajzer"},{"first_name":"Dan Cacsire","last_name":"Castillo-Tong","full_name":"Castillo-Tong, Dan Cacsire"},{"first_name":"Rolf","last_name":"Richter","full_name":"Richter, Rolf"},{"last_name":"Vergote","full_name":"Vergote, Ignace","first_name":"Ignace"},{"last_name":"Kulbe","full_name":"Kulbe, Hagen","first_name":"Hagen"},{"first_name":"Adriaan","last_name":"Vanderstichele","full_name":"Vanderstichele, Adriaan"},{"first_name":"Ilary","full_name":"Ruscito, Ilary","last_name":"Ruscito"},{"first_name":"Fabian","full_name":"Trillsch, Fabian","last_name":"Trillsch"},{"last_name":"Mustea","full_name":"Mustea, Alexander","first_name":"Alexander"},{"last_name":"Kreuzinger","full_name":"Kreuzinger, Caroline","first_name":"Caroline","id":"382077BA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Gourley, Charlie","last_name":"Gourley","first_name":"Charlie"},{"full_name":"Gabra, Hani","last_name":"Gabra","first_name":"Hani"},{"full_name":"Taube, Eliane T.","last_name":"Taube","first_name":"Eliane T."},{"full_name":"Dorigo, Oliver","last_name":"Dorigo","first_name":"Oliver"},{"last_name":"Horst","full_name":"Horst, David","first_name":"David"},{"first_name":"Carlotta","full_name":"Keunecke, Carlotta","last_name":"Keunecke"},{"first_name":"Joanna","full_name":"Baum, Joanna","last_name":"Baum"},{"last_name":"Angelotti","full_name":"Angelotti, Timothy","first_name":"Timothy"},{"last_name":"Sehouli","full_name":"Sehouli, Jalid","first_name":"Jalid"},{"last_name":"Braicu","full_name":"Braicu, Elena Ioana","first_name":"Elena Ioana"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Glajzer J, Castillo-Tong DC, Richter R, Vergote I, Kulbe H, Vanderstichele A, Ruscito I, Trillsch F, Mustea A, Kreuzinger C, Gourley C, Gabra H, Taube ET, Dorigo O, Horst D, Keunecke C, Baum J, Angelotti T, Sehouli J, Braicu EI. 2023. ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium. Annals of Surgical Oncology. 30, 46–47.","chicago":"Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “ASO Visual Abstract: Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome, and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer (HGSOC). A Multicenter, Retrospective Study of the Ovarian Cancer Therapy—Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12681-z.","short":"J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 46–47.","ieee":"J. Glajzer et al., “ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 46–47, 2023.","ama":"Glajzer J, Castillo-Tong DC, Richter R, et al. ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium. Annals of Surgical Oncology. 2023;30:46-47. doi:10.1245/s10434-022-12681-z","apa":"Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12681-z","mla":"Glajzer, Jacek, et al. “ASO Visual Abstract: Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome, and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer (HGSOC). A Multicenter, Retrospective Study of the Ovarian Cancer Therapy—Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology, vol. 30, Springer Nature, 2023, pp. 46–47, doi:10.1245/s10434-022-12681-z."}},{"publisher":"Springer Nature","quality_controlled":"1","oa":1,"acknowledgement":"We thank Kayla Templeton and Peter Turcanu for technical assistance, Michelle Salemi for assistance with LC-MS data acquisition and analysis, Dr. Belvin Gong for advice on monoclonal antibody generation, Drs. Maria Casas Prat and Eamonn Dickson for assistance with super-resolution TIRF microscopy, Dr. Oscar Cerda for assistance with the design of TAT-FFAT peptides, Dr. Fernando Santana for helpful discussions, and Dr. Jodi Nunnari for a careful reading of our manuscript. We also thank Dr. Alan Howe, Dr. Sohum Mehta, and Dr. Jin Zhang for providing plasmids used in this study. This project was funded by NIH Grants R01NS114210 and R21NS101648 (J.S.T.), and F32NS108519 (N.C.V.).","doi":"10.1038/s41467-023-40930-6","date_published":"2023-08-26T00:00:00Z","date_created":"2023-09-03T22:01:14Z","has_accepted_license":"1","year":"2023","day":"26","publication":"Nature Communications","article_number":"5231","author":[{"first_name":"Nicholas C.","last_name":"Vierra","full_name":"Vierra, Nicholas C."},{"first_name":"Luisa","full_name":"Ribeiro-Silva, Luisa","last_name":"Ribeiro-Silva"},{"first_name":"Michael","last_name":"Kirmiz","full_name":"Kirmiz, Michael"},{"full_name":"Van Der List, Deborah","last_name":"Van Der List","first_name":"Deborah"},{"id":"45EDD1BC-F248-11E8-B48F-1D18A9856A87","first_name":"Pradeep","orcid":"0000-0003-0863-4481","full_name":"Bhandari, Pradeep","last_name":"Bhandari"},{"full_name":"Mack, Olivia A.","last_name":"Mack","first_name":"Olivia A."},{"first_name":"James","last_name":"Carroll","full_name":"Carroll, James"},{"first_name":"Elodie","id":"3B59276A-F248-11E8-B48F-1D18A9856A87","last_name":"Le Monnier","full_name":"Le Monnier, Elodie"},{"full_name":"Aicher, Sue A.","last_name":"Aicher","first_name":"Sue A."},{"last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Trimmer","full_name":"Trimmer, James S.","first_name":"James S."}],"article_processing_charge":"Yes","external_id":{"pmid":["37633939"]},"title":"Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling","citation":{"chicago":"Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.","ista":"Vierra NC, Ribeiro-Silva L, Kirmiz M, Van Der List D, Bhandari P, Mack OA, Carroll J, Le Monnier E, Aicher SA, Shigemoto R, Trimmer JS. 2023. Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. 14, 5231.","mla":"Vierra, Nicholas C., et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications, vol. 14, 5231, Springer Nature, 2023, doi:10.1038/s41467-023-40930-6.","apa":"Vierra, N. C., Ribeiro-Silva, L., Kirmiz, M., Van Der List, D., Bhandari, P., Mack, O. A., … Trimmer, J. S. (2023). Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-40930-6","ama":"Vierra NC, Ribeiro-Silva L, Kirmiz M, et al. Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. 2023;14. doi:10.1038/s41467-023-40930-6","short":"N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).","ieee":"N. C. Vierra et al., “Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling,” Nature Communications, vol. 14. Springer Nature, 2023."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","month":"08","intvolume":" 14","abstract":[{"text":"Junctions between the endoplasmic reticulum (ER) and the plasma membrane (PM) are specialized membrane contacts ubiquitous in eukaryotic cells. Concentration of intracellular signaling machinery near ER-PM junctions allows these domains to serve critical roles in lipid and Ca2+ signaling and homeostasis. Subcellular compartmentalization of protein kinase A (PKA) signaling also regulates essential cellular functions, however, no specific association between PKA and ER-PM junctional domains is known. Here, we show that in brain neurons type I PKA is directed to Kv2.1 channel-dependent ER-PM junctional domains via SPHKAP, a type I PKA-specific anchoring protein. SPHKAP association with type I PKA regulatory subunit RI and ER-resident VAP proteins results in the concentration of type I PKA between stacked ER cisternae associated with ER-PM junctions. This ER-associated PKA signalosome enables reciprocal regulation between PKA and Ca2+ signaling machinery to support Ca2+ influx and excitation-transcription coupling. These data reveal that neuronal ER-PM junctions support a receptor-independent form of PKA signaling driven by membrane depolarization and intracellular Ca2+, allowing conversion of information encoded in electrical signals into biochemical changes universally recognized throughout the cell.","lang":"eng"}],"oa_version":"Published Version","pmid":1,"volume":14,"publication_identifier":{"eissn":["2041-1723"]},"publication_status":"published","file":[{"date_created":"2023-09-06T06:50:07Z","file_name":"2023_NatureComm_Vierra.pdf","creator":"dernst","date_updated":"2023-09-06T06:50:07Z","file_size":9412549,"file_id":"14270","checksum":"6ab8aab4e957f626a09a1c73db3388fb","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","_id":"14253","file_date_updated":"2023-09-06T06:50:07Z","department":[{"_id":"RySh"}],"date_updated":"2023-09-06T06:53:32Z","ddc":["570"]},{"citation":{"chicago":"Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.","ista":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. 2023. Guessing winning policies in LTL synthesis by semantic learning. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 390–414.","mla":"Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.","ieee":"J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.","short":"J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.","ama":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:390-414. doi:10.1007/978-3-031-37706-8_20","apa":"Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Kretinsky","orcid":"0000-0002-8122-2881","full_name":"Kretinsky, Jan"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias","last_name":"Meggendorfer","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165"},{"first_name":"Maximilian","full_name":"Prokop, Maximilian","last_name":"Prokop"},{"full_name":"Rieder, Sabine","last_name":"Rieder","first_name":"Sabine"}],"article_processing_charge":"Yes (in subscription journal)","title":"Guessing winning policies in LTL synthesis by semantic learning","has_accepted_license":"1","year":"2023","day":"17","publication":"35th International Conference on Computer Aided Verification ","page":"390-414","doi":"10.1007/978-3-031-37706-8_20","date_published":"2023-07-17T00:00:00Z","date_created":"2023-09-03T22:01:16Z","acknowledgement":"This research was funded in part by the German Research Foundation (DFG) project 427755713 Group-By Objectives in Probabilistic Verification (GOPro).","quality_controlled":"1","publisher":"Springer Nature","oa":1,"date_updated":"2023-09-06T08:27:33Z","ddc":["000"],"department":[{"_id":"KrCh"}],"file_date_updated":"2023-09-06T08:25:50Z","_id":"14259","type":"conference","conference":{"name":"CAV: Computer Aided Verification","end_date":"2023-07-22","location":"Paris, France","start_date":"2023-07-17"},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031377051"],"eissn":["1611-3349"]},"publication_status":"published","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"14276","checksum":"ed66278b61bb869e1baba3d9b9081271","creator":"dernst","file_size":428354,"date_updated":"2023-09-06T08:25:50Z","file_name":"2023_LNCS_CAV_Kretinsky.pdf","date_created":"2023-09-06T08:25:50Z"}],"language":[{"iso":"eng"}],"volume":13964,"abstract":[{"text":"We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions.\r\nIn contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","alternative_title":["LNCS"],"month":"07","intvolume":" 13964"}]