bluuebunny/crossref_metadata_2025 huggingface dataset:
Dynamic Logic
Authors: Harel David , Kozen Dexter , Tiuryn Jerzy
Published: December 2018

This book provides the first comprehensive introduction to Dynamic Logic.

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.

This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.
Ethics and the Metaphysics of Medicine
Authors: Richman Kenneth A.
Published: December 2018

Explores the philosophical and practical ethical implications of a definition of health as a state that allows us to reach our goals.

Definitions of health and disease are of more than theoretical interest. Understanding what it means to be healthy has implications for choices in medical treatment, for ethically sound informed consent, and for accurate assessment of policies or programs. This deeper understanding can help us create more effective public policy for health and medicine. It is notable that such contentious legal initiatives as the Americans with Disability Act and the Patients' Bill of Rights fail to define adequately the medical terms on which their effectiveness depends. In Ethics and the Metaphysics of Medicine, Kenneth Richman develops an "embedded instrumentalist" theory of health and applies it to practical problems in health care and medicine, addressing topics that range from the philosophy of science to knee surgery.

"Embedded instrumentalist" theories hold that health is a match between one's goals and one's ability to reach those goals, and that the relevant goals may vary from individual to individual. This captures the normative implications of the term health while avoiding problematic relativism. Richman's embedded instrumentalism differs from other theories of health in drawing a distinction between the health of individuals as biological organisms and the health of individuals as moral agents. This distinction illuminates many difficulties in patient-provider communication and helps us understand conflicts between promoting health and promoting ethically permissible behavior. After exploring, expanding, and defending this theory in the first part of the book, Richman examines its ethical implications, discussing such concerns as the connection between medical beneficence and respect for autonomy, patient-provider communication, living wills, and clinical education.
Feeling Pain and Being in Pain
Authors: Grahek Nikola
Published: December 2018

An examination of the two most radical dissociation syndromes of the human pain experience—pain without painfulness and painfulness without pain—and what they reveal about the complex nature of pain and its sensory, cognitive, and behavioral components.

In Feeling Pain and Being in Pain, Nikola Grahek examines two of the most radical dissociation syndromes to be found in human pain experience: pain without painfulness and painfulness without pain. Grahek shows that these two syndromes—the complete dissociation of the sensory dimension of pain from its affective, cognitive, and behavioral components, and its opposite, the dissociation of pain's affective components from its sensory-discriminative components (inconceivable to most of us but documented by ample clinical evidence)—have much to teach us about the true nature and structure of human pain experience.

Grahek explains the crucial distinction betweenfeeling pain and being in pain, defending it on both conceptual and empirical grounds. He argues that the two dissociative syndromes reveal the complexity of the human pain experience: its major components, the role they play in overall pain experience, the way they work together, and the basic neural structures and mechanisms that subserve them.

Feeling Pain and Being in Pain does not offer another philosophical theory of pain that conclusively supports or definitively refutes either subjectivist or objectivist assumptions in the philosophy of mind. Instead, Grahek calls for a less doctrinaire and more balanced approach to the study of mind–brain phenomena.

Bradford Books imprint
Framing Production
Authors: Rosen Paul
Published: December 2018

The production of bicycles in Britain and the United States recently suffered severe setbacks. The renowned American Schwinn brand was downgraded to the mass market by its new owners following bankruptcy, and Britain's Raleigh came close to closure because of high debts and poor returns, saved only by a last-minute management buyout. In both cases, market share and credibility were lost to newer, more innovative firms, as well as to a recentering of the global bicycle industry in the Far East.

This book reflects on such changes by setting them within a sociological and historical context. It focuses on the British bicycle industry in the interwar years and in the 1980s and the 1990s—periods characterized by modernization of production and of industrial organization, by changing relations among players in the industry, by new developments in labor relations, and by changes in interactions between markets and product design. In particular, it traces the fortunes of the Raleigh Cycle Company from its beginnings as an innovative young firm, through massive expansion of its products and markets and the assimilation of many of its competitors, into further innovation amid market contraction and management inertia, and finally into a phase of global restructuring that has transformed and reduced its role within the industry.

