Mathematics of Discrete Structures for Computer Science

For readers daunted by the formal structures and rhetorical sophistication of eighteenth-century English poetry, this introduction by John Sitter brings the techniques and the major poets of the period 1700–1785 triumphantly to life. Sitter begins by offering a guide to poetic forms ranging from heroic couplets to blank verse, then demonstrates how skilfully male and female poets of the period used them as vehicles for imaginative experience, feelings and ideas. He then provides detailed analyses of individual works by poets from Finch, Swift and Pope, to Gray, Cowper and Barbauld. An approachable introduction to English poetry and major poets of the eighteenth century, this book provides a grounding in poetic analysis useful to students and general readers of literature.

This book includes two distinct parts: a reprint of the biography Stephen Smale: "The Mathematician Who Broke the Dimension Barrier" followed by new content which provides an update on Prof. Smale’s life and work to the present day. The book tells Prof. Smale’s life story, including his most important mathematical discoveries as well as his worldwide travels and other exciting adventures. It is suitable for readers interested in mathematics, mineralogy, and the esteemed career of Prof. Stephen Smale at City University of Hong Kong and beyond.

China has given birth to numerous scientific and technological inventions, and for many centuries led the world in such innovations. Indeed, some of the most important inventions in the history of human civilization originated in China – not least the compass, gunpowder, paper and printing. Ancient Chinese Inventions provides an accessible, illustrated introduction to the many inventions to which China can lay claim, from the aforementioned seminal discoveries to mining technology, the production of silk and ceramics, and brilliant advances in astronomy, mathematics and medicine.

Examines why countries imitate the military systems of one another. A book of theory and history, it builds on and extends the most influential theory in international relations - neorealism. It offers an alternative account for emulation and convergence in the international system. It explains why states make certain choices in how to organize, prepare, and fight wars, and how international structures shape their choices. The work develops a neglected area of neorealism, applies it in new ways, widens its explanatory scope, and offers three rich - and uncommon - historical cases based on archival research.

Examines why countries imitate the military systems of one another. A book of theory and history, it builds on and extends the most influential theory in international relations - neorealism. It offers an alternative account for emulation and convergence in the international system. It explains why states make certain choices in how to organize, prepare, and fight wars, and how international structures shape their choices. The work develops a neglected area of neorealism, applies it in new ways, widens its explanatory scope, and offers three rich - and uncommon - historical cases based on archival research.

Welcome to the Human Body Theater, where your master of ceremonies is going to lead you through a theatrical revue of each and every biological system of the human body! Starting out as a skeleton, the MC puts on a new layer of her costume (her body) with each "act." By turns goofy and intensely informative, the Human Body Theater is always accessible and always entertaining.Maris Wicks is a biology nerd, and by the time you've read this book, you will be too! Harnessing her passion for science (and her background as a science educator for elementary and middle-school students), she has created a comics-format introduction to the human body that will make an expert of any reader -- young or old!

This textbook integrates classic principles of flow through porous media with recently developed stochastic analyses to provide new insight on subsurface hydrology. Importantly, each of the authors has extensive experience in both academia and the world of applied groundwater hydrology. The book not only presents theories but also emphasizes their underlying assumptions, limitations, and the potential pitfalls that may occur as a result of blind application of the theories as 'cookie-cutter' solutions. The book has been developed for advanced-level courses on groundwater fluid flow, hydraulics, and hydrogeology, in either civil and environmental engineering or geoscience departments. It is also a valuable reference text for researchers and professionals in civil and environmental engineering, geology, soil science, environmental science, and petroleum and mining engineering.

The first overview of sampling for archaeologists for over twenty years, this manual offers a comprehensive account of the applications of statistical sampling theory which are essential to modern archaeological practice at a range of scales, from the regional to the microscopic. Bringing archaeologists up to date with an aspect of their work which is often misunderstood, it includes a discussion of the relevance of sampling theory to archaeological interpretation, and considers its fundamental place in fieldwork and post-excavation study. It demonstrates the vast range of techniques that are available, only some of which are widely used by archaeologists. A section on statistical theory also reviews latest developments in the field, and the formal mathematics is available in an appendix, cross-referenced with the main text.

