Relevant bibliographies by topics / Formalism (Literature)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formalism (Literature)'

Author: Grafiati
Published: 4 June 2021
Last updated: 3 March 2023

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

Select a source type:

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

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 (Literature)"

1

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
2

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
3

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
4

Tucker, Herbert F. "Formalism." Victorian Literature and Culture 46, no. 3-4 (2018): 702–5. http://dx.doi.org/10.1017/s106015031800061x.

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

Debnár, Marek. "FORMALISM AND DIGITAL RESEARCH OF LITERATURE." Digital Age in Semiotics & Communication 1, no. 1 (November 28, 2018): 113–20. http://dx.doi.org/10.33919/dasc.18.1.8.

Full text
Abstract:
The relation between the humanities and information technologies has become so strong in recent decades that it is no longer possible to see this relationship as a mere temporary phenomenon. Together with massive digitalization of books, journals and other texts, collected into extensive electronic libraries and hypertextual databases, it is now necessary to rethink and redefine not only the concept of reading, but to specify new possibilities for analysing literary and specialized texts. The aim of this study is to point at new approaches to reading large text collections in the light of Moretti’s method of distant reading. This paper uses the methodological issues of relation between distant reading and Russian formalism as background for this consideration.
APA, Harvard, Vancouver, ISO, and other styles
6

Benjamin Kahan. "Shy Formalism." Journal of Modern Literature 41, no. 2 (2018): 178. http://dx.doi.org/10.2979/jmodelite.41.2.13.

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

Verheyen, Leen. "The Aesthetic Experience of the Literary Artwork: A Matter of Form and Content?" Aesthetic Investigations 1, no. 1 (July 16, 2015): 23–32. http://dx.doi.org/10.58519/aesthinv.v1i1.12003.

Full text
Abstract:
Ever since the introduction of aesthetics in philosophy, the literary arts have posed a challenge to common notions of aesthetic experience. In this paper, I will focus on the problems that arise when a formalist approach to aesthetics is confronted with literature. My main target is Peter Kivy's ‘essay in literary aesthetics’ Once-Told Tales, in which Kivy defends formalism and concludes from this approach that literature is a non-aesthetic art form. Contrary to Kivy, I will claim that we have good reasons to consider literature an aesthetic art form and, therefore, that the literary arts naturally pose a challenge to formalism. By showing the inextricable intertwining of form and content in literary artworks, I will demonstrate that the identification of so-called aesthetic properties with purely formal properties of a literary artwork is problematic.
APA, Harvard, Vancouver, ISO, and other styles
8

Bozovic, Marijeta. "Whose Forms? Missing Russians in Caroline Levine's Forms." PMLA/Publications of the Modern Language Association of America 132, no. 5 (October 2017): 1181–86. http://dx.doi.org/10.1632/pmla.2017.132.5.1181.

Full text
Abstract:
Caroline Levine's Forms has been received as a prototype and a manifesto, a sign of the new formalist times in American literary studies. In the cover endorsements for the hardbound edition, Amanda Claybaugh calls Forms a “book of a generation,” Bruce Robbins “a big, brilliant, necessary book”—large claims for a text of 150 pages. Levine's treatise promises no less than “a way to understand the relations among forms—forms aesthetic and social, spatial and temporal, ancient and modern, major and minor, like and unlike, punitive and narrative, material and metrical” (23). Levine claims to provide “a reading practice that does not fit any familiar formalism,” a practice that instead “draws from all” formalisms (21).
APA, Harvard, Vancouver, ISO, and other styles
9

Gallagher, C. "Formalism and Time." Modern Language Quarterly 61, no. 1 (March 1, 2000): 229–51. http://dx.doi.org/10.1215/00267929-61-1-229.

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

Otter, S. "A Different Formalism." Novel: A Forum on Fiction 43, no. 2 (June 1, 2010): 350–53. http://dx.doi.org/10.1215/00295132-2010-012.

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

Dissertations / Theses on the topic "Formalism (Literature)"

1

Petyo, Michael Brian. "Tragic Vision in the Verse Narratives of New Formalism." Thesis, Harvard University, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=1585751.

Full text
Abstract:

