Relevant bibliographies by topics / Formalism

Academic literature on the topic 'Formalism'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 August 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formalism.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formalism"

1

Tchougounnikov, Serge. "European Formalism and Empiriocriticism: Formalism within the International Empiriocritical Movement." Linguistic Frontiers 3, no. 1 (June 1, 2020): 39–47. http://dx.doi.org/10.2478/lf-2020-0004.

Full text
Abstract:
AbstractThis paper argues that Russian Formalism is to be considered a constitutive part of the international empiriocritical movement—Ernst Mach (1838—1916) and Richard Avenarius’s (1843—1896). The conceptual parallelism between Empiriocriticism and Formalism is striking indeed. Thus, the cornerstones of the empiriocritical approach—the concept of series [Reihe] and the concept of elements [Elemente], understood as sensations [Empfindungen]—are plainly recognizable within formalist theories: the notion of ‘series’ (for example, the notion of ‘literary series’ or ‘poetic series’, leading to the famous concept of ‘literariness’, literaturnost’) and the very formalist idea of a necessarily perceptible character of aesthetic form are only two, most famous, examples of this astonishing affinity. Here are some of the most striking convergences between Empiriocriticism and Formalism: the relativity of any knowledge; continuity between knowledge and perception; the pragmatic dominant; the leitmotif of ‘the Unsalvageable Ego’. Besides, the paper seeks to situate Russian Formalism within European Aesthetic German-speaking Formalism. This kind of formalism formulates some basic oppositions correlated to different types of forming being associated with specific means and specific formal devices to affect them. In this context, particular morphological features result in producing particular feelings conceived in the spatial or syntactic perspective. From its German-speaking analogue, Russian Formalism has inherited this relational and spatial definition of feelings and, largely speaking, of emotionality within art. Indeed, both formalisms treat emotion as a ‘non-subjective’, ‘kinetic’, ‘syntactic’ phenomenon located on the surface of aesthetic objects.
APA, Harvard, Vancouver, ISO, and other styles
2

Leporati, Matthew. "New Formalism in the Classroom: Re-Forming Epic Poetry in Wordsworth and Blake." Humanities 8, no. 2 (May 20, 2019): 100. http://dx.doi.org/10.3390/h8020100.

Full text
Abstract:
Recent years have seen a resurgence of interest in “New Formalism,” a close attention to textual language and structure that departs from the outdated and regressive stances of old formalisms (especially “New Criticism”) by interrogating the connections between form, history, and culture. This article surveys the contributions of New Formalism to Romanticism studies and applies its techniques to two canonical texts, suggesting that New Formalism is useful both for literary criticism and teaching literature. Opening with a survey of New Formalist theory and practices, and an overview of the theoretical innovations within New Formalism that have been made by Romantic scholars, the article applies New Formalist techniques to William Wordsworth’s Prelude and William Blake’s Milton: a Poem. Often read as poems seeking to escape the dispiriting failure of the French Revolution, these texts, I argue, engage the formal strategies of epic poetry to enter the discourse of the period, offering competing ways to conceive of the self in relation to history. Written during the Romantic epic revival, when more epics were composed than at any other time in history, these poems’ allusive dialogue with Paradise Lost and with the epic tradition more broadly allows them to think through the self’s relationship to the past, a question energized by the Revolution Controversy. I explore how Wordsworth uses allusion to link himself to Milton and ultimately Virgil, both privileging the past and thereby asserting the value of the present as a means of reiterating and restoring it; Blake, in contrast, alludes to Milton to query the very idea of dependence on the past. These readings are intertwined with my experiences of teaching, as I have employed New Formalism to encourage students to develop as writers in response to texts. An emphasis on form provides students with concrete modes of entry into discussing literature and allows instructors to help students identify and revise the forms and structures of their own writing in response to literature.
APA, Harvard, Vancouver, ISO, and other styles
3

Lin, Songtuan, and Pascal Bercher. "On the Expressive Power of Planning Formalisms in Conjunction with LTL." Proceedings of the International Conference on Automated Planning and Scheduling 32 (June 13, 2022): 231–40. http://dx.doi.org/10.1609/icaps.v32i1.19806.

