Single replica spin-glass phase detection using field variation and machine learning. [PDF]
Talebi A +3 more
europepmc +1 more source
Smoking dynamics with media awareness to control the prevalence of bad effect through fractional operator study. [PDF]
Farman M +5 more
europepmc +1 more source
The Variance-Gamma Product Distribution. [PDF]
Gaunt RE, Li S, Sutcliffe HL.
europepmc +1 more source
Novel Soliton and Periodic Wave Solutions of the (3+1)-Dimensional Shallow Water Wave Equation with Bifurcation Analysis. [PDF]
Hasan WM +4 more
europepmc +1 more source
The textbook presents in the most simplified form the basic theoretical provisions of set theory, number representation, combinatorics and mathematical logic, as well as ways to solve practical problems using their methods. A large number of examples are considered.
Nikolay Gdanskiy +2 more
openalex +2 more sources
A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
Abstract This study presents a Formal General Design Theory (FGDT), a mathematical theory of design. The main goal of FGDT is to lay out a domain independent modeling of design artifacts ( ‘Part I’) and the design process ( ‘Part II’ ). We discuss issues such as: the scope of the theory with respect to real design and the guidelines it provides for ...
Oded Maimon, Dan Braha
openalex +2 more sources
Formal Representation of Mathematics in a Dependently Typed Set Theory
We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type theory. We use the formalized material to illustrate some interesting aspects of the relationship between informal presentations of mathematics and their formal representation.
Feryal Fulya Horozal, Chad E. Brown
openalex +2 more sources
Mathematical representation of articular surfaces using influence surface theory
Many mathematical techniques have been developed to determine the geometry of articular joint surfaces, because of its so importance to the study of human joint biomechanics. However, a three-dimensional geometric model of the articular joint, which is essential to solid modelling, contact area measurement, and load bearing analyses, has not been well ...
Jung‐Soo Han, Hak Soo Han
openalex +2 more sources
Molecular set theory: A mathematical representation for chemical reaction mechanisms
The present investigation is part of a program aimed at examining the mathematical basis of reaction rate theory (Bartholomay,Bull. Math. Biophys. 20, 1958) from the point of view of individual molecular events. Certain inconsistencies resulting from the classical procedure of using stoichiometric “chemical equations” to represent the ...
Anthony F. Bartholomay
openalex +2 more sources
Related searches:
Mathematical self-determination theory I: Real representation
Journal of Mathematical Psychology, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources

