[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Zenodo","doi":"10.5281/ZENODO.4266025","oa_version":"Published Version","date_updated":"2026-04-15T06:43:26Z","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"oa":1,"citation":{"apa":"Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H., &#38; Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.4266025\">https://doi.org/10.5281/ZENODO.4266025</a>","chicago":"Hease, William J, Alfredo R Rueda Sanchez, Rishabh Sahu, Matthias Wulf, Georg M Arnold, Harald Schwefel, and Johannes M Fink. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” Zenodo, 2020. <a href=\"https://doi.org/10.5281/ZENODO.4266025\">https://doi.org/10.5281/ZENODO.4266025</a>.","ieee":"W. J. Hease <i>et al.</i>, “Bidirectional electro-optic wavelength conversion in the quantum ground state.” Zenodo, 2020.","mla":"Hease, William J., et al. <i>Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State</i>. Zenodo, 2020, doi:<a href=\"https://doi.org/10.5281/ZENODO.4266025\">10.5281/ZENODO.4266025</a>.","ama":"Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength conversion in the quantum ground state. 2020. doi:<a href=\"https://doi.org/10.5281/ZENODO.4266025\">10.5281/ZENODO.4266025</a>","short":"W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H. Schwefel, J.M. Fink, (2020).","ista":"Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel H, Fink JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground state, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.4266025\">10.5281/ZENODO.4266025</a>."},"corr_author":"1","year":"2020","type":"research_data_reference","title":"Bidirectional electro-optic wavelength conversion in the quantum ground state","abstract":[{"lang":"eng","text":"This dataset comprises all data shown in the plots of the main part of the submitted article \"Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State\". Additional raw data are available from the corresponding author on reasonable request."}],"date_created":"2023-05-23T16:44:11Z","article_processing_charge":"No","_id":"13071","day":"10","date_published":"2020-11-10T00:00:00Z","author":[{"orcid":"0000-0001-9868-2166","full_name":"Hease, William J","id":"29705398-F248-11E8-B48F-1D18A9856A87","first_name":"William J","last_name":"Hease"},{"orcid":"0000-0001-6249-5860","last_name":"Rueda Sanchez","first_name":"Alfredo R","full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sahu","full_name":"Sahu, Rishabh","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","first_name":"Rishabh","orcid":"0000-0001-6264-2162"},{"id":"45598606-F248-11E8-B48F-1D18A9856A87","full_name":"Wulf, Matthias","first_name":"Matthias","last_name":"Wulf","orcid":"0000-0001-6613-1378"},{"orcid":"0000-0003-1397-7876","id":"3770C838-F248-11E8-B48F-1D18A9856A87","full_name":"Arnold, Georg M","first_name":"Georg M","last_name":"Arnold"},{"full_name":"Schwefel, Harald","first_name":"Harald","last_name":"Schwefel"},{"last_name":"Fink","full_name":"Fink, Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","orcid":"0000-0001-8112-028X"}],"related_material":{"record":[{"id":"9114","relation":"used_in_publication","status":"public"}]},"ddc":["530"],"status":"public","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.4266026","open_access":"1"}],"month":"11","department":[{"_id":"JoFi"}]},{"date_published":"2020-04-01T00:00:00Z","keyword":["X-ray sources","free electrons","nanostructure","undulator","synchrotron","free-electron laser"],"volume":7,"language":[{"iso":"eng"}],"ddc":["530"],"day":"01","intvolume":"         7","OA_type":"hybrid","publication":"ACS Photonics","has_accepted_license":"1","external_id":{"arxiv":["1910.09629"],"pmid":[" 32596415"]},"type":"journal_article","date_created":"2026-03-30T12:22:47Z","abstract":[{"text":"We present a novel design for an ultracompact, passive light source capable of generating ultraviolet and X-ray radiation, based on the interaction of free electrons with the magnetic near-field of a ferromagnet. Our design is motivated by recent advances in the fabrication of nanostructures, which allow the confinement of large magnetic fields at the surface of ferromagnetic nanogratings. Using ab initio simulations and a complementary analytical theory, we show that highly directional, tunable, monochromatic radiation at high frequencies could be produced from relatively low-energy electrons within a tabletop design. The output frequency is tunable in the extreme ultraviolet to hard X-ray range via electron kinetic energies from 1 keV to 5 MeV and nanograting periods from 1 μm to 5 nm. The proposed radiation source can achieve the tunability and monochromaticity of current free-electron-driven sources (free-electron lasers, synchrotrons, and laser-driven undulators), yet with a significantly reduced scale, cost, and complexity. Our design could help realize the next generation of tabletop or on-chip X-ray sources.","lang":"eng"}],"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-04-15T11:51:29Z","citation":{"short":"S. Fisher, C. Roques-Carmes, N. Rivera, L.J. Wong, I. Kaminer, M. Soljačić, ACS Photonics 7 (2020) 1096–1103.","ista":"Fisher S, Roques-Carmes C, Rivera N, Wong LJ, Kaminer I, Soljačić M. 2020. Monochromatic X-ray source based on scattering from a magnetic nanoundulator. ACS Photonics. 7(5), 1096–1103.","ama":"Fisher S, Roques-Carmes C, Rivera N, Wong LJ, Kaminer I, Soljačić M. Monochromatic X-ray source based on scattering from a magnetic nanoundulator. <i>ACS Photonics</i>. 2020;7(5):1096-1103. doi:<a href=\"https://doi.org/10.1021/acsphotonics.0c00121\">10.1021/acsphotonics.0c00121</a>","apa":"Fisher, S., Roques-Carmes, C., Rivera, N., Wong, L. J., Kaminer, I., &#38; Soljačić, M. (2020). Monochromatic X-ray source based on scattering from a magnetic nanoundulator. <i>ACS Photonics</i>. American Chemical Society . <a href=\"https://doi.org/10.1021/acsphotonics.0c00121\">https://doi.org/10.1021/acsphotonics.0c00121</a>","chicago":"Fisher, Sophie, Charles Roques-Carmes, Nicholas Rivera, Liang Jie Wong, Ido Kaminer, and Marin Soljačić. “Monochromatic X-Ray Source Based on Scattering from a Magnetic Nanoundulator.” <i>ACS Photonics</i>. American Chemical Society , 2020. <a href=\"https://doi.org/10.1021/acsphotonics.0c00121\">https://doi.org/10.1021/acsphotonics.0c00121</a>.","ieee":"S. Fisher, C. Roques-Carmes, N. Rivera, L. J. Wong, I. Kaminer, and M. Soljačić, “Monochromatic X-ray source based on scattering from a magnetic nanoundulator,” <i>ACS Photonics</i>, vol. 7, no. 5. American Chemical Society , pp. 1096–1103, 2020.","mla":"Fisher, Sophie, et al. “Monochromatic X-Ray Source Based on Scattering from a Magnetic Nanoundulator.” <i>ACS Photonics</i>, vol. 7, no. 5, American Chemical Society , 2020, pp. 1096–103, doi:<a href=\"https://doi.org/10.1021/acsphotonics.0c00121\">10.1021/acsphotonics.0c00121</a>."},"oa":1,"arxiv":1,"article_processing_charge":"No","pmid":1,"oa_version":"Published Version","scopus_import":"1","publication_identifier":{"eissn":["2330-4022"]},"author":[{"last_name":"Fisher","first_name":"Sophie","full_name":"Fisher, Sophie"},{"first_name":"Charles","id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82","full_name":"Roques-Carmes, Charles","last_name":"Roques-Carmes"},{"last_name":"Rivera","full_name":"Rivera, Nicholas","first_name":"Nicholas"},{"full_name":"Wong, Liang Jie","first_name":"Liang Jie","last_name":"Wong"},{"first_name":"Ido","full_name":"Kaminer, Ido","last_name":"Kaminer"},{"last_name":"Soljačić","first_name":"Marin","full_name":"Soljačić, Marin"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1021/acsphotonics.0c00121"}],"OA_place":"publisher","status":"public","month":"04","issue":"5","article_type":"letter_note","_id":"21525","publication_status":"published","quality_controlled":"1","title":"Monochromatic X-ray source based on scattering from a magnetic nanoundulator","year":"2020","extern":"1","page":"1096-1103","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1021/acsphotonics.0c00121","publisher":"American Chemical Society "},{"acknowledged_ssus":[{"_id":"ScienComp"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"Association for Computing Machinery","doi":"10.1145/3386569.3392466","isi":1,"year":"2020","corr_author":"1","title":"Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces","file":[{"success":1,"date_updated":"2020-09-21T07:51:44Z","file_id":"8541","file_name":"2020_ACM_Skrivan.pdf","date_created":"2020-09-21T07:51:44Z","file_size":20223953,"access_level":"open_access","creator":"dernst","checksum":"c3a680893f01cc4a9e961ff0a4cfa12f","content_type":"application/pdf","relation":"main_file"}],"_id":"8535","file_date_updated":"2020-09-21T07:51:44Z","issue":"4","article_type":"original","publication_status":"published","quality_controlled":"1","author":[{"first_name":"Tomas","full_name":"Skrivan, Tomas","id":"486A5A46-F248-11E8-B48F-1D18A9856A87","last_name":"Skrivan"},{"last_name":"Soderstrom","first_name":"Andreas","full_name":"Soderstrom, Andreas"},{"first_name":"John","full_name":"Johansson, John","last_name":"Johansson"},{"last_name":"Sprenger","full_name":"Sprenger, Christoph","first_name":"Christoph"},{"last_name":"Museth","first_name":"Ken","full_name":"Museth, Ken"},{"orcid":"0000-0001-6646-5546","last_name":"Wojtan","first_name":"Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","full_name":"Wojtan, Christopher J"}],"project":[{"grant_number":"638176","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425","name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales"},{"call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"}],"month":"07","status":"public","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"scopus_import":"1","oa_version":"Published Version","citation":{"mla":"Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 65, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392466\">10.1145/3386569.3392466</a>.","ieee":"T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, and C. Wojtan, “Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","chicago":"Skrivan, Tomas, Andreas Soderstrom, John Johansson, Christoph Sprenger, Ken Museth, and Chris Wojtan. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392466\">https://doi.org/10.1145/3386569.3392466</a>.","apa":"Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., &#38; Wojtan, C. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392466\">https://doi.org/10.1145/3386569.3392466</a>","short":"T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).","ista":"Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. 2020. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 39(4), 65.","ama":"Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392466\">10.1145/3386569.3392466</a>"},"oa":1,"date_updated":"2026-04-16T08:26:38Z","date_created":"2020-09-20T22:01:37Z","abstract":[{"text":"We propose a method to enhance the visual detail of a water surface simulation. Our method works as a post-processing step which takes a simulation as input and increases its apparent resolution by simulating many detailed Lagrangian water waves on top of it. We extend linear water wave theory to work in non-planar domains which deform over time, and we discretize the theory using Lagrangian wave packets attached to spline curves. The method is numerically stable and trivially parallelizable, and it produces high frequency ripples with dispersive wave-like behaviors customized to the underlying fluid simulation.","lang":"eng"}],"type":"journal_article","article_processing_charge":"No","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176 and Marie SkłodowskaCurie Grant Agreement No. 665385.","article_number":"65","intvolume":"        39","ec_funded":1,"day":"08","external_id":{"isi":["000583700300038"]},"has_accepted_license":"1","publication":"ACM Transactions on Graphics","date_published":"2020-07-08T00:00:00Z","ddc":["000"],"language":[{"iso":"eng"}],"volume":39,"department":[{"_id":"ChWo"}]},{"publication_identifier":{"eissn":["1529-2401"],"issn":["0270-6474"]},"oa_version":"Published Version","scopus_import":"1","pmid":1,"article_processing_charge":"No","citation":{"ieee":"L. Piriya Ananda Babu, H. Y. Wang, K. Eguchi, L. Guillaud, and T. Takahashi, “Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission,” <i>Journal of neuroscience</i>, vol. 40, no. 1. Society for Neuroscience, pp. 131–142, 2020.","mla":"Piriya Ananda Babu, Lashmi, et al. “Microtubule and Actin Differentially Regulate Synaptic Vesicle Cycling to Maintain High-Frequency Neurotransmission.” <i>Journal of Neuroscience</i>, vol. 40, no. 1, Society for Neuroscience, 2020, pp. 131–42, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1571-19.2019\">10.1523/JNEUROSCI.1571-19.2019</a>.","chicago":"Piriya Ananda Babu, Lashmi, Han Ying Wang, Kohgaku Eguchi, Laurent Guillaud, and Tomoyuki Takahashi. “Microtubule and Actin Differentially Regulate Synaptic Vesicle Cycling to Maintain High-Frequency Neurotransmission.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2020. <a href=\"https://doi.org/10.1523/JNEUROSCI.1571-19.2019\">https://doi.org/10.1523/JNEUROSCI.1571-19.2019</a>.","apa":"Piriya Ananda Babu, L., Wang, H. Y., Eguchi, K., Guillaud, L., &#38; Takahashi, T. (2020). Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.1571-19.2019\">https://doi.org/10.1523/JNEUROSCI.1571-19.2019</a>","ista":"Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. 2020. Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. Journal of neuroscience. 40(1), 131–142.","short":"L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, Journal of Neuroscience 40 (2020) 131–142.","ama":"Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. <i>Journal of neuroscience</i>. 2020;40(1):131-142. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1571-19.2019\">10.1523/JNEUROSCI.1571-19.2019</a>"},"oa":1,"date_updated":"2026-04-16T08:27:29Z","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2020-01-19T23:00:38Z","abstract":[{"text":"Cytoskeletal filaments such as microtubules (MTs) and filamentous actin (F-actin) dynamically support cell structure and functions. In central presynaptic terminals, F-actin is expressed along the release edge and reportedly plays diverse functional roles, but whether axonal MTs extend deep into terminals and play any physiological role remains controversial. At the calyx of Held in rats of either sex, confocal and high-resolution microscopy revealed that MTs enter deep into presynaptic terminal swellings and partially colocalize with a subset of synaptic vesicles (SVs). Electrophysiological analysis demonstrated that depolymerization of MTs specifically prolonged the slow-recovery time component of EPSCs from short-term depression induced by a train of high-frequency stimulation, whereas depolymerization of F-actin specifically prolonged the fast-recovery component. In simultaneous presynaptic and postsynaptic action potential recordings, depolymerization of MTs or F-actin significantly impaired the fidelity of high-frequency neurotransmission. We conclude that MTs and F-actin differentially contribute to slow and fast SV replenishment, thereby maintaining high-frequency neurotransmission.","lang":"eng"}],"type":"journal_article","external_id":{"isi":["000505167600013"],"pmid":["31767677"]},"has_accepted_license":"1","publication":"Journal of neuroscience","intvolume":"        40","day":"02","ddc":["570"],"volume":40,"language":[{"iso":"eng"}],"department":[{"_id":"RySh"}],"date_published":"2020-01-02T00:00:00Z","publisher":"Society for Neuroscience","doi":"10.1523/JNEUROSCI.1571-19.2019","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"131-142","file":[{"relation":"main_file","content_type":"application/pdf","access_level":"open_access","checksum":"92f5e8a47f454fc131fb94cd7f106e60","creator":"dernst","file_size":4460781,"file_id":"7345","date_updated":"2020-07-14T12:47:56Z","date_created":"2020-01-20T14:44:10Z","file_name":"2020_JourNeuroscience_Piriya.pdf"}],"isi":1,"title":"Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission","year":"2020","publication_status":"published","quality_controlled":"1","_id":"7339","file_date_updated":"2020-07-14T12:47:56Z","issue":"1","article_type":"original","month":"01","status":"public","author":[{"first_name":"Lashmi","full_name":"Piriya Ananda Babu, Lashmi","last_name":"Piriya Ananda Babu"},{"last_name":"Wang","full_name":"Wang, Han Ying","first_name":"Han Ying"},{"first_name":"Kohgaku","id":"2B7846DC-F248-11E8-B48F-1D18A9856A87","full_name":"Eguchi, Kohgaku","last_name":"Eguchi","orcid":"0000-0002-6170-2546"},{"first_name":"Laurent","full_name":"Guillaud, Laurent","last_name":"Guillaud"},{"last_name":"Takahashi","first_name":"Tomoyuki","full_name":"Takahashi, Tomoyuki"}]},{"publisher":"American Physical Society","doi":"10.1103/PhysRevLett.125.013001","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","title":"Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains","year":"2020","isi":1,"quality_controlled":"1","publication_status":"published","_id":"8170","issue":"1","article_type":"original","month":"07","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2006.02694"}],"status":"public","author":[{"last_name":"Chatterley","full_name":"Chatterley, Adam S.","first_name":"Adam S."},{"last_name":"Christiansen","first_name":"Lars","full_name":"Christiansen, Lars"},{"first_name":"Constant A.","full_name":"Schouder, Constant A.","last_name":"Schouder"},{"last_name":"Jørgensen","full_name":"Jørgensen, Anders V.","first_name":"Anders V."},{"last_name":"Shepperson","first_name":"Benjamin","full_name":"Shepperson, Benjamin"},{"first_name":"Igor","id":"339C7E5A-F248-11E8-B48F-1D18A9856A87","full_name":"Cherepanov, Igor","last_name":"Cherepanov"},{"last_name":"Bighin","first_name":"Giacomo","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","full_name":"Bighin, Giacomo","orcid":"0000-0001-8823-9777"},{"full_name":"Zillich, Robert E.","first_name":"Robert E.","last_name":"Zillich"},{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","full_name":"Lemeshko, Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail"},{"last_name":"Stapelfeldt","first_name":"Henrik","full_name":"Stapelfeldt, Henrik"}],"project":[{"name":"Quantum rotations in the presence of a many-body environment","_id":"26031614-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P29902"},{"_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770","call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle"},{"name":"A path-integral approach to composite impurities","grant_number":"M02641","call_identifier":"FWF","_id":"26986C82-B435-11E9-9278-68D0E5697425"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020","name":"International IST Doctoral Program"}],"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"scopus_import":"1","oa_version":"Preprint","pmid":1,"article_processing_charge":"No","article_number":"013001","acknowledgement":"H. S. acknowledges support from the European Research Council-AdG (Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC) Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by the European Union’s Horizon 2020 research and\r\ninnovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe PIMC simulations were provided by the division for scientific computing at the Johannes Kepler University.","oa":1,"arxiv":1,"citation":{"short":"A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).","ista":"Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 125(1), 013001.","ama":"Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. <i>Physical Review Letters</i>. 2020;125(1). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">10.1103/PhysRevLett.125.013001</a>","ieee":"A. S. Chatterley <i>et al.</i>, “Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains,” <i>Physical Review Letters</i>, vol. 125, no. 1. American Physical Society, 2020.","mla":"Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” <i>Physical Review Letters</i>, vol. 125, no. 1, 013001, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">10.1103/PhysRevLett.125.013001</a>.","chicago":"Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V. Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” <i>Physical Review Letters</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">https://doi.org/10.1103/PhysRevLett.125.013001</a>.","apa":"Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson, B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">https://doi.org/10.1103/PhysRevLett.125.013001</a>"},"date_updated":"2026-04-16T08:21:58Z","date_created":"2020-07-26T22:01:02Z","abstract":[{"text":"Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is measured as a function\r\nof time following rotational excitation by a nonresonant, comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra, obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy. For\r\nCS2 and I2, they are the first experimental results reported. The alignment dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using the experimental in-droplet B and D values, agree in\r\ndetail with the measurement for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium droplets introduced here should apply to a range of molecules and complexes.","lang":"eng"}],"type":"journal_article","external_id":{"isi":["000544526900006"],"pmid":["32678640"],"arxiv":["2006.02694"]},"publication":"Physical Review Letters","ec_funded":1,"intvolume":"       125","day":"03","language":[{"iso":"eng"}],"volume":125,"department":[{"_id":"MiLe"}],"date_published":"2020-07-03T00:00:00Z"},{"publication":"Frontiers in Computational Neuroscience","has_accepted_license":"1","external_id":{"isi":["000525543200001"],"pmid":["32231528"]},"day":"13","intvolume":"        14","department":[{"_id":"GaTk"}],"volume":14,"language":[{"iso":"eng"}],"ddc":["570"],"date_published":"2020-03-13T00:00:00Z","oa_version":"Published Version","scopus_import":"1","publication_identifier":{"eissn":["1662-5188"]},"pmid":1,"article_number":"20","article_processing_charge":"No","type":"journal_article","date_created":"2020-04-12T22:00:40Z","abstract":[{"text":"We propose that correlations among neurons are generically strong enough to organize neural activity patterns into a discrete set of clusters, which can each be viewed as a population codeword. Our reasoning starts with the analysis of retinal ganglion cell data using maximum entropy models, showing that the population is robustly in a frustrated, marginally sub-critical, or glassy, state. This leads to an argument that neural populations in many other brain areas might share this structure. Next, we use latent variable models to show that this glassy state possesses well-defined clusters of neural activity. Clusters have three appealing properties: (i) clusters exhibit error correction, i.e., they are reproducibly elicited by the same stimulus despite variability at the level of constituent neurons; (ii) clusters encode qualitatively different visual features than their constituent neurons; and (iii) clusters can be learned by downstream neural circuits in an unsupervised fashion. We hypothesize that these properties give rise to a “learnable” neural code which the cortical hierarchy uses to extract increasingly complex features without supervision or reinforcement.","lang":"eng"}],"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-04-16T08:28:50Z","citation":{"ama":"Berry MJ, Tkačik G. Clustering of neural activity: A design principle for population codes. <i>Frontiers in Computational Neuroscience</i>. 2020;14. doi:<a href=\"https://doi.org/10.3389/fncom.2020.00020\">10.3389/fncom.2020.00020</a>","short":"M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).","ista":"Berry MJ, Tkačik G. 2020. Clustering of neural activity: A design principle for population codes. Frontiers in Computational Neuroscience. 14, 20.","ieee":"M. J. Berry and G. Tkačik, “Clustering of neural activity: A design principle for population codes,” <i>Frontiers in Computational Neuroscience</i>, vol. 14. Frontiers, 2020.","mla":"Berry, Michael J., and Gašper Tkačik. “Clustering of Neural Activity: A Design Principle for Population Codes.” <i>Frontiers in Computational Neuroscience</i>, vol. 14, 20, Frontiers, 2020, doi:<a href=\"https://doi.org/10.3389/fncom.2020.00020\">10.3389/fncom.2020.00020</a>.","apa":"Berry, M. J., &#38; Tkačik, G. (2020). Clustering of neural activity: A design principle for population codes. <i>Frontiers in Computational Neuroscience</i>. Frontiers. <a href=\"https://doi.org/10.3389/fncom.2020.00020\">https://doi.org/10.3389/fncom.2020.00020</a>","chicago":"Berry, Michael J., and Gašper Tkačik. “Clustering of Neural Activity: A Design Principle for Population Codes.” <i>Frontiers in Computational Neuroscience</i>. Frontiers, 2020. <a href=\"https://doi.org/10.3389/fncom.2020.00020\">https://doi.org/10.3389/fncom.2020.00020</a>."},"oa":1,"publication_status":"published","quality_controlled":"1","article_type":"original","file_date_updated":"2020-07-14T12:48:01Z","_id":"7656","status":"public","month":"03","author":[{"last_name":"Berry","full_name":"Berry, Michael J.","first_name":"Michael J."},{"orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gašper","last_name":"Tkačik"}],"doi":"10.3389/fncom.2020.00020","publisher":"Frontiers","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","file":[{"file_size":4082937,"file_id":"7659","date_updated":"2020-07-14T12:48:01Z","date_created":"2020-04-14T12:20:39Z","file_name":"2020_Frontiers_Berry.pdf","relation":"main_file","content_type":"application/pdf","access_level":"open_access","checksum":"2b1da23823eae9cedbb42d701945b61e","creator":"dernst"}],"title":"Clustering of neural activity: A design principle for population codes","year":"2020","isi":1},{"ddc":["580"],"language":[{"iso":"eng"}],"volume":11,"department":[{"_id":"FyKo"}],"date_published":"2020-02-19T00:00:00Z","external_id":{"isi":["000518903600001"]},"has_accepted_license":"1","publication":"Frontiers in Plant Science","intvolume":"        11","day":"19","article_processing_charge":"No","article_number":"91","citation":{"ama":"Nimeth BA, Riegler S, Kalyna M. Alternative splicing and DNA damage response in plants. <i>Frontiers in Plant Science</i>. 2020;11. doi:<a href=\"https://doi.org/10.3389/fpls.2020.00091\">10.3389/fpls.2020.00091</a>","short":"B.A. Nimeth, S. Riegler, M. Kalyna, Frontiers in Plant Science 11 (2020).","ista":"Nimeth BA, Riegler S, Kalyna M. 2020. Alternative splicing and DNA damage response in plants. Frontiers in Plant Science. 11, 91.","apa":"Nimeth, B. A., Riegler, S., &#38; Kalyna, M. (2020). Alternative splicing and DNA damage response in plants. <i>Frontiers in Plant Science</i>. Frontiers. <a href=\"https://doi.org/10.3389/fpls.2020.00091\">https://doi.org/10.3389/fpls.2020.00091</a>","chicago":"Nimeth, Barbara Anna, Stefan Riegler, and Maria Kalyna. “Alternative Splicing and DNA Damage Response in Plants.” <i>Frontiers in Plant Science</i>. Frontiers, 2020. <a href=\"https://doi.org/10.3389/fpls.2020.00091\">https://doi.org/10.3389/fpls.2020.00091</a>.","mla":"Nimeth, Barbara Anna, et al. “Alternative Splicing and DNA Damage Response in Plants.” <i>Frontiers in Plant Science</i>, vol. 11, 91, Frontiers, 2020, doi:<a href=\"https://doi.org/10.3389/fpls.2020.00091\">10.3389/fpls.2020.00091</a>.","ieee":"B. A. Nimeth, S. Riegler, and M. Kalyna, “Alternative splicing and DNA damage response in plants,” <i>Frontiers in Plant Science</i>, vol. 11. Frontiers, 2020."},"oa":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-04-16T08:28:17Z","abstract":[{"text":"Plants are exposed to a variety of abiotic and biotic stresses that may result in DNA damage. Endogenous processes - such as DNA replication, DNA recombination, respiration, or photosynthesis - are also a threat to DNA integrity. It is therefore essential to understand the strategies plants have developed for DNA damage detection, signaling, and repair. Alternative splicing (AS) is a key post-transcriptional process with a role in regulation of gene expression. Recent studies demonstrate that the majority of intron-containing genes in plants are alternatively spliced, highlighting the importance of AS in plant development and stress response. Not only does AS ensure a versatile proteome and influence the abundance and availability of proteins greatly, it has also emerged as an important player in the DNA damage response (DDR) in animals. Despite extensive studies of DDR carried out in plants, its regulation at the level of AS has not been comprehensively addressed. Here, we provide some insights into the interplay between AS and DDR in plants.","lang":"eng"}],"date_created":"2020-03-22T23:00:46Z","type":"journal_article","publication_identifier":{"eissn":["1664-462X"]},"oa_version":"Published Version","scopus_import":"1","month":"02","status":"public","author":[{"full_name":"Nimeth, Barbara Anna","first_name":"Barbara Anna","last_name":"Nimeth"},{"orcid":"0000-0003-3413-1343","first_name":"Stefan","id":"FF6018E0-D806-11E9-8E43-0B14E6697425","full_name":"Riegler, Stefan","last_name":"Riegler"},{"last_name":"Kalyna","full_name":"Kalyna, Maria","first_name":"Maria"}],"publication_status":"published","quality_controlled":"1","_id":"7603","file_date_updated":"2020-07-14T12:48:01Z","article_type":"original","file":[{"file_name":"2020_FrontiersPlants_Nimeth.pdf","date_created":"2020-03-23T09:03:40Z","date_updated":"2020-07-14T12:48:01Z","file_id":"7607","file_size":507414,"creator":"dernst","checksum":"57c37209f7b6712ced86c0f11b2be74e","access_level":"open_access","content_type":"application/pdf","relation":"main_file"}],"isi":1,"title":"Alternative splicing and DNA damage response in plants","year":"2020","publisher":"Frontiers","doi":"10.3389/fpls.2020.00091","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd"},{"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","doi":"10.1371/journal.pcbi.1007494","publisher":"Public Library of Science","title":"Limits on amplifiers of natural selection under death-Birth updating","isi":1,"year":"2020","file":[{"file_size":1817531,"file_id":"7441","date_updated":"2020-07-14T12:47:53Z","date_created":"2020-02-03T07:32:42Z","file_name":"2020_PlosCompBio_Tkadlec.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"ce32ee2d2f53aed832f78bbd47e882df","creator":"dernst"}],"file_date_updated":"2020-07-14T12:47:53Z","article_type":"original","_id":"7212","quality_controlled":"1","publication_status":"published","project":[{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"}],"author":[{"orcid":"0000-0002-1097-9684","first_name":"Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","full_name":"Tkadlec, Josef","last_name":"Tkadlec"},{"orcid":"0000-0002-8943-0722","first_name":"Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"last_name":"Nowak","full_name":"Nowak, Martin A.","first_name":"Martin A."}],"month":"01","status":"public","related_material":{"record":[{"id":"7196","relation":"part_of_dissertation","status":"public"}]},"oa_version":"Published Version","scopus_import":"1","publication_identifier":{"eissn":["1553-7358"],"issn":["1553-734X"]},"abstract":[{"text":"The fixation probability of a single mutant invading a population of residents is among the most widely-studied quantities in evolutionary dynamics. Amplifiers of natural selection are population structures that increase the fixation probability of advantageous mutants, compared to well-mixed populations. Extensive studies have shown that many amplifiers exist for the Birth-death Moran process, some of them substantially increasing the fixation probability or even guaranteeing fixation in the limit of large population size. On the other hand, no amplifiers are known for the death-Birth Moran process, and computer-assisted exhaustive searches have failed to discover amplification. In this work we resolve this disparity, by showing that any amplification under death-Birth updating is necessarily bounded and transient. Our boundedness result states that even if a population structure does amplify selection, the resulting fixation probability is close to that of the well-mixed population. Our transience result states that for any population structure there exists a threshold r⋆ such that the population structure ceases to amplify selection if the mutant fitness advantage r is larger than r⋆. Finally, we also extend the above results to δ-death-Birth updating, which is a combination of Birth-death and death-Birth updating. On the positive side, we identify population structures that maintain amplification for a wide range of values r and δ. These results demonstrate that amplification of natural selection depends on the specific mechanisms of the evolutionary process.","lang":"eng"}],"date_created":"2019-12-23T13:45:11Z","type":"journal_article","citation":{"mla":"Tkadlec, Josef, et al. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” <i>PLoS Computational Biology</i>, vol. 16, e1007494, Public Library of Science, 2020, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007494\">10.1371/journal.pcbi.1007494</a>.","ieee":"J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Limits on amplifiers of natural selection under death-Birth updating,” <i>PLoS computational biology</i>, vol. 16. Public Library of Science, 2020.","chicago":"Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” <i>PLoS Computational Biology</i>. Public Library of Science, 2020. <a href=\"https://doi.org/10.1371/journal.pcbi.1007494\">https://doi.org/10.1371/journal.pcbi.1007494</a>.","apa":"Tkadlec, J., Pavlogiannis, A., Chatterjee, K., &#38; Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1007494\">https://doi.org/10.1371/journal.pcbi.1007494</a>","short":"J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).","ista":"Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2020. Limits on amplifiers of natural selection under death-Birth updating. PLoS computational biology. 16, e1007494.","ama":"Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Limits on amplifiers of natural selection under death-Birth updating. <i>PLoS computational biology</i>. 2020;16. doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007494\">10.1371/journal.pcbi.1007494</a>"},"oa":1,"arxiv":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-04-16T08:32:38Z","article_number":"e1007494","article_processing_charge":"No","intvolume":"        16","ec_funded":1,"day":"17","publication":"PLoS computational biology","external_id":{"isi":["000510916500025"],"arxiv":["1906.02785"]},"has_accepted_license":"1","date_published":"2020-01-17T00:00:00Z","department":[{"_id":"KrCh"}],"ddc":["000"],"language":[{"iso":"eng"}],"volume":16},{"acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback, especially Camille Schreck for her help in rendering. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. We would like to thank the authors of [Belcour and Barla 2017] for providing their implementation, the authors of [Atkins and Elliott 2010] and [Seychelles et al. 2008] for allowing us to use their results, and Rok Grah for helpful discussions. Finally, we thank Ryoichi Ando for many discussions from the beginning of the project that resulted in important contents of the paper including our formulation, numerical scheme, and initial implementation. This project has received funding from the\r\nEuropean Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176.","article_number":"31","article_processing_charge":"No","type":"journal_article","abstract":[{"text":"Previous research on animations of soap bubbles, films, and foams largely focuses on the motion and geometric shape of the bubble surface. These works neglect the evolution of the bubble’s thickness, which is normally responsible for visual phenomena like surface vortices, Newton’s interference patterns, capillary waves, and deformation-dependent rupturing of films in a foam. In this paper, we model these natural phenomena by introducing the film thickness as a reduced degree of freedom in the Navier-Stokes equations and deriving their equations of motion. We discretize the equations on a nonmanifold triangle mesh surface and couple it to an existing bubble solver. In doing so, we also introduce an incompressible fluid solver for 2.5D films and a novel advection algorithm for convecting fields across non-manifold surface junctions. Our simulations enhance state-of-the-art bubble solvers with additional effects caused by convection, rippling, draining, and evaporation of the thin film.","lang":"eng"}],"date_created":"2020-09-13T22:01:18Z","date_updated":"2026-04-16T08:29:36Z","oa":1,"citation":{"ista":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.","short":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions on Graphics 39 (2020).","ama":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>","chicago":"Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Chris Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>.","apa":"Ishida, S., Synak, P., Narita, F., Hachisuka, T., &#38; Wojtan, C. (2020). A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>","ieee":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, and C. Wojtan, “A model for soap film dynamics with evolving thickness,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","mla":"Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 31, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>."},"oa_version":"Submitted Version","scopus_import":"1","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"volume":39,"ddc":["000"],"date_published":"2020-07-08T00:00:00Z","publication":"ACM Transactions on Graphics","has_accepted_license":"1","external_id":{"isi":["000583700300004"]},"day":"08","intvolume":"        39","ec_funded":1,"file":[{"file_size":14935529,"date_created":"2020-11-23T09:03:19Z","file_name":"2020_soapfilm_submitted.pdf","file_id":"8795","success":1,"date_updated":"2020-11-23T09:03:19Z","relation":"main_file","content_type":"application/pdf","checksum":"813831ca91319d794d9748c276b24578","creator":"dernst","access_level":"open_access"}],"isi":1,"year":"2020","title":"A model for soap film dynamics with evolving thickness","doi":"10.1145/3386569.3392405","publisher":"Association for Computing Machinery","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledged_ssus":[{"_id":"ScienComp"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3386569.3392405"}],"status":"public","month":"07","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"19630"}]},"project":[{"name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales","grant_number":"638176","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425"}],"author":[{"orcid":"0000-0002-3121-3100","first_name":"Sadashige","full_name":"Ishida, Sadashige","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","last_name":"Ishida"},{"last_name":"Synak","first_name":"Peter","id":"331776E2-F248-11E8-B48F-1D18A9856A87","full_name":"Synak, Peter"},{"full_name":"Narita, Fumiya","first_name":"Fumiya","last_name":"Narita"},{"first_name":"Toshiya","full_name":"Hachisuka, Toshiya","last_name":"Hachisuka"},{"full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546"}],"quality_controlled":"1","publication_status":"published","issue":"4","article_type":"original","file_date_updated":"2020-11-23T09:03:19Z","_id":"8384"},{"publication_status":"published","quality_controlled":"1","_id":"8385","article_type":"original","issue":"4","file_date_updated":"2020-11-23T09:01:22Z","related_material":{"record":[{"id":"12358","relation":"dissertation_contains","status":"public"}]},"status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3386569.3392412"}],"month":"07","author":[{"first_name":"Georg","full_name":"Sperl, Georg","id":"4DD40360-F248-11E8-B48F-1D18A9856A87","last_name":"Sperl"},{"last_name":"Narain","full_name":"Narain, Rahul","first_name":"Rahul"},{"last_name":"Wojtan","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","orcid":"0000-0001-6646-5546"}],"project":[{"name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales","call_identifier":"H2020","grant_number":"638176","_id":"2533E772-B435-11E9-9278-68D0E5697425"}],"publisher":"Association for Computing Machinery","doi":"10.1145/3386569.3392412","acknowledged_ssus":[{"_id":"ScienComp"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","file":[{"relation":"main_file","content_type":"application/pdf","access_level":"open_access","checksum":"cf4c1d361c3196c4bd424520a5588205","creator":"dernst","file_size":38922662,"file_id":"8794","success":1,"date_updated":"2020-11-23T09:01:22Z","date_created":"2020-11-23T09:01:22Z","file_name":"2020_hylc_submitted.pdf"}],"isi":1,"title":"Homogenized yarn-level cloth","year":"2020","corr_author":"1","has_accepted_license":"1","external_id":{"isi":["000583700300021"]},"publication":"ACM Transactions on Graphics","day":"08","intvolume":"        39","ec_funded":1,"volume":39,"language":[{"iso":"eng"}],"ddc":["000"],"department":[{"_id":"ChWo"}],"date_published":"2020-07-08T00:00:00Z","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"scopus_import":"1","oa_version":"Submitted Version","article_processing_charge":"No","article_number":"48","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback. We also thank the creators of the Berkeley Garment Library [de Joya et al. 2012] for providing garment meshes, [Krishnamurthy and Levoy 1996] and [Turk and Levoy 1994] for the armadillo and bunny meshes, the creators of libWetCloth [Fei et al. 2018] for their implementation of discrete elastic rod forces, and Tomáš Skřivan for\r\ninspiring discussions and help with Mathematica code generation. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176. Rahul Narain is supported by a Pankaj Gupta Young Faculty Fellowship and a gift from Adobe Inc.","date_updated":"2026-04-16T08:31:55Z","citation":{"apa":"Sperl, G., Narain, R., &#38; Wojtan, C. (2020). Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>","chicago":"Sperl, Georg, Rahul Narain, and Chris Wojtan. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>.","ieee":"G. Sperl, R. Narain, and C. Wojtan, “Homogenized yarn-level cloth,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","mla":"Sperl, Georg, et al. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 48, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>.","ama":"Sperl G, Narain R, Wojtan C. Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>","ista":"Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.","short":"G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020)."},"oa":1,"type":"journal_article","date_created":"2020-09-13T22:01:18Z","abstract":[{"lang":"eng","text":"We present a method for animating yarn-level cloth effects using a thin-shell solver. We accomplish this through numerical homogenization: we first use a large number of yarn-level simulations to build a model of the potential energy density of the cloth, and then use this energy density function to compute forces in a thin shell simulator. We model several yarn-based materials, including both woven and knitted fabrics. Our model faithfully reproduces expected effects like the stiffness of woven fabrics, and the highly deformable nature and anisotropy of knitted fabrics. Our approach does not require any real-world experiments nor measurements; because the method is based entirely on simulations, it can generate entirely new material models quickly, without the need for testing apparatuses or human intervention. We provide data-driven models of several woven and knitted fabrics, which can be used for efficient simulation with an off-the-shelf cloth solver."}]},{"status":"public","OA_place":"publisher","month":"01","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"5751"},{"status":"public","relation":"dissertation_contains","id":"7210"},{"id":"7212","status":"public","relation":"dissertation_contains"}]},"supervisor":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"author":[{"last_name":"Tkadlec","full_name":"Tkadlec, Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","first_name":"Josef","orcid":"0000-0002-1097-9684"}],"publication_status":"published","file_date_updated":"2020-07-14T12:47:52Z","_id":"7196","file":[{"file_size":21100497,"file_id":"7255","date_updated":"2020-07-14T12:47:52Z","date_created":"2020-01-12T11:49:49Z","file_name":"thesis.zip","content_type":"application/zip","relation":"source_file","access_level":"closed","checksum":"451f8e64b0eb26bf297644ac72bfcbe9","creator":"jtkadlec"},{"relation":"main_file","content_type":"application/pdf","access_level":"open_access","checksum":"d8c44cbc4f939c49a8efc9d4b8bb3985","creator":"dernst","file_size":11670983,"file_id":"7367","date_updated":"2020-07-14T12:47:52Z","date_created":"2020-01-28T07:32:42Z","file_name":"2020_Tkadlec_Thesis.pdf"}],"page":"144","title":"A role of graphs in evolutionary processes","year":"2020","corr_author":"1","doi":"10.15479/AT:ISTA:7196","publisher":"Institute of Science and Technology Austria","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"language":[{"iso":"eng"}],"ddc":["519"],"degree_awarded":"PhD","date_published":"2020-01-12T00:00:00Z","alternative_title":["ISTA Thesis"],"has_accepted_license":"1","day":"12","article_processing_charge":"No","type":"dissertation","date_created":"2019-12-20T12:26:36Z","abstract":[{"text":"In this thesis we study certain mathematical aspects of evolution. The two primary forces that drive an evolutionary process are mutation and selection. Mutation generates new variants in a population. Selection chooses among the variants depending on the reproductive rates of individuals. Evolutionary processes are intrinsically random – a new mutation that is initially present in the population at low frequency can go extinct, even if it confers a reproductive advantage. The overall rate of evolution is largely determined by two quantities: the probability that an invading advantageous mutation spreads through the population (called fixation probability) and the time until it does so (called fixation time). Both those quantities crucially depend not only on the strength of the invading mutation but also on the population structure. In this thesis, we aim to understand how the underlying population structure affects the overall rate of evolution. Specifically, we study population structures that increase the fixation probability of advantageous mutants (called amplifiers of selection). Broadly speaking, our results are of three different types: We present various strong amplifiers, we identify regimes under which only limited amplification is feasible, and we propose population structures that provide different tradeoffs between high fixation probability and short fixation time.","lang":"eng"}],"date_updated":"2026-04-16T08:32:37Z","oa":1,"citation":{"ama":"Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7196\">10.15479/AT:ISTA:7196</a>","short":"J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.","ista":"Tkadlec J. 2020. A role of graphs in evolutionary processes. Institute of Science and Technology Austria.","chicago":"Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:7196\">https://doi.org/10.15479/AT:ISTA:7196</a>.","apa":"Tkadlec, J. (2020). <i>A role of graphs in evolutionary processes</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:7196\">https://doi.org/10.15479/AT:ISTA:7196</a>","ieee":"J. Tkadlec, “A role of graphs in evolutionary processes,” Institute of Science and Technology Austria, 2020.","mla":"Tkadlec, Josef. <i>A Role of Graphs in Evolutionary Processes</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7196\">10.15479/AT:ISTA:7196</a>."},"oa_version":"Published Version","publication_identifier":{"eissn":["2663-337X"]}},{"scopus_import":"1","series_title":"MIMB","oa_version":"None","publication_identifier":{"isbn":["9781071607541"],"eisbn":["9781071607558"],"eissn":["1940-6029"],"issn":["1064-3745"]},"pmid":1,"article_processing_charge":"No","type":"book_chapter","editor":[{"first_name":"Dominik","full_name":"Niopek, Dominik","last_name":"Niopek"}],"date_created":"2020-07-26T22:01:03Z","abstract":[{"lang":"eng","text":"Understanding how the activity of membrane receptors and cellular signaling pathways shapes cell behavior is of fundamental interest in basic and applied research. Reengineering receptors to react to light instead of their cognate ligands allows for generating defined signaling inputs with high spatial and temporal precision and facilitates the dissection of complex signaling networks. Here, we describe fundamental considerations in the design of light-regulated receptor tyrosine kinases (Opto-RTKs) and appropriate control experiments. We also introduce methods for transient receptor expression in HEK293 cells, quantitative assessment of signaling activity in reporter gene assays, semiquantitative assessment of (in)activation time courses through Western blot (WB) analysis, and easy to implement light stimulation hardware."}],"date_updated":"2026-04-16T09:22:45Z","citation":{"short":"S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.","ista":"Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol. 2173, 233–246.","ama":"Kainrath S, Janovjak HL. Design and application of light-regulated receptor tyrosine kinases. In: Niopek D, ed. <i>Photoswitching Proteins</i>. Vol 2173. MIMB. Springer Nature; 2020:233-246. doi:<a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">10.1007/978-1-0716-0755-8_16</a>","mla":"Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” <i>Photoswitching Proteins</i>, edited by Dominik Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:<a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">10.1007/978-1-0716-0755-8_16</a>.","ieee":"S. Kainrath and H. L. Janovjak, “Design and application of light-regulated receptor tyrosine kinases,” in <i>Photoswitching Proteins</i>, vol. 2173, D. Niopek, Ed. Springer Nature, 2020, pp. 233–246.","apa":"Kainrath, S., &#38; Janovjak, H. L. (2020). Design and application of light-regulated receptor tyrosine kinases. In D. Niopek (Ed.), <i>Photoswitching Proteins</i> (Vol. 2173, pp. 233–246). Springer Nature. <a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">https://doi.org/10.1007/978-1-0716-0755-8_16</a>","chicago":"Kainrath, Stephanie, and Harald L Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” In <i>Photoswitching Proteins</i>, edited by Dominik Niopek, 2173:233–46. MIMB. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">https://doi.org/10.1007/978-1-0716-0755-8_16</a>."},"alternative_title":["Methods in Molecular Biology"],"publication":"Photoswitching Proteins","external_id":{"pmid":["32651922"]},"day":"11","intvolume":"      2173","department":[{"_id":"CaGu"}],"language":[{"iso":"eng"}],"volume":2173,"date_published":"2020-07-11T00:00:00Z","doi":"10.1007/978-1-0716-0755-8_16","publisher":"Springer Nature","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"233-246","year":"2020","title":"Design and application of light-regulated receptor tyrosine kinases","publication_status":"published","_id":"8173","status":"public","month":"07","author":[{"last_name":"Kainrath","first_name":"Stephanie","id":"32CFBA64-F248-11E8-B48F-1D18A9856A87","full_name":"Kainrath, Stephanie","orcid":"0000-0002-6709-2195"},{"orcid":"0000-0002-8023-9315","first_name":"Harald L","full_name":"Janovjak, Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","last_name":"Janovjak"}]},{"volume":12225,"language":[{"iso":"eng"}],"ddc":["000"],"department":[{"_id":"KrCh"}],"date_published":"2020-07-14T00:00:00Z","has_accepted_license":"1","external_id":{"arxiv":["2005.04018"],"isi":["000695272500021"]},"publication":"International Conference on Computer Aided Verification","alternative_title":["LNCS"],"day":"14","intvolume":"     12225","ec_funded":1,"article_processing_charge":"No","conference":{"name":"CAV: Computer Aided Verification"},"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-04-16T09:31:14Z","citation":{"ama":"Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: <i>International Conference on Computer Aided Verification</i>. Vol 12225. Springer Nature; 2020:398-420. doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>","ista":"Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.","short":"K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.","ieee":"K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in <i>International Conference on Computer Aided Verification</i>, 2020, vol. 12225, pp. 398–420.","mla":"Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” <i>International Conference on Computer Aided Verification</i>, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>.","chicago":"Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In <i>International Conference on Computer Aided Verification</i>, 12225:398–420. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>.","apa":"Chatterjee, K., Katoen, J. P., Weininger, M., &#38; Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In <i>International Conference on Computer Aided Verification</i> (Vol. 12225, pp. 398–420). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>"},"oa":1,"arxiv":1,"type":"conference","abstract":[{"lang":"eng","text":"We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in   NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is   PSPACE -hard and can be solved in   NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies."}],"date_created":"2020-08-16T22:00:58Z","publication_identifier":{"isbn":["9783030532901"],"issn":["0302-9743"],"eissn":["1611-3349"]},"scopus_import":"1","oa_version":"Published Version","related_material":{"record":[{"id":"12738","status":"public","relation":"later_version"}]},"status":"public","month":"07","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Joost P","id":"4524F760-F248-11E8-B48F-1D18A9856A87","full_name":"Katoen, Joost P","last_name":"Katoen","orcid":"0000-0002-6143-1926"},{"last_name":"Weininger","first_name":"Maximilian","full_name":"Weininger, Maximilian"},{"first_name":"Tobias","full_name":"Winkler, Tobias","last_name":"Winkler"}],"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"},{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"}],"quality_controlled":"1","publication_status":"published","_id":"8272","file_date_updated":"2020-08-17T11:32:44Z","file":[{"file_size":625056,"date_created":"2020-08-17T11:32:44Z","file_name":"2020_LNCS_CAV_Chatterjee.pdf","file_id":"8276","date_updated":"2020-08-17T11:32:44Z","success":1,"relation":"main_file","content_type":"application/pdf","checksum":"093d4788d7d5b2ce0ffe64fbe7820043","creator":"dernst","access_level":"open_access"}],"page":"398-420","title":"Stochastic games with lexicographic reachability-safety objectives","year":"2020","isi":1,"publisher":"Springer Nature","doi":"10.1007/978-3-030-53291-8_21","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd"},{"year":"2020","isi":1,"title":"LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia","file":[{"content_type":"application/pdf","relation":"main_file","checksum":"054562bb50165ef9a1f46631c1c5e36b","creator":"dernst","access_level":"open_access","file_size":7518960,"date_created":"2020-12-10T14:42:09Z","file_name":"2020_Neuron_Henneberger.pdf","file_id":"8939","date_updated":"2020-12-10T14:42:09Z","success":1}],"page":"P919-936.E11","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"Elsevier","doi":"10.1016/j.neuron.2020.08.030","author":[{"last_name":"Henneberger","full_name":"Henneberger, Christian","first_name":"Christian"},{"full_name":"Bard, Lucie","first_name":"Lucie","last_name":"Bard"},{"full_name":"Panatier, Aude","first_name":"Aude","last_name":"Panatier"},{"first_name":"James P.","full_name":"Reynolds, James P.","last_name":"Reynolds"},{"last_name":"Kopach","full_name":"Kopach, Olga","first_name":"Olga"},{"last_name":"Medvedev","first_name":"Nikolay I.","full_name":"Medvedev, Nikolay I."},{"first_name":"Daniel","full_name":"Minge, Daniel","last_name":"Minge"},{"full_name":"Herde, Michel K.","first_name":"Michel K.","last_name":"Herde"},{"last_name":"Anders","full_name":"Anders, Stefanie","first_name":"Stefanie"},{"full_name":"Kraev, Igor","first_name":"Igor","last_name":"Kraev"},{"last_name":"Heller","first_name":"Janosch P.","full_name":"Heller, Janosch P."},{"first_name":"Sylvain","full_name":"Rama, Sylvain","last_name":"Rama"},{"first_name":"Kaiyu","full_name":"Zheng, Kaiyu","last_name":"Zheng"},{"last_name":"Jensen","full_name":"Jensen, Thomas P.","first_name":"Thomas P."},{"first_name":"Inmaculada","full_name":"Sanchez-Romero, Inmaculada","id":"3D9C5D30-F248-11E8-B48F-1D18A9856A87","last_name":"Sanchez-Romero"},{"full_name":"Jackson, Colin J.","first_name":"Colin J.","last_name":"Jackson"},{"orcid":"0000-0002-8023-9315","last_name":"Janovjak","full_name":"Janovjak, Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","first_name":"Harald L"},{"full_name":"Ottersen, Ole Petter","first_name":"Ole Petter","last_name":"Ottersen"},{"last_name":"Nagelhus","first_name":"Erlend Arnulf","full_name":"Nagelhus, Erlend Arnulf"},{"first_name":"Stephane H.R.","full_name":"Oliet, Stephane H.R.","last_name":"Oliet"},{"first_name":"Michael G.","full_name":"Stewart, Michael G.","last_name":"Stewart"},{"first_name":"U. VAlentin","full_name":"Nägerl, U. VAlentin","last_name":"Nägerl"},{"last_name":"Rusakov","first_name":"Dmitri A. ","full_name":"Rusakov, Dmitri A. "}],"status":"public","month":"12","_id":"8674","article_type":"original","issue":"5","file_date_updated":"2020-12-10T14:42:09Z","publication_status":"published","quality_controlled":"1","date_updated":"2026-04-16T09:33:03Z","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"apa":"Henneberger, C., Bard, L., Panatier, A., Reynolds, J. P., Kopach, O., Medvedev, N. I., … Rusakov, D. A. (2020). LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.08.030\">https://doi.org/10.1016/j.neuron.2020.08.030</a>","chicago":"Henneberger, Christian, Lucie Bard, Aude Panatier, James P. Reynolds, Olga Kopach, Nikolay I. Medvedev, Daniel Minge, et al. “LTP Induction Boosts Glutamate Spillover by Driving Withdrawal of Perisynaptic Astroglia.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.08.030\">https://doi.org/10.1016/j.neuron.2020.08.030</a>.","mla":"Henneberger, Christian, et al. “LTP Induction Boosts Glutamate Spillover by Driving Withdrawal of Perisynaptic Astroglia.” <i>Neuron</i>, vol. 108, no. 5, Elsevier, 2020, p. P919–936.E11, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.08.030\">10.1016/j.neuron.2020.08.030</a>.","ieee":"C. Henneberger <i>et al.</i>, “LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia,” <i>Neuron</i>, vol. 108, no. 5. Elsevier, p. P919–936.E11, 2020.","short":"C. Henneberger, L. Bard, A. Panatier, J.P. Reynolds, O. Kopach, N.I. Medvedev, D. Minge, M.K. Herde, S. Anders, I. Kraev, J.P. Heller, S. Rama, K. Zheng, T.P. Jensen, I. Sanchez-Romero, C.J. Jackson, H.L. Janovjak, O.P. Ottersen, E.A. Nagelhus, S.H.R. Oliet, M.G. Stewart, U.Va. Nägerl, D.A. Rusakov, Neuron 108 (2020) P919–936.E11.","ista":"Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.","ama":"Henneberger C, Bard L, Panatier A, et al. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. <i>Neuron</i>. 2020;108(5):P919-936.E11. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.08.030\">10.1016/j.neuron.2020.08.030</a>"},"oa":1,"type":"journal_article","date_created":"2020-10-18T22:01:38Z","abstract":[{"text":"Extrasynaptic actions of glutamate are limited by high-affinity transporters expressed by perisynaptic astroglial processes (PAPs): this helps maintain point-to-point transmission in excitatory circuits. Memory formation in the brain is associated with synaptic remodeling, but how this affects PAPs and therefore extrasynaptic glutamate actions is poorly understood. Here, we used advanced imaging methods, in situ and in vivo, to find that a classical synaptic memory mechanism, long-term potentiation (LTP), triggers withdrawal of PAPs from potentiated synapses. Optical glutamate sensors combined with patch-clamp and 3D molecular localization reveal that LTP induction thus prompts spatial retreat of astroglial glutamate transporters, boosting glutamate spillover and NMDA-receptor-mediated inter-synaptic cross-talk. The LTP-triggered PAP withdrawal involves NKCC1 transporters and the actin-controlling protein cofilin but does not depend on major Ca2+-dependent cascades in astrocytes. We have therefore uncovered a mechanism by which a memory trace at one synapse could alter signal handling by multiple neighboring connections.","lang":"eng"}],"article_processing_charge":"No","acknowledgement":"We thank J. Angibaud for organotypic cultures and R. Chereau and J. Tonnesen for help with the STED microscope; also D. Gonzales and the Neurocentre Magendie INSERM U1215 Genotyping Platform, for breeding management and genotyping. This work was supported by the Wellcome Trust Principal Fellowships 101896 and 212251, ERC Advanced Grant 323113, ERC Proof-of-Concept Grant 767372, EC FP7 ITN 606950, and EU CSA 811011 (D.A.R.); NRW-Rückkehrerpogramm, UCL Excellence Fellowship, German Research Foundation (DFG) SPP1757 and SFB1089 (C.H.); Human Frontiers Science Program (C.H., C.J.J., and H.J.); EMBO Long-Term Fellowship (L.B.); Marie Curie FP7 PIRG08-GA-2010-276995 (A.P.), ASTROMODULATION (S.R.); Equipe FRM DEQ 201 303 26519, Conseil Régional d’Aquitaine R12056GG, INSERM (S.H.R.O.); ANR SUPERTri, ANR Castro (ANR-17-CE16-0002), R-13-BSV4-0007-01, Université de Bordeaux, labex BRAIN (S.H.R.O. and U.V.N.); CNRS (A.P., S.H.R.O., and U.V.N.); HFSP, ANR CEXC, and France-BioImaging ANR-10-INSB-04 (U.V.N.); and FP7 MemStick Project No. 201600 (M.G.S.).","pmid":1,"publication_identifier":{"issn":["0896-6273"],"eissn":["1097-4199"]},"oa_version":"Published Version","scopus_import":"1","date_published":"2020-12-09T00:00:00Z","volume":108,"language":[{"iso":"eng"}],"ddc":["570"],"department":[{"_id":"HaJa"}],"day":"09","intvolume":"       108","has_accepted_license":"1","external_id":{"pmid":["32976770"],"isi":["000603428000010"]},"publication":"Neuron"},{"oa_version":"Preprint","scopus_import":"1","publication_identifier":{"isbn":["9783030453732"],"issn":["0302-9743"],"eissn":["1611-3349"]},"type":"conference","abstract":[{"text":"Discrete Gaussian distributions over lattices are central to lattice-based cryptography, and to the computational and mathematical aspects of lattices more broadly. The literature contains a wealth of useful theorems about the behavior of discrete Gaussians under convolutions and related operations. Yet despite their structural similarities, most of these theorems are formally incomparable, and their proofs tend to be monolithic and written nearly “from scratch,” making them unnecessarily hard to verify, understand, and extend.\r\nIn this work we present a modular framework for analyzing linear operations on discrete Gaussian distributions. The framework abstracts away the particulars of Gaussians, and usually reduces proofs to the choice of appropriate linear transformations and elementary linear algebra. To showcase the approach, we establish several general properties of discrete Gaussians, and show how to obtain all prior convolution theorems (along with some new ones) as straightforward corollaries. As another application, we describe a self-reduction for Learning With Errors (LWE) that uses a fixed number of samples to generate an unlimited number of additional ones (having somewhat larger error). The distinguishing features of our reduction are its simple analysis in our framework, and its exclusive use of discrete Gaussians without any loss in parameters relative to a prior mixed discrete-and-continuous approach.\r\nAs a contribution of independent interest, for subgaussian random matrices we prove a singular value concentration bound with explicitly stated constants, and we give tighter heuristics for specific distributions that are commonly used for generating lattice trapdoors. These bounds yield improvements in the concrete bit-security estimates for trapdoor lattice cryptosystems.","lang":"eng"}],"date_created":"2020-09-06T22:01:13Z","date_updated":"2026-04-16T09:32:27Z","oa":1,"citation":{"short":"N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.","ista":"Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.","ama":"Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>. Vol 12110. Springer Nature; 2020:623-651. doi:<a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">10.1007/978-3-030-45374-9_21</a>","ieee":"N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.","mla":"Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, vol. 12110, Springer Nature, 2020, pp. 623–51, doi:<a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">10.1007/978-3-030-45374-9_21</a>.","apa":"Genise, N., Micciancio, D., Peikert, C., &#38; Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i> (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">https://doi.org/10.1007/978-3-030-45374-9_21</a>","chicago":"Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, 12110:623–51. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">https://doi.org/10.1007/978-3-030-45374-9_21</a>."},"conference":{"name":"PKC: Public-Key Cryptography","end_date":"2020-05-07","location":"Edinburgh, United Kingdom","start_date":"2020-05-04"},"article_processing_charge":"No","day":"15","intvolume":"     12110","ec_funded":1,"alternative_title":["LNCS"],"publication":"23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography","external_id":{"isi":["001299210200021"]},"date_published":"2020-05-15T00:00:00Z","department":[{"_id":"KrPi"}],"volume":12110,"language":[{"iso":"eng"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","doi":"10.1007/978-3-030-45374-9_21","publisher":"Springer Nature","year":"2020","isi":1,"title":"Improved discrete Gaussian and subgaussian analysis for lattice cryptography","page":"623-651","_id":"8339","publication_status":"published","quality_controlled":"1","project":[{"name":"Teaching Old Crypto New Tricks","grant_number":"682815","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"author":[{"last_name":"Genise","full_name":"Genise, Nicholas","first_name":"Nicholas"},{"last_name":"Micciancio","full_name":"Micciancio, Daniele","first_name":"Daniele"},{"last_name":"Peikert","full_name":"Peikert, Chris","first_name":"Chris"},{"orcid":"0000-0003-3186-2482","first_name":"Michael","full_name":"Walter, Michael","id":"488F98B0-F248-11E8-B48F-1D18A9856A87","last_name":"Walter"}],"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/337"}],"status":"public","month":"05"},{"oa_version":"Preprint","series_title":"LNCS","scopus_import":"1","publication_identifier":{"isbn":["9783030652760"],"eissn":["1611-3349"],"issn":["0302-9743"]},"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","date_created":"2021-01-03T23:01:23Z","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."}],"type":"conference","oa":1,"citation":{"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.","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>.","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>","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>.","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.","short":"K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.","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>"},"date_updated":"2026-04-16T09:33:26Z","publication":"Progress in Cryptology","external_id":{"isi":["000927592800001"]},"ec_funded":1,"intvolume":"     12578","day":"08","department":[{"_id":"KrPi"}],"volume":12578,"language":[{"iso":"eng"}],"date_published":"2020-12-08T00:00:00Z","doi":"10.1007/978-3-030-65277-7_1","publisher":"Springer Nature","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"3-15","isi":1,"title":"Delayed authentication: Preventing replay and relay attacks in private contact tracing","year":"2020","publication_status":"published","quality_controlled":"1","_id":"8987","month":"12","status":"public","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/418"}],"project":[{"call_identifier":"H2020","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks"}],"author":[{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","last_name":"Pietrzak"}]},{"article_processing_charge":"No","acknowledgement":"We would like to thank the anonymous reviewers for their helpful comments and suggestions. The work was initiated while the first author was in IIT Madras, India. Part of this work was done while the author was visiting the University of Warsaw. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (682815 - TOCNeT) and from the Foundation for Polish Science under grant TEAM/2016-1/4 founded within the UE 2014–2020 Smart Growth Operational Program. The last author was supported by the Independent Research Fund Denmark project BETHE and the Concordium Blockchain Research Center, Aarhus University, Denmark.","conference":{"end_date":"2020-08-21","start_date":"2020-08-17","location":"Santa Barbara, CA, United States","name":"CRYPTO: Annual International Cryptology Conference"},"oa":1,"citation":{"ama":"Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: <i>Advances in Cryptology – CRYPTO 2020</i>. Vol 12171. Springer Nature; 2020:732-762. doi:<a href=\"https://doi.org/10.1007/978-3-030-56880-1_26\">10.1007/978-3-030-56880-1_26</a>","short":"S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.","ista":"Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.","apa":"Chakraborty, S., Dziembowski, S., &#38; Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In <i>Advances in Cryptology – CRYPTO 2020</i> (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-56880-1_26\">https://doi.org/10.1007/978-3-030-56880-1_26</a>","chicago":"Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.” In <i>Advances in Cryptology – CRYPTO 2020</i>, 12171:732–62. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-56880-1_26\">https://doi.org/10.1007/978-3-030-56880-1_26</a>.","mla":"Chakraborty, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.” <i>Advances in Cryptology – CRYPTO 2020</i>, vol. 12171, Springer Nature, 2020, pp. 732–62, doi:<a href=\"https://doi.org/10.1007/978-3-030-56880-1_26\">10.1007/978-3-030-56880-1_26</a>.","ieee":"S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in <i>Advances in Cryptology – CRYPTO 2020</i>, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762."},"date_updated":"2026-04-16T09:31:34Z","abstract":[{"lang":"eng","text":"Reverse firewalls were introduced at Eurocrypt 2015 by Miro-nov and Stephens-Davidowitz, as a method for protecting cryptographic protocols against attacks on the devices of the honest parties. In a nutshell: a reverse firewall is placed outside of a device and its goal is to “sanitize” the messages sent by it, in such a way that a malicious device cannot leak its secrets to the outside world. It is typically assumed that the cryptographic devices are attacked in a “functionality-preserving way” (i.e. informally speaking, the functionality of the protocol remains unchanged under this attacks). In their paper, Mironov and Stephens-Davidowitz construct a protocol for passively-secure two-party computations with firewalls, leaving extension of this result to stronger models as an open question.\r\nIn this paper, we address this problem by constructing a protocol for secure computation with firewalls that has two main advantages over the original protocol from Eurocrypt 2015. Firstly, it is a multiparty computation protocol (i.e. it works for an arbitrary number n of the parties, and not just for 2). Secondly, it is secure in much stronger corruption settings, namely in the active corruption model. More precisely: we consider an adversary that can fully corrupt up to 𝑛−1 parties, while the remaining parties are corrupt in a functionality-preserving way.\r\nOur core techniques are: malleable commitments and malleable non-interactive zero-knowledge, which in particular allow us to create a novel protocol for multiparty augmented coin-tossing into the well with reverse firewalls (that is based on a protocol of Lindell from Crypto 2001)."}],"date_created":"2020-08-30T22:01:12Z","type":"conference","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783030568795"]},"oa_version":"Preprint","scopus_import":"1","volume":12171,"language":[{"iso":"eng"}],"department":[{"_id":"KrPi"}],"date_published":"2020-08-10T00:00:00Z","external_id":{"isi":["001415325700026"]},"publication":"Advances in Cryptology – CRYPTO 2020","alternative_title":["LNCS"],"ec_funded":1,"intvolume":"     12171","day":"10","page":"732-762","title":"Reverse firewalls for actively secure MPCs","isi":1,"year":"2020","publisher":"Springer Nature","doi":"10.1007/978-3-030-56880-1_26","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"08","status":"public","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2019/1317"}],"author":[{"last_name":"Chakraborty","id":"B9CD0494-D033-11E9-B219-A439E6697425","full_name":"Chakraborty, Suvradip","first_name":"Suvradip"},{"last_name":"Dziembowski","full_name":"Dziembowski, Stefan","first_name":"Stefan"},{"last_name":"Nielsen","full_name":"Nielsen, Jesper Buus","first_name":"Jesper Buus"}],"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"682815","name":"Teaching Old Crypto New Tricks"}],"quality_controlled":"1","publication_status":"published","_id":"8322"},{"status":"public","main_file_link":[{"url":"https://arxiv.org/abs/2012.07458","open_access":"1"}],"month":"12","author":[{"full_name":"Gruenbacher, Sophie","first_name":"Sophie","last_name":"Gruenbacher"},{"first_name":"Jacek","full_name":"Cyranka, Jacek","last_name":"Cyranka"},{"first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","last_name":"Lechner"},{"full_name":"Islam, Md Ariful","first_name":"Md Ariful","last_name":"Islam"},{"first_name":"Scott A.","full_name":"Smolka, Scott A.","last_name":"Smolka"},{"first_name":"Radu","full_name":"Grosu, Radu","last_name":"Grosu"}],"project":[{"name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","publication_status":"published","_id":"9103","page":"1556-1563","year":"2020","title":"Lagrangian reachtubes: The next generation","publisher":"IEEE","doi":"10.1109/CDC42340.2020.9304042","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","volume":2020,"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"date_published":"2020-12-14T00:00:00Z","external_id":{"arxiv":["2012.07458"]},"publication":"Proceedings of the 59th IEEE Conference on Decision and Control","day":"14","intvolume":"      2020","article_processing_charge":"No","conference":{"end_date":"2020-12-18","start_date":"2020-12-14","location":"Jeju Islang, Korea (South)","name":"CDC: Conference on Decision and Control"},"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","date_updated":"2026-04-16T09:34:59Z","oa":1,"arxiv":1,"citation":{"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>.","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>.","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.","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.","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>"},"type":"conference","abstract":[{"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*.","lang":"eng"}],"date_created":"2021-02-07T23:01:14Z","publication_identifier":{"issn":["0743-1546"],"isbn":["9781728174471"]},"scopus_import":"1","oa_version":"Preprint"},{"intvolume":"     12166","day":"24","publication":"Automated Reasoning","alternative_title":["LNCS"],"external_id":{"isi":["000884318000002"]},"date_published":"2020-06-24T00:00:00Z","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"volume":12166,"oa_version":"Published Version","scopus_import":"1","publication_identifier":{"isbn":["9783030510732"],"issn":["0302-9743"],"eissn":["1611-3349"]},"abstract":[{"lang":"eng","text":"Fixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded systems. Existing work on the verification of fixed-point programs relies on custom formalizations of fixed-point arithmetic, which makes it hard to compare the described techniques or reuse the implementations. In this paper, we address this issue by proposing and formalizing an SMT theory of fixed-point arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point theory, and provide formal semantics for it based on rational arithmetic. We also describe two decision procedures for this theory: one based on the theory of bit-vectors and the other on the theory of reals. We implement the two decision procedures, and evaluate our implementations using existing mature SMT solvers on a benchmark suite we created. Finally, we perform a case study of using the theory we propose to verify properties of quantized neural networks."}],"date_created":"2020-08-02T22:00:59Z","type":"conference","oa":1,"citation":{"chicago":"Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In <i>Automated Reasoning</i>, 12166:13–31. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>.","apa":"Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &#38; Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In <i>Automated Reasoning</i> (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>","mla":"Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” <i>Automated Reasoning</i>, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>.","ieee":"M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in <i>Automated Reasoning</i>, Paris, France, 2020, vol. 12166, pp. 13–31.","ama":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: <i>Automated Reasoning</i>. Vol 12166. Springer Nature; 2020:13-31. doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>","ista":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.","short":"M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31."},"date_updated":"2026-04-16T09:29:42Z","conference":{"name":"IJCAR: International Joint Conference on Automated Reasoning","start_date":"2020-07-01","location":"Paris, France","end_date":"2020-07-04"},"article_processing_charge":"No","_id":"8194","publication_status":"published","quality_controlled":"1","project":[{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"author":[{"first_name":"Marek","full_name":"Baranowski, Marek","last_name":"Baranowski"},{"first_name":"Shaobo","full_name":"He, Shaobo","last_name":"He"},{"last_name":"Lechner","first_name":"Mathias","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Nguyen","first_name":"Thanh Son","full_name":"Nguyen, Thanh Son"},{"last_name":"Rakamarić","first_name":"Zvonimir","full_name":"Rakamarić, Zvonimir"}],"month":"06","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/978-3-030-51074-9_2"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","doi":"10.1007/978-3-030-51074-9_2","publisher":"Springer Nature","title":"An SMT theory of fixed-point arithmetic","year":"2020","isi":1,"page":"13-31"},{"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"Elsevier","doi":"10.1016/j.neuron.2020.01.021","title":"Assembly-specific disruption of hippocampal replay leads to selective memory deficit","isi":1,"year":"2020","page":"291-300.e6","_id":"7684","article_type":"original","issue":"2","publication_status":"published","quality_controlled":"1","author":[{"first_name":"Igor","id":"4B60654C-F248-11E8-B48F-1D18A9856A87","full_name":"Gridchyn, Igor","last_name":"Gridchyn","orcid":"0000-0002-1807-1929"},{"full_name":"Schönenberger, Philipp","id":"3B9D816C-F248-11E8-B48F-1D18A9856A87","first_name":"Philipp","last_name":"Schönenberger"},{"last_name":"O'Neill","first_name":"Joseph","full_name":"O'Neill, Joseph","id":"426376DC-F248-11E8-B48F-1D18A9856A87"},{"id":"3FA14672-F248-11E8-B48F-1D18A9856A87","full_name":"Csicsvari, Jozsef L","first_name":"Jozsef L","last_name":"Csicsvari","orcid":"0000-0002-5193-4036"}],"project":[{"grant_number":"281511","call_identifier":"FP7","_id":"257A4776-B435-11E9-9278-68D0E5697425","name":"Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex"}],"related_material":{"link":[{"description":"News on IST Homepage","relation":"press_release","url":"https://ist.ac.at/en/news/librarian-of-memory/"}]},"status":"public","main_file_link":[{"url":"https://doi.org/10.1016/j.neuron.2020.01.021","open_access":"1"}],"month":"04","pmid":1,"publication_identifier":{"issn":["0896-6273"],"eissn":["1097-4199"]},"scopus_import":"1","oa_version":"Published Version","date_updated":"2026-04-16T09:29:06Z","oa":1,"citation":{"ieee":"I. Gridchyn, P. Schönenberger, J. O’Neill, and J. L. Csicsvari, “Assembly-specific disruption of hippocampal replay leads to selective memory deficit,” <i>Neuron</i>, vol. 106, no. 2. Elsevier, p. 291–300.e6, 2020.","mla":"Gridchyn, Igor, et al. “Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory Deficit.” <i>Neuron</i>, vol. 106, no. 2, Elsevier, 2020, p. 291–300.e6, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.01.021\">10.1016/j.neuron.2020.01.021</a>.","apa":"Gridchyn, I., Schönenberger, P., O’Neill, J., &#38; Csicsvari, J. L. (2020). Assembly-specific disruption of hippocampal replay leads to selective memory deficit. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.01.021\">https://doi.org/10.1016/j.neuron.2020.01.021</a>","chicago":"Gridchyn, Igor, Philipp Schönenberger, Joseph O’Neill, and Jozsef L Csicsvari. “Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory Deficit.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.01.021\">https://doi.org/10.1016/j.neuron.2020.01.021</a>.","short":"I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020) 291–300.e6.","ista":"Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. 2020. Assembly-specific disruption of hippocampal replay leads to selective memory deficit. Neuron. 106(2), 291–300.e6.","ama":"Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. Assembly-specific disruption of hippocampal replay leads to selective memory deficit. <i>Neuron</i>. 2020;106(2):291-300.e6. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.01.021\">10.1016/j.neuron.2020.01.021</a>"},"type":"journal_article","date_created":"2020-04-26T22:00:45Z","article_processing_charge":"No","day":"22","ec_funded":1,"intvolume":"       106","external_id":{"pmid":["32070475"],"isi":["000528268200013"]},"publication":"Neuron","date_published":"2020-04-22T00:00:00Z","language":[{"iso":"eng"}],"volume":106,"department":[{"_id":"JoCs"}]}]