Mathematics of Discrete Structures for Computer Science

Scientific computing is the study of how to use computers effectively to solve problems that arise from the mathematical modeling of phenomena in science and engineering. It is based on mathematics, n

This volume contains nine survey articles based on the invited lectures given at the 23rd British Combinatorial Conference, held at Exeter in July 2011. This biennial conference is a well-established international event, with speakers from all over the world. By its nature, this volume provides an up-to-date overview of current research activity in several areas of combinatorics, including extremal graph theory, the cyclic sieving phenomenon and transversals in Latin squares. Each article is clearly written and assumes little prior knowledge on the part of the reader. The authors are some of the world's foremost researchers in their fields, and here they summarise existing results and give a unique preview of the most recent developments. The book provides a valuable survey of the present state of knowledge in combinatorics. It will be useful to research workers and advanced graduate students, primarily in mathematics but also in computer science and statistics.

This book presents the theory of nonsymmetric operads from a combinatorial point-of-view. It portrays the main elements of this theory and the links it maintains with several areas of computer science

Symbolic dynamics is a mature yet rapidly developing area of dynamical systems. It has established strong connections with many areas, including linear algebra, graph theory, probability, group theory, and the theory of computation, as well as data storage, statistical mechanics, and $C^*$-algebras. This Second Edition maintains the introductory character of the original 1995 edition as a general textbook on symbolic dynamics and its applications to coding. It is written at an elementary level and aimed at students, well-established researchers, and experts in mathematics, electrical engineering, and computer science. Topics are carefully developed and motivated with many illustrative examples. There are more than 500 exercises to test the reader's understanding. In addition to a chapter in the First Edition on advanced topics and a comprehensive bibliography, the Second Edition includes a detailed Addendum, with companion bibliography, describing major developments and new research di

Did you know that any straight-line drawing on paper can be folded so that the complete drawing can be cut out with one straight scissors cut? That there is a planar linkage that can trace out any algebraic curve, or even 'sign your name'? Or that a 'Latin cross' unfolding of a cube can be refolded to 23 different convex polyhedra? Over the past decade, there has been a surge of interest in such problems, with applications ranging from robotics to protein folding. With an emphasis on algorithmic or computational aspects, this treatment gives hundreds of results and over 60 unsolved 'open problems' to inspire further research. The authors cover one-dimensional (1D) objects (linkages), 2D objects (paper), and 3D objects (polyhedra). Aimed at advanced undergraduate and graduate students in mathematics or computer science, this lavishly illustrated book will fascinate a broad audience, from school students to researchers.

"Written by noted quantum computing theorist Scott Aaronson, this book takes readers on a tour through some of the deepest ideas of maths, computer science and physics. Full of insights, arguments and

Updated to cover changes in the latest edition of the C# language and including several areas of new and expanded content, the second edition of this introductory computer science textbook provides st

* Founder of the field of Computer Science* 150th Anniversary of his deathThis book is the first full-length biography of George Boole (1815–1864), who has been variously described as the founder of p

This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a

Few developments in the intellectual life of the past quarter-century have provoked more controversy than the attempt to engineer human-like intelligence by artificial means. Born of computer science,

Ethics in IT Systems Development: The Human Use of Machine Beings stands at the intersection of computer science, philosophy and management and integrates theories and frameworks from all three domain

Neuro-robotics is one of the most multidisciplinary fields of the last decades, fusing information and knowledge from neuroscience, engineering and computer science. This book focuses on the results f

Few developments in the intellectual life of the past quarter-century have provoked more controversy than the attempt to engineer human-like intelligence by artificial means. Born of computer science,

Markov chains are a fundamental class of stochastic processes. They are widely used to solve problems in a large number of domains such as operational research, computer science, communication network

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic f

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic f

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic f

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic f

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic f

This book provides an introduction to HCI and usability aspects of Geographical Information Systems and Science. Its aim is to introduce the principles of Human-Computer Interaction (HCI); to discuss

One of the key components of modern physics, quantum mechanics is used in such fields as chemistry, electrical engineering, and computer science. Central to quantum mechanics is SchrAdinger's Equati

A unique, integrated treatment of computer modeling and simulation "The future of science belongs to those willing to make the shift to simulation-based modeling," predicts Rice Professor James Thomps

