Sentence examples for formally captured from inspiring English sources

Although pharmaceutical companies have historically used many of the same principles during development, this knowledge was not always formally captured or proactively submitted to regulators.

The functional and timing behavior of each function block in the East-adl model, as well as the interactions between function blocks are formally captured and expressed as Timed Automata models, which have precise semantics and can be formally verified with ViTAL.

However, this intuition is hard to maintain and cannot be formally captured without serious difficulties.

This is formally captured by Afriat's Theorem (Varian 1982; based on Afriat 1967): (Afriat's Theorem) The following statements are equivalent: (1.A).

This is formally captured by replacing (g_{ij}^{max }) by (g_{ij}) in (8), that is, by begin{aligned} g_{ij}^{text {JWBG1}}:=alpha g_{ij}+ 1-alpha )g_{ij}+ 1-alphaend{aligned} (9)with (0le alpha le 1), so that the weighted graph (g^{text {JWBG1}}) specifies the flow level through each link for a profile in this model.16.

The use of substitute alcohol is not formally captured by any robust data source in Scotland.

To this end, we exploit a variant of the formal notion of simulation to formally capture the notion of "mimicking", and we show that the technique proposed is sound and complete, optimal with respect to computational complexity, and robust for different kind of system failures.

A Design Pattern formally captures the solution to a recurrent design problem in a given field.

The main focus of this paper is to provide a conceptual framework for formally capturing various sorts of complex relation-types, which can serve as a means for a more thorough decomposition of objects, attributes/properties, events, processes, and relations, necessary for higher level fusion processing.

A form of quasi-set theory may provide one way of formally capturing this notion (French and Krause 2006).

This is intended to formally capture the sense in which mechanism is composed of separable, interacting parts.