Results 1 to 10 of about 195,981 (325)
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice [PDF]
Logical Methods in Computer Science, 2021 We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice.
Maria Emilia Maietti +2 more
doaj +5 more sources
In space fabrication of Janus base nano matrix for improved assembly and bioactivity [PDF]
npj MicrogravityNanomaterials have a broad impact on both space and biomedical research but have never been produced in-space for regenerative applications. During the Axiom-2 (Ax-2) mission, our team completed the first-ever low Earth orbit (LEO) manufacturing of Janus
Anne Yau +12 more
doaj +2 more sources
Frontiers in Oncology, 2022 T cells play a key role in anticancer immunity, with responses mediated through a diversity of αβ or γδ T cell receptors. Although αβ and γδ T cells stem from common thymic precursors, the development and subsequent biological roles of these two subsets ...
Anne B. C. Cherry +2 more
doaj +1 more source
An Axiom of True Courses Calculation in Great Circle Navigation
Journal of Marine Science and Engineering, 2021 Based on traditional expressions and spherical trigonometry, at present, great circle navigation is undertaken using various navigational software packages. Recent research has mainly focused on vector algebra.
Mate Baric +3 more
doaj +1 more source
Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom [PDF]
Омский научный вестник: Серия "Общество. История. Современность", 2022 The article examines the common interpretation of the axiom of reducibility in Principia Mathematica according to which the axiom cannot be considered as logical, which casts doubt on the success of the program of logicism.
V. V. Tselishchev, A. V. Khlebalin
doaj +1 more source
Nash bargaining in ordinal environments [PDF]
, 2012 We analyze the implications of Nash’s (1950) axioms in ordinal bargaining environments; there, the scale invariance axiom needs to be strenghtened to take into account all order-preserving transformations of the agents’ utilities.
AE Roth +11 more
core +4 more sources
The teaching on postulates in Kant’s lectures on philosophical theory of religion [PDF]
Кантовский сборник, 2015 “Lectures on Poelitz’s philosophical theory of religion” are one of the four surviving manuscripts of Kant’s lectures on rational theology. The Lectures include an introduction, two parts, and an appendix.
Kryshtop L. E.
doaj +1 more source
Towards a Theory of Interoperability of Software Systems
Ingeniería e Investigación, 2023 Interoperability is a property of software quality that is related to the cooperation between software systems for exchanging information. However, this concept is not well explained or understood.
Diana Maria Torres-Ricaurte +3 more
doaj +1 more source
Upper entropy axioms and lower entropy axioms [PDF]
Annals of Physics, 2015 8 pages.
Guo, Jin-Li, Suo, Qi
openaire +2 more sources
Rethinking Painting Style from the Phenomeno-Logical Perspective. Fine Art and Axiomatic Method [PDF]
Phainomena, 2019 It is known that a professional artist can enter the structure of any already created painting style, simulate it, or even independently create in it. Today, a painter can, for example, paint an impressionist, fauvist, cubist, etc., composition.
Jožef Muhovič
doaj +1 more source