Sentence examples for language supplemented with from inspiring English sources

Our approach is based on EP, a formal executable modelling language, supplemented with OCL, and FTL, a formal language of templates.

But one might also capture lawlikeness in a first-order modal language supplemented with sentential operators for natural necessity and natural possibility (Niiniluoto 1983).

He believes that one can make Bohr's requirement that measuring apparatus and the experimental results have to be described in ordinary language supplemented with the terminology of classical physics consistent with ontological quantum fundamentalism.

A needs assessment study aimed at improving aviation students' English language skills was supplemented with qualitative and quantitative data through interviews, survey questionnaire and focus groups.

In thise case instead of having second-order quantification over sets (or properties), one stays with a first order language which is supplemented with a predicate true of all and only sets (or properties), a distinct style of variables for those entities, and with a two place relation of either membership or instantiation.

Because a little bit of effort and sincerity (occasionally supplemented with sign language and a dictionary) can take you further than any airplane.

In this paper the language is a highly regimented Polish supplemented with variables, because at the time Leśniewski did not trust symbolic methods, having found the use/mention confusions in Whitehead and Russell's Principia Mathematica a barrier to understanding, and assuming any symbolic logic had to be like that.

Later thinkers turned to philosophical naturalism, supplemented with the traditional God language, as the suitable expression of Judaism.

Such discussions, which can be cumbersome and confusing without a formal language, can take place quickly and explicitly when supplemented with causal diagrams.

Goodman and Quine construct a theory of syntax for the set-theoretic language and a proof theory based on the Calculus of Individuals (see section 3.2 below) supplemented with a token-concatenation theory.

They are also supplemented with other designs.