This thesis explores mid-length verse narratives, written by Dana Gioia, Sydney Lea, and Robert McDowell and tries to understand how we might better approach these poems, which represent the central experiments of the New Formalist enterprise. These verse narratives have remained overlooked by scholars and rejected by early critics on purely ideological grounds. Written over the past twenty-five years, they challenge Modernist experimentation, which had become the new orthodoxy that primarily focused on and exhausted the lyric mode of expression. This study combines close readings of the verse narratives together with a vast corpus of critical essays by the practitioners of New Formalism. It identifies a gap in narratological studies that renders the poetic aspect of the narratives irrelevant. By applying the Russian formalist concepts of suzjet to include the lineation and compression of time in these poems as it relates to the fabula, this study reverses that trend. As these narratives converge on the theme of violence, a Christian tragedy of possibility emerges, leading to the chief conclusion of this thesis: These poems are the story. It becomes evident that the tragic mode in which these poets write is perfectly suited to the compressed nature of their poems. The theme of violence is a metaphor for the broad cultural problem of illiteracy and abandoned literary forms and traditions, including rhyme and meter, that have rendered tragedy dead to contemporary poetry and threatens the total extinction of writing the epic of our time.

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

Baker, David, and n/a. "Of Unprincipled Formalism: Readings in the Work of David Malouf and Peter Carey." Griffith University. School of Humanities, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20040616.120642.

Full text
Abstract:
This thesis develops a critical reading methodology entitled unprincipled formalism. This methodology is tested in close readings of three relatively contemporary Australian literary texts: David Malouf's short story "A Traveller's Tale" (1986) and novella Remembering Babylon (1994), and Peter Carey's short story "The Chance" (1978). Unprincipled formalism is developed in relation to three broad contexts: the fragmented state of the contemporary discipline of literary studies; the complex of international economic and social phenomena which goes under the general rubric of globalisation; and the specific Australian left-liberal literary critical tradition which I have termed, for convenience sake, the Meanjin literary formation. Unprincipled formalism does not draw a distinction between form and content. Unprincipled formalism is a critical methodology that is both avowedly socially concerned and strictly formalist. It is concerned with articulating and analysing the particular social and political interventions made by literary texts (as well as the resultant critical discussion of those texts) through a consideration of the formal techniques by which literary texts situate themselves as acts of communication. Principal among these techniques is the mise en abyme. The thesis provides a detailed analysis of debates around the mise en abyme informed by the work of theorists such as Ross Chambers, Lucien Dallenbach, Frank Lentricchia, Moshe Ron, Jacques Derrida and others. Politically, unprincipled formalism attempts to steer a middling course between neo-liberal triumphalism on the one hand and nostalgic left romanticism on the other. This involves on the one hand a critique of neo-liberalism drawing on the work of Charles Taylor, Stephen Holmes, John Frow and others, and on the other a critique of a nostalgic romantic tendency in "progressive" critical technologies such as postmodern and postcolonial literary studies.
APA, Harvard, Vancouver, ISO, and other styles
3

Baker, David. "Of Unprincipled Formalism: Readings in the Work of David Malouf and Peter Carey." Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366447.

Full text
Abstract:
This thesis develops a critical reading methodology entitled unprincipled formalism. This methodology is tested in close readings of three relatively contemporary Australian literary texts: David Malouf's short story "A Traveller's Tale" (1986) and novella Remembering Babylon (1994), and Peter Carey's short story "The Chance" (1978). Unprincipled formalism is developed in relation to three broad contexts: the fragmented state of the contemporary discipline of literary studies; the complex of international economic and social phenomena which goes under the general rubric of globalisation; and the specific Australian left-liberal literary critical tradition which I have termed, for convenience sake, the Meanjin literary formation. Unprincipled formalism does not draw a distinction between form and content. Unprincipled formalism is a critical methodology that is both avowedly socially concerned and strictly formalist. It is concerned with articulating and analysing the particular social and political interventions made by literary texts (as well as the resultant critical discussion of those texts) through a consideration of the formal techniques by which literary texts situate themselves as acts of communication. Principal among these techniques is the mise en abyme. The thesis provides a detailed analysis of debates around the mise en abyme informed by the work of theorists such as Ross Chambers, Lucien Dallenbach, Frank Lentricchia, Moshe Ron, Jacques Derrida and others. Politically, unprincipled formalism attempts to steer a middling course between neo-liberal triumphalism on the one hand and nostalgic left romanticism on the other. This involves on the one hand a critique of neo-liberalism drawing on the work of Charles Taylor, Stephen Holmes, John Frow and others, and on the other a critique of a nostalgic romantic tendency in "progressive" critical technologies such as postmodern and postcolonial literary studies.
Thesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Humanities
Full Text
APA, Harvard, Vancouver, ISO, and other styles
4

