Добірка наукової літератури з теми "Formal structure"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Formal structure".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Formal structure"
Bart, Christopher K. "Product strategy and formal structure." Strategic Management Journal 7, no. 4 (July 1986): 293–312. http://dx.doi.org/10.1002/smj.4250070402.
Повний текст джерелаFairchild, Kim, Greg Meredith, and Alan Wexelblat. "A formal structure for automatic icons." Interacting with Computers 1, no. 2 (August 1989): 131–40. http://dx.doi.org/10.1016/0953-5438(89)90021-0.
Повний текст джерелаTienda Palop, Lydia de. "The formal structure of practical rationality." Pensamiento. Revista de Investigación e Información Filosófica 77, Extra 295 (November 30, 2021): 491–500. http://dx.doi.org/10.14422/pen.v77.i295.y2021.004.
Повний текст джерелаLupton, Nathaniel, and Paul Beamish. "Organizational structure and knowledge-practice diffusion in the MNC." Journal of Knowledge Management 18, no. 4 (July 8, 2014): 710–27. http://dx.doi.org/10.1108/jkm-11-2013-0448.
Повний текст джерелаCattaneo, Alberto S., Benoit Dherin, and Giovanni Felder. "Formal Lagrangian Operad." International Journal of Mathematics and Mathematical Sciences 2010 (2010): 1–36. http://dx.doi.org/10.1155/2010/643605.
Повний текст джерелаBiggar, Oliver, Mohammad Zamani, and Iman Shames. "On Modularity in Reactive Control Architectures, with an Application to Formal Verification." ACM Transactions on Cyber-Physical Systems 6, no. 2 (April 30, 2022): 1–36. http://dx.doi.org/10.1145/3511606.
Повний текст джерелаClement, Julien, David Krackhardt, and Bill Mcevily. "Linking Formal Organization and Informal Social Structure." Academy of Management Proceedings 2017, no. 1 (August 2017): 12565. http://dx.doi.org/10.5465/ambpp.2017.12565symposium.
Повний текст джерелаKusliy, Petr S. "Formal Semantics and the Structure of Meaning." Russian Journal of Philosophical Sciences 63, no. 8 (December 1, 2020): 34–46. http://dx.doi.org/10.30727/0235-1188-2020-63-8-34-46.
Повний текст джерелаLange, Klaus-Jörn. "COMPLEXITY AND STRUCTURE IN FORMAL LANGUAGE THEORY." Fundamenta Informaticae 25, no. 3,4 (1996): 327–52. http://dx.doi.org/10.3233/fi-1996-253408.
Повний текст джерелаLeal, Wilmer, and Guillermo Restrepo. "Formal structure of periodic system of elements." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, no. 2224 (April 2019): 20180581. http://dx.doi.org/10.1098/rspa.2018.0581.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаLandy, 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.
Повний текст джерелаTitle 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.
Повний текст джерелаBereza, Sarah. "Formularity and Formal Structure in the Old Beneventan Chant." University of Cincinnati / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1312392657.
Повний текст джерелаPodiacki, Rodrigo. "Logicas da inconsistencia formal quantificadas." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281585.
Повний текст джерелаDissertaçã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.
Повний текст джерелаBischoff, 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.
Повний текст джерелаNguyen, Manh Hung. "A logical framework for Trust-Related emotions : formal and behavioral results." Toulouse 2, 2010. http://www.theses.fr/2010TOU20090.
Повний текст джерелаSvensson, 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.
Повний текст джерелаEn 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.
Повний текст джерелаКниги з теми "Formal structure"
Formal structure in Indian architecture. New York: Rizzoli, 1990.
Знайти повний текст джерелаFormal structure of electromagnetics: General covariance and electromagnetics. Mineola, NY: Dover Publications, 1997.
Знайти повний текст джерелаFormal notes on Coeur d' Alene clause structure. Newcastle upon Tyne: Cambridge Scholars, 2010.
Знайти повний текст джерелаFormal structure in Islamic architecture of Iran and Turkistan. New York: Rizzoli, 1990.
Знайти повний текст джерелаHo, Debbie G. E. Classroom talk: Exploring the sociocultural structure of formal ESL learning. 2nd ed. Bern [Switzerland]: P. Lang, 2007.
Знайти повний текст джерелаDurham (England : County). County Council. Durham County structure plan: Submitted second formal alterations : August 1987. Durham: The County Council, 1987.
Знайти повний текст джерелаGhoshal, Sumantra. Interunit communication within MNCs: The influence of formal structure versus integrative processes. Fontainebleau: INSEAD, 1991.
Знайти повний текст джерелаXin, Zhou, ed. Xing shi yu yan, zi dong ji he yu fa fen xi. Wuchang: Hua zhong gong xue yuan chu ban she, 1985.
Знайти повний текст джерелаMukuka, 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.
Знайти повний текст джерелаJr, Wise Herbert Harold. The relationship of pitch sets to formal structure in the last piano sonatas of Scirabin. Ann Arbor: UMI, 1987.
Знайти повний текст джерелаЧастини книг з теми "Formal structure"
Buzmakov, Aleksey, Sergei O. Kuznetsov, and Amedeo Napoli. "Revisiting Pattern Structure Projections." In Formal Concept Analysis, 200–215. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19545-2_13.
Повний текст джерелаMac Lane, Saunders. "Origins of Formal Structure." In 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.
Повний текст джерелаDe Santo, Aniello, and Thomas Graf. "Structure Sensitive Tier Projection: Applications and Formal Properties." In Formal Grammar, 35–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-59648-7_3.
Повний текст джерелаPin, J. E. "Structure of Finite Semigroups." In Varieties of Formal Languages, 45–78. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2215-3_4.
Повний текст джерелаMüller, Ingo, and Tomasso Ruggeri. "Formal Structure of Extended Thermodynamics." In 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.
Повний текст джерелаSnoman, Rick. "Formal structure in dance music." In Dance Music Manual, 323–34. Fourth edition. | Abingdon, Oxon ; New York, NY : Routledge, 2019.: Routledge, 2019. http://dx.doi.org/10.4324/9780429453830-26.
Повний текст джерелаMüller, Ingo, and Tommaso Ruggeri. "Formal Structure of Extended Thermodynamics." In 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.
Повний текст джерелаValverde-Albacete, Francisco J. "Explaining the Structure of FrameNet with Concept Lattices." In Formal Concept Analysis, 79–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32262-7_6.
Повний текст джерелаCole, Richard, and Peter Becker. "Navigation Spaces for the Conceptual Analysis of Software Structure." In Formal Concept Analysis, 113–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32262-7_8.
Повний текст джерелаKobayashi, Tsutomu, Fuyuki Ishikawa, and Shinichi Honiden. "Refactoring Refinement Structure of Event-B Machines." In FM 2016: Formal Methods, 444–59. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6_27.
Повний текст джерелаТези доповідей конференцій з теми "Formal structure"
van Oostendorp, Marc. "Formal properties of metrical structure." In the sixth conference. Morristown, NJ, USA: Association for Computational Linguistics, 1993. http://dx.doi.org/10.3115/976744.976782.
Повний текст джерелаSarbo, Janos J. "Formal conceptual structure in language." In COMPUTING ANTICIPATORY SYSTEMS. ASCE, 1999. http://dx.doi.org/10.1063/1.58267.
Повний текст джерелаLi, Tong-Jun, Zhao-Zhi Wu, and Yan-Ling Jing. "A hierarchical structure of formal context." In 2011 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, 2011. http://dx.doi.org/10.1109/icmlc.2011.6016864.
Повний текст джерелаWallace, I. "Working witin a formal project structure." In IEE Colloquium on Management and Engineering. IEE, 1997. http://dx.doi.org/10.1049/ic:19970047.
Повний текст джерела"Session 9D - Problem structure in formal verification." In ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. IEEE, 2005. http://dx.doi.org/10.1109/iccad.2005.1560181.
Повний текст джерелаKucherov, Sergey, Alexander Sviridov, and Svetlana A. Belousova. "The Formal Model of Structure-Independent Databases." In 3rd International Conference on Data Management Technologies and Applications. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0005110301460152.
Повний текст джерелаCimatti, Alessandro, Jori Dubrovin, Tommi Junttila, and Marco Roveri. "Structure-aware computation of predicate abstraction." In 2009 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2009. http://dx.doi.org/10.1109/fmcad.2009.5351149.
Повний текст джерелаPerepletchikov, Mikhail, Caspar Ryan, Keith Frampton, and Heinz W. Schmidt. "A Formal Model of Service-Oriented Design Structure." In 2007 Australian Software Engineering Conference (ASWEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aswec.2007.6.
Повний текст джерелаHarun, Fadilah, Noraida Haji Ali, and Noor Maizura Mohamad Nor. "Formal specification for basic video structure using Z." In 2014 8th Malaysian Software Engineering Conference (MySEC). IEEE, 2014. http://dx.doi.org/10.1109/mysec.2014.6986013.
Повний текст джерелаBarros, Fernando J. "A Formal Definition of Dynamic Structure Hybrid Simulation Model." In 2008 ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation ( PADS). IEEE, 2008. http://dx.doi.org/10.1109/pads.2008.31.
Повний текст джерелаЗвіти організацій з теми "Formal structure"
Moriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, July 1989. http://dx.doi.org/10.21236/ada211660.
Повний текст джерелаSarli, John. The Structure of Formal Solutions to Navier's Equilibrium Equation. GIQ, 2012. http://dx.doi.org/10.7546/giq-2-2001-287-293.
Повний текст джерелаBanerjee, Abhijit, Emily Breza, Arun Chandrasekhar, Esther Duflo, Matthew Jackson, and Cynthia Kinnan. Changes in Social Network Structure in Response to Exposure to Formal Credit Markets. Cambridge, MA: National Bureau of Economic Research, January 2021. http://dx.doi.org/10.3386/w28365.
Повний текст джерелаCorlin Christensen, Rasmus, Martin Hearson, and Tovony Randriamanalina. At the Table, Off the Menu? Assessing the Participation of Lower-Income Countries in Global Tax Negotiations. Institute of Development Studies (IDS), December 2020. http://dx.doi.org/10.19088/ictd.2020.004.
Повний текст джерелаHeymsfield, Ernie, and Jeb Tingle. State of the practice in pavement structural design/analysis codes relevant to airfield pavement design. Engineer Research and Development Center (U.S.), May 2021. http://dx.doi.org/10.21079/11681/40542.
Повний текст джерелаWildgrube, M. Structured Data Exchange Format (SDXF). RFC Editor, March 2001. http://dx.doi.org/10.17487/rfc3072.
Повний текст джерелаSpangler, Stephen, Roger Fujan, Carl Broyles, Brian Baker, Justin Jameson, Gerald Piotrowski, John Groboski, and Steve Hutsell. Record Package guidance : best practices. Engineer Research and Development Center (U.S.), August 2021. http://dx.doi.org/10.21079/11681/41460.
Повний текст джерелаBell, Gary, and Duncan Bryant. Red River Structure physical model study : bulkhead testing. Engineer Research and Development Center (U.S.), June 2021. http://dx.doi.org/10.21079/11681/40970.
Повний текст джерелаPatel, Reena. Complex network analysis for early detection of failure mechanisms in resilient bio-structures. Engineer Research and Development Center (U.S.), June 2021. http://dx.doi.org/10.21079/11681/41042.
Повний текст джерелаHendrickson, Aidan, and Philippe Pierre Pebay. Recommendations on a Document Structure Format for Automatic Report Generation. Office of Scientific and Technical Information (OSTI), August 2017. http://dx.doi.org/10.2172/1376817.
Повний текст джерела