Mathematics of Discrete Structures for Computer Science

In 1992 Vernor Vinge amazed the science fiction world with this epic novel of star-spanning adventure. It won the Hugo Award for Best Novel, and has since become a landmark in the field. Now, with the

A humorous and practical guide to the history and science of understanding the weather?plus, how to build your own barometer! For as long as man has walked upon this earth, he has been forced to survi

The Zack Files is a science fiction television program based on a book series of the same name. It revolves around a young boy, played by Robert Clark, who is a magnet for paranormal activity and atte

The Zack Files is a science fiction television program based on a book series of the same name. It revolves around a young boy, played by Robert Clark, who is a magnet for paranormal activity and atte

The Zack Files is a science fiction television program based on a book series of the same name. It revolves around a young boy, played by Robert Clark, who is a magnet for paranormal activity and atte

“One of the most satisfying science fiction novels I have read in years.”—The New York Times Book Review Here is a novel as original as the breathtaking, unspoiled world for which it is named, a place

In a data-driven society, individuals and companies encounter numerous situations where private information is an important resource. How can parties handle confidential data if they do not trust everyone involved? This text is the first to present a comprehensive treatment of unconditionally secure techniques for multiparty computation (MPC) and secret sharing. In a secure MPC, each party possesses some private data, while secret sharing provides a way for one party to spread information on a secret such that all parties together hold full information, yet no single party has all the information. The authors present basic feasibility results from the last 30 years, generalizations to arbitrary access structures using linear secret sharing, some recent techniques for efficiency improvements, and a general treatment of the theory of secret sharing, focusing on asymptotic results with interesting applications related to MPC.

Classical solutions play an important role in quantum field theory, high-energy physics and cosmology. Real-time soliton solutions give rise to particles, such as magnetic monopoles, and extended structures, such as domain walls and cosmic strings, that have implications for early universe cosmology. Imaginary-time Euclidean instantons are responsible for important nonperturbative effects, while Euclidean bounce solutions govern transitions between metastable states. Written for advanced graduate students and researchers in elementary particle physics, cosmology and related fields, this book brings the reader up to the level of current research in the field. The first half of the book discusses the most important classes of solitons: kinks, vortices and magnetic monopoles. The cosmological and observational constraints on these are covered, as are more formal aspects, including BPS solitons and their connection with supersymmetry. The second half is devoted to Euclidean solutions, with

Classical solutions play an important role in quantum field theory, high-energy physics and cosmology. Real-time soliton solutions give rise to particles, such as magnetic monopoles, and extended structures, such as domain walls and cosmic strings, that have implications for early universe cosmology. Imaginary-time Euclidean instantons are responsible for important nonperturbative effects, while Euclidean bounce solutions govern transitions between metastable states. Written for advanced graduate students and researchers in elementary particle physics, cosmology and related fields, this book brings the reader up to the level of current research in the field. The first half of the book discusses the most important classes of solitons: kinks, vortices and magnetic monopoles. The cosmological and observational constraints on these are covered, as are more formal aspects, including BPS solitons and their connection with supersymmetry. The second half is devoted to Euclidean solutions, with

Presenting a methodology for using domino logic in an ASIC design flow developed over several years in an industrial context, this text covers practical issues related to the use of domino logic in an automated framework, and brings together all the knowledge needed to apply these design techniques in practice. Beginning with a discussion of how to achieve high speed in ASIC designs, subsequent chapters detail the design and characterization of standard cell compatible domino logic libraries and an advanced domino logic synthesis flow. The results achieved by using automated domino logic design techniques, including silicon measurements, are used to validate the presented solution. With design examples including the implementation of the execution unit of a microprocessor and a Viterbi decoder, this text is ideal for graduate students and researchers in electrical and computer engineering and also for circuit designers in industry.

We live in an era of constitution-making. New constitutions are appearing in historically unprecedented numbers, following regime change in some countries, or a commitment to modernization in others. No democratic constitution today can fail to recognize or provide for gender equality. Constitution-makers need to understand the gendered character of all constitutions, and to recognize the differential impact on women of constitutional provisions, even where these appear gender-neutral. This book confronts what needs to be considered in writing a constitution when gender equity and agency are goals. It examines principles of constitutionalism, constitutional jurisprudence, and history. Its goal is to establish a framework for a 'gender audit' of both new and existing constitutions. It eschews a simple focus on rights and examines constitutional language, interpretation, structures and distribution of power, rules of citizenship, processes of representation, and the constitutional recogn

