Mathematics of Discrete Structures for Computer Science

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the

A significant revision of a best-selling text for the introductory digital signal processing course. This book presents the fundamentals of discrete-time signals, systems, and modern digital processin

A must-read for mathematicians, scientists and engineers who want to understand difference equations and discrete dynamicsContains the most complete and comprehenive analysis of the stability of one-d

In this second edition of the now classic text, the already extensive treatment given in the first edition has been heavily revised by the author. The addition of two new sections, numerous new results and 150 references means that this represents a comprehensive account of random graph theory. The theory (founded by Erdös and Rényi in the late fifties) aims to estimate the number of graphs of a given degree that exhibit certain properties. It not only has numerous combinatorial applications, but also serves as a model for the probabilistic treatment of more complicated random structures. This book, written by an acknowledged expert in the field, can be used by mathematicians, computer scientists and electrical engineers, as well as people working in biomathematics. It is self-contained, and with numerous exercises in each chapter, is ideal for advanced courses or self study.

In this second edition of the now classic text, the already extensive treatment given in the first edition has been heavily revised by the author. The addition of two new sections, numerous new results and 150 references means that this represents a comprehensive account of random graph theory. The theory (founded by Erdös and Rényi in the late fifties) aims to estimate the number of graphs of a given degree that exhibit certain properties. It not only has numerous combinatorial applications, but also serves as a model for the probabilistic treatment of more complicated random structures. This book, written by an acknowledged expert in the field, can be used by mathematicians, computer scientists and electrical engineers, as well as people working in biomathematics. It is self-contained, and with numerous exercises in each chapter, is ideal for advanced courses or self study.

A concise but informative overview of AI ethics and policy.Artificial intelligence, or AI for short, has generated a staggering amount of hype in the past several years. Is it the game-changer it's been cracked up to be? If so, how is it changing the game? How is it likely to affect us as customers, tenants, aspiring homeowners, students, educators, patients, clients, prison inmates, members of ethnic and sexual minorities, and voters in liberal democracies? Authored by experts in fields ranging from computer science and law to philosophy and cognitive science, this book offers a concise overview of moral, political, legal and economic implications of AI. It covers the basics of AI's latest permutation, machine learning, and considers issues such as transparency, bias, liability, privacy, and regulation.Both business and government have integrated algorithmic decision support systems into their daily operations, and the book explores the implications for our lives as citizens. For exam

This book uses the spiral shape as a key to a multitude of strange and seemingly disparate stories about art, nature, science, mathematics, and the human endeavour. In a way, the book is itself organi

The third edition of this text has been completely rewritten and revised. It is intended for first- and second-year undergraduates in chemistry taking physical chemistry courses, and for undergraduates in other science and engineering subjects that require an understanding of chemistry. The author gives more attention to the solid and liquid states than is found in other texts on this subject, and introduces topics such as computer simulation and quasicrystals. Each chapter concludes with a set of problems, to which there are solution notes, designed to lead the reader to familiarity with the subject and its application in new situations. Computer programs designed to assist the reader are downloadable from the World Wide Web, from the time of publication. Detailed solutions to the problems will also be available via the World Wide Web. See http://www.cup.cam.ac.uk/stm/laddsolutions.htm. This modern text on physical chemistry will be of interest to undergraduate students in chemistry a

Statistics, Data, and Statistical Thinking; Methods for Describing Sets of Data; Probability; Discrete Random Variables; Continuous Random Variables; Sampling Distributions; Inferences Based on a Sing

Sensor Technologies: Healthcare, Wellness and Environmental Applications explores the key aspects of sensor technologies, covering wired, wireless, and discrete sensors for the specific application do

