Results 211 to 220 of about 1,412,151 (261)

Glucose enzymes reaction in a spherical matrix using HPM and HFM. [PDF]

open access: yesSci Rep
Suguna M   +5 more
europepmc   +1 more source

Molecular set theory: A mathematical representation for chemical reaction mechanisms

open access: closedThe Bulletin of Mathematical Biophysics, 1960
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   +3 more sources

A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)

open access: closedInternational Journal of General Systems, 1999
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   +3 more sources

Formal Representation of Mathematics in a Dependently Typed Set Theory

open access: closed, 2007
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   +3 more sources

Mathematical Representations of Development Theories [PDF]

open access: possible, 1979
In this chapter we explore the consequences of particular stage linkage structures for the evolution of a population. We first argue the importance of constructing dynamic models of development theories and show the implications of various stage connections for population movements.
Burton H. Singer, Seymour Spilerman
openaire   +1 more source

Adaptive mathematical morphology: A unified representation theory

2009 16th IEEE International Conference on Image Processing (ICIP), 2009
In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, which is crucial in the design of geometrical signal and image processing applications.
Nidhal Bouaynaya, Dan Schonfeld
openaire   +2 more sources

Home - About - Disclaimer - Privacy