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ę "And Next" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    FUNKTORY ASERCJI I KONIUNKCJI SEKWENCYJNEJ
    UNCTORS OF ASSERTION AND SEQUENTIAL CONJUNCTION
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488385.pdf
    Data publikacji:
    2012
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    asercja sekwencyjna
    koniunkcja sekwencyjna
    systemy And Next i And Then von Wrighta
    sequential assertion
    sequential conjunction
    von Wright’s And Next and And Then systems
    Opis:
    An axiomatic characterisation of the functor of sequential assertion is propsed here. By means of it the functor of sequential conjunction is defined. In the temporal interpretation these functors are respectively read as: next/then and and-next/and-then. It is proved that the proposed system (SAS) and its strenghtening (SAS*) comprise respectively von Wright’s And Next and And Then systems. The consistency and independence of axioms of the richer of the two proposed structures (SAS*) is settled by interpretation in the quadrivalent propositional calculus.
    Źródło:
    Roczniki Filozoficzne; 2012, 60, 2; 109-124
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O rodzajach logik temporalnych
    Autorzy:
    Kozanecka, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2013346.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    czas gramatyczny
    logika temporalna
    logika czasów gramatycznych
    logika czasu
    And Next – „i następnie”
    And Then – „i wtedy”
    Tense
    Temporal Logic
    Tense Logic
    Logic of Time
    Chronological Logic
    And Next
    And Then
    Opis:
    The article is devoted to the problems of different kinds of logics defined as “temporal” (Temporal Logic). At present the term “temporal logic” is used to denote several mutually independent logical systems containing different specific temporal operators and being used in many different branches of knowledge. The aim of the article is to organize this issue. Parts I, II and III of the article discuss temporal logics that may be used in natural sciences (mainly physics and cosmology): tense logic, also called logic of temporal clauses, logic of time (containing time variable) and von Wright’s systems of temporal logic. In Part IV, the last part of the article, temporal systems are presented that make use of the concept of time in computer programs. Non-standard approaches have been omitted.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 189-199
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
    On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic
    Autorzy:
    Kozanecka, Anna
    Leszczyńska, Magdalena
    Powiązania:
    https://bibliotekanauki.pl/articles/2013337.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    czas
    własności czasowe
    relacje czasowe
    logika temporalna
    And Next
    And Then
    wyrażalność
    adekwatność
    zastosowanie
    time
    temporal properties
    temporal relations
    temporal logic
    expression
    adequacy
    application
    Opis:
    The paper discusses the problems of the expression of some temporal relations and properties of time in the language of the systems of G.H. von Wright’s temporal logic. It seeks to answer the question whether the systems of von Wright’s temporal logic are adequate to express by means of axioms (and theorems) some temporal relations and properties of physical time. What follows, whether they be applied in the natural sciences, mainly in physics. The first part of the paper gives a definition of physical time and briefly discusses its most important properties and temporal relations. The second part of the paper shows a syntactic characterisation of the And Next and And Then systems constructed by von Wright. The third part, the last part of the paper, seeks to answer the above question about the expression of some temporal relations and properties of time in the language of the systems of von Wright’s temporal logic, and how they can be applied in the natural sciences, mainly in physics.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 2; 43-65
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rola parlamentów krajowych w planach naprawy i odporności oraz projekty planów budżetowych w ramach działań naprawczych z powodu COVID-19
    Answers to the questionnaire on the role of national parliaments in the recovery and resilience plans and the draft budgetary plans in the framework of the COVID-19 recovery measures
    Autorzy:
    Szpringer, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/2195395.pdf
    Data publikacji:
    2021
    Wydawca:
    Kancelaria Sejmu. Biuro Analiz Sejmowych
    Tematy:
    coronavirus
    Recovery and Resilience Facility
    Next Generation EU
    Opis:
    The author replies to the questionnaire devoted to the involvement of the Sejm in a recovery plan for Europe after the crisis caused by the COVID-19 pandemic, including the preparation of the National Recovery and Resilience Plan (RRP), which should constitute an annex to the National Reform Program. The author points to the issues of consulting EU documents on these plans, both at the parliamentary and governmental levels. In the latter case, she also presents the work schedule on the RRP and information on the activities of working groups at the Ministry of Funds and Regional Policy on the submitted projects.
    Źródło:
    Zeszyty Prawnicze BAS; 2021, 1(69); 147-155
    1896-9852
    2082-064X
    Pojawia się w:
    Zeszyty Prawnicze BAS
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reliable and High QoS Wireless Communications over Harsh Environments
    Autorzy:
    Bilbao, J.
    Calvo, A.
    Armendariz, I.
    Crespo, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/307844.pdf
    Data publikacji:
    2013
    Wydawca:
    Instytut Łączności - Państwowy Instytut Badawczy
    Tematy:
    cooperative wireless networks
    multicasting management techniques
    next generation networks
    opportunistic wireless
    quality and performance evaluation
    QoS
    reliability and performance modelling
    reliability of networks
    wireless and mobile networks
    Opis:
    One of the most challenging research fields in which research community has taken a very active role is focused on trying to bring the features of wireless networks into line with the traditional wired solutions. Given the noisy and lossy nature of the wireless medium, it is more difficult to provide a comparable Quality of Service (QoS) and Reliability over wireless networks. This lack of reliability avoids the use of wireless solution in scenarios under harsh environment and mission-critical applications. In this paper we propose an inter-node collaborative schema with the aim of improving the achievable QoS level for multicast streaming, through the use of Network Coding and the algebra it is based on. We also present an implementation of the described algorithm on the OPNET discrete event simulation tool. Experimental results highlighting the performance achieved by the proposed algorithm and its improved efficiency as compared to other solutions are described.
    Źródło:
    Journal of Telecommunications and Information Technology; 2013, 1; 32-40
    1509-4553
    1899-8852
    Pojawia się w:
    Journal of Telecommunications and Information Technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Security aspects of strategic co-operation of Ukraine and EU with regard to network and information systems
    Aspekty bezpieczeństwa strategicznej współpracy Ukrainy i UE w odniesieniu do sieciowych i informatycznych systemów
    Autorzy:
    Olijnyk, Danyila
    Ilyash, Olha
    Konizhai, Yurii
    Powiązania:
    https://bibliotekanauki.pl/articles/1811793.pdf
    Data publikacji:
    2019-11-20
    Wydawca:
    Wyższa Szkoła Gospodarki w Bydgoszczy. Wydawnictwo Uczelniane
    Tematy:
    security of network and information systems
    global information infrastructure
    electronic communications
    Internet of Things
    next generation networks
    broadband
    5G
    bezpieczeństwo sieci i systemów informatycznych
    globalna infrastruktura informacyjna
    komunikacja elektroniczna
    internet rzeczy
    sieci nowej generacji
    internet szerokopasmowy
    Opis:
    On the basis of an analysis of the EU regulatory framework on network and information systems security, the authors share the opinion that the geopolitical and economic factors of development, Ukraine may apply for inclusion in the global information infrastructure intended to connect all telecommunication and computer networks in globally, and is emerging to address complex issues such as security, privacy, hardware and software compatibility, identity management, digital rights management, and more. It is a European vector of integration of Ukraine for the creation of next-generation digital networks. However, it requires not only the proclamation of these directions as a priority but also the political will of the authorities and the establishment of a mechanism of interaction between public authorities and civil society institutions with the involvement of Ukraine’s strategic partners. The development of balanced interaction with the global digital infrastructure, strategic programming of digital preservation development and data processing, including energy and telecommunications infrastructure, creation and implementation of macro models inclusive development of Ukraine as a guarantee of information security.
    Na podstawie analizy ram regulacyjnych UE dotyczących bezpieczeństwa sieci i systemów informatycznych autorzy podzielają opinię, że geopolityczne i ekonomiczne czynniki rozwoju Ukrainy mogą ubiegać się o włączenie do globalnej infrastruktury informacyjnej, mającej na celu połączenie wszystkich telekomunikacyjnych i komputerowych sieci w skali globalnej i coraz częściej pojawia się ten postulat w celu rozwiązania takich problemów, jak bezpieczeństwo, prywatność, zgodność sprzętu i oprogramowania, zarządzanie prawami cyfrowymi. Europejski wektor integracji Ukrainy został wybrany w celu tworzenia sieci cyfrowych nowej generacji. Wymaga to jednak nie tylko ogłoszenia tych priorytetowych kierunków, ale także woli politycznej władz i wyboru mechanizmu interakcji między władzami publicznymi a instytucjami społeczeństwa obywatelskiego przy zaangażowaniu strategicznych partnerów Ukrainy. Rozwój zrównoważonej interakcji z globalną infrastrukturą cyfrową, strategiczne programowanie rozwoju ochrony zasobów cyfrowych i przetwarzania danych, w tym infrastruktury energetycznej i telekomunikacyjnej, tworzenie i wdrażanie makropoleceń – stanowią gwarancję bezpieczeństwa informacyjnego Ukrainy.
    Źródło:
    Zeszyty Naukowe Wyższej Szkoły Gospodarki w Bydgoszczy. Seria Ekonomia; 2019, 10, 34; 89-106
    1733-8891
    Pojawia się w:
    Zeszyty Naukowe Wyższej Szkoły Gospodarki w Bydgoszczy. Seria Ekonomia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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