Introduction to Communication Systems An Interactive Approach Using the Wolfram Language by Frost, Victor S.

Table of Contents: “…Introduction to Error Detection and Correction Techniques -- 17. Appendix net*TIMS FreeWire Laboratory Experiments…”
Access online version

Astronomy 2e by Fraknoi, Andrew, Morrison, David, Wolff, Sidney C.

Table of Contents: “…Rings, Moons, and Pluto -- 12.1 Ring and Moon Systems Introduced -- 12.2 The Galilean Moons of Jupiter -- 12.3 Titan and Triton -- 12.4 Pluto and Charon -- 12.5 Planetary Rings (and Enceladus) -- Chapter 13. Comets and Asteroids: Debris of the Solar System -- 13.1 Asteroids -- 13.2 Asteroids and Planetary Defense -- 13.3 The “Long-Haired” Comets -- 13.4 The Origin and Fate of Comets and Related Objects -- Chapter 14. …”
Access online version

Principles of Macroeconomics

Table of Contents: “…Chapter 1: Economics: The Study of Choice -- Chapter 2: Confronting Scarcity: Choices in Production -- Chapter 3: Demand and Supply -- Chapter 4: Applications of Demand and Supply -- Chapter 5: Macroeconomics: The Big Picture -- Chapter 6: Measuring Total Output and Income -- Chapter 7: Aggregate Demand and Aggregate Supply -- Chapter 8: Economic Growth -- Chapter 9: The Nature and Creation of Money -- Chapter 10: Financial Markets and the Economy -- Chapter 11: Monetary Policy and the Fed -- Chapter 12: Government and Fiscal Policy -- Chapter 13: Consumption and the Aggregate Expenditures Model -- Chapter 14: Investment and Economic Activity -- Chapter 15: Net Exports and International Finance -- Chapter 16: Inflation and Unemployment -- Chapter 17: A Brief History of Macroeconomic Thought and Policy -- Chapter 18: Inequality, Poverty, and Discrimination -- Chapter 19: Economic Development -- Chapter 20: Socialist Economies in Transition…”
Access online version

Bioeconomy and Global Inequalities Socio-Ecological Perspectives on Biomass Sourcing and Production /

Table of Contents: “…Finnish Bioeconomy and Forest Policy in the Era of Global Climate Politics; TeroToivanen -- 8. Sugar-Cane Bioelectricity in Brazil: Reinforcing the Meta-Discourses of Bioeconomy and Energy Transition; Selena Herrera, John Wilkinson -- Part 3 Reconfigurations and Continuities of Social-ecological Inequalities in Rural Areas -- 9. …”
Link to Metadata

How to Practice Academic Medicine and Publish from Developing Countries? A Practical Guide / by Nundy, Samiran, Kakar, Atul, Bhutta, Zulfiqar A.

Table of Contents: “…-- Part 10 Other topics -- 45 Medical records -- 46 Clinical Audit -- 47 Clinical Drug Trials -- 48 Ethics in Genetic Testing.…”
Link to Metadata

Introduction to Logic and Critical Thinking by Van Cleave, Matthew

Table of Contents: “…-- 2.2 Propositional logic and the four basic truth functional connectives -- 2.3 Negation and disjunction -- 2.4 Using parentheses to translate complex sentences -- 2.5 “Not both” and “neither nor” -- 2.6 The truth table test of validity -- 2.7 Conditionals -- 2.8 “Unless” -- 2.9 Material equivalence -- 2.10 Tautologies, contradictions, and contingent statements -- 2.11 Proofs and the 8 valid forms of inference -- 2.12 How to construct proofs -- 2.13 Short review of propositional logic -- 2.14 Categorical logic -- 2.15 The Venn test of validity for immediate categorical inferences -- 2.16 Universal statements and existential commitment -- 2.17 Venn validity for categorical syllogisms -- Chapter 3: Evaluating inductive arguments and probabilistic and statistical fallacies -- 3.1 Inductive arguments and statistical generalizations -- 3.2 Inference to the best explanation and the seven explanatory virtues -- 3.3 Analogical arguments -- 3.4 Causal arguments -- 3.5 Probability -- 3.6 The conjunction fallacy -- 3.7 The base rate fallacy -- 3.8 The small numbers fallacy -- 3.9 Regression to the mean fallacy -- 3.10 Gambler's fallacy -- Chapter 4: Informal fallacies -- 4.1 Formal vs. informal fallacies -- 4.1.1 Composition fallacy -- 4.1.2 Division fallacy -- 4.1.3 Begging the question fallacy -- 4.1.4 False dichotomy -- 4.1.5 Equivocation -- 4.2 Slippery slope fallacies -- 4.2.1 Conceptual slippery slope -- 4.2.2 Causal slippery slope -- 4.3 Fallacies of relevance -- 4.3.1 Ad hominem -- 4.3.2 Straw man -- 4.3.3 Tu quoque -- 4.3.4 Genetic -- 4.3.5 Appeal to consequences -- 4.3.6 Appeal to authority -- Answers to exercisesGlossary/Index…”
Access online version

