Sentence examples for be formalized by using from inspiring English sources

This paper discusses how procedural parametric models based on two-dimensional sketches can be represented by graphs and how detailing steps in the form of parametric modeling operations can be formalized by using rule-based graph rewriting.

The emergency management procedures (DSS rules in Fig. 1) are formalized by using Petri Nets (Murata 1989) and executed by the DSS engine installed locally (Fig. 4).

The rules are formalized by using a rule-based reasoning approach and are applied in order to enhance patient safety and support physicians in their daily work.

In the paper, the meaning of fault isolation performance is formalized by using the established notion of coverage and false coverage from the field of statistics.

This concept can be formalized by establishing the main axioms and hypotheses used for interpretation of molecular spectra [6, 8].

This trade-off can be formalized by combining the measures in some way, e.g. by using the F1 score.

If we let denote the distance in Ångstroms between residues r ab and r ag, the score for decoy d using antibody constraint Ab and epitope prediction Epi can be formalized by (3).

This fact can be formalized by extending the LR derivation for CPI (Appendix S1) to the CLR genotype listing using equation (7).

Truces would be formalized by solemn underage drinking.

The move must be formalized by a parliamentary vote in the fall.

This could be formalized by unwrapped network corresponding to as loopy network.