The book explores the complex ways in which product design, production methods, industrial organization, and the cultures of cycling have interacted to create a succession of sociotechnical frames for the bicycle. At the same time, on an activist level, the book promotes a participatory politics of bicycle technology and a less car-centered view of personal transportation.
The Great Divestiture
Authors: Florio Massimo
Published: December 2018

The privatization carried out under the Thatcher and Major governments in Britain has been widely (although not universally) considered a success, and has greatly influenced the privatization of state industries in the transition economies of Eastern Europe. Massimo Florio's systematic analysis is the first comprehensive treatment of the overall welfare impact of this broad national policy of divestiture. Using the tools of social cost-benefit analysis, Florio assesses the effect of privatization on consumers, taxpayers, firms, shareholders, and workers. His conclusion may be surprising to some; his findings suggest that the changeover to private ownership per se had little effect on long-term trends in prices and productivity in Britain and contributed to regressive redistribution.

After historical and theoretical overviews of privatization and a look at macroeconomic trends in the Thatcher-Major era, Florio considers in detail the microeconomic effects of British privatization on several key groups. In successive chapters, he examines firms and productivity changes; shareholders' windfall gains and evidence of underpricing and outperformance in privatized companies; workers, management, and changes in industrial relations; consumers and the quantity and quality of goods after the change to public ownership; and taxpayers and the interplay between privatization and tax reform. He follows these chapters with a case study of British Telecom—significant not only because it was the largest divestiture of the period but also because of its influence on subsequent telecommunications privatization elsewhere. The final chapter considers the overall quantitative impact of the Thatcher-Major privatization on all sectors and its relationship with regulation and liberalization. The Great Divestiture not only offers an exhaustive analysis of the effects of the British process of privatization but also illustrates a method of inquiry and a testable research approach that could prove to be useful in similar studies of other countries.
Independent Component Analysis
Authors: Stone James V.
Published: December 2018

A tutorial-style introduction to a class of methods for extracting independent signals from a mixture of signals originating from different physical sources; includes MatLab computer code examples.

Independent component analysis (ICA) is becoming an increasingly important tool for analyzing large data sets. In essence, ICA separates an observed set of signal mixtures into a set of statistically independent component signals, or source signals. In so doing, this powerful method can extract the relatively small amount of useful information typically found in large data sets. The applications for ICA range from speech processing, brain imaging, and electrical brain signals to telecommunications and stock predictions.

In Independent Component Analysis, Jim Stone presents the essentials of ICA and related techniques (projection pursuit and complexity pursuit) in a tutorial style, using intuitive examples described in simple geometric terms. The treatment fills the need for a basic primer on ICA that can be used by readers of varying levels of mathematical sophistication, including engineers, cognitive scientists, and neuroscientists who need to know the essentials of this evolving method. An overview establishes the strategy implicit in ICA in terms of its essentially physical underpinnings and describes how ICA is based on the key observations that different physical processes generate outputs that are statistically independent of each other. The book then describes what Stone calls "the mathematical nuts and bolts" of how ICA works. Presenting only essential mathematical proofs, Stone guides the reader through an exploration of the fundamental characteristics of ICA. Topics covered include the geometry of mixing and unmixing; methods for blind source separation; and applications of ICA, including voice mixtures, EEG, fMRI, and fetal heart monitoring. The appendixes provide a vector matrix tutorial, plus basic demonstration computer code that allows the reader to see how each mathematical method described in the text translates into working Matlab computer code.

Bradford Books imprint
Institutional Investors
Authors: Davis E. Philip , Steil Benn
Published: December 2018

One of the most important recent developments in financial markets is the institutionalization of saving associated with the growth of pension funds, life insurance companies, and mutual funds. An increasing proportion of household saving is now managed by professional portfolio managers instead of being directly invested in the securities markets or held in the form of bank deposits. With the aging of the population and its adverse impact on public pension systems, the shift of individual savings to institutional investors is likely to become even more marked in the coming years.

This book provides a comprehensive economic assessment of institutional investment. It charts the development and performance of the asset management industry and analyzes the implications of rising institutionalized saving for the development of the securities trading industry, the financial sector as a whole, and the wider economy. The book draws extensively on international experience, particularly in the United States, Western Europe, and Japan.
The Minimum Means of Reprisal
Authors: Lewis Jeffrey
Published: December 2018

An analysis of China's nuclear and space capabilities, deployment strategies, and stance in arms control negotiations, and the implications for U.S. defense strategy.

InThe Minimum Means of Reprisal, Jeffrey Lewis examines China's nuclear and space capabilities and deployment strategies, as well as the Chinese government's stance in arms control negotiations. Lewis finds that Chinese officials hold a "restrained view" about the role of nuclear weapons in national security and maintain a limited nuclear capacity sufficient to deter attack but not large enough for control of these weapons to be compromised.

The future of cooperative security arrangements in space will depend largely on the U.S.-Chinese relationship, and Lewis warns that changes in U.S. defense strategy, including the weaponization of space, could signal to China that its capabilities are not sufficient to deter the United States from the use of force. Such a shift could cause China to reconsider its use of restraint in nuclear strategy, further damaging the already weakened arms control regime and increasing the nuclear threat to the United States and the world.
Morphology and Computation
Authors: Sproat Richard
Published: December 2018

This book provides the first broad yet thorough coverage of issues in morphological theory.

This book provides the first broad yet thorough coverage of issues in morphological theory. It includes a wide array of techniques and systems in computational morphology (including discussion of their limitations), and describes some unusual applications. Sproat motivates the study of computational morphology by arguing that a computational natural language system, such as a parser or a generator, must incorporate a model of morphology. He discusses a range of applications for programs with knowledge of morphology, some of which are not generally found in the literature. Sproat then provides an overview of some of the basic descriptive facts about morphology and issues in theoretical morphology and (lexical) phonology, as well as psycholinguistic evidence for human processing of morphological structure. He takes up the basic techniques that have been proposed for doing morphological processing and discusses at length various systems (such as DECOMP and KIMMO) that incorporate part or all of those techniques, pointing out the inadequacies of such systems from both a descriptive and a computational point of view. He concludes by touching on interesting peripheral areas such as the analysis of complex nominals in English, and on the main contributions of Rumelhart and McClelland's connectionism to the computational analysis of words.

Bradford Books imprint
Neural Smithing
Authors: Reed Russell , Marks Robert J
Published: December 2018

Artificial neural networks are nonlinear mapping systems whose structure is loosely based on principles observed in the nervous systems of humans and animals. The basic idea is that massive systems of simple units linked together in appropriate ways can generate many complex and interesting behaviors. This book focuses on the subset of feedforward artificial neural networks called multilayer perceptrons (MLP). These are the mostly widely used neural networks, with applications as diverse as finance (forecasting), manufacturing (process control), and science (speech and image recognition).

This book presents an extensive and practical overview of almost every aspect of MLP methodology, progressing from an initial discussion of what MLPs are and how they might be used to an in-depth examination of technical factors affecting performance. The book can be used as a tool kit by readers interested in applying networks to specific problems, yet it also presents theory and references outlining the last ten years of MLP research.

Bradford Books imprint
Nonmonotonic Reasoning
Authors: Antoniou Grigoris
Published: December 2018

Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information. Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs.
Online Stochastic Combinatorial Optimization
Authors: Van Hentenryck Pascal , Bent Russell
Published: December 2018

A framework for online decision making under uncertainty and time constraints, with online stochastic algorithms for implementing the framework, performance guarantees, and demonstrations of a variety of applications.

Online decision making under uncertainty and time constraints represents one of the most challenging problems for robust intelligent agents. In an increasingly dynamic, interconnected, and real-time world, intelligent systems must adapt dynamically to uncertainties, update existing plans to accommodate new requests and events, and produce high-quality decisions under severe time constraints. Such online decision-making applications are becoming increasingly common: ambulance dispatching and emergency city-evacuation routing, for example, are inherently online decision-making problems; other applications include packet scheduling for Internet communications and reservation systems. This book presents a novel framework, online stochastic optimization, to address this challenge. This framework assumes that the distribution of future requests, or an approximation thereof, is available for sampling, as is the case in many applications that make either historical data or predictive models available. It assumes additionally that the distribution of future requests is independent of current decisions, which is also the case in a variety of applications and holds significant computational advantages. The book presents several online stochastic algorithms implementing the framework, provides performance guarantees, and demonstrates a variety of applications. It discusses how to relax some of the assumptions in using historical sampling and machine learning and analyzes different underlying algorithmic problems. And finally, the book discusses the framework's possible limitations and suggests directions for future research.
Organisms and Artifacts
Authors: Lewens Tim
Published: December 2018

In Organisms and Artifacts, Tim Lewens investigates the analogical use of the language of design in evolutionary biology. Uniquely among the natural sciences, biology uses descriptive and explanatory terms more suited to artifacts than organisms. When biologists discuss, for example, the purpose of the panda's thumb and look for functional explanations for organic traits, they borrow from a vocabulary of intelligent design that Darwin's findings could have made irrelevant over a hundred years ago. Lewens argues that examining the analogy between the processes of evolution and the processes by which artifacts are created—looking at organisms as analogical artifacts—sheds light on explanations of the form of both organic and inorganic objects. He argues further that understanding the analogy is important for what it can tell us not only about biology but about technology and philosophy.

In the course of his argument, Lewens discusses issues of interest to philosophers of biology, biologists, philosophers of mind, and students of technology. These issues include the pitfalls of the design-based thinking of adaptationism, the possible conflict between selection explanations and developmental explanations, a proposed explanation of biological function, and prospects for an informative evolutionary model of technological change. Emerging from these discussions is an explanation of the use of the vocabulary of intelligence and intention in biology that does not itself draw on the ideas of intelligent design, which will be of interest in the ongoing debate over intelligent design creationism.

Bradford Books imprint
Panpsychism in the West
Authors: Skrbina David
Published: December 2018

In Panpsychism in the West, the first comprehensive study of the subject, David Skrbina argues for the importance of panpsychism—the theory that mind exists, in some form, in all living and nonliving things—in consideration of the nature of consciousness and mind. Despite the recent advances in our knowledge of the brain and the increasing intricacy and sophistication of philosophical discussion, the nature of mind remains an enigma. Panpsychism, with its conception of mind as a general phenomenon of nature, uniquely links being and mind. More than a theory of mind, it is a meta-theory—a statement about theories of mind rather than a theory in itself. Panpsychism can parallel almost every current theory of mind; it simply holds that, no matter how one conceives of mind, such mind applies to all things. In addition, panpsychism is one of the most ancient and enduring concepts of philosophy, beginning with its pre-historical forms, animism and polytheism. Its adherents in the West have included important thinkers from the very beginning of Greek philosophy through the sixteenth and seventeenth centuries to the present.

Skrbina argues that panpsychism is long overdue for detailed treatment, and with this book he proposes to add impetus to the discussion of panpsychism in serious philosophical inquiries. After a brief discussion of general issues surrounding philosophy of mind, he traces the panpsychist views of specific philosophers, from the ancient Greeks and early Renaissance naturalist philosophers through the likes of William James, Josiah Royce, and Charles Sanders Peirce—always with a strong emphasis on the original texts. In his concluding chapter, "A Panpsychist World View," Skrbina assesses panpsychist arguments and puts them in a larger context. By demonstrating that there is panpsychist thinking in many major philosophers, Skrbina offers a radical challenge to the modern worldview, based as it is on a mechanistic cosmos of dead, insensate matter. Panpsychism in the West will be the standard work on this topic for years to come.
Phrase Structure Composition and Syntactic Dependencies
Authors: Frank Robert
Published: December 2018

In Phrase Structure Composition and Syntactic Dependencies, Robert Frank explores an approach to syntactic theory that weds the Tree Adjoining Grammar (TAG) formalism with the minimalist framework. TAG has been extensively studied both for its mathematical properties and for its usefulness in computational linguistics applications. Frank shows that incorporating TAG's formally restrictive operations for structure building considerably simplifies the model of grammatical competence, particularly in the components concerned with syntactic movement and locality. The empirical advantages of the resulting model, illustrated with extensive case studies of subject-raising constructions and wh-questions, point toward a conception of grammar that is sharply limited in its computational power.
Pricing the Priceless
Authors: Newhouse Joseph P.
Published: December 2018

The health care industry differs from most other industries in that medical pricing is primarily administered by the government and private insurers and in that it uses several types of contracts. Providers may receive a fixed sum for all necessary services within a given period of time, for the necessary services to treat a given condition, or for each specific service. The industry is changing dramatically, offering many natural experiments to aid understanding of the economics of pricing for health care.

