「Computation」の共起表現一覧(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 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |