Mathematics of Discrete Structures for Computer Science

Social platforms such as MySpace, Facebook and Twitter have rekindled the initial excitement of cyberspace. Text-based, computer-mediated communication has been enriched with face-to-face communication such as Skype, as users move from desktops to laptops with integrated cameras and related hardware. Age, gender and culture barriers seem to have crumbled and disappeared as the user base widens dramatically. Other than simple statistics relating to e-mail usage, chatrooms and blog subscriptions, we know surprisingly little about the rapid changes taking place. This book assembles leading researchers on nonverbal communication, emotion, cognition and computer science to summarize what we know about the processes relevant to face-to-face communication as it pertains to telecommunication, including video-conferencing. The authors take stock of what has been learned regarding how people communicate, in person or over distance, and set the foundations for solid research helping to understand

Social platforms such as MySpace, Facebook and Twitter have rekindled the initial excitement of cyberspace. Text-based, computer-mediated communication has been enriched with face-to-face communication such as Skype, as users move from desktops to laptops with integrated cameras and related hardware. Age, gender and culture barriers seem to have crumbled and disappeared as the user base widens dramatically. Other than simple statistics relating to e-mail usage, chatrooms and blog subscriptions, we know surprisingly little about the rapid changes taking place. This book assembles leading researchers on nonverbal communication, emotion, cognition and computer science to summarize what we know about the processes relevant to face-to-face communication as it pertains to telecommunication, including video-conferencing. The authors take stock of what has been learned regarding how people communicate, in person or over distance, and set the foundations for solid research helping to understand

What mechanisms are involved in enabling us to generate predictions of what will happen in the near future? Although we use associative mechanisms as the basis to predict future events, such as using cues from our surrounding environment, timing, attentional, and configural mechanisms are also needed to improve this function. Timing mechanisms allow us to determine when those events will take place. Attentional mechanisms ensure that we keep track of cues that are present when unexpected events occur and disregard cues present when everything happens according to our expectations. Configural mechanisms make it possible to combine separate cues into one signal that predicts an event different from that predicted individually by separate cues. Written for graduates and researchers in neuroscience, computer science, biomedical engineering and psychology, the author presents neural network models that incorporate these mechanisms and shows, through computer simulations, how they explain th

The main theme of this book is the interplay between the behaviour of a class of stochastic processes (random walks) and discrete structure theory. The author considers Markov chains whose state space is equipped with the structure of an infinite, locally finite graph, or as a particular case, of a finitely generated group. The transition probabilities are assumed to be adapted to the underlying structure in some way that must be specified precisely in each case. From the probabilistic viewpoint, the question is what impact the particular type of structure has on various aspects of the behaviour of the random walk. Vice-versa, random walks may also be seen as useful tools for classifying, or at least describing the structure of graphs and groups. Links with spectral theory and discrete potential theory are also discussed. This book will be essential reading for all researchers working in stochastic process and related topics.

The main theme of this book is the interplay between the behaviour of a class of stochastic processes (random walks) and discrete structure theory. The author considers Markov chains whose state space is equipped with the structure of an infinite, locally finite graph, or as a particular case, of a finitely generated group. The transition probabilities are assumed to be adapted to the underlying structure in some way that must be specified precisely in each case. From the probabilistic viewpoint, the question is what impact the particular type of structure has on various aspects of the behaviour of the random walk. Vice-versa, random walks may also be seen as useful tools for classifying, or at least describing the structure of graphs and groups. Links with spectral theory and discrete potential theory are also discussed. This book will be essential reading for all researchers working in stochastic process and related topics.

The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.

Splines are the fundamental tools for fitting curves and surfaces in computer aided design and computer graphics. SpSth introduces the computation of one-dimensional spline functions using explicit an

Internationally recognised researchers look at developing trends in combinatorics with applications in the study of words and in symbolic dynamics. They explain the important concepts, providing a clear exposition of some recent results, and emphasise the emerging connections between these different fields. Topics include combinatorics on words, pattern avoidance, graph theory, tilings and theory of computation, multidimensional subshifts, discrete dynamical systems, ergodic theory, numeration systems, dynamical arithmetics, automata theory and synchronised words, analytic combinatorics, continued fractions and probabilistic models. Each topic is presented in a way that links it to the main themes, but then they are also extended to repetitions in words, similarity relations, cellular automata, friezes and Dynkin diagrams. The book will appeal to graduate students, research mathematicians and computer scientists working in combinatorics, theory of computation, number theory, symbolic d

The thalamus is a key structure in the mammalian brain, providing a hub for communication within and across distributed forebrain networks. Research in this area has undergone a revolution in the last decade, with findings that suggest an expanded role for the thalamus in sensory processing, motor control, arousal regulation, and cognition. Moving beyond previous studies of anatomy and cell neurochemistry, scientists have expanded into investigations of cognitive function, and harness new methods and theories of neural computation. This book provides a survey of topics at the cutting edge of this field, covering basic anatomy, evolution, development, physiology and computation. It is also the first book to combine these disciplines in one place, highlighting the interdisciplinary nature of thalamus research, and will be an essential resource for students and experts in biology, medicine and computer science.

Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics. It will serve as a reference for researchers in each of these fields, and be used as a text for advanced undergraduate or graduate courses. The authors emphasize foundations to create a broad and rigorous treatment of their subject, with thorough presentations of distributed problem solving, game theory, multiagent communication and learning, social choice, mechanism design, auctions, cooperative game theory, and modal logics of knowledge and belief. For each topic, basic concepts are introduced, examples are given, proofs of key results are offered, and algorithmic considerations are examined. An appendix covers background material in probability theory, classical logic, Markov decision processes and

The increasing popularity of wireless networks makes interference and cross-talk between multiple systems inevitable. This book describes techniques for quantifying this, and the effects on the performance of wireless networks operating in the unlicensed bands. It also presents a variety of system-level solutions, obviating the need for new hardware implementations. The book starts with basic concepts and wireless protocols before moving on to interference performance evaluation, interference modeling, coexistence solutions, and concluding with common misconceptions and pitfalls. The theory is illustrated by reference to real-world systems such as Bluetooth and WiFi. With a number of case studies and many illustrations, this book will be of interest to graduate students in electrical engineering and computer science, to practitioners designing new WLAN and WPAN systems or developing new techniques for interference supression, and to general users of merging wireless technologies.

Understanding viscoelasticity is pertinent to design applications as diverse as earplugs, gaskets, computer disks, satellite stability, medical diagnosis, injury prevention, vibration abatement, tire performance, sports, spacecraft explosions, and music. This book fits a one-semester graduate course on the properties, analysis, and uses of viscoelastic materials. Those familiar with the author's precursor book, Viscoelastic Solids, will see that this book contains many updates and expanded coverage of the materials science, causes of viscoelastic behavior, properties of materials of biological origin, and applications of viscoelastic materials. The theoretical presentation includes both transient and dynamic aspects, with emphasis on linear viscoelasticity to develop physical insight. Methods for the solution of stress analysis problems are developed and illustrated. Experimental methods for characterization of viscoelastic materials are explored in detail. Viscoelastic phenomena are d

Understanding viscoelasticity is pertinent to design applications as diverse as earplugs, gaskets, computer disks, satellite stability, medical diagnosis, injury prevention, vibration abatement, tire performance, sports, spacecraft explosions, and music. This book fits a one-semester graduate course on the properties, analysis, and uses of viscoelastic materials. Those familiar with the author's precursor book, Viscoelastic Solids, will see that this book contains many updates and expanded coverage of the materials science, causes of viscoelastic behavior, properties of materials of biological origin, and applications of viscoelastic materials. The theoretical presentation includes both transient and dynamic aspects, with emphasis on linear viscoelasticity to develop physical insight. Methods for the solution of stress analysis problems are developed and illustrated. Experimental methods for characterization of viscoelastic materials are explored in detail. Viscoelastic phenomena are d

*From the series of SLA Information Book Award shortlisted, How to Walk on the Moon*Strap in for a thrilling journey through the exciting world of MATHEMATICS! This fast-paced, fun-filled book seamlessly blends COMIC BOOK ACTION with mind-bending MATH FACTS.Embark on a quest with Professor Katzenstein, the world's most intrepid, all-action mathematician, as he unravels the secrets of numbers, patterns, and equations in this vibrant, full-color book. The Prof has a passion for discovery and loves all things strange, unexpected, and surprising - so this exploration of mathematics will be anything but ordinary!• Do you know why your body is like a donut?• Have you ever wondered how many times you can fold a piece of paper?• Have you uncovered the secret mathematics of a sunflower?Get to the bottom of these big ideas and more in this laugh-out-loud series that's a cross between Dog Man and Euclid.This infectiously enthusiastic celebration of mathematics is ideal for inspiring young minds a

First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Winner of the Distinguished Dissertation in Computer Science award, this work will prove invaluable to both designers and hardware engineers involved in the development of practical three-dimensional integrated circuits.

First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Winner of the Distinguished Dissertation in Computer Science award, this work will prove invaluable to both designers and hardware engineers involved in the development of practical three-dimensional integrated circuits.

This book equips readers with tools for computer architecture of high performance, low power, and high reliability memory hierarchy in computer systems based on emerging memory technologies, such as S

Social network analysis maps relationships and transactions between people and groups. This text was the first book-length application of this method to the ancient world, using the abundant documentary evidence from sixth-century Oxyrhynchos and Aphrodito in Egypt. Professor Ruffini combines a prosopographical survey of both sites with computer analyses of the topographical and social networks in their papyri. He thereby uncovers hierarchical social structures in Oxyrhynchos not present in Aphrodito, and is able for the first time to trace the formation of the famous Apion estate. He can also use quantitative techniques to locate the central players in the Aphrodito social landscape, allowing us to see past the family of Dioskoros to discover the importance of otherwise unknown figures. He argues that the apparent social differences between Oxyrhynchos and Aphrodito in fact represent different levels of geographic scale, both present within the same social model.

Social network analysis maps relationships and transactions between people and groups. This text was the first book-length application of this method to the ancient world, using the abundant documentary evidence from sixth-century Oxyrhynchos and Aphrodito in Egypt. Professor Ruffini combines a prosopographical survey of both sites with computer analyses of the topographical and social networks in their papyri. He thereby uncovers hierarchical social structures in Oxyrhynchos not present in Aphrodito, and is able for the first time to trace the formation of the famous Apion estate. He can also use quantitative techniques to locate the central players in the Aphrodito social landscape, allowing us to see past the family of Dioskoros to discover the importance of otherwise unknown figures. He argues that the apparent social differences between Oxyrhynchos and Aphrodito in fact represent different levels of geographic scale, both present within the same social model.

We are in the midst of a biological revolution. Molecular tools are now providing new means of critically testing hypotheses and models of microevolution in populations of wild, cultivated, weedy and feral plants. They are also offering the opportunity for significant progress in the investigation of long-term evolution of flowering plants, as part of molecular phylogenetic studies of the Tree of Life. This long-awaited fourth edition, fully revised by David Briggs, reflects new insights provided by molecular investigations and advances in computer science. Briggs considers the implications of these for our understanding of the evolution of flowering plants, as well as the potential for future advances. Numerous new sections on important topics such as the evolutionary impact of human activities, taxonomic challenges, gene flow and distribution, hybridisation, speciation and extinction, conservation and the molecular genetic basis of breeding systems will ensure that this remains a cla

The primary object of this manual is to build an understanding of the principles of computer operations and the use of computers in the laboratory. While the development of applications for computers has been rapid since their introduction, the principles of computer operation and their use in sensing and control have remained stable. Those are the primary subjects of this book, throughout which a gradual understanding of what goes on inside a computer is developed. The laboratory provides a vital experience in linking theory with physical reality, and all of the computer work is done in the context of doing experiments. The IBM-PC design is used as the basis for the book. The internal design of this machine is slightly more complicated than earlier personal computers, but it is still simple enough to be quickly learned. The computer can be directly controlled by proper programming, and offers considerably more power than earlier designs. The IBM design also has expansion slots which m

This book gives a friendly introduction to Fourier analysis on finite groups, both commutative and non-commutative. Aimed at students in mathematics, engineering and the physical sciences, it examines the theory of finite groups in a manner that is both accessible to the beginner and suitable for graduate research. With applications in chemistry, error-correcting codes, data analysis, graph theory, number theory and probability, the book presents a concrete approach to abstract group theory through applied examples, pictures and computer experiments. In the first part, the author parallels the development of Fourier analysis on the real line and the circle, and then moves on to analogues of higher dimensional Euclidean space. The second part emphasizes matrix groups such as the Heisenberg group of upper triangular 2x2 matrices. The book concludes with an introduction to zeta functions on finite graphs via the trace formula.

The recent launch of NASA's Gamma-Ray Observatory will increase interest in gamma-ray astronomy. This is a fully up-dated new edition of the authors' earlier volume published in 1986 and covers both the background science and the current state-of-the-art in this field. The emphasis is on the astronomy and astrophysics of known sources of cosmic gamma-rays outside the solar system. The authors discuss the mechanisms for the production and absorption of gamma-rays. The gamma-ray line astronomy of the interstellar medium, galactic centre, and various discrete sources is then considered. Gamma-ray bursts are treated in considerable detail in chapter three, and the final two chapters describe medium energy and ultra-high energy gamma-rays. Relevant data from supernova SN1987A is also included in this edition. The book includes comprehensive references to the primary literature, together with many figures and tables. The concentration on phenomenology makes this book a fine introduction to g

Complex predicates are multipredicational, but monoclausal structures. They have proven problematic for linguistic theory, particularly for proposed distinctions between the lexicon, morphology, and syntax. This volume focuses on the mapping from morphosyntactic structures to event structure, and in particular the constraints on possible mappings. The volume showcases the 'coverb construction', a complex predicate construction which, though widespread, has received little attention in the literature. The coverb construction contrasts with more familiar serial verb constructions. The coverb construction generally maps only to event structures like those of monomorphemic verbs, whereas serial verb constructions map to a range of event structures differing from those of monomorphemic verbs. The volume coverage is truly cross-linguistic, including languages from Australia, Papua New Guinea, Southeast Asia, the Indian subcontinent, East Africa and North America. The volume establishes a new

Complex predicates are multipredicational, but monoclausal structures. They have proven problematic for linguistic theory, particularly for proposed distinctions between the lexicon, morphology, and syntax. This volume focuses on the mapping from morphosyntactic structures to event structure, and in particular the constraints on possible mappings. The volume showcases the 'coverb construction', a complex predicate construction which, though widespread, has received little attention in the literature. The coverb construction contrasts with more familiar serial verb constructions. The coverb construction generally maps only to event structures like those of monomorphemic verbs, whereas serial verb constructions map to a range of event structures differing from those of monomorphemic verbs. The volume coverage is truly cross-linguistic, including languages from Australia, Papua New Guinea, Southeast Asia, the Indian subcontinent, East Africa and North America. The volume establishes a new

For courses in computer crime. A complete, easy-to-understand introduction to computer crime Cyber Crime and Cyber Terrorism is a comprehensive introduction to the acts and theories of cyber crim

This book is based on the notion that there are many ways in which mathematics learning can be achieved for students and that not all of them are focused on the mathematics classroom. It explores the

Point-to-point vs hub-and-spoke. Questions of network design are real and involve many billions of dollars. Yet little is known about optimising design - nearly all work concerns optimising flow assuming a given design. This foundational book tackles optimisation of network structure itself, deriving comprehensible and realistic design principles. With fixed material cost rates, a natural class of models implies the optimality of direct source-destination connections, but considerations of variable load and environmental intrusion then enforce trunking in the optimal design, producing an arterial or hierarchical net. Its determination requires a continuum formulation, which can however be simplified once a discrete structure begins to emerge. Connections are made with the masterly work of Bendsøe and Sigmund on optimal mechanical structures and also with neural, processing and communication networks, including those of the Internet and the World Wide Web. Technical appendices are provi

Point-to-point vs hub-and-spoke. Questions of network design are real and involve many billions of dollars. Yet little is known about optimising design - nearly all work concerns optimising flow assuming a given design. This foundational book tackles optimisation of network structure itself, deriving comprehensible and realistic design principles. With fixed material cost rates, a natural class of models implies the optimality of direct source-destination connections, but considerations of variable load and environmental intrusion then enforce trunking in the optimal design, producing an arterial or hierarchical net. Its determination requires a continuum formulation, which can however be simplified once a discrete structure begins to emerge. Connections are made with the masterly work of Bendsøe and Sigmund on optimal mechanical structures and also with neural, processing and communication networks, including those of the Internet and the World Wide Web. Technical appendices are provi

The world’s first computer programmer and daughter of Lord Byron finally gets credit for her research in this gossipy short biographyOver 150 years after her death, a widely-used scientific computer p

Man and Nature in the Renaissance offers an introduction to science and medicine during the earlier phases of the scientific revolution, from the mid-fifteenth century to the mid-seventeenth century. Renaissance science has frequently been approached in terms of the progress of the exact sciences of mathematics and astronomy, to the neglect of the broader intellectual context of the period. Conversely, those authors who have emphasized the latter frequently play down the importance of the technical scientific developments. In this book, Professor Debus amalgamates these approaches: The exact sciences of the period are discussed in detail, but reference is constantly made to religious and philosophical concepts that play little part in the science of our own time. Thus, the renewed interest in mystical texts and the subsequent impact of alchemy, astrology, and natural magic on the development of modern science and medicine are central to the account. Major themes that are followed throu

