Sentence examples for using the presented formalism from inspiring English sources

Building a PLV for a given Pattern Language, requires the structural, syntactic, and semantic rules of the language to be precisely defined using the presented formalism.

Using the "quasi-thermostatic method" of Helmholtz, Thomson and Brønsted and using the present formalism lead to the same results.

To facilitate the use of the presented formalism and database, we designed and implemented a software tool.

The database of experiments following the presented formalism was implemented using the database engine SQLite (public domain).

To illustrate the presented formalism, we curated (using a specific software tool, see below) the experiments reported in a selection of primary papers from the planarian literature, creating a centralized database of planarian experiments.

We selected the planarian worm to illustrate the presented formalism.

We modeled and implemented the presented formalism for regenerative experiments in a relational database.

To better illustrate this morphological graph encoding, we chose the planarian worm as an application of the presented formalism.

The analysis has no limitation to a particular range of frequencies such that the Rayleigh, Mie or geometrical optics regimes can all be considered effectively using the present rigorous formalism.

It emerged that incipient squeal frequencies observed experimentally could be predicted in 75% of the cases using the simplest formalism presented in Duffour and Woodhouse (2004).

We use the formalism presented in [37], to further elaborate the inputs and outputs of the atomic workflows: atomic workflow: {text{WF}}_{text{AT}} = :, left{ {{text{job}}left( {{text{f}}_{text{h}} } right)} right} (2 where h = 1; job(fh) ∈ jobs.