Sentence examples for between derivations from inspiring English sources

There was excellent agreement between derivations, simulations, and experiments.

The constructive character of intuitionistic logic becomes particularly clear in the Curry-Howard isomorphism that establishes a correspondence between derivations in the logic and terms in simply typed $\lambda$-calculus, that is, between proofs and computations.

In discussing Prawitz's (1971) survey, Kreisel (1971, p. 111) explicitly speaks of a "mapping" between derivations and mental acts and considers it as a task of proof theory to elucidate this mapping, including the investigation of the identity of proofs, a topic that Prawitz and Martin-Löf had put on the agenda.

In 1999, NIH officials made a distinction between derivation of hESCs and research on derived cells.

When this rough distinction between derivation and inflection is made more precise, problems occur.

But the various formal criteria that have been proposed to give effect to this general principle are not uncommonly in conflict in particular instances, and it probably must be admitted that the distinction between derivation and inflection, though clear enough in most cases, is in the last resort somewhat arbitrary.

Hungar said the Bush policy is "also illegal" because of the link between derivation and research on hESCs.

After adjustment of intercept (to correct for difference in prevalence between derivation and validation cohorts), calibration remained poor (P<0.01).

There is no significant difference between derivation and validation set in terms of OS (P =  0.06) contrary to DFS (P =  0.04) (Fig. S1 reporting the log-rank test).

Using interval end-points determined by the derivation cohort, quintiles of predicted risk were created which ranged between 5 % and 30%% and these were concordant between derivation and validation cohorts (Additional file 1: Figure S2).> -wrap-foot> Abbreviations.

A model's performance may differ substantially between derivation and validation cohorts for several reasons including overfitting of the model, missing important predictor variables, interobserver variability of predictors leading to measurement errors, and differences in the patient cohort case mix.