Formal Methods

The advent of supercomputers has brought computational fluid dynamics (CFD) to the forefront as a tool to analyze increasingly complex simulation scenarios in many fields. Computational aerodynamics problems are also increasingly moving towards being coupled, multi-physics and multi-scale with complex, moving geometries. The latter presents severe geometry handling and meshing challenges. Simulations also frequently use formal design optimization processes. This book explains the evolution of CFD and provides a comprehensive overview of the plethora of tools and methods available for solving complex scenarios while exploring the future directions and possible outcomes. Using numerous examples, illustrations and computational methods the author discusses turbulence modeling, pre and post processing, coupled solutions, the importance of design optimization, multiphysics problems, reduced order models, and large scale computations and the future of CFD. Advanced Computational Fluid and Ae

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second part deals with relations between words realised by finite automata, which not only exemplifies the automata theory but also illustrates the variety of its methods and its fields of application. Many exercises are included, ranging from those that test the reader, to those that are technical results, to those that extend ideas presented in the text. Solutions or answers to many of these are included in the book.

In this classic argument for curriculum reform in early education, Jerome Bruner shows that the basic concepts of science and the humanities can be grasped intuitively at a very early age. He argues persuasively that curricula should he designed to foster such early intuitions and then build on them in increasingly formal and abstract ways as education progresses.Bruner's foundational case for the spiral curriculum has influenced a generation of educators and will continue to be a source of insight into the goals and methods of the educational process.

How do violent jihadists use language to try to persuade people to carry out violent acts? This book analyses over two million words of texts produced by violent jihadists to identify and examine the linguistic strategies employed. Taking a mixed methods approach, the authors combine quantitative methods from corpus linguistics, which allows the identification of frequent words and phrases, alongside close reading of texts via discourse analysis. The analysis compares language use across three sets of texts: those which advocate violence, those which take a hostile but non-violent standpoint, and those which take a moderate perspective, identifying the different uses of language associated with different stages of radicalization. The book also discusses how strategies including use of Arabic, romanisation, formal English, quotation, metaphor, dehumanisation and collectivisation are used to create in- and out-groups and justify violence.

How do violent jihadists use language to try to persuade people to carry out violent acts? This book analyses over two million words of texts produced by violent jihadists to identify and examine the linguistic strategies employed. Taking a mixed methods approach, the authors combine quantitative methods from corpus linguistics, which allows the identification of frequent words and phrases, alongside close reading of texts via discourse analysis. The analysis compares language use across three sets of texts: those which advocate violence, those which take a hostile but non-violent standpoint, and those which take a moderate perspective, identifying the different uses of language associated with different stages of radicalization. The book also discusses how strategies including use of Arabic, romanisation, formal English, quotation, metaphor, dehumanisation and collectivisation are used to create in- and out-groups and justify violence.

A comprehensive guide to data analysis techniques for physical scientists, providing a valuable resource for advanced undergraduate and graduate students, as well as seasoned researchers. The book begins with an extensive discussion of the foundational concepts and methods of probability and statistics under both the frequentist and Bayesian interpretations of probability. It next presents basic concepts and techniques used for measurements of particle production cross-sections, correlation functions, and particle identification. Much attention is devoted to notions of statistical and systematic errors, beginning with intuitive discussions and progressively introducing the more formal concepts of confidence intervals, credible range, and hypothesis testing. The book also includes an in-depth discussion of the methods used to unfold or correct data for instrumental effects associated with measurement and process noise as well as particle and event losses, before ending with a presentati

The study of structural analysis and design is a central subject in civil, aeronautical and mechanical engineering. This book presents a modern and unified introduction to structural analysis, with a strong emphasis on how structures actually behave. The unifying theme is the application of energy methods, developed without the formal mathematics of the calculus of variations. The energy approach makes it possible to articulate the logical relationship between equilibrium and compatibility; emphasise the unity of structural analysis, particularly for indeterminate structures; and identify the roles of idealization and discretization in structural modelling. Thus, energy methods also serve as a prelude to the main ideas behind modern computational approaches to structural analysis and design. As an aid to upper-level undergraduate students in mastering this material, the text includes numerous worked examples, as well as homework problems.

First published in 1999, Dynamic Issues in Commercial Policy Analysis focuses on the explicit specification of dynamic mechanisms in the formal analytics of trade models. A wide range of modelling approaches is employed to investigate an even wider range of policy issues, with an overall objective of further extension of the basic conceptual framework of applied commercial policy analysis in the direction of dynamic issues and applications. Professors Baldwin and Francois and their contributors emphasise methods for the analysis of interactions between commercial policy and leading policy issues, including investment performance, economic growth and innovation, the location of industry, migration, and the environment.

