Sentence examples for computational specifications from inspiring English sources

Section 3 presents the areas of study, the data used and computational specifications.

To obtain a computational specification for temporal simulation of each state, a difference equation is used in the form of Eq. (4).

Logic programming can be explained using proof search as its theoretical basis, and linear logic provides this approach to computational specification with new combinators for building logic programs, new means to capture rich dynamics, and new declarative approaches to specify concurrent computations.

Linear logic provides this approach to computational specification with new types, new declarative means for statically understanding how resources may be used in a computation, and provided an appealing means for formalizing the duality between a function and the environment that supplies it with arguments.

Rather than relating abstract psychological capacities to each other, higher level descriptions of the mind/brain in cognitive neuroscience relate capacities understood as functional descriptions of fairly coarse-grained brain areas, not purely abstract computational task specifications.

In this paper we introduce the use of Maude as a formal notation for writing and executing ODP computational viewpoint specifications.

The general model checking steps are: Modelling : Creating an abstract representation of the system (e.g. a computational model); Specification : Encoding the formal specification of the system.

Modelling: Creating an abstract representation of the system (e.g. a computational model); Specification: Encoding the formal specification of the system.

Our proposal for computational metadata specification defines two complementary concepts: A 'process' represents the analysis steps and associated input and output files in an abstract form.

We assume that this is the case in many areas of bioinformatics research, which allows for wide applicability of our computational metadata specification.

We propose an alternative form of computational metadata specification that allows for a complete record of all computational operations applied to a file with reasonable effort on the developer's side.