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ę "extension methods" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Integration of queries to heterogeneous data sources using linq technology
    Autorzy:
    Rusek, M.
    Maguza, J.
    Karwowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/95017.pdf
    Data publikacji:
    2018
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
    Tematy:
    query languages
    LINQ
    extension methods
    .NET
    Opis:
    Nowadays, the data are available in a variety of formats such as relational database tables, xml files, rdf files or simply text files. Database systems have their own query languages and tools for the manipulation of data. On the other hand, most of today's applications are created in languages based on the object-oriented paradigm. From the level of the programming language it is important to use different sources of data in a uniform manner. The paper discusses the elements of the various query languages such as SQL XQuery or SPARQL. And then shows the capabilities of LINQ and its role in the creation of abstract data access layer. Then the possibilities of LINQ extension are discussed. As the example, design and implementation of LINQ provider for Allegro is presented.
    Źródło:
    Information Systems in Management; 2018, 7, 3; 180-189
    2084-5537
    2544-1728
    Pojawia się w:
    Information Systems in Management
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Przedłużanie ludzkiego życia. O możliwości biologicznej nieśmiertelności
    Human life extension. The possibility of biological immortality
    Autorzy:
    Ferdynus, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/516395.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Szczeciński. Wydział Teologiczny
    Tematy:
    biomedycyna
    biologiczna nieśmiertelność
    metody przedłużania życia
    biomedicine
    biological immortality
    methods of life extension
    Opis:
    Przedłużanie ludzkiego życia jest jednym z najbardziej ekscytujących ale zarazem problematycznych obszarów rozwijającej się nauki. Osiągnięcia genetyki wraz z możliwościami inżynierii genetycznej pozwalają współcześnie tak dalece ingerować w naturę ludzką jak nigdy dotąd. W celu wyjaśnienia tego zagadnienia autor artykułu omawia następujące współczesne metody przedłużania życia: czynniki behawioralne, klonowanie i wykorzystanie komórek macierzystych, transplantacje, krionikę, nanomedycynę, inżynierię genetyczną i Aubreya de Grey'a strategie inżynieryjnego ograniczenia starzenia.
    Human life extension is one of the most exciting and problematic areas of developing science. The achievements of genetics, together with the potentialities of genetic engineering, nowadays allow a significant interference with the biological nature of the human species as never before. To elucidate this issue, the author discusses the following contemporary methods of life extension: behavioral factors, cloning and stem cells, transplantations, cryonics, nanomedicine, genetic engineering and Aubrey de Grey's strategies for engineered negligible senescence.
    Źródło:
    Studia Paradyskie; 2013, 23; 59-72
    0860-8539
    Pojawia się w:
    Studia Paradyskie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Some Language Extension of Logic MR: A Semantic and Tableau Approach
    O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
    Autorzy:
    Jarmużek, Tomasz
    Parol, Aleksander
    Powiązania:
    https://bibliotekanauki.pl/articles/1791008.pdf
    Data publikacji:
    2021-01-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    rozszerzenie minimalnej logiki pozycyjnej
    MR
    logika pozycyjna
    operator realizacji
    metody tableau
    extension of minimal positional logic
    positional logic
    realization operator
    tableau methods
    Opis:
    In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built with predicates and positional constants. We also accept expressions built with the realization operator and many positions, like: Ra1,K,an(A). Thanks to this, we increased the expressivity of minimal positional logic. In the article we point to many examples of the fact that, thanks to this small change, complex theories based on the proposed extension can be created. As a theory of proof for our logic, we assume tableau methods, showing soundness and completeness theorems. At the end, however, we show that the logic studied here is only a language extension of the MR: all theorems of the extension have their equivalents in pure MR theorems. However, theories built upon the proposed extension can express much more than theories built upon pure MR.
    W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Ra1,K,an(A) Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.
    Źródło:
    Roczniki Filozoficzne; 2020, 68, 4; 345-366
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The potential of discourse theory for landscape research
    Potencjał teorii dyskursu w badaniach krajobrazu
    Autorzy:
    Weber, F.
    Powiązania:
    https://bibliotekanauki.pl/articles/88188.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Geograficzne
    Tematy:
    landscape research
    discourse analysis
    methods
    power grid extension
    Germany
    pastures in Austria
    badanie krajobrazu
    analiza dyskursu
    metody
    rozbudowa sieci energetycznej
    Niemcy
    pastwiska w Austrii
    Opis:
    ‘Landscape’ is a concept charged with a colorful spectrum of associations and impressions. Certain aspects are, in fact, so firmly established in everyday life that they are scarcely questioned. Socioconstructivist landscape research has in recent years been concerned with the analysis of landscape as a social construct, but little attention has yet been paid to the impact of discourse theory, especially for the analysis of power structures. Against this background the article investigates areas of contact between the discourse theory of Ernesto Laclau and Chantal Mouffe and socio-constructivist landscape research, presenting central strands and modes of application of the theory, and exemplifying, in two case studies, how discourse theory can be used to analyze the genesis and reification of ‘social reality’.
    Krajobraz jest pojęciem pełnym barwnych skojarzeń i wrażeń. Niektóre aspekty są w rzeczywistości tak mocno zakorzeniona w codziennym życiu, że nie są one prawie kwestionowane. Badania społeczno-konstruktywistyczne krajobrazu zajmują się w ostatnich latach analizą krajobrazu jako konstruktu społecznego, jednak mało uwagi poświęcono dotychczas wpływowi teorii dyskursu, zwłaszcza na analizę struktur władzy. W tym kontekście artykuł bada powierzchnie styku w dyskursie teorii Ernesto Laclau i Chantal Mouffe oraz społeczno-konstruktywistyczne badania krajobrazu, prezentując centralne wątki i sposoby stosowania teorii przedstawione, w dwóch case studies, jak dyskurs teorii może być wykorzystany do analizy genezy i reifikacji "rzeczywistości społecznej".
    Źródło:
    Prace Komisji Krajobrazu Kulturowego; 2016, 31; 85-102
    1896-1460
    2391-5293
    Pojawia się w:
    Prace Komisji Krajobrazu Kulturowego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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