Sentence examples for which can be decided from inspiring English sources

This is the hallmark of a feasibly decidable problem – i.e. one which can be decided in the 'in practice' sense of everyday concretely embodied computation.

To be sure, frivolity or some analogous standard delimits those appeals, paid or nonpaid, which can be decided without oral argument.

Recall that a complexity class is a set of languages all of which can be decided within a given time or space complexity bound \(t(n)\) or \(s(n)\) with respect to a fixed model of computation.

In a sport which can be decided on millimetres, spectators will notice one major difference between wheelchair curling and its Olympic equivalent - the lack of sweepers - meaning precision is the key to success.

The demarcation between contingent propositions, which can be used to correctly or incorrectly represent parts of the world, and mathematical propositions, which can be decided in a purely formal, syntactical manner, is maintained by Wittgenstein until his death in 1951 (Zettel §701, 1947; PI II, 2001 Ed., pp. 192 193e, 1949).

3.2 Complexity classes and the hierarchy theorems Recall that a complexity class is a set of languages all of which can be decided within a given time or space complexity bound \(t(n)\) or \(s(n)\) with respect to a fixed model of computation.

A criterion is derived for quasi steady-state situations, by which it can be decided whether the simplifying assumption of a zero-concentration at the downstream boundary in through-diffusion is justified or not.

First, we identify a sufficient condition under which consistency can be decided in polynomial time for networks of bounded treewidth in QSTR, and show that this condition is satisfied by a range of calculi including the Interval Algebra, Rectangle Algebra, Block Algebra, RCC8, and RCC5.

The contestant playing white 'breaks' or plays first, which also can be decided by the toss of a coin.

It treats the trade-offs between human needs for water, energy and food as a perfect equilibrium model, in which resource allocation can be decided.

The place in which supplementary information is presented can be decided by authors and editors of the individual journal.