Patterson, Thomas H. Crumpler Thomas P. "Teacher change as elicited from formalism to reader response theory applied to two twentieth century novels engaged by a secondary school advanced novel class." Normal, Ill. : Illinois State University, 2006. http://proquest.umi.com/pqdweb?index=0&did=1225152521&SrchMode=1&sid=7&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1177942246&clientId=43838.

Full text
Abstract:
Thesis (Ed. D.)--Illinois State University, 2006.
Title from title page screen, viewed on April 30, 2007. Dissertation Committee: Thomas Crumpler (chair), Dent Rhodes, Ellen Spycher. Includes bibliographical references (leaves 189-195) and abstract. Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
5

Jönsson, Isak. "International Intrusion in China Miéville's The City & The City : Construction and Deconstruction of Ideological State Apparatus." Thesis, Malmö universitet, Malmö högskola, Institutionen för konst, kultur och kommunikation (K3), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-42888.

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

Alkhas, Marduk. "A comparative narrative analysis of Rambling rose : the novel and the film /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9809677.

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

Daly, Robert. "The scholar as scientist : Iurii Tynianov and the OPOiaZ." Thesis, University of Oxford, 2016. https://ora.ox.ac.uk/objects/uuid:9a362e24-fc5b-447c-a740-8284a66c2a35.

Full text
Abstract:
The present work deals with the literary-theoretical work of the Petrograd Formalists - those who participated in the OPOiaZ in the 1910s and early 1920s - with a focus on that oflurii Tynianov. It attempts to unpack the representation of their literary-theoretical work as 'science' [nauka] by exploring how that category was constructed in dialogue with their evolving conception of literature. It is argued in the first chapter that, for the duration of their project, they conceptualized the 'language of nauka' - and their own prose by association - in accordance with the laws of their theory of language. It is argued in the second chapter that, as the Formalists developed a theory of literary history as an endless succession of 'revolutions' in the period 1919- 24, they tried to make their theorization of that process take a correspondingly revolutionary form, one in which the sciences of nature and those of history would become one. It is argued in the third chapter that, as the Formalists came to theorize the connection between literature and life in the period 1924-30, they practised a new 'type' of nauka in the form of the authorial collection of articles, one in which their own work was historicized in a 'literary' manner. It is concluded that, for the OPOiaZ, nauka came into being as a function of its object: as the Formalists transformed their conception of literature, their realization of nauka was correspondingly transformed. The conclusion then problematizes the categorization of Formalism as a purely 'scientific', extra-'literary' movement, since emphasis is placed on their authorship of that categorization, and raises broader questions about the origin of modem 'literary theory'.
APA, Harvard, Vancouver, ISO, and other styles
8

Hellström, Hannes. ""Jeg vil vise deg verden" : Främmandegöring, språk och uppmärksamhet i Karl Ove Knausgårds Om høsten." Thesis, Uppsala universitet, Litteraturvetenskapliga institutionen, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-431257.

Full text
Abstract:
Uppsatsen undersöker Karl Ove Knausgårds Om høsten med utgångspunkt i Viktor Sjklovskijs främmandegöringsbegrepp och Toril Mois tankar om språk och uppmärksamhet. Huvudsyftet är tvådelat: dels att kombinera Sjklovskijs och Mois begreppsliga kluster som delvis är oppositionella på grund av deras vitt skilda relationer till formalismen. Och dels att använda denna kombination för att analysera Om høsten. Fokus ligger på hur vardagliga objekt och fenomen gestaltas, men också på den metadiskussion som förs genom texten kring uppmärksamhet och automatisering.
APA, Harvard, Vancouver, ISO, and other styles
9

Gegas, Christos Ioannis. "C.P. Cavafy: (Homo)Erotics and (Re)Constructions." The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1374156416.

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

Malnoë, Céline. "Paul Louis Rossi : une poétique du temps et de la mémoire." Thesis, Tours, 2012. http://www.theses.fr/2012TOUR2025.

