Author: Jean-Pierre Gazeau
Publisher: IOS Press
ISBN: 1586037064
Category : Science
Languages : en
Pages : 349
Book Description
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.
Physics and Theoretical Computer Science
Author: Jean-Pierre Gazeau
Publisher: IOS Press
ISBN: 1586037064
Category : Science
Languages : en
Pages : 349
Book Description
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.
Publisher: IOS Press
ISBN: 1586037064
Category : Science
Languages : en
Pages : 349
Book Description
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.
Computer Meets Theoretical Physics
Author: Giovanni Battimelli
Publisher: Springer Nature
ISBN: 3030393992
Category : Science
Languages : en
Pages : 214
Book Description
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.
Publisher: Springer Nature
ISBN: 3030393992
Category : Science
Languages : en
Pages : 214
Book Description
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.
Theoretical Computer Science
Author: Juraj Hromkovič
Publisher: Springer Science & Business Media
ISBN: 9783540140153
Category : Computers
Languages : en
Pages : 336
Book Description
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book also presents the development of the computer scientist's way of thinking as well as fundamental concepts such as approximation and randomization in algorithmics, and the basic ideas of cryptography and interconnection network design.
Publisher: Springer Science & Business Media
ISBN: 9783540140153
Category : Computers
Languages : en
Pages : 336
Book Description
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book also presents the development of the computer scientist's way of thinking as well as fundamental concepts such as approximation and randomization in algorithmics, and the basic ideas of cryptography and interconnection network design.
Quantum Circuit Simulation
Author: George F. Viamontes
Publisher: Springer Science & Business Media
ISBN: 9048130654
Category : Technology & Engineering
Languages : en
Pages : 193
Book Description
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."
Publisher: Springer Science & Business Media
ISBN: 9048130654
Category : Technology & Engineering
Languages : en
Pages : 193
Book Description
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."
Theoretical Aspects of Computer Science
Author: Gholamreza B. Khosrovshahi
Publisher: Springer
ISBN: 3540458786
Category : Computers
Languages : en
Pages : 230
Book Description
This book presents the revised final versions of eight lectures given by leading researchers at the First Summer School on Theoretical Aspects of Computer Science in Tehran, Iran, in July 2000. The lectures presented are devoted to quantum computation, approximation algorithms, self-testing/correction, algebraic modeling of data, the regularity lemma, multiple access communication and combinatorial designs, graph-theoretical methods in computer vision, and low-density parity-check codes.
Publisher: Springer
ISBN: 3540458786
Category : Computers
Languages : en
Pages : 230
Book Description
This book presents the revised final versions of eight lectures given by leading researchers at the First Summer School on Theoretical Aspects of Computer Science in Tehran, Iran, in July 2000. The lectures presented are devoted to quantum computation, approximation algorithms, self-testing/correction, algebraic modeling of data, the regularity lemma, multiple access communication and combinatorial designs, graph-theoretical methods in computer vision, and low-density parity-check codes.
Theoretical Computer Science for the Working Category Theorist
Author: Noson S. Yanofsky
Publisher: Cambridge University Press
ISBN: 9781108792745
Category : Mathematics
Languages : en
Pages : 150
Book Description
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.
Publisher: Cambridge University Press
ISBN: 9781108792745
Category : Mathematics
Languages : en
Pages : 150
Book Description
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.
Information, Physics, and Computation
Author: Marc Mézard
Publisher: Oxford University Press
ISBN: 019857083X
Category : Computers
Languages : en
Pages : 584
Book Description
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.
Publisher: Oxford University Press
ISBN: 019857083X
Category : Computers
Languages : en
Pages : 584
Book Description
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.
Mathematical Physics in Theoretical Chemistry
Author: S.M. Blinder
Publisher: Elsevier
ISBN: 0128137010
Category : Science
Languages : en
Pages : 426
Book Description
Mathematical Physics in Theoretical Chemistry deals with important topics in theoretical and computational chemistry. Topics covered include density functional theory, computational methods in biological chemistry, and Hartree-Fock methods. As the second volume in the Developments in Physical & Theoretical Chemistry series, this volume further highlights the major advances and developments in research, also serving as a basis for advanced study. With a multidisciplinary and encompassing structure guided by a highly experienced editor, the series is designed to enable researchers in both academia and industry stay abreast of developments in physical and theoretical chemistry. - Brings together the most important aspects and recent advances in theoretical and computational chemistry - Covers computational methods for small molecules, density-functional methods, and computational chemistry on personal and quantum computers - Presents cutting-edge developments in theoretical and computational chemistry that are applicable to graduate students and research professionals in chemistry, physics, materials science and biochemistry
Publisher: Elsevier
ISBN: 0128137010
Category : Science
Languages : en
Pages : 426
Book Description
Mathematical Physics in Theoretical Chemistry deals with important topics in theoretical and computational chemistry. Topics covered include density functional theory, computational methods in biological chemistry, and Hartree-Fock methods. As the second volume in the Developments in Physical & Theoretical Chemistry series, this volume further highlights the major advances and developments in research, also serving as a basis for advanced study. With a multidisciplinary and encompassing structure guided by a highly experienced editor, the series is designed to enable researchers in both academia and industry stay abreast of developments in physical and theoretical chemistry. - Brings together the most important aspects and recent advances in theoretical and computational chemistry - Covers computational methods for small molecules, density-functional methods, and computational chemistry on personal and quantum computers - Presents cutting-edge developments in theoretical and computational chemistry that are applicable to graduate students and research professionals in chemistry, physics, materials science and biochemistry
Data Streams
Author: S. Muthukrishnan
Publisher: Now Publishers Inc
ISBN: 193301914X
Category : Computers
Languages : en
Pages : 136
Book Description
In the data stream scenario, input arrives very rapidly and there is limited memory to store the input. Algorithms have to work with one or few passes over the data, space less than linear in the input size or time significantly less than the input size. In the past few years, a new theory has emerged for reasoning about algorithms that work within these constraints on space, time, and number of passes. Some of the methods rely on metric embeddings, pseudo-random computations, sparse approximation theory and communication complexity. The applications for this scenario include IP network traffic analysis, mining text message streams and processing massive data sets in general. Researchers in Theoretical Computer Science, Databases, IP Networking and Computer Systems are working on the data stream challenges.
Publisher: Now Publishers Inc
ISBN: 193301914X
Category : Computers
Languages : en
Pages : 136
Book Description
In the data stream scenario, input arrives very rapidly and there is limited memory to store the input. Algorithms have to work with one or few passes over the data, space less than linear in the input size or time significantly less than the input size. In the past few years, a new theory has emerged for reasoning about algorithms that work within these constraints on space, time, and number of passes. Some of the methods rely on metric embeddings, pseudo-random computations, sparse approximation theory and communication complexity. The applications for this scenario include IP network traffic analysis, mining text message streams and processing massive data sets in general. Researchers in Theoretical Computer Science, Databases, IP Networking and Computer Systems are working on the data stream challenges.
Quantum Computer Science
Author: N. David Mermin
Publisher: Cambridge University Press
ISBN: 1139466801
Category : Science
Languages : en
Pages : 236
Book Description
In the 1990's it was realized that quantum physics has some spectacular applications in computer science. This book is a concise introduction to quantum computation, developing the basic elements of this new branch of computational theory without assuming any background in physics. It begins with an introduction to the quantum theory from a computer-science perspective. It illustrates the quantum-computational approach with several elementary examples of quantum speed-up, before moving to the major applications: Shor's factoring algorithm, Grover's search algorithm, and quantum error correction. The book is intended primarily for computer scientists who know nothing about quantum theory, but will also be of interest to physicists who want to learn the theory of quantum computation, and philosophers of science interested in quantum foundational issues. It evolved during six years of teaching the subject to undergraduates and graduate students in computer science, mathematics, engineering, and physics, at Cornell University.
Publisher: Cambridge University Press
ISBN: 1139466801
Category : Science
Languages : en
Pages : 236
Book Description
In the 1990's it was realized that quantum physics has some spectacular applications in computer science. This book is a concise introduction to quantum computation, developing the basic elements of this new branch of computational theory without assuming any background in physics. It begins with an introduction to the quantum theory from a computer-science perspective. It illustrates the quantum-computational approach with several elementary examples of quantum speed-up, before moving to the major applications: Shor's factoring algorithm, Grover's search algorithm, and quantum error correction. The book is intended primarily for computer scientists who know nothing about quantum theory, but will also be of interest to physicists who want to learn the theory of quantum computation, and philosophers of science interested in quantum foundational issues. It evolved during six years of teaching the subject to undergraduates and graduate students in computer science, mathematics, engineering, and physics, at Cornell University.