「COMPUTATION」の共起表現(1語右で並び替え)

「COMPUTATION」の共起表現一覧(1語右で並び替え)

COMPUTATION

1 2 次へ＞

1語右で並び替え

該当件数:297件

In evolutionary computation a "deme" often refers to any isolated subpo
In the theory of computation, abstract machines are often used in though
ade a proposal to protect adiabatic quantum computation against decoherence, using dynamical decoup
ichael Sipser and Andrew Childs, on quantum computation algorithms and time-travel computations.
Some guidelines contain decision or computation algorithms to be followed.
millimetre-to-centimetre accuracy in geoid computation, an-order-of-magnitude improvement from pre
n working on high-level methods for quantum computation and information.
d Chairman of the Division of Mechanics and Computation, and occupied the Mary and Gordon Crary Cha
he London Mathematical Society's Journal of Computation and Mathematics.
id the foundations of the quantum theory of computation, and has subsequently made or participated
package name stands for "GRaphing, Advanced Computation and Exploration of data."
physics, chemistry, and biology, including computation, and simulation.
the London Mathematical Society Journal of Computation and Mathematics, and the A K Peters Researc
is a pioneer of the fields of evolutionary computation and artificial evolution.
eas include discrete mathematics, theory of computation and probability theory.
rch on mathematical details of evolutionary computation and purported to underlie intelligent desig
ods in Computer Science and Information and Computation, and sits on the editorial board of Higher-
ling and the Journal of Chemical Theory and Computation, and was formerly the editor of the Journal
ion of theoretical issues in the physics of computation and computational models of physics.
n in mathematical issues related to quantum computation and quantum information theory.
He is one of the pioneers in evolutionary computation and one of the authors responsible for the
cs, connections between classical logic and computation, and practical extensions of continuations.
clude an electronic journal, the Journal of Computation and Mathematics; and a regular members' new
on LSU's campus and renamed the Center for Computation and Technology.
The Center for Computation and Technology, or CCT, is an interdiscipli
r his work on the Actor model of concurrent computation, and was also Editor-in-Chief of ACM Comput
energy and the environment, nanotechnology, computation and information technology, and media and t
ef of the IEEE Transactions on Evolutionary Computation, and general chairman for the 2002 IEEE Wor
ods are precise but very costly in terms of computation and space storage, while summary methods ar
UC 32162) contains what seems to be an area computation and a problem concerning the value of ducks
pecifically Computational Physics, Physical Computation and related subjects, with topics such as a
s, compression, mesh generation, scientific computation, and visualization.
olitan University, and an expert on natural computation and DNA computing.
al underpinning for the study of concurrent computation and process calculi.
one of the earliest examples of human-based computation and human-based genetic algorithm (Kosoruko
ology, systems biology, drug discovery, and computation and modeling of regulatory pathways.
with the project and organized seminars on computation and applied mathematics at the project's of
xpresses the axioms that may be used in the computation and the control component determines the wa
C. Pozrikidis, Fluid Dynamics: Theory, Computation and Numerical Simulation; Accompanied by th
ey draw on structural engineering, embedded computation and adaptable architecture.
A (appendix IV in his thesis) that was also computation- and construction-universal but again didn't
Algorithmica: Special Issue on Quantum Computation and Cryptography.
the Louisiana State University's Center for Computation and Technology.
ce exact samples, at the cost of additional computation and an unbounded (though finite in expectat
Dynamics, Computation, and the "Edge of Chaos": A Re-Examination
ral networks), theoretical biology, quantum computation and graph theory (crossing numbers, book em
tomata, discrete mathematics as pertains to computation, and computational complexity theory.
currently works at the intersection between computation and biology in the area of synthetic biolog
ance, constraint satisfaction, evolutionary computation, and heuristic search.
r of the Center for Spintronics and Quantum Computation and Associate Director of the California Na
He did his doctoral work in Computation and Neural Systems at Caltech from 1999 to
medical and biological problems using both computation and experiment.
on the editorial boards for The Journal of Computation and Mathematics (London Mathematical Societ
g a coherent system of ideas that justifies computation as an organizing principle of science.
a special case that derived from concurrent computation as explained in Actor model theory.
venting the term qubit, which is to quantum computation as a bit is to traditional computation.
He is currently University Lecturer in Computation at the Oxford University Computing Laborato
A measurement based scheme for quantum computation based upon this principle has been found, w
He is the current head of the Graduate Computation Biology field.
early creative combinations of analysis and computation, but most especially for seminal work in th
primarily in that it involves somewhat more computation but is applicable to problems that aren't p
Vision, Brain, and Cooperative Computation by Michael A. Arbib (Editor), Allen R. Hans
functions of symbolic expressions and their computation by machine.
In the branch of evolutionary computation called genetic programming, for instance, t
Rolf Landauer to show that general-purpose computation can be performed by a logically and thermod
He joined MIT's Computation Center immediately upon graduation, became
Dartmouth College Computation center, 1968.
The M.I.T. Computation Center, organized in 1956, housed an IBM 70
nd Artificial Intelligence (Cork Constraint Computation Centre - 4C).
learning systems and nonclassical models of computation combining robust learning and reasoning.
In The Essence of Computation: Complexity, Analysis, Transformation.
ned personal computers and workstations for computation, control and monitoring of experiments and
e parts of a chip becomes comparable to the computation delay itself.
Like a slide rule, it is a graphical analog computation device; and, like the slide rule, its accur
ore, the advent of active filters eased the computation difficulty because sections could be isolat
Evolution as computation: DIMACS workshop, Princeton, January 1999,
tar towards or away from the viewer, such a computation does not determine all orbital elements.
Yet, in a chain of computation, downstream events may very well find some
Evolving Cellular Automata Project and the Computation, Dynamics and Inference group.
Professor J. Finnegan, in VLSI, Systems and Computation, edited by H. T. Kung, Bob Sproull, and Guy
lambda calculus are not the only models of computation, either.
Processes are the main computation elements.
for his work on "graph-theoretic models of computation, emphasizing theoretical studies of paralle
the University of California, Irvine's Arts Computation Engineering graduate program.
If, due to computation errors or cheating by submitting false data
Marvin Minsky (1967) Computation: Finite and Infinite Machines.
f the PAN and PANAL parties, challenged the computation for the election of governor in 580 polling
Laboratory, which is devoted to statistical computation for economics applications.
in computer science as a kind of theory of computation for programmers, represented by Cartesian c
fault tolerance and his work on multi-core computation for relevance and significance to the field
The Cherry L. Emerson Center for Scientific Computation, founded in 1991, bears his name, as does C
Edinburgh (1983-1987), and then a DPhil in Computation from University of Oxford (1987-1991).
irst Council of Nicaea#Separation of Easter computation from Jewish calendar
rations in a subroutine call that makes the computation general and reusable.
It was developed at the Cognitive Computation Group of the University of Illinois at Urba
hD in cryptography at MIT, in the Theory of Computation group.
Fredkin has been broadly interested in computation: hardware and software.
He has stated the view that brute-force computation has eclipsed humans in chess, and it could
Searching, Merging, and Sorting in Parallel Computation, IEEE Trans.
MIT Press as Actors: a model of concurrent computation in distributed systems, a book which, accor
ematical logic can not implement concurrent computation in open systems.
special issue of Higher-Order and Symbolic Computation in memory of Strachey.
optimizations for the locality of data and computation in the program via abstractions for data di
the field of computational logic and neural computation, in particular hybrid systems with applicat
age was not delivered, would be a completed computation in which the message was never delivered!
to refer to an evaluation strategy for all computation in a language, whereas lazy futures represe
ingle Program Multiple Data (SPMD) model of computation in which the amount of parallelism is fixed
f quantum chemistry, defined as "Theory and Computation in Chemistry, Physics, and Molecular Biolog
of the problems in the theory of concurrent computation, including the problems of interleaving and
erious limitations for previous theories of computation including the lambda calculus and Petri net
Biophysics of Computation: Information Processing in Single Neurons,
Furthermore the Computation Institute addresses many of the most challe
ions (for example, uses a mutable array for computation internally, but does not expose it to the o
The Oxford Centre for Quantum Computation is also housed in the laboratory.
An isolated computation is described as an Isolate that can communi
The Journal of Logic and Computation is a scholarly journal focused on logic and
Evolutionary Computation is a peer-reviewed academic journal publish
This computation is in accordance with Section 1.4.2 of Prin
In computer science, a computation is said to diverge if it does not terminate
entially infinite tape on which to compute, computation is restricted to the portion of the tape co
Neural Computation is a peer-reviewed academic journal coverin
to be infinite, such as process calculi, a computation is said to diverge if it fails to be produc
Information about redundant computation is extracted by analyzing the interactions
The model of computation is very similar to a Kahn process network w
Distributed computation is object-based: objects hold a state, whic
The computation is considered to come about by parallel ope
fotrac: From Data Manipulation to Theory of Computation ISBN 978-0534391430
In quantum information and computation, it is essential to construct coherent comb
a at George Mason University's Evolutionary Computation Laboratory in conjunction with the GMU Cent
Reservoir computing is a framework for computation like a neural network.
tional capabilities of FORMAC permit direct computation, manipulation, and use of functions of adva
Computation, modelling and materials theory
oted to the topic "Foundations of Networked Computation: Models, Algorithms and Information Managem
The computation modules of Khimera allow one to calculate t
structures tends to make purely functional computation more amenable to analysis and optimization,
an ‘Physically possible' and implies that a computation must be made... in which the quantum of ris
ogical systems, nanostructures, theory (and computation), nanoelectronics, nano-optics, nano-mechan
nomy combined with a practical handbook for computation, nevertheless includes many compromises to
Parallel and Distributed Computation: Numerical Methods
oordinator, responsible for close encounter computation of Near-Earth asteroids (NEAs), orbit compu
architecture, mechanical behavior of wood, computation of pressure vessels, comparison to other fe
Computation of lowest common ancestors may be useful, f
By doing this, they avoid the computation of unnecessary display content.
edicted by a Tamil astronomer, based on the computation of the size and extent of the earth-shadow
ures, a variant of the particle filter with computation of particle weights by density estimation,
This is used in contrast to the modern mode computation of almanacs based on parameters derived fro
EISPACK is a software library for numerical computation of eigenvalues and eigenvectors of matrices
used in a simplified proof of the fact that computation of the permanent is .
ike structure to allow for immense parallel computation of hashes for very long inputs.
benzene spectrum was the first qualitative computation of the efficiencies of various vibrations a
is computed has obvious similarities to the computation of effective population size in population
ctral sequence is a device which allows the computation of the (co)homology of the fiber product in
With the computation of expansion velocities and the thermal cha
Lazy futures, where the computation of the future's value starts when the value
tic inductivity is employed in analysis and computation of circuit behavior in the grator-capacitor
The most straightforward computation of the quartet distance would require O(N4)
S for a given topology (which includes the computation of the branch lengths) is a linear least sq
PhD from South Bank University in 2001, on Computation of Ripple Effect Measures for Software, whi
rs and transport vehicles to facilitate the computation of the load carried.
These methods enable the computation of simple estimates of the unimolecular rea
chaotic mixing for an example of numerical computation of the uncertainty dimension compared with
on-parametric feature which is based on the computation of Mann-Whitney-Wilcoxon (MWW) rank-sum tes
ntributing an impressive elaboration to the computation of the strengths of the planets and astrolo
Computation of new variables
On the Computation of Collostruction Strength: [...].
instance, stochastic decoding requires the computation of the function .
rmances: e.g., the missing not outs prevent computation of batting averages.
The computation of the lexicographically smallest graph is
l equations, computational dynamics and the computation of highly oscillatory phenomena.
This enables computation of static air temperature and true airspeed
An analytical computation of asymptotic Schwarzschild quasinormal fre
designed to allow the approximate graphical computation of a function: it uses a coordinate system
79 and in TOPLAS in 1982, called "Efficient Computation Of LALR(1) Look-Ahead Sets".
solutions of problems involving gas network computation of any topology requires such a representat
Computation of a standard hash value for the record.
entation and parametrization, and efficient computation of level sets.
tiyah and Bott, to reduce, or localize, the computation of a GW invariant to an integration over th
fractional coverage, sky polarization, the computation of cloud base height, as well as wind speed
high- and low-drag bombs, using continuous computation of impact point (CCIP) and continuous compu
medal for his scientific research into the computation of the structure of star and of stellar evo
rmances: e.g., the missing not outs prevent computation of batting averages.
e attribute definition language allowed the computation of attributes from ancestor attributes and
ek and Hebrew calendars, and is used in the computation of the date of Easter each year.
prosthaphaeresis, an early method for rapid computation of products, were named Werner formulas in
This module embeds also procedures for the computation of a non-redundant family C of implications
Computation of effective body mass for metabolic studie
omputer programming, program slicing is the computation of the set of programs statements, the prog
ctiles, and on the force of gunpowder, with computation of the velocities thereby communicated to p
f Copenhagen, widely known for her accurate computation of orbits of minor planets and comets.
OMx methods, MNDO/d for transition metals); computation of NMR-chemical shifts; semi-empirical mult
ly been used in many applications involving computation of: Helicopter Blade-Vortex Interaction, De
utionary algorithms and to put evolutionary computation on formal grounds.
The means to perform quantum computation on logical information stored within the to
on to realize the possibilities of symbolic computation on a computer as a mathematics research too
within the tomb was the Book on Numbers and Computation, one of the earliest known mathematical wor
In the computation one mass can be replaced by the reduced mas
sentially provide a sequential interface to computation: one can build a computation out of a value
inition of co-NP uses the universal mode of computation: only if all choices lead to an accepting s

1 2 次へ＞