Log in or sign up to add your own related words. synonyms (159) Words with the same meaning MO SOP act action actions activity acts address affectation air algorithm approach arrangement attack
general scope within the meaning of Article 2 of Council Decision 1999/468/EC of 28 June 1999 laying down the procedures for the exercise of implementing powers conferred on the Commission [19], they should be adopted by use of the regulatory procedure provided for in Article 5 of that ...
meaning-preserving Skolemizationquery-answering problemsMeaning-preserving Skolemization is essential for development of a correct and efficient method of solving query-answering problems. It requires global existential quantifications of function variables, which in turn require an extended space of logical ...
In 1986, Jouannaud and Kounalis introduced the concept of ground reducibility [Jouannaud and Kounalis, 1986] of a term, meaning that any instantiation of its variables by ground terms is reducible. Their approach allows handling relations between constructors. Ground reducibility is decidable for ...
If the DebitChecking program returns true—meaning that there was enough money to pay the bill—the program commits. If it returns false, then there wasn’t enough money to pay the bill and the transaction aborts. In both cases the PayCreditCard program updates the credit card table. But ...
Ideally this gateset is universal, meaning that any unitary operation can be implemented on the quantum processing node by sequences of unitaries from \({\mathbb{G}}\), but we will only need a weaker property to perform network benchmarking, as we shall see in section Network benchmarking...
The matching rate was unknown and as in most other trials most likely less than 100%, meaning that recruit- ing just the same number of patients as in the external control arm will not result in a situation where a match- ing partner is found for all patients in the control group. A ...
etc. The Node B may want to decide whether the UE must report measurements in message 3 or not. Message 2 may be used for this purpose. Message 2 may include a CQI request bit, whose meaning may be undefined in the contention-based RA. Alternatively, message 3 may be hijacked by the...
A method of calculating a function by deriving values of it which become more accurate at each step; recursive procedures are explicitly outlawed in most systems with the exception of a few which use languages such as ALGOL and LISP.McGraw...
Band—The term “band” has the full breadth of its ordinary meaning, and at least includes a section of spectrum (e.g., radio frequency spectrum) in which channels are used or set aside for the same purpose. Automatically—refers to an action or operation performed by a computer system ...