Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "tableaux" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Accents of Chopin anniversaries in territories annexed by Prussia
    Autorzy:
    Piotrowska, Magdalena
    Powiązania:
    https://bibliotekanauki.pl/articles/780149.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    Fryderyk Chopin
    anniversary
    Wielkopolska
    concerts
    tableaux vivants
    tableaux illuminés
    mass audience
    Opis:
    This article discusses the way in which the Chopin Year of 1910 was celebrated in Wielkopolska. It presents a script prepared in the nineteenth century and shows similarities with celebrations of Mickiewicz and other Polish heroes and artists. Invariably used in such commemorations was a “symbolic capital” that made it easier to create an intergenerational code, thereby disseminating knowledge of national culture and history. A significant role was played in 1910 by a centenary panel, which produced “Guidelines for popular Chopin celebrations” and also many occasional, popular materials. Chopin’s induction into the national pantheon involved the use of audio material (vocal and instrumental concerts), verbal material (articles, poems, lectures and brochures) and also a visual code (anniversary window stickers, tableaux vivants or tableaux illuminés). Illuminated pictures - recommended by a catalogue of slides produced in Poznań - stimulated the imagination of the masses and served as a guide through the composer’s life and work, and their impact was enhanced by a commentary. Most of the living pictures were probably inspired by Henryk Siemiradzki’s canvas Chopin grający na fortepianie w salonie księcia Radziwiłła [Chopin playing the piano in Prince Radziwill’s salon] and Józef Męcina Krzesz’s painting Ostatnie akordy Chopina [Chopin’s last chords]. This combination of codes made it possible to create a model adapted to the times and to the expectations of a mass audience. The Chopin anniversary, in which admiration was inseparably intertwined with manipulation, was a pretext for strengthening the national identity.
    Źródło:
    Interdisciplinary Studies in Musicology; 2010, 9; 165-176
    1734-2406
    Pojawia się w:
    Interdisciplinary Studies in Musicology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
    Autorzy:
    Ciuciura, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/750004.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    deontic logic
    K1
    Kalinowski’s logic
    paradoxes
    tableaux
    Opis:
    In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Quidam wobec poetyki żywych obrazów. Przyczynek do genologii poematu
    Quidam and the poetics of the tableau vivants. A contribution to the genology of the poem
    Autorzy:
    Chlebowski, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/16729480.pdf
    Data publikacji:
    2020-05-05
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Quidam
    Cyprian Norwid
    obraz
    narracja
    fabuła
    zdarzenie
    żywe obrazy
    tableaux vivants
    picture
    narrative
    event
    Opis:
    The article points to a genological clue that has not yet been noticed in studies of Quidam. The clue – situating the pictorial art of description on the side of tableaux vivants – leads genological findings in a direction that is different from the one that has been followed up till now: it allows one to see the structure of the work in a different perspective, first of all connected with the idea of a synthesis of arts, with a strong visual and theatrical emphasis. The author, pointing to a connection between Quidam and the poetics of tableaux vivants, not only wants to broaden the genological spectrum by adding new, unknown areas, but also tries to understand its enigmatic plot structure, within which there are two contradictory factors: power and atrophy, synthesis and analysis, fragmentation of the plot and concentration on one event, reduction and excess.
    Źródło:
    Studia Norwidiana; 2013, 31; 117-135
    0860-0562
    Pojawia się w:
    Studia Norwidiana
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Les modes transgressifs de l’espace au profit de l’espace-temps dans La Route des Flandres (1960) de Claude Simon
    Transforming space into space-time in "La Route des Flandres" (1960) by Claude Simon
    Autorzy:
    Camara, Moussa
    Powiązania:
    https://bibliotekanauki.pl/articles/2056922.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    space
    space-time
    memories
    paintings
    transgression, Claude Simon
    espace
    espace-temps
    souvenirs
    tableaux
    transgression
    Opis:
    La subversion des techniques narratives traditionnelles est une des principales facettes du Nouveau Roman. Claude Simon, un des romanciers phares de ce mouvement, inscrit ses créations littéraires dans cette mouvance. La Route des Flandres (1960) est à cet égard un terreau fertile de transgression de l’esthétique spatiale classique. Dans ce roman, l’espace est subverti par la manière dont il embrouille le lecteur qui semble, à l’image des personnages, prisonnier d’une route labyrinthique où règnent la terreur et la mort. Perdus dans l’opacité cosmique, les personnages sont désorientés et cherchent désespérément des repères. C’est cela qui explique en partie l’importance de l’espace-temps qui apparaît comme une alternative permettant aux protagonistes du roman de s’affranchir des limites concrètes du champ de bataille en ruines, pour se retrouver dans le rêve, la procuration, le souvenir et les réminiscences. Ainsi, par les portraits, les lettres, les journaux et les tableaux picturaux, les personnages voyagent ici et maintenant, par la pensée générée à partir de ces objets, dans l’espace-temps.
    The subversion of traditional narrative techniques is one of the main facets of the New Roman. Claude Simon, one of the leading novelists of this literary movement, inscribes his creations in this movement. La Route des Flandres (1960) is in this respect a fertile ground for the transgression of classical spatial aesthetics. In this novel, space is subverted by the way it confuses the reader who seems, like the characters, to be trapped in a labyrinthine road where terror and death reign. Lost in cosmic opacity, the characters are disoriented and desperately search for landmarks. This partly explains the importance of space-time, which appears to be an alternative for the protagonists of the novel to free themselves from the concrete limits of the ruined battlefield, to find themselves in the dream, the power of attorney, the remembrance and reminiscences. Thus, through portraits, letters, newspapers and pictorial paintings, the characters travel here and now, through the thought generated from these objects, in space-time.
    Źródło:
    Lublin Studies in Modern Languages and Literature; 2020, 44, 4; 27-34
    0137-4699
    Pojawia się w:
    Lublin Studies in Modern Languages and Literature
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From workflow design patterns to logical specifications
    Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/282120.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    formal verification
    temporal logic
    deduction
    semantic tableaux
    design patterns
    generating logical specification
    weryfikacja formalna
    logika temporalna
    dedukcja
    tablice semantyczne
    wzorce projektowe
    generowanie specyfikacji logicznej
    Opis:
    This work concerns issues related to automatic generation of logical specifications. Logical specifications can be extracted directly from developed software models. Received specification can be used in the process of a system formal verification using a deductive approach. The generated logical specification is just a set of temporal logie fonnulas as well as verified system properties are expressed in temporal logie. The extraction process is based on the idea of organizing the whole analyzed model as a set of certain design patterns of control flows. A method of automatic transformation of workflow design patterns to temporal logie formulas is proposed. These formulas constitute a logical specification and may be the first step towards a formal verification of system correctness using any method of the deduction-based reasoning. Applying the presented concepts enables bridging the gap between naturalness and intuitive of the deductive inference and the difficulty of its practical application in the case of software models.
    Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
    Źródło:
    Automatyka / Automatics; 2013, 17, 1; 59-63
    1429-3447
    2353-0952
    Pojawia się w:
    Automatyka / Automatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Graficzne przedstawienie przemocy w Quarante tableaux Jeana Perrissina i Jacques’a Tortorela
    The Graphic Representation of Violence in Quarante Tableaux by Jean Perrissin and Jacques Tortorel
    Autorzy:
    Szmytka, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/571070.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Jagielloński. Biblioteka Jagiellońska
    Tematy:
    religious wars in France
    violence
    graphic history
    sixteenth century
    historical anthropology
    Jan Ponętowski
    Qurante tableaux
    wojny religijne we Francji
    przemoc
    historia graficzna
    XVI wiek
    antropologia historyczna
    Opis:
    The German-language copy of the album which is today known under the short title Quarante tableaux found its way to the Jagiellonian Library thanks to Jan Ponętowski, who in 1592 made a donation of books to Cracow’s Alma Mater. Among numerous valuable bibliophilic works, Ponętowski’s collection includes a set of engravings – prepared and published by Jean Perrissin and Jacques Tortorel in Lyon in 1570 – illustrating the events of the first religious wars fought in France during the years 1559-1570. The aim of this article is to interpret selected graphics from this collection in terms of the artistic visualization of violence. The analysis covers the composition of an act of violence, the complementarity between the text of the legend and its illustrations, the relations between the victims and the perpetrators, the sacralisation or desacralisation of the place of execution as well as the differences in the manner of illustrating the violence of the Huguenots towards the Catholics and vice versa.
    Niemieckojęzyczny egzemplarz albumu znanego dziś pod skróconym tytułem Quarante tableaux znalazł się w zbiorach Biblioteki Jagiellońskiej za sprawą daru Jana Ponętowskiego, który w 1592 roku przekazał swą kolekcję krakowskiej Alma Mater. Wśród cennych bibliofilskich dzieł znalazł się także zbiór rycin przygotowany i wydany w Lyonie w 1570 roku przez Jeana Perrissina i Jacques’a Tortorela. Przedstawia on wydarzenia z czasów pierwszych wojen religijnych toczonych we Francji w latach 1559–1570. Celem niniejszej pracy jest interpretacja wybranych grafik z tego zbioru pod względem zastosowanych przez artystów metod wizualizacji przemocy. Analizie poddana została kompozycja aktu przemocy, komplementarność tekstu legendy względem strony graficznej, relacje między ofiarami i oprawcami, sakralizacja bądź desakralizacja miejsca kaźni i różnice w ukazaniu przemocy hugenotów względem katolików i vice versa.
    Źródło:
    Biuletyn Biblioteki Jagiellońskiej; 2017, 67; 129-151
    0006-3940
    2450-0410
    Pojawia się w:
    Biuletyn Biblioteki Jagiellońskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A system for deduction-based formal verification of workflow-oriented software models
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/330429.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    formal verification
    deductive reasoning
    temporal logic
    semantic tableaux
    workflow pattern
    logical primitive
    generating logical specification
    business model
    BPMN
    formalna weryfikacja
    wnioskowanie dedukcyjne
    logika temporalna
    tablica semantyczna
    wzorzec przepływu pracy
    generowanie specyfikacji logicznej
    model biznesowy
    Opis:
    The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Knowability as De Re Modality: A Certain Solution to Fitch Paradox
    Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha
    Autorzy:
    Jarmużek, Tomasz
    Krawczyk, Krzysztof
    Palczewski, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/1791006.pdf
    Data publikacji:
    2021-01-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    antyrealizm
    modalność de dicto
    modalność de re
    logika epistemiczna
    paradoks Fitcha
    logika poznawalności
    zasada poznawalności
    logika modalna
    metody tablicowe
    anti-realism
    de dicto modality
    de re modality
    epistemic logic
    Fitch Paradox
    knowability logic
    knowability principle
    modal logic
    tableaux methods
    Opis:
    In the paper, we try to find a new, intuitive solution to the Fitch paradox. We claim that traditional expression of Knowability Principle (p → ◊Kp) is based on erroneous understanding of knowability as de dicto modality. Instead, we propose to understand knowability as de re modality. In the paper we present the minimal logic of knowability in which Knowability Principle is valid, but Fitch Paradox does not hold anymore. We characterize the logic semantically as well as by an axiomatic and tableaux procedure approach.
    W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności (p → ◊Kp) opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.
    Źródło:
    Roczniki Filozoficzne; 2020, 68, 4; 291-313
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies