Sentence examples for in order to formalize from inspiring English sources

In order to formalize this, I develop an abstract syntax for composition languages and two calculi.

In order to formalize this approach, we examine decision making in the framework of decision theory.

In 1995, one of Mr. Mandela's first acts was to establish the Truth and Reconciliation Commission in order to formalize the forgiveness process.

First, it provides a set of improvements to a computational model called distributed stream processing in order to formalize it as a real-time infrastructure.

The BM2KB ontology was developed in order to formalize the knowledge about brittle microstructures in the fault rocks sampled from the SAFOD cores.

After having extended dfSTIT with knowledge modalities, in the second part of article, we exploit it in order to formalize four types of counterfactual emotions: regret, rejoicing, disappointment, and elation.

Security policies are formalized in syntax of Prover9 in order to validate their consistency.

Moreover, firms from developing countries should subscribe to international codes in order to both formalize their policies and improve through benchmarking themselves against organizations in other developing or even developed countries.

Bayesian approaches could be used, in order to efficiently formalize probabilities of activity for new agents in specific rare cancers.

In order to be able to formalize and quantify the adherence, we categorized dose adjustments into seven discrete groups (table 1).

The requirement that animals be used in research and testing in order to protect humans was formalized in the Nuremberg Code and subsequent national and international laws, codes, and declarations.