We live in an era of constitution-making. New constitutions are appearing in historically unprecedented numbers, following regime change in some countries, or a commitment to modernization in others. No democratic constitution today can fail to recognize or provide for gender equality. Constitution-makers need to understand the gendered character of all constitutions, and to recognize the differential impact on women of constitutional provisions, even where these appear gender-neutral. This book confronts what needs to be considered in writing a constitution when gender equity and agency are goals. It examines principles of constitutionalism, constitutional jurisprudence, and history. Its goal is to establish a framework for a 'gender audit' of both new and existing constitutions. It eschews a simple focus on rights and examines constitutional language, interpretation, structures and distribution of power, rules of citizenship, processes of representation, and the constitutional recogn

Instability of flows and their transition to turbulence are widespread phenomena in engineering and the natural environment, and are important in applied mathematics, astrophysics, biology, geophysics, meteorology, oceanography and physics as well as engineering. This is a textbook to introduce these phenomena at a level suitable for a graduate course, by modelling them mathematically, and describing numerical simulations and laboratory experiments. The visualization of instabilities is emphasized, with many figures, and in references to more still and moving pictures. The relation of chaos to transition is discussed at length. Many worked examples and exercises for students illustrate the ideas of the text. Readers are assumed to be fluent in linear algebra, advanced calculus, elementary theory of ordinary differential equations, complex variables and the elements of fluid mechanics. The book is aimed at graduate students but will also be very useful for specialists in other fields.

Instability of flows and their transition to turbulence are widespread phenomena in engineering and the natural environment, and are important in applied mathematics, astrophysics, biology, geophysics, meteorology, oceanography and physics as well as engineering. This is a textbook to introduce these phenomena at a level suitable for a graduate course, by modelling them mathematically, and describing numerical simulations and laboratory experiments. The visualization of instabilities is emphasized, with many figures, and in references to more still and moving pictures. The relation of chaos to transition is discussed at length. Many worked examples and exercises for students illustrate the ideas of the text. Readers are assumed to be fluent in linear algebra, advanced calculus, elementary theory of ordinary differential equations, complex variables and the elements of fluid mechanics. The book is aimed at graduate students but will also be very useful for specialists in other fields.

This provocative new study one of the world's most distinguished anthropologists proposes that an understanding of cognitive science enriches, rather than threatens, the work of social scientists. Maurice Bloch argues for a naturalist approach to social and cultural anthropology, introducing developments in cognitive sciences such as psychology and neurology and exploring the relevance of these developments for central anthropological concerns: the person or the self, cosmology, kinship, memory and globalisation. Opening with an exploration of the history of anthropology, Bloch shows why and how naturalist approaches were abandoned and argues that these once valid reasons are no longer relevant. Bloch then shows how such subjects as the self, memory and the conceptualisation of time benefit from being simultaneously approached with the tools of social and cognitive science. Anthropology and the Cognitive Challenge will stimulate fresh debate among scholars and students across a wide ra

This provocative new study one of the world's most distinguished anthropologists proposes that an understanding of cognitive science enriches, rather than threatens, the work of social scientists. Maurice Bloch argues for a naturalist approach to social and cultural anthropology, introducing developments in cognitive sciences such as psychology and neurology and exploring the relevance of these developments for central anthropological concerns: the person or the self, cosmology, kinship, memory and globalisation. Opening with an exploration of the history of anthropology, Bloch shows why and how naturalist approaches were abandoned and argues that these once valid reasons are no longer relevant. Bloch then shows how such subjects as the self, memory and the conceptualisation of time benefit from being simultaneously approached with the tools of social and cognitive science. Anthropology and the Cognitive Challenge will stimulate fresh debate among scholars and students across a wide ra

Psychologists, sociologists, philosophers, historians - and even scientists themselves - have often tried to decipher the basis for creativity in science. Some have attributed creativity to a special logic, the so-called scientific method, whereas others have pointed to the inspirations of genius or to the inevitable workings of the zeitgeist. Finally, some have viewed scientific breakthroughs as the product of chance, as witnessed in the numerous episodes of serendipity. Too often these four alternative interpretations are seen as mutually exclusive. Yet the central thesis of this book is that the chance, logic, genius, and zeitgeist perspectives can be integrated into a single coherent theory of creativity in science. But for this integration to succeed, change must be elevated to the status of primary cause. Logic, genius and the zeitgeist still have significant roles to play but mainly operate insofar as they enhance, or constrain the operation of a chance combinatorial process.

