Mathematics of Discrete Structures for Computer Science

In recent years, widespread organisational change in large corporations has almost invariably led to work intensification and increased stress for managers. Managing in the Modern Corporation explains how and why large companies have changed their organisational structures and philosophies, focusing in particular on how these changes affect the careers of middle managers. Based on in-depth interviews with over two hundred middle and senior managers working in large corporations in the USA, UK and Japan, it shows how the working lives of managers have been subjected to major disruption, involving work intensification and reduced opportunities for career progression. Furthermore, it argues that such widespread overwork and poor treatment of highly skilled and highly motivated staff has created a major international problem that must be addressed. The book presents a range of solutions to this important problem, suggesting that there are possibilities for saner, less brutal organisational

What are the unique characteristics of sign languages that make them so fascinating? What have recent researchers discovered about them, and what do these findings tell us about human language more generally? This thematic and geographic overview examines more than forty sign languages from around the world. It begins by investigating how sign languages have survived and been transmitted for generations, and then goes on to analyse the common characteristics shared by most sign languages: for example, how the use of the visual system affects grammatical structures. The final section describes the phenomena of language variation and change. Drawing on a wide range of examples, the book explores sign languages both old and young, from British, Italian, Asian and American to Israeli, Al-Sayyid Bedouin, African and Nicaraguan. Written in a clear, readable style, it is the essential reference for students and scholars working in sign language studies and deaf studies.

This 1992 book provides a comprehensive introduction to the theory of electrical circuits for students in the physical sciences taking a first course in electronics. The methods of circuit analysis are clearly explained and illustrated with the aid of numerous worked examples. Applications of the theory relevant to the fields of electronics, telecommunications and power systems are treated throughout. These sections will prepare students for more advanced courses. The text is written for first and second year undergraduate courses in electronics for science and engineering students. The more specialised sections also provide some advanced material which is covered in third year courses.

This 1992 book provides a comprehensive introduction to the theory of electrical circuits for students in the physical sciences taking a first course in electronics. The methods of circuit analysis are clearly explained and illustrated with the aid of numerous worked examples. Applications of the theory relevant to the fields of electronics, telecommunications and power systems are treated throughout. These sections will prepare students for more advanced courses. The text is written for first and second year undergraduate courses in electronics for science and engineering students. The more specialised sections also provide some advanced material which is covered in third year courses.

Computational aeroacoustics (CAA) is a relatively new research area. CAA algorithms have developed rapidly and the methods have been applied in many areas of aeroacoustics. The objective of CAA is not simply to develop computational methods but also to use these methods to solve practical aeroacoustics problems and to perform numerical simulation of aeroacoustic phenomena. By analysing the simulation data, an investigator can determine noise generation mechanisms and sound propagation processes. This is both a textbook for graduate students and a reference for researchers in CAA and as such is self-contained. No prior knowledge of numerical methods for solving partial differential equations (PDEs) is needed, however, a general understanding of partial differential equations and basic numerical analysis is assumed. Exercises are included and are designed to be an integral part of the chapter content. In addition, sample computer programs are included to illustrate the implementation of

This is a book about the meanings of words and how they can combine to form larger meaningful units, as well as how they can fail to combine when the amalgamation of a predicate and argument would produce what the philosopher Gilbert Ryle called a 'category mistake'. It argues for a theory in which words get assigned both an intension and a type. The book develops a rich system of types and investigates its philosophical and formal implications, for example the abandonment of the classic Church analysis of types that has been used by linguists since Montague. The author integrates fascinating and puzzling observations about lexical meaning into a compositional semantic framework. Adjustments in types are a feature of the compositional process and account for various phenomena including coercion and copredication. This book will be of interest to semanticists, philosophers, logicians and computer scientists alike.

This introduction to random walks on infinite graphs gives particular emphasis to graphs with polynomial volume growth. It offers an overview of analytic methods, starting with the connection between random walks and electrical resistance, and then proceeding to study the use of isoperimetric and Poincaré inequalities. The book presents rough isometries and looks at the properties of a graph that are stable under these transformations. Applications include the 'type problem': determining whether a graph is transient or recurrent. The final chapters show how geometric properties of the graph can be used to establish heat kernel bounds, that is, bounds on the transition probabilities of the random walk, and it is proved that Gaussian bounds hold for graphs that are roughly isometric to Euclidean space. Aimed at graduate students in mathematics, the book is also useful for researchers as a reference for results that are hard to find elsewhere.

