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

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 59
Tytuł:
A note on hardness of multiprocessor scheduling with scheduling solution space tree
Autorzy:
Dwibedy, Debasis
Mohanty, Rakesh
Powiązania:
https://bibliotekanauki.pl/articles/27312879.pdf
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
Opis:
We study the hardness of the non-preemptive scheduling problem of a list of independent jobs on a set of identical parallel processors with a makespan minimization objective. We make a maiden attempt to explore the combinatorial structure of the problem by introducing a scheduling solution space tree (SSST) as a novel data structure. We formally define and characterize the properties of SSST through our analytical results. We show that the multiprocessor scheduling problem is N P-complete with an alternative technique using SSST and weighted scheduling solution space tree (WSSST) data structures. We propose a non-deterministic polynomial-time algorithm called magic scheduling (MS) based on the reduction framework. We also define a new variant of multiprocessor scheduling by including the user as an additional input parameter, which we called the multiuser multiprocessor scheduling problem (MUMPSP). We also show that MUMPSP is N P-complete. We conclude the article by exploring several non-trivial research challenges for future research investigations.
Źródło:
Computer Science; 2023, 24 (1); 53--74
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/2158863.pdf
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
Opis:
Głównym analizowanym problemem badawczym podjętym w niniejszym artykule jest podejście do zagadnienia stosowania prawa na zasadzie analogii, a konkretnie – wnioskowania per analogiam o obowiązywaniu danej normy prawnej z przepisu prawnego (analogia legis), tudzież z prawa w ogóle (analogia iuris), co stanowi nie tyle odrębną metodę stosowania prawa, co metodę jego interpretacji. Mówić tu należy o wykładni sensu largo – wnioskowaniu prawniczym opartym na stosunku podobieństwa, zmierzającym do sformułowania w oparciu o aksjologię systemu prawnego przesłanki większej sylogizmu prawniczego na potrzeby danej sprawy.
The main research problem analyzed in this article is the approach to the issue of applying the law by analogy, and specifically – inference per analogy about the validity of a given legal norm from a legal provision (analogy legis), or from law in general (analogy iuris). At the same time, it is not so much a separate method of applying the law as a method of its interpretation. We should talk here about the interpretation of the largo sense – a legal inference based on a relationship of similarity, aimed at formulating on the basis of the axiology of the legal system the premise of a greater legal syllogism for the needs of a given case.
Źródło:
Studia Prawnicze: rozprawy i materiały; 2022, (30), 1; 71-85
1689-8052
2451-0807
Pojawia się w:
Studia Prawnicze: rozprawy i materiały
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Arithmetically Complete Predicate Modal Logic
Autorzy:
Hao, Yunge
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/2033850.pdf
Data publikacji:
2021-08-23
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs
Opis:
This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on Polynomial Algorithm for Cost Coloring of Bipartite Graphs with Δ ≤ 4
Autorzy:
Giaro, Krzysztof
Kubale, Marek
Powiązania:
https://bibliotekanauki.pl/articles/31526308.pdf
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
Opis:
In the note we consider vertex coloring of a graph in which each color has an associated cost which is incurred each time the color is assigned to a vertex. The cost of coloring is the sum of costs incurred at each vertex. We show that the minimum cost coloring problem for n-vertex bipartite graph of degree Δ ≤ 4 can be solved in O(n2) time. This extends Jansen’s result [K. Jansen, The optimum cost chromatic partition problem, in: Proc. CIAC’97, Lecture Notes in Comput. Sci. 1203 (1997) 25–36] for paths and cycles to subgraphs of biquartic graphs.
Źródło:
Discussiones Mathematicae Graph Theory; 2020, 40, 3; 885-891
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/330993.pdf
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
Opis:
The Drazin inverse of matrices is applied to the analysis of pointwise completeness and pointwise degeneracy of fractional descriptor linear continuous-time systems. It is shown that (i) descriptor linear continuous-time systems are pointwise complete if and only if the initial and final states belong to the same subspace, and (ii) fractional descriptor linear continuous-time systems are not pointwise degenerated in any nonzero direction for all nonzero initial conditions. The discussion is illustrated with examples of descriptor linear electrical circuits.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 219-223
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
Autorzy:
Aranda, Víctor
Powiązania:
https://bibliotekanauki.pl/articles/750024.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Husserl
completeness
categoricity
relative and absolute definiteness
imaginary numbers
Opis:
Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of fractional standard and descriptor linear continuous-time systems with different fractional orders
Autorzy:
Kaczorek, Tadeusz
Sajewski, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/1838160.pdf
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
Opis:
Descriptor and standard linear continuous-time systems with different fractional orders are investigated. Descriptor systems are analyzed making use of the Drazin matrix inverse. Necessary and sufficient conditions for the pointwise completeness and pointwise degeneracy of descriptor continuous-time linear systems with different fractional orders are derived. It is shown that (i) the descriptor linear continuous-time system with different fractional orders is pointwise complete if and only if the initial and final states belong to the same subspace, (ii) the descriptor linear continuous-time system with different fractional orders is not pointwise degenerated in any nonzero direction for all nonzero initial conditions. Results are reported for the case of two different fractional orders and can be extended to any number of orders.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 641-647
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/413397.pdf
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
Opis:
Thomas and Znaniecki became interested in the international migration issues nearly at the same time, at the beginning of the 20th century. Since they met, they concentrated, for about a decade, on the emigration from Polish lands to Western Europe and the US of a particular social class – the peasants. Znaniecki’s interests in ethnic (including national) matters continued after World War I. Thomas moved into other important sociological and psychological territories which strengthened his theoretical prominence. Only to a limited extent, he continued his theoretical concerns with the “immigrant types.” He published his findings under other names. Therefore, this article concentrates on Znaniecki’s contribution. It seems to be absurd to ask why Thomas and Znaniecki did not research other Polish internationally mobile groups than peasants. However, there seem to be good reasons to ask why the processes of organization of the collectivity of Polish immigrants to America were not theorized deeper in the masterpiece of sociology. In the opinion of the author, if Znaniecki had been more sociologically interested in some topics (like leadership) which later became prominent in his own work, he would look at the social organization more efficiently.
Thomas i Znaniecki zainteresowali się badawczo problematyką migracji międzynarodowych mniej więcej w tym samym czasie, to znaczy na początku XX wieku. Od rozpoczęcia współpracy, skupiali się, przez całą dekadę, na emigracji z ziem polskich do Europy Zachodniej, a później do USA, jednej klasy społecznej – chłopów. Zainteresowania Znanieckiego kwestiami etnicznymi (w tym narodowymi) trwały również i po I wojnie światowej. Thomas skoncentrował się natomiast na innych, ogromnie ważnych z punktu widzenia socjologii i psychologii społecznej zagadnieniach, co przyczyniło się do wzmocnienia jego prestiżu jako teoretyka społecznego, i tylko w ograniczonym zakresie kontynuował swe wcześniejsze teoretyczne zainteresowania „typami imigrantów”. Publikował pod innymi nazwiskami. Stąd niniejszy artykuł skupia się na dorobku Znanieckiego. Wydaje się absurdem pytanie o to, dlaczego Thomas i Znaniecki nie badali czegoś innego niż to, co interesowało ich przede wszystkim – czemu nie studiowali losów innych niż chłopi polskich grup klasowych, aktywnie uczestniczących w migracjach międzynarodowych. Jednakże istnieją dobre powody aby spytać o to, dlaczego sposób zorganizowania zbiorowości polskich imigrantów do Ameryki nie został głębiej przebadany pod względem teoretycznym w klasycznym Dziele. W opinii autora niniejszego artykułu, gdyby Znaniecki był bardziej socjologicznie zainteresowany niektórymi tematami (jak na przykład przywództwo), które później stały się dla niego bardzo ważne, trafniej przebadałby procesy społecznej organizacji zbiorowości migracyjnych.
Źródło:
Przegląd Socjologiczny; 2019, 68, 4
0033-2356
Pojawia się w:
Przegląd Socjologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
Autorzy:
Wesserling, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/1068978.pdf
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
Opis:
W tym artykule zaproponuję konstrukcję trójwartościowej logiki przekonań, którą nazywam: LSB3_1 (skrót od: logika trójwartościowa dla typu silnej wiary). Podam również i udowodnię kompletność LSB3_1 w odniesieniu do danej semantyki. LSB3_1 opiera się na preformalnych założeniach i intuicjach, które przedstawiono w sekcji 1. Sekcja 2 zawiera składnię i podział instrukcji LSB3_1 na wewnętrzne i zewnętrzne. Rozdział 3 przedstawia semantykę LSB3_1, a także szereg tautologii i formuł nietautologicznych w LSB3_1 wraz z ich intuicyjną interpretacją. System aksjomatyczny dla LSB3_1 i jego porównanie z silną logiką Kleene'a są przedstawione w sekcji 4. Twierdzenie o kompletności dla LSB3_1 jest przedstawione w rozdziale 5. Zdefiniuję termin koniunkcyjna forma normalna i przedstawię lematy, które prowadzą do udowodnienia redukcji języka LSB3_1 wzory przed udowodnieniem twierdzenia o zupełności.
In this paper, I shall propose the construction of a three-valued logic of beliefs, which I call: LSB3_1 (short for: Three-valued Logic for a type of Strong Belief). I shall also state and prove the completeness of LSB3_1 with respect to a given semantics. LSB3_1 is based on preformal assumptions and intuitions, which are stated in section 1. Section 2 includes the syntax and division of LSB3_1 statements into internal and external. Section 3 presents the semantics of LSB3_1, as well as a number of tautologies and non-tautological formulae in LSB3_1 with their intuitive interpretation. The axiomatic system for LSB3_1 and its comparison to Kleene’s strong logic are provided in section 4. The completeness theorem for LSB3_1 is presented in section 5. I shall define the term conjunctive normal form and provide lemmas which lead to proving the reduction of the LSB3_1 language formulae before proving the completeness theorem.
Źródło:
Studia Philosophiae Christianae; 2019, 55, 4; 89-113
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Carathéodory completeness on the plane
Autorzy:
Edigarian, Armen
Powiązania:
https://bibliotekanauki.pl/articles/2188102.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
Carathéodory distance
completeness
Melnikov's theorem
peak function
Opis:
M. A. Selby [8-10] and, independently, N. Sibony [11] proved that on the complex plane c-completeness is equivalent to c-finitely compactness. Their proofs are quite similar and are based on [4]. We give more refined equivalent conditions and, along the way, simplify the proofs.
Źródło:
Universitatis Iagellonicae Acta Mathematica; 2019, 56; 15-21
2084-3828
0083-4386
Pojawia się w:
Universitatis Iagellonicae Acta Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Functional Completeness in CPL via Correspondence Analysis
Autorzy:
Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/749866.pdf
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
Opis:
Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set (sets) of rules characterizing a two-argument Boolean function(s) to the negation fragment of classical propositional logic. The properties of soundness and completeness of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The pointwise completeness and the pointwise degeneracy of fractional descriptor discrete-time linear systems
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/200344.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fractional
descriptor
pointwise completeness
pointwise degeneracy
Opis:
The Drazin inverse of matrices is applied to analysis of the pointwise completeness and of the pointwise degeneracy of the fractional descriptor linear discrete-time systems. Necessary and sufficient conditions for the pointwise completeness and the pointwise degeneracy of the fractional descriptor linear discrete-time systems are established. It is shown that every fractional descriptor linear discrete-time systems is not pointwise complete and it is pointwise degenerated in one step (for i= 1).
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2019, 67, 6; 989-993
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/507340.pdf
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
Opis:
The author makes an attempt to analyze the anthropological views of Mieczysław A. Krąpiec in order to show the reasons why some elements of the structure of man as a person—resulting from the human mode of access to truth, goodness, beauty and religion—are essentially significant for determining the common good that lies at the foundation of all forms of human social life. He analyzes such parts of the human person’s structure as intellectual knowledge, will for the good, love, religion, personal dignity, ontic completeness and legal subjectivity.
Źródło:
Studia Gilsoniana; 2019, 8, 2; 305-317
2300-0066
Pojawia się w:
Studia Gilsoniana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
Autorzy:
Witczak, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/749992.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness
Opis:
We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 187-205
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Post-style proof of completeness theorem for symmetric relatedness Logic S
Autorzy:
Klonowski, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/749984.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
normal forms
Post-style proof of completeness
relatedness logic
relating logic
Opis:
One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 59

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