Psychologists, sociologists, philosophers, historians - and even scientists themselves - have often tried to decipher the basis for creativity in science. Some have attributed creativity to a special logic, the so-called scientific method, whereas others have pointed to the inspirations of genius or to the inevitable workings of the zeitgeist. Finally, some have viewed scientific breakthroughs as the product of chance, as witnessed in the numerous episodes of serendipity. Too often these four alternative interpretations are seen as mutually exclusive. Yet the central thesis of this book is that the chance, logic, genius, and zeitgeist perspectives can be integrated into a single coherent theory of creativity in science. But for this integration to succeed, change must be elevated to the status of primary cause. Logic, genius and the zeitgeist still have significant roles to play but mainly operate insofar as they enhance, or constrain the operation of a chance combinatorial process.

Recent advances in single molecule science have presented a new branch of science: single molecule cellular biophysics, combining classical cell biology with cutting-edge single molecule biophysics. This textbook explains the essential elements of this new discipline, from the state-of-the-art single molecule techniques to real-world applications in unravelling the inner workings of the cell. Every effort has been made to ensure the text can be easily understood by students from both the physical and life sciences. Mathematical derivations are kept to a minimum whilst unnecessary biological terminology is avoided and text boxes provide readers from either background with additional information. 100 end-of-chapter exercises are divided into those aimed at physical sciences students, those aimed at life science students and those that can be tackled by students from both disciplines. The use of case studies and real research examples make this textbook indispensable for undergraduate stu

Wood ants play an ecologically dominant and conspicuous role in temperate boreal forests, making a keystone contribution to woodland ecosystem functions and processes. Wood ant taxonomy and global distributions set the scene for this text's exploration of wood ants as social insects, examining their flexible social structures, genetics, population ecology, and behaviour, from nest-mate recognition to task allocation. Wood ants' interactions with their environment and with other organisms are essential to their success: competition, predation and mutualism are described and analysed. Bringing together the expertise of ecological researchers and conservation practitioners, this book provides practical and theoretical advice about sampling and monitoring these insects, and outlines the requirements for effective conservation. This is an indispensable resource for wood ant researchers, entomologists, conservationists and ecological consultants, as well as anyone interested in social insect

With answers to some of our most anxiety-inducing questions, such as "Why do I cringe at teenage me?" and "Why do I keep putting things off?" this insightful guide to our shared human experiences and quirks delves into the science behind 32 of our strangest thoughts and habits.Award-winning educator Dr. Jen Martin has created the perfect Q&A guide for the curious. In Why Am I Like This? she provides research-based explanations for popular questions about everything from overcoming anxiety and FOMO to why smells make us homesick and why we stick our tongues out when we concentrate.If you've ever wondered about the psychology and science behind the oddities of our daily lives, this accessible, entertaining, and informative guide is sure to educate you on what, exactly, makes you tick. This charming, vividly illustrated book makes the perfect gift for anyone who has ever stopped to wonder "Why?"

This book is for scientists and engineers involved in the definition and development of space science missions. The processes that such missions follow, from the proposal to a space agency, to a successful mission completion, are numerous. The rationale behind approval of a mission, its definition and the payload that it will include are topics that cannot be presented in undergraduate courses. This book contains contributions from experts who are involved in today's space missions at various levels. Chapters cover mission phases and implementation, launchers and cruise strategies, including gravity assist maneuvers and different thrust scenarios. The payload needed for remote sensing of the Universe at various wavelengths and for in-situ measurements is described in detail, and particular attention is paid to the most recent planetary landers. Whilst the book concentrates on the ESA program Cosmic Visions, its content is relevant to space science missions at all space agencies.

This book is for scientists and engineers involved in the definition and development of space science missions. The processes that such missions follow, from the proposal to a space agency, to a successful mission completion, are numerous. The rationale behind approval of a mission, its definition and the payload that it will include are topics that cannot be presented in undergraduate courses. This book contains contributions from experts who are involved in today's space missions at various levels. Chapters cover mission phases and implementation, launchers and cruise strategies, including gravity assist maneuvers and different thrust scenarios. The payload needed for remote sensing of the Universe at various wavelengths and for in-situ measurements is described in detail, and particular attention is paid to the most recent planetary landers. Whilst the book concentrates on the ESA program Cosmic Visions, its content is relevant to space science missions at all space agencies.

