[{"date_updated":"2026-06-18T19:32:35Z","month":"12","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1002/anie.202008253"}],"acknowledgement":"The Austrian Research Promotion Agency (FFG) is gratefully acknowledged for financial support of the project LignoBatt (860429).","article_type":"original","oa":1,"oa_version":"Published Version","_id":"8329","external_id":{"isi":["000576148700001"]},"publication_status":"published","author":[{"first_name":"Werner","full_name":"Schlemmer, Werner","last_name":"Schlemmer"},{"first_name":"Philipp","full_name":"Nothdurft, Philipp","last_name":"Nothdurft"},{"last_name":"Petzold","full_name":"Petzold, Alina","first_name":"Alina"},{"full_name":"Frühwirt, Philipp","first_name":"Philipp","last_name":"Frühwirt"},{"first_name":"Max","full_name":"Schmallegger, Max","last_name":"Schmallegger"},{"full_name":"Gescheidt-Demner, Georg","first_name":"Georg","last_name":"Gescheidt-Demner"},{"first_name":"Roland","full_name":"Fischer, Roland","last_name":"Fischer"},{"first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger"},{"last_name":"Kern","first_name":"Wolfgang","full_name":"Kern, Wolfgang"},{"full_name":"Spirk, Stefan","first_name":"Stefan","last_name":"Spirk"}],"publisher":"Wiley","day":"14","doi":"10.1002/anie.202008253","abstract":[{"lang":"eng","text":"We show the synthesis of a redox‐active quinone, 2‐methoxy‐1,4‐hydroquinone (MHQ), from a bio‐based feedstock and its suitability as electrolyte in aqueous redox flow batteries. We identified semiquinone intermediates at insufficiently low pH and quinoid radicals as responsible for decomposition of MHQ under electrochemical conditions. Both can be avoided and/or stabilized, respectively, using H 3 PO 4 electrolyte, allowing for reversible cycling in a redox flow battery for hundreds of cycles."}],"article_processing_charge":"No","ddc":["540"],"intvolume":" 59","page":"22943-22946","date_published":"2020-12-14T00:00:00Z","isi":1,"publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"department":[{"_id":"StFr"}],"date_created":"2020-09-03T16:10:56Z","scopus_import":"1","quality_controlled":"1","related_material":{"record":[{"status":"public","id":"9780","relation":"research_data"}]},"citation":{"short":"W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.","ista":"Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 59(51), 22943–22946.","mla":"Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59, no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.","ama":"Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 2020;59(51):22943-22946. doi:10.1002/anie.202008253","apa":"Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253","ieee":"W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59, no. 51. Wiley, pp. 22943–22946, 2020.","chicago":"Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley, 2020. https://doi.org/10.1002/anie.202008253."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","volume":59,"year":"2020","issue":"51","type":"journal_article","language":[{"iso":"eng"}],"publication":"Angewandte Chemie International Edition","title":"2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries"},{"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/337"}],"date_updated":"2026-04-16T09:32:27Z","month":"05","oa_version":"Preprint","oa":1,"doi":"10.1007/978-3-030-45374-9_21","article_processing_charge":"No","abstract":[{"lang":"eng","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."}],"external_id":{"isi":["001299210200021"]},"_id":"8339","publication_status":"published","author":[{"first_name":"Nicholas","full_name":"Genise, Nicholas","last_name":"Genise"},{"first_name":"Daniele","full_name":"Micciancio, Daniele","last_name":"Micciancio"},{"first_name":"Chris","full_name":"Peikert, Chris","last_name":"Peikert"},{"first_name":"Michael","orcid":"0000-0003-3186-2482","full_name":"Walter, Michael","last_name":"Walter","id":"488F98B0-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Springer Nature","project":[{"call_identifier":"H2020","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks"}],"conference":{"end_date":"2020-05-07","name":"PKC: Public-Key Cryptography","location":"Edinburgh, United Kingdom","start_date":"2020-05-04"},"day":"15","ec_funded":1,"page":"623-651","alternative_title":["LNCS"],"date_published":"2020-05-15T00:00:00Z","intvolume":" 12110","isi":1,"department":[{"_id":"KrPi"}],"publication_identifier":{"eissn":["1611-3349"],"isbn":["9783030453732"],"issn":["0302-9743"]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ama":"Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21","mla":"Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020, pp. 623–51, doi:10.1007/978-3-030-45374-9_21.","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.","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.","chicago":"Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21.","ieee":"N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.","apa":"Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21"},"status":"public","volume":12110,"date_created":"2020-09-06T22:01:13Z","quality_controlled":"1","scopus_import":"1","language":[{"iso":"eng"}],"publication":"23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography","title":"Improved discrete Gaussian and subgaussian analysis for lattice cryptography","year":"2020","type":"conference"},{"type":"dissertation","year":"2020","corr_author":"1","title":"Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers","file":[{"file_size":141602462,"relation":"main_file","file_name":"phd_thesis_pcaldas.pdf","checksum":"882f93fe9c351962120e2669b84bf088","date_created":"2020-09-10T12:11:29Z","date_updated":"2020-09-10T12:11:29Z","content_type":"application/pdf","file_id":"8364","access_level":"open_access","success":1,"creator":"pcaldas"},{"file_id":"8365","access_level":"closed","creator":"pcaldas","relation":"source_file","file_size":450437458,"file_name":"phd_thesis_latex_pcaldas.zip","checksum":"70cc9e399c4e41e6e6ac445ae55e8558","date_created":"2020-09-10T12:18:17Z","date_updated":"2020-09-11T07:48:10Z","content_type":"application/x-zip-compressed"}],"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"7197"},{"relation":"dissertation_contains","id":"7572","status":"public"}]},"degree_awarded":"PhD","date_created":"2020-09-10T09:26:49Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"mla":"Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.","ama":"Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358","short":"P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.","ista":"Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.","chicago":"Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8358.","apa":"Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358","ieee":"P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020."},"supervisor":[{"first_name":"Martin","orcid":"0000-0001-7309-9724","full_name":"Loose, Martin","last_name":"Loose","id":"462D4284-F248-11E8-B48F-1D18A9856A87"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-009-1"]},"department":[{"_id":"MaLo"}],"acknowledged_ssus":[{"_id":"Bio"}],"OA_place":"publisher","alternative_title":["ISTA Thesis"],"date_published":"2020-09-10T00:00:00Z","page":"135","ddc":["572"],"day":"10","_id":"8358","publisher":"Institute of Science and Technology Austria","author":[{"id":"38FCDB4C-F248-11E8-B48F-1D18A9856A87","last_name":"Dos Santos Caldas","first_name":"Paulo R","full_name":"Dos Santos Caldas, Paulo R","orcid":"0000-0001-6730-4461"}],"publication_status":"published","doi":"10.15479/AT:ISTA:8358","abstract":[{"lang":"eng","text":"During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like structure at the center of the cell. This so-called Z-ring acts as a scaffold recruiting several division-related proteins to mid-cell and plays a key role in distributing proteins at the division site, a feature driven by the treadmilling motion of FtsZ filaments around the septum. What regulates the architecture, dynamics and stability of the Z-ring is still poorly understood, but FtsZ-associated proteins (Zaps) are known to play an important role. \r\nAdvances in fluorescence microscopy and in vitro reconstitution experiments have helped to shed light into some of the dynamic properties of these complex systems, but methods that allow to collect and analyze large quantitative data sets of the underlying polymer dynamics are still missing.\r\nHere, using an in vitro reconstitution approach, we studied how different Zaps affect FtsZ filament dynamics and organization into large-scale patterns, giving special emphasis to the role of the well-conserved protein ZapA. For this purpose, we use high-resolution fluorescence microscopy combined with novel image analysis workfows to study pattern organization and polymerization dynamics of active filaments. We quantified the influence of Zaps on FtsZ on three diferent spatial scales: the large-scale organization of the membrane-bound filament network, the underlying\r\npolymerization dynamics and the behavior of single molecules.\r\nWe found that ZapA cooperatively increases the spatial order of the filament network, binds only transiently to FtsZ filaments and has no effect on filament length and treadmilling velocity. Our data provides a model for how FtsZ-associated proteins can increase the precision and stability of the bacterial cell division machinery in a\r\nswitch-like manner, without compromising filament dynamics. Furthermore, we believe that our automated quantitative methods can be used to analyze a large variety of dynamic cytoskeletal systems, using standard time-lapse\r\nmovies of homogeneously labeled proteins obtained from experiments in vitro or even inside the living cell.\r\n"}],"article_processing_charge":"No","oa":1,"oa_version":"Published Version","file_date_updated":"2020-09-11T07:48:10Z","month":"09","has_accepted_license":"1","date_updated":"2026-04-08T07:26:30Z","acknowledgement":"I should also express my gratitude to the bioimaging facility at IST Austria, for their assistance with the TIRF setup over the years, and especially to Christoph Sommer, who gave me a lot of input when I was starting to dive into programming."},{"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"}],"supervisor":[{"full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"}],"department":[{"_id":"BeBi"}],"publication_identifier":{"isbn":["978-3-99078-010-7"],"issn":["2663-337X"]},"OA_place":"publisher","page":"118","alternative_title":["ISTA Thesis"],"date_published":"2020-09-21T00:00:00Z","type":"dissertation","year":"2020","file":[{"file_name":"thesis_rguseinov.pdf","checksum":"f8da89553da36037296b0a80f14ebf50","relation":"main_file","file_size":70950442,"content_type":"application/pdf","date_created":"2020-09-10T16:11:49Z","date_updated":"2020-09-10T16:11:49Z","success":1,"access_level":"open_access","file_id":"8367","creator":"rguseino"},{"date_created":"2020-09-11T09:39:48Z","date_updated":"2020-09-16T15:11:01Z","content_type":"application/x-zip-compressed","file_size":76207597,"relation":"source_file","file_name":"thesis_source.zip","checksum":"e8fd944c960c20e0e27e6548af69121d","creator":"rguseino","access_level":"closed","file_id":"8374"}],"language":[{"iso":"eng"}],"corr_author":"1","title":"Computational design of curved thin shells: From glass façades to programmable matter","date_created":"2020-09-10T16:19:55Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"8562","status":"public"},{"relation":"research_data","id":"8375","status":"public"},{"relation":"research_data","id":"7151","status":"deleted"},{"relation":"part_of_dissertation","id":"1001","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"7262"}]},"degree_awarded":"PhD","citation":{"ieee":"R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.","apa":"Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366","chicago":"Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.","short":"R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.","ista":"Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.","ama":"Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366","mla":"Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8366."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","status":"public","oa":1,"oa_version":"Published Version","file_date_updated":"2020-09-16T15:11:01Z","keyword":["computer-aided design","shape modeling","self-morphing","mechanical engineering"],"has_accepted_license":"1","date_updated":"2026-04-08T07:25:22Z","month":"09","acknowledgement":"During the work on this thesis, I received substantial support from IST Austria’s scientific service units. A big thank you to Todor Asenov and other Miba Machine Shop team members for their help with fabrication of experimental prototypes. In addition, I would like to thank Scientific Computing team for the support with high performance computing.\r\nFinancial support was provided by the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, which I gratefully acknowledge.","ddc":["000"],"ec_funded":1,"publication_status":"published","_id":"8366","publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Guseinov","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ruslan","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan"}],"project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767","call_identifier":"H2020"}],"day":"21","doi":"10.15479/AT:ISTA:8366","abstract":[{"text":"Fabrication of curved shells plays an important role in modern design, industry, and science. Among their remarkable properties are, for example, aesthetics of organic shapes, ability to evenly distribute loads, or efficient flow separation. They find applications across vast length scales ranging from sky-scraper architecture to microscopic devices. But, at\r\nthe same time, the design of curved shells and their manufacturing process pose a variety of challenges. In this thesis, they are addressed from several perspectives. In particular, this thesis presents approaches based on the transformation of initially flat sheets into the target curved surfaces. This involves problems of interactive design of shells with nontrivial mechanical constraints, inverse design of complex structural materials, and data-driven modeling of delicate and time-dependent physical properties. At the same time, two newly-developed self-morphing mechanisms targeting flat-to-curved transformation are presented.\r\nIn architecture, doubly curved surfaces can be realized as cold bent glass panelizations. Originally flat glass panels are bent into frames and remain stressed. This is a cost-efficient fabrication approach compared to hot bending, when glass panels are shaped plastically. However such constructions are prone to breaking during bending, and it is highly\r\nnontrivial to navigate the design space, keeping the panels fabricable and aesthetically pleasing at the same time. We introduce an interactive design system for cold bent glass façades, while previously even offline optimization for such scenarios has not been sufficiently developed. Our method is based on a deep learning approach providing quick\r\nand high precision estimation of glass panel shape and stress while handling the shape\r\nmultimodality.\r\nFabrication of smaller objects of scales below 1 m, can also greatly benefit from shaping originally flat sheets. In this respect, we designed new self-morphing shell mechanisms transforming from an initial flat state to a doubly curved state with high precision and detail. Our so-called CurveUps demonstrate the encodement of the geometric information\r\ninto the shell. Furthermore, we explored the frontiers of programmable materials and showed how temporal information can additionally be encoded into a flat shell. This allows prescribing deformation sequences for doubly curved surfaces and, thus, facilitates self-collision avoidance enabling complex shapes and functionalities otherwise impossible.\r\nBoth of these methods include inverse design tools keeping the user in the design loop.","lang":"eng"}],"article_processing_charge":"No"},{"acknowledgement":"Last but not least, I would like to acknowledge the support of the IST IT and scientific computing team for helping provide a great work environment.","month":"09","date_updated":"2026-04-08T07:26:44Z","has_accepted_license":"1","oa_version":"Published Version","file_date_updated":"2020-09-14T13:39:17Z","oa":1,"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Deep neural networks have established a new standard for data-dependent feature extraction pipelines in the Computer Vision literature. Despite their remarkable performance in the standard supervised learning scenario, i.e. when models are trained with labeled data and tested on samples that follow a similar distribution, neural networks have been shown to struggle with more advanced generalization abilities, such as transferring knowledge across visually different domains, or generalizing to new unseen combinations of known concepts. In this thesis we argue that, in contrast to the usual black-box behavior of neural networks, leveraging more structured internal representations is a promising direction\r\nfor tackling such problems. In particular, we focus on two forms of structure. First, we tackle modularity: We show that (i) compositional architectures are a natural tool for modeling reasoning tasks, in that they efficiently capture their combinatorial nature, which is key for generalizing beyond the compositions seen during training. We investigate how to to learn such models, both formally and experimentally, for the task of abstract visual reasoning. Then, we show that (ii) in some settings, modularity allows us to efficiently break down complex tasks into smaller, easier, modules, thereby improving computational efficiency; We study this behavior in the context of generative models for colorization, as well as for small objects detection. Secondly, we investigate the inherently layered structure of representations learned by neural networks, and analyze its role in the context of transfer learning and domain adaptation across visually\r\ndissimilar domains. "}],"doi":"10.15479/AT:ISTA:8390","day":"14","publication_status":"published","_id":"8390","author":[{"id":"3811D890-F248-11E8-B48F-1D18A9856A87","last_name":"Royer","full_name":"Royer, Amélie","orcid":"0000-0002-8407-0705","first_name":"Amélie"}],"publisher":"Institute of Science and Technology Austria","ddc":["000"],"date_published":"2020-09-14T00:00:00Z","alternative_title":["ISTA Thesis"],"page":"197","OA_place":"publisher","department":[{"_id":"ChLa"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-007-7"]},"supervisor":[{"first_name":"Christoph","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert"}],"acknowledged_ssus":[{"_id":"CampIT"},{"_id":"ScienComp"}],"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ieee":"A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.","apa":"Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390","chicago":"Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390.","ista":"Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.","short":"A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.","ama":"Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390","mla":"Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390."},"related_material":{"record":[{"relation":"part_of_dissertation","id":"7936","status":"public"},{"relation":"part_of_dissertation","id":"8092","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"911"},{"relation":"part_of_dissertation","id":"8193","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"7937"}]},"degree_awarded":"PhD","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"date_created":"2020-09-14T13:42:09Z","title":"Leveraging structure in Computer Vision tasks for flexible Deep Learning models","corr_author":"1","language":[{"iso":"eng"}],"file":[{"creator":"dernst","success":1,"file_id":"8391","access_level":"open_access","content_type":"application/pdf","date_updated":"2020-09-14T13:39:14Z","date_created":"2020-09-14T13:39:14Z","checksum":"c914d2f88846032f3d8507734861b6ee","file_name":"2020_Thesis_Royer.pdf","relation":"main_file","file_size":30224591},{"content_type":"application/x-zip-compressed","date_updated":"2020-09-14T13:39:17Z","date_created":"2020-09-14T13:39:17Z","checksum":"ae98fb35d912cff84a89035ae5794d3c","file_name":"thesis_sources.zip","file_size":74227627,"relation":"main_file","creator":"dernst","access_level":"closed","file_id":"8392"}],"year":"2020","type":"dissertation"},{"oa_version":"Preprint","oa":1,"date_published":"2020-03-14T00:00:00Z","main_file_link":[{"url":"https://doi.org/10.1101/2020.03.13.990150","open_access":"1"}],"month":"03","date_updated":"2021-01-12T08:19:03Z","publication":"bioRxiv","title":"Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone","language":[{"iso":"eng"}],"year":"2020","type":"preprint","doi":"10.1101/2020.03.13.990150","status":"public","article_processing_charge":"No","abstract":[{"text":"The mitochondrial Tim chaperones are responsible for the transport of membrane proteins across the inter-membrane space to the inner and outer mitochondrial membranes. TIM9·10, a hexameric 70 kDa protein complex formed by 3 copies of Tim9 and Tim10, guides its clients across the aqueous compartment. The TIM9·10·12 complex is the anchor point at the inner-membrane insertase complex TIM22. The mechanism of client transport by TIM9·10 has been resolved recently, but the structure and subunit composition of the TIM9·10·12 complex remains largely unresolved. Furthermore, the assembly process of the hexameric TIM chaperones from its subunits remained elusive. We investigate the structural and dynamical properties of the Tim subunits, and show that they are highly dynamic. In their non-assembled form, the subunits behave as intrinsically disordered proteins; when the conserved cysteines of the CX3C-Xn-CX3C motifs are formed, short marginally stable α-helices are formed, which are only fully stabilized upon hexamer formation to the mature chaperone. Subunits are in equilibrium between their hexamer-embedded and a free form, with exchange kinetics on a minutes time scale. Joint NMR, small-angle X-ray scattering and MD simulation data allow us to derive a structural model of the TIM9·10·12 assembly, which has a 2:3:1 stoichiometry (Tim9:Tim10:Tim12) with a conserved hydrophobic client-binding groove and flexible N- and C-terminal tentacles.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Weinhäupl, Katharina, Yong Wang, Audrey Hessel, Martha Brennich, Kresten Lindorff-Larsen, and Paul Schanda. “Architecture and Subunit Dynamics of the Mitochondrial TIM9·10·12 Chaperone.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.03.13.990150.","ieee":"K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P. Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,” bioRxiv. Cold Spring Harbor Laboratory.","apa":"Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., & Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.13.990150","ama":"Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. doi:10.1101/2020.03.13.990150","mla":"Weinhäupl, Katharina, et al. “Architecture and Subunit Dynamics of the Mitochondrial TIM9·10·12 Chaperone.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.03.13.990150.","ista":"Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.","short":"K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, P. Schanda, BioRxiv (n.d.)."},"day":"14","_id":"8404","author":[{"last_name":"Weinhäupl","full_name":"Weinhäupl, Katharina","first_name":"Katharina"},{"last_name":"Wang","first_name":"Yong","full_name":"Wang, Yong"},{"first_name":"Audrey","full_name":"Hessel, Audrey","last_name":"Hessel"},{"last_name":"Brennich","full_name":"Brennich, Martha","first_name":"Martha"},{"first_name":"Kresten","full_name":"Lindorff-Larsen, Kresten","last_name":"Lindorff-Larsen"},{"last_name":"Schanda","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","first_name":"Paul","orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul"}],"publication_status":"submitted","date_created":"2020-09-17T10:27:59Z","publisher":"Cold Spring Harbor Laboratory","extern":"1"},{"ddc":["570"],"abstract":[{"lang":"eng","text":"This thesis concerns itself with the interactions of evolutionary and ecological forces and the consequences on genetic diversity and the ultimate survival of populations. It is important to understand what signals processes \r\nleave on the genome and what we can infer from such data, which is usually abundant but noisy. Furthermore, understanding how and when populations adapt or go extinct is important for practical purposes, such as the genetic management of populations, as well as for theoretical questions, since local adaptation can be the first step toward speciation. \r\nIn Chapter 2, we introduce the method of maximum entropy to approximate the demographic changes of a population in a simple setting, namely the logistic growth model with immigration. We show that this method is not only a powerful \r\ntool in physics but can be gainfully applied in an ecological framework. We investigate how well it approximates the real \r\nbehavior of the system, and find that is does so, even in unexpected situations. Finally, we illustrate how it can model changing environments.\r\nIn Chapter 3, we analyze the co-evolution of allele frequencies and population sizes in an infinite island model.\r\nWe give conditions under which polygenic adaptation to a rare habitat is possible. The model we use is based on the diffusion approximation, considers eco-evolutionary feedback mechanisms (hard selection), and treats both \r\ndrift and environmental fluctuations explicitly. We also look at limiting scenarios, for which we derive analytical expressions. \r\nIn Chapter 4, we present a coalescent based simulation tool to obtain patterns of diversity in a spatially explicit subdivided population, in which the demographic history of each subpopulation can be specified. We compare \r\nthe results to existing predictions, and explore the relative importance of time and space under a variety of spatial arrangements and demographic histories, such as expansion and extinction. \r\nIn the last chapter, we give a brief outlook to further research. "}],"article_processing_charge":"No","doi":"10.15479/AT:ISTA:8574","_id":"8574","publication_status":"published","publisher":"Institute of Science and Technology Austria","author":[{"id":"485BB5A4-F248-11E8-B48F-1D18A9856A87","last_name":"Szep","full_name":"Szep, Eniko","first_name":"Eniko"}],"day":"20","file_date_updated":"2020-09-28T07:25:37Z","oa_version":"Published Version","oa":1,"date_updated":"2026-04-08T07:21:44Z","has_accepted_license":"1","month":"09","language":[{"iso":"eng"}],"file":[{"file_id":"8575","access_level":"open_access","success":1,"creator":"dernst","relation":"main_file","file_size":6354833,"file_name":"thesis_EnikoSzep_final.pdf","checksum":"20e71f015fbbd78fea708893ad634ed0","date_created":"2020-09-28T07:25:35Z","date_updated":"2020-09-28T07:25:35Z","content_type":"application/pdf"},{"creator":"dernst","file_id":"8576","access_level":"closed","date_updated":"2020-09-28T07:25:37Z","date_created":"2020-09-28T07:25:37Z","content_type":"application/x-zip-compressed","file_size":23020401,"relation":"source_file","checksum":"a8de2c14a1bb4e53c857787efbb289e1","file_name":"thesisFiles_EnikoSzep.zip"}],"title":"Local adaptation in metapopulations","corr_author":"1","type":"dissertation","year":"2020","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ieee":"E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology Austria, 2020.","apa":"Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574","chicago":"Szep, Eniko. “Local Adaptation in Metapopulations.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574.","ista":"Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria.","short":"E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.","ama":"Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574","mla":"Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574."},"status":"public","date_created":"2020-09-28T07:33:38Z","degree_awarded":"PhD","OA_place":"publisher","department":[{"_id":"NiBa"}],"supervisor":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","first_name":"Nicholas H","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"}],"publication_identifier":{"eissn":["2663-337X"]},"page":"158","date_published":"2020-09-20T00:00:00Z","alternative_title":["ISTA Thesis"]},{"oa":1,"file_date_updated":"2021-10-01T13:33:02Z","oa_version":"Published Version","date_updated":"2026-06-18T19:25:52Z","has_accepted_license":"1","month":"09","acknowledgement":"I also want to thank the China Scholarship Council for supporting my study during the year from 2015 to 2019. I also want to thank IST facilities – the Bioimaging facility, the media kitchen, the plant facility and all of the campus services, for their support.","ddc":["580"],"_id":"8589","author":[{"full_name":"Han, Huibin","first_name":"Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","last_name":"Han"}],"publication_status":"published","publisher":"Institute of Science and Technology Austria","day":"30","article_processing_charge":"No","abstract":[{"lang":"eng","text":"The plant hormone auxin plays indispensable roles in plant growth and development. An essential level of regulation in auxin action is the directional auxin transport within cells. The establishment of auxin gradient in plant tissue has been attributed to local auxin biosynthesis and directional intercellular auxin transport, which both are controlled by various environmental and developmental signals. It is well established that asymmetric auxin distribution in cells is achieved by polarly localized PIN-FORMED (PIN) auxin efflux transporters. Despite the initial insights into cellular mechanisms of PIN polarization obtained from the last decades, the molecular mechanism and specific regulators mediating PIN polarization remains elusive. In this thesis, we aim to find novel players in PIN subcellular polarity regulation during Arabidopsis development. We first characterize the physiological effect of piperonylic acid (PA) on Arabidopsis hypocotyl gravitropic bending and PIN polarization. Secondly, we reveal the importance of SCFTIR1/AFB auxin signaling pathway in shoot gravitropism bending termination. In addition, we also explore the role of myosin XI complex, and actin cytoskeleton in auxin feedback regulation on PIN polarity. In Chapter 1, we give an overview of the current knowledge about PIN-mediated auxin fluxes in various plant tropic responses. In Chapter 2, we study the physiological effect of PA on shoot gravitropic bending. Our results show that PA treatment inhibits auxin-mediated PIN3 repolarization by interfering with PINOID and PIN3 phosphorylation status, ultimately leading to hyperbending hypocotyls. In Chapter 3, we provide evidence to show that the SCFTIR1/AFB nuclear auxin signaling pathway is crucial and required for auxin-mediated PIN3 repolarization and shoot gravitropic bending termination. In Chapter 4, we perform a phosphoproteomics approach and identify the motor protein Myosin XI and its binding protein, the MadB2 family, as an essential regulator of PIN polarity for auxin-canalization related developmental processes. In Chapter 5, we demonstrate the vital role of actin cytoskeleton in auxin feedback on PIN polarity by regulating PIN subcellular trafficking. Overall, the data presented in this PhD thesis brings novel insights into the PIN polar localization regulation that resulted in the (re)establishment of the polar auxin flow and gradient in response to environmental stimuli during plant development."}],"doi":"10.15479/AT:ISTA:8589","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"supervisor":[{"first_name":"Jiří","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"JiFr"}],"publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","page":"164","date_published":"2020-09-30T00:00:00Z","alternative_title":["ISTA Thesis"],"year":"2020","type":"dissertation","language":[{"iso":"eng"}],"file":[{"date_created":"2020-09-30T14:50:20Z","date_updated":"2020-09-30T14:50:20Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","relation":"source_file","file_size":49198118,"file_name":"2020_Han_Thesis.docx","checksum":"c4bda1947d4c09c428ac9ce667b02327","creator":"dernst","file_id":"8590","access_level":"closed"},{"content_type":"application/pdf","date_updated":"2021-10-01T13:33:02Z","date_created":"2020-09-30T14:49:59Z","checksum":"3f4f5d1718c2230adf30639ecaf8a00b","file_name":"2020_Han_Thesis.pdf","relation":"main_file","file_size":15513963,"creator":"dernst","access_level":"open_access","file_id":"8591"}],"title":"Novel insights into PIN polarity regulation during Arabidopsis development","corr_author":"1","date_created":"2020-09-30T14:50:51Z","related_material":{"record":[{"status":"public","id":"7643","relation":"part_of_dissertation"}]},"degree_awarded":"PhD","citation":{"ista":"Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria.","short":"H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.","mla":"Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.","ama":"Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589","apa":"Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589","ieee":"H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020.","chicago":"Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8589."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","status":"public"},{"oa":1,"file_date_updated":"2020-10-15T14:28:06Z","oa_version":"Submitted Version","month":"10","date_updated":"2026-04-16T10:22:01Z","has_accepted_license":"1","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","ddc":["000"],"conference":{"end_date":"2020-10-09","start_date":"2020-10-06","location":"Los Angeles, CA, United States","name":"RV: Runtime Verification"},"day":"02","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF"}],"external_id":{"isi":["000728160600001"]},"_id":"8623","publisher":"Springer Nature","author":[{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sarac, Naci E","first_name":"Naci E","last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"publication_status":"published","abstract":[{"lang":"eng","text":"We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers."}],"article_processing_charge":"No","doi":"10.1007/978-3-030-60508-7_1","publication_identifier":{"eisbn":["9783030605087"],"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783030605070"]},"department":[{"_id":"ToHe"}],"isi":1,"intvolume":" 12399","date_published":"2020-10-02T00:00:00Z","alternative_title":["LNCS"],"page":"3-18","year":"2020","type":"conference","title":"Monitorability under assumptions","publication":"Runtime Verification","language":[{"iso":"eng"}],"file":[{"success":1,"file_id":"8665","access_level":"open_access","creator":"esarac","file_name":"monitorability.pdf","checksum":"00661f9b7034f52e18bf24fa552b8194","file_size":478148,"relation":"main_file","content_type":"application/pdf","date_created":"2020-10-15T14:28:06Z","date_updated":"2020-10-15T14:28:06Z"}],"quality_controlled":"1","scopus_import":"1","date_created":"2020-10-07T15:05:37Z","volume":12399,"status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ista":"Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.","short":"T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.","ama":"Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer Nature; 2020:3-18. doi:10.1007/978-3-030-60508-7_1","mla":"Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” Runtime Verification, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.","ieee":"T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in Runtime Verification, Los Angeles, CA, United States, 2020, vol. 12399, pp. 3–18.","apa":"Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1","chicago":"Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In Runtime Verification, 12399:3–18. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60508-7_1."}},{"department":[{"_id":"EdHa"}],"publication_identifier":{"eissn":["2041-1723"]},"isi":1,"article_number":"5037","date_published":"2020-10-07T00:00:00Z","intvolume":" 11","language":[{"iso":"eng"}],"file":[{"file_name":"2020_NatureComm_Sznurkowska.pdf","checksum":"0ecc0eab72d2d50694852579611a6624","file_size":5540540,"relation":"main_file","content_type":"application/pdf","date_created":"2020-10-19T11:27:46Z","date_updated":"2020-10-19T11:27:46Z","success":1,"access_level":"open_access","file_id":"8677","creator":"dernst"}],"title":"Tracing the cellular basis of islet specification in mouse pancreas","publication":"Nature Communications","type":"journal_article","year":"2020","pmid":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"short":"M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).","ista":"Sznurkowska MK, Hannezo EB, Azzarelli R, Chatzeli L, Ikeda T, Yoshida S, Philpott A, Simons BD. 2020. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 11, 5037.","ama":"Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 2020;11. doi:10.1038/s41467-020-18837-3","mla":"Sznurkowska, Magdalena K., et al. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications, vol. 11, 5037, Springer Nature, 2020, doi:10.1038/s41467-020-18837-3.","ieee":"M. K. Sznurkowska et al., “Tracing the cellular basis of islet specification in mouse pancreas,” Nature Communications, vol. 11. Springer Nature, 2020.","apa":"Sznurkowska, M. K., Hannezo, E. B., Azzarelli, R., Chatzeli, L., Ikeda, T., Yoshida, S., … Simons, B. D. (2020). Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18837-3","chicago":"Sznurkowska, Magdalena K., Edouard B Hannezo, Roberta Azzarelli, Lemonia Chatzeli, Tatsuro Ikeda, Shosei Yoshida, Anna Philpott, and Benjamin D Simons. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18837-3."},"volume":11,"status":"public","date_created":"2020-10-18T22:01:35Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","quality_controlled":"1","oa_version":"Published Version","file_date_updated":"2020-10-19T11:27:46Z","article_type":"original","oa":1,"date_updated":"2026-04-02T14:29:58Z","has_accepted_license":"1","month":"10","ddc":["570"],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Pancreatic islets play an essential role in regulating blood glucose level. Although the molecular pathways underlying islet cell differentiation are beginning to be resolved, the cellular basis of islet morphogenesis and fate allocation remain unclear. By combining unbiased and targeted lineage tracing, we address the events leading to islet formation in the mouse. From the statistical analysis of clones induced at multiple embryonic timepoints, here we show that, during the secondary transition, islet formation involves the aggregation of multiple equipotent endocrine progenitors that transition from a phase of stochastic amplification by cell division into a phase of sublineage restriction and limited islet fission. Together, these results explain quantitatively the heterogeneous size distribution and degree of polyclonality of maturing islets, as well as dispersion of progenitors within and between islets. Further, our results show that, during the secondary transition, α- and β-cells are generated in a contemporary manner. Together, these findings provide insight into the cellular basis of islet development."}],"doi":"10.1038/s41467-020-18837-3","author":[{"last_name":"Sznurkowska","full_name":"Sznurkowska, Magdalena K.","first_name":"Magdalena K."},{"last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","first_name":"Edouard B"},{"last_name":"Azzarelli","first_name":"Roberta","full_name":"Azzarelli, Roberta"},{"full_name":"Chatzeli, Lemonia","first_name":"Lemonia","last_name":"Chatzeli"},{"first_name":"Tatsuro","full_name":"Ikeda, Tatsuro","last_name":"Ikeda"},{"first_name":"Shosei","full_name":"Yoshida, Shosei","last_name":"Yoshida"},{"first_name":"Anna","full_name":"Philpott, Anna","last_name":"Philpott"},{"full_name":"Simons, Benjamin D","first_name":"Benjamin D","last_name":"Simons"}],"_id":"8669","publisher":"Springer Nature","external_id":{"isi":["000577244600003"],"pmid":["33028844"]},"publication_status":"published","day":"07"},{"project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF"}],"day":"01","external_id":{"isi":["000583337200011"]},"_id":"8679","publication_status":"published","author":[{"full_name":"Lechner, Mathias","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner"},{"full_name":"Hasani, Ramin","first_name":"Ramin","last_name":"Hasani"},{"last_name":"Amini","first_name":"Alexander","full_name":"Amini, Alexander"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"last_name":"Rus","first_name":"Daniela","full_name":"Rus, Daniela"},{"last_name":"Grosu","first_name":"Radu","full_name":"Grosu, Radu"}],"publisher":"Springer Nature","doi":"10.1038/s42256-020-00237-3","article_processing_charge":"No","abstract":[{"lang":"eng","text":"A central goal of artificial intelligence in high-stakes decision-making applications is to design a single algorithm that simultaneously expresses generalizability by learning coherent representations of their world and interpretable explanations of its dynamics. Here, we combine brain-inspired neural computation principles and scalable deep learning architectures to design compact neural controllers for task-specific compartments of a full-stack autonomous vehicle control system. We discover that a single algorithm with 19 control neurons, connecting 32 encapsulated input features to outputs by 253 synapses, learns to map high-dimensional inputs into steering commands. This system shows superior generalizability, interpretability and robustness compared with orders-of-magnitude larger black-box learning systems. The obtained neural agents enable high-fidelity autonomy for task-specific parts of a complex autonomous system."}],"article_type":"original","oa_version":"None","month":"10","date_updated":"2025-04-15T06:25:57Z","year":"2020","type":"journal_article","publication":"Nature Machine Intelligence","title":"Neural circuit policies enabling auditable autonomy","language":[{"iso":"eng"}],"scopus_import":"1","quality_controlled":"1","related_material":{"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/new-deep-learning-models/","relation":"press_release"}]},"date_created":"2020-10-19T13:46:06Z","status":"public","volume":2,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Lechner, Mathias, et al. “Neural Circuit Policies Enabling Auditable Autonomy.” Nature Machine Intelligence, vol. 2, Springer Nature, 2020, pp. 642–52, doi:10.1038/s42256-020-00237-3.","ama":"Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2020;2:642-652. doi:10.1038/s42256-020-00237-3","ista":"Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. 2020. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2, 642–652.","short":"M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.","chicago":"Lechner, Mathias, Ramin Hasani, Alexander Amini, Thomas A Henzinger, Daniela Rus, and Radu Grosu. “Neural Circuit Policies Enabling Auditable Autonomy.” Nature Machine Intelligence. Springer Nature, 2020. https://doi.org/10.1038/s42256-020-00237-3.","apa":"Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu, R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-020-00237-3","ieee":"M. Lechner, R. Hasani, A. Amini, T. A. Henzinger, D. Rus, and R. Grosu, “Neural circuit policies enabling auditable autonomy,” Nature Machine Intelligence, vol. 2. Springer Nature, pp. 642–652, 2020."},"isi":1,"publication_identifier":{"eissn":["2522-5839"]},"department":[{"_id":"ToHe"}],"intvolume":" 2","date_published":"2020-10-01T00:00:00Z","page":"642-652"},{"intvolume":" 54","date_published":"2020-09-01T00:00:00Z","page":"739-748","isi":1,"department":[{"_id":"FyKo"}],"publication_identifier":{"eissn":["1608-3245"],"issn":["0026-8933"]},"quality_controlled":"1","scopus_import":"1","related_material":{"record":[{"relation":"original","id":"8701","status":"public"}]},"date_created":"2020-10-25T23:01:17Z","status":"public","volume":54,"citation":{"ama":"Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 2020;54(5):739-748. doi:10.1134/S0026893320050088","mla":"Sokolova, E. E., et al. “The Influence of A/G Composition of 3’ Stop Codon Contexts on Translation Termination Efficiency in Eukaryotes.” Molecular Biology, vol. 54, no. 5, Springer Nature, 2020, pp. 739–48, doi:10.1134/S0026893320050088.","short":"E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.","ista":"Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 54(5), 739–748.","chicago":"Sokolova, E. E., Petr Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva. “The Influence of A/G Composition of 3’ Stop Codon Contexts on Translation Termination Efficiency in Eukaryotes.” Molecular Biology. Springer Nature, 2020. https://doi.org/10.1134/S0026893320050088.","ieee":"E. E. Sokolova, P. Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva, “The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes,” Molecular Biology, vol. 54, no. 5. Springer Nature, pp. 739–748, 2020.","apa":"Sokolova, E. E., Vlasov, P., Egorova, T. V., Shuvalov, A. V., & Alkalaeva, E. Z. (2020). The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. Springer Nature. https://doi.org/10.1134/S0026893320050088"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","issue":"5","year":"2020","publication":"Molecular Biology","title":"The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes","language":[{"iso":"eng"}],"month":"09","date_updated":"2025-07-10T12:01:20Z","acknowledgement":"We would like to thank the staff of CCU Genome for sequencing, Tat’yana Pestova, Christopher Helen, and Lyudmila Yur’evna Frolova for the plasmids provided, as well as the laboratory staff for productive discussion of the results. We also thank former laboratory employees Yuliya Vladimirovna Bocharova and Polina Nikolaevna Kryuchkova for the exceptional contribution to the present work.","article_type":"original","oa_version":"None","day":"01","author":[{"last_name":"Sokolova","first_name":"E. E.","full_name":"Sokolova, E. E."},{"id":"38BB9AC4-F248-11E8-B48F-1D18A9856A87","last_name":"Vlasov","first_name":"Petr","full_name":"Vlasov, Petr"},{"last_name":"Egorova","full_name":"Egorova, T. V.","first_name":"T. V."},{"last_name":"Shuvalov","full_name":"Shuvalov, A. V.","first_name":"A. V."},{"first_name":"E. Z.","full_name":"Alkalaeva, E. Z.","last_name":"Alkalaeva"}],"_id":"8700","external_id":{"isi":["000579441200009"]},"publisher":"Springer Nature","publication_status":"published","doi":"10.1134/S0026893320050088","abstract":[{"text":"Translation termination is a finishing step of protein biosynthesis. The significant role in this process belongs not only to protein factors of translation termination but also to the nearest nucleotide environment of stop codons. There are numerous descriptions of stop codons readthrough, which is due to specific nucleotide sequences behind them. However, represented data are segmental and don’t explain the mechanism of the nucleotide context influence on translation termination. It is well known that stop codon UAA usage is preferential for A/T-rich genes, and UAG, UGA—for G/C-rich genes, which is related to an expression level of these genes. We investigated the connection between a frequency of nucleotides occurrence in 3' area of stop codons in the human genome and their influence on translation termination efficiency. We found that 3' context motif, which is cognate to the sequence of a stop codon, stimulates translation termination. At the same time, the nucleotide composition of 3' sequence that differs from stop codon, decreases translation termination efficiency.","lang":"eng"}],"article_processing_charge":"No"},{"article_type":"original","oa_version":"None","date_updated":"2025-07-10T12:01:20Z","month":"09","author":[{"last_name":"Sokolova","full_name":"Sokolova, E. E.","first_name":"E. E."},{"id":"38BB9AC4-F248-11E8-B48F-1D18A9856A87","last_name":"Vlasov","full_name":"Vlasov, Petr","first_name":"Petr"},{"last_name":"Egorova","first_name":"T. V.","full_name":"Egorova, T. V."},{"last_name":"Shuvalov","first_name":"A. V.","full_name":"Shuvalov, A. V."},{"last_name":"Alkalaeva","first_name":"E. Z.","full_name":"Alkalaeva, E. Z."}],"_id":"8701","publisher":"Russian Academy of Sciences","external_id":{"pmid":["33009793"]},"publication_status":"published","day":"01","doi":"10.31857/S0026898420050080","article_processing_charge":"No","abstract":[{"text":"Translation termination is a finishing step of protein biosynthesis. The significant role in this process belongs not only to protein factors of translation termination but also to the nearest nucleotide environment of stop codons. There are numerous descriptions of stop codons readthrough, which is due to specific nucleotide sequences behind them. However, represented data are segmental and don’t explain the mechanism of the nucleotide context influence on translation termination. It is well known that stop codon UAA usage is preferential for A/T-rich genes, and UAG, UGA—for G/C-rich genes, which is related to an expression level of these genes. We investigated the connection between a frequency of nucleotides occurrence in 3' area of stop codons in the human genome and their influence on translation termination efficiency. We found that 3' context motif, which is cognate to the sequence of a stop codon, stimulates translation termination. At the same time, the nucleotide composition of 3' sequence that differs from stop codon, decreases translation termination efficiency.","lang":"eng"}],"department":[{"_id":"FyKo"}],"publication_identifier":{"issn":["0026-8984"]},"intvolume":" 54","page":"837-848","date_published":"2020-09-01T00:00:00Z","year":"2020","issue":"5","type":"journal_article","pmid":1,"language":[{"iso":"rus"}],"publication":"Molekuliarnaia biologiia","title":"The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes","date_created":"2020-10-25T23:01:17Z","quality_controlled":"1","scopus_import":"1","related_material":{"record":[{"status":"public","id":"8700","relation":"translation"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Sokolova, E. E., et al. “The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes.” Molekuliarnaia biologiia, vol. 54, no. 5, Russian Academy of Sciences, 2020, pp. 837–48, doi:10.31857/S0026898420050080.","ama":"Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. 2020;54(5):837-848. doi:10.31857/S0026898420050080","short":"E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.","ista":"Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. 54(5), 837–848.","chicago":"Sokolova, E. E., Petr Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva. “The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes.” Molekuliarnaia biologiia. Russian Academy of Sciences, 2020. https://doi.org/10.31857/S0026898420050080.","apa":"Sokolova, E. E., Vlasov, P., Egorova, T. V., Shuvalov, A. V., & Alkalaeva, E. Z. (2020). The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. Russian Academy of Sciences. https://doi.org/10.31857/S0026898420050080","ieee":"E. E. Sokolova, P. Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva, “The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes,” Molekuliarnaia biologiia, vol. 54, no. 5. Russian Academy of Sciences, pp. 837–848, 2020."},"status":"public","volume":54},{"date_updated":"2026-04-07T14:14:51Z","has_accepted_license":"1","month":"12","acknowledgement":"Financial support through the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme Grant agreement No. 694227 (R.S.) and the Maria Skłodowska-Curie Grant agreement No. 665386 (K.M.) is gratefully acknowledged. Funding Open access funding provided by Institute of Science and Technology (IST Austria)","article_type":"original","oa":1,"file_date_updated":"2020-10-27T12:49:04Z","oa_version":"Published Version","publisher":"Springer Nature","_id":"8705","publication_status":"published","author":[{"full_name":"Mysliwy, Krzysztof","first_name":"Krzysztof","last_name":"Mysliwy","id":"316457FC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Robert","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer"}],"external_id":{"isi":["000578111800002"],"arxiv":["2003.12371"]},"day":"01","project":[{"call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"},{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"Yes (via OA deal)","abstract":[{"lang":"eng","text":"We consider the quantum mechanical many-body problem of a single impurity particle immersed in a weakly interacting Bose gas. The impurity interacts with the bosons via a two-body potential. We study the Hamiltonian of this system in the mean-field limit and rigorously show that, at low energies, the problem is well described by the Fröhlich polaron model."}],"doi":"10.1007/s00023-020-00969-3","ddc":["530"],"ec_funded":1,"intvolume":" 21","arxiv":1,"page":"4003-4025","date_published":"2020-12-01T00:00:00Z","department":[{"_id":"RoSe"}],"publication_identifier":{"issn":["1424-0637"]},"isi":1,"date_created":"2020-10-25T23:01:19Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"related_material":{"record":[{"id":"11473","status":"public","relation":"dissertation_contains"}]},"quality_controlled":"1","scopus_import":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ieee":"K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit,” Annales Henri Poincare, vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020.","apa":"Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3","chicago":"Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare. Springer Nature, 2020. https://doi.org/10.1007/s00023-020-00969-3.","ista":"Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12), 4003–4025.","short":"K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.","ama":"Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025. doi:10.1007/s00023-020-00969-3","mla":"Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare, vol. 21, no. 12, Springer Nature, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3."},"volume":21,"status":"public","year":"2020","type":"journal_article","issue":"12","language":[{"iso":"eng"}],"file":[{"success":1,"access_level":"open_access","file_id":"8711","creator":"cziletti","checksum":"c12c9c1e6f08def245e42f3cb1d83827","file_name":"2020_Annales_Mysliwy.pdf","relation":"main_file","file_size":469831,"content_type":"application/pdf","date_updated":"2020-10-27T12:49:04Z","date_created":"2020-10-27T12:49:04Z"}],"title":"Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit","corr_author":"1","publication":"Annales Henri Poincare"},{"oa_version":"None","date_updated":"2026-04-16T10:22:35Z","month":"10","ec_funded":1,"doi":"10.1007/978-3-030-60440-0_26","abstract":[{"lang":"eng","text":"A simple drawing D(G) of a graph G is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge e in the complement of G can be inserted into D(G) if there exists a simple drawing of G+e extending D(G). As a result of Levi’s Enlargement Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be extended into an arrangement of lines (pseudolines), then any edge in the complement of G can be inserted. In contrast, we show that it is NP -complete to decide whether one edge can be inserted into a simple drawing. This remains true even if we assume that the drawing is pseudocircular, that is, the edges can be extended to an arrangement of pseudocircles. On the positive side, we show that, given an arrangement of pseudocircles A and a pseudosegment σ , it can be decided in polynomial time whether there exists a pseudocircle Φσ extending σ for which A∪{Φσ} is again an arrangement of pseudocircles."}],"article_processing_charge":"No","publication_status":"published","_id":"8732","author":[{"orcid":"0000-0003-2401-8670","full_name":"Arroyo Guevara, Alan M","first_name":"Alan M","last_name":"Arroyo Guevara","id":"3207FDC6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Fabian","full_name":"Klute, Fabian","last_name":"Klute"},{"last_name":"Parada","first_name":"Irene","full_name":"Parada, Irene"},{"first_name":"Raimund","full_name":"Seidel, Raimund","last_name":"Seidel"},{"last_name":"Vogtenhuber","first_name":"Birgit","full_name":"Vogtenhuber, Birgit"},{"first_name":"Tilo","full_name":"Wiedera, Tilo","last_name":"Wiedera"}],"publisher":"Springer Nature","external_id":{"isi":["001299688100026"]},"project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"conference":{"end_date":"2020-06-26","name":"WG: Workshop on Graph-Theoretic Concepts in Computer Science","location":"Leeds, United Kingdom","start_date":"2020-06-24"},"day":"09","isi":1,"department":[{"_id":"UlWa"}],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783030604394"],"eisbn":["9783030604400"],"eissn":["1611-3349"]},"page":"325-338","alternative_title":["LNCS"],"date_published":"2020-10-09T00:00:00Z","intvolume":" 12301","language":[{"iso":"eng"}],"publication":"Graph-Theoretic Concepts in Computer Science","title":"Inserting one edge into a simple drawing is hard","year":"2020","type":"conference","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ista":"Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. 2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 12301, 325–338.","short":"A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.","ama":"Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi:10.1007/978-3-030-60440-0_26","mla":"Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is Hard.” Graph-Theoretic Concepts in Computer Science, vol. 12301, Springer Nature, 2020, pp. 325–38, doi:10.1007/978-3-030-60440-0_26.","ieee":"A. M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, and T. Wiedera, “Inserting one edge into a simple drawing is hard,” in Graph-Theoretic Concepts in Computer Science, Leeds, United Kingdom, 2020, vol. 12301, pp. 325–338.","apa":"Arroyo Guevara, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B., & Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338). Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26","chicago":"Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60440-0_26."},"status":"public","volume":12301,"date_created":"2020-11-06T08:45:03Z","scopus_import":"1","quality_controlled":"1"},{"article_type":"original","oa":1,"oa_version":"Published Version","file_date_updated":"2020-11-23T13:29:49Z","month":"11","has_accepted_license":"1","date_updated":"2026-04-02T11:48:21Z","acknowledgement":"We thank Sebastian Helmer, Nicole Blount, Christine Mann, and Beate Jantz for technical assistance; Hellen Ishikawa-Ankerhold for help and advice; Michael Sixt for critical\r\ndiscussions. This study was supported by the DFG SFB 914 (S.M. [B02 and Z01], K.Sch.\r\n[B02], B.W. [A02 and Z03], C.A.R. [B03], C.S. [A10], J.P. [Gerok position]), the DFG\r\nSFB 1123 (S.M. [B06]), the DFG FOR 2033 (S.M. and F.G.), the German Center for\r\nCardiovascular Research (DZHK) (Clinician Scientist Program [L.N.], MHA 1.4VD\r\n[S.M.], Postdoc Start-up Grant, 81×3600213 [F.G.]), FP7 program (project 260309,\r\nPRESTIGE [S.M.]), FöFoLe project 1015/1009 (L.N.), FöFoLe project 947 (F.G.), the\r\nFriedrich-Baur-Stiftung project 41/16 (F.G.), and LMUexcellence NFF (F.G.). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement no.\r\n833440) (S.M.). F.G. received funding from the European Union’s Horizon 2020 research\r\nand innovation program under the Marie Skłodowska-Curie grant agreement no.\r\n747687.","ddc":["570"],"ec_funded":1,"project":[{"call_identifier":"H2020","grant_number":"747687","_id":"260AA4E2-B435-11E9-9278-68D0E5697425","name":"Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells"}],"day":"13","_id":"8787","publication_status":"published","author":[{"last_name":"Nicolai","first_name":"Leo","full_name":"Nicolai, Leo"},{"last_name":"Schiefelbein","full_name":"Schiefelbein, Karin","first_name":"Karin"},{"full_name":"Lipsky, Silvia","first_name":"Silvia","last_name":"Lipsky"},{"last_name":"Leunig","first_name":"Alexander","full_name":"Leunig, Alexander"},{"last_name":"Hoffknecht","first_name":"Marie","full_name":"Hoffknecht, Marie"},{"first_name":"Kami","full_name":"Pekayvaz, Kami","last_name":"Pekayvaz"},{"full_name":"Raude, Ben","first_name":"Ben","last_name":"Raude"},{"last_name":"Marx","full_name":"Marx, Charlotte","first_name":"Charlotte"},{"full_name":"Ehrlich, Andreas","first_name":"Andreas","last_name":"Ehrlich"},{"last_name":"Pircher","full_name":"Pircher, Joachim","first_name":"Joachim"},{"full_name":"Zhang, Zhe","first_name":"Zhe","last_name":"Zhang"},{"last_name":"Saleh","first_name":"Inas","full_name":"Saleh, Inas"},{"full_name":"Marel, Anna-Kristina","first_name":"Anna-Kristina","last_name":"Marel"},{"last_name":"Löf","first_name":"Achim","full_name":"Löf, Achim"},{"last_name":"Petzold","first_name":"Tobias","full_name":"Petzold, Tobias"},{"last_name":"Lorenz","first_name":"Michael","full_name":"Lorenz, Michael"},{"last_name":"Stark","full_name":"Stark, Konstantin","first_name":"Konstantin"},{"last_name":"Pick","full_name":"Pick, Robert","first_name":"Robert"},{"last_name":"Rosenberger","first_name":"Gerhild","full_name":"Rosenberger, Gerhild"},{"full_name":"Weckbach, Ludwig","first_name":"Ludwig","last_name":"Weckbach"},{"first_name":"Bernd","full_name":"Uhl, Bernd","last_name":"Uhl"},{"full_name":"Xia, Sheng","first_name":"Sheng","last_name":"Xia"},{"full_name":"Reichel, Christoph Andreas","first_name":"Christoph Andreas","last_name":"Reichel"},{"first_name":"Barbara","full_name":"Walzog, Barbara","last_name":"Walzog"},{"last_name":"Schulz","full_name":"Schulz, Christian","first_name":"Christian"},{"last_name":"Zheden","id":"39C5A68A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9438-4783","full_name":"Zheden, Vanessa","first_name":"Vanessa"},{"last_name":"Bender","first_name":"Markus","full_name":"Bender, Markus"},{"last_name":"Li","full_name":"Li, Rong","first_name":"Rong"},{"first_name":"Steffen","full_name":"Massberg, Steffen","last_name":"Massberg"},{"last_name":"Gärtner","id":"397A88EE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6120-3723","full_name":"Gärtner, Florian R","first_name":"Florian R"}],"external_id":{"pmid":["33188196"],"isi":["000594648000014"]},"publisher":"Springer Nature","doi":"10.1038/s41467-020-19515-0","abstract":[{"text":"Breakdown of vascular barriers is a major complication of inflammatory diseases. Anucleate platelets form blood-clots during thrombosis, but also play a crucial role in inflammation. While spatio-temporal dynamics of clot formation are well characterized, the cell-biological mechanisms of platelet recruitment to inflammatory micro-environments remain incompletely understood. Here we identify Arp2/3-dependent lamellipodia formation as a prominent morphological feature of immune-responsive platelets. Platelets use lamellipodia to scan for fibrin(ogen) deposited on the inflamed vasculature and to directionally spread, to polarize and to govern haptotactic migration along gradients of the adhesive ligand. Platelet-specific abrogation of Arp2/3 interferes with haptotactic repositioning of platelets to microlesions, thus impairing vascular sealing and provoking inflammatory microbleeding. During infection, haptotaxis promotes capture of bacteria and prevents hematogenic dissemination, rendering platelets gate-keepers of the inflamed microvasculature. Consequently, these findings identify haptotaxis as a key effector function of immune-responsive platelets.","lang":"eng"}],"article_processing_charge":"No","isi":1,"department":[{"_id":"MiSi"},{"_id":"EM-Fac"}],"publication_identifier":{"eissn":["2041-1723"]},"intvolume":" 11","article_number":"5778","date_published":"2020-11-13T00:00:00Z","pmid":1,"type":"journal_article","year":"2020","publication":"Nature Communications","corr_author":"1","title":"Vascular surveillance by haptotactic blood platelets in inflammation and infection","file":[{"checksum":"485b7b6cf30198ba0ce126491a28f125","file_name":"2020_NatureComm_Nicolai.pdf","relation":"main_file","file_size":7035340,"content_type":"application/pdf","date_updated":"2020-11-23T13:29:49Z","date_created":"2020-11-23T13:29:49Z","success":1,"file_id":"8798","access_level":"open_access","creator":"dernst"}],"language":[{"iso":"eng"}],"quality_controlled":"1","scopus_import":"1","related_material":{"link":[{"url":"https://doi.org/10.1038/s41467-022-31310-7","relation":"erratum"}]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2020-11-22T23:01:23Z","status":"public","volume":11,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"chicago":"Nicolai, Leo, Karin Schiefelbein, Silvia Lipsky, Alexander Leunig, Marie Hoffknecht, Kami Pekayvaz, Ben Raude, et al. “Vascular Surveillance by Haptotactic Blood Platelets in Inflammation and Infection.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-19515-0.","apa":"Nicolai, L., Schiefelbein, K., Lipsky, S., Leunig, A., Hoffknecht, M., Pekayvaz, K., … Gärtner, F. R. (2020). Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-19515-0","ieee":"L. Nicolai et al., “Vascular surveillance by haptotactic blood platelets in inflammation and infection,” Nature Communications, vol. 11. Springer Nature, 2020.","mla":"Nicolai, Leo, et al. “Vascular Surveillance by Haptotactic Blood Platelets in Inflammation and Infection.” Nature Communications, vol. 11, 5778, Springer Nature, 2020, doi:10.1038/s41467-020-19515-0.","ama":"Nicolai L, Schiefelbein K, Lipsky S, et al. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 2020;11. doi:10.1038/s41467-020-19515-0","ista":"Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.","short":"L. Nicolai, K. Schiefelbein, S. Lipsky, A. Leunig, M. Hoffknecht, K. Pekayvaz, B. Raude, C. Marx, A. Ehrlich, J. Pircher, Z. Zhang, I. Saleh, A.-K. Marel, A. Löf, T. Petzold, M. Lorenz, K. Stark, R. Pick, G. Rosenberger, L. Weckbach, B. Uhl, S. Xia, C.A. Reichel, B. Walzog, C. Schulz, V. Zheden, M. Bender, R. Li, S. Massberg, F.R. Gärtner, Nature Communications 11 (2020)."}},{"acknowledgement":"This work was supported by the Austrian Science Foundation (FWF) under the NFN RiSE/SHiNE under Grant S11405 and Grant S11407. This article was presented in the International Conference on Embedded Software 2020 and appears as part of the ESWEEK-TCAD special issue. ","month":"11","date_updated":"2026-04-02T14:37:50Z","oa_version":"None","article_type":"original","doi":"10.1109/TCAD.2020.3012803","article_processing_charge":"No","abstract":[{"text":"We consider a real-time setting where an environment releases sequences of firm-deadline tasks, and an online scheduler chooses on-the-fly the ones to execute on a single processor so as to maximize cumulated utility. The competitive ratio is a well-known performance measure for the scheduler: it gives the worst-case ratio, among all possible choices for the environment, of the cumulated utility of the online scheduler versus an offline scheduler that knows these choices in advance. Traditionally, competitive analysis is performed by hand, while automated techniques are rare and only handle static environments with independent tasks. We present a quantitative-verification framework for precedence-aware competitive analysis, where task releases may depend on preceding scheduling choices, i.e., the environment can respond to scheduling decisions dynamically . We consider two general classes of precedences: 1) follower precedences force the release of a dependent task upon the completion of a set of precursor tasks, while and 2) pairing precedences modify the characteristics of a dependent task provided the completion of a set of precursor tasks. Precedences make competitive analysis challenging, as the online and offline schedulers operate on diverging sequences. We make a formal presentation of our framework, and use a GPU-based implementation to analyze ten well-known schedulers on precedence-based application examples taken from the existing literature: 1) a handshake protocol (HP); 2) network packet-switching; 3) query scheduling (QS); and 4) a sporadic-interrupt setting. Our experimental results show that precedences and task parameters can vary drastically the best scheduler. Our framework thus supports application designers in choosing the best scheduler among a given set automatically.","lang":"eng"}],"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"call_identifier":"FWF","grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"day":"01","publisher":"IEEE","_id":"8788","external_id":{"isi":["000587712700069"]},"publication_status":"published","author":[{"first_name":"Andreas","full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","last_name":"Pavlogiannis"},{"full_name":"Schaumberger, Nico","first_name":"Nico","last_name":"Schaumberger"},{"first_name":"Ulrich","full_name":"Schmid, Ulrich","last_name":"Schmid"},{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"}],"date_published":"2020-11-01T00:00:00Z","page":"3981-3992","intvolume":" 39","isi":1,"department":[{"_id":"KrCh"}],"publication_identifier":{"eissn":["1937-4151"],"issn":["0278-0070"]},"status":"public","volume":39,"citation":{"ieee":"A. Pavlogiannis, N. Schaumberger, U. Schmid, and K. Chatterjee, “Precedence-aware automated competitive analysis of real-time scheduling,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 3981–3992, 2020.","apa":"Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012803","chicago":"Pavlogiannis, Andreas, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012803.","ista":"Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. 2020. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 3981–3992.","short":"A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.","ama":"Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):3981-3992. doi:10.1109/TCAD.2020.3012803","mla":"Pavlogiannis, Andreas, et al. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 3981–92, doi:10.1109/TCAD.2020.3012803."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","quality_controlled":"1","scopus_import":"1","date_created":"2020-11-22T23:01:24Z","publication":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","title":"Precedence-aware automated competitive analysis of real-time scheduling","language":[{"iso":"eng"}],"year":"2020","issue":"11","type":"journal_article"},{"article_type":"original","oa":1,"keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"file_date_updated":"2020-12-28T08:16:10Z","oa_version":"Published Version","month":"12","has_accepted_license":"1","date_updated":"2025-04-15T07:52:12Z","acknowledgement":"This research was supported by the Scientific Service Units (SSUs) of IST Austria through resources provided by Scientific Computing (SciComp), the Life Science Facility (LSF), the BioImaging Facility (BIF), and the Electron Microscopy Facility (EMF). We also thank Dimitry Tegunov (MPI for Biophysical Chemistry) for helpful discussions\r\nabout the M software, and Michael Sixt (IST Austria) and Klemens Rottner (Technical University Braunschweig, HZI Braunschweig) for critical reading of the manuscript. We also thank Gregory Voth (University of Chicago) for providing us the MD-derived branch junction model for comparison. The authors acknowledge support from IST Austria and from the Austrian Science Fund (FWF): M02495 to G.D. and Austrian Science Fund (FWF): P33367 to F.K.M.S. ","ddc":["570"],"project":[{"grant_number":"P33367","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","name":"Structure and isoform diversity of the Arp2/3 complex"},{"_id":"2674F658-B435-11E9-9278-68D0E5697425","name":"Protein structure and function in filopodia across scales","grant_number":"M02495","call_identifier":"FWF"}],"day":"22","author":[{"first_name":"Florian","orcid":"0000-0001-7149-769X","full_name":"Fäßler, Florian","last_name":"Fäßler","id":"404F5528-F248-11E8-B48F-1D18A9856A87"},{"id":"38C393BE-F248-11E8-B48F-1D18A9856A87","last_name":"Dimchev","first_name":"Georgi A","full_name":"Dimchev, Georgi A","orcid":"0000-0001-8370-6161"},{"first_name":"Victor-Valentin","orcid":"0000-0003-3904-947X","full_name":"Hodirnau, Victor-Valentin","last_name":"Hodirnau","id":"3661B498-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Wan","full_name":"Wan, William","first_name":"William"},{"first_name":"Florian KM","full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","last_name":"Schur"}],"_id":"8971","external_id":{"isi":["000603078000003"]},"publisher":"Springer Nature","publication_status":"published","doi":"10.1038/s41467-020-20286-x","abstract":[{"text":"The actin-related protein (Arp)2/3 complex nucleates branched actin filament networks pivotal for cell migration, endocytosis and pathogen infection. Its activation is tightly regulated and involves complex structural rearrangements and actin filament binding, which are yet to be understood. Here, we report a 9.0 Å resolution structure of the actin filament Arp2/3 complex branch junction in cells using cryo-electron tomography and subtomogram averaging. This allows us to generate an accurate model of the active Arp2/3 complex in the branch junction and its interaction with actin filaments. Notably, our model reveals a previously undescribed set of interactions of the Arp2/3 complex with the mother filament, significantly different to the previous branch junction model. Our structure also indicates a central role for the ArpC3 subunit in stabilizing the active conformation.","lang":"eng"}],"article_processing_charge":"No","isi":1,"publication_identifier":{"issn":["2041-1723"]},"department":[{"_id":"FlSc"},{"_id":"EM-Fac"}],"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"EM-Fac"}],"intvolume":" 11","article_number":"6437","date_published":"2020-12-22T00:00:00Z","year":"2020","type":"journal_article","corr_author":"1","publication":"Nature Communications","title":"Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction","file":[{"creator":"dernst","success":1,"file_id":"8975","access_level":"open_access","content_type":"application/pdf","date_updated":"2020-12-28T08:16:10Z","date_created":"2020-12-28T08:16:10Z","checksum":"55d43ea0061cc4027ba45e966e1db8cc","file_name":"2020_NatureComm_Faessler.pdf","relation":"main_file","file_size":3958727}],"language":[{"iso":"eng"}],"scopus_import":"1","quality_controlled":"1","related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/cutting-edge-technology-reveals-structures-within-cells/","description":"News on IST Homepage"}]},"date_created":"2020-12-23T08:25:45Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"status":"public","volume":11,"citation":{"apa":"Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., & Schur, F. K. (2020). Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20286-x","ieee":"F. Fäßler, G. A. Dimchev, V.-V. Hodirnau, W. Wan, and F. K. Schur, “Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction,” Nature Communications, vol. 11. Springer Nature, 2020.","chicago":"Fäßler, Florian, Georgi A Dimchev, Victor-Valentin Hodirnau, William Wan, and Florian KM Schur. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-20286-x.","ista":"Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. 2020. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 11, 6437.","short":"F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).","mla":"Fäßler, Florian, et al. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications, vol. 11, 6437, Springer Nature, 2020, doi:10.1038/s41467-020-20286-x.","ama":"Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"date_created":"2020-12-27T23:01:17Z","quality_controlled":"1","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP536","ieee":"F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic environment: Hydrodynamics,” Electronic Journal of Probability, vol. 25. Institute of Mathematical Statistics, 2020.","chicago":"Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2020. https://doi.org/10.1214/20-EJP536.","ista":"Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.","short":"F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).","mla":"Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability, vol. 25, 138, Institute of Mathematical Statistics, 2020, doi:10.1214/20-EJP536.","ama":"Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536"},"status":"public","volume":25,"year":"2020","type":"journal_article","file":[{"creator":"dernst","file_id":"8976","access_level":"open_access","success":1,"date_created":"2020-12-28T08:24:08Z","date_updated":"2020-12-28T08:24:08Z","content_type":"application/pdf","relation":"main_file","file_size":696653,"file_name":"2020_ElectronJProbab_Redig.pdf","checksum":"d75359b9814e78d57c0a481b7cde3751"}],"language":[{"iso":"eng"}],"publication":"Electronic Journal of Probability","title":"Symmetric simple exclusion process in dynamic environment: Hydrodynamics","intvolume":" 25","arxiv":1,"date_published":"2020-10-21T00:00:00Z","article_number":"138","isi":1,"department":[{"_id":"JaMa"}],"publication_identifier":{"eissn":["1083-6489"]},"_id":"8973","publication_status":"published","publisher":" Institute of Mathematical Statistics","external_id":{"arxiv":["1811.01366"],"isi":["000591737500001"]},"author":[{"last_name":"Redig","first_name":"Frank","full_name":"Redig, Frank"},{"full_name":"Saada, Ellen","first_name":"Ellen","last_name":"Saada"},{"id":"E1836206-9F16-11E9-8814-AEFDE5697425","last_name":"Sau","first_name":"Federico","full_name":"Sau, Federico"}],"project":[{"grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"day":"21","doi":"10.1214/20-EJP536","abstract":[{"text":"We consider the symmetric simple exclusion process in Zd with quenched bounded dynamic random conductances and prove its hydrodynamic limit in path space. The main tool is the connection, due to the self-duality of the process, between the invariance principle for single particles starting from all points and the macroscopic behavior of the density field. While the hydrodynamic limit at fixed macroscopic times is obtained via a generalization to the time-inhomogeneous context of the strategy introduced in [41], in order to prove tightness for the sequence of empirical density fields we develop a new criterion based on the notion of uniform conditional stochastic continuity, following [50]. In conclusion, we show that uniform elliptic dynamic conductances provide an example of environments in which the so-called arbitrary starting point invariance principle may be derived from the invariance principle of a single particle starting from the origin. Therefore, our hydrodynamics result applies to the examples of quenched environments considered in, e.g., [1], [3], [6] in combination with the hypothesis of uniform ellipticity.","lang":"eng"}],"article_processing_charge":"No","ddc":["510"],"ec_funded":1,"has_accepted_license":"1","date_updated":"2025-04-14T07:43:50Z","month":"10","acknowledgement":"We warmly thank S.R.S. Varadhan for many enlightening discussions at an early stage of this work. We are indebted to Francesca Collet for fruitful discussions and constant support all throughout this work. We thank Simone Floreani\r\nand Alberto Chiarini for helpful conversations on the final part of this paper as well as both referees for their careful reading and for raising relevant issues on some weak points contained in a previous version of this manuscript; we believe this helped us to improve it.\r\nPart of this work was done during the authors’ stay at the Institut Henri Poincaré (UMS 5208 CNRS-Sorbonne Université) – Centre Emile Borel during the trimester Stochastic Dynamics Out of Equilibrium. The authors thank this institution for hospitality and support (through LabEx CARMIN, ANR-10-LABX-59-01). F.S. thanks laboratoire\r\nMAP5 of Université de Paris, and E.S. thanks Delft University, for financial support and hospitality. F.S. acknowledges NWO for financial support via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411. This research has been conducted within the FP2M federation (CNRS FR 2036).","article_type":"original","oa":1,"file_date_updated":"2020-12-28T08:24:08Z","oa_version":"Published Version"},{"year":"2020","type":"conference","publication":"Progress in Cryptology","title":"Delayed authentication: Preventing replay and relay attacks in private contact tracing","language":[{"iso":"eng"}],"quality_controlled":"1","scopus_import":"1","series_title":"LNCS","date_created":"2021-01-03T23:01:23Z","status":"public","volume":12578,"citation":{"chicago":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15. LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1.","apa":"Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1","ieee":"K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in Progress in Cryptology, Bangalore, India, 2020, vol. 12578, pp. 3–15.","mla":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.","ama":"Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1","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."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","isi":1,"publication_identifier":{"isbn":["9783030652760"],"issn":["0302-9743"],"eissn":["1611-3349"]},"department":[{"_id":"KrPi"}],"intvolume":" 12578","date_published":"2020-12-08T00:00:00Z","page":"3-15","ec_funded":1,"project":[{"grant_number":"682815","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks"}],"conference":{"end_date":"2020-12-16","name":"INDOCRYPT: International Conference on Cryptology in India","location":"Bangalore, India","start_date":"2020-12-13"},"day":"08","_id":"8987","author":[{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Springer Nature","external_id":{"isi":["000927592800001"]},"publication_status":"published","doi":"10.1007/978-3-030-65277-7_1","article_processing_charge":"No","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."}],"oa":1,"oa_version":"Preprint","month":"12","date_updated":"2026-04-16T09:33:26Z","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/418"}]}]