interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation....

Interactive evolutionary computation (IEC) or aesthetic selection is a general term for methods of evolutionary computation that use human evaluation...

Interactive Computing". Electronic Notes in Theoretical Computer Science. Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo...

instance of interactive computation as an extreme opposite to batch processing, where neither writing the program nor its use happens in an interactive way....

In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two...

mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently...

function problems) and using other models of computation (e.g. probabilistic Turing machines, interactive proof systems, Boolean circuits, and quantum...

loops), and later graphical user interfaces became common. Non-interactive computation, both one-off jobs such as compilation, and processing of multiple...

connectives and proof behaviours by following the paradigm of interactive computation, similarly to what is done in game semantics to which it is closely...

Another relevant addition would be the discussions concerning interactive computation, especially those related to the meaning and use of Turing's model...

approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing the whole computation process:...

statement. Unlike interactive zero-knowledge proofs, which require multiple rounds of interaction between the prover and verifier, non-interactive zero-knowledge...

and space complexities to interactive computations, and introduced a third sort of a complexity measure for such computations, termed "amplitude complexity"...

Dependence logic Ehrenfeucht–Fraïssé game Independence-friendly logic Interactive computation Intuitionistic logic Ludics J. Hintikka and G. Sandu, 2009, "Game-Theoretical...

In computer science, evolutionary computation is a family of algorithms for global optimization inspired by biological evolution, and the subfield of...

Secure multi-party computation (also known as secure computation, multi-party computation (MPC) or privacy-preserving computation) is a subfield of cryptography...

Jupyter Notebook (formerly IPython Notebook) is a web-based interactive computational environment for creating notebook documents. Jupyter Notebook...

Human-based computation (apart from the historical meaning of "computer") research has its origins in the early work on interactive evolutionary computation (EC)...

programs. The project strongly confirmed expectations that the use of interactive computation with a high-level interpretive language would be highly motivating...

study of computation, information, and automation. Computer science spans theoretical disciplines (such as algorithms, theory of computation, and information...

algorithm Non-determinism Non-deterministic Turing machine Interactive computation Interactive proof system Probabilistic Turing Machine Approximation algorithm...

introduced by interactive genetic algorithms. Human-based computation Human-based evolutionary computation Human–computer interaction Interactive genetic algorithm...

computer – Human–computer interaction IA-32 – IA-64 – IBM PC – Interactive computation – IBM – iBook – iCab – iCal – Icon – iDVD – IEEE 802.2 – IEEE 802...

is enough to achieve computational zero-knowledge without requiring interaction. The most popular interactive or non-interactive zero-knowledge proof...

237R. doi:10.1038/166237a0. PMID 15439257. M. Lucente (1993). "Interactive computation of holograms using a look-up table". Journal of Electronic Imaging...

studies using interactive systems. There are two terminologies that relate to each other: social science computing (SSC) and computational social science...

In computational complexity theory, an Arthur–Merlin protocol, introduced by Babai (1985), is an interactive proof system in which the verifier's coin...

of B1,...,Bn. CoL formulates computational problems in their most general—interactive—sense. CoL defines a computational problem as a game played by a...

study of computational geometric algorithms, and such problems are also considered to be part of computational geometry. While modern computational geometry...

Computational science, also known as scientific computing, technical computing or scientific computation (SC), is a division of science, and more specifically...