Skocz do pozycji: 1.

Tytuł:

On the completeness of decomposable properties of graphs

Autorzy:

Hałuszczak, Mariusz
Vateha, Pavol

Data publikacji:

1999

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

decomposition
hereditary property
completeness

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 2.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:

The pragmatics of casual dialogue

Autorzy:

Warchala, Jacek

Data publikacji:

2015

Wydawca:

Wydawnictwo Uniwersytetu Śląskiego

Tematy:

casual dialogue
coherence
completeness
extralinguistic factors

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

The pointwise completeness and the pointwise degeneracy of fractional descriptor discrete-time linear systems

Autorzy:

Kaczorek, T.

Data publikacji:

2019

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

fractional
descriptor
pointwise completeness
pointwise degeneracy

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:

Carathéodory completeness on the plane

Autorzy:

Edigarian, Armen

Data publikacji:

2019

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

Carathéodory distance
completeness
Melnikov's theorem
peak function

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 6.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 7.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:

Balanced problems on graphs with categorization of edges

Autorzy:

Berežný, Štefan
Lacko, Vladimír

Data publikacji:

2003

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

algorithms on graphs
categorization of edges
NP-completeness

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

On some properties of Musielak-Orlicz sequence spaces

Autorzy:

Shragin, Isaac V.

Data publikacji:

2008

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

normal pregenfunction
Musielak-Orlicz sequence space
completeness
separability

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 10.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 11.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:

Iterated neighborhood graphs

Autorzy:

Sonntag, Martin
Teichert, Hanns-Martin

Data publikacji:

2012

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

neighborhood graph
2-step graph
neighborhood completeness number

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 13.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

Pointwise completeness and pointwise degeneracy of standard and positive hybrid linear systems described by the general model

Autorzy:

Kaczorek, T.

Data publikacji:

2010

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

pointwise completeness
degeneracy
standard
positive
general model
hybrid systems

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:

Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl

Autorzy:

Aranda, Víctor

Data publikacji:

2020

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Husserl
completeness
categoricity
relative and absolute definiteness
imaginary numbers

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:

Problems remaining NP-complete for sparse or dense graphs

Autorzy:

Schiermeyer, Ingo

Data publikacji:

1995

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

Computational Complexity
NP-Completeness
Hamiltonian Circuit
Hamiltonian Path
Independent Set

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 17.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 18.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:

An Arithmetically Complete Predicate Modal Logic

Autorzy:

Hao, Yunge
Tourlakis, George

Data publikacji:

2021-08-23

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:

A Post-style proof of completeness theorem for symmetric relatedness Logic S

Autorzy:

Klonowski, Mateusz

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

normal forms
Post-style proof of completeness
relatedness logic
relating logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 21.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 22.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 23.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Identity, Equality, Nameability and Completeness

Autorzy:

Manzano, María
Moreno, Manuel Crescencio

Data publikacji:

2017

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

first-order logic
type theory
identity
equality
indiscernibility
comprehension
completeness
translations
nameability

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 25.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 26.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:

Pure Infinitely Self-Modifying Code is Realizable and Turing-complete

Autorzy:

Morse, G.

Data publikacji:

2018

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

x86
x86-64
assembly language
self-modifying code
turing completeness
code obfuscation

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 28.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 29.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 30.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 31.

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ść

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 32.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 33.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 34.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 35.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 36.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 37.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 38.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 39.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 40.

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ść

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 41.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 42.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 43.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 44.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 45.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 46.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 47.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 48.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 49.

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły

Skocz do pozycji: 50.

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ść

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Szczegóły