Search results

Items from 1 to 20 out of 175 results

article

Grenzüberschreitungen in intersemiotischer Translation: Dieter Jüdts Graphic novel Heimsuchung und andere Erzählungen von Bruno Schulz

Katarzyna LUKAS

Transfer. Reception studies > 2018 > 3

Im Beitrag wird die Graphic novel des deutschen Grafikers Dieter Jüdt untersucht, der 1995 die Prosa von Bruno Schulz in Form eines Comics adaptierte. Ein Lite-raturcomic wird als eine intersemiotische Translation und ein transgressives, hybrides Genre angesehen, in dem Grenzen zwischen Codes und Medien, zwischen „hoher“ Kunst und „trivialer“ Popkultur überschritten werden. Da Jüdts Literaturcomic...

article

Der Fußabdruck als Katalysator für Individuation und Beziehung: Patrick Chamoiseaus Roman nach Robinson Crusoe L’empreinte à Crusoé

Martina Kopf

PORÓWNANIA. Czasopismo poswiecone zagadnieniom komparatystyki literackiej... > 2019 > 25 > 2 > 211-228

Ausgehend von Defoes berühmter Fußabdruckszene konzentriert sich dieser Beitrag auf Patrick Chamoiseaus Rewriting L’empreinte à Crusoé (2012). In dem polyphonen Roman des martinikanischen Autors wird der Fußabdruck zum Katalysator für Individuation und Beziehung. Nachdem er einen Fußabdruck auf der Insel entdeckt hat, ist Chamoiseaus Robinson, ein an Amnesie leidender schwarzer Afrikaner, von der...

article

Zabawa konwencjami w Hoodwinked!

Dominika Kozera

Acta Humana > 2015 > 6

Hoodwinked! is a computer-animated movie retelling the story of Little Red Riding Hood. Although the storyline of a little girl who is harassed by the wolf while going to her grandma is retained, the creators have played with narrative conventions and changed it into a whodunit musical with the “Rashomon effect”. Many unexpected twists added to the story build up a completely new picture of the commonly...

article

Об особенностях стилистических ошибок в рерайтерских новостных интернет-сообщениях (на примере материалов агентств NEWSru.com и Lenta.ru)

ОЛЬГА Р. ЛАЩУК

Stylistyka > 2013 > 22 > 267-277

The author researches the field of production the news messages on the Internet by rewriting, the specifics of this field, conditioned both by the method of production of the information item and by the consumers’ requirements. The author investigates the stylistic mistakes in news stories produced by agencies that specialize in rewriting.

article

Об особенностях стилистических ошибок в рерайтерских новостных интернет-сообщениях (на примере материалов агентств NEWSru.com и Lenta.ru)

ОЛЬГА Р. ЛАЩУК

Stylistyka > 2013 > 22 > 267-277

article

On Bruno Schulz’s Demythologization of Reality

Wiktoria Durkalewicz

Roczniki Humanistyczne > 2019 > 67 > 1: Literatura polska - Selected Papers in English > 83-111

The Polish version of the article was published in Roczniki Humanistyczne vol. 62, issue 1 (2014). This article is an attempt at an analysis of the changes occurring in the area of Schulz’s narrative identity that is being constituted. It is assumed that the turning point for Schulz’s personal myth was first of all the success of The Street of Crocodiles and a number of events in his personal life...

article

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

Deepak Kapur

Journal of Systems Science and Complexity > 2019 > 32 > 1 > 317-355

A framework for generating congruence closure and conditional congruence closure of ground terms over uninterpreted as well as interpreted symbols satisfying various properties is proposed. It is based on some of the key concepts from Kapur’s congruence closure algorithm (RTA97) for ground equations based on introducing new symbols for all nonconstant subterms appearing in the equation set and using...

article

The Contemporary British-Jewish Family and the Significance of Its Confines in "The Innocents", Francesca Segal’s Retelling of Edith Wharton

Anita Chmielewska

Anglica Wratislaviensia > 2019 > 57 > 11-23