Full text
Abstract:
Suite à l’essoufflement du vers libre, et plus généralement à l’idée d’une crise de la poésie, un ensemble de poètes s’est attaché, dès les années 1960, à une redéfinition du genre, dans le sens d’un renouvellement du poème à partir de ses traditions. Paul Louis Rossi fut de ces écrivains, et un large pan de son oeuvre littéraire témoigne de son investissement dans cette recherche. Pratique de formes fixes, dimension épique de certains livres engagés dans une réécriture de l’histoire, il est évident que l’entreprise du poète s’inscrit dans une démarche que l’on pourrait qualifier de modernité archaïque.S’agissant d’inscrire le poète dans ce contexte, cette étude voudrait aussi mettre au jour une dimension plus personnelle de ce rapport au passé et à la mémoire, l’auteur développant une pensée du temps qui se situe visiblement à la croisée du biographique, de l’esthétique et de la métaphysique, et qui semble à l’origine même de son projet littéraire. Dans une analyse à la fois synchronique et diachronique, il s’agira de mettre en perspective cette pensée du temps et son expression rhétorique et formelle
Following the free verse's decrease, and the idea of a crisis in poetry in its globality, some poets worked, from the early 60's, on a new definition of the genre, in the way of a renewal from its tradition.Paul Louis Rossi was one of these writers, and a large part of his work is representative of his personnal investment in this research. Practice of formes fixes, epic dimension of some books engaged in rewriting history, obviously the poet's approach is a process that could be termed archaic modernity.. With regard to place the poet in this context, this study will expose the personnal dimension of hisrelation to past and memory, in which the author developps a thought of time that is patently at the crossroadsof autobiography, aesthetics and metaphysics, and seems to be the origin of Paul Louis Rossi's literary project. In an analysis both synchronic and diachronic, this time thought and its formal and rhetorical expression will be put into perspective
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formalism (Literature)"

1

The Polish Formalist school and Russian Formalism. Rochester, N.Y: University of Rochester Press, 2002.

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

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

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

Stephen, Cohen, ed. Shakespeare and historical formalism. Aldershot, England: Ashgate, 2007.

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

Yeats and the logic of formalism. Columbia: University of Missouri Press, 2005.

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

Aucouturier, Michel. Le formalisme russe. Paris: Presses universitaires de France, 1994.

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

1893-1984, Shklovskiĭ Viktor, Shklovskiĭ Viktor 1893-1984, Tomashevskiĭ, B. V. (Boris Viktorovich), 1890-1957, and Ėĭkhenbaum Boris Mikhaĭlovich 1886-1959, eds. Russian formalist criticism: Four essays. Lincoln: University of Nebraska Press, 2012.

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

Holden, Jonathan. The old formalism: Character in contemporary American poetry. Fayetteville: University of Arkansas Press, 1999.

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

Formalʹnyĭ metod: Antologii︠a︡ russkogo modernizma. Moskva: Kabinetnyĭ uchenyĭ, 2016.

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

The formal method in literary scholarship: A critical introduction to sociological poetics. Cambridge, Mass: Harvard University Press, 1985.

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

Medvedev, P. N. Formalʹnyĭ metod v literaturovedenii. Moskva: Labirint, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formalism (Literature)"

1

Jasper, David. "Beyond Formalism." In The Study of Literature and Religion, 107–16. London: Palgrave Macmillan UK, 1992. http://dx.doi.org/10.1007/978-1-349-22124-0_8.

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

Jasper, David. "Beyond Formalism." In The Study of Literature and Religion, 107–16. London: Palgrave Macmillan UK, 1989. http://dx.doi.org/10.1057/9780230380004_8.

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

Loewenstein, Joseph. "Marston’s Gorge and the Question of Formalism." In Renaissance Literature and Its Formal Engagements, 89–112. New York: Palgrave Macmillan US, 2002. http://dx.doi.org/10.1007/978-1-137-07177-4_5.

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

de Oliveira Oliveira, Mateus. "Synthesis and Analysis of Petri Nets from Causal Specifications." In Computer Aided Verification, 447–67. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_22.

Full text
Abstract:
AbstractPetri nets are one of the most prominent system-level formalisms for the specification of causality in concurrent, distributed, or multi-agent systems. This formalism is abstract enough to be analyzed using theoretical tools, and at the same time, concrete enough to eliminate ambiguities that would arise at implementation level. One interesting feature of Petri nets is that they can be studied from the point of view of true concurrency, where causal scenarios are specified using partial orders, instead of approaches based on interleaving.On the other hand, message sequence chart (MSC) languages, are a standard formalism for the specification of causality from a purely behavioral perspective. In other words, this formalism specifies a set of causal scenarios between actions of a system, without providing any implementation-level details about the system.In this work, we establish several new connections between MSC languages and Petri nets, and show that several computational problems involving these formalisms are decidable. Our results fill some gaps in the literature that had been open for several years. To obtain our results we develop new techniques in the realm of slice automata theory, a framework introduced one decade ago in the study of the partial order behavior of bounded Petri nets. These techniques can also be applied to establish connections between Petri nets and other well studied behavioral formalisms, such as the notion of Mazurkiewicz trace languages.
APA, Harvard, Vancouver, ISO, and other styles
5

