Gotowa bibliografia na temat „Metatheory”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Metatheory”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Metatheory"
Fuhrman, Ellsworth R., i Carol A. Bailey. "Metatheory, Metatheory". Sociological Perspectives 35, nr 3 (wrzesień 1992): 525–30. http://dx.doi.org/10.2307/1389333.
Pełny tekst źródłaPapadimitriou, Christos H. "Database metatheory". ACM SIGACT News 26, nr 3 (wrzesień 1995): 13–30. http://dx.doi.org/10.1145/211542.211547.
Pełny tekst źródłaAllan, Keith. "Linguistic metatheory". Language Sciences 25, nr 6 (listopad 2003): 533–60. http://dx.doi.org/10.1016/s0388-0001(03)00032-9.
Pełny tekst źródłaReus-Smit, Christian. "Beyond metatheory?" European Journal of International Relations 19, nr 3 (wrzesień 2013): 589–608. http://dx.doi.org/10.1177/1354066113495479.
Pełny tekst źródłaMcGregor, Sue L. T. "Integral Metatheory: Beyond Specializations, Theoretical Pluralism, and Conventional Metatheory". Family & Consumer Sciences Research Journal 38, nr 2 (grudzień 2009): 142–57. http://dx.doi.org/10.1111/j.1552-3934.2009.00014.x.
Pełny tekst źródłaPriest, Graham. "Metatheory and dialetheism". Logical Investigations 26, nr 1 (6.08.2020): 48–59. http://dx.doi.org/10.21146/2074-1472-2020-26-1-48-59.
Pełny tekst źródłaAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack i Stephanie Weirich. "Engineering formal metatheory". ACM SIGPLAN Notices 43, nr 1 (14.01.2008): 3–15. http://dx.doi.org/10.1145/1328897.1328443.
Pełny tekst źródłaMiller, Dale. "Mechanized Metatheory Revisited". Journal of Automated Reasoning 63, nr 3 (4.10.2018): 625–65. http://dx.doi.org/10.1007/s10817-018-9483-3.
Pełny tekst źródłaRozeboom, Wm W. "Meehl on metatheory". Journal of Clinical Psychology 61, nr 10 (2005): 1317–54. http://dx.doi.org/10.1002/jclp.20184.
Pełny tekst źródłaKoltko-Rivera, Mark E., i Peter A. Hancock. "Why and How HFE Professionals can Better use Theory (Metatheory Included; Some Assembly Required)". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 49, nr 10 (wrzesień 2005): 881–85. http://dx.doi.org/10.1177/154193120504901002.
Pełny tekst źródłaRozprawy doktorskie na temat "Metatheory"
Stanley, Jason. "Meaning and metatheory". Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11347.
Pełny tekst źródłaEdwards, Mark Gerard. "An integral metatheory for organisational transformation". University of Western Australia. Faculty of Business, 2008. http://theses.library.uwa.edu.au/adt-WU2008.0145.
Pełny tekst źródłaToro, Ipinza Matías. "Abstracting gradual typing: Metatheory and applications". Tesis, Universidad de Chile, 2019. http://repositorio.uchile.cl/handle/2250/170935.
Pełny tekst źródłaHan habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen metodologías que sistematizan este proceso. Una de ellas es la Abstracting Gradual Typing (AGT), que ayuda a construir sistemáticamente lenguajes graduales a partir de lenguajes estáticamente tipados usando interpretación abstracta al nivel de tipos. A pesar que se a mostrado que AGT a sido efectiva en diferentes contextos, hay aún muchas preguntas abiertas: ¿AGT escala a mecanismos de lenguaje y disciplinas de tipos complejos? ¿Que lenguajes obtienen al usar abstracciones más ricas, o al introducir imprecisión de una manera poco convencional? ¿Cómo se compara el lenguaje gradual resultante con lo existente en la literatura? ¿Que propiedades AGT garantiza de preservar por construcción? ¿Podemos aplicar AGT a un lenguaje gradual derivado con AGT? En esta tesis se trata de responder a estas preguntas, aplicando AGT a disciplinas de tipos y mecanismos de lenguaje complejos. Primero, se aplica AGT a un cálculo lambda con tipado simple y referencias mutables, donde se muestra que una directa aplicación de AGT no garantiza una semántica eficiente respecto al espacio. Se prueba equivalencia contextual con uno de los lenguajes graduales con referencias encontrados en la literatura. Segundo, se aplica AGT a un lenguaje con tipado de seguridad y referencias, introduciendo imprecisión solo en las etiquetas de seguridad de los tipos. Se aprende que una aplicación directa de AGT sólo garantiza preservar por construcción la seguridad de tipos y los criterios refinados de lenguajes graduales. En orden de satisfacer no-interferencia, la propiedad semántica crucial del lenguaje estático, se deben refinar las abstracciones usadas en la semántica dinámica. Pero debido a las referencias mutables, se agrega un chequeo extra en la regla de reducción de asignaciones para prevenir flujos implícitos de información a través de la memoria. Este chequeo extra rompe la garantía gradual dinámica, la cual es parte de los criterios refinados de los lenguajes graduales. Tercero, se aplica AGT para introducir una nueva forma de imprecisión en los tipos, llamada unión gradual, un diseño original de tipos de unión que combina ambos beneficios de uniones etiquetadas y no etiquetadas. Se descubre que las uniones graduales interactúan con el tipo desconocido en una forma que exige un enfoque estratificado para AGT, dependiendo de la composición de dos interpretaciones de abstracción distintas en orden de recuperar optimalidad. Cuarto, se aplica AGT a System F, un lenguaje que soporta polimorfismo paramétrico. Se descubre que una aplicación directa de AGT rompe parametricidad, una propiedad semántica crucial de System F. En orden de recuperar parametricidad, se refinan las abstracciones (y se personalizan ciertas operaciones) usadas en la semántica dinámica. Esta personalización ayuda a preservar parametricidad pero a costa de la violar la garantía gradual dinámica. Esta garantía fue dejada como una conjetura en todos los trabajos previos; aquí se prueba que es simplemente incompatible con la noción clásica de parametricidad. Sin embargo, se establece una propiedad más débil que permite refutar varias afirmaciones acerca de teoremas graduales gratis, clarificando el tipo de razonamiento soportado por la parametricidad gradual.
CONICYT-PCHA/Doctorado Nacional/2015-21150510
Wurm, Christian [Verfasser]. "On the metatheory of linguistics / Christian Wurm". Bielefeld : Universitätsbibliothek Bielefeld, 2013. http://d-nb.info/1073642372/34.
Pełny tekst źródłaFreire, Lucas Grassi. "On the role of metatheory in the academic discipline of international relations". Thesis, University of Exeter, 2012. http://hdl.handle.net/10871/8321.
Pełny tekst źródłaRicciotti, Wilmer <1982>. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/1/thesis.pdf.
Pełny tekst źródłaRicciotti, Wilmer <1982>. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/.
Pełny tekst źródłaDoczkal, Christian [Verfasser], i Gert [Akademischer Betreuer] Smolka. "A machine-checked constructive metatheory of computation tree logic / Christian Doczkal. Betreuer: Gert Smolka". Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1097263258/34.
Pełny tekst źródłaBrennan, Jason. "The Best Moral Theory Ever: The Merits and Methodology of Moral Theorizing". Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/195168.
Pełny tekst źródłaHawkins, Ronald E. "The assessment of behavior patterns, personality characteristics and theoretical orientations for Master's level counseling students". Diss., Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/53524.
Pełny tekst źródłaEd. D.
Książki na temat "Metatheory"
Siddiqi, Daniel, i Heidi Harley, red. Morphological Metatheory. Amsterdam: John Benjamins Publishing Company, 2016. http://dx.doi.org/10.1075/la.229.
Pełny tekst źródłaUtō, Shōkichi. Constructics: A methodology of theory construction. Lanham, Md: University Press of America, 2005.
Znajdź pełny tekst źródłaChernoff, Fred. Theory and Metatheory in International Relations. New York: Palgrave Macmillan US, 2007. http://dx.doi.org/10.1057/9780230606883.
Pełny tekst źródłaDholakia, Nikhilesh, i Romeo V. Turcan. Toward a Metatheory of Economic Bubbles. New York: Palgrave Macmillan US, 2014. http://dx.doi.org/10.1057/9781137361790.
Pełny tekst źródłaSpendel, Zbigniew. Podmiotowość człowieka a psychologia historyczna. Katowice: Wydawn. Uniwersytetu Śląskiego, 1994.
Znajdź pełny tekst źródłaGálvez, Jesús Padilla. Tratado metateórico de las teorías científicas. Cuenca: Ediciones de la Universidad de Castilla-La Mancha, 2000.
Znajdź pełny tekst źródłaSchröter, Joachim. Zur Meta-Theorie der Physik. Berlin: Walter de Gruyter, 1996.
Znajdź pełny tekst źródłaM, King Imogene, i Fawcett Jacqueline, red. The language of nursing theory and metatheory. Indianapolis, Ind: Sigma Theta Tau International, Center Nursing Press, 1997.
Znajdź pełny tekst źródłaEdwards, Mark G. Organizational transformation for sustainability: An integral metatheory. New York, NY: Routledge, 2009.
Znajdź pełny tekst źródłaEdwards, Mark G. Organisational transformation for sustainability: An integral metatheory. New York: Routledge, 2010.
Znajdź pełny tekst źródłaCzęści książek na temat "Metatheory"
Edwards, Mark G. "Metatheory". W Encyclopedia of Quality of Life and Well-Being Research, 4015–17. Dordrecht: Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-0753-5_3374.
Pełny tekst źródłaDibben, Mark R. "Metatheory". W Exploring Interpersonal Trust in the Entrepreneurial Venture, 22–43. London: Palgrave Macmillan UK, 2000. http://dx.doi.org/10.1057/9780230509528_2.
Pełny tekst źródłaNunez, Iskra. "Metatheory". W Big Picture Perspectives on Planetary Flourishing, 151–68. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003140313-10.
Pełny tekst źródłaEdwards, Mark G. "Metatheory". W Encyclopedia of Quality of Life and Well-Being Research, 4334–36. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-17299-1_3374.
Pełny tekst źródłaMadsen, K. B. "Psychological Metatheory". W Annals of Theoretical Psychology, 1–16. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_1.
Pełny tekst źródłaGrotstein, James S. "Bion's metatheory". W A Beam of Intense Darkness, 65–81. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003348665-7.
Pełny tekst źródłaGunn, Richard. "Marxism, Metatheory and Critique". W Post-Fordism and Social Form, 193–209. London: Palgrave Macmillan UK, 1991. http://dx.doi.org/10.1007/978-1-349-22407-4_11.
Pełny tekst źródłaStich, Stephen P. "Theory, Metatheory, and Weltanschauung". W Annals of Theoretical Psychology, 87–94. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_4.
Pełny tekst źródłaHenriques, Gregg. "A Metatheory of Mind1". W A New Synthesis for Solving the Problem of Psychology, 321–55. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-18493-2_12.
Pełny tekst źródłaScriven, Michael. "Evaluation Theory and Metatheory". W International Handbook of Educational Evaluation, 15–30. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-010-0309-4_3.
Pełny tekst źródłaStreszczenia konferencji na temat "Metatheory"
Papadimitriou, Christos H. "Database metatheory". W the fourteenth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/212433.212436.
Pełny tekst źródłaAydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack i Stephanie Weirich. "Engineering formal metatheory". W the 35th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1328438.1328443.
Pełny tekst źródłaCheney, James, i Alberto Momigliano. "Mechanized metatheory model-checking". W the 9th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1273920.1273931.
Pełny tekst źródłaUrban, Christian, James Cheney i Stefan Berghofer. "Mechanizing the Metatheory of LF". W 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.29.
Pełny tekst źródłaLokosov, Vyacheslav Veniaminovich. "Sociology in contemporary Russia: five keynote aspects". W 6th International Conference “Futurity designing. Digital reality problems”. Keldysh Institute of Applied Mathematics, 2023. http://dx.doi.org/10.20948/future-2023-7.
Pełny tekst źródłaJohann, Patricia, Alex Simpson i Janis Voigtländer. "A Generic Operational Metatheory for Algebraic Effects". W 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.29.
Pełny tekst źródłaLee, Daniel K., Karl Crary i Robert Harper. "Towards a mechanized metatheory of standard ML". W the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190245.
Pełny tekst źródłaSIFAKIS, N. "BRIDGING THE PHONOLOGY - PHONETICS GAP - A METATHEORY". W Acoustics '91. Institute of Acoustics, 2024. http://dx.doi.org/10.25144/21039.
Pełny tekst źródłaZheng, Gangyang, Yu Gong, Zhijian Zhang i Zibin Liu. "To Analyze the Core Damage Scenario via the RISMC-Based Metatheory and Reliability Theory". W 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30564.
Pełny tekst źródłaLee, Gyesik. "Two Recent Approaches to Mechanical Developments of Formal Metatheory". W Mechanical Engineering 2013. Science & Engineering Research Support soCiety, 2013. http://dx.doi.org/10.14257/astl.2013.41.10.
Pełny tekst źródłaRaporty organizacyjne na temat "Metatheory"
Weirich, Stephanie, i Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, sierpień 2006. http://dx.doi.org/10.21236/ada536269.
Pełny tekst źródła