[{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"4728","department":[{"_id":"ToHe"}],"date_created":"2018-12-11T11:56:28Z","scopus_import":1,"date_published":"2014-02-13T00:00:00Z","publisher":"International Federation of Computational Logic","intvolume":"        10","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","oa":1,"year":"2014","date_updated":"2021-01-12T06:56:11Z","publication":"Logical Methods in Computer Science","month":"02","file_date_updated":"2020-07-14T12:45:34Z","ddc":["000"],"pubrep_id":"389","citation":{"chicago":"Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2014. <a href=\"https://doi.org/10.2168/LMCS-10(1:10)2014\">https://doi.org/10.2168/LMCS-10(1:10)2014</a>.","mla":"Boker, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” <i>Logical Methods in Computer Science</i>, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:<a href=\"https://doi.org/10.2168/LMCS-10(1:10)2014\">10.2168/LMCS-10(1:10)2014</a>.","apa":"Boker, U., &#38; Henzinger, T. A. (2014). Exact and approximate determinization of discounted-sum automata. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.2168/LMCS-10(1:10)2014\">https://doi.org/10.2168/LMCS-10(1:10)2014</a>","ieee":"U. Boker and T. A. Henzinger, “Exact and approximate determinization of discounted-sum automata,” <i>Logical Methods in Computer Science</i>, vol. 10, no. 1. International Federation of Computational Logic, 2014.","short":"U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).","ista":"Boker U, Henzinger TA. 2014. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 10(1).","ama":"Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum automata. <i>Logical Methods in Computer Science</i>. 2014;10(1). doi:<a href=\"https://doi.org/10.2168/LMCS-10(1:10)2014\">10.2168/LMCS-10(1:10)2014</a>"},"day":"13","oa_version":"Published Version","file":[{"checksum":"9f6ea2e2d8d4a32ff0becc29d835bbf8","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:45:34Z","relation":"main_file","creator":"system","file_size":550936,"file_name":"IST-2015-389-v1+1_1401.3957.pdf","date_created":"2018-12-12T10:07:45Z","file_id":"4643"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":10,"has_accepted_license":"1","_id":"2233","title":"Exact and approximate determinization of discounted-sum automata","author":[{"first_name":"Udi","last_name":"Boker","full_name":"Boker, Udi"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.2168/LMCS-10(1:10)2014","abstract":[{"lang":"eng","text":" A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by λi, where the discount factor λ is a fixed rational number greater than 1. The value of a word is the minimal value of the automaton runs on it. Discounted summation is a common and useful measuring scheme, especially for infinite sequences, reflecting the assumption that earlier weights are more important than later weights. Unfortunately, determinization of NDAs, which is often essential in formal verification, is, in general, not possible. We provide positive news, showing that every NDA with an integral discount factor is determinizable. We complete the picture by proving that the integers characterize exactly the discount factors that guarantee determinizability: for every nonintegral rational discount factor λ, there is a nondeterminizable λ-NDA. We also prove that the class of NDAs with integral discount factors enjoys closure under the algebraic operations min, max, addition, and subtraction, which is not the case for general NDAs nor for deterministic NDAs. For general NDAs, we look into approximate determinization, which is always possible as the influence of a word's suffix decays. We show that the naive approach, of unfolding the automaton computations up to a sufficient level, is doubly exponential in the discount factor. We provide an alternative construction for approximate determinization, which is singly exponential in the discount factor, in the precision, and in the number of states. We also prove matching lower bounds, showing that the exponential dependency on each of these three parameters cannot be avoided. All our results hold equally for automata over finite words and for automata over infinite words. "}],"issue":"1","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"issn":["18605974"]},"ec_funded":1,"publication_status":"published","status":"public"},{"department":[{"_id":"KrCh"}],"publist_id":"4727","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_published":"2014-02-14T00:00:00Z","scopus_import":1,"date_created":"2018-12-11T11:56:29Z","main_file_link":[{"url":"http://repository.ist.ac.at/id/eprint/428","open_access":"1"}],"intvolume":"        10","publisher":"International Federation of Computational Logic","quality_controlled":"1","language":[{"iso":"eng"}],"type":"journal_article","oa":1,"year":"2014","publication":"Logical Methods in Computer Science","date_updated":"2021-01-12T06:56:11Z","day":"14","citation":{"chicago":"Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Markov Decision Processes with Multiple Long-Run Average Objectives.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2014. <a href=\"https://doi.org/10.2168/LMCS-10(1:13)2014\">https://doi.org/10.2168/LMCS-10(1:13)2014</a>.","mla":"Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” <i>Logical Methods in Computer Science</i>, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:<a href=\"https://doi.org/10.2168/LMCS-10(1:13)2014\">10.2168/LMCS-10(1:13)2014</a>.","ieee":"T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Markov decision processes with multiple long-run average objectives,” <i>Logical Methods in Computer Science</i>, vol. 10, no. 1. International Federation of Computational Logic, 2014.","apa":"Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., &#38; Kučera, A. (2014). Markov decision processes with multiple long-run average objectives. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.2168/LMCS-10(1:13)2014\">https://doi.org/10.2168/LMCS-10(1:13)2014</a>","ama":"Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. <i>Logical Methods in Computer Science</i>. 2014;10(1). doi:<a href=\"https://doi.org/10.2168/LMCS-10(1:13)2014\">10.2168/LMCS-10(1:13)2014</a>","short":"T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).","ista":"Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2014. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 10(1)."},"pubrep_id":"428","file_date_updated":"2020-07-14T12:45:34Z","ddc":["000"],"month":"02","oa_version":"Published Version","file":[{"date_updated":"2020-07-14T12:45:34Z","checksum":"803edcc2d8c1acfba44a9ec43a5eb9f0","content_type":"application/pdf","access_level":"open_access","relation":"main_file","creator":"system","file_size":375388,"file_name":"IST-2016-428-v1+1_1104.3489.pdf","date_created":"2018-12-12T10:07:57Z","file_id":"4656"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","volume":10,"author":[{"first_name":"Tomáš","full_name":"Brázdil, Tomáš","last_name":"Brázdil"},{"full_name":"Brožek, Václav","last_name":"Brožek","first_name":"Václav"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Vojtěch","full_name":"Forejt, Vojtěch","last_name":"Forejt"},{"last_name":"Kučera","full_name":"Kučera, Antonín","first_name":"Antonín"}],"title":"Markov decision processes with multiple long-run average objectives","_id":"2234","issue":"1","abstract":[{"lang":"eng","text":"We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objectives. Given an MDP with κ limit-average functions, in the expectation objective the goal is to maximize the expected limit-average value, and in the satisfaction objective the goal is to maximize the probability of runs such that the limit-average value stays above a given vector. We show that under the expectation objective, in contrast to the case of one limit-average function, both randomization and memory are necessary for strategies even for ε-approximation, and that finite-memory randomized strategies are sufficient for achieving Pareto optimal values. Under the satisfaction objective, in contrast to the case of one limit-average function, infinite memory is necessary for strategies achieving a specific value (i.e. randomized finite-memory strategies are not sufficient), whereas memoryless randomized strategies are sufficient for ε-approximation, for all ε &gt; 0. We further prove that the decision problems for both expectation and satisfaction objectives can be solved in polynomial time and the trade-off curve (Pareto curve) can be ε-approximated in time polynomial in the size of the MDP and 1/ε, and exponential in the number of limit-average functions, for all ε &gt; 0. Our analysis also reveals flaws in previous work for MDPs with multiple mean-payoff functions under the expectation objective, corrects the flaws, and allows us to obtain improved results."}],"doi":"10.2168/LMCS-10(1:13)2014","publication_identifier":{"issn":["18605974"]},"project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"publication_status":"published","status":"public","ec_funded":1},{"oa":1,"year":"2014","publication":"Nature","date_updated":"2021-01-12T06:56:11Z","page":"364 - 366","department":[{"_id":"SyCr"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4726","date_published":"2014-02-20T00:00:00Z","scopus_import":1,"date_created":"2018-12-11T11:56:29Z","intvolume":"       506","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3985068/","open_access":"1"}],"publisher":"Nature Publishing Group","type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","author":[{"first_name":"Matthias","id":"393B1196-F248-11E8-B48F-1D18A9856A87","last_name":"Fürst","full_name":"Fürst, Matthias","orcid":"0000-0002-3712-925X"},{"first_name":"Dino","last_name":"Mcmahon","full_name":"Mcmahon, Dino"},{"first_name":"Juliet","full_name":"Osborne, Juliet","last_name":"Osborne"},{"first_name":"Robert","last_name":"Paxton","full_name":"Paxton, Robert"},{"first_name":"Mark","full_name":"Brown, Mark","last_name":"Brown"}],"title":"Disease associations between honeybees and bumblebees as a threat to wild pollinators","_id":"2235","issue":"7488","abstract":[{"lang":"eng","text":"Emerging infectious diseases (EIDs) pose a risk to human welfare, both directly and indirectly, by affecting managed livestock and wildlife that provide valuable resources and ecosystem services, such as the pollination of crops. Honeybees (Apis mellifera), the prevailing managed insect crop pollinator, suffer from a range of emerging and exotic high-impact pathogens, and population maintenance requires active management by beekeepers to control them. Wild pollinators such as bumblebees (Bombus spp.) are in global decline, one cause of which may be pathogen spillover from managed pollinators like honeybees or commercial colonies of bumblebees. Here we use a combination of infection experiments and landscape-scale field data to show that honeybee EIDs are indeed widespread infectious agents within the pollinator assemblage. The prevalence of deformed wing virus (DWV) and the exotic parasite Nosema ceranae in honeybees and bumblebees is linked; as honeybees have higher DWV prevalence, and sympatric bumblebees and honeybees are infected by the same DWV strains, Apis is the likely source of at least one major EID in wild pollinators. Lessons learned from vertebrates highlight the need for increased pathogen control in managed bee species to maintain wild pollinators, as declines in native pollinators may be caused by interspecies pathogen transmission originating from managed pollinators."}],"doi":"10.1038/nature12977","publication_identifier":{"issn":["00280836"]},"status":"public","publication_status":"published","day":"20","citation":{"ama":"Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. Disease associations between honeybees and bumblebees as a threat to wild pollinators. <i>Nature</i>. 2014;506(7488):364-366. doi:<a href=\"https://doi.org/10.1038/nature12977\">10.1038/nature12977</a>","ista":"Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. 2014. Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. 506(7488), 364–366.","short":"M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.","apa":"Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., &#38; Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature12977\">https://doi.org/10.1038/nature12977</a>","ieee":"M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, and M. Brown, “Disease associations between honeybees and bumblebees as a threat to wild pollinators,” <i>Nature</i>, vol. 506, no. 7488. Nature Publishing Group, pp. 364–366, 2014.","mla":"Fürst, Matthias, et al. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.” <i>Nature</i>, vol. 506, no. 7488, Nature Publishing Group, 2014, pp. 364–66, doi:<a href=\"https://doi.org/10.1038/nature12977\">10.1038/nature12977</a>.","chicago":"Fürst, Matthias, Dino Mcmahon, Juliet Osborne, Robert Paxton, and Mark Brown. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.” <i>Nature</i>. Nature Publishing Group, 2014. <a href=\"https://doi.org/10.1038/nature12977\">https://doi.org/10.1038/nature12977</a>."},"month":"02","oa_version":"Submitted Version","volume":506},{"editor":[{"first_name":"Yehuda","last_name":"Lindell","full_name":"Lindell, Yehuda"}],"_id":"2236","title":"How to fake auxiliary input","author":[{"full_name":"Jetchev, Dimitar","last_name":"Jetchev","first_name":"Dimitar"},{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z"}],"doi":"10.1007/978-3-642-54242-8_24","abstract":[{"lang":"eng","text":"Consider a joint distribution (X,A) on a set. We show that for any family of distinguishers, there exists a simulator such that 1 no function in can distinguish (X,A) from (X,h(X)) with advantage ε, 2 h is only O(2 3ℓ ε -2) times less efficient than the functions in. For the most interesting settings of the parameters (in particular, the cryptographic case where X has superlogarithmic min-entropy, ε &gt; 0 is negligible and consists of circuits of polynomial size), we can make the simulator h deterministic. As an illustrative application of our theorem, we give a new security proof for the leakage-resilient stream-cipher from Eurocrypt'09. Our proof is simpler and quantitatively much better than the original proof using the dense model theorem, giving meaningful security guarantees if instantiated with a standard blockcipher like AES. Subsequent to this work, Chung, Lui and Pass gave an interactive variant of our main theorem, and used it to investigate weak notions of Zero-Knowledge. Vadhan and Zheng give a more constructive version of our theorem using their new uniform min-max theorem."}],"project":[{"name":"Provable Security for Physical Cryptography","call_identifier":"FP7","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668"}],"publication_identifier":{"isbn":["978-364254241-1"]},"ec_funded":1,"status":"public","publication_status":"published","month":"02","file_date_updated":"2020-07-14T12:45:34Z","ddc":["004"],"pubrep_id":"681","citation":{"mla":"Jetchev, Dimitar, and Krzysztof Z. Pietrzak. <i>How to Fake Auxiliary Input</i>. Edited by Yehuda Lindell, vol. 8349, Springer, 2014, pp. 566–90, doi:<a href=\"https://doi.org/10.1007/978-3-642-54242-8_24\">10.1007/978-3-642-54242-8_24</a>.","chicago":"Jetchev, Dimitar, and Krzysztof Z Pietrzak. “How to Fake Auxiliary Input.” edited by Yehuda Lindell, 8349:566–90. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54242-8_24\">https://doi.org/10.1007/978-3-642-54242-8_24</a>.","ieee":"D. Jetchev and K. Z. Pietrzak, “How to fake auxiliary input,” presented at the TCC: Theory of Cryptography Conference, San Diego, USA, 2014, vol. 8349, pp. 566–590.","apa":"Jetchev, D., &#38; Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-54242-8_24\">https://doi.org/10.1007/978-3-642-54242-8_24</a>","ista":"Jetchev D, Pietrzak KZ. 2014. How to fake auxiliary input. TCC: Theory of Cryptography Conference, LNCS, vol. 8349, 566–590.","ama":"Jetchev D, Pietrzak KZ. How to fake auxiliary input. In: Lindell Y, ed. Vol 8349. Springer; 2014:566-590. doi:<a href=\"https://doi.org/10.1007/978-3-642-54242-8_24\">10.1007/978-3-642-54242-8_24</a>","short":"D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590."},"day":"01","oa_version":"Submitted Version","conference":{"name":"TCC: Theory of Cryptography Conference","location":"San Diego, USA","start_date":"2014-02-24","end_date":"2014-02-26"},"file":[{"relation":"main_file","file_size":313528,"creator":"system","file_name":"IST-2016-681-v1+1_869_1_.pdf","date_updated":"2020-07-14T12:45:34Z","checksum":"42960325c29dcd8d832edadcc3ce0045","content_type":"application/pdf","access_level":"open_access","date_created":"2018-12-12T10:17:21Z","file_id":"5275"}],"volume":8349,"has_accepted_license":"1","oa":1,"alternative_title":["LNCS"],"year":"2014","date_updated":"2021-01-12T06:56:12Z","page":"566 - 590","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4725","department":[{"_id":"KrPi"}],"date_created":"2018-12-11T11:56:29Z","date_published":"2014-02-01T00:00:00Z","publisher":"Springer","main_file_link":[{"url":"https://repository.ist.ac.at/id/eprint/681","open_access":"1"}],"intvolume":"      8349","quality_controlled":"1","language":[{"iso":"eng"}],"type":"conference"},{"scopus_import":1,"date_created":"2018-12-11T11:56:30Z","date_published":"2014-01-13T00:00:00Z","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4722","department":[{"_id":"ToHe"}],"type":"conference","language":[{"iso":"eng"}],"quality_controlled":"1","intvolume":"        49","publisher":"ACM","year":"2014","page":"595 - 606","date_updated":"2021-01-12T06:56:13Z","conference":{"start_date":"2014-01-22","location":"San Diego, USA","end_date":"2014-01-24","name":"POPL: Principles of Programming Languages"},"oa_version":"None","month":"01","day":"13","citation":{"ieee":"U. Boker, T. A. Henzinger, and A. Radhakrishna, “Battery transition systems,” presented at the POPL: Principles of Programming Languages, San Diego, USA, 2014, vol. 49, no. 1, pp. 595–606.","apa":"Boker, U., Henzinger, T. A., &#38; Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM. <a href=\"https://doi.org/10.1145/2535838.2535875\">https://doi.org/10.1145/2535838.2535875</a>","ama":"Boker U, Henzinger TA, Radhakrishna A. Battery transition systems. In: Vol 49. ACM; 2014:595-606. doi:<a href=\"https://doi.org/10.1145/2535838.2535875\">10.1145/2535838.2535875</a>","short":"U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.","ista":"Boker U, Henzinger TA, Radhakrishna A. 2014. Battery transition systems. POPL: Principles of Programming Languages vol. 49, 595–606.","chicago":"Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,” 49:595–606. ACM, 2014. <a href=\"https://doi.org/10.1145/2535838.2535875\">https://doi.org/10.1145/2535838.2535875</a>.","mla":"Boker, Udi, et al. <i>Battery Transition Systems</i>. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:<a href=\"https://doi.org/10.1145/2535838.2535875\">10.1145/2535838.2535875</a>."},"volume":49,"doi":"10.1145/2535838.2535875","issue":"1","abstract":[{"lang":"eng","text":"The analysis of the energy consumption of software is an important goal for quantitative formal methods. Current methods, using weighted transition systems or energy games, model the energy source as an ideal resource whose status is characterized by one number, namely the amount of remaining energy. Real batteries, however, exhibit behaviors that can deviate substantially from an ideal energy resource. Based on a discretization of a standard continuous battery model, we introduce battery transition systems. In this model, a battery is viewed as consisting of two parts-the available-charge tank and the bound-charge tank. Any charge or discharge is applied to the available-charge tank. Over time, the energy from each tank diffuses to the other tank. Battery transition systems are infinite state systems that, being not well-structured, fall into no decidable class that is known to us. Nonetheless, we are able to prove that the !-regular modelchecking problem is decidable for battery transition systems. We also present a case study on the verification of control programs for energy-constrained semi-autonomous robots."}],"_id":"2239","author":[{"last_name":"Boker","full_name":"Boker, Udi","first_name":"Udi","id":"31E297B6-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun"}],"title":"Battery transition systems","ec_funded":1,"publication_status":"published","status":"public","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"isbn":["978-145032544-8"]}},{"date_published":"2014-02-13T00:00:00Z","scopus_import":1,"date_created":"2018-12-11T11:56:31Z","oa_version":"None","department":[{"_id":"JiFr"}],"day":"13","citation":{"ieee":"A. Gadeyne <i>et al.</i>, “The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants,” <i>Cell</i>, vol. 156, no. 4. Cell Press, pp. 691–704, 2014.","apa":"Gadeyne, A., Sánchez Rodríguez, C., Vanneste, S., Di Rubbo, S., Zauber, H., Vanneste, K., … Van Damme, D. (2014). The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2014.01.039\">https://doi.org/10.1016/j.cell.2014.01.039</a>","ista":"Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.","ama":"Gadeyne A, Sánchez Rodríguez C, Vanneste S, et al. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. <i>Cell</i>. 2014;156(4):691-704. doi:<a href=\"https://doi.org/10.1016/j.cell.2014.01.039\">10.1016/j.cell.2014.01.039</a>","short":"A. Gadeyne, C. Sánchez Rodríguez, S. Vanneste, S. Di Rubbo, H. Zauber, K. Vanneste, J. Van Leene, N. De Winne, D. Eeckhout, G. Persiau, E. Van De Slijke, B. Cannoot, L. Vercruysse, J. Mayers, M. Adamowski, U. Kania, M. Ehrlich, A. Schweighofer, T. Ketelaar, S. Maere, S. Bednarek, J. Friml, K. Gevaert, E. Witters, E. Russinova, S. Persson, G. De Jaeger, D. Van Damme, Cell 156 (2014) 691–704.","mla":"Gadeyne, Astrid, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.” <i>Cell</i>, vol. 156, no. 4, Cell Press, 2014, pp. 691–704, doi:<a href=\"https://doi.org/10.1016/j.cell.2014.01.039\">10.1016/j.cell.2014.01.039</a>.","chicago":"Gadeyne, Astrid, Clara Sánchez Rodríguez, Steffen Vanneste, Simone Di Rubbo, Henrik Zauber, Kevin Vanneste, Jelle Van Leene, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.” <i>Cell</i>. Cell Press, 2014. <a href=\"https://doi.org/10.1016/j.cell.2014.01.039\">https://doi.org/10.1016/j.cell.2014.01.039</a>."},"publist_id":"4721","month":"02","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"type":"journal_article","quality_controlled":"1","volume":156,"intvolume":"       156","publisher":"Cell Press","issue":"4","year":"2014","abstract":[{"text":"Clathrin-mediated endocytosis is the major mechanism for eukaryotic plasma membrane-based proteome turn-over. In plants, clathrin-mediated endocytosis is essential for physiology and development, but the identification and organization of the machinery operating this process remains largely obscure. Here, we identified an eight-core-component protein complex, the TPLATE complex, essential for plant growth via its role as major adaptor module for clathrin-mediated endocytosis. This complex consists of evolutionarily unique proteins that associate closely with core endocytic elements. The TPLATE complex is recruited as dynamic foci at the plasma membrane preceding recruitment of adaptor protein complex 2, clathrin, and dynamin-related proteins. Reduced function of different complex components severely impaired internalization of assorted endocytic cargoes, demonstrating its pivotal role in clathrin-mediated endocytosis. Taken together, the TPLATE complex is an early endocytic module representing a unique evolutionary plant adaptation of the canonical eukaryotic pathway for clathrin-mediated endocytosis.","lang":"eng"}],"doi":"10.1016/j.cell.2014.01.039","author":[{"last_name":"Gadeyne","full_name":"Gadeyne, Astrid","first_name":"Astrid"},{"full_name":"Sánchez Rodríguez, Clara","last_name":"Sánchez Rodríguez","first_name":"Clara"},{"first_name":"Steffen","full_name":"Vanneste, Steffen","last_name":"Vanneste"},{"last_name":"Di Rubbo","full_name":"Di Rubbo, Simone","first_name":"Simone"},{"first_name":"Henrik","last_name":"Zauber","full_name":"Zauber, Henrik"},{"first_name":"Kevin","last_name":"Vanneste","full_name":"Vanneste, Kevin"},{"last_name":"Van Leene","full_name":"Van Leene, Jelle","first_name":"Jelle"},{"last_name":"De Winne","full_name":"De Winne, Nancy","first_name":"Nancy"},{"last_name":"Eeckhout","full_name":"Eeckhout, Dominique","first_name":"Dominique"},{"first_name":"Geert","last_name":"Persiau","full_name":"Persiau, Geert"},{"first_name":"Eveline","full_name":"Van De Slijke, Eveline","last_name":"Van De Slijke"},{"first_name":"Bernard","full_name":"Cannoot, Bernard","last_name":"Cannoot"},{"full_name":"Vercruysse, Leen","last_name":"Vercruysse","first_name":"Leen"},{"first_name":"Jonathan","last_name":"Mayers","full_name":"Mayers, Jonathan"},{"orcid":"0000-0001-6463-5257","first_name":"Maciek","id":"45F536D2-F248-11E8-B48F-1D18A9856A87","last_name":"Adamowski","full_name":"Adamowski, Maciek"},{"full_name":"Kania, Urszula","last_name":"Kania","id":"4AE5C486-F248-11E8-B48F-1D18A9856A87","first_name":"Urszula"},{"last_name":"Ehrlich","full_name":"Ehrlich, Matthias","first_name":"Matthias"},{"last_name":"Schweighofer","full_name":"Schweighofer, Alois","first_name":"Alois"},{"first_name":"Tijs","last_name":"Ketelaar","full_name":"Ketelaar, Tijs"},{"last_name":"Maere","full_name":"Maere, Steven","first_name":"Steven"},{"first_name":"Sebastian","last_name":"Bednarek","full_name":"Bednarek, Sebastian"},{"orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí"},{"first_name":"Kris","full_name":"Gevaert, Kris","last_name":"Gevaert"},{"full_name":"Witters, Erwin","last_name":"Witters","first_name":"Erwin"},{"first_name":"Eugenia","full_name":"Russinova, Eugenia","last_name":"Russinova"},{"last_name":"Persson","full_name":"Persson, Staffan","first_name":"Staffan"},{"first_name":"Geert","full_name":"De Jaeger, Geert","last_name":"De Jaeger"},{"full_name":"Van Damme, Daniël","last_name":"Van Damme","first_name":"Daniël"}],"title":"The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants","_id":"2240","publication_status":"published","status":"public","page":"691 - 704","publication_identifier":{"issn":["00928674"]},"publication":"Cell","date_updated":"2021-01-12T06:56:13Z"},{"intvolume":"        81","publisher":"Elsevier","language":[{"iso":"eng"}],"type":"journal_article","quality_controlled":"1","volume":81,"publist_id":"4715","month":"01","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"RySh"}],"day":"22","citation":{"short":"K. Beppu, T. Sasaki, K. Tanaka, A. Yamanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, Neuron 81 (2014) 314–320.","ama":"Beppu K, Sasaki T, Tanaka K, et al. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. <i>Neuron</i>. 2014;81(2):314-320. doi:<a href=\"https://doi.org/10.1016/j.neuron.2013.11.011\">10.1016/j.neuron.2013.11.011</a>","ista":"Beppu K, Sasaki T, Tanaka K, Yamanaka A, Fukazawa Y, Shigemoto R, Matsui K. 2014. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 81(2), 314–320.","ieee":"K. Beppu <i>et al.</i>, “Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage,” <i>Neuron</i>, vol. 81, no. 2. Elsevier, pp. 314–320, 2014.","apa":"Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., &#38; Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2013.11.011\">https://doi.org/10.1016/j.neuron.2013.11.011</a>","chicago":"Beppu, Kaoru, Takuya Sasaki, Kenji Tanaka, Akihiro Yamanaka, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.” <i>Neuron</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.neuron.2013.11.011\">https://doi.org/10.1016/j.neuron.2013.11.011</a>.","mla":"Beppu, Kaoru, et al. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.” <i>Neuron</i>, vol. 81, no. 2, Elsevier, 2014, pp. 314–20, doi:<a href=\"https://doi.org/10.1016/j.neuron.2013.11.011\">10.1016/j.neuron.2013.11.011</a>."},"scopus_import":1,"date_created":"2018-12-11T11:56:31Z","oa_version":"None","date_published":"2014-01-22T00:00:00Z","date_updated":"2021-01-12T06:56:14Z","publication_identifier":{"issn":["08966273"]},"publication":"Neuron","page":"314 - 320","status":"public","publication_status":"published","_id":"2241","author":[{"full_name":"Beppu, Kaoru","last_name":"Beppu","first_name":"Kaoru"},{"first_name":"Takuya","full_name":"Sasaki, Takuya","last_name":"Sasaki"},{"last_name":"Tanaka","full_name":"Tanaka, Kenji","first_name":"Kenji"},{"full_name":"Yamanaka, Akihiro","last_name":"Yamanaka","first_name":"Akihiro"},{"first_name":"Yugo","full_name":"Fukazawa, Yugo","last_name":"Fukazawa"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Matsui, Ko","last_name":"Matsui","first_name":"Ko"}],"title":"Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage","doi":"10.1016/j.neuron.2013.11.011","issue":"2","year":"2014","abstract":[{"lang":"eng","text":"The brain demands high-energy supply and obstruction of blood flow causes rapid deterioration of the healthiness of brain cells. Two major events occur upon ischemia: acidosis and liberation of excess glutamate, which leads to excitotoxicity. However, cellular source of glutamate and its release mechanism upon ischemia remained unknown. Here we show a causal relationship between glial acidosis and neuronal excitotoxicity. As the major cation that flows through channelrhodopsin-2 (ChR2) is proton, this could be regarded as an optogenetic tool for instant intracellular acidification. Optical activation of ChR2 expressed in glial cells led to glial acidification and to release of glutamate. On the other hand, glial alkalization via optogenetic activation of a proton pump, archaerhodopsin (ArchT), led to cessation of glutamate release and to the relief of ischemic brain damage in vivo. Our results suggest that controlling glial pH may be an effective therapeutic strategy for intervention of ischemic brain damage."}]},{"citation":{"mla":"Dueck, Anne, et al. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.” <i>FEBS Letters</i>, vol. 588, no. 4, Elsevier, 2014, pp. 632–40, doi:<a href=\"https://doi.org/10.1016/j.febslet.2014.01.009\">10.1016/j.febslet.2014.01.009</a>.","chicago":"Dueck, Anne, Alexander Eichner, Michael K Sixt, and Gunter Meister. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.” <i>FEBS Letters</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.febslet.2014.01.009\">https://doi.org/10.1016/j.febslet.2014.01.009</a>.","short":"A. Dueck, A. Eichner, M.K. Sixt, G. Meister, FEBS Letters 588 (2014) 632–640.","ama":"Dueck A, Eichner A, Sixt MK, Meister G. A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. <i>FEBS Letters</i>. 2014;588(4):632-640. doi:<a href=\"https://doi.org/10.1016/j.febslet.2014.01.009\">10.1016/j.febslet.2014.01.009</a>","ista":"Dueck A, Eichner A, Sixt MK, Meister G. 2014. A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. 588(4), 632–640.","apa":"Dueck, A., Eichner, A., Sixt, M. K., &#38; Meister, G. (2014). A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.febslet.2014.01.009\">https://doi.org/10.1016/j.febslet.2014.01.009</a>","ieee":"A. Dueck, A. Eichner, M. K. Sixt, and G. Meister, “A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation,” <i>FEBS Letters</i>, vol. 588, no. 4. Elsevier, pp. 632–640, 2014."},"department":[{"_id":"MiSi"}],"day":"14","publist_id":"4714","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"02","date_published":"2014-02-14T00:00:00Z","oa_version":"None","date_created":"2018-12-11T11:56:31Z","scopus_import":1,"publisher":"Elsevier","intvolume":"       588","volume":588,"type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","title":"A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation","author":[{"first_name":"Anne","full_name":"Dueck, Anne","last_name":"Dueck"},{"last_name":"Eichner","full_name":"Eichner, Alexander","first_name":"Alexander","id":"4DFA52AE-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"},{"first_name":"Gunter","last_name":"Meister","full_name":"Meister, Gunter"}],"_id":"2242","abstract":[{"lang":"eng","text":"MicroRNAs (miRNAs) are small RNAs that play important regulatory roles in many cellular pathways. MiRNAs associate with members of the Argonaute protein family and bind to partially complementary sequences on mRNAs and induce translational repression or mRNA decay. Using deep sequencing and Northern blotting, we characterized miRNA expression in wild type and miR-155-deficient dendritic cells (DCs) and macrophages. Analysis of different stimuli (LPS, LDL, eLDL, oxLDL) reveals a direct influence of miR-155 on the expression levels of other miRNAs. For example, miR-455 is negatively regulated in miR-155-deficient cells possibly due to inhibition of the transcription factor C/EBPbeta by miR-155. Based on our comprehensive data sets, we propose a model of hierarchical miRNA expression dominated by miR-155 in DCs and macrophages."}],"issue":"4","year":"2014","doi":"10.1016/j.febslet.2014.01.009","publication_identifier":{"issn":["00145793"]},"publication":"FEBS Letters","date_updated":"2021-01-12T06:56:14Z","publication_status":"published","status":"public","page":"632 - 640"},{"publication":"Plant Chemical Genomics","date_updated":"2021-01-12T06:56:15Z","page":"255 - 264","year":"2014","alternative_title":["Methods in Molecular Biology"],"series_title":"Methods in Molecular Biology","publisher":"Springer","intvolume":"      1056","quality_controlled":"1","language":[{"iso":"eng"}],"type":"book_chapter","department":[{"_id":"JiFr"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4704","date_published":"2014-01-01T00:00:00Z","date_created":"2018-12-11T11:56:32Z","scopus_import":1,"publication_identifier":{"issn":["10643745"]},"status":"public","publication_status":"published","title":"Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters","author":[{"orcid":"0000-0002-1998-6741","full_name":"Simon, Sibu","last_name":"Simon","id":"4542EF9A-F248-11E8-B48F-1D18A9856A87","first_name":"Sibu"},{"first_name":"Petr","last_name":"Skůpa","full_name":"Skůpa, Petr"},{"full_name":"Dobrev, Petre","last_name":"Dobrev","first_name":"Petre"},{"first_name":"Jan","last_name":"Petrášek","full_name":"Petrášek, Jan"},{"full_name":"Zažímalová, Eva","last_name":"Zažímalová","first_name":"Eva"},{"orcid":"0000-0002-8302-7596","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jirí"}],"editor":[{"last_name":"Hicks","full_name":"Hicks, Glenn","first_name":"Glenn"},{"first_name":"Stéphanie","full_name":"Robert, Stéphanie","last_name":"Robert"}],"_id":"2245","abstract":[{"lang":"eng","text":"Exogenous application of biologically important molecules for plant growth promotion and/or regulation is very common both in plant research and horticulture. Plant hormones such as auxins and cytokinins are classes of compounds which are often applied exogenously. Nevertheless, plants possess a well-established machinery to regulate the active pool of exogenously applied compounds by converting them to metabolites and conjugates. Consequently, it is often very useful to know the in vivo status of applied compounds to connect them with some of the regulatory events in plant developmental processes. The in vivo status of applied compounds can be measured by incubating plants with radiolabeled compounds, followed by extraction, purification, and HPLC metabolic profiling of plant extracts. Recently we have used this method to characterize the intracellularly localized PIN protein, PIN5. Here we explain the method in detail, with a focus on general application. "}],"doi":"10.1007/978-1-62703-592-7_23","volume":1056,"citation":{"mla":"Simon, Sibu, et al. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” <i>Plant Chemical Genomics</i>, edited by Glenn Hicks and Stéphanie Robert, vol. 1056, Springer, 2014, pp. 255–64, doi:<a href=\"https://doi.org/10.1007/978-1-62703-592-7_23\">10.1007/978-1-62703-592-7_23</a>.","chicago":"Simon, Sibu, Petr Skůpa, Petre Dobrev, Jan Petrášek, Eva Zažímalová, and Jiří Friml. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” In <i>Plant Chemical Genomics</i>, edited by Glenn Hicks and Stéphanie Robert, 1056:255–64. Methods in Molecular Biology. Springer, 2014. <a href=\"https://doi.org/10.1007/978-1-62703-592-7_23\">https://doi.org/10.1007/978-1-62703-592-7_23</a>.","short":"S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.","ista":"Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. 2014.Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Plant Chemical Genomics. Methods in Molecular Biology, vol. 1056, 255–264.","ama":"Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Hicks G, Robert S, eds. <i>Plant Chemical Genomics</i>. Vol 1056. Methods in Molecular Biology. Springer; 2014:255-264. doi:<a href=\"https://doi.org/10.1007/978-1-62703-592-7_23\">10.1007/978-1-62703-592-7_23</a>","ieee":"S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, and J. Friml, “Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters,” in <i>Plant Chemical Genomics</i>, vol. 1056, G. Hicks and S. Robert, Eds. Springer, 2014, pp. 255–264.","apa":"Simon, S., Skůpa, P., Dobrev, P., Petrášek, J., Zažímalová, E., &#38; Friml, J. (2014). Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In G. Hicks &#38; S. Robert (Eds.), <i>Plant Chemical Genomics</i> (Vol. 1056, pp. 255–264). Springer. <a href=\"https://doi.org/10.1007/978-1-62703-592-7_23\">https://doi.org/10.1007/978-1-62703-592-7_23</a>"},"day":"01","month":"01","oa_version":"None"},{"citation":{"chicago":"Grinshpun, Andrey, Pakawat Phalitnonkiat, Sasha Rubin, and Andrei Tarfulea. “Alternating Traps in Muller and Parity Games.” <i>Theoretical Computer Science</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.tcs.2013.11.032\">https://doi.org/10.1016/j.tcs.2013.11.032</a>.","mla":"Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” <i>Theoretical Computer Science</i>, vol. 521, Elsevier, 2014, pp. 73–91, doi:<a href=\"https://doi.org/10.1016/j.tcs.2013.11.032\">10.1016/j.tcs.2013.11.032</a>.","ama":"Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. Alternating traps in Muller and parity games. <i>Theoretical Computer Science</i>. 2014;521:73-91. doi:<a href=\"https://doi.org/10.1016/j.tcs.2013.11.032\">10.1016/j.tcs.2013.11.032</a>","short":"A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.","ista":"Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.","apa":"Grinshpun, A., Phalitnonkiat, P., Rubin, S., &#38; Tarfulea, A. (2014). Alternating traps in Muller and parity games. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2013.11.032\">https://doi.org/10.1016/j.tcs.2013.11.032</a>","ieee":"A. Grinshpun, P. Phalitnonkiat, S. Rubin, and A. Tarfulea, “Alternating traps in Muller and parity games,” <i>Theoretical Computer Science</i>, vol. 521. Elsevier, pp. 73–91, 2014."},"department":[{"_id":"KrCh"}],"day":"13","publist_id":"4703","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"02","date_published":"2014-02-13T00:00:00Z","oa_version":"Submitted Version","date_created":"2018-12-11T11:56:33Z","scopus_import":1,"publisher":"Elsevier","intvolume":"       521","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1303.3777"}],"volume":521,"language":[{"iso":"eng"}],"type":"journal_article","quality_controlled":"1","title":"Alternating traps in Muller and parity games","oa":1,"author":[{"full_name":"Grinshpun, Andrey","last_name":"Grinshpun","first_name":"Andrey"},{"first_name":"Pakawat","last_name":"Phalitnonkiat","full_name":"Phalitnonkiat, Pakawat"},{"first_name":"Sasha","id":"2EC51194-F248-11E8-B48F-1D18A9856A87","last_name":"Rubin","full_name":"Rubin, Sasha"},{"last_name":"Tarfulea","full_name":"Tarfulea, Andrei","first_name":"Andrei"}],"_id":"2246","abstract":[{"lang":"eng","text":"Muller games are played by two players moving a token along a graph; the winner is determined by the set of vertices that occur infinitely often. The central algorithmic problem is to compute the winning regions for the players. Different classes and representations of Muller games lead to problems of varying computational complexity. One such class are parity games; these are of particular significance in computational complexity, as they remain one of the few combinatorial problems known to be in NP ∩ co-NP but not known to be in P. We show that winning regions for a Muller game can be determined from the alternating structure of its traps. To every Muller game we then associate a natural number that we call its trap depth; this parameter measures how complicated the trap structure is. We present algorithms for parity games that run in polynomial time for graphs of bounded trap depth, and in general run in time exponential in the trap depth. "}],"year":"2014","doi":"10.1016/j.tcs.2013.11.032","publication":"Theoretical Computer Science","publication_identifier":{"issn":["03043975"]},"date_updated":"2021-01-12T06:56:16Z","publication_status":"published","status":"public","page":"73 - 91"},{"publist_id":"4701","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"01","citation":{"apa":"Capek, D., Metscher, B., &#38; Müller, G. (2014). Thumbs down: A molecular-morphogenetic approach to avian digit homology. <i>Journal of Experimental Zoology Part B: Molecular and Developmental Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/jez.b.22545\">https://doi.org/10.1002/jez.b.22545</a>","ieee":"D. Capek, B. Metscher, and G. Müller, “Thumbs down: A molecular-morphogenetic approach to avian digit homology,” <i>Journal of Experimental Zoology Part B: Molecular and Developmental Evolution</i>, vol. 322, no. 1. Wiley-Blackwell, pp. 1–12, 2014.","ista":"Capek D, Metscher B, Müller G. 2014. Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 322(1), 1–12.","ama":"Capek D, Metscher B, Müller G. Thumbs down: A molecular-morphogenetic approach to avian digit homology. <i>Journal of Experimental Zoology Part B: Molecular and Developmental Evolution</i>. 2014;322(1):1-12. doi:<a href=\"https://doi.org/10.1002/jez.b.22545\">10.1002/jez.b.22545</a>","short":"D. Capek, B. Metscher, G. Müller, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 322 (2014) 1–12.","mla":"Capek, Daniel, et al. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.” <i>Journal of Experimental Zoology Part B: Molecular and Developmental Evolution</i>, vol. 322, no. 1, Wiley-Blackwell, 2014, pp. 1–12, doi:<a href=\"https://doi.org/10.1002/jez.b.22545\">10.1002/jez.b.22545</a>.","chicago":"Capek, Daniel, Brian Metscher, and Gerd Müller. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.” <i>Journal of Experimental Zoology Part B: Molecular and Developmental Evolution</i>. Wiley-Blackwell, 2014. <a href=\"https://doi.org/10.1002/jez.b.22545\">https://doi.org/10.1002/jez.b.22545</a>."},"department":[{"_id":"CaHe"}],"day":"01","oa_version":"None","date_created":"2018-12-11T11:56:33Z","scopus_import":1,"date_published":"2014-01-01T00:00:00Z","publisher":"Wiley-Blackwell","intvolume":"       322","volume":322,"type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"_id":"2248","title":"Thumbs down: A molecular-morphogenetic approach to avian digit homology","author":[{"orcid":"0000-0001-5199-9940","id":"31C42484-F248-11E8-B48F-1D18A9856A87","first_name":"Daniel","full_name":"Capek, Daniel","last_name":"Capek"},{"last_name":"Metscher","full_name":"Metscher, Brian","first_name":"Brian"},{"full_name":"Müller, Gerd","last_name":"Müller","first_name":"Gerd"}],"doi":"10.1002/jez.b.22545","abstract":[{"lang":"eng","text":"Avian forelimb digit homology remains one of the standard themes in comparative biology and EvoDevo research. In order to resolve the apparent contradictions between embryological and paleontological evidence a variety of hypotheses have been presented in recent years. The proposals range from excluding birds from the dinosaur clade, to assignments of homology by different criteria, or even assuming a hexadactyl tetrapod limb ground state. At present two approaches prevail: the frame shift hypothesis and the pyramid reduction hypothesis. While the former postulates a homeotic shift of digit identities, the latter argues for a gradual bilateral reduction of phalanges and digits. Here we present a new model that integrates elements from both hypotheses with the existing experimental and fossil evidence. We start from the main feature common to both earlier concepts, the initiating ontogenetic event: reduction and loss of the anterior-most digit. It is proposed that a concerted mechanism of molecular regulation and developmental mechanics is capable of shifting the boundaries of hoxD expression in embryonic forelimb buds as well as changing the digit phenotypes. Based on a distinction between positional (topological) and compositional (phenotypic) homology criteria, we argue that the identity of the avian digits is II, III, IV, despite a partially altered phenotype. Finally, we introduce an alternative digit reduction scheme that reconciles the current fossil evidence with the presented molecular-morphogenetic model. Our approach identifies specific experiments that allow to test whether gene expression can be shifted and digit phenotypes can be altered by induced digit loss or digit gain."}],"issue":"1","year":"2014","date_updated":"2021-01-12T06:56:16Z","publication_identifier":{"issn":["15525007"]},"publication":"Journal of Experimental Zoology Part B: Molecular and Developmental Evolution","page":"1 - 12","status":"public","publication_status":"published"},{"publication_identifier":{"issn":["09607412"]},"status":"public","publication_status":"published","_id":"2249","author":[{"full_name":"Chen, Yani","last_name":"Chen","first_name":"Yani"},{"full_name":"Aung, Kyaw","last_name":"Aung","first_name":"Kyaw"},{"full_name":"Rolčík, Jakub","last_name":"Rolčík","first_name":"Jakub"},{"full_name":"Walicki, Kathryn","last_name":"Walicki","first_name":"Kathryn"},{"first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596"},{"first_name":"Federica","full_name":"Brandizzí, Federica","last_name":"Brandizzí"}],"title":"Inter-regulation of the unfolded protein response and auxin signaling","doi":"10.1111/tpj.12373","issue":"1","abstract":[{"lang":"eng","text":"The unfolded protein response (UPR) is a signaling network triggered by overload of protein-folding demand in the endoplasmic reticulum (ER), a condition termed ER stress. The UPR is critical for growth and development; nonetheless, connections between the UPR and other cellular regulatory processes remain largely unknown. Here, we identify a link between the UPR and the phytohormone auxin, a master regulator of plant physiology. We show that ER stress triggers down-regulation of auxin receptors and transporters in Arabidopsis thaliana. We also demonstrate that an Arabidopsis mutant of a conserved ER stress sensor IRE1 exhibits defects in the auxin response and levels. These data not only support that the plant IRE1 is required for auxin homeostasis, they also reveal a species-specific feature of IRE1 in multicellular eukaryotes. Furthermore, by establishing that UPR activation is reduced in mutants of ER-localized auxin transporters, including PIN5, we define a long-neglected biological significance of ER-based auxin regulation. We further examine the functional relationship of IRE1 and PIN5 by showing that an ire1 pin5 triple mutant enhances defects of UPR activation and auxin homeostasis in ire1 or pin5. Our results imply that the plant UPR has evolved a hormone-dependent strategy for coordinating ER function with physiological processes."}],"volume":77,"month":"01","day":"01","citation":{"chicago":"Chen, Yani, Kyaw Aung, Jakub Rolčík, Kathryn Walicki, Jiří Friml, and Federica Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” <i>Plant Journal</i>. Wiley-Blackwell, 2014. <a href=\"https://doi.org/10.1111/tpj.12373\">https://doi.org/10.1111/tpj.12373</a>.","mla":"Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” <i>Plant Journal</i>, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107, doi:<a href=\"https://doi.org/10.1111/tpj.12373\">10.1111/tpj.12373</a>.","ieee":"Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, and F. Brandizzí, “Inter-regulation of the unfolded protein response and auxin signaling,” <i>Plant Journal</i>, vol. 77, no. 1. Wiley-Blackwell, pp. 97–107, 2014.","apa":"Chen, Y., Aung, K., Rolčík, J., Walicki, K., Friml, J., &#38; Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. <i>Plant Journal</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/tpj.12373\">https://doi.org/10.1111/tpj.12373</a>","ista":"Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.","ama":"Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation of the unfolded protein response and auxin signaling. <i>Plant Journal</i>. 2014;77(1):97-107. doi:<a href=\"https://doi.org/10.1111/tpj.12373\">10.1111/tpj.12373</a>","short":"Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107."},"oa_version":"Submitted Version","date_updated":"2021-01-12T06:56:17Z","publication":"Plant Journal","page":"97 - 107","oa":1,"year":"2014","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3981873/","open_access":"1"}],"intvolume":"        77","publisher":"Wiley-Blackwell","type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4699","department":[{"_id":"JiFr"}],"scopus_import":1,"date_created":"2018-12-11T11:56:34Z","date_published":"2014-01-01T00:00:00Z"},{"pmid":1,"month":"02","ddc":["570"],"file_date_updated":"2020-07-14T12:45:34Z","day":"05","citation":{"mla":"Csicsvari, Jozsef L., and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>, vol. 369, no. 1635, 20120528, Royal Society, The, 2014, doi:<a href=\"https://doi.org/10.1098/rstb.2012.0528\">10.1098/rstb.2012.0528</a>.","chicago":"Csicsvari, Jozsef L, and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>. Royal Society, The, 2014. <a href=\"https://doi.org/10.1098/rstb.2012.0528\">https://doi.org/10.1098/rstb.2012.0528</a>.","ama":"Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. <i>Philosophical Transactions of the Royal Society of London Series B, Biological Sciences</i>. 2014;369(1635). doi:<a href=\"https://doi.org/10.1098/rstb.2012.0528\">10.1098/rstb.2012.0528</a>","short":"J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).","ista":"Csicsvari JL, Dupret D. 2014. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 369(1635), 20120528.","apa":"Csicsvari, J. L., &#38; Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>. Royal Society, The. <a href=\"https://doi.org/10.1098/rstb.2012.0528\">https://doi.org/10.1098/rstb.2012.0528</a>","ieee":"J. L. Csicsvari and D. Dupret, “Sharp wave/ripple network oscillations and learning-associated hippocampal maps,” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>, vol. 369, no. 1635. Royal Society, The, 2014."},"pubrep_id":"527","oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"checksum":"51beb33de71c9c19e0c205a20d206f9a","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:45:34Z","relation":"main_file","file_size":771896,"creator":"system","file_name":"IST-2016-527-v1+1_20120528.full.pdf","date_created":"2018-12-12T10:13:24Z","file_id":"5006"}],"article_processing_charge":"No","volume":369,"has_accepted_license":"1","_id":"2251","author":[{"last_name":"Csicsvari","full_name":"Csicsvari, Jozsef L","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5193-4036"},{"first_name":"David","last_name":"Dupret","full_name":"Dupret, David"}],"title":"Sharp wave/ripple network oscillations and learning-associated hippocampal maps","doi":"10.1098/rstb.2012.0528","issue":"1635","abstract":[{"lang":"eng","text":"Sharp wave/ripple (SWR, 150–250 Hz) hippocampal events have long been postulated to be involved in memory consolidation. However, more recent work has investigated SWRs that occur during active waking behaviour: findings that suggest that SWRs may also play a role in cell assembly strengthening or spatial working memory. Do such theories of SWR function apply to animal learning? This review discusses how general theories linking SWRs to memory-related function may explain circuit mechanisms related to rodent spatial learning and to the associated stabilization of new cognitive maps."}],"publication_identifier":{"issn":["09628436"]},"publication_status":"published","status":"public","acknowledgement":"CC BY 3.0","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"4697","department":[{"_id":"JoCs"}],"scopus_import":1,"date_created":"2018-12-11T11:56:34Z","date_published":"2014-02-05T00:00:00Z","external_id":{"pmid":["24366138"]},"intvolume":"       369","publisher":"Royal Society, The","type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","oa":1,"year":"2014","date_updated":"2021-01-12T06:56:18Z","publication":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences","article_number":"20120528"},{"abstract":[{"lang":"eng","text":"The pattern of inheritance and mechanism of sex determination can have important evolutionary consequences. We studied probabilistic sex determination in the ciliate Tetrahymena thermophila, which was previously shown to cause evolution of skewed sex ratios. We find that the genetic background alters the sex determination patterns of mat alleles in heterozygotes and that allelic interaction can differentially influence the expression probability of the 7 sexes. We quantify the dominance relationships between several mat alleles and find that A-type alleles, which specify sex I, are indeed recessive to B-type alleles, which are unable to specify that sex. Our results provide additional support for the presence of modifier loci and raise implications for the dynamics of sex ratios in populations of T. thermophila."}],"issue":"1","year":"2014","doi":"10.1093/jhered/est063","title":"Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila","author":[{"full_name":"Phadke, Sujal","last_name":"Phadke","first_name":"Sujal"},{"orcid":"0000-0003-2361-3953","last_name":"Paixao","full_name":"Paixao, Tiago","first_name":"Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Tuan","last_name":"Pham","full_name":"Pham, Tuan"},{"last_name":"Pham","full_name":"Pham, Stephanie","first_name":"Stephanie"},{"first_name":"Rebecca","full_name":"Zufall, Rebecca","last_name":"Zufall"}],"_id":"2252","publication_status":"published","status":"public","page":"130 - 135","publication_identifier":{"issn":["00221503"]},"publication":"Journal of Heredity","date_updated":"2022-08-25T14:45:42Z","date_published":"2014-01-01T00:00:00Z","oa_version":"None","date_created":"2018-12-11T11:56:35Z","scopus_import":"1","citation":{"chicago":"Phadke, Sujal, Tiago Paixao, Tuan Pham, Stephanie Pham, and Rebecca Zufall. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.” <i>Journal of Heredity</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/jhered/est063\">https://doi.org/10.1093/jhered/est063</a>.","mla":"Phadke, Sujal, et al. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.” <i>Journal of Heredity</i>, vol. 105, no. 1, Oxford University Press, 2014, pp. 130–35, doi:<a href=\"https://doi.org/10.1093/jhered/est063\">10.1093/jhered/est063</a>.","short":"S. Phadke, T. Paixao, T. Pham, S. Pham, R. Zufall, Journal of Heredity 105 (2014) 130–135.","ista":"Phadke S, Paixao T, Pham T, Pham S, Zufall R. 2014. Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. 105(1), 130–135.","ama":"Phadke S, Paixao T, Pham T, Pham S, Zufall R. Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. <i>Journal of Heredity</i>. 2014;105(1):130-135. doi:<a href=\"https://doi.org/10.1093/jhered/est063\">10.1093/jhered/est063</a>","apa":"Phadke, S., Paixao, T., Pham, T., Pham, S., &#38; Zufall, R. (2014). Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. <i>Journal of Heredity</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/jhered/est063\">https://doi.org/10.1093/jhered/est063</a>","ieee":"S. Phadke, T. Paixao, T. Pham, S. Pham, and R. Zufall, “Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila,” <i>Journal of Heredity</i>, vol. 105, no. 1. Oxford University Press, pp. 130–135, 2014."},"day":"01","department":[{"_id":"NiBa"}],"publist_id":"4695","month":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","volume":105,"type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Oxford University Press","intvolume":"       105"},{"volume":77,"article_processing_charge":"No","citation":{"ieee":"A. Bailly <i>et al.</i>, “Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth,” <i>Plant Journal</i>, vol. 77, no. 1. Wiley-Blackwell, pp. 108–118, 2014.","apa":"Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., … Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. <i>Plant Journal</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/tpj.12369\">https://doi.org/10.1111/tpj.12369</a>","ista":"Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.","ama":"Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. <i>Plant Journal</i>. 2014;77(1):108-118. doi:<a href=\"https://doi.org/10.1111/tpj.12369\">10.1111/tpj.12369</a>","short":"A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.","chicago":"Bailly, Aurélien, Bangjun Wang, Marta Zwiewka, Stephan Pollmann, Daniel Schenck, Hartwig Lüthen, Alexander Schulz, Jiří Friml, and Markus Geisler. “Expression of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” <i>Plant Journal</i>. Wiley-Blackwell, 2014. <a href=\"https://doi.org/10.1111/tpj.12369\">https://doi.org/10.1111/tpj.12369</a>.","mla":"Bailly, Aurélien, et al. “Expression of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” <i>Plant Journal</i>, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:<a href=\"https://doi.org/10.1111/tpj.12369\">10.1111/tpj.12369</a>."},"day":"01","month":"01","oa_version":"Published Version","publication_identifier":{"issn":["09607412"]},"project":[{"name":"Innovationsförderung in der Grenzregion Österreich – Tschechische Republik durch die Schaffung von Synergien im Bereich der Forschungsinfrastruktur","_id":"256BDAB0-B435-11E9-9278-68D0E5697425"}],"status":"public","publication_status":"published","title":"Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth","author":[{"full_name":"Bailly, Aurélien","last_name":"Bailly","first_name":"Aurélien"},{"first_name":"Bangjun","last_name":"Wang","full_name":"Wang, Bangjun"},{"last_name":"Zwiewka","full_name":"Zwiewka, Marta","first_name":"Marta"},{"full_name":"Pollmann, Stephan","last_name":"Pollmann","first_name":"Stephan"},{"first_name":"Daniel","full_name":"Schenck, Daniel","last_name":"Schenck"},{"full_name":"Lüthen, Hartwig","last_name":"Lüthen","first_name":"Hartwig"},{"first_name":"Alexander","full_name":"Schulz, Alexander","last_name":"Schulz"},{"last_name":"Friml","full_name":"Friml, Jirí","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596"},{"full_name":"Geisler, Markus","last_name":"Geisler","first_name":"Markus"}],"_id":"2253","abstract":[{"text":"Plant growth is achieved predominantly by cellular elongation, which is thought to be controlled on several levels by apoplastic auxin. Auxin export into the apoplast is achieved by plasma membrane efflux catalysts of the PIN-FORMED (PIN) and ATP-binding cassette protein subfamily B/phosphor- glycoprotein (ABCB/PGP) classes; the latter were shown to depend on interaction with the FKBP42, TWISTED DWARF1 (TWD1). Here by using a transgenic approach in combination with phenotypical, biochemical and cell biological analyses we demonstrate the importance of a putative C-terminal in-plane membrane anchor of TWD1 in the regulation of ABCB-mediated auxin transport. In contrast with dwarfed twd1 loss-of-function alleles, TWD1 gain-of-function lines that lack a putative in-plane membrane anchor (HA-TWD1-Ct) show hypermorphic plant architecture, characterized by enhanced stem length and leaf surface but reduced shoot branching. Greater hypocotyl length is the result of enhanced cell elongation that correlates with reduced polar auxin transport capacity for HA-TWD1-Ct. As a consequence, HA-TWD1-Ct displays higher hypocotyl auxin accumulation, which is shown to result in elevated auxin-induced cell elongation rates. Our data highlight the importance of C-terminal membrane anchoring for TWD1 action, which is required for specific regulation of ABCB-mediated auxin transport. These data support a model in which TWD1 controls lateral ABCB1-mediated export into the apoplast, which is required for auxin-mediated cell elongation.","lang":"eng"}],"issue":"1","doi":"10.1111/tpj.12369","publisher":"Wiley-Blackwell","intvolume":"        77","main_file_link":[{"url":"https://doi.org/10.1111/tpj.12369","open_access":"1"}],"type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"4694","date_published":"2014-01-01T00:00:00Z","date_created":"2018-12-11T11:56:35Z","scopus_import":1,"publication":"Plant Journal","date_updated":"2021-01-12T06:56:18Z","page":"108 - 118","article_type":"original","oa":1,"year":"2014"},{"publisher":"Elsevier","intvolume":"        81","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","publist_id":"4692","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"PeJo"}],"date_created":"2018-12-11T11:56:35Z","scopus_import":1,"date_published":"2014-01-08T00:00:00Z","date_updated":"2021-01-12T06:56:19Z","publication":"Neuron","page":"140 - 152","oa":1,"year":"2014","file":[{"file_id":"4773","date_created":"2018-12-12T10:09:48Z","file_name":"IST-2016-422-v1+1_1-s2.0-S0896627313009227-main.pdf","relation":"main_file","file_size":4373072,"creator":"system","date_updated":"2020-07-14T12:45:35Z","access_level":"open_access","content_type":"application/pdf","checksum":"438547cfcd9045a22f065f2019f07849"}],"volume":81,"has_accepted_license":"1","file_date_updated":"2020-07-14T12:45:35Z","month":"01","ddc":["570"],"pubrep_id":"422","citation":{"mla":"Pernia-Andrade, Alejandro, and Peter M. Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.” <i>Neuron</i>, vol. 81, no. 1, Elsevier, 2014, pp. 140–52, doi:<a href=\"https://doi.org/10.1016/j.neuron.2013.09.046\">10.1016/j.neuron.2013.09.046</a>.","chicago":"Pernia-Andrade, Alejandro, and Peter M Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.” <i>Neuron</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.neuron.2013.09.046\">https://doi.org/10.1016/j.neuron.2013.09.046</a>.","ieee":"A. Pernia-Andrade and P. M. Jonas, “Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations,” <i>Neuron</i>, vol. 81, no. 1. Elsevier, pp. 140–152, 2014.","apa":"Pernia-Andrade, A., &#38; Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2013.09.046\">https://doi.org/10.1016/j.neuron.2013.09.046</a>","ista":"Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.","short":"A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.","ama":"Pernia-Andrade A, Jonas PM. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. <i>Neuron</i>. 2014;81(1):140-152. doi:<a href=\"https://doi.org/10.1016/j.neuron.2013.09.046\">10.1016/j.neuron.2013.09.046</a>"},"day":"08","oa_version":"Published Version","project":[{"call_identifier":"FP7","name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","_id":"25C0F108-B435-11E9-9278-68D0E5697425","grant_number":"268548"},{"grant_number":"P24909-B24","_id":"25C26B1E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Mechanisms of transmitter release at GABAergic synapses"}],"publication_identifier":{"issn":["08966273"]},"ec_funded":1,"publication_status":"published","status":"public","_id":"2254","title":"Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations","author":[{"full_name":"Pernia-Andrade, Alejandro","last_name":"Pernia-Andrade","id":"36963E98-F248-11E8-B48F-1D18A9856A87","first_name":"Alejandro"},{"orcid":"0000-0001-5001-4804","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","full_name":"Jonas, Peter M"}],"doi":"10.1016/j.neuron.2013.09.046","abstract":[{"lang":"eng","text":"Theta-gamma network oscillations are thought to represent key reference signals for information processing in neuronal ensembles, but the underlying synaptic mechanisms remain unclear. To address this question, we performed whole-cell (WC) patch-clamp recordings from mature hippocampal granule cells (GCs) in vivo in the dentate gyrus of anesthetized and awake rats. GCs in vivo fired action potentials at low frequency, consistent with sparse coding in the dentate gyrus. GCs were exposed to barrages of fast AMPAR-mediated excitatory postsynaptic currents (EPSCs), primarily relayed from the entorhinal cortex, and inhibitory postsynaptic currents (IPSCs), presumably generated by local interneurons. EPSCs exhibited coherence with the field potential predominantly in the theta frequency band, whereas IPSCs showed coherence primarily in the gamma range. Action potentials in GCs were phase locked to network oscillations. Thus, theta-gamma-modulated synaptic currents may provide a framework for sparse temporal coding of information in the dentate gyrus."}],"issue":"1"},{"oa_version":"Submitted Version","pubrep_id":"549","citation":{"apa":"Edelsbrunner, H., &#38; Pausinger, F. (2014). Stable length estimates of tube-like shapes. <i>Journal of Mathematical Imaging and Vision</i>. Springer. <a href=\"https://doi.org/10.1007/s10851-013-0468-x\">https://doi.org/10.1007/s10851-013-0468-x</a>","ieee":"H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” <i>Journal of Mathematical Imaging and Vision</i>, vol. 50, no. 1. Springer, pp. 164–177, 2014.","ista":"Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.","short":"H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.","ama":"Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. <i>Journal of Mathematical Imaging and Vision</i>. 2014;50(1):164-177. doi:<a href=\"https://doi.org/10.1007/s10851-013-0468-x\">10.1007/s10851-013-0468-x</a>","chicago":"Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” <i>Journal of Mathematical Imaging and Vision</i>. Springer, 2014. <a href=\"https://doi.org/10.1007/s10851-013-0468-x\">https://doi.org/10.1007/s10851-013-0468-x</a>.","mla":"Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” <i>Journal of Mathematical Imaging and Vision</i>, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi:<a href=\"https://doi.org/10.1007/s10851-013-0468-x\">10.1007/s10851-013-0468-x</a>."},"day":"01","ddc":["000"],"month":"09","file_date_updated":"2020-07-14T12:45:35Z","has_accepted_license":"1","volume":50,"file":[{"file_id":"5204","date_created":"2018-12-12T10:16:18Z","file_name":"IST-2016-549-v1+1_2014-J-06-LengthEstimate.pdf","relation":"main_file","creator":"system","file_size":3941391,"date_updated":"2020-07-14T12:45:35Z","access_level":"open_access","content_type":"application/pdf","checksum":"2f93f3e63a38a85cd4404d7953913b14"}],"abstract":[{"lang":"eng","text":"Motivated by applications in biology, we present an algorithm for estimating the length of tube-like shapes in 3-dimensional Euclidean space. In a first step, we combine the tube formula of Weyl with integral geometric methods to obtain an integral representation of the length, which we approximate using a variant of the Koksma-Hlawka Theorem. In a second step, we use tools from computational topology to decrease the dependence on small perturbations of the shape. We present computational experiments that shed light on the stability and the convergence rate of our algorithm."}],"issue":"1","doi":"10.1007/s10851-013-0468-x","title":"Stable length estimates of tube-like shapes","author":[{"last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833"},{"orcid":"0000-0002-8379-3768","last_name":"Pausinger","full_name":"Pausinger, Florian","first_name":"Florian","id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87"}],"_id":"2255","status":"public","publication_status":"published","ec_funded":1,"publication_identifier":{"issn":["09249907"]},"project":[{"_id":"255D761E-B435-11E9-9278-68D0E5697425","grant_number":"318493","name":"Topological Complex Systems","call_identifier":"FP7"}],"date_published":"2014-09-01T00:00:00Z","date_created":"2018-12-11T11:56:36Z","scopus_import":1,"department":[{"_id":"HeEd"}],"publist_id":"4691","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","type":"journal_article","language":[{"iso":"eng"}],"publisher":"Springer","intvolume":"        50","year":"2014","oa":1,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"2843"},{"status":"public","relation":"dissertation_contains","id":"1399"}]},"page":"164 - 177","publication":"Journal of Mathematical Imaging and Vision","date_updated":"2023-09-07T11:41:25Z"},{"publication":"PLoS Computational Biology","date_updated":"2024-02-21T13:46:14Z","related_material":{"record":[{"id":"5562","relation":"popular_science","status":"public"}]},"article_number":"e1003408","oa":1,"year":"2014","publisher":"Public Library of Science","intvolume":"        10","main_file_link":[{"open_access":"1","url":"http://repository.ist.ac.at/id/eprint/436"}],"type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"department":[{"_id":"GaTk"}],"publist_id":"4689","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_published":"2014-01-02T00:00:00Z","date_created":"2018-12-11T11:56:36Z","scopus_import":1,"publication_identifier":{"issn":["1553734X"]},"publication_status":"published","acknowledgement":"\r\n\r\n\r\n\r\nThis work was funded by NSF grant IIS-0613435, NSF grant PHY-0957573, NSF grant CCF-0939370, NIH grant R01 EY14196, NIH grant P50 GM071508, the Fannie and John Hertz Foundation, the Swartz Foundation, the WM Keck Foundation, ANR Optima and the French State program “Investissements d'Avenir” [LIFESENSES: ANR-10-LABX-65], and the Austrian Research Foundation FWF P25651.","status":"public","title":"Searching for collective behavior in a large network of sensory neurons","author":[{"orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gasper","full_name":"Tkacik, Gasper","last_name":"Tkacik"},{"last_name":"Marre","full_name":"Marre, Olivier","first_name":"Olivier"},{"full_name":"Amodei, Dario","last_name":"Amodei","first_name":"Dario"},{"first_name":"Elad","last_name":"Schneidman","full_name":"Schneidman, Elad"},{"full_name":"Bialek, William","last_name":"Bialek","first_name":"William"},{"first_name":"Michael","last_name":"Berry","full_name":"Berry, Michael"}],"_id":"2257","abstract":[{"lang":"eng","text":"Maximum entropy models are the least structured probability distributions that exactly reproduce a chosen set of statistics measured in an interacting network. Here we use this principle to construct probabilistic models which describe the correlated spiking activity of populations of up to 120 neurons in the salamander retina as it responds to natural movies. Already in groups as small as 10 neurons, interactions between spikes can no longer be regarded as small perturbations in an otherwise independent system; for 40 or more neurons pairwise interactions need to be supplemented by a global interaction that controls the distribution of synchrony in the population. Here we show that such “K-pairwise” models—being systematic extensions of the previously used pairwise Ising models—provide an excellent account of the data. We explore the properties of the neural vocabulary by: 1) estimating its entropy, which constrains the population's capacity to represent visual information; 2) classifying activity patterns into a small set of metastable collective modes; 3) showing that the neural codeword ensembles are extremely inhomogenous; 4) demonstrating that the state of individual neurons is highly predictable from the rest of the population, allowing the capacity for error correction."}],"issue":"1","doi":"10.1371/journal.pcbi.1003408","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_created":"2018-12-12T10:12:46Z","file_id":"4965","checksum":"c720222c5e924a4acb17f23b9381a6ca","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:45:35Z","relation":"main_file","creator":"system","file_size":2194790,"file_name":"IST-2016-436-v1+1_journal.pcbi.1003408.pdf"}],"has_accepted_license":"1","volume":10,"citation":{"chicago":"Tkačik, Gašper, Olivier Marre, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” <i>PLoS Computational Biology</i>. Public Library of Science, 2014. <a href=\"https://doi.org/10.1371/journal.pcbi.1003408\">https://doi.org/10.1371/journal.pcbi.1003408</a>.","mla":"Tkačik, Gašper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” <i>PLoS Computational Biology</i>, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1003408\">10.1371/journal.pcbi.1003408</a>.","ista":"Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. 2014. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 10(1), e1003408.","short":"G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).","ama":"Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. Searching for collective behavior in a large network of sensory neurons. <i>PLoS Computational Biology</i>. 2014;10(1). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1003408\">10.1371/journal.pcbi.1003408</a>","apa":"Tkačik, G., Marre, O., Amodei, D., Schneidman, E., Bialek, W., &#38; Berry, M. (2014). Searching for collective behavior in a large network of sensory neurons. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1003408\">https://doi.org/10.1371/journal.pcbi.1003408</a>","ieee":"G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Searching for collective behavior in a large network of sensory neurons,” <i>PLoS Computational Biology</i>, vol. 10, no. 1. Public Library of Science, 2014."},"pubrep_id":"436","day":"02","file_date_updated":"2020-07-14T12:45:35Z","ddc":["570"],"month":"01","oa_version":"Published Version"},{"status":"public","publication_status":"published","acknowledgement":"California Institute for Regenerative Medicine [RT2-01880 and TR2-01756]. Funding for open access charge: California Institute for Regenerative Medicine [RT2-01880 and TR2-01756]\r\nCC BY 3,0","doi":"10.1093/nar/gkt1290","issue":"5","abstract":[{"lang":"eng","text":"To reveal the full potential of human pluripotent stem cells, new methods for rapid, site-specific genomic engineering are needed. Here, we describe a system for precise genetic modification of human embryonic stem cells (ESCs) and induced pluripotent stem cells (iPSCs). We identified a novel human locus, H11, located in a safe, intergenic, transcriptionally active region of chromosome 22, as the recipient site, to provide robust, ubiquitous expression of inserted genes. Recipient cell lines were established by site-specific placement of a ‘landing pad’ cassette carrying attP sites for phiC31 and Bxb1 integrases at the H11 locus by spontaneous or TALEN-assisted homologous recombination. Dual integrase cassette exchange (DICE) mediated by phiC31 and Bxb1 integrases was used to insert genes of interest flanked by phiC31 and Bxb1 attB sites at the H11 locus, replacing the landing pad. This system provided complete control over content, direction and copy number of inserted genes, with a specificity of 100%. A series of genes, including mCherry and various combinations of the neural transcription factors LMX1a, FOXA2 and OTX2, were inserted in recipient cell lines derived from H9 ESC, as well as iPSC lines derived from a Parkinson’s disease patient and a normal sibling control. The DICE system offers rapid, efficient and precise gene insertion in ESC and iPSC and is particularly well suited for repeated modifications of the same locus."}],"_id":"2261","author":[{"first_name":"Fangfang","last_name":"Zhu","full_name":"Zhu, Fangfang"},{"first_name":"Matthew","full_name":"Gamboa, Matthew","last_name":"Gamboa"},{"full_name":"Farruggio, Alfonso","last_name":"Farruggio","first_name":"Alfonso"},{"full_name":"Hippenmeyer, Simon","last_name":"Hippenmeyer","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","orcid":"0000-0003-2279-1061"},{"last_name":"Tasic","full_name":"Tasic, Bosiljka","first_name":"Bosiljka"},{"first_name":"Birgitt","last_name":"Schüle","full_name":"Schüle, Birgitt"},{"last_name":"Chen Tsai","full_name":"Chen Tsai, Yanru","first_name":"Yanru"},{"full_name":"Calos, Michele","last_name":"Calos","first_name":"Michele"}],"title":"DICE, an efficient system for iterative genomic editing in human pluripotent stem cells","volume":42,"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"file_id":"4738","date_created":"2018-12-12T10:09:15Z","date_updated":"2020-07-14T12:45:35Z","access_level":"open_access","checksum":"e9268f5f96a820f04d7ebbf85927c3cb","content_type":"application/pdf","file_name":"IST-2018-961-v1+1_2014_Hippenmeyer_DICE.pdf","file_size":11044478,"relation":"main_file","creator":"system"}],"oa_version":"Preprint","file_date_updated":"2020-07-14T12:45:35Z","ddc":["571","610"],"month":"03","day":"05","citation":{"ama":"Zhu F, Gamboa M, Farruggio A, et al. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. <i>Nucleic Acids Research</i>. 2014;42(5). doi:<a href=\"https://doi.org/10.1093/nar/gkt1290\">10.1093/nar/gkt1290</a>","ista":"Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.","short":"F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).","ieee":"F. Zhu <i>et al.</i>, “DICE, an efficient system for iterative genomic editing in human pluripotent stem cells,” <i>Nucleic Acids Research</i>, vol. 42, no. 5. Oxford University Press, 2014.","apa":"Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B., … Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. <i>Nucleic Acids Research</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/nar/gkt1290\">https://doi.org/10.1093/nar/gkt1290</a>","chicago":"Zhu, Fangfang, Matthew Gamboa, Alfonso Farruggio, Simon Hippenmeyer, Bosiljka Tasic, Birgitt Schüle, Yanru Chen Tsai, and Michele Calos. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.” <i>Nucleic Acids Research</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/nar/gkt1290\">https://doi.org/10.1093/nar/gkt1290</a>.","mla":"Zhu, Fangfang, et al. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.” <i>Nucleic Acids Research</i>, vol. 42, no. 5, e34, Oxford University Press, 2014, doi:<a href=\"https://doi.org/10.1093/nar/gkt1290\">10.1093/nar/gkt1290</a>."},"pubrep_id":"961","article_number":"e34","date_updated":"2021-01-12T06:56:22Z","publication":"Nucleic Acids Research","year":"2014","oa":1,"type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","intvolume":"        42","publisher":"Oxford University Press","scopus_import":1,"date_created":"2018-12-11T11:56:38Z","date_published":"2014-03-05T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"4684","department":[{"_id":"SiHi"}]},{"volume":800,"quality_controlled":"1","language":[{"iso":"eng"}],"type":"book_chapter","publisher":"Springer","intvolume":"       800","date_published":"2014-01-01T00:00:00Z","date_created":"2018-12-11T11:56:39Z","oa_version":"None","scopus_import":1,"citation":{"ama":"Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. <i> Cellular and Molecular Control of Neuronal Migration</i>. Vol 800. Springer; 2014:1-24. doi:<a href=\"https://doi.org/10.1007/978-94-007-7687-6_1\">10.1007/978-94-007-7687-6_1</a>","short":"S. Hippenmeyer, in:, L. Nguyen (Ed.),  Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.","ista":"Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of cortical projection neuron migration. In:  Cellular and Molecular Control of Neuronal Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.","apa":"Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), <i> Cellular and Molecular Control of Neuronal Migration</i> (Vol. 800, pp. 1–24). Springer. <a href=\"https://doi.org/10.1007/978-94-007-7687-6_1\">https://doi.org/10.1007/978-94-007-7687-6_1</a>","ieee":"S. Hippenmeyer, “Molecular pathways controlling the sequential steps of cortical projection neuron migration,” in <i> Cellular and Molecular Control of Neuronal Migration</i>, vol. 800, L. Nguyen, Ed. Springer, 2014, pp. 1–24.","mla":"Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.” <i> Cellular and Molecular Control of Neuronal Migration</i>, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi:<a href=\"https://doi.org/10.1007/978-94-007-7687-6_1\">10.1007/978-94-007-7687-6_1</a>.","chicago":"Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.” In <i> Cellular and Molecular Control of Neuronal Migration</i>, edited by Laurent Nguyen, 800:1–24. Springer, 2014. <a href=\"https://doi.org/10.1007/978-94-007-7687-6_1\">https://doi.org/10.1007/978-94-007-7687-6_1</a>."},"day":"01","department":[{"_id":"SiHi"}],"publist_id":"4679","month":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","status":"public","page":"1 - 24","publication":" Cellular and Molecular Control of Neuronal Migration","date_updated":"2021-01-12T06:56:23Z","abstract":[{"text":"Coordinated migration of newly-born neurons to their target territories is essential for correct neuronal circuit assembly in the developing brain. Although a cohort of signaling pathways has been implicated in the regulation of cortical projection neuron migration, the precise molecular mechanisms and how a balanced interplay of cell-autonomous and non-autonomous functions of candidate signaling molecules controls the discrete steps in the migration process, are just being revealed. In this chapter, I will focally review recent advances that improved our understanding of the cell-autonomous and possible cell-nonautonomous functions of the evolutionarily conserved LIS1/NDEL1-complex in regulating the sequential steps of cortical projection neuron migration. I will then elaborate on the emerging concept that the Reelin signaling pathway, acts exactly at precise stages in the course of cortical projection neuron migration. Lastly, I will discuss how finely tuned transcriptional programs and downstream effectors govern particular aspects in driving radial migration at discrete stages and how they regulate the precise positioning of cortical projection neurons in the developing cerebral cortex.","lang":"eng"}],"alternative_title":["Advances in Experimental Medicine and Biology"],"year":"2014","doi":"10.1007/978-94-007-7687-6_1","title":"Molecular pathways controlling the sequential steps of cortical projection neuron migration","author":[{"orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","full_name":"Hippenmeyer, Simon","last_name":"Hippenmeyer"}],"editor":[{"full_name":"Nguyen, Laurent","last_name":"Nguyen","first_name":"Laurent"}],"_id":"2265"}]