Full text
Abstract:
Linear Temporal Logic (LTL) has been widely employed in various planning formalisms, e.g., in the STRIPS formalism, in order to specify constraints over state trajectories in a planning problem. In this paper, we investigate the expressive power of two planning formalisms in conjunction with LTL that are most commonly seen in non-hierarchical planning and hierarchical planning respectively, namely the STRIPS formalism and the Hierarchical Task Network (HTN) formalism. We do so by interpreting the set of all solutions to a planning problem as a formal language and comparing it with other formal ones, e.g., star-free languages. Our results provide an in-depth insight into the theoretical properties of the investigated planning formalisms and henceforth explore the common structure shared by solutions to planning problems in certain planning formalisms.
APA, Harvard, Vancouver, ISO, and other styles
4

Baumann, Veronika, and Stefan Wolf. "On Formalisms and Interpretations." Quantum 2 (October 15, 2018): 99. http://dx.doi.org/10.22331/q-2018-10-15-99.

Full text
Abstract:
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility in principle of such experiments, however, remains an open question.
APA, Harvard, Vancouver, ISO, and other styles
5

Carlson, Lauri, and Krister Linden. "Unification as a Grammatical Tool." Nordic Journal of Linguistics 10, no. 2 (December 1987): 111–36. http://dx.doi.org/10.1017/s033258650000161x.

Full text
Abstract:
The present paper is an introduction to unification as a formalism for writing grammars for natural languages. The paper is structured as follows. Section 1 briefly describes the history and the current scene of unification based grammar formalisms. Sections 2–3 describe the basic design of current formalisms. Section 4 constitutes a tutorial introduction to a representative unification based grammar formalism, the D–PATR system of Karttunen (1986). Sections 5—6 consider extensions of the unification formalism and its limitations. Section 7 examines implementation questions and addresses the question of the computational complexity of unification. — Some notes on terminology.
APA, Harvard, Vancouver, ISO, and other styles
6

Manavella, E. C. "EXTENDED FADDEEV-JACKIW CANONICAL QUANTIZATION FOR THE (1+1)-DIMENSIONAL NONRELATIVISTIC ELECTRODYNAMICS." Anales AFA 31, no. 4 (January 15, 2021): 127–34. http://dx.doi.org/10.31527/analesafa.2020.31.4.127.

Full text
Abstract:
Some time ago, we proposed an extension of the usual Faddeev-Jackiw formalism for constrained systems with Grassmann dynamic variables in the field theory context. In the present work, we apply this extended formalism to the (1+1)-dimensional nonrelativistic electrodynamics. By comparing the obtained results with those corresponding to the implementation of Dirac formalism on this model, we find the same constraints and generalized brackets. In this way, we can conclude that the extended Faddeev-Jackiw and the Dirac formalisms can be considered equivalent, at least for this model. On the contrary, in this case, we find that there is no equivalence between the usual Faddeev-Jackiw and the Dirac formalisms. On the other hand, we observe that the extended formalism is more economical than the Dirac one regarding the computation of both, constraints and generalized brackets.
APA, Harvard, Vancouver, ISO, and other styles
7

Bogdanov, Alexei, and Andrzej Karcz. "The Polish Formalist School and Russian Formalism." Slavic and East European Journal 49, no. 3 (October 1, 2005): 509. http://dx.doi.org/10.2307/20058317.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Liziero, Leonam Baesso da Silva. "Perspectivas do federalismo: contrastes entre o formalismo e a abordagem sociopolítica." Revista Justiça do Direito 31, no. 3 (January 23, 2018): 506. http://dx.doi.org/10.5335/rjd.v31i3.7243.

Full text
Abstract:
Perspectivas do federalismo: contrastes entre o formalismo e a abordagem sociopolítica Resumo: Este artigo tem como objetivo apresentar o contraste entre a perspectiva jurídica do federalismo, essencialmente formalista, e perspectivas não-formalistas, como a sociológica e a política, aqui tratadas no mesmo conjunto. Deste modo, serão apresentadas, na perspectiva jurídica, considerações sobre as abordagens realizadas por Jellinek e Kelsen. Sob este ponto de vista, o federalismo é uma questão do direito constitucional de cada federação. Posteriormente, são apresentadas considerações teóricas desenvolvidas por Sidgwick e Riker, para os quais a questão do federalismo é política, bem como a de Livingston, para quem a abordagem sobre o federalismo deve ser antes de mais nada sociológica. Palavras-chave: Estado federal. Federalismo. Formalismo. Jellinek. Kelsen. Livingston. Federalism perspectives: contrasts between formalism and the socio-political approach Abstract: This article aims to present the contrast between the juridical perspective of federalism, essentially formalist, and non-formalist perspectives, such as a sociological and a political one, treated here in the same set. In this way, we present, from a legal perspective, considerations on the approaches taken by Jellinek and Kelsen. From this point of view, federalism is a question of the constitutional law of each federation. Subsequently, theoretical considerations developed by Sidgwick and Riker, for which they are questionable by the federal government, as well as by Livingston, for whom an approach on federalism is first and foremost sociological. Keywords: Federal State. Federalism. Formalism. Jellinek. Kelsen. Livingston.
APA, Harvard, Vancouver, ISO, and other styles
9

