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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 56
Tytuł:
ILP modeling of many-to-many replicated multimedia communication
Autorzy:
Walkowiak, K.
Bulira, D.
Careglio, D.
Powiązania:
https://bibliotekanauki.pl/articles/308697.pdf
Data publikacji:
2013
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
ILP modeling
many-to-many communication
network optimization
replica location
Opis:
On-line communication services were evolving from a simple text-based chats towards sophisticated videopresence appliances. The bandwidth consumption of those services is constantly growing due to the technology development and high user and business needs. That fact leads us to implement optimization mechanisms into the multimedia communication scenarios. In this paper, the authors concentrate on many-to-many (m2m) communication, that is mainly driven by the growing popularity of on-line conferences and telepresence applications. An overlay model where m2m flows are optimally established on top of a given set of network routes is formulated and a joint model where the network routes and the m2m flows are jointly optimized. In the models, the traffic traverses through replica servers, that are responsible for stream aggregation and compression. Models for both predefined replica locations and optimized server settlement are presented. Each model is being followed by a comprehensive description and is based on real teleconference systems.
Źródło:
Journal of Telecommunications and Information Technology; 2013, 3; 56-65
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Many-Body Localization for Randomly Interacting Bosons
Autorzy:
Sierant, P.
Delande, D.
Zakrzewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/1033315.pdf
Data publikacji:
2017-12
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
many-body localization
Bose-Hubbard model
disorder in many-body physics
mobility edge
Opis:
We study many-body localization in a one dimensional optical lattice filled with bosons. The interaction between bosons is assumed to be random, which can be realized for atoms close to a microchip exposed to a spatially fluctuating magnetic field. Close to a Feshbach resonance, such controlled fluctuations can be transfered to the interaction strength. We show that the system reveals an inverted mobility edge, with mobile particles at the lower edge of the spectrum. A statistical analysis of level spacings allows us to characterize the transition between localized and excited states. The existence of the mobility edge is confirmed in large systems, by time dependent numerical simulations using tDMRG. A simple analytical model predicts the long time behavior of the system.
Źródło:
Acta Physica Polonica A; 2017, 132, 6; 1707-1712
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The lattice of varieties of fibered automata
Autorzy:
Mućka, Anna
Powiązania:
https://bibliotekanauki.pl/articles/728906.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
fibered automata
many-sorted algebras
varieties of many-sorted algebras
lattice of varieties
Opis:
The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 87-107
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stability and Generalized Competitive Equilibria in a Many-to-Many Gale-Shapley Market Model
Stabilność i uogólnione równowagi konkurencyjne w modelu rynku Gale’a-Shapleya typu „many-to-many”
Autorzy:
Świtalski, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/1050555.pdf
Data publikacji:
2016-09-30
Wydawca:
Główny Urząd Statystyczny
Tematy:
stable matching
Gale-Shapley theory
many-to-many model
competitive equilibrium
discrete market model
contract theory
kojarzenie stabilne
teoria Gale-a-Shapleya
model „many-to-many”
równowaga konkurencyjna
dyskretny model rynku
teoria kontraktów
Opis:
We define, for some variant of a many-to-many market model of Gale-Shapley type, a concept of generalized competitive equilibrium and show that, under suitable conditions, stable matchings in such a model can be represented as competitive equilibria allocations (and vice versa). Our results are far-reaching generalizations of the “discrete supply and demand lemma” of Azevedo, Leshno (2011) for the college admissions market. Using the results of Alkan, Gale (2003), we also prove a theorem on existence of generalized equilibria in our model.
W artykule zdefiniowano, dla pewnego wariantu modelu rynku Gale’a-Shapleya (typu „many-to-many”), pojęcie uogólnionej równowagi konkurencyjnej i pokazano, że przy odpowiednich założeniach, skojarzenia stabilne w tym modelu mogą być reprezentowane jako alokacje równowag konkurencyjnych (i vice versa). Przedstawione wyniki są daleko idącymi uogólnieniami „lematu o podaży i popycie” z pracy Azevedo, Leshno (2011) dotyczącego modelu rekrutacji kandydatów do szkół. Wykorzystując wyniki Alkana, Gale’a (2003), udowodniono również twierdzenie o istnieniu uogólnionych równowag dla podanego modelu.
Źródło:
Przegląd Statystyczny; 2016, 63, 3; 237-254
0033-2372
Pojawia się w:
Przegląd Statystyczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Collectivity and Periodic Orbits in a Chain of Interacting, Kicked Spins
Autorzy:
Akila, M.
Waltner, D.
Gutkin, B.
Braun, P.
Guhr, T.
Powiązania:
https://bibliotekanauki.pl/articles/1030009.pdf
Data publikacji:
2017-12
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
quantum chaos
many-body systems
semiclassics
Opis:
The field of quantum chaos originated in the study of spectral statistics for interacting many-body systems, but this heritage was almost forgotten when single-particle systems moved into the focus. In recent years new interest emerged in many-body aspects of quantum chaos. We study a chain of interacting, kicked spins and carry out a semiclassical analysis that is capable of identifying all kinds of genuine many-body periodic orbits. We show that the collective many-body periodic orbits can fully dominate the spectra in certain cases.
Źródło:
Acta Physica Polonica A; 2017, 132, 6; 1661-1665
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stability and Price Equilibria in a Many-to-Many Gale-Shapley Market Model
Stabilność i równowagi cenowe w modelu rynku Gale’a-Shapleya typu „many-to-many”
Autorzy:
Świtalski, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/1373896.pdf
Data publikacji:
2017
Wydawca:
Główny Urząd Statystyczny
Tematy:
skojarzenie stabilne
teoria Gale’a-Shapleya
model „many-to-many”
równowaga cenowa
funkcje wyboru
dyskretny model rynku
Opis:
W artykule zbadano zależności między uogólnionymi równowagami konkurencyjnymi zdefiniowanymi w pracy Świtalskiego (2016), a równowagami cenowymi dla pewnego wariantu modelu rynku Gale’a-Shapleya (typu „many-to-many”), a także między równowagami cenowymi a skojarzeniami stabilnymi dla tego modelu. Uzyskane wyniki wykorzystano do udowodnienia twierdzeń o istnieniu równowag cenowych w modelu GS typu many-to-many oraz w pewnym modelu typu many-to-many uogólniającym model zawarty w pracy Chen i inni (2014).
Źródło:
Przegląd Statystyczny; 2017, 64, 3; 229-248
0033-2372
Pojawia się w:
Przegląd Statystyczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of electronelectron correlations on positron-electron momentum density distributions
Autorzy:
Boroński, E.
Powiązania:
https://bibliotekanauki.pl/articles/146328.pdf
Data publikacji:
2010
Wydawca:
Instytut Chemii i Techniki Jądrowej
Tematy:
positron annihilation
electronic structure
many-body physics
Opis:
The calculations of the influence of the self-energy effects on the electron-positron (e-p) enhancement factors and the e-p momentum distributions are presented. The approach bases on the novel formulation of the Bethe- -Goldstone (B-G) equation for the positron in an electron gas where the scattering of the electrons into the states below the Fermi surface due to the self-energy effects is allowed. This equation has been solved and the corresponding e-p enhancement factors and momentum distributions have been found. The agreement between the absolute values of the theoretical calculations and experimental data has improved noticeably.
Źródło:
Nukleonika; 2010, 55, 1; 3-8
0029-5922
1508-5791
Pojawia się w:
Nukleonika
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design and Development of a UDP-Based Connection-Oriented Multi-Stream One-to-Many Communication Protocol
Autorzy:
Stanciu, V.
Andreica, M. I.
Olaru, V.
Tăpuş, N.
Powiązania:
https://bibliotekanauki.pl/articles/308499.pdf
Data publikacji:
2012
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
communication protocol
connection oriented
multiple streams
one-to-many
Opis:
A communication protocol is a set of rules defined formally that describes the format of digital messages and the rules for exchanging those messages in or between computing systems. The Internet Protocol Suite used for communications throughout the Internet uses encapsulation to provide a way of abstracting protocols and services. This abstraction is grouped into layers of general functionality. For protocols on the transmission layer, many choices exist. But while popular protocols such as TCP, UDP and SCTP do provide connection oriented communication offering reliability, ordering and data integrity, solutions that offer such connections from one point to multiple endpoints are still limited. TCP only supports point-to-point communication and SCTP offers multi-homing functionality, but the transmission is still limited to two logical endpoints. In this paper we use the simple, stateless, transmission model of UDP in order to provide TCP-like services for one-to-many communication that is not limited to just multi-homing or other particular solutions. The protocol supports reliable communication from one endpoint to multiple endpoints in different transmission modes. In order to make it easier for developers to customize the protocol to their needs and possibly extend/modify it in order to create new variants from it, the protocol is developed in user space. Because of this design restriction performance wasn't the main objective of our work, but rather the ease of customization and experimentation with new protocol variants. The protocol was implemented in the C++ programming language using classes with virtual members. New variants of components, such as packet retransmission, can easily be implemented without changing the whole code base.
Źródło:
Journal of Telecommunications and Information Technology; 2012, 1; 3-15
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
In Pursuit of True Wisdom: How the Re-Emergence of Classical Wonder Should Replace Descartes’s Neo-Averrostic Sophistry
Autorzy:
Nehez, Jason
Powiązania:
https://bibliotekanauki.pl/articles/507568.pdf
Data publikacji:
2020-06
Wydawca:
International Étienne Gilson Society
Tematy:
Averroes
Aquinas
Descartes
wisdom
science
skepticism
wonder
metaphysics
one
many
Opis:
Modern mathematical physics often claims to make philosophy obsolete. This presentation aims to show that the modern concept of wisdom fundamentally diverges with the thinking of Descartes, that, strictly speaking, at least in his metaphysical first principles, if not in his chief aim, he may be a sophist and no philosopher at all. Descartes denies the classical understanding of philosophy and thereby reduces the human person to an intellect separate from the body. Descartes initiated a popular understanding of sophistry that reverberates to today in our modern institutions of philosophy and science. But St. Thomas Aquinas anticipated this divergence and gave a defense of true wisdom in his writing against Averroes. This presentation concludes with what constitutes real philosophy and science as presented by St. Thomas Aquinas, namely sense wonder that creates a search for the true knowledge of the unity responsible for true causes of true effects. For a true restoration of philosophy and science we will need a reemergence and recovery of this understanding of wisdom.
Źródło:
Studia Gilsoniana; 2020, 9, 2; 287-315
2300-0066
Pojawia się w:
Studia Gilsoniana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
GPU-based parallel algorithm of interaction induced light scatering simulation in fluids
Autorzy:
Dawid, Aleksander
Powiązania:
https://bibliotekanauki.pl/articles/1954464.pdf
Data publikacji:
2019
Wydawca:
Politechnika Gdańska
Tematy:
GPGPU
CUDA
interaction induced phenomena
many body correlation function
parallel algorithm
Opis:
We parallelized the sequential algorithm of the four-body correlation function if eachcombination of two pairs(i, j)and(k, l) was averaged over the time in a separate calculation thread. The generator of pairs used as the input for this algorithm was also parallelized and connected with the 4-body correlation function calculations. We used our algorithm to accelerate extremely intensive calculations of the 4-body polarizability anisotropy correlation functions,which were very important to estimate the interaction induced light scattering spectrum. The resulting C code was used to test our algorithm on Graphics Processing Units (GPUs) with the Compute Unified Device Architecture (CUDA) technology from NVIDIA®Corporation. Asa result, we achieved 12 times the acceleration of the 4-body correlation function calculations in comparison to the Central Processing Unit (CPU) core. The peak performance of the GPU calculations was registered at the level of 19 times faster than the CPU core. We also found thatacceleration depended on the memory consumption. In the single precision mode, the relative error between the CPU and GPU calculations was found to be within 0.1%
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2019, 23, 1; 5-17
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:
The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some Details of Statistical Mechanics of Many-Body Systems in the Presence of a Measurable Minimal Length
Autorzy:
Alizadeh, A.
Nozari, K.
Powiązania:
https://bibliotekanauki.pl/articles/1032577.pdf
Data publikacji:
2017-10
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
quantum gravity phenomenology
statistical physics
many-body systems
minimal measurable length
Opis:
Different approaches to quantum gravity proposal such as string theory, doubly special relativity, and also black holes physics, all commonly address the existence of a minimal measurable length of the order of the Planck length. One way to apply the minimal length is changing the Heisenberg algebra in the phase space which is known as the generalized uncertainty principle. It is essential to apply this feature on the statistical mechanics of many body systems in the presence of a measurable minimal length scale in order to see the roles of this natural cutoff on physical phenomena. In this paper, some details of statistical mechanics of many body systems that have not been studied carefully in literature are studied in the presence of minimal length scale. The issues such as isomerization, the Liouville theorem, virial theorem and equipartition theorem are studied in this setup with details and the results are explained thoroughly.
Źródło:
Acta Physica Polonica A; 2017, 132, 4; 1329-1332
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Polyadic algebras over nonclassical logics
Autorzy:
Pigozzi, Don
Salibra, Antonino
Powiązania:
https://bibliotekanauki.pl/articles/1361079.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic
Opis:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Źródło:
Banach Center Publications; 1993, 28, 1; 51-66
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Variant of Material Connexive Logic
Autorzy:
Belikov, Alexander
Zaitsev, Dmitry
Powiązania:
https://bibliotekanauki.pl/articles/2142753.pdf
Data publikacji:
2021-11-09
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logics
connexive logic
four-valued logic MC
informal reasoning
Opis:
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linear Abelian Modal Logic
Autorzy:
Mohammadi, Hamzeh
Powiązania:
https://bibliotekanauki.pl/articles/43184005.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination
Opis:
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.
Źródło:
Bulletin of the Section of Logic; 2024, 53, 1; 1-28
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Notes on aplications of the dual fountain theorem to local and nonlocal elliptic equations with variable exponent
Autorzy:
Stegliński, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2216155.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
dual fountain theorem
p(·)-Laplacian
fractional p(·)-Laplacian
infinitely many solution
Opis:
Using the Dual Fountain Theorem we obtain some existence of infinitely many solutions for local and nonlocal elliptic equations with variable exponent. Our results correct some of the errors that have appeared recently in the literature.
Źródło:
Opuscula Mathematica; 2022, 42, 5; 751-761
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Equality Logic
Autorzy:
Ghorbani, Shokoofeh
Powiązania:
https://bibliotekanauki.pl/articles/1023179.pdf
Data publikacji:
2020-11-04
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logic
equality logic
completness
prelinear equality∆-algebra
prelinear equality∆ logic
Opis:
In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 3; 291-324
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pantheism
Panteizm
Autorzy:
Forrest, Peter
Powiązania:
https://bibliotekanauki.pl/articles/488275.pdf
Data publikacji:
2016
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Many Worlds
Panentheism
Pantheism
substance
worshipping
wieloświat
panenteizm
panteizm
substancja
religijna cześć
Opis:
In this paper I have had two aims. One was to describe a number of pantheist or near pantheist religious attitudes, including the influence of many worlds theories. The other was to indicate some of the ways we might arrive at Pantheism. One final remark: when assessing religious positions the intellectual grounds for accepting or rejecting them should, I suggest, be whether they make sense of things, that is, enable us to understand. The ways to Pantheism, or to near Pantheism, should therefore be interpreted as part of a comparison between ways of understanding.
Powyższy artykuł jest eksplikacją pojęcia panteizm, zawierając przy tym dwie osobliwości. Po pierwsze, zamiast ujmować panteizm jako tezę czysto metafizyczną, traktuję go jako teorię zarówno metafizyczną, jak i wartościującą, głoszącą, że Wszechświat godny jest religijnej czci. Takie określenie panteizmu ma swoje konsekwencje dla odróżnienia tej doktryny od zbliżonych stanowisk, jak na przykład panenteizm. Po drugie, w moim artykule rozważam, jakie znaczenie posiada popularna obecnie (i słusznie) Teoria Wielu Światów dla argumentacji na rzecz panteizmu. W wąskim lub ścisłym sensie panteizm jest tezą głoszącą, że wszechświat jest Bogiem, przy czym przez Boga, pisanego z dużej litery, rozumiem istotę w najwyższym stopniu godną religijnej czci. To odróżnia panteizm od panenteizmu, czyli tezy głoszącej, że wszechświat jest częścią Boga, a nie całym Bogiem. W szerszym sensie panteizm jest tezą głoszącą, że wszechświat jest godny religijnej czci, chociaż nie w najwyższym stopniu.
Źródło:
Roczniki Filozoficzne; 2016, 64, 4; 67-91
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teoria wielości rzeczywistości Leona Chwistka. Rys krytyczny
Autorzy:
Bożek, Hubert
Powiązania:
https://bibliotekanauki.pl/articles/437420.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:
Leon Chwistek
many realities
manifold reality
model theory
ontological relativism
ontology
logic
Opis:
The purpose of this paper is to offer a logico‑philosophical critical overview of the theory of multiple realities (TWR). The paper is divided into three sections. In the first section I present a brief history of the development of some ideas, which combined together form the conceptual framework of the theory in question, whose main thesis is that there is more than one reality. In the second part I present (and try to address) some interpretations of TWR, which can be described as: ontological; epistemological; esthetical; logical ad mixed interpretations. When doing so, a special emphasis is laid on the presentation of an explication of TWR based on theory of models, an explication authored by Teresa Kostyrko. This explication rests on a conditional recognition of the particular ‘realities’ of Chwistek’s theory as proper models (i.e. those, which fulfill the condition of the identity of meaning of theory’s fundamental notions) of the theories of reality, with the provision that such models are indeed constructible. In the last section of my paper I propose a preliminary appraisal of the TWR as well as a way to reengineer this theory in order to avoid some of its difficulties. By appealing to Kostyrko’s idea on one hand and the spirit Quinean ontological relativism on the other, I wish to argue as follows: (1) ‘reality’ is the name of the set comprising all meanings of the term ‘reality’; (2) under particular conditions these meanings can be arranged in a theory, which posseses a proper model (scientific discourse, some forms of the common talk); (3) model proper designate by definition classes of objects, which we regard as existent on the grounds of a given theory. The above set of theses forms the core of a concept, which I propose to call the ‘manifold reality’ in order to differentiate it from TWR, the development of which theory it is, as well as its modification towards a new kind of ontology.
Źródło:
ARGUMENT: Biannual Philosophical Journal; 2014, 4, 2; 405-424
2083-6635
2084-1043
Pojawia się w:
ARGUMENT: Biannual Philosophical Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:
Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Powiązania:
https://bibliotekanauki.pl/articles/43181839.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics
Opis:
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 3; 275-299
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gli antecedenti storici del Platonismo: il ruolo dei Presocratici secondo i Neoplatonici
The Historical Antecedents of Platonism: The Role of the Presocratics According to the Neoplatonists
Autorzy:
Motta, Anna
Powiązania:
https://bibliotekanauki.pl/articles/938393.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Presocratics
Plato
Neoplatonists
the Being
the One
the many
the Intellect
Metaphysics
Opis:
One of the aims of the Neoplatonists is to demonstrate that ancient Presocratic thought is, in fact, a Preplatonic thought. According to the Neoplatonists, Presocratics, who were not far from the truth, employed an inaccurate and ambiguous language, whereas Plato spoke about the truth in a more appropriate and clear way. That is why the Presocratics are not necessarily erroneous and their theoretical originality and their terminology can be incorporated into the Neoplatonic philosophy. I would like to show how some Presocratic theories are embedded in the Neoplatonic metaphysical system of the three Hypostases. Regarding the One and the Intellect, Plotinus, Proclus and the Anonymous Author of the Prolegomena to Platonic Philosophy read and employ some Presocratic texts in order to harmonize the Platonic and the Presocratic accounts. Although the Neoplatonists see themselves as continuing the Greek philosophical tradition started by the Presocratics, their interpretation of Presocratic thought illustrates the birth of exegetic philosophy which is able to apply ancient concepts and predicates to its own metaphysical theory.   
Źródło:
Peitho. Examina Antiqua; 2014, 5, 1; 43-58
2082-7539
Pojawia się w:
Peitho. Examina Antiqua
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modernization of DVB-S2 Standard Using Signal-Code Constructions Based on Amplitude Modulation of Many Components
Autorzy:
Horbatyi, Ivan
Yashchyshyn, Yevhen
Powiązania:
https://bibliotekanauki.pl/articles/227156.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
DVB-S2 standard
frequency efficiency
energy efficiency
amplitude modulation of many components
Opis:
It is proposed to modernize the DVB-S2 standard by using AMMC (amplitude modulation of many components) signals instead of 8PSK (8-phase shift keying) and APSK (amplitude-phase shift keying) signals, and to modernize the DVB-S2 standard equipment by using the AMMC modulator and AMMC demodulator. Usage of AMMC makes it possible to reduce the symbol error rate in communication channel up to 52 times. The satellite digital video broadcast systems that apply signal-code constructions based on AMMC are characterized by a higher energy efficiency from 1 to 2.6 dB compared with signal-code constructions based on 8PSK and APSK.
Źródło:
International Journal of Electronics and Telecommunications; 2020, 66, 2; 315-320
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Investigation of networks with positive and negative messages, many-lines queueing systems and incomes
Autorzy:
Naumenko, V.
Matalytski, M.
Powiązania:
https://bibliotekanauki.pl/articles/122391.pdf
Data publikacji:
2015
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
G-network
negative messages
many-lines systems
expected incomes
information systems and networks
Opis:
The analysis of an open Markov Queueing Network with positive and negative messages, many-lines queueing systems and incomes has been carried out. External arrivals to the network, service times of rates and probabilities of messages transition between queueing systems (QS) depend on time. A method for finding the expected incomes of the network systems, the expressions for the average number of messages at the systems has been proposed.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2015, 14, 1; 79-90
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Głos jak szum wielu wód” w Apokalipsie św. Jana na tle semantyki starotestamentalnej. Przesłanie grozy czy piękna?
Autorzy:
Nowińska, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/950374.pdf
Data publikacji:
2017
Wydawca:
Polskie Towarzystwo Teologiczne
Tematy:
voice
many waters
life
force
danger
experience
głos
wiele wód
życie
moc
zagrożenie
doświadczenie
Opis:
The sentence ἡ φωνὴ αὐτοῦ ὡς φωνὴ ὑδάτων πολλῶν isn’t very commonly found in the Bible, despite the fact that the subject of God’s voice is one of the main motifs not only in the Old Testament. It’s used twice in Ezekiel and three times in the Book of Revelation. Both connect this motive with God to describe His Identity and deeds. The “many waters” do not only mean force, danger and terrible rule in the Bible. They are also a metaphor for abun-dance, which a good condition for progress, because water gives life. So “the voice as the sound of many waters” is the message of power, liveliness, beauty, and care. It’s so strong a voice that nobody and nothing is capable of overcoming it. Everybody who wants can hear it. It’s like the voice embraced from all sides. The Book of Revelation describes Jesus’ voice (Rev 1 : 15) and the voice from heaven (Rev 14 : 2) in such a way. Also for John, the mystery of internal experience (Rev 19 : 6) avoids any categorization. But for God, it’s the preferred way to communicate with human beings.
Sformułowanie ἡ φωνὴ αὐτοῦ ὡς φωνὴ ὑδάτων πολλῶν nie występuje zbyt często na kartach Biblii, mimo że głos Boga jest znaczącym motywem, i to nie tylko w Starym Testamencie. Analizowane w niniejszym artykule wyrażenie pojawia się dwukrotnie w Księdze Ezechiela i trzy razy w Apokalipsie św. Jana. Oba źródła łączą ten motyw z Bogiem, opisując w ten sposób Jego tożsamość i czyny. „Wiele wód” oznacza w Biblii nie tylko siłę, niebezpieczeństwo czy budzącą postrach władzę. To także metafora obfitości, warunków sprzyjających rozwojowi, ponieważ woda daje życie. Stąd „głos jak szum wielu wód” niesie przesłanie mocy, życia, piękna i opieki (troski). Stanowi on zarazem tak intensywny dźwięk, że nikt ani nic nie jest w stanie go zagłuszyć. Każdy może go usłyszeć, jeśli tylko pragnie. Głos ten wyłania się (obejmuje) człowieka niejako ze wszystkich stron. Apokalipsa św. Jana w takiej konwencji opisuje głos Jezusa (Ap 1, 15) i głos z nieba (Ap 14, 2). Lokuje tu również misterium wewnętrznego doświadczenia autora natchnionego (Ap 19, 6) wymykające się jakiejkolwiek kategoryzacji. Jest to jednak w apokaliptyce preferowana przez Boga droga komunikacji z człowiekiem.
Źródło:
Ruch Biblijny i Liturgiczny; 2017, 70, 1
2391-8497
0209-0872
Pojawia się w:
Ruch Biblijny i Liturgiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Autorzy:
Robles, Gemma
López, Sandra M.
Blanco, José M.
Recio, Marcos M.
Paradela, Jesús R.
Powiązania:
https://bibliotekanauki.pl/articles/749920.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics
Opis:
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 56

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