Is contemporary continental philosophy making a break with Kant? The structures of knowledge, taken for granted since Kant?s Critique of Pure Reason, are now being called into question: the finitude of the subject, the phenomenal given, a priori synthesis. Relinquish the transcendental: such is the imperative of postcritical thinking in the 21st century.Questions that we no longer thought it possible to ask now reemerge with renewed vigor: can Kant really maintain the difference between a priori and innate? Can he deduce, rather than impose, the categories, or justify the necessity of nature? Recent research into brain development aggravates these suspicions, which measure transcendental idealism against the thesis of a biological origin for cognitive processes.In her important new book Catherine Malabou lays out Kant?s response to his posterity. True to its subject, the book evolves as an epigenesis ? the differentiated growth of the embryo ? for, as those who know how to read critica

This reader is designed for an intermediate-level Chinese course in which students not only develop proficiency in the Chinese language but also gain some knowledge of Chinese culture. It consists of twenty-two lessons, which are arranged according to their level of difficulty. Each lesson contains a core text and a reading text. The contents of the texts cover a wide variety of topics, including Chinese language structures and characters, Chinese customs, proverbs, holidays, social phenomena, religions, poetry and geography, as well as Chinese folklore. A list of questions for group discussion follows the text in each chapter to help students further explore issues related to Chinese culture and to their own lives. Grammar notes and exercises for relevant grammatical points are introduced after each core text to enhance students’ skills of reading, comprehension and writing. The grammar notes are all explained in English and illustrated through sample sentences in Chinese with Engli

Multilinear algebra has important applications in many different areas of mathematics but is usually learned in a rather haphazard fashion. The aim of this book is to provide a readable and systematic account of multilinear algebra at a level suitable for graduate students. Professor Northcott gives a thorough treatment of topics such as tensor, exterior, Grassmann, Hopf and co-algebras and ends each chapter with a section entitled 'Comments and Exercises'. The comments contain convenient summaries and discussion of the content whilst the exercises provide an opportunity to test understanding and add extra material. Complete solutions are provided for those exercises that are particularly important or used later in the book. The volume as a whole is based on advanced lectures given by the author at the University of Sheffield.

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form.

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form.

The aim of this book is to promote a fibrewise perspective, particularly in topology, which is central to modern mathematics. Already this view is standard in the theory of fibre bundles and therefore in such subjects as global analysis. It has a role to play also in general and equivariant topology. There are strong links with equivariant topology, a topic which has latterly been subject to great research activity. It is to be hoped that this book will provide a solid and invigorating foundation for the increasing research interest in fibrewise topology

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design

A pioneering global trend forecaster predicts how the collision of tribalism, climate change, and new technologies will shape the culture and commerce of the next two decades―a must-read guide for business leaders, entrepreneurs and anyone looking for an edge in our chaotic timesTwenty years ago, people around the world prepared for the Y2K computer glitch that would supposedly bring the global economy to its knees. Rather than overnight disruption, humankind instead slipped gradually into two decades of economic and ecological turmoil, extremism, and divisiveness, all set against the backdrop of a newly global and digital civilization. So what’s in store for the next two decades? In this acutely observed guide, renowned trendspotter Marian Salzman, whose past predictions came uncannily close to reality in the '90s and the '00s, unpacks the course of human life from the bumpy turn of the millennium through the pandemic era, when chaos and “together apart” seemed to become the new norma

One of Wall Street Journal’s "Best Books for Science Lovers" in 2015Science is on the cusp of a revolutionary breakthrough. We now understand more about aging—and how to prevent and reverse it—than ever before.In recent years, our understanding of the nature of aging has grown exponentially, and dramatic life extension—even age reversal—has moved from science fiction to real possibility.Dr. Michael Fossel has been in the forefront of aging research for decades and is the author of the definitive textbook on human aging. In The Telomerase Revolution, he takes us on a detailed but highly accessible scientific journey, providing startling insights into the nature of human aging.Twenty years ago, there was still considerable debate of the nature of human aging, with a variety of competing theories in play. But scientific consensus is forming around the telomere theory of aging. The essence of this theory is that human aging is the result of cellular aging. Every time a cell reproduces, its

This volume of essays by a leading scholar of Victorian intellectual history reflects research, teaching and writing carried out over more than twenty years. Five of the essays are new; seven, although published previously, have been revised for this collection. The essays cover an extremely wide spectrum of Victorian thought, including the issues of secularization, cultural apostasy, the crisis of faith, Victorian scientific naturalism, the conflict between science and religion, the relationship of science and politics, and the Victorian attitude towards the ancient world. Taken as a whole the essays constitute a major revisionist overview of the Victorian intellectual enterprise which will be of interest to scholars in a wide variety of fields.

