Results 31 to 40 of about 195,981 (325)
A Spatially Bounded Airspace Axiom
Axioms, 2022 Free Route Airspace (FRA), a new concept implemented across European airspace, is designed to eliminate the adverse effects of air traffic, reduce fuel consumption, simplify and expand flight planning.
Peter Szabó +2 more
doaj +1 more source
Players Indifferent to Cooperate and Characterizations of the Shapley Value [PDF]
, 2012 In this paper we provide new axiomatizations of the Shapley value for TU-games using axioms that are based on relational aspects in the interactions among players.
Brink, J.R. van den +2 more
core +6 more sources
A logic road from special relativity to general relativity
, 2011 We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of
A. Tarski +16 more
core +1 more source
Osterwalder-Schrader axioms - Wightman Axioms
, 2000 The mathematical axiom systems for quantum field theory grew out of Hilbert's sixth problem, that of stating the problems of quantum theory in precise mathematical terms. There have been several competing mathematical systems of axioms, and here we shall deal with those of A.S. Wightman and of K. Osterwalder and R. Schrader, stated in historical order.
Jorgensen, Palle E. T. +1 more
openaire +2 more sources
The AXIOM software layers [PDF]
, 2016 AXIOM project aims at developing a heterogeneous computing board (SMP-FPGA).The Software Layers developed at the AXIOM project are explained.OmpSs provides an easy way to execute heterogeneous codes in multiple cores.
Ayguadé Parra, Eduard +24 more
core +3 more sources
An Overview of Existing Problems in Teaching the Science ”Fundamentals of Geometry”
International Journal of Social Sciences & Educational StudiesThis paper goes into the challenges faced in the teaching of geometry, emphasizing its foundational principles. It investigates an alternate viewpoint by relating geometric principles to verses from the Holy Quran, implying that geometric conceptions ...
Safarov Tulqin Nazarovich +1 more
doaj +1 more source
npj MicrogravityLow Earth Orbit (LEO) has emerged as a unique environment for evaluating altered stem cell properties in microgravity. LEO has become increasingly accessible for research and development due to progress in private spaceflight.
Maedeh Mozneb +15 more
doaj +1 more source
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences [PDF]
Scientific Annals of Computer Science, 2017 In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, structural congruence, and behavioural congruence.
J.A. Bergstra, C.A. Middelburg
doaj +1 more source
Dretske on Closure of Knowledge and Its Rereading in Justification Logic [PDF]
حکمت و فلسفه, 2020 The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate ...
Masoud Alvand
doaj +1 more source
The Essence of Intuitive Set Theory [PDF]
, 2001 Intuitive Set Theory (IST) is defined as the theory we get, when we add Axiom of Monotonicity and Axiom of Fusion to Zermelo-Fraenkel set theory. In IST, Continuum Hypothesis is a theorem, Axiom of Choice is a theorem, Skolem paradox does not appear ...
Nambiar, Kannan
core +2 more sources