Sentence examples for for the formalisation from inspiring English sources

The resulting six meaning facets provide a conceptual framework for the formalisation of the knowledge involved in building and using bio-models.

However, it seems premature to design interventional studies straightaway, before the factors that are crucial and necessary for the formalisation and setting up of such studies have been identified.

The signing of the Kyoto Protocol also provides a basis for the formalisation of a market (between countries) for carbon-sequestration projects, but whether such a market will emerge as a significant force in forestry remains a moot point and will depend on a number of important developments.

The creativity of social enterprises and local authorities is both excitingly modern and reassuringly timeless – this, after all, was how the welfare state was built, from the formalisation of autonomous initiatives in which communities cared for each other.

Bakvis said the draft did not "examine options for incentivising the formalisation of work, despite the considerable efforts the ILO has made toward that goal and the real progress that has taken place in some developing countries to deliver the benefits of formalisation: legal protection of workers' rights, including their right to safe workplaces, and access to social security.

The paper concludes with insights regarding the planning and management of BRT systems to maximise their potential for leveraging the formalisation of informal operators, both in South Africa and in other developing countries.

Further, the process of preparing for the Exercise motivated the formalisation of the AVSAG structure (McDowell 2008) and helped to improve the understanding and performance of "individual elements" within a major CDEM operation (MCDEM 2008).

Emanating from this exercise is a suite of recommendations and a proposed governance model for an African space programme, which could input into the formalisation process for the governance framework.

The network model provides the formalisation and theoretical basis for the generation of options for the design of agile production plants, and the subsequent selection of the most appropriate option when reconfiguring a plant to meet changing product and process demands.

Formal approaches (languages, ontologies and biological resources) for computer representations of bio-models and their contribution to the formalisation of the meaning facets as shown for the example models by Tyson.

The paper shows, where the constructs proposed in the standard are not so easily formalized, and how the formalisation may be used for formal analysis.