Chittajallu, S. N. S. H., T. R. Ramamohan, and Karupparaj R. Thundil. "Formalism for Determining the Force and Torque on a Sphere Moving in a Quiescent Fluid at Arbitrary Reynolds Numbers." Applied Mechanics and Materials 367 (August 2013): 78–83. http://dx.doi.org/10.4028/www.scientific.net/amm.367.78.

Full text
Abstract:
There are formalisms available in the literature for determining the force and torque on a particle moving in a fluid at zero and low Reynolds numbers. The formalism for determining the force and torque on a particle in a fluid at arbitrary Reynolds numbers has only recently been developed, Magnaudet [. This paper focuses on developing a formalism for the special case of a sphere moving in a quiescent fluid at arbitrary Reynolds numbers using the formalism of Magnaudet.
APA, Harvard, Vancouver, ISO, and other styles
10

Glaser, Ben. "White Things: Form, Formalization, and the Use of Prosody." New Literary History 54, no. 4 (September 2024): 1547–72. http://dx.doi.org/10.1353/nlh.2024.a922185.

Full text
Abstract:
Abstract: The limited prosodic literacy of revamped formalisms perpetuates the whiteness of lyric reading. By prizing ironic distance and elevating the critic as form’s discoverer, the concept of poetic form reinscribes racialized value judgments even where critics hope to valorize nonwhite poetic strategies. Formalism should instead attend to the history that gave poets their sense of form. Nonwhite poets mark how this process of formalization, through which forms become abstracted and bear value, consistently entails racialization. They prompt us, I argue, not to form but to prosodic details whose contingency and phenomenological complexity suspend codes of formalist reading.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formalism"

1

Agar, Aylin. "Formalism And Anti-formalism As Continuities And Discontinuities." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/2/12605748/index.pdf.

Full text
Abstract:
ABSTRACT FORMALISM AND ANTI-FORMALISM AS CONTINUITIES AND DISCONTINUITIES Agar, Aylin M. Arch., Department of Architecture Supervisor: Prof. Dr. Jale Nejdet Erzen September 2004, 137 pages When form is in consideration, there exist two seemingly distinct attitudes to form giving activity, which seem to be constantly in opposition, namely formalist and anti-formalist approaches. The aim of this study is to explore the sources of, and interactions and transformations between formalist and anti-formalist design processes, without overlooking the conventional formalist understanding. The intention is to find out how a tendency in architecture, which challenged the understanding of a pure, timeless, unchangeable, ideal form emerged as a new problematic of architectural form. In that respect, the discussion will be concentrating on some figures of both architectural theory and practice to reach an accumulation of a theoretical and practical knowledge on the issue, to disclose the true potential of architectural form in the contemporary world.
APA, Harvard, Vancouver, ISO, and other styles
2

Chousionis, Vasileios. "Thermodynamical Formalism." Thesis, University of North Texas, 2004. https://digital.library.unt.edu/ark:/67531/metadc4631/.

Full text
Abstract:
Thermodynamical formalism is a relatively recent area of pure mathematics owing a lot to some classical notions of thermodynamics. On this thesis we state and prove some of the main results in the area of thermodynamical formalism. The first chapter is an introduction to ergodic theory. Some of the main theorems are proved and there is also a quite thorough study of the topology that arises in Borel probability measure spaces. In the second chapter we introduce the notions of topological pressure and measure theoretic entropy and we state and prove two very important theorems, Shannon-McMillan-Breiman theorem and the Variational Principle. Distance expanding maps and their connection with the calculation of topological pressure cover the third chapter. The fourth chapter introduces Gibbs states and the very important Perron-Frobenius Operator. The fifth chapter establishes the connection between pressure and geometry. Topological pressure is used in the calculation of Hausdorff dimensions. Finally the sixth chapter introduces the notion of conformal measures.
APA, Harvard, Vancouver, ISO, and other styles
3

Iosti, Simon. "Une étude modèle-théorique du formalisme tannakien." Thesis, Lyon 1, 2014. http://www.theses.fr/2014LYO10106/document.

Full text
Abstract:
Nous définissons et étudions dans cette thèse un formalisme permettant de traiter de questions tannakiennes pour des groupes définis sur des anneaux différentiels généralisés, qui généralisent à la fois les anneaux différentiels et les anneaux de différence. Nous définissons une notion de catégorie tannakienne différentielle de manière similaire au formalisme tannakien usuel, en ajoutant une structure supplémentaire permettant de décrire la structure induite par la différentielle généralisée. Nous étudions ensuite les propriétés modèle-théoriques des catégories qui en résultent, réalisant le groupe tannakien associé à la catégorie comme un groupe de liaison modèle-théorique. Dans le dernier chapitre, nous étudions la notion d'univers d'une structure du premier ordre, et introduisons une topologie dans ce contexte qui est réminiscente de la topologie des espaces de types en Théorie des Modèles du premier ordre. Nous étudions également la notion de groupoïde de liaison du point de vue des univers
In this thesis, we define and study a formalism which allows one to work on Tannakian questions for groups defined over generalized differential rings, which generalize both differential rings and difference rings. We define a notion of differential Tanakian category which is similar to the usual Tannakian formalism, adding a structure which permits to describe the differential structure induced by the generalized differential. We then study the model-theoretical properties of the resulting categories, realizing the Tannakian group associated to a category as a model-theoretical binding group. In the last chapter, we study the notion of universe associated to a first-order structure, and we introduce a topology in this context, which is reminiscent of the topology on the spaces of types in first-order Model Theory. We also study the notion of binding groupoid from the point of view of universes
APA, Harvard, Vancouver, ISO, and other styles
4

Marques, Pereira R. A. de S. F. "Canonical formalism in superspace." Thesis, Imperial College London, 1988. http://hdl.handle.net/10044/1/47175.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Genyuk, Julia. "Topics in multifractal formalism /." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1488187049539505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Frisoni, Pietropaolo. "Canonical formalism for compact sources." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19296/.

Full text
Abstract:
This thesis aims to describe the ADM formalism of General Relativity and to use the latter to describe a spherical compact source consisting of a perfect fluid. With two different choices for three-dimensional metric on hypersurfaces, we analyze the constraints of the system in the non-static case and the resulting equations of motion, both for canonical gravitational variables and those of matter. After examining some special cases, we also show that it is possible, in the case of static nature, to obtain the value of the Misner-Sharp mass from the Hamiltonian constraint, while near the trapping surfaces we obtain a relationship between the density of matter and the dynamic variables of the metric. Finally we propose a possible method for quantizing the constraints using the procedure that in the vacuum leads to the Wheeler-DeWitt equations.
APA, Harvard, Vancouver, ISO, and other styles
7

Halbert, J. T. "A modified Zwanzig-Mori formalism." College Park, Md.: University of Maryland, 2009. http://hdl.handle.net/1903/9571.

Full text
Abstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2009.
Thesis research directed by: Dept. of Mathematics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
APA, Harvard, Vancouver, ISO, and other styles
8

Chuang, S. T. "The revival of legal formalism." Thesis, University of Cambridge, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.597685.

Full text
Abstract:
After the general introduction offered in chapter one, chapters two and three discuss two theories of positivistic legal formalism: Frederick Schauer's presumptive positivism (formalism) and Patrick Atiyah's and Robert Summer's formal theory of legal reasoning. Chapters four and five examine the idealistic legal formalism of Ernest Weinrib's private law theory and Ronald Dworkin's interpretive jurisprudence. I show that positivistic legal formalism is closely associated with legal positivism whereas idealistic legal formalism is linked with natural law theory. In the final chapter, I argue that both positivistic and idealistic legal formalists support the autonomy thesis and the rule of law thesis. The autonomy thesis defends law's autonomy from political considerations. The rule of law thesis claims that rule by law, not by men, is general, public, and impersonal. Positivistic legal formalism insists that the autonomous domain of law derives from the existence of source-based rules, rules which treat the rule of law as a neutral process for protecting the autonomy of human freedom and values. Idealistic legal formalism maintains that the autonomy of law derives from the inner morality of law, according to which the rule of law is a substantive idea. It is the aim of this thesis to demonstrate that the autonomy and the rule of law theses that contemporary legal formalism upholds are contradictory premises. The autonomy of law thesis endorses the argument that law thesis endorses the argument that law has its own independent territory, strictly divorced from politics. On the other hand, the rule of law thesis entails a political view about the relationship between government and citizens. A positivistic, procedural concept of the rule of law depends on a Hobbesean theory of positivist social-contract. Likewise, an idealistic, substantive concept of the rule of law relies on a Lockean natural law version of a social contract. Law and adjudication, understood in this way, cannot be politically neutral.
APA, Harvard, Vancouver, ISO, and other styles
9

Jurga, Natalia Anna. "Thermodynamic formalism and dimension gaps." Thesis, University of Warwick, 2018. http://wrap.warwick.ac.uk/109524/.

Full text
Abstract:
Given an expanding Markov map T : [0; 1] → [0; 1] which admits an absolutely continuous invariant probability measure, we say that T gives rise to a dimension gap if there exists some c > 0 for which supp dim μp 1 . c, where μp denotes the Bernoulli measure associated to the probability vector p. We prove that under a `non-linearity condition' on T, there is a dimension gap. Our approach differs considerably to the approach of Kifer, Peres and Weiss in [KPW], who proved a similar result. The first part of our proof involves obtaining uniform lower estimates on the asymptotic variance of a class of potentials. Tools from the thermodynamic formalism of the countable shift play a key role in this part of the proof. The second part of our proof revolves around a `mass redistribution' technique. We also study a class of `Käenmäki measures' which are supported on self- affine sets generated by a finite collection of diagonal and anti-diagonal matrices acting on the plane. We prove that such a measure is exact-dimensional and that its dimension satisfies a Ledrappier-Young formula. This is similar to the recent results of Bárány and Käenmäki [BK], who proved an analogous result for quasi- Bernoulli measures. While the measures we consider are not quasi-Bernoulli, which takes us out of the scope of [BK], we show that the measures can be written in terms of two quasi-Bernoulli measures on an associated subshift and use this to prove the result.
APA, Harvard, Vancouver, ISO, and other styles
10

Ye, Kangfeng. "Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/15526/.

Full text
Abstract:
Computer-based systems are becoming more and more complex. It is really a grand challenge to assure the dependability of these systems with the growing complexity, especially for high integrity and safety critical systems that require extremely high dependability. Circus, as a formal language, is designed to tackle this problem by providing precision preservation and correctness assurance. It is a combination of Z, CSP, refinement calculus and Dijkstra's guarded commands. A main objective of Circus is to provide calculational style refinement that differentiates itself from other integrated formal methods. Looseness, which is introduced from constants and uninitialised state space in Circus, and nondeterminism, which is introduced from disjunctive operations and CSP operators, make model checking of Circus more difficult than that of sole CSP or Z. Current approaches have a number of disadvantages like nondeterminism and divergence information loss, abstraction deterioration, and no appropriate tools to support automation. In this thesis, we present a new approach to model-check state-rich formalisms by linking them to a combination of a state-based formalism and a process algebra. Specifically, the approach illustrated in this thesis is to model-check Circus by linking to CSP || B. Eventually, we can use ProB, a model checker for B, Event-B, and CSP || B etc., to check the resultant CSP || B model. A formal link from Circus to CSP || B is defined in our work. Our link solution is to rewrite Circus models first to make all interactions between the state part and the behavioural part of Circus only through schema expressions, then translate the state part and the behavioural part to B and CSP respectively. In addition, since the semantics of Circus is based on Hoare and He's Unifying Theories of Programming (UTP), in order to prove the soundness of our link, we also give UTP semantics to CSP || B. Finally, because both ends of the link have their semantics defined in UTP, they are comparable. Furthermore, in order to support an automatic translation process, a translator is developed. It has supported almost all constructs defined in the link though with some limitations. Finally, three case studies are illustrated to show the usability of our model checking solution as well as limitations. The bounded reactive buffer is a typical Circus example. By our model checking approach, basic properties like deadlock freedom and divergence freedom for both the specification and the implementation with a small buffer size have been verified. In addition, the implementation has been verified to be a refinement of the specification in terms of traces and failures. Afterwards, in the Electronic Shelf Edge Label (ESEL) case study, we demonstrate how to use Circus to model different development stages of systems from the specification to two more specific systems. We have verified basic properties and sequential refinements of three models as well as three application related properties. Similarly, only the systems with a limited number of ESELs are verified. Finally, we present the steam boiler case study. It is a real and industrial control system problem. Though our solution cannot model check the steam boiler model completely due to its large state space, our solution still proves its benefits. Through our model checking approach, we have found a substantial number of errors from the original Circus solution. Then with counterexamples during animation and model checking, we have corrected all these found errors.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formalism"

1

Kikodze, Evgenii͡a. Urbanisticheskiĭ formalizm: Urban formalism. Moskva: Izdatelʹskai︠a︡ programma "Interrosa", 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hyde, George. Formalism. London: Routledge, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pollicott, Mark, and Sandro Vaienti, eds. Thermodynamic Formalism. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-74863-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Denning, Peter J. Beyond formalism. [Moffett Field, Calif.?]: Research Institute for Advanced Computer Science, NASA Ames Research Center, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yilmaz, Dziewior, and Kunstverein in Hamburg, eds. Formalismus: Moderne Kunst, heute = Formalism : modern art, today. Ostfildern-Ruit: Hatje Cantz, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Link, Godehard, ed. Formalism and Beyond. Berlin, München, Boston: DE GRUYTER, 2014. http://dx.doi.org/10.1515/9781614518471.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

undifferentiated, Tony Bennett, and Bennett Tony. Formalism and Marxism. London: Routledge, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kapoor, A. K., Prasanta K. Panigrahi, and S. Sree Ranjani. Quantum Hamilton-Jacobi Formalism. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10624-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lihoreau, Franck, and Manuel Rebuschi, eds. Epistemology, Context, and Formalism. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-02943-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lindström, Sten, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, eds. Logicism, Intuitionism, and Formalism. Dordrecht: Springer Netherlands, 2009. http://dx.doi.org/10.1007/978-1-4020-8926-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formalism"

1

Robič, Borut. "Formalism." In The Foundations of Computability Theory, 31–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-44808-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Etherington-Wright, Christine, and Ruth Doughty. "Formalism." In Understanding Film Theory, 42–62. London: Macmillan Education UK, 2011. http://dx.doi.org/10.1007/978-0-230-34392-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mahan, Gerald D., and K. R. Subbaswamy. "Formalism." In Local Density Theory of Polarizability, 9–35. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4899-2486-5_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Robič, Borut. "Formalism." In The Foundations of Computability Theory, 31–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2020. http://dx.doi.org/10.1007/978-3-662-62421-0_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Siddiqui, Shabnam. "Formalism." In Quantum Mechanics, 39–79. Boca Raton : CRC Press, Taylor & Francis Group, 2018.: CRC Press, 2018. http://dx.doi.org/10.1201/b22074-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ryan, Michael. "Formalism." In A Complete Guide to Literary Analysis and Theory, 12–43. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003305422-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Spaić, Bojan. "Formalism." In Encyclopedia of the Philosophy of Law and Social Philosophy, 987–94. Dordrecht: Springer Netherlands, 2023. http://dx.doi.org/10.1007/978-94-007-6519-1_1123.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Seidel, Linda. "Formalism." In A Companion to Medieval Art, 171–94. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2019. http://dx.doi.org/10.1002/9781119077756.ch7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Patel, Nandish V. "Formalism." In Organization and Systems Design, 150–89. London: Palgrave Macmillan UK, 2006. http://dx.doi.org/10.1057/9780230625419_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Doughty, Ruth, and Christine Etherington-Wright. "Formalism." In Understanding Film Theory, 66–85. London: Macmillan Education UK, 2017. http://dx.doi.org/10.1057/978-1-137-58796-1_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formalism"

1

Aubrecht, P., and L. Kral. "Ontology formalism transformation." In Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. IEEE, 2004. http://dx.doi.org/10.1109/dexa.2004.1333456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kim, Tag Gon, and Bernard P. Zeigler. "The DEVS formalism." In the 19th conference. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/318371.318665.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shimizu, K. "Action functor formalism." In The Eighth China–Japan–Korea International Symposium on Ring Theory. WORLD SCIENTIFIC, 2021. http://dx.doi.org/10.1142/9789811230295_0007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Radyushkin, Anatoly. "Pseudo-PDF Formalism." In CFNS Workshop on Lattice Parton Distribution Functions, Brookhaven National Lab, April 17, 2019. US DOE, 2019. http://dx.doi.org/10.2172/1976175.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Papavassiliou, Joannis, Daniele Binosi, and Apostolos Pilaftsis. "Displacement Operator Formalism." In International Europhysics Conference on High Energy Physics. Trieste, Italy: Sissa Medialab, 2007. http://dx.doi.org/10.22323/1.021.0163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bakalova, Marina. "Beyond Wittgenstein’s musical formalism." In 130 years Ludwig Wittgenstein (1889-2019). Center for Open Access in Science, Belgrade, 2020. http://dx.doi.org/10.32591/coas.e-book.001.09.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nelson, Ruth. "Integrating formalism and pragmatism." In the 1997 workshop. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/283699.283713.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Allen, Arthur, and Dennis de Champeaux. "Extending the statechart formalism." In the tenth annual conference. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/217838.217840.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zeigler, Bernard P., and Sankait Vahie. "DEVS formalism and methodology." In the 25th conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/256563.256724.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Vaisman, Izu. "The isotropic Hamiltonian formalism." In ALEXANDRU MYLLER MATHEMATICAL SEMINAR CENTENNIAL CONFERENCE. AIP, 2011. http://dx.doi.org/10.1063/1.3546090.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formalism"

1

Liu, Hongkai, Carsten Lutz, Maja Miličić, and Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.

Full text
Abstract:
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, and perform a detailed investigation of the decidability and computational complexity of reasoning in our formalism.
APA, Harvard, Vancouver, ISO, and other styles
2

Markov, Igor. Quantum Simulation Beyond Stabilizer Formalism. Fort Belvoir, VA: Defense Technical Information Center, May 2011. http://dx.doi.org/10.21236/ada543711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Prabhakar, Shyam. A Matrix Formalism for Landau Damping. Office of Scientific and Technical Information (OSTI), October 1998. http://dx.doi.org/10.2172/9944.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jones, Chris, and Maja J. Mataric. Toward a Multi-Robot Coordination Formalism. Fort Belvoir, VA: Defense Technical Information Center, January 2004. http://dx.doi.org/10.21236/ada459516.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gleiser, M., R. Holman, and N. P. Neto. First order formalism for quantum gravity. Office of Scientific and Technical Information (OSTI), May 1987. http://dx.doi.org/10.2172/6507242.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kheifets, S. A. Canonical formalism for coupled beam optics. Office of Scientific and Technical Information (OSTI), September 1989. http://dx.doi.org/10.2172/5437699.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Full text
Abstract:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of the action formalism underlying Golog (situation calculus), the verification problem for Golog programs is in general undecidable. Action formalisms based on Description Logic (DL) try to achieve decidability of inference problems such as the projection problem by restricting the expressiveness of the underlying base logic. However, until now these formalisms have not been used within Golog programs. In the present paper, we introduce a variant of Golog where basic actions are defined using such a DL-based formalism, and show that the verification problem for such programs is decidable. This improves on our previous work on verifying properties of infinite sequences of DL actions in that it considers (finite and infinite) sequences of DL actions that correspond to (terminating and non-terminating) runs of a Golog program rather than just infinite sequences accepted by a Büchi automaton abstracting the program.
APA, Harvard, Vancouver, ISO, and other styles
8

Luccio, A. Spin Rotation of Formalism for Spin Tracking. Office of Scientific and Technical Information (OSTI), February 2008. http://dx.doi.org/10.2172/939966.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Luccio A. U. Spin rotation formalism for spin tracking (REVISED). Office of Scientific and Technical Information (OSTI), February 2008. http://dx.doi.org/10.2172/1061885.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Warnock, R. EVOLVING BUNCH AND RETARDATION IN THE IMPEDANCE FORMALISM. Office of Scientific and Technical Information (OSTI), September 2004. http://dx.doi.org/10.2172/833077.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formalism' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography