STACS 97
STACS 97

Author: Rüdiger Reischuk

Publisher: Springer Science & Business Media

Published: 1997-02-21

Total Pages: 638

ISBN-13: 9783540626169

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.

Computational Complexity Theory
Computational Complexity Theory

Author: Steven Rudich, Avi Wigderson

Publisher: American Mathematical Soc.

Published:

Total Pages: 410

ISBN-13: 9780821886922

DOWNLOAD EBOOK

Computational Complexity Theory is the study of how much of a given resource is required to perform the computations that interest us the most. Four decades of fruitful research have produced a rich and subtle theory of the relationship between different resource measures and problems. At the core of the theory are some of the most alluring open problems in mathematics. This book presents three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity. The first week gives a general introduction to the field, including descriptions of the basic mo.

STACS 95
STACS 95

Author: Ernst W. Mayr

Publisher: Springer Science & Business Media

Published: 1995-02-15

Total Pages: 698

ISBN-13: 9783540590422

DOWNLOAD EBOOK

This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.

Computational Complexity Theory
Computational Complexity Theory

Author: Steven Rudich

Publisher: American Mathematical Soc.

Published: 2004

Total Pages: 407

ISBN-13: 082182872X

DOWNLOAD EBOOK

Computational Complexity Theory is the study of how much of a given resource is required to perform the computations that interest us the most. Four decades of fruitful research have produced a rich and subtle theory of the relationship between different resource measures and problems. At the core of the theory are some of the most alluring open problems in mathematics. This book presents three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity. The first week gives a general introduction to the field, including descriptions of the basic mo.

Security and Cryptography for Networks
Security and Cryptography for Networks

Author: Clemente Galdi

Publisher: Springer Nature

Published: 2020-09-07

Total Pages: 694

ISBN-13: 3030579905

DOWNLOAD EBOOK

This book constitutes the proceedings of the 12th International Conference on Security and Cryptography for Networks, SCN 2020, held in Amalfi, Italy, in September 2020*. The 33 papers presented in this volume were carefully reviewed and selected from 87 submissions. They are organized in topical sections on blockchain; multiparty computation; oblivious RAM; primitives and constructions; signatures, encryption, and algebraic constructions; symmetric crypto; theory and lower bounds ; zero-knowledge. *The conference was held virtually due to the COVID-19 pandemic.

Information and Randomness
Information and Randomness

Author: Cristian Calude

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 252

ISBN-13: 3662030497

DOWNLOAD EBOOK

"Algorithmic information theory (AIT) is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously", says G.J. Chaitin, one of the fathers of this theory of complexity and randomness, which is also known as Kolmogorov complexity. It is relevant for logic (new light is shed on Gödel's incompleteness results), physics (chaotic motion), biology (how likely is life to appear and evolve?), and metaphysics (how ordered is the universe?). This book, benefiting from the author's research and teaching experience in Algorithmic Information Theory (AIT), should help to make the detailed mathematical techniques of AIT accessible to a much wider audience.

Randomization and Approximation Techniques in Computer Science
Randomization and Approximation Techniques in Computer Science

Author: Jose Rolim

Publisher: Springer Science & Business Media

Published: 1997-06-25

Total Pages: 240

ISBN-13: 9783540632481

DOWNLOAD EBOOK

Astronomy is the oldest and most fundamental of the natural sciences. From the early beginnings of civilization astronomers have attempted to explain not only what the Universe is and how it works, but also how it started, how it evolved to the present day, and how it will develop in the future. The author, a well-known astronomer himself, describes the evolution of astronomical ideas, briefly discussing most of the instrumental developments. Using numerous figures to elucidate the mechanisms involved, the book starts with the astronomical ideas of the Egyptian and Mesopotamian philosophers, moves on to the Greek period, and then to the golden age of astronomy, i.e. to Copernicus, Galileo, Kepler, and Newton, and ends with modern theories of cosmology. Written with undergraduate students in mind, this book gives a fascinating survey of astronomical thinking.