Sentence examples for choice operator from inspiring English sources

In order to characterize NPTIME we extend the lambda-calculus by a nondeterministic choice operator, and the system by a rule for dealing with this new term constructor.

The novelty is the algebraic style in which the fair choice operator is defined and in which formal reasoning is carried out; it avoids an appeal to the operational understanding of fairness.

We follow an approach of Veglioni and De Nicola (Lecture Notes in Computer Science 1466 19988) 179) who propose to interpret the choice operator + of a simple class of finite process terms as underspecification whenever it combines two processes that have some initial action in common, as e.g. in (a.P+b.Q)+(a.R+c. S).

Reading the epsilon operator as an indefinite choice operator ("an x such that A x)") suggests that it might be a useful tool in the analysis of indefinite and definite noun phrases in formal semantics.

That, said EU Digital Agenda Commissioner Neelie Kroes, should encourage more operators to compete on the roaming market: "This proposal tackles the root cause of the problem - the lack of competition on roaming markets - by giving customers more choice and by giving alternative operators easier access to the roaming market.

We give overviews of our test case, the SDF problem, and the DADI method, with some justification for our choice of operator splitting.

It is shown that accurate and efficient bounds can be obtained, for a proper choice of operator norm, with as few as one or two terms in the Neumann expansion.

The unitary evolution process ((U t))_{tgeq0}) is adapted, as will be the Heisenberg dynamical process ((j_{t} (X) )_{t geq0}), for each initial choice of operator X.

Beside the choice of operator (25), which is naturally imposed, a crucial point in the proof of Theorem 2 is the choice of constant q in (23) to get the contractivity of the operator.

stature and weight of the tractor operators, choice of operating conditions, and reaction forces from seat pan and backrest cushions.

"Consumers will have a choice of operators when going abroad.