First published in 1999, Dynamic Issues in Commercial Policy Analysis focuses on the explicit specification of dynamic mechanisms in the formal analytics of trade models. A wide range of modelling approaches is employed to investigate an even wider range of policy issues, with an overall objective of further extension of the basic conceptual framework of applied commercial policy analysis in the direction of dynamic issues and applications. Professors Baldwin and Francois and their contributors emphasise methods for the analysis of interactions between commercial policy and leading policy issues, including investment performance, economic growth and innovation, the location of industry, migration, and the environment.

Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number of practical problems in computational linguistics and computer science. This book for graduate students and researchers gives a complete coverage of the field, starting from a conceptual introduction and building to advanced topics and applications. The central finite-state technologies are introduced with mathematical rigour, ranging from simple finite-state automata to transducers and bimachines as 'input-output' devices. Special attention is given to the rich possibilities of simplifying, transforming and combining finite-state devices. All algorithms presented are accompanied by full correctness proofs and executable source code in a new programming language, C(M), which focuses on transparency of steps and simplicity of code. Thus, by enabling readers to obtain a deep formal understanding of the subject and to put finite-state methods t

Social scientists who study religion generally believe that social networks play a central role in religious life. However, most studies draw on measures that are relatively poor proxies for capturing the effects of social networks. This book illustrates how researchers can draw on formal social network analysis methods to explore the interplay of networks and religion. The book's introductory chapters provide overviews of the social scientific study of religion and social network analysis. The remaining chapters explore a variety of topics current in the social scientific study of religion, as well as introducing a variety of social network theories and methods, such as balance theory, ego-network analysis, exponential random graph models, and stochastic actor-oriented models. By embedding social network analysis within a social scientific study of religion framework, Networks and Religion offers an array of approaches for studying the role that social networks play in religious belie

Social scientists who study religion generally believe that social networks play a central role in religious life. However, most studies draw on measures that are relatively poor proxies for capturing the effects of social networks. This book illustrates how researchers can draw on formal social network analysis methods to explore the interplay of networks and religion. The book's introductory chapters provide overviews of the social scientific study of religion and social network analysis. The remaining chapters explore a variety of topics current in the social scientific study of religion, as well as introducing a variety of social network theories and methods, such as balance theory, ego-network analysis, exponential random graph models, and stochastic actor-oriented models. By embedding social network analysis within a social scientific study of religion framework, Networks and Religion offers an array of approaches for studying the role that social networks play in religious belie

Pictures, painted and carved in caves and on open rock surfaces, are amongst our loveliest relics from prehistory. This pioneering set of sparkling essays goes beyond guesses as to what the pictures mean, instead exploring how we can reliably learn from rock-art as a material record of distant times: in short, rock-art as archaeology. Sometimes contact-period records offer some direct insight about indigenous meaning, so we can learn in that informed way. More often, we have no direct record, and instead have to use formal methods to learn from the evidence of the pictures themselves. The book's eighteen papers range wide in space and time, from the Palaeolithic of Europe to nineteenth-century Australia. Using varied approaches within the consistent framework of informed and proven methods, they make key advances in using the striking and reticent evidence of rock-art to archaeological benefit.

Originally published in 1985, this monograph describes the interaction of radiation with plasma. Using an approach that is particularly relevant to the interpretation of data from laboratory plasmas or stellar atmospheres, the author sets out the physics and mathematics of the interaction of photons with atoms, molecules, ions and electrons. The emphasis throughout is on relating the formal mathematics to the real world of observable properties and interpretation. The equation of radiative transfer for a two-level atom is solved exactly by two distinct methods. Techniques for solving more realistic problems are then presented. This leads to the main thrust of the book which gives a detailed analysis of the matter - radiation interaction.

Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described and the protocols discussed in this book.

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf.

Written to complement standard texts on commutative algebra, this short book gives complete and relatively easy proofs of important results, including the standard results involving localisation of formal smoothness (M. André) and localisation of complete intersections (L. Avramov), some important results of D. Popescu and André on regular homomorphisms, and some results from A. Grothendieck's EGA on smooth homomorphisms. The authors make extensive use of the André–Quillen homology of commutative algebras, but only up to dimension 2, which is easy to construct, and they deliberately avoid using simplicial methods. The book also serves as an accessible introduction to some advanced topics and techniques. The only prerequisites are a basic course in commutative algebra and the first definitions in homological algebra.

