The replica ABC is now on permanent display in the first floor lobby of the Durham Center for Computation and Communication at Iowa State University.

* Journal on Satisfiability, Boolean Modeling and Computation

; Computation: Common computations requested on attributes are counting, summing, averaging, sorting, grouping, cross-referencing, and so on.

Eckert's publication of Punched Card Methods in Scientific Computation in 1940, described punch card techniques sufficiently advanced to solve some differential equations or perform multiplication and division using floating point representations, all on punched cards and unit record machines.

Workshop on Physics and Computation PhysComp ' 92 ( IEEE Comp.

* The primary technical reference work on this topic is Nanosystems: Molecular Machinery, Manufacturing, and Computation, an in-depth, physics-based analysis of a particular class of potential nanomachines and molecular manufacturing systems, with extensive analyses of their feasibility and performance.

Nanosystems is closely based on Drexler's MIT doctoral dissertation, " Molecular Machinery and Manufacturing with Applications to Computation ".

Abiteboul designed a crawling strategy based on an algorithm called OPIC ( On-line Page Importance Computation ).

These are the Book on Numbers and Computation, the Arithmetical Classic of the Gnomon and the Circular Paths of Heaven and the Nine Chapters on the Mathematical Art.

* Francis L. Miksa ( 1901 – 1975 ), Stirling numbers of the first kind, " 27 leaves reproduced from typewritten manuscript on deposit in the UMT File ", Mathematical Tables and Other Aids to Computation, vol.

), Revised ^ 5 Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation, 11 ( 1 ), September, 1998 and ACM SIGPLAN Notices, 33 ( 9 ), October, 1998.

Bloch describes his work at the Harvard Computation Laboratory for Howard Aiken on the Mark I.

His 1992 technical book on advanced nanotechnologies Nanosystems: Molecular Machinery, Manufacturing, and Computation describes manufacturing systems that are desktop-scale factories with specialized machines in fixed locations and conveyor belts to move parts from place to place.

** Richard Feynman in his talk at the First Conference on the Physics of Computation, held at MIT in May, observed that it appeared to be impossible in general to simulate an evolution of a quantum system on a classical computer in an efficient way.

The results were immortalized for more than a decade on a UIUC Postal Annex cancellation stamp, and were discussed in the New York Times, recorded in the Guinness Book of World Records, and described in a journal paper in Mathematics of Computation.

( editors ) ( 1999 ); Unsupervised Learning: Foundations of Neural Computation, MIT Press, ISBN 0-262-58168-X ( This book focuses on unsupervised learning in neural networks )

* IEEE Congress on Evolutionary Computation ( CEC )

It is not easy to circumscribe the theory areas precisely and the ACM's Special Interest Group on Algorithms and Computation Theory ( SIGACT ) describes its mission as the promotion of theoretical computer science and notes:

To this list, the ACM's journal Transactions on Computation Theory adds coding theory, computational learning theory and theoretical computer science aspects of areas such as databases, information retrieval, economic models and networks.

Computation then is modeled by applying monotone functions repeatedly on elements of the domain in order to refine a result.

Current notable academics in this school include Richard Bartle, best known as co-creator of MUD1, Edward Tsang for his work on constraint satisfaction and computational finance, Professor Ray Turner for his numerous publication relating to Logic and Computation, Professor Vic Callaghan as head of the Intelligent Environments Group ( IEG ) and Simon Lucas for his research into Computational Intelligence and Computer Games namely for his research with the UK Research Network on Artificial Intelligence and Video Game technologies.

* John Shoch, Jon Hupp " The " Worm " Programs – Early Experience with a Distributed Computation "

* EO Evolutionary Computation Framework ( C ++ with static polymorphism )

Computation of the SVD of a matrix generally costs about the same as several matrix-matrix multiplications with matrices of the same size when state-of-the art implementation ( accurate up to rounding precision ) is used, such as in LAPACK.

Computation with these fractions were similar to computing percentages.

* Computation – The world's technological capacity to compute information with humanly guided general-purpose computers grew from 3. 0 × 10 < sup > 8 </ sup > MIPS in 1986, to 4. 4 × 10 < sup > 9 </ sup > MIPS in 1993, 2. 9 × 10 < sup > 11 </ sup > MIPS in 2000 to 6. 4 × 10 < sup > 12 </ sup > MIPS in 2007.

Majors combining Interdisciplinary Computation with Biology, Environmental Studies, or Theater and Dance were added in 2010.

He was also concerned with the operation of the Murray Hill Computation Center and was actively engaged in the software design of Multics.

His non-fiction book, The Lifebox, the Seashell, and the Soul: What Gnarly Computation Taught Me About Ultimate Reality, the Meaning Of Life, and How To Be Happy summarizes the various philosophies he's believed over the years and ends with the tentative conclusion that we might profitably view the world as made of computations, with the final remark, " perhaps this universe is perfect.

* Canonical correlation analysis — An overview with application to learning methods http :// eprints. ecs. soton. ac. uk / 9225 / 01 / tech_report03. pdf, pages 5 – 9 give a good introduction Neural Computation ( 2004 ) version

On July 1, 1963, Project MAC ( the Project on Mathematics and Computation, later backronymed to Multiple Access Computer, Machine Aided Cognitions, or Man and Computer ) was launched with a $ 2 million grant from the Defense Advanced Research Projects Agency ( DARPA ).

To this end, Corbató brought the first computer time-sharing system, CTSS, with him from the MIT Computation Center, using the DARPA funding to purchase an IBM 7094 for research use.

Reprinted in Higher Order and Symbolic Computation, 11 ( 2 ): 125-143, 1998, with a foreword by Hayo Thielecke.

Reprinted in Higher Order and Symbolic Computation, 13 ( 1 / 2 ): 135 — 152, 2000, with a foreword by Christopher P. Wadsworth.

Reprinted in Higher-Order and Symbolic Computation 11 ( 4 ): 363-397, 1998, with a foreword.

Reprinted in Higher-Order and Symbolic Computation 11 ( 4 ): 405-439, 1998, with a foreword.

* Oral history interview with Martin Schwarzschild head of Watson Scientific Computation Laboratory at Columbia University, Charles Babbage Institute, University of Minnesota

* Charles C. Sims, " Computation with Finitely-presented Groups ", Encyclopedia of Mathematics and its Applications, vol 48, Cambridge University Press, Cambridge, 1994.

Consistent with his concern for, awareness of, and involvement in the great movements of the time, he saw the emerging importance of computers -- a field then in its infancy — and built the Kiewit Computation Center in 1966.

He completed another book on computational models, Machines, Languages, and Computation, with Jack Dennis and Joe Qualitz.

Wang and Woo were working at Harvard University's Computation Laboratory at the time but, unlike MIT, Harvard was not interested in promoting inventions created in their labs.

GTM was introduced by Bishop, Svensen and Williams in their Technical Report in 1997 ( Technical Report NCRG / 96 / 015, Aston University, UK ) published later in Neural Computation.

The Computation Center considered the Mark I to be inferior to their own design and rejected it, notably because it used a serial math unit like their prototype and would thus be much slower.