--- _id: '3846' abstract: - lang: eng text: We summarize classical and recent results about two-player games played on graphs with ω-regular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications. acknowledgement: This research was supported in part by the ONR grant N00014-02-1-0671, by the AFOSR MURI grant F49620-00-1-0327, and by the NSF grants CCR-9988172, CCR-0085949, and CCR-0225610. article_processing_charge: No article_type: original author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: Chatterjee K, Henzinger TA. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 2012;78(2):394-413. doi:10.1016/j.jcss.2011.05.002 apa: Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2011.05.002 chicago: Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences. Elsevier, 2012. https://doi.org/10.1016/j.jcss.2011.05.002. ieee: K. Chatterjee and T. A. Henzinger, “A survey of stochastic ω regular games,” Journal of Computer and System Sciences, vol. 78, no. 2. Elsevier, pp. 394–413, 2012. ista: Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 78(2), 394–413. mla: Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002. short: K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413. date_created: 2018-12-11T12:05:29Z date_published: 2012-03-02T00:00:00Z date_updated: 2022-05-24T08:00:54Z day: '02' ddc: - '000' department: - _id: KrCh - _id: ToHe doi: 10.1016/j.jcss.2011.05.002 file: - access_level: open_access checksum: 241b939deb4517cdd4426d49c67e3fa2 content_type: application/pdf creator: kschuh date_created: 2019-01-29T10:54:28Z date_updated: 2020-07-14T12:46:17Z file_id: '5897' file_name: a_survey_of_stochastic_omega-regular_games.pdf file_size: 336450 relation: main_file file_date_updated: 2020-07-14T12:46:17Z has_accepted_license: '1' intvolume: ' 78' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.jcss.2011.05.002 month: '03' oa: 1 oa_version: Submitted Version page: 394 - 413 publication: Journal of Computer and System Sciences publication_status: published publisher: Elsevier publist_id: '2341' quality_controlled: '1' scopus_import: '1' status: public title: A survey of stochastic ω regular games type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 78 year: '2012' ... --- _id: '387' abstract: - lang: eng text: In this Letter we present detailed study of the density of states near defects in Bi 2Se 3. In particular, we present data on the commonly found triangular defects in this system. While we do not find any measurable quasiparticle scattering interference effects, we do find localized resonances, which can be well fitted by theory once the potential is taken to be extended to properly account for the observed defects. The data together with the fits confirm that while the local density of states around the Dirac point of the electronic spectrum at the surface is significantly disrupted near the impurity by the creation of low-energy resonance state, the Dirac point is not locally destroyed. We discuss our results in terms of the expected protected surface state of topological insulators. © 2012 American Physical Society. author: - first_name: Zhanybek full_name: Alpichshev, Zhanybek id: 45E67A2A-F248-11E8-B48F-1D18A9856A87 last_name: Alpichshev orcid: 0000-0002-7183-5203 - first_name: Rudro full_name: Biswas, Rudro last_name: Biswas - first_name: Alexander full_name: Balatsky, Alexander last_name: Balatsky - first_name: James full_name: Analytis, James last_name: Analytis - first_name: Jiunhaw full_name: Chu, Jiunhaw last_name: Chu - first_name: Ian full_name: Fisher, Ian last_name: Fisher - first_name: Aharon full_name: Kapitulnik, Aharon last_name: Kapitulnik citation: ama: Alpichshev Z, Biswas R, Balatsky A, et al. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 2012;108(20). doi:10.1103/PhysRevLett.108.206402 apa: Alpichshev, Z., Biswas, R., Balatsky, A., Analytis, J., Chu, J., Fisher, I., & Kapitulnik, A. (2012). STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.206402 chicago: Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis, Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances on Bi 2Se 3.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.206402. ieee: Z. Alpichshev et al., “STM imaging of impurity resonances on Bi 2Se 3,” Physical Review Letters, vol. 108, no. 20. American Physical Society, 2012. ista: Alpichshev Z, Biswas R, Balatsky A, Analytis J, Chu J, Fisher I, Kapitulnik A. 2012. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 108(20). mla: Alpichshev, Zhanybek, et al. “STM Imaging of Impurity Resonances on Bi 2Se 3.” Physical Review Letters, vol. 108, no. 20, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.206402. short: Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012). date_created: 2018-12-11T11:46:11Z date_published: 2012-01-01T00:00:00Z date_updated: 2021-01-12T07:52:49Z day: '01' doi: 10.1103/PhysRevLett.108.206402 extern: '1' intvolume: ' 108' issue: '20' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1108.0022 month: '01' oa: 1 oa_version: None publication: Physical Review Letters publication_status: published publisher: American Physical Society publist_id: '7442' status: public title: STM imaging of impurity resonances on Bi 2Se 3 type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 108 year: '2012' ... --- _id: '3110' abstract: - lang: eng text: 'The directional transport of the phytohormone auxin depends on the phosphorylation status and polar localization of PIN-FORMED (PIN) auxin efflux proteins. While PINIOD (PID) kinase is directly involved in the phosphorylation of PIN proteins, the phosphatase holoenzyme complexes that dephosphorylate PIN proteins remain elusive. Here, we demonstrate that mutations simultaneously disrupting the function of Arabidopsis thaliana FyPP1 (for Phytochrome-associated serine/threonine protein phosphatase1) and FyPP3, two homologous genes encoding the catalytic subunits of protein phosphatase6 (PP6), cause elevated accumulation of phosphorylated PIN proteins, correlating with a basal-to-apical shift in subcellular PIN localization. The changes in PIN polarity result in increased root basipetal auxin transport and severe defects, including shorter roots, fewer lateral roots, defective columella cells, root meristem collapse, abnormal cotyledons (small, cup-shaped, or fused cotyledons), and altered leaf venation. Our molecular, biochemical, and genetic data support the notion that FyPP1/3, SAL (for SAPS DOMAIN-LIKE), and PP2AA proteins (RCN1 [for ROOTS CURL IN NAPHTHYLPHTHALAMIC ACID1] or PP2AA1, PP2AA2, and PP2AA3) physically interact to form a novel PP6-type heterotrimeric holoenzyme complex. We also show that FyPP1/3, SAL, and PP2AA interact with a subset of PIN proteins and that for SAL the strength of the interaction depends on the PIN phosphorylation status. Thus, an Arabidopsis PP6-type phosphatase holoenzyme acts antagonistically with PID to direct auxin transport polarity and plant development by directly regulating PIN phosphorylation. ' author: - first_name: Mingqiu full_name: Dai, Mingqiu last_name: Dai - first_name: Chen full_name: Zhang, Chen last_name: Zhang - first_name: Urszula full_name: Urszula Kania id: 4AE5C486-F248-11E8-B48F-1D18A9856A87 last_name: Kania - first_name: Fang full_name: Chen, Fang last_name: Chen - first_name: Qin full_name: Xue, Qin last_name: Xue - first_name: Tyra full_name: McCray, Tyra last_name: Mccray - first_name: Gang full_name: Li, Gang last_name: Li - first_name: Genji full_name: Qin, Genji last_name: Qin - first_name: Michelle full_name: Wakeley, Michelle last_name: Wakeley - first_name: William full_name: Terzaghi, William last_name: Terzaghi - first_name: Jianmin full_name: Wan, Jianmin last_name: Wan - first_name: Yunde full_name: Zhao, Yunde last_name: Zhao - first_name: Jian full_name: Xu, Jian last_name: Xu - first_name: Jirí full_name: Jirí Friml id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Xing full_name: Deng, Xing W last_name: Deng - first_name: Haiyang full_name: Wang, Haiyang last_name: Wang citation: ama: Dai M, Zhang C, Kania U, et al. A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis. Plant Cell. 2012;24(6):2497-2514. doi:10.1105/tpc.112.098905 apa: Dai, M., Zhang, C., Kania, U., Chen, F., Xue, Q., Mccray, T., … Wang, H. (2012). A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.098905 chicago: Dai, Mingqiu, Chen Zhang, Urszula Kania, Fang Chen, Qin Xue, Tyra Mccray, Gang Li, et al. “A PP6 Type Phosphatase Holoenzyme Directly Regulates PIN Phosphorylation and Auxin Efflux in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2012. https://doi.org/10.1105/tpc.112.098905. ieee: M. Dai et al., “A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis,” Plant Cell, vol. 24, no. 6. American Society of Plant Biologists, pp. 2497–2514, 2012. ista: Dai M, Zhang C, Kania U, Chen F, Xue Q, Mccray T, Li G, Qin G, Wakeley M, Terzaghi W, Wan J, Zhao Y, Xu J, Friml J, Deng X, Wang H. 2012. A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis. Plant Cell. 24(6), 2497–2514. mla: Dai, Mingqiu, et al. “A PP6 Type Phosphatase Holoenzyme Directly Regulates PIN Phosphorylation and Auxin Efflux in Arabidopsis.” Plant Cell, vol. 24, no. 6, American Society of Plant Biologists, 2012, pp. 2497–514, doi:10.1105/tpc.112.098905. short: M. Dai, C. Zhang, U. Kania, F. Chen, Q. Xue, T. Mccray, G. Li, G. Qin, M. Wakeley, W. Terzaghi, J. Wan, Y. Zhao, J. Xu, J. Friml, X. Deng, H. Wang, Plant Cell 24 (2012) 2497–2514. date_created: 2018-12-11T12:01:27Z date_published: 2012-06-01T00:00:00Z date_updated: 2021-01-12T07:41:08Z day: '01' doi: 10.1105/tpc.112.098905 extern: 1 intvolume: ' 24' issue: '6' month: '06' page: 2497 - 2514 publication: Plant Cell publication_status: published publisher: American Society of Plant Biologists publist_id: '3589' quality_controlled: 0 status: public title: A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis type: journal_article volume: 24 year: '2012' ... --- _id: '3113' abstract: - lang: eng text: A cell membrane can be considered a liquid-phase plane in which lipids and proteins theoretically are free to diffuse. Numerous reports,however, describe retarded diffusion ofmembrane proteins in animal cells. This anomalous diffusion results from a combination of structuring factors including protein-protein interactions, cytoskeleton corralling, and lipid organization into microdomains. In plant cells, plasma-membrane (PM) proteins have been described as relatively immobile, but the control mechanisms that structure the PM have not been studied. Here, we use fluorescence recovery after photobleaching to estimate mobility of a set of minimal PM proteins. These proteins consist only of a PM-anchoring domain fused to a fluorescent protein, but their mobilities remained limited, as is the case for many full-length proteins. Neither the cytoskeleton nor membrane microdomain structure was involved in constraining the diffusion of these proteins. The cell wall, however, was shown to have a crucial role in immobilizing PM proteins. In addition, by single-molecule fluorescence imaging we confirmed that the pattern of cellulose deposition in the cell wall affects the trajectory and speed ofPMprotein diffusion. Regulation ofPMprotein dynamics by the plant cell wall can be interpreted as a mechanism for regulating protein interactions in processes such as trafficking and signal transduction. author: - first_name: Alexandre full_name: Martinière, Alexandre last_name: Martinière - first_name: Irene full_name: Lavagi, Irene last_name: Lavagi - first_name: Gayathri full_name: Nageswaran, Gayathri last_name: Nageswaran - first_name: Daniel full_name: Rolfe, Daniel J last_name: Rolfe - first_name: Lilly full_name: Maneta-Peyret, Lilly last_name: Maneta Peyret - first_name: Doan full_name: Luu, Doan-Trung last_name: Luu - first_name: Stanley full_name: Botchway, Stanley W last_name: Botchway - first_name: Stephen full_name: Webb, Stephen E last_name: Webb - first_name: Sebastien full_name: Mongrand, Sebastien last_name: Mongrand - first_name: Christophe full_name: Maurel, Christophe last_name: Maurel - first_name: Marisa full_name: Martin-Fernandez, Marisa L last_name: Martin Fernandez - first_name: Jürgen full_name: Kleine-Vehn, Jürgen last_name: Kleine Vehn - first_name: Jirí full_name: Jirí Friml id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Patrick full_name: Moreau, Patrick last_name: Moreau - first_name: John full_name: Runions, John last_name: Runions citation: ama: Martinière A, Lavagi I, Nageswaran G, et al. Cell wall constrains lateral diffusion of plant plasma membrane proteins. PNAS. 2012;109(31):12805-12810. doi:10.1073/pnas.1202040109 apa: Martinière, A., Lavagi, I., Nageswaran, G., Rolfe, D., Maneta Peyret, L., Luu, D., … Runions, J. (2012). Cell wall constrains lateral diffusion of plant plasma membrane proteins. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1202040109 chicago: Martinière, Alexandre, Irene Lavagi, Gayathri Nageswaran, Daniel Rolfe, Lilly Maneta Peyret, Doan Luu, Stanley Botchway, et al. “Cell Wall Constrains Lateral Diffusion of Plant Plasma Membrane Proteins.” PNAS. National Academy of Sciences, 2012. https://doi.org/10.1073/pnas.1202040109. ieee: A. Martinière et al., “Cell wall constrains lateral diffusion of plant plasma membrane proteins,” PNAS, vol. 109, no. 31. National Academy of Sciences, pp. 12805–12810, 2012. ista: Martinière A, Lavagi I, Nageswaran G, Rolfe D, Maneta Peyret L, Luu D, Botchway S, Webb S, Mongrand S, Maurel C, Martin Fernandez M, Kleine Vehn J, Friml J, Moreau P, Runions J. 2012. Cell wall constrains lateral diffusion of plant plasma membrane proteins. PNAS. 109(31), 12805–12810. mla: Martinière, Alexandre, et al. “Cell Wall Constrains Lateral Diffusion of Plant Plasma Membrane Proteins.” PNAS, vol. 109, no. 31, National Academy of Sciences, 2012, pp. 12805–10, doi:10.1073/pnas.1202040109. short: A. Martinière, I. Lavagi, G. Nageswaran, D. Rolfe, L. Maneta Peyret, D. Luu, S. Botchway, S. Webb, S. Mongrand, C. Maurel, M. Martin Fernandez, J. Kleine Vehn, J. Friml, P. Moreau, J. Runions, PNAS 109 (2012) 12805–12810. date_created: 2018-12-11T12:01:28Z date_published: 2012-07-31T00:00:00Z date_updated: 2021-01-12T07:41:09Z day: '31' doi: 10.1073/pnas.1202040109 extern: 1 intvolume: ' 109' issue: '31' month: '07' page: 12805 - 12810 publication: PNAS publication_status: published publisher: National Academy of Sciences publist_id: '3586' quality_controlled: 0 status: public title: Cell wall constrains lateral diffusion of plant plasma membrane proteins type: journal_article volume: 109 year: '2012' ... --- _id: '3114' abstract: - lang: eng text: Auxin is a key coordinative signal required for many aspects of plant development and its levels are controlled by auxin metabolism and intercellular auxin transport. Here we find that a member of PIN auxin transporter family, PIN8 is expressed in male gametophyte of Arabidopsis thaliana and has a crucial role in pollen development and functionality. Ectopic expression in sporophytic tissues establishes a role of PIN8 in regulating auxin homoeostasis and metabolism. PIN8 co-localizes with PIN5 to the endoplasmic reticulum (ER) where it acts as an auxin transporter. Genetic analyses reveal an antagonistic action of PIN5 and PIN8 in the regulation of intracellular auxin homoeostasis and gametophyte as well as sporophyte development. Our results reveal a role of the auxin transport in male gametophyte development in which the distinct actions of ER-localized PIN transporters regulate cellular auxin homoeostasis and maintain the auxin levels optimal for pollen development and pollen tube growth. author: - first_name: Zhaojun full_name: Ding, Zhaojun last_name: Ding - first_name: Bangjun full_name: Wang, Bangjun last_name: Wang - first_name: Ignacio full_name: Moreno, Ignacio last_name: Moreno - first_name: Nikoleta full_name: Dupláková, Nikoleta last_name: Dupláková - first_name: Sibu full_name: Sibu Simon id: 4542EF9A-F248-11E8-B48F-1D18A9856A87 last_name: Simon orcid: 0000-0002-1998-6741 - first_name: Nicola full_name: Carraro, Nicola last_name: Carraro - first_name: Jesica full_name: Reemmer, Jesica last_name: Reemmer - first_name: Aleš full_name: Pěnčík, Aleš last_name: Pěnčík - first_name: Xu full_name: Xu Chen id: 4E5ADCAA-F248-11E8-B48F-1D18A9856A87 last_name: Chen - first_name: Ricardo full_name: Tejos, Ricardo I last_name: Tejos - first_name: Petr full_name: Skůpa, Petr last_name: Skůpa - first_name: Stephan full_name: Pollmann, Stephan last_name: Pollmann - first_name: Jozef full_name: Mravec, Jozef last_name: Mravec - first_name: Jan full_name: Petrášek, Jan last_name: Petrášek - first_name: Eva full_name: Zažímalová, Eva last_name: Zažímalová - first_name: David full_name: Honys, David last_name: Honys - first_name: Jakub full_name: Rolčík, Jakub last_name: Rolčík - first_name: Angus full_name: Murphy, Angus S last_name: Murphy - first_name: Ariel full_name: Orellana, Ariel last_name: Orellana - first_name: Markus full_name: Geisler, Markus last_name: Geisler - first_name: Jirí full_name: Jirí Friml id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Ding Z, Wang B, Moreno I, et al. ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. 2012;3(AN 941). doi:10.1038/ncomms1941 apa: Ding, Z., Wang, B., Moreno, I., Dupláková, N., Simon, S., Carraro, N., … Friml, J. (2012). ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms1941 chicago: Ding, Zhaojun, Bangjun Wang, Ignacio Moreno, Nikoleta Dupláková, Sibu Simon, Nicola Carraro, Jesica Reemmer, et al. “ER-Localized Auxin Transporter PIN8 Regulates Auxin Homeostasis and Male Gametophyte Development in Arabidopsis.” Nature Communications. Nature Publishing Group, 2012. https://doi.org/10.1038/ncomms1941. ieee: Z. Ding et al., “ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis,” Nature Communications, vol. 3, no. AN 941. Nature Publishing Group, 2012. ista: Ding Z, Wang B, Moreno I, Dupláková N, Simon S, Carraro N, Reemmer J, Pěnčík A, Chen X, Tejos R, Skůpa P, Pollmann S, Mravec J, Petrášek J, Zažímalová E, Honys D, Rolčík J, Murphy A, Orellana A, Geisler M, Friml J. 2012. ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. 3(AN 941). mla: Ding, Zhaojun, et al. “ER-Localized Auxin Transporter PIN8 Regulates Auxin Homeostasis and Male Gametophyte Development in Arabidopsis.” Nature Communications, vol. 3, no. AN 941, Nature Publishing Group, 2012, doi:10.1038/ncomms1941. short: Z. Ding, B. Wang, I. Moreno, N. Dupláková, S. Simon, N. Carraro, J. Reemmer, A. Pěnčík, X. Chen, R. Tejos, P. Skůpa, S. Pollmann, J. Mravec, J. Petrášek, E. Zažímalová, D. Honys, J. Rolčík, A. Murphy, A. Orellana, M. Geisler, J. Friml, Nature Communications 3 (2012). date_created: 2018-12-11T12:01:28Z date_published: 2012-07-03T00:00:00Z date_updated: 2021-01-12T07:41:09Z day: '03' doi: 10.1038/ncomms1941 extern: 1 intvolume: ' 3' issue: AN 941 month: '07' publication: Nature Communications publication_status: published publisher: Nature Publishing Group publist_id: '3585' quality_controlled: 0 status: public title: ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis type: journal_article volume: 3 year: '2012' ...