U.S. students exit undergraduate science, technology, engineering, and mathematics programs at alarming rates. Less than 50 percent of the undergraduate students who enter STEM degree programs as aspi

This book reports the results of a research project that investigated assessment methods aimed at supporting and improving inquiry-based approaches in European science, technology and mathematics (STM

This volume explores the nature of discourse in secondary and upper elementary mathematics and science classrooms. Chapters examine conditions that support or hinder teachers and students, in particul

Describes some of the ways in which people use science, technology, engineering, and mathematics at a museum, including paleontology exhibits, security, IMAX films, climate control, and keeping track

A comprehensive overview of networks and economic design, presenting models and results drawn from economics, operations research, and computer science; with examples and exercises.This book explores

New Interdisciplinary Landscapes in Morality and Emotion brings together researchers from the fields of psychology, philosophy, computer science and the humanities to explore the relationship between

Causal Inference in Statistics: A Primer Judea Pearl,?Computer Science and Statistics, University of California Los Angeles, USA Madelyn Glymour,?Philosophy, Carnegie Mellon University, Pittsburgh, US

This is the first monograph dedicated to this interdisciplinary research area, combining the views of music, computer science, education, creativity studies, psychology, and engineering. The contribut

"Control of nonlinear systems is a multidisciplinary field involving electrical engineering, computer science, and control engineering. This book develops a systematic methodology to understand a quan

Scheduling is a broad research area and scheduling problems arise from several application domains (production systems, logistic, computer science, etc.). Solving scheduling problems requires tools of

IT practitioners in government and computer science programs represent a significant population of professionals constantly attempting to obtain information on the latest research in public management

Although recently they've become most closely associated with computer security, the art and science of cryptography have histories and applications stretching along disciplines and millennia. Mollin

The study of the Earth’s gravitational field and its representation in a three-dimensional time-varying space by applying the rules of applied mathematics and Earth science is known as geodesy. It als

Thirty Days Has September helps with learning all of those confusing rules of language and mathematics, and those tricky facts from science, history and geography. It makes a lovely gift from parent t

State-of-the-art analysis of geological structures has become increasingly quantitative but traditionally, graphical methods are used in teaching. This innovative lab book provides a unified methodology for problem-solving in structural geology using linear algebra and computation. Assuming only limited mathematical training, the book begins with classic orientation problems and progresses to more fundamental topics of stress, strain and error propagation. It introduces linear algebra methods as the foundation for understanding vectors and tensors, and demonstrates the application of geometry and kinematics in geoscience without requiring students to take a supplementary mathematics course. All algorithms are illustrated with a suite of online MATLAB functions, allowing users to modify the code to solve their own structural problems. Containing 20 worked examples and over 60 exercises, this is the ideal lab book for advanced undergraduates or beginning graduate students. It will also p

State-of-the-art analysis of geological structures has become increasingly quantitative but traditionally, graphical methods are used in teaching. This innovative lab book provides a unified methodology for problem-solving in structural geology using linear algebra and computation. Assuming only limited mathematical training, the book begins with classic orientation problems and progresses to more fundamental topics of stress, strain and error propagation. It introduces linear algebra methods as the foundation for understanding vectors and tensors, and demonstrates the application of geometry and kinematics in geoscience without requiring students to take a supplementary mathematics course. All algorithms are illustrated with a suite of online MATLAB functions, allowing users to modify the code to solve their own structural problems. Containing 20 worked examples and over 60 exercises, this is the ideal lab book for advanced undergraduates or beginning graduate students. It will also p

Connecting theory with practice, this systematic and rigorous introduction covers the fundamental principles, algorithms and applications of key mathematical models for high-dimensional data analysis. Comprehensive in its approach, it provides unified coverage of many different low-dimensional models and analytical techniques, including sparse and low-rank models, and both convex and non-convex formulations. Readers will learn how to develop efficient and scalable algorithms for solving real-world problems, supported by numerous examples and exercises throughout, and how to use the computational tools learnt in several application contexts. Applications presented include scientific imaging, communication, face recognition, 3D vision, and deep networks for classification. With code available online, this is an ideal textbook for senior and graduate students in computer science, data science, and electrical engineering, as well as for those taking courses on sparsity, low-dimensional str