[{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000587604600044"]},"author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","full_name":"Koval, Nikita","last_name":"Koval","first_name":"Nikita"},{"full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","last_name":"Alistarh"},{"full_name":"Elizarov, Roman","last_name":"Elizarov","first_name":"Roman"}],"citation":{"ieee":"N. Koval, D.-A. Alistarh, and R. Elizarov, <i>Lock-free channels for programming via communicating sequential processes</i>. ACM Press, 2019, pp. 417–418.","ama":"Koval N, Alistarh D-A, Elizarov R. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. ACM Press; 2019:417-418. doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>","ista":"Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM Press,p.","chicago":"Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>. ACM Press, 2019. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>.","apa":"Koval, N., Alistarh, D.-A., &#38; Elizarov, R. (2019). <i>Lock-free channels for programming via communicating sequential processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i> (pp. 417–418). Washington, NY, United States: ACM Press. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>","short":"N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.","mla":"Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>, ACM Press, 2019, pp. 417–18, doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>."},"oa_version":"None","date_updated":"2023-08-25T10:41:20Z","department":[{"_id":"DaAl"}],"quality_controlled":"1","article_processing_charge":"No","title":"Lock-free channels for programming via communicating sequential processes","date_published":"2019-02-01T00:00:00Z","publisher":"ACM Press","language":[{"iso":"eng"}],"isi":1,"abstract":[{"lang":"eng","text":"Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous channelis the common abstraction for communication between several processes, where senders and receivers perform a rendezvous handshake as a part of their protocol (senders wait for receivers and vice versa). Additionally to this, channels support the select expression. In this work, we present the first efficient lock-free channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations."}],"publication_status":"published","month":"02","doi":"10.1145/3293883.3297000","page":"417-418","publication_identifier":{"isbn":["9781450362252"]},"status":"public","year":"2019","day":"01","type":"conference_poster","_id":"6485","date_created":"2019-05-24T10:09:12Z","publication":"Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming","conference":{"location":"Washington, NY, United States","name":"PPoPP: Principles and Practice of Parallel Programming","end_date":"2019-02-20","start_date":"2019-02-16"}},{"oa_version":"Preprint","quality_controlled":"1","project":[{"name":"Decoding the complexity of turbulence at its origin","grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"author":[{"id":"3A47AE32-F248-11E8-B48F-1D18A9856A87","full_name":"Kühnen, Jakob","last_name":"Kühnen","first_name":"Jakob","orcid":"0000-0003-4312-0179"},{"orcid":"0000-0001-5227-4271","last_name":"Scarselli","first_name":"Davide","full_name":"Scarselli, Davide","id":"40315C30-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-2057-2754","first_name":"Björn","last_name":"Hof","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"issue":"11","article_number":"111105","month":"11","article_processing_charge":"No","acknowledged_ssus":[{"_id":"M-Shop"}],"volume":141,"language":[{"iso":"eng"}],"_id":"6486","type":"journal_article","article_type":"original","date_created":"2019-05-26T21:59:13Z","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1809.07625"}],"publication_identifier":{"eissn":["1528901X"],"issn":["00982202"]},"ec_funded":1,"citation":{"mla":"Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” <i>Journal of Fluids Engineering</i>, vol. 141, no. 11, 111105, ASME, 2019, doi:<a href=\"https://doi.org/10.1115/1.4043494\">10.1115/1.4043494</a>.","short":"J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).","ista":"Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.","chicago":"Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” <i>Journal of Fluids Engineering</i>. ASME, 2019. <a href=\"https://doi.org/10.1115/1.4043494\">https://doi.org/10.1115/1.4043494</a>.","ama":"Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. <i>Journal of Fluids Engineering</i>. 2019;141(11). doi:<a href=\"https://doi.org/10.1115/1.4043494\">10.1115/1.4043494</a>","apa":"Kühnen, J., Scarselli, D., &#38; Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. <i>Journal of Fluids Engineering</i>. ASME. <a href=\"https://doi.org/10.1115/1.4043494\">https://doi.org/10.1115/1.4043494</a>","ieee":"J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means of 3D-printed shaped honeycombs,” <i>Journal of Fluids Engineering</i>, vol. 141, no. 11. ASME, 2019."},"date_updated":"2024-03-25T23:30:20Z","department":[{"_id":"BjHo"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"arxiv":["1809.07625"],"isi":["000487748600005"]},"isi":1,"abstract":[{"lang":"eng","text":"Based on a novel control scheme, where a steady modification of the streamwise velocity profile leads to complete relaminarization of initially fully turbulent pipe flow, we investigate the applicability and usefulness of custom-shaped honeycombs for such control. The custom-shaped honeycombs are used as stationary flow management devices which generate specific modifications of the streamwise velocity profile. Stereoscopic particle image velocimetry and pressure drop measurements are used to investigate and capture the development of the relaminarizing flow downstream these devices. We compare the performance of straight (constant length across the radius of the pipe) honeycombs with custom-shaped ones (variable length across the radius) and try to determine the optimal shape for maximal relaminarization at minimal pressure loss. The optimally modified streamwise velocity profile is found to be M-shaped, and the maximum attainable Reynolds number for total relaminarization is found to be of the order of 10,000. Consequently, the respective reduction in skin friction downstream of the device is almost by a factor of 5. The break-even point, where the additional pressure drop caused by the device is balanced by the savings due to relaminarization and a net gain is obtained, corresponds to a downstream stretch of distances as low as approximately 100 pipe diameters of laminar flow."}],"publication_status":"published","title":"Relaminarization of pipe flow by means of 3D-printed shaped honeycombs","date_published":"2019-11-01T00:00:00Z","publisher":"ASME","oa":1,"day":"01","doi":"10.1115/1.4043494","year":"2019","related_material":{"record":[{"id":"7258","relation":"dissertation_contains","status":"public"}]},"scopus_import":"1","publication":"Journal of Fluids Engineering","intvolume":"       141","arxiv":1},{"conference":{"end_date":"2019-04-12","start_date":"2019-04-08","location":"Limassol, Cyprus","name":"SAC: Symposium on Applied Computing"},"pubrep_id":"1070","status":"public","publication_identifier":{"isbn":["9781450359337"]},"type":"conference","_id":"6490","date_created":"2019-05-26T21:59:15Z","article_processing_charge":"No","volume":"Part F147772","language":[{"iso":"eng"}],"file":[{"file_name":"2019_ACM_Chatterjee.pdf","content_type":"application/pdf","date_created":"2020-05-14T09:50:11Z","date_updated":"2020-07-14T12:47:32Z","file_id":"7827","checksum":"dddc20f6d9881f23b8755eb720ec9d6f","creator":"dernst","access_level":"open_access","file_size":6937138,"relation":"main_file"}],"has_accepted_license":"1","month":"04","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584","last_name":"Goharshady","first_name":"Amir Kafshdar"},{"last_name":"Goharshady","first_name":"Ehsan Kafshdar","full_name":"Goharshady, Ehsan Kafshdar"}],"oa_version":"Submitted Version","quality_controlled":"1","publication":"Proceedings of the 34th ACM Symposium on Applied Computing","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8934"}]},"scopus_import":"1","day":"01","doi":"10.1145/3297280.3297322","page":"400-408","year":"2019","oa":1,"title":"The treewidth of smart contracts","file_date_updated":"2020-07-14T12:47:32Z","date_published":"2019-04-01T00:00:00Z","publisher":"ACM","ddc":["000"],"isi":1,"abstract":[{"lang":"eng","text":"Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money (cryptocurrency units). Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars and their code is immutable after deployment. Hence, an undetected bug can cause significant financial losses. Compiler optimization is also crucial, because every action of a smart contract has to be executed by every node in the Blockchain network. Therefore, optimizations in compiling smart contracts can lead to significant savings in computation, time and energy.\r\n\r\nTwo classical approaches in program analysis and compiler optimization are intraprocedural and interprocedural analysis. In intraprocedural analysis, each function is analyzed separately, while interprocedural analysis considers the entire program. In both cases, the analyses are usually reduced to graph problems over the control flow graph (CFG) of the program. These graph problems are often computationally expensive. Hence, there has been ample research on exploiting structural properties of CFGs for efficient algorithms. One such well-studied property is the treewidth, which is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs of structured programs have treewidth at most 6, whereas the interprocedural treewidth cannot be bounded. This result has been used as a basis for many efficient intraprocedural analyses.\r\n\r\nIn this paper, we explore the idea of exploiting the treewidth of smart contracts for formal analysis and compiler optimization. First, similar to classical programs, we show that the intraprocedural treewidth of structured Solidity and Vyper smart contracts is at most 9. Second, for global analysis, we prove that the interprocedural treewidth of structured smart contracts is bounded by 10 and, in sharp contrast with classical programs, treewidth-based algorithms can be easily applied for interprocedural analysis. Finally, we supplement our theoretical results with experiments using a tool we implemented for computing treewidth of smart contracts and show that the treewidth is much lower in practice. We use 36,764 real-world Ethereum smart contracts as benchmarks and find that they have an average treewidth of at most 3.35 for the intraprocedural case and 3.65 for the interprocedural case.\r\n"}],"publication_status":"submitted","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000474685800052"]},"citation":{"mla":"Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, vol. Part F147772, ACM, pp. 400–08, doi:<a href=\"https://doi.org/10.1145/3297280.3297322\">10.1145/3297280.3297322</a>.","short":"K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.","ieee":"K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, Limassol, Cyprus, vol. Part F147772, pp. 400–408.","apa":"Chatterjee, K., Goharshady, A. K., &#38; Goharshady, E. K. (n.d.). The treewidth of smart contracts. In <i>Proceedings of the 34th ACM Symposium on Applied Computing</i> (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. <a href=\"https://doi.org/10.1145/3297280.3297322\">https://doi.org/10.1145/3297280.3297322</a>","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, Part F147772:400–408. ACM, n.d. <a href=\"https://doi.org/10.1145/3297280.3297322\">https://doi.org/10.1145/3297280.3297322</a>.","ista":"Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on Applied Computing vol. Part F147772, 400–408.","ama":"Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>. Vol Part F147772. ACM; :400-408. doi:<a href=\"https://doi.org/10.1145/3297280.3297322\">10.1145/3297280.3297322</a>"},"date_updated":"2024-03-25T23:30:18Z","department":[{"_id":"KrCh"}]},{"file":[{"relation":"main_file","creator":"dernst","file_id":"6817","checksum":"1f1d61b83a151031745ef70a501da3d6","file_size":674795,"access_level":"open_access","content_type":"application/pdf","date_updated":"2020-07-14T12:47:32Z","date_created":"2019-08-14T11:05:30Z","file_name":"2019_CAV_GarciaSoto.pdf"}],"has_accepted_license":"1","month":"07","article_processing_charge":"No","volume":11561,"language":[{"iso":"eng"}],"oa_version":"Published Version","project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"quality_controlled":"1","author":[{"orcid":"0000−0003−2936−5719","last_name":"Garcia Soto","first_name":"Miriam","full_name":"Garcia Soto, Miriam","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"orcid":"0000-0003-3658-1065","first_name":"Christian","last_name":"Schilling","full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Luka","last_name":"Zeleznik","full_name":"Zeleznik, Luka","id":"3ADCA2E4-F248-11E8-B48F-1D18A9856A87"}],"ec_funded":1,"conference":{"name":"CAV: Computer-Aided Verification","location":"New York City, NY, USA","end_date":"2019-07-18","start_date":"2019-07-15"},"_id":"6493","type":"conference","date_created":"2019-05-27T07:09:53Z","publication_identifier":{"isbn":["9783030255398"],"issn":["0302-9743"]},"license":"https://creativecommons.org/licenses/by/4.0/","status":"public","ddc":["000"],"isi":1,"abstract":[{"lang":"eng","text":"We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements."}],"publication_status":"published","title":"Membership-based synthesis of linear hybrid automata","date_published":"2019-07-12T00:00:00Z","file_date_updated":"2020-07-14T12:47:32Z","publisher":"Springer","citation":{"ista":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.","chicago":"Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In <i>31st International Conference on Computer-Aided Verification</i>, 11561:297–314. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>.","ama":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: <i>31st International Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:297-314. doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>","apa":"Garcia Soto, M., Henzinger, T. A., Schilling, C., &#38; Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In <i>31st International Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>","ieee":"M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in <i>31st International Conference on Computer-Aided Verification</i>, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.","mla":"Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561, Springer, 2019, pp. 297–314, doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>.","short":"M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314."},"date_updated":"2023-08-25T10:40:41Z","department":[{"_id":"ToHe"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000491468000016"]},"alternative_title":["LNCS"],"scopus_import":"1","keyword":["Synthesis","Linear hybrid automaton","Membership"],"publication":"31st International Conference on Computer-Aided Verification","intvolume":"     11561","oa":1,"year":"2019","page":"297-314","doi":"10.1007/978-3-030-25540-4_16","day":"12"},{"isi":1,"publication_status":"published","abstract":[{"lang":"eng","text":"We provide an entropy formulation for porous medium-type equations with a stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction is obtained in the class of entropy solutions. Our scope allows for porous medium operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity with exponent 1/2."}],"title":"Entropy solutions for stochastic porous media equations","date_published":"2019-03-05T00:00:00Z","publisher":"Elsevier","citation":{"ieee":"K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” <i>Journal of Differential Equations</i>, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.","ista":"Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 266(6), 3732–3763.","ama":"Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. 2019;266(6):3732-3763. doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>","chicago":"Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>.","apa":"Dareiotis, K., Gerencser, M., &#38; Gess, B. (2019). Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>","short":"K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.","mla":"Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>, vol. 266, no. 6, Elsevier, 2019, pp. 3732–63, doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>."},"department":[{"_id":"JaMa"}],"date_updated":"2023-08-24T14:30:16Z","external_id":{"isi":["000456332500026"],"arxiv":["1803.06953"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","scopus_import":"1","publication":"Journal of Differential Equations","publist_id":"7989","arxiv":1,"intvolume":"       266","oa":1,"day":"5","doi":"10.1016/j.jde.2018.09.012","page":"3732-3763","year":"2019","issue":"6","month":"03","volume":266,"article_processing_charge":"No","language":[{"iso":"eng"}],"oa_version":"Preprint","quality_controlled":"1","author":[{"full_name":"Dareiotis, Konstantinos","last_name":"Dareiotis","first_name":"Konstantinos"},{"id":"44ECEDF2-F248-11E8-B48F-1D18A9856A87","full_name":"Gerencser, Mate","first_name":"Mate","last_name":"Gerencser"},{"full_name":"Gess, Benjamin","first_name":"Benjamin","last_name":"Gess"}],"article_type":"original","type":"journal_article","_id":"65","date_created":"2018-12-11T11:44:26Z","status":"public","main_file_link":[{"url":"http://arxiv.org/abs/1803.06953","open_access":"1"}]},{"citation":{"short":"Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.","mla":"Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.” <i>New Phytologist</i>, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:<a href=\"https://doi.org/10.1111/nph.15932\">10.1111/nph.15932</a>.","apa":"Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated statolith production for root gravitropism. <i>New Phytologist</i>. Wiley. <a href=\"https://doi.org/10.1111/nph.15932\">https://doi.org/10.1111/nph.15932</a>","chicago":"Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jiří Friml, and G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.” <i>New Phytologist</i>. Wiley, 2019. <a href=\"https://doi.org/10.1111/nph.15932\">https://doi.org/10.1111/nph.15932</a>.","ista":"Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019. Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2), 761–774.","ama":"Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism. <i>New Phytologist</i>. 2019;224(2):761-774. doi:<a href=\"https://doi.org/10.1111/nph.15932\">10.1111/nph.15932</a>","ieee":"Y. Zhang <i>et al.</i>, “Auxin-mediated statolith production for root gravitropism,” <i>New Phytologist</i>, vol. 224, no. 2. Wiley, pp. 761–774, 2019."},"date_updated":"2023-08-28T08:40:13Z","department":[{"_id":"JiFr"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"pmid":["31111487"],"isi":["000487184200024"]},"ddc":["580"],"isi":1,"abstract":[{"text":"Root gravitropism is one of the most important processes allowing plant adaptation to the land environment. Auxin plays a central role in mediating root gravitropism, but how auxin contributes to gravitational perception and the subsequent response is still unclear.\r\n\r\nHere, we showed that the local auxin maximum/gradient within the root apex, which is generated by the PIN directional auxin transporters, regulates the expression of three key starch granule synthesis genes, SS4, PGM and ADG1, which in turn influence the accumulation of starch granules that serve as a statolith perceiving gravity.\r\n\r\nMoreover, using the cvxIAA‐ccvTIR1 system, we also showed that TIR1‐mediated auxin signaling is required for starch granule formation and gravitropic response within root tips. In addition, axr3 mutants showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism within the root apex.\r\n\r\nOur results indicate that auxin‐mediated statolith production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary, we propose a dual role for auxin in gravitropism: the regulation of both gravity perception and response.","lang":"eng"}],"publication_status":"published","title":"Auxin-mediated statolith production for root gravitropism","date_published":"2019-10-01T00:00:00Z","publisher":"Wiley","file_date_updated":"2020-10-14T08:59:33Z","pmid":1,"oa":1,"day":"01","doi":"10.1111/nph.15932","page":"761-774","year":"2019","scopus_import":"1","publication":"New Phytologist","intvolume":"       224","oa_version":"Submitted Version","quality_controlled":"1","author":[{"first_name":"Yuzhou","last_name":"Zhang","orcid":"0000-0003-2627-6956","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","full_name":"Zhang, Yuzhou"},{"last_name":"He","first_name":"P","full_name":"He, P"},{"full_name":"Ma, X","first_name":"X","last_name":"Ma"},{"last_name":"Yang","first_name":"Z","full_name":"Yang, Z"},{"full_name":"Pang, C","first_name":"C","last_name":"Pang"},{"full_name":"Yu, J","last_name":"Yu","first_name":"J"},{"last_name":"Wang","first_name":"G","full_name":"Wang, G"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","last_name":"Friml","first_name":"Jiří","orcid":"0000-0002-8302-7596"},{"full_name":"Xiao, G","first_name":"G","last_name":"Xiao"}],"issue":"2","file":[{"file_name":"2019_NewPhytologist_Zhang_accepted.pdf","date_updated":"2020-10-14T08:59:33Z","date_created":"2020-10-14T08:59:33Z","content_type":"application/pdf","file_size":1099061,"access_level":"open_access","creator":"dernst","file_id":"8661","checksum":"6488243334538f5c39099a701cbf76b9","success":1,"relation":"main_file"}],"has_accepted_license":"1","month":"10","article_processing_charge":"No","volume":224,"language":[{"iso":"eng"}],"_id":"6504","type":"journal_article","article_type":"original","date_created":"2019-05-28T14:33:26Z","status":"public","publication_identifier":{"eissn":["1469-8137"],"issn":["0028-646x"]}},{"date_updated":"2023-08-28T08:39:47Z","department":[{"_id":"FyKo"}],"citation":{"ieee":"L. Noda-García <i>et al.</i>, “Chance and pleiotropy dominate genetic diversity in complex bacterial environments,” <i>Nature Microbiology</i>, vol. 4, no. 7. Springer Nature, pp. 1221–1230, 2019.","apa":"Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni, A., &#38; Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity in complex bacterial environments. <i>Nature Microbiology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41564-019-0412-y\">https://doi.org/10.1038/s41564-019-0412-y</a>","chicago":"Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” <i>Nature Microbiology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41564-019-0412-y\">https://doi.org/10.1038/s41564-019-0412-y</a>.","ama":"Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. <i>Nature Microbiology</i>. 2019;4(7):1221–1230. doi:<a href=\"https://doi.org/10.1038/s41564-019-0412-y\">10.1038/s41564-019-0412-y</a>","ista":"Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.","short":"L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.","mla":"Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” <i>Nature Microbiology</i>, vol. 4, no. 7, Springer Nature, 2019, pp. 1221–1230, doi:<a href=\"https://doi.org/10.1038/s41564-019-0412-y\">10.1038/s41564-019-0412-y</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000480348200017"]},"abstract":[{"lang":"eng","text":"How does environmental complexity affect the evolution of single genes? Here, we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase mutants across 19 different environments—from phenotypically homogeneous single-cell populations in liquid media to heterogeneous biofilms, plant roots and soil populations. The effects of individual gene mutations on organismal fitness were highly reproducible in liquid cultures. However, 84% of the tested alleles showed opposing fitness effects under different growth conditions (sign environmental pleiotropy). In colony biofilms and soil samples, different alleles dominated in parallel replica experiments. Accordingly, we found that in these heterogeneous cell populations the fate of mutations was dictated by a combination of selection and drift. The latter relates to programmed prophage excisions that occurred during biofilm development. Overall, for each condition, a wide range of glutamate dehydrogenase mutations persisted and sometimes fixated as a result of the combined action of selection, pleiotropy and chance. However, over longer periods and in multiple environments, nearly all of this diversity would be lost—across all the environments and conditions that we tested, the wild type was the fittest allele."}],"publication_status":"published","isi":1,"publisher":"Springer Nature","date_published":"2019-07-01T00:00:00Z","title":"Chance and pleiotropy dominate genetic diversity in complex bacterial environments","oa":1,"page":"1221–1230","day":"01","year":"2019","doi":"10.1038/s41564-019-0412-y","scopus_import":"1","intvolume":"         4","publication":"Nature Microbiology","quality_controlled":"1","oa_version":"Preprint","author":[{"full_name":"Noda-García, Lianet","first_name":"Lianet","last_name":"Noda-García"},{"full_name":"Davidi, Dan","last_name":"Davidi","first_name":"Dan"},{"full_name":"Korenblum, Elisa","first_name":"Elisa","last_name":"Korenblum"},{"last_name":"Elazar","first_name":"Assaf","full_name":"Elazar, Assaf"},{"last_name":"Putintseva","first_name":"Ekaterina","full_name":"Putintseva, Ekaterina","id":"2EF67C84-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Asaph","last_name":"Aharoni","full_name":"Aharoni, Asaph"},{"full_name":"Tawfik, Dan S.","last_name":"Tawfik","first_name":"Dan S."}],"month":"07","issue":"7","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":4,"date_created":"2019-05-29T13:03:30Z","_id":"6506","type":"journal_article","article_type":"original","status":"public","main_file_link":[{"open_access":"1","url":"https://www.biorxiv.org/content/10.1101/340828v2"}],"publication_identifier":{"issn":["2058-5276"]}},{"abstract":[{"text":"Segregation of maternal determinants within the oocyte constitutes the first step in embryo patterning. In zebrafish oocytes, extensive ooplasmic streaming leads to the segregation of ooplasm from yolk granules along the animal-vegetal axis of the oocyte. Here, we show that this process does not rely on cortical actin reorganization, as previously thought, but instead on a cell-cycle-dependent bulk actin polymerization wave traveling from the animal to the vegetal pole of the oocyte. This wave functions in segregation by both pulling ooplasm animally and pushing yolk granules vegetally. Using biophysical experimentation and theory, we show that ooplasm pulling is mediated by bulk actin network flows exerting friction forces on the ooplasm, while yolk granule pushing is achieved by a mechanism closely resembling actin comet formation on yolk granules. Our study defines a novel role of cell-cycle-controlled bulk actin polymerization waves in oocyte polarization via ooplasmic segregation.","lang":"eng"}],"publication_status":"published","isi":1,"ddc":["570"],"date_published":"2019-05-30T00:00:00Z","file_date_updated":"2020-10-21T07:22:34Z","publisher":"Elsevier","pmid":1,"title":"Bulk actin dynamics drive phase segregation in zebrafish oocytes","date_updated":"2024-03-25T23:30:21Z","department":[{"_id":"CaHe"},{"_id":"EdHa"},{"_id":"BjHo"}],"citation":{"ieee":"S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” <i>Cell</i>, vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.","apa":"Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., &#38; Heisenberg, C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2019.04.030\">https://doi.org/10.1016/j.cell.2019.04.030</a>","ista":"Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. 2019. Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. 177(6), 1463–1479.e18.","ama":"Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. Bulk actin dynamics drive phase segregation in zebrafish oocytes. <i>Cell</i>. 2019;177(6):1463-1479.e18. doi:<a href=\"https://doi.org/10.1016/j.cell.2019.04.030\">10.1016/j.cell.2019.04.030</a>","chicago":"Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” <i>Cell</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.cell.2019.04.030\">https://doi.org/10.1016/j.cell.2019.04.030</a>.","short":"S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.","mla":"Shamipour, Shayan, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” <i>Cell</i>, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi:<a href=\"https://doi.org/10.1016/j.cell.2019.04.030\">10.1016/j.cell.2019.04.030</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000469415100013"],"pmid":["31080065"]},"related_material":{"link":[{"url":"https://ist.ac.at/en/news/how-the-cytoplasm-separates-from-the-yolk/","description":"News on IST Homepage","relation":"press_release"}],"record":[{"id":"8350","relation":"dissertation_contains","status":"public"}]},"scopus_import":"1","intvolume":"       177","publication":"Cell","oa":1,"acknowledgement":"We would like to thank Pierre Recho, Guillaume Salbreux, and Silvia Grigolon for advice on the theory, Lila Solnica-Krezel for kindly providing us with zebrafish dachsous mutants, members of the Heisenberg and Hannezo groups for fruitful discussions, and the Bioimaging and zebrafish facilities at IST Austria for their continuous support. This project has received funding from the European Union (European Research Council Advanced Grant 742573 to C.P.H.) and from the Austrian Science Fund (FWF) (P 31639 to E.H.).","page":"1463-1479.e18","day":"30","doi":"10.1016/j.cell.2019.04.030","year":"2019","has_accepted_license":"1","month":"05","issue":"6","file":[{"file_size":3356292,"access_level":"open_access","creator":"dernst","checksum":"aea43726d80e35ce3885073a5f05c3e3","file_id":"8686","relation":"main_file","success":1,"file_name":"2019_Cell_Shamipour_accepted.pdf","date_updated":"2020-10-21T07:22:34Z","date_created":"2020-10-21T07:22:34Z","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"article_processing_charge":"No","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"volume":177,"project":[{"grant_number":"742573","_id":"260F1432-B435-11E9-9278-68D0E5697425","name":"Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation","call_identifier":"H2020"},{"call_identifier":"FWF","name":"Active mechano-chemical description of the cell cytoskeleton","_id":"268294B6-B435-11E9-9278-68D0E5697425","grant_number":"P31639"}],"quality_controlled":"1","oa_version":"Published Version","author":[{"id":"40B34FE2-F248-11E8-B48F-1D18A9856A87","full_name":"Shamipour, Shayan","first_name":"Shayan","last_name":"Shamipour"},{"last_name":"Kardos","first_name":"Roland","id":"4039350E-F248-11E8-B48F-1D18A9856A87","full_name":"Kardos, Roland"},{"last_name":"Xue","first_name":"Shi-lei","id":"31D2C804-F248-11E8-B48F-1D18A9856A87","full_name":"Xue, Shi-lei"},{"orcid":"0000-0003-2057-2754","last_name":"Hof","first_name":"Björn","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo"},{"full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","first_name":"Carl-Philipp J"}],"ec_funded":1,"date_created":"2019-06-02T21:59:12Z","_id":"6508","type":"journal_article","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.cell.2019.04.030"}],"publication_identifier":{"issn":["00928674"],"eissn":["10974172"]},"status":"public"},{"department":[{"_id":"LaEr"}],"date_updated":"2023-08-28T09:32:29Z","citation":{"chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem on Optimal Scale.” <i>Annals of Probability</i>. Institute of Mathematical Statistics, 2019. <a href=\"https://doi.org/10.1214/18-AOP1284\">https://doi.org/10.1214/18-AOP1284</a>.","ista":"Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale. Annals of Probability. 47(3), 1270–1334.","ama":"Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. <i>Annals of Probability</i>. 2019;47(3):1270-1334. doi:<a href=\"https://doi.org/10.1214/18-AOP1284\">10.1214/18-AOP1284</a>","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2019). Local single ring theorem on optimal scale. <i>Annals of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/18-AOP1284\">https://doi.org/10.1214/18-AOP1284</a>","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” <i>Annals of Probability</i>, vol. 47, no. 3. Institute of Mathematical Statistics, pp. 1270–1334, 2019.","mla":"Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” <i>Annals of Probability</i>, vol. 47, no. 3, Institute of Mathematical Statistics, 2019, pp. 1270–334, doi:<a href=\"https://doi.org/10.1214/18-AOP1284\">10.1214/18-AOP1284</a>.","short":"Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334."},"external_id":{"isi":["000466616100003"],"arxiv":["1612.05920"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","abstract":[{"lang":"eng","text":"Let U and V be two independent N by N random matrices that are distributed according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly, in the limit of large N, to a deterministic measure which is supported on a single ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior of the single ring, we establish the convergence of the empirical eigenvalue distribution on the optimal local scale of order N−1/2+ε and establish the optimal convergence rate. The same results hold true when U and V are Haar distributed on O(N)."}],"isi":1,"date_published":"2019-05-01T00:00:00Z","publisher":"Institute of Mathematical Statistics","title":"Local single ring theorem on optimal scale","oa":1,"page":"1270-1334","year":"2019","doi":"10.1214/18-AOP1284","day":"01","scopus_import":"1","arxiv":1,"intvolume":"        47","publication":"Annals of Probability","project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"quality_controlled":"1","oa_version":"Preprint","author":[{"id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang","last_name":"Bao","first_name":"Zhigang","orcid":"0000-0003-3036-1475"},{"orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-0954-3231","first_name":"Kevin","last_name":"Schnelli","full_name":"Schnelli, Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87"}],"month":"05","issue":"3","language":[{"iso":"eng"}],"volume":47,"article_processing_charge":"No","date_created":"2019-06-02T21:59:13Z","type":"journal_article","_id":"6511","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.05920"}],"status":"public","publication_identifier":{"issn":["00911798"]},"ec_funded":1},{"status":"public","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6986928"}],"publication_identifier":{"eissn":["14764687"],"issn":["00280836"]},"date_created":"2019-06-02T21:59:14Z","article_type":"original","_id":"6513","type":"journal_article","author":[{"last_name":"Guiu","first_name":"Jordi","full_name":"Guiu, Jordi"},{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","last_name":"Hannezo","first_name":"Edouard B"},{"last_name":"Yui","first_name":"Shiro","full_name":"Yui, Shiro"},{"first_name":"Samuel","last_name":"Demharter","full_name":"Demharter, Samuel"},{"first_name":"Svetlana","last_name":"Ulyanchenko","full_name":"Ulyanchenko, Svetlana"},{"full_name":"Maimets, Martti","last_name":"Maimets","first_name":"Martti"},{"first_name":"Anne","last_name":"Jørgensen","full_name":"Jørgensen, Anne"},{"full_name":"Perlman, Signe","first_name":"Signe","last_name":"Perlman"},{"last_name":"Lundvall","first_name":"Lene","full_name":"Lundvall, Lene"},{"full_name":"Mamsen, Linn Salto","last_name":"Mamsen","first_name":"Linn Salto"},{"full_name":"Larsen, Agnete","last_name":"Larsen","first_name":"Agnete"},{"first_name":"Rasmus H.","last_name":"Olesen","full_name":"Olesen, Rasmus H."},{"full_name":"Andersen, Claus Yding","last_name":"Andersen","first_name":"Claus Yding"},{"full_name":"Thuesen, Lea Langhoff","first_name":"Lea Langhoff","last_name":"Thuesen"},{"first_name":"Kristine Juul","last_name":"Hare","full_name":"Hare, Kristine Juul"},{"last_name":"Pers","first_name":"Tune H.","full_name":"Pers, Tune H."},{"last_name":"Khodosevich","first_name":"Konstantin","full_name":"Khodosevich, Konstantin"},{"full_name":"Simons, Benjamin D.","first_name":"Benjamin D.","last_name":"Simons"},{"full_name":"Jensen, Kim B.","last_name":"Jensen","first_name":"Kim B."}],"quality_controlled":"1","oa_version":"Submitted Version","language":[{"iso":"eng"}],"volume":570,"article_processing_charge":"No","month":"06","day":"06","page":"107-111","doi":"10.1038/s41586-019-1212-5","year":"2019","oa":1,"intvolume":"       570","publication":"Nature","scopus_import":"1","external_id":{"isi":["000470149000048"],"pmid":["31092921"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"EdHa"}],"date_updated":"2023-08-28T09:30:23Z","citation":{"short":"J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets, A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y. Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B. Jensen, Nature 570 (2019) 107–111.","mla":"Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” <i>Nature</i>, vol. 570, Springer Nature, 2019, pp. 107–11, doi:<a href=\"https://doi.org/10.1038/s41586-019-1212-5\">10.1038/s41586-019-1212-5</a>.","ieee":"J. Guiu <i>et al.</i>, “Tracing the origin of adult intestinal stem cells,” <i>Nature</i>, vol. 570. Springer Nature, pp. 107–111, 2019.","apa":"Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets, M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-019-1212-5\">https://doi.org/10.1038/s41586-019-1212-5</a>","chicago":"Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko, Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” <i>Nature</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41586-019-1212-5\">https://doi.org/10.1038/s41586-019-1212-5</a>.","ama":"Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem cells. <i>Nature</i>. 2019;570:107-111. doi:<a href=\"https://doi.org/10.1038/s41586-019-1212-5\">10.1038/s41586-019-1212-5</a>","ista":"Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111."},"pmid":1,"publisher":"Springer Nature","date_published":"2019-06-06T00:00:00Z","title":"Tracing the origin of adult intestinal stem cells","publication_status":"published","abstract":[{"lang":"eng","text":"Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn, where they express markers such as LGR5 1,2 and fuel the constant replenishment of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise to adult intestinal stem cells3,4, it remains unclear whether this population in the patterned epithelium represents unique intestinal stem-cell precursors. Here we show, using unbiased quantitative lineage-tracing approaches, biophysical modelling and intestinal transplantation, that all cells of the mouse intestinal epithelium—irrespective of their location and pattern of LGR5 expression in the fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using 3D imaging, we find that during fetal development the villus undergoes gross remodelling and fission. This brings epithelial cells from the non-proliferative villus into the proliferative intervillus region, which enables them to contribute to the adult stem-cell niche. Our results demonstrate that large-scale remodelling of the intestinal wall and cell-fate specification are closely linked. Moreover, these findings provide a direct link between the observed plasticity and cellular reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9, revealing that stem-cell identity is an induced rather than a hardwired property."}],"isi":1},{"author":[{"full_name":"Dyer, Ramsay","last_name":"Dyer","first_name":"Ramsay"},{"full_name":"Vegter, Gert","last_name":"Vegter","first_name":"Gert"},{"orcid":"0000-0002-7472-2220","first_name":"Mathijs","last_name":"Wintraecken","full_name":"Wintraecken, Mathijs","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","quality_controlled":"1","project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"volume":10,"language":[{"iso":"eng"}],"issue":"1","file":[{"file_name":"mainJournalFinal.pdf","date_updated":"2020-07-14T12:47:32Z","date_created":"2019-06-03T09:30:01Z","content_type":"application/pdf","file_size":2170882,"access_level":"open_access","creator":"mwintrae","file_id":"6516","checksum":"57b4df2f16a74eb499734ec8ee240178","relation":"main_file"}],"has_accepted_license":"1","month":"07","publication_identifier":{"issn":["1920-180X"]},"status":"public","_id":"6515","type":"journal_article","date_created":"2019-06-03T09:35:33Z","ec_funded":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"citation":{"mla":"Dyer, Ramsay, et al. “Simplices Modelled on Spaces of Constant Curvature.” <i>Journal of Computational Geometry </i>, vol. 10, no. 1, Carleton University, 2019, pp. 223–256, doi:<a href=\"https://doi.org/10.20382/jocg.v10i1a9\">10.20382/jocg.v10i1a9</a>.","short":"R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry  10 (2019) 223–256.","ama":"Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature. <i>Journal of Computational Geometry </i>. 2019;10(1):223–256. doi:<a href=\"https://doi.org/10.20382/jocg.v10i1a9\">10.20382/jocg.v10i1a9</a>","ista":"Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 10(1), 223–256.","chicago":"Dyer, Ramsay, Gert Vegter, and Mathijs Wintraecken. “Simplices Modelled on Spaces of Constant Curvature.” <i>Journal of Computational Geometry </i>. Carleton University, 2019. <a href=\"https://doi.org/10.20382/jocg.v10i1a9\">https://doi.org/10.20382/jocg.v10i1a9</a>.","apa":"Dyer, R., Vegter, G., &#38; Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. <i>Journal of Computational Geometry </i>. Carleton University. <a href=\"https://doi.org/10.20382/jocg.v10i1a9\">https://doi.org/10.20382/jocg.v10i1a9</a>","ieee":"R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant curvature,” <i>Journal of Computational Geometry </i>, vol. 10, no. 1. Carleton University, pp. 223–256, 2019."},"date_updated":"2021-01-12T08:07:50Z","department":[{"_id":"HeEd"}],"title":"Simplices modelled on spaces of constant curvature","file_date_updated":"2020-07-14T12:47:32Z","date_published":"2019-07-01T00:00:00Z","publisher":"Carleton University","ddc":["510"],"abstract":[{"lang":"eng","text":"We give non-degeneracy criteria for Riemannian simplices based on simplices in spaces of constant sectional curvature. It extends previous work on Riemannian simplices, where we developed Riemannian simplices with respect to Euclidean reference simplices. The criteria we give in this article are in terms of quality measures for spaces of constant curvature that we develop here. We see that simplices in spaces that have nearly constant curvature, are already non-degenerate under very weak quality demands. This is of importance because it allows for sampling of Riemannian manifolds based on anisotropy of the manifold and not (absolute) curvature."}],"publication_status":"published","day":"01","doi":"10.20382/jocg.v10i1a9","page":"223–256","year":"2019","oa":1,"publication":"Journal of Computational Geometry ","intvolume":"        10","scopus_import":1},{"publication_identifier":{"issn":["0304-3940"]},"status":"public","date_created":"2019-06-05T13:16:24Z","type":"journal_article","_id":"6521","article_type":"original","ec_funded":1,"author":[{"first_name":"Margaret E","last_name":"Maes","orcid":"0000-0001-9642-1085","id":"3838F452-F248-11E8-B48F-1D18A9856A87","full_name":"Maes, Margaret E"},{"full_name":"Colombo, Gloria","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9434-8902","last_name":"Colombo","first_name":"Gloria"},{"orcid":"0000-0001-5297-733X","last_name":"Schulz","first_name":"Rouven","full_name":"Schulz, Rouven","id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-8635-0877","first_name":"Sandra","last_name":"Siegert","full_name":"Siegert, Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","project":[{"call_identifier":"H2020","name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"grant_number":"715571","_id":"25D4A630-B435-11E9-9278-68D0E5697425","name":"Microglia action towards neuronal circuit formation and function in health and disease","call_identifier":"H2020"},{"name":"Modulating microglia through G protein-coupled receptor (GPCR) signaling","_id":"267F75D8-B435-11E9-9278-68D0E5697425"}],"oa_version":"Published Version","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":707,"has_accepted_license":"1","month":"08","article_number":"134310","file":[{"relation":"main_file","access_level":"open_access","file_size":1779287,"file_id":"6551","checksum":"553c9dbd39727fbed55ee991c51ca4d1","creator":"dernst","date_created":"2019-06-08T11:44:20Z","date_updated":"2020-07-14T12:47:33Z","content_type":"application/pdf","file_name":"2019_Neuroscience_Maes.pdf"}],"doi":"10.1016/j.neulet.2019.134310","year":"2019","day":"10","oa":1,"intvolume":"       707","publication":"Neuroscience Letters","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000486094600037"],"pmid":["31158432"]},"date_updated":"2023-08-28T09:30:57Z","department":[{"_id":"SaSi"}],"citation":{"short":"M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).","mla":"Maes, Margaret E., et al. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.” <i>Neuroscience Letters</i>, vol. 707, 134310, Elsevier, 2019, doi:<a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">10.1016/j.neulet.2019.134310</a>.","apa":"Maes, M. E., Colombo, G., Schulz, R., &#38; Siegert, S. (2019). Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">https://doi.org/10.1016/j.neulet.2019.134310</a>","ista":"Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707, 134310.","ama":"Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. <i>Neuroscience Letters</i>. 2019;707. doi:<a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">10.1016/j.neulet.2019.134310</a>","chicago":"Maes, Margaret E, Gloria Colombo, Rouven Schulz, and Sandra Siegert. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.” <i>Neuroscience Letters</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">https://doi.org/10.1016/j.neulet.2019.134310</a>.","ieee":"M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges,” <i>Neuroscience Letters</i>, vol. 707. Elsevier, 2019."},"file_date_updated":"2020-07-14T12:47:33Z","publisher":"Elsevier","date_published":"2019-08-10T00:00:00Z","pmid":1,"title":"Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges","abstract":[{"lang":"eng","text":"Microglia have emerged as a critical component of neurodegenerative diseases. Genetic manipulation of microglia can elucidate their functional impact in disease. In neuroscience, recombinant viruses such as lentiviruses and adeno-associated viruses (AAVs) have been successfully used to target various cell types in the brain, although effective transduction of microglia is rare. In this review, we provide a short background of lentiviruses and AAVs, and strategies for designing recombinant viral vectors. Then, we will summarize recent literature on successful microglial transductions in vitro and in vivo, and discuss the current challenges. Finally, we provide guidelines for reporting the efficiency and specificity of viral targeting in microglia, which will enable the microglial research community to assess and improve methodologies for future studies."}],"publication_status":"published","isi":1,"ddc":["570"]},{"language":[{"iso":"eng"}],"article_processing_charge":"No","volume":124,"month":"01","has_accepted_license":"1","file":[{"file_name":"2019_LIPIcs_Pietrzak.pdf","content_type":"application/pdf","date_created":"2019-06-06T14:22:04Z","date_updated":"2020-07-14T12:47:33Z","file_id":"6529","checksum":"f0ae1bb161431d9db3dea5ace082bfb5","creator":"dernst","access_level":"open_access","file_size":558770,"relation":"main_file"}],"article_number":"60","author":[{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654"}],"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020"}],"quality_controlled":"1","oa_version":"Published Version","ec_funded":1,"conference":{"end_date":"2019-01-12","start_date":"2019-01-10","name":"ITCS 2019: Innovations in Theoretical Computer Science","location":"San Diego, CA, United States"},"status":"public","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-095-8"]},"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2018/627"}],"date_created":"2019-06-06T14:12:36Z","_id":"6528","type":"conference","file_date_updated":"2020-07-14T12:47:33Z","date_published":"2019-01-10T00:00:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","title":"Simple verifiable delay functions","abstract":[{"text":"We construct a verifiable delay function (VDF) by showing how the Rivest-Shamir-Wagner time-lock puzzle can be made publicly verifiable. Concretely, we give a statistically sound public-coin protocol to prove that a tuple (N,x,T,y) satisfies y=x2T (mod N) where the prover doesn’t know the factorization of N and its running time is dominated by solving the puzzle, that is, compute x2T, which is conjectured to require T sequential squarings. To get a VDF we make this protocol non-interactive using the Fiat-Shamir heuristic.The motivation for this work comes from the Chia blockchain design, which uses a VDF as akey ingredient. For typical parameters (T≤2 40, N= 2048), our proofs are of size around 10K B, verification cost around three RSA exponentiations and computing the proof is 8000 times faster than solving the puzzle even without any parallelism.","lang":"eng"}],"publication_status":"published","ddc":["000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"alternative_title":["LIPIcs"],"date_updated":"2021-01-12T08:07:53Z","department":[{"_id":"KrPi"}],"citation":{"apa":"Pietrzak, K. Z. (2019). Simple verifiable delay functions. In <i>10th Innovations in Theoretical Computer Science Conference</i> (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">https://doi.org/10.4230/LIPICS.ITCS.2019.60</a>","chicago":"Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In <i>10th Innovations in Theoretical Computer Science Conference</i>, Vol. 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. <a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">https://doi.org/10.4230/LIPICS.ITCS.2019.60</a>.","ista":"Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in Theoretical Computer Science Conference. ITCS 2019: Innovations in Theoretical Computer Science, LIPIcs, vol. 124, 60.","ama":"Pietrzak KZ. Simple verifiable delay functions. In: <i>10th Innovations in Theoretical Computer Science Conference</i>. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:<a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">10.4230/LIPICS.ITCS.2019.60</a>","ieee":"K. Z. Pietrzak, “Simple verifiable delay functions,” in <i>10th Innovations in Theoretical Computer Science Conference</i>, San Diego, CA, United States, 2019, vol. 124.","mla":"Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” <i>10th Innovations in Theoretical Computer Science Conference</i>, vol. 124, 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:<a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">10.4230/LIPICS.ITCS.2019.60</a>.","short":"K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019."},"intvolume":"       124","publication":"10th Innovations in Theoretical Computer Science Conference","scopus_import":1,"year":"2019","day":"10","doi":"10.4230/LIPICS.ITCS.2019.60","oa":1},{"ddc":["570"],"abstract":[{"lang":"eng","text":"Invasive migration plays a crucial role not only during development and homeostasis but also in pathological states, such as tumor metastasis. Drosophila macrophage migration into the extended germband is an interesting system to study invasive migration. It carries similarities to immune cell transmigration and cancer cell invasion, therefore studying this process could also bring new understanding of invasion in higher organisms. In our work, we uncover a highly conserved member of the major facilitator family that plays a role in tissue invasion through regulation of glycosylation on a subgroup of proteins and/or by aiding the precise timing of DN-Cadherin downregulation. \r\n\r\nAberrant display of the truncated core1 O-glycan T-antigen is a common feature of human cancer cells that correlates with metastasis. Here we show that T-antigen in Drosophila melanogaster macrophages is involved in their developmentally programmed tissue invasion. Higher macrophage T-antigen levels require an atypical major facilitator superfamily (MFS) member that we named Minerva which enables macrophage dissemination and invasion. We characterize for the first time the T and Tn glycoform O-glycoproteome of the Drosophila melanogaster embryo, and determine that Minerva increases the presence of T-antigen on proteins in pathways previously linked to cancer, most strongly on the sulfhydryl oxidase Qsox1 which we show is required for macrophage tissue entry. Minerva’s vertebrate ortholog, MFSD1, rescues the minerva mutant’s migration and T-antigen glycosylation defects. We thus identify \r\na key conserved regulator that orchestrates O-glycosylation on a protein subset to activate \r\na program governing migration steps important for both development and cancer metastasis. \r\n"}],"publication_status":"published","title":"The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration","date_published":"2019-06-07T00:00:00Z","file_date_updated":"2021-02-11T11:17:14Z","publisher":"Institute of Science and Technology Austria","citation":{"mla":"Valosková, Katarina. <i>The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration</i>. Institute of Science and Technology Austria, 2019, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:6546\">10.15479/AT:ISTA:6546</a>.","short":"K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, Institute of Science and Technology Austria, 2019.","ieee":"K. Valosková, “The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration,” Institute of Science and Technology Austria, 2019.","ista":"Valosková K. 2019. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. Institute of Science and Technology Austria.","ama":"Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:6546\">10.15479/AT:ISTA:6546</a>","chicago":"Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.” Institute of Science and Technology Austria, 2019. <a href=\"https://doi.org/10.15479/AT:ISTA:6546\">https://doi.org/10.15479/AT:ISTA:6546</a>.","apa":"Valosková, K. (2019). <i>The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:6546\">https://doi.org/10.15479/AT:ISTA:6546</a>"},"date_updated":"2023-09-19T10:15:54Z","department":[{"_id":"DaSi"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["ISTA Thesis"],"degree_awarded":"PhD","supervisor":[{"full_name":"Siekhaus, Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8323-8353","last_name":"Siekhaus","first_name":"Daria E"}],"related_material":{"record":[{"id":"6187","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"544","status":"public"}]},"oa":1,"page":"141","year":"2019","doi":"10.15479/AT:ISTA:6546","day":"07","file":[{"file_size":14110626,"access_level":"closed","creator":"khribikova","file_id":"6549","checksum":"68949c2d96210b45b981a23e9c9cd93c","relation":"source_file","embargo_to":"open_access","file_name":"Katarina Valoskova_PhD thesis_final version.docx","date_updated":"2020-07-14T12:47:33Z","date_created":"2019-06-07T13:00:04Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document"},{"date_updated":"2021-02-11T11:17:14Z","date_created":"2019-06-07T13:00:08Z","content_type":"application/pdf","file_name":"Katarina Valoskova_PhD thesis_final version.pdf","embargo":"2020-06-07","relation":"main_file","file_size":10054156,"access_level":"open_access","creator":"khribikova","file_id":"6550","checksum":"555329cd76e196c96f5278c480ee2e6e"}],"has_accepted_license":"1","month":"06","article_processing_charge":"No","acknowledged_ssus":[{"_id":"Bio"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","project":[{"_id":"253CDE40-B435-11E9-9278-68D0E5697425","grant_number":"24283","name":"Examination of the role of a MFS transporter in the migration of Drosophila immune cells"}],"author":[{"id":"46F146FC-F248-11E8-B48F-1D18A9856A87","full_name":"Valosková, Katarina","first_name":"Katarina","last_name":"Valosková"}],"type":"dissertation","_id":"6546","date_created":"2019-06-07T12:49:19Z","status":"public","publication_identifier":{"issn":["2663-337X"]}},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.cub.2019.03.035"}],"status":"public","publication_identifier":{"issn":["09609822"]},"date_created":"2019-06-09T21:59:10Z","_id":"6552","type":"journal_article","article_type":"original","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":29,"month":"06","issue":"11","author":[{"full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","last_name":"Cremer","first_name":"Sylvia"}],"quality_controlled":"1","oa_version":"Published Version","intvolume":"        29","publication":"Current Biology","scopus_import":"1","year":"2019","doi":"10.1016/j.cub.2019.03.035","page":"R458-R463","day":"03","oa":1,"publisher":"Elsevier","date_published":"2019-06-03T00:00:00Z","pmid":1,"title":"Social immunity in insects","abstract":[{"text":"When animals become sick, infected cells and an armada of activated immune cells attempt to eliminate the pathogen from the body. Once infectious particles have breached the body's physical barriers of the skin or gut lining, an initially local response quickly escalates into a systemic response, attracting mobile immune cells to the site of infection. These cells complement the initial, unspecific defense with a more specialized, targeted response. This can also provide long-term immune memory and protection against future infection. The cell-autonomous defenses of the infected cells are thus aided by the actions of recruited immune cells. These specialized cells are the most mobile cells in the body, constantly patrolling through the otherwise static tissue to detect incoming pathogens. Such constant immune surveillance means infections are noticed immediately and can be rapidly cleared from the body. Some immune cells also remove infected cells that have succumbed to infection. All this prevents pathogen replication and spread to healthy tissues. Although this may involve the sacrifice of some somatic tissue, this is typically replaced quickly. Particular care is, however, given to the reproductive organs, which should always remain disease free (immune privilege). ","lang":"eng"}],"publication_status":"published","isi":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"pmid":["31163158"],"isi":["000470902000023"]},"date_updated":"2023-08-28T09:38:00Z","department":[{"_id":"SyCr"}],"citation":{"short":"S. Cremer, Current Biology 29 (2019) R458–R463.","mla":"Cremer, Sylvia. “Social Immunity in Insects.” <i>Current Biology</i>, vol. 29, no. 11, Elsevier, 2019, pp. R458–63, doi:<a href=\"https://doi.org/10.1016/j.cub.2019.03.035\">10.1016/j.cub.2019.03.035</a>.","apa":"Cremer, S. (2019). Social immunity in insects. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2019.03.035\">https://doi.org/10.1016/j.cub.2019.03.035</a>","chicago":"Cremer, Sylvia. “Social Immunity in Insects.” <i>Current Biology</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.cub.2019.03.035\">https://doi.org/10.1016/j.cub.2019.03.035</a>.","ista":"Cremer S. 2019. Social immunity in insects. Current Biology. 29(11), R458–R463.","ama":"Cremer S. Social immunity in insects. <i>Current Biology</i>. 2019;29(11):R458-R463. doi:<a href=\"https://doi.org/10.1016/j.cub.2019.03.035\">10.1016/j.cub.2019.03.035</a>","ieee":"S. Cremer, “Social immunity in insects,” <i>Current Biology</i>, vol. 29, no. 11. Elsevier, pp. R458–R463, 2019."}},{"date_updated":"2023-09-05T13:18:09Z","department":[{"_id":"ChLa"}],"citation":{"apa":"Xian, Y., Lampert, C., Schiele, B., &#38; Akata, Z. (2019). Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. Institute of Electrical and Electronics Engineers (IEEE). <a href=\"https://doi.org/10.1109/tpami.2018.2857768\">https://doi.org/10.1109/tpami.2018.2857768</a>","ama":"Xian Y, Lampert C, Schiele B, Akata Z. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. 2019;41(9):2251-2265. doi:<a href=\"https://doi.org/10.1109/tpami.2018.2857768\">10.1109/tpami.2018.2857768</a>","ista":"Xian Y, Lampert C, Schiele B, Akata Z. 2019. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis and Machine Intelligence. 41(9), 2251–2265.","chicago":"Xian, Yongqin, Christoph Lampert, Bernt Schiele, and Zeynep Akata. “Zero-Shot Learning - A Comprehensive Evaluation of the Good, the Bad and the Ugly.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. Institute of Electrical and Electronics Engineers (IEEE), 2019. <a href=\"https://doi.org/10.1109/tpami.2018.2857768\">https://doi.org/10.1109/tpami.2018.2857768</a>.","ieee":"Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 41, no. 9. Institute of Electrical and Electronics Engineers (IEEE), pp. 2251–2265, 2019.","short":"Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis and Machine Intelligence 41 (2019) 2251–2265.","mla":"Xian, Yongqin, et al. “Zero-Shot Learning - A Comprehensive Evaluation of the Good, the Bad and the Ugly.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 41, no. 9, Institute of Electrical and Electronics Engineers (IEEE), 2019, pp. 2251–65, doi:<a href=\"https://doi.org/10.1109/tpami.2018.2857768\">10.1109/tpami.2018.2857768</a>."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"arxiv":["1707.00600"],"isi":["000480343900015"]},"abstract":[{"lang":"eng","text":"Due to the importance of zero-shot learning, i.e. classifying images where there is a lack of labeled training data, the number of proposed approaches has recently increased steadily. We argue that it is time to take a step back and to analyze the status quo of the area. The purpose of this paper is three-fold. First, given the fact that there is no agreed upon zero-shot learning benchmark, we first define a new benchmark by unifying both the evaluation protocols and data splits of publicly available datasets used for this task. This is an important contribution as published results are often not comparable and sometimes even flawed due to, e.g. pre-training on zero-shot test classes. Moreover, we propose a new zero-shot learning dataset, the Animals with Attributes 2 (AWA2) dataset which we make publicly available both in terms of image features and the images themselves. Second, we compare and analyze a significant number of the state-of-the-art methods in depth, both in the classic zero-shot setting but also in the more realistic generalized zero-shot setting. Finally, we discuss in detail the limitations of the current status of the area which can be taken as a basis for advancing it."}],"publication_status":"published","isi":1,"date_published":"2019-09-01T00:00:00Z","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","title":"Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly","oa":1,"page":"2251 - 2265","day":"01","doi":"10.1109/tpami.2018.2857768","year":"2019","scopus_import":"1","intvolume":"        41","arxiv":1,"publication":"IEEE Transactions on Pattern Analysis and Machine Intelligence","quality_controlled":"1","oa_version":"Preprint","author":[{"full_name":"Xian, Yongqin","last_name":"Xian","first_name":"Yongqin"},{"full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Lampert","first_name":"Christoph"},{"first_name":"Bernt","last_name":"Schiele","full_name":"Schiele, Bernt"},{"last_name":"Akata","first_name":"Zeynep","full_name":"Akata, Zeynep"}],"month":"09","issue":"9","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":41,"date_created":"2019-06-11T14:05:59Z","_id":"6554","type":"journal_article","article_type":"original","status":"public","main_file_link":[{"url":"https://arxiv.org/abs/1707.00600","open_access":"1"}],"publication_identifier":{"eissn":["1939-3539"],"issn":["0162-8828"]}},{"external_id":{"arxiv":["1812.05528"]},"alternative_title":["LIPIcs"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"citation":{"apa":"Huszár, K., &#38; Spreer, J. (2019). 3-manifold triangulations with small treewidth. In <i>35th International Symposium on Computational Geometry</i> (Vol. 129, p. 44:1-44:20). Portland, Oregon, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2019.44\">https://doi.org/10.4230/LIPIcs.SoCG.2019.44</a>","chicago":"Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small Treewidth.” In <i>35th International Symposium on Computational Geometry</i>, 129:44:1-44:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2019.44\">https://doi.org/10.4230/LIPIcs.SoCG.2019.44</a>.","ista":"Huszár K, Spreer J. 2019. 3-manifold triangulations with small treewidth. 35th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 44:1-44:20.","ama":"Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: <i>35th International Symposium on Computational Geometry</i>. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:44:1-44:20. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2019.44\">10.4230/LIPIcs.SoCG.2019.44</a>","ieee":"K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,” in <i>35th International Symposium on Computational Geometry</i>, Portland, Oregon, United States, 2019, vol. 129, p. 44:1-44:20.","mla":"Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small Treewidth.” <i>35th International Symposium on Computational Geometry</i>, vol. 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2019.44\">10.4230/LIPIcs.SoCG.2019.44</a>.","short":"K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20."},"department":[{"_id":"UlWa"}],"date_updated":"2023-09-07T13:18:26Z","title":"3-manifold triangulations with small treewidth","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2019-06-01T00:00:00Z","file_date_updated":"2020-07-14T12:47:33Z","ddc":["516"],"publication_status":"published","abstract":[{"text":"Motivated by fixed-parameter tractable (FPT) problems in computational topology, we consider the treewidth tw(M) of a compact, connected 3-manifold M, defined to be the minimum treewidth of the face pairing graph of any triangulation T of M. In this setting the relationship between the topology of a 3-manifold and its treewidth is of particular interest. First, as a corollary of work of Jaco and Rubinstein, we prove that for any closed, orientable 3-manifold M the treewidth tw(M) is at most 4g(M)-2, where g(M) denotes Heegaard genus of M. In combination with our earlier work with Wagner, this yields that for non-Haken manifolds the Heegaard genus and the treewidth are within a constant factor. Second, we characterize all 3-manifolds of treewidth one: These are precisely the lens spaces and a single other Seifert fibered space. Furthermore, we show that all remaining orientable Seifert fibered spaces over the 2-sphere or a non-orientable surface have treewidth two. In particular, for every spherical 3-manifold we exhibit a triangulation of treewidth at most two. Our results further validate the parameter of treewidth (and other related parameters such as cutwidth or congestion) to be useful for topological computing, and also shed more light on the scope of existing FPT-algorithms in the field.","lang":"eng"}],"day":"01","page":"44:1-44:20","year":"2019","doi":"10.4230/LIPIcs.SoCG.2019.44","oa":1,"publication":"35th International Symposium on Computational Geometry","arxiv":1,"intvolume":"       129","keyword":["computational 3-manifold topology","fixed-parameter tractability","layered triangulations","structural graph theory","treewidth","cutwidth","Heegaard genus"],"scopus_import":"1","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"8032"}]},"author":[{"id":"33C26278-F248-11E8-B48F-1D18A9856A87","full_name":"Huszár, Kristóf","last_name":"Huszár","first_name":"Kristóf","orcid":"0000-0002-5445-5057"},{"full_name":"Spreer, Jonathan","last_name":"Spreer","first_name":"Jonathan"}],"oa_version":"Published Version","quality_controlled":"1","volume":129,"article_processing_charge":"No","language":[{"iso":"eng"}],"file":[{"access_level":"open_access","file_size":905885,"checksum":"29d18c435368468aa85823dabb157e43","file_id":"6557","creator":"kschuh","relation":"main_file","file_name":"2019_LIPIcs-Huszar.pdf","date_created":"2019-06-12T06:45:33Z","date_updated":"2020-07-14T12:47:33Z","content_type":"application/pdf"}],"has_accepted_license":"1","month":"06","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-104-7"]},"status":"public","_id":"6556","type":"conference","date_created":"2019-06-11T20:09:57Z","conference":{"location":"Portland, Oregon, United States","name":"SoCG: Symposium on Computational Geometry","end_date":"2019-06-21","start_date":"2019-06-18"}},{"month":"10","article_processing_charge":"No","volume":60,"language":[{"iso":"eng"}],"oa_version":"None","quality_controlled":"1","author":[{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo"},{"last_name":"Simons","first_name":"Benjamin D.","full_name":"Simons, Benjamin D."}],"_id":"6559","type":"journal_article","article_type":"original","date_created":"2019-06-16T21:59:12Z","publication_identifier":{"issn":["09550674"],"eissn":["18790410"]},"status":"public","isi":1,"abstract":[{"lang":"eng","text":"Branching morphogenesis is a prototypical example of complex three-dimensional organ sculpting, required in multiple developmental settings to maximize the area of exchange surfaces. It requires, in particular, the coordinated growth of different cell types together with complex patterning to lead to robust macroscopic outputs. In recent years, novel multiscale quantitative biology approaches, together with biophysical modelling, have begun to shed new light of this topic. Here, we wish to review some of these recent developments, highlighting the generic design principles that can be abstracted across different branched organs, as well as the implications for the broader fields of stem cell, developmental and systems biology."}],"publication_status":"published","title":"Multiscale dynamics of branching morphogenesis","date_published":"2019-10-01T00:00:00Z","publisher":"Elsevier","pmid":1,"citation":{"ieee":"E. B. Hannezo and B. D. Simons, “Multiscale dynamics of branching morphogenesis,” <i>Current Opinion in Cell Biology</i>, vol. 60. Elsevier, pp. 99–105, 2019.","ama":"Hannezo EB, Simons BD. Multiscale dynamics of branching morphogenesis. <i>Current Opinion in Cell Biology</i>. 2019;60:99-105. doi:<a href=\"https://doi.org/10.1016/j.ceb.2019.04.008\">10.1016/j.ceb.2019.04.008</a>","ista":"Hannezo EB, Simons BD. 2019. Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology. 60, 99–105.","chicago":"Hannezo, Edouard B, and Benjamin D. Simons. “Multiscale Dynamics of Branching Morphogenesis.” <i>Current Opinion in Cell Biology</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.ceb.2019.04.008\">https://doi.org/10.1016/j.ceb.2019.04.008</a>.","apa":"Hannezo, E. B., &#38; Simons, B. D. (2019). Multiscale dynamics of branching morphogenesis. <i>Current Opinion in Cell Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ceb.2019.04.008\">https://doi.org/10.1016/j.ceb.2019.04.008</a>","mla":"Hannezo, Edouard B., and Benjamin D. Simons. “Multiscale Dynamics of Branching Morphogenesis.” <i>Current Opinion in Cell Biology</i>, vol. 60, Elsevier, 2019, pp. 99–105, doi:<a href=\"https://doi.org/10.1016/j.ceb.2019.04.008\">10.1016/j.ceb.2019.04.008</a>.","short":"E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105."},"date_updated":"2023-08-28T09:38:57Z","department":[{"_id":"EdHa"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"pmid":["31181348"],"isi":["000486545800014"]},"scopus_import":"1","publication":"Current Opinion in Cell Biology","intvolume":"        60","year":"2019","day":"01","doi":"10.1016/j.ceb.2019.04.008","page":"99-105"},{"isi":1,"publication_status":"published","abstract":[{"text":"Optogenetics enables the spatio-temporally precise control of cell and animal behavior. Many optogenetic tools are driven by light-controlled protein–protein interactions (PPIs) that are repurposed from natural light-sensitive domains (LSDs). Applying light-controlled PPIs to new target proteins is challenging because it is difficult to predict which of the many available LSDs, if any, will yield robust light regulation. As a consequence, fusion protein libraries need to be prepared and tested, but methods and platforms to facilitate this process are currently not available. Here, we developed a genetic engineering strategy and vector library for the rapid generation of light-controlled PPIs. The strategy permits fusing a target protein to multiple LSDs efficiently and in two orientations. The public and expandable library contains 29 vectors with blue, green or red light-responsive LSDs, many of which have been previously applied ex vivo and in vivo. We demonstrate the versatility of the approach and the necessity for sampling LSDs by generating light-activated caspase-9 (casp9) enzymes. Collectively, this work provides a new resource for optical regulation of a broad range of target proteins in cell and developmental biology.","lang":"eng"}],"title":"Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions","date_published":"2019-08-09T00:00:00Z","publisher":"Elsevier","citation":{"mla":"Tichy, Alexandra-Madelaine, et al. “Engineering Strategy and Vector Library for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.” <i>Journal of Molecular Biology</i>, vol. 431, no. 17, Elsevier, 2019, pp. 3046–55, doi:<a href=\"https://doi.org/10.1016/j.jmb.2019.05.033\">10.1016/j.jmb.2019.05.033</a>.","short":"A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal of Molecular Biology 431 (2019) 3046–3055.","apa":"Tichy, A.-M., Gerrard, E. J., Legrand, J. M. D., Hobbs, R. M., &#38; Janovjak, H. L. (2019). Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. <i>Journal of Molecular Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jmb.2019.05.033\">https://doi.org/10.1016/j.jmb.2019.05.033</a>","ama":"Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. <i>Journal of Molecular Biology</i>. 2019;431(17):3046-3055. doi:<a href=\"https://doi.org/10.1016/j.jmb.2019.05.033\">10.1016/j.jmb.2019.05.033</a>","chicago":"Tichy, Alexandra-Madelaine, Elliot J. Gerrard, Julien M.D. Legrand, Robin M. Hobbs, and Harald L Janovjak. “Engineering Strategy and Vector Library for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.” <i>Journal of Molecular Biology</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.jmb.2019.05.033\">https://doi.org/10.1016/j.jmb.2019.05.033</a>.","ista":"Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. 2019. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. 431(17), 3046–3055.","ieee":"A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions,” <i>Journal of Molecular Biology</i>, vol. 431, no. 17. Elsevier, pp. 3046–3055, 2019."},"department":[{"_id":"HaJa"}],"date_updated":"2023-08-28T09:39:22Z","external_id":{"isi":["000482872100002"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","scopus_import":"1","publication":"Journal of Molecular Biology","intvolume":"       431","oa":1,"day":"09","doi":"10.1016/j.jmb.2019.05.033","page":"3046-3055","year":"2019","issue":"17","month":"08","volume":431,"article_processing_charge":"No","language":[{"iso":"eng"}],"oa_version":"Preprint","quality_controlled":"1","author":[{"full_name":"Tichy, Alexandra-Madelaine","id":"29D8BB2C-F248-11E8-B48F-1D18A9856A87","first_name":"Alexandra-Madelaine","last_name":"Tichy"},{"first_name":"Elliot J.","last_name":"Gerrard","full_name":"Gerrard, Elliot J."},{"first_name":"Julien M.D.","last_name":"Legrand","full_name":"Legrand, Julien M.D."},{"first_name":"Robin M.","last_name":"Hobbs","full_name":"Hobbs, Robin M."},{"orcid":"0000-0002-8023-9315","first_name":"Harald L","last_name":"Janovjak","full_name":"Janovjak, Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87"}],"article_type":"original","_id":"6564","type":"journal_article","date_created":"2019-06-16T21:59:14Z","main_file_link":[{"url":"http://www.biorxiv.org/content/10.1101/583369v1","open_access":"1"}],"publication_identifier":{"issn":["00222836"],"eissn":["10898638"]},"status":"public"},{"month":"05","has_accepted_license":"1","article_number":"8715598","file":[{"file_name":"2019_ICC_Kundu.pdf","content_type":"application/pdf","date_created":"2020-10-21T13:13:49Z","date_updated":"2020-10-21T13:13:49Z","checksum":"d622a91af1e427f6b1e0ba8e18a2b767","file_id":"8687","creator":"dernst","access_level":"open_access","file_size":396031,"success":1,"relation":"main_file"}],"language":[{"iso":"eng"}],"article_processing_charge":"No","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","oa_version":"Submitted Version","author":[{"full_name":"Kundu, Atreyee","last_name":"Kundu","first_name":"Atreyee"},{"first_name":"Miriam","last_name":"Garcia Soto","orcid":"0000−0003−2936−5719","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","full_name":"Garcia Soto, Miriam"},{"full_name":"Prabhakar, Pavithra","last_name":"Prabhakar","first_name":"Pavithra"}],"conference":{"name":"ICC 2019 - Indian Control Conference","location":"Delhi, India","start_date":"2019-01-09","end_date":"2019-01-11"},"date_created":"2019-06-17T06:57:33Z","type":"conference","_id":"6565","status":"public","publication_identifier":{"isbn":["978-153866246-5"]},"abstract":[{"lang":"eng","text":"In this paper, we address the problem of synthesizing periodic switching controllers for stabilizing a family of linear systems. Our broad approach consists of constructing a finite game graph based on the family of linear systems such that every winning strategy on the game graph corresponds to a stabilizing switching controller for the family of linear systems. The construction of a (finite) game graph, the synthesis of a winning strategy and the extraction of a stabilizing controller are all computationally feasible. We illustrate our method on an example."}],"publication_status":"published","ddc":["000"],"publisher":"IEEE","file_date_updated":"2020-10-21T13:13:49Z","date_published":"2019-05-16T00:00:00Z","title":"Formal synthesis of stabilizing controllers for periodically controlled linear switched systems","date_updated":"2021-01-12T08:08:01Z","department":[{"_id":"ToHe"}],"citation":{"short":"A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.","mla":"Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” <i>5th Indian Control Conference Proceedings</i>, 8715598, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">10.1109/INDIANCC.2019.8715598</a>.","ieee":"A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in <i>5th Indian Control Conference Proceedings</i>, Delhi, India, 2019.","apa":"Kundu, A., Garcia Soto, M., &#38; Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In <i>5th Indian Control Conference Proceedings</i>. Delhi, India: IEEE. <a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">https://doi.org/10.1109/INDIANCC.2019.8715598</a>","ista":"Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference, 8715598.","chicago":"Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In <i>5th Indian Control Conference Proceedings</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">https://doi.org/10.1109/INDIANCC.2019.8715598</a>.","ama":"Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: <i>5th Indian Control Conference Proceedings</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">10.1109/INDIANCC.2019.8715598</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","publication":"5th Indian Control Conference Proceedings","oa":1,"year":"2019","doi":"10.1109/INDIANCC.2019.8715598","day":"16"}]