In Pricing the Priceless, Joseph Newhouse explains the different pricing systems and how they affect resource allocation and efficiency, focusing on the efficiency of pricing. He also discusses larger issues of equity, fair distribution of burden, and social justice. Although most of the examples are American-based, the same issues arise in all medical care financing and delivery systems, and the theories and models are general enough to apply to many institutional contexts. The topics include Medicare, managed care, the contemporary integration of health insurance and medical care, the management of moral hazard and stinting, uncertainty and risk aversion, the demand for health insurance, agency relationships, information disparities, regulation, and supply-side and demand-side selection.
Reasoning about Rational Agents
Authors: Wooldridge Michael
Published: December 2018

This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action.

One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action. The BDI model has three distinct strengths: an underlying philosophy based on practical reasoning in humans, a software architecture that is implementable in real systems, and a family of logics that support a formal theory of rational agency.The book introduces a BDI logic called LORA (Logic of Rational Agents). In addition to the BDI component, LORA contains a temporal component, which allows one to represent the dynamics of how agents and their environments change over time, and an action component, which allows one to represent the actions that agents perform and the effects of the actions. The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.
The Shape of Actions
Authors: Collins Harry , Kusch Martin
Published: December 2018

What can humans do? What can machines do? How do humans delegate actions to machines? In this book, Harry Collins and Martin Kusch combine insights from sociology and philosophy to provide a novel answer to these increasingly important questions.The authors begin by distinguishing between two basic types of intentional behavior, which they call polimorphic actions and mimeomorphic actions. Polimorphic actions (such as writing a love letter) are ones that community members expect to vary with social context. Mimeomorphic actions (such a swinging a golf club) do not vary. Although machines cannot act, they can mimic mimeomorphic actions. Mimeomorphic actions are thus the crucial link between what humans can do and what machines can do.

Following a presentation of their detailed categorization of actions, the authors apply their approach to a broad range of human-machine interactions and to learning. Key examples include bicycle riding and the many varieties of writing machines. They also show how their theory can be used to explain the operation of organizations such as restaurants and armies. Finally, they look at a historical case—the technological development of the air pump—applying their categorization of actions to the processes of mechanization and automation. Automation, they argue, can occur only where what we want to bring about can be brought about through mimeomorphic action.
Taking Sustainable Cities Seriously
Authors: Portney Kent E.
Published: December 2018

Today at least twenty-five major U.S. cities have pursued some form of sustainability initiative. Although many case studies and "how-to" manuals have been published, there has been little systematic comparison of these cities' programs and initiatives. In this book Kent Portney lays the theoretical groundwork for research on what works and what does not, and why. Distinguishing cities on the basis of population characteristics and region for his analysis, Portney shows how cities use the broad rubric of sustainability to achieve particular political ends. Cities that take sustainability seriously, such as Portland, San Francisco, and Seattle, use broad definitions that go well beyond concern for the physical environment or creating jobs. They pursue sustainability at many levels and integrate concern for economic development, the environment, and quality of life across all activities of city government. Cities that take sustainability less seriously, such as Cleveland, Boston, and Orlando, confine it to such issues as solid waste disposal, brownfields, redevelopment, and neighborhood beautification. Still other cities, such as New Haven, Brownsville, and Milwaukee, do considerably less to work toward sustainability. Portney begins by reviewing the conceptual underpinnings of sustainable development and sustainable communities. The comparisons that follow provide a foundation for assessing the range of what is possible and desirable for sustainability initiatives. In the book's conclusion, Portney assesses the extent to which cities can use the pursuit of sustainability either to foster change in public values or merely to reinforce values that are already reflected in systems of governance.
Transcranial Magnetic Stimulation
Authors: Walsh Vincent , Pascual-Leone Alvaro
Published: December 2018

The mainstays of brain imaging techniques have been positron emission tomography (PET), functional magnetic resonance imaging (fMRI), magnetoencephalography (MEG), and event-related potentials (ERPs). These methods all record direct or indirect measures of brain activity and correlate the activity patterns with behavior. But to go beyond the correlations established by these techniques and prove the necessity of an area for a given function, cognitive neuroscientists need to be able to reverse engineer the brain—i.e., to selectively remove components from information processing and assess their impact on the output.

