Sentence examples for was then formalized from inspiring English sources

The developed conceptual representation was then formalized into the numerical representation and this was implemented in Python.

Lumping upon topological factors are then formalized by the singular perturbation method.

These concepts are then formalized corresponding to various realistic fading channels.

A semantics for temporal counterfactuals in which events are represented at the object level is then formalized based on a syntactic form of belief updating.

A natural language statement of the second kind (like the example statement with the time five o'clock 15 March 2006) is then formalized using a nominal, not an ordinary propositional symbol (which would be used to formalize the example statement with rainy weather).

MJS, MMM, and MS conceived the initial problems, which were then formalized as theorems and proofs by MS. MJS and MMM designed and analyzed the empirical studies and formulated implementations of partial decisiveness measures.

Telephone contact was then used to formalize participation and record each household member's demographic data.

This SE rationale is then applied on a Requirement Specification (RS) workflow formalized with high-level Petri nets and verified on a human-robot protection case-study.

The CCCs are now being formalized.

From the large amount of background knowledge on earthquake engineering we formalize a context-free grammar, which is then used as a guideline for the equation-building procedure.

The constraint can then be formalized with the following function ψ′ (vz,d) ψ ′ v z, d = B v z, d 2 − 1 (79).