Jasper, David. "The Limits of Formalism and the Theology of Hope." In The Study of Literature and Religion, 97–106. London: Palgrave Macmillan UK, 1992. http://dx.doi.org/10.1007/978-1-349-22124-0_7.

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

Jasper, David. "The Limits of Formalism and the Theology of Hope." In The Study of Literature and Religion, 97–106. London: Palgrave Macmillan UK, 1989. http://dx.doi.org/10.1057/9780230380004_7.

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

Staten, Henry. "Art as Techne, or, The Intentional Fallacy and the Unfinished Project of Formalism." In A Companion to the Philosophy of Literature, 420–35. Oxford, UK: Wiley-Blackwell, 2009. http://dx.doi.org/10.1002/9781444315592.ch22.

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

Schmidt, Henrike. "From Samizdat to New Sincerity. Digital Literature on the Russian-Language Internet." In The Palgrave Handbook of Digital Russia Studies, 255–75. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-42855-6_15.

Full text
Abstract:
AbstractDigital literature on the Russian-language Internet includes a broad variety of phenomena, from online libraries to writers’ blogs, from hypertext to Internet memes. The chapter begins by clarifying the terms “digital literature” and “Runet,” drawing on a functional understanding of literature in the tradition of Russian Formalism. It embeds Runet literary studies into global contexts and gives an overview of essential phenomena (hypertext, fan fiction, blogging) and narratives. It analyzes local discourses, which, in turn, attempt to make sense of global communication technologies, for example, by conceptualizing digital self-publishing as samizdat, that is, the historical phenomenon of clandestine underground publication in the post-Stalin Soviet Union. The chapter concludes with an overview of research approaches and methods, both qualitative and quantitative, and of the challenges that future analysis will face.
APA, Harvard, Vancouver, ISO, and other styles
9

de Souza Amorim, Luís Eduardo, and Eelco Visser. "Multi-purpose Syntax Definition with SDF3." In Software Engineering and Formal Methods, 1–23. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58768-0_1.

Full text
Abstract:
Abstract SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.
APA, Harvard, Vancouver, ISO, and other styles
10

Bernreiter, Michael, Anela Lolic, Jan Maly, and Stefan Woltran. "Sequent Calculi for Choice Logics." In Automated Reasoning, 331–49. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_20.

Full text
Abstract:
AbstractChoice logics constitute a family of propositional logics and are used for the representation of preferences, with especially qualitative choice logic (QCL) being an established formalism with numerous applications in artificial intelligence. While computational properties and applications of choice logics have been studied in the literature, only few results are known about the proof-theoretic aspects of their use. We propose a sound and complete sequent calculus for preferred model entailment in QCL, where a formula F is entailed by a QCL-theory T if F is true in all preferred models of T. The calculus is based on labeled sequent and refutation calculi, and can be easily adapted for different purposes. For instance, using the calculus as a cornerstone, calculi for other choice logics such as conjunctive choice logic (CCL) can be obtained in a straightforward way.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formalism (Literature)"

1

Mocko, Gregory, and David W. Rosen. "A Critical Analysis of Description Logics for Engineering Information Management." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99473.

Full text
Abstract:
Engineering information management (EIM), specifically the development of information models, is becoming increasingly important to facilitate the exchange of digital product information across the extended enterprise. A myriad of information models has been proposed for capturing a broad scope of design information. Recently, description logics (DLs) have received significant attention in current literature as an underlying representational formalism for developing engineering information models. In this paper, we address the question: “Why should description logics (DLs) be used for engineering information management (EIM)?” We identify the characteristics of engineering design problems and the requirements for EIM, review common information modeling formalisms, and critically evaluate the benefits of DLs over other representational formalisms. The use of DLs is illustrated for modeling engineering decision information. Finally, it is argued that DLs provides several advantages over other modeling formalism, including Semantic Data Model (SDM) and Object-Oriented Data Model (OODM), through a logic-based representation that enables reasoning to be performed for checking the consistency of the information model and providing a means for organizing the information into a hierarchical taxonomy.
APA, Harvard, Vancouver, ISO, and other styles
2

