Sentence examples for model to formally from inspiring English sources

Simaria and Vilarinho (2009) proposed a mathematical programming model to formally describe the MMALB problem presenting an ant colony optimization algorithm.

The lowest level uses an ontological model to formally represent input data and to classify harbor objects and basic situations by deductive reasoning according to the harbor regulations.

We design the rules of path pair selection and build a theoretical model to formally prove the convergence of a network running DIMR.

Data in NuML format could be linked to model entities, for example, when storing different parameterization of a particular model to formally describe its variants.

An interaction term between the continuous B-Pb value and an indicator for values < 10 μg/dL vs. ≥ 10 μg/dL was added to this model to formally test the significance of a change in slope at 10 μg/dL.

Many papers have already provided models to formally specify security policies.

In this work we present an automatic technique based on geometrical program modeling to formally check the functional equivalence of initial and transformed programs under loop and data reuse transformations.

Interaction terms were used in the final models to formally test for interactions between PM2.5 and atopy.

Specific models considered included the exponential, Weibull, and two (a hypothesis-driven and a data-driven) two-piece exponential models to formally test the null hypothesis that experience does not impact the hazard of injury.

The main result of the paper is a novel framework to formally model intelligent shopping malls.

This article proposes the use of HASM, a haptic applications software modeling ontology to formally model the haptics domain in order to be used during the specifications and design phases of developing software applications for haptic interfaces.