[{"type":"conference","date_updated":"2023-09-19T09:30:43Z","status":"public","external_id":{"isi":["000491481600025"]},"related_material":{"record":[{"status":"public","id":"6894","relation":"dissertation_contains"}]},"department":[{"_id":"ToHe"}],"month":"07","oa":1,"oa_version":"Published Version","ddc":["005"],"author":[{"last_name":"Frehse","first_name":"Goran","full_name":"Frehse, Goran"},{"orcid":"0000-0001-8180-0904","first_name":"Mirco","full_name":"Giacobbe, Mirco","last_name":"Giacobbe","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"}],"project":[{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms","call_identifier":"FWF"}],"alternative_title":["LNCS"],"conference":{"name":"CAV: Computer Aided Verification","start_date":"2018-07-14","location":"Oxford, United Kingdom","end_date":"2018-07-17"},"volume":10981,"day":"18","article_processing_charge":"No","citation":{"ista":"Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981, 468–486.","mla":"Frehse, Goran, et al. <i>Space-Time Interpolants</i>. Vol. 10981, Springer, 2018, pp. 468–86, doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_25\">10.1007/978-3-319-96145-3_25</a>.","short":"G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.","chicago":"Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,” 10981:468–86. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_25\">https://doi.org/10.1007/978-3-319-96145-3_25</a>.","apa":"Frehse, G., Giacobbe, M., &#38; Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_25\">https://doi.org/10.1007/978-3-319-96145-3_25</a>","ama":"Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_25\">10.1007/978-3-319-96145-3_25</a>","ieee":"G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486."},"publication_identifier":{"issn":["03029743"]},"year":"2018","_id":"140","publist_id":"7783","license":"https://creativecommons.org/licenses/by/4.0/","publisher":"Springer","file_date_updated":"2020-07-14T12:44:50Z","title":"Space-time interpolants","page":"468 - 486","doi":"10.1007/978-3-319-96145-3_25","pubrep_id":"1010","date_created":"2018-12-11T11:44:50Z","language":[{"iso":"eng"}],"date_published":"2018-07-18T00:00:00Z","scopus_import":"1","publication_status":"published","isi":1,"has_accepted_license":"1","file":[{"file_name":"IST-2018-1010-v1+1_space-time_interpolants.pdf","file_id":"5310","relation":"main_file","file_size":563710,"checksum":"6dca832f575d6b3f0ea9dff56f579142","access_level":"open_access","creator":"system","date_updated":"2020-07-14T12:44:50Z","date_created":"2018-12-12T10:17:53Z","content_type":"application/pdf"}],"abstract":[{"lang":"eng","text":"Reachability analysis is difficult for hybrid automata with affine differential equations, because the reach set needs to be approximated. Promising abstraction techniques usually employ interval methods or template polyhedra. Interval methods account for dense time and guarantee soundness, and there are interval-based tools that overapproximate affine flowpipes. But interval methods impose bounded and rigid shapes, which make refinement expensive and fixpoint detection difficult. Template polyhedra, on the other hand, can be adapted flexibly and can be unbounded, but sound template refinement for unbounded reachability analysis has been implemented only for systems with piecewise constant dynamics. We capitalize on the advantages of both techniques, combining interval arithmetic and template polyhedra, using the former to abstract time and the latter to abstract space. During a CEGAR loop, whenever a spurious error trajectory is found, we compute additional space constraints and split time intervals, and use these space-time interpolants to eliminate the counterexample. Space-time interpolation offers a lazy, flexible framework for increasing precision while guaranteeing soundness, both for error avoidance and fixpoint detection. To the best of out knowledge, this is the first abstraction refinement scheme for the reachability analysis over unbounded and dense time of affine hybrid systems, which is both sound and automatic. We demonstrate the effectiveness of our algorithm with several benchmark examples, which cannot be handled by other tools."}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","intvolume":"     10981","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"publication_identifier":{"eissn":["2160-3308"]},"article_number":"031060","citation":{"ieee":"D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical high-harmonic spectroscopy,” <i>Physical Review X</i>, vol. 8, no. 3. American Physical Society, 2018.","ama":"Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic spectroscopy. <i>Physical Review X</i>. 2018;8(3). doi:<a href=\"https://doi.org/10.1103/physrevx.8.031060\">10.1103/physrevx.8.031060</a>","apa":"Baykusheva, D. R., &#38; Wörner, H. J. (2018). Chiral discrimination through bielliptical high-harmonic spectroscopy. <i>Physical Review X</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevx.8.031060\">https://doi.org/10.1103/physrevx.8.031060</a>","chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>. American Physical Society, 2018. <a href=\"https://doi.org/10.1103/physrevx.8.031060\">https://doi.org/10.1103/physrevx.8.031060</a>.","short":"D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>, vol. 8, no. 3, 031060, American Physical Society, 2018, doi:<a href=\"https://doi.org/10.1103/physrevx.8.031060\">10.1103/physrevx.8.031060</a>.","ista":"Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 8(3), 031060."},"year":"2018","_id":"14003","article_type":"original","volume":8,"day":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1103/PhysRevX.8.031060"}],"article_processing_charge":"No","oa_version":"Published Version","month":"07","oa":1,"extern":"1","issue":"3","author":[{"full_name":"Baykusheva, Denitsa Rangelova","first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva"},{"full_name":"Wörner, Hans Jakob","first_name":"Hans Jakob","last_name":"Wörner"}],"type":"journal_article","status":"public","date_updated":"2023-08-22T07:42:07Z","keyword":["General Physics and Astronomy"],"quality_controlled":"1","intvolume":"         8","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Molecular chirality plays an essential role in most biochemical processes. The observation and quantification of chirality-sensitive signals, however, remains extremely challenging, especially on ultrafast timescales and in dilute media. Here, we describe the experimental realization of an all-optical and ultrafast scheme for detecting chiral dynamics in molecules. This technique is based on high-harmonic generation by a combination of two-color counterrotating femtosecond laser pulses with polarization states tunable from linear to circular. We demonstrate two different implementations of chiral-sensitive high-harmonic spectroscopy on an ensemble of randomly oriented methyloxirane molecules in the gas phase. Using two elliptically polarized fields, we observe that the ellipticities maximizing the harmonic signal reach up to \r\n4.4\r\n±\r\n0.2\r\n%\r\n (at 17.6 eV). Using two circularly polarized fields, we observe circular dichroisms ranging up to \r\n13\r\n±\r\n6\r\n%\r\n (28.3–33.1 eV). Our theoretical analysis confirms that the observed chiral response originates from subfemtosecond electron dynamics driven by the magnetic component of the driving laser field. This assignment is supported by the experimental observation of a strong intensity dependence of the chiral effects and its agreement with theory. We moreover report and explain a pronounced variation of the signal strength and dichroism with the driving-field ellipticities and harmonic orders. Finally, we demonstrate the sensitivity of the experimental observables to the shape of the electron hole. This technique for chiral discrimination will yield femtosecond temporal resolution when integrated in a pump-probe scheme and subfemtosecond resolution on chiral charge migration in a self-probing scheme."}],"publication":"Physical Review X","language":[{"iso":"eng"}],"date_created":"2023-08-10T06:34:48Z","date_published":"2018-07-01T00:00:00Z","scopus_import":"1","publication_status":"published","publisher":"American Physical Society","title":"Chiral discrimination through bielliptical high-harmonic spectroscopy","doi":"10.1103/physrevx.8.031060"},{"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_created":"2018-12-18T08:52:38Z","content_type":"application/pdf","creator":"dernst","date_updated":"2020-07-14T12:44:53Z","file_size":675606,"file_id":"5737","relation":"main_file","file_name":"2018_LNCS_Chatterjee.pdf","access_level":"open_access","checksum":"1a6ffa4febe8bb8ac28be3adb3eafebc"}],"abstract":[{"text":"Given a model and a specification, the fundamental model-checking problem asks for algorithmic verification of whether the model satisfies the specification. We consider graphs and Markov decision processes (MDPs), which are fundamental models for reactive systems. One of the very basic specifications that arise in verification of reactive systems is the strong fairness (aka Streett) objective. Given different types of requests and corresponding grants, the objective requires that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely often. All ω -regular objectives can be expressed as Streett objectives and hence they are canonical in verification. To handle the state-space explosion, symbolic algorithms are required that operate on a succinct implicit representation of the system rather than explicitly accessing the system. While explicit algorithms for graphs and MDPs with Streett objectives have been widely studied, there has been no improvement of the basic symbolic algorithms. The worst-case numbers of symbolic steps required for the basic symbolic algorithms are as follows: quadratic for graphs and cubic for MDPs. In this work we present the first sub-quadratic symbolic algorithm for graphs with Streett objectives, and our algorithm is sub-quadratic even for MDPs. Based on our algorithmic insights we present an implementation of the new symbolic approach and show that it improves the existing approach on several academic benchmark examples.","lang":"eng"}],"quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"     10982","publist_id":"7782","publisher":"Springer","doi":"10.1007/978-3-319-96142-2_13","page":"178-197","title":"Symbolic algorithms for graphs and Markov decision processes with fairness objectives","file_date_updated":"2020-07-14T12:44:53Z","date_published":"2018-07-18T00:00:00Z","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:44:51Z","has_accepted_license":"1","publication_status":"published","scopus_import":"1","isi":1,"conference":{"name":"CAV: Computer Aided Verification","start_date":"2018-07-14","location":"Oxford, United Kingdom","end_date":"2018-07-17"},"alternative_title":["LNCS"],"project":[{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"}],"volume":10982,"article_processing_charge":"No","day":"18","ec_funded":1,"citation":{"ista":"Chatterjee K, Henzinger MH, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.","mla":"Chatterjee, Krishnendu, et al. <i>Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives</i>. Vol. 10982, Springer, 2018, pp. 178–97, doi:<a href=\"https://doi.org/10.1007/978-3-319-96142-2_13\">10.1007/978-3-319-96142-2_13</a>.","apa":"Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., &#38; Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-319-96142-2_13\">https://doi.org/10.1007/978-3-319-96142-2_13</a>","short":"K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Veronika Loitzenbauer, Simin Oraee, and Viktor Toman. “Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives,” 10982:178–97. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-96142-2_13\">https://doi.org/10.1007/978-3-319-96142-2_13</a>.","ieee":"K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.","ama":"Chatterjee K, Henzinger MH, Loitzenbauer V, Oraee S, Toman V. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. In: Vol 10982. Springer; 2018:178-197. doi:<a href=\"https://doi.org/10.1007/978-3-319-96142-2_13\">10.1007/978-3-319-96142-2_13</a>"},"_id":"141","year":"2018","date_updated":"2025-07-14T09:10:15Z","status":"public","type":"conference","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"10199"}]},"department":[{"_id":"KrCh"}],"external_id":{"isi":["000491469700013"]},"month":"07","oa":1,"oa_version":"Published Version","ddc":["000"],"author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Henzinger, Monika H","first_name":"Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger"},{"last_name":"Loitzenbauer","full_name":"Loitzenbauer, Veronika","first_name":"Veronika"},{"first_name":"Simin","full_name":"Oraee, Simin","last_name":"Oraee"},{"orcid":"0000-0001-9036-063X","first_name":"Viktor","full_name":"Toman, Viktor","last_name":"Toman","id":"3AF3DA7C-F248-11E8-B48F-1D18A9856A87"}],"acknowledgement":"Acknowledgements. K. C. and M. H. are partially supported by the Vienna Science and Technology Fund (WWTF) grant ICT15-003. K. C. is partially supported by the Austrian Science Fund (FWF): S11407-N23 (RiSE/SHiNE), and an ERC Start Grant (279307: Graph Games). V. T. is partially supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie Grant Agreement No. 665385."},{"arxiv":1,"department":[{"_id":"FrLo"}],"external_id":{"arxiv":["1806.02199"]},"title":"SOM-VAE: Interpretable discrete representation learning on time series","date_updated":"2023-09-13T06:35:12Z","status":"public","type":"conference","author":[{"full_name":"Fortuin, Vincent","first_name":"Vincent","last_name":"Fortuin"},{"full_name":"Hüser, Matthias","first_name":"Matthias","last_name":"Hüser"},{"full_name":"Locatello, Francesco","first_name":"Francesco","orcid":"0000-0002-4850-0683","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello"},{"full_name":"Strathmann, Heiko","first_name":"Heiko","last_name":"Strathmann"},{"last_name":"Rätsch","full_name":"Rätsch, Gunnar","first_name":"Gunnar"}],"publication_status":"published","extern":"1","date_published":"2018-06-06T00:00:00Z","oa":1,"publication":"International Conference on Learning Representations","language":[{"iso":"eng"}],"month":"06","date_created":"2023-08-22T14:12:48Z","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.02199"}],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"High-dimensional time series are common in many domains. Since human\r\ncognition is not optimized to work well in high-dimensional spaces, these areas\r\ncould benefit from interpretable low-dimensional representations. However, most\r\nrepresentation learning algorithms for time series data are difficult to\r\ninterpret. This is due to non-intuitive mappings from data features to salient\r\nproperties of the representation and non-smoothness over time. To address this\r\nproblem, we propose a new representation learning framework building on ideas\r\nfrom interpretable discrete dimensionality reduction and deep generative\r\nmodeling. This framework allows us to learn discrete representations of time\r\nseries, which give rise to smooth and interpretable embeddings with superior\r\nclustering performance. We introduce a new way to overcome the\r\nnon-differentiability in discrete representation learning and present a\r\ngradient-based version of the traditional self-organizing map algorithm that is\r\nmore performant than the original. Furthermore, to allow for a probabilistic\r\ninterpretation of our method, we integrate a Markov model in the representation\r\nspace. This model uncovers the temporal transition structure, improves\r\nclustering performance even further and provides additional explanatory\r\ninsights as well as a natural representation of uncertainty. We evaluate our\r\nmodel in terms of clustering performance and interpretability on static\r\n(Fashion-)MNIST data, a time series of linearly interpolated (Fashion-)MNIST\r\nimages, a chaotic Lorenz attractor system with two macro states, as well as on\r\na challenging real world medical time series application on the eICU data set.\r\nOur learned representations compare favorably with competitor methods and\r\nfacilitate downstream tasks on the real world data."}],"day":"06","conference":{"start_date":"2019-05-06","location":"New Orleans, LA, United States","end_date":"2019-05-09","name":"ICLR: International Conference on Learning Representations"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14198","year":"2018","citation":{"ista":"Fortuin V, Hüser M, Locatello F, Strathmann H, Rätsch G. 2018. SOM-VAE: Interpretable discrete representation learning on time series. International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","mla":"Fortuin, Vincent, et al. “SOM-VAE: Interpretable Discrete Representation Learning on Time Series.” <i>International Conference on Learning Representations</i>, 2018.","apa":"Fortuin, V., Hüser, M., Locatello, F., Strathmann, H., &#38; Rätsch, G. (2018). SOM-VAE: Interpretable discrete representation learning on time series. In <i>International Conference on Learning Representations</i>. New Orleans, LA, United States.","chicago":"Fortuin, Vincent, Matthias Hüser, Francesco Locatello, Heiko Strathmann, and Gunnar Rätsch. “SOM-VAE: Interpretable Discrete Representation Learning on Time Series.” In <i>International Conference on Learning Representations</i>, 2018.","short":"V. Fortuin, M. Hüser, F. Locatello, H. Strathmann, G. Rätsch, in:, International Conference on Learning Representations, 2018.","ieee":"V. Fortuin, M. Hüser, F. Locatello, H. Strathmann, and G. Rätsch, “SOM-VAE: Interpretable discrete representation learning on time series,” in <i>International Conference on Learning Representations</i>, New Orleans, LA, United States, 2018.","ama":"Fortuin V, Hüser M, Locatello F, Strathmann H, Rätsch G. SOM-VAE: Interpretable discrete representation learning on time series. In: <i>International Conference on Learning Representations</i>. ; 2018."},"quality_controlled":"1"},{"oa_version":"Published Version","oa":1,"month":"07","acknowledgement":"Austrian Science Fund FWF: S11402-N23, S11405-N23, Z211-N32","author":[{"last_name":"Kong","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3066-6941","first_name":"Hui","full_name":"Kong, Hui"},{"full_name":"Bartocci, Ezio","first_name":"Ezio","last_name":"Bartocci"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"ddc":["000"],"status":"public","date_updated":"2023-09-15T12:12:08Z","type":"conference","department":[{"_id":"ToHe"}],"external_id":{"isi":["000491481600024"]},"citation":{"mla":"Kong, Hui, et al. <i>Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes</i>. Vol. 10981, Springer, 2018, pp. 449–67, doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_24\">10.1007/978-3-319-96145-3_24</a>.","ista":"Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.","ieee":"H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.","ama":"Kong H, Bartocci E, Henzinger TA. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. In: Vol 10981. Springer; 2018:449-467. doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_24\">10.1007/978-3-319-96145-3_24</a>","apa":"Kong, H., Bartocci, E., &#38; Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_24\">https://doi.org/10.1007/978-3-319-96145-3_24</a>","chicago":"Kong, Hui, Ezio Bartocci, and Thomas A Henzinger. “Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes,” 10981:449–67. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_24\">https://doi.org/10.1007/978-3-319-96145-3_24</a>.","short":"H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467."},"year":"2018","_id":"142","volume":10981,"project":[{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF"}],"alternative_title":["LNCS"],"conference":{"name":"CAV: Computer Aided Verification","start_date":"2018-07-14","location":"Oxford, United Kingdom","end_date":"2018-07-17"},"article_processing_charge":"No","day":"18","date_published":"2018-07-18T00:00:00Z","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:44:51Z","has_accepted_license":"1","isi":1,"publication_status":"published","scopus_import":"1","publisher":"Springer","publist_id":"7781","doi":"10.1007/978-3-319-96145-3_24","page":"449 - 467","file_date_updated":"2020-07-14T12:44:53Z","title":"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes","quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"     10981","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"abstract":[{"text":"We address the problem of analyzing the reachable set of a polynomial nonlinear continuous system by over-approximating the flowpipe of its dynamics. The common approach to tackle this problem is to perform a numerical integration over a given time horizon based on Taylor expansion and interval arithmetic. However, this method results to be very conservative when there is a large difference in speed between trajectories as time progresses. In this paper, we propose to use combinations of barrier functions, which we call piecewise barrier tube (PBT), to over-approximate flowpipe. The basic idea of PBT is that for each segment of a flowpipe, a coarse box which is big enough to contain the segment is constructed using sampled simulation and then in the box we compute by linear programming a set of barrier functions (called barrier tube or BT for short) which work together to form a tube surrounding the flowpipe. The benefit of using PBT is that (1) BT is independent of time and hence can avoid being stretched and deformed by time; and (2) a small number of BTs can form a tight over-approximation for the flowpipe, which means that the computation required to decide whether the BTs intersect the unsafe set can be reduced significantly. We implemented a prototype called PBTS in C++. Experiments on some benchmark systems show that our approach is effective.","lang":"eng"}],"file":[{"date_created":"2018-12-17T15:57:06Z","content_type":"application/pdf","creator":"dernst","date_updated":"2020-07-14T12:44:53Z","file_name":"2018_LNCS_Kong.pdf","file_id":"5718","relation":"main_file","file_size":5591566,"access_level":"open_access","checksum":"fd95e8026deacef3dc752a733bb9355f"}]},{"abstract":[{"text":"Variational inference is a popular technique to approximate a possibly\r\nintractable Bayesian posterior with a more tractable one. Recently, boosting\r\nvariational inference has been proposed as a new paradigm to approximate the\r\nposterior by a mixture of densities by greedily adding components to the\r\nmixture. However, as is the case with many other variational inference\r\nalgorithms, its theoretical properties have not been studied. In the present\r\nwork, we study the convergence properties of this approach from a modern\r\noptimization viewpoint by establishing connections to the classic Frank-Wolfe\r\nalgorithm. Our analyses yields novel theoretical insights regarding the\r\nsufficient conditions for convergence, explicit rates, and algorithmic\r\nsimplifications. Since a lot of focus in previous works for variational\r\ninference has been on tractability, our work is especially important as a much\r\nneeded attempt to bridge the gap between probabilistic models and their\r\ncorresponding theoretical properties.","lang":"eng"}],"intvolume":"        84","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","title":"Boosting variational inference: An optimization perspective","page":"464-472","arxiv":1,"publisher":"ML Research Press","scopus_import":"1","publication_status":"published","language":[{"iso":"eng"}],"publication":"Proceedings of the 21st International Conference on Artificial Intelligence and Statistics","date_created":"2023-08-22T14:15:20Z","date_published":"2018-04-15T00:00:00Z","day":"15","main_file_link":[{"url":"https://arxiv.org/abs/1708.01733","open_access":"1"}],"article_processing_charge":"No","alternative_title":["PMLR"],"conference":{"start_date":"2018-04-09","location":"Playa Blanca, Lanzarote","end_date":"2018-04-11","name":"AISTATS: Conference on Artificial Intelligence and Statistics"},"volume":84,"_id":"14201","year":"2018","citation":{"mla":"Locatello, Francesco, et al. “Boosting Variational Inference: An Optimization Perspective.” <i>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics</i>, vol. 84, ML Research Press, 2018, pp. 464–72.","ista":"Locatello F, Khanna R, Ghosh J, Rätsch G. 2018. Boosting variational inference: An optimization perspective. Proceedings of the 21st International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 84, 464–472.","ama":"Locatello F, Khanna R, Ghosh J, Rätsch G. Boosting variational inference: An optimization perspective. In: <i>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics</i>. Vol 84. ML Research Press; 2018:464-472.","ieee":"F. Locatello, R. Khanna, J. Ghosh, and G. Rätsch, “Boosting variational inference: An optimization perspective,” in <i>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics</i>, Playa Blanca, Lanzarote, 2018, vol. 84, pp. 464–472.","apa":"Locatello, F., Khanna, R., Ghosh, J., &#38; Rätsch, G. (2018). Boosting variational inference: An optimization perspective. In <i>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics</i> (Vol. 84, pp. 464–472). Playa Blanca, Lanzarote: ML Research Press.","chicago":"Locatello, Francesco, Rajiv Khanna, Joydeep Ghosh, and Gunnar Rätsch. “Boosting Variational Inference: An Optimization Perspective.” In <i>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics</i>, 84:464–72. ML Research Press, 2018.","short":"F. Locatello, R. Khanna, J. Ghosh, G. Rätsch, in:, Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, ML Research Press, 2018, pp. 464–472."},"external_id":{"arxiv":["1708.01733"]},"department":[{"_id":"FrLo"}],"type":"conference","status":"public","date_updated":"2023-09-13T07:52:40Z","extern":"1","author":[{"id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","full_name":"Locatello, Francesco","orcid":"0000-0002-4850-0683","first_name":"Francesco"},{"last_name":"Khanna","full_name":"Khanna, Rajiv","first_name":"Rajiv"},{"last_name":"Ghosh","first_name":"Joydeep","full_name":"Ghosh, Joydeep"},{"first_name":"Gunnar","full_name":"Rätsch, Gunnar","last_name":"Rätsch"}],"oa_version":"Preprint","month":"04","oa":1},{"publication_identifier":{"eissn":["1049-5258"],"isbn":["9781510884472"]},"citation":{"apa":"Locatello, F., Dresdner, G., Khanna, R., Valera, I., &#38; Rätsch, G. (2018). Boosting black box variational inference. In <i>Advances in Neural Information Processing Systems</i> (Vol. 31). Montreal, Canada: Neural Information Processing Systems Foundation.","short":"F. Locatello, G. Dresdner, R. Khanna, I. Valera, G. Rätsch, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018.","chicago":"Locatello, Francesco, Gideon Dresdner, Rajiv Khanna, Isabel Valera, and Gunnar Rätsch. “Boosting Black Box Variational Inference.” In <i>Advances in Neural Information Processing Systems</i>, Vol. 31. Neural Information Processing Systems Foundation, 2018.","ama":"Locatello F, Dresdner G, Khanna R, Valera I, Rätsch G. Boosting black box variational inference. In: <i>Advances in Neural Information Processing Systems</i>. Vol 31. Neural Information Processing Systems Foundation; 2018.","ieee":"F. Locatello, G. Dresdner, R. Khanna, I. Valera, and G. Rätsch, “Boosting black box variational inference,” in <i>Advances in Neural Information Processing Systems</i>, Montreal, Canada, 2018, vol. 31.","ista":"Locatello F, Dresdner G, Khanna R, Valera I, Rätsch G. 2018. Boosting black box variational inference. Advances in Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 31.","mla":"Locatello, Francesco, et al. “Boosting Black Box Variational Inference.” <i>Advances in Neural Information Processing Systems</i>, vol. 31, Neural Information Processing Systems Foundation, 2018."},"year":"2018","_id":"14202","conference":{"name":"NeurIPS: Neural Information Processing Systems","start_date":"2018-12-03","location":"Montreal, Canada","end_date":"2018-12-08"},"volume":31,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.02185"}],"article_processing_charge":"No","day":"06","oa_version":"Preprint","month":"06","oa":1,"author":[{"last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco"},{"last_name":"Dresdner","full_name":"Dresdner, Gideon","first_name":"Gideon"},{"last_name":"Khanna","full_name":"Khanna, Rajiv","first_name":"Rajiv"},{"last_name":"Valera","full_name":"Valera, Isabel","first_name":"Isabel"},{"last_name":"Rätsch","full_name":"Rätsch, Gunnar","first_name":"Gunnar"}],"extern":"1","status":"public","date_updated":"2023-09-13T07:38:24Z","type":"conference","department":[{"_id":"FrLo"}],"external_id":{"arxiv":["1806.02185"]},"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"        31","abstract":[{"lang":"eng","text":"Approximating a probability density in a tractable manner is a central task\r\nin Bayesian statistics. Variational Inference (VI) is a popular technique that\r\nachieves tractability by choosing a relatively simple variational family.\r\nBorrowing ideas from the classic boosting framework, recent approaches attempt\r\nto \\emph{boost} VI by replacing the selection of a single density with a\r\ngreedily constructed mixture of densities. In order to guarantee convergence,\r\nprevious works impose stringent assumptions that require significant effort for\r\npractitioners. Specifically, they require a custom implementation of the greedy\r\nstep (called the LMO) for every probabilistic model with respect to an\r\nunnatural variational family of truncated distributions. Our work fixes these\r\nissues with novel theoretical and algorithmic insights. On the theoretical\r\nside, we show that boosting VI satisfies a relaxed smoothness assumption which\r\nis sufficient for the convergence of the functional Frank-Wolfe (FW) algorithm.\r\nFurthermore, we rephrase the LMO problem and propose to maximize the Residual\r\nELBO (RELBO) which replaces the standard ELBO optimization in VI. These\r\ntheoretical enhancements allow for black box implementation of the boosting\r\nsubroutine. Finally, we present a stopping criterion drawn from the duality gap\r\nin the classic FW analyses and exhaustive experiments to illustrate the\r\nusefulness of our theoretical and algorithmic contributions."}],"date_published":"2018-06-06T00:00:00Z","language":[{"iso":"eng"}],"publication":"Advances in Neural Information Processing Systems","date_created":"2023-08-22T14:15:40Z","scopus_import":"1","publication_status":"published","publisher":"Neural Information Processing Systems Foundation","arxiv":1,"title":"Boosting black box variational inference"},{"abstract":[{"text":"We propose a conditional gradient framework for a composite convex minimization template with broad applications. Our approach combines smoothing and homotopy techniques under the CGM framework, and provably achieves the optimal O(1/k−−√) convergence rate. We demonstrate that the same rate holds if the linear subproblems are solved approximately with additive or multiplicative error. In contrast with the relevant work, we are able to characterize the convergence when the non-smooth term is an indicator function. Specific applications of our framework include the non-smooth minimization, semidefinite programming, and minimization with linear inclusion constraints over a compact domain. Numerical evidence demonstrates the benefits of our framework.","lang":"eng"}],"intvolume":"        80","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","title":"A conditional gradient framework for composite convex minimization with applications to semidefinite programming","page":"5727-5736","arxiv":1,"publisher":"ML Research Press","publication_status":"published","language":[{"iso":"eng"}],"date_created":"2023-08-22T14:16:01Z","publication":"Proceedings of the 35th International Conference on Machine Learning","date_published":"2018-07-15T00:00:00Z","day":"15","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.08544"}],"conference":{"name":"ICML: International Conference on Machine Learning","location":"Stockholm, Sweden","end_date":"2018-07-15","start_date":"2018-07-10"},"alternative_title":["PMLR"],"volume":80,"year":"2018","_id":"14203","citation":{"mla":"Yurtsever, Alp, et al. “A Conditional Gradient Framework for Composite Convex Minimization with Applications to Semidefinite Programming.” <i>Proceedings of the 35th International Conference on Machine Learning</i>, vol. 80, ML Research Press, 2018, pp. 5727–36.","ista":"Yurtsever A, Fercoq O, Locatello F, Cevher V. 2018. A conditional gradient framework for composite convex minimization with applications to semidefinite programming. Proceedings of the 35th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 80, 5727–5736.","ama":"Yurtsever A, Fercoq O, Locatello F, Cevher V. A conditional gradient framework for composite convex minimization with applications to semidefinite programming. In: <i>Proceedings of the 35th International Conference on Machine Learning</i>. Vol 80. ML Research Press; 2018:5727-5736.","ieee":"A. Yurtsever, O. Fercoq, F. Locatello, and V. Cevher, “A conditional gradient framework for composite convex minimization with applications to semidefinite programming,” in <i>Proceedings of the 35th International Conference on Machine Learning</i>, Stockholm, Sweden, 2018, vol. 80, pp. 5727–5736.","chicago":"Yurtsever, Alp, Olivier Fercoq, Francesco Locatello, and Volkan Cevher. “A Conditional Gradient Framework for Composite Convex Minimization with Applications to Semidefinite Programming.” In <i>Proceedings of the 35th International Conference on Machine Learning</i>, 80:5727–36. ML Research Press, 2018.","short":"A. Yurtsever, O. Fercoq, F. Locatello, V. Cevher, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 5727–5736.","apa":"Yurtsever, A., Fercoq, O., Locatello, F., &#38; Cevher, V. (2018). A conditional gradient framework for composite convex minimization with applications to semidefinite programming. In <i>Proceedings of the 35th International Conference on Machine Learning</i> (Vol. 80, pp. 5727–5736). Stockholm, Sweden: ML Research Press."},"external_id":{"arxiv":["1804.08544"]},"department":[{"_id":"FrLo"}],"type":"conference","date_updated":"2023-09-13T08:13:39Z","status":"public","extern":"1","author":[{"last_name":"Yurtsever","full_name":"Yurtsever, Alp","first_name":"Alp"},{"last_name":"Fercoq","full_name":"Fercoq, Olivier","first_name":"Olivier"},{"first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4"},{"first_name":"Volkan","full_name":"Cevher, Volkan","last_name":"Cevher"}],"month":"07","oa":1,"oa_version":"Preprint"},{"external_id":{"arxiv":["1803.09539"]},"department":[{"_id":"FrLo"}],"type":"conference","status":"public","date_updated":"2023-09-13T08:19:05Z","extern":"1","author":[{"first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4"},{"full_name":"Raj, Anant","first_name":"Anant","last_name":"Raj"},{"first_name":"Sai Praneeth","full_name":"Karimireddy, Sai Praneeth","last_name":"Karimireddy"},{"last_name":"Rätsch","full_name":"Rätsch, Gunnar","first_name":"Gunnar"},{"last_name":"Schölkopf","first_name":"Bernhard","full_name":"Schölkopf, Bernhard"},{"first_name":"Sebastian U.","full_name":"Stich, Sebastian U.","last_name":"Stich"},{"first_name":"Martin","full_name":"Jaggi, Martin","last_name":"Jaggi"}],"oa_version":"Preprint","oa":1,"month":"07","day":"01","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1803.09539"}],"article_processing_charge":"No","volume":80,"alternative_title":["PMLR"],"year":"2018","_id":"14204","citation":{"mla":"Locatello, Francesco, et al. “On Matching Pursuit and Coordinate Descent.” <i>Proceedings of the 35th International Conference on Machine Learning</i>, vol. 80, ML Research Press, 2018, pp. 3198–207.","ista":"Locatello F, Raj A, Karimireddy SP, Rätsch G, Schölkopf B, Stich SU, Jaggi M. 2018. On matching pursuit and coordinate descent. Proceedings of the 35th International Conference on Machine Learning. , PMLR, vol. 80, 3198–3207.","ama":"Locatello F, Raj A, Karimireddy SP, et al. On matching pursuit and coordinate descent. In: <i>Proceedings of the 35th International Conference on Machine Learning</i>. Vol 80. ML Research Press; 2018:3198-3207.","ieee":"F. Locatello <i>et al.</i>, “On matching pursuit and coordinate descent,” in <i>Proceedings of the 35th International Conference on Machine Learning</i>, 2018, vol. 80, pp. 3198–3207.","chicago":"Locatello, Francesco, Anant Raj, Sai Praneeth Karimireddy, Gunnar Rätsch, Bernhard Schölkopf, Sebastian U. Stich, and Martin Jaggi. “On Matching Pursuit and Coordinate Descent.” In <i>Proceedings of the 35th International Conference on Machine Learning</i>, 80:3198–3207. ML Research Press, 2018.","short":"F. Locatello, A. Raj, S.P. Karimireddy, G. Rätsch, B. Schölkopf, S.U. Stich, M. Jaggi, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 3198–3207.","apa":"Locatello, F., Raj, A., Karimireddy, S. P., Rätsch, G., Schölkopf, B., Stich, S. U., &#38; Jaggi, M. (2018). On matching pursuit and coordinate descent. In <i>Proceedings of the 35th International Conference on Machine Learning</i> (Vol. 80, pp. 3198–3207). ML Research Press."},"title":"On matching pursuit and coordinate descent","page":"3198-3207","arxiv":1,"publisher":"ML Research Press","publication_status":"published","scopus_import":"1","date_created":"2023-08-22T14:16:25Z","language":[{"iso":"eng"}],"publication":"Proceedings of the 35th International Conference on Machine Learning","date_published":"2018-07-01T00:00:00Z","abstract":[{"lang":"eng","text":"Two popular examples of first-order optimization methods over linear spaces are coordinate descent and matching pursuit algorithms, with their randomized variants. While the former targets the optimization by moving along coordinates, the latter considers a generalized notion of directions. Exploiting the connection between the two algorithms, we present a unified analysis of both, providing affine invariant sublinear O(1/t) rates on smooth objectives and linear convergence on strongly convex objectives. As a byproduct of our affine invariant analysis of matching pursuit, our rates for steepest coordinate descent are the tightest known. Furthermore, we show the first accelerated convergence rate O(1/t2) for matching pursuit and steepest coordinate descent on convex objectives."}],"intvolume":"        80","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1"},{"conference":{"name":"International Conference on Machine Learning","end_date":"2018-05-03","location":"Vancouver, Canada","start_date":"2018-04-30"},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.11130"}],"article_processing_charge":"No","day":"01","abstract":[{"text":"Clustering is a cornerstone of unsupervised learning which can be thought as disentangling multiple generative mechanisms underlying the data. In this paper we introduce an algorithmic framework to train mixtures of implicit generative models which we particularize for variational autoencoders. Relying on an additional set of discriminators, we propose a competitive procedure in which the models only need to approximate the portion of the data distribution from which they can produce realistic samples. As a byproduct, each model is simpler to train, and a clustering interpretation arises naturally from the partitioning of the training points among the models. We empirically show that our approach splits the training distribution in a reasonable way and increases the quality of the generated samples.","lang":"eng"}],"citation":{"mla":"Locatello, Francesco, et al. “Clustering Meets Implicit Generative Models.” <i>6th International Conference on Learning Representations</i>, 2018.","ista":"Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. 2018. Clustering meets implicit generative models. 6th International Conference on Learning Representations. International Conference on Machine Learning.","ama":"Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. Clustering meets implicit generative models. In: <i>6th International Conference on Learning Representations</i>. ; 2018.","ieee":"F. Locatello, D. Vincent, I. Tolstikhin, G. Ratsch, S. Gelly, and B. Scholkopf, “Clustering meets implicit generative models,” in <i>6th International Conference on Learning Representations</i>, Vancouver, Canada, 2018.","chicago":"Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Ratsch, Sylvain Gelly, and Bernhard Scholkopf. “Clustering Meets Implicit Generative Models.” In <i>6th International Conference on Learning Representations</i>, 2018.","short":"F. Locatello, D. Vincent, I. Tolstikhin, G. Ratsch, S. Gelly, B. Scholkopf, in:, 6th International Conference on Learning Representations, 2018.","apa":"Locatello, F., Vincent, D., Tolstikhin, I., Ratsch, G., Gelly, S., &#38; Scholkopf, B. (2018). Clustering meets implicit generative models. In <i>6th International Conference on Learning Representations</i>. Vancouver, Canada."},"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14224","year":"2018","date_updated":"2023-09-13T09:08:24Z","status":"public","type":"conference","arxiv":1,"department":[{"_id":"FrLo"}],"external_id":{"arxiv":["1804.11130"]},"title":"Clustering meets implicit generative models","date_published":"2018-05-01T00:00:00Z","date_created":"2023-08-22T14:25:34Z","language":[{"iso":"eng"}],"month":"05","oa":1,"publication":"6th International Conference on Learning Representations","oa_version":"Preprint","author":[{"last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco"},{"first_name":"Damien","full_name":"Vincent, Damien","last_name":"Vincent"},{"last_name":"Tolstikhin","full_name":"Tolstikhin, Ilya","first_name":"Ilya"},{"last_name":"Ratsch","first_name":"Gunnar","full_name":"Ratsch, Gunnar"},{"full_name":"Gelly, Sylvain","first_name":"Sylvain","last_name":"Gelly"},{"full_name":"Scholkopf, Bernhard","first_name":"Bernhard","last_name":"Scholkopf"}],"scopus_import":"1","publication_status":"published","extern":"1"},{"title":"Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB","doi":"10.1038/s41467-018-04139-2","publisher":"Springer Nature","publication_status":"published","scopus_import":"1","date_created":"2023-09-06T12:07:33Z","publication":"Nature Communications","language":[{"iso":"eng"}],"date_published":"2018-05-04T00:00:00Z","abstract":[{"lang":"eng","text":"Pore-forming toxins (PFT) are virulence factors that transform from soluble to membrane-bound states. The Yersinia YaxAB system represents a family of binary α-PFTs with orthologues in human, insect, and plant pathogens, with unknown structures. YaxAB was shown to be cytotoxic and likely involved in pathogenesis, though the molecular basis for its two-component lytic mechanism remains elusive. Here, we present crystal structures of YaxA and YaxB, together with a cryo-electron microscopy map of the YaxAB complex. Our structures reveal a pore predominantly composed of decamers of YaxA–YaxB heterodimers. Both subunits bear membrane-active moieties, but only YaxA is capable of binding to membranes by itself. YaxB can subsequently be recruited to membrane-associated YaxA and induced to present its lytic transmembrane helices. Pore formation can progress by further oligomerization of YaxA–YaxB dimers. Our results allow for a comparison between pore assemblies belonging to the wider ClyA-like family of α-PFTs, highlighting diverse pore architectures."}],"pmid":1,"intvolume":"         9","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"external_id":{"pmid":["29728606"]},"type":"journal_article","date_updated":"2023-11-07T11:46:12Z","status":"public","extern":"1","author":[{"last_name":"Bräuning","full_name":"Bräuning, Bastian","first_name":"Bastian"},{"last_name":"Bertosin","first_name":"Eva","full_name":"Bertosin, Eva"},{"first_name":"Florian M","full_name":"Praetorius, Florian M","last_name":"Praetorius","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62"},{"last_name":"Ihling","first_name":"Christian","full_name":"Ihling, Christian"},{"last_name":"Schatt","full_name":"Schatt, Alexandra","first_name":"Alexandra"},{"full_name":"Adler, Agnes","first_name":"Agnes","last_name":"Adler"},{"first_name":"Klaus","full_name":"Richter, Klaus","last_name":"Richter"},{"full_name":"Sinz, Andrea","first_name":"Andrea","last_name":"Sinz"},{"last_name":"Dietz","full_name":"Dietz, Hendrik","first_name":"Hendrik"},{"last_name":"Groll","full_name":"Groll, Michael","first_name":"Michael"}],"oa":1,"month":"05","oa_version":"Published Version","day":"04","main_file_link":[{"url":"https://doi.org/10.1038/s41467-018-04139-2","open_access":"1"}],"article_processing_charge":"No","volume":9,"_id":"14284","year":"2018","article_type":"original","article_number":"1806","citation":{"ieee":"B. Bräuning <i>et al.</i>, “Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB,” <i>Nature Communications</i>, vol. 9. Springer Nature, 2018.","ama":"Bräuning B, Bertosin E, Praetorius FM, et al. Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB. <i>Nature Communications</i>. 2018;9. doi:<a href=\"https://doi.org/10.1038/s41467-018-04139-2\">10.1038/s41467-018-04139-2</a>","short":"B. Bräuning, E. Bertosin, F.M. Praetorius, C. Ihling, A. Schatt, A. Adler, K. Richter, A. Sinz, H. Dietz, M. Groll, Nature Communications 9 (2018).","chicago":"Bräuning, Bastian, Eva Bertosin, Florian M Praetorius, Christian Ihling, Alexandra Schatt, Agnes Adler, Klaus Richter, Andrea Sinz, Hendrik Dietz, and Michael Groll. “Structure and Mechanism of the Two-Component α-Helical Pore-Forming Toxin YaxAB.” <i>Nature Communications</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41467-018-04139-2\">https://doi.org/10.1038/s41467-018-04139-2</a>.","apa":"Bräuning, B., Bertosin, E., Praetorius, F. M., Ihling, C., Schatt, A., Adler, A., … Groll, M. (2018). Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-018-04139-2\">https://doi.org/10.1038/s41467-018-04139-2</a>","mla":"Bräuning, Bastian, et al. “Structure and Mechanism of the Two-Component α-Helical Pore-Forming Toxin YaxAB.” <i>Nature Communications</i>, vol. 9, 1806, Springer Nature, 2018, doi:<a href=\"https://doi.org/10.1038/s41467-018-04139-2\">10.1038/s41467-018-04139-2</a>.","ista":"Bräuning B, Bertosin E, Praetorius FM, Ihling C, Schatt A, Adler A, Richter K, Sinz A, Dietz H, Groll M. 2018. Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB. Nature Communications. 9, 1806."},"publication_identifier":{"issn":["2041-1723"]}},{"abstract":[{"text":"Vector Addition Systems with States (VASS) provide a well-known and fundamental model for the analysis of concurrent processes, parameterized systems, and are also used as abstract models of programs in resource bound analysis. In this paper we study the problem of obtaining asymptotic bounds on the termination time of a given VASS. In particular, we focus on the practically important case of obtaining polynomial bounds on termination time. Our main contributions are as follows: First, we present a polynomial-time algorithm for deciding whether a given VASS has a linear asymptotic complexity. We also show that if the complexity of a VASS is not linear, it is at least quadratic. Second, we classify VASS according to quantitative properties of their cycles. We show that certain singularities in these properties are the key reason for non-polynomial asymptotic complexity of VASS. In absence of singularities, we show that the asymptotic complexity is always polynomial and of the form Θ(nk), for some integer k d, where d is the dimension of the VASS. We present a polynomial-time algorithm computing the optimal k. For general VASS, the same algorithm, which is based on a complete technique for the construction of ranking functions in VASS, produces a valid lower bound, i.e., a k such that the termination complexity is (nk). Our results are based on new insights into the geometry of VASS dynamics, which hold the potential for further applicability to VASS analysis.","lang":"eng"}],"quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"IEEE","publist_id":"7780","title":"Efficient algorithms for asymptotic bounds on termination time in VASS","doi":"10.1145/3209108.3209191","page":"185 - 194","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:44:51Z","date_published":"2018-07-09T00:00:00Z","scopus_import":"1","publication_status":"published","isi":1,"project":[{"grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"}],"conference":{"start_date":"2018-07-09","end_date":"2018-07-12","location":"Oxford, United Kingdom","name":"LICS: Logic in Computer Science"},"volume":"F138033","alternative_title":["ACM/IEEE Symposium on Logic in Computer Science"],"day":"09","ec_funded":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.10985"}],"article_processing_charge":"No","citation":{"ama":"Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol F138033. IEEE; 2018:185-194. doi:<a href=\"https://doi.org/10.1145/3209108.3209191\">10.1145/3209108.3209191</a>","ieee":"T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.","short":"T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotný, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. <a href=\"https://doi.org/10.1145/3209108.3209191\">https://doi.org/10.1145/3209108.3209191</a>.","apa":"Brázdil, T., Chatterjee, K., Kučera, A., Novotný, P., Velan, D., &#38; Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. F138033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE. <a href=\"https://doi.org/10.1145/3209108.3209191\">https://doi.org/10.1145/3209108.3209191</a>","mla":"Brázdil, Tomáš, et al. <i>Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS</i>. Vol. F138033, IEEE, 2018, pp. 185–94, doi:<a href=\"https://doi.org/10.1145/3209108.3209191\">10.1145/3209108.3209191</a>.","ista":"Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. 2018. Efficient algorithms for asymptotic bounds on termination time in VASS. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. F138033, 185–194."},"publication_identifier":{"isbn":["978-1-4503-5583-4"]},"year":"2018","_id":"143","type":"conference","date_updated":"2025-06-02T08:53:48Z","status":"public","external_id":{"isi":["000545262800020"]},"department":[{"_id":"KrCh"}],"oa":1,"month":"07","oa_version":"Preprint","author":[{"last_name":"Brázdil","full_name":"Brázdil, Tomáš","first_name":"Tomáš"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"Antonín","full_name":"Kučera, Antonín","last_name":"Kučera"},{"first_name":"Petr","full_name":"Novotny, Petr","last_name":"Novotny","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Velan","full_name":"Velan, Dominik","first_name":"Dominik"},{"full_name":"Zuleger, Florian","first_name":"Florian","last_name":"Zuleger"}]},{"main_file_link":[{"url":"https://mediatum.ub.tum.de/1398662","open_access":"1"}],"article_processing_charge":"No","day":"16","abstract":[{"text":"Function and activity of biomolecules often depend on their spatial arrangement. The method introduced here allows genetically encoding the spatial arrangement of proteins and DNA. The approach relies on staple proteins that fold double-stranded DNA into user-defined shapes. This thesis describes the development of staple proteins based on the DNA recognition of TAL effectors and presents experimentally derived rules for designing a variety of self-assembling nanoscale shapes featuring structural motifs such as curvature, vertices, corners, and multilayer helix packing. ","lang":"eng"}],"citation":{"mla":"Praetorius, Florian M. <i>Genetically Encoding the Spatial Arrangement of DNA and Proteins in Self-Assembling Nanostructures</i>. Technische Universität München, 2018.","ista":"Praetorius FM. 2018. Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. Technische Universität München.","ama":"Praetorius FM. Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. 2018.","ieee":"F. M. Praetorius, “Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures,” Technische Universität München, 2018.","chicago":"Praetorius, Florian M. “Genetically Encoding the Spatial Arrangement of DNA and Proteins in Self-Assembling Nanostructures.” Technische Universität München, 2018.","short":"F.M. Praetorius, Genetically Encoding the Spatial Arrangement of DNA and Proteins in Self-Assembling Nanostructures, Technische Universität München, 2018.","apa":"Praetorius, F. M. (2018). <i>Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures</i>. Technische Universität München."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14306","year":"2018","date_updated":"2023-11-07T11:43:38Z","publisher":"Technische Universität München","status":"public","type":"dissertation","title":"Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures","supervisor":[{"first_name":"Hendrik","full_name":"Dietz, Hendrik","last_name":"Dietz"}],"degree_awarded":"PhD","date_published":"2018-01-16T00:00:00Z","oa":1,"date_created":"2023-09-06T13:11:22Z","language":[{"iso":"eng"}],"month":"01","oa_version":"Published Version","author":[{"full_name":"Praetorius, Florian M","first_name":"Florian M","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","last_name":"Praetorius"}],"publication_status":"published","extern":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14327","year":"2018","citation":{"apa":"Locatello, F., Vincent, D., Tolstikhin, I., Rätsch, G., Gelly, S., &#38; Schölkopf, B. (n.d.). Competitive training of mixtures of independent deep generative models. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.1804.11130\">https://doi.org/10.48550/arXiv.1804.11130</a>","short":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, B. Schölkopf, ArXiv (n.d.).","chicago":"Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Rätsch, Sylvain Gelly, and Bernhard Schölkopf. “Competitive Training of Mixtures of Independent Deep Generative Models.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.1804.11130\">https://doi.org/10.48550/arXiv.1804.11130</a>.","ama":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.1804.11130\">10.48550/arXiv.1804.11130</a>","ieee":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, and B. Schölkopf, “Competitive training of mixtures of independent deep generative models,” <i>arXiv</i>. .","ista":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv, 1804.11130.","mla":"Locatello, Francesco, et al. “Competitive Training of Mixtures of Independent Deep Generative Models.” <i>ArXiv</i>, 1804.11130, doi:<a href=\"https://doi.org/10.48550/arXiv.1804.11130\">10.48550/arXiv.1804.11130</a>."},"article_number":"1804.11130","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1804.11130"}],"abstract":[{"text":"A common assumption in causal modeling posits that the data is generated by a\r\nset of independent mechanisms, and algorithms should aim to recover this\r\nstructure. Standard unsupervised learning, however, is often concerned with\r\ntraining a single model to capture the overall distribution or aspects thereof.\r\nInspired by clustering approaches, we consider mixtures of implicit generative\r\nmodels that ``disentangle'' the independent generative mechanisms underlying\r\nthe data. Relying on an additional set of discriminators, we propose a\r\ncompetitive training procedure in which the models only need to capture the\r\nportion of the data distribution from which they can produce realistic samples.\r\nAs a by-product, each model is simpler and faster to train. We empirically show\r\nthat our approach splits the training distribution in a sensible way and\r\nincreases the quality of the generated samples.","lang":"eng"}],"day":"30","author":[{"id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","full_name":"Locatello, Francesco","first_name":"Francesco","orcid":"0000-0002-4850-0683"},{"first_name":"Damien","full_name":"Vincent, Damien","last_name":"Vincent"},{"last_name":"Tolstikhin","first_name":"Ilya","full_name":"Tolstikhin, Ilya"},{"first_name":"Gunnar","full_name":"Rätsch, Gunnar","last_name":"Rätsch"},{"first_name":"Sylvain","full_name":"Gelly, Sylvain","last_name":"Gelly"},{"first_name":"Bernhard","full_name":"Schölkopf, Bernhard","last_name":"Schölkopf"}],"publication_status":"submitted","extern":"1","date_published":"2018-04-30T00:00:00Z","oa":1,"date_created":"2023-09-13T12:20:49Z","month":"04","language":[{"iso":"eng"}],"publication":"arXiv","oa_version":"Preprint","arxiv":1,"doi":"10.48550/arXiv.1804.11130","department":[{"_id":"FrLo"}],"external_id":{"arxiv":["1804.11130"]},"title":"Competitive training of mixtures of independent deep generative models","date_updated":"2023-09-13T12:23:03Z","status":"public","type":"preprint"},{"citation":{"mla":"Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” <i>The EMBO Journal</i>, vol. 37, no. 15, e98044, Wiley, 2018, doi:<a href=\"https://doi.org/10.15252/embj.201798044\">10.15252/embj.201798044</a>.","ista":"Truckenbrodt SM, Viplav A, Jähne S, Vogts A, Denker A, Wildhagen H, Fornasiero E, Rizzoli S. 2018. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 37(15), e98044.","ieee":"S. M. Truckenbrodt <i>et al.</i>, “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” <i>The EMBO Journal</i>, vol. 37, no. 15. Wiley, 2018.","ama":"Truckenbrodt SM, Viplav A, Jähne S, et al. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. <i>The EMBO Journal</i>. 2018;37(15). doi:<a href=\"https://doi.org/10.15252/embj.201798044\">10.15252/embj.201798044</a>","short":"S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).","chicago":"Truckenbrodt, Sven M, Abhiyan Viplav, Sebsatian Jähne, Angela Vogts, Annette Denker, Hanna Wildhagen, Eugenio Fornasiero, and Silvio Rizzoli. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” <i>The EMBO Journal</i>. Wiley, 2018. <a href=\"https://doi.org/10.15252/embj.201798044\">https://doi.org/10.15252/embj.201798044</a>.","apa":"Truckenbrodt, S. M., Viplav, A., Jähne, S., Vogts, A., Denker, A., Wildhagen, H., … Rizzoli, S. (2018). Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. <i>The EMBO Journal</i>. Wiley. <a href=\"https://doi.org/10.15252/embj.201798044\">https://doi.org/10.15252/embj.201798044</a>"},"article_number":"e98044","publication_identifier":{"issn":["0261-4189"]},"article_type":"original","year":"2018","_id":"145","volume":37,"article_processing_charge":"No","day":"01","month":"08","oa":1,"oa_version":"Published Version","ddc":["570"],"author":[{"last_name":"Truckenbrodt","id":"45812BD4-F248-11E8-B48F-1D18A9856A87","first_name":"Sven M","full_name":"Truckenbrodt, Sven M"},{"first_name":"Abhiyan","full_name":"Viplav, Abhiyan","last_name":"Viplav"},{"last_name":"Jähne","first_name":"Sebsatian","full_name":"Jähne, Sebsatian"},{"first_name":"Angela","full_name":"Vogts, Angela","last_name":"Vogts"},{"full_name":"Denker, Annette","first_name":"Annette","last_name":"Denker"},{"last_name":"Wildhagen","full_name":"Wildhagen, Hanna","first_name":"Hanna"},{"first_name":"Eugenio","full_name":"Fornasiero, Eugenio","last_name":"Fornasiero"},{"first_name":"Silvio","full_name":"Rizzoli, Silvio","last_name":"Rizzoli"}],"acknowledgement":"We thank Reinhard Jahn for providing a plasmid for YFP-SNAP25. We thank Erwin Neher for help with the development of the mathematical model of the synaptic vesicle life cycle. We thank Martin Meschkat, Andreas Höbartner, Annedore Punge, and Peer Hoopmann for help with the experiments. We thank Burkhard Rammner for providing the illustrations of synaptic vesicle and protein dynamics. We thank Manuel Maidorn, Martin Helm, and Katharina N. Richter for critically reading the manuscript. S.T. was supported by an Excellence Stipend of the Göttingen Graduate School for Neurosciences, Biophysics, and Molecular Biosciences (GGNB). E.F.F. is a recipient of long-term fellowships from the European Molecular Biology Organization (ALTF_797-2012) and from the Human Frontier Science Program (HFSP_LT000830/2013). The work was supported by grants to S.O.R. from the European Research Council (ERC-2013-CoG NeuroMolAnatomy) and from the Deutsche Forschungsgemeinschaft (Cluster of Excellence Nanoscale Microscopy and Molecular Physiology of the Brain, SFB1190/P09, SFB889/A05, and SFB1286/A03, and DFG RI 1967 7/1). The nanoSIMS instrument was funded by the German Federal Ministry of Education and Research (03F0626A).","issue":"15","date_updated":"2023-09-13T09:02:48Z","status":"public","type":"journal_article","department":[{"_id":"JoDa"}],"external_id":{"isi":["000440416900005"],"pmid":["29950309"]},"quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"        37","pmid":1,"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","date_created":"2018-12-17T14:17:29Z","file_id":"5710","relation":"main_file","file_size":2846470,"file_name":"2018_EMBO_Truckenbrodt.pdf","checksum":"a540feb6c9af6aefc78de531461a8835","access_level":"open_access","creator":"dernst","date_updated":"2020-07-14T12:44:56Z"}],"abstract":[{"text":"Aged proteins can become hazardous to cellular function, by accumulating molecular damage. This implies that cells should preferentially rely on newly produced ones. We tested this hypothesis in cultured hippocampal neurons, focusing on synaptic transmission. We found that newly synthesized vesicle proteins were incorporated in the actively recycling pool of vesicles responsible for all neurotransmitter release during physiological activity. We observed this for the calcium sensor Synaptotagmin 1, for the neurotransmitter transporter VGAT, and for the fusion protein VAMP2 (Synaptobrevin 2). Metabolic labeling of proteins and visualization by secondary ion mass spectrometry enabled us to query the entire protein makeup of the actively recycling vesicles, which we found to be younger than that of non-recycling vesicles. The young vesicle proteins remained in use for up to ~ 24 h, during which they participated in recycling a few hundred times. They were afterward reluctant to release and were degraded after an additional ~ 24–48 h. We suggest that the recycling pool of synaptic vesicles relies on newly synthesized proteins, while the inactive reserve pool contains older proteins.","lang":"eng"}],"date_published":"2018-08-01T00:00:00Z","date_created":"2018-12-11T11:44:52Z","language":[{"iso":"eng"}],"publication":"The EMBO Journal","has_accepted_license":"1","scopus_import":"1","publication_status":"published","isi":1,"publisher":"Wiley","publist_id":"7778","doi":"10.15252/embj.201798044","file_date_updated":"2020-07-14T12:44:56Z","title":"Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission"},{"citation":{"short":"C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.","chicago":"Shi, Chun Lin, Daniel von Wangenheim, Ullrich Herrmann, Mari Wildhagen, Ivan Kulik, Andreas Kopf, Takashi Ishida, et al. “The Dynamics of Root Cap Sloughing in Arabidopsis Is Regulated by Peptide Signalling.” <i>Nature Plants</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41477-018-0212-z\">https://doi.org/10.1038/s41477-018-0212-z</a>.","apa":"Shi, C. L., von Wangenheim, D., Herrmann, U., Wildhagen, M., Kulik, I., Kopf, A., … Aalen, R. B. (2018). The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. <i>Nature Plants</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41477-018-0212-z\">https://doi.org/10.1038/s41477-018-0212-z</a>","ieee":"C. L. Shi <i>et al.</i>, “The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling,” <i>Nature Plants</i>, vol. 4, no. 8. Nature Publishing Group, pp. 596–604, 2018.","ama":"Shi CL, von Wangenheim D, Herrmann U, et al. The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. <i>Nature Plants</i>. 2018;4(8):596-604. doi:<a href=\"https://doi.org/10.1038/s41477-018-0212-z\">10.1038/s41477-018-0212-z</a>","ista":"Shi CL, von Wangenheim D, Herrmann U, Wildhagen M, Kulik I, Kopf A, Ishida T, Olsson V, Anker MK, Albert M, Butenko MA, Felix G, Sawa S, Claassen M, Friml J, Aalen RB. 2018. The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. Nature Plants. 4(8), 596–604.","mla":"Shi, Chun Lin, et al. “The Dynamics of Root Cap Sloughing in Arabidopsis Is Regulated by Peptide Signalling.” <i>Nature Plants</i>, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 596–604, doi:<a href=\"https://doi.org/10.1038/s41477-018-0212-z\">10.1038/s41477-018-0212-z</a>."},"year":"2018","_id":"146","article_type":"original","volume":4,"day":"30","article_processing_charge":"No","oa_version":"Submitted Version","month":"07","oa":1,"issue":"8","author":[{"last_name":"Shi","full_name":"Shi, Chun Lin","first_name":"Chun Lin"},{"id":"49E91952-F248-11E8-B48F-1D18A9856A87","last_name":"Von Wangenheim","full_name":"Von Wangenheim, Daniel","first_name":"Daniel","orcid":"0000-0002-6862-1247"},{"first_name":"Ullrich","full_name":"Herrmann, Ullrich","last_name":"Herrmann"},{"last_name":"Wildhagen","first_name":"Mari","full_name":"Wildhagen, Mari"},{"full_name":"Kulik, Ivan","first_name":"Ivan","id":"F0AB3FCE-02D1-11E9-BD0E-99399A5D3DEB","last_name":"Kulik"},{"last_name":"Kopf","first_name":"Andreas","full_name":"Kopf, Andreas"},{"full_name":"Ishida, Takashi","first_name":"Takashi","last_name":"Ishida"},{"last_name":"Olsson","first_name":"Vilde","full_name":"Olsson, Vilde"},{"first_name":"Mari Kristine","full_name":"Anker, Mari Kristine","last_name":"Anker"},{"last_name":"Albert","full_name":"Albert, Markus","first_name":"Markus"},{"last_name":"Butenko","first_name":"Melinka A","full_name":"Butenko, Melinka A"},{"last_name":"Felix","full_name":"Felix, Georg","first_name":"Georg"},{"last_name":"Sawa","full_name":"Sawa, Shinichiro","first_name":"Shinichiro"},{"last_name":"Claassen","full_name":"Claassen, Manfred","first_name":"Manfred"},{"orcid":"0000-0002-8302-7596","first_name":"Jirí","full_name":"Friml, Jirí","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Aalen","first_name":"Reidunn B","full_name":"Aalen, Reidunn B"}],"ddc":["580"],"type":"journal_article","status":"public","date_updated":"2023-09-19T10:08:45Z","external_id":{"isi":["000443861300016"],"pmid":["30061750"]},"department":[{"_id":"JiFr"}],"related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/new-process-in-root-development-discovered/"}]},"quality_controlled":"1","intvolume":"         4","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"text":"The root cap protects the stem cell niche of angiosperm roots from damage. In Arabidopsis, lateral root cap (LRC) cells covering the meristematic zone are regularly lost through programmed cell death, while the outermost layer of the root cap covering the tip is repeatedly sloughed. Efficient coordination with stem cells producing new layers is needed to maintain a constant size of the cap. We present a signalling pair, the peptide IDA-LIKE1 (IDL1) and its receptor HAESA-LIKE2 (HSL2), mediating such communication. Live imaging over several days characterized this process from initial fractures in LRC cell files to full separation of a layer. Enhanced expression of IDL1 in the separating root cap layers resulted in increased frequency of sloughing, balanced with generation of new layers in a HSL2-dependent manner. Transcriptome analyses linked IDL1-HSL2 signalling to the transcription factors BEARSKIN1/2 and genes associated with programmed cell death. Mutations in either IDL1 or HSL2 slowed down cell division, maturation and separation. Thus, IDL1-HSL2 signalling potentiates dynamic regulation of the homeostatic balance between stem cell division and sloughing activity.","lang":"eng"}],"file":[{"date_updated":"2020-07-14T12:44:56Z","creator":"dernst","checksum":"da33101c76ee1b2dc5ab28fd2ccba9d0","access_level":"open_access","file_id":"7043","file_size":226829,"relation":"main_file","file_name":"2018_NaturePlants_Shi.pdf","content_type":"application/pdf","date_created":"2019-11-18T16:24:07Z"}],"pmid":1,"date_created":"2018-12-11T11:44:52Z","publication":"Nature Plants","language":[{"iso":"eng"}],"date_published":"2018-07-30T00:00:00Z","isi":1,"publication_status":"published","scopus_import":"1","has_accepted_license":"1","publisher":"Nature Publishing Group","publist_id":"7777","title":"The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling","file_date_updated":"2020-07-14T12:44:56Z","page":"596 - 604","doi":"10.1038/s41477-018-0212-z"},{"pmid":1,"abstract":[{"lang":"eng","text":"The trafficking of subcellular cargos in eukaryotic cells crucially depends on vesicle budding, a process mediated by ARF-GEFs (ADP-ribosylation factor guanine nucleotide exchange factors). In plants, ARF-GEFs play essential roles in endocytosis, vacuolar trafficking, recycling, secretion, and polar trafficking. Moreover, they are important for plant development, mainly through controlling the polar subcellular localization of PIN-FORMED (PIN) transporters of the plant hormone auxin. Here, using a chemical genetics screen in Arabidopsis thaliana, we identified Endosidin 4 (ES4), an inhibitor of eukaryotic ARF-GEFs. ES4 acts similarly to and synergistically with the established ARF-GEF inhibitor Brefeldin A and has broad effects on intracellular trafficking, including endocytosis, exocytosis, and vacuolar targeting. Additionally, Arabidopsis and yeast (Sacharomyces cerevisiae) mutants defective in ARF-GEF show altered sensitivity to ES4. ES4 interferes with the activation-based membrane association of the ARF1 GTPases, but not of their mutant variants that are activated independently of ARF-GEF activity. Biochemical approaches and docking simulations confirmed that ES4 specifically targets the SEC7 domain-containing ARF-GEFs. These observations collectively identify ES4 as a chemical tool enabling the study of ARF-GEF-mediated processes, including ARF-GEF-mediated plant development."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"        30","quality_controlled":"1","page":"2553 - 2572","doi":"10.1105/tpc.18.00127","title":"The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes","publist_id":"7776","publisher":"Oxford University Press","isi":1,"scopus_import":"1","publication_status":"published","date_published":"2018-11-12T00:00:00Z","language":[{"iso":"eng"}],"publication":"The Plant Cell","date_created":"2018-12-11T11:44:52Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1105/tpc.18.00127"}],"article_processing_charge":"No","ec_funded":1,"day":"12","project":[{"call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425","grant_number":"282300","name":"Polarity and subcellular dynamics in plants"},{"call_identifier":"H2020","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985"}],"volume":30,"article_type":"original","_id":"147","year":"2018","publication_identifier":{"issn":["1040-4651"]},"citation":{"ista":"Kania U, Nodzyński T, Lu Q, Hicks GR, Nerinckx W, Mishev K, Peurois F, Cherfils J, De RRM, Grones P, Robert S, Russinova E, Friml J. 2018. The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. The Plant Cell. 30(10), 2553–2572.","mla":"Kania, Urszula, et al. “The Inhibitor Endosidin 4 Targets SEC7 Domain-Type ARF GTPase Exchange Factors and Interferes with Sub Cellular Trafficking in Eukaryotes.” <i>The Plant Cell</i>, vol. 30, no. 10, Oxford University Press, 2018, pp. 2553–72, doi:<a href=\"https://doi.org/10.1105/tpc.18.00127\">10.1105/tpc.18.00127</a>.","chicago":"Kania, Urszula, Tomasz Nodzyński, Qing Lu, Glenn R Hicks, Wim Nerinckx, Kiril Mishev, Francois Peurois, et al. “The Inhibitor Endosidin 4 Targets SEC7 Domain-Type ARF GTPase Exchange Factors and Interferes with Sub Cellular Trafficking in Eukaryotes.” <i>The Plant Cell</i>. Oxford University Press, 2018. <a href=\"https://doi.org/10.1105/tpc.18.00127\">https://doi.org/10.1105/tpc.18.00127</a>.","short":"U. Kania, T. Nodzyński, Q. Lu, G.R. Hicks, W. Nerinckx, K. Mishev, F. Peurois, J. Cherfils, R.R.M. De, P. Grones, S. Robert, E. Russinova, J. Friml, The Plant Cell 30 (2018) 2553–2572.","apa":"Kania, U., Nodzyński, T., Lu, Q., Hicks, G. R., Nerinckx, W., Mishev, K., … Friml, J. (2018). The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. <i>The Plant Cell</i>. Oxford University Press. <a href=\"https://doi.org/10.1105/tpc.18.00127\">https://doi.org/10.1105/tpc.18.00127</a>","ama":"Kania U, Nodzyński T, Lu Q, et al. The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. <i>The Plant Cell</i>. 2018;30(10):2553-2572. doi:<a href=\"https://doi.org/10.1105/tpc.18.00127\">10.1105/tpc.18.00127</a>","ieee":"U. Kania <i>et al.</i>, “The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes,” <i>The Plant Cell</i>, vol. 30, no. 10. Oxford University Press, pp. 2553–2572, 2018."},"department":[{"_id":"JiFr"}],"external_id":{"pmid":["30018156"],"isi":["000450000500023"]},"status":"public","date_updated":"2025-05-07T11:12:30Z","type":"journal_article","author":[{"last_name":"Kania","id":"4AE5C486-F248-11E8-B48F-1D18A9856A87","first_name":"Urszula","full_name":"Kania, Urszula"},{"first_name":"Tomasz","full_name":"Nodzyński, Tomasz","last_name":"Nodzyński"},{"first_name":"Qing","full_name":"Lu, Qing","last_name":"Lu"},{"last_name":"Hicks","full_name":"Hicks, Glenn R","first_name":"Glenn R"},{"first_name":"Wim","full_name":"Nerinckx, Wim","last_name":"Nerinckx"},{"last_name":"Mishev","first_name":"Kiril","full_name":"Mishev, Kiril"},{"last_name":"Peurois","full_name":"Peurois, Francois","first_name":"Francois"},{"full_name":"Cherfils, Jacqueline","first_name":"Jacqueline","last_name":"Cherfils"},{"last_name":"De","first_name":"Rycke Riet Maria","full_name":"De, Rycke Riet Maria"},{"id":"399876EC-F248-11E8-B48F-1D18A9856A87","last_name":"Grones","full_name":"Grones, Peter","first_name":"Peter"},{"first_name":"Stéphanie","full_name":"Robert, Stéphanie","last_name":"Robert"},{"last_name":"Russinova","full_name":"Russinova, Eugenia","first_name":"Eugenia"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jirí","first_name":"Jirí","orcid":"0000-0002-8302-7596"}],"acknowledgement":"We thank Gerd Jürgens, Sandra Richter, and Sheng Yang He for providing antibodies; Maciek Adamowski, Fernando Aniento, Sebastian Bednarek, Nico Callewaert, Matyás Fendrych, Elena Feraru, and Mugurel I. Feraru for helpful suggestions; Siamsa Doyle for critical reading of the manuscript and helpful comments and suggestions; and Stephanie Smith and Martine De Cock for help in editing and language corrections. We acknowledge the core facility Cellular Imaging of CEITEC supported by the Czech-BioImaging large RI project (LM2015062 funded by MEYS CR) for their support with obtaining scientific data presented in this article. Plant Sciences Core Facility of CEITEC Masaryk University is gratefully acknowledged for obtaining part of the scientific data presented in this article. We acknowledge support from the Fondation pour la Recherche Médicale and from the Institut National du Cancer (J.C.). The research leading to these results was funded by the European Research Council under the European Union's 7th Framework Program (FP7/2007-2013)/ERC grant agreement numbers 282300 and 742985 and the Czech Science Foundation GAČR (GA18-26981S; J.F.); Ministry of Education, Youth, and Sports/MEYS of the Czech Republic under the Project CEITEC 2020 (LQ1601; T.N.); the China Science Council for a predoctoral fellowship (Q.L.); a joint research project within the framework of cooperation between the Research Foundation-Flanders and the Bulgarian Academy of Sciences (VS.025.13N; K.M. and E.R.); Vetenskapsrådet and Vinnova (Verket för Innovationssystem; S.R.), Knut och Alice Wallenbergs Stiftelse via “Shapesystem” Grant 2012.0050 (S.R.), Kempe stiftelserna (P.G.), Tryggers CTS410 (P.G.).","issue":"10","oa_version":"Published Version","month":"11","oa":1},{"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"abstract":[{"lang":"eng","text":"The whole life cycle of plants as well as their responses to environmental stimuli is governed by a complex network of hormonal regulations. A number of studies have demonstrated an essential role of both auxin and cytokinin in the regulation of many aspects of plant growth and development including embryogenesis, postembryonic organogenic processes such as root, and shoot branching, root and shoot apical meristem activity and phyllotaxis. Over the last decades essential knowledge on the key molecular factors and pathways that spatio-temporally define auxin and cytokinin activities in the plant body has accumulated. However, how both hormonal pathways are interconnected by a complex network of interactions and feedback circuits that determines the final outcome of the individual hormone actions is still largely unknown. Root system architecture establishment and in particular formation of lateral organs is prime example of developmental process at whose regulation both auxin and cytokinin pathways converge. To dissect convergence points and pathways that tightly balance auxin - cytokinin antagonistic activities that determine the root branching pattern transcriptome profiling was applied. Genome wide expression analyses of the xylem pole pericycle, a tissue giving rise to lateral roots, led to identification of genes that are highly responsive to combinatorial auxin and cytokinin treatments and play an essential function in the auxin-cytokinin regulated root branching. SYNERGISTIC AUXIN CYTOKININ 1 (SYAC1) gene, which encodes for a protein of unknown function, was detected among the top candidate genes of which expression was synergistically up-regulated by simultaneous hormonal treatment. Plants with modulated SYAC1 activity exhibit severe defects in the root system establishment and attenuate developmental responses to both auxin and cytokinin. To explore the biological function of the SYAC1, we employed different strategies including expression pattern analysis, subcellular localization and phenotypic analyses of the syac1 loss-of-function and gain-of-function transgenic lines along with the identification of the SYAC1 interaction partners. Detailed functional characterization revealed that SYAC1 acts as a developmentally specific regulator of the secretory pathway to control deposition of cell wall components and thereby rapidly fine tune elongation growth."}],"file":[{"date_created":"2019-04-05T09:37:56Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","embargo_to":"open_access","file_name":"2018_Hurny_thesis_source.docx","relation":"source_file","file_id":"6226","file_size":28112114,"access_level":"closed","checksum":"0c9d6d1c80d9857e6e545213467bbcb2","creator":"dernst","date_updated":"2020-12-02T23:30:08Z"},{"access_level":"open_access","checksum":"ecbe481a1413d270bd501b872c7ed54f","file_id":"6227","file_size":12524427,"relation":"main_file","file_name":"2018_Hurny_thesis.pdf","embargo":"2019-07-10","date_updated":"2020-12-02T09:52:16Z","creator":"dernst","content_type":"application/pdf","date_created":"2019-04-05T09:37:55Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","pubrep_id":"930","doi":"10.15479/AT:ISTA:th_930","page":"147","supervisor":[{"id":"38F4F166-F248-11E8-B48F-1D18A9856A87","last_name":"Benková","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","first_name":"Eva"}],"file_date_updated":"2020-12-02T23:30:08Z","title":"Identification and characterization of novel auxin-cytokinin cross-talk components","publist_id":"7277","publisher":"Institute of Science and Technology Austria","has_accepted_license":"1","publication_status":"published","date_published":"2018-01-01T00:00:00Z","degree_awarded":"PhD","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:47:03Z","article_processing_charge":"No","day":"01","alternative_title":["ISTA Thesis"],"year":"2018","_id":"539","publication_identifier":{"issn":["2663-337X"]},"citation":{"short":"A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.","chicago":"Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:th_930\">https://doi.org/10.15479/AT:ISTA:th_930</a>.","apa":"Hurny, A. (2018). <i>Identification and characterization of novel auxin-cytokinin cross-talk components</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_930\">https://doi.org/10.15479/AT:ISTA:th_930</a>","ama":"Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk components. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_930\">10.15479/AT:ISTA:th_930</a>","ieee":"A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” Institute of Science and Technology Austria, 2018.","ista":"Hurny A. 2018. Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria.","mla":"Hurny, Andrej. <i>Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_930\">10.15479/AT:ISTA:th_930</a>."},"department":[{"_id":"EvBe"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"1024","status":"public"}]},"status":"public","date_updated":"2023-09-07T12:41:06Z","type":"dissertation","author":[{"last_name":"Hurny","id":"4DC4AF46-F248-11E8-B48F-1D18A9856A87","first_name":"Andrej","orcid":"0000-0003-3638-1426","full_name":"Hurny, Andrej"}],"ddc":["570"],"oa_version":"Published Version","oa":1,"month":"01"},{"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","date_created":"2018-12-12T10:15:14Z","checksum":"2123845e7031a0cf043905be160f9e69","access_level":"open_access","file_name":"IST-2018-1058-v1+1_365.full__1_.pdf","file_size":1311661,"file_id":"5132","relation":"main_file","date_updated":"2020-07-14T12:46:50Z","creator":"system"}],"abstract":[{"text":"The t-haplotype, a mouse meiotic driver found on chromosome 17, has been a model for autosomal segregation distortion for close to a century, but several questions remain regarding its biology and evolutionary history. A recently published set of population genomics resources for wild mice includes several individuals heterozygous for the t-haplotype, which we use to characterize this selfish element at the genomic and transcriptomic level. Our results show that large sections of the t-haplotype have been replaced by standard homologous sequences, possibly due to occasional events of recombination, and that this complicates the inference of its history. As expected for a long genomic segment of very low recombination, the t-haplotype carries an excess of fixed nonsynonymous mutations compared to the standard chromosome. This excess is stronger for regions that have not undergone recent recombination, suggesting that occasional gene flow between the t and the standard chromosome may provide a mechanism to regenerate coding sequences that have accumulated deleterious mutations. Finally, we find that t-complex genes with altered expression largely overlap with deleted or amplified regions, and that carrying a t-haplotype alters the testis expression of genes outside of the t-complex, providing new leads into the pathways involved in the biology of this segregation distorter.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"       208","quality_controlled":"1","doi":"10.1534/genetics.117.300513","page":"365 - 375","pubrep_id":"1058","title":"Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver","file_date_updated":"2020-07-14T12:46:50Z","publisher":"Genetics Society of America","publist_id":"7274","has_accepted_license":"1","scopus_import":"1","publication_status":"published","isi":1,"date_published":"2018-01-01T00:00:00Z","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:47:04Z","publication":"Genetics","article_processing_charge":"No","day":"01","ec_funded":1,"volume":208,"project":[{"call_identifier":"H2020","grant_number":"715257","_id":"250BDE62-B435-11E9-9278-68D0E5697425","name":"Prevalence and Influence of Sexual Antagonism on Genome Evolution"}],"article_type":"original","year":"2018","_id":"542","citation":{"chicago":"Kelemen, Réka K, and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” <i>Genetics</i>. Genetics Society of America, 2018. <a href=\"https://doi.org/10.1534/genetics.117.300513\">https://doi.org/10.1534/genetics.117.300513</a>.","short":"R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.","apa":"Kelemen, R. K., &#38; Vicoso, B. (2018). Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.117.300513\">https://doi.org/10.1534/genetics.117.300513</a>","ieee":"R. K. Kelemen and B. Vicoso, “Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver,” <i>Genetics</i>, vol. 208, no. 1. Genetics Society of America, pp. 365–375, 2018.","ama":"Kelemen RK, Vicoso B. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. <i>Genetics</i>. 2018;208(1):365-375. doi:<a href=\"https://doi.org/10.1534/genetics.117.300513\">10.1534/genetics.117.300513</a>","ista":"Kelemen RK, Vicoso B. 2018. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. 208(1), 365–375.","mla":"Kelemen, Réka K., and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” <i>Genetics</i>, vol. 208, no. 1, Genetics Society of America, 2018, pp. 365–75, doi:<a href=\"https://doi.org/10.1534/genetics.117.300513\">10.1534/genetics.117.300513</a>."},"related_material":{"record":[{"status":"public","id":"5571","relation":"popular_science"},{"id":"5572","relation":"popular_science","status":"public"}]},"department":[{"_id":"BeVi"}],"external_id":{"isi":["000419356300024"]},"date_updated":"2024-02-21T13:48:27Z","status":"public","type":"journal_article","ddc":["576"],"author":[{"first_name":"Réka K","orcid":"0000-0002-8489-9281","full_name":"Kelemen, Réka K","last_name":"Kelemen","id":"48D3F8DE-F248-11E8-B48F-1D18A9856A87"},{"id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306","first_name":"Beatriz"}],"issue":"1","oa":1,"month":"01","oa_version":"Published Version"},{"title":"Toward a unified theory of efficient, predictive, and sparse coding","page":"186 - 191","doi":"10.1073/pnas.1711114115","publist_id":"7273","publisher":"National Academy of Sciences","scopus_import":"1","publication_status":"published","isi":1,"date_created":"2018-12-11T11:47:04Z","publication":"PNAS","language":[{"iso":"eng"}],"date_published":"2018-01-02T00:00:00Z","abstract":[{"text":"A central goal in theoretical neuroscience is to predict the response properties of sensory neurons from first principles. To this end, “efficient coding” posits that sensory neurons encode maximal information about their inputs given internal constraints. There exist, however, many variants of efficient coding (e.g., redundancy reduction, different formulations of predictive coding, robust coding, sparse coding, etc.), differing in their regimes of applicability, in the relevance of signals to be encoded, and in the choice of constraints. It is unclear how these types of efficient coding relate or what is expected when different coding objectives are combined. Here we present a unified framework that encompasses previously proposed efficient coding models and extends to unique regimes. We show that optimizing neural responses to encode predictive information can lead them to either correlate or decorrelate their inputs, depending on the stimulus statistics; in contrast, at low noise, efficiently encoding the past always predicts decorrelation. Later, we investigate coding of naturalistic movies and show that qualitatively different types of visual motion tuning and levels of response sparsity are predicted, depending on whether the objective is to recover the past or predict the future. Our approach promises a way to explain the observed diversity of sensory neural responses, as due to multiple functional goals and constraints fulfilled by different cell types and/or circuits.","lang":"eng"}],"intvolume":"       115","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1","external_id":{"isi":["000419128700049"]},"department":[{"_id":"GaTk"}],"type":"journal_article","date_updated":"2023-09-19T10:16:35Z","status":"public","issue":"1","author":[{"orcid":"0000-0001-7782-4436","first_name":"Matthew J","full_name":"Chalk, Matthew J","last_name":"Chalk","id":"2BAAC544-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Marre, Olivier","first_name":"Olivier","last_name":"Marre"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik","full_name":"Tkacik, Gasper","first_name":"Gasper","orcid":"0000-0002-6699-1455"}],"oa":1,"month":"01","oa_version":"Submitted Version","day":"02","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/152660 "}],"article_processing_charge":"No","volume":115,"project":[{"name":"Sensitivity to higher-order statistics in natural scenes","grant_number":"P 25651-N26","_id":"254D1A94-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"_id":"543","year":"2018","citation":{"ista":"Chalk MJ, Marre O, Tkačik G. 2018. Toward a unified theory of efficient, predictive, and sparse coding. PNAS. 115(1), 186–191.","mla":"Chalk, Matthew J., et al. “Toward a Unified Theory of Efficient, Predictive, and Sparse Coding.” <i>PNAS</i>, vol. 115, no. 1, National Academy of Sciences, 2018, pp. 186–91, doi:<a href=\"https://doi.org/10.1073/pnas.1711114115\">10.1073/pnas.1711114115</a>.","chicago":"Chalk, Matthew J, Olivier Marre, and Gašper Tkačik. “Toward a Unified Theory of Efficient, Predictive, and Sparse Coding.” <i>PNAS</i>. National Academy of Sciences, 2018. <a href=\"https://doi.org/10.1073/pnas.1711114115\">https://doi.org/10.1073/pnas.1711114115</a>.","short":"M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.","apa":"Chalk, M. J., Marre, O., &#38; Tkačik, G. (2018). Toward a unified theory of efficient, predictive, and sparse coding. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1711114115\">https://doi.org/10.1073/pnas.1711114115</a>","ama":"Chalk MJ, Marre O, Tkačik G. Toward a unified theory of efficient, predictive, and sparse coding. <i>PNAS</i>. 2018;115(1):186-191. doi:<a href=\"https://doi.org/10.1073/pnas.1711114115\">10.1073/pnas.1711114115</a>","ieee":"M. J. Chalk, O. Marre, and G. Tkačik, “Toward a unified theory of efficient, predictive, and sparse coding,” <i>PNAS</i>, vol. 115, no. 1. National Academy of Sciences, pp. 186–191, 2018."}}]