Literatura académica sobre el tema "Formal structure"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Formal structure".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Formal structure"
Bart, Christopher K. "Product strategy and formal structure". Strategic Management Journal 7, n.º 4 (julio de 1986): 293–312. http://dx.doi.org/10.1002/smj.4250070402.
Texto completoFairchild, Kim, Greg Meredith y Alan Wexelblat. "A formal structure for automatic icons". Interacting with Computers 1, n.º 2 (agosto de 1989): 131–40. http://dx.doi.org/10.1016/0953-5438(89)90021-0.
Texto completoTienda Palop, Lydia de. "The formal structure of practical rationality". Pensamiento. Revista de Investigación e Información Filosófica 77, Extra 295 (30 de noviembre de 2021): 491–500. http://dx.doi.org/10.14422/pen.v77.i295.y2021.004.
Texto completoLupton, Nathaniel y Paul Beamish. "Organizational structure and knowledge-practice diffusion in the MNC". Journal of Knowledge Management 18, n.º 4 (8 de julio de 2014): 710–27. http://dx.doi.org/10.1108/jkm-11-2013-0448.
Texto completoCattaneo, Alberto S., Benoit Dherin y Giovanni Felder. "Formal Lagrangian Operad". International Journal of Mathematics and Mathematical Sciences 2010 (2010): 1–36. http://dx.doi.org/10.1155/2010/643605.
Texto completoBiggar, Oliver, Mohammad Zamani y Iman Shames. "On Modularity in Reactive Control Architectures, with an Application to Formal Verification". ACM Transactions on Cyber-Physical Systems 6, n.º 2 (30 de abril de 2022): 1–36. http://dx.doi.org/10.1145/3511606.
Texto completoClement, Julien, David Krackhardt y Bill Mcevily. "Linking Formal Organization and Informal Social Structure". Academy of Management Proceedings 2017, n.º 1 (agosto de 2017): 12565. http://dx.doi.org/10.5465/ambpp.2017.12565symposium.
Texto completoKusliy, Petr S. "Formal Semantics and the Structure of Meaning". Russian Journal of Philosophical Sciences 63, n.º 8 (1 de diciembre de 2020): 34–46. http://dx.doi.org/10.30727/0235-1188-2020-63-8-34-46.
Texto completoLange, Klaus-Jörn. "COMPLEXITY AND STRUCTURE IN FORMAL LANGUAGE THEORY". Fundamenta Informaticae 25, n.º 3,4 (1996): 327–52. http://dx.doi.org/10.3233/fi-1996-253408.
Texto completoLeal, Wilmer y Guillermo Restrepo. "Formal structure of periodic system of elements". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, n.º 2224 (abril de 2019): 20180581. http://dx.doi.org/10.1098/rspa.2018.0581.
Texto completoTesis sobre el tema "Formal structure"
Horton, Timothy James. "The formal structure of tonal theory". Thesis, University of Cambridge, 2004. https://www.repository.cam.ac.uk/handle/1810/284030.
Texto completoLandy, David. "Formal notations as diagrams of abstract structure". [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3278244.
Texto completoTitle from PDF t.p. (viewed Nov. 11, 2008). Source: Dissertation Abstracts International, Volume: 68-09, Section: B, page: 6350. Advisers: Robert L. Goldstone; Michael Gasser.
Joost, Katrin. "Formal ontology : the dynamic structure of Husserl's phenomenology". Thesis, Staffordshire University, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.413535.
Texto completoBereza, Sarah. "Formularity and Formal Structure in the Old Beneventan Chant". University of Cincinnati / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1312392657.
Texto completoPodiacki, Rodrigo. "Logicas da inconsistencia formal quantificadas". [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281585.
Texto completoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-12T05:55:31Z (GMT). No. of bitstreams: 1 Podiacki_Rodrigo_M.pdf: 538726 bytes, checksum: 3a51529177d89ce92122bde746a321c3 (MD5) Previous issue date: 2008
Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas.
Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics.
Mestrado
Filosofia
Mestre em Filosofia
Jarvis, Brian Edward. "Formal Structure in Puccini's Suor Angelica: Expanding Hepokoski's Rotational Analysis". Bowling Green State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1307806816.
Texto completoBischoff, Shannon T. "Functional Forms-Formal Functions: An Account of Coeur d'Alene Clause Structure". Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/194692.
Texto completoNguyen, Manh Hung. "A logical framework for Trust-Related emotions : formal and behavioral results". Toulouse 2, 2010. http://www.theses.fr/2010TOU20090.
Texto completoSvensson, Tina. "Behovet av en genomtänkt kommunikationsstruktur- en studie av ett projektorienterat företag". Thesis, KTH, Skolan för teknikvetenskap (SCI), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-93442.
Texto completoEn organisation genomgår olika livscykler. Genom varje steg i utvecklingen förändras organisationens kommunikationsstruktur. I den här rapporten finns exempel på de kommunikativa brister som uppkommit på grund av brister i den kommunikativa strukturen.Genom att inte ha en kommunikationsdesign för den formella kommunikationen utsätter ledningen organisationen för risker i informationsspridning, interaktion, kontroll och balans.Den studerade organisationen har kommit obalans genom att vissa avdelningar har kommit längre i sitt arbete med att formalisera och strukturera sitt arbete, medan andra avdelningar inte har haft samma strukturella utveckling. Interaktionen mellan dessa avdelningar har därför blivit en kommunikativ kulturkrock, där den Kollektiviserade strukturen möter den Formaliserade strukturen.De strukturella skillnaderna genomsyrar även avdelningarnas arbetssätt och innebär en brist ur kvalitetssynpunkt, då de båda strukturerna inte är överlappande.I rapporten har även en modell för att identifiera kommunikativa brister framtagits, för att caseföretaget ska kunna arbeta vidare med andra delar av organisationen och utreda sin kommunikativa struktur ytterligare. Modellen är av allmän karaktär och kan appliceras på en godtycklig organisation.
Estabrooks, Carole Anne. "Research utilization in nursing, an examination of formal structure and influencing factors". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21566.pdf.
Texto completoLibros sobre el tema "Formal structure"
Formal structure in Indian architecture. New York: Rizzoli, 1990.
Buscar texto completoFormal structure of electromagnetics: General covariance and electromagnetics. Mineola, NY: Dover Publications, 1997.
Buscar texto completoFormal notes on Coeur d' Alene clause structure. Newcastle upon Tyne: Cambridge Scholars, 2010.
Buscar texto completoFormal structure in Islamic architecture of Iran and Turkistan. New York: Rizzoli, 1990.
Buscar texto completoHo, Debbie G. E. Classroom talk: Exploring the sociocultural structure of formal ESL learning. 2a ed. Bern [Switzerland]: P. Lang, 2007.
Buscar texto completoDurham (England : County). County Council. Durham County structure plan: Submitted second formal alterations : August 1987. Durham: The County Council, 1987.
Buscar texto completoGhoshal, Sumantra. Interunit communication within MNCs: The influence of formal structure versus integrative processes. Fontainebleau: INSEAD, 1991.
Buscar texto completoXin, Zhou, ed. Xing shi yu yan, zi dong ji he yu fa fen xi. Wuchang: Hua zhong gong xue yuan chu ban she, 1985.
Buscar texto completoMukuka, Lawrence. To what extent does the content and structure of formal education help women gain access to to [sic] productive resources in Zambia's formal sector. Lusaka, Zambia: Study Fund, Social Recovery Project, 1993.
Buscar texto completoJr, Wise Herbert Harold. The relationship of pitch sets to formal structure in the last piano sonatas of Scirabin. Ann Arbor: UMI, 1987.
Buscar texto completoCapítulos de libros sobre el tema "Formal structure"
Buzmakov, Aleksey, Sergei O. Kuznetsov y Amedeo Napoli. "Revisiting Pattern Structure Projections". En Formal Concept Analysis, 200–215. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19545-2_13.
Texto completoMac Lane, Saunders. "Origins of Formal Structure". En Mathematics Form and Function, 6–41. New York, NY: Springer New York, 1986. http://dx.doi.org/10.1007/978-1-4612-4872-9_2.
Texto completoDe Santo, Aniello y Thomas Graf. "Structure Sensitive Tier Projection: Applications and Formal Properties". En Formal Grammar, 35–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-59648-7_3.
Texto completoPin, J. E. "Structure of Finite Semigroups". En Varieties of Formal Languages, 45–78. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2215-3_4.
Texto completoMüller, Ingo y Tomasso Ruggeri. "Formal Structure of Extended Thermodynamics". En Springer Tracts in Natural Philosophy, 27–49. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-2210-1_3.
Texto completoSnoman, Rick. "Formal structure in dance music". En Dance Music Manual, 323–34. Fourth edition. | Abingdon, Oxon ; New York, NY : Routledge, 2019.: Routledge, 2019. http://dx.doi.org/10.4324/9780429453830-26.
Texto completoMüller, Ingo y Tommaso Ruggeri. "Formal Structure of Extended Thermodynamics". En Springer Tracts in Natural Philosophy, 125–38. New York, NY: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4684-0447-0_6.
Texto completoValverde-Albacete, Francisco J. "Explaining the Structure of FrameNet with Concept Lattices". En Formal Concept Analysis, 79–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32262-7_6.
Texto completoCole, Richard y Peter Becker. "Navigation Spaces for the Conceptual Analysis of Software Structure". En Formal Concept Analysis, 113–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32262-7_8.
Texto completoKobayashi, Tsutomu, Fuyuki Ishikawa y Shinichi Honiden. "Refactoring Refinement Structure of Event-B Machines". En FM 2016: Formal Methods, 444–59. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6_27.
Texto completoActas de conferencias sobre el tema "Formal structure"
van Oostendorp, Marc. "Formal properties of metrical structure". En the sixth conference. Morristown, NJ, USA: Association for Computational Linguistics, 1993. http://dx.doi.org/10.3115/976744.976782.
Texto completoSarbo, Janos J. "Formal conceptual structure in language". En COMPUTING ANTICIPATORY SYSTEMS. ASCE, 1999. http://dx.doi.org/10.1063/1.58267.
Texto completoLi, Tong-Jun, Zhao-Zhi Wu y Yan-Ling Jing. "A hierarchical structure of formal context". En 2011 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, 2011. http://dx.doi.org/10.1109/icmlc.2011.6016864.
Texto completoWallace, I. "Working witin a formal project structure". En IEE Colloquium on Management and Engineering. IEE, 1997. http://dx.doi.org/10.1049/ic:19970047.
Texto completo"Session 9D - Problem structure in formal verification". En ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. IEEE, 2005. http://dx.doi.org/10.1109/iccad.2005.1560181.
Texto completoKucherov, Sergey, Alexander Sviridov y Svetlana A. Belousova. "The Formal Model of Structure-Independent Databases". En 3rd International Conference on Data Management Technologies and Applications. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0005110301460152.
Texto completoCimatti, Alessandro, Jori Dubrovin, Tommi Junttila y Marco Roveri. "Structure-aware computation of predicate abstraction". En 2009 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2009. http://dx.doi.org/10.1109/fmcad.2009.5351149.
Texto completoPerepletchikov, Mikhail, Caspar Ryan, Keith Frampton y Heinz W. Schmidt. "A Formal Model of Service-Oriented Design Structure". En 2007 Australian Software Engineering Conference (ASWEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aswec.2007.6.
Texto completoHarun, Fadilah, Noraida Haji Ali y Noor Maizura Mohamad Nor. "Formal specification for basic video structure using Z". En 2014 8th Malaysian Software Engineering Conference (MySEC). IEEE, 2014. http://dx.doi.org/10.1109/mysec.2014.6986013.
Texto completoBarros, Fernando J. "A Formal Definition of Dynamic Structure Hybrid Simulation Model". En 2008 ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation ( PADS). IEEE, 2008. http://dx.doi.org/10.1109/pads.2008.31.
Texto completoInformes sobre el tema "Formal structure"
Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, julio de 1989. http://dx.doi.org/10.21236/ada211660.
Texto completoSarli, John. The Structure of Formal Solutions to Navier's Equilibrium Equation. GIQ, 2012. http://dx.doi.org/10.7546/giq-2-2001-287-293.
Texto completoBanerjee, Abhijit, Emily Breza, Arun Chandrasekhar, Esther Duflo, Matthew Jackson y Cynthia Kinnan. Changes in Social Network Structure in Response to Exposure to Formal Credit Markets. Cambridge, MA: National Bureau of Economic Research, enero de 2021. http://dx.doi.org/10.3386/w28365.
Texto completoCorlin Christensen, Rasmus, Martin Hearson y Tovony Randriamanalina. At the Table, Off the Menu? Assessing the Participation of Lower-Income Countries in Global Tax Negotiations. Institute of Development Studies (IDS), diciembre de 2020. http://dx.doi.org/10.19088/ictd.2020.004.
Texto completoHeymsfield, Ernie y Jeb Tingle. State of the practice in pavement structural design/analysis codes relevant to airfield pavement design. Engineer Research and Development Center (U.S.), mayo de 2021. http://dx.doi.org/10.21079/11681/40542.
Texto completoWildgrube, M. Structured Data Exchange Format (SDXF). RFC Editor, marzo de 2001. http://dx.doi.org/10.17487/rfc3072.
Texto completoSpangler, Stephen, Roger Fujan, Carl Broyles, Brian Baker, Justin Jameson, Gerald Piotrowski, John Groboski y Steve Hutsell. Record Package guidance : best practices. Engineer Research and Development Center (U.S.), agosto de 2021. http://dx.doi.org/10.21079/11681/41460.
Texto completoBell, Gary y Duncan Bryant. Red River Structure physical model study : bulkhead testing. Engineer Research and Development Center (U.S.), junio de 2021. http://dx.doi.org/10.21079/11681/40970.
Texto completoPatel, Reena. Complex network analysis for early detection of failure mechanisms in resilient bio-structures. Engineer Research and Development Center (U.S.), junio de 2021. http://dx.doi.org/10.21079/11681/41042.
Texto completoHendrickson, Aidan y Philippe Pierre Pebay. Recommendations on a Document Structure Format for Automatic Report Generation. Office of Scientific and Technical Information (OSTI), agosto de 2017. http://dx.doi.org/10.2172/1376817.
Texto completo