Sentence examples for be described using formal from inspiring English sources

Mechanisms can perhaps be described using formal accounts of theories perhaps they can be axiomatized in predicate logic or reconstructed as set theoretic predicates.

The researchers discovered that the large majority of the students' strategies could be described using a formal language called linear temporal logic, which in turn could be used to add constraints to the problem specifications.

Any regenerative experiment can now be described using two formal descriptors: a Manipulation and the resulting Morphologies.

Formal model is described using Vienna Development Methods-Specification Language (VDM-SL) which has a detailed level of description with computer tools support (SCSK Corporation 2013).

He argues that "nothing"—not empty space filled with invisible things, as put forth by quantum physics, but literally nothing can be easily described using only formal logic.

Since the EGFR signaling pathway can be described as a formal system, there is great opportunity for other complex biological signaling pathways to be modeled and validated using formal verification methods [ 32].

An implicitly more objective option for drawing isopach maps is to fit thickness data to a surface described mathematically using formal interpolation methods.

Mussaurus eggshell has to our knowledge never been described in a formal publication.

The formal proof of correctness was obtained using formal verification tools.

Usability was evaluated using formal usability tests and field observations.

Within this sample, percentage prevalence estimates of informal and formal help use were described by sociodemographic, socio-economic and clinical variables using Pearson's χ test with Rao & Scott corrections to test for differences.