The first overview of sampling for archaeologists for over twenty years, this manual offers a comprehensive account of the applications of statistical sampling theory which are essential to modern archaeological practice at a range of scales, from the regional to the microscopic. Bringing archaeologists up to date with an aspect of their work which is often misunderstood, it includes a discussion of the relevance of sampling theory to archaeological interpretation, and considers its fundamental place in fieldwork and post-excavation study. It demonstrates the vast range of techniques that are available, only some of which are widely used by archaeologists. A section on statistical theory also reviews latest developments in the field, and the formal mathematics is available in an appendix, cross-referenced with the main text.

The methods used in the detection and characterisation of exoplanets are presented through the study of transiting systems in this unique textbook for advanced undergraduates. From determining the atmospheric properties of transiting exoplanets to measuring the planetary orbit's alignment with the stellar spin, students will discover what these measurements imply for reinvigorated theories of planet formation and evolution. Worked examples and exercises with full solutions help students to assess their understanding of concepts and results. Key points and equations are highlighted to make them easily identifiable, and there are full colour illustrations throughout. Bridging the gap between introductory, non-mathematical texts and more advanced textbooks, this book is ideal for students with some background in mathematics, physics and astronomy. Accompanying resources to this textbook are available at: http://www.cambridge.org/features/astrophysics.

The methods used in the detection and characterisation of exoplanets are presented through the study of transiting systems in this unique textbook for advanced undergraduates. From determining the atmospheric properties of transiting exoplanets to measuring the planetary orbit's alignment with the stellar spin, students will discover what these measurements imply for reinvigorated theories of planet formation and evolution. Worked examples and exercises with full solutions help students to assess their understanding of concepts and results. Key points and equations are highlighted to make them easily identifiable, and there are full colour illustrations throughout. Bridging the gap between introductory, non-mathematical texts and more advanced textbooks, this book is ideal for students with some background in mathematics, physics and astronomy. Accompanying resources to this textbook are available at: http://www.cambridge.org/features/astrophysics.

Anomalous diffusion has been detected in a wide variety of scenarios, from fractal media, systems with memory, transport processes in porous media, to fluctuations of financial markets, tumour growth, and complex fluids. Providing a contemporary treatment of this process, this book examines the recent literature on anomalous diffusion and covers a rich class of problems in which surface effects are important, offering detailed mathematical tools of usual and fractional calculus for a wide audience of scientists and graduate students in physics, mathematics, chemistry and engineering. Including the basic mathematical tools needed to understand the rules for operating with the fractional derivatives and fractional differential equations, this self-contained text presents the possibility of using fractional diffusion equations with anomalous diffusion phenomena to propose powerful mathematical models for a large variety of fundamental and practical problems in a fast-growing field of rese

William Harvey's natural philosophy was a view of the world that he had put together during his education in Cambridge and Padua. It contained ways of structuring knowledge, formulating questions and arriving at answers that directed the programme of work in which he discovered the circulation of the blood. This book, the most extensive discussion of Harvey to be published for over twenty-five years, reports extensively on the views of those who wrote for and against him. It is a study of a major change in natural philosophy and of the forces which acted for and, equally important, against change. In a period traditionally central to historians of science, it is argued here that natural philosophy and particularly Harvey's speciality within it - anatomy - was theocentric. Harvey's contribution was experiment; and the revolution which occurred in the seventeenth century was concerned not with science but with experiment and the status of natural knowledge.

William Harvey's natural philosophy was a view of the world that he had put together during his education in Cambridge and Padua. It contained ways of structuring knowledge, formulating questions and arriving at answers that directed the programme of work in which he discovered the circulation of the blood. This book, the most extensive discussion of Harvey to be published for over twenty-five years, reports extensively on the views of those who wrote for and against him. It is a study of a major change in natural philosophy and of the forces which acted for and, equally important, against change. In a period traditionally central to historians of science, it is argued here that natural philosophy and particularly Harvey's speciality within it - anatomy - was theocentric. Harvey's contribution was experiment; and the revolution which occurred in the seventeenth century was concerned not with science but with experiment and the status of natural knowledge.