Chromatic graph theory is a thriving area that uses various ideas of 'colouring' (of vertices, edges, and so on) to explore aspects of graph theory. It has links with other areas of mathematics, including topology, algebra and geometry, and is increasingly used in such areas as computer networks, where colouring algorithms form an important feature. While other books cover portions of the material, no other title has such a wide scope as this one, in which acknowledged international experts in the field provide a broad survey of the subject. All fifteen chapters have been carefully edited, with uniform notation and terminology applied throughout. Bjarne Toft (Odense, Denmark), widely recognized for his substantial contributions to the area, acted as academic consultant. The book serves as a valuable reference for researchers and graduate students in graph theory and combinatorics and as a useful introduction to the topic for mathematicians in related fields.

The starting point of this book is Sperner's theorem, which answers the question: What is the maximum possible size of a family of pairwise (with respect to inclusion) subsets of a finite set? This theorem stimulated the development of a fast growing theory dealing with external problems on finite sets and, more generally, on finite partially ordered sets. This book presents Sperner theory from a unified point of view, bringing combinatorial techniques together with methods from programming, linear algebra, Lie-algebra representations and eigenvalue methods, probability theory, and enumerative combinatorics. Researchers and graduate students in discrete mathematics, optimisation, algebra, probability theory, number theory, and geometry will find many powerful new methods arising from Sperner theory.

Ion beam techniques provide unique capabilities for exploring and custom-tailoring properties, structure, interactions, and configuration of polymeric materials, biomolecular materials and biocompatible materials. New understanding of ion beam-matter interactions, and new facilities for precision ion beam processing now enable applications ranging from nanofabrication, nanopatterning and high-resolution resist lithography, and nanoparticle self assembly, to selective activation of surfaces, manipulation of cells, fabrication of biocompatible materials and fabrication of structures for 3D chip interaction. Presentations included in this volume address both the science and the emerging techniques underlying the fast-growing array of ion beam applications in which nanoscale dimensions or features are of critical significance. Topics include: beam lithography, pattern formation and nanowires; magnetic , optical and semiconductor applications; nanostructure formation and fabrication of 3D s

Programming concepts come to life in this kid-friendly intro to the basics of computer science and coding, with puzzles, games, and quirky characters.Welcome to the Coder Crew, where you're on a missi

Previously known as Teaching ICT, this second edition has been carefully revised to meet the new demands of computer science as a curriculum subject.With a clear focus on the theory and practice that

Previously known as Teaching ICT, this second edition has been carefully revised to meet the new demands of computer science as a curriculum subject.With a clear focus on the theory and practice that

Jason has collected 42 essays on philosophy that were published in a wide range of venues from 1979 to 2011 and arranged them in sections on logic, argumentation theory, and computer science; epistemo

Kantardzic (computer engineering and science, U. of Louisville) offers students a single-volume introduction to the methods, tools, and algorithms in data mining that can also be used as a broad, if s

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level in both printed and electronic form. Enjoying tight cooperation with the R&am

In the 1990s, the Personal Computer (or PC) was on the rise in homes, and with it came new genres of play. Yet most of the games in these new genres featured fantasylands or humorous science fiction l

In the 1990s, the Personal Computer (or PC) was on the rise in homes, and with it came new genres of play. Yet most of the games in these new genres featured fantasylands or humorous science fiction l

The geometry and analysis that is discussed in this book extends to classical results for general discrete or Lie groups, and the methods used are analytical but have little to do with what is described these days as real analysis. Most of the results described in this book have a dual formulation; they have a 'discrete version' related to a finitely generated discrete group, and a continuous version related to a Lie group. The authors chose to centre this book around Lie groups but could quite easily have pushed it in several other directions as it interacts with opetators, and probability theory, as well as with group theory. This book will serve as an excellent basis for graduate courses in Lie groups, Markov chains or potential theory.

The geometry and analysis that is discussed in this book extends to classical results for general discrete or Lie groups, and the methods used are analytical but have little to do with what is described these days as real analysis. Most of the results described in this book have a dual formulation; they have a 'discrete version' related to a finitely generated discrete group, and a continuous version related to a Lie group. The authors chose to centre this book around Lie groups but could quite easily have pushed it in several other directions as it interacts with opetators, and probability theory, as well as with group theory. This book will serve as an excellent basis for graduate courses in Lie groups, Markov chains or potential theory.