James, Peter, Colin Madew, Andrew Goodfellow, and Martin Gallegillo. "R6 V, Vg and RSE-M Estimates of Experimental Failure for Combined Loading." In ASME 2012 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/pvp2012-78722.

Full text
Abstract:
Engineering components which are considered in safety case assessments contain either real or hypothetical crack-like defects that experience combinations of primary and secondary stresses during service. A number of assessment procedures contain simplified numerical approaches to detail the interaction of these stresses under in-service or fault conditions including the R6 procedure used in the UK and the RSE-M Appendix 5.4 (RSE-M) assessment code adopted in France. The R6 procedure and RSE-M approaches are shown to be relatively similar for cases which do not contain secondary loading but differ when treating secondary stresses. It is generally accepted that the R6 procedure in terms of ρ or V is conservative compared to finite element analyses and plant experience; which has driven the development of a new formalism of the R6 V factor, Vg. This new formalism is seen to be more aligned to the RSE-M approach but differs in some cases. The aim of this paper is twofold: 1) to demonstrate the main divergence between the procedures, and 2) to provide experimental comparison between the R6 V, the newly formalised Vg, and the RSE-M approaches under test cases within literature that contain combined primary and secondary loading.
APA, Harvard, Vancouver, ISO, and other styles
3

Gijrath, Hans, and Mats A˚bom. "A Matrix Formalism for Fluid-Borne Sound in Pipe Systems." In ASME 2002 International Mechanical Engineering Congress and Exposition. ASMEDC, 2002. http://dx.doi.org/10.1115/imece2002-33356.

Full text
Abstract:
In this paper a general matrix formalism for predicting fluid-borne sound in gas filled pipe systems of arbitrary geometry is presented. Based on the formalism, a code, valid from the low frequency plane wave range up to frequencies where a large number of modes propagate in each pipe, has been developed. The formalism is based on representing the pipe system as an equivalent network of acoustical 2-ports, where each 2-port corresponds to a physical pipe element. Interfaces or branch points between N (≥ 2) pipes in the physical system are represented as node points, which are modelled as multi-ports of order N. For the low frequency range the ports of the equivalent network are defined using travelling pressure wave amplitudes as the state variables. This gives a so-called scattering-matrix formalism that has been described earlier in the literature. For the high frequency multi-mode range it is demonstrated that the same formalism still holds if the state variables are defined via acoustic power. Furthermore, compared to the standard power flow models used today, e.g., the VDI 3733 standard, the suggested matrix formulation can also include the effect of reflections. To enable modelling both of sound generation from fluid machines (fans, compressors,…) and flow generated sound, e.g., from flow separation at constrictions (valves) and bends, both the 2-ports and multi-ports are allowed to be active. In the first version of the code semi-empirical models for flow generated sound from, e.g., valves have been included.
APA, Harvard, Vancouver, ISO, and other styles
4

Kecskeméthy, Andrés G. "An Object-Oriented Differential-Geometric Approach to Spatial Mechanism Dynamics." In ASME 1994 Design Technical Conferences collocated with the ASME 1994 International Computers in Engineering Conference and Exhibition and the ASME 1994 8th Annual Database Symposium. American Society of Mechanical Engineers, 1994. http://dx.doi.org/10.1115/detc1994-0278.

Full text
Abstract:
Abstract Described in this paper is a novel approach for the computer-generation of the dynamical equations of complex spatial mechanisms. A coordinate-free, intrinsic representation of the underlying equations is developed from well-known concepts of differential-geometry. The resulting objects are shown to be amenable to an object-oriented implementation based on the client-server paradigm, allowing for an open, intuitive and formalism-independent generation of corresponding computer models. We develop here primarly the theoretical foundations of the approach, referencing to applications in the literature.
APA, Harvard, Vancouver, ISO, and other styles
5

Dvořák, Wolfgang, Matthias König, and Stefan Woltran. "On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/67.

Full text
Abstract:
Argumentation frameworks are a core formalism in the field of formal argumentation, with several semantics being proposed in the literature. Among them, preferred semantics is one of the most popular but comes with relatively high complexity. In fact, deciding whether an argument is skeptically accepted, i.e. contained in each preferred extension, is Pi^P_2-complete. In this work we study the complexity of this problem w.r.t. the length of the cycles in the considered AF. Our results show which bounds are necessary to decrease the complexity to coNP and P, respectively. We also consider argumentation frameworks with collective attacks and achieve Pi^P_2-hardness already for cycles of length 4.
APA, Harvard, Vancouver, ISO, and other styles
6