First published in 1961 this monograph deals with the analysis of unsteady lift distributions of thin oscillating wings at transonic speeds. Such distributions are needed for the prediction of flutter, which tends to occur more frequently at speeds near that of sound than in any other speed regime. This book emphasises analytical methods that treat the linearised problem for simple wing planforms such as rectangular and delta wings. There is a thorough discussion of the limitations of the validity of linearised theory as well as the proper boundary conditions to be applied for the case of flows with shocks. Although the standard approach in engineering practice is to sense transonic flow calculations with the aid of direct numerical simulations on a high-speed computer, the treatment in this classic monograph is still of value in the physical insight it provides and in the reference 'exact' solutions it supplies for simplified cases that may serve as validation cases for complicated co

This is an introduction to geometrical topics that are useful in applied mathematics and theoretical physics, including manifolds, metrics, connections, Lie groups, spinors and bundles, preparing readers for the study of modern treatments of mechanics, gauge fields theories, relativity and gravitation. The order of presentation corresponds to that used for the relevant material in theoretical physics: the geometry of affine spaces, which is appropriate to special relativity theory, as well as to Newtonian mechanics, is developed in the first half of the book, and the geometry of manifolds, which is needed for general relativity and gauge field theory, in the second half. Analysis is included not for its own sake, but only where it illuminates geometrical ideas. The style is informal and clear yet rigorous; each chapter ends with a summary of important concepts and results. In addition there are over 650 exercises, making this a book which is valuable as a text for advanced undergraduat

Part one of the authors' comprehensive and innovative work on multidimensional real analysis. This book is based on extensive teaching experience at Utrecht University and gives a thorough account of differential analysis in multidimensional Euclidean space. It is an ideal preparation for students who wish to go on to more advanced study. The notation is carefully organized and all proofs are clean, complete and rigorous. The authors have taken care to pay proper attention to all aspects of the theory. In many respects this book presents an original treatment of the subject and it contains many results and exercises that cannot be found elsewhere. The numerous exercises illustrate a variety of applications in mathematics and physics. This combined with the exhaustive and transparent treatment of subject matter make the book ideal as either the text for a course, a source of problems for a seminar or for self study.

Part two of the authors' comprehensive and innovative work on multidimensional real analysis. This book is based on extensive teaching experience at Utrecht University and gives a thorough account of integral analysis in multidimensional Euclidean space. It is an ideal preparation for students who wish to go on to more advanced study. The notation is carefully organized and all proofs are clean, complete and rigorous. The authors have taken care to pay proper attention to all aspects of the theory. In many respects this book presents an original treatment of the subject and it contains many results and exercises that cannot be found elsewhere. The numerous exercises illustrate a variety of applications in mathematics and physics. This combined with the exhaustive and transparent treatment of subject matter make the book ideal as either the text for a course, a source of problems for a seminar or for self study.

Two volume set of the authors' comprehensive and innovative work on multidimensional real analysis. These books are based on extensive teaching experience at Utrecht University and give a thorough account of analysis in multidimensional Euclidean space. They are an ideal preparation for students who wish to go on to more advanced study. The notation is carefully organized and all proofs are clean, complete and rigorous. The authors have taken care to pay proper attention to all aspects of the theory. In many respects these books present an original treatment of the subject and they contain many results and exercises that cannot be found elsewhere. The numerous exercises illustrate a variety of applications in mathematics and physics. This combined with the exhaustive and transparent treatment of subject matter make these books ideal as either the text for a course, a source of problems for a seminar or for self study.

A 1981 treatment of the action and uses of the hormones and drugs that influence endocrine functions in the body as seen by a pharmacologist. The book includes a description of available drug preparations and expected therapeutic responses, and an examination of their side effects and interactions with other drugs. Special emphasis is placed on how such drugs and hormones work and on how their biological effects are related to their chemical structures. The physiological background to the practical significance of such substances is given for both a healthy and a diseased state. The book assumes little prior knowledge of endocrinology or pharmacology.

The mathematical theory of stochastic dynamics has become an important tool in the modeling of uncertainty in many complex biological, physical, and chemical systems and in engineering applications - for example, gene regulation systems, neuronal networks, geophysical flows, climate dynamics, chemical reaction systems, nanocomposites, and communication systems. It is now understood that these systems are often subject to random influences, which can significantly impact their evolution. This book serves as a concise introductory text on stochastic dynamics for applied mathematicians and scientists. Starting from the knowledge base typical for beginning graduate students in applied mathematics, it introduces the basic tools from probability and analysis and then develops for stochastic systems the properties traditionally calculated for deterministic systems. The book's final chapter opens the door to modeling in non-Gaussian situations, typical of many real-world applications. Rich wit

