Sentence examples for procedure formulated by from inspiring English sources

This result leads to the discovery that an elegant query answering procedure for Horty's credulous extensions had long existed: the abductive proof procedure formulated by Eshghi and Kowalski for general logic programs is sound and complete for acyclic defeasible networks under the proposed translation.

The nonextensive probability distribution p i is obtained by application of the maximum entropy method, a procedure formulated by the American Edward T. Jaynes [24, 25].

The controller design is accomplished by means of a convex optimization procedure formulated using linear matrix inequalities (LMIs).

Then, based on the results of such NLTH analyses, the aforementioned simplified NLS procedure is formulated by unveiling a stable correlation between the observed dynamic response and a simple scalar parameter that can be easily determined through two NLS analyses carried out on the infilled frame and the corresponding bare one.

There are species-dependent considerations; hence procedures formulated would have to be tested for efficacy [ 10].

The bacterial and viral pathogens were tested according to the technical procedures of diarrheal pathogenic spectrum surveillance formulated by the China CDC to process bacterial isolation, culture and purification.

A set of integral equations formulated by using this procedure is evaluated and numerically calculated.

The proposed method is formulated by the Ritz procedure on the basis of the first-order shear deformation shell theory.

The estimation error system is firstly transformed into a polytopic system through a global linearization procedure, such that the CGKF is formulated by linear matrix inequalities (LMIs).

The proposed method is formulated by the Ritz procedure with a triplicate series of B-spline functions as amplitude displacement components.

This was formulated by applying a stochastic process model to approximate gene co-expression change procedure during cancer progression.