Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 4

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
EN
Rap Genius, website dedicated to the annotation of hip-hop lyrics, is interesting phenomenon for a few reasons. First of all, it's only one made with such panache, multimedial encyclopedia devoted to interpretation; secondly, this initiative, occurrence of network creativity, is evidence for need of „collaborative close reading” in internet. Thirdly, website founded in 2009 gives a chance to new, attractive and effective model of education.
Pamiętnik Literacki
|
2014
|
vol. 105
|
issue 2
175-184
EN
The review of the book "Juliusz Słowacki – interpretacje i reinterpretacje" ("Juliusz Słowacki – Interpretations and Reinterpretatios") consists of 14 interpretive sketches in which attention is brought to the lyrical aspect of the poet’s creativity. Presented from different perspectives, Słowacki’s poems become a pretext for a thought about the methodology of reading the pieces, are seen as a source of inspiration for Jarosław Iwaszkiewicz and Zbigniew Herbert, and first and foremost are regarded to be constantly interesting in spite of the passing years with a view to their forms and themes.
PL
Recenzja książki "Juliusz Słowacki – interpretacje i reinterpretacje" stanowi omówienie składających się na nią 14 szkiców interpretacyjnych, w których uwaga zostaje skoncentrowana głównie na lirycznym aspekcie twórczości autora Godziny myśli. Ukazywane z różnorodnych perspektyw wiersze Słowackiego stają się pretekstem do namysłu na temat metodologii związanej z lekturą dzieła wieszcza, są przedstawiane jako źródło inspiracji dla Jarosława Iwaszkiewicza i Zbigniewa Herberta, a przed wszystkim prezentowane jako niezmiennie, pomimo upływu lat, interesujące – pod względem formalnym i tematycznym.
Pamiętnik Literacki
|
2013
|
vol. 104
|
issue 1
5–44
EN
The article pays attention to one of the most important sources of Lesmian’s poetic imagination, namely Adam Mickiewicz’s The Great Improvisation. From the time of composing his earliest pieces, such as Sonet II (Sonnet II) to the great poems closing the collection Napoj cienisty (Shadowy Drink), Lesmian derived from it images, metaphors and paraphrased Mickiewicz’s “winged words,” making Konrad’s grand monologue one of the most important context of his literary creativity. Each of the four chapters with quotes from The Great Improvisation used as titles concentrates on a different aspects of Lesmian’s creative reading of the most famous scene from Forefathers’ Eve Part III. In the first chapter „Piesni ma, tys jest gwiazda za granica swiata!” (“My song, you are a star beyond the confines of the world”) the author points at the relationships between Lesmian’s poetry and the romantic conception of internal song. In the second one “Lecz jestem człowiek, i tam, na ziemi me cialo” (“But I am a man and there on Earth is my flesh”) he shows how insightful as regards the point of view of Konrad – an immature character and childish in his desire to speak with the Creator – is Lesmian’s reading of The Great Improvisation. The two final chapters “Smialo, smialo! te iskre rozniecmy, rozpalmy” (“Go ahead and strike the spark”) and “Jeslim nie zgadl, odpowiedz” (“If I am wrong, respond”), the most thorough ones, are devoted to an interpretation of the poem W locie (Flying) and the poem Eliasz (Elias) in both of which, yet again, in Lesmian’s creativity a hugely important role is played by the rule of “self-creation” and “self-destruction.”
EN
The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.