This volume of essays by a leading scholar of Victorian intellectual history reflects research, teaching and writing carried out over more than twenty years. Five of the essays are new; seven, although published previously, have been revised for this collection. The essays cover an extremely wide spectrum of Victorian thought, including the issues of secularization, cultural apostasy, the crisis of faith, Victorian scientific naturalism, the conflict between science and religion, the relationship of science and politics, and the Victorian attitude towards the ancient world. Taken as a whole the essays constitute a major revisionist overview of the Victorian intellectual enterprise which will be of interest to scholars in a wide variety of fields.

If there is one God, why are there so many religions? Might all be false? Some revert to a relativism that allows different 'truth's' for different people, but this is incoherent. This Element argues that monotheism has provided the basis for a belief in objective truth. Human understanding is fallible and partial, but without the idea of one God, there is no foundation for a belief in one reality or a common human nature. The shadow of monotheism lies over our understanding of science, and of morality.

As religious polarisation in society deepens, political actors and policy-makers have begun to struggle with questions on the role of the dominant religion and how religion influences constitutional commitments and development. By focusing on Indonesia, Malaysia and Sri Lanka, Constitutions, Religion and Politics in Asia demonstrates how constitution-making and the operation of constitutional arrangements involving religion cannot be separated from the broader political dynamics of society. Although constitutions establish legal and political structures of government institutions and provide tools for rights protection, they do not operate in a vacuum divorced from the games of power and the political realities surrounding them. Here, Shah sets out how constitutions operate and evolve, and demonstrates how constitutional provisions can produce unintended consequences over time. A vital new source of scholarship for students and scholars of law and religion, and comparative constitution

As religious polarisation in society deepens, political actors and policy-makers have begun to struggle with questions on the role of the dominant religion and how religion influences constitutional commitments and development. By focusing on Indonesia, Malaysia and Sri Lanka, Constitutions, Religion and Politics in Asia demonstrates how constitution-making and the operation of constitutional arrangements involving religion cannot be separated from the broader political dynamics of society. Although constitutions establish legal and political structures of government institutions and provide tools for rights protection, they do not operate in a vacuum divorced from the games of power and the political realities surrounding them. Here, Shah sets out how constitutions operate and evolve, and demonstrates how constitutional provisions can produce unintended consequences over time. A vital new source of scholarship for students and scholars of law and religion, and comparative constitution

Conventions are fundamental to the constitutional systems of parliamentary democracies. Unlike the United States which adopted a republican form of government, with a full separation of powers, codified constitutional structures and limitations for executive and legislative institutions and actors, Britain and subsequently Canada, Australia and New Zealand have relied on conventions to perform similar functions. The rise of new political actors has disrupted the stability of the two-party system, and in seeking power the new players are challenging existing practices. Conventions that govern constitutional arrangements in Britain and New Zealand, and the executive in Canada and Australia, are changing to accommodate these and other challenges of modern governance. In Westminster democracies, constitutional conventions provide the rules for forming government; they precede law and make law-making possible. This prior and more fundamental realm of government formation and law making is s

Komatiites erupted billions of years ago as pulsating streams of white-hot lava. Their unusual chemical compositions and exceptionally high formation temperatures produced highly fluid lava that crystallized as spectacular layered flows. Investigation of the extreme conditions in which komatiites formed provides important evidence about the thermal and chemical evolution of the planet, and the nature of the Precambrian mantle. This monograph, written by three experts with long experience in the field, presents a complete account of the characteristics of komatiites including their volcanic structures, textures, mineralogy and chemical compositions. Models for their formation and eruption are evaluated (including the anhydrous vs. hydrous magmas controversy). A chapter is also devoted to the valuable nickel and copper ore deposits found in komatiites. Komatiite is a key reference for researchers and advanced students interested in petrology, Archaean geology, economic geology, and broad

Demography in Archaeology, first published in 2006, is a review of current theory and method in the reconstruction of populations from archaeological data. Starting with a summary of demographic concepts and methods, the book examines historical and ethnographic sources of demographic evidence before addressing the methods by which reliable demographic estimates can be made from skeletal remains, settlement evidence and modern and ancient biomolecules. Recent debates in palaeodemography are evaluated, new statistical methods for palaeodemographic reconstruction are explained, and the notion that past demographic structures and processes were substantially different from those pertaining today is critiqued. The book covers a wide span of evidence, from the evolutionary background of human demography to the influence of natural and human-induced catastrophes on population growth and survival. This is essential reading for any archaeologist or anthropologist with an interest in relating t