After France, Great Britain has the second largest Jewish population in Europe. It is worth taking a closer look at the constantly evolving literature created by this minority. The tendency observed in recent years has been the interest of British-Jewish novelists in the subject of Jewish families from different communities. Some struggle with ultra-Orthodoxy, others are secular, while still others,...

article

La española, de Cepeda, y Jorge Toledano, de Lope de Vega: moras y cautivos, ecos y reescrituras

Daniel Fernández Rodríguez

Neophilologus > 2019 > 103 > 2 > 207-221

The aim of this paper is to underline the numerous similarities between Jorge Toledano, a play written by Lope de Vega in his youth, and La española, composed by Cepeda, a playwright who is nowadays almost unknown, but was relatively famous in the Golden Age. In addition to pointing out their thematic correspondences, which show that the public at the end of the sixteenth century enjoyed Byzantine...

article

Sobre la reescritura dramática en el Siglo de Oro: El caso de El bastardo de Castilla

Rebeca Lázaro Niso

Roczniki Humanistyczne > 2018 > 66 > 5: Neofilologia > 59-73

En el Siglo de Oro el proceso de transmisión de la literatura brinda innumerables ejemplos del aprovechamiento que los escritores hacían tanto de temas, motivos o argumentos como de textos literales tomados o entresacados de plumas ajenas o de su propia obra. Este fenómeno de la reescritura dramática se ejemplifica en este trabajo a través del caso concreto del ingenio granadino Álvaro Cubillo de...

article

Rewritings in translation as clues of cultural mediation and ideological manipulation: a case study of Lin Shu’s translation of David Copperfield

Lin Zhu

Neohelicon > 2018 > 45 > 1 > 351-366

Lin Shu’s Chinese translations of foreign novels at the turn of the twentieth century, contributing partly to the emergence of modern Chinese language and literature, have been criticized for their unfaithfulness and rewriting of the source texts. However, from the perspective of intercultural communication, his rewriting strategies, presenting certain patterns, become valuable clues of cultural mediation...

article

Model checking the iKP electronic payment protocols

Kazuhiro Ogata

Journal of Information Security and Applications > 2017 > 36 > C > 101-111

Much progress of formal verification techniques has been made and therefore many formal verification case studies of systems, such as security protocols, have been conducted and reported. Two major formal verification techniques are model checking and interactive theorem proving. Almost all case studies, however, use either model checking or interactive theorem proving. Even though both techniques...

article

Intertextualität als Programm

Henrike Manuwald

Zeitschrift für Literaturwissenschaft und Linguistik > 2017 > 47 > 2 > 269-280

Die Tobias-Dichtung des Pfaffen Lambrecht hat wegen der charakteristischen Mischung argumentativer und narrativ wirkender Passagen in der Forschung Irritationen erregt: Dem Werk mangele es an einer lebendigen Erzählweise. Dieser Beitrag sieht die Spezifik des (fragmentarisch überlieferten) Werks in der Art des Bezugs auf den biblischen Prätext gegeben, bei der der explizite Bezug zum Referenztext...

article

Rewriting Higher-Order Stack Trees

Vincent Penelle

Theory of Computing Systems > 2017 > 61 > 2 > 536-580

Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for monadic second order logic (respectively first order logic with a reachability predicate) is decidable on such graphs. We unify both models by introducing the notion...

article

On abstract normalisation beyond neededness

Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos

Theoretical Computer Science > 2017 > 672 > C > 36-63

We study normalisation of multistep strategies, strategies that reduce a set of redexes at a time, focusing on the notion of necessary sets, those which contain at least one redex that cannot be avoided in order to reach a normal form. This is particularly appealing in the setting of non-sequential rewrite systems, in which terms that are not in normal form may not have any needed redex. We first...

article

Translation of Daodejing in English: its place and time

Qing Chang

International Communication of Chinese Culture > 2017 > 4 > 1 > 93-102

Daodejing, one of the Chinese Classics, has the second largest translated versions in the world, second to the Bibles. Since the 1st English version translated by John Chalmers in 1868, there are different retranslations in western countries, typically in the US and the UK. Daodejing gets its “rebirth” or “rewriting” in different places through different times. Different time and places constitute...