Man and Nature in the Renaissance offers an introduction to science and medicine during the earlier phases of the scientific revolution, from the mid-fifteenth century to the mid-seventeenth century. Renaissance science has frequently been approached in terms of the progress of the exact sciences of mathematics and astronomy, to the neglect of the broader intellectual context of the period. Conversely, those authors who have emphasized the latter frequently play down the importance of the technical scientific developments. In this book, Professor Debus amalgamates these approaches: The exact sciences of the period are discussed in detail, but reference is constantly made to religious and philosophical concepts that play little part in the science of our own time. Thus, the renewed interest in mystical texts and the subsequent impact of alchemy, astrology, and natural magic on the development of modern science and medicine are central to the account. Major themes that are followed throu

Provides instructions and tips on how to build simple structures for a variety of indoor and outdoor hangouts for summer and winter.

The Red Rockets' Glare is the first academic study on the birth of the Soviet space program and one of the first social histories of Soviet science. Based on many years of archival research, the book situates the birth of cosmic enthusiasm within the social and cultural upheavals of Russian and Soviet history. Asif A. Siddiqi frames the origins of Sputnik by bridging imagination with engineering - seeing them not as dialectic, discrete, and sequential but as mutable, intertwined, and concurrent. Imagination and engineering not only fed each other but were also co-produced by key actors who maintained a delicate line between secret work on rockets (which interested the military) and public prognostications on the cosmos (which captivated the populace). Sputnik, he argues, was the outcome of both large-scale state imperatives to harness science and technology and populist phenomena that frequently owed little to the whims and needs of the state apparatus.

The Red Rockets' Glare is the first academic study on the birth of the Soviet space program and one of the first social histories of Soviet science. Based on many years of archival research, the book situates the birth of cosmic enthusiasm within the social and cultural upheavals of Russian and Soviet history. Asif A. Siddiqi frames the origins of Sputnik by bridging imagination with engineering - seeing them not as dialectic, discrete, and sequential but as mutable, intertwined, and concurrent. Imagination and engineering not only fed each other but were also co-produced by key actors who maintained a delicate line between secret work on rockets (which interested the military) and public prognostications on the cosmos (which captivated the populace). Sputnik, he argues, was the outcome of both large-scale state imperatives to harness science and technology and populist phenomena that frequently owed little to the whims and needs of the state apparatus.

This book highlights the importance of carbon structures for technological advancements in applications for industrial and societal benefits. It provides an opportunity for researchers from different

Fortran is one of the oldest high-level languages and remains the premier language for writing code for science and engineering applications. This book is for anyone who uses Fortran, from the novice learner to the advanced expert. It describes best practices for programmers, scientists, engineers, computer scientists and researchers who want to apply good style and incorporate rigorous usage in their own Fortran code or to establish guidelines for a team project. The presentation concentrates primarily on the characteristics of Fortran 2003, while also describing methods in Fortran 90/95 and valuable new features in Fortran 2008. The authors draw on more than a half century of experience writing production Fortran code to present clear succinct guidelines on formatting, naming, documenting, programming and packaging conventions and various programming paradigms such as parallel processing (including OpenMP, MPI and coarrays), OOP, generic programming and C language interoperability.

Fortran is one of the oldest high-level languages and remains the premier language for writing code for science and engineering applications. This book is for anyone who uses Fortran, from the novice learner to the advanced expert. It describes best practices for programmers, scientists, engineers, computer scientists and researchers who want to apply good style and incorporate rigorous usage in their own Fortran code or to establish guidelines for a team project. The presentation concentrates primarily on the characteristics of Fortran 2003, while also describing methods in Fortran 90/95 and valuable new features in Fortran 2008. The authors draw on more than a half century of experience writing production Fortran code to present clear succinct guidelines on formatting, naming, documenting, programming and packaging conventions and various programming paradigms such as parallel processing (including OpenMP, MPI and coarrays), OOP, generic programming and C language interoperability.

This celebrated book has been prepared with readers' needs in mind, remaining a systematic treatment of the subject whilst retaining its vitality. The second volume follows on from the first, concentrating on stochastic integrals, stochastic differential equations, excursion theory and the general theory of processes. Much effort has gone into making these subjects as accessible as possible by providing many concrete examples that illustrate techniques of calculation, and by treating all topics from the ground up, starting from simple cases. Many of the examples and proofs are new; some important calculational techniques appeared for the first time in this book. Together with its companion volume, this book helps equip graduate students for research into a subject of great intrinsic interest and wide application in physics, biology, engineering, finance and computer science.

When Sam Flynn finds his presumed-dead father's computer, he is transported to the computer world known as the Grid, and must fight for survival against a variety of highly trained opponents including