Sentence examples for can 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.

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).

All this can be formalized by the following algorithm: (1) choose a value for.

The element of the specific business process is systematically arranged into scenarios, scenes, and elementary processes that can be formalized by process algebra.

In a Bayesian framework, it can be formalized by a multivariate Laplace prior p(x|λ), p ( x | λ ) ∝ exp ( - λ x ℓ 1 ).

This can be formalized by the notion of margin, defined as yf(x): large-margin classifiers try to predict the class of a sample with large margin.

A connection between two diseases can be formalized by risk factors, symptoms, treatment options, or any other diseases as compared to only common disease-genes.

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).