Rosatello, Marco, Jean-Luc Dion, Franck Renaud, and Luigi Garibaldi. "The Skateboard Speed Wobble." In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-47326.

Full text
Abstract:
The speed wobble is a phenomenon in nonlinear dynamics that can occur in many vehicles such as bicycles, motorbikes, skateboards and airplanes nose landing gear. The dynamic instability affects the steerable wheels of a vehicle and can lead to the loss of control. While for bikes, motorbikes and airplanes the dynamics and causes of the wobble are well known and the literature fully describes the subject, for the skateboard the literature is very poor and there is no paper which investigates this type of instability. In order to do that, the skateboard equations of motion were obtained through Lagrange formalism and Lagrange multipliers method was used to solve the non-holonomic constraints. A parametric stability study was carried out on the linearized equations of motion and the influence of different skateboard parameters was investigated. The main discovery is that the wobble doesn’t strictly depend on skateboard configuration, but the human control characteristics are predominant in the vehicle dynamics.
APA, Harvard, Vancouver, ISO, and other styles
7

Lin, Yuan, and Timothy C. Ovaert. "Thermal Distortion of an Anisotropic Elastic Half-Plane and Its Application in Contact Problems Including Frictional Heating." In ASME/STLE 2004 International Joint Tribology Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/trib2004-64040.

Full text
Abstract:
The thermal surface distortion of an anisotropic elastic half-plane is studied using the extended version of Stroh’s formalism. In general, the curvature of the surface depends both on the local heat flux into the half-plane and the local temperature variation along the surface. However, if the material is orthotropic, the curvature of the surface depends only on the local heat flux into the half-plane. As a direct application, the two-dimensional thermoelastic contact problem of an indenter sliding against an orthotropic half-plane is considered. Two cases, where the indenter has either a flat or a parabolic profile, are studied in detail. Comparisons with other available results in the literature show that the present method is correct and accurate.
APA, Harvard, Vancouver, ISO, and other styles
8

Bercher, Pascal, Songtuan Lin, and Ron Alford. "Tight Bounds for Hybrid Planning." In Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/638.

Full text
Abstract:
Several hierarchical planning systems feature a rich level of language features making them capable of expressing real-world problems. One such feature that's used by several current planning systems is causal links, which are used to track search progress. The formalism combining Hierarchical Task Network (HTN) planning with these links known from Partial Order Causal Link (POCL) planning is often referred to as hybrid planning. In this paper we study the computational complexity of such hybrid planning problems. More specifically, we provide missing membership results to existing hardness proofs and thereby provide tight complexity bounds for all known subclasses of hierarchical planning problems. We also re-visit and correct a result from the literature for plan verification showing that it remains NP-complete even in the absence of a task hierarchy.
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Zhe, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, and Hai Wan. "Query Answering for Existential Rules via Efficient Datalog Rewriting." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/268.

Full text
Abstract:
Existential rules are an expressive ontology formalism for ontology-mediated query answering and thus query answering is of high complexity, while several tractable fragments have been identified. Existing systems based on first-order rewriting methods can lead to queries too large for DBMS to handle. It is shown that datalog rewriting can result in more compact queries, yet previously proposed datalog rewriting methods are mostly inefficient for implementation. In this paper, we fill the gap by proposing an efficient datalog rewriting approach for answering conjunctive queries over existential rules, and identify and combine existing fragments of existential rules for which our rewriting method terminates. We implemented a prototype system Drewer, and experiments show that it is able to handle a wide range of benchmarks in the literature. Moreover, Drewer shows superior or comparable performance over state-of-the-art systems on both the compactness of rewriting and the efficiency of query answering.
APA, Harvard, Vancouver, ISO, and other styles
10

Mukherjee, Rudranarayan, and Jeremy Laflin. "Parallel Algorithm for Modeling Constrained Multi-Flexible Body System Dynamics." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-13311.

