Physics and Theoretical Computer Science

Physics and Theoretical Computer Science
Author: Jean-Pierre Gazeau
Publisher: IOS Press
Total Pages: 349
Release: 2007
Genre: Science
ISBN: 1586037064

Download Physics and Theoretical Computer Science Book in PDF, Epub and Kindle

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists and specialists of theoretical informatics and discrete mathematics in order to learn about developments in cryptography, algorithmics, and more.

Gems of Theoretical Computer Science

Gems of Theoretical Computer Science
Author: Uwe Schöning
Publisher: Springer Science & Business Media
Total Pages: 318
Release: 2012-12-06
Genre: Computers
ISBN: 364260322X

Download Gems of Theoretical Computer Science Book in PDF, Epub and Kindle

This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity. The book presents these important results with complete proofs in an understandable form. It also presents previously open problems that have found (perhaps unexpected) solutions, and challenges the reader to pursue further active research in computer science.

Computer Meets Theoretical Physics

Computer Meets Theoretical Physics
Author: Giovanni Battimelli
Publisher: Springer Nature
Total Pages: 214
Release: 2020-06-17
Genre: Science
ISBN: 3030393992

Download Computer Meets Theoretical Physics Book in PDF, Epub and Kindle

This book provides a vivid account of the early history of molecular simulation, a new frontier for our understanding of matter that was opened when the demands of theoretical physicists were met by the availability of the modern computers. Since their inception, electronic computers have enormously increased their performance, thus making possible the unprecedented technological revolution that characterizes our present times. This obvious technological advancement has brought with it a silent scientific revolution in the practice of theoretical physics. In particular, in the physics of matter it has opened up a direct route from the microscopic physical laws to observable phenomena. One can now study the time evolution of systems composed of millions of molecules, and simulate the behaviour of macroscopic materials and actually predict their properties. Molecular simulation has provided a new theoretical and conceptual tool that physicists could only dream of when the foundations of statistical mechanics were laid. Molecular simulation has undergone impressive development, both in the size of the scientific community involved and in the range and scope of its applications. It has become the ubiquitous workhorse for investigating the nature of complex condensed matter systems in physics, chemistry, materials and the life sciences. Yet these developments remain largely unknown outside the inner circles of practitioners, and they have so far never been described for a wider public. The main objective of this book is therefore to offer a reasonably comprehensive reconstruction of the early history of molecular simulation addressed to an audience of both scientists and interested non-scientists, describing the scientific and personal trajectories of the main protagonists and discussing the deep conceptual innovations that their work produced.

Quantum Circuit Simulation

Quantum Circuit Simulation
Author: George F. Viamontes
Publisher: Springer Science & Business Media
Total Pages: 193
Release: 2009-08-04
Genre: Technology & Engineering
ISBN: 9048130654

Download Quantum Circuit Simulation Book in PDF, Epub and Kindle

Quantum Circuit Simulation covers the fundamentals of linear algebra and introduces basic concepts of quantum physics needed to understand quantum circuits and algorithms. It requires only basic familiarity with algebra, graph algorithms and computer engineering. After introducing necessary background, the authors describe key simulation techniques that have so far been scattered throughout the research literature in physics, computer science, and computer engineering. Quantum Circuit Simulation also illustrates the development of software for quantum simulation by example of the QuIDDPro package, which is freely available and can be used by students of quantum information as a "quantum calculator."

Computation, Physics and Beyond

Computation, Physics and Beyond
Author: Michael J. Dinneen
Publisher: Springer Science & Business Media
Total Pages: 436
Release: 2012-01-17
Genre: Computers
ISBN: 3642276539

Download Computation, Physics and Beyond Book in PDF, Epub and Kindle

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Handbook of Theoretical Computer Science

Handbook of Theoretical Computer Science
Author: Jan van Leeuwen
Publisher: Mit Press
Total Pages: 1006
Release: 1994
Genre: Computers
ISBN: 9780262720144

Download Handbook of Theoretical Computer Science Book in PDF, Epub and Kindle

"Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teaching and research.... The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing. The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Physics and Theoretical Computer Science

Physics and Theoretical Computer Science
Author: J.-P. Gazeau
Publisher:
Total Pages: 348
Release: 2007
Genre:
ISBN: 9781433708725

Download Physics and Theoretical Computer Science Book in PDF, Epub and Kindle

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists and specialists of theoretical informatics and discrete mathematics in order to learn about developments in cryptography, algorithmics, and more.

Quantum Computing Since Democritus

Quantum Computing Since Democritus
Author: Scott Aaronson
Publisher: Cambridge University Press
Total Pages: 403
Release: 2013-03-14
Genre: Computers
ISBN: 0521199565

Download Quantum Computing Since Democritus Book in PDF, Epub and Kindle

Takes students and researchers on a tour through some of the deepest ideas of maths, computer science and physics.

Information, Physics, and Computation

Information, Physics, and Computation
Author: Marc Mézard
Publisher: Oxford University Press
Total Pages: 584
Release: 2009-01-22
Genre: Computers
ISBN: 019857083X

Download Information, Physics, and Computation Book in PDF, Epub and Kindle

A very active field of research is emerging at the frontier of statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. This book sets up a common language and pool of concepts, accessible to students and researchers from each of these fields.

Introduction to Theoretical Computer Science

Introduction to Theoretical Computer Science
Author: Xiwen Ma
Publisher: World Scientific
Total Pages: 120
Release: 1990
Genre: Computers
ISBN: 9789810201937

Download Introduction to Theoretical Computer Science Book in PDF, Epub and Kindle

The contents of this book are self-sufficient in the sense that no preliminary knowledge other than elementary set theory is needed and there are no complicated mathematical theorems in the book. A must for those entering the field.