Results 41 to 50 of about 3,204,797 (388)
Probability Theory and Mathematical Statistics E-course in Nomotex DLS [PDF]
ITM Web of Conferences, 2020 The paper considers the concept of constructing Probability Theory and Mathematical Statistics electronic course for interactive learning. The approach to the design of the e-course is described, and the advantages of using the new teaching technology in
Dimitrienko Yury I. +3 more
doaj +1 more source
Amorphous computing: examples, mathematics and theory [PDF]
Natural Computing, 2013 The cellular automata model was described by John von Neumann and his friends in the 1950s as a representation of information processing in multicellular tissue. With crystalline arrays of cells and synchronous activity, it missed the mark (Stark and Hughes, BioSystems 55:107-117, 2000). Recently, amorphous computing, a valid model for morphogenesis in
openaire +3 more sources
Guarded Cubical Type Theory: Path Equality for Guarded Recursion [PDF]
, 2016 This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics,
Birkedal, Lars +5 more
core +2 more sources
Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) [PDF]
, 2020 The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary ...
core +2 more sources
Tropical Effective Primary and Dual Nullstellens\"atze [PDF]
, 2015 Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic
Grigoriev, Dima, Podolskii, Vladimir V.
core +3 more sources
Scientific Reports, 2022 The research of fluid containing nanoparticles for the heat transport characteristics is very famous because of its variety of real-life applications in various thermal systems. Although the thermal efficiency of the nanofluid was effective but still the
Muhammad Arif +5 more
doaj +1 more source
Mathematical Logic: Proof theory, Constructive Mathematics [PDF]
, 2014 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...
core +2 more sources
Scientific Reports, 2021 Fractal-fractional derivative is a new class of fractional derivative with power Law kernel which has many applications in real world problems. This operator is used for the first time in such kind of fluid flow.
Muhammad Arif +4 more
doaj +1 more source
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2011 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...
core +2 more sources
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2017 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational ...
core +2 more sources