Results 61 to 70 of about 454 (145)
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Advanced Engineering Research, 2007 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj
Axiomatizing flat iteration [PDF]
, 1997 Flat iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be a sum of atomic actions. It generalizes prefix iteration, in which the first argument is a single action. Complete finite equational axiomatizations are given for five notions of bisimulation congruence over ...
openaire +2 more sources
Revealed desirability: a novel instrument for social welfare. [PDF]
Theory Decis, 2022 Barokas G.
europepmc +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
A Strategy for Improving Dynamic Composability: Ontology-driven Introspective Agent Architectures [PDF]
Journal of Systemics, Cybernetics and Informatics, 2007 Seamless composability of disparate simulations within a systems of systems context is challenging. Large complex simulations must respond to changing technology, environments, and objectives.
Levent Yilmaz
doaj
TábanoThis work aims to analyse Alain Badiou’s critique of Gilles Deleuze’s Logic of Sense and theory of the event in Logics of Worlds. This is done under the hypothesis that Badiou axiomatizes Deleuze to mathematically scrutinize the mainframe of Logic of ...
Felipe A. Matti
doaj +1 more source
The Environmental Conditions, Treatments, and Exposures Ontology (ECTO): connecting toxicology and exposure to human health and beyond. [PDF]
J Biomed Semantics, 2023 Chan LE +10 more
europepmc +1 more source
, 1995 A rough overview is given over the most essential structures underlying all working quantum theoretical models as well as axiomatic and algebraic quantum field theory .
openaire +3 more sources
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Вестник Донского государственного технического университета, 2018 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj
Axiomatizing SNOMED CT Disorders: Should There Be Room for Interpretation? [PDF]
Form Ontol Inf Syst, 2023 Ceusters W, Pengput A.
europepmc +1 more source