This book is about transcranial magnetic stimulation (TMS), a technique that emerged during the same period as neuroimaging and has made it possible to reverse engineer the human brain's role in behavioral and cognitive functions. The subject areas that can be studied using TMS run the gamut of cognitive psychology—attention, perception, awareness, eye movements, action selection, memory, plasticity, language, numeracy, and priming. The book presents an overview of historical attempts at magnetic brain stimulation, ethical considerations of the technique's use, basic technical and practical information, the results of numerous TMS studies, and a discussion of the future of TMS in the armamentarium of cognitive neuropsychology.

Bradford Books imprint
Truth from Trash
Authors: Thornton Christopher J.
Published: December 2018

Chris Thornton makes the compelling claim that learning is not a passive discovery operation but an active process involving creativity on the part of the learner.

This study of learning in autonomous agents offers a bracing intellectual adventure. Chris Thornton makes the compelling claim that learning is not a passive discovery operation but an active process involving creativity on the part of the learner. Although theorists of machine learning tell us that all learning methods contribute some form of bias and thus involve a degree of creativity, Thornton carries the idea much further. He describes an incremental process, recursive relational learning, in which the results of one learning step serve as the basis for the next. Very high-level recodings are then substantially the creative artifacts of the learner's own processing. Lower-level recodings are more "objective" in that their properties are more severely constrained by the source data. Thornton sees consciousness as a process at the outer fringe of relational learning, just prior to the onset of creativity. According to this view, we cannot assume consciousness to be an exclusively human phenomenon, but rather the expected feature of any cognitive mechanism able to engage in extended flights of relational learning.

Thornton presents key background material in an entertaining manner, using extensive mental imagery and a minimum of mathematics. Anecdotes and dialogue add to the text's informality.

Bradford Books imprint
Quantum Computing Without Magic
Authors: Meglicki Zdzislaw
Published: December 2018

How quantum computing is really done: a primer for future quantum device engineers.

This text offers an introduction to quantum computing, with a special emphasis on basic quantum physics, experiment, and quantum devices. Unlike many other texts, which tend to emphasize algorithms, Quantum Computing Without Magic explains the requisite quantum physics in some depth, and then explains the devices themselves. It is a book for readers who, having already encountered quantum algorithms, may ask, “Yes, I can see how the algebra does the trick, but how can we actually do it?” By explaining the details in the context of the topics covered, this book strips the subject of the “magic” with which it is so often cloaked. Quantum Computing Without Magic covers the essential probability calculus; the qubit, its physics, manipulation and measurement, and how it can be implemented using superconducting electronics; quaternions and density operator formalism; unitary formalism and its application to Berry phase manipulation; the biqubit, the mysteries of entanglement, nonlocality, separability, biqubit classification, and the Schroedinger's Cat paradox; the controlled-NOT gate, its applications and implementations; and classical analogs of quantum devices and quantum processes. Quantum Computing Without Magic can be used as a complementary text for physics and electronic engineering undergraduates studying quantum computing and basic quantum mechanics, or as an introduction and guide for electronic engineers, mathematicians, computer scientists, or scholars in these fields who are interested in quantum computing and how it might fit into their research programs.
Game Sound
Authors: Collins KC
Published: December 2018

An examination of the many complex aspects of game audio, from the perspectives of both sound design and music composition.

A distinguishing feature of video games is their interactivity, and sound plays an important role in this: a player's actions can trigger dialogue, sound effects, ambient sound, and music. And yet game sound has been neglected in the growing literature on game studies. This book fills that gap, introducing readers to the many complex aspects of game audio, from its development in early games to theoretical discussions of immersion and realism. In Game Sound, KC Collins draws on a range of sources—including composers, sound designers, voice-over actors and other industry professionals, Internet articles, fan sites, industry conferences, magazines, patent documents, and, of course, the games themselves—to offer a broad overview of the history, theory, and production practice of video game audio. Game Sound has two underlying themes: how and why games are different from or similar to film or other linear audiovisual media; and technology and the constraints it has placed on the production of game audio.

