Global ETD Search

51	Dialogismo e tradução intersemiótica em Pink Floyd The Wall: luto e melancolia na Inglaterra do pós-guerra Martucci, Maurício Dotto 10 September 2010 (has links) Made available in DSpace on 2016-06-02T20:23:11Z (GMT). No. of bitstreams: 1 3419.pdf: 1908813 bytes, checksum: 00e2359e53f73b176da4dec0219ba4aa (MD5) Previous issue date: 2010-09-10 / The film Pink Floyd The Wall, adaptation to the cinema of the Pink Floyd´s concept album, tells the Pink´s story, a musician, that was born in England during the World War II final years, he had his father died in a battle and this fact start a process of depression and melancholy that culminate in his total apathy towards life. This research has its focus on the literary content of the songs from the original album, the aim is study the film formal structure, its differences, similarities and complementarities comparing to the album narrative, observing the translation and artistic recreation process from the album to the movie and also confirming the dialogical relations between the different problems, contextualization, languages and representations explored in this art piece. / O filme Pink Floyd The Wall, adaptação para o cinema do álbum conceitual da banda Pink Floyd, narra a história, desde a infância até sua completa alienação, do protagonista Pink, um músico nascido na Inglaterra nos anos finais da Segunda Guerra Mundial, cuja morte do pai durante a guerra lhe desencadeia um processo de depressão e melancolia que culmina em sua total apatia diante da vida. A presente pesquisa, tendo como foco o teor literário das canções do álbum original, tem por objetivo o estudo da estrutura formal do tecido fílmico, suas diferenças, semelhanças e complementaridades com a narrativa musical contida no álbum, observando e constatando os processos de tradução e recriação de uma obra para outra, além das relações dialógicas entre as diferentes problemáticas, contextualizações, linguagens e representações exploradas na obra. Filmes musicais Rock Parker, Alan William, 1944- Dialogismo Romance polifônico Adaptação Tradução intersemiótica Narrativa Narrativa audiovisual Música Drama musical Pink Floyd The Wall Rock progressivo Ópera rock Roger Waters Segunda gerra mundial Nazismo Dialogism Polyphonic novel Adaptation Intersemiotic translation Narrative Audiovisual narrative Cinema Music Musical film Music drama Pink Floyd The Wall Rock Progressive rock Rock opera Roger Waters Allan Parker World war II Nazism
52	"Deep" South: Mammoth Cave, Kentucky, and Environmental Knowledge, 1800-1974 Warrick, Alyssa Diane 08 December 2017 (has links) Mammoth Cave in Kentucky is the longest known cave in the world. This dissertation examines the history of how scientists and non-scientists alike contributed to a growing body of knowledge about Mammoth Cave and how that knowledge in turn affected land use decisions in the surrounding neighborhood. During the nineteenth century visitors traveled through Mammoth Cave along with their guides, gaining knowledge of the cave by using their senses and spreading that knowledge through travel narratives. After the Civil War, cave guides, now free men who chose to stay in the neighborhood, used the cave as a way to build and support their community. New technologies and new visitors reconstructed the Mammoth Cave experience. Competing knowledge of locals and science-minded individuals, new technologies to spread the cave experience, and a growing tourism industry in America spurred the Kentucky Cave Wars during the late-nineteenth century. In the twentieth century, cutthroat competition between caves crystallized support for a national park at Mammoth Cave. Park promoters met resistance. Cave owners’ knowledge of what they owned underground helped them resist condemnation. Those affected by the coming of the national park made their protests known on the landscape, in newspapers, and in courtrooms. The introduction of New Deal workers, primarily the Civilian Conservation Corps, at Mammoth Cave and a skeleton staff of National Park Service officials faced antagonism from the local community. Important discoveries inside Mammoth Cave hastened the park’s creation, but not without lingering bitterness that would affect later preservation efforts. The inability of the park promoters to acquire two caves around Mammoth Cave was a failure for the national park campaign but a boon for exploration. The postwar period saw returning veterans and their families swarming national parks. While the parking lots at Mammoth Cave grew crowded and the Park Service attempted to balance preservation and development for the enjoyment of the visiting public, underground explorers were pushing the cave’s known extent to new lengths. This new knowledge inspired a new generation of environmentalists and preservationists to use the Wilderness Act to advocate for a cave wilderness designation at Mammoth Cave National Park. Mammoth Cave Kentucky caves conservation preservation environmental history southern wilderness Cave Research Foundation caving exploration saltpetre subterranean Wilderness Act John Croghan Stephen Bishop Hovey Progressive park National Park Service national park Floyd Collins tuberculosis consumption slave enslaved slavery underground cave caves knowledge creation travel tourism
53	Provably Sound and Secure Automatic Proving and Generation of Verification Conditions / Tillförlitligt sund och säker automatisk generering och bevisning av verifieringsvillkor Lundberg, Didrik January 2018 (has links) Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. This thesis presents a proof procedure to efficiently generate a theorem stating the weakest precondition for a program to terminate successfully in a state upon which a certain postcondition is placed. Specifically, the Poly/ML implementation of the SML metalanguage is used to generate a theorem in the HOL4 interactive theorem prover regarding the properties of a program written in BIR, an abstract intermediate representation of machine code used in the PROSPER project. / Bevis av säkerhetsegenskaper hos program genom formell verifiering kan göras med hjälp av interaktiva teorembevisare. Det program som skall verifieras representeras i en mellanliggande språkrepresentation inuti den interaktiva teorembevisaren, varefter påståenden kan konstrueras, som sedan bevisas. Detta är en process som kan automatiseras i hög grad. Här presenterar vi en metod för att effektivt skapa och bevisa ett teorem som visar sundheten hos den svagaste förutsättningen för att ett program avslutas framgångsrikt under ett givet postvillkor. Specifikt använder vi Poly/ML-implementationen av SML för att generera ett teorem i den interaktiva teorembevisaren HOL4 som beskriver egenskaper hos ett program i BIR, en abstrakt mellanrepresentation av maskinkod som används i PROSPER-projektet. HOL4 HOL Higher-order logic SML Poly/ML Formal methods Axiomatic semantics Formal verification Static verification Program verification Hoare logic Floyd-Hoare logic ITP Interactive theorem prover Theorem prover Proof assistant BIR Automated theorem proving ATP Automated deduction Computer-assisted proof Automated reasoning Computer Sciences Datavetenskap (datalogi) Software Engineering Programvaruteknik
54	Increasing Religious Literacy in Law Enforcement: A tool in building trust between Law Enforcement and Communities of Color Kendall, Haili J. January 2022 (has links) No description available. Behavioral Sciences Behaviorial Sciences Criminology Divinity World History Theology Sociology Religious Education Religion Religious History Psychology Minority and Ethnic Groups Law Legal Studies Law Enforcement Religious Literacy Community Policing Theology Faith Restorative Justice George Floyd Spirituality of Resistance Law Enforcement Education Race Relations Reparation of Trust History of Law Enforcement Black Liberation Theology Black Theology Psychology of Religion Religiosity Black Lives Matter Movement
55	Pentecostal and postmodern hermeneutics: comparisons and contemporary impact Noel, Bradley Truman 30 November 2007 (has links) The focus of this practical theological study is Pentecostalism, and the relationship between the hermeneutics of Pentecostalism and Postmodernism. Through a literary search, we observe the points of congruency between the hermeneutics of early Pentecostals and the key tenets of Postmodernism. We note the unprecedented acceptance of Pentecostal scholars into the larger theological world and question whether this is a result of the increased Modernization of Pentecostal hermeneutics. The Postmodern world of youth is explored, and we observe their tremendous openness to spirituality. This thesis will show that Pentecostals may contribute to the Christian world a Pentecostal hermeneutic that will speak a relevant message to generations of youth. Chapters two and three examine the convergent viewpoints of Pentecostalism with Postmodernity, in terms of rationalism, narratives, and the place of experience in life and theology. Chapter four highlights the hermeneutical debate between Gordon D. Fee and his Pentecostal responders, noting the Modern approach in the principles debated. Chapter five seeks to provide interaction with a giant of theology seldom engaged by Pentecostals - Rudolf Bultmann - and his modern followers, and explores the world of Postmodern youth. Chapter six explores the work of Kenneth Archer, who has proposed a specific Pentecostal hermeneutical approach, and chapter seven discusses the role of the Holy Spirit in hermeneutics, including whether Pentecostal experience may be considered an ”edge” in hermeneutics. Chapter eight summarizes the findings of this study. / Practical Theology / D. Th (Practical Theology) Gordon Anderson Arden Autry John MacKay Howard Ervin John Christopher Thomas Roy Zuck Robert May Clark Pinnock Mark Cartledge John Goldingay French Arrington Kenneth Archer Demythologization The Jesus Seminar Rudolf Bultmann Robert P. Menzies William W. Menzies Roger Stronstad Gordon D. Fee Authorial Intentionality Community Absolute Truth Deconstruction Anti-foundationalism Foundationalism Richard Rorty Jacques Derrida Michel Foucault Jean-Francois Lyotard Metanarrative Latter Rain Carl Brumback Myer Pearlman Donald Gee David Wesley Myland George Floyd Taylor William J. Seymour Modern Modernity Modernism Postmodern Postmodernity Postmodernism Pentecostal Pentecostalism Evangelical Evangelicalism Hermeneutics Hermeneutical Holy Spirit Theology Supernatural Spirituality Experiential Verification Transcendent Generation X Millennials Charles F. Parham 230.994 Pentecostal churches --Doctrines Postmodernism
56	Pentecostal and postmodern hermeneutics: comparisons and contemporary impact Noel, Bradley Truman 30 November 2007 (has links) The focus of this practical theological study is Pentecostalism, and the relationship between the hermeneutics of Pentecostalism and Postmodernism. Through a literary search, we observe the points of congruency between the hermeneutics of early Pentecostals and the key tenets of Postmodernism. We note the unprecedented acceptance of Pentecostal scholars into the larger theological world and question whether this is a result of the increased Modernization of Pentecostal hermeneutics. The Postmodern world of youth is explored, and we observe their tremendous openness to spirituality. This thesis will show that Pentecostals may contribute to the Christian world a Pentecostal hermeneutic that will speak a relevant message to generations of youth. Chapters two and three examine the convergent viewpoints of Pentecostalism with Postmodernity, in terms of rationalism, narratives, and the place of experience in life and theology. Chapter four highlights the hermeneutical debate between Gordon D. Fee and his Pentecostal responders, noting the Modern approach in the principles debated. Chapter five seeks to provide interaction with a giant of theology seldom engaged by Pentecostals - Rudolf Bultmann - and his modern followers, and explores the world of Postmodern youth. Chapter six explores the work of Kenneth Archer, who has proposed a specific Pentecostal hermeneutical approach, and chapter seven discusses the role of the Holy Spirit in hermeneutics, including whether Pentecostal experience may be considered an ”edge” in hermeneutics. Chapter eight summarizes the findings of this study. / Philosophy, Practical and Systematic Theology / D. Th (Practical Theology) Gordon Anderson Arden Autry John MacKay Howard Ervin John Christopher Thomas Roy Zuck Robert May Clark Pinnock Mark Cartledge John Goldingay French Arrington Kenneth Archer Demythologization The Jesus Seminar Rudolf Bultmann Robert P. Menzies William W. Menzies Roger Stronstad Gordon D. Fee Authorial Intentionality Community Absolute Truth Deconstruction Anti-foundationalism Foundationalism Richard Rorty Jacques Derrida Michel Foucault Jean-Francois Lyotard Metanarrative Latter Rain Carl Brumback Myer Pearlman Donald Gee David Wesley Myland George Floyd Taylor William J. Seymour Modern Modernity Modernism Postmodern Postmodernity Postmodernism Pentecostal Pentecostalism Evangelical Evangelicalism Hermeneutics Hermeneutical Holy Spirit Theology Supernatural Spirituality Experiential Verification Transcendent Generation X Millennials Charles F. Parham 230.994 Pentecostal churches --Doctrines Postmodernism

Page generated in 0.0411 seconds