Sentence examples for introduced a notation from inspiring English sources

We introduced a notation for formalizing structural code-coverage.

Confronted with this ambiguity, Boolos (1995) introduced a notation for quotation in which every quotation mark 'knows its name'.

Oswald ([1976], [1981] and [1982]) introduced a notation according to which NFn is the system axiomatised by the n-stratified axioms of NF, and NnF is extensionality plus the existence of {x : φ(x)} where φ is n-stratified (parameters are allowed).

At the end of this section, we introduce a notation, which will be used frequently in the following sections.

In De Analysi, for example, Newton introduces a notation for the "momentary increment" (moment)—evidently meant to represent a moment or instant of time of the abscissa or the area of a curve, with the abscissa itself representing time.

In this article Kirner addresses this problem, and discusses methods for preserving code coverage achieved at source-code level and introduce a notation for formalizing structural code-coverage.

On the one hand, in his Isagoge [Introduction to the analytic art] of 1591, which was presented as part of a larger project to restore ancient analysis (entitled Book of the restored mathematical analysis or the new algebra), Viète introduces a notation that allowed him to treat magnitudes in a general way.

As a result, we introduce a notation we shall use henceforth when we work in integer numbers of years N; We take o= exp (o = 0.9 in the present example), and thus operability after N years is just o N. We find from the preceding formulae that the chance of a working ASM after 6 years is 0.53 and after 10 years 0.35.

In this article, we have introduced a novel notation that allows for estimating the speech signals at all microphones at once.

In his 1917 piece The Tides of Manaunaun, Cowell introduced a new notation for tone clusters on the piano and other keyboard instruments.

Given some disparity in nomenclature among this body of work, we have introduced a new notation differentiating models, which is explained in Table 2.