Collins focuses first on the historical development of game audio, from penny arcades through the rise of home games and the recent rapid developments in the industry. She then examines the production process for a contemporary game at a large game company, discussing the roles of composers, sound designers, voice talent, and audio programmers; considers the growing presence of licensed intellectual property (particularly popular music and films) in games; and explores the function of audio in games in theoretical terms. Finally, she discusses the difficulties posed by nonlinearity and interactivity for the composer of game music.
Prudence and Pressure
Authors: Tsuya Noriko O. , Wang Feng , Alter George , Lee James Z.
Published: December 2018

A study of human reproduction and social organization in preindustrial communities that reveals important similarities between Europe and Asia.

This pioneering study reconceptualizes the impact of social organizations, economic conditions, and human agency on human reproduction in preindustrial communities in Europe and Asia. Unlike previous studies, in which Asia is measured by European standards, Prudence and Pressure develops a Eurasian perspective.

Drawing on rich new data and the tools of event-history analysis, the authors challenge the accepted Eurocentric Malthusian view that attributes “prudence” (smaller families due to late marriage) to the preindustrial West and “pressure” (high mortality due to overpopulation) to the East, showing instead important similarities between Europe and Asia in human motivation and population behavior.

The authors analyze age, gender, family and household, kinship, social class and power, religion, culture, and economic resources in order to compare reproductive strategies and outcomes. They reveal underlying similarities between East and West in two major components of the reproductive regime—marriage and childbearing—and offer evidence showing that preindustrial reproduction was motivated and governed by human agency at least as much as by human biology.

Prudence and Pressure is part of a large-scale interdisciplinary effort to use new data and methods to re-examine the Malthusian paradigm of population growth. It represents a significant advance in the fields of historical demography, history, and sociology.
The Locative Syntax of Experiencers
Authors: Landau Idan
Published: December 2018

A new account of the peculiar syntax of psychological verbs argues that experiencers are grammaticalized as locative phrases.

Experiencers—grammatical participants that undergo a certain psychological change or are in such a state—are grammatically special. As objects (John scared Mary; loud music annoys me), experiencers display two peculiar clusters of nonobject properties across different languages: their syntax is often typical of oblique arguments and their semantic scope is typical of subjects. In The Locative Syntax of Experiencers, Idan Landau investigates this puzzling correlation and argues that experiencers are syntactically coded as (mental) locations. Drawing on results from a range of languages and theoretical frameworks, Landau examines the far-reaching repercussions of this simple claim. Landau shows that all experiencer objects are grammaticalized as locative phrases, introduced by a dative/locative preposition. “Bare” experiencer objects are in fact oblique, too, the preposition being null. This preposition accounts for the oblique psych(ological) properties, attested in case alternations, cliticization, resumption, restrictions on passive formation, and so on. As locatives, object experiencers may undergo locative inversion, giving rise to the common phenomenon of quirky experiencers. When covert, this inversion endows object experiencers with wide scope, attested in control, binding, and wh-quantifier interactions. Landau's synthesis thus provides a novel solution to some of the oldest puzzles in the generative study of psychological verbs. The Locative Syntax of Experiencers offers the most comprehensive description of the syntax of psychological verbs to date, documenting their special properties in more than twenty languages. Its basic theoretical claim is readily translatable into alternative frameworks. Existing accounts of psychological verbs either consider very few languages or fail to incorporate other theoretical frameworks; this study takes a broader perspective, informed by findings of four decades of research
Metabolism of the Anthroposphere
Authors: Baccini Peter , Brunner Paul H.
Published: December 2018

An overview of the cultural evolution of material flows and stocks with an emphasis on the design of metabolic processes in urban systems.

Over the last several thousand years of human life on Earth, agricultural settlements became urban cores, and these regional settlements became tightly connected through infrastructures transporting people, materials, and information. This global network of urban systems, including ecosystems, is the anthroposphere; the physical flows and stocks of matter and energy within it form its metabolism. This book offers an overview of the metabolism of the anthroposphere, with an emphasis on the design of metabolic systems. It takes a cultural historical perspective, supported with methodology from the natural sciences and engineering. The book will be of interest to scholars and practitioners in the fields of regional development, environmental protection, and material management. It will also be a resource for undergraduate and graduate students in industrial ecology, environmental engineering, and resource management.

The authors describe the characteristics of material stocks and flows of human settlements in space and time; introduce the method of material flow analysis (MFA) for metabolic studies; analyze regional metabolism and the material systems generated by basic activities; and offer four case studies of optimal metabolic system design: phosphorus management, urban mining, waste management, and mobility.

