Sentence examples for formalized the theory of from inspiring English sources

He formalized the theory of matrices.

Miyazawa and Jernigan formalized the theory for contact interactions by means of the quasi-chemical approximation [5], [6].

Kleene's [1969] formalizes the theory of partial recursive functionals, enabling precise formalizations of the function-realizability interpretation used in [1965] and of a related q-realizability interpretation which gives the Church-Kleene Rule for intuitionistic analysis.

I will begin by formalizing the theory of hybrid categories and by demonstrating how this theory allows one to generalize many familiar "non-hybrid objects" to a hybrid setting, e.g., vector spaces and manifolds.

Robust statistics formalize the theory of approximate parametric models [30].

Although Boolos never formalized the theory PFO, he was clearly aware of this interpretation.

We may take the sign for membership as a logical sign in some formalizations of the theory of types (which can in turn be used to formalize theories with arbitrary universes of individuals).

By formalizing impedance control within the theory of stochastic OFC, we overcome the fundamental inability of energy based optimization methods to model co-contraction.

The logical (formalized) part of cognitive programming relies on classical methods for theoretical and practical cognitive modeling, and the theory of formal systems, algorithms, and traditional programming.

A popular way to formalize and implement this idea is to follow the theory of Bayesian optimal experimental design (OED) [ 28, 29].

To formalize the process, here we present procedures based on the theory of networks (see Watts and Strogatz 1998).