Sentence examples for formalization of information from inspiring English sources

The use of an ontology enables the formalization of information content.

Hence, we designed a Document-based supporte Architecture to systems systems where formalization of information repositories, standardization of information location and management of every aspect involved in distributed contexts are crucial needs.

They provide an example to show that the formalization of information by sigma-algebras and by partitions need not be equivalent.

Ontology can play an important role in the formalization of product information.

Such statistical descriptors are involved in assessment of correlations between the microstructural components and are parts of mechanical theories which require formalization of the information about microstructural morphology.

Stone shows that modal logic can be used to modularize the formalization of the information required in this task; he also shows how modal theorem proving can be used to implement the reasoning.

This paper provides an outline of a formalization of classes of information fusion systems in terms of category theory and formal languages.

However, all the other indicators were classified as at high risk level (level 3) for the three farms (sufficiency of operator competences, extent of management commitment, degree of employee involvement, level of formalization, sufficiency supporting information systems, food safety information exchange, and inspections of food safety authorities).

Requirements that are contingent on the degree of organizational formalization, information interdependence among functional areas, and dependence in interorganizational information sharing and electronic data interchange links, are examined.

Mathematical morphology was initially introduced for image analysis and was primarily aimed on formalization of microscopy images by extracting quantitative information (Matheron 1971, 1975; Najman and Talbot 2010).

For reaction networks fulfilling the given three conditions, ODEs and a structured formalization by, e.g., a CPN, are equivalent representations, which can be transformed into each other without loss of information.