[{"volume":39,"ddc":["000"],"date_created":"2020-09-13T22:01:18Z","day":"08","status":"public","publication":"ACM Transactions on Graphics","main_file_link":[{"url":"https://doi.org/10.1145/3386569.3392405","open_access":"1"}],"doi":"10.1145/3386569.3392405","oa_version":"Submitted Version","ec_funded":1,"isi":1,"date_published":"2020-07-08T00:00:00Z","month":"07","intvolume":"        39","article_number":"31","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback, especially Camille Schreck for her help in rendering. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. We would like to thank the authors of [Belcour and Barla 2017] for providing their implementation, the authors of [Atkins and Elliott 2010] and [Seychelles et al. 2008] for allowing us to use their results, and Rok Grah for helpful discussions. Finally, we thank Ryoichi Ando for many discussions from the beginning of the project that resulted in important contents of the paper including our formulation, numerical scheme, and initial implementation. This project has received funding from the\r\nEuropean Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176.","date_updated":"2024-02-28T12:57:31Z","acknowledged_ssus":[{"_id":"ScienComp"}],"oa":1,"issue":"4","external_id":{"isi":["000583700300004"]},"year":"2020","citation":{"mla":"Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 31, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>.","apa":"Ishida, S., Synak, P., Narita, F., Hachisuka, T., &#38; Wojtan, C. (2020). A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>","chicago":"Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Chris Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>.","short":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions on Graphics 39 (2020).","ieee":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, and C. Wojtan, “A model for soap film dynamics with evolving thickness,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","ista":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.","ama":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>"},"publication_identifier":{"issn":["07300301"],"eissn":["15577368"]},"abstract":[{"lang":"eng","text":"Previous research on animations of soap bubbles, films, and foams largely focuses on the motion and geometric shape of the bubble surface. These works neglect the evolution of the bubble’s thickness, which is normally responsible for visual phenomena like surface vortices, Newton’s interference patterns, capillary waves, and deformation-dependent rupturing of films in a foam. In this paper, we model these natural phenomena by introducing the film thickness as a reduced degree of freedom in the Navier-Stokes equations and deriving their equations of motion. We discretize the equations on a nonmanifold triangle mesh surface and couple it to an existing bubble solver. In doing so, we also introduce an incompressible fluid solver for 2.5D films and a novel advection algorithm for convecting fields across non-manifold surface junctions. Our simulations enhance state-of-the-art bubble solvers with additional effects caused by convection, rippling, draining, and evaporation of the thin film."}],"scopus_import":"1","type":"journal_article","file_date_updated":"2020-11-23T09:03:19Z","_id":"8384","quality_controlled":"1","project":[{"_id":"2533E772-B435-11E9-9278-68D0E5697425","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","call_identifier":"H2020","grant_number":"638176"}],"publication_status":"published","has_accepted_license":"1","publisher":"Association for Computing Machinery","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Sadashige","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","last_name":"Ishida","full_name":"Ishida, Sadashige"},{"full_name":"Synak, Peter","last_name":"Synak","first_name":"Peter","id":"331776E2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Fumiya","last_name":"Narita","full_name":"Narita, Fumiya"},{"last_name":"Hachisuka","first_name":"Toshiya","full_name":"Hachisuka, Toshiya"},{"full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","orcid":"0000-0001-6646-5546","last_name":"Wojtan"}],"title":"A model for soap film dynamics with evolving thickness","file":[{"date_created":"2020-11-23T09:03:19Z","date_updated":"2020-11-23T09:03:19Z","success":1,"file_name":"2020_soapfilm_submitted.pdf","access_level":"open_access","relation":"main_file","checksum":"813831ca91319d794d9748c276b24578","content_type":"application/pdf","file_id":"8795","creator":"dernst","file_size":14935529}],"article_processing_charge":"No","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"article_type":"original"},{"_id":"8385","quality_controlled":"1","publication_identifier":{"issn":["07300301"],"eissn":["15577368"]},"citation":{"apa":"Sperl, G., Narain, R., &#38; Wojtan, C. (2020). Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>","mla":"Sperl, Georg, et al. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 48, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>.","ama":"Sperl G, Narain R, Wojtan C. Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>","ieee":"G. Sperl, R. Narain, and C. Wojtan, “Homogenized yarn-level cloth,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","short":"G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).","ista":"Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.","chicago":"Sperl, Georg, Rahul Narain, and Chris Wojtan. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>."},"file_date_updated":"2020-11-23T09:01:22Z","type":"journal_article","abstract":[{"text":"We present a method for animating yarn-level cloth effects using a thin-shell solver. We accomplish this through numerical homogenization: we first use a large number of yarn-level simulations to build a model of the potential energy density of the cloth, and then use this energy density function to compute forces in a thin shell simulator. We model several yarn-based materials, including both woven and knitted fabrics. Our model faithfully reproduces expected effects like the stiffness of woven fabrics, and the highly deformable nature and anisotropy of knitted fabrics. Our approach does not require any real-world experiments nor measurements; because the method is based entirely on simulations, it can generate entirely new material models quickly, without the need for testing apparatuses or human intervention. We provide data-driven models of several woven and knitted fabrics, which can be used for efficient simulation with an off-the-shelf cloth solver.","lang":"eng"}],"scopus_import":"1","project":[{"grant_number":"638176","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales"}],"publication_status":"published","file":[{"date_updated":"2020-11-23T09:01:22Z","date_created":"2020-11-23T09:01:22Z","file_name":"2020_hylc_submitted.pdf","success":1,"relation":"main_file","access_level":"open_access","checksum":"cf4c1d361c3196c4bd424520a5588205","creator":"dernst","file_size":38922662,"file_id":"8794","content_type":"application/pdf"}],"title":"Homogenized yarn-level cloth","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Georg","id":"4DD40360-F248-11E8-B48F-1D18A9856A87","last_name":"Sperl","full_name":"Sperl, Georg"},{"first_name":"Rahul","last_name":"Narain","full_name":"Narain, Rahul"},{"id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J"}],"has_accepted_license":"1","publisher":"Association for Computing Machinery","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"ChWo"}],"date_created":"2020-09-13T22:01:18Z","ddc":["000"],"day":"08","status":"public","volume":39,"related_material":{"record":[{"id":"12358","relation":"dissertation_contains","status":"public"}]},"isi":1,"ec_funded":1,"oa_version":"Submitted Version","doi":"10.1145/3386569.3392412","main_file_link":[{"url":"https://doi.org/10.1145/3386569.3392412","open_access":"1"}],"publication":"ACM Transactions on Graphics","date_updated":"2024-02-28T12:57:47Z","issue":"4","acknowledged_ssus":[{"_id":"ScienComp"}],"oa":1,"month":"07","intvolume":"        39","date_published":"2020-07-08T00:00:00Z","article_number":"48","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback. We also thank the creators of the Berkeley Garment Library [de Joya et al. 2012] for providing garment meshes, [Krishnamurthy and Levoy 1996] and [Turk and Levoy 1994] for the armadillo and bunny meshes, the creators of libWetCloth [Fei et al. 2018] for their implementation of discrete elastic rod forces, and Tomáš Skřivan for\r\ninspiring discussions and help with Mathematica code generation. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176. Rahul Narain is supported by a Pankaj Gupta Young Faculty Fellowship and a gift from Adobe Inc.","year":"2020","external_id":{"isi":["000583700300021"]}},{"page":"148","year":"2020","acknowledgement":"The research in this thesis has received funding from the European Union’s Horizon 2020 research and innovation programme, under the Marie Skłodowska-Curie grant agreement No 642841 (DISTRO) and the European Research Council grant agreement No 715767 (MATERIALIZABLE). All the research projects in this thesis were also supported by Scientific Service Units (SSUs) at IST Austria.","alternative_title":["ISTA Thesis"],"date_published":"2020-09-14T00:00:00Z","month":"09","acknowledged_ssus":[{"_id":"SSU"}],"oa":1,"date_updated":"2023-09-22T09:49:31Z","doi":"10.15479/AT:ISTA:8386","degree_awarded":"PhD","ec_funded":1,"oa_version":"Published Version","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"486"},{"relation":"part_of_dissertation","status":"public","id":"1002"}]},"day":"14","status":"public","supervisor":[{"full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","orcid":"0000-0001-6511-9385","last_name":"Bickel"}],"ddc":["003"],"date_created":"2020-09-14T01:04:53Z","department":[{"_id":"BeBi"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","has_accepted_license":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability","author":[{"full_name":"Zhang, Ran","orcid":"0000-0002-3808-281X","last_name":"Zhang","id":"4DDBCEB0-F248-11E8-B48F-1D18A9856A87","first_name":"Ran"}],"file":[{"access_level":"closed","relation":"source_file","checksum":"edcf578b6e1c9b0dd81ff72d319b66ba","file_id":"8388","content_type":"application/x-zip-compressed","file_size":1245800191,"creator":"rzhang","date_created":"2020-09-14T01:02:59Z","date_updated":"2020-09-14T12:18:43Z","file_name":"Thesis_Ran.zip"},{"content_type":"application/pdf","file_id":"8396","file_size":161385316,"creator":"rzhang","relation":"main_file","access_level":"open_access","checksum":"817e20c33be9247f906925517c56a40d","success":1,"file_name":"PhD_thesis_Ran Zhang_20200915.pdf","date_created":"2020-09-15T12:51:53Z","date_updated":"2020-09-15T12:51:53Z"}],"publication_status":"published","project":[{"grant_number":"642841","call_identifier":"H2020","_id":"2508E324-B435-11E9-9278-68D0E5697425","name":"Distributed 3D Object Design"},{"grant_number":"715767","call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"Form versus function is a long-standing debate in various design-related fields, such as architecture as well as graphic and industrial design. A good design that balances form and function often requires considerable human effort and collaboration among experts from different professional fields. Computational design tools provide a new paradigm for designing functional objects. In computational design, form and function are represented as mathematical\r\nquantities, with the help of numerical and combinatorial algorithms, they can assist even novice users in designing versatile models that exhibit their desired functionality. This thesis presents three disparate research studies on the computational design of functional objects: The appearance of 3d print—we optimize the volumetric material distribution for faithfully replicating colored surface texture in 3d printing; the dynamic motion of mechanical structures—\r\nour design system helps the novice user to retarget various mechanical templates with different functionality to complex 3d shapes; and a more abstract functionality, multistability—our algorithm automatically generates models that exhibit multiple stable target poses. For each of these cases, our computational design tools not only ensure the functionality of the results but also permit the user aesthetic freedom over the form. Moreover, fabrication constraints\r\nwere taken into account, which allow for the immediate creation of physical realization via 3D printing or laser cutting.","lang":"eng"}],"type":"dissertation","file_date_updated":"2020-09-15T12:51:53Z","publication_identifier":{"issn":["2663-337X"]},"citation":{"mla":"Zhang, Ran. <i>Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8386\">10.15479/AT:ISTA:8386</a>.","apa":"Zhang, R. (2020). <i>Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8386\">https://doi.org/10.15479/AT:ISTA:8386</a>","chicago":"Zhang, Ran. “Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8386\">https://doi.org/10.15479/AT:ISTA:8386</a>.","ieee":"R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” Institute of Science and Technology Austria, 2020.","short":"R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.","ista":"Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria.","ama":"Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8386\">10.15479/AT:ISTA:8386</a>"},"_id":"8386"},{"oa_version":"Published Version","related_material":{"record":[{"id":"7936","status":"public","relation":"part_of_dissertation"},{"id":"7937","status":"public","relation":"part_of_dissertation"},{"id":"8193","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"8092"},{"id":"911","relation":"part_of_dissertation","status":"public"}]},"doi":"10.15479/AT:ISTA:8390","degree_awarded":"PhD","supervisor":[{"full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","orcid":"0000-0001-8622-7887","last_name":"Lampert"}],"day":"14","status":"public","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"date_created":"2020-09-14T13:42:09Z","ddc":["000"],"year":"2020","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","page":"197","oa":1,"acknowledged_ssus":[{"_id":"CampIT"},{"_id":"ScienComp"}],"date_updated":"2023-10-16T10:04:02Z","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_published":"2020-09-14T00:00:00Z","alternative_title":["ISTA Thesis"],"publication_status":"published","_id":"8390","type":"dissertation","file_date_updated":"2020-09-14T13:39:17Z","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. "}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-007-7"]},"citation":{"chicago":"Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8390\">https://doi.org/10.15479/AT:ISTA:8390</a>.","ama":"Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8390\">10.15479/AT:ISTA:8390</a>","ista":"Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.","ieee":"A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.","short":"A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.","mla":"Royer, Amélie. <i>Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8390\">10.15479/AT:ISTA:8390</a>.","apa":"Royer, A. (2020). <i>Leveraging structure in Computer Vision tasks for flexible Deep Learning models</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8390\">https://doi.org/10.15479/AT:ISTA:8390</a>"},"language":[{"iso":"eng"}],"department":[{"_id":"ChLa"}],"article_processing_charge":"No","file":[{"content_type":"application/pdf","file_id":"8391","file_size":30224591,"creator":"dernst","access_level":"open_access","checksum":"c914d2f88846032f3d8507734861b6ee","relation":"main_file","success":1,"file_name":"2020_Thesis_Royer.pdf","date_created":"2020-09-14T13:39:14Z","date_updated":"2020-09-14T13:39:14Z"},{"date_updated":"2020-09-14T13:39:17Z","date_created":"2020-09-14T13:39:17Z","file_name":"thesis_sources.zip","relation":"main_file","access_level":"closed","checksum":"ae98fb35d912cff84a89035ae5794d3c","content_type":"application/x-zip-compressed","file_id":"8392","file_size":74227627,"creator":"dernst"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Royer, Amélie","orcid":"0000-0002-8407-0705","last_name":"Royer","first_name":"Amélie","id":"3811D890-F248-11E8-B48F-1D18A9856A87"}],"title":"Leveraging structure in Computer Vision tasks for flexible Deep Learning models","publisher":"Institute of Science and Technology Austria","has_accepted_license":"1"},{"publication_status":"published","project":[{"name":"Protein structure and function in filopodia across scales","_id":"2674F658-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"M02495"}],"abstract":[{"lang":"eng","text":"Efficient migration on adhesive surfaces involves the protrusion of lamellipodial actin networks and their subsequent stabilization by nascent adhesions. The actin-binding protein lamellipodin (Lpd) is thought to play a critical role in lamellipodium protrusion, by delivering Ena/VASP proteins onto the growing plus ends of actin filaments and by interacting with the WAVE regulatory complex, an activator of the Arp2/3 complex, at the leading edge. Using B16-F1 melanoma cell lines, we demonstrate that genetic ablation of Lpd compromises protrusion efficiency and coincident cell migration without altering essential parameters of lamellipodia, including their maximal rate of forward advancement and actin polymerization. We also confirmed lamellipodia and migration phenotypes with CRISPR/Cas9-mediated Lpd knockout Rat2 fibroblasts, excluding cell type-specific effects. Moreover, computer-aided analysis of cell-edge morphodynamics on B16-F1 cell lamellipodia revealed that loss of Lpd correlates with reduced temporal protrusion maintenance as a prerequisite of nascent adhesion formation. We conclude that Lpd optimizes protrusion and nascent adhesion formation by counteracting frequent, chaotic retraction and membrane ruffling.This article has an associated First Person interview with the first author of the paper. "}],"file_date_updated":"2020-10-11T22:30:02Z","type":"journal_article","publication_identifier":{"issn":["0021-9533"],"eissn":["1477-9137"]},"citation":{"mla":"Dimchev, Georgi A., et al. “Lamellipodin Tunes Cell Migration by Stabilizing Protrusions and Promoting Adhesion Formation.” <i>Journal of Cell Science</i>, vol. 133, no. 7, jcs239020, The Company of Biologists, 2020, doi:<a href=\"https://doi.org/10.1242/jcs.239020\">10.1242/jcs.239020</a>.","apa":"Dimchev, G. A., Amiri, B., Humphries, A. C., Schaks, M., Dimchev, V., Stradal, T. E. B., … Rottner, K. (2020). Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. <i>Journal of Cell Science</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.239020\">https://doi.org/10.1242/jcs.239020</a>","chicago":"Dimchev, Georgi A, Behnam Amiri, Ashley C. Humphries, Matthias Schaks, Vanessa Dimchev, Theresia E. B. Stradal, Jan Faix, et al. “Lamellipodin Tunes Cell Migration by Stabilizing Protrusions and Promoting Adhesion Formation.” <i>Journal of Cell Science</i>. The Company of Biologists, 2020. <a href=\"https://doi.org/10.1242/jcs.239020\">https://doi.org/10.1242/jcs.239020</a>.","short":"G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).","ista":"Dimchev GA, Amiri B, Humphries AC, Schaks M, Dimchev V, Stradal TEB, Faix J, Krause M, Way M, Falcke M, Rottner K. 2020. Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. 133(7), jcs239020.","ieee":"G. A. Dimchev <i>et al.</i>, “Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation,” <i>Journal of Cell Science</i>, vol. 133, no. 7. The Company of Biologists, 2020.","ama":"Dimchev GA, Amiri B, Humphries AC, et al. Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. <i>Journal of Cell Science</i>. 2020;133(7). doi:<a href=\"https://doi.org/10.1242/jcs.239020\">10.1242/jcs.239020</a>"},"quality_controlled":"1","_id":"8434","department":[{"_id":"FlSc"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}],"publisher":"The Company of Biologists","has_accepted_license":"1","author":[{"last_name":"Dimchev","orcid":"0000-0001-8370-6161","first_name":"Georgi A","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","full_name":"Dimchev, Georgi A"},{"first_name":"Behnam","last_name":"Amiri","full_name":"Amiri, Behnam"},{"first_name":"Ashley C.","last_name":"Humphries","full_name":"Humphries, Ashley C."},{"full_name":"Schaks, Matthias","last_name":"Schaks","first_name":"Matthias"},{"last_name":"Dimchev","first_name":"Vanessa","full_name":"Dimchev, Vanessa"},{"first_name":"Theresia E. B.","last_name":"Stradal","full_name":"Stradal, Theresia E. B."},{"last_name":"Faix","first_name":"Jan","full_name":"Faix, Jan"},{"full_name":"Krause, Matthias","first_name":"Matthias","last_name":"Krause"},{"full_name":"Way, Michael","first_name":"Michael","last_name":"Way"},{"first_name":"Martin","last_name":"Falcke","full_name":"Falcke, Martin"},{"full_name":"Rottner, Klemens","last_name":"Rottner","first_name":"Klemens"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation","file":[{"date_created":"2020-09-17T14:07:51Z","date_updated":"2020-10-11T22:30:02Z","file_name":"2020_JournalCellScience_Dimchev.pdf","embargo":"2020-10-10","relation":"main_file","checksum":"ba917e551acc4ece2884b751434df9ae","access_level":"open_access","file_id":"8435","content_type":"application/pdf","file_size":13493302,"creator":"dernst"}],"publication":"Journal of Cell Science","doi":"10.1242/jcs.239020","oa_version":"Published Version","isi":1,"volume":133,"pmid":1,"status":"public","day":"09","date_created":"2020-09-17T14:00:33Z","ddc":["570"],"external_id":{"isi":["000534387800005"],"pmid":[" 32094266"]},"year":"2020","acknowledgement":"This work was supported in part by Deutsche Forschungsgemeinschaft (DFG)[GRK2223/1, RO2414/5-1 (to K.R.), FA350/11-1 (to M.F.) and FA330/11-1 (to J.F.)],as well as by intramural funding from the Helmholtz Association (to T.E.B.S. andK.R.). G.D. was additionally funded by the Austrian Science Fund (FWF) LiseMeitner Program [M-2495]. A.C.H. and M.W. are supported by the Francis CrickInstitute, which receives its core funding from Cancer Research UK [FC001209], theMedical Research Council [FC001209] and the Wellcome Trust [FC001209]. M.K. issupported by the Biotechnology and Biological Sciences Research Council [BB/F011431/1, BB/J000590/1, BB/N000226/1]. Deposited in PMC for release after 6months.","article_number":"jcs239020","date_published":"2020-04-09T00:00:00Z","month":"04","intvolume":"       133","oa":1,"issue":"7","keyword":["Cell Biology"],"date_updated":"2023-09-05T15:41:48Z"},{"doi":"10.1038/s41467-020-18269-z","publication":"Nature Communications","related_material":{"link":[{"url":"https://doi.org/10.1038/s41467-020-18912-9","relation":"erratum"},{"url":"https://ist.ac.at/en/news/how-to-transport-microwave-quantum-information-via-optical-fiber/","description":"News on IST Homepage","relation":"press_release"}],"record":[{"relation":"research_data","status":"public","id":"13056"}]},"isi":1,"ec_funded":1,"oa_version":"Published Version","volume":11,"ddc":["530"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-09-18T10:56:20Z","day":"08","status":"public","external_id":{"isi":["000577280200001"]},"license":"https://creativecommons.org/licenses/by/4.0/","year":"2020","intvolume":"        11","month":"09","date_published":"2020-09-08T00:00:00Z","article_number":"4460","acknowledgement":"We thank Yuan Chen for performing supplementary FEM simulations and Andrew Higginbotham, Ralf Riedinger, Sungkun Hong, and Lorenzo Magrini for valuable discussions. This work was supported by IST Austria, the IST nanofabrication facility (NFF), the European Union’s Horizon 2020 research and innovation program under grant agreement no. 732894 (FET Proactive HOT) and the European Research Council under grant agreement no. 758053 (ERC StG QUNNECT). G.A. is the recipient of a DOC fellowship of the Austrian Academy of Sciences at IST Austria. W.H. is the recipient of an ISTplus postdoctoral fellowship with funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement no. 754411. J.M.F. acknowledges support from the Austrian Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and the EU’s Horizon 2020 research and innovation program under grant agreement no. 862644 (FET Open QUARTET).","date_updated":"2024-08-07T07:11:51Z","keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"acknowledged_ssus":[{"_id":"NanoFab"}],"oa":1,"project":[{"_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies","grant_number":"732894","call_identifier":"H2020"},{"name":"A Fiber Optic Transceiver for Superconducting Qubits","_id":"26336814-B435-11E9-9278-68D0E5697425","grant_number":"758053","call_identifier":"H2020"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"},{"grant_number":"862644","call_identifier":"H2020","name":"Quantum readout techniques and technologies","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E"},{"_id":"2671EB66-B435-11E9-9278-68D0E5697425","name":"Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies"}],"publication_status":"published","citation":{"mla":"Arnold, Georg M., et al. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” <i>Nature Communications</i>, vol. 11, 4460, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-18269-z\">10.1038/s41467-020-18269-z</a>.","apa":"Arnold, G. M., Wulf, M., Barzanjeh, S., Redchenko, E., Rueda Sanchez, A. R., Hease, W. J., … Fink, J. M. (2020). Converting microwave and telecom photons with a silicon photonic nanomechanical interface. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-18269-z\">https://doi.org/10.1038/s41467-020-18269-z</a>","chicago":"Arnold, Georg M, Matthias Wulf, Shabir Barzanjeh, Elena Redchenko, Alfredo R Rueda Sanchez, William J Hease, Farid Hassani, and Johannes M Fink. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-18269-z\">https://doi.org/10.1038/s41467-020-18269-z</a>.","short":"G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).","ieee":"G. M. Arnold <i>et al.</i>, “Converting microwave and telecom photons with a silicon photonic nanomechanical interface,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","ista":"Arnold GM, Wulf M, Barzanjeh S, Redchenko E, Rueda Sanchez AR, Hease WJ, Hassani F, Fink JM. 2020. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 11, 4460.","ama":"Arnold GM, Wulf M, Barzanjeh S, et al. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-18269-z\">10.1038/s41467-020-18269-z</a>"},"publication_identifier":{"issn":["2041-1723"]},"type":"journal_article","file_date_updated":"2020-09-18T13:02:37Z","abstract":[{"text":"Practical quantum networks require low-loss and noise-resilient optical interconnects as well as non-Gaussian resources for entanglement distillation and distributed quantum computation. The latter could be provided by superconducting circuits but existing solutions to interface the microwave and optical domains lack either scalability or efficiency, and in most cases the conversion noise is not known. In this work we utilize the unique opportunities of silicon photonics, cavity optomechanics and superconducting circuits to demonstrate a fully integrated, coherent transducer interfacing the microwave X and the telecom S bands with a total (internal) bidirectional transduction efficiency of 1.2% (135%) at millikelvin temperatures. The coupling relies solely on the radiation pressure interaction mediated by the femtometer-scale motion of two silicon nanobeams reaching a <jats:italic>V</jats:italic><jats:sub><jats:italic>π</jats:italic></jats:sub> as low as 16 μV for sub-nanowatt pump powers. Without the associated optomechanical gain, we achieve a total (internal) pure conversion efficiency of up to 0.019% (1.6%), relevant for future noise-free operation on this qubit-compatible platform.","lang":"eng"}],"_id":"8529","quality_controlled":"1","article_processing_charge":"No","department":[{"_id":"JoFi"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"Springer Nature","file":[{"file_id":"8530","content_type":"application/pdf","file_size":1002818,"creator":"dernst","access_level":"open_access","checksum":"88f92544889eb18bb38e25629a422a86","relation":"main_file","success":1,"file_name":"2020_NatureComm_Arnold.pdf","date_created":"2020-09-18T13:02:37Z","date_updated":"2020-09-18T13:02:37Z"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Converting microwave and telecom photons with a silicon photonic nanomechanical interface","author":[{"full_name":"Arnold, Georg M","last_name":"Arnold","orcid":"0000-0003-1397-7876","id":"3770C838-F248-11E8-B48F-1D18A9856A87","first_name":"Georg M"},{"orcid":"0000-0001-6613-1378","last_name":"Wulf","first_name":"Matthias","id":"45598606-F248-11E8-B48F-1D18A9856A87","full_name":"Wulf, Matthias"},{"full_name":"Barzanjeh, Shabir","orcid":"0000-0003-0415-1423","last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","first_name":"Shabir"},{"last_name":"Redchenko","first_name":"Elena","id":"2C21D6E8-F248-11E8-B48F-1D18A9856A87","full_name":"Redchenko, Elena"},{"full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","first_name":"Alfredo R","last_name":"Rueda Sanchez","orcid":"0000-0001-6249-5860"},{"first_name":"William J","id":"29705398-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9868-2166","last_name":"Hease","full_name":"Hease, William J"},{"last_name":"Hassani","orcid":"0000-0001-6937-5773","first_name":"Farid","id":"2AED110C-F248-11E8-B48F-1D18A9856A87","full_name":"Hassani, Farid"},{"first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink","orcid":"0000-0001-8112-028X","full_name":"Fink, Johannes M"}]},{"has_accepted_license":"1","publisher":"MDPI","file":[{"file_id":"8551","content_type":"application/pdf","file_size":5748456,"creator":"dernst","relation":"main_file","access_level":"open_access","checksum":"2e4f62f3cfe945b7391fc3070e5a289f","success":1,"file_name":"2020_JournMolecSciences_Kleindienst.pdf","date_updated":"2020-09-21T14:08:58Z","date_created":"2020-09-21T14:08:58Z"}],"title":"Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses","author":[{"full_name":"Kleindienst, David","last_name":"Kleindienst","id":"42E121A4-F248-11E8-B48F-1D18A9856A87","first_name":"David"},{"last_name":"Montanaro-Punzengruber","first_name":"Jacqueline-Claire","id":"3786AB44-F248-11E8-B48F-1D18A9856A87","full_name":"Montanaro-Punzengruber, Jacqueline-Claire"},{"full_name":"Bhandari, Pradeep","last_name":"Bhandari","orcid":"0000-0003-0863-4481","id":"45EDD1BC-F248-11E8-B48F-1D18A9856A87","first_name":"Pradeep"},{"full_name":"Case, Matthew J","first_name":"Matthew J","id":"44B7CA5A-F248-11E8-B48F-1D18A9856A87","last_name":"Case"},{"full_name":"Fukazawa, Yugo","first_name":"Yugo","last_name":"Fukazawa"},{"full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","department":[{"_id":"RySh"}],"language":[{"iso":"eng"}],"article_type":"original","publication_identifier":{"issn":["16616596"],"eissn":["14220067"]},"citation":{"ama":"Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. <i>International Journal of Molecular Sciences</i>. 2020;21(18). doi:<a href=\"https://doi.org/10.3390/ijms21186737\">10.3390/ijms21186737</a>","ieee":"D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M. J. Case, Y. Fukazawa, and R. Shigemoto, “Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses,” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 18. MDPI, 2020.","ista":"Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 2020. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. 21(18), 6737.","short":"D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).","chicago":"Kleindienst, David, Jacqueline-Claire Montanaro-Punzengruber, Pradeep Bhandari, Matthew J Case, Yugo Fukazawa, and Ryuichi Shigemoto. “Deep Learning-Assisted High-Throughput Analysis of Freeze-Fracture Replica Images Applied to Glutamate Receptors and Calcium Channels at Hippocampal Synapses.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/ijms21186737\">https://doi.org/10.3390/ijms21186737</a>.","apa":"Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., &#38; Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms21186737\">https://doi.org/10.3390/ijms21186737</a>","mla":"Kleindienst, David, et al. “Deep Learning-Assisted High-Throughput Analysis of Freeze-Fracture Replica Images Applied to Glutamate Receptors and Calcium Channels at Hippocampal Synapses.” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 18, 6737, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/ijms21186737\">10.3390/ijms21186737</a>."},"type":"journal_article","file_date_updated":"2020-09-21T14:08:58Z","abstract":[{"text":"The molecular anatomy of synapses defines their characteristics in transmission and plasticity. Precise measurements of the number and distribution of synaptic proteins are important for our understanding of synapse heterogeneity within and between brain regions. Freeze–fracture replica immunogold electron microscopy enables us to analyze them quantitatively on a two-dimensional membrane surface. Here, we introduce Darea software, which utilizes deep learning for analysis of replica images and demonstrate its usefulness for quick measurements of the pre- and postsynaptic areas, density and distribution of gold particles at synapses in a reproducible manner. We used Darea for comparing glutamate receptor and calcium channel distributions between hippocampal CA3-CA1 spine synapses on apical and basal dendrites, which differ in signaling pathways involved in synaptic plasticity. We found that apical synapses express a higher density of α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptors and a stronger increase of AMPA receptors with synaptic size, while basal synapses show a larger increase in N-methyl-D-aspartate (NMDA) receptors with size. Interestingly, AMPA and NMDA receptors are segregated within postsynaptic sites and negatively correlated in density among both apical and basal synapses. In the presynaptic sites, Cav2.1 voltage-gated calcium channels show similar densities in apical and basal synapses with distributions consistent with an exclusion zone model of calcium channel-release site topography.","lang":"eng"}],"scopus_import":"1","_id":"8532","quality_controlled":"1","project":[{"_id":"25CA28EA-B435-11E9-9278-68D0E5697425","name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","grant_number":"694539","call_identifier":"H2020"},{"_id":"25D32BC0-B435-11E9-9278-68D0E5697425","name":"Mechanism of formation and maintenance of input side-dependent asymmetry in the hippocampus"},{"call_identifier":"H2020","grant_number":"785907","_id":"26436750-B435-11E9-9278-68D0E5697425","name":"Human Brain Project Specific Grant Agreement 2 (HBP SGA 2)"}],"publication_status":"published","month":"09","intvolume":"        21","date_published":"2020-09-14T00:00:00Z","acknowledgement":"This research was funded by Austrian Academy of Sciences, DOC fellowship to D.K., European Research\r\nCouncil Advanced Grant 694539 and European Union Human Brain Project (HBP) SGA2 785907 to R.S.\r\nWe acknowledge Elena Hollergschwandtner for technical support.","article_number":"6737","date_updated":"2024-03-25T23:30:16Z","issue":"18","oa":1,"external_id":{"isi":["000579945300001"]},"year":"2020","volume":21,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"date_created":"2020-09-20T22:01:35Z","status":"public","day":"14","doi":"10.3390/ijms21186737","publication":"International Journal of Molecular Sciences","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"9562"}]},"isi":1,"oa_version":"Published Version","ec_funded":1},{"file":[{"access_level":"open_access","relation":"main_file","checksum":"bbd7c4f55d45f2ff2a0a4ef0e10a77b1","file_size":491374,"creator":"dernst","content_type":"application/pdf","file_id":"8550","date_updated":"2020-09-21T13:57:34Z","date_created":"2020-09-21T13:57:34Z","file_name":"2020_LIPIcs_Chatterjee.pdf","success":1}],"author":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Ibsen-Jensen, Rasmus","first_name":"Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4783-0389","last_name":"Ibsen-Jensen"},{"full_name":"Jecker, Ismael R","last_name":"Jecker","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","first_name":"Ismael R"},{"full_name":"Svoboda, Jakub","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","last_name":"Svoboda"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Simplified game of life: Algorithms and complexity","has_accepted_license":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"KrCh"}],"_id":"8533","quality_controlled":"1","publication_identifier":{"issn":["18688969"],"isbn":["9783959771597"]},"citation":{"chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Simplified Game of Life: Algorithms and Complexity.” In <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.22\">https://doi.org/10.4230/LIPIcs.MFCS.2020.22</a>.","ama":"Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: <i>45th International Symposium on Mathematical Foundations of Computer Science</i>. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.22\">10.4230/LIPIcs.MFCS.2020.22</a>","short":"K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.","ieee":"K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, Prague, Czech Republic, 2020, vol. 170.","ista":"Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.","mla":"Chatterjee, Krishnendu, et al. “Simplified Game of Life: Algorithms and Complexity.” <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, vol. 170, 22:1-22:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.22\">10.4230/LIPIcs.MFCS.2020.22</a>.","apa":"Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., &#38; Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In <i>45th International Symposium on Mathematical Foundations of Computer Science</i> (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.22\">https://doi.org/10.4230/LIPIcs.MFCS.2020.22</a>"},"type":"conference","file_date_updated":"2020-09-21T13:57:34Z","abstract":[{"lang":"eng","text":"Game of Life is a simple and elegant model to study dynamical system over networks. The model consists of a graph where every vertex has one of two types, namely, dead or alive. A configuration is a mapping of the vertices to the types. An update rule describes how the type of a vertex is updated given the types of its neighbors. In every round, all vertices are updated synchronously, which leads to a configuration update. While in general, Game of Life allows a broad range of update rules, we focus on two simple families of update rules, namely, underpopulation and overpopulation, that model several interesting dynamics studied in the literature. In both settings, a dead vertex requires at least a desired number of live neighbors to become alive. For underpopulation (resp., overpopulation), a live vertex requires at least (resp. at most) a desired number of live neighbors to remain alive. We study the basic computation problems, e.g., configuration reachability, for these two families of rules. For underpopulation rules, we show that these problems can be solved in polynomial time, whereas for overpopulation rules they are PSPACE-complete."}],"scopus_import":"1","arxiv":1,"project":[{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"publication_status":"published","date_updated":"2025-06-02T08:53:42Z","oa":1,"month":"08","intvolume":"       170","alternative_title":["LIPIcs"],"date_published":"2020-08-18T00:00:00Z","article_number":"22:1-22:13","acknowledgement":"Krishnendu Chatterjee: The research was partially supported by the Vienna Science and\r\nTechnology Fund (WWTF) Project ICT15-003.\r\nIsmaël Jecker: This project has received funding from the European Union’s Horizon 2020 research\r\nand innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411.","year":"2020","external_id":{"arxiv":["2007.02894"]},"license":"https://creativecommons.org/licenses/by/3.0/","conference":{"location":"Prague, Czech Republic","name":"MFCS: Symposium on Mathematical Foundations of Computer Science","start_date":"2020-08-24","end_date":"2020-08-28"},"ddc":["000"],"tmp":{"short":"CC BY (3.0)","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","image":"/images/cc_by.png"},"date_created":"2020-09-20T22:01:36Z","status":"public","day":"18","volume":170,"ec_funded":1,"oa_version":"Published Version","doi":"10.4230/LIPIcs.MFCS.2020.22","publication":"45th International Symposium on Mathematical Foundations of Computer Science"},{"volume":170,"day":"18","status":"public","date_created":"2020-09-20T22:01:36Z","tmp":{"short":"CC BY (3.0)","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","image":"/images/cc_by.png"},"ddc":["000"],"publication":"45th International Symposium on Mathematical Foundations of Computer Science","doi":"10.4230/LIPIcs.MFCS.2020.51","oa_version":"Published Version","ec_funded":1,"acknowledgement":"Ismaël Jecker: This project has received funding from the European Union’s Horizon\r\n2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No.\r\n754411. Nicolas Mazzocchi: PhD fellowship FRIA from the F.R.S.-FNRS.","article_number":"51:1-51:12","date_published":"2020-08-18T00:00:00Z","alternative_title":["LIPIcs"],"intvolume":"       170","month":"08","oa":1,"date_updated":"2021-01-12T08:19:56Z","conference":{"end_date":"2020-08-28","start_date":"2020-08-24","name":"MFCS: Symposium on Mathematical Foundations of Computer Science","location":"Prague, Czech Republic"},"year":"2020","abstract":[{"lang":"eng","text":"A regular language L of finite words is composite if there are regular languages L₁,L₂,…,L_t such that L = ⋂_{i = 1}^t L_i and the index (number of states in a minimal DFA) of every language L_i is strictly smaller than the index of L. Otherwise, L is prime. Primality of regular languages was introduced and studied in [O. Kupferman and J. Mosheiff, 2015], where the complexity of deciding the primality of the language of a given DFA was left open, with a doubly-exponential gap between the upper and lower bounds. We study primality for unary regular languages, namely regular languages with a singleton alphabet. A unary language corresponds to a subset of ℕ, making the study of unary prime languages closer to that of primality in number theory. We show that the setting of languages is richer. In particular, while every composite number is the product of two smaller numbers, the number t of languages necessary to decompose a composite unary language induces a strict hierarchy. In addition, a primality witness for a unary language L, namely a word that is not in L but is in all products of languages that contain L and have an index smaller than L’s, may be of exponential length. Still, we are able to characterize compositionality by structural properties of a DFA for L, leading to a LogSpace algorithm for primality checking of unary DFAs."}],"scopus_import":"1","type":"conference","file_date_updated":"2020-09-21T14:17:08Z","citation":{"chicago":"Jecker, Ismael R, Orna Kupferman, and Nicolas Mazzocchi. “Unary Prime Languages.” In <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.51\">https://doi.org/10.4230/LIPIcs.MFCS.2020.51</a>.","ieee":"I. R. Jecker, O. Kupferman, and N. Mazzocchi, “Unary prime languages,” in <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, Prague, Czech Republic, 2020, vol. 170.","short":"I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.","ista":"Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.","ama":"Jecker IR, Kupferman O, Mazzocchi N. Unary prime languages. In: <i>45th International Symposium on Mathematical Foundations of Computer Science</i>. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.51\">10.4230/LIPIcs.MFCS.2020.51</a>","mla":"Jecker, Ismael R., et al. “Unary Prime Languages.” <i>45th International Symposium on Mathematical Foundations of Computer Science</i>, vol. 170, 51:1-51:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.51\">10.4230/LIPIcs.MFCS.2020.51</a>.","apa":"Jecker, I. R., Kupferman, O., &#38; Mazzocchi, N. (2020). Unary prime languages. In <i>45th International Symposium on Mathematical Foundations of Computer Science</i> (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2020.51\">https://doi.org/10.4230/LIPIcs.MFCS.2020.51</a>"},"publication_identifier":{"isbn":["9783959771597"],"issn":["18688969"]},"quality_controlled":"1","_id":"8534","publication_status":"published","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","has_accepted_license":"1","author":[{"last_name":"Jecker","first_name":"Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","full_name":"Jecker, Ismael R"},{"first_name":"Orna","last_name":"Kupferman","full_name":"Kupferman, Orna"},{"first_name":"Nicolas","last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas"}],"title":"Unary prime languages","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_id":"8552","content_type":"application/pdf","file_size":597977,"creator":"dernst","relation":"main_file","checksum":"2dc9e2fad6becd4563aef3e27a473f70","access_level":"open_access","success":1,"file_name":"2020_LIPIcsMFCS_Jecker.pdf","date_created":"2020-09-21T14:17:08Z","date_updated":"2020-09-21T14:17:08Z"}],"department":[{"_id":"KrCh"}],"article_processing_charge":"No","language":[{"iso":"eng"}]},{"_id":"8535","quality_controlled":"1","publication_identifier":{"issn":["07300301"],"eissn":["15577368"]},"citation":{"chicago":"Skrivan, Tomas, Andreas Soderstrom, John Johansson, Christoph Sprenger, Ken Museth, and Chris Wojtan. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392466\">https://doi.org/10.1145/3386569.3392466</a>.","ista":"Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. 2020. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 39(4), 65.","short":"T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).","ieee":"T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, and C. Wojtan, “Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020.","ama":"Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392466\">10.1145/3386569.3392466</a>","mla":"Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 65, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392466\">10.1145/3386569.3392466</a>.","apa":"Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., &#38; Wojtan, C. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392466\">https://doi.org/10.1145/3386569.3392466</a>"},"type":"journal_article","file_date_updated":"2020-09-21T07:51:44Z","scopus_import":"1","abstract":[{"lang":"eng","text":"We propose a method to enhance the visual detail of a water surface simulation. Our method works as a post-processing step which takes a simulation as input and increases its apparent resolution by simulating many detailed Lagrangian water waves on top of it. We extend linear water wave theory to work in non-planar domains which deform over time, and we discretize the theory using Lagrangian wave packets attached to spline curves. The method is numerically stable and trivially parallelizable, and it produces high frequency ripples with dispersive wave-like behaviors customized to the underlying fluid simulation."}],"project":[{"name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"638176"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"}],"publication_status":"published","file":[{"file_id":"8541","content_type":"application/pdf","creator":"dernst","file_size":20223953,"access_level":"open_access","relation":"main_file","checksum":"c3a680893f01cc4a9e961ff0a4cfa12f","success":1,"file_name":"2020_ACM_Skrivan.pdf","date_created":"2020-09-21T07:51:44Z","date_updated":"2020-09-21T07:51:44Z"}],"title":"Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Skrivan, Tomas","last_name":"Skrivan","first_name":"Tomas","id":"486A5A46-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Soderstrom, Andreas","last_name":"Soderstrom","first_name":"Andreas"},{"last_name":"Johansson","first_name":"John","full_name":"Johansson, John"},{"first_name":"Christoph","last_name":"Sprenger","full_name":"Sprenger, Christoph"},{"last_name":"Museth","first_name":"Ken","full_name":"Museth, Ken"},{"last_name":"Wojtan","orcid":"0000-0001-6646-5546","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","full_name":"Wojtan, Christopher J"}],"has_accepted_license":"1","publisher":"Association for Computing Machinery","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"ChWo"}],"ddc":["000"],"date_created":"2020-09-20T22:01:37Z","status":"public","day":"08","volume":39,"isi":1,"oa_version":"Published Version","ec_funded":1,"doi":"10.1145/3386569.3392466","publication":"ACM Transactions on Graphics","date_updated":"2023-08-22T09:28:27Z","issue":"4","oa":1,"acknowledged_ssus":[{"_id":"ScienComp"}],"month":"07","intvolume":"        39","date_published":"2020-07-08T00:00:00Z","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176 and Marie SkłodowskaCurie Grant Agreement No. 665385.","article_number":"65","year":"2020","external_id":{"isi":["000583700300038"]}},{"oa":1,"date_updated":"2023-08-07T13:36:24Z","acknowledgement":"M. Mondelli was partially supported by grants NSF DMS-1613091, CCF-1714305, IIS-1741162 and ONR N00014-18-1-2729. S. A. Hashemi is supported by a Postdoctoral Fellowship from the Natural Sciences and Engineering Research Council of Canada (NSERC) and by Huawei.","article_number":"401-406","date_published":"2020-06-01T00:00:00Z","month":"06","year":"2020","conference":{"end_date":"2020-06-26","start_date":"2020-06-21","name":"ISIT: Internation Symposium on Information Theory","location":"Los Angeles, CA, United States"},"external_id":{"arxiv":["1909.04892"]},"day":"01","status":"public","date_created":"2020-09-20T22:01:37Z","volume":"2020-June","oa_version":"Preprint","related_material":{"record":[{"relation":"later_version","status":"public","id":"9047"}]},"publication":"IEEE International Symposium on Information Theory - Proceedings","doi":"10.1109/ISIT44484.2020.9174141","main_file_link":[{"url":"https://arxiv.org/abs/1909.04892","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Mondelli","orcid":"0000-0002-3242-7020","id":"27EB676C-8706-11E9-9510-7717E6697425","first_name":"Marco","full_name":"Mondelli, Marco"},{"full_name":"Hashemi, Seyyed Ali","last_name":"Hashemi","first_name":"Seyyed Ali"},{"full_name":"Cioffi, John","last_name":"Cioffi","first_name":"John"},{"last_name":"Goldsmith","first_name":"Andrea","full_name":"Goldsmith, Andrea"}],"title":"Simplified successive cancellation decoding of polar codes has sublinear latency","publisher":"IEEE","language":[{"iso":"eng"}],"department":[{"_id":"MaMo"}],"article_processing_charge":"No","quality_controlled":"1","_id":"8536","scopus_import":"1","abstract":[{"lang":"eng","text":"This work analyzes the latency of the simplified successive cancellation (SSC) decoding scheme for polar codes proposed by Alamdar-Yazdi and Kschischang. It is shown that, unlike conventional successive cancellation decoding, where latency is linear in the block length, the latency of SSC decoding is sublinear. More specifically, the latency of SSC decoding is O(N 1−1/µ ), where N is the block length and µ is the scaling exponent of the channel, which captures the speed of convergence of the rate to capacity. Numerical results demonstrate the tightness of the bound and show that most of the latency reduction arises from the parallel decoding of subcodes of rate 0 and 1."}],"arxiv":1,"type":"conference","citation":{"ieee":"M. Mondelli, S. A. Hashemi, J. Cioffi, and A. Goldsmith, “Simplified successive cancellation decoding of polar codes has sublinear latency,” in <i>IEEE International Symposium on Information Theory - Proceedings</i>, Los Angeles, CA, United States, 2020, vol. 2020–June.","ista":"Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: Internation Symposium on Information Theory vol. 2020–June, 401–406.","short":"M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.","ama":"Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. Simplified successive cancellation decoding of polar codes has sublinear latency. In: <i>IEEE International Symposium on Information Theory - Proceedings</i>. Vol 2020-June. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/ISIT44484.2020.9174141\">10.1109/ISIT44484.2020.9174141</a>","chicago":"Mondelli, Marco, Seyyed Ali Hashemi, John Cioffi, and Andrea Goldsmith. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” In <i>IEEE International Symposium on Information Theory - Proceedings</i>, Vol. 2020–June. IEEE, 2020. <a href=\"https://doi.org/10.1109/ISIT44484.2020.9174141\">https://doi.org/10.1109/ISIT44484.2020.9174141</a>.","apa":"Mondelli, M., Hashemi, S. A., Cioffi, J., &#38; Goldsmith, A. (2020). Simplified successive cancellation decoding of polar codes has sublinear latency. In <i>IEEE International Symposium on Information Theory - Proceedings</i> (Vol. 2020–June). Los Angeles, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/ISIT44484.2020.9174141\">https://doi.org/10.1109/ISIT44484.2020.9174141</a>","mla":"Mondelli, Marco, et al. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” <i>IEEE International Symposium on Information Theory - Proceedings</i>, vol. 2020–June, 401–406, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/ISIT44484.2020.9174141\">10.1109/ISIT44484.2020.9174141</a>."},"publication_identifier":{"isbn":["9781728164328"],"issn":["21578095"]},"publication_status":"published"},{"abstract":[{"lang":"eng","text":"We prove some recent experimental observations of Dan Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the 1-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods."}],"arxiv":1,"scopus_import":"1","type":"journal_article","citation":{"short":"A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).","ieee":"A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” <i>European Journal of Mathematics</i>. Springer Nature, 2020.","ista":"Akopyan A, Schwartz R, Tabachnikov S. 2020. Billiards in ellipses revisited. European Journal of Mathematics.","ama":"Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. <i>European Journal of Mathematics</i>. 2020. doi:<a href=\"https://doi.org/10.1007/s40879-020-00426-9\">10.1007/s40879-020-00426-9</a>","chicago":"Akopyan, Arseniy, Richard Schwartz, and Serge Tabachnikov. “Billiards in Ellipses Revisited.” <i>European Journal of Mathematics</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s40879-020-00426-9\">https://doi.org/10.1007/s40879-020-00426-9</a>.","apa":"Akopyan, A., Schwartz, R., &#38; Tabachnikov, S. (2020). Billiards in ellipses revisited. <i>European Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40879-020-00426-9\">https://doi.org/10.1007/s40879-020-00426-9</a>","mla":"Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” <i>European Journal of Mathematics</i>, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1007/s40879-020-00426-9\">10.1007/s40879-020-00426-9</a>."},"publication_identifier":{"eissn":["2199-6768"],"issn":["2199-675X"]},"quality_controlled":"1","_id":"8538","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"788183","name":"Alpha Shape Theory Extended","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"}],"publisher":"Springer Nature","title":"Billiards in ellipses revisited","author":[{"full_name":"Akopyan, Arseniy","first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","last_name":"Akopyan","orcid":"0000-0002-2548-617X"},{"last_name":"Schwartz","first_name":"Richard","full_name":"Schwartz, Richard"},{"full_name":"Tabachnikov, Serge","last_name":"Tabachnikov","first_name":"Serge"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","department":[{"_id":"HeEd"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}],"day":"09","status":"public","date_created":"2020-09-20T22:01:38Z","publication":"European Journal of Mathematics","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2001.02934"}],"doi":"10.1007/s40879-020-00426-9","oa_version":"Preprint","ec_funded":1,"acknowledgement":" This paper would not be written if not for Dan Reznik’s curiosity and persistence; we are very grateful to him. We also thank R. Garcia and J. Koiller for interesting discussions. It is a pleasure to thank the Mathematical Institute of the University of Heidelberg for its stimulating atmosphere. ST thanks M. Bialy for interesting discussions and the Tel Aviv\r\nUniversity for its invariable hospitality. AA was supported by European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 78818 Alpha). RS is supported by NSF Grant DMS-1807320. ST was supported by NSF grant DMS-1510055 and SFB/TRR 191.","date_published":"2020-09-09T00:00:00Z","month":"09","oa":1,"date_updated":"2021-12-02T15:10:17Z","external_id":{"arxiv":["2001.02934"]},"year":"2020"},{"date_published":"2020-06-01T00:00:00Z","month":"06","intvolume":"        53","date_updated":"2023-08-22T09:27:57Z","oa":1,"issue":"3","page":"663-671","external_id":{"arxiv":["1708.08013"],"isi":["000592182600004"]},"year":"2020","volume":53,"date_created":"2020-09-20T22:01:38Z","status":"public","day":"01","publication":"Annales Scientifiques de l'Ecole Normale Superieure","doi":"10.24033/asens.2431","main_file_link":[{"url":"https://arxiv.org/abs/1708.08013","open_access":"1"}],"oa_version":"Preprint","isi":1,"publisher":"Société Mathématique de France","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Su, C.","first_name":"C.","last_name":"Su"},{"full_name":"Zhao, Gufang","first_name":"Gufang","id":"2BC2AC5E-F248-11E8-B48F-1D18A9856A87","last_name":"Zhao"},{"full_name":"Zhong, C.","last_name":"Zhong","first_name":"C."}],"title":"On the K-theory stable bases of the springer resolution","article_processing_charge":"No","department":[{"_id":"TaHa"}],"language":[{"iso":"eng"}],"article_type":"original","citation":{"chicago":"Su, C., Gufang Zhao, and C. Zhong. “On the K-Theory Stable Bases of the Springer Resolution.” <i>Annales Scientifiques de l’Ecole Normale Superieure</i>. Société Mathématique de France, 2020. <a href=\"https://doi.org/10.24033/asens.2431\">https://doi.org/10.24033/asens.2431</a>.","ieee":"C. Su, G. Zhao, and C. Zhong, “On the K-theory stable bases of the springer resolution,” <i>Annales Scientifiques de l’Ecole Normale Superieure</i>, vol. 53, no. 3. Société Mathématique de France, pp. 663–671, 2020.","short":"C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.","ista":"Su C, Zhao G, Zhong C. 2020. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 53(3), 663–671.","ama":"Su C, Zhao G, Zhong C. On the K-theory stable bases of the springer resolution. <i>Annales Scientifiques de l’Ecole Normale Superieure</i>. 2020;53(3):663-671. doi:<a href=\"https://doi.org/10.24033/asens.2431\">10.24033/asens.2431</a>","mla":"Su, C., et al. “On the K-Theory Stable Bases of the Springer Resolution.” <i>Annales Scientifiques de l’Ecole Normale Superieure</i>, vol. 53, no. 3, Société Mathématique de France, 2020, pp. 663–71, doi:<a href=\"https://doi.org/10.24033/asens.2431\">10.24033/asens.2431</a>.","apa":"Su, C., Zhao, G., &#38; Zhong, C. (2020). On the K-theory stable bases of the springer resolution. <i>Annales Scientifiques de l’Ecole Normale Superieure</i>. Société Mathématique de France. <a href=\"https://doi.org/10.24033/asens.2431\">https://doi.org/10.24033/asens.2431</a>"},"publication_identifier":{"issn":["0012-9593"]},"abstract":[{"text":"Cohomological and K-theoretic stable bases originated from the study of quantum cohomology and quantum K-theory. Restriction formula for cohomological stable bases played an important role in computing the quantum connection of cotangent bundle of partial flag varieties. In this paper we study the K-theoretic stable bases of cotangent bundles of flag varieties. We describe these bases in terms of the action of the affine Hecke algebra and the twisted group algebra of KostantKumar. Using this algebraic description and the method of root polynomials, we give a restriction formula of the stable bases. We apply it to obtain the restriction formula for partial flag varieties. We also build a relation between the stable basis and the Casselman basis in the principal series representations of the Langlands dual group. As an application, we give a closed formula for the transition matrix between Casselman basis and the characteristic functions.","lang":"eng"},{"text":"Les bases stables cohomologiques et K-théoriques proviennent de l’étude de la cohomologie quantique et de la K-théorie quantique. La formule de restriction pour les bases stables cohomologiques a joué un rôle important dans le calcul de la connexion quantique du fibré cotangent de variétés de drapeaux partielles. Dans cet article, nous étudions les bases stables K-théoriques de fibré cotangents des variétés de drapeaux. Nous décrivons ces bases en fonction de l’action de l’algèbre de Hecke affine et de l’algèbre de Kostant-Kumar. En utilisant cette description algébrique et la méthode des polynômes de racine, nous donnons une formule de restriction des bases stables. Nous l’appliquons\r\npour obtenir la formule de restriction pour les variétés de drapeaux partielles. Nous construisons également une relation entre la base stable et la base de Casselman dans les représentations de la série principale du groupe dual de Langlands p-adique. Comme une application, nous donnons une formule close pour la matrice de transition entre la base de Casselman et les fonctions caractéristiques. ","lang":"fre"}],"scopus_import":"1","arxiv":1,"type":"journal_article","_id":"8539","quality_controlled":"1","publication_status":"published"},{"date_updated":"2024-03-25T23:30:12Z","acknowledged_ssus":[{"_id":"LifeSc"}],"oa":1,"author":[{"last_name":"Belyaeva","id":"47F080FE-F248-11E8-B48F-1D18A9856A87","first_name":"Vera","full_name":"Belyaeva, Vera"},{"full_name":"Wachner, Stephanie","id":"2A95E7B0-F248-11E8-B48F-1D18A9856A87","first_name":"Stephanie","last_name":"Wachner"},{"id":"4B60654C-F248-11E8-B48F-1D18A9856A87","first_name":"Igor","last_name":"Gridchyn","orcid":"0000-0002-1807-1929","full_name":"Gridchyn, Igor"},{"first_name":"Markus","last_name":"Linder","full_name":"Linder, Markus"},{"id":"49D32318-F248-11E8-B48F-1D18A9856A87","first_name":"Shamsi","orcid":"0000-0001-6981-6938","last_name":"Emtenani","full_name":"Emtenani, Shamsi"},{"full_name":"György, Attila","first_name":"Attila","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87","last_name":"György","orcid":"0000-0002-1819-198X"},{"full_name":"Sibilia, Maria","last_name":"Sibilia","first_name":"Maria"},{"id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","first_name":"Daria E","orcid":"0000-0001-8323-8353","last_name":"Siekhaus","full_name":"Siekhaus, Daria E"}],"title":"Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-09-18T00:00:00Z","month":"09","acknowledgement":"We thank the following for their contributions: The Drosophila Genomics Resource Center supported by NIH grant 2P40OD010949-10A1 for plasmids, K. Brueckner. B. Stramer, M. Uhlirova, O. Schuldiner, the Bloomington Drosophila Stock Center supported by NIH grant P40OD018537 and the Vienna Drosophila Resource Center for fly stocks, FlyBase (Thurmond et al., 2019) for essential genomic information, and the BDGP in situ database for data (Tomancak et al., 2002, 2007). For antibodies, we thank the Developmental Studies Hybridoma Bank, which was created by the Eunice Kennedy Shriver National Institute of Child Health and Human Development of the NIH, and is maintained at the University of Iowa, as well as J. Zeitlinger for her generous gift of Dfos antibody. We thank the Vienna BioCenter Core Facilities for RNA sequencing and analysis and the Life Scientific Service Units at IST Austria for technical support and assistance with microscopy and FACS analysis. We thank C.P. Heisenberg, P. Martin, M. Sixt and Siekhaus group members for discussions and T.Hurd, A. Ratheesh and P. Rangan for comments on the manuscript. A.G. was supported by the Austrian Science Fund (FWF) grant DASI_FWF01_P29638S, D.E.S. by Marie Curie CIG 334077/IRTIM. M.S. is supported by the FWF, PhD program W1212 915 and the European Research Council (ERC) Advanced grant (ERC-2015-AdG TNT-Tumors 694883). S.W. is supported by an OEAW, DOC fellowship.","language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","department":[{"_id":"DaSi"},{"_id":"JoCs"}],"date_created":"2020-09-23T09:36:47Z","_id":"8557","day":"18","status":"public","citation":{"chicago":"Belyaeva, Vera, Stephanie Wachner, Igor Gridchyn, Markus Linder, Shamsi Emtenani, Attila György, Maria Sibilia, and Daria E Siekhaus. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” <i>BioRxiv</i>, n.d. <a href=\"https://doi.org/10.1101/2020.09.18.301481\">https://doi.org/10.1101/2020.09.18.301481</a>.","short":"V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).","ieee":"V. Belyaeva <i>et al.</i>, “Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance,” <i>bioRxiv</i>. .","ista":"Belyaeva V, Wachner S, Gridchyn I, Linder M, Emtenani S, György A, Sibilia M, Siekhaus DE. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv, <a href=\"https://doi.org/10.1101/2020.09.18.301481\">10.1101/2020.09.18.301481</a>.","ama":"Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2020.09.18.301481\">10.1101/2020.09.18.301481</a>","mla":"Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” <i>BioRxiv</i>, doi:<a href=\"https://doi.org/10.1101/2020.09.18.301481\">10.1101/2020.09.18.301481</a>.","apa":"Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2020.09.18.301481\">https://doi.org/10.1101/2020.09.18.301481</a>"},"abstract":[{"text":"The infiltration of immune cells into tissues underlies the establishment of tissue resident macrophages, and responses to infections and tumors. Yet the mechanisms immune cells utilize to negotiate tissue barriers in living organisms are not well understood, and a role for cortical actin has not been examined. Here we find that the tissue invasion of Drosophila macrophages, also known as plasmatocytes or hemocytes, utilizes enhanced cortical F-actin levels stimulated by the Drosophila member of the fos proto oncogene transcription factor family (Dfos, Kayak). RNA sequencing analysis and live imaging show that Dfos enhances F-actin levels around the entire macrophage surface by increasing mRNA levels of the membrane spanning molecular scaffold tetraspanin TM4SF, and the actin cross-linking filamin Cheerio which are themselves required for invasion. Cortical F-actin levels are critical as expressing a dominant active form of Diaphanous, a actin polymerizing Formin, can rescue the Dfos Dominant Negative macrophage invasion defect. In vivo imaging shows that Dfos is required to enhance the efficiency of the initial phases of macrophage tissue entry. Genetic evidence argues that this Dfos-induced program in macrophages counteracts the constraint produced by the tension of surrounding tissues and buffers the mechanical properties of the macrophage nucleus from affecting tissue entry. We thus identify tuning the cortical actin cytoskeleton through Dfos as a key process allowing efficient forward movement of an immune cell into surrounding tissues.","lang":"eng"}],"type":"preprint","related_material":{"record":[{"id":"10614","relation":"later_version","status":"public"},{"id":"8983","relation":"dissertation_contains","status":"public"}]},"ec_funded":1,"oa_version":"Preprint","project":[{"call_identifier":"FWF","grant_number":"P29638","name":"Drosophila TNFa´s Funktion in Immunzellen","_id":"253B6E48-B435-11E9-9278-68D0E5697425"},{"_id":"2536F660-B435-11E9-9278-68D0E5697425","name":"Investigating the role of transporters in invasive migration through junctions","grant_number":"334077","call_identifier":"FP7"},{"grant_number":"24800","name":"Tissue barrier penetration is crucial for immunity and metastasis","_id":"26199CA4-B435-11E9-9278-68D0E5697425"}],"publication":"bioRxiv","publication_status":"submitted","doi":"10.1101/2020.09.18.301481","main_file_link":[{"url":"https://doi.org/10.1101/2020.09.18.301481","open_access":"1"}]},{"article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"BeBi"}],"article_processing_charge":"No","file":[{"file_size":28964641,"creator":"bbickel","content_type":"application/pdf","file_id":"13084","access_level":"open_access","checksum":"c7f67717ad74e670b7daeae732abe151","relation":"main_file","file_name":"coldglass.pdf","success":1,"date_updated":"2023-05-23T20:54:43Z","date_created":"2023-05-23T20:54:43Z"}],"title":"Computational design of cold bent glass façades","author":[{"last_name":"Gavriil","first_name":"Konstantinos","full_name":"Gavriil, Konstantinos"},{"full_name":"Guseinov, Ruslan","first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077","last_name":"Guseinov"},{"full_name":"Perez Rodriguez, Jesus","last_name":"Perez Rodriguez","first_name":"Jesus","id":"2DC83906-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pellis, Davide","first_name":"Davide","last_name":"Pellis"},{"full_name":"Henderson, Paul M","first_name":"Paul M","id":"13C09E74-18D9-11E9-8878-32CFE5697425","orcid":"0000-0002-5198-7445","last_name":"Henderson"},{"first_name":"Florian","last_name":"Rist","full_name":"Rist, Florian"},{"full_name":"Pottmann, Helmut","last_name":"Pottmann","first_name":"Helmut"},{"first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"Association for Computing Machinery","has_accepted_license":"1","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"715767","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","_id":"8562","file_date_updated":"2023-05-23T20:54:43Z","type":"journal_article","arxiv":1,"abstract":[{"lang":"eng","text":"Cold bent glass is a promising and cost-efficient method for realizing doubly curved glass facades. They are produced by attaching planar glass sheets to curved frames and require keeping the occurring stress within safe limits.\r\nHowever, it is very challenging to navigate the design space of cold bent glass panels due to the fragility of the material, which impedes the form-finding for practically feasible and aesthetically pleasing cold bent glass facades. We propose an interactive, data-driven approach for designing cold bent glass facades that can be seamlessly integrated into a typical architectural design pipeline. Our method allows non-expert users to interactively edit a parametric surface while providing real-time feedback on the deformed shape and maximum stress of cold bent glass panels. Designs are automatically refined to minimize several fairness criteria while maximal stresses are kept within glass limits. We achieve interactive frame rates by using a differentiable Mixture Density Network trained from more than a million simulations. Given a curved boundary, our regression model is capable of handling multistable\r\nconfigurations and accurately predicting the equilibrium shape of the panel and its corresponding maximal stress. We show predictions are highly accurate and validate our results with a physical realization of a cold bent glass surface."}],"scopus_import":"1","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"citation":{"ieee":"K. Gavriil <i>et al.</i>, “Computational design of cold bent glass façades,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 6. Association for Computing Machinery, 2020.","ista":"Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.","short":"K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).","ama":"Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. <i>ACM Transactions on Graphics</i>. 2020;39(6). doi:<a href=\"https://doi.org/10.1145/3414685.3417843\">10.1145/3414685.3417843</a>","chicago":"Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis, Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational Design of Cold Bent Glass Façades.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3414685.3417843\">https://doi.org/10.1145/3414685.3417843</a>.","apa":"Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3414685.3417843\">https://doi.org/10.1145/3414685.3417843</a>","mla":"Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 6, 208, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3414685.3417843\">10.1145/3414685.3417843</a>."},"year":"2020","external_id":{"isi":["000595589100048"],"arxiv":["2009.03667"]},"issue":"6","oa":1,"acknowledged_ssus":[{"_id":"ScienComp"}],"date_updated":"2024-02-21T12:43:21Z","article_number":"208","acknowledgement":"We thank IST Austria’s Scientific Computing team for their support, Corinna Datsiou and Sophie Pennetier for their expert input on the practical applications of cold bent glass, and Zaha Hadid Architects and Waagner Biro for providing the architectural datasets. Photo of Fondation Louis Vuitton by Francisco Anzola / CC BY 2.0 / cropped.\r\nPhoto of Opus by Danica O. Kus. This project has received funding from the European Union’s\r\nHorizon 2020 research and innovation program under grant agreement No 675789 - Algebraic Representations in Computer-Aided Design for complEx Shapes (ARCADES), from the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, and SFB-Transregio “Discretization in Geometry and Dynamics” through grant I 2978 of the Austrian Science Fund (FWF). F. Rist and K. Gavriil have been partially supported by KAUST baseline funding.","month":"11","intvolume":"        39","date_published":"2020-11-26T00:00:00Z","isi":1,"oa_version":"Submitted Version","ec_funded":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8366"},{"id":"8761","status":"public","relation":"research_data"}],"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/bend-dont-break/","relation":"press_release"}]},"doi":"10.1145/3414685.3417843","publication":"ACM Transactions on Graphics","status":"public","day":"26","ddc":["000"],"date_created":"2020-09-23T11:30:02Z","volume":39},{"year":"2020","article_processing_charge":"No","department":[{"_id":"JoCs"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_updated":"2024-02-21T12:43:41Z","oa":1,"title":"Optogenetic alteration of hippocampal network activity","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Csicsvari, Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","last_name":"Csicsvari","orcid":"0000-0002-5193-4036"},{"full_name":"Gridchyn, Igor","orcid":"0000-0002-1807-1929","last_name":"Gridchyn","id":"4B60654C-F248-11E8-B48F-1D18A9856A87","first_name":"Igor"},{"full_name":"Schönenberger, Philipp","last_name":"Schönenberger","first_name":"Philipp","id":"3B9D816C-F248-11E8-B48F-1D18A9856A87"}],"file":[{"success":1,"file_name":"upload.tgz","date_created":"2020-09-23T14:36:17Z","date_updated":"2020-09-23T14:36:17Z","file_id":"8564","content_type":"application/x-compressed","creator":"jozsef","file_size":145243906,"relation":"main_file","access_level":"open_access","checksum":"a16098a6d172f9c42ab5af5f6991668c"},{"relation":"main_file","checksum":"0bfc54b7e14c0694cd081617318ba606","access_level":"open_access","creator":"jozsef","file_size":11648,"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_id":"8675","date_updated":"2020-10-19T10:12:29Z","date_created":"2020-10-19T10:12:29Z","file_name":"redme.docx","success":1}],"date_published":"2020-10-19T00:00:00Z","has_accepted_license":"1","month":"10","publisher":"Institute of Science and Technology Austria","contributor":[{"orcid":"0000-0002-5193-4036","last_name":"Csicsvari","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_leader"}],"related_material":{"record":[{"id":"8740","status":"public","relation":"used_in_publication"}]},"oa_version":"Published Version","doi":"10.15479/AT:ISTA:8563","date_created":"2020-09-23T14:39:54Z","tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"_id":"8563","ddc":["570"],"status":"public","day":"19","citation":{"apa":"Csicsvari, J. L., Gridchyn, I., &#38; Schönenberger, P. (2020). Optogenetic alteration of hippocampal network activity. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8563\">https://doi.org/10.15479/AT:ISTA:8563</a>","mla":"Csicsvari, Jozsef L., et al. <i>Optogenetic Alteration of Hippocampal Network Activity</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8563\">10.15479/AT:ISTA:8563</a>.","ista":"Csicsvari JL, Gridchyn I, Schönenberger P. 2020. Optogenetic alteration of hippocampal network activity, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8563\">10.15479/AT:ISTA:8563</a>.","short":"J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).","ieee":"J. L. Csicsvari, I. Gridchyn, and P. Schönenberger, “Optogenetic alteration of hippocampal network activity.” Institute of Science and Technology Austria, 2020.","ama":"Csicsvari JL, Gridchyn I, Schönenberger P. Optogenetic alteration of hippocampal network activity. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8563\">10.15479/AT:ISTA:8563</a>","chicago":"Csicsvari, Jozsef L, Igor Gridchyn, and Philipp Schönenberger. “Optogenetic Alteration of Hippocampal Network Activity.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8563\">https://doi.org/10.15479/AT:ISTA:8563</a>."},"abstract":[{"lang":"eng","text":"Supplementary data  provided for the provided for the publication:\r\nIgor Gridchyn , Philipp Schoenenberger , Joseph O'Neill , Jozsef Csicsvari (2020) Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. Elife."}],"file_date_updated":"2020-10-19T10:12:29Z","type":"research_data"},{"volume":11,"status":"public","day":"24","ddc":["530"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-09-25T07:23:13Z","doi":"10.1038/s41467-020-18610-6","publication":"Nature Communications","isi":1,"oa_version":"Published Version","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41467-020-19720-x"}]},"article_number":"4838","intvolume":"        11","month":"09","date_published":"2020-09-24T00:00:00Z","oa":1,"date_updated":"2023-08-22T09:37:24Z","keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"external_id":{"isi":["000573756600004"]},"year":"2020","type":"journal_article","file_date_updated":"2020-09-28T13:16:15Z","abstract":[{"lang":"eng","text":"Aqueous iodine based electrochemical energy storage is considered a potential candidate to improve sustainability and performance of current battery and supercapacitor technology. It harnesses the redox activity of iodide, iodine, and polyiodide species in the confined geometry of nanoporous carbon electrodes. However, current descriptions of the electrochemical reaction mechanism to interconvert these species are elusive. Here we show that electrochemical oxidation of iodide in nanoporous carbons forms persistent solid iodine deposits. Confinement slows down dissolution into triiodide and pentaiodide, responsible for otherwise significant self-discharge via shuttling. The main tools for these insights are in situ Raman spectroscopy and in situ small and wide-angle X-ray scattering (in situ SAXS/WAXS). In situ Raman confirms the reversible formation of triiodide and pentaiodide. In situ SAXS/WAXS indicates remarkable amounts of solid iodine deposited in the carbon nanopores. Combined with stochastic modeling, in situ SAXS allows quantifying the solid iodine volume fraction and visualizing the iodine structure on 3D lattice models at the sub-nanometer scale. Based on the derived mechanism, we demonstrate strategies for improved iodine pore filling capacity and prevention of self-discharge, applicable to hybrid supercapacitors and batteries."}],"citation":{"mla":"Prehal, Christian, et al. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” <i>Nature Communications</i>, vol. 11, 4838, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-18610-6\">10.1038/s41467-020-18610-6</a>.","apa":"Prehal, C., Fitzek, H., Kothleitner, G., Presser, V., Gollas, B., Freunberger, S. A., &#38; Abbas, Q. (2020). Persistent and reversible solid iodine electrodeposition in nanoporous carbons. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-18610-6\">https://doi.org/10.1038/s41467-020-18610-6</a>","chicago":"Prehal, Christian, Harald Fitzek, Gerald Kothleitner, Volker Presser, Bernhard Gollas, Stefan Alexander Freunberger, and Qamar Abbas. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-18610-6\">https://doi.org/10.1038/s41467-020-18610-6</a>.","ama":"Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-18610-6\">10.1038/s41467-020-18610-6</a>","short":"C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).","ista":"Prehal C, Fitzek H, Kothleitner G, Presser V, Gollas B, Freunberger SA, Abbas Q. 2020. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 11, 4838.","ieee":"C. Prehal <i>et al.</i>, “Persistent and reversible solid iodine electrodeposition in nanoporous carbons,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020."},"publication_identifier":{"issn":["2041-1723"]},"quality_controlled":"1","_id":"8568","publication_status":"published","publisher":"Springer Nature","has_accepted_license":"1","file":[{"creator":"dernst","file_size":1822469,"content_type":"application/pdf","file_id":"8585","checksum":"eada7bc8dd16a49390137cff882ef328","relation":"main_file","access_level":"open_access","file_name":"2020_NatureComm_Prehal.pdf","success":1,"date_created":"2020-09-28T13:16:15Z","date_updated":"2020-09-28T13:16:15Z"}],"author":[{"full_name":"Prehal, Christian","first_name":"Christian","last_name":"Prehal"},{"first_name":"Harald","last_name":"Fitzek","full_name":"Fitzek, Harald"},{"first_name":"Gerald","last_name":"Kothleitner","full_name":"Kothleitner, Gerald"},{"last_name":"Presser","first_name":"Volker","full_name":"Presser, Volker"},{"full_name":"Gollas, Bernhard","first_name":"Bernhard","last_name":"Gollas"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","last_name":"Freunberger","orcid":"0000-0003-2902-5319"},{"full_name":"Abbas, Qamar","last_name":"Abbas","first_name":"Qamar"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Persistent and reversible solid iodine electrodeposition in nanoporous carbons","department":[{"_id":"StFr"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}]},{"author":[{"full_name":"Hansen, Andi H","first_name":"Andi H","id":"38853E16-F248-11E8-B48F-1D18A9856A87","last_name":"Hansen"},{"full_name":"Hippenmeyer, Simon","first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","last_name":"Hippenmeyer","orcid":"0000-0003-2279-1061"}],"title":"Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"date_created":"2020-09-28T13:11:17Z","date_updated":"2020-09-28T13:11:17Z","success":1,"file_name":"2020_Frontiers_Hansen.pdf","access_level":"open_access","checksum":"01f731824194c94c81a5da360d997073","relation":"main_file","content_type":"application/pdf","file_id":"8584","creator":"dernst","file_size":5527139}],"has_accepted_license":"1","publisher":"Frontiers","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"SiHi"}],"_id":"8569","quality_controlled":"1","citation":{"mla":"Hansen, Andi H., and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” <i>Frontiers in Cell and Developmental Biology</i>, vol. 8, no. 9, 574382, Frontiers, 2020, doi:<a href=\"https://doi.org/10.3389/fcell.2020.574382\">10.3389/fcell.2020.574382</a>.","apa":"Hansen, A. H., &#38; Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. <i>Frontiers in Cell and Developmental Biology</i>. Frontiers. <a href=\"https://doi.org/10.3389/fcell.2020.574382\">https://doi.org/10.3389/fcell.2020.574382</a>","chicago":"Hansen, Andi H, and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” <i>Frontiers in Cell and Developmental Biology</i>. Frontiers, 2020. <a href=\"https://doi.org/10.3389/fcell.2020.574382\">https://doi.org/10.3389/fcell.2020.574382</a>.","ama":"Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. <i>Frontiers in Cell and Developmental Biology</i>. 2020;8(9). doi:<a href=\"https://doi.org/10.3389/fcell.2020.574382\">10.3389/fcell.2020.574382</a>","short":"A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).","ista":"Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.","ieee":"A. H. Hansen and S. Hippenmeyer, “Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex,” <i>Frontiers in Cell and Developmental Biology</i>, vol. 8, no. 9. Frontiers, 2020."},"publication_identifier":{"issn":["2296-634X"]},"scopus_import":"1","abstract":[{"text":"Concerted radial migration of newly born cortical projection neurons, from their birthplace to their final target lamina, is a key step in the assembly of the cerebral cortex. The cellular and molecular mechanisms regulating the specific sequential steps of radial neuronal migration in vivo are however still unclear, let alone the effects and interactions with the extracellular environment. In any in vivo context, cells will always be exposed to a complex extracellular environment consisting of (1) secreted factors acting as potential signaling cues, (2) the extracellular matrix, and (3) other cells providing cell–cell interaction through receptors and/or direct physical stimuli. Most studies so far have described and focused mainly on intrinsic cell-autonomous gene functions in neuronal migration but there is accumulating evidence that non-cell-autonomous-, local-, systemic-, and/or whole tissue-wide effects substantially contribute to the regulation of radial neuronal migration. These non-cell-autonomous effects may differentially affect cortical neuron migration in distinct cellular environments. However, the cellular and molecular natures of such non-cell-autonomous mechanisms are mostly unknown. Furthermore, physical forces due to collective migration and/or community effects (i.e., interactions with surrounding cells) may play important roles in neocortical projection neuron migration. In this concise review, we first outline distinct models of non-cell-autonomous interactions of cortical projection neurons along their radial migration trajectory during development. We then summarize experimental assays and platforms that can be utilized to visualize and potentially probe non-cell-autonomous mechanisms. Lastly, we define key questions to address in the future.","lang":"eng"}],"type":"journal_article","file_date_updated":"2020-09-28T13:11:17Z","project":[{"grant_number":"24812","_id":"2625A13E-B435-11E9-9278-68D0E5697425","name":"Molecular Mechanisms of Radial Neuronal Migration"},{"grant_number":"618444","call_identifier":"FP7","name":"Molecular Mechanisms of Cerebral Cortex Development","_id":"25D61E48-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","date_updated":"2024-03-25T23:30:23Z","oa":1,"issue":"9","date_published":"2020-09-25T00:00:00Z","intvolume":"         8","month":"09","acknowledgement":"AH was a recipient of a DOC Fellowship (24812) of the Austrian Academy of Sciences. This work also received support from IST Austria institutional funds; the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007–2013) under REA Grant Agreement No. 618444 to SH.","article_number":"574382","year":"2020","external_id":{"pmid":["33102480"],"isi":["000577915900001"]},"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"date_created":"2020-09-26T06:11:07Z","status":"public","day":"25","volume":8,"pmid":1,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"9962"}]},"ec_funded":1,"oa_version":"Published Version","isi":1,"publication":"Frontiers in Cell and Developmental Biology","doi":"10.3389/fcell.2020.574382"},{"_id":"8571","quality_controlled":"1","citation":{"apa":"Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In <i>EPiC Series in Computing</i> (Vol. 74, pp. 49–75). EasyChair. <a href=\"https://doi.org/10.29007/zkf6\">https://doi.org/10.29007/zkf6</a>","mla":"Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 74, EasyChair, 2020, pp. 49–75, doi:<a href=\"https://doi.org/10.29007/zkf6\">10.29007/zkf6</a>.","ama":"Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: <i>EPiC Series in Computing</i>. Vol 74. EasyChair; 2020:49-75. doi:<a href=\"https://doi.org/10.29007/zkf6\">10.29007/zkf6</a>","short":"L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.","ista":"Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.","ieee":"L. Geretti <i>et al.</i>, “ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, 2020, vol. 74, pp. 49–75.","chicago":"Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In <i>EPiC Series in Computing</i>, 74:49–75. EasyChair, 2020. <a href=\"https://doi.org/10.29007/zkf6\">https://doi.org/10.29007/zkf6</a>."},"type":"conference","abstract":[{"lang":"eng","text":"We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools."}],"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"},{"call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Geretti","first_name":"Luca","full_name":"Geretti, Luca"},{"first_name":"Julien","last_name":"Alexandre Dit Sandretto","full_name":"Alexandre Dit Sandretto, Julien"},{"last_name":"Althoff","first_name":"Matthias","full_name":"Althoff, Matthias"},{"full_name":"Benet, Luis","last_name":"Benet","first_name":"Luis"},{"full_name":"Chapoutot, Alexandre","last_name":"Chapoutot","first_name":"Alexandre"},{"full_name":"Chen, Xin","first_name":"Xin","last_name":"Chen"},{"last_name":"Collins","first_name":"Pieter","full_name":"Collins, Pieter"},{"first_name":"Marcelo","last_name":"Forets","full_name":"Forets, Marcelo"},{"full_name":"Freire, Daniel","last_name":"Freire","first_name":"Daniel"},{"first_name":"Fabian","last_name":"Immler","full_name":"Immler, Fabian"},{"first_name":"Niklas","last_name":"Kochdumper","full_name":"Kochdumper, Niklas"},{"first_name":"David","last_name":"Sanders","full_name":"Sanders, David"},{"full_name":"Schilling, Christian","orcid":"0000-0003-3658-1065","last_name":"Schilling","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"}],"title":"ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics","publisher":"EasyChair","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"ToHe"}],"date_created":"2020-09-26T14:41:29Z","day":"25","status":"public","volume":74,"ec_funded":1,"oa_version":"Published Version","doi":"10.29007/zkf6","main_file_link":[{"open_access":"1","url":"https://easychair.org/publications/download/nrdD"}],"publication":"EPiC Series in Computing","date_updated":"2021-01-12T08:20:06Z","oa":1,"intvolume":"        74","month":"09","date_published":"2020-09-25T00:00:00Z","acknowledgement":"Christian Schilling acknowledges support in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award) and the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 754411.","year":"2020","page":"49-75","conference":{"start_date":"2020-07-12","end_date":"2020-07-12","name":"ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems"}},{"publication_status":"published","project":[{"grant_number":"Z00312","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25C5A090-B435-11E9-9278-68D0E5697425"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"}],"abstract":[{"text":"We present the results of the ARCH 2020 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fourth edition, eight tools have been applied to solve eight different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.","lang":"eng"}],"type":"conference","citation":{"chicago":"Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” In <i>EPiC Series in Computing</i>, 74:16–48. EasyChair, 2020. <a href=\"https://doi.org/10.29007/7dt2\">https://doi.org/10.29007/7dt2</a>.","ama":"Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: <i>EPiC Series in Computing</i>. Vol 74. EasyChair; 2020:16-48. doi:<a href=\"https://doi.org/10.29007/7dt2\">10.29007/7dt2</a>","ieee":"M. Althoff <i>et al.</i>, “ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics,” in <i>EPiC Series in Computing</i>, 2020, vol. 74, pp. 16–48.","short":"M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.","ista":"Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.","mla":"Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” <i>EPiC Series in Computing</i>, vol. 74, EasyChair, 2020, pp. 16–48, doi:<a href=\"https://doi.org/10.29007/7dt2\">10.29007/7dt2</a>.","apa":"Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In <i>EPiC Series in Computing</i> (Vol. 74, pp. 16–48). EasyChair. <a href=\"https://doi.org/10.29007/7dt2\">https://doi.org/10.29007/7dt2</a>"},"quality_controlled":"1","_id":"8572","department":[{"_id":"ToHe"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"EasyChair","author":[{"first_name":"Matthias","last_name":"Althoff","full_name":"Althoff, Matthias"},{"full_name":"Bak, Stanley","first_name":"Stanley","last_name":"Bak"},{"first_name":"Zongnan","last_name":"Bao","full_name":"Bao, Zongnan"},{"full_name":"Forets, Marcelo","last_name":"Forets","first_name":"Marcelo"},{"full_name":"Frehse, Goran","first_name":"Goran","last_name":"Frehse"},{"first_name":"Daniel","last_name":"Freire","full_name":"Freire, Daniel"},{"full_name":"Kochdumper, Niklas","first_name":"Niklas","last_name":"Kochdumper"},{"full_name":"Li, Yangge","last_name":"Li","first_name":"Yangge"},{"full_name":"Mitra, Sayan","first_name":"Sayan","last_name":"Mitra"},{"full_name":"Ray, Rajarshi","last_name":"Ray","first_name":"Rajarshi"},{"full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian","last_name":"Schilling","orcid":"0000-0003-3658-1065"},{"last_name":"Schupp","first_name":"Stefan","full_name":"Schupp, Stefan"},{"last_name":"Wetzlinger","first_name":"Mark","full_name":"Wetzlinger, Mark"}],"title":"ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"EPiC Series in Computing","doi":"10.29007/7dt2","main_file_link":[{"open_access":"1","url":"https://easychair.org/publications/download/DRpS"}],"ec_funded":1,"oa_version":"Published Version","volume":74,"day":"25","status":"public","date_created":"2020-09-26T14:49:43Z","conference":{"name":"ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems","start_date":"2020-07-12","end_date":"2020-07-12"},"page":"16-48","year":"2020","acknowledgement":"The authors gratefully acknowledge financial support by the European Commission project\r\njustITSELF under grant number 817629, by the Austrian Science Fund (FWF) under grant\r\nZ211-N23 (Wittgenstein Award), by the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 754411, and by the\r\nScience and Engineering Research Board (SERB) project with file number IMP/2018/000523.\r\nThis material is based upon work supported by the Air Force Office of Scientific Research under\r\naward number FA9550-19-1-0288. Any opinions, finding, and conclusions or recommendations\r\nexpressed in this material are those of the author(s) and do not necessarily reflect the views of\r\nthe United States Air Force.","date_published":"2020-09-25T00:00:00Z","intvolume":"        74","month":"09","oa":1,"date_updated":"2021-01-12T08:20:06Z"}]