The area of nonlinear dispersive partial differential equations (PDEs) is a fast developing field which has become exceedingly technical in recent years. With this book, the authors provide a self-contained and accessible introduction for graduate or advanced undergraduate students in mathematics, engineering, and the physical sciences. Both classical and modern methods used in the field are described in detail, concentrating on the model cases that simplify the presentation without compromising the deep technical aspects of the theory, thus allowing students to learn the material in a short period of time. This book is appropriate both for self-study by students with a background in analysis, and for teaching a semester-long introductory graduate course in nonlinear dispersive PDEs. Copious exercises are included, and applications of the theory are also presented to connect dispersive PDEs with the more general areas of dynamical systems and mathematical physics.

The area of nonlinear dispersive partial differential equations (PDEs) is a fast developing field which has become exceedingly technical in recent years. With this book, the authors provide a self-contained and accessible introduction for graduate or advanced undergraduate students in mathematics, engineering, and the physical sciences. Both classical and modern methods used in the field are described in detail, concentrating on the model cases that simplify the presentation without compromising the deep technical aspects of the theory, thus allowing students to learn the material in a short period of time. This book is appropriate both for self-study by students with a background in analysis, and for teaching a semester-long introductory graduate course in nonlinear dispersive PDEs. Copious exercises are included, and applications of the theory are also presented to connect dispersive PDEs with the more general areas of dynamical systems and mathematical physics.

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

Biologists are notoriously reticent about using mathematics. This textbook is both an introduction to quantitative biology and a guide for the number-shy. Richard Burton fosters a sense of the fundamental importance and usefulness of mathematical principles in biology, with a fascinating range of examples. The book is geared towards the non-mathematician, and covers the basics as well as various more advanced topics from many diverse biological disciplines. Questions and calculations encourage active participation without holding up the reader. A key feature is the structure of the book. Rather than building it around biological disciplines, Dr Burton emphasises the common ways of reasoning used in areas as diverse as insect and population growth, seed mortality and sensory response (to mention a few that use logarithms). Written primarily for beginning undergraduates, this enlightening text will also be an essential aid for students throughout their undergraduate and graduate years.

Biologists are notoriously reticent about using mathematics. This textbook is both an introduction to quantitative biology and a guide for the number-shy. Richard Burton fosters a sense of the fundamental importance and usefulness of mathematical principles in biology, with a fascinating range of examples. The book is geared towards the non-mathematician, and covers the basics as well as various more advanced topics from many diverse biological disciplines. Questions and calculations encourage active participation without holding up the reader. A key feature is the structure of the book. Rather than building it around biological disciplines, Dr Burton emphasises the common ways of reasoning used in areas as diverse as insect and population growth, seed mortality and sensory response (to mention a few that use logarithms). Written primarily for beginning undergraduates, this enlightening text will also be an essential aid for students throughout their undergraduate and graduate years.

String theory made understandable. Barton Zwiebach is once again faithful to his goal of making string theory accessible to undergraduates. He presents the main concepts of string theory in a concrete and physical way to develop intuition before formalism, often through simplified and illustrative examples. Complete and thorough in its coverage, this new edition now includes AdS/CFT correspondence and introduces superstrings. It is perfectly suited to introductory courses in string theory for students with a background in mathematics and physics. New sections cover strings on orbifolds, cosmic strings, moduli stabilization, and the string theory landscape. Now with almost 300 problems and exercises, with password-protected solutions for instructors at www.cambridge.org/zwiebach.

This is a lively textbook providing a solid introduction to financial option valuation for undergraduate students armed with a working knowledge of a first year calculus. Written in a series of short chapters, its self-contained treatment gives equal weight to applied mathematics, stochastics and computational algorithms. No prior background in probability, statistics or numerical analysis is required. Detailed derivations of both the basic asset price model and the Black–Scholes equation are provided along with a presentation of appropriate computational techniques including binomial, finite differences and in particular, variance reduction techniques for the Monte Carlo method. Each chapter comes complete with accompanying stand-alone MATLAB code listing to illustrate a key idea. Furthermore, the author has made heavy use of figures and examples, and has included computations based on real stock market data.

This self-contained introduction to algebraic topology is suitable for a number of topology courses. It consists of about one quarter 'general topology' (without its usual pathologies) and three quarters 'algebraic topology' (centred around the fundamental group, a readily grasped topic which gives a good idea of what algebraic topology is). The book has emerged from courses given at the University of Newcastle-upon-Tyne to senior undergraduates and beginning postgraduates. It has been written at a level which will enable the reader to use it for self-study as well as a course book. The approach is leisurely and a geometric flavour is evident throughout. The many illustrations and over 350 exercises will prove invaluable as a teaching aid. This account will be welcomed by advanced students of pure mathematics at colleges and universities.

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

The calculus of variations has been an active area of mathematics for over 300 years. Its main use is to find stable critical points of functions for the solution of problems. To find unstable values, new approaches (Morse theory and min-max methods) were developed, and these are still being refined to overcome difficulties when applied to the theory of partial differential equations. Here, Professor Ghoussoub describes a point of view that may help when dealing with such problems. Building upon min-max methods, he systematically develops a general theory that can be applied in a variety of situations. In so doing he also presents a whole array of duality and perturbation methods. The prerequisites for following this book are relatively few; an appendix sketching certain methods in analysis makes the book reasonably self-contained. Consequently, it should be accessible to all mathematicians, pure or applied, economists and engineers working in nonlinear analysis or optimization.

In most mathematics departments at major universities one of the three or four basic first-year graduate courses is in the subject of algebraic topology. This introductory textbook in algebraic topology is suitable for use in a course or for self-study, featuring broad coverage of the subject and a readable exposition, with many examples and exercises. The four main chapters present the basic material of the subject: fundamental group and covering spaces, homology and cohomology, higher homotopy groups, and homotopy theory generally. The author emphasizes the geometric aspects of the subject, which helps students gain intuition. A unique feature of the book is the inclusion of many optional topics which are not usually part of a first course due to time constraints, and for which elementary expositions are sometimes hard to find. Among these are: Bockstein and transfer homomorphisms, direct and inverse limits, H-spaces and Hopf algebras, the Brown representability theorem, the James r

The calculus of variations has been an active area of mathematics for over 300 years. Its main use is to find stable critical points of functions for the solution of problems. To find unstable values, new approaches (Morse theory and min-max methods) were developed, and these are still being refined to overcome difficulties when applied to the theory of partial differential equations. Here, Professor Ghoussoub describes a point of view that may help when dealing with such problems. Building upon min-max methods, he systematically develops a general theory that can be applied in a variety of situations. In so doing he also presents a whole array of duality and perturbation methods. The prerequisites for following this book are relatively few; an appendix sketching certain methods in analysis makes the book reasonably self-contained. Consequently, it should be accessible to all mathematicians, pure or applied, economists and engineers working in nonlinear analysis or optimization.

With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and betwe

How can society most effectively prevent disease and promote health? That is the challenge addressed by this textbook. Public health is the art and science of preventing disease, prolonging life and promoting health through the organised efforts of society. The 'science' is concerned with making a diagnosis of a population's health problems, establishing their cause and determining effective interventions. The 'art' lies in creatively addressing these problems. Essential Public Health captures both the art and science of the field. This second edition has been fully updated with contemporary examples and includes new chapters on sustainability and change, management and leadership. Examples are taken from health systems throughout the world, giving readers a wider perspective of the challenges faced. This is essential reading for all trainees in health care, social care and related disciplines. An internet companion includes supplementary information and interactive, self-assessment qu

Several Complex Variables is a central area of mathematics with strong interactions with partial differential equations, algebraic geometry, number theory, and differential geometry. The 1995–1996 MSRI program on Several Complex Variables emphasized these interactions and concentrated on developments and problems of interest that capitalize on this interplay of ideas and techniques. This collection, first published in 2000, provides a remarkably clear and complete picture of the status of research in these overlapping areas and will provide a basis for significant continued contributions from researchers. Several of the articles are expository or have extensive expository sections, making this an excellent introduction for students to the use of techniques from these other areas in several complex variables. Thanks to its distinguished list of contributors this volume provides a representative sample of the work done in Several Complex Variables.

Stochastic approximation is a relatively new technique for studying the properties of an experimental situation; it has important applications in fields such as medicine and engineering. The subject can be treated either largely as a branch of pure mathematics, or else from an empirical and practical angle. In this book, Dr Wasan gives a rigorous mathematical treatment of the subject, drawing together the scattered results of a number of authors. He discusses the conditions under which the method gives a valid approximation to the required solution; methods for optimal choice of parameters to hasten convergence; the comparison of the method with other techniques. The discussion and proofs of theorems are given in enough detail to make them easy to follow, while a number of interesting examples show how the techniques may be applied in many fields.

Several Complex Variables is a central area of mathematics with strong interactions with partial differential equations, algebraic geometry, number theory, and differential geometry. The 1995–1996 MSRI program on Several Complex Variables emphasized these interactions and concentrated on developments and problems of interest that capitalize on this interplay of ideas and techniques. This collection, first published in 2000, provides a remarkably clear and complete picture of the status of research in these overlapping areas and will provide a basis for significant continued contributions from researchers. Several of the articles are expository or have extensive expository sections, making this an excellent introduction for students to the use of techniques from these other areas in several complex variables. Thanks to its distinguished list of contributors this volume provides a representative sample of the work done in Several Complex Variables.

