[{"month":"04","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"day":"01","intvolume":"         1","main_file_link":[{"url":"http://arxiv.org/abs/1212.6556","open_access":"1"}],"publication_status":"published","scopus_import":1,"quality_controlled":"1","date_published":"2013-04-01T00:00:00Z","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"full_name":"Prabhu, Vinayak","first_name":"Vinayak","last_name":"Prabhu"}],"date_updated":"2021-01-12T06:59:56Z","doi":"10.1145/2461328.2461370","conference":{"end_date":"2013-04-11","name":"HSCC: Hybrid Systems - Computation and Control","start_date":"2013-04-08","location":"Philadelphia, PA USA"},"citation":{"apa":"Chatterjee, K., &#38; Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i> (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer. <a href=\"https://doi.org/10.1145/2461328.2461370\">https://doi.org/10.1145/2461328.2461370</a>","chicago":"Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” In <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>, 1:273–82. Springer, 2013. <a href=\"https://doi.org/10.1145/2461328.2461370\">https://doi.org/10.1145/2461328.2461370</a>.","ieee":"K. Chatterjee and V. Prabhu, “Quantitative timed simulation functions and refinement metrics for real-time systems,” in <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>, Philadelphia, PA USA, 2013, vol. 1, pp. 273–282.","ista":"Chatterjee K, Prabhu V. 2013. Quantitative timed simulation functions and refinement metrics for real-time systems. Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control vol. 1, 273–282.","short":"K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.","mla":"Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>, vol. 1, Springer, 2013, pp. 273–82, doi:<a href=\"https://doi.org/10.1145/2461328.2461370\">10.1145/2461328.2461370</a>.","ama":"Chatterjee K, Prabhu V. Quantitative timed simulation functions and refinement metrics for real-time systems. In: <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>. Vol 1. Springer; 2013:273-282. doi:<a href=\"https://doi.org/10.1145/2461328.2461370\">10.1145/2461328.2461370</a>"},"oa":1,"status":"public","acknowledgement":"This work has been financially supported in part by the European Commission FP7-ICT Cognitive Systems, Interaction, and Robotics under the contract # 270180 (NOP-TILUS); by Fundacao para Ciencia e Tecnologia under project PTDC/EEA-CRO/104901/2008 (Modeling and control of Networked vehicle systems in persistent autonomous operations); by Austrian Science Fund (FWF) Grant No P 23499-N23 on Modern Graph Algorithmic Techniques in Formal Verification; FWF NFN Grant No S11407-N23 (RiSE); ERC Start grant (279307: Graph Games); and the Microsoft faculty fellows award","_id":"2819","year":"2013","volume":1,"page":"273 - 282","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"conference","abstract":[{"text":"We introduce quantatitive timed refinement metrics and quantitative timed simulation functions, incorporating zenoness checks, for timed systems. These functions assign positive real numbers between zero and infinity which quantify the timing mismatches between two timed systems, amongst non-zeno runs. We quantify timing mismatches in three ways: (1) the maximum timing mismatch that can arise, (2) the &quot;steady-state&quot; maximum timing mismatches, where initial transient timing mismatches are ignored; and (3) the (long-run) average timing mismatches amongst two systems. These three kinds of mismatches constitute three important types of timing differences. Our event times are the global times, measured from the start of the system execution, not just the time durations of individual steps. We present algorithms over timed automata for computing the three quantitative simulation functions to within any desired degree of accuracy. In order to compute the values of the quantitative simulation functions, we use a game theoretic formulation. We introduce two new kinds of objectives for two player games on finite state game graphs: (1) eventual debit-sum level objectives, and (2) average debit-sum level objectives. We present algorithms for computing the optimal values for these objectives for player 1, and then use these algorithms to compute the values of the quantitative timed simulation functions. ","lang":"eng"}],"date_created":"2018-12-11T11:59:46Z","ec_funded":1,"oa_version":"Preprint","publist_id":"3982","publication":"Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control","title":"Quantitative timed simulation functions and refinement metrics for real-time systems","department":[{"_id":"KrCh"}],"publisher":"Springer"},{"quality_controlled":"1","scopus_import":1,"abstract":[{"lang":"eng","text":"In this paper, we introduce the powerful framework of graph games for the analysis of real-time scheduling with firm deadlines. We introduce a novel instance of a partial-observation game that is suitable for this purpose, and prove decidability of all the involved decision problems. We derive a graph game that allows the automated computation of the competitive ratio (along with an optimal witness algorithm for the competitive ratio) and establish an NP-completeness proof for the graph game problem. For a given on-line algorithm, we present polynomial time solution for computing (i) the worst-case utility; (ii) the worst-case utility ratio w.r.t. a clairvoyant off-line algorithm; and (iii) the competitive ratio. A major strength of the proposed approach lies in its flexibility w.r.t. incorporating additional constraints on the adversary and/or the algorithm, including limited maximum or average load, finiteness of periods of overload, etc., which are easily added by means of additional instances of standard objective functions for graph games. "}],"related_material":{"record":[{"id":"738","relation":"later_version","status":"public"}]},"date_updated":"2023-09-27T12:52:38Z","doi":"10.1145/2461328.2461356","date_published":"2013-04-01T00:00:00Z","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Kößler, Alexander","first_name":"Alexander","last_name":"Kößler"},{"full_name":"Schmid, Ulrich","last_name":"Schmid","first_name":"Ulrich"}],"publist_id":"3981","conference":{"location":"Philadelphia, PA, United States","start_date":"2013-04-08","name":"HSCC: Hybrid Systems - Computation and Control","end_date":"2013-04-11"},"ec_funded":1,"date_created":"2018-12-11T11:59:46Z","oa_version":"None","publisher":"ACM","publication":"Proceedings of the 16th International conference on Hybrid systems: Computation and control","title":"Automated analysis of real-time scheduling using graph games","department":[{"_id":"KrCh"}],"month":"04","publication_identifier":{"isbn":["978-1-4503-1567-8 "]},"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"language":[{"iso":"eng"}],"citation":{"chicago":"Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>, 163–72. ACM, 2013. <a href=\"https://doi.org/10.1145/2461328.2461356\">https://doi.org/10.1145/2461328.2461356</a>.","ieee":"K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in <i>Proceedings of the 16th International conference on Hybrid systems: Computation and control</i>, Philadelphia, PA, United States, 2013, pp. 163–172.","apa":"Chatterjee, K., Kößler, A., &#38; Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In <i>Proceedings of the 16th International conference on Hybrid systems: Computation and control</i> (pp. 163–172). Philadelphia, PA, United States: ACM. <a href=\"https://doi.org/10.1145/2461328.2461356\">https://doi.org/10.1145/2461328.2461356</a>","ama":"Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>. ACM; 2013:163-172. doi:<a href=\"https://doi.org/10.1145/2461328.2461356\">10.1145/2461328.2461356</a>","ista":"Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control, 163–172.","mla":"Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.” <i>Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control</i>, ACM, 2013, pp. 163–72, doi:<a href=\"https://doi.org/10.1145/2461328.2461356\">10.1145/2461328.2461356</a>.","short":"K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172."},"day":"01","status":"public","year":"2013","publication_status":"published","_id":"2820","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","page":"163 - 172"},{"abstract":[{"text":"Many key aspects of plant development are regulated by the polarized transport of the phytohormone auxin. Cellular auxin efflux, the rate-limiting step in this process, has been shown to rely on the coordinated action of PIN-formed (PIN) and B-type ATP binding cassette (ABCB) carriers. Here, we report that polar auxin transport in the Arabidopsis thaliana root also requires the action of a Major Facilitator Superfamily (MFS) transporter, Zinc-Induced Facilitator-Like 1 (ZIFL1). Sequencing, promoter-reporter, and fluorescent protein fusion experiments indicate that the full-length ZIFL1.1 protein and a truncated splice isoform, ZIFL1.3, localize to the tonoplast of root cells and the plasma membrane of leaf stomatal guard cells, respectively. Using reverse genetics, we show that the ZIFL1.1 transporter regulates various root auxin-related processes, while the ZIFL1.3 isoform mediates drought tolerance by regulating stomatal closure. Auxin transport and immunolocalization assays demonstrate that ZIFL1.1 indirectly modulates cellular auxin efflux during shootward auxin transport at the root tip, likely by regulating plasma membrane PIN2 abundance. Finally, heterologous expression in yeast revealed that ZIFL1.1 and ZIFL1.3 share H+-coupled K+ transport activity. Thus, by determining the subcellular and tissue distribution of two isoforms, alternative splicing dictates a dual function for the ZIFL1 transporter. We propose that this MFS carrier regulates stomatal movements and polar auxin transport by modulating potassium and proton fluxes in Arabidopsis cells.","lang":"eng"}],"publist_id":"3980","date_created":"2018-12-11T11:59:46Z","oa_version":"Submitted Version","publisher":"American Society of Plant Biologists","publication":"Plant Cell","title":"A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis","department":[{"_id":"JiFr"}],"citation":{"short":"E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.","ista":"Remy E, Cabrito T, Baster P, Batista R, Teixeira M, Friml J, Sá Correia I, Duque P. 2013. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 25(3), 901–926.","mla":"Remy, Estelle, et al. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.” <i>Plant Cell</i>, vol. 25, no. 3, American Society of Plant Biologists, 2013, pp. 901–26, doi:<a href=\"https://doi.org/10.1105/tpc.113.110353\">10.1105/tpc.113.110353</a>.","ama":"Remy E, Cabrito T, Baster P, et al. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. <i>Plant Cell</i>. 2013;25(3):901-926. doi:<a href=\"https://doi.org/10.1105/tpc.113.110353\">10.1105/tpc.113.110353</a>","apa":"Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J., … Duque, P. (2013). A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. <i>Plant Cell</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1105/tpc.113.110353\">https://doi.org/10.1105/tpc.113.110353</a>","ieee":"E. Remy <i>et al.</i>, “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” <i>Plant Cell</i>, vol. 25, no. 3. American Society of Plant Biologists, pp. 901–926, 2013.","chicago":"Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jiří Friml, Isabel Sá Correia, and Paula Duque. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.” <i>Plant Cell</i>. American Society of Plant Biologists, 2013. <a href=\"https://doi.org/10.1105/tpc.113.110353\">https://doi.org/10.1105/tpc.113.110353</a>."},"issue":"3","external_id":{"pmid":["23524662"]},"status":"public","oa":1,"year":"2013","_id":"2821","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":25,"page":"901 - 926","quality_controlled":"1","scopus_import":1,"date_updated":"2021-01-12T06:59:57Z","doi":"10.1105/tpc.113.110353","date_published":"2013-04-24T00:00:00Z","author":[{"last_name":"Remy","first_name":"Estelle","full_name":"Remy, Estelle"},{"full_name":"Cabrito, Tânia","last_name":"Cabrito","first_name":"Tânia"},{"id":"3028BD74-F248-11E8-B48F-1D18A9856A87","full_name":"Baster, Pawel","last_name":"Baster","first_name":"Pawel"},{"full_name":"Batista, Rita","last_name":"Batista","first_name":"Rita"},{"full_name":"Teixeira, Miguel","first_name":"Miguel","last_name":"Teixeira"},{"first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Isabel","last_name":"Sá Correia","full_name":"Sá Correia, Isabel"},{"first_name":"Paula","last_name":"Duque","full_name":"Duque, Paula"}],"month":"04","language":[{"iso":"eng"}],"day":"24","pmid":1,"publication_status":"published","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3634696/"}],"intvolume":"        25"},{"page":"E1695 - E1704","volume":110,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"2822","year":"2013","status":"public","oa":1,"external_id":{"pmid":["25673779"]},"issue":"18","citation":{"chicago":"Topp, Christopher, Anjali Iyer Pascuzzi, Jill Anderson, Cheng Lee, Paul Zurek, Olga Symonova, Ying Zheng, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” <i>PNAS</i>. National Academy of Sciences, 2013. <a href=\"https://doi.org/10.1073/pnas.1304354110\">https://doi.org/10.1073/pnas.1304354110</a>.","ieee":"C. Topp <i>et al.</i>, “3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture,” <i>PNAS</i>, vol. 110, no. 18. National Academy of Sciences, pp. E1695–E1704, 2013.","apa":"Topp, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O., … Benfey, P. (2013). 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1304354110\">https://doi.org/10.1073/pnas.1304354110</a>","ama":"Topp C, Iyer Pascuzzi A, Anderson J, et al. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. <i>PNAS</i>. 2013;110(18):E1695-E1704. doi:<a href=\"https://doi.org/10.1073/pnas.1304354110\">10.1073/pnas.1304354110</a>","ista":"Topp C, Iyer Pascuzzi A, Anderson J, Lee C, Zurek P, Symonova O, Zheng Y, Bucksch A, Mileyko Y, Galkovskyi T, Moore B, Harer J, Edelsbrunner H, Mitchell Olds T, Weitz J, Benfey P. 2013. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 110(18), E1695–E1704.","mla":"Topp, Christopher, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” <i>PNAS</i>, vol. 110, no. 18, National Academy of Sciences, 2013, pp. E1695–704, doi:<a href=\"https://doi.org/10.1073/pnas.1304354110\">10.1073/pnas.1304354110</a>.","short":"C. Topp, A. Iyer Pascuzzi, J. Anderson, C. Lee, P. Zurek, O. Symonova, Y. Zheng, A. Bucksch, Y. Mileyko, T. Galkovskyi, B. Moore, J. Harer, H. Edelsbrunner, T. Mitchell Olds, J. Weitz, P. Benfey, PNAS 110 (2013) E1695–E1704."},"department":[{"_id":"MaJö"},{"_id":"HeEd"}],"title":"3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture","publication":"PNAS","publisher":"National Academy of Sciences","oa_version":"Submitted Version","date_created":"2018-12-11T11:59:47Z","publist_id":"3979","abstract":[{"lang":"eng","text":"Identification of genes that control root system architecture in crop plants requires innovations that enable high-throughput and accurate measurements of root system architecture through time. We demonstrate the ability of a semiautomated 3D in vivo imaging and digital phenotyping pipeline to interrogate the quantitative genetic basis of root system growth in a rice biparental mapping population, Bala x Azucena. We phenotyped &gt;1,400 3D root models and &gt;57,000 2D images for a suite of 25 traits that quantified the distribution, shape, extent of exploration, and the intrinsic size of root networks at days 12, 14, and 16 of growth in a gellan gum medium. From these data we identified 89 quantitative trait loci, some of which correspond to those found previously in soil-grown plants, and provide evidence for genetic tradeoffs in root growth allocations, such as between the extent and thoroughness of exploration. We also developed a multivariate method for generating and mapping central root architecture phenotypes and used it to identify five major quantitative trait loci (r2 = 24-37%), two of which were not identified by our univariate analysis. Our imaging and analytical platform provides a means to identify genes with high potential for improving root traits and agronomic qualities of crops."}],"intvolume":"       110","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4378147/"}],"publication_status":"published","pmid":1,"day":"30","language":[{"iso":"eng"}],"month":"04","author":[{"first_name":"Christopher","last_name":"Topp","full_name":"Topp, Christopher"},{"last_name":"Iyer Pascuzzi","first_name":"Anjali","full_name":"Iyer Pascuzzi, Anjali"},{"first_name":"Jill","last_name":"Anderson","full_name":"Anderson, Jill"},{"last_name":"Lee","first_name":"Cheng","full_name":"Lee, Cheng"},{"first_name":"Paul","last_name":"Zurek","full_name":"Zurek, Paul"},{"first_name":"Olga","last_name":"Symonova","full_name":"Symonova, Olga","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zheng","first_name":"Ying","full_name":"Zheng, Ying"},{"last_name":"Bucksch","first_name":"Alexander","full_name":"Bucksch, Alexander"},{"first_name":"Yuriy","last_name":"Mileyko","full_name":"Mileyko, Yuriy"},{"full_name":"Galkovskyi, Taras","last_name":"Galkovskyi","first_name":"Taras"},{"last_name":"Moore","first_name":"Brad","full_name":"Moore, Brad"},{"first_name":"John","last_name":"Harer","full_name":"Harer, John"},{"last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"},{"full_name":"Mitchell Olds, Thomas","first_name":"Thomas","last_name":"Mitchell Olds"},{"last_name":"Weitz","first_name":"Joshua","full_name":"Weitz, Joshua"},{"first_name":"Philip","last_name":"Benfey","full_name":"Benfey, Philip"}],"date_published":"2013-04-30T00:00:00Z","date_updated":"2021-01-12T06:59:58Z","doi":"10.1073/pnas.1304354110","scopus_import":1,"quality_controlled":"1"},{"day":"01","issue":"3","status":"public","language":[{"iso":"eng"}],"month":"05","citation":{"apa":"Pickup, M., Wilson, S., Freudenberger, D., Nicholls, N., Gould, L., Hnatiuk, S., &#38; Delandre, J. (2013). Post-fire recovery of revegetated woodland communities in south-eastern Australia. <i>Austral Ecology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1442-9993.2012.02404.x\">https://doi.org/10.1111/j.1442-9993.2012.02404.x</a>","ieee":"M. Pickup <i>et al.</i>, “Post-fire recovery of revegetated woodland communities in south-eastern Australia,” <i>Austral Ecology</i>, vol. 38, no. 3. Wiley-Blackwell, pp. 300–312, 2013.","chicago":"Pickup, Melinda, Susie Wilson, David Freudenberger, Nick Nicholls, Lori Gould, Sarah Hnatiuk, and Jeni Delandre. “Post-Fire Recovery of Revegetated Woodland Communities in South-Eastern Australia.” <i>Austral Ecology</i>. Wiley-Blackwell, 2013. <a href=\"https://doi.org/10.1111/j.1442-9993.2012.02404.x\">https://doi.org/10.1111/j.1442-9993.2012.02404.x</a>.","ista":"Pickup M, Wilson S, Freudenberger D, Nicholls N, Gould L, Hnatiuk S, Delandre J. 2013. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 38(3), 300–312.","mla":"Pickup, Melinda, et al. “Post-Fire Recovery of Revegetated Woodland Communities in South-Eastern Australia.” <i>Austral Ecology</i>, vol. 38, no. 3, Wiley-Blackwell, 2013, pp. 300–12, doi:<a href=\"https://doi.org/10.1111/j.1442-9993.2012.02404.x\">10.1111/j.1442-9993.2012.02404.x</a>.","short":"M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.","ama":"Pickup M, Wilson S, Freudenberger D, et al. Post-fire recovery of revegetated woodland communities in south-eastern Australia. <i>Austral Ecology</i>. 2013;38(3):300-312. doi:<a href=\"https://doi.org/10.1111/j.1442-9993.2012.02404.x\">10.1111/j.1442-9993.2012.02404.x</a>"},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"300 - 312","volume":38,"publication_status":"published","year":"2013","_id":"2823","intvolume":"        38","doi":"10.1111/j.1442-9993.2012.02404.x","date_updated":"2021-01-12T06:59:58Z","author":[{"id":"2C78037E-F248-11E8-B48F-1D18A9856A87","full_name":"Pickup, Melinda","last_name":"Pickup","orcid":"0000-0001-6118-0541","first_name":"Melinda"},{"last_name":"Wilson","first_name":"Susie","full_name":"Wilson, Susie"},{"full_name":"Freudenberger, David","first_name":"David","last_name":"Freudenberger"},{"first_name":"Nick","last_name":"Nicholls","full_name":"Nicholls, Nick"},{"first_name":"Lori","last_name":"Gould","full_name":"Gould, Lori"},{"full_name":"Hnatiuk, Sarah","last_name":"Hnatiuk","first_name":"Sarah"},{"first_name":"Jeni","last_name":"Delandre","full_name":"Delandre, Jeni"}],"date_published":"2013-05-01T00:00:00Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"The primary goal of restoration is to create self-sustaining ecological communities that are resilient to periodic disturbance. Currently, little is known about how restored communities respond to disturbance events such as fire and how this response compares to remnant vegetation. Following the 2003 fires in south-eastern Australia we examined the post-fire response of revegetation plantings and compared this to remnant vegetation. Ten burnt and 10 unburnt (control) sites were assessed for each of three types of vegetation (direct seeding revegetation, revegetation using nursery seedlings (tubestock) and remnant woodland). Sixty sampling sites were surveyed 6months after fire to quantify the initial survival of mid- and overstorey plant species in each type of vegetation. Three and 5years after fire all sites were resurveyed to assess vegetation structure, species diversity and vigour, as well as indicators of soil function. Overall, revegetation showed high (&gt;60%) post-fire survival, but this varied among species depending on regeneration strategy (obligate seeder or resprouter). The native ground cover, mid- and overstorey in both types of plantings showed rapid recovery of vegetation structure and cover within 3years of fire. This recovery was similar to the burnt remnant woodlands. Non-native (exotic) ground cover initially increased after fire, but was no different in burnt and unburnt sites 5years after fire. Fire had no effect on species richness, but burnt direct seeding sites had reduced species diversity (Simpson's Diversity Index) while diversity was higher in burnt remnant woodlands. Indices of soil function in all types of vegetation had recovered to levels found in unburnt sites 5years after fire. These results indicate that even young revegetation (stands &lt;10years old) showed substantial recovery from disturbance by fire. This suggests that revegetation can provide an important basis for restoring woodland communities in the fire-prone Australian environment."}],"scopus_import":1,"publisher":"Wiley-Blackwell","department":[{"_id":"NiBa"}],"title":"Post-fire recovery of revegetated woodland communities in south-eastern Australia","publication":"Austral Ecology","publist_id":"3978","oa_version":"None","date_created":"2018-12-11T11:59:47Z"},{"month":"04","project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"citation":{"short":"K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.","ista":"Chatterjee K, Prabhu V. 2013. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 228–229, 83–119.","mla":"Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” <i>Information and Computation</i>, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:<a href=\"https://doi.org/10.1016/j.ic.2013.04.003\">10.1016/j.ic.2013.04.003</a>.","ama":"Chatterjee K, Prabhu V. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. <i>Information and Computation</i>. 2013;228-229:83-119. doi:<a href=\"https://doi.org/10.1016/j.ic.2013.04.003\">10.1016/j.ic.2013.04.003</a>","apa":"Chatterjee, K., &#38; Prabhu, V. (2013). Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ic.2013.04.003\">https://doi.org/10.1016/j.ic.2013.04.003</a>","chicago":"Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” <i>Information and Computation</i>. Elsevier, 2013. <a href=\"https://doi.org/10.1016/j.ic.2013.04.003\">https://doi.org/10.1016/j.ic.2013.04.003</a>.","ieee":"K. Chatterjee and V. Prabhu, “Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems,” <i>Information and Computation</i>, vol. 228–229. Elsevier, pp. 83–119, 2013."},"day":"24","status":"public","year":"2013","publication_status":"published","_id":"2824","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":"228-229","page":"83-119","quality_controlled":"1","abstract":[{"text":"We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in the setting of concurrent two player timed automaton games with safety objectives. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a Zeno run. We construct winning strategies for the controller which require access only to (1) the system clocks (thus, controllers which require their own internal infinitely precise clocks are not necessary), and (2) a logarithmic (in the number of clocks) number of memory bits (i.e. a linear number of memory states). Precisely, we show that for safety objectives, a memory of size (3 + lg (| C | + 1)) bits suffices for winning controller strategies, where C is the set of clocks of the timed automaton game, significantly improving the previous known exponential memory states bound. We also settle the open question of whether winning region-based strategies require memory for safety objectives by showing with an example the necessity of memory for such strategies to win for safety objectives. Finally, we show that the decision problem of determining if there exists a receptive player-1 winning strategy for safety objectives is EXPTIME-complete over timed automaton games.","lang":"eng"}],"scopus_import":1,"date_updated":"2021-01-12T06:59:58Z","doi":"10.1016/j.ic.2013.04.003","date_published":"2013-04-24T00:00:00Z","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"last_name":"Prabhu","first_name":"Vinayak","full_name":"Prabhu, Vinayak"}],"publist_id":"3977","ec_funded":1,"date_created":"2018-12-11T11:59:47Z","oa_version":"None","publisher":"Elsevier","publication":"Information and Computation","department":[{"_id":"KrCh"}],"title":"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"},{"abstract":[{"lang":"eng","text":"Myopia, or near-sightedness, is an ocular refractive error of unfocused image quality in front of the retinal plane. Individuals with high-grade myopia (dioptric power greater than -6.00) are predisposed to ocular morbidities such as glaucoma, retinal detachment, and myopic maculopathy. Nonsyndromic, high-grade myopia is highly heritable, and to date multiple gene loci have been reported. We performed exome sequencing in 4 individuals from an 11-member family of European descent from the United States. Affected individuals had a mean dioptric spherical equivalent of -22.00 sphere. A premature stop codon mutation c.157C&gt;T (p.Gln53*) cosegregating with disease was discovered within SCO2 that maps to chromosome 22q13.33. Subsequent analyses identified three additional mutations in three highly myopic unrelated individuals (c.341G&gt;A, c.418G&gt;A, and c.776C&gt;T). To determine differential gene expression in a developmental mouse model, we induced myopia by applying a -15.00D lens over one eye. Messenger RNA levels of SCO2 were significantly downregulated in myopic mouse retinae. Immunohistochemistry in mouse eyes confirmed SCO2 protein localization in retina, retinal pigment epithelium, and sclera. SCO2 encodes for a copper homeostasis protein influential in mitochondrial cytochrome c oxidase activity. Copper deficiencies have been linked with photoreceptor loss and myopia with increased scleral wall elasticity. Retinal thinning has been reported with an SC02 variant. Human mutation identification with support from an induced myopic animal provides biological insights of myopic development."}],"date_created":"2018-12-11T11:59:48Z","oa_version":"Submitted Version","publist_id":"3974","publication":"American Journal of Human Genetics","title":"Mutations in SCO2 are associated with autosomal-dominant high-grade myopia","department":[{"_id":"MD"}],"publisher":"Cell Press","citation":{"short":"K. Tran Viet, C. Powell, V. Barathi, T. Klemm, S. Maurer Stroh, V. Limviphuvadh, V. Soler, C. Ho, T. Yanovitch, G. Schneider, Y. Li, E. Nading, R. Metlapally, S. Saw, L. Goh, S. Rozen, T. Young, American Journal of Human Genetics 92 (2013) 820–826.","mla":"Tran Viet, Khanh, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” <i>American Journal of Human Genetics</i>, vol. 92, no. 5, Cell Press, 2013, pp. 820–26, doi:<a href=\"https://doi.org/10.1016/j.ajhg.2013.04.005\">10.1016/j.ajhg.2013.04.005</a>.","ista":"Tran Viet K, Powell C, Barathi V, Klemm T, Maurer Stroh S, Limviphuvadh V, Soler V, Ho C, Yanovitch T, Schneider G, Li Y, Nading E, Metlapally R, Saw S, Goh L, Rozen S, Young T. 2013. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 92(5), 820–826.","ama":"Tran Viet K, Powell C, Barathi V, et al. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. <i>American Journal of Human Genetics</i>. 2013;92(5):820-826. doi:<a href=\"https://doi.org/10.1016/j.ajhg.2013.04.005\">10.1016/j.ajhg.2013.04.005</a>","apa":"Tran Viet, K., Powell, C., Barathi, V., Klemm, T., Maurer Stroh, S., Limviphuvadh, V., … Young, T. (2013). Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. <i>American Journal of Human Genetics</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.ajhg.2013.04.005\">https://doi.org/10.1016/j.ajhg.2013.04.005</a>","ieee":"K. Tran Viet <i>et al.</i>, “Mutations in SCO2 are associated with autosomal-dominant high-grade myopia,” <i>American Journal of Human Genetics</i>, vol. 92, no. 5. Cell Press, pp. 820–826, 2013.","chicago":"Tran Viet, Khanh, Caldwell Powell, Veluchamy Barathi, Thomas Klemm, Sebastian Maurer Stroh, Vachiranee Limviphuvadh, Vincent Soler, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” <i>American Journal of Human Genetics</i>. Cell Press, 2013. <a href=\"https://doi.org/10.1016/j.ajhg.2013.04.005\">https://doi.org/10.1016/j.ajhg.2013.04.005</a>."},"oa":1,"status":"public","issue":"5","external_id":{"pmid":["23643385"]},"_id":"2826","year":"2013","volume":92,"page":"820 - 826","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","scopus_import":1,"quality_controlled":"1","date_published":"2013-05-02T00:00:00Z","author":[{"full_name":"Tran Viet, Khanh","last_name":"Tran Viet","first_name":"Khanh"},{"first_name":"Caldwell","last_name":"Powell","full_name":"Powell, Caldwell"},{"last_name":"Barathi","first_name":"Veluchamy","full_name":"Barathi, Veluchamy"},{"first_name":"Thomas","last_name":"Klemm","full_name":"Klemm, Thomas"},{"full_name":"Maurer Stroh, Sebastian","first_name":"Sebastian","last_name":"Maurer Stroh"},{"first_name":"Vachiranee","last_name":"Limviphuvadh","full_name":"Limviphuvadh, Vachiranee"},{"full_name":"Soler, Vincent","last_name":"Soler","first_name":"Vincent"},{"full_name":"Ho, Candice","last_name":"Ho","first_name":"Candice"},{"first_name":"Tammy","last_name":"Yanovitch","full_name":"Yanovitch, Tammy"},{"full_name":"Schneider, Georg","id":"329095A0-F248-11E8-B48F-1D18A9856A87","first_name":"Georg","last_name":"Schneider"},{"last_name":"Li","first_name":"Yi","full_name":"Li, Yi"},{"full_name":"Nading, Erica","first_name":"Erica","last_name":"Nading"},{"last_name":"Metlapally","first_name":"Ravikanth","full_name":"Metlapally, Ravikanth"},{"first_name":"Seang","last_name":"Saw","full_name":"Saw, Seang"},{"first_name":"Liang","last_name":"Goh","full_name":"Goh, Liang"},{"full_name":"Rozen, Steve","last_name":"Rozen","first_name":"Steve"},{"first_name":"Terri","last_name":"Young","full_name":"Young, Terri"}],"doi":"10.1016/j.ajhg.2013.04.005","date_updated":"2021-01-12T06:59:59Z","month":"05","language":[{"iso":"eng"}],"pmid":1,"day":"02","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3644634/","open_access":"1"}],"intvolume":"        92","publication_status":"published"},{"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3651428/","open_access":"1"}],"intvolume":"       110","publication_status":"published","project":[{"name":"Koerber Prize 2010","_id":"2574781E-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"month":"05","pmid":1,"day":"07","scopus_import":1,"quality_controlled":"1","date_published":"2013-05-07T00:00:00Z","author":[{"last_name":"Du","first_name":"Yunlong","full_name":"Du, Yunlong"},{"first_name":"Ricardo","last_name":"Tejos","full_name":"Tejos, Ricardo"},{"full_name":"Beck, Martina","first_name":"Martina","last_name":"Beck"},{"last_name":"Himschoot","first_name":"Ellie","full_name":"Himschoot, Ellie"},{"id":"33CA54A6-F248-11E8-B48F-1D18A9856A87","full_name":"Li, Hongjiang","last_name":"Li","orcid":"0000-0001-5039-9660","first_name":"Hongjiang"},{"full_name":"Robatzek, Silke","first_name":"Silke","last_name":"Robatzek"},{"last_name":"Vanneste","first_name":"Steffen","full_name":"Vanneste, Steffen"},{"first_name":"Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2021-01-12T06:59:59Z","doi":"10.1073/pnas.1220205110","_id":"2827","year":"2013","page":"7946 - 7951","volume":110,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Du, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S., … Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1220205110\">https://doi.org/10.1073/pnas.1220205110</a>","chicago":"Du, Yunlong, Ricardo Tejos, Martina Beck, Ellie Himschoot, Hongjiang Li, Silke Robatzek, Steffen Vanneste, and Jiří Friml. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” <i>PNAS</i>. National Academy of Sciences, 2013. <a href=\"https://doi.org/10.1073/pnas.1220205110\">https://doi.org/10.1073/pnas.1220205110</a>.","ieee":"Y. Du <i>et al.</i>, “Salicylic acid interferes with clathrin-mediated endocytic protein trafficking,” <i>PNAS</i>, vol. 110, no. 19. National Academy of Sciences, pp. 7946–7951, 2013.","ista":"Du Y, Tejos R, Beck M, Himschoot E, Li H, Robatzek S, Vanneste S, Friml J. 2013. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 110(19), 7946–7951.","mla":"Du, Yunlong, et al. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” <i>PNAS</i>, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7946–51, doi:<a href=\"https://doi.org/10.1073/pnas.1220205110\">10.1073/pnas.1220205110</a>.","short":"Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.","ama":"Du Y, Tejos R, Beck M, et al. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. <i>PNAS</i>. 2013;110(19):7946-7951. doi:<a href=\"https://doi.org/10.1073/pnas.1220205110\">10.1073/pnas.1220205110</a>"},"status":"public","oa":1,"external_id":{"pmid":["23613581"]},"issue":"19","oa_version":"Submitted Version","date_created":"2018-12-11T11:59:48Z","publist_id":"3972","title":"Salicylic acid interferes with clathrin-mediated endocytic protein trafficking","department":[{"_id":"JiFr"}],"publication":"PNAS","publisher":"National Academy of Sciences","abstract":[{"lang":"eng","text":"Removal of cargos from the cell surface via endocytosis is an efficient mechanism to regulate activities of plasma membrane (PM)-resident proteins, such as receptors or transporters. Salicylic acid (SA) is an important plant hormone that is traditionally associated with pathogen defense. Here, we describe an unanticipated effect of SA on subcellular endocytic cycling of proteins. Both exogenous treatments and endogenously enhanced SA levels repressed endocytosis of different PM proteins. The SA effect on endocytosis did not involve transcription or known components of the SA signaling pathway for transcriptional regulation. SA likely targets an endocytic mechanism that involves the coat protein clathrin, because SA interfered with the clathrin incidence at the PM and clathrin-deficient mutants were less sensitive to the impact of SA on the auxin distribution and root bending during the gravitropic response. By contrast, SA did not affect the ligand-induced endocytosis of the FLAGELLIN SENSING2 (FLS2) receptor during pathogen responses. Our data suggest that the established SA impact on transcription in plant immunity and the nontranscriptional effect of SA on clathrin-mediated endocytosis are independent mechanisms by which SA regulates distinct aspects of plant physiology."}]},{"external_id":{"arxiv":["1110.2809"]},"issue":"2","oa":1,"status":"public","citation":{"apa":"Kolmogorov, V., &#38; Živný, S. (2013). The complexity of conservative valued CSPs. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/2450142.2450146\">https://doi.org/10.1145/2450142.2450146</a>","chicago":"Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” <i>Journal of the ACM</i>. ACM, 2013. <a href=\"https://doi.org/10.1145/2450142.2450146\">https://doi.org/10.1145/2450142.2450146</a>.","ieee":"V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” <i>Journal of the ACM</i>, vol. 60, no. 2. ACM, 2013.","ista":"Kolmogorov V, Živný S. 2013. The complexity of conservative valued CSPs. Journal of the ACM. 60(2), 10.","short":"V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).","mla":"Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” <i>Journal of the ACM</i>, vol. 60, no. 2, 10, ACM, 2013, doi:<a href=\"https://doi.org/10.1145/2450142.2450146\">10.1145/2450142.2450146</a>.","ama":"Kolmogorov V, Živný S. The complexity of conservative valued CSPs. <i>Journal of the ACM</i>. 2013;60(2). doi:<a href=\"https://doi.org/10.1145/2450142.2450146\">10.1145/2450142.2450146</a>"},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":60,"year":"2013","_id":"2828","arxiv":1,"abstract":[{"text":"We study the complexity of valued constraint satisfaction problems (VCSPs) parametrized by a constraint language, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimize the sum. Under the unique games conjecture, the approximability of finite-valued VCSPs is well understood, see Raghavendra [2008]. However, there is no characterization of finite-valued VCSPs, let alone general-valued VCSPs, that can be solved exactly in polynomial time, thus giving insights from a combinatorial optimization perspective. We consider the case of languages containing all possible unary cost functions. In the case of languages consisting of only {0, ∞}-valued cost functions (i.e., relations), such languages have been called conservative and studied by Bulatov [2003, 2011] and recently by Barto [2011]. Since we study valued languages, we call a language conservative if it contains all finite-valued unary cost functions. The computational complexity of conservative valued languages has been studied by Cohen et al. [2006] for languages over Boolean domains, by Deineko et al. [2008] for {0, 1}-valued languages (a.k.a Max-CSP), and by Takhanov [2010a] for {0, ∞}-valued languages containing all finite-valued unary cost functions (a.k.a. Min-Cost-Hom). We prove a Schaefer-like dichotomy theorem for conservative valued languages: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of STP and MJN multimor-phisms), then any instance can be solved in polynomial time (via a new algorithm developed in this article), otherwise the language is NP-hard. This is the first complete complexity classification of general-valued constraint languages over non-Boolean domains. It is a common phenomenon that complexity classifications of problems over non-Boolean domains are significantly harder than the Boolean cases. The polynomial-time algorithm we present for the tractable cases is a generalization of the submodular minimization problem and a result of Cohen et al. [2008]. Our results generalize previous results by Takhanov [2010a] and (a subset of results) by Cohen et al. [2006] and Deineko et al. [2008]. Moreover, our results do not rely on any computer-assisted search as in Deineko et al. [2008], and provide a powerful tool for proving hardness of finite-valued and general-valued languages.","lang":"eng"}],"publisher":"ACM","department":[{"_id":"VlKo"}],"title":"The complexity of conservative valued CSPs","publication":"Journal of the ACM","publist_id":"3971","oa_version":"Preprint","date_created":"2018-12-11T11:59:48Z","day":"02","language":[{"iso":"eng"}],"month":"04","publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1110.2809","open_access":"1"}],"intvolume":"        60","date_updated":"2021-01-12T07:00:00Z","doi":"10.1145/2450142.2450146","author":[{"id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir"},{"first_name":"Stanislav","last_name":"Živný","full_name":"Živný, Stanislav"}],"date_published":"2013-04-02T00:00:00Z","quality_controlled":"1","scopus_import":1,"article_number":"10"},{"month":"05","project":[{"call_identifier":"FP7","_id":"25152F3A-B435-11E9-9278-68D0E5697425","grant_number":"306589","name":"Decoding the complexity of turbulence at its origin"},{"name":"Astrophysical instability of currents and turbulences","grant_number":"SFB 963  TP A8","_id":"2511D90C-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"day":"13","publication_status":"published","intvolume":"       110","main_file_link":[{"url":"http://arxiv.org/abs/1304.5446","open_access":"1"}],"quality_controlled":"1","scopus_import":1,"date_updated":"2021-01-12T07:00:00Z","doi":"10.1103/PhysRevLett.110.204502","author":[{"full_name":"Shi, Liang","id":"374A3F1A-F248-11E8-B48F-1D18A9856A87","first_name":"Liang","last_name":"Shi"},{"first_name":"Marc","last_name":"Avila","full_name":"Avila, Marc"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","full_name":"Hof, Björn","last_name":"Hof","orcid":"0000-0003-2057-2754","first_name":"Björn"}],"date_published":"2013-05-13T00:00:00Z","article_number":"204502","citation":{"ieee":"L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” <i>Physical Review Letters</i>, vol. 110, no. 20. American Physical Society, 2013.","chicago":"Shi, Liang, Marc Avila, and Björn Hof. “Scale Invariance at the Onset of Turbulence in Couette Flow.” <i>Physical Review Letters</i>. American Physical Society, 2013. <a href=\"https://doi.org/10.1103/PhysRevLett.110.204502\">https://doi.org/10.1103/PhysRevLett.110.204502</a>.","apa":"Shi, L., Avila, M., &#38; Hof, B. (2013). Scale invariance at the onset of turbulence in couette flow. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.110.204502\">https://doi.org/10.1103/PhysRevLett.110.204502</a>","ama":"Shi L, Avila M, Hof B. Scale invariance at the onset of turbulence in couette flow. <i>Physical Review Letters</i>. 2013;110(20). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.110.204502\">10.1103/PhysRevLett.110.204502</a>","ista":"Shi L, Avila M, Hof B. 2013. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 110(20), 204502.","short":"L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).","mla":"Shi, Liang, et al. “Scale Invariance at the Onset of Turbulence in Couette Flow.” <i>Physical Review Letters</i>, vol. 110, no. 20, 204502, American Physical Society, 2013, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.110.204502\">10.1103/PhysRevLett.110.204502</a>."},"issue":"20","external_id":{"arxiv":["1304.5446"]},"oa":1,"status":"public","year":"2013","_id":"2829","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":110,"abstract":[{"lang":"eng","text":"Laminar-turbulent intermittency is intrinsic to the transitional regime of a wide range of fluid flows including pipe, channel, boundary layer, and Couette flow. In the latter turbulent spots can grow and form continuous stripes, yet in the stripe-normal direction they remain interspersed by laminar fluid. We carry out direct numerical simulations in a long narrow domain and observe that individual turbulent stripes are transient. In agreement with recent observations in pipe flow, we find that turbulence becomes sustained at a distinct critical point once the spatial proliferation outweighs the inherent decaying process. By resolving the asymptotic size distributions close to criticality we can for the first time demonstrate scale invariance at the onset of turbulence."}],"arxiv":1,"publist_id":"3970","date_created":"2018-12-11T11:59:49Z","ec_funded":1,"oa_version":"Preprint","publisher":"American Physical Society","publication":"Physical Review Letters","title":"Scale invariance at the onset of turbulence in couette flow","department":[{"_id":"BjHo"}]},{"page":"853 - 854","volume":38,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"2830","intvolume":"        38","publication_status":"published","year":"2013","status":"public","day":"23","issue":"5","citation":{"ista":"Moussion C, Sixt MK. 2013. A conduit to amplify innate immunity. Immunity. 38(5), 853–854.","mla":"Moussion, Christine, and Michael K. Sixt. “A Conduit to Amplify Innate Immunity.” <i>Immunity</i>, vol. 38, no. 5, Cell Press, 2013, pp. 853–54, doi:<a href=\"https://doi.org/10.1016/j.immuni.2013.05.005\">10.1016/j.immuni.2013.05.005</a>.","short":"C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.","ama":"Moussion C, Sixt MK. A conduit to amplify innate immunity. <i>Immunity</i>. 2013;38(5):853-854. doi:<a href=\"https://doi.org/10.1016/j.immuni.2013.05.005\">10.1016/j.immuni.2013.05.005</a>","apa":"Moussion, C., &#38; Sixt, M. K. (2013). A conduit to amplify innate immunity. <i>Immunity</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.immuni.2013.05.005\">https://doi.org/10.1016/j.immuni.2013.05.005</a>","chicago":"Moussion, Christine, and Michael K Sixt. “A Conduit to Amplify Innate Immunity.” <i>Immunity</i>. Cell Press, 2013. <a href=\"https://doi.org/10.1016/j.immuni.2013.05.005\">https://doi.org/10.1016/j.immuni.2013.05.005</a>.","ieee":"C. Moussion and M. K. Sixt, “A conduit to amplify innate immunity,” <i>Immunity</i>, vol. 38, no. 5. Cell Press, pp. 853–854, 2013."},"language":[{"iso":"eng"}],"month":"05","title":"A conduit to amplify innate immunity","department":[{"_id":"MiSi"}],"publication":"Immunity","publisher":"Cell Press","oa_version":"None","date_created":"2018-12-11T11:59:49Z","publist_id":"3969","author":[{"full_name":"Moussion, Christine","id":"3356F664-F248-11E8-B48F-1D18A9856A87","first_name":"Christine","last_name":"Moussion"},{"full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","orcid":"0000-0002-6620-9179","last_name":"Sixt"}],"date_published":"2013-05-23T00:00:00Z","date_updated":"2021-01-12T07:00:01Z","doi":"10.1016/j.immuni.2013.05.005","scopus_import":1,"quality_controlled":"1"},{"user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","type":"journal_article","volume":42,"page":"301 - 327","year":"2013","_id":"2831","issue":"3","external_id":{"arxiv":["1104.3348"]},"status":"public","oa":1,"citation":{"ama":"Chatterjee K, Henzinger MH, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. <i>Formal Methods in System Design</i>. 2013;42(3):301-327. doi:<a href=\"https://doi.org/10.1007/s10703-012-0180-2\">10.1007/s10703-012-0180-2</a>","short":"K. Chatterjee, M.H. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.","ista":"Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.","mla":"Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” <i>Formal Methods in System Design</i>, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:<a href=\"https://doi.org/10.1007/s10703-012-0180-2\">10.1007/s10703-012-0180-2</a>.","ieee":"K. Chatterjee, M. H. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” <i>Formal Methods in System Design</i>, vol. 42, no. 3. Springer, pp. 301–327, 2013.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” <i>Formal Methods in System Design</i>. Springer, 2013. <a href=\"https://doi.org/10.1007/s10703-012-0180-2\">https://doi.org/10.1007/s10703-012-0180-2</a>.","apa":"Chatterjee, K., Henzinger, M. H., Joglekar, M., &#38; Shah, N. (2013). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-012-0180-2\">https://doi.org/10.1007/s10703-012-0180-2</a>"},"publisher":"Springer","publication":"Formal Methods in System Design","department":[{"_id":"KrCh"}],"title":"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives","publist_id":"3968","date_created":"2018-12-11T11:59:49Z","ec_funded":1,"oa_version":"Preprint","arxiv":1,"abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with Büchi (liveness) objectives. We consider the problem of computing the set of almost-sure winning states from where the objective can be ensured with probability 1. Our contributions are as follows: First, we present the first subquadratic symbolic algorithm to compute the almost-sure winning set for MDPs with Büchi objectives; our algorithm takes O(n · √ m) symbolic steps as compared to the previous known algorithm that takes O(n 2) symbolic steps, where n is the number of states and m is the number of edges of the MDP. In practice MDPs have constant out-degree, and then our symbolic algorithm takes O(n · √ n) symbolic steps, as compared to the previous known O(n 2) symbolic steps algorithm. Second, we present a new algorithm, namely win-lose algorithm, with the following two properties: (a) the algorithm iteratively computes subsets of the almost-sure winning set and its complement, as compared to all previous algorithms that discover the almost-sure winning set upon termination; and (b) requires O(n · √ K) symbolic steps, where K is the maximal number of edges of strongly connected components (scc's) of the MDP. The win-lose algorithm requires symbolic computation of scc's. Third, we improve the algorithm for symbolic scc computation; the previous known algorithm takes linear symbolic steps, and our new algorithm improves the constants associated with the linear number of steps. In the worst case the previous known algorithm takes 5×n symbolic steps, whereas our new algorithm takes 4×n symbolic steps."}],"publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1104.3348","open_access":"1"}],"intvolume":"        42","day":"01","month":"06","language":[{"iso":"eng"}],"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","related_material":{"record":[{"id":"3342","relation":"earlier_version","status":"public"}]},"date_updated":"2023-02-23T11:23:04Z","doi":"10.1007/s10703-012-0180-2","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","first_name":"Monika H"},{"first_name":"Manas","last_name":"Joglekar","full_name":"Joglekar, Manas"},{"full_name":"Shah, Nisarg","first_name":"Nisarg","last_name":"Shah"}],"date_published":"2013-06-01T00:00:00Z","quality_controlled":"1","scopus_import":"1"},{"file":[{"date_updated":"2020-07-14T12:45:50Z","file_id":"4957","file_size":3813091,"checksum":"050237d6c53e8d1601b26808ee1dd6d8","file_name":"IST-2016-411-v1+1_journal.pgen.1003540.pdf","relation":"main_file","creator":"system","access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:12:39Z"}],"publication_status":"published","intvolume":"         9","ddc":["570"],"day":"05","month":"05","language":[{"iso":"eng"}],"project":[{"call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","grant_number":"282300"}],"article_number":"e1003540","file_date_updated":"2020-07-14T12:45:50Z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1371/journal.pgen.1003540","date_updated":"2021-01-12T07:00:03Z","date_published":"2013-05-05T00:00:00Z","pubrep_id":"411","author":[{"first_name":"Hirokazu","last_name":"Tanaka","full_name":"Tanaka, Hirokazu"},{"full_name":"Kitakura, Saeko","last_name":"Kitakura","first_name":"Saeko"},{"full_name":"Rakusová, Hana","last_name":"Rakusová","first_name":"Hana"},{"full_name":"Uemura, Tomohiro","last_name":"Uemura","first_name":"Tomohiro"},{"first_name":"Mugurel","last_name":"Feraru","full_name":"Feraru, Mugurel"},{"full_name":"De Rycke, Riet","first_name":"Riet","last_name":"De Rycke"},{"first_name":"Stéphanie","last_name":"Robert","full_name":"Robert, Stéphanie"},{"last_name":"Kakimoto","first_name":"Tatsuo","full_name":"Kakimoto, Tatsuo"},{"first_name":"Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","scopus_import":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":9,"has_accepted_license":"1","year":"2013","_id":"2832","issue":"5","status":"public","oa":1,"citation":{"chicago":"Tanaka, Hirokazu, Saeko Kitakura, Hana Rakusová, Tomohiro Uemura, Mugurel Feraru, Riet De Rycke, Stéphanie Robert, Tatsuo Kakimoto, and Jiří Friml. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.” <i>PLoS Genetics</i>. Public Library of Science, 2013. <a href=\"https://doi.org/10.1371/journal.pgen.1003540\">https://doi.org/10.1371/journal.pgen.1003540</a>.","ieee":"H. Tanaka <i>et al.</i>, “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” <i>PLoS Genetics</i>, vol. 9, no. 5. Public Library of Science, 2013.","apa":"Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R., … Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. <i>PLoS Genetics</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pgen.1003540\">https://doi.org/10.1371/journal.pgen.1003540</a>","ama":"Tanaka H, Kitakura S, Rakusová H, et al. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. <i>PLoS Genetics</i>. 2013;9(5). doi:<a href=\"https://doi.org/10.1371/journal.pgen.1003540\">10.1371/journal.pgen.1003540</a>","mla":"Tanaka, Hirokazu, et al. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.” <i>PLoS Genetics</i>, vol. 9, no. 5, e1003540, Public Library of Science, 2013, doi:<a href=\"https://doi.org/10.1371/journal.pgen.1003540\">10.1371/journal.pgen.1003540</a>.","short":"H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).","ista":"Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540."},"publisher":"Public Library of Science","publication":"PLoS Genetics","title":"Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana","department":[{"_id":"JiFr"}],"publist_id":"3967","ec_funded":1,"date_created":"2018-12-11T11:59:50Z","oa_version":"Published Version","abstract":[{"text":"PIN-FORMED (PIN) proteins localize asymmetrically at the plasma membrane and mediate intercellular polar transport of the plant hormone auxin that is crucial for a multitude of developmental processes in plants. PIN localization is under extensive control by environmental or developmental cues, but mechanisms regulating PIN localization are not fully understood. Here we show that early endosomal components ARF GEF BEN1 and newly identified Sec1/Munc18 family protein BEN2 are involved in distinct steps of early endosomal trafficking. BEN1 and BEN2 are collectively required for polar PIN localization, for their dynamic repolarization, and consequently for auxin activity gradient formation and auxin-related developmental processes including embryonic patterning, organogenesis, and vasculature venation patterning. These results show that early endosomal trafficking is crucial for cell polarity and auxin-dependent regulation of plant architecture.","lang":"eng"}]},{"publisher":"Cell Press","publication":"Cell","title":"Forces in tissue morphogenesis and patterning","department":[{"_id":"CaHe"}],"publist_id":"3966","date_created":"2018-12-11T11:59:50Z","oa_version":"None","doi":"10.1016/j.cell.2013.05.008","date_updated":"2021-01-12T07:00:04Z","date_published":"2013-05-23T00:00:00Z","author":[{"full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg"},{"last_name":"Bellaïche","first_name":"Yohanns","full_name":"Bellaïche, Yohanns"}],"quality_controlled":"1","abstract":[{"lang":"eng","text":"During development, mechanical forces cause changes in size, shape, number, position, and gene expression of cells. They are therefore integral to any morphogenetic processes. Force generation by actin-myosin networks and force transmission through adhesive complexes are two self-organizing phenomena driving tissue morphogenesis. Coordination and integration of forces by long-range force transmission and mechanosensing of cells within tissues produce large-scale tissue shape changes. Extrinsic mechanical forces also control tissue patterning by modulating cell fate specification and differentiation. Thus, the interplay between tissue mechanics and biochemical signaling orchestrates tissue morphogenesis and patterning in development."}],"scopus_import":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":153,"page":"948 - 962","year":"2013","publication_status":"published","_id":"2833","intvolume":"       153","issue":"5","day":"23","status":"public","acknowledgement":"C.-P.H. is supported by the Institute of Science and Technology Austria and grants from the Deutsche Forschungsgemeinschaft (DFG) and Fonds zur Förderung der wissenschaftlichen Forschung (FWF).","month":"05","language":[{"iso":"eng"}],"citation":{"short":"C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.","ista":"Heisenberg C-PJ, Bellaïche Y. 2013. Forces in tissue morphogenesis and patterning. Cell. 153(5), 948–962.","mla":"Heisenberg, Carl-Philipp J., and Yohanns Bellaïche. “Forces in Tissue Morphogenesis and Patterning.” <i>Cell</i>, vol. 153, no. 5, Cell Press, 2013, pp. 948–62, doi:<a href=\"https://doi.org/10.1016/j.cell.2013.05.008\">10.1016/j.cell.2013.05.008</a>.","ama":"Heisenberg C-PJ, Bellaïche Y. Forces in tissue morphogenesis and patterning. <i>Cell</i>. 2013;153(5):948-962. doi:<a href=\"https://doi.org/10.1016/j.cell.2013.05.008\">10.1016/j.cell.2013.05.008</a>","apa":"Heisenberg, C.-P. J., &#38; Bellaïche, Y. (2013). Forces in tissue morphogenesis and patterning. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2013.05.008\">https://doi.org/10.1016/j.cell.2013.05.008</a>","chicago":"Heisenberg, Carl-Philipp J, and Yohanns Bellaïche. “Forces in Tissue Morphogenesis and Patterning.” <i>Cell</i>. Cell Press, 2013. <a href=\"https://doi.org/10.1016/j.cell.2013.05.008\">https://doi.org/10.1016/j.cell.2013.05.008</a>.","ieee":"C.-P. J. Heisenberg and Y. Bellaïche, “Forces in tissue morphogenesis and patterning,” <i>Cell</i>, vol. 153, no. 5. Cell Press, pp. 948–962, 2013."}},{"date_updated":"2021-01-12T07:00:05Z","doi":"10.1103/PhysRevLett.110.224502","author":[{"full_name":"Avila, Marc","last_name":"Avila","first_name":"Marc"},{"last_name":"Mellibovsky","first_name":"Fernando","full_name":"Mellibovsky, Fernando"},{"first_name":"Nicolas","last_name":"Roland","full_name":"Roland, Nicolas"},{"orcid":"0000-0003-2057-2754","last_name":"Hof","first_name":"Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","full_name":"Hof, Björn"}],"date_published":"2013-05-29T00:00:00Z","quality_controlled":"1","scopus_import":1,"article_number":"224502","day":"29","month":"05","project":[{"name":"Decoding the complexity of turbulence at its origin","grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"language":[{"iso":"eng"}],"publication_status":"published","intvolume":"       110","main_file_link":[{"url":"http://arxiv.org/abs/1212.0230","open_access":"1"}],"arxiv":1,"abstract":[{"lang":"eng","text":"Although the equations governing fluid flow are well known, there are no analytical expressions that describe the complexity of turbulent motion. A recent proposition is that in analogy to low dimensional chaotic systems, turbulence is organized around unstable solutions of the governing equations which provide the building blocks of the disordered dynamics. We report the discovery of periodic solutions which just like intermittent turbulence are spatially localized and show that turbulent transients arise from one such solution branch."}],"publisher":"American Physical Society","publication":"Physical Review Letters","department":[{"_id":"BjHo"}],"title":"Streamwise-localized solutions at the onset of turbulence in pipe flow","publist_id":"3965","date_created":"2018-12-11T11:59:50Z","ec_funded":1,"oa_version":"Preprint","issue":"22","external_id":{"arxiv":["1212.0230"]},"oa":1,"status":"public","citation":{"chicago":"Avila, Marc, Fernando Mellibovsky, Nicolas Roland, and Björn Hof. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” <i>Physical Review Letters</i>. American Physical Society, 2013. <a href=\"https://doi.org/10.1103/PhysRevLett.110.224502\">https://doi.org/10.1103/PhysRevLett.110.224502</a>.","ieee":"M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions at the onset of turbulence in pipe flow,” <i>Physical Review Letters</i>, vol. 110, no. 22. American Physical Society, 2013.","apa":"Avila, M., Mellibovsky, F., Roland, N., &#38; Hof, B. (2013). Streamwise-localized solutions at the onset of turbulence in pipe flow. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.110.224502\">https://doi.org/10.1103/PhysRevLett.110.224502</a>","ama":"Avila M, Mellibovsky F, Roland N, Hof B. Streamwise-localized solutions at the onset of turbulence in pipe flow. <i>Physical Review Letters</i>. 2013;110(22). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.110.224502\">10.1103/PhysRevLett.110.224502</a>","ista":"Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.","short":"M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).","mla":"Avila, Marc, et al. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” <i>Physical Review Letters</i>, vol. 110, no. 22, 224502, American Physical Society, 2013, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.110.224502\">10.1103/PhysRevLett.110.224502</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":110,"year":"2013","_id":"2834"},{"date_published":"2013-06-01T00:00:00Z","author":[{"full_name":"Yu, Hong","first_name":"Hong","last_name":"Yu"},{"first_name":"Michael","last_name":"Karampelias","full_name":"Karampelias, Michael"},{"full_name":"Robert, Stéphanie","first_name":"Stéphanie","last_name":"Robert"},{"full_name":"Peer, Wendy","first_name":"Wendy","last_name":"Peer"},{"last_name":"Swarup","first_name":"Ranjan","full_name":"Swarup, Ranjan"},{"last_name":"Ye","first_name":"Songqing","full_name":"Ye, Songqing"},{"last_name":"Ge","first_name":"Lei","full_name":"Ge, Lei"},{"full_name":"Cohen, Jerry","first_name":"Jerry","last_name":"Cohen"},{"first_name":"Angus","last_name":"Murphy","full_name":"Murphy, Angus"},{"full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml"},{"last_name":"Estelle","first_name":"Mark","full_name":"Estelle, Mark"}],"doi":"10.1104/pp.113.217018","date_updated":"2021-01-12T07:00:05Z","scopus_import":1,"quality_controlled":"1","pmid":1,"day":"01","language":[{"iso":"eng"}],"month":"06","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3668084/","open_access":"1"}],"intvolume":"       162","publication_status":"published","abstract":[{"text":"The phytohormone auxin regulates virtually every aspect of plant development. To identify new genes involved in auxin activity, a genetic screen was performed for Arabidopsis (Arabidopsis thaliana) mutants with altered expression of the auxin-responsive reporter DR5rev:GFP. One of the mutants recovered in the screen, designated as weak auxin response3 (wxr3), exhibits much lower DR5rev:GFP expression when treated with the synthetic auxin 2,4-dichlorophenoxyacetic acid and displays severe defects in root development. The wxr3 mutant decreases polar auxin transport and results in a disruption of the asymmetric auxin distribution. The levels of the auxin transporters AUXIN1 and PIN-FORMED are dramatically reduced in the wxr3 root tip. Molecular analyses demonstrate that WXR3 is ROOT ULTRAVIOLET B-SENSITIVE1 (RUS1), a member of the conserved Domain of Unknown Function647 protein family found in diverse eukaryotic organisms. Our data suggest that RUS1/WXR3 plays an essential role in the regulation of polar auxin transport by maintaining the proper level of auxin transporters on the plasma membrane.","lang":"eng"}],"department":[{"_id":"JiFr"}],"title":"Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis","publication":"Plant Physiology","publisher":"American Society of Plant Biologists","oa_version":"Submitted Version","date_created":"2018-12-11T11:59:51Z","publist_id":"3964","oa":1,"status":"public","external_id":{"pmid":["23580592"]},"issue":"2","citation":{"chicago":"Yu, Hong, Michael Karampelias, Stéphanie Robert, Wendy Peer, Ranjan Swarup, Songqing Ye, Lei Ge, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” <i>Plant Physiology</i>. American Society of Plant Biologists, 2013. <a href=\"https://doi.org/10.1104/pp.113.217018\">https://doi.org/10.1104/pp.113.217018</a>.","ieee":"H. Yu <i>et al.</i>, “Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis,” <i>Plant Physiology</i>, vol. 162, no. 2. American Society of Plant Biologists, pp. 965–976, 2013.","apa":"Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. <i>Plant Physiology</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1104/pp.113.217018\">https://doi.org/10.1104/pp.113.217018</a>","ama":"Yu H, Karampelias M, Robert S, et al. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. <i>Plant Physiology</i>. 2013;162(2):965-976. doi:<a href=\"https://doi.org/10.1104/pp.113.217018\">10.1104/pp.113.217018</a>","ista":"Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2), 965–976.","short":"H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen, A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.","mla":"Yu, Hong, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” <i>Plant Physiology</i>, vol. 162, no. 2, American Society of Plant Biologists, 2013, pp. 965–76, doi:<a href=\"https://doi.org/10.1104/pp.113.217018\">10.1104/pp.113.217018</a>."},"page":"965 - 976","volume":162,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"2835","year":"2013"},{"date_published":"2013-07-04T00:00:00Z","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Raman, Vishwanath","last_name":"Raman","first_name":"Vishwanath"}],"doi":"10.1007/s00165-013-0283-6","date_updated":"2021-01-12T07:00:06Z","scopus_import":1,"quality_controlled":"1","intvolume":"        26","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1004.2697"}],"publication_status":"published","day":"04","month":"07","language":[{"iso":"eng"}],"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"publication":"Formal Aspects of Computing","department":[{"_id":"KrCh"}],"title":"Assume-guarantee synthesis for digital contract signing","publisher":"Springer","ec_funded":1,"date_created":"2018-12-11T11:59:51Z","oa_version":"Preprint","publist_id":"3963","arxiv":1,"abstract":[{"text":"We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objectives of the participating agents and the trusted third party as path formulas in linear temporal logic and prove that the satisfaction of these objectives imply fairness; a property required of fair exchange protocols. We then show that weak (co-operative) co-synthesis and classical (strictly competitive) co-synthesis fail, whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate the success of AGS as follows: (a) any solution of AGS is attack-free; no subset of participants can violate the objectives of the other participants; (b) the Asokan-Shoup-Waidner certified mail protocol that has known vulnerabilities is not a solution of AGS; (c) the Kremer-Markowitch non-repudiation protocol is a solution of AGS; and (d) AGS presents a new and symmetric fair non-repudiation protocol that is attack-free. To our knowledge this is the first application of synthesis to fair non-repudiation protocols, and our results show how synthesis can both automatically discover vulnerabilities in protocols and generate correct protocols. The solution to AGS can be computed efficiently as the secure equilibrium solution of three-player graph games. ","lang":"eng"}],"volume":26,"page":"825 - 859","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","_id":"2836","year":"2013","oa":1,"status":"public","issue":"4","external_id":{"arxiv":["1004.2697"]},"citation":{"apa":"Chatterjee, K., &#38; Raman, V. (2013). Assume-guarantee synthesis for digital contract signing. <i>Formal Aspects of Computing</i>. Springer. <a href=\"https://doi.org/10.1007/s00165-013-0283-6\">https://doi.org/10.1007/s00165-013-0283-6</a>","chicago":"Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” <i>Formal Aspects of Computing</i>. Springer, 2013. <a href=\"https://doi.org/10.1007/s00165-013-0283-6\">https://doi.org/10.1007/s00165-013-0283-6</a>.","ieee":"K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” <i>Formal Aspects of Computing</i>, vol. 26, no. 4. Springer, pp. 825–859, 2013.","mla":"Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” <i>Formal Aspects of Computing</i>, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:<a href=\"https://doi.org/10.1007/s00165-013-0283-6\">10.1007/s00165-013-0283-6</a>.","ista":"Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.","short":"K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.","ama":"Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. <i>Formal Aspects of Computing</i>. 2013;26(4):825-859. doi:<a href=\"https://doi.org/10.1007/s00165-013-0283-6\">10.1007/s00165-013-0283-6</a>"}},{"language":[{"iso":"eng"}],"month":"05","day":"29","ddc":["530"],"intvolume":"        18","publication_status":"published","file":[{"file_id":"5169","date_updated":"2020-07-14T12:45:50Z","file_name":"IST-2016-406-v1+1_2473-13759-1-PB.pdf","checksum":"aac9e52a00cb2f5149dc9e362b5ccf44","file_size":651497,"access_level":"open_access","creator":"system","relation":"main_file","date_created":"2018-12-12T10:15:46Z","content_type":"application/pdf"}],"scopus_import":1,"quality_controlled":"1","author":[{"orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László"},{"full_name":"Knowles, Antti","last_name":"Knowles","first_name":"Antti"},{"full_name":"Yau, Horng","last_name":"Yau","first_name":"Horng"},{"full_name":"Yin, Jun","last_name":"Yin","first_name":"Jun"}],"pubrep_id":"406","date_published":"2013-05-29T00:00:00Z","date_updated":"2021-01-12T07:00:06Z","doi":"10.1214/EJP.v18-2473","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file_date_updated":"2020-07-14T12:45:50Z","citation":{"apa":"Erdös, L., Knowles, A., Yau, H., &#38; Yin, J. (2013). The local semicircle law for a general class of random matrices. <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/EJP.v18-2473\">https://doi.org/10.1214/EJP.v18-2473</a>","chicago":"Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “The Local Semicircle Law for a General Class of Random Matrices.” <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics, 2013. <a href=\"https://doi.org/10.1214/EJP.v18-2473\">https://doi.org/10.1214/EJP.v18-2473</a>.","ieee":"L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” <i>Electronic Journal of Probability</i>, vol. 18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.","short":"L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.","ista":"Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.","mla":"Erdös, László, et al. “The Local Semicircle Law for a General Class of Random Matrices.” <i>Electronic Journal of Probability</i>, vol. 18, no. 59, Institute of Mathematical Statistics, 2013, pp. 1–58, doi:<a href=\"https://doi.org/10.1214/EJP.v18-2473\">10.1214/EJP.v18-2473</a>.","ama":"Erdös L, Knowles A, Yau H, Yin J. The local semicircle law for a general class of random matrices. <i>Electronic Journal of Probability</i>. 2013;18(59):1-58. doi:<a href=\"https://doi.org/10.1214/EJP.v18-2473\">10.1214/EJP.v18-2473</a>"},"status":"public","oa":1,"issue":"59","_id":"2837","year":"2013","has_accepted_license":"1","page":"1-58","volume":18,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We consider a general class of N × N random matrices whose entries hij are independent up to a symmetry constraint, but not necessarily identically distributed. Our main result is a local semicircle law which improves previous results [17] both in the bulk and at the edge. The error bounds are given in terms of the basic small parameter of the model, maxi,j E|hij|2. As a consequence, we prove the universality of the local n-point correlation functions in the bulk spectrum for a class of matrices whose entries do not have comparable variances, including random band matrices with band width W ≫N1-εn with some εn &gt; 0 and with a negligible mean-field component. In addition, we provide a coherent and pedagogical proof of the local semicircle law, streamlining and strengthening previous arguments from [17, 19, 6]."}],"oa_version":"Published Version","date_created":"2018-12-11T11:59:51Z","publist_id":"3962","department":[{"_id":"LaEr"}],"title":"The local semicircle law for a general class of random matrices","publication":"Electronic Journal of Probability","publisher":"Institute of Mathematical Statistics"},{"file_date_updated":"2020-07-14T12:45:50Z","article_number":"e54285","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"pubrep_id":"407","author":[{"last_name":"Arquè Fuste","first_name":"Gloria","id":"3CF33908-F248-11E8-B48F-1D18A9856A87","full_name":"Arquè Fuste, Gloria"},{"full_name":"Casanovas, Anna","first_name":"Anna","last_name":"Casanovas"},{"first_name":"Mara","last_name":"Dierssen","full_name":"Dierssen, Mara"}],"date_published":"2013-01-16T00:00:00Z","date_updated":"2021-01-12T07:00:07Z","doi":"10.1371/journal.pone.0054285","scopus_import":1,"quality_controlled":"1","intvolume":"         8","publication_status":"published","file":[{"file_id":"5160","date_updated":"2020-07-14T12:45:50Z","file_size":4795977,"checksum":"512733b21419574a45f10cabef3d7f81","file_name":"IST-2016-407-v1+1_journal.pone.0054285.pdf","relation":"main_file","creator":"system","access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:15:38Z"}],"day":"16","ddc":["570"],"language":[{"iso":"eng"}],"month":"01","department":[{"_id":"SiHi"}],"title":"Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome","publication":"PLoS One","publisher":"Public Library of Science","oa_version":"Published Version","date_created":"2018-12-11T11:59:52Z","publist_id":"3960","abstract":[{"text":"Individuals with Down syndrome (DS) present important motor deficits that derive from altered motor development of infants and young children. DYRK1A, a candidate gene for DS abnormalities has been implicated in motor function due to its expression in motor nuclei in the adult brain, and its overexpression in DS mouse models leads to hyperactivity and altered motor learning. However, its precise role in the adult motor system, or its possible involvement in postnatal locomotor development has not yet been clarified. During the postnatal period we observed time-specific expression of Dyrk1A in discrete subsets of brainstem nuclei and spinal cord motor neurons. Interestingly, we describe for the first time the presence of Dyrk1A in the presynaptic terminal of the neuromuscular junctions and its axonal transport from the facial nucleus, suggesting a function for Dyrk1A in these structures. Relevant to DS, Dyrk1A overexpression in transgenic mice (TgDyrk1A) produces motor developmental alterations possibly contributing to DS motor phenotypes and modifies the numbers of motor cholinergic neurons, suggesting that the kinase may have a role in the development of the brainstem and spinal cord motor system.","lang":"eng"}],"volume":8,"type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"2838","has_accepted_license":"1","year":"2013","status":"public","oa":1,"issue":"1","citation":{"ama":"Arquè Fuste G, Casanovas A, Dierssen M. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. <i>PLoS One</i>. 2013;8(1). doi:<a href=\"https://doi.org/10.1371/journal.pone.0054285\">10.1371/journal.pone.0054285</a>","short":"G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).","mla":"Arquè Fuste, Gloria, et al. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.” <i>PLoS One</i>, vol. 8, no. 1, e54285, Public Library of Science, 2013, doi:<a href=\"https://doi.org/10.1371/journal.pone.0054285\">10.1371/journal.pone.0054285</a>.","ista":"Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 8(1), e54285.","ieee":"G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” <i>PLoS One</i>, vol. 8, no. 1. Public Library of Science, 2013.","chicago":"Arquè Fuste, Gloria, Anna Casanovas, and Mara Dierssen. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.” <i>PLoS One</i>. Public Library of Science, 2013. <a href=\"https://doi.org/10.1371/journal.pone.0054285\">https://doi.org/10.1371/journal.pone.0054285</a>.","apa":"Arquè Fuste, G., Casanovas, A., &#38; Dierssen, M. (2013). Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0054285\">https://doi.org/10.1371/journal.pone.0054285</a>"}},{"project":[{"call_identifier":"FP7","_id":"25A603A2-B435-11E9-9278-68D0E5697425","grant_number":"281556","name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)"},{"name":"Cell migration in complex environments: from in vivo experiments to theoretical models","grant_number":"RGP0058/2011","_id":"25ABD200-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"month":"01","day":"18","intvolume":"       339","main_file_link":[{"url":"https://kops.uni-konstanz.de/bitstream/123456789/26341/2/Weber_263418.pdf","open_access":"1"}],"publication_status":"published","scopus_import":"1","quality_controlled":"1","author":[{"first_name":"Michele","last_name":"Weber","full_name":"Weber, Michele","id":"3A3FC708-F248-11E8-B48F-1D18A9856A87"},{"id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","full_name":"Hauschild, Robert","orcid":"0000-0001-9843-3522","last_name":"Hauschild","first_name":"Robert"},{"full_name":"Schwarz, Jan","id":"346C1EC6-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Schwarz"},{"id":"3356F664-F248-11E8-B48F-1D18A9856A87","full_name":"Moussion, Christine","last_name":"Moussion","first_name":"Christine"},{"full_name":"De Vries, Ingrid","id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","first_name":"Ingrid","last_name":"De Vries"},{"first_name":"Daniel","last_name":"Legler","full_name":"Legler, Daniel"},{"full_name":"Luther, Sanjiv","first_name":"Sanjiv","last_name":"Luther"},{"last_name":"Bollenbach","orcid":"0000-0003-4398-476X","first_name":"Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias"},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","last_name":"Sixt","first_name":"Michael K"}],"date_published":"2013-01-18T00:00:00Z","date_updated":"2022-06-10T10:21:40Z","doi":"10.1126/science.1228456","article_processing_charge":"No","citation":{"chicago":"Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid de Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” <i>Science</i>. American Association for the Advancement of Science, 2013. <a href=\"https://doi.org/10.1126/science.1228456\">https://doi.org/10.1126/science.1228456</a>.","ieee":"M. Weber <i>et al.</i>, “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” <i>Science</i>, vol. 339, no. 6117. American Association for the Advancement of Science, pp. 328–332, 2013.","apa":"Weber, M., Hauschild, R., Schwarz, J., Moussion, C., de Vries, I., Legler, D., … Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic chemokine gradients. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1228456\">https://doi.org/10.1126/science.1228456</a>","ama":"Weber M, Hauschild R, Schwarz J, et al. Interstitial dendritic cell guidance by haptotactic chemokine gradients. <i>Science</i>. 2013;339(6117):328-332. doi:<a href=\"https://doi.org/10.1126/science.1228456\">10.1126/science.1228456</a>","short":"M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.","ista":"Weber M, Hauschild R, Schwarz J, Moussion C, de Vries I, Legler D, Luther S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 339(6117), 328–332.","mla":"Weber, Michele, et al. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” <i>Science</i>, vol. 339, no. 6117, American Association for the Advancement of Science, 2013, pp. 328–32, doi:<a href=\"https://doi.org/10.1126/science.1228456\">10.1126/science.1228456</a>."},"oa":1,"acknowledgement":"We thank M. Frank for technical assistance and S. Cremer, P. Schmalhorst, and E. Kiermaier for critical reading of the manuscript. This work was supported by a Humboldt Foundation postdoctoral fellowship (to M.W.), the German Research Foundation (Si1323 1,2 to M.S.), the Human Frontier Science Program (HFSP RGP0058/2011 to M.S.), the European Research Council (ERC StG 281556 to M.S.), and the Swiss National Science Foundation (31003A 127474 to D.F.L., 130488 to S.A.L.).","status":"public","article_type":"original","issue":"6117","_id":"2839","year":"2013","page":"328 - 332","volume":339,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Directional guidance of cells via gradients of chemokines is considered crucial for embryonic development, cancer dissemination, and immune responses. Nevertheless, the concept still lacks direct experimental confirmation in vivo. Here, we identify endogenous gradients of the chemokine CCL21 within mouse skin and show that they guide dendritic cells toward lymphatic vessels. Quantitative imaging reveals depots of CCL21 within lymphatic endothelial cells and steeply decaying gradients within the perilymphatic interstitium. These gradients match the migratory patterns of the dendritic cells, which directionally approach vessels from a distance of up to 90-micrometers. Interstitial CCL21 is immobilized to heparan sulfates, and its experimental delocalization or swamping the endogenous gradients abolishes directed migration. These findings functionally establish the concept of haptotaxis, directed migration along immobilized gradients, in tissues.","lang":"eng"}],"oa_version":"Published Version","date_created":"2018-12-11T11:59:52Z","ec_funded":1,"publist_id":"3959","title":"Interstitial dendritic cell guidance by haptotactic chemokine gradients","department":[{"_id":"MiSi"},{"_id":"Bio"}],"publication":"Science","publisher":"American Association for the Advancement of Science"}]