Channel coding lies at the heart of digital communication and data storage. Fully updated to include current innovations in the field, including a new chapter on polar codes, this detailed introduction describes the core theory of channel coding, decoding algorithms, implementation details, and performance analyses. This edition includes over 50 new end-of-chapter problems to challenge students and numerous new figures and examples throughout.

The authors emphasize a practical approach and clearly present information on modern channel codes, including polar, turbo, and low-density parity-check (LDPC) codes, as well as detailed coverage of BCH codes, Reed–Solomon codes, convolutional codes, finite geometry codes, and product codes for error correction, providing a one-stop resource for both classical and modern coding techniques.

Assuming no prior knowledge in the field of channel coding, the opening chapters begin with basic theory to introduce newcomers to the subject. Later chapters then begin with classical codes, continue with modern codes, and extend to advanced topics such as code ensemble performance analyses and algebraic LDPC code design.

• 300 varied and stimulating end-of-chapter problems test and enhance learning, making this an essential resource for students and practitioners alike.

• Provides a one-stop resource for both classical and modern coding techniques.

• Starts with the basic theory before moving on to advanced topics, making it perfect for newcomers to the field of channel coding.

• 180 worked examples guide students through the practical application of the theory.

Explore the fundamentals of biomedical engineering technologies with this thought-provoking introduction, framed around modern-day global cancer inequities. Connecting engineering principles to real-world global health scenarios, this textbook introduces major technological advances in cancer care through the lens of global health inequity, discusses how promising new technologies can address this inequity, and demonstrates how novel medical technologies are adopted for real-world clinical use. It includes modular chapters designed to enable a flexible pathway through the material for students from a wide range of backgrounds; boxed discussion of contemporary issues in engineering for global health, encouraging students to explore ethical questions related to science and society; supplementary lab modules for hands-on experience in translating engineering principles into healthcare solutions; and over 200 end-of-chapter problems targeting multiple learning outcomes to solidify student understanding. Designed to equip students with all the critical, technical, and ethical knowledge they need to excel, this is the ideal introduction for students in biomedical engineering and global health.

This chapter provides the tools to compute catastrophe (CAT) risk, which represents a compound measure of the likelihood and magnitude of adverse consequences affecting structures, individuals, and valuable assets. The process consists of first establishing an inventory of assets (here real or simulated) exposed to potential hazards (exposure module). Estimating the expected damage resulting from a given hazard load (according to Chapter 2) is the second crucial step in the assessment process (vulnerability module). The application of damage functions to exposure data forms the basis for calculating loss estimates (loss module). To ensure consistency across perils, the mean damage ratio is used as the main measure for damage footprints D(x,y), with the final loss footprints simply expressed as L(x,y) = D(x,y) × ν(x,y), where ν(x,y) represents the exposure footprint. Damage functions are provided for various hazard loads: blasts (explosions and asteroid impacts), earthquakes, floods, hail, landslides, volcanic eruptions, and wind.

This chapter goes beyond the description of individual events by covering extremes caused by a combination of multiple events. Two main types of interactions are covered: domino effects and compound events. Domino effects, which represent one-way chains of events, are quantified using Markov theory and graph theory. Compound events, which include complex feedback loops in the complex Earth system, are modelled with system dynamics (as in Chapter 4). Two such systems are provided, the ESCIMO climate model and the World2 model of world dynamics. The impact of global warming, pollution, and resource depletion on catastrophes is investigated, as far as ecosystem and societal collapse. The types of catastrophes considered in this chapter are as follows: storm clustering, earthquake clustering (with accelerated fatigue of structures), domino effects at refineries (explosions, fires, toxic spills), cascading failures in physical networks (more precisely blackouts in a power grid), rainforest dieback, lake eutrophication, and hypothetical human population collapse.

This chapter expands propositional logic to include quantification, namely “all” and “some”, which allows for reasoning about more sophisticated statements like “all dogs are animals” or “every cat that’s been chased by a dog is afraid of all dogs”. The material presented here builds directly on the previous chapter; taken together these constitute an upper-year university course on classical logic. We introduce first-order structures—ubiquitious in mathematics—and define the interpretation of the language of predicate logic in such structures. We establish axioms, prove they are sound, and culminate with a proof of the completeness theorem for first-order logic—a major milestone in the history of logic, not to mention one of the hardest proofs one can find in an undergraduate curriculum!

This chapter introduces modal logic, an expansion of propositional logic designed for reasoning about more subtle ways of modifying statements, including claims about what is known or believed, what might happen tomorrow or after some action is taken, what is justified, permitted, obligatory, and so on. There is a huge variety of different modal logics, but they all share the same common mathematical core, which we motivate and rigorously define. For intuition we focus especially on logics of knowledge, known as epistemic logics. No prior background in modal logic is assumed. After establishing the basics we progress to deeper model-theoretic results including invariance and expressivity, definability, and several important and useful completeness theorems. Altogether this chapter consitutes the core of an upper-year university course on modal logic.

Channel coding lies at the heart of digital communication and data storage. Fully updated to include current innovations in the field, including a new chapter on polar codes, this detailed introduction describes the core theory of channel coding, decoding algorithms, implementation details, and performance analyses. This edition includes over 50 new end-of-chapter problems to challenge students and numerous new figures and examples throughout.

The authors emphasize a practical approach and clearly present information on modern channel codes, including polar, turbo, and low-density parity-check (LDPC) codes, as well as detailed coverage of BCH codes, Reed–Solomon codes, convolutional codes, finite geometry codes, and product codes for error correction, providing a one-stop resource for both classical and modern coding techniques.

Assuming no prior knowledge in the field of channel coding, the opening chapters begin with basic theory to introduce newcomers to the subject. Later chapters then begin with classical codes, continue with modern codes, and extend to advanced topics such as code ensemble performance analyses and algebraic LDPC code design.

• 300 varied and stimulating end-of-chapter problems test and enhance learning, making this an essential resource for students and practitioners alike.

• Provides a one-stop resource for both classical and modern coding techniques.

• Starts with the basic theory before moving on to advanced topics, making it perfect for newcomers to the field of channel coding.

• 180 worked examples guide students through the practical application of the theory.

Channel coding lies at the heart of digital communication and data storage. Fully updated to include current innovations in the field, including a new chapter on polar codes, this detailed introduction describes the core theory of channel coding, decoding algorithms, implementation details, and performance analyses. This edition includes over 50 new end-of-chapter problems to challenge students and numerous new figures and examples throughout.

The authors emphasize a practical approach and clearly present information on modern channel codes, including polar, turbo, and low-density parity-check (LDPC) codes, as well as detailed coverage of BCH codes, Reed–Solomon codes, convolutional codes, finite geometry codes, and product codes for error correction, providing a one-stop resource for both classical and modern coding techniques.

Assuming no prior knowledge in the field of channel coding, the opening chapters begin with basic theory to introduce newcomers to the subject. Later chapters then begin with classical codes, continue with modern codes, and extend to advanced topics such as code ensemble performance analyses and algebraic LDPC code design.

• 300 varied and stimulating end-of-chapter problems test and enhance learning, making this an essential resource for students and practitioners alike.

• Provides a one-stop resource for both classical and modern coding techniques.

• Starts with the basic theory before moving on to advanced topics, making it perfect for newcomers to the field of channel coding.

• 180 worked examples guide students through the practical application of the theory.

Channel coding lies at the heart of digital communication and data storage. Fully updated to include current innovations in the field, including a new chapter on polar codes, this detailed introduction describes the core theory of channel coding, decoding algorithms, implementation details, and performance analyses. This edition includes over 50 new end-of-chapter problems to challenge students and numerous new figures and examples throughout.

The authors emphasize a practical approach and clearly present information on modern channel codes, including polar, turbo, and low-density parity-check (LDPC) codes, as well as detailed coverage of BCH codes, Reed–Solomon codes, convolutional codes, finite geometry codes, and product codes for error correction, providing a one-stop resource for both classical and modern coding techniques.

Assuming no prior knowledge in the field of channel coding, the opening chapters begin with basic theory to introduce newcomers to the subject. Later chapters then begin with classical codes, continue with modern codes, and extend to advanced topics such as code ensemble performance analyses and algebraic LDPC code design.

• 300 varied and stimulating end-of-chapter problems test and enhance learning, making this an essential resource for students and practitioners alike.

• Provides a one-stop resource for both classical and modern coding techniques.

• Starts with the basic theory before moving on to advanced topics, making it perfect for newcomers to the field of channel coding.

• 180 worked examples guide students through the practical application of the theory.

This final chapter demonstrates how the catastrophe (CAT) models described in previous chapters can be used as inputs for CAT risk management. CAT model outputs, which can translate into actionable strategies, are risk metrics such as the average annual loss, exceedance probability curves, and values at risk (as defined in Chapter 3). Practical applications include risk transfer via insurance and CAT bonds, as well as risk reduction, consisting of reducing exposure, hazard, or vulnerability. The forecasting of perils (such as tropical cyclones and earthquakes) is explored, as well as strategies of decision-making under uncertainty. The overarching concept of risk governance, which includes risk assessment, management, and communication between various stakeholders, is illustrated with the case study of seismic risk at geothermal plants. This scenario exemplifies how CAT modelling is central in the trade-off between energy security and public safety and how large uncertainties impact risk perceptions and decisions.