Organic Chemistry with a Biological Emphasis by Soderberg, Tim

Table of Contents: “…Chapter 1: Introduction to organic structure and bonding, part I -- Section 1: Drawing organic structures -- Section 2: Functional groups and organic nomenclature -- Section 3: Structures of some important classes of biological molecules -- Chapter 2: Introduction to organic structure and bonding, part II -- Section 1: Covalent bonding in organic molecules -- Section 2: Molecular orbital theory -- Section 3: Resonance -- Section 4: Non-covalent interactions -- Section 5: Physical properties of organic compounds -- Chapter 3: Conformation and Stereochemistry -- Section 1: Conformations of open-chain organic molecules -- Section 2: Conformations of cyclic organic molecules -- Section 3: Chirality and stereoisomers -- Section 4: Labeling chiral centers -- Section 5: Optical activity -- Section 6: Compounds with multiple chiral centers -- Section 7: Meso compounds -- Section 8: Fischer and Haworth projections -- Section 9: Stereochemistry of alkenes -- Section 10: Stereochemistry in biology and medicine -- Section 11: Prochirality -- Chapter 4: Structure determination part I - Infrared spectroscopy, UV-visible spectroscopy, and mass spectrometry -- Section 1: Mass Spectrometry -- Section 2: Introduction to molecular spectroscopy -- Section 3: Infrared spectroscopy -- Section 4: Ultraviolet and visible spectroscopy -- Chapter 5: Structure determination part II - Nuclear magnetic resonancespectroscopy -- Section 1: The origin of the NMR signal -- Section 2: Chemical equivalence -- Section 3: The 1H-NMR experiment -- Section 4: The basis for differences in chemical shift -- Section 5: Spin-spin coupling -- Section 6: 13C-NMR spectroscopy -- Section 7: Solving unknown structures -- Section 8: Complex coupling in 1H-NMR spectra -- Section 9: Other applications of NMR -- Chapter 6: Overview of organic reactivity -- Section 1: A first look at some organic reaction mechanisms -- Section 2: A quick review of thermodynamics and kinetics -- Section 3: Catalysis -- Section 4: Comparing biological reactions to laboratory reactions -- Chapter 7: Acid-base reactions -- Section 1: Acid-base reactions -- Section 2: Comparing the acidity and basicity of organic functional groups– the acidityconstant -- Section 3: Structural effects on acidity and basicity -- Section 4: Acid-base properties of phenols -- Section 5: Acid-base properties of nitrogen-containing functional groups -- Section 6: Carbon acids -- Section 7: Polyprotic acids -- Section 8: Effects of enzyme microenvironment on acidity and basicity -- Chapter 8: Nucleophilic substitution reactions -- Section 1: Two mechanistic models for nucleophilic substitution -- Section 2: Nucleophiles -- Section 3: Electrophiles -- Section 4: Leaving groups -- Section 5: SN1 reactions with allylic electrophiles -- Section 6: SN1 or SN2? …”
Access online version

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…Refugees and Forced Migration: An Engaged Humanities Course in French and Francophone Studies -- 6. Education Can't Wait for LGBTQ Refugees? Exploring Inclusion and Access to Higher Education in Kakuma Refugee Camp -- 7. …”
Link to Metadata

Debating Transformations of National Citizenship

Table of Contents: “…Schuck -- Terrorists Repudiate Their Own Citizenship: Christian Joppke -- It's not About Their Citizenship, it's About Ours: Vesco Paskalev -- You Can't Lose What You Haven't Got: Citizenship Acquisition and Loss in Africa: Bronwen Manby -- Revocation of Citizenship of Terrorists: A Matter of Political Expediency: Kay Hailbronner -- Whose Bad Guys Are Terrorists?…”
Link to Metadata

Nuclear Law The Global Debate.

Table of Contents: “…The Challenge of Climate Change - Complete Energy Systems Transformation: No nuclear, no net zero -- Chapter 7. Legal Imputation of Health Effects to Radiation Exposure -- Chapter 8. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