This collection of articles aims at revitalizing the study of kinship and exchange in a social network perspective. It brings together studies of empirical systems of marriage and descent with investigations of the flow of material resources in societies of Africa, Asia, the Pacific and Europe. Restudies of classic ethnographic cases and fieldwork studies of kinship and exchange demonstrate how the social and material aspects of society are related, and address issues of concern to anthropology and the neighbouring disciplines of history, sociology and economics. This book marks the emergence of an era in the study of kinship and exchange using a productive combination of ethnographic substance with formal methods, one which leaves behind older structural-functionalist and culturalist assumptions.

This collection of articles aims at revitalizing the study of kinship and exchange in a social network perspective. It brings together studies of empirical systems of marriage and descent with investigations of the flow of material resources in societies of Africa, Asia, the Pacific and Europe. Restudies of classic ethnographic cases and fieldwork studies of kinship and exchange demonstrate how the social and material aspects of society are related, and address issues of concern to anthropology and the neighbouring disciplines of history, sociology and economics. This book marks the emergence of an era in the study of kinship and exchange using a productive combination of ethnographic substance with formal methods, one which leaves behind older structural-functionalist and culturalist assumptions.

The book Chemical Kinetics explores the study of chemical reactions from a kinetic perspective across eight chapters. It covers reaction speed, speed constant definitions, reaction order, mechanisms, and kinetic equations, as well as the influence of temperature, activation energy, and key theories like collision theory and activated complex theory. Formal kinetic equations for reactions of whole and fractional orders (zero, I, II, III) are discussed alongside methods for determining reaction order. The text examines the kinetics of reversible, parallel, and successive complex reactions, catalyzed reactions, and processes involving solids, including concepts of non-isothermal kinetics.Chemical kinetics focuses on the evolution of reactions over time, elucidating mechanisms and analyzing factors influencing reaction speed, such as temperature, pressure, catalysts, and radiation. This comprehensive study highlights the principles and applications of reaction kinetics in scientific resear

Express your gratitude in writing for any occasion with this updated guide to saying thank you!Writing a thank you note isn't just about good manners. Whether written in ink form on formal stationery or delivered digitally, a well-crafted thank you note makes the recipient feel appreciated-a sensation that makes you both feel good! This practice can improve your personal, social, and business relationships, leading to success and well-being in all aspects of your life. In 101 Ways to Say Thank You, etiquette expert Kelly Browne shows you how to express gratitude eloquently and sincerely in every situation, using both traditional and up-to-the-minute digital methods, in an easy-to-follow, engaging, and down-to-earth way. Never be at a loss for words again!

This ambitious book looks 'behind the model' to reveal how economists use formal models to generate insights into the economy. Drawing on recent work in the philosophy of science and economic methodology, the book presents a novel framework for understanding the logic of economic modeling. It also reveals the ways in which economic models can mislead rather than illuminate. Importantly, the book goes beyond purely negative critique, proposing a concrete program of methodological reform to better equip economists to detect potential mismatches between their models and the targets of their inquiry. Ranging across economics, philosophy, and social science methods, and drawing on a variety of examples, including the recent financial crisis, Behind the Model will be of interest to anyone who has wondered how economics works - and why it sometimes fails so spectacularly.

This ambitious book looks 'behind the model' to reveal how economists use formal models to generate insights into the economy. Drawing on recent work in the philosophy of science and economic methodology, the book presents a novel framework for understanding the logic of economic modeling. It also reveals the ways in which economic models can mislead rather than illuminate. Importantly, the book goes beyond purely negative critique, proposing a concrete program of methodological reform to better equip economists to detect potential mismatches between their models and the targets of their inquiry. Ranging across economics, philosophy, and social science methods, and drawing on a variety of examples, including the recent financial crisis, Behind the Model will be of interest to anyone who has wondered how economics works - and why it sometimes fails so spectacularly.

This book is a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of techniques for building Bayesian networks that model real-world situations, including techniques for synthesizing models from design, learning models from data, and debugging models using sensitivity analysis. It also treats exact and approximate inference algorithms at both theoretical and practical levels. The treatment of exact algorithms covers the main inference paradigms based on elimination and conditioning and includes advanced methods for compiling Bayesian networks, time-space tradeoffs, and exploiting local structure of massively connected networks. The treatment of approximate algorithms covers the main inference paradigms based on sampling and optimization and includes influential algorithms such as importance sampling, MCMC, and belief propagation. The author assumes very little background on the covered subjects, supplying

