pdbain@wateng.UUCP (Peter Bain) (05/14/85)
%A W. David Arnett
%T Computational Astrophysics
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 354-357
%X One of the most graphically and computationally demanding sciences,
astrophysics pushes the limits of current machine and software technology
%K theoretical physics computing stellar evolution thermonuclear
simulation hydrodynamic
%A B. Lautrup
%T Monte Carlo Methods in Theoretical Astrophysics
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 358-362
%X Fermion-field evaluations - part part of any realistic model of nature -
can be cast as statistical systems which are then made computationally
feasible by Monte Carlo importance sampling methods
%K theoretical physics computing importance sampling boson fermion
fields integration markov chains
%A Scott Kirkpatric
%A Robert H. Swendsen
%T Statistical Mechanics and Disordered Systems
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 363-373
%X Computer simulation has proved a useful approach to the thermodynamic
properties of microscopic interactions, as in magnetic alloys, fluids, and
even percolation processes
%K theoretical physics computing ising model renormalization group
percolation magnetic alloys spin glasses annealing phase transition
travelling salesman problem
%A David Campbell
%A Jim Crutchfield
%T Experimental Mathematics: The Role of Computation in Nonlinear
Science
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 374-384
%X Computers expand the range of nonlinear phenomna (especially
chaotic behaviour) that can be explored mathematically in a fruitful
and synergistic interplay between computational and analytic methods
%K theoretical physics computing finite dimensional dynamical systems
deterministic chaos (sic!) solitons
%A Robert P. Pearson
%A John L. Richardson
%A Richard Toussaint
%T Special-Purpose Processors in Theoretical Physics
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 385-389
%X The current disadvantage of special-purpose hardware design - lack
of flexibility, for example in hardware design - could be overcome
with fully automated computer design and manufacturing
%K theoretical physics computing pacs
%A Stephen Wolfram
%T Symbolic Mathematical Computation
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 390-394
%X Higher mathematics systems such as SMP make possible the symbolic
presentation of symbolic and analytic results and extend the range of
calculations which can be done at all
%K theoretical physics computing SMP
%A Robert L. Wainwright
%T A Class of Sorting Algorithms Based on Quicksort
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 396-402
%X Using the interchange technique associated with Bubble sort, Bsort
improves the average performance of Quicksort and eliminates the worst
case behaviour for sorted or nearly sorted lists
%K theoretical physics computing cksort bubble sort
%A Jon L. Bently
%A Catherine C. McGeoch
%T Amortized Analyses of Self-Organized Sequential Search Heuristics
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 404-411
%X Experiments show that the behaviour of sequential search heuristics
on real data is more closely described by amortized than by
probabilistics analyses
%K theoretical physics computing self organizing move to
front transpose zipf's law
%A Marek Kubale
%A Boguslaw Jackowski
%T A Generalized Implicit Enumeration Algorithm for Graph Coloring
%J CACM
%I ACM
%D Apr. 1985
%V 28
%N 4
%P 412-418
%X Correcting the errors in initial colouring algorithms leads to an
improved generalized enumeration algorithm for graph colouring
%K theoretical physics computing colouringbacktracking chromatic
number implicit enumeration partial correctness
--
- peter bain
...!{allegra|decvax|clyde|ihnp4 }!watmath!wateng!pdbain
hard mail: CCNG, CPH-2369A, University of Waterloo,
Waterloo, Ont. Canada N2M 5G4
telephone: (519) 885-1211 x2810