The mathematical theory of stochastic dynamics has become an important tool in the modeling of uncertainty in many complex biological, physical, and chemical systems and in engineering applications - for example, gene regulation systems, neuronal networks, geophysical flows, climate dynamics, chemical reaction systems, nanocomposites, and communication systems. It is now understood that these systems are often subject to random influences, which can significantly impact their evolution. This book serves as a concise introductory text on stochastic dynamics for applied mathematicians and scientists. Starting from the knowledge base typical for beginning graduate students in applied mathematics, it introduces the basic tools from probability and analysis and then develops for stochastic systems the properties traditionally calculated for deterministic systems. The book's final chapter opens the door to modeling in non-Gaussian situations, typical of many real-world applications. Rich wit

Basic Engineering Circuit Analysis has long been regarded as the most dependable textbook for computer and electrical engineering majors. In this new edition, Irwin and Nelms continue to develop the most complete set of pedagogical tools available and provide the highest level of support for students entering into this complex subject. Irwin and Nelms trademark student-centered learning design focuses on helping students complete the connection between theory and practice. Key concepts are explained clearly and illustrated by detailed, worked examples. These are then followed by Learning Assessments, which allow students to work similar problems and check their results against the answers provided.

Now in paperback, this classic book is addressed to all lovers of number theory. On the one hand, it gives a comprehensive introduction to constructive algebraic number theory, and is therefore especially suited as a textbook for a course on that subject. On the other hand many parts go beyond an introduction and make the user familiar with recent research in the field. New methods which have been developed for experimental number theoreticians are included along with new and important results. Both computer scientists interested in higher arithmetic and those teaching algebraic number theory will find the book of value.

This book provides a brief but thorough account of the basic principles of good pump design. The first three chapters present the basic hydraulic equations, including cavitation, and discuss the principles that underlie the correct performance of the impeller and casing of centrifugal pumps and the blading of axial machines. The fourth chapter outlines analytical methods for flow calculations, including special techniques used in computer aided design. The following two chapters work through two examples: the impeller and casing of a simple volute type centrifugal pump; and an axial flow pump impeller. Shafts, bearings, seals and drives are discussed in a separate chapter. The last two chapters deal with design for difficult fluids, and codes and practices.

This book provides a brief but thorough account of the basic principles of good pump design. The first three chapters present the basic hydraulic equations, including cavitation, and discuss the principles that underlie the correct performance of the impeller and casing of centrifugal pumps and the blading of axial machines. The fourth chapter outlines analytical methods for flow calculations, including special techniques used in computer aided design. The following two chapters work through two examples: the impeller and casing of a simple volute type centrifugal pump; and an axial flow pump impeller. Shafts, bearings, seals and drives are discussed in a separate chapter. The last two chapters deal with design for difficult fluids, and codes and practices.

Poole’s "Linear Algebra: A Modern Introduction, Cengage International Edition", 5th, prepares students to transition from computational to theoretical mathematics. Balancing theory and application, the conversational writing style combines traditional presentation with student-centered learning. Theoretical, computational and applied topics are presented in a flexible, integrated way. Stressing geometric understanding before computational techniques, vectors and vector geometry are introduced early to help students visualize concepts and develop mathematical maturity for abstract thinking. Numerous applications drawn from a variety of disciplines reinforce that linear algebra is a valuable tool for modeling real-life problems.

Discover your path toward a more sustainable life.The science on climate change is in, and its impacts are being felt around the globe. It’s time for every one of us to start finding a new way of livi

Does your child dream of a future career in the exciting world of technology? This book will show them that there is so much more to a science career than using a spanner. The perfect book for buddi

This book discusses two of the oldest and hardest problems in both science and philosophy: What is matter?, and What is mind? A reason for tackling both problems in a single book is that two of the mo

The author of four seminal works on science and culture, Donna Haraway here speaks for the first time in a direct and non-academic voice. How Like a Leaf will be a welcome inside view of the author's

