Results 11 to 20 of about 33,998 (313)
axiom-data-science/project-s2s-sea-ice-guidance: v.1.2
, 2022 Full Changelog: https://github.com/axiom-data-science/project-s2s-sea-ice-guidance/commits/v1.
Jesse Lopez, Will Koeppen
core +1 more source
BRIEF HISTORICAL INFORMATION ABOUT THE CONCEPT OF “VALUES” AND ITS TEACHING AT SCHOOL [PDF]
Vestnik Issyk-Kulʹskogo universitetaThe article analyzes the place of the concept of quantity in the history of mathematics, and notes that teaching mathematics at school plays a major role in the development of functional properties of students' perception, such as attention, abilities ...
Tologozhoeva N. O., Asanova A. E.
doaj +1 more source
Atmosphere, 2023 This study focuses on the role of land surface moisture in generating asymmetrical precipitation surrounding a nearly stationary Hurricane Florence (2018) during landfall.
Lindsey Rosenthal, Stephanie E. Zick
doaj +1 more source
The concept of postulate in Kant's philosophy [PDF]
Кантовский сборник, 2011 Postulates play an important role in Kant’s philosophy. Kant’s understanding of this term differs from the previous tradition. For Kant, postulates are originally subjective propositions necessarily supposed as objective ones.
Kryshtop L. E.
doaj +1 more source
Computers & Mathematics with Applications, 2014 This paper aims first at a simultaneous axiomatic presentation of the proof of optimal convergence rates for adaptive finite element methods and second at some refinements of particular questions like the avoidance of (discrete) lower bounds, inexact solvers, inhomogeneous boundary data, or the use of equivalent error estimators.
Carsten Carstensen +3 more
openaire +3 more sources
RUDN Journal of Philosophy, 2020 The article explores the informal side of the idea of the proof. The word "idea" is used in a sense dating back to Plato. Proof is understood as a precisely established connection of precisely formulated and objectively existing ideas. This connection of
A. M. Anisov
doaj +1 more source
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 +1 more source
The cone axiom implies the homotopy axiom [PDF]
Proceedings of the American Mathematical Society, 1966 Of the axioms for formal homology theory the homotopy axiom generally seems to have the least elegant proof. An alternative easier to prove would be the cone axiom: The cone over any space X has the homology groups of its vertex. A little thought shows that for the simplicial and singular theories, at least, the cone axiom implies the homotopy axiom ...
openaire +2 more sources
Axioms, 2021 For L a complete co-residuated lattice and R an L-fuzzy relation, an L-fuzzy upper approximation operator based on co-implication adjoint with L is constructed and discussed.
Qiu Jin, Lingqiang Li
doaj +1 more source
Technological and Economic Development of Economy, 2010 Modern information systems (IS) have widely penetrated into many kinds of social activities by helping to perform business operations and to interact with the surrounding environment.
Diana Kalibatienė, Olegas Vasilecas
doaj +1 more source