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

A new method for classifying complex filiform Lie algebras, Applied Mathematics and Computation, 121 ( 2-3 ): 169 – 175, 2001

* Hagis, P .: " A Lower Bound for the set of odd Perfect Prime Numbers ", Mathematics of Computation 27, ( 1973 ), 951 – 953.

* Landin, Peter J .; A Generalization of Jumps and Labels, Report, UNIVAC Systems Programming Research, August 1965, reprinted in Higher-Order and Symbolic Computation, 11, pp. 125 – 143 ( 1998 )

* Yoshihiko Futamura, http :// www. brics. dk /~ hosc / local / HOSC-12-4-pp381-391. pdf Partial Evaluation of Computation Process – An Approach to a Compiler-Compiler

* 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.

Computation –

: Computation Division – Helmut Hölzer

* Zagal, J. C., Lipson, H. ( 2009 ) " Self-Reflection in Evolutionary Robotics ", Proceedings of the Genetic and Evolutionary Computation Conference, pp 2179 – 2188, GECCO 2009.

Full version in Information and Computation, 76 ( 2 / 3 ): 138 – 164, 1988.

* S. Winograd, " On Computing the Discrete Fourier Transform ", Mathematics of Computation, 32 ( 141 ), 175 – 199 ( 1978 ).

Evolutionary Computation, 1 ( 1 ): 1 – 23, 1993.

* CSIRAC homepage – From the Computation Laboratory at the University of Melbourne's Dept of Computer Science and Software Engineering

* 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

* J. P. Crutchfield and K. Young, " Computation at the Onset of Chaos ", in Entropy, Complexity, and the Physics of Information, W. Zurek, editor, SFI Studies in the Sciences of Complexity, VIII, Addison-Wesley, Reading, Massachusetts ( 1990 ) pp. 223 – 269.

* R. Gebauer and H. M. Moller " On an installation of Buchberger's algorithm " Journal of Symbolic Computation v6 n2-3 pp275 – 286 ( 1988 ) ISSN 07470-7171

* D. Shannon and M. Sweedler " Using Groebner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence " Journal of Symbolic Computation v6 n2-3 pp267 – 273 ( 1988 )

IEEE Transactions on Evolutionary Computation, 1 ( 1 ): 53 – 66.

Journal of Logic and Computation 18 ( 2008 ), No. 6, pp. 983 – 1028.

Information and Computation 206 ( 2008 ), No. 12, pp. 1443 – 1475.

* Jean-Eric Pin, Howard Straubing and Denis Thérien, Some results on the generalized star-height problem, Information and Computation, 101 ( 2 ): 219 – 250, December 1992.

In: Cardelli, L. Fiore M, Winskel, G ( eds ) Electronic Notes in Theoretical Computer Science ( Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin ) 107, 545 – 587.

* Comparison of Evolutionary Algorithms on a Benchmark Function Set – The 2005 IEEE Congress on Evolutionary Computation: Session on Real-Parameter Optimization-The CMA-ES ( Covariance Matrix Adaptation Evolution Strategy ) applied in a benchmark function set and compared to nine other Evolutionary Algorithms.

* J. Davenport and J. Heintz, " Real quantifier elimination is doubly exponential ", Journal of Symbolic Computation 5: 1 – 2 ( 1988 ), pp. 29 – 35.

* Jerome H. Saltzer, Manuscript Typing and Editing ( MIT Computation Center, 1964 ) describes the world's first computerized text formatting system

As Michael Sipser points out in Introduction to the Theory of Computation: " The reduction must be easy, relative to the complexity of typical problems in the class [...] If the reduction itself were difficult to compute, an easy solution to the complete problem wouldn't necessarily yield an easy solution to the problems reducing to it.

Computation is any type of calculation or use of computing technology in information processing.

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 on the gun or launcher, integrated with their laying system, is also possible.

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

* 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 ".

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.

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 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.

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.

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.

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.