Sentence examples for computable processes from inspiring English sources

Mathematicians and computers alike apply computable processes to the problem of judging the correctness of assertions; both will therefore sometimes err, since seeing the truth is known not to be a computable operation, but there is no reason why the computer need do worse than the mathematician.

In this variety the objects are defined by means of Gödel-numberings, and the procedures are all recursive; the main distinction between RUSS and the classical recursive analysis developed after, in 1936, the work of Turing, Church, and others clarified the nature of computable processes, is that the logic used in RUSS is intuitionistic.

Thus, he now seemed to think that the mind when not actually following any conscious rule or plan, was nevertheless carrying out some computable process.

It provides a computable procedure for processes of dimension up to 5 × 5.

A tool for uncertainty propagation in a general, user-oriented, computational system, instead of a software library or a dedicated system, makes uncertainty propagation transparently computable also for vector/matrix measurands, even in the case of dynamic systems, and makes uncertainty evaluation an inherent component of computational processes instead of an optional, ad hoc, addendum to them.

BRAHMS is a tool for integrating computational process modules into a viable, computable system; its generality and flexibility facilitate integration across barriers, such as those described above, in a coherent and effective way.

These computable models of cellular processes can substantially improve high-throughput data analysis by linking correlation to causation.

Such metrics are inherently computable using computational homology, provided the microstructures are discretized using a thresholding process.

The causal relationships in the model are expressed in the Biological Expression Language (BEL) 44, which allows for the representation of biological processes in a computable format.

We combined a literature survey with a computational analysis of multiple transcriptomic data sets to construct a computable causal network model (the Inflammatory Process Network (IPN)) of the main pulmonary inflammatory processes.

Building causal computable BN models is a process that has been previously described in several publications and is briefly summarized below.