Examples of formalization

formalization isn’t in the Cambridge Dictionary yet. You can help!
The aim is to provide insight into the more rigorous formalization that will be provided in the following sections.
We argue that these features can be easily incorporated in the formalization.
In this section, a new formalization of the notion of uniformity on maps in terms of natural transformations is given.
More precisely, we focused on the use of setoids in the formalization of mathematics.
I believe there is such a thing as premature formalization, and also believe something like that happened with time inconsistency.
In particular, we consider three levels of formalization of this process, culminating in graph reduction systems.
The link between the two formalizations is as follows.
Generative grammar, on the other hand, has been subjected to a certain degree of formalization.
One of the major challenges for our view will be the formalization of structure in the global array.
Section 2 outlines the nature of rationality and its formalization.
The main achievement of these texts is the formalization of the conclusion of marriage and of its dissolution.
On this formalization, content is interpreted as individual i's preference ordering.
Formalization should lead to recognition of the need to increase the skills needed to elaborate each specification.
He classified them informally into four complexity classes, and several authors have offered a formalization of this classification.
This formalization is made through the addition of supporting shapes to the design.
The results of these studies allow the formalization and consequent sharing of specific information about products from an aesthetic point of view.
Such formalization of the control enables the selection of the controller having the same structure for common control problems in the motion control systems.
Skepticism about the quality of economic empiricism became a hallmark of those who took up the program of mathematical formalization.
A bit of formalization might prove helpful here.

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。