Sentence examples for formal basis of from inspiring English sources

The formal basis of these will allow architects to reason about the properties of the software architecture.

First, the strong formal basis of rights in the domain of housing suggests that comparable rights would have to be established in the domain of transport.

Brian McMahon (article "Applied and Implied Semantics in Crystallographic Publishing") provides the history and the formal basis of the CIF program.

We first give the semantics of the logic and then present a simple, sound and complete axiomatization for the logic, thus forming the formal basis of reasoning consistently in the presence of inconsistency.

Since then, we have published [30] the formal basis of the Chempound [31] repository (the engine for Quixote), which allows the storage of arbitrarily large and complex semantic objects such as the output of computer programs [32] and crystallographic experiments [33].

Over the past five years, the formal basis of this classic, premolecular biology view has been reinvestigated, leading to new maps of pharmacology and the discovery of new drug activities.

Despite the popularity of applying PLs in practice, lack of formal basis on the patterns' inter-relationships in general, and PLs in particular, makes development of supporting tools difficult.

Information on the cost effectiveness of interventions provides a formal basis for evaluating efficiency of allocated resources, to maximise overall population health gains under resource constraints.

It is the formal basis for the use of linear Darcy law, and the average effective value of the oil viscosity, as the account in the hydrodynamic model of the parameters calculated by Eq. (5), allows minimizing the influence of structural and mechanical properties of oil on the process of its production.

A decade ago, we developed a formal basis for the semantics of physical science (STMML) [21] where we separated the infrastructure into: Basic ST E M data (datatypes and structure).

Artist Nils Völker has used this irrational number as the conceptual and formal basis for a series of 50 light paintings he's called Variations on Pi, which you can purchase from his site.