When it was first published this was the first general account of Hausdorff measures, a subject that has important applications in many fields of mathematics. There are three chapters: the first contains an introduction to measure theory, paying particular attention to the study of non-s-finite measures. The second develops the most general aspects of the theory of Hausdorff measures, and the third gives a general survey of applications of Hausdorff measures followed by detailed accounts of two special applications. This edition has a foreword by Kenneth Falconer outlining the developments in measure theory since this book first appeared. Based on lectures given by the author at University College London, this book is ideal for graduate mathematicians with no previous knowledge of the subject, but experts in the field will also want a copy for their shelves.

Here is an introductory text on metric spaces that is the first to be written for students who are as interested in the applications as in the theory. Knowledge of metric spaces is fundamental to understanding numerical methods (for example for solving differential equations) as well as analysis, yet most books at this level emphasise just the abstraction and theory. Dr Bryant uses applications to provide motivation and to sustain the development and discusses numerical procedures where appropriate. The reader is expected to have had some exposure to elementary analysis, but the author provides examples throughout to refresh the student's memory and to test and extend understanding. In short, this is an introductory textbook that will appeal to students of mathematics and engineering and will give them the required background for more advanced courses in both analysis and numerical analysis.

This book offers a major reassessment of Leibniz's metaphysics. Christia Mercer has exposed the underlying doctrines of Leibniz's philosophy. By analysing Leibniz's early works she demonstrates that the metaphysics of pre-established harmony developed many years earlier than previously believed and for reasons which have not been understood. As a result of this analysis she has unearthed a philosophical school that Leibniz scholars have not recognized. A much deeper understanding of some of Leibniz's key doctrines emerges. Moreover, since the Leibniz that is revealed here does not fit neatly into the standard accounts of the history of philosophy and science, Christia Mercer's study will prompt scholars to reconsider their basic assumptions about early modern philosophy and science.

This book offers a major reassessment of Leibniz's metaphysics. Christia Mercer has exposed the underlying doctrines of Leibniz's philosophy. By analysing Leibniz's early works she demonstrates that the metaphysics of pre-established harmony developed many years earlier than previously believed and for reasons which have not been understood. As a result of this analysis she has unearthed a philosophical school that Leibniz scholars have not recognized. A much deeper understanding of some of Leibniz's key doctrines emerges. Moreover, since the Leibniz that is revealed here does not fit neatly into the standard accounts of the history of philosophy and science, Christia Mercer's study will prompt scholars to reconsider their basic assumptions about early modern philosophy and science.

Do you want a rigorous book that remembers where PDEs come from and what they look like? This highly visual introduction to linear PDEs and initial/boundary value problems connects the math to physical reality, all the time providing a rigorous mathematical foundation for all solution methods. Readers are gradually introduced to abstraction – the most powerful tool for solving problems – rather than simply drilled in the practice of imitating solutions to given examples. The book is therefore ideal for students in mathematics and physics who require a more theoretical treatment than given in most introductory texts. Also designed with lecturers in mind, the fully modular presentation is easily adapted to a course of one-hour lectures, and a suggested 12-week syllabus is included to aid planning. Downloadable files for the hundreds of figures, hundreds of challenging exercises, and practice problems that appear in the book are available online, as are solutions.

Do you want a rigorous book that remembers where PDEs come from and what they look like? This highly visual introduction to linear PDEs and initial/boundary value problems connects the math to physical reality, all the time providing a rigorous mathematical foundation for all solution methods. Readers are gradually introduced to abstraction – the most powerful tool for solving problems – rather than simply drilled in the practice of imitating solutions to given examples. The book is therefore ideal for students in mathematics and physics who require a more theoretical treatment than given in most introductory texts. Also designed with lecturers in mind, the fully modular presentation is easily adapted to a course of one-hour lectures, and a suggested 12-week syllabus is included to aid planning. Downloadable files for the hundreds of figures, hundreds of challenging exercises, and practice problems that appear in the book are available online, as are solutions.

"Separated from his science team on a mountain after a landslide, Joe is in no hurry to get back. The slide has carried a wealth of fossils with it for him to study! Joe examines these and the mountai

By age sixteen, Rhine Ellery has four years left to live. She can thank modern science for this genetic time bomb. A botched effort to create a perfect race has left all males with a lifespan of 25 ye

