Sentence examples for this problem can be formalized from inspiring English sources
This problem can be formalized using terms from graph theory.
We consider how certain aspects of this problem can be formalized so that Sheila can use an automated reasoning system to help analyze the possibilities.
The problem can be formalized in terms of a multiobjective problem.
We show how such problem can be formalized as a Distributed Constrained Optimization problem and we provide a solution based on the binary max-sum algorithm.
The problem can be formalized as a multi-objective mathematical program, integrating local pollutant-precursor models and the estimate of emission reduction costs.
The problem can be formalized as a multiobjective mathematical program, integrating local pollutant-precursor models and the estimate of emission reduction costs.
The problem can be formalized as follows.
Under the fundamental theorem of SVMs, the sequential labeling problem can be formalized as the following optimization problem: given a training dataset of m independent identically distributed samples S, drawn from a fixed distribution D X×Y.
The problem can be formalized as one of 'combinatorial optimization', that is, finding the combination of oligos that build the highest-scoring profile by exploring the search space of all possible combinations with some heuristic and avoiding exhaustive enumeration.
Our folding algorithm computes the total normalized energy of R by summing up all normalized energies of the loops in R. Thus, the RNA folding problem can be formalized as follows.
The proof-theoretical approach naturally embraces this criterium of usefulness, since solutions to problems can be formalized as proofs, as shown by φ1 and φ2.
