Sentence examples for propose a condition from inspiring English sources

In light of this, Convention T guarantees that the truth predicate given by the theory will be extensionally correct, i.e., have as its extension all and only the true sentences of L. which are usually called the Tarski biconditionals for a language L. Tarski does not merely propose a condition of adequacy for theories of truth, he also shows how to meet it.

The extended SystemC simulator is intended for robustness evaluation of digital and embedded designs, for which we propose a condition-oriented quantitative fault model.

But he proposed a condition that might not be acceptable to the United States and other governments that have been trying to negotiate a compromise over Iran's nuclear program.

The Democrats who control the Assembly have also demanded that the transportation authority commit to building the Second Avenue subway the length of Manhattan, rather than from 125th Street to 63rd Street, as the authority has proposed, a condition that would probably make the whole plan cost more.

This article proposes a condition monitoring scheme based on energy profiles generated from wavelet spectrum analysis.

This paper proposes a condition for local current density decoupling between two adjacent cells with arbitrary degree of perturbations.

Vale and Ribeiro [16] proposed a condition-based maintenance model formulated as a nonlinear program that characterised the deterioration rate of the standard deviation.

We propose a weak condition of compatibility between phases applicable to cases exhibiting full or partial coherence and Widmanstätten microstructure.

Remark 7 In Theorem 1, we propose a sufficient condition for the existence of exponential stability for the considered 2D discrete switched system (1).

Making use of the p th moment exponential stability theory, we propose a sufficient condition of the p th moment exponential consensus for the WSNs.

We propose a syntactic condition on a process p, ensuring that, during its execution, p is unable to synchronize two atomic sequences, not even indirectly; a process satisfying such a syntactic condition will be called well-formed.