New information and communication technologies have drastically changed public management. Public managers are increasingly dependent on information gathered form complex systems and they need to be able to put in place sound IT and communication structures. This accessible text, aimed specifically at those studying and working in public management, offers readers a comprehensive understanding of ICTs and their implications for public management. It provides aspiring and current public managers a framework for the development of strategic public information management across the full range of public organizations.Written by leading experts in this area, Public Management in an Information Age offers:- A thorough grounding in the latest research- Examples of issues and practices from different contexts and types of organizations around the world- A range of tools and techniques to help readers analyse concrete situations and develop appropriate solutions - Summary boxes on key ICTs

New information and communication technologies have drastically changed public management. Public managers are increasingly dependent on information gathered form complex systems and they need to be able to put in place sound IT and communication structures. This accessible text, aimed specifically at those studying and working in public management, offers readers a comprehensive understanding of ICTs and their implications for public management. It provides aspiring and current public managers a framework for the development of strategic public information management across the full range of public organizations.Written by leading experts in this area, Public Management in an Information Age offers:- A thorough grounding in the latest research- Examples of issues and practices from different contexts and types of organizations around the world- A range of tools and techniques to help readers analyse concrete situations and develop appropriate solutions - Summary boxes on key ICTs

This volume includes a collection of papers presented in Symposium TT, 'Laser-Material Interactions at Micro/Nanoscales', at the Spring 2011 Materials Research Society Meeting held April 2011 in San Francisco. Laser-material interactions are of fundamental importance in a wide range of materials-related research and areas of technology, including green energy, photonics, electronics, environmental studies, biomedical imaging, medical treatment and optical spectroscopy. This symposium provided an interdisciplinary forum for scientists and engineers from different fields to discuss the physical, chemical, thermal and mechanical phenomena that occur during laser-material interactions at micro and nano scales. Research addressing new materials, processes, structures and surfaces synthesized by these methods for emerging fields was discussed. The symposium was well attended and received a large number of abstract submissions in the areas of ultrafast laser processing, laser ablation and dep

European Labour Law explores how individual European national legal systems, in symbiosis with the European Union, produce a transnational labour law system that is distinct and genuinely European in character. Professor Brian Bercusson describes the evolution of this system, its national, transnational and global contexts and its institutional and substantive structures. The collective industrial-relations dimension of employment is examined, and the labour law of the EU as manifested in, for example, European works councils is analysed. Important subjects which have traditionally received little attention in some European labour law systems are covered, for example, the fragmentation of the workforce into atypical forms of employment. Attention is also given to the enforcement of European labour law through administrative or judicial mechanisms and the European social dialogue at intersectoral and sectoral levels. This new edition has been extensively updated, as the EU's influence o

This course is designed for students who have completed a first-level course in Arabic and wish to pursue the subject to degree level. It aims to develop thoroughly the four basic language skills of reading, writing, speaking and listening, making extensive use of authentic Arabic materials. Each of the twenty chapters is based around a particular topic relating to the culture, history, politics, geography or society of the Arab Middle East, to give students an insight into important aspects of the region. This topic-based approach allows students to tackle vocabulary and structures in a coherent and concentrated manner. Each chapter contains materials for translation into and from Arabic, aural texts, précis passages, suggested oral discussion topics, and a variety of exercises including comprehension in English and Arabic. Accompanying cassettes and a teacher's handbook are available separately.

Continuing his groundbreaking analysis of economic structures, Douglass North develops an analytical framework for explaining the ways in which institutions and institutional change affect the performance of economies, both at a given time and over time. Institutions exist, he argues, due to the uncertainties involved in human interaction; they are the constraints devised to structure that interaction. Yet, institutions vary widely in their consequences for economic performance; some economies develop institutions that produce growth and development, while others develop institutions that produce stagnation. North first explores the nature of institutions and explains the role of transaction and production costs in their development. The second part of the book deals with institutional change. Institutions create the incentive structure in an economy, and organisations will be created to take advantage of the opportunities provided within a given institutional framework. North argues t

Continuing his groundbreaking analysis of economic structures, Douglass North develops an analytical framework for explaining the ways in which institutions and institutional change affect the performance of economies, both at a given time and over time. Institutions exist, he argues, due to the uncertainties involved in human interaction; they are the constraints devised to structure that interaction. Yet, institutions vary widely in their consequences for economic performance; some economies develop institutions that produce growth and development, while others develop institutions that produce stagnation. North first explores the nature of institutions and explains the role of transaction and production costs in their development. The second part of the book deals with institutional change. Institutions create the incentive structure in an economy, and organisations will be created to take advantage of the opportunities provided within a given institutional framework. North argues t