The Community for Technology Leaders
Proceedings Workshop on Physics and Computation. PhysComp '94 (1994)
Dallas, TX, USA
Nov. 17, 1994 to Nov. 20, 1994
ISBN: 0-8186-6715-X
TABLE OF CONTENTS

Analog computation with continuous ODEs (PDF)

M.S. Branicky , Dept. of Electr. Eng. & Comput. Sci., MIT, Cambridge, MA, USA
pp. 265-274

On physical models of neural computation and their analog VLSI implementation (PDF)

A.G. Andreou , Dept. of Electr. & Comput. Eng., Johns Hopkins Univ., Baltimore, MD, USA
pp. 255-264

Evolution, entropy, and parallel computation (PDF)

K. Thearling , Thinking Machines Corp., Cambridge, MA, USA
pp. 246-254

A fast algorithm for entropy estimation of grey-level images (PDF)

S.D. Morgera , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
J.M. Hallik , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
pp. 233-238

The complexity and entropy of Turing machines (PDF)

P.A. Dufort , Dept. of Phys., Toronto Univ., Ont., Canada
C.J. Lumsden , Dept. of Phys., Toronto Univ., Ont., Canada
pp. 227-232

Entropy cost of information (PDF)

P.N. Fahn , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 217-226

The Boltzmann entropy and randomness tests (PDF)

P. Gacs , Dept. of Comput. Sci., Boston Univ., MA, USA
pp. 209-216

Phase transitions and coarse-grained search (PDF)

C.P. Williams , Xerox Palo Alto Res. Center, CA, USA
T. Hogg , Xerox Palo Alto Res. Center, CA, USA
pp. 203-208

Statistical mechanics of combinatorial search (PDF)

T. Hogg , Xerox Palo Alto Res. Center, CA, USA
pp. 196-202

Chu spaces: automata with quantum aspects (PDF)

V.R. Pratt , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 186-195

On a method of solving SAT efficiently using the quantum Turing machine (PDF)

T. Mihara , Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
T. Nishino , Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 177-185

Quantum waveguide structures and devices (PDF)

S.M. Goodnick , Dept. of Electr. & Comput. Eng., Oregon State Univ., Corvallis, OR, USA
A. Weisshaar , Dept. of Electr. & Comput. Eng., Oregon State Univ., Corvallis, OR, USA
A. Ecker , Dept. of Electr. & Comput. Eng., Oregon State Univ., Corvallis, OR, USA
V.K. Tripathi , Dept. of Electr. & Comput. Eng., Oregon State Univ., Corvallis, OR, USA
pp. 169-176

Coupling computations through space (PDF)

P.P.B. de Oliveira , Comput. & Appl. Math. Lab., Nat. Inst. for Space Res., Sao Paolo, Brazil
pp. 160-168

Some results on invertible cellular automata (PDF)

A. Clementi , Dept. of Comput. Sci., La Sapienza Univ., Rome, Italy
pp. 143-150

Encoded arithmetic for reversible logic (PDF)

A. Tyagi , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
pp. 135-142

A reversible instruction set architecture and algorithms (PDF)

J. Storrs Hall , Lab. for Comput. Sci. Res., Rutgers Univ., New Brunswick, NJ, USA
pp. 128-134

Thermal logic circuits (PDF)

J.G. Koller , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
W.C. Athas , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
L.J. Svensson , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 119-127

Reversible logic issues in adiabatic CMOS (PDF)

W.C. Athas , Exploratory Design Group, Univ. of Southern California, Marina del Rey, CA, USA
L.J. Svensson , Exploratory Design Group, Univ. of Southern California, Marina del Rey, CA, USA
pp. 111-118

Toward an information mechanics (PDF)

M. Manthey , Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
pp. 95-110

Bit-string physics: a novel "theory of everything" (PDF)

H.P. Noyes , Stanford Linear Accel. Center, Stanford Univ., CA, USA
pp. 88-94

Physical computation and parallelism (constructive postmodern physics) (PDF)

K. Bowden , Comput. Centre, Univ. of East London, Dagenham, UK
pp. 78-87

Quantum oblivious transfer is secure against all individual measurements (PDF)

D. Mayers , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
L. Salvail , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 69-77

Can quantum computers have simple Hamiltonians? (PDF)

M. Biafore , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 63-68

The stabilisation of quantum computations (PDF)

A. Berthiaume , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 60-62

Zig-zag path to understanding [physical limits of information handling] (PDF)

R. Landauer , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 54-59

Space and time in computation, topology and discrete physics (PDF)

L.H. Kauffman , Dept. of Math., Stat. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 44-53

Space, time, logic, and things (PDF)

R.G. Shoup , Interval Res., Palo Alto, CA, USA
pp. 36-43

Impact of locality and dimensionality limits on architectural trends (PDF)

D.J. Matzke , Texas Instrum. Inc., Dallas, TX, USA
pp. 30-35

Multiprocessor architectures and physical law (PDF)

P. Vitanyi , CWI, Amsterdam, Netherlands
pp. 24-29

Results on two-bit gate design for quantum computers (PDF)

D.P. DiVincenzo , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 14-23

Quantum cellular automata: the physics of computing with arrays of quantum dot molecules (PDF)

C.S. Lent , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
P.D. Tougaw , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
W. Porod , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
pp. 5-13
91 ms
(Ver 3.3 (11022016))