書誌事項

Unconventional models of computation

C.S. Calude, J. Casti, M.J. Dineen (editors)

(Springer series in discrete mathematics and theoretical computer science)

Springer, c1998

大学図書館所蔵 件 / 18

この図書・雑誌をさがす

注記

Papers from the First International Conference on Unconventional Models of Computation held Jan 5-9, 1998, at the University of Auckland)

Includes bibliographical references

内容説明・目次

内容説明

Covering recent research into unconventional methods of computing for disciplines in computer science, mathematics, biology, physics and philosophy, the subjects include: nonconventional computational methods, DNA computation, quantum computation, and beyong Turing computability; new methods of discrete computation; theoretical and conceptual new computational paradigms; practical knowledge on new computing technologies.

目次

Invited lectures and refereed research papers. Ausfuhrliches Verzeichnis: Invited Papers: Marytyn Amos, Steve Wilson, David A. Hodgson, Gerald Owenson, and Alan Gibbons/ Practical Implementation of DNA Computations.- Artur Ekert and Chiara Macchiavello/An Overview of Quantum Computing.- H. Jeff Kimble/Implementing Quantum Logic and Communication via Cavity QED.- Seth Lloyd/Unconventional Quantum Computing Devices.- Cristopher Moore/Finite-Dimensional Analog Computers: Flows, Maps, and Recurrent Neural Networks.- John H.Reif/ Paradigms for Biomolecular Computation.- Arto Salomaa/Turning, Watson-Crick and Lindenmayer. Aspects of DNA Complementarity. Contributed papers: Gordon Alford/Explicitly Constructing Universal Extended H Systems.- Mark H. Butler, Ray C. Paton, and Paul H. Leng/ Unconventional Approaches for Biologically Inspired Computing.- Elena Calude and Marjo Lipponen/Deterministic Incomplete Automata: Simulation, Universality and Complementarity.- B.Jack Copeland/ Even Turing Machines Can Compute Uncomputable Functions.- Michael Frank, Tom Knight, and Norm Margolus/Reversibility in Optimally Scalable Computer Architectures.- Michael Frank, Carlin Vieri, M. Josephine Ammer, Nicole Love, Norman,OE H. Margolus, and Thomas F. Knight, Jr./ A Scalable Reversible Computer in Silicon.- Rudolf Freund and Valeria Mihalache/Molecular Computations on Circular and Linear Strings.- Yuzhen Ge, Layne T.Watson, and Emmanuel G. Collins, Jr./ Genetic Algorithms for Optimization on a Quantum Computer.- Karl Gustafson/Ergodic Learning Algorithms.- Peter Hertling/Embedding Cellular Automata into Reversible Ones.- Thomas F. Knight, Jr. and Gerald Jay Sussman/Cellular Gate Technology.- Alexandru Mateescu/Splicing on Routes: a Framework of DNA Computation.- Hideaki Matsueda/Spatiotemporal Evolution of Quantum Entangled Pure States in Quantum Computing Solid Block Circuits.- Lakshmi Narayanaswamy and Peter M. Kogge/Combinators and Processing-In-Memory: An Unconventional Basis for Avoiding the Memory Wall.- Mitsunori Ogihara and Animeesh Ray/ The Minimum DNA Computation Model and Its Computational Power.- Gheorghe Paun/Distributed Architectures in DNA Computing Based on Splicing:Limiting the Size of Components.- Boris Pavlov, Gary Roach, and Adil Yafyasov/Resonance Scattering and Design of Quantum Gates.- Yuzuru Sato, Makoto Taiji, amd Takashi Ikegami/Self-Similar Sets as Satisfiable Boolean Expressions.- Karl Svozil/The Church-Turning Thesis as a Guiding Principle for Physics.- Carlin Vieri, M.Jopsehine Ammer, Amory Wakefield, Lars "Johnny" Svensson, William Athas, and Tom Knight/Designing Reversible Memory.- Herbert Wiklicky/Quantitative Computation by Hilbert Machines.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