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-15 z 54
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ł:
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ł:
Ray class fields of global function fields with many rational places
Autorzy:
Auer, Roland
Powiązania:
https://bibliotekanauki.pl/articles/1206772.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
ray class fields
global function fields
characteristic p
curves with many rational points
S-class numbers
Źródło:
Acta Arithmetica; 2000, 95, 2; 97-122
0065-1036
Pojawia się w:
Acta Arithmetica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Silence of Socrates: The One and the Many in Plato’s Parmenides
Autorzy:
Barmore, Steven
Powiązania:
https://bibliotekanauki.pl/articles/507590.pdf
Data publikacji:
2020-06
Wydawca:
International Étienne Gilson Society
Tematy:
Parmenides
Plato
Thomas Aquinas
Redpath
the One and the Many
unity
being
potency
act
universal
particular
genus
species
virtual quantity
Opis:
Parmenides was not a metaphysician (he was a materialist), so there is no such thing as Parmenidean metaphysics. Plato’s Parmenides, however, offers metaphysical insights otherwise overlooked by readers unfamiliar to what St. Thomas Aquinas offers concerning the One and the Many. This article highlights some of these insights and will interest students of St. Thomas. It might also acquaint students of Plato to a more perfect metaphysics, and it could even corrode the beliefs of others who maintain that there is no such thing as metaphysics. The fact that none of the sciences may dispense with the first science is brought heavily to bear upon the reader of the Parmenides, who finds it otherwise impossible to resolve any of the difficulties attendant upon reconciling the One and the Many. The many apparent contradictions between the One and the Many displayed in Plato’s Parmenides really cannot be solved without sound metaphysics, and sound metaphysics cannot proceed unaided by St. Thomas and his inheritors. Go to Thomas to understand Plato’s Parmenides.
Źródło:
Studia Gilsoniana; 2020, 9, 2; 209-236
2300-0066
Pojawia się w:
Studia Gilsoniana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
Autorzy:
Bażyk, Albert Przemysław
Powiązania:
https://bibliotekanauki.pl/articles/429119.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic
Opis:
An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
Źródło:
Semina Scientiarum; 2012, 11
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The official report of 8th International Interdisciplinary Conference in reference to the „ONE WORLD – MANY CULTURES” congress, held in Bydgoszcz on 26-27 October 2017
Autorzy:
Beata, Bazeli,
Powiązania:
https://bibliotekanauki.pl/articles/898034.pdf
Data publikacji:
2019-02-20
Wydawca:
Kujawsko-Pomorska Szkoła Wyższa w Bydgoszczy
Tematy:
Kujawy and Pomorze University in Bydgoszcz
„ONE WORLD – MANY CULTURES” congress
Joseph Ratzinger-Benedict XVI Vatican Foundation
Opis:
On 26 October 2018 for the eight time Kujawy and Pomorze University in Bydgoszcz had the pleasure of inaugurating the International Interdisciplinary Conference accordingly to the „ONE WORLD – MANY CULTURES” congress. The theme of this year's seventh edition of the congress was called “Intercultural dialogue and the truth behind it.” Moreover, this effort became inseparable with other symposiums exhibited in our region, due to the multi-annual collaboration with the Joseph Ratzinger-Benedict XVI Vatican Foundation, Marshal's Office as well as Bydgoszcz City Hall.
Źródło:
Roczniki Ekonomiczne Kujawsko-Pomorskiej Szkoły Wyższej w Bydgoszczy; 2018, -(11); 417-420
1899-9573
Pojawia się w:
Roczniki Ekonomiczne Kujawsko-Pomorskiej Szkoły Wyższej w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Eigenvalue estimates for operators with finitely many negative squares
Autorzy:
Behrndt, J.
Mows, R.
Trunk, C.
Powiązania:
https://bibliotekanauki.pl/articles/255926.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
selfadjoint operator
Krein space
finitely many negative squares
eigenvalue estimate
indefinite Sturm-Liouville operator
Opis:
Let A and B be selfadjoint operators in a Krein space. Assume that the resolvent difference of A and B is of rank one and that the spectrum of A consists in some interval I ⊂ R of isolated eigenvalues only. In the case that A is an operator with finitely many negative squares we prove sharp estimates on the number of eigenvalues of B in the interval I. The general results are applied to singular indefinite Sturm-Liouville problems.
Źródło:
Opuscula Mathematica; 2016, 36, 6; 717-734
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
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ł:
An Inferentially Many-Valued Two-Dimensional Notion of Entailment
Autorzy:
Blasio, Carolina
Marcos, João
Wansing, Heinrich
Powiązania:
https://bibliotekanauki.pl/articles/750014.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Inferential many-valuedness
two-dimensional entailment
B-matrices
B-consequence relations
monotonic consequence relations
q-entailment
p-entailment
Suszko Reduction
Opis:
Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely monotonic singleconclusion consequence relation is characterized by a class of B-matrices with respect to q-entailment as well as with respect to p-entailment, it is observed that, as a result, every such consequence relation has an inferentially four-valued characterization. Next, the canonical form of B-entailment, a two-dimensional multiple-conclusion notion of entailment based on B-matrices, is introduced, providing a uniform framework for studying several different notions of entailment based on designation, antidesignation, and their complements. Moreover, the two-dimensional concept of a B-consequence relation is defined, and an abstract characterization of such relations by classes of B-matrices is obtained. Finally, a contribution to the study of inferential many-valuedness is made by generalizing Suszko’s Thesis and the corresponding reduction to show that any B-consequence relation is, in general, inferentially four-valued.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Est-il possible de se mettre d’accord sur le sens à donner au terme de pragmatème ?
Is it possible to agree on the meaning of the term ‘pragmateme’?
Autorzy:
Bogacki, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1789271.pdf
Data publikacji:
2020-12-23
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
Defining the terme ‘pragmateme'
autonomous linguistic unit
act of enunciation
classical logic criterion
many-valued fuzzy logic criterion
creating a database of pragmatemes
Opis:
The term ‘pragmateme’ has been coined relatively recently and therefore its usage is still hesitant and its definitions lack precision. This makes it difficult to delimit the scope of all that relates to the intuition of the term. We believe that two criteria are crucial for the identification of the concept. First, it would signify an autonomous linguistic unit implying an act of enunciation, characterised by the adequacy between selecting an appropriate linguistic segment and its application, with all that it entails as constraints. This criterion derives from classical logic, based on the binary opposition of truth and falsehood. The other element of the definition of the pragmateme is difficult to apply due to its subjectivity. It can be described in terms of many-valued fuzzy logic. It requires that a privileged link be created in the consciousness of langage users between a particular formulation, conveying a given semantic content and other, competing formulations. Neither of the two criteria is correlated with formal exponents, which prevents them from being used in a database compiled for the purpose of creating a dictionary of pragmatemes
Źródło:
Neophilologica; 2020, 32; 77-88
0208-5550
2353-088X
Pojawia się w:
Neophilologica
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ł:
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ł:
Exploiting multi-core and many-core parallelism for subspace clustering
Autorzy:
Datta, Amitava
Kaur, Amardeep
Lauer, Tobias
Chabbouh, Sami
Powiązania:
https://bibliotekanauki.pl/articles/331126.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
data mining
subspace clustering
multicore processor
many core processor
GPU computing
eksploracja danych
procesor wielordzeniowy
obliczenia GPU
Opis:
Finding clusters in high dimensional data is a challenging research problem. Subspace clustering algorithms aim to find clusters in all possible subspaces of the dataset, where a subspace is a subset of dimensions of the data. But the exponential increase in the number of subspaces with the dimensionality of data renders most of the algorithms inefficient as well as ineffective. Moreover, these algorithms have ingrained data dependency in the clustering process, which means that parallelization becomes difficult and inefficient. SUBSCALE is a recent subspace clustering algorithm which is scalable with the dimensions and contains independent processing steps which can be exploited through parallelism. In this paper, we aim to leverage the computational power of widely available multi-core processors to improve the runtime performance of the SUBSCALE algorithm. The experimental evaluation shows linear speedup. Moreover, we develop an approach using graphics processing units (GPUs) for fine-grained data parallelism to accelerate the computation further. First tests of the GPU implementation show very promising results.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2019, 29, 1; 81-91
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
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ł:
Useful Four-Valued Extension of the Temporal Logic KtT4
Autorzy:
Degauquier, Vincent
Powiązania:
https://bibliotekanauki.pl/articles/749896.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
temporal logic
many-valued logic
bi-intuitionistic logic
paraconsistent logic
sequent calculus
duality
cut-redundancy
Opis:
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 54

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