This second edition of an extremely influential book has been substantially revised and greatly expanded. Its new emphasis on design and resource utilization reflects recent debates and scholarship on sustainable development and climate change.
The Civic Web
Authors: Banaji Shakuntala , Buckingham David
Published: December 2018

An investigation of how governments, organizations, and groups use the Internet to promote civic and political engagement among young people.

There has been widespread concern in contemporary Western societies about declining engagement in civic life; people are less inclined to vote, to join political parties, to campaign for social causes, or to trust political processes. Young people in particular are frequently described as alienated or apathetic. Some have looked optimistically to new media—and particularly the Internet—as a means of revitalizing civic life and democracy. Governments, political parties, charities, NGOs, activists, religious and ethnic groups, and grassroots organizations have created a range of youth-oriented websites that encourage widely divergent forms of civic engagement and use varying degrees of interactivity. But are young people really apathetic and lacking in motivation? Does the Internet have the power to re-engage those disenchanted with politics and civic life?

Based on a major research project funded by the European Commission, this book attempts to understand the role of the Internet in promoting young people's participation. Examples are drawn from Hungary, the Netherlands, Slovenia, Spain, Sweden, Turkey, and the United Kingdom—countries offering contrasting political systems and cultural contexts. The book also addresses broader questions about the meaning of civic engagement, the nature of new forms of participation, and their implications for the future of civic life.
Harvesting the Biosphere
Authors: Smil Vaclav
Published: December 2018

An interdisciplinary and quantitative account of human claims on the biosphere's stores of living matter, from prehistoric hunting to modern energy production.

The biosphere—the Earth's thin layer of life—dates from nearly four billion years ago, when the first simple organisms appeared. Many species have exerted enormous influence on the biosphere's character and productivity, but none has transformed the Earth in so many ways and on such a scale as Homo sapiens. In Harvesting the Biosphere, Vaclav Smil offers an interdisciplinary and quantitative account of human claims on the biosphere's stores of living matter, from prehistory to the present day. Smil examines all harvests—from prehistoric man's hunting of megafauna to modern crop production—and all uses of harvested biomass, including energy, food, and raw materials. Without harvesting of the biomass, Smil points out, there would be no story of human evolution and advancing civilization; but at the same time, the increasing extent and intensity of present-day biomass harvests are changing the very foundations of civilization's well-being.

In his detailed and comprehensive account, Smil presents the best possible quantifications of past and current global losses in order to assess the evolution and extent of biomass harvests. Drawing on the latest work in disciplines ranging from anthropology to environmental science, Smil offers a valuable long-term, planet-wide perspective on human-caused environmental change.
The Outsourcer
Authors: Sharma Dinesh C.
Published: December 2018

A history of how India became a major player in the global technology industry, mapping technological, economic, and political transformations.

The rise of the Indian information technology industry is a remarkable economic success story. Software and services exports from India amounted to less than $100 million in 1990, and today come close to $100 billion. But, as Dinesh Sharma explains in The Outsourcer, Indian IT's success has a long prehistory; it did not begin with software support, or with American firms' eager recruitment of cheap and plentiful programming labor, or with India's economic liberalization of the 1990s. The foundations of India's IT revolution were laid long ago, even before the country's independence from British rule in 1947, as leading Indian scientists established research institutes that became centers for the development of computer science and technology. The “miracle” of Indian IT is actually a story about the long work of converting skills and knowledge into capital and wealth. With The Outsourcer, Sharma offers the first comprehensive history of the forces that drove India's IT success.

Sharma describes India's early development of computer technology, part of the country's efforts to achieve national self-sufficiency, and shows that excessive state control stifled IT industry growth before economic policy changed in 1991. He traces the rise and fall (and return) of IBM in India and the emergence of pioneering indigenous hardware and software firms. He describes the satellite communication links and state-sponsored, tax-free technology parks that made software-related outsourcing by foreign firms viable, and the tsunami of outsourcing operations at the beginning of the new millennium. It is the convergence of many factors, from the tradition of technical education to the rise of entrepreneurship to advances in communication technology, that have made the spectacular growth of India's IT industry possible.