Sentence examples for which given an from inspiring English sources

SLC can be used to automatically translate the Erlang description into a verification tool frontend, i.e., a parser and a semantic evaluator which, given an Erlang program, compute the associated transition system.

It presents a set of rewriting rules for XFDs, and use them to design a polynomial time algorithm which, given an input set of XFDs, computes a reduced set of XFDs.

We present and test a numerical method which, given an analytical or numerical solution of the Helmholtz equation in a neighborhood of a fixed observation point and assuming that the geometrical optics approximation is relevant, determines at this point the number of crossing rays and computes their directions and associated complex amplitudes.

We study the multiterminal cut problem, which, given an n-vertex graph whose edges are integer-weighted and a set of terminals, asks for a partition of the vertex set such that each terminal is in a distinct part, and the total weight of crossing edges is at most k.

It operates on the cyclic autocorrelation (CA), which, given an observed signal x t), is defined as [7] {R_{x}^{alpha} tau)} = underset{Trightarrow infty}{text{lim}} frac{1}{T} intlimits_{-T/2}^{T/2} {x {t + tau/2})} {x^{ast}(t - tau/2)} e^{-j2pialpha t} mathrm{d} t (2).

Just as "state one" simply is the state in which, given an input B, such-and-such happens, so being in pain is the state which disposes one to cry "ouch", become distracted, wonder what the cause is, and so forth.

Expressions have characters which, given a context, determine a content.

It was green & white, with latticework, which gave an out of doors effect.

One doesn't face market pressures, which gives an artist amazing freedom.

Retail sales, which give an indication of domestic demand, grew 13.1 percent in July.

Index on Censorship, which gave an award to De Morais last year, said the case was absurd.