[{"intvolume":"        25","article_number":"138","citation":{"apa":"Redig, F., Saada, E., &#38; Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. <i>Electronic Journal of Probability</i>.  Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/20-EJP536\">https://doi.org/10.1214/20-EJP536</a>","ista":"Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.","short":"F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).","chicago":"Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” <i>Electronic Journal of Probability</i>.  Institute of Mathematical Statistics, 2020. <a href=\"https://doi.org/10.1214/20-EJP536\">https://doi.org/10.1214/20-EJP536</a>.","ieee":"F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic environment: Hydrodynamics,” <i>Electronic Journal of Probability</i>, vol. 25.  Institute of Mathematical Statistics, 2020.","ama":"Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. <i>Electronic Journal of Probability</i>. 2020;25. doi:<a href=\"https://doi.org/10.1214/20-EJP536\">10.1214/20-EJP536</a>","mla":"Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” <i>Electronic Journal of Probability</i>, vol. 25, 138,  Institute of Mathematical Statistics, 2020, doi:<a href=\"https://doi.org/10.1214/20-EJP536\">10.1214/20-EJP536</a>."},"date_published":"2020-10-21T00:00:00Z","quality_controlled":"1","article_processing_charge":"No","publication":"Electronic Journal of Probability","month":"10","publisher":" Institute of Mathematical Statistics","language":[{"iso":"eng"}],"title":"Symmetric simple exclusion process in dynamic environment: Hydrodynamics","publication_identifier":{"eissn":["1083-6489"]},"scopus_import":"1","ddc":["510"],"arxiv":1,"doi":"10.1214/20-EJP536","date_created":"2020-12-27T23:01:17Z","status":"public","has_accepted_license":"1","day":"21","type":"journal_article","acknowledgement":"We warmly thank S.R.S. Varadhan for many enlightening discussions at an early stage of this work. We are indebted to Francesca Collet for fruitful discussions and constant support all throughout this work. We thank Simone Floreani\r\nand Alberto Chiarini for helpful conversations on the final part of this paper as well as both referees for their careful reading and for raising relevant issues on some weak points contained in a previous version of this manuscript; we believe this helped us to improve it.\r\nPart of this work was done during the authors’ stay at the Institut Henri Poincaré (UMS 5208 CNRS-Sorbonne Université) – Centre Emile Borel during the trimester Stochastic Dynamics Out of Equilibrium. The authors thank this institution for hospitality and support (through LabEx CARMIN, ANR-10-LABX-59-01). F.S. thanks laboratoire\r\nMAP5 of Université de Paris, and E.S. thanks Delft University, for financial support and hospitality. F.S. acknowledges NWO for financial support via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411. This research has been conducted within the FP2M federation (CNRS FR 2036).","oa_version":"Published Version","project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"_id":"8973","ec_funded":1,"oa":1,"article_type":"original","abstract":[{"text":"We consider the symmetric simple exclusion process in Zd with quenched bounded dynamic random conductances and prove its hydrodynamic limit in path space. The main tool is the connection, due to the self-duality of the process, between the invariance principle for single particles starting from all points and the macroscopic behavior of the density field. While the hydrodynamic limit at fixed macroscopic times is obtained via a generalization to the time-inhomogeneous context of the strategy introduced in [41], in order to prove tightness for the sequence of empirical density fields we develop a new criterion based on the notion of uniform conditional stochastic continuity, following [50]. In conclusion, we show that uniform elliptic dynamic conductances provide an example of environments in which the so-called arbitrary starting point invariance principle may be derived from the invariance principle of a single particle starting from the origin. Therefore, our hydrodynamics result applies to the examples of quenched environments considered in, e.g., [1], [3], [6] in combination with the hypothesis of uniform ellipticity.","lang":"eng"}],"external_id":{"arxiv":["1811.01366"],"isi":["000591737500001"]},"author":[{"last_name":"Redig","first_name":"Frank","full_name":"Redig, Frank"},{"full_name":"Saada, Ellen","last_name":"Saada","first_name":"Ellen"},{"id":"E1836206-9F16-11E9-8814-AEFDE5697425","full_name":"Sau, Federico","last_name":"Sau","first_name":"Federico"}],"department":[{"_id":"JaMa"}],"date_updated":"2025-04-14T07:43:50Z","file_date_updated":"2020-12-28T08:24:08Z","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"creator":"dernst","success":1,"date_created":"2020-12-28T08:24:08Z","checksum":"d75359b9814e78d57c0a481b7cde3751","access_level":"open_access","file_size":696653,"date_updated":"2020-12-28T08:24:08Z","content_type":"application/pdf","file_id":"8976","relation":"main_file","file_name":"2020_ElectronJProbab_Redig.pdf"}],"publication_status":"published","volume":25,"year":"2020"},{"volume":1,"year":"2020","publication_status":"published","file":[{"access_level":"open_access","checksum":"f1e9a433e9cb0f41f7b6df6b76db1f6e","date_created":"2021-01-07T15:57:27Z","success":1,"creator":"dernst","file_name":"2020_STARProtocols_Laukoter.pdf","relation":"main_file","content_type":"application/pdf","file_id":"8996","date_updated":"2021-01-07T15:57:27Z","file_size":4031449}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2021-01-07T15:57:27Z","date_updated":"2025-04-15T08:23:06Z","department":[{"_id":"SiHi"}],"author":[{"id":"2D6B7A9A-F248-11E8-B48F-1D18A9856A87","full_name":"Laukoter, Susanne","orcid":"0000-0002-7903-3010","last_name":"Laukoter","first_name":"Susanne"},{"orcid":"0000-0002-3183-8207","full_name":"Amberg, Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicole","last_name":"Amberg"},{"last_name":"Pauler","first_name":"Florian","id":"48EA0138-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7462-0048","full_name":"Pauler, Florian"},{"first_name":"Simon","last_name":"Hippenmeyer","full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"pmid":["33377108"]},"abstract":[{"text":"Mosaic analysis with double markers (MADM) technology enables concomitant fluorescent cell labeling and induction of uniparental chromosome disomy (UPD) with single-cell resolution. In UPD, imprinted genes are either overexpressed 2-fold or are not expressed. Here, the MADM platform is utilized to probe imprinting phenotypes at the transcriptional level. This protocol highlights major steps for the generation and isolation of projection neurons and astrocytes with MADM-induced UPD from mouse cerebral cortex for downstream single-cell and low-input sample RNA-sequencing experiments.\r\n\r\nFor complete details on the use and execution of this protocol, please refer to Laukoter et al. (2020b).","lang":"eng"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"article_type":"original","oa":1,"ec_funded":1,"_id":"8978","project":[{"name":"Role of Eed in neural stem cell lineage progression","call_identifier":"FWF","grant_number":"T01031","_id":"268F8446-B435-11E9-9278-68D0E5697425"},{"name":"Stem Cell Modulation in Neural Development and Regeneration/ P05-Molecular Mechanisms of Neural Stem Cell Lineage Progression","_id":"059F6AB4-7A3F-11EA-A408-12923DDC885E","grant_number":"F7805"},{"name":"Mapping Cell-Type Specificity of the Genomic Imprintome in the Brain","grant_number":"LS13-002","_id":"25D92700-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","grant_number":"618444","_id":"25D61E48-B435-11E9-9278-68D0E5697425","name":"Molecular Mechanisms of Cerebral Cortex Development"},{"call_identifier":"H2020","_id":"260018B0-B435-11E9-9278-68D0E5697425","grant_number":"725780","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"oa_version":"Published Version","acknowledgement":"This research was supported by the Scientific Service Units (SSU) at IST Austria through resources provided by the Bioimaging (BIF) and Preclinical Facilities (PCF). N.A received support from the FWF Firnberg-Programm (T 1031). This work was also supported by IST Austria institutional funds; FWF SFB F78 to S.H.; NÖ Forschung und Bildung n[f+b] life science call grant (C13-002) to S.H.; the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 618444 to S.H.; and the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement no. 725780 LinPro) to S.H.","day":"18","type":"journal_article","has_accepted_license":"1","status":"public","doi":"10.1016/j.xpro.2020.100215","date_created":"2020-12-30T10:17:07Z","ddc":["570"],"corr_author":"1","scopus_import":"1","publication_identifier":{"issn":["2666-1667"]},"issue":"3","title":"Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy","language":[{"iso":"eng"}],"publisher":"Elsevier","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","pmid":1,"month":"12","publication":"STAR Protocols","article_processing_charge":"No","quality_controlled":"1","date_published":"2020-12-18T00:00:00Z","citation":{"chicago":"Laukoter, Susanne, Nicole Amberg, Florian Pauler, and Simon Hippenmeyer. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” <i>STAR Protocols</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">https://doi.org/10.1016/j.xpro.2020.100215</a>.","ieee":"S. Laukoter, N. Amberg, F. Pauler, and S. Hippenmeyer, “Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy,” <i>STAR Protocols</i>, vol. 1, no. 3. Elsevier, 2020.","ama":"Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. <i>STAR Protocols</i>. 2020;1(3). doi:<a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">10.1016/j.xpro.2020.100215</a>","mla":"Laukoter, Susanne, et al. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” <i>STAR Protocols</i>, vol. 1, no. 3, 100215, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">10.1016/j.xpro.2020.100215</a>.","apa":"Laukoter, S., Amberg, N., Pauler, F., &#38; Hippenmeyer, S. (2020). Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. <i>STAR Protocols</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">https://doi.org/10.1016/j.xpro.2020.100215</a>","ista":"Laukoter S, Amberg N, Pauler F, Hippenmeyer S. 2020. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 1(3), 100215.","short":"S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020)."},"intvolume":"         1","article_number":"100215","tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"}},{"intvolume":"     12578","date_published":"2020-12-08T00:00:00Z","citation":{"short":"K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.","ista":"Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.","apa":"Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In <i>Progress in Cryptology</i> (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">https://doi.org/10.1007/978-3-030-65277-7_1</a>","mla":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” <i>Progress in Cryptology</i>, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:<a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">10.1007/978-3-030-65277-7_1</a>.","ama":"Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: <i>Progress in Cryptology</i>. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:<a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">10.1007/978-3-030-65277-7_1</a>","chicago":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In <i>Progress in Cryptology</i>, 12578:3–15. LNCS. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">https://doi.org/10.1007/978-3-030-65277-7_1</a>.","ieee":"K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in <i>Progress in Cryptology</i>, Bangalore, India, 2020, vol. 12578, pp. 3–15."},"conference":{"start_date":"2020-12-13","location":"Bangalore, India","end_date":"2020-12-16","name":"INDOCRYPT: International Conference on Cryptology in India"},"article_processing_charge":"No","quality_controlled":"1","publication":"Progress in Cryptology","month":"12","language":[{"iso":"eng"}],"publisher":"Springer Nature","title":"Delayed authentication: Preventing replay and relay attacks in private contact tracing","scopus_import":"1","publication_identifier":{"issn":["0302-9743"],"isbn":["9783030652760"],"eissn":["1611-3349"]},"main_file_link":[{"url":"https://eprint.iacr.org/2020/418","open_access":"1"}],"doi":"10.1007/978-3-030-65277-7_1","date_created":"2021-01-03T23:01:23Z","status":"public","day":"08","type":"conference","oa_version":"Preprint","ec_funded":1,"_id":"8987","project":[{"call_identifier":"H2020","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks"}],"oa":1,"page":"3-15","abstract":[{"lang":"eng","text":"Currently several projects aim at designing and implementing protocols for privacy preserving automated contact tracing to help fight the current pandemic. Those proposal are quite similar, and in their most basic form basically propose an app for mobile phones which broadcasts frequently changing pseudorandom identifiers via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast by phones in its proximity. Only if a user is tested positive, they upload either the beacons they did broadcast (which is the case in decentralized proposals as DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or ROBERT) during the last two weeks or so.\r\n\r\nVaudenay [eprint 2020/399] observes that this basic scheme (he considers the DP-3T proposal) succumbs to relay and even replay attacks, and proposes more complex interactive schemes which prevent those attacks without giving up too many privacy aspects. Unfortunately interaction is problematic for this application for efficiency and security reasons. The countermeasures that have been suggested so far are either not practical or give up on key privacy aspects. We propose a simple non-interactive variant of the basic protocol that\r\n(security) Provably prevents replay and (if location data is available) relay attacks.\r\n(privacy) The data of all parties (even jointly) reveals no information on the location or time where encounters happened.\r\n(efficiency) The broadcasted message can fit into 128 bits and uses only basic crypto (commitments and secret key authentication).\r\n\r\nTowards this end we introduce the concept of “delayed authentication”, which basically is a message authentication code where verification can be done in two steps, where the first doesn’t require the key, and the second doesn’t require the message."}],"author":[{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","first_name":"Krzysztof Z"}],"external_id":{"isi":["000927592800001"]},"department":[{"_id":"KrPi"}],"series_title":"LNCS","date_updated":"2026-04-16T09:33:26Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","isi":1,"publication_status":"published","year":"2020","volume":12578},{"date_updated":"2025-05-14T10:57:50Z","file_date_updated":"2021-01-11T08:37:31Z","file":[{"creator":"dernst","success":1,"date_created":"2021-01-11T08:37:31Z","checksum":"69039cd402a571983aa6cb4815ffa863","access_level":"open_access","file_size":1199247,"date_updated":"2021-01-11T08:37:31Z","content_type":"application/pdf","file_id":"9004","relation":"main_file","file_name":"2020_PNAS_Grah.pdf"}],"related_material":{"link":[{"url":"https://ist.ac.at/en/news/new-compact-model-for-gene-regulation-in-higher-organisms/","description":"News on IST Homepage","relation":"press_release"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"volume":117,"year":"2020","publication_status":"published","project":[{"_id":"2665AAFE-B435-11E9-9278-68D0E5697425","grant_number":"RGP0034/2018","name":"Can evolution minimize spurious signaling crosstalk to reach optimal performance?"},{"name":"Biophysically realistic genotype-phenotype maps for regulatory networks","_id":"267C84F4-B435-11E9-9278-68D0E5697425"}],"_id":"9000","oa_version":"Published Version","article_type":"original","page":"31614-31622","oa":1,"author":[{"first_name":"Rok","last_name":"Grah","orcid":"0000-0003-2539-3560","full_name":"Grah, Rok","id":"483E70DE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Benjamin","last_name":"Zoller","full_name":"Zoller, Benjamin"},{"full_name":"Tkačik, Gašper","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gašper","last_name":"Tkačik"}],"external_id":{"isi":["000600608300015"],"pmid":["33268497"]},"abstract":[{"text":"In prokaryotes, thermodynamic models of gene regulation provide a highly quantitative mapping from promoter sequences to gene-expression levels that is compatible with in vivo and in vitro biophysical measurements. Such concordance has not been achieved for models of enhancer function in eukaryotes. In equilibrium models, it is difficult to reconcile the reported short transcription factor (TF) residence times on the DNA with the high specificity of regulation. In nonequilibrium models, progress is difficult due to an explosion in the number of parameters. Here, we navigate this complexity by looking for minimal nonequilibrium enhancer models that yield desired regulatory phenotypes: low TF residence time, high specificity, and tunable cooperativity. We find that a single extra parameter, interpretable as the “linking rate,” by which bound TFs interact with Mediator components, enables our models to escape equilibrium bounds and access optimal regulatory phenotypes, while remaining consistent with the reported phenomenology and simple enough to be inferred from upcoming experiments. We further find that high specificity in nonequilibrium models is in a trade-off with gene-expression noise, predicting bursty dynamics—an experimentally observed hallmark of eukaryotic transcription. By drastically reducing the vast parameter space of nonequilibrium enhancer models to a much smaller subspace that optimally realizes biological function, we deliver a rich class of models that could be tractably inferred from data in the near future.","lang":"eng"}],"department":[{"_id":"GaTk"}],"title":"Nonequilibrium models of optimal enhancer function","issue":"50","ddc":["570"],"corr_author":"1","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"scopus_import":"1","has_accepted_license":"1","status":"public","date_created":"2021-01-10T23:01:17Z","doi":"10.1073/pnas.2006731117","acknowledgement":"G.T. was supported by Human Frontiers Science Program Grant RGP0034/2018. R.G. was supported by the Austrian Academy of Sciences DOC Fellowship. R.G. thanks S. Avvakumov for helpful discussions.","type":"journal_article","day":"15","intvolume":"       117","tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"date_published":"2020-12-15T00:00:00Z","citation":{"chicago":"Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Nonequilibrium Models of Optimal Enhancer Function.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.2006731117\">https://doi.org/10.1073/pnas.2006731117</a>.","ieee":"R. Grah, B. Zoller, and G. Tkačik, “Nonequilibrium models of optimal enhancer function,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 50. National Academy of Sciences, pp. 31614–31622, 2020.","ama":"Grah R, Zoller B, Tkačik G. Nonequilibrium models of optimal enhancer function. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2020;117(50):31614-31622. doi:<a href=\"https://doi.org/10.1073/pnas.2006731117\">10.1073/pnas.2006731117</a>","mla":"Grah, Rok, et al. “Nonequilibrium Models of Optimal Enhancer Function.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 50, National Academy of Sciences, 2020, pp. 31614–22, doi:<a href=\"https://doi.org/10.1073/pnas.2006731117\">10.1073/pnas.2006731117</a>.","ista":"Grah R, Zoller B, Tkačik G. 2020. Nonequilibrium models of optimal enhancer function. Proceedings of the National Academy of Sciences of the United States of America. 117(50), 31614–31622.","apa":"Grah, R., Zoller, B., &#38; Tkačik, G. (2020). Nonequilibrium models of optimal enhancer function. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2006731117\">https://doi.org/10.1073/pnas.2006731117</a>","short":"R. Grah, B. Zoller, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 31614–31622."},"publication":"Proceedings of the National Academy of Sciences of the United States of America","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"National Academy of Sciences","pmid":1,"month":"12"},{"year":"2020","volume":2020,"publication_status":"published","related_material":{"record":[{"id":"7910","status":"public","relation":"earlier_version"}]},"isi":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2026-04-15T06:42:36Z","department":[{"_id":"JoFi"}],"author":[{"first_name":"Shabir","last_name":"Barzanjeh","orcid":"0000-0003-0415-1423","full_name":"Barzanjeh, Shabir","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pirandola","first_name":"Stefano","full_name":"Pirandola, Stefano"},{"full_name":"Vitali, David","first_name":"David","last_name":"Vitali"},{"first_name":"Johannes M","last_name":"Fink","orcid":"0000-0001-8112-028X","full_name":"Fink, Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["1908.03058"],"isi":["000612224900089"]},"abstract":[{"text":"Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits.","lang":"eng"}],"oa":1,"ec_funded":1,"_id":"9001","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","call_identifier":"H2020","grant_number":"758053","_id":"26336814-B435-11E9-9278-68D0E5697425"},{"name":"Quantum readout techniques and technologies","call_identifier":"H2020","grant_number":"862644","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E"},{"name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics","call_identifier":"H2020","grant_number":"707438","_id":"258047B6-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","grant_number":"732894","_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies"}],"oa_version":"Preprint","acknowledgement":"This work was supported by the Institute of Science and Technology Austria (IST Austria), the European Research Council under grant agreement number 758053 (ERC StG QUNNECT) and the EU’s Horizon 2020 research and innovation programme under grant agreement number 862644 (FET Open QUARTET). S.B. acknowledges support from the Marie Skłodowska Curie\r\nfellowship number 707438 (MSC-IF SUPEREOM), DV acknowledge support from EU’s Horizon 2020 research and innovation programme under grant agreement number 732894 (FET Proactive HOT) and the Project QuaSeRT funded by the QuantERA ERANET Cofund in Quantum Technologies, and J.M.F from the Austrian Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and the EU’s Horizon 2020 research and\r\ninnovation programme under grant agreement number 732894 (FET Proactive\r\nHOT).","day":"21","type":"conference","status":"public","main_file_link":[{"url":"https://arxiv.org/abs/1908.03058","open_access":"1"}],"date_created":"2021-01-10T23:01:17Z","arxiv":1,"doi":"10.1109/RadarConf2043947.2020.9266397","publication_identifier":{"isbn":["9781728189420"],"issn":["1097-5659"]},"scopus_import":"1","title":"Microwave quantum illumination with a digital phase-conjugated receiver","issue":"9","language":[{"iso":"eng"}],"publisher":"IEEE","month":"09","publication":"IEEE National Radar Conference - Proceedings","article_processing_charge":"No","quality_controlled":"1","conference":{"end_date":"2020-09-25","name":"RadarConf: National Conference on Radar","start_date":"2020-09-21","location":"Florence, Italy"},"date_published":"2020-09-21T00:00:00Z","citation":{"apa":"Barzanjeh, S., Pirandola, S., Vitali, D., &#38; Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In <i>IEEE National Radar Conference - Proceedings</i> (Vol. 2020). Florence, Italy: IEEE. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>","ista":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings. RadarConf: National Conference on Radar vol. 2020, 9266397.","short":"S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.","ama":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination with a digital phase-conjugated receiver. In: <i>IEEE National Radar Conference - Proceedings</i>. Vol 2020. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>","chicago":"Barzanjeh, Shabir, Stefano Pirandola, David Vitali, and Johannes M Fink. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” In <i>IEEE National Radar Conference - Proceedings</i>, Vol. 2020. IEEE, 2020. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>.","ieee":"S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination with a digital phase-conjugated receiver,” in <i>IEEE National Radar Conference - Proceedings</i>, Florence, Italy, 2020, vol. 2020, no. 9.","mla":"Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” <i>IEEE National Radar Conference - Proceedings</i>, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>."},"article_number":"9266397","intvolume":"      2020"},{"external_id":{"arxiv":["1906.08463"],"isi":["000596833300001"]},"author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D","last_name":"Browning","first_name":"Timothy D"},{"last_name":"Sawin","first_name":"Will","full_name":"Sawin, Will"}],"abstract":[{"lang":"eng","text":"Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals."}],"department":[{"_id":"TiBr"}],"_id":"9007","oa_version":"Preprint","page":"635-659","article_type":"original","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"year":"2020","volume":95,"publication_status":"published","date_updated":"2025-07-10T12:01:31Z","publication":"Commentarii Mathematici Helvetici","quality_controlled":"1","article_processing_charge":"No","publisher":"European Mathematical Society","language":[{"iso":"eng"}],"month":"12","intvolume":"        95","citation":{"ama":"Browning TD, Sawin W. Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. 2020;95(4):635-659. doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>","ieee":"T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4. European Mathematical Society, pp. 635–659, 2020.","chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society, 2020. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>.","mla":"Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4, European Mathematical Society, 2020, pp. 635–59, doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>.","apa":"Browning, T. D., &#38; Sawin, W. (2020). Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>","ista":"Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 95(4), 635–659.","short":"T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659."},"date_published":"2020-12-07T00:00:00Z","status":"public","doi":"10.4171/CMH/499","arxiv":1,"date_created":"2021-01-17T23:01:11Z","main_file_link":[{"url":"https://arxiv.org/abs/1906.08463","open_access":"1"}],"day":"07","type":"journal_article","issue":"4","title":"Free rational points on smooth hypersurfaces","publication_identifier":{"issn":["0010-2571"],"eissn":["1420-8946"]},"scopus_import":"1"},{"_id":"9011","oa_version":"Published Version","page":"586-599","article_type":"original","oa":1,"author":[{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","orcid":"0000-0002-8827-3382","full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","first_name":"Eleftherios"},{"last_name":"Alp","first_name":"Enis Ceyhun","full_name":"Alp, Enis Ceyhun"},{"full_name":"Gasser, Linus","last_name":"Gasser","first_name":"Linus"},{"first_name":"Philipp","last_name":"Jovanovic","full_name":"Jovanovic, Philipp"},{"last_name":"Syta","first_name":"Ewa","full_name":"Syta, Ewa"},{"last_name":"Ford","first_name":"Bryan","full_name":"Ford, Bryan"}],"external_id":{"isi":["000658495400012"]},"abstract":[{"text":"Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs.\r\n\r\nCalypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees.","lang":"eng"}],"department":[{"_id":"ElKo"}],"date_updated":"2026-06-18T19:40:17Z","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2020","volume":14,"publication_status":"published","intvolume":"        14","tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"date_published":"2020-12-01T00:00:00Z","citation":{"mla":"Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4, Association for Computing Machinery, 2020, pp. 586–99, doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>.","ama":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. 2020;14(4):586-599. doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>","chicago":"Kokoris Kogias, Eleftherios, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, and Bryan Ford. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>.","ieee":"E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford, “CALYPSO: Private data management for decentralized ledgers,” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4. Association for Computing Machinery, pp. 586–599, 2020.","short":"E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings of the VLDB Endowment 14 (2020) 586–599.","ista":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 14(4), 586–599.","apa":"Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., &#38; Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>"},"publication":"Proceedings of the VLDB Endowment","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","month":"12","title":"CALYPSO: Private data management for decentralized ledgers","issue":"4","ddc":["000"],"corr_author":"1","publication_identifier":{"eissn":["2150-8097"]},"scopus_import":"1","status":"public","main_file_link":[{"open_access":"1","url":"https://dl.acm.org/doi/10.14778/3436905.3436917"}],"date_created":"2021-01-17T23:01:13Z","doi":"10.14778/3436905.3436917","acknowledgement":"We thank Nicolas Gailly, Vincent Graf, Jean-Pierre Hubaux, Wouter Lueks, Massimo Marelli, Carmela Troncoso, Juan-Ramón Troncoso Pastoriza, Frédéric Pont, and Sandra Siby for their valuable feedback. This project was supported in part by the ETH domain under PHRT grant #2017−201, and by the AXA Research Fund, Byzgen, DFINITY, and the Swiss Data Science Center (SDSC).","type":"journal_article","day":"01"},{"title":"Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies","issue":"6","scopus_import":"1","publication_identifier":{"eissn":["1095-7154"],"issn":["0036-1410"]},"ddc":["510"],"corr_author":"1","has_accepted_license":"1","status":"public","doi":"10.1137/20M1322182","date_created":"2021-01-24T23:01:09Z","acknowledgement":"This work was supported by the European Union's Horizon 2020 Research and Innovation\r\nProgramme under Marie Sklodowska-Curie grant agreement 665385 and by the Deutsche\r\nForschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy, EXC-2047/1--390685813.","type":"journal_article","day":"15","intvolume":"        52","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"chicago":"Fischer, Julian L, Tim Laux, and Theresa M. Simon. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics, 2020. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>.","ieee":"J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6. Society for Industrial and Applied Mathematics, pp. 6222–6233, 2020.","ama":"Fischer JL, Laux T, Simon TM. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. 2020;52(6):6222-6233. doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>","mla":"Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6, Society for Industrial and Applied Mathematics, 2020, pp. 6222–33, doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>.","ista":"Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 52(6), 6222–6233.","apa":"Fischer, J. L., Laux, T., &#38; Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>","short":"J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233."},"date_published":"2020-12-15T00:00:00Z","publication":"SIAM Journal on Mathematical Analysis","quality_controlled":"1","article_processing_charge":"No","publisher":"Society for Industrial and Applied Mathematics","language":[{"iso":"eng"}],"month":"12","date_updated":"2025-07-10T12:01:32Z","file_date_updated":"2021-01-25T07:48:39Z","file":[{"access_level":"open_access","creator":"dernst","success":1,"date_created":"2021-01-25T07:48:39Z","checksum":"21aa1cf4c30a86a00cae15a984819b5d","file_name":"2020_SIAM_Fischer.pdf","file_size":310655,"date_updated":"2021-01-25T07:48:39Z","content_type":"application/pdf","file_id":"9041","relation":"main_file"}],"isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":52,"year":"2020","publication_status":"published","ec_funded":1,"_id":"9039","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"}],"oa_version":"Published Version","page":"6222-6233","article_type":"original","oa":1,"external_id":{"isi":["000600695200027"]},"author":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0479-558X","full_name":"Fischer, Julian L","last_name":"Fischer","first_name":"Julian L"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"},{"first_name":"Theresa M.","last_name":"Simon","full_name":"Simon, Theresa M."}],"abstract":[{"lang":"eng","text":"We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems."}],"department":[{"_id":"JuFi"}]},{"date_published":"2020-09-21T00:00:00Z","citation":{"mla":"Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, TU Wien Academic Press, 2020, pp. 138–47, doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>.","ama":"Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>. TU Wien Academic Press; 2020:138-147. doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>","ieee":"P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, Online Conference, 2020, pp. 138–147.","chicago":"Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, 138–47. TU Wien Academic Press, 2020. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>.","short":"P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.","ista":"Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.","apa":"Alamdari, P. A., Avni, G., Henzinger, T. A., &#38; Lukina, A. (2020). Formal methods with a touch of magic. In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i> (pp. 138–147). Online Conference: TU Wien Academic Press. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>"},"conference":{"name":"FMCAD: Formal Methods in Computer-Aided Design","end_date":"2020-09-24","start_date":"2020-09-21","location":"Online Conference"},"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"month":"09","language":[{"iso":"eng"}],"publisher":"TU Wien Academic Press","article_processing_charge":"No","quality_controlled":"1","publication":"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design","ddc":["000"],"publication_identifier":{"isbn":["9783854480426"],"eissn":["2708-7824"]},"scopus_import":"1","title":"Formal methods with a touch of magic","day":"21","type":"conference","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","date_created":"2021-01-24T23:01:10Z","doi":"10.34727/2020/isbn.978-3-85448-042-6_21","status":"public","has_accepted_license":"1","oa":1,"page":"138-147","oa_version":"Published Version","project":[{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"_id":"9040","department":[{"_id":"ToHe"}],"abstract":[{"lang":"eng","text":"Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the wizard, we extract from it a decision-tree based model, which we refer to as the magic book. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, a synthesis procedure that is based on a magic book. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training."}],"author":[{"full_name":"Alamdari, Par Alizadeh","last_name":"Alamdari","first_name":"Par Alizadeh"},{"orcid":"0000-0001-5588-8287","full_name":"Avni, Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy","last_name":"Avni"},{"full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Lukina","first_name":"Anna","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425","full_name":"Lukina, Anna"}],"file_date_updated":"2021-02-09T09:39:02Z","date_updated":"2025-07-10T12:01:32Z","publication_status":"published","year":"2020","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_name":"2020_FMCAD_Alamdari.pdf","date_updated":"2021-02-09T09:39:02Z","file_size":990999,"file_id":"9109","content_type":"application/pdf","relation":"main_file","access_level":"open_access","creator":"dernst","success":1,"date_created":"2021-02-09T09:39:02Z","checksum":"d616d549a0ade78606b16f8a9540820f"}]},{"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","year":"2020","volume":16,"publication_status":"published","date_updated":"2023-02-23T13:47:45Z","keyword":["General Chemistry","Condensed Matter Physics"],"external_id":{"pmid":["32307507"]},"author":[{"full_name":"Youssef, Mena","last_name":"Youssef","first_name":"Mena"},{"full_name":"Morin, Alexandre","last_name":"Morin","first_name":"Alexandre"},{"full_name":"Aubret, Antoine","first_name":"Antoine","last_name":"Aubret"},{"full_name":"Sacanna, Stefano","last_name":"Sacanna","first_name":"Stefano"},{"full_name":"Palacci, Jérémie A","orcid":"0000-0002-7253-9465","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d","first_name":"Jérémie A","last_name":"Palacci"}],"extern":"1","abstract":[{"text":"The fundamental and practical importance of particle stabilization has motivated various characterization methods for studying polymer brushes on particle surfaces. In this work, we show how one can perform sensitive measurements of neutral polymer coating on colloidal particles using a commercial zetameter and salt solutions. By systematically varying the Debye length, we study the mobility of the polymer-coated particles in an applied electric field and show that the electrophoretic mobility of polymer-coated particles normalized by the mobility of non-coated particles is entirely controlled by the polymer brush and independent of the native surface charge, here controlled with pH, or the surface–ion interaction. Our result is rationalized with a simple hydrodynamic model, allowing for the estimation of characteristics of the polymer coating: the brush length L, and the Brinkman length ξ, determined by its resistance to flows. We demonstrate that the Debye layer provides a convenient and faithful probe to the characterization of polymer coatings on particles. Because the method simply relies on a conventional zetameter, it is widely accessible and offers a practical tool to rapidly probe neutral polymer brushes, an asset in the development and utilization of polymer-coated colloidal particles.","lang":"eng"}],"_id":"9054","oa_version":"None","article_type":"original","page":"4274-4282","status":"public","date_created":"2021-02-01T13:45:11Z","doi":"10.1039/c9sm01850f","day":"07","type":"journal_article","title":"Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt","issue":"17","publication_identifier":{"issn":["1744-683X"],"eissn":["1744-6848"]},"scopus_import":"1","publication":"Soft Matter","quality_controlled":"1","article_processing_charge":"No","publisher":"Royal Society of Chemistry ","language":[{"iso":"eng"}],"pmid":1,"month":"05","intvolume":"        16","citation":{"mla":"Youssef, Mena, et al. “Rapid Characterization of Neutral Polymer Brush with a Conventional Zetameter and a Variable Pinch of Salt.” <i>Soft Matter</i>, vol. 16, no. 17, Royal Society of Chemistry , 2020, pp. 4274–82, doi:<a href=\"https://doi.org/10.1039/c9sm01850f\">10.1039/c9sm01850f</a>.","ama":"Youssef M, Morin A, Aubret A, Sacanna S, Palacci JA. Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt. <i>Soft Matter</i>. 2020;16(17):4274-4282. doi:<a href=\"https://doi.org/10.1039/c9sm01850f\">10.1039/c9sm01850f</a>","ieee":"M. Youssef, A. Morin, A. Aubret, S. Sacanna, and J. A. Palacci, “Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt,” <i>Soft Matter</i>, vol. 16, no. 17. Royal Society of Chemistry , pp. 4274–4282, 2020.","chicago":"Youssef, Mena, Alexandre Morin, Antoine Aubret, Stefano Sacanna, and Jérémie A Palacci. “Rapid Characterization of Neutral Polymer Brush with a Conventional Zetameter and a Variable Pinch of Salt.” <i>Soft Matter</i>. Royal Society of Chemistry , 2020. <a href=\"https://doi.org/10.1039/c9sm01850f\">https://doi.org/10.1039/c9sm01850f</a>.","short":"M. Youssef, A. Morin, A. Aubret, S. Sacanna, J.A. Palacci, Soft Matter 16 (2020) 4274–4282.","ista":"Youssef M, Morin A, Aubret A, Sacanna S, Palacci JA. 2020. Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt. Soft Matter. 16(17), 4274–4282.","apa":"Youssef, M., Morin, A., Aubret, A., Sacanna, S., &#38; Palacci, J. A. (2020). Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt. <i>Soft Matter</i>. Royal Society of Chemistry . <a href=\"https://doi.org/10.1039/c9sm01850f\">https://doi.org/10.1039/c9sm01850f</a>"},"date_published":"2020-05-07T00:00:00Z"},{"keyword":["Multidisciplinary"],"date_updated":"2023-02-23T13:47:55Z","publication_status":"published","year":"2020","volume":580,"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","article_type":"original","page":"487-490","oa_version":"None","_id":"9059","abstract":[{"lang":"eng","text":"From rock salt to nanoparticle superlattices, complex structure can emerge from simple building blocks that attract each other through Coulombic forces1-4. On the micrometre scale, however, colloids in water defy the intuitively simple idea of forming crystals from oppositely charged partners, instead forming non-equilibrium structures such as clusters and gels5-7. Although various systems have been engineered to grow binary crystals8-11, native surface charge in aqueous conditions has not been used to assemble crystalline materials. Here we form ionic colloidal crystals in water through an approach that we refer to as polymer-attenuated Coulombic self-assembly. The key to crystallization is the use of a neutral polymer to keep particles separated by well defined distances, allowing us to tune the attractive overlap of electrical double layers, directing particles to disperse, crystallize or become permanently fixed on demand. The nucleation and growth of macroscopic single crystals is demonstrated by using the Debye screening length to fine-tune assembly. Using a variety of colloidal particles and commercial polymers, ionic colloidal crystals isostructural to caesium chloride, sodium chloride, aluminium diboride and K4C60 are selected according to particle size ratios. Once fixed by simply diluting out solution salts, crystals are pulled out of the water for further manipulation, demonstrating an accurate translation from solution-phase assembly to dried solid structures. In contrast to other assembly approaches, in which particles must be carefully engineered to encode binding information12-18, polymer-attenuated Coulombic self-assembly enables conventional colloids to be used as model colloidal ions, primed for crystallization. "}],"extern":"1","author":[{"first_name":"Theodore","last_name":"Hueckel","full_name":"Hueckel, Theodore"},{"full_name":"Hocky, Glen M.","first_name":"Glen M.","last_name":"Hocky"},{"last_name":"Palacci","first_name":"Jérémie A","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d","orcid":"0000-0002-7253-9465","full_name":"Palacci, Jérémie A"},{"full_name":"Sacanna, Stefano","last_name":"Sacanna","first_name":"Stefano"}],"external_id":{"pmid":["32322078"]},"publication_identifier":{"issn":["0028-0836"],"eissn":["1476-4687"]},"scopus_import":"1","title":"Ionic solids from common colloids","issue":"7804","type":"journal_article","day":"23","doi":"10.1038/s41586-020-2205-0","date_created":"2021-02-02T13:30:50Z","status":"public","date_published":"2020-04-23T00:00:00Z","citation":{"ieee":"T. Hueckel, G. M. Hocky, J. A. Palacci, and S. Sacanna, “Ionic solids from common colloids,” <i>Nature</i>, vol. 580, no. 7804. Springer Nature, pp. 487–490, 2020.","chicago":"Hueckel, Theodore, Glen M. Hocky, Jérémie A Palacci, and Stefano Sacanna. “Ionic Solids from Common Colloids.” <i>Nature</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41586-020-2205-0\">https://doi.org/10.1038/s41586-020-2205-0</a>.","ama":"Hueckel T, Hocky GM, Palacci JA, Sacanna S. Ionic solids from common colloids. <i>Nature</i>. 2020;580(7804):487-490. doi:<a href=\"https://doi.org/10.1038/s41586-020-2205-0\">10.1038/s41586-020-2205-0</a>","mla":"Hueckel, Theodore, et al. “Ionic Solids from Common Colloids.” <i>Nature</i>, vol. 580, no. 7804, Springer Nature, 2020, pp. 487–90, doi:<a href=\"https://doi.org/10.1038/s41586-020-2205-0\">10.1038/s41586-020-2205-0</a>.","apa":"Hueckel, T., Hocky, G. M., Palacci, J. A., &#38; Sacanna, S. (2020). Ionic solids from common colloids. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-020-2205-0\">https://doi.org/10.1038/s41586-020-2205-0</a>","ista":"Hueckel T, Hocky GM, Palacci JA, Sacanna S. 2020. Ionic solids from common colloids. Nature. 580(7804), 487–490.","short":"T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490."},"intvolume":"       580","pmid":1,"month":"04","language":[{"iso":"eng"}],"publisher":"Springer Nature","article_processing_charge":"No","quality_controlled":"1","publication":"Nature"},{"status":"public","main_file_link":[{"url":"https://doi.org/10.1039/d0ra05394e","open_access":"1"}],"doi":"10.1039/d0ra05394e","date_created":"2021-02-02T15:51:23Z","DOAJ_listed":"1","type":"journal_article","day":"29","OA_type":"gold","issue":"47","title":"Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles","publication_identifier":{"issn":["2046-2069"]},"publication":"RSC Advances","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"OA_place":"publisher","publisher":"Royal Society of Chemistry","month":"07","intvolume":"        10","date_published":"2020-07-29T00:00:00Z","citation":{"mla":"Nauman, Muhammad, et al. “Size-Dependent Magnetic and Magnetothermal Properties of Gadolinium Silicide Nanoparticles.” <i>RSC Advances</i>, vol. 10, no. 47, Royal Society of Chemistry, 2020, pp. 28383–89, doi:<a href=\"https://doi.org/10.1039/d0ra05394e\">10.1039/d0ra05394e</a>.","ama":"Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. <i>RSC Advances</i>. 2020;10(47):28383-28389. doi:<a href=\"https://doi.org/10.1039/d0ra05394e\">10.1039/d0ra05394e</a>","chicago":"Nauman, Muhammad, Muhammad Hisham Alnasir, Muhammad Asif Hamayun, YiXu Wang, Michael Shatruk, and Sadia Manzoor. “Size-Dependent Magnetic and Magnetothermal Properties of Gadolinium Silicide Nanoparticles.” <i>RSC Advances</i>. Royal Society of Chemistry, 2020. <a href=\"https://doi.org/10.1039/d0ra05394e\">https://doi.org/10.1039/d0ra05394e</a>.","ieee":"M. Nauman, M. H. Alnasir, M. A. Hamayun, Y. Wang, M. Shatruk, and S. Manzoor, “Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles,” <i>RSC Advances</i>, vol. 10, no. 47. Royal Society of Chemistry, pp. 28383–28389, 2020.","short":"M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.","ista":"Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. 2020. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. RSC Advances. 10(47), 28383–28389.","apa":"Nauman, M., Alnasir, M. H., Hamayun, M. A., Wang, Y., Shatruk, M., &#38; Manzoor, S. (2020). Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. <i>RSC Advances</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d0ra05394e\">https://doi.org/10.1039/d0ra05394e</a>"},"user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","volume":10,"year":"2020","publication_status":"published","date_updated":"2024-10-15T13:44:01Z","keyword":["General Chemistry","General Chemical Engineering"],"author":[{"full_name":"Nauman, Muhammad","orcid":"0000-0002-2111-4846","id":"32c21954-2022-11eb-9d5f-af9f93c24e71","first_name":"Muhammad","last_name":"Nauman"},{"first_name":"Muhammad Hisham","last_name":"Alnasir","full_name":"Alnasir, Muhammad Hisham"},{"full_name":"Hamayun, Muhammad Asif","first_name":"Muhammad Asif","last_name":"Hamayun"},{"first_name":"YiXu","last_name":"Wang","full_name":"Wang, YiXu"},{"last_name":"Shatruk","first_name":"Michael","full_name":"Shatruk, Michael"},{"first_name":"Sadia","last_name":"Manzoor","full_name":"Manzoor, Sadia"}],"abstract":[{"text":"Gadolinium silicide (Gd5Si4) nanoparticles are an interesting class of materials due to their high magnetization, low Curie temperature, low toxicity in biological environments and their multifunctional properties. We report the magnetic and magnetothermal properties of gadolinium silicide (Gd5Si4) nanoparticles prepared by surfactant-assisted ball milling of arc melted bulk ingots of the compound. Using different milling times and speeds, a wide range of crystallite sizes (13–43 nm) could be produced and a reduction in Curie temperature (TC) from 340 K to 317 K was achieved, making these nanoparticles suitable for self-controlled magnetic hyperthermia applications. The magnetothermal effect was measured in applied AC magnetic fields of amplitude 164–239 Oe and frequencies 163–519 kHz. All particles showed magnetic heating with a strong dependence of the specific absorption rate (SAR) on the average crystallite size. The highest SAR of 3.7 W g−1 was measured for 43 nm sized nanoparticles of Gd5Si4. The high SAR and low TC, (within the therapeutic range for magnetothermal therapy) makes the Gd5Si4 behave like self-regulating heat switches that would be suitable for self-controlled magnetic hyperthermia applications after biocompatibility and cytotoxicity tests.","lang":"eng"}],"extern":"1","_id":"9067","oa_version":"Published Version","page":"28383-28389","article_type":"original","oa":1},{"oa_version":"None","_id":"9069","intvolume":"         6","article_number":"1250g6","date_published":"2020-01-15T00:00:00Z","citation":{"ista":"Hussain T, Nauman M, Sabahat S, Arif S. 2020. Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media. Materials Research Express. 6(12), 1250g6.","apa":"Hussain, T., Nauman, M., Sabahat, S., &#38; Arif, S. (2020). Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media. <i>Materials Research Express</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/2053-1591/ab6886\">https://doi.org/10.1088/2053-1591/ab6886</a>","short":"T. Hussain, M. Nauman, S. Sabahat, S. Arif, Materials Research Express 6 (2020).","ama":"Hussain T, Nauman M, Sabahat S, Arif S. Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media. <i>Materials Research Express</i>. 2020;6(12). doi:<a href=\"https://doi.org/10.1088/2053-1591/ab6886\">10.1088/2053-1591/ab6886</a>","ieee":"T. Hussain, M. Nauman, S. Sabahat, and S. Arif, “Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media,” <i>Materials Research Express</i>, vol. 6, no. 12. IOP Publishing, 2020.","chicago":"Hussain, Tayyaba, Muhammad Nauman, Sana Sabahat, and Saira Arif. “Synthesis of Ternary Electrocatalysts for Exploration of Methanol Electro-Oxidation in Alkaline Media.” <i>Materials Research Express</i>. IOP Publishing, 2020. <a href=\"https://doi.org/10.1088/2053-1591/ab6886\">https://doi.org/10.1088/2053-1591/ab6886</a>.","mla":"Hussain, Tayyaba, et al. “Synthesis of Ternary Electrocatalysts for Exploration of Methanol Electro-Oxidation in Alkaline Media.” <i>Materials Research Express</i>, vol. 6, no. 12, 1250g6, IOP Publishing, 2020, doi:<a href=\"https://doi.org/10.1088/2053-1591/ab6886\">10.1088/2053-1591/ab6886</a>."},"article_type":"original","abstract":[{"lang":"eng","text":"In the quest for alternate and efficient electrode materials, ternary metal electrocatalysts (TMEs), part of the perovskite family, were synthesized and tested for methanol electro-oxidation in alkaline media. La0.5Ca0.5MO3 (M = Ni, Co, or Mn) was synthesized via sol-gel method. X-ray diffraction analysis revealed that the perovskite crystal structure possesses characteristic sharp and crystalline peaks for all synthesized ternary electrocatalysts. The average particle size calculated using Debye–Scherrer equation was in the order of La0.5Ca0.5NiO3 (LCNO) > La0.5Ca0.5CoO3 (LCCO)> La0.5Ca0.5MnO3 (LCMO). The elemental composition of as prepared sample, LCCO was investigated via x-ray fluorescence spectroscopy. The qualitative and quantitative analysis revealed the presence of La, Ca and Co in parent crystal structure with percentage compositions of 9.0, 3.12 and 87.82% respectively. The particle size distribution was homogenous, as determined by scanning electron and transmission electron microscopes. The electrocatalytic activity of the synthesized ternary electrocatalysts was studied electrochemically by cyclic voltammetry. The calculated diffusion coefficient values showed that electrode surface of LCNO and LCCO have limited efficiency for diffusion related phenomenon. The heterogeneous rate constants inferred better electrode kinetics of LCCO and LCNO which exhibited good electrocatalytic behavior; sharp anodic peaks were observed in the potential range of +0.3 to 0.6 V and +0.6 to 0.8 V, respectively. Methanol electro-oxidation was found minimal in case of LCMO sample. We have observed that Co substitution at B-site of perovskite electrode materials attains better electrochemical properties, thus in relation with reported literature."}],"extern":"1","article_processing_charge":"No","quality_controlled":"1","author":[{"first_name":"Tayyaba","last_name":"Hussain","full_name":"Hussain, Tayyaba"},{"last_name":"Nauman","first_name":"Muhammad","id":"32c21954-2022-11eb-9d5f-af9f93c24e71","full_name":"Nauman, Muhammad","orcid":"0000-0002-2111-4846"},{"last_name":"Sabahat","first_name":"Sana","full_name":"Sabahat, Sana"},{"full_name":"Arif, Saira","first_name":"Saira","last_name":"Arif"}],"publication":"Materials Research Express","month":"01","language":[{"iso":"eng"}],"publisher":"IOP Publishing","keyword":["Electronic","Optical and Magnetic Materials","Surfaces","Coatings and Films","Polymers and Plastics","Metals and Alloys","Biomaterials"],"title":"Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media","issue":"12","date_updated":"2021-02-04T07:21:35Z","publication_identifier":{"issn":["2053-1591"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2021-02-02T15:53:57Z","doi":"10.1088/2053-1591/ab6886","status":"public","day":"15","type":"journal_article","publication_status":"published","volume":6,"year":"2020"},{"_id":"9096","oa_version":"None","citation":{"ieee":"P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in <i>Encyclopedia of Social Insects</i>, C. Starr, Ed. Cham: Springer Nature, 2020.","chicago":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” In <i>Encyclopedia of Social Insects</i>, edited by C Starr. Cham: Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">https://doi.org/10.1007/978-3-319-90306-4_94-1</a>.","ama":"Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. <i>Encyclopedia of Social Insects</i>. Cham: Springer Nature; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">10.1007/978-3-319-90306-4_94-1</a>","mla":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” <i>Encyclopedia of Social Insects</i>, edited by C Starr, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">10.1007/978-3-319-90306-4_94-1</a>.","apa":"Schmid-Hempel, P., &#38; Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), <i>Encyclopedia of Social Insects</i>. Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">https://doi.org/10.1007/978-3-319-90306-4_94-1</a>","ista":"Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia of Social Insects. .","short":"P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020."},"date_published":"2020-02-22T00:00:00Z","publication":"Encyclopedia of Social Insects","author":[{"first_name":"Paul","last_name":"Schmid-Hempel","full_name":"Schmid-Hempel, Paul"},{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia M","last_name":"Cremer","first_name":"Sylvia M"}],"quality_controlled":"1","article_processing_charge":"No","publisher":"Springer Nature","language":[{"iso":"eng"}],"month":"02","department":[{"_id":"SyCr"}],"place":"Cham","date_updated":"2021-02-05T12:19:21Z","title":"Parasites and Pathogens","editor":[{"full_name":"Starr, C","first_name":"C","last_name":"Starr"}],"publication_identifier":{"isbn":["9783319903064"]},"status":"public","doi":"10.1007/978-3-319-90306-4_94-1","date_created":"2021-02-05T12:15:18Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2020","publication_status":"published","type":"book_chapter","day":"22"},{"volume":2020,"year":"2020","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_updated":"2026-04-16T09:34:59Z","department":[{"_id":"ToHe"}],"author":[{"full_name":"Gruenbacher, Sophie","first_name":"Sophie","last_name":"Gruenbacher"},{"full_name":"Cyranka, Jacek","first_name":"Jacek","last_name":"Cyranka"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","last_name":"Lechner","first_name":"Mathias"},{"first_name":"Md Ariful","last_name":"Islam","full_name":"Islam, Md Ariful"},{"full_name":"Smolka, Scott A.","first_name":"Scott A.","last_name":"Smolka"},{"first_name":"Radu","last_name":"Grosu","full_name":"Grosu, Radu"}],"external_id":{"arxiv":["2012.07458"]},"abstract":[{"lang":"eng","text":"We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the state-of-the-art Langrangian Reachability and its associated tool LRT. From a theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses for the first time an analytically computed metric for the propagated ball which is proven to minimize the ball’s volume. We emphasize that the metric computation is the centerpiece of all bloating-based techniques. Secondly, it computes the next reachset as the intersection of two balls: one based on the Cartesian metric and the other on the new metric. While the two metrics were previously considered opposing approaches, their joint use considerably tightens the reachtubes. Thirdly, it avoids the \"wrapping effect\" associated with the validated integration of the center of the reachset, by optimally absorbing the interval approximation in the radius of the next ball. From a tool-development perspective, LRT-NG is superior to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD. This required the implementation of the Lohner method and a Runge-Kutta time-propagation method. Secondly, it has an improved interface, allowing the input model and initial conditions to be provided as external input files. Our experiments on a comprehensive set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance compared to LRT, CAPD, and Flow*."}],"page":"1556-1563","oa":1,"_id":"9103","project":[{"name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"oa_version":"Preprint","acknowledgement":"The authors would like to thank Ramin Hasani and Guillaume Berger for intellectual discussions about the research which lead to the generation of new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832 and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n","day":"14","type":"conference","status":"public","arxiv":1,"date_created":"2021-02-07T23:01:14Z","doi":"10.1109/CDC42340.2020.9304042","main_file_link":[{"url":"https://arxiv.org/abs/2012.07458","open_access":"1"}],"publication_identifier":{"issn":["0743-1546"],"isbn":["9781728174471"]},"scopus_import":"1","title":"Lagrangian reachtubes: The next generation","language":[{"iso":"eng"}],"publisher":"IEEE","month":"12","publication":"Proceedings of the 59th IEEE Conference on Decision and Control","article_processing_charge":"No","quality_controlled":"1","conference":{"start_date":"2020-12-14","location":"Jeju Islang, Korea (South)","name":"CDC: Conference on Decision and Control","end_date":"2020-12-18"},"date_published":"2020-12-14T00:00:00Z","citation":{"ista":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.","apa":"Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &#38; Grosu, R. (2020). Lagrangian reachtubes: The next generation. In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i> (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>","short":"S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.","ieee":"S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.","chicago":"Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.” In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, 2020:1556–63. IEEE, 2020. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>.","ama":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>. Vol 2020. IEEE; 2020:1556-1563. doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>","mla":"Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, vol. 2020, IEEE, 2020, pp. 1556–63, doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>."},"intvolume":"      2020"},{"arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.11199"}],"date_created":"2021-02-07T23:01:15Z","doi":"10.1007/s11854-020-0135-2","status":"public","day":"01","type":"journal_article","acknowledgement":"Supported in part by Hong Kong RGC Grant ECS 26301517.\r\nSupported in part by ERC Advanced Grant RANMAT No. 338804.\r\nSupported in part by the Knut and Alice Wallenberg Foundation and the Swedish Research Council Grant VR-2017-05195.","title":"On the support of the free additive convolution","scopus_import":"1","publication_identifier":{"issn":["0021-7670"],"eissn":["1565-8538"]},"article_processing_charge":"No","quality_controlled":"1","publication":"Journal d'Analyse Mathematique","month":"11","language":[{"iso":"eng"}],"publisher":"Springer Nature","intvolume":"       142","date_published":"2020-11-01T00:00:00Z","citation":{"ieee":"Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,” <i>Journal d’Analyse Mathematique</i>, vol. 142. Springer Nature, pp. 323–348, 2020.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>.","ama":"Bao Z, Erdös L, Schnelli K. On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. 2020;142:323-348. doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>","mla":"Bao, Zhigang, et al. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>, vol. 142, Springer Nature, 2020, pp. 323–48, doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>.","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2020). On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>","ista":"Bao Z, Erdös L, Schnelli K. 2020. On the support of the free additive convolution. Journal d’Analyse Mathematique. 142, 323–348.","short":"Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"publication_status":"published","volume":142,"year":"2020","date_updated":"2025-07-10T12:01:37Z","abstract":[{"lang":"eng","text":"We consider the free additive convolution of two probability measures μ and ν on the real line and show that μ ⊞ v is supported on a single interval if μ and ν each has single interval support. Moreover, the density of μ ⊞ ν is proven to vanish as a square root near the edges of its support if both μ and ν have power law behavior with exponents between −1 and 1 near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [5]."}],"author":[{"last_name":"Bao","first_name":"Zhigang","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang","orcid":"0000-0003-3036-1475"},{"first_name":"László","last_name":"Erdös","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schnelli","first_name":"Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0954-3231","full_name":"Schnelli, Kevin"}],"external_id":{"arxiv":["1804.11199"],"isi":["000611879400008"]},"department":[{"_id":"LaEr"}],"oa_version":"Preprint","project":[{"call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems"}],"_id":"9104","ec_funded":1,"oa":1,"page":"323-348","article_type":"original"},{"publication":"eLS","author":[{"last_name":"Westram","first_name":"Anja M","id":"3C147470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1050-4969","full_name":"Westram, Anja M"},{"first_name":"Rui","last_name":"Faria","full_name":"Faria, Rui"},{"full_name":"Butlin, Roger","last_name":"Butlin","first_name":"Roger"},{"full_name":"Johannesson, Kerstin","first_name":"Kerstin","last_name":"Johannesson"}],"quality_controlled":"1","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Inversions are chromosomal rearrangements where the order of genes is reversed. Inversions originate by mutation and can be under positive, negative or balancing selection. Selective effects result from potential disruptive effects on meiosis, gene disruption at inversion breakpoints and, importantly, the effects of inversions as modifiers of recombination rate: Recombination is strongly reduced in individuals heterozygous for an inversion, allowing for alleles at different loci to be inherited as a ‘block’. This may lead to a selective advantage whenever it is favourable to keep certain combinations of alleles associated, for example under local adaptation with gene flow. Inversions can cover a considerable part of a chromosome and contain numerous loci under different selection pressures, so that the resulting overall effects may be complex. Empirical data from various systems show that inversions may have a prominent role in local adaptation, speciation, parallel evolution, the maintenance of polymorphism and sex chromosome evolution."}],"publisher":"Wiley","language":[{"iso":"eng"}],"department":[{"_id":"NiBa"}],"month":"05","_id":"9123","oa_version":"None","citation":{"short":"A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.","ista":"Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution. In: eLS. .","apa":"Westram, A. M., Faria, R., Butlin, R., &#38; Johannesson, K. (2020). Inversions and Evolution. In <i>eLS</i>. Wiley. <a href=\"https://doi.org/10.1002/9780470015902.a0029007\">https://doi.org/10.1002/9780470015902.a0029007</a>","mla":"Westram, Anja M., et al. “Inversions and Evolution.” <i>ELS</i>, Wiley, 2020, doi:<a href=\"https://doi.org/10.1002/9780470015902.a0029007\">10.1002/9780470015902.a0029007</a>.","ieee":"A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,” in <i>eLS</i>, Wiley, 2020.","chicago":"Westram, Anja M, Rui Faria, Roger Butlin, and Kerstin Johannesson. “Inversions and Evolution.” In <i>ELS</i>. Wiley, 2020. <a href=\"https://doi.org/10.1002/9780470015902.a0029007\">https://doi.org/10.1002/9780470015902.a0029007</a>.","ama":"Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In: <i>ELS</i>. Wiley; 2020. doi:<a href=\"https://doi.org/10.1002/9780470015902.a0029007\">10.1002/9780470015902.a0029007</a>"},"date_published":"2020-05-16T00:00:00Z","status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_created":"2021-02-15T12:39:04Z","doi":"10.1002/9780470015902.a0029007","year":"2020","publication_status":"published","day":"16","type":"book_chapter","date_updated":"2026-04-16T10:25:26Z","title":"Inversions and Evolution","publication_identifier":{"eissn":["9780470015902"],"isbn":["9780470016176"]}},{"title":"Atmospheric radiative profiles during EUREC4A","date_updated":"2022-01-24T12:27:08Z","publication_status":"submitted","type":"preprint","day":"24","year":"2020","date_created":"2021-02-15T14:05:54Z","main_file_link":[{"url":"https://doi.org/10.5194/essd-2020-269","open_access":"1"}],"doi":"10.5194/essd-2020-269","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","status":"public","oa":1,"citation":{"mla":"Albright, Anna Lea, et al. “Atmospheric Radiative Profiles during EUREC4A.” <i>Earth System Science Data</i>, Copernicus Publications, doi:<a href=\"https://doi.org/10.5194/essd-2020-269\">10.5194/essd-2020-269</a>.","ieee":"A. L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, and C. J. Muller, “Atmospheric radiative profiles during EUREC4A,” <i>Earth System Science Data</i>. Copernicus Publications.","chicago":"Albright, Anna Lea, Benjamin Fildier, Ludovic Touzé-Peiffer, Robert Pincus, Jessica Vial, and Caroline J Muller. “Atmospheric Radiative Profiles during EUREC4A.” <i>Earth System Science Data</i>. Copernicus Publications, n.d. <a href=\"https://doi.org/10.5194/essd-2020-269\">https://doi.org/10.5194/essd-2020-269</a>.","ama":"Albright AL, Fildier B, Touzé-Peiffer L, Pincus R, Vial J, Muller CJ. Atmospheric radiative profiles during EUREC4A. <i>Earth System Science Data</i>. doi:<a href=\"https://doi.org/10.5194/essd-2020-269\">10.5194/essd-2020-269</a>","short":"A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).","ista":"Albright AL, Fildier B, Touzé-Peiffer L, Pincus R, Vial J, Muller CJ. Atmospheric radiative profiles during EUREC4A. Earth System Science Data, <a href=\"https://doi.org/10.5194/essd-2020-269\">10.5194/essd-2020-269</a>.","apa":"Albright, A. L., Fildier, B., Touzé-Peiffer, L., Pincus, R., Vial, J., &#38; Muller, C. J. (n.d.). Atmospheric radiative profiles during EUREC4A. <i>Earth System Science Data</i>. Copernicus Publications. <a href=\"https://doi.org/10.5194/essd-2020-269\">https://doi.org/10.5194/essd-2020-269</a>"},"date_published":"2020-09-24T00:00:00Z","oa_version":"Preprint","_id":"9124","month":"09","publisher":"Copernicus Publications","language":[{"iso":"eng"}],"article_processing_charge":"No","extern":"1","abstract":[{"text":"The couplings among clouds, convection, and circulation in trade-wind regimes remain a fundamental puzzle that limits our ability to constrain future climate change. Radiative heating plays an important role in these couplings. Here we calculate the clear-sky radiative profiles from 2001 in-situ soundings (978 dropsondes and 1023 radiosondes) collected during the EUREC4A field campaign, which took place south and east of Barbados in January–February 2020. We describe the method used to calculate these radiative profiles and present preliminary results sampling variability at multiple scales, from the variability across all soundings to groupings by diurnal cycle and mesoscale organization state, as well as individual soundings associated with elevated moisture layers. This clear-sky radiative profiles data set can provide important missing detail to what can be learned from calculations based on passive remote sensing and help in investigating the role of radiation in dynamic and thermodynamic variability in trade-wind regimes. All data are archived and freely available for public access on AERIS (Albright et al. (2020), https://doi.org/10.25326/78).","lang":"eng"}],"publication":"Earth System Science Data","author":[{"last_name":"Albright","first_name":"Anna Lea","full_name":"Albright, Anna Lea"},{"full_name":"Fildier, Benjamin","last_name":"Fildier","first_name":"Benjamin"},{"full_name":"Touzé-Peiffer, Ludovic","first_name":"Ludovic","last_name":"Touzé-Peiffer"},{"full_name":"Pincus, Robert","last_name":"Pincus","first_name":"Robert"},{"full_name":"Vial, Jessica","first_name":"Jessica","last_name":"Vial"},{"orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","first_name":"Caroline J","last_name":"Muller"}]},{"year":"2020","volume":12,"publication_status":"published","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","date_updated":"2024-10-15T13:46:02Z","keyword":["Global and Planetary Change","General Earth and Planetary Sciences","Environmental Chemistry"],"author":[{"first_name":"S.","last_name":"Shamekh","full_name":"Shamekh, S."},{"first_name":"Caroline J","last_name":"Muller","full_name":"Muller, Caroline J","orcid":"0000-0001-5836-5350","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"},{"full_name":"Duvel, J.‐P.","last_name":"Duvel","first_name":"J.‐P."},{"full_name":"D'Andrea, F.","last_name":"D'Andrea","first_name":"F."}],"abstract":[{"text":"This study investigates the feedbacks between an interactive sea surface temperature (SST) and the self‐aggregation of deep convective clouds, using a cloud‐resolving model in nonrotating radiative‐convective equilibrium. The ocean is modeled as one layer slab with a temporally fixed mean but spatially varying temperature. We find that the interactive SST decelerates the aggregation and that the deceleration is larger with a shallower slab, consistent with earlier studies. The surface temperature anomaly in dry regions is positive at first, thus opposing the diverging shallow circulation known to favor self‐aggregation, consistent with the slower aggregation. But surprisingly, the driest columns then have a negative SST anomaly, thus strengthening the diverging shallow circulation and favoring aggregation. This diverging circulation out of dry regions is found to be well correlated with the aggregation speed. It can be linked to a positive surface pressure anomaly (PSFC), itself the consequence of SST anomalies and boundary layer radiative cooling. The latter cools and dries the boundary layer, thus increasing PSFC anomalies through virtual effects and hydrostasy. Sensitivity experiments confirm the key role played by boundary layer radiative cooling in determining PSFC anomalies in dry regions, and thus the shallow diverging circulation and the aggregation speed.","lang":"eng"}],"extern":"1","article_type":"original","oa":1,"_id":"9125","oa_version":"Published Version","DOAJ_listed":"1","type":"journal_article","day":"01","status":"public","main_file_link":[{"url":"https://doi.org/10.1029/2020MS002164","open_access":"1"}],"doi":"10.1029/2020ms002164","date_created":"2021-02-15T14:06:23Z","publication_identifier":{"issn":["1942-2466","1942-2466"]},"OA_type":"gold","issue":"11","title":"Self‐aggregation of convective clouds with interactive sea surface temperature","language":[{"iso":"eng"}],"publisher":"American Geophysical Union","OA_place":"publisher","month":"11","publication":"Journal of Advances in Modeling Earth Systems","article_processing_charge":"No","quality_controlled":"1","date_published":"2020-11-01T00:00:00Z","citation":{"mla":"Shamekh, S., et al. “Self‐aggregation of Convective Clouds with Interactive Sea Surface Temperature.” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 12, no. 11, e2020MS002164, American Geophysical Union, 2020, doi:<a href=\"https://doi.org/10.1029/2020ms002164\">10.1029/2020ms002164</a>.","ama":"Shamekh S, Muller CJ, Duvel J ‐P., D’Andrea F. Self‐aggregation of convective clouds with interactive sea surface temperature. <i>Journal of Advances in Modeling Earth Systems</i>. 2020;12(11). doi:<a href=\"https://doi.org/10.1029/2020ms002164\">10.1029/2020ms002164</a>","ieee":"S. Shamekh, C. J. Muller, J. ‐P. Duvel, and F. D’Andrea, “Self‐aggregation of convective clouds with interactive sea surface temperature,” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 12, no. 11. American Geophysical Union, 2020.","chicago":"Shamekh, S., Caroline J Muller, J.‐P. Duvel, and F. D’Andrea. “Self‐aggregation of Convective Clouds with Interactive Sea Surface Temperature.” <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union, 2020. <a href=\"https://doi.org/10.1029/2020ms002164\">https://doi.org/10.1029/2020ms002164</a>.","short":"S. Shamekh, C.J. Muller, J. ‐P. Duvel, F. D’Andrea, Journal of Advances in Modeling Earth Systems 12 (2020).","ista":"Shamekh S, Muller CJ, Duvel J ‐P., D’Andrea F. 2020. Self‐aggregation of convective clouds with interactive sea surface temperature. Journal of Advances in Modeling Earth Systems. 12(11), e2020MS002164.","apa":"Shamekh, S., Muller, C. J., Duvel, J. ‐P., &#38; D’Andrea, F. (2020). Self‐aggregation of convective clouds with interactive sea surface temperature. <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2020ms002164\">https://doi.org/10.1029/2020ms002164</a>"},"intvolume":"        12","article_number":"e2020MS002164"},{"date_published":"2020-08-01T00:00:00Z","citation":{"mla":"Risi, Camille, et al. “What Controls the Water Vapor Isotopic Composition near the Surface of Tropical Oceans? Results from an Analytical Model Constrained by Large‐eddy Simulations.” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 12, no. 8, e2020MS002106, American Geophysical Union, 2020, doi:<a href=\"https://doi.org/10.1029/2020ms002106\">10.1029/2020ms002106</a>.","ieee":"C. Risi, C. J. Muller, and P. Blossey, “What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations,” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 12, no. 8. American Geophysical Union, 2020.","chicago":"Risi, Camille, Caroline J Muller, and Peter Blossey. “What Controls the Water Vapor Isotopic Composition near the Surface of Tropical Oceans? Results from an Analytical Model Constrained by Large‐eddy Simulations.” <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union, 2020. <a href=\"https://doi.org/10.1029/2020ms002106\">https://doi.org/10.1029/2020ms002106</a>.","ama":"Risi C, Muller CJ, Blossey P. What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations. <i>Journal of Advances in Modeling Earth Systems</i>. 2020;12(8). doi:<a href=\"https://doi.org/10.1029/2020ms002106\">10.1029/2020ms002106</a>","short":"C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).","ista":"Risi C, Muller CJ, Blossey P. 2020. What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations. Journal of Advances in Modeling Earth Systems. 12(8), e2020MS002106.","apa":"Risi, C., Muller, C. J., &#38; Blossey, P. (2020). What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations. <i>Journal of Advances in Modeling Earth Systems</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2020ms002106\">https://doi.org/10.1029/2020ms002106</a>"},"intvolume":"        12","article_number":"e2020MS002106","language":[{"iso":"eng"}],"OA_place":"publisher","publisher":"American Geophysical Union","month":"08","publication":"Journal of Advances in Modeling Earth Systems","article_processing_charge":"No","quality_controlled":"1","publication_identifier":{"issn":["1942-2466","1942-2466"]},"OA_type":"gold","issue":"8","title":"What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations","DOAJ_listed":"1","type":"journal_article","day":"01","status":"public","doi":"10.1029/2020ms002106","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2020MS002106"}],"date_created":"2021-02-15T14:06:38Z","article_type":"original","oa":1,"_id":"9126","oa_version":"Published Version","author":[{"full_name":"Risi, Camille","last_name":"Risi","first_name":"Camille"},{"id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","last_name":"Muller","first_name":"Caroline J"},{"full_name":"Blossey, Peter","last_name":"Blossey","first_name":"Peter"}],"abstract":[{"text":"The goal of this study is to understand the mechanisms controlling the isotopic composition of the water vapor near the surface of tropical oceans, at the scale of about a hundred kilometers and a month. In the tropics, it has long been observed that the isotopic compositions of rain and vapor near the surface are more depleted when the precipitation rate is high. This is called the “amount effect.” Previous studies, based on observations or models with parameterized convection, have highlighted the roles of deep convective and mesoscale downdrafts and rain evaporation. But the relative importance of these processes has never been quantified. We hypothesize that it can be quantified using an analytical model constrained by large‐eddy simulations. Results from large‐eddy simulations confirm that the classical amount effect can be simulated only if precipitation rate changes result from changes in the large‐scale circulation. We find that the main process depleting the water vapor compared to the equilibrium with the ocean is the fact that updrafts stem from areas where the water vapor is more enriched. The main process responsible for the amount effect is the fact that when the large‐scale ascent increases, isotopic vertical gradients are steeper, so that updrafts and downdrafts deplete the subcloud layer more efficiently.","lang":"eng"}],"extern":"1","date_updated":"2024-10-15T13:47:23Z","keyword":["Global and Planetary Change","General Earth and Planetary Sciences","Environmental Chemistry"],"volume":12,"year":"2020","publication_status":"published","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0"}]