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)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Biblioteki  UŚ  i  UE  w  Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteki  UŚ  i  UE  w  Katowicach
Nowości Rankingi Rezerwacja kabin Zaproponuj zakup Aplikacja mobilna

Wyszukujesz frazę "completeness" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-66 z 66
    Tytuł:
    Pointwise completeness and pointwise degeneracy of 2D standard and positive Fornasini-Marchesini models with state-feedbacks
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    pointwise completeness
    standard
    state-feedbacks
    Pokaż więcej
    Źródło:
    Control and Cybernetics; 2011, 40, 1; 39-58
    0324-8569
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    NP-completeness of weakly convex and convex dominating set decision problems
    Autorzy:
    Raczek, J.
    Data publikacji:
    2004
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    dominating set
    NP-completeness
    distance
    convex set
    Pokaż więcej
    Źródło:
    Opuscula Mathematica; 2004, 24, 2; 189-196
    1232-9274
    2300-6919
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems
    Autorzy:
    Kaczorek, T.
    Busłowicz, M.
    Data publikacji:
    2009
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    linear system
    fractional
    continuous-time
    positive
    pointwise completeness
    Pokaż więcej
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 8-11
    1897-8649
    2080-2145
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Analysis of the regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2014
    Wydawca:
    Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
    Tematy:
    regularity
    pointwise completeness
    pointwise generacy
    descriptor electrical circuits
    Pokaż więcej
    Źródło:
    Computer Applications in Electrical Engineering; 2014, 12; 1-20
    1508-4248
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2014
    Wydawca:
    Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
    Tematy:
    regularity
    pointwise completeness
    pointwise generacy
    descriptor electrical circuits
    Pokaż więcej
    Źródło:
    Poznan University of Technology Academic Journals. Electrical Engineering; 2014, 77; 9-28
    1897-0737
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of standard and positive linear systems with state-feedbacks
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2010
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    pointwise completeness
    pointwise degeneracy
    positive linear systems
    state-feedbacks
    Pokaż więcej
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 1; 3-7
    1897-8649
    2080-2145
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A Note on Polynomial Algorithm for Cost Coloring of Bipartite Graphs with Δ ≤ 4
    Autorzy:
    Giaro, Krzysztof
    Kubale, Marek
    Data publikacji:
    2020-08-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    bipartite graph
    chromatic sum
    cost coloring
    NP-completeness
    polynomial algorithm
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae Graph Theory; 2020, 40, 3; 885-891
    2083-5892
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Koncepcja androgyna w utworze Mój księżycowy przyjaciel (Мой лунный друг) Zinaidy Gippius
    The concept of androgyny in Zinaida Gippius’s My moon friend
    Autorzy:
    Okroj, Kinga
    Data publikacji:
    2016
    Wydawca:
    Fundacja Pro Scientia Publica
    Tematy:
    Błok, Gippius, modernizm, androgyne, pełnia, doskonałość
    Blok, Gippius, modernism, androgyny, completeness, perfection
    Pokaż więcej
    Źródło:
    Ogrody Nauk i Sztuk; 2016, 6; 451-457
    2084-1426
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
    Autorzy:
    Chompitaki, Dimitra
    Kamarianakis, Manos
    Pheidas, Thanases
    Data publikacji:
    2022
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    decidability
    model-completeness
    Frobenius map
    polynomial ring
    rational function
    Pokaż więcej
    Źródło:
    Reports on Mathematical Logic; 2022, 57; 53-60
    0137-2904
    2084-2589
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
    Autorzy:
    Giaro, Krzysztof
    Kubale, Marek
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    cost coloring
    dynamic programming
    list coloring
    NP-completeness
    polynomial-time algorithm
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae Graph Theory; 2009, 29, 2; 361-376
    2083-5892
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
    Autorzy:
    Witczak, Tomasz
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    intuitionistic modal logic
    neighbourhood semantics
    topological semantics
    Kripke frames
    soundness and completeness
    Pokaż więcej
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 3; 187-205
    0138-0680
    2449-836X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Isomorphisms of direct products of lattice-ordered groups
    Autorzy:
    Jakubík, Ján
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Lattice-ordered group
    direct product
    Specker lattice-ordered group
    orthogonal σ-completeness
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 43-52
    1509-9415
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of standard and positive Roesser models
    Punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    dodatni model Roessera
    pointwise completeness
    pointwise degeneracy
    positive Roesser model
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 163-165
    0032-4140
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Algorithms for testing security in graphs
    Algorytmy testujące bezpieczeństwo zbioru wierzchołków grafu
    Autorzy:
    Hiler, Arkadiusz
    Lewoń, Robert
    Małafiejski, Michał
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Kazimierza Wielkiego w Bydgoszczy
    Tematy:
    property tester
    pseudotester
    secure set
    security
    coNP-completeness
    testowanie własności
    zbiór bezpieczny
    bezpieczeństwo
    coNP-zupełność
    Pokaż więcej
    Źródło:
    Studia i Materiały Informatyki Stosowanej; 2014, 14; 18-26
    1689-6300
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On Incidence Coloring of Complete Multipartite and Semicubic Bipartite Graphs
    Autorzy:
    Janczewski, Robert
    Małafiejski, Michał
    Małafiejska, Anna
    Data publikacji:
    2018-02-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    incidence coloring
    complete multipartite graphs
    semicubic graphs
    subcubic graphs
    -completeness
    L (1,1)-labelling
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae Graph Theory; 2018, 38, 1; 107-119
    2083-5892
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Application of the Drazin inverse to the analysis of pointwise completeness and pointwise degeneracy of descriptor fractional linear continuous-time systems
    Autorzy:
    Kaczorek, Tadeusz
    Ruszewski, Andrzej
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    pointwise completeness
    pointwise degeneracy
    fractional system
    descriptor system
    zupełność punktowa
    degeneracja punktowa
    system ułamkowy
    system deskryptorowy
    Pokaż więcej
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 219-223
    1641-876X
    2083-8492
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Punktowa zupełność oraz punktowa degeneracja wybranej klasy układów dyskretnych singularnych niecałkowitego rzędu
    Pointwise completeness and pointwise degeneracy of selected class of singular linear discrete-time systems
    Autorzy:
    Kociszewski, R.
    Data publikacji:
    2016
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    rząd niecałkowity
    układ singularny
    pointwise completeness
    pointwise degeneracy
    fractional order
    singular system
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2016, 20, 4; 5-8
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On the Complexity of the 3-Kernel Problem in Some Classes of Digraphs
    Autorzy:
    Hell, Pavol
    Hernández-Cruz, César
    Data publikacji:
    2014-02-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    kernel
    3-kernel
    NP-completeness
    multipartite tournament
    cyclically 3-partite digraphs
    k-quasi-transitive digraph
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae Graph Theory; 2014, 34, 1; 167-185
    2083-5892
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On absolute retracts and absolute convex retracts in some classes of l-groups
    Autorzy:
    Jakubík, Ján
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    l-group
    absolute retract
    absolute convex retract
    archimedean l-group
    complete l-group
    orthogonal completeness
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 1; 19-30
    1509-9415
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Względna punktowa zupełność dodatnich układów ciągło-dyskretnych niecałkowitego rzędu
    Relative pointwise completeness of positive continuous-discrete time fractional order systems
    Autorzy:
    Trzasko, W.
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    dodatnie liniowe układy ciągło-dyskretne
    punktowa zupełność
    positive linear continuous-discrete time systems
    pointwise completeness
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 2; 528-537
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    OpenStreetMap – building data completeness visualization in terms of “Fitness for purpose”
    Autorzy:
    Borkowska, Sylwia
    Bielecka, Elzbieta
    Pokonieczny, Krzysztof
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    baza danych
    jakość danych
    lokalizacja budynku
    data completeness
    data quality
    bivariate choropleth map
    OSM
    VGI
    Pokaż więcej
    Źródło:
    Advances in Geodesy and Geoinformation; 2023, 72, 1; art. no. e35, 2023
    2720-7242
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Punktowa zupełność i degeneracja określonej klasy dynamicznych układów ciągło-dyskretnych
    Pointwise completeness and pointwise degeneracy of a specified class of continuous-discrete time dynamical systems
    Autorzy:
    Kociszewski, R.
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    dynamiczne układy ciągło-dyskretne
    pointwise completeness
    pointwise degeneracy
    continuous-discrete time dynamical systems
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 2; 538-545
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Jakość danych OpenStreetMap – analiza informacji o budynkach na terenie Siedlecczyzny
    OpenStreetMap building data quality: the Siedleckie county study
    Autorzy:
    Nowak-DaCosta, J.
    Bielecka, E.
    Całka, B.
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    jakość danych
    OSM
    VGI
    kompletność
    dokładność położenia
    OpenStreetMap
    building data
    Volunteered Geographic Information (VGI)
    completeness
    data quality
    Pokaż więcej
    Źródło:
    Roczniki Geomatyki; 2016, 14, 2(72); 201-211
    1731-5522
    2449-8963
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Functional Completeness in CPL via Correspondence Analysis
    Autorzy:
    Leszczyńska-Jasion, Dorota
    Petrukhin, Yaroslav
    Shangin, Vasilyi
    Jukiewicz, Marcin
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    correspondence analysis
    invertible rules
    classical propositional logic
    functional completeness
    sequent calculus
    automated deduction
    automated rules generation
    Pokaż więcej
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 1
    0138-0680
    2449-836X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of fractional standard and descriptor linear continuous-time systems with different fractional orders
    Autorzy:
    Kaczorek, Tadeusz
    Sajewski, Łukasz
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    descriptor system
    fractional system
    noncommensurate order
    pointwise completeness
    pointwise degeneracy
    system deskryptorowy
    system ułamkowy
    zupełność punktowa
    degeneracja punktowa
    Pokaż więcej
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 641-647
    1641-876X
    2083-8492
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of fractional descriptor continuous-time linear systems with regular pencils
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    pointwise completeness
    pointwise degeneracy
    descriptor
    fractional
    continuous-time
    linear
    system
    punktowa kompletność
    punktowa degeneracja
    deskryptor
    czas ciągły
    liniowość
    Pokaż więcej
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 1; 169--172
    0239-7528
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Equitable Colorings Of Corona Multiproducts Of Graphs
    Autorzy:
    Furmánczyk, Hanna
    Kubale, Marek
    Mkrtchyan, Vahan V.
    Data publikacji:
    2017-11-27
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    corona graph
    equitable chromatic number
    equitable coloring conjecture
    equitable graph coloring
    multiproduct of graphs
    NP-completeness
    polynomial algorithm
    Pokaż więcej
    Źródło:
    Discussiones Mathematicae Graph Theory; 2017, 37, 4; 1079-1094
    2083-5892
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A note on hardness of multiprocessor scheduling with scheduling solution space tree
    Autorzy:
    Dwibedy, Debasis
    Mohanty, Rakesh
    Data publikacji:
    2023
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    combinatorial structures
    computational complexity
    hardness
    makespan
    multiprocessor scheduling
    multiuser
    NP-completeness
    nondeterministic algorithms
    reduction
    scheduling solution space tree
    Pokaż więcej
    Źródło:
    Computer Science; 2023, 24 (1); 53--74
    1508-2806
    2300-7036
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Użyteczność danych o lasach udostępnianych w serwisie OpenStreetMap
    Usability of the OpenStreetMap forest data
    Autorzy:
    Bielecka, E.
    Leszczyńska, M.
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Leśne
    Tematy:
    lesnictwo
    lasy
    zrodla danych
    serwis OpenStreetMap
    kompletnosc danych
    wiarygodnosc
    forest
    osm
    spatial data quality
    completeness
    location accuracy
    Pokaż więcej
    Źródło:
    Sylwan; 2018, 162, 06; 460-468
    0039-7660
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Identity, equality, nameability and completeness. Part II
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    identity
    equality
    completeness
    nameability
    first-order modal logic
    hybrid logic
    hybrid type theory
    equational hybrid propositional type theory
    Pokaż więcej
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    „Chłop polski w Europie i Ameryce” a brak kwestii przywództwa etnicznego
    The Polish Peasant in Europe and America and the missing ethnic leaders
    Autorzy:
    Mucha, Janusz
    Data publikacji:
    2019
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    strumienie migracji, struktura klasowa, chłopi, przywództwo, społeczności migranckie, kompletność instytucjonalna
    migration flows, class structure, peasants, leadership, migrant communities, institutional completeness
    Pokaż więcej
    Źródło:
    Przegląd Socjologiczny; 2019, 68, 4
    0033-2356
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Algorytm sprawdzania kompletności danych w procesie ich wymiany między systemami informatycznymi przedsiębiorstw produkcyjnych z uwzględnieniem analizy składniowej
    Data completeness veriecation algorithm in the process of its exchange between production enterprise systems with syntax analysis included
    Autorzy:
    Pękala, J.
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    algorytm sprawdzania kompletności danych
    transformacja danych
    wymiana danych
    analiza składniowa
    data completeness verincation algorithm
    data transformation
    data exchange
    syntax analysis
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 153-158
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The Structure of a Person as the Basis for Determining the Common Good as Understood by Mieczysław A. Krąpiec
    Autorzy:
    Ragan, Gabriel
    Data publikacji:
    2019-06-30
    Wydawca:
    International Étienne Gilson Society
    Tematy:
    Mieczysław A. Krąpiec
    man
    person
    common good
    intellectual knowledge
    will
    good
    love
    religion
    personal dignity
    ontic completeness
    legal subjectivity
    Pokaż więcej
    Źródło:
    Studia Gilsoniana; 2019, 8, 2; 305-317
    2300-0066
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The smallest hard-to-color graphs for the classical, total and strong colorings of vertices
    Autorzy:
    Kubale, M.
    Manuszewski, K.
    Data publikacji:
    1999
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    optymalizacja
    teoria grafów
    złożoność obliczeniowa
    benchmark
    chromatic number
    chromatic sum
    graph oring
    hard-to-color graph
    NP-completeness
    strong coloring
    Pokaż więcej
    Źródło:
    Control and Cybernetics; 1999, 28, 2; 355-365
    0324-8569
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness and pointwise degeneracy of positive fractional descriptor continuous-time linear systems with regular pencils
    Autorzy:
    Kaczorek, T.
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    pointwise completeness
    pointwise degeneracy
    descriptor system
    fractional system
    positive system
    zupełność punktowa
    degeneracja punktowa
    układ deskrypcyjny
    układ ułamkowy
    system dodatni
    Pokaż więcej
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2015, 25, 2; 217-221
    1641-876X
    2083-8492
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
    Autorzy:
    Tourlakis, George
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Modal logic
    GL
    first-order logic
    proof theory
    cut elimination
    reflection property
    disjunction property
    quantified modal logic
    QGL
    arithmetical completeness
    Pokaż więcej
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 1
    0138-0680
    2449-836X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Unifiability and structural completeness in relation algebras and in products of modal logic S5
    Autorzy:
    Wojciech Dzik
    Beniamin Wróbel
    Data publikacji:
    2015
    Słowa kluczowe:
    admissible rules, passive rules, unification, projective unification, almost structural completeness, n-modal logic S5n, relation algebras, representable diagonal-free cylindric algebras
    Pokaż więcej
    Dostawca treści:
    Repozytorium Uniwersytetu Śląskiego w Katowicach
    Artykuł
    Szczegóły
    Tytuł:
    Punktowa zupełność i punktowa degeneracja układów dyskretnych niecałkowitego rzędu
    Pointwise completeness and pointwise degeneracy of fractional discrete-time systems
    Autorzy:
    Trzasko, W.
    Data publikacji:
    2012
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    niecałkowity niewspółmierny rząd
    układ dyskretny
    standardowy
    dodatni
    pointwise completeness
    pointwise degeneracy
    non-commensurate fractional-order
    standard
    positive
    discrete-time system
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2012, 16, 2; 332-337
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Tentative division of Latin adverbs of degree
    Próba podziału łacińskich przysłówków stopnia
    Autorzy:
    Górska, Małgorzata
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    stopniowanie
    przysłówki stopnia
    wykładniki gradacji
    intensywność
    kompletność
    dostateczność i nadmiar
    comparison
    adverbs of degree
    indices of gradation
    intensity
    completeness
    sufficiency and excess
    Pokaż więcej
    Źródło:
    Roczniki Humanistyczne; 2015, 63, 3; 177-198
    0035-7707
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Distribution Laws in Weak Positional Logics
    PRAWA DYSTRYBUCYJNE W SŁABYCH LOGIKACH POZYCYJNYCH
    Autorzy:
    TKACZYK, Marcin
    Data publikacji:
    2018-09-28
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    positional logic
    weak positional logic
    distribution
    distributive law
    realization connective
    completeness
    logika pozycyjna
    słaba logika pozycyjna
    dystrybucja
    prawo dystrybucyjne
    spójnik realizacji
    pełność
    Pokaż więcej
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 3; 163-179
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Towards the boundary between easy and hard control problems in multicast Clos networks
    Autorzy:
    Obszarski, P.
    Jastrzębski, A.
    Kubale, M.
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Clos-network
    2-cast call
    hypergraph edge coloring
    rearrageable network
    nonblocking network
    NP-completeness
    3-uniform hypergraph
    sieci
    połączenie sieciowe
    problem sieciowy
    Pokaż więcej
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 3; 739-744
    0239-7528
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Optimal estimator of hypothesis probability for data mining problems with small samples
    Autorzy:
    Piegat, A
    Landowski, M.
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    estymacja prawdopodobieństwa
    interpretacja częstotliwości prawdopodobieństwa
    interpretacja kompletności prawdopodobieństwa
    teoria niepewności
    single case problem
    probability estimation
    frequency interpretation of probability
    completeness interpretation of probability
    uncertainty theory
    Pokaż więcej
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2012, 22, 3; 629-645
    1641-876X
    2083-8492
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
    Autorzy:
    Dzik, Wojciech
    Wróbel, Beniamin
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    admissible rules
    passive rules
    unification
    projective unification
    almost structural completeness
    n-modal logic S5n
    relation algebras
    representable diagonal-free cylindric algebras
    Pokaż więcej
    Źródło:
    Bulletin of the Section of Logic; 2015, 44, 1-2
    0138-0680
    2449-836X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Zupełność systemu prawa. Analogia legis jako metoda uzupełniania luk w prawie
    Completeness of the legal system. The legis analogy as a method of filling gaps in the law
    Autorzy:
    Przewoźnik, Sylwia
    Data publikacji:
    2022
    Wydawca:
    Krakowska Akademia im. Andrzeja Frycza Modrzewskiego
    Tematy:
    analogy legis
    legal inference
    gaps in law
    completeness of law
    legal system
    analogia legis
    wnioskowania prawnicze
    luka w prawie
    zupełność prawa
    system prawa
    Pokaż więcej
    Źródło:
    Studia Prawnicze: rozprawy i materiały; 2022, (30), 1; 71-85
    1689-8052
    2451-0807
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Kazus ograniczenia ustawą zupełności k.p.c. i k.c. w sprawach rozgraniczenia nieruchomości
    Limitation Case as a Completeness Act of the Code of Civil Procedure and Civil Code in the Cases of Demarcation of the Real Property
    Autorzy:
    Konarski, Marcin
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Absolwentów i Przyjaciół Wydziału Prawa Katolickiego Uniwersytetu Lubelskiego
    Tematy:
    prawo cywilne
    prawo administracyjne
    zupełność kodeksowa systemu norm
    rozgraniczenie nieruchomości
    civil law
    administrative law
    code-based completeness of the standard system
    the demarcation of property
    Pokaż więcej
    Źródło:
    Teka Komisji Prawniczej PAN Oddział w Lublinie; 2013, 6; 77-89
    1899-7694
    2719-7379
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    General Principles of Law: The Gentle Guardians of Systemic Integration of International Law
    Autorzy:
    Kwiecień, Roman
    Data publikacji:
    2018-09-01
    Wydawca:
    Polska Akademia Nauk. Instytut Nauk Prawnych PAN
    Tematy:
    coherence of the legal order
    completeness of the legal order
    general principles of law
    international legal reasoning
    sources of international law
    systemic integration of international law
    Pokaż więcej
    Źródło:
    Polish Yearbook of International Law; 2017, 37; 235-242
    0554-498X
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Методика вивчення ціннісно-мотиваційних чинників політичної активності
    Method of Studying of Value-motivational Factors of Political Activity
    Autorzy:
    Савиченко, Ольга
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Naukowe w Żytomierzu
    Tematy:
    motivation of political activity
    political values
    power motivation
    achievement
    motivation
    motivation of affiliation
    completeness of motivational structure
    internal and external
    balance of motivational structure
    social
    processual and subjective levels of value regulation
    Pokaż więcej
    Źródło:
    Studia Politologica Ucraino-Polona; 2016, 6; 323-331
    2312-8933
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
    Autorzy:
    Wesserling, Janusz
    Data publikacji:
    2019-12-30
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    logika doksastyczna
    silne przekonanie
    silna logika trójwartościowa Kleene'a
    łączniki wewnętrzne
    łączniki zewnętrzne
    twierdzenie o zupełności
    doxastic logic
    strong belief
    Kleene’s strong three-valued logic
    internal connectives
    external connectives
    completeness theorem
    Pokaż więcej
    Źródło:
    Studia Philosophiae Christianae; 2019, 55, 4; 89-113
    0585-5470
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Pointwise completeness, pointwise degeneracy and stability of standard and positive linear systems after discretization
    Punktowa zupełność, punktowa degeneracja i stabilność standardowych i dodatnich układów liniowych po dyskretyzacji
    Autorzy:
    Kaczorek, T.
    Borawski, K.
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    discretization
    forward rectangular rule
    pointwise completeness
    pointwise degeneracy
    stability
    standard and positive continuous-time linear system
    standard and positive discrete-time linear system
    dyskretyzacja
    aproksymacja prostokątna w przód
    punktowa zupełność
    punktowa degeneracja
    stabilność
    standardowy i dodatni liniowy układ ciągły
    standardowy i dodatni liniowy układ dyskretny
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 405-409
    0032-4140
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-66 z 66

      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

      Prześlij opinię

      Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

      Formularz