Table of Contents: “…Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment - Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale AgileTransformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! …”
Link to Metadata

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /

Table of Contents: “…Simple Environment Map Filtering Using Ray Cones and Ray Differentials -- Chapter 22. Improving Temporal Antialiasing with Adaptive Ray Tracing -- Part 6: Hybrid Approaches and Systems -- Chapter 23. …”
Link to Metadata

Concepts in Action Representation, Learning, and Application /

Table of Contents: “…Lexical and Structural Divergences between WordNets of Different Languages (Christiane D. Fellbaum) -- Chapter 5. …”
Link to Metadata

Food Studies Matter, Meaning, Movement by Szanto, David, Di Battista, Amanda, Knezevic, Irena

Table of Contents: “…MacLennan and Irena Knezevic -- Perspective: Breast Milk, Janet Colson -- Perspective: Food Insecurity, Michael Classens and Mary Anne Martin -- Creative: Food System Blues, Faris Ahmed and Tommy Wall -- Creative: Food Waste, Pamela Tudge -- Perspective: Food Access, Laine Young -- Case: Food Rescue, Leda Cooks -- Perspective: Financialization of Food, Phoebe Stephens -- Creative: Solidarity for Food Businesses, Annika Walsh -- Perspective: Fair Trade, Eefje De Gelder -- Case: Migrant Farm Workers, Courtney Jane Clause -- Case: Pollinator Ecologies, D. …”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

Housing Estates in Europe Poverty, Ethnic Segregation and Policy Challenges /

Table of Contents: “…Introduction: The Role of Large Housing Estates in Past, Present and Future Change in European Cities -- PART 1: Four Thematic Lenses for Viewing the Trajectories of Large Housing Estates -- PART 2: Case Studies of Housing Estates in European Metropolitan Area -- Western Europe (Changing Context, Policies and Estates in the UK: The Birmingham Example / The Socio-economic Evolution of Large Housing Estates in Brussels / Large Housing Estates in a Divided City: Berling's Pallenbauten and Wohnblöcke / Large Housing Estates in the Paris Region: The Local Challenge of Internal Social Mixing in Orly) -- Eastern Europe (Persistence or Change: Social and Physical Challenges of Housing Estates in Budapest / Housing Estates in Prague: Long-term Development and Current Situation / Mass Housing Inherited from State Socialism in Tartu, Estonia / Ursynów: Emergence and Evolution of Warsaw's Largest Dormitory Suburb) -- Northern Europe (Equity or Net Gains? Tenure Structure, Perceived Social Disorder andPolicy Challenges in the Post-WWII Housing Estates of Helsinki region / Large Housing Estates in Stockholm: Do Initial Conditions Matter?) …”
Link to Metadata

Principles of Economics

Table of Contents: “…Chapter 1: Economics: The Study of Choice -- Chapter 2: Confronting Scarcity: Choices in Production -- Chapter 3: Demand and Supply -- Chapter 4: Applications of Demand and Supply -- Chapter 5: Elasticity: A Measure of Response -- Chapter 6: Markets, Maximizers, and Efficiency -- Chapter 7: The Analysis of Consumer Choice -- Chapter 8: Production and Cost -- Chapter 9: Competitive Markets for Goods and Services -- Chapter 10: Monopoly -- Chapter 11: The World of Imperfect Competition -- Chapter 12: Wages and Employment in Perfect Competition -- Chapter 13: Interest Rates and the Markets for Capital and Natural Resources -- Chapter 14: Imperfectly Competitive Markets for Factors of Production -- Chapter 15: Public Finance and Public Choice -- Chapter 16: Antitrust Policy and Business Regulation -- Chapter 17: International Trade -- Chapter 18: The Economics of the Environment -- Chapter 19: Inequality, Poverty, and Discrimination -- Chapter 20: Macroeconomics: The Big Picture -- Chapter 21: Measuring Total Output and Income -- Chapter 22: Aggregate Demand and Aggregate Supply -- Chapter 23: Economic Growth -- Chapter 24: The Nature and Creation of Money -- Chapter 25: Financial Markets and the Economy -- Chapter 26: Monetary Policy and the Fed -- Chapter 27: Government and Fiscal Policy -- Chapter 28: Consumption and the Aggregate Expenditures Model -- Chapter 29: Investment and Economic Activity -- Chapter 30: Net Exports and International Finance -- Chapter 31: Inflation and Unemployment -- Chapter 32: A Brief History of Macroeconomic Thought and Policy -- Chapter 33: Economic Development -- Chapter 34: Socialist Economies in Transition…”
Access online version

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

Table of Contents: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata