[{"year":"2014","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5405"}]},"publist_id":"4758","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11407","name":"Game Theory"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"status":"public","ec_funded":1,"conference":{"end_date":"2014-04-13","start_date":"2014-04-05","name":"FoSSaCS: Foundations of Software Science and Computation Structures","location":"Grenoble, France"},"acknowledgement":"This research was supported by European project Cassting (FP7-601148).\r\nA Technical Report of this paper is available at: \r\nhttps://repository.ist.ac.at/id/eprint/128.","date_published":"2014-04-01T00:00:00Z","doi":"10.1007/978-3-642-54830-7_14","alternative_title":["LNCS"],"publisher":"Springer","date_updated":"2023-02-23T12:24:50Z","_id":"2212","type":"conference","page":"210 - 225","quality_controlled":"1","month":"04","department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"citation":{"ama":"Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-information stochastic mean-payoff parity games. In: Vol 8412. Springer; 2014:210-225. doi:<a href=\"https://doi.org/10.1007/978-3-642-54830-7_14\">10.1007/978-3-642-54830-7_14</a>","ieee":"K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.","short":"K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.","ista":"Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,” 8412:210–25. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54830-7_14\">https://doi.org/10.1007/978-3-642-54830-7_14</a>.","apa":"Chatterjee, K., Doyen, L., Gimbert, H., &#38; Oualhadj, Y. (2014). Perfect-information stochastic mean-payoff parity games (Vol. 8412, pp. 210–225). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/978-3-642-54830-7_14\">https://doi.org/10.1007/978-3-642-54830-7_14</a>","mla":"Chatterjee, Krishnendu, et al. <i>Perfect-Information Stochastic Mean-Payoff Parity Games</i>. Vol. 8412, Springer, 2014, pp. 210–25, doi:<a href=\"https://doi.org/10.1007/978-3-642-54830-7_14\">10.1007/978-3-642-54830-7_14</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"},{"first_name":"Hugo","last_name":"Gimbert","full_name":"Gimbert, Hugo"},{"full_name":"Oualhadj, Youssouf","last_name":"Oualhadj","first_name":"Youssouf"}],"day":"01","scopus_import":1,"title":"Perfect-information stochastic mean-payoff parity games","oa_version":"None","volume":8412,"date_created":"2018-12-11T11:56:21Z","intvolume":"      8412","abstract":[{"lang":"eng","text":"The theory of graph games is the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic processes, we use 2 1/2-player games where some transitions of the game graph are controlled by two adversarial players, the System and the Environment, and the other transitions are determined probabilistically. We consider 2 1/2-player games where the objective of the System is the conjunction of a qualitative objective (specified as a parity condition) and a quantitative objective (specified as a mean-payoff condition). We establish that the problem of deciding whether the System can ensure that the probability to satisfy the mean-payoff parity objective is at least a given threshold is in NP ∩ coNP, matching the best known bound in the special case of 2-player games (where all transitions are deterministic). We present an algorithm running in time O(d·n2d·MeanGame) to compute the set of almost-sure winning states from which the objective can be ensured with probability 1, where n is the number of states of the game, d the number of priorities of the parity objective, and MeanGame is the complexity to compute the set of almost-sure winning states in 2 1/2-player mean-payoff games. Our results are useful in the synthesis of stochastic reactive systems with both functional requirement (given as a qualitative objective) and performance requirement (given as a quantitative objective). "}],"publication_status":"published"},{"page":"242 - 257","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1401.3289"}],"quality_controlled":"1","alternative_title":["LNCS"],"doi":"10.1007/978-3-642-54830-7_16","publisher":"Springer","_id":"2213","date_updated":"2023-02-23T12:24:58Z","type":"conference","status":"public","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"name":"Game Theory","grant_number":"S11407","call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"ec_funded":1,"acknowledgement":"This research was supported by European project Cassting (FP7-601148), NSF grants CNS 1049862 and CCF-1139011, by NSF Expe ditions in Computing project “ExCAPE: Expeditions in Computer Augmented Program Engineering”, by BSF grant 9800096, and by gift from Intel.","date_published":"2014-04-01T00:00:00Z","conference":{"location":"Grenoble, France","end_date":"2014-04-13","start_date":"2014-04-05","name":"FoSSaCS: Foundations of Software Science and Computation Structures"},"year":"2014","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5408"}]},"external_id":{"arxiv":["1401.3289"]},"publist_id":"4757","intvolume":"      8412","abstract":[{"lang":"eng","text":"We consider two-player partial-observation stochastic games on finitestate graphs where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are ε-regular conditions specified as parity objectives. The qualitative-analysis problem given a partial-observation stochastic game and a parity objective asks whether there is a strategy to ensure that the objective is satisfied with probability 1 (resp. positive probability). These qualitative-analysis problems are known to be undecidable. However in many applications the relevant question is the existence of finite-memory strategies, and the qualitative-analysis problems under finite-memory strategies was recently shown to be decidable in 2EXPTIME.We improve the complexity and show that the qualitative-analysis problems for partial-observation stochastic parity games under finite-memory strategies are EXPTIME-complete; and also establish optimal (exponential) memory bounds for finite-memory strategies required for qualitative analysis."}],"publication_status":"published","scopus_import":1,"day":"01","author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"last_name":"Doyen","full_name":"Doyen, Laurent","first_name":"Laurent"},{"last_name":"Nain","full_name":"Nain, Sumit","first_name":"Sumit"},{"last_name":"Vardi","full_name":"Vardi, Moshe","first_name":"Moshe"}],"title":"The complexity of partial-observation stochastic parity games with finite-memory strategies","oa_version":"Preprint","volume":8412,"date_created":"2018-12-11T11:56:21Z","oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,” 8412:242–57. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54830-7_16\">https://doi.org/10.1007/978-3-642-54830-7_16</a>.","ista":"Chatterjee K, Doyen L, Nain S, Vardi M. 2014. The complexity of partial-observation stochastic parity games with finite-memory strategies. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 242–257.","apa":"Chatterjee, K., Doyen, L., Nain, S., &#38; Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/978-3-642-54830-7_16\">https://doi.org/10.1007/978-3-642-54830-7_16</a>","mla":"Chatterjee, Krishnendu, et al. <i>The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies</i>. Vol. 8412, Springer, 2014, pp. 242–57, doi:<a href=\"https://doi.org/10.1007/978-3-642-54830-7_16\">10.1007/978-3-642-54830-7_16</a>.","ama":"Chatterjee K, Doyen L, Nain S, Vardi M. The complexity of partial-observation stochastic parity games with finite-memory strategies. In: Vol 8412. Springer; 2014:242-257. doi:<a href=\"https://doi.org/10.1007/978-3-642-54830-7_16\">10.1007/978-3-642-54830-7_16</a>","ieee":"K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.","short":"K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"04","arxiv":1,"department":[{"_id":"KrCh"}]},{"acknowledgement":"Michael Sixt's research is supported by the European Research Council (ERC Starting grant).","date_published":"2014-01-22T00:00:00Z","ec_funded":1,"publication":"PLoS One","status":"public","project":[{"_id":"25A76F58-B435-11E9-9278-68D0E5697425","name":"Stromal Cell-immune Cell Interactions in Health and Disease","grant_number":"289720","call_identifier":"FP7"}],"publist_id":"4756","year":"2014","quality_controlled":"1","ddc":["570"],"type":"journal_article","_id":"2214","date_updated":"2021-01-12T06:56:03Z","publisher":"Public Library of Science","doi":"10.1371/journal.pone.0085699","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M. K. Sixt, and R. Alon, “Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects,” <i>PLoS One</i>, vol. 9, no. 1. Public Library of Science, 2014.","short":"L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).","ama":"Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. <i>PLoS One</i>. 2014;9(1). doi:<a href=\"https://doi.org/10.1371/journal.pone.0085699\">10.1371/journal.pone.0085699</a>","apa":"Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., &#38; Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0085699\">https://doi.org/10.1371/journal.pone.0085699</a>","mla":"Stoler Barak, Liat, et al. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.” <i>PLoS One</i>, vol. 9, no. 1, e85699, Public Library of Science, 2014, doi:<a href=\"https://doi.org/10.1371/journal.pone.0085699\">10.1371/journal.pone.0085699</a>.","ista":"Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. 2014. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 9(1), e85699.","chicago":"Stoler Barak, Liat, Christine Moussion, Elias Shezen, Miki Hatzav, Michael K Sixt, and Ronen Alon. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.” <i>PLoS One</i>. Public Library of Science, 2014. <a href=\"https://doi.org/10.1371/journal.pone.0085699\">https://doi.org/10.1371/journal.pone.0085699</a>."},"issue":"1","language":[{"iso":"eng"}],"pubrep_id":"433","oa":1,"article_number":"e85699","file":[{"file_id":"4646","date_updated":"2020-07-14T12:45:33Z","creator":"system","date_created":"2018-12-12T10:07:48Z","file_size":12634775,"checksum":"84a8033bda2e07e39405f5acc85f4eca","relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_name":"IST-2016-433-v1+1_journal.pone.0085699.pdf"}],"department":[{"_id":"MiSi"}],"month":"01","file_date_updated":"2020-07-14T12:45:33Z","publication_status":"published","abstract":[{"lang":"eng","text":"A hallmark of immune cell trafficking is directional guidance via gradients of soluble or surface bound chemokines. Vascular endothelial cells produce, transport and deposit either their own chemokines or chemokines produced by the underlying stroma. Endothelial heparan sulfate (HS) was suggested to be a critical scaffold for these chemokine pools, but it is unclear how steep chemokine gradients are sustained between the lumenal and ablumenal aspects of blood vessels. Addressing this question by semi-quantitative immunostaining of HS moieties around blood vessels with a pan anti-HS IgM mAb, we found a striking HS enrichment in the basal lamina of resting and inflamed post capillary skin venules, as well as in high endothelial venules (HEVs) of lymph nodes. Staining of skin vessels with a glycocalyx probe further suggested that their lumenal glycocalyx contains much lower HS density than their basolateral extracellular matrix (ECM). This polarized HS pattern was observed also in isolated resting and inflamed microvascular dermal cells. Notably, progressive skin inflammation resulted in massive ECM deposition and in further HS enrichment around skin post capillary venules and their associated pericytes. Inflammation-dependent HS enrichment was not compromised in mice deficient in the main HS degrading enzyme, heparanase. Our results suggest that the blood vasculature patterns steep gradients of HS scaffolds between their lumenal and basolateral endothelial aspects, and that inflammatory processes can further enrich the HS content nearby inflamed vessels. We propose that chemokine gradients between the lumenal and ablumenal sides of vessels could be favored by these sharp HS scaffold gradients."}],"license":"https://creativecommons.org/licenses/by/4.0/","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         9","has_accepted_license":"1","date_created":"2018-12-11T11:56:22Z","volume":9,"title":"Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects","oa_version":"Published Version","day":"22","scopus_import":1,"author":[{"full_name":"Stoler Barak, Liat","last_name":"Stoler Barak","first_name":"Liat"},{"first_name":"Christine","full_name":"Moussion, Christine","id":"3356F664-F248-11E8-B48F-1D18A9856A87","last_name":"Moussion"},{"last_name":"Shezen","full_name":"Shezen, Elias","first_name":"Elias"},{"last_name":"Hatzav","full_name":"Hatzav, Miki","first_name":"Miki"},{"full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","orcid":"0000-0002-6620-9179","first_name":"Michael K"},{"first_name":"Ronen","last_name":"Alon","full_name":"Alon, Ronen"}]},{"date_created":"2018-12-11T11:56:22Z","type":"journal_article","_id":"2215","volume":15,"date_updated":"2021-01-12T06:56:03Z","publisher":"Nature Publishing Group","title":"Mechanisms and principles of homology search during recombination","oa_version":"None","scopus_import":1,"day":"14","author":[{"full_name":"Renkawitz, Jörg","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz","first_name":"Jörg","orcid":"0000-0003-2856-3369"},{"full_name":"Lademann, Claudio","last_name":"Lademann","first_name":"Claudio"},{"first_name":"Stefan","last_name":"Jentsch","full_name":"Jentsch, Stefan"}],"doi":"10.1038/nrm3805","quality_controlled":"1","publication_status":"published","intvolume":"        15","abstract":[{"text":"Homologous recombination is crucial for genome stability and for genetic exchange. Although our knowledge of the principle steps in recombination and its machinery is well advanced, homology search, the critical step of exploring the genome for homologous sequences to enable recombination, has remained mostly enigmatic. However, recent methodological advances have provided considerable new insights into this fundamental step in recombination that can be integrated into a mechanistic model. These advances emphasize the importance of genomic proximity and nuclear organization for homology search and the critical role of homology search mediators in this process. They also aid our understanding of how homology search might lead to unwanted and potentially disease-promoting recombination events.","lang":"eng"}],"page":"369 - 383","publist_id":"4755","department":[{"_id":"MiSi"}],"month":"05","year":"2014","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","acknowledgement":"J.R. was supported by a Boehringer Ingelheim Fonds PhD stipend.","date_published":"2014-05-14T00:00:00Z","citation":{"ama":"Renkawitz J, Lademann C, Jentsch S. Mechanisms and principles of homology search during recombination. <i>Nature Reviews Molecular Cell Biology</i>. 2014;15(6):369-383. doi:<a href=\"https://doi.org/10.1038/nrm3805\">10.1038/nrm3805</a>","short":"J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.","ieee":"J. Renkawitz, C. Lademann, and S. Jentsch, “Mechanisms and principles of homology search during recombination,” <i>Nature Reviews Molecular Cell Biology</i>, vol. 15, no. 6. Nature Publishing Group, pp. 369–383, 2014.","ista":"Renkawitz J, Lademann C, Jentsch S. 2014. Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. 15(6), 369–383.","chicago":"Renkawitz, Jörg, Claudio Lademann, and Stefan Jentsch. “Mechanisms and Principles of Homology Search during Recombination.” <i>Nature Reviews Molecular Cell Biology</i>. Nature Publishing Group, 2014. <a href=\"https://doi.org/10.1038/nrm3805\">https://doi.org/10.1038/nrm3805</a>.","mla":"Renkawitz, Jörg, et al. “Mechanisms and Principles of Homology Search during Recombination.” <i>Nature Reviews Molecular Cell Biology</i>, vol. 15, no. 6, Nature Publishing Group, 2014, pp. 369–83, doi:<a href=\"https://doi.org/10.1038/nrm3805\">10.1038/nrm3805</a>.","apa":"Renkawitz, J., Lademann, C., &#38; Jentsch, S. (2014). Mechanisms and principles of homology search during recombination. <i>Nature Reviews Molecular Cell Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nrm3805\">https://doi.org/10.1038/nrm3805</a>"},"issue":"6","status":"public","language":[{"iso":"eng"}],"publication":"Nature Reviews Molecular Cell Biology"},{"month":"01","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5409"}]},"year":"2014","publist_id":"4752","department":[{"_id":"KrCh"}],"status":"public","language":[{"iso":"eng"}],"oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_published":"2014-01-01T00:00:00Z","conference":{"location":"Berlin, Germany","name":"HSCC: Hybrid Systems - Computation and Control","start_date":"2017-04-15","end_date":"2017-04-17"},"citation":{"ieee":"K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, “Edit distance for timed automata,” presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany, 2014, pp. 303–312.","short":"K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.","ama":"Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit distance for timed automata. In: Springer; 2014:303-312. doi:<a href=\"https://doi.org/10.1145/2562059.2562141\">10.1145/2562059.2562141</a>","apa":"Chatterjee, K., Ibsen-Jensen, R., &#38; Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1145/2562059.2562141\">https://doi.org/10.1145/2562059.2562141</a>","mla":"Chatterjee, Krishnendu, et al. <i>Edit Distance for Timed Automata</i>. Springer, 2014, pp. 303–12, doi:<a href=\"https://doi.org/10.1145/2562059.2562141\">10.1145/2562059.2562141</a>.","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,” 303–12. Springer, 2014. <a href=\"https://doi.org/10.1145/2562059.2562141\">https://doi.org/10.1145/2562059.2562141</a>.","ista":"Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312."},"publisher":"Springer","oa_version":"Submitted Version","title":"Edit distance for timed automata","day":"01","doi":"10.1145/2562059.2562141","author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87","last_name":"Ibsen-Jensen","first_name":"Rasmus","orcid":"0000-0003-4783-0389"},{"last_name":"Majumdar","full_name":"Majumdar, Ritankar","first_name":"Ritankar"}],"date_created":"2018-12-11T11:56:22Z","type":"conference","_id":"2216","date_updated":"2023-02-23T12:25:01Z","abstract":[{"text":"The edit distance between two (untimed) traces is the minimum cost of a sequence of edit operations (insertion, deletion, or substitution) needed to transform one trace to the other. Edit distances have been extensively studied in the untimed setting, and form the basis for approximate matching of sequences in different domains such as coding theory, parsing, and speech recognition. In this paper, we lift the study of edit distances from untimed languages to the timed setting. We define an edit distance between timed words which incorporates both the edit distance between the untimed words and the absolute difference in time stamps. Our edit distance between two timed words is computable in polynomial time. Further, we show that the edit distance between a timed word and a timed language generated by a timed automaton, defined as the edit distance between the word and the closest word in the language, is PSPACE-complete. While computing the edit distance between two timed automata is undecidable, we show that the approximate version, where we decide if the edit distance between two timed automata is either less than a given parameter or more than δ away from the parameter, for δ &gt; 0, can be solved in exponential space and is EXPSPACE-hard. Our definitions and techniques can be generalized to the setting of hybrid systems, and analogous decidability results hold for rectangular automata.","lang":"eng"}],"page":"303 - 312","quality_controlled":"1","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://dl.acm.org/citation.cfm?doid=2562059.2562141"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Henzinger TA, Otop J. Model measuring for hybrid systems. In: <i>Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control</i>. Springer; 2014:213-222. doi:<a href=\"https://doi.org/10.1145/2562059.2562130\">10.1145/2562059.2562130</a>","short":"T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.","ieee":"T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in <i>Proceedings of the 17th international conference on Hybrid systems: computation and control</i>, Berlin, Germany, 2014, pp. 213–222.","ista":"Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.","chicago":"Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.” In <i>Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control</i>, 213–22. Springer, 2014. <a href=\"https://doi.org/10.1145/2562059.2562130\">https://doi.org/10.1145/2562059.2562130</a>.","mla":"Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.” <i>Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control</i>, Springer, 2014, pp. 213–22, doi:<a href=\"https://doi.org/10.1145/2562059.2562130\">10.1145/2562059.2562130</a>.","apa":"Henzinger, T. A., &#38; Otop, J. (2014). Model measuring for hybrid systems. In <i>Proceedings of the 17th international conference on Hybrid systems: computation and control</i> (pp. 213–222). Berlin, Germany: Springer. <a href=\"https://doi.org/10.1145/2562059.2562130\">https://doi.org/10.1145/2562059.2562130</a>"},"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"month":"04","publication_status":"published","abstract":[{"text":"As hybrid systems involve continuous behaviors, they should be evaluated by quantitative methods, rather than qualitative methods. In this paper we adapt a quantitative framework, called model measuring, to the hybrid systems domain. The model-measuring problem asks, given a model M and a specification, what is the maximal distance such that all models within that distance from M satisfy (or violate) the specification. A distance function on models is given as part of the input of the problem. Distances, especially related to continuous behaviors are more natural in the hybrid case than the discrete case. We are interested in distances represented by monotonic hybrid automata, a hybrid counterpart of (discrete) weighted automata, whose recognized timed languages are monotone (w.r.t. inclusion) in the values of parameters.\r\n\r\nThe contributions of this paper are twofold. First, we give sufficient conditions under which the model-measuring problem can be solved. Second, we discuss the modeling of distances and applications of the model-measuring problem.","lang":"eng"}],"date_created":"2018-12-11T11:56:23Z","title":"Model measuring for hybrid systems","oa_version":"None","author":[{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"last_name":"Otop","full_name":"Otop, Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","first_name":"Jan"}],"day":"01","scopus_import":1,"acknowledgement":"This  work  was  supported  in  part  by  the  Austrian  Science Fund  NFN  RiSE  (Rigorous  Systems  Engineering)  and  by the ERC Advanced Grant QUAREM (Quantitative Reactive Modeling).\r\nA Technical Report of this paper is available at: \r\nhttps://repository.ist.ac.at/id/eprint/171","conference":{"location":"Berlin, Germany","name":"HSCC: Hybrid Systems - Computation and Control","start_date":"2014-04-15","end_date":"2014-04-17"},"date_published":"2014-04-01T00:00:00Z","ec_funded":1,"project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"status":"public","publication":"Proceedings of the 17th international conference on Hybrid systems: computation and control","publist_id":"4751","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5416"}]},"year":"2014","quality_controlled":"1","page":"213 - 222","type":"conference","date_updated":"2023-02-23T12:25:23Z","_id":"2217","publisher":"Springer","doi":"10.1145/2562059.2562130","article_processing_charge":"No"},{"publisher":"Springer","doi":"10.1007/978-3-319-08867-9_38","alternative_title":["LNCS"],"type":"conference","date_updated":"2023-09-07T11:57:01Z","_id":"2218","ddc":["000"],"page":"568 - 584","quality_controlled":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007%2F978-3-319-08867-9_38","open_access":"1"}],"related_material":{"record":[{"id":"1130","relation":"dissertation_contains","status":"public"}]},"year":"2014","publist_id":"4749","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"}],"status":"public","conference":{"name":"CAV: Computer Aided Verification","start_date":"2014-07-18","end_date":"2014-07-22","location":"Vienna, Austria"},"date_published":"2014-07-22T00:00:00Z","ec_funded":1,"oa_version":"Submitted Version","title":"Regression-free synthesis for concurrency","author":[{"first_name":"Pavol","last_name":"Cerny","full_name":"Cerny, Pavol"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Arjun","full_name":"Radhakrishna, Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","last_name":"Radhakrishna"},{"first_name":"Leonid","last_name":"Ryzhyk","full_name":"Ryzhyk, Leonid"},{"last_name":"Tarrach","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87","full_name":"Tarrach, Thorsten","first_name":"Thorsten","orcid":"0000-0003-4409-8487"}],"day":"22","date_created":"2018-12-11T11:56:23Z","volume":8559,"intvolume":"      8559","abstract":[{"text":"While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a set of program transformations we consider in the repair process. These include reordering of instructions within a thread and inserting atomic sections. The new algorithm learns a constraint on the space of candidate solutions, from both positive examples (error-free traces) and counterexamples (error traces). From each counterexample, the algorithm learns a constraint necessary to remove the errors. From each positive examples, it learns a constraint that is necessary in order to prevent the repair from turning the trace into an error trace. We implemented the algorithm and evaluated it on simplified Linux device drivers with known bugs.","lang":"eng"}],"has_accepted_license":"1","publication_identifier":{"isbn":["978-331908866-2"]},"publication_status":"published","file_date_updated":"2020-07-14T12:45:33Z","month":"07","file":[{"checksum":"a631d3105509f239724644e77a1212e2","relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_name":"IST-2014-297-v1+1_cav14-final.pdf","file_id":"4995","creator":"system","date_updated":"2020-07-14T12:45:33Z","date_created":"2018-12-12T10:13:14Z","file_size":416732},{"file_id":"4996","date_updated":"2020-07-14T12:45:33Z","creator":"system","date_created":"2018-12-12T10:13:15Z","file_size":616293,"checksum":"f8b0f748cc9fa697ca992cc56c87bc4e","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2014-297-v2+1_cav14-final2.pdf"}],"department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"pubrep_id":"297","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi:<a href=\"https://doi.org/10.1007/978-3-319-08867-9_38\">10.1007/978-3-319-08867-9_38</a>","ieee":"P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.","short":"P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.","ista":"Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2014. Regression-free synthesis for concurrency. CAV: Computer Aided Verification, LNCS, vol. 8559, 568–584.","chicago":"Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,” 8559:568–84. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-08867-9_38\">https://doi.org/10.1007/978-3-319-08867-9_38</a>.","apa":"Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &#38; Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. <a href=\"https://doi.org/10.1007/978-3-319-08867-9_38\">https://doi.org/10.1007/978-3-319-08867-9_38</a>","mla":"Cerny, Pavol, et al. <i>Regression-Free Synthesis for Concurrency</i>. Vol. 8559, Springer, 2014, pp. 568–84, doi:<a href=\"https://doi.org/10.1007/978-3-319-08867-9_38\">10.1007/978-3-319-08867-9_38</a>."}},{"department":[{"_id":"KrPi"}],"month":"03","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Kiltz E, Masny D, Pietrzak KZ. Simple chosen-ciphertext security from low noise LPN. In: Vol 8383. Springer; 2014:1-18. doi:<a href=\"https://doi.org/10.1007/978-3-642-54631-0_1\">10.1007/978-3-642-54631-0_1</a>","short":"E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.","ieee":"E. Kiltz, D. Masny, and K. Z. Pietrzak, “Simple chosen-ciphertext security from low noise LPN,” presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, 2014, vol. 8383, pp. 1–18.","chicago":"Kiltz, Eike, Daniel Masny, and Krzysztof Z Pietrzak. “Simple Chosen-Ciphertext Security from Low Noise LPN,” 8383:1–18. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54631-0_1\">https://doi.org/10.1007/978-3-642-54631-0_1</a>.","ista":"Kiltz E, Masny D, Pietrzak KZ. 2014. Simple chosen-ciphertext security from low noise LPN. IACR: International Conference on Practice and Theory in Public-Key Cryptography, LNCS, vol. 8383, 1–18.","mla":"Kiltz, Eike, et al. <i>Simple Chosen-Ciphertext Security from Low Noise LPN</i>. Vol. 8383, Springer, 2014, pp. 1–18, doi:<a href=\"https://doi.org/10.1007/978-3-642-54631-0_1\">10.1007/978-3-642-54631-0_1</a>.","apa":"Kiltz, E., Masny, D., &#38; Pietrzak, K. Z. (2014). Simple chosen-ciphertext security from low noise LPN (Vol. 8383, pp. 1–18). Presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, Springer. <a href=\"https://doi.org/10.1007/978-3-642-54631-0_1\">https://doi.org/10.1007/978-3-642-54631-0_1</a>"},"language":[{"iso":"eng"}],"oa":1,"date_created":"2018-12-11T11:56:24Z","volume":8383,"title":"Simple chosen-ciphertext security from low noise LPN","oa_version":"Submitted Version","scopus_import":1,"day":"01","author":[{"full_name":"Kiltz, Eike","last_name":"Kiltz","first_name":"Eike"},{"first_name":"Daniel","last_name":"Masny","full_name":"Masny, Daniel"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z"}],"publication_status":"published","publication_identifier":{"isbn":["978-364254630-3"]},"abstract":[{"lang":"eng","text":"Recently, Döttling et al. (ASIACRYPT 2012) proposed the first chosen-ciphertext (IND-CCA) secure public-key encryption scheme from the learning parity with noise (LPN) assumption. In this work we give an alternative scheme which is conceptually simpler and more efficient. At the core of our construction is a trapdoor technique originally proposed for lattices by Micciancio and Peikert (EUROCRYPT 2012), which we adapt to the LPN setting. The main technical tool is a new double-trapdoor mechanism, together with a trapdoor switching lemma based on a computational variant of the leftover hash lemma."}],"intvolume":"      8383","publist_id":"4748","year":"2014","date_published":"2014-03-01T00:00:00Z","conference":{"name":"IACR: International Conference on Practice and Theory in Public-Key Cryptography"},"status":"public","type":"conference","_id":"2219","date_updated":"2021-01-12T06:56:05Z","publisher":"Springer","alternative_title":["LNCS"],"doi":"10.1007/978-3-642-54631-0_1","quality_controlled":"1","main_file_link":[{"url":"https://eprint.iacr.org/2015/401","open_access":"1"}],"page":"1 - 18"},{"date_created":"2018-12-11T11:56:24Z","volume":21,"oa_version":"Published Version","title":"Suppressive drug interactions between antifungals","day":"24","scopus_import":1,"author":[{"id":"3111FFAC-F248-11E8-B48F-1D18A9856A87","full_name":"De Vos, Marjon","last_name":"De Vos","first_name":"Marjon"},{"orcid":"0000-0003-4398-476X","first_name":"Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias","last_name":"Bollenbach"}],"publication_identifier":{"issn":["10745521"]},"publication_status":"published","abstract":[{"lang":"eng","text":"In this issue of Chemistry & Biology, Cokol and colleagues report a systematic study of drug interactions between antifungal compounds. Suppressive drug interactions occur more frequently than previously realized and come in different flavors with interesting implications."}],"intvolume":"        21","department":[{"_id":"ToBo"}],"month":"04","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Vos, Marjon de, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.” <i>Chemistry and Biology</i>. Cell Press, 2014. <a href=\"https://doi.org/10.1016/j.chembiol.2014.04.004\">https://doi.org/10.1016/j.chembiol.2014.04.004</a>.","ista":"de Vos M, Bollenbach MT. 2014. Suppressive drug interactions between antifungals. Chemistry and Biology. 21(4), 439–440.","apa":"de Vos, M., &#38; Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. <i>Chemistry and Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.chembiol.2014.04.004\">https://doi.org/10.1016/j.chembiol.2014.04.004</a>","mla":"de Vos, Marjon, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.” <i>Chemistry and Biology</i>, vol. 21, no. 4, Cell Press, 2014, pp. 439–40, doi:<a href=\"https://doi.org/10.1016/j.chembiol.2014.04.004\">10.1016/j.chembiol.2014.04.004</a>.","ama":"de Vos M, Bollenbach MT. Suppressive drug interactions between antifungals. <i>Chemistry and Biology</i>. 2014;21(4):439-440. doi:<a href=\"https://doi.org/10.1016/j.chembiol.2014.04.004\">10.1016/j.chembiol.2014.04.004</a>","ieee":"M. de Vos and M. T. Bollenbach, “Suppressive drug interactions between antifungals,” <i>Chemistry and Biology</i>, vol. 21, no. 4. Cell Press, pp. 439–440, 2014.","short":"M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440."},"issue":"4","language":[{"iso":"eng"}],"oa":1,"type":"journal_article","_id":"2220","date_updated":"2021-01-12T06:56:06Z","publisher":"Cell Press","doi":"10.1016/j.chembiol.2014.04.004","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/24766845"}],"page":"439 - 440","publist_id":"4747","external_id":{"pmid":["24766845"]},"year":"2014","date_published":"2014-04-24T00:00:00Z","pmid":1,"status":"public","publication":"Chemistry and Biology"},{"language":[{"iso":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Naramoto, Satoshi, Tomasz Nodzyński, Tomoko Dainobu, Hirotomo Takatsuka, Teruyo Okada, Jiří Friml, and Hiroo Fukuda. “VAN4 Encodes a Putative TRS120 That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.” <i>Plant and Cell Physiology</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/pcp/pcu012\">https://doi.org/10.1093/pcp/pcu012</a>.","ista":"Naramoto S, Nodzyński T, Dainobu T, Takatsuka H, Okada T, Friml J, Fukuda H. 2014. VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology. 55(4), 750–763.","mla":"Naramoto, Satoshi, et al. “VAN4 Encodes a Putative TRS120 That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.” <i>Plant and Cell Physiology</i>, vol. 55, no. 4, Oxford University Press, 2014, pp. 750–63, doi:<a href=\"https://doi.org/10.1093/pcp/pcu012\">10.1093/pcp/pcu012</a>.","apa":"Naramoto, S., Nodzyński, T., Dainobu, T., Takatsuka, H., Okada, T., Friml, J., &#38; Fukuda, H. (2014). VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. <i>Plant and Cell Physiology</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/pcp/pcu012\">https://doi.org/10.1093/pcp/pcu012</a>","ama":"Naramoto S, Nodzyński T, Dainobu T, et al. VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. <i>Plant and Cell Physiology</i>. 2014;55(4):750-763. doi:<a href=\"https://doi.org/10.1093/pcp/pcu012\">10.1093/pcp/pcu012</a>","short":"S. Naramoto, T. Nodzyński, T. Dainobu, H. Takatsuka, T. Okada, J. Friml, H. Fukuda, Plant and Cell Physiology 55 (2014) 750–763.","ieee":"S. Naramoto <i>et al.</i>, “VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis,” <i>Plant and Cell Physiology</i>, vol. 55, no. 4. Oxford University Press, pp. 750–763, 2014."},"issue":"4","month":"04","department":[{"_id":"JiFr"}],"abstract":[{"text":"Leaf venation develops complex patterns in angiosperms, but the mechanism underlying this process is largely unknown. To elucidate the molecular mechanisms governing vein pattern formation, we previously isolated vascular network defective (van) mutants that displayed venation discontinuities. Here, we report the phenotypic analysis of van4 mutants, and we identify and characterize the VAN4 gene. Detailed phenotypic analysis shows that van4 mutants are defective in procambium cell differentiation and subsequent vascular cell differentiation. Reduced shoot and root cell growth is observed in van4 mutants, suggesting that VAN4 function is important for cell growth and the establishment of venation continuity. Consistent with these phenotypes, the VAN4 gene is strongly expressed in vascular and meristematic cells. VAN4 encodes a putative TRS120, which is a known guanine nucleotide exchange factor (GEF) for Rab GTPase involved in regulating vesicle transport, and a known tethering factor that determines the specificity of membrane fusion. VAN4 protein localizes at the trans-Golgi network/early endosome (TGN/EE). Aberrant recycling of the auxin efflux carrier PIN proteins is observed in van4 mutants. These results suggest that VAN4-mediated exocytosis at the TGN plays important roles in plant vascular development and cell growth in shoot and root. Our identification of VAN4 as a putative TRS120 shows that Rab GTPases are crucial (in addition to ARF GTPases) for continuous vascular development, and provides further evidence for the importance of vesicle transport in leaf vascular formation.","lang":"eng"}],"intvolume":"        55","publication_status":"published","publication_identifier":{"issn":["00320781"]},"title":"VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis","oa_version":"None","scopus_import":1,"day":"01","author":[{"first_name":"Satoshi","last_name":"Naramoto","full_name":"Naramoto, Satoshi"},{"last_name":"Nodzyński","full_name":"Nodzyński, Tomasz","first_name":"Tomasz"},{"last_name":"Dainobu","full_name":"Dainobu, Tomoko","first_name":"Tomoko"},{"full_name":"Takatsuka, Hirotomo","last_name":"Takatsuka","first_name":"Hirotomo"},{"first_name":"Teruyo","full_name":"Okada, Teruyo","last_name":"Okada"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596","first_name":"Jirí"},{"first_name":"Hiroo","full_name":"Fukuda, Hiroo","last_name":"Fukuda"}],"date_created":"2018-12-11T11:56:24Z","volume":55,"publication":"Plant and Cell Physiology","status":"public","project":[{"name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"date_published":"2014-04-01T00:00:00Z","ec_funded":1,"year":"2014","publist_id":"4742","page":"750 - 763","quality_controlled":"1","publisher":"Oxford University Press","doi":"10.1093/pcp/pcu012","type":"journal_article","_id":"2222","date_updated":"2021-01-12T06:56:06Z"},{"language":[{"iso":"eng"}],"pubrep_id":"431","oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Tanaka H, Nodzyński T, Kitakura S, et al. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. <i>Plant and Cell Physiology</i>. 2014;55(4):737-749. doi:<a href=\"https://doi.org/10.1093/pcp/pct196\">10.1093/pcp/pct196</a>","short":"H. Tanaka, T. Nodzyński, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.","ieee":"H. Tanaka <i>et al.</i>, “BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis,” <i>Plant and Cell Physiology</i>, vol. 55, no. 4. Oxford University Press, pp. 737–749, 2014.","chicago":"Tanaka, Hirokazu, Tomasz Nodzyński, Saeko Kitakura, Mugurel Feraru, Michiko Sasabe, Tomomi Ishikawa, Jürgen Kleine Vehn, Tatsuo Kakimoto, and Jiří Friml. “BEX1/ARF1A1C Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.” <i>Plant and Cell Physiology</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/pcp/pct196\">https://doi.org/10.1093/pcp/pct196</a>.","ista":"Tanaka H, Nodzyński T, Kitakura S, Feraru M, Sasabe M, Ishikawa T, Kleine Vehn J, Kakimoto T, Friml J. 2014. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 55(4), 737–749.","mla":"Tanaka, Hirokazu, et al. “BEX1/ARF1A1C Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.” <i>Plant and Cell Physiology</i>, vol. 55, no. 4, Oxford University Press, 2014, pp. 737–49, doi:<a href=\"https://doi.org/10.1093/pcp/pct196\">10.1093/pcp/pct196</a>.","apa":"Tanaka, H., Nodzyński, T., Kitakura, S., Feraru, M., Sasabe, M., Ishikawa, T., … Friml, J. (2014). BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. <i>Plant and Cell Physiology</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/pcp/pct196\">https://doi.org/10.1093/pcp/pct196</a>"},"issue":"4","month":"04","file":[{"date_updated":"2020-07-14T12:45:34Z","creator":"system","date_created":"2018-12-12T10:14:25Z","file_size":2028111,"file_id":"5076","content_type":"application/pdf","access_level":"open_access","file_name":"IST-2016-431-v1+1_Plant_Cell_Physiol-2014-Tanaka-737-49.pdf","checksum":"b781a76b32ac35a520256453c3ba9433","relation":"main_file"}],"department":[{"_id":"JiFr"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"license":"https://creativecommons.org/licenses/by-nc/4.0/","abstract":[{"lang":"eng","text":"Correct positioning of membrane proteins is an essential process in eukaryotic organisms. The plant hormone auxin is distributed through intercellular transport and triggers various cellular responses. Auxin transporters of the PIN-FORMED (PIN) family localize asymmetrically at the plasma membrane (PM) and mediate the directional transport of auxin between cells. A fungal toxin, brefeldin A (BFA), inhibits a subset of guanine nucleotide exchange factors for ADP-ribosylation factor small GTPases (ARF GEFs) including GNOM, which plays a major role in localization of PIN1 predominantly to the basal side of the PM. The Arabidopsis genome encodes 19 ARF-related putative GTPases. However, ARF components involved in PIN1 localization have been genetically poorly defined. Using a fluorescence imaging-based forward genetic approach, we identified an Arabidopsis mutant, bfa-visualized exocytic trafficking defective1 (bex1), in which PM localization of PIN1-green fluorescent protein (GFP) as well as development is hypersensitive to BFA. We found that in bex1 a member of the ARF1 gene family, ARF1A1C, was mutated. ARF1A1C localizes to the trans-Golgi network/early endosome and Golgi apparatus, acts synergistically to BEN1/MIN7 ARF GEF and is important for PIN recycling to the PM. Consistent with the developmental importance of PIN proteins, functional interference with ARF1 resulted in an impaired auxin response gradient and various developmental defects including embryonic patterning defects and growth arrest. Our results show that ARF1A1C is essential for recycling of PIN auxin transporters and for various auxin-dependent developmental processes."}],"intvolume":"        55","has_accepted_license":"1","file_date_updated":"2020-07-14T12:45:34Z","publication_identifier":{"issn":["00320781"]},"publication_status":"published","oa_version":"Published Version","title":"BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis","day":"01","scopus_import":1,"author":[{"last_name":"Tanaka","full_name":"Tanaka, Hirokazu","first_name":"Hirokazu"},{"last_name":"Nodzyński","full_name":"Nodzyński, Tomasz","first_name":"Tomasz"},{"first_name":"Saeko","last_name":"Kitakura","full_name":"Kitakura, Saeko"},{"first_name":"Mugurel","last_name":"Feraru","full_name":"Feraru, Mugurel"},{"first_name":"Michiko","last_name":"Sasabe","full_name":"Sasabe, Michiko"},{"first_name":"Tomomi","full_name":"Ishikawa, Tomomi","last_name":"Ishikawa"},{"first_name":"Jürgen","full_name":"Kleine Vehn, Jürgen","last_name":"Kleine Vehn"},{"last_name":"Kakimoto","full_name":"Kakimoto, Tatsuo","first_name":"Tatsuo"},{"orcid":"0000-0002-8302-7596","first_name":"Jirí","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml"}],"date_created":"2018-12-11T11:56:25Z","volume":55,"publication":"Plant and Cell Physiology","status":"public","project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7"},{"name":"Innovationsförderung in der Grenzregion Österreich – Tschechische Republik durch die Schaffung von Synergien im Bereich der Forschungsinfrastruktur","_id":"256BDAB0-B435-11E9-9278-68D0E5697425"}],"date_published":"2014-04-01T00:00:00Z","ec_funded":1,"year":"2014","publist_id":"4741","ddc":["570"],"page":"737 - 749","quality_controlled":"1","main_file_link":[{"url":"http://repository.ist.ac.at/id/eprint/431","open_access":"1"}],"publisher":"Oxford University Press","doi":"10.1093/pcp/pct196","type":"journal_article","_id":"2223","date_updated":"2021-01-12T06:56:07Z"},{"type":"journal_article","date_created":"2018-12-11T11:56:25Z","date_updated":"2021-01-12T06:56:07Z","_id":"2224","volume":46,"oa_version":"None","title":"On secondary instabilities generating footbridges between spiral vortex flow","publisher":"IOP Publishing Ltd.","author":[{"last_name":"Altmeyer","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87","full_name":"Altmeyer, Sebastian","orcid":"0000-0001-5964-0203","first_name":"Sebastian"}],"doi":"10.1088/0169-5983/46/2/025503","scopus_import":1,"day":"01","publication_identifier":{"issn":["01695983"]},"publication_status":"published","quality_controlled":"1","abstract":[{"text":"This work investigates the transition between different traveling helical waves (spirals, SPIs) in the setup of differentially independent rotating cylinders. We use direct numerical simulations to consider an infinite long and periodic Taylor-Couette apparatus with fixed axial periodicity length. We find so-called mixed-cross-spirals (MCSs), that can be seen as nonlinear superpositions of SPIs, to establish stable footbridges connecting SPI states. While bridging the bifurcation branches of SPIs, the corresponding contributions within the MCS vary continuously with the control parameters. Here discussed MCSs presenting footbridge solutions start and end in different SPI branches. Therefore they differ significantly from the already known MCSs that present bypass solutions (Altmeyer and Hoffmann 2010 New J. Phys. 12 113035). The latter start and end in the same SPI branch, while they always bifurcate out of those SPI branches with the larger mode amplitude. Meanwhile, these only appear within the coexisting region of both SPIs. In contrast, the footbridge solutions can also bifurcate out of the minor SPI contribution. We also find they exist in regions where only one of the SPIs contributions exists. In addition, MCS as footbridge solution can appear either stable or unstable. The latter detected transient solutions offer similar spatio-temporal characteristics to the flow establishing stable footbridges. Such transition processes are interesting for pattern-forming systems in general because they accomplish transitions between traveling waves of different azimuthal wave numbers and have not been described in the literature yet.","lang":"eng"}],"intvolume":"        46","publist_id":"4740","article_number":"025503","department":[{"_id":"BjHo"}],"month":"04","year":"2014","date_published":"2014-04-01T00:00:00Z","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","issue":"2","citation":{"ista":"Altmeyer S. 2014. On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. 46(2), 025503.","chicago":"Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between Spiral Vortex Flow.” <i>Fluid Dynamics Research</i>. IOP Publishing Ltd., 2014. <a href=\"https://doi.org/10.1088/0169-5983/46/2/025503\">https://doi.org/10.1088/0169-5983/46/2/025503</a>.","apa":"Altmeyer, S. (2014). On secondary instabilities generating footbridges between spiral vortex flow. <i>Fluid Dynamics Research</i>. IOP Publishing Ltd. <a href=\"https://doi.org/10.1088/0169-5983/46/2/025503\">https://doi.org/10.1088/0169-5983/46/2/025503</a>","mla":"Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between Spiral Vortex Flow.” <i>Fluid Dynamics Research</i>, vol. 46, no. 2, 025503, IOP Publishing Ltd., 2014, doi:<a href=\"https://doi.org/10.1088/0169-5983/46/2/025503\">10.1088/0169-5983/46/2/025503</a>.","ama":"Altmeyer S. On secondary instabilities generating footbridges between spiral vortex flow. <i>Fluid Dynamics Research</i>. 2014;46(2). doi:<a href=\"https://doi.org/10.1088/0169-5983/46/2/025503\">10.1088/0169-5983/46/2/025503</a>","ieee":"S. Altmeyer, “On secondary instabilities generating footbridges between spiral vortex flow,” <i>Fluid Dynamics Research</i>, vol. 46, no. 2. IOP Publishing Ltd., 2014.","short":"S. Altmeyer, Fluid Dynamics Research 46 (2014)."},"publication":"Fluid Dynamics Research","language":[{"iso":"eng"}],"status":"public"},{"publist_id":"4739","year":"2014","date_published":"2014-03-15T00:00:00Z","ec_funded":1,"publication":"Electronic Journal of Probability","status":"public","project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"type":"journal_article","_id":"2225","date_updated":"2021-01-12T06:56:07Z","publisher":"Institute of Mathematical Statistics","doi":"10.1214/EJP.v19-3054","quality_controlled":"1","ddc":["510"],"article_number":"33","file":[{"creator":"system","date_updated":"2020-07-14T12:45:34Z","file_size":810150,"date_created":"2018-12-12T10:14:06Z","file_id":"5055","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2016-427-v1+1_3054-16624-4-PB.pdf","checksum":"7eb297ff367a2ee73b21b6dd1e1948e4","relation":"main_file"}],"department":[{"_id":"LaEr"}],"month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. Isotropic local laws for sample covariance and generalized Wigner matrices. <i>Electronic Journal of Probability</i>. 2014;19. doi:<a href=\"https://doi.org/10.1214/EJP.v19-3054\">10.1214/EJP.v19-3054</a>","ieee":"A. Bloemendal, L. Erdös, A. Knowles, H. Yau, and J. Yin, “Isotropic local laws for sample covariance and generalized Wigner matrices,” <i>Electronic Journal of Probability</i>, vol. 19. Institute of Mathematical Statistics, 2014.","short":"A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).","chicago":"Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics, 2014. <a href=\"https://doi.org/10.1214/EJP.v19-3054\">https://doi.org/10.1214/EJP.v19-3054</a>.","ista":"Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. 2014. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 19, 33.","apa":"Bloemendal, A., Erdös, L., Knowles, A., Yau, H., &#38; Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/EJP.v19-3054\">https://doi.org/10.1214/EJP.v19-3054</a>","mla":"Bloemendal, Alex, et al. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” <i>Electronic Journal of Probability</i>, vol. 19, 33, Institute of Mathematical Statistics, 2014, doi:<a href=\"https://doi.org/10.1214/EJP.v19-3054\">10.1214/EJP.v19-3054</a>."},"pubrep_id":"427","language":[{"iso":"eng"}],"oa":1,"date_created":"2018-12-11T11:56:25Z","volume":19,"title":"Isotropic local laws for sample covariance and generalized Wigner matrices","oa_version":"Published Version","day":"15","author":[{"first_name":"Alex","full_name":"Bloemendal, Alex","last_name":"Bloemendal"},{"first_name":"László","orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Knowles","full_name":"Knowles, Antti","first_name":"Antti"},{"last_name":"Yau","full_name":"Yau, Horng","first_name":"Horng"},{"first_name":"Jun","full_name":"Yin, Jun","last_name":"Yin"}],"file_date_updated":"2020-07-14T12:45:34Z","publication_status":"published","publication_identifier":{"issn":["10836489"]},"abstract":[{"lang":"eng","text":"We consider sample covariance matrices of the form X∗X, where X is an M×N matrix with independent random entries.  We prove the isotropic local Marchenko-Pastur law, i.e. we prove that the resolvent (X∗X−z)−1 converges to a multiple of the identity in the sense of quadratic forms. More precisely, we establish sharp high-probability bounds on the quantity ⟨v,(X∗X−z)−1w⟩−⟨v,w⟩m(z), where m is the Stieltjes transform of the Marchenko-Pastur law and v,w∈CN. We require the logarithms of the dimensions M and N to be comparable. Our result holds down to scales Iz≥N−1+ε and throughout the entire spectrum away from 0. We also prove analogous results for generalized Wigner matrices.\r\n"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"        19","has_accepted_license":"1"},{"publication_identifier":{"issn":["15393755"]},"publication_status":"published","intvolume":"        89","abstract":[{"lang":"eng","text":"Coriolis force effects on shear flows are important in geophysical and astrophysical contexts. We report a study on the linear stability and the transient energy growth of the plane Couette flow with system rotation perpendicular to the shear direction. External rotation causes linear instability. At small rotation rates, the onset of linear instability scales inversely with the rotation rate and the optimal transient growth in the linearly stable region is slightly enhanced ∼Re2. The corresponding optimal initial perturbations are characterized by roll structures inclined in the streamwise direction and are twisted under external rotation. At large rotation rates, the transient growth is significantly inhibited and hence linear stability analysis is a reliable indicator for instability."}],"date_created":"2018-12-11T11:56:26Z","volume":89,"oa_version":"Submitted Version","title":"Transient growth of Ekman-Couette flow","day":"06","scopus_import":1,"author":[{"last_name":"Shi","full_name":"Shi, Liang","first_name":"Liang"},{"orcid":"0000-0003-2057-2754","first_name":"Björn","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof"},{"first_name":"Andreas","last_name":"Tilgner","full_name":"Tilgner, Andreas"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"short":"L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).","ieee":"L. Shi, B. Hof, and A. Tilgner, “Transient growth of Ekman-Couette flow,” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 89, no. 1. American Institute of Physics, 2014.","ama":"Shi L, Hof B, Tilgner A. Transient growth of Ekman-Couette flow. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. 2014;89(1). doi:<a href=\"https://doi.org/10.1103/PhysRevE.89.013001\">10.1103/PhysRevE.89.013001</a>","mla":"Shi, Liang, et al. “Transient Growth of Ekman-Couette Flow.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 89, no. 1, 013001, American Institute of Physics, 2014, doi:<a href=\"https://doi.org/10.1103/PhysRevE.89.013001\">10.1103/PhysRevE.89.013001</a>.","apa":"Shi, L., Hof, B., &#38; Tilgner, A. (2014). Transient growth of Ekman-Couette flow. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1103/PhysRevE.89.013001\">https://doi.org/10.1103/PhysRevE.89.013001</a>","chicago":"Shi, Liang, Björn Hof, and Andreas Tilgner. “Transient Growth of Ekman-Couette Flow.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics, 2014. <a href=\"https://doi.org/10.1103/PhysRevE.89.013001\">https://doi.org/10.1103/PhysRevE.89.013001</a>.","ista":"Shi L, Hof B, Tilgner A. 2014. Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(1), 013001."},"issue":"1","language":[{"iso":"eng"}],"oa":1,"article_number":"013001","department":[{"_id":"BjHo"}],"month":"01","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1312.5095"}],"type":"journal_article","_id":"2226","date_updated":"2021-01-12T06:56:08Z","publisher":"American Institute of Physics","doi":"10.1103/PhysRevE.89.013001","date_published":"2014-01-06T00:00:00Z","status":"public","publication":"Physical Review E Statistical Nonlinear and Soft Matter Physics","project":[{"name":"Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen","grant_number":"SFB-TR3-TP10B","_id":"25BDE9A4-B435-11E9-9278-68D0E5697425"}],"publist_id":"4737","year":"2014"},{"year":"2014","month":"03","department":[{"_id":"JiFr"},{"_id":"EvBe"}],"publist_id":"4734","language":[{"iso":"eng"}],"publication":"Organisms Diversity and Evolution","status":"public","citation":{"ista":"Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. 2014. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. 14(1), 1–10.","chicago":"Cires Rodriguez, Eduardo, Matthias Baltisberger, Candela Cuesta, Pablo Vargas, and José Prieto. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.” <i>Organisms Diversity and Evolution</i>. Springer, 2014. <a href=\"https://doi.org/10.1007/s13127-013-0150-6\">https://doi.org/10.1007/s13127-013-0150-6</a>.","mla":"Cires Rodriguez, Eduardo, et al. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.” <i>Organisms Diversity and Evolution</i>, vol. 14, no. 1, Springer, 2014, pp. 1–10, doi:<a href=\"https://doi.org/10.1007/s13127-013-0150-6\">10.1007/s13127-013-0150-6</a>.","apa":"Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., &#38; Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. <i>Organisms Diversity and Evolution</i>. Springer. <a href=\"https://doi.org/10.1007/s13127-013-0150-6\">https://doi.org/10.1007/s13127-013-0150-6</a>","ama":"Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. <i>Organisms Diversity and Evolution</i>. 2014;14(1):1-10. doi:<a href=\"https://doi.org/10.1007/s13127-013-0150-6\">10.1007/s13127-013-0150-6</a>","short":"E. Cires Rodriguez, M. Baltisberger, C. Cuesta, P. Vargas, J. Prieto, Organisms Diversity and Evolution 14 (2014) 1–10.","ieee":"E. Cires Rodriguez, M. Baltisberger, C. Cuesta, P. Vargas, and J. Prieto, “Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences,” <i>Organisms Diversity and Evolution</i>, vol. 14, no. 1. Springer, pp. 1–10, 2014."},"issue":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_published":"2014-03-01T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"01","doi":"10.1007/s13127-013-0150-6","author":[{"first_name":"Eduardo","full_name":"Cires Rodriguez, Eduardo","id":"2AD56A7A-F248-11E8-B48F-1D18A9856A87","last_name":"Cires Rodriguez"},{"full_name":"Baltisberger, Matthias","last_name":"Baltisberger","first_name":"Matthias"},{"first_name":"Candela","orcid":"0000-0003-1923-2410","last_name":"Cuesta","id":"33A3C818-F248-11E8-B48F-1D18A9856A87","full_name":"Cuesta, Candela"},{"first_name":"Pablo","last_name":"Vargas","full_name":"Vargas, Pablo"},{"first_name":"José","full_name":"Prieto, José","last_name":"Prieto"}],"title":"Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences","publisher":"Springer","oa_version":"None","volume":14,"_id":"2227","date_updated":"2022-08-25T14:42:46Z","date_created":"2018-12-11T11:56:26Z","type":"journal_article","page":"1 - 10","intvolume":"        14","abstract":[{"lang":"eng","text":"The Balkan Peninsula, characterized by high rates of endemism, is recognised as one of the most diverse and species-rich areas of Europe. However, little is known about the origin of Balkan endemics. The present study addresses the phylogenetic position of the Balkan endemic Ranunculus wettsteinii, as well as its taxonomic status and relationship with the widespread R. parnassiifolius, based on nuclear DNA (internal transcribed spacer, ITS) and plastid regions (rpl32-trnL, rps16-trnQ, trnK-matK and ycf6-psbM). Maximum parsimony and Bayesian inference analyses revealed a well-supported clade formed by accessions of R. wettsteinii. Furthermore, our phylogenetic and network analyses supported previous hypotheses of a likely allopolyploid origin for R. wettsteinii between R. montenegrinus and R. parnassiifolius, with the latter as the maternal parent."}],"publication_identifier":{"issn":["14396092"]},"publication_status":"published","quality_controlled":"1"},{"publication_status":"published","publication_identifier":{"issn":["10976256"]},"intvolume":"        17","abstract":[{"text":"Fast-spiking, parvalbumin-expressing GABAergic interneurons, a large proportion of which are basket cells (BCs), have a key role in feedforward and feedback inhibition, gamma oscillations and complex information processing. For these functions, fast propagation of action potentials (APs) from the soma to the presynaptic terminals is important. However, the functional properties of interneuron axons remain elusive. We examined interneuron axons by confocally targeted subcellular patch-clamp recording in rat hippocampal slices. APs were initiated in the proximal axon ∼20 μm from the soma and propagated to the distal axon with high reliability and speed. Subcellular mapping revealed a stepwise increase of Na^+ conductance density from the soma to the proximal axon, followed by a further gradual increase in the distal axon. Active cable modeling and experiments with partial channel block revealed that low axonal Na^+ conductance density was sufficient for reliability, but high Na^+ density was necessary for both speed of propagation and fast-spiking AP phenotype. Our results suggest that a supercritical density of Na^+ channels compensates for the morphological properties of interneuron axons (small segmental diameter, extensive branching and high bouton density), ensuring fast AP propagation and high-frequency repetitive firing.","lang":"eng"}],"date_created":"2018-12-11T11:56:26Z","volume":17,"title":"A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons","oa_version":"Submitted Version","scopus_import":1,"day":"23","author":[{"full_name":"Hu, Hua","id":"4AC0145C-F248-11E8-B48F-1D18A9856A87","last_name":"Hu","first_name":"Hua"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","last_name":"Jonas","first_name":"Peter M","orcid":"0000-0001-5001-4804"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Hu H, Jonas PM. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. <i>Nature Neuroscience</i>. 2014;17(5):686-693. doi:<a href=\"https://doi.org/10.1038/nn.3678\">10.1038/nn.3678</a>","ieee":"H. Hu and P. M. Jonas, “A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons,” <i>Nature Neuroscience</i>, vol. 17, no. 5. Nature Publishing Group, pp. 686–693, 2014.","short":"H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.","chicago":"Hu, Hua, and Peter M Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2014. <a href=\"https://doi.org/10.1038/nn.3678\">https://doi.org/10.1038/nn.3678</a>.","ista":"Hu H, Jonas PM. 2014. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 17(5), 686–693.","apa":"Hu, H., &#38; Jonas, P. M. (2014). A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn.3678\">https://doi.org/10.1038/nn.3678</a>","mla":"Hu, Hua, and Peter M. Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.” <i>Nature Neuroscience</i>, vol. 17, no. 5, Nature Publishing Group, 2014, pp. 686–93, doi:<a href=\"https://doi.org/10.1038/nn.3678\">10.1038/nn.3678</a>."},"issue":"5","language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"PeJo"}],"month":"03","quality_controlled":"1","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4286295/","open_access":"1"}],"page":"686-693","type":"journal_article","_id":"2228","date_updated":"2021-01-12T06:56:08Z","publisher":"Nature Publishing Group","doi":"10.1038/nn.3678","date_published":"2014-03-23T00:00:00Z","ec_funded":1,"publication":"Nature Neuroscience","status":"public","project":[{"name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","grant_number":"268548","call_identifier":"FP7","_id":"25C0F108-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"P24909-B24","name":"Mechanisms of transmitter release at GABAergic synapses","_id":"25C26B1E-B435-11E9-9278-68D0E5697425"}],"publist_id":"4733","year":"2014"},{"intvolume":"       343","abstract":[{"text":"The distance between Ca^2+ channels and release sensors determines the speed and efficacy of synaptic transmission. Tight &quot;nanodomain&quot; channel-sensor coupling initiates transmitter release at synapses in the mature brain, whereas loose &quot;microdomain&quot; coupling appears restricted to early developmental stages. To probe the coupling configuration at a plastic synapse in the mature central nervous system, we performed paired recordings between mossy fiber terminals and CA3 pyramidal neurons in rat hippocampus. Millimolar concentrations of both the fast Ca^2+ chelator BAPTA [1,2-bis(2-aminophenoxy)ethane- N,N, N′,N′-tetraacetic acid] and the slow chelator EGTA efficiently suppressed transmitter release, indicating loose coupling between Ca^2+ channels and release sensors. Loose coupling enabled the control of initial release probability by fast endogenous Ca^2+ buffers and the generation of facilitation by buffer saturation. Thus, loose coupling provides the molecular framework for presynaptic plasticity.","lang":"eng"}],"publication_status":"published","publication_identifier":{"issn":["00368075"]},"title":"Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse","oa_version":"Submitted Version","author":[{"id":"36C4978E-F248-11E8-B48F-1D18A9856A87","full_name":"Vyleta, Nicholas","last_name":"Vyleta","first_name":"Nicholas"},{"orcid":"0000-0001-5001-4804","first_name":"Peter M","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas"}],"day":"01","scopus_import":1,"date_created":"2018-12-11T11:56:27Z","volume":343,"language":[{"iso":"eng"}],"oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","issue":"6171","citation":{"short":"N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.","ieee":"N. Vyleta and P. M. Jonas, “Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse,” <i>Science</i>, vol. 343, no. 6171. American Association for the Advancement of Science, pp. 665–670, 2014.","ama":"Vyleta N, Jonas PM. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. <i>Science</i>. 2014;343(6171):665-670. doi:<a href=\"https://doi.org/10.1126/science.1244811\">10.1126/science.1244811</a>","mla":"Vyleta, Nicholas, and Peter M. Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.” <i>Science</i>, vol. 343, no. 6171, American Association for the Advancement of Science, 2014, pp. 665–70, doi:<a href=\"https://doi.org/10.1126/science.1244811\">10.1126/science.1244811</a>.","apa":"Vyleta, N., &#38; Jonas, P. M. (2014). Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1244811\">https://doi.org/10.1126/science.1244811</a>","chicago":"Vyleta, Nicholas, and Peter M Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.” <i>Science</i>. American Association for the Advancement of Science, 2014. <a href=\"https://doi.org/10.1126/science.1244811\">https://doi.org/10.1126/science.1244811</a>.","ista":"Vyleta N, Jonas PM. 2014. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 343(6171), 665–670."},"month":"02","department":[{"_id":"PeJo"}],"page":"665 - 670","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3617475/"}],"publisher":"American Association for the Advancement of Science","doi":"10.1126/science.1244811","type":"journal_article","date_updated":"2021-01-12T06:56:09Z","_id":"2229","project":[{"_id":"25C26B1E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Mechanisms of transmitter release at GABAergic synapses","grant_number":"P24909-B24"},{"_id":"25C0F108-B435-11E9-9278-68D0E5697425","grant_number":"268548","name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","call_identifier":"FP7"}],"publication":"Science","status":"public","date_published":"2014-02-01T00:00:00Z","ec_funded":1,"year":"2014","publist_id":"4732"},{"file_date_updated":"2020-07-14T12:45:34Z","publication_identifier":{"issn":["16625196"]},"publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         8","abstract":[{"text":"Intracellular electrophysiological recordings provide crucial insights into elementary neuronal signals such as action potentials and synaptic currents. Analyzing and interpreting these signals is essential for a quantitative understanding of neuronal information processing, and requires both fast data visualization and ready access to complex analysis routines. To achieve this goal, we have developed Stimfit, a free software package for cellular neurophysiology with a Python scripting interface and a built-in Python shell. The program supports most standard file formats for cellular neurophysiology and other biomedical signals through the Biosig library. To quantify and interpret the activity of single neurons and communication between neurons, the program includes algorithms to characterize the kinetics of presynaptic action potentials and postsynaptic currents, estimate latencies between pre- and postsynaptic events, and detect spontaneously occurring events. We validate and benchmark these algorithms, give estimation errors, and provide sample use cases, showing that Stimfit represents an efficient, accessible and extensible way to accurately analyze and interpret neuronal signals.","lang":"eng"}],"has_accepted_license":"1","date_created":"2018-12-11T11:56:27Z","volume":8,"title":"Stimfit: Quantifying electrophysiological data with Python","oa_version":"Published Version","scopus_import":1,"day":"21","author":[{"last_name":"Guzmán","id":"30CC5506-F248-11E8-B48F-1D18A9856A87","full_name":"Guzmán, José","first_name":"José"},{"id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","full_name":"Schlögl, Alois","last_name":"Schlögl","first_name":"Alois","orcid":"0000-0002-5621-8100"},{"last_name":"Schmidt Hieber","full_name":"Schmidt Hieber, Christoph","first_name":"Christoph"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).","ieee":"J. Guzmán, A. Schlögl, and C. Schmidt Hieber, “Stimfit: Quantifying electrophysiological data with Python,” <i>Frontiers in Neuroinformatics</i>, vol. 8, no. FEB. Frontiers Research Foundation, 2014.","ama":"Guzmán J, Schlögl A, Schmidt Hieber C. Stimfit: Quantifying electrophysiological data with Python. <i>Frontiers in Neuroinformatics</i>. 2014;8(FEB). doi:<a href=\"https://doi.org/10.3389/fninf.2014.00016\">10.3389/fninf.2014.00016</a>","mla":"Guzmán, José, et al. “Stimfit: Quantifying Electrophysiological Data with Python.” <i>Frontiers in Neuroinformatics</i>, vol. 8, no. FEB, 16, Frontiers Research Foundation, 2014, doi:<a href=\"https://doi.org/10.3389/fninf.2014.00016\">10.3389/fninf.2014.00016</a>.","apa":"Guzmán, J., Schlögl, A., &#38; Schmidt Hieber, C. (2014). Stimfit: Quantifying electrophysiological data with Python. <i>Frontiers in Neuroinformatics</i>. Frontiers Research Foundation. <a href=\"https://doi.org/10.3389/fninf.2014.00016\">https://doi.org/10.3389/fninf.2014.00016</a>","ista":"Guzmán J, Schlögl A, Schmidt Hieber C. 2014. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 8(FEB), 16.","chicago":"Guzmán, José, Alois Schlögl, and Christoph Schmidt Hieber. “Stimfit: Quantifying Electrophysiological Data with Python.” <i>Frontiers in Neuroinformatics</i>. Frontiers Research Foundation, 2014. <a href=\"https://doi.org/10.3389/fninf.2014.00016\">https://doi.org/10.3389/fninf.2014.00016</a>."},"issue":"FEB","pubrep_id":"425","language":[{"iso":"eng"}],"oa":1,"article_number":"16","file":[{"relation":"main_file","checksum":"eeca00bba7232ff7d27db83321f6ea30","file_name":"IST-2016-425-v1+1_fninf-08-00016.pdf","content_type":"application/pdf","access_level":"open_access","file_id":"4935","date_created":"2018-12-12T10:12:17Z","file_size":2883372,"date_updated":"2020-07-14T12:45:34Z","creator":"system"}],"department":[{"_id":"ScienComp"},{"_id":"PeJo"}],"month":"02","quality_controlled":"1","ddc":["570"],"type":"journal_article","_id":"2230","date_updated":"2021-01-12T06:56:09Z","publisher":"Frontiers Research Foundation","doi":"10.3389/fninf.2014.00016","date_published":"2014-02-21T00:00:00Z","status":"public","publication":"Frontiers in Neuroinformatics","publist_id":"4731","year":"2014"},{"type":"journal_article","_id":"2231","date_updated":"2021-01-12T06:56:10Z","publisher":"Biophysical Society","doi":"10.1016/j.bpj.2014.01.014","quality_controlled":"1","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4026790/","open_access":"1"}],"page":"1194 - 1204","publist_id":"4730","external_id":{"pmid":["24606943"]},"year":"2014","date_published":"2014-03-04T00:00:00Z","pmid":1,"publication":"Biophysical Journal","status":"public","date_created":"2018-12-11T11:56:28Z","volume":106,"title":"Noise and information transmission in promoters with multiple internal states","oa_version":"Submitted Version","scopus_import":1,"day":"04","author":[{"first_name":"Georg","last_name":"Rieckh","id":"34DA8BD6-F248-11E8-B48F-1D18A9856A87","full_name":"Rieckh, Georg"},{"first_name":"Gasper","orcid":"0000-0002-6699-1455","last_name":"Tkacik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkacik, Gasper"}],"publication_identifier":{"issn":["00063495"]},"publication_status":"published","intvolume":"       106","abstract":[{"text":"Based on the measurements of noise in gene expression performed during the past decade, it has become customary to think of gene regulation in terms of a two-state model, where the promoter of a gene can stochastically switch between an ON and an OFF state. As experiments are becoming increasingly precise and the deviations from the two-state model start to be observable, we ask about the experimental signatures of complex multistate promoters, as well as the functional consequences of this additional complexity. In detail, we i), extend the calculations for noise in gene expression to promoters described by state transition diagrams with multiple states, ii), systematically compute the experimentally accessible noise characteristics for these complex promoters, and iii), use information theory to evaluate the channel capacities of complex promoter architectures and compare them with the baseline provided by the two-state model. We find that adding internal states to the promoter generically decreases channel capacity, except in certain cases, three of which (cooperativity, dual-role regulation, promoter cycling) we analyze in detail.","lang":"eng"}],"department":[{"_id":"GaTk"}],"month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Rieckh G, Tkačik G. 2014. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 106(5), 1194–1204.","chicago":"Rieckh, Georg, and Gašper Tkačik. “Noise and Information Transmission in Promoters with Multiple Internal States.” <i>Biophysical Journal</i>. Biophysical Society, 2014. <a href=\"https://doi.org/10.1016/j.bpj.2014.01.014\">https://doi.org/10.1016/j.bpj.2014.01.014</a>.","mla":"Rieckh, Georg, and Gašper Tkačik. “Noise and Information Transmission in Promoters with Multiple Internal States.” <i>Biophysical Journal</i>, vol. 106, no. 5, Biophysical Society, 2014, pp. 1194–204, doi:<a href=\"https://doi.org/10.1016/j.bpj.2014.01.014\">10.1016/j.bpj.2014.01.014</a>.","apa":"Rieckh, G., &#38; Tkačik, G. (2014). Noise and information transmission in promoters with multiple internal states. <i>Biophysical Journal</i>. Biophysical Society. <a href=\"https://doi.org/10.1016/j.bpj.2014.01.014\">https://doi.org/10.1016/j.bpj.2014.01.014</a>","ama":"Rieckh G, Tkačik G. Noise and information transmission in promoters with multiple internal states. <i>Biophysical Journal</i>. 2014;106(5):1194-1204. doi:<a href=\"https://doi.org/10.1016/j.bpj.2014.01.014\">10.1016/j.bpj.2014.01.014</a>","short":"G. Rieckh, G. Tkačik, Biophysical Journal 106 (2014) 1194–1204.","ieee":"G. Rieckh and G. Tkačik, “Noise and information transmission in promoters with multiple internal states,” <i>Biophysical Journal</i>, vol. 106, no. 5. Biophysical Society, pp. 1194–1204, 2014."},"issue":"5","language":[{"iso":"eng"}],"oa":1},{"article_type":"original","date_created":"2018-12-11T11:56:28Z","volume":2014,"oa_version":"Submitted Version","title":"Deterministic and stochastic aspects of the transition to turbulence","author":[{"last_name":"Song","id":"a79e57f5-e8a5-11ec-9dc9-83fb8c81cf72","full_name":"Song, Baofang","first_name":"Baofang"},{"orcid":"0000-0003-2057-2754","first_name":"Björn","last_name":"Hof","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"day":"01","publication_identifier":{"issn":["17425468"]},"publication_status":"published","abstract":[{"lang":"eng","text":"The purpose of this contribution is to summarize and discuss recent advances regarding the onset of turbulence in shear flows. The absence of a clear-cut instability mechanism, the spatio-temporal intermittent character and extremely long lived transients are some of the major difficulties encountered in these flows and have hindered progress towards understanding the transition process. We will show for the case of pipe flow that concepts from nonlinear dynamics and statistical physics can help to explain the onset of turbulence. In particular, the turbulent structures (puffs) observed close to onset are spatially localized chaotic transients and their lifetimes increase super-exponentially with Reynolds number. At the same time fluctuations of individual turbulent puffs can (although very rarely) lead to the nucleation of new puffs. The competition between these two stochastic processes gives rise to a non-equilibrium phase transition where turbulence changes from a super-transient to a sustained state."}],"intvolume":"      2014","article_number":"P02001","department":[{"_id":"BjHo"}],"arxiv":1,"month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"2","citation":{"apa":"Song, B., &#38; Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. <i>Journal of Statistical Mechanics Theory and Experiment</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1742-5468/2014/02/P02001\">https://doi.org/10.1088/1742-5468/2014/02/P02001</a>","mla":"Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.” <i>Journal of Statistical Mechanics Theory and Experiment</i>, vol. 2014, no. 2, P02001, IOP Publishing, 2014, doi:<a href=\"https://doi.org/10.1088/1742-5468/2014/02/P02001\">10.1088/1742-5468/2014/02/P02001</a>.","ista":"Song B, Hof B. 2014. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014(2), P02001.","chicago":"Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.” <i>Journal of Statistical Mechanics Theory and Experiment</i>. IOP Publishing, 2014. <a href=\"https://doi.org/10.1088/1742-5468/2014/02/P02001\">https://doi.org/10.1088/1742-5468/2014/02/P02001</a>.","ieee":"B. Song and B. Hof, “Deterministic and stochastic aspects of the transition to turbulence,” <i>Journal of Statistical Mechanics Theory and Experiment</i>, vol. 2014, no. 2. IOP Publishing, 2014.","short":"B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).","ama":"Song B, Hof B. Deterministic and stochastic aspects of the transition to turbulence. <i>Journal of Statistical Mechanics Theory and Experiment</i>. 2014;2014(2). doi:<a href=\"https://doi.org/10.1088/1742-5468/2014/02/P02001\">10.1088/1742-5468/2014/02/P02001</a>"},"language":[{"iso":"eng"}],"oa":1,"type":"journal_article","date_updated":"2022-06-10T10:13:15Z","_id":"2232","publisher":"IOP Publishing","doi":"10.1088/1742-5468/2014/02/P02001","article_processing_charge":"No","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1403.4516"}],"publist_id":"4729","external_id":{"arxiv":["1403.4516"]},"year":"2014","date_published":"2014-02-01T00:00:00Z","status":"public","publication":"Journal of Statistical Mechanics Theory and Experiment"}]