The rapidly expanding area of algebraic graph theory uses two different branches of algebra to explore various aspects of graph theory: linear algebra (for spectral theory) and group theory (for studying graph symmetry). These areas have links with other areas of mathematics, such as logic and harmonic analysis, and are increasingly being used in such areas as computer networks where symmetry is an important feature. Other books cover portions of this material, but this book is unusual in covering both of these aspects and there are no other books with such a wide scope. Peter J. Cameron, internationally recognized for his substantial contributions to the area, served as academic consultant for this volume, and the result is ten expository chapters written by acknowledged international experts in the field. Their well-written contributions have been carefully edited to enhance readability and to standardize the chapter structure, terminology and notation throughout the book. To help th

The Dirac operator has many useful applications in theoretical physics and mathematics. This book provides a clear, concise and self-contained introduction to the global theory of the Dirac operator and to the analysis of spectral asymptotics with local or non-local boundary conditions. The theory is introduced at a level suitable for graduate students. Numerous examples are then given to illustrate the peculiar properties of the Dirac operator, and the role of boundary conditions in heat-kernel asymptotics and quantum field theory. Topics covered include the introduction of spin-structures in Riemannian and Lorentzian manifolds; applications of index theory; heat-kernel asymptotics for operators of Laplace type; quark boundary conditions; one-loop quantum cosmology; conformally covariant operators; and the role of the Dirac operator in some recent investigations of four-manifolds. This volume provides graduate students with a rigorous introduction and researchers with a valuable refer

X-ray absorption fine structure spectroscopy (XAFS) is a powerful and versatile technique for studying structures of materials in chemistry, physics, biology and other fields. This textbook is a comprehensive, practical guide to carrying out and interpreting XAFS experiments. Assuming only undergraduate-level physics and mathematics, the textbook is ideally suited for graduate students in physics and chemistry starting XAFS-based research. It contains concise executable example programs in Mathematica 7. Supplementary material available at www.cambridge.org/9780521767750 includes Mathematica code from the book, related Mathematica programs, and worked data analysis examples. The textbook addresses experiment, theory, and data analysis, but is not tied to specific data analysis programs or philosophies. This makes it accessible to a broad audience in the sciences, and a useful guide for researchers entering the subject.

In 1808, Napoleon I (1769–1821), emperor of the French from 1804 to 1815, commissioned a series of official reports on the progress of scientific research since 1789. First published in 1810, this report on the current state of mathematics was written by French mathematician and astronomer Jean-Baptiste Joseph Delambre (1749–1822). A Professor at the Collège de France and Director of the Paris Observatory, Delambre was appointed permanent secretary for the mathematical sciences of the Academy of Science in 1801. As such, he was charged with examining the state of mathematics in higher educational establishments, and with presenting an overview of the progress accomplished during Napoleon's reign in the fields of geometry, algebra, astronomy and geography. This report includes a chapter on the metric system, which Delambre was instrumental in determining via the measurement of the meridian between the north pole and the equator in 1792.

Luminescence is presently, and will continue to be, a challenging field of research in materials science, solid-state physics and chemistry. Recent progress in optoelectronic and display technology continues to drive this field in the search for new luminescent materials. Demands on new procedures for synthesis, and understanding underlying luminescence processes in these materials, will create new opportunities for both fundamental and applied research. This book is a compilation of papers, both invited and solicted, from around the world that focus on luminescence and luminescent materials - from theory and modeling, characterization of luminescent materials, and systems with confined structures such as nanocrystallites and quantum wells and dots, to synthesis and device applications.

In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.

In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.

