Sentence examples for of our formalization from inspiring English sources

The result of our formalization is a formal characterization of the distinctions that are made by a modelling language as well as how the structure of a model within this language reflects the structure of the biological phenomena it represents.

At the end of the article we present an application of our formalization of counterfactual emotions to a concrete example.

As part of our study, we also explore the deployment of our formalization in a prototype hospital Web portal messaging system.

A high degree of trust in the program's correctness was achieved by (a) the simplicity and transparency of our formalization, ARCS, which made it possible for the users to informally verify its correctness; (b) a proof of correctness of the program with respect to ARCS.

The aim of our formalization is to automatically label the target data, to attribute weights to samples of both source and target datasets reflecting their relevance, to select relevant samples for the training according to their weights, and to train a scene specialized classifier.

By comparing our characterization with security notions occurring in the literature and by sketching properties of our definitions we argue that our formalization of security is reasonable and adequate.

It must be noted that our formalization of naive set theory is an anachronism.

In our observation, appropriate formalization of our policy language enabled formal analysis of its policies; these features were key to a successful model-driven engineering process.

From the formalization of our proof in Coq, we extract Robinson's famous resolution algorithm as a Haskell program correct by construction.

In this section, we introduce a formalization of our model.

In this section, we initially present the theoretical formalization of our problem.