# Computation

51

**computation tree logic**— noun A particular modal logic of branching time with operators next , globally , finally or eventually , until , and weak until . Syn: computational tree logic, CTL …52

**Computation of radiowave attenuation in the atmosphere**— One of the causes of attenuation of radio propagation is the absorption by the atmosphere. There are many well known facts on the phenomenon and qualitative treatments in textbooks.[1] A document published by the International Telecommunication… …53

**computation bound**— A condition in which the speed of operation of the processor actually limits the speed of program execution. The processor is limited by the number of arithmetic operations it can perform. See also input/output bound …54

**computation of time**— For the purpose of calculating time under the Rules of Civil Procedure, the day of the act or event from which the designated period of time begins to run shall not be included. The last day of the period so computed shall be included, unless it… …55

**computation of time**— For the purpose of calculating time under the Rules of Civil Procedure, the day of the act or event from which the designated period of time begins to run shall not be included. The last day of the period so computed shall be included, unless it… …56

**Morphological computation (robotics)**— Morphological computation is computation obtained through interactions of physical form. Contents 1 Birth of the term morphological computation 2 Relevance 2.1 Robotics 2.2 Artificial intellige …57

**Theory of computation**— In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… …58

**Secure multi-party computation**— (also known as secure computation or multi party computation (MPC)) is a sub field of cryptography. The goal of methods for secure multi party computation is to enable parties to jointly compute a function over their inputs, while at the same… …59

**Human-based computation**— In computer science, human based computation is a technique when a computational process performs its function via outsourcing certain steps to humans (Kosorukoff, 2001). This approach leverages differences in abilities and alternative costs… …60

**Evolutionary computation**— For the journal, see Evolutionary Computation (journal). In computer science, evolutionary computation is a subfield of artificial intelligence (more particularly computational intelligence) that involves combinatorial optimization problems.… …