From classical foundations to advanced modern theory, this self-contained and comprehensive guide to probability weaves together mathematical proofs, historical context and richly detailed illustrative applications. A theorem discovery approach is used throughout, setting each proof within its historical setting and is accompanied by a consistent emphasis on elementary methods of proof. Each topic is presented in a modular framework, combining fundamental concepts with worked examples, problems and digressions which, although mathematically rigorous, require no specialised or advanced mathematical background. Augmenting this core material are over 80 richly embellished practical applications of probability theory, drawn from a broad spectrum of areas both classical and modern, each tailor-made to illustrate the magnificent scope of the formal results. Providing a solid grounding in practical probability, without sacrificing mathematical rigour or historical richness, this insightful bo

This book is a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of techniques for building Bayesian networks that model real-world situations, including techniques for synthesizing models from design, learning models from data, and debugging models using sensitivity analysis. It also treats exact and approximate inference algorithms at both theoretical and practical levels. The treatment of exact algorithms covers the main inference paradigms based on elimination and conditioning and includes advanced methods for compiling Bayesian networks, time-space tradeoffs, and exploiting local structure of massively connected networks. The treatment of approximate algorithms covers the main inference paradigms based on sampling and optimization and includes influential algorithms such as importance sampling, MCMC, and belief propagation. The author assumes very little background on the covered subjects, supplying

Increasingly environmental scientists, palaeoceanographers and geologists are collecting quantitative records of environmental changes (time-series) from sediments, ice cores, cave calcite, corals and trees. This book explains how to analyse these records, using straightforward explanations and diagrams rather than formal mathematical derivations. All the main cyclostratigraphic methods are covered including spectral analysis, cross-spectral analysis, filtering, complex demodulation, wavelet and singular spectrum analysis. Practical problems of time-series analysis, including those of distortions of environmental signals during stratigraphic encoding, are considered in detail. Recent research into various types of tidal and climatic cycles is summarised. The book ends with an extensive reference section, and an appendix listing sources of computer algorithms. This book provides the ideal reference for all those using time-series analysis to study the nature and history of climatic and

Take your electronics skills to the next level without taking a formal courseThis fully updated resource helps you master the fundamentals of electricity, electronics, and communications--all without ever sitting in a classroom. Step-by-step lessons, detailed illustrations, practical examples, self-tests, and concept reinforcement elements make it easy to learn the material quickly. You will find up-to-date discussions of AC and DC concepts, Arduino, audio, and much more.Based on proven teaching methods, Teach Yourself Electricity and Electronics, Seventh Edition starts with the basics and takes you through advanced technologies, including microcontrollers, computers, and antennas. See how to solve current-voltage-resistance-impedance problems, make power calculations, and prepare for licensing exams with help from this hands-on guide.All content has been updated; new chapters cover amplifiers and oscillatorsContains all new chapter-end problems and exam setsDiscusses advances in commu

Clinicians recognize that monitoring psychotropic levels provides invaluable information to optimize therapy and track treatment adherence, but they lack formal training specifically focused on the use of plasma antipsychotic levels for these purposes. As new technologies emerge to rapidly provide these results, the opportunity to integrate this information into clinical care will grow. This practical handbook clarifies confusing concepts in the literature on use of antipsychotic levels, providing clear explanations for the logic underlying clinically relevant concepts such as the therapeutic threshold and the point of futility, and how these apply to individual antipsychotics. It offers accessible information on the expected correlation between dosages and trough levels, and also provides a clear explanation of how to use antipsychotic levels for monitoring oral antipsychotic adherence, and methods to help clinicians differentiate between poor adherence and variations in drug metaboli

This book describes how a social-norms model of taxation rose and fell in British-ruled Palestine and the State of Israel in the mid-twentieth century. Such a model, in which non-legal means were used to foster compliance, appeared in the tax system created by the Jewish community in 1940s Palestine and was later adopted by the new Israeli state in the 1950s. It gradually disappeared in subsequent decades as law and its agents, lawyers and accountants, came to play a larger role in the process of taxation. By describing the historical interplay between formal and informal tools for creating compliance, Tax Law and Social Norms in Mandatory Palestine and Israel sheds new light on our understanding of the relationship between law and other methods of social control, and reveals the complex links between taxation and citizenship.

This book describes how a social-norms model of taxation rose and fell in British-ruled Palestine and the State of Israel in the mid-twentieth century. Such a model, in which non-legal means were used to foster compliance, appeared in the tax system created by the Jewish community in 1940s Palestine and was later adopted by the new Israeli state in the 1950s. It gradually disappeared in subsequent decades as law and its agents, lawyers and accountants, came to play a larger role in the process of taxation. By describing the historical interplay between formal and informal tools for creating compliance, Tax Law and Social Norms in Mandatory Palestine and Israel sheds new light on our understanding of the relationship between law and other methods of social control, and reveals the complex links between taxation and citizenship.

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the