Full text
Abstract:
This paper presents an algorithm for modeling the dynamics of multi-flexible body systems in closed kinematic loop configurations where the component bodies are modeled using the large displacement small deformation formulation. The algorithm uses a hierarchic assembly disassembly process in parallel implementation and a recursive assembly disassembly process in serial implementation to achieve highly efficient simulation turn-around times. The operational inertias arising from the rigid body modes of motion at the joint locations on a component body are modified to account for the nonlinear inertial effects and body forces arising from the body based deformations. Traditional issues, such as motion induced stiffness and temporal invariance of deformation field related inertia terms, are robustly addressed in this algorithm. The algorithm uses a mixed set of coordinates viz. (i) absolute coordinates for expressing the equations of motion of a body fixed reference frame, (ii) relative or internal coordinates to express the kinematic joint constraints and (iii) body fixed coordinates to account for the body’s deformation field. The kinematic joint constraints and the closed loop constraints are treated alike through the formalism of relative coordinates, joint motion spaces and their orthogonal complements. Verification of the algorithm is demonstrated using the planar fourbar mechanism problem that has been traditionally used in literature.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formalism (Literature)"

1

Snyder, Victor A., Dani Or, Amos Hadas, and S. Assouline. Characterization of Post-Tillage Soil Fragmentation and Rejoining Affecting Soil Pore Space Evolution and Transport Properties. United States Department of Agriculture, April 2002. http://dx.doi.org/10.32747/2002.7580670.bard.

Full text
Abstract:
Tillage modifies soil structure, altering conditions for plant growth and transport processes through the soil. However, the resulting loose structure is unstable and susceptible to collapse due to aggregate fragmentation during wetting and drying cycles, and coalescense of moist aggregates by internal capillary forces and external compactive stresses. Presently, limited understanding of these complex processes often leads to consideration of the soil plow layer as a static porous medium. With the purpose of filling some of this knowledge gap, the objectives of this Project were to: 1) Identify and quantify the major factors causing breakdown of primary soil fragments produced by tillage into smaller secondary fragments; 2) Identify and quantify the. physical processes involved in the coalescence of primary and secondary fragments and surfaces of weakness; 3) Measure temporal changes in pore-size distributions and hydraulic properties of reconstructed aggregate beds as a function of specified initial conditions and wetting/drying events; and 4) Construct a process-based model of post-tillage changes in soil structural and hydraulic properties of the plow layer and validate it against field experiments. A dynamic theory of capillary-driven plastic deformation of adjoining aggregates was developed, where instantaneous rate of change in geometry of aggregates and inter-aggregate pores was related to current geometry of the solid-gas-liquid system and measured soil rheological functions. The theory and supporting data showed that consolidation of aggregate beds is largely an event-driven process, restricted to a fairly narrow range of soil water contents where capillary suction is great enough to generate coalescence but where soil mechanical strength is still low enough to allow plastic deforn1ation of aggregates. The theory was also used to explain effects of transient external loading on compaction of aggregate beds. A stochastic forInalism was developed for modeling soil pore space evolution, based on the Fokker Planck equation (FPE). Analytical solutions for the FPE were developed, with parameters which can be measured empirically or related to the mechanistic aggregate deformation model. Pre-existing results from field experiments were used to illustrate how the FPE formalism can be applied to field data. Fragmentation of soil clods after tillage was observed to be an event-driven (as opposed to continuous) process that occurred only during wetting, and only as clods approached the saturation point. The major mechanism of fragmentation of large aggregates seemed to be differential soil swelling behind the wetting front. Aggregate "explosion" due to air entrapment seemed limited to small aggregates wetted simultaneously over their entire surface. Breakdown of large aggregates from 11 clay soils during successive wetting and drying cycles produced fragment size distributions which differed primarily by a scale factor l (essentially equivalent to the Van Bavel mean weight diameter), so that evolution of fragment size distributions could be modeled in terms of changes in l. For a given number of wetting and drying cycles, l decreased systematically with increasing plasticity index. When air-dry soil clods were slightly weakened by a single wetting event, and then allowed to "age" for six weeks at constant high water content, drop-shatter resistance in aged relative to non-aged clods was found to increase in proportion to plasticity index. This seemed consistent with the rheological model, which predicts faster plastic coalescence around small voids and sharp cracks (with resulting soil strengthening) in soils with low resistance to plastic yield and flow. A new theory of crack growth in "idealized" elastoplastic materials was formulated, with potential application to soil fracture phenomena. The theory was preliminarily (and successfully) tested using carbon steel, a ductile material which closely approximates ideal elastoplastic behavior, and for which the necessary fracture data existed in the literature.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formalism (Literature)' 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