The second volume continues the course of study started in Volume 1, but may be used independently by those already possessing an elementary knowledge of the subject. A summary of basic group theory is followed by accounts of group homomorphisms, rings, fields and integral domains. The related concepts of an invariant subgroup and an ideal in a ring are brought in and the reader introduced to vector spaces and Boolean algebra. The theorems behind the abstract work and the reasons for their importance are discussed in greater detail than is usual at this level. The book is intended both for those who, educated in traditional mathematics, wish to know something about modern algebra and also for those already familiar with the elements of the subject who wish to study further. Fresh ideas and structures are introduced gradually and in a simpler manner, with concrete examples and much more informal discussion. There are many graded exercises, including some worked examples. This book is th

Writing primarily for advanced undergraduate or graduate students in mathematics, engineering and physics or for "real life" users of Fourier analysis, Stade (mathematics, U. of Colorado, Boulder) ass

A BRACING ACCOUNT OF A WAR THAT IS EITHER MISUNDERSTOOD, FORGOTTEN, OR WILLFULLY IGNORED For Americans, it was a discrete conflict lasting from 1950 to 1953. But for the Asian world the Korean War was

Game theory is concerned with strategic interaction among several decision-makers. In such strategic encounters, all players are aware of the fact that their actions affect the other players. Game theory analyzes how these strategic, interactive considerations may affect the players' decisions and influence the final outcome. This textbook focuses on applications of complete-information games in economics and management, as well as in other fields such as political science, law and biology. It guides students through the fundamentals of game theory by letting examples lead the way to the concepts needed to solve them. It provides opportunities for self-study and self-testing through an extensive pedagogical apparatus of examples, questions and answers. The book also includes more advanced material suitable as a basis for seminar papers or elective topics, including rationalizability, stability of equilibria (with discrete-time dynamics), games and evolution, equilibrium selection and g

Are all film stars linked to Kevin Bacon? Why do the stock markets rise and fall sharply on the strength of a vague rumour? How does gossip spread so quickly? Are we all related through six degrees of separation? There is a growing awareness of the complex networks that pervade modern society. We see them in the rapid growth of the internet, the ease of global communication, the swift spread of news and information, and in the way epidemics and financial crises develop with startling speed and intensity. This introductory book on the new science of networks takes an interdisciplinary approach, using economics, sociology, computing, information science and applied mathematics to address fundamental questions about the links that connect us, and the ways that our decisions can have consequences for others.

Many exciting frontiers of science and engineering require understanding the spatiotemporal properties of sustained nonequilibrium systems such as fluids, plasmas, reacting and diffusing chemicals, crystals solidifying from a melt, heart muscle, and networks of excitable neurons in brains. This introductory textbook for graduate students in biology, chemistry, engineering, mathematics, and physics provides a systematic account of the basic science common to these diverse areas. This book provides a careful pedagogical motivation of key concepts, discusses why diverse nonequilibrium systems often show similar patterns and dynamics, and gives a balanced discussion of the role of experiments, simulation, and analytics. It contains numerous worked examples and over 150 exercises. This book will also interest scientists who want to learn about the experiments, simulations, and theory that explain how complex patterns form in sustained nonequilibrium systems.

G. H. Hardy was one of this century's finest mathematical thinkers, renowned among his contemporaries as a 'real mathematician … the purest of the pure'. He was also, as C. P. Snow recounts in his Foreword, 'unorthodox, eccentric, radical, ready to talk about anything'. This 'apology', written in 1940, offers a brilliant and engaging account of mathematics as very much more than a science; when it was first published, Graham Greene hailed it alongside Henry James's notebooks as 'the best account of what it was like to be a creative artist'. C. P. Snow's Foreword gives sympathetic and witty insights into Hardy's life, with its rich store of anecdotes concerning his collaboration with the brilliant Indian mathematician Ramanujan, his idiosyncrasies and his passion for cricket. This is a unique account of the fascination of mathematics and of one of its most compelling exponents in modern times.