Sentence examples for formalized analysis from inspiring English sources

We prove the formalized analysis strategies to be sound with respect to the probabilistic approach to reliability analysis of a single product.

Furthermore, formalized analysis of self-assembled systems in terms of molecular shape of constituent amphiphiles, is of fundamental importance in all fields involving molecular interfaces, from the study of synaptic endocytosis in neural transmission to the understanding of primitive cellular membranes.

Field notes undergo formalized analysis after the researcher has finished her fieldwork.

The formalized analysis enables identification of sources of uncertainty; eruptive volume uncertainties (>30 %) are much greater than thickness measurement uncertainties (~10 %).

However, the bibliometric analyses rely completely on information included in Scopus and its formalized analysis options, and thus it was not checked whether an article contained original data.

In Kleene and Vesley [1965] and Kleene [1969], functions replace numbers as realizing objects, establishing the consistency of formalized intuitionistic analysis and its closure under a second-order version of the Church-Kleene Rule.

The whole-brain isotropically-resolved 3D acquisition capability of mcDESPOT allowed for the first time the registration of 3D MWF maps to standard space, and consequently a formalized voxel-based analysis of the data.

The name Justification Logic was introduced in (Artemov 2008), in which Kripke, Russell, and Gettier examples were formalized; this formalization has been used for the resolution of paradoxes, verification, hidden assumption analysis, and eliminating redundancies.

The analysis of the formalized design is achieved using existing tool support for the formal methods, which leverages a large body of work in the research community.

"Gap analysis" is a formalized way to implement this procedure.

Upon applying this analysis to the formalized BioModels Database, we detect several contradictions in the knowledge base.