article

Haunting across the Class Divide: Sarah Waters’s Affinity and The Little Stranger

Barbara Klonowska

Avant. The Journal of the Philosophical-Interdisciplinary Vanguard > 2017 > 8 > 2

Haunting in literary fiction is often interpreted psychologically as a sign of suppressed psychic content or as nostalgia or mourning for the loss. Yet, it may also be used allegorically as a manifestation of hidden social conflicts, and hence mark a political agenda of thus constructed works. In the novels by Sarah Waters spectres, poltergeists and haunting appear not as a sign of or a contact with...

article

Réécrire Don Juan au XXe siècle : entre hybridité et intermédialité, nouveaux modes d’exploitation d’un mythe

Aurélia Gournay

Quêtes littéraires > 2016 > 6 > 118-127

The contemporary rewritings of Don Juan’s myth highlight several forms of hybridity and illustrate the stakes involved. The hybridation affects in the first place the sources of the myth since the authors appeal to numerous intertextual references. But the successive transpositions of the mythical scenario also lead to a generic hybridity. This intermediality has a reflexive dimension: it raises the...

chapter

Curry-Style Types for Nominal Terms

Maribel Fernández, Murdoch J. Gabbay

Lecture Notes in Computer Science > Types for Proofs and Programs > 125-139

We define a rank 1 polymorphic type system for nominal terms, where typing environments type atoms, variables and function symbols. The interaction between type assumptions for atoms and substitution for variables is subtle: substitution does not avoid capture and so can move an atom into multiple different typing contexts. We give typing rules such that principal types exist and are decidable for...

chapter

Solving Systems of 3D Geometric Constraints with Non-rigid Clusters

Hilderick A. Meiden, Willem F. Bronsvoort

Lecture Notes in Computer Science > Advances in Geometric Modeling and Processing > RegularPapers > 423-436

We present a new constructive solving algorithm for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large constraint systems, and incrementally handle changes to a system, but can so far solve only a limited class of problems. The new solving algorithm extends the class of problems that can be solved, while retaining the advantages...

Publication date

Last 3 years (8)

Close

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

From:

To:
Set your own date range

Content availability

Available (154)
None (21)

Publication type

article (132)
book (43)

Publication language

English (154)
French (7)
German (3)
Polish (3)
Russian (3)
Slovak (2)
Spanish (2)
Czech (1)

Keywords