Here is the first new book of poems in more than a decade from the author so well known for her thought-provoking science fiction novels. It is also the most autobiographical of Ursula K. Le Guin's fi

It was a miracle of science that permitted human beings to live, if not forever, then for a long, long time. Some people, anyway. The rich, the powerful--they lived their lives at the rate of one yea

The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers

A critique of concepts has been central to feminist scholarship since its inception. However, while gender scholars have identified the analytical gaps in existing social science concepts, few have systematically mapped out a gendered approach to issues in political analysis and theory development. This volume addresses this important gap in the literature by exploring the methodology of concept construction and critique, which is a crucial step to disciplined empirical analysis, research design, causal explanations, and testing hypotheses. Leading gender and politics scholars use a common framework to discuss methodological issues in some of the core concepts of feminist research in political science, including representation, democracy, welfare state governance, and political participation. This is an invaluable work for researchers and students in women's studies and political science.

A critique of concepts has been central to feminist scholarship since its inception. However, while gender scholars have identified the analytical gaps in existing social science concepts, few have systematically mapped out a gendered approach to issues in political analysis and theory development. This volume addresses this important gap in the literature by exploring the methodology of concept construction and critique, which is a crucial step to disciplined empirical analysis, research design, causal explanations, and testing hypotheses. Leading gender and politics scholars use a common framework to discuss methodological issues in some of the core concepts of feminist research in political science, including representation, democracy, welfare state governance, and political participation. This is an invaluable work for researchers and students in women's studies and political science.

This collaborative volume is concerned with long-term social change. Envisaging individual societies as interlinked and interdependent parts of a global social system, the aim of the contributors is to determine the extent to which ancient societies were shaped over time by their incorporation in - or resistance to - the larger system. Their particular concern is the dependent relationship between technically and socially more developed societies with a strong state ideology at the centre and the simpler societies that functioned principally as sources of raw materials and manpower on the periphery of the system. The papers in the first part of the book are all concerned with political developments in the Ancient Near East and the notion of a regional system as a framework for analysis. Part 2 examines the problems of conceptualising local societies as discrete centres of development in the context of both the Near East and prehistoric Europe during the second millennium BC. Part 3 the

The first book to approach high oscillation as a subject of its own, Highly Oscillatory Problems begins a new dialogue and lays the groundwork for future research. It ensues from the six-month programme held at the Newton Institute of Mathematical Sciences, which was the first time that different specialists in highly oscillatory research, from diverse areas of mathematics and applications, had been brought together for a single intellectual agenda. This ground-breaking volume consists of eight review papers by leading experts in subject areas of active research, with an emphasis on computation: numerical Hamiltonian problems, highly oscillatory quadrature, rapid approximation of functions, high frequency wave propagation, numerical homogenization, discretization of the wave equation, high frequency scattering and the solution of elliptic boundary value problems.

This introductory overview explores the methods, models and interdisciplinary links of artificial economics, a new way of doing economics in which the interactions of artificial economic agents are computationally simulated to study their individual and group behavior patterns. Conceptually and intuitively, and with simple examples, Mercado addresses the differences between the basic assumptions and methods of artificial economics and those of mainstream economics. He goes on to explore various disciplines from which the concepts and methods of artificial economics originate; for example cognitive science, neuroscience, artificial intelligence, evolutionary science and complexity science. Introductory discussions on several controversial issues are offered, such as the application of the concepts of evolution and complexity in economics and the relationship between artificial intelligence and the philosophies of mind. This is one of the first books to fully address artificial economics

For over three decades, Paul Churchland has been a provocative and controversial philosopher of mind and of science. He is most famous as an advocate of 'eliminative materialism', whereby he suggests that our commonsense understanding of our own minds is radically defective and that the science of brain demonstrates this (just as an understanding of physics reveals that our commonsense understanding of a flat and motionless earth is similarly false). This collection offers an introduction to Churchland's work, as well as a critique of some of his most famous philosophical positions. Including contributions by both established and promising young philosophers, it is intended to complement the growing literature on Churchland, focusing on his contributions in isolation from those of his wife and philosophical partner, Patricia Churchland, as well as on his contributions to philosophy as distinguished from those to Cognitive Science.