Does oil make countries autocratic? Can foreign aid make countries democratic? Does taxation lead to representation? In this book, Kevin M. Morrison develops a novel argument about how government revenues of all kinds affect political regimes and their leaders. Contrary to conventional wisdom, Morrison illustrates that taxation leads to instability, not representation. With this insight, he extends his award-winning work on nontax revenues to encompass foreign aid, oil revenue, and intergovernmental grants and shows that they lead to decreased taxation, increased government spending, and increased political stability. Looking at the stability of democracies and dictatorships as well as leadership transitions within those regimes, Morrison incorporates cross-national statistical methods, formal modeling, a quasi-experiment, and case studies of Brazil, Kenya and Mexico to build his case. This book upends many common hypotheses and policy recommendations, providing the most comprehensive

From the Ballot to the Blackboard provides the first comprehensive account of the political economy of education spending across the developed and developing world. The book demonstrates how political forces like democracy and political partisanship and economic factors like globalization deeply impact the choices made by voters, parties, and leaders in financing education. The argument is developed through three stories that track the historical development of education: first, its original expansion from the elite to the masses; second, the partisan politics of education in industrialized states; and third, the politics of higher education. The book uses a variety of complementary methods to demonstrate the importance of redistributive political motivations in explaining education policy, including formal modeling, statistical analysis of survey data and both sub-national and cross-national data, and historical case analyses of countries including the Philippines, India, Malaysia, En

The Victorian polymath William Stanley Jevons (1835–82) is generally and rightly venerated as one of the great innovators of economic theory and method in what came to be known as the 'marginalist revolution'. This book is an investigation into the cultural and intellectual resources that Jevons drew upon to revolutionize research methods in economics. Jevons's uniform approach to the sciences was based on a firm belief in the mechanical constitution of the universe and a firm conviction that all scientific knowledge was limited and therefore hypothetical in character. Jevons's mechanical beliefs found their way into his early meteorological studies, his formal logic, and his economic pursuits. By using mechanical analogies as instruments of discovery, Jevons was able to bridge the divide between theory and statistics that had become more or less institutionalized in mid nineteenth-century Britain.

This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages). These are addressed from the classical perspective of their generation by grammars and from the modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a tour through basic recursive function theory, starting with an axiomatic foundation and developing the essential methods in order to survey the most memorable results of the field. This authoritative account by one of the leading lights of the subject will prove exceptionally useful reading for graduate students, and researchers in theoretical computer science and mathematics.

Aimed at advanced undergraduate and graduate students in mathematics and related disciplines, this book presents the concepts and results underlying the Bayesian, frequentist and Fisherian approaches, with particular emphasis on the contrasts between them. Computational ideas are explained, as well as basic mathematical theory. Written in a lucid and informal style, this concise text provides both basic material on the main approaches to inference, as well as more advanced material on developments in statistical theory, including: material on Bayesian computation, such as MCMC, higher-order likelihood theory, predictive inference, bootstrap methods and conditional inference. It contains numerous extended examples of the application of formal inference techniques to real data, as well as historical commentary on the development of the subject. Throughout, the text concentrates on concepts, rather than mathematical detail, while maintaining appropriate levels of formality. Each chapter

From the Ballot to the Blackboard provides the first comprehensive account of the political economy of education spending across the developed and developing world. The book demonstrates how political forces like democracy and political partisanship and economic factors like globalization deeply impact the choices made by voters, parties, and leaders in financing education. The argument is developed through three stories that track the historical development of education: first, its original expansion from the elite to the masses; second, the partisan politics of education in industrialized states; and third, the politics of higher education. The book uses a variety of complementary methods to demonstrate the importance of redistributive political motivations in explaining education policy, including formal modeling, statistical analysis of survey data and both sub-national and cross-national data, and historical case analyses of countries including the Philippines, India, Malaysia, En

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theore

In this book, Quan Li and Rafael Reuveny combine the social scientific approach with a broad, interdisciplinary scope to address some of the most intriguing and important political, economic, and environmental issues of our times. Their book employs formal and statistical methods to study the interactions of economic globalization, democratic governance, income inequality, economic development, military violence, and environmental degradation. In doing so, Li and Reuveny cross multiple disciplinary boundaries, engage various academic debates, bring the insights from compartmentalized bodies of literature into direct dialogue, and uncover policy tradeoffs in a growingly interconnected political-economic-environmental system. They show that growing interconnectedness in the global system increases the demands on national leaders and their advisors; academicians and policy makers will need to cross disciplinary boundaries if they seek to better understand and address the policy tradeoffs