REWRITING (175)
VERIFICATION (8)
NARROWING (7)
TERMINATION (7)
THEOREM PROVING (7)
CONFLUENCE (6)
OPERATIONAL SEMANTICS (5)
XML (5)
INDUCTION (4)
SECURITY (4)
STRATEGIC PROGRAMMING (4)
STRATEGIES (4)
TOPOLOGICAL COLLECTION (4)
VIEWS (4)
AUTOMATED THEOREM PROVING (3)
BINDING (3)
BRUNO SCHULZ (3)
CONTEXT (3)
DECLARATIVE PROGRAMMING (3)
DEDUCTION MODULO (3)
EQUATIONS (3)
FORMAL VERIFICATION (3)
INTERTEXTUALITY (3)
MULTIMEDIA MESSAGE (3)
OPTIMIZATION (3)
PROGRAM TRANSFORMATION (3)
RESOLUTION (3)
SECURITY POLICIES (3)
SEMANTICS (3)
STRATEGY (3)
STYLISTIC MISTAKES (3)
SVC (3)
TRANSCODING (3)
TRANSLATION (3)
TRAUMA (3)
UNIFICATION (3)
WEB-TEXT (3)
XPATH (3)
ALGEBRA (2)
ALGEBRAIC SPECIFICATIONS (2)
ALGORITHMS (2)
AUTHENTICATION PROTOCOLS (2)
AUTOMATA (2)
AUTOMATA THEORY (2)
AUTOMATED DEDUCTION (2)
AUTOMATIC VOLTAGE CONTROL (2)
BENCHMARK TESTING (2)
BOOLEAN MATCHING (2)
CAFEOBJ (2)
CELLULAR AUTOMATA (2)
COMBINATORIAL ALGEBRAIC TOPOLOGY (2)
COMPLETENESS (2)
COMPLETION (2)
COMPLEXITY (2)
COMPUTATIONAL COMPLEXITY (2)
COMPUTER ARCHITECTURE (2)
CONCURRENCY (2)
CONSTRAINT SOLVING (2)
CONTAINMENT (2)
CUT ENUMERATION (2)
DECODING (2)
DEMYTHOLOGIZATION (2)
DISTRIBUTED ACCESS CONTROL (2)
DISTRIBUTED DATA PROBLEM (2)
DUTCH LITERATURE (2)
DYNAMICAL SYSTEMS WITH A DYNAMICAL STRUCTURE (2)
ELECTRONIC MAIL (2)
ENCODING (2)
EQUATIONAL LOGIC (2)
GRÖBNER BASES (2)
H.264/AVC (2)
HASKELL (2)
HIGHER-ORDER REWRITING (2)
HOMOTOPY (2)
INFINITE GRAPHS (2)
INTERSEMIOTIC TRANSLATION (2)
LOGIC (2)
LOGIC GATES (2)
LOGIC PROGRAMMING (2)
MATCHING (2)
MAUDE (2)
NEGATIVE VALUE (2)
NORMAL FORMS (2)
OBSERVATIONAL TRANSITION SYSTEMS (2)
OPERAD (2)
ORDERING CONSTRAINTS (2)
PERSONAL MYTH (2)
POLYMORPHISM (2)
PRAGMATICS (2)
PROGRAM VERIFICATION (2)
PROGRAMMING LANGUAGES (2)
PROTOCOLS (2)
PRZEPISYWANIE (2)
REDUCTION (2)
REGRESSION (2)
RELIABILITY (2)
REWRITING SYSTEMS (2)
RÉÉCRITURE (2)
SEARCH (2)
SELF-NARRATION (2)
more

Data set

Elsevier (64)
Springer (62)
CEJSH (27)
ieee (19)
PSJD (2)
BazTech (1)

INFONA - science communication portal

Search results

Grenzüberschreitungen in intersemiotischer Translation: Dieter Jüdts Graphic novel Heimsuchung und andere Erzählungen von Bruno Schulz

Der Fußabdruck als Katalysator für Individuation und Beziehung: Patrick Chamoiseaus Roman nach Robinson Crusoe L’empreinte à Crusoé

Zabawa konwencjami w Hoodwinked!

Об особенностях стилистических ошибок в рерайтерских новостных интернет-сообщениях (на примере материалов агентств NEWSru.com и Lenta.ru)

Об особенностях стилистических ошибок в рерайтерских новостных интернет-сообщениях (на примере материалов агентств NEWSru.com и Lenta.ru)

On Bruno Schulz’s Demythologization of Reality

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

The Contemporary British-Jewish Family and the Significance of Its Confines in "The Innocents", Francesca Segal’s Retelling of Edith Wharton

La española, de Cepeda, y Jorge Toledano, de Lope de Vega: moras y cautivos, ecos y reescrituras

Sobre la reescritura dramática en el Siglo de Oro: El caso de El bastardo de Castilla

Rewritings in translation as clues of cultural mediation and ideological manipulation: a case study of Lin Shu’s translation of David Copperfield

Model checking the iKP electronic payment protocols

Intertextualität als Programm

Rewriting Higher-Order Stack Trees

On abstract normalisation beyond neededness

Translation of Daodejing in English: its place and time

Haunting across the Class Divide: Sarah Waters’s Affinity and The Little Stranger

Réécrire Don Juan au XXe siècle : entre hybridité et intermédialité, nouveaux modes d’exploitation d’un mythe

Curry-Style Types for Nominal Terms

Solving Systems of 3D Geometric Constraints with Non-rigid Clusters

Filter options

Publication date

Content availability

Publication type

Publication language

Keywords

Data set

INFONA - science communication portal

Search results

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Publication language

Keywords

Data set

Reporting an error / abuse

Sending the report failed

Accessibility options