Добірка наукової літератури з теми "Fixed points of morphisms"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Fixed points of morphisms".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Fixed points of morphisms"
Ślosarski, Mirosław. "The Fixed Points of Abstract Morphisms." British Journal of Mathematics & Computer Science 4, no. 21 (January 10, 2014): 3077–89. http://dx.doi.org/10.9734/bjmcs/2014/12891.
Повний текст джерелаShallit, Jeffrey, and Ming-wei Wang. "On two-sided infinite fixed points of morphisms." Theoretical Computer Science 270, no. 1-2 (January 2002): 659–75. http://dx.doi.org/10.1016/s0304-3975(01)00092-5.
Повний текст джерелаConstantinescu, Sorin, and Lucian Ilie. "The Lempel–Ziv Complexity of Fixed Points of Morphisms." SIAM Journal on Discrete Mathematics 21, no. 2 (January 2007): 466–81. http://dx.doi.org/10.1137/050646846.
Повний текст джерелаLevé, F., and G. Richomme. "On a conjecture about finite fixed points of morphisms." Theoretical Computer Science 339, no. 1 (June 2005): 103–28. http://dx.doi.org/10.1016/j.tcs.2005.01.011.
Повний текст джерелаKlouda, Karel, Kateřina Medková, Edita Pelantová, and Štěpán Starosta. "Fixed points of Sturmian morphisms and their derivated words." Theoretical Computer Science 743 (September 2018): 23–37. http://dx.doi.org/10.1016/j.tcs.2018.06.037.
Повний текст джерелаHolub, Štěpán. "Polynomial-time algorithm for fixed points of nontrivial morphisms." Discrete Mathematics 309, no. 16 (August 2009): 5069–76. http://dx.doi.org/10.1016/j.disc.2009.03.019.
Повний текст джерелаFREYDENBERGER, DOMINIK D., DANIEL REIDENBACH, and JOHANNES C. SCHNEIDER. "UNAMBIGUOUS MORPHIC IMAGES OF STRINGS." International Journal of Foundations of Computer Science 17, no. 03 (June 2006): 601–28. http://dx.doi.org/10.1142/s0129054106004017.
Повний текст джерелаKrieger, Dalia. "On Critical exponents in fixed points ofk-uniform binary morphisms." RAIRO - Theoretical Informatics and Applications 43, no. 1 (December 20, 2007): 41–68. http://dx.doi.org/10.1051/ita:2007042.
Повний текст джерелаKrieger, Dalia. "On critical exponents in fixed points of non-erasing morphisms." Theoretical Computer Science 376, no. 1-2 (May 2007): 70–88. http://dx.doi.org/10.1016/j.tcs.2007.01.020.
Повний текст джерелаValyuzhenich, Alexander. "Permutation complexity of the fixed points of some uniform binary morphisms." Electronic Proceedings in Theoretical Computer Science 63 (August 17, 2011): 257–64. http://dx.doi.org/10.4204/eptcs.63.32.
Повний текст джерелаДисертації з теми "Fixed points of morphisms"
Nevisi, Hossein. "Conditions on the existence of unambiguous morphisms." Thesis, Loughborough University, 2012. https://dspace.lboro.ac.uk/2134/10282.
Повний текст джерелаHendtlass, Matthew. "Constructing fixed points and economic equilibria." Thesis, University of Leeds, 2013. http://etheses.whiterose.ac.uk/4973/.
Повний текст джерелаPanicker, Rekha Manoj. "Some general convergence theorems on fixed points." Thesis, Rhodes University, 2014. http://hdl.handle.net/10962/d1013112.
Повний текст джерелаMorris, David. "Extending local analytic conjugacies between parabolic fixed points." Thesis, University of Warwick, 2017. http://wrap.warwick.ac.uk/102605/.
Повний текст джерелаJeganathan, P. "Fixed points for nonexpansive mappings in Banach spaces." Master's thesis, University of Cape Town, 1991. http://hdl.handle.net/11427/17067.
Повний текст джерелаLanzagorta, Marco. "Infra-red fixed points in supersymmetric Grand Unified theories." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318836.
Повний текст джерелаSimms, R. "Exploring higher dimensional quantum field theories through fixed points." Thesis, University of Liverpool, 2018. http://livrepository.liverpool.ac.uk/3028491/.
Повний текст джерелаKretz, Mathis. "Proof-theoretic aspects of modal logic with fixed points /." Bern : [s.n.], 2006. http://www.zb.unibe.ch/download/eldiss/06kretz_m.pdf.
Повний текст джерелаWimmer, Christian [Verfasser]. "Rational global homotopy theory and geometric fixed points / Christian Wimmer." Bonn : Universitäts- und Landesbibliothek Bonn, 2017. http://d-nb.info/1149744863/34.
Повний текст джерелаDoumane, Amina. "On the infinitary proof theory of logics with fixed points." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC123/document.
Повний текст джерелаThe subject of this thesis is the proof theory of logics with fixed points, such as the μ-calculus,linear-logic with fixed points, etc. These logics are usually equipped with finitary deductive systemsthat rely on Park’s rules for induction. other proof systems for these logics exist, which relyon infinitary proofs, but they are much less developped. This thesis contributes to reduce thisdeficiency by developing the infinitary proof-theory of logics with fixed points, with two domainsof application in mind: programming languages with (co)inductive data types and verification ofreactive systems.This thesis contains three parts. In the first part, we recall the two main approaches to theproof theory for logics with fixed points: the finitary and the infinitary one, then we show theirrelationships. In the second part, we argue that infinitary proofs have a true proof-theoreticalstatus by showing that the multiplicative additive linear-logic with fixed points admits focalizationand cut-elimination. In the third part, we apply our proof-theoretical investigations to obtain aconstructive proof of completeness for the linear-time μ-calculus w.r.t. Kozen’s axiomatization
Книги з теми "Fixed points of morphisms"
Shashkin, Yu A. Fixed points. Providence,R.I: American Mathematical Society, 1991.
Знайти повний текст джерелаFixed points. [Providence, R.I.]: American Mathematical Society, 1991.
Знайти повний текст джерелаShashkin, I͡U A. Fixed points. Providence, R.I: American Mathematical Society, Mathematical Association of America, 1991.
Знайти повний текст джерелаFixed points and economic equilibria. Singapore: World Scientific, 2010.
Знайти повний текст джерелаIterative approximation of fixed points. 2nd ed. Berlin: Springer, 2007.
Знайти повний текст джерелаBen Amar, Afif, and Donal O'Regan. Topology and Approximate Fixed Points. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-92204-7.
Повний текст джерелаYang, Zaifu. Computing Equilibria and Fixed Points. Boston, MA: Springer US, 1999. http://dx.doi.org/10.1007/978-1-4757-4839-0.
Повний текст джерелаHollowood, Timothy J. Renormalization Group and Fixed Points. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36312-2.
Повний текст джерелаMalcolm, McCormick, ed. No fixed points: Dance in the twentieth century. New Haven: Yale University Press, 2003.
Знайти повний текст джерелаBanks, Stephen P. Fixed points and shift cycles in cellular automata. Sheffield: University of Sheffield, Dept. of Automatic Control and Systems Engineering, 1992.
Знайти повний текст джерелаЧастини книг з теми "Fixed points of morphisms"
Shallit, Jeffrey, and Ming-wei Wang. "On two-sided infinite fixed points of morphisms." In Fundamentals of Computation Theory, 488–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48321-7_41.
Повний текст джерелаConstantinescu, Sorin, and Lucian Ilie. "The Lempel-Ziv Complexity of Fixed Points of Morphisms." In Lecture Notes in Computer Science, 280–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11821069_25.
Повний текст джерелаKrieger, Dalia. "On Critical Exponents in Fixed Points of Non-erasing Morphisms." In Developments in Language Theory, 280–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11779148_26.
Повний текст джерелаFrid, Anna E. "The subword complexity of fixed points of binary uniform morphisms." In Fundamentals of Computation Theory, 179–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0036182.
Повний текст джерелаKrieger, Dalia. "On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms." In STACS 2006, 104–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11672142_7.
Повний текст джерелаGlaister, Ian, and Jeffrey Shallit. "Polynomial automaticity, context-free languages, and fixed points of morphisms (Extended abstract)." In Mathematical Foundations of Computer Science 1996, 382–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61550-4_164.
Повний текст джерелаBorwein, Jonathan M., and Adrian S. Lewis. "Fixed Points." In Convex Analysis and Nonlinear Optimization, 179–208. New York, NY: Springer New York, 2000. http://dx.doi.org/10.1007/978-1-4757-9859-3_8.
Повний текст джерелаBack, Ralph-Johan, and Joakim Wright. "Fixed Points." In Refinement Calculus, 317–27. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1674-2_19.
Повний текст джерелаHu, Shouchuan, and Nikolas S. Papageorgiou. "Fixed Points." In Handbook of Multivalued Analysis, 517–82. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6359-4_5.
Повний текст джерелаMoschovakis, Yiannis N. "Fixed Points." In Notes on Set Theory, 73–92. New York, NY: Springer New York, 1994. http://dx.doi.org/10.1007/978-1-4757-4153-7_6.
Повний текст джерелаТези доповідей конференцій з теми "Fixed points of morphisms"
Litim, Daniel. "Fixed points of quantum gravity." In From Quantum to Emergent Gravity: Theory and Phenomenology. Trieste, Italy: Sissa Medialab, 2008. http://dx.doi.org/10.22323/1.043.0024.
Повний текст джерелаAbello, James, and François Queyroi. "Fixed points of graph peeling." In ASONAM '13: Advances in Social Networks Analysis and Mining 2013. New York, NY, USA: ACM, 2013. http://dx.doi.org/10.1145/2492517.2492543.
Повний текст джерелаLi, Fuyi. "Fixed points of increasing operator." In Proceedings of the ICM 2002 Satellite Conference on Nonlinear Functional Analysis. WORLD SCIENTIFIC, 2003. http://dx.doi.org/10.1142/9789812704283_0015.
Повний текст джерелаBarenbaum, Pablo, Eduardo Bonelli, and Kareem Mohamed. "Pattern Matching and Fixed Points." In PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236950.3236972.
Повний текст джерелаLaird, J. "Fixed Points In Quantitative Semantics." In LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2933575.2934569.
Повний текст джерелаTchier, Fairouz. "Demonic Semantics and Fixed Points." In 2009 International Conference on Computing, Engineering and Information (ICC). IEEE, 2009. http://dx.doi.org/10.1109/icc.2009.15.
Повний текст джерелаSussner, P. "Fixed points of autoassociative morphological memories." In Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. IJCNN 2000. Neural Computing: New Challenges and Perspectives for the New Millennium. IEEE, 2000. http://dx.doi.org/10.1109/ijcnn.2000.861536.
Повний текст джерелаLitim, Daniel. "On fixed points of quantum gravity." In A CENTURY OF RELATIVITY PHYSICS: ERE 2005; XXVIII Spanish Relativity Meeting. AIP, 2006. http://dx.doi.org/10.1063/1.2218188.
Повний текст джерелаMardare, Radu, Prakash Panangaden, and Gordon Plotkin. "Fixed-Points for Quantitative Equational Logics." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470662.
Повний текст джерелаAcharya, H. B., E. S. Elmallah, and M. G. Gouda. "Consistent Fixed Points and Negative Gain." In 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE, 2009. http://dx.doi.org/10.1109/pdcat.2009.85.
Повний текст джерелаЗвіти організацій з теми "Fixed points of morphisms"
Yao, Jen-Chih. Fixed points by Ishikawa iterations. Office of Scientific and Technical Information (OSTI), December 1989. http://dx.doi.org/10.2172/5213436.
Повний текст джерелаEgerland, Walter O., and Charles E. Hansen. Fixed Points of Expansive Analytic Maps (II). Fort Belvoir, VA: Defense Technical Information Center, September 1992. http://dx.doi.org/10.21236/ada254737.
Повний текст джерелаMatsikoudis, Eleftherios, and Edward A. Lee. On Fixed Points of Strictly Causal Functions. Fort Belvoir, VA: Defense Technical Information Center, April 2013. http://dx.doi.org/10.21236/ada583859.
Повний текст джерелаFroggatt, C. D., R. G. Moorhouse, and I. G. Knowles. Supersymmetric renormalisation group fixed points and third generation fermion mass predictions. Office of Scientific and Technical Information (OSTI), September 1992. http://dx.doi.org/10.2172/10141928.
Повний текст джерелаMeurice, Yannick, and Donald K. Sinclair. Final Report for "Infrared Fixed Points in Multiflavor Lattice Gauge Theory". Office of Scientific and Technical Information (OSTI), September 2013. http://dx.doi.org/10.2172/1094995.
Повний текст джерелаScollan, D., Y. Azmy, and V. Protopopescu. Nonlinear maps with competitive interactions: Fixed-points, bifurcations, and chaotic attractors. Office of Scientific and Technical Information (OSTI), September 1989. http://dx.doi.org/10.2172/5536544.
Повний текст джерелаMcLean, William E. A Comparison of Visual Fields with Fixed and Moving Fixation Points. Volume II. Fort Belvoir, VA: Defense Technical Information Center, September 2002. http://dx.doi.org/10.21236/ada406933.
Повний текст джерелаSamaniego de la Parra, Brenda, Andrea Otero-Cortés, and Leonardo Fabio Morales. The Labor Market Effects of Part-Time Contributions to Social Security: Evidence from Colombia. Banco de la República, October 2021. http://dx.doi.org/10.32468/dtseru.302.
Повний текст джерелаRodier, Caroline, Andrea Broaddus, Miguel Jaller, Jeffery Song, Joschka Bischoff, and Yunwan Zhang. Cost-Benefit Analysis of Novel Access Modes: A Case Study in the San Francisco Bay Area. Mineta Transportation Institute, November 2020. http://dx.doi.org/10.31979/mti.2020.1816.
Повний текст джерелаMonetary Policy Report - January 2022. Banco de la República, March 2022. http://dx.doi.org/10.32468/inf-pol-mont-eng.tr1-2022.
Повний текст джерела