Results 41 to 50 of about 250,783 (371)
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
BMC Genomics, 2015 A high-throughput genotyping platform is needed to enable marker-assisted breeding in the allo-octoploid cultivated strawberry Fragaria × ananassa. Short-read sequences from one diploid and 19 octoploid accessions were aligned to the diploid Fragaria ...
N. Bassil +27 more
semanticscholar +1 more source
The univalence axiom for elegant Reedy presheaves [PDF]
, 2013 We show that Voevodsky's univalence axiom for intensional type theory is valid in categories of simplicial presheaves on elegant Reedy categories. In addition to diagrams on inverse categories, as considered in previous work of the author, this includes ...
Michael Shulman
semanticscholar +1 more source
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
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
Endowment additivity and the weighted proportional rules for adjudicating conflicting claims [PDF]
, 2016 We propose and study a new axiom, restricted endowment additivity, for the problem of adjudicating conflicting claims. This axiom requires that awards be additively decomposable with respect to the endowment whenever no agent’s claim is filled.
Harless, Patrick
core +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
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
Advanced Functional Materials, EarlyView.This study introduces a novel multi‐scale scaffold design using L‐fractals arranged in Archimedean tessellations for tissue regeneration. Despite similar porosity, tiles display vastly different tensile responses (1–100 MPa) and deformation modes. In vitro experiments with hMSCs show geometry‐dependent growth and activity. Over 55 000 tile combinations
Maria Kalogeropoulou +4 more
wiley +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