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

Development in Turbulent Times The Many Faces of Inequality Within Europe /

Table of Contents: “…Introduction (Paul Dobrescu) -- Part I. Envisaging Development in the Contemporary Society: Theory and Public Debates -- Why Do Some Countries Develop and Others Not? …”
Link to Metadata

Governance of Arctic Shipping Rethinking Risk, Human Impacts and Regulation /

Table of Contents: “…Introduction -- PART A: MARINE RISK ASSESSMENT PERSPECTIVES -- 1) Application of the IGRC framework for SAR -- 2) Historical Maritime Search and Rescue (SAR) Incident Analysis: Interactive visualization aids for improved risk assessment and decision making -- 3) Oil spill risk in the Canadian Arctic: An exploratory application of the International Risk Governance Framework -- 4) Ship-generated underwater noise -- PART B: INDIGENOUS RIGHTS AND MARINE SPATIAL PLANNING PERSPECTIVES -- 5) Shipping Governance and Inuit Rights -- 6) Inuit knowledge and data: An exploration of decision support systems for marine spatial planning in the eastern Canadian Arctic -- 7) Balancing competing ocean uses: The EU approach to Marine Spatial Planning -- 8) Integrated Ocean Management in France: Some perspectives -- PART C: MARITIME REGULATORY POLICY PERSPECTIVES -- 9) The IMO Framework and Process of Shipping Regulations -- 10) The regulation of air pollution from ships in the Northwest Atlantic and Arctic Oceans: The need for an integrated and equitable approach -- 11) A Change in the Ice Regime: Polar Code Implementation in Canada Drummond Fraser, Transport Canada -- 12) Seafarers and Arctic cruise shipping: Protecting those who work while others explore and sightsee -- 13) Mapping the Occupational Health and Safety Challenges Arising from Employment-Related Geographical Mobility (E-RGM) Among Canadian Seafarers on the Great Lakes and St Lawrence River -- 14) Fisher safety -- 15) Search and rescue at sea: do new challenges need new rules? …”
Link to Metadata

Cultural Convergence The Dublin Gate Theatre, 1928-1960 /

Table of Contents: “…Introduction: Cultural Convergence at Dublin's Gate Theatre; Ondřej Pilný (Charles University, Prague, Czech Republic), Ruud van den Beuken (Radboud University Nijmegen, The Netherlands) and Ian R. Walsh (NUI Galway, Ireland) -- 2. The Internationalist Dramaturgy of Hilton Edwards and Micheál mac Liammóir; Joan FitzPatrick Dean (University of Missouri - Kansas City, USA) and Radvan Markus (Charles University, Prague, Czech Republic) -- 3. …”
Link to Metadata

Publishing Sacrobosco's De sphaera in Early Modern Europe Modes of Material and Scientific Exchange /

Table of Contents: “…-- Insa-Christiane Hennen Printers, Publishers and Book Binders in Wittenberg in the Sixteenth Century: Real Estate, Vicinity, Political and Cultural Activities -- Saskia Limbach Publishing the «Sphaera» in Sixteenth-Century Wittenberg -- Section 2: Distribution Dynamics -- Ian Maclean Sacrobosco at the Book Fairs, 1564-1624: The Pedagogical Marketplace -- Alejandra Ulla Lorenzo Exploring the Circulation of Sacrobosco's ≪Tractatus de sphaera≫ in Early Modern Iberian Peninsula and New World Printing -- Andrea Ottone The Giunti's Publishing and Distributing Network and Their Supply to the European Academic Market -- Isabelle Pantin Mathematical Books in Paris (1531-1563): The Development of Editorial Policies in a Competitive International Market -- Matteo Valleriani & Christoph Sander Exploring Social Relations Between Early Modern Publishers and Printers by Means of Paratexts -- Section 3: Usage Dynamics -- Paul F. …”
Link to Metadata

When Music Takes Over in Film

Table of Contents: “…A Waltz Dream: Musical Moments in Silent Operetta Films -- 9. Silent Movie Music(ians) on Screen: How Four Films Made Period Practices Audible and Visible -- Part III. …”
Link to Metadata

Living with Nature, Cherishing Language Indigenous Knowledges in the Americas Through History /

Table of Contents: “…Tlaneltoquilli tlen mochihua ica cintli ipan tlalli Chicontepec: tlamantli chicahualiztli ipan tochinanco. …”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

College Algebra 2e by Abramson, Jay

Table of Contents: “…Linear Functions -- Introduction to Linear Functions -- 4.1 Linear Functions -- 4.2 Modeling with Linear Functions -- 4.3 Fitting Linear Models to Data -- Chapter Review -- Exercises -- Chapter 5. …”
Access online version

Lifelong Learning, Young Adults and the Challenges of Disadvantage in Europe

Table of Contents: “…Part I Lifelong Learning for an Inclusive and Vibrant Europe -- Lifelong Learning, the European Union, and the Social Inclusion of Young Adults: Rethinking Policy -- Bounded Agency in Policy and Action: Empowerment, Agency and Belonging -- Part II Policies, Programmes and Participation -- Vulnerability in European Lifelong Learning Policies 1992-2018: Seeing Young People as a Problem to be Fixed? …”
Link to Metadata

Perspectives on European Earthquake Engineering and Seismology Volume 1 /

Table of Contents: “…From Performance- and Displacement-Based Assessment of Existing Buildings per EN1998-3 to Design of New Concrete Structures in Fib MC2010 -- 8. Testing Historic Masonry Structural Elements and/or Building Models -- 9. …”
Link to Metadata

Higher Education Reforms in Romania Between the Bologna Process and National Challenges /

Table of Contents: “…Internationalisation of higher education in Romanian national and institutional contexts: Eva Egron Polak, Ligia Deca, Cristina Fit -- 8. Are talents wisely spent? The case of student subsidies in Romanian Higher Education: Viorel Proteasa, Adrian Miroiu -- 9. …”
Link to Metadata

Sustainable Qatar Social, Political and Environmental Perspectives /

Table of Contents: “…Law and Governance Innovations on Sustainability in Qatar: Current Approaches and Future Directions -- Chapter 4. FIFA World Cup 2022 as a Catalyst for Environmental Sustainability in Qatar -- Chapter 5. …”
Link to Metadata

U.S. Federal Income Taxation of Individuals 2023 by Geier, Deborah A

Table of Contents: “…Expense” (or Current Depreciation) -- Unit II: Two Types of Gross Income: Compensation and Residual Gross Income -- Chapter 5: § 61(a)(1) Compensation -- Chapter 6: § 61 Residual Gross Income -- Unit III: The Possibilities for Income Shifting -- Chapter 7: Gifts and Bequests -- Chapter 8: Income Shifting in the Happy and Fractured Family -- Unit IV: Everything You Ever Wanted To Know About Debt but Were Afraid To Ask -- Chapter 9: Borrowing and Lending -- Chapter 10: The Bad-Debt Deduction (for Lenders) and Debt-Discharge Income (for Borrowers) -- Chapter 11: Debt and Property -- Unit V: The Ownership and Disposition of Property -- Chapter 12: Properly Accounting for, and the Nonrecognition of, §110011 Realized Gain or Loss -- Chapter 13: Depreciation in a Realization-Based Income Tax and the Business Interest Deduction -- Chapter 14: Capital Gains and Losses -- Chapter 15: Tax Shelters -- Unit VI: Distinguishing Between Income-Producing Activities and Personal Consumption and the Personal Consumption Tax Expenditures -- Chapter 16: On Human Capital -- Chapter 17: Homes, Health, Charity, and More -- Chapter 18: Gambling and Hobby Losses -- Chapter 19: Allocating Costs Between Income Production and Personal Consumption -- Unit VII: The Taxable Year and Methods of Accounting -- Chapter 20: The Taxable Year -- Chapter 21: Methods of Accounting…”
Access online version

The Interconnected Arctic - UArctic Congress 2016

Table of Contents: “…Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover -- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits -- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia -- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas -- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland -- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic -Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment -- Chapter 7. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Ethics and Drug Resistance: Collective Responsibility for Global Public Health

Table of Contents: “…Introduction -- Part 1 Theoretical and conceptual approaches to ethics in antimicrobial resistance -- Chapter 1 The practical ethics of antimicrobial resistance as a collective action problem (Julian Savulescu) -- Chapter 2 Collective responsibility for antimicrobial resistance (Angus Dawson) -- Chapter 3 Moral aspects of antimicrobial stewardship (Marcel Verweij) -- Chapter 4 Ethical frameworks for rational antibiotic use (Annette Rid, Jasper Littmann, Alena Buyx) -- Chapter 5 The virtuous physician as antimicrobial prescriber (Justin Oakley) -- Chapter 6 Solidarity and compliance with antimicrobial policy (Søren Holm, Thomas Ploug) -- Chapter 7 Resistance, inequality, and epidemiological transition (Lynette Reid) -- Chapter 8 The price of precaution (Joakim Larsson, Christian Munthe) -- Part 2 Ethics and antimicrobial resistance in context -- Chapter 9 Hospital acquired infection (Lyn Gilbert & Ian Kerridge) -- Chapter 10 Antibiotic use in childhood (Michael Millar) -- Chapter 11 Ethics, animals, public goods (Jonny Anomaly) -- Chapter 12 Malaria (PY Cheah& Mike Parker) -- Chapter 13 Resistant HIV (Bridget Haire) -- Chapter 14 Access & availability of new TB drugs (Diego Silva, Adrian Viens, Jasper Littmann) -- Chapter 15 TB Resistance and Human rights (Leslie London) -- Chapter 16 TB Resistance in developing countries (Richard Coker, Marco Liverani, Mishal Khan) -- Chapter 17 Animal Epidemiology (Lisa Boden & Dominic Mellor) -- Part 3 Ethical, legal and economic aspects of antimicrobial resistance -- Chapter 18 Privacy and data collection(Leslie Francis) -- Chapter 19 Mandatory treatment interventions (Carl Coleman) -- Chapter 20 Ethics and AMR Regulation (Belinda Bennett) -- Chapter 21 Ethics of Drug Development (Nick King) -- Chapter 22 Economics of resistance (Coast/Smith) -- Conclusion.…”
Link to Metadata

Innovations in Quantitative Risk Management TU München, September 2013 /

Table of Contents: “…Part I Markets, Regulation, and Model Risk -- A Random Holding Period Approach for Liquidity-Inclusive Risk Management -- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models -- Model Risk in Incomplete Markets with Jumps -- Part II Financial Engineering -- Bid-Ask Spread for Exotic Options Under Conic Finance -- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model -- A Two-Sided BNS Model for Multicurrency FX Markets -- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors -- Copula-Specific Credit Portfolio Modeling -- Implied Recovery Rates-Auctions and Models -- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence -- Part III Insurance Risk and Asset Management -- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design -- Reducing Surrender Incentives Through Fee Structure in Variable Annuities -- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment -- Risk Control in Asset Management: Motives and Concepts -- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash -- Improving Optimal Terminal Value Replicating Portfolios -- Part IV Computational Methods for Risk Management -- Risk and Computation -- Extreme Value Importance Sampling for Rare Event Risk Measurement -- A Note on the Numerical Evaluation of the Hartman-Watson Density and Distribution Function -- Computation of Copulas by Fourier Methods -- Part V Dependence Modelling -- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions -- Duality in Risk Aggregation -- Some Consequences of the Markov Kernel Perspective of Copulas -- Copula Representations for Invariant Dependence Functions -- Nonparametric Copula Density Estimation Using a Petrov-Galerkin Projection.…”
Link to Metadata

Building Maintenance & Construction Tools and Maintenance Tasks by Rutherford, Clifford

Table of Contents: “…Part 1: Safety -- 1.1 First Aid & Personal Protective Equipment -- 1.2 Eye and Face Protection -- 1.3 Hearing Protection -- 1.4 Head Protection -- 1.5 Hand Protection -- 1.6 Respiratory Protection -- 1.7 Foot Protection -- 1.8 Tool & Shop Safety -- 1.9 Ladder Safety & Fall Protection -- Part 2: Hand & Power Tools -- 2.1 Tool Choices and Applications -- 2.2 Measuring, Marking, Leveling & Layout Tools -- 2.3 Nails, Hammers & Pneumatic Nailers -- 2.4 Threaded Fasteners, Drivers, Pliers & Wrenches -- 2.5 Saws -- 2.6 Drills & Accessories -- 2.7 Grinders, Sanders, & Accessories -- Part 3: Mathematics for Maintenance Techs -- 3.1 Required Math Concepts -- 3.2 Ohm's Law, Joules Law, and Series/Parallel Formulas -- Part 4: Plumbing Systems -- 4.1 Piping & Fittings -- 4.2 Domestic Water Service -- 4.3 Drain, Waste, and Vent (DMV) -- 4.4 Valves & Prevention Devices -- 4.5 Faucets, Fixtures, & Fixture Drains -- 4.6 Plumbing for Appliances -- 4.7 Water Heating -- Part 5: Electrical Systems -- 5.1 Electrical Safety -- 5.2 Electrical Tools & Testing Equipment -- 5.3 Electrical Terminology & Lighting -- 5.4 Conduit, Boxes, & Wiring -- 5.5 Fuses & Breakers -- 5.6 Receptacle & Switch Wiring -- 5.7 Outdoor Wiring Considerations -- Part 6: Maintenance Management Systems -- 6.1 Maintenance Categories -- 6.2 Work Order Process -- 6.3 Parts and Material Resources…”
Access online version

Peer review in an Era of Evaluation Understanding the Practice of Gatekeeping in Academia /

Table of Contents: “…PART I - PEER REVIEW: INTRODUCTION AND ITS CONTEXT -- 1: The Scientific Community, Academia and Peer Review;Eva Forsberg, Lars Geschwind & Sara Levander -- 2: Hierarchies and Universal Inclusion in Scientific Communities; Rudolf Stichweh -- 3: Authors, peer review, and publications - a socio-historical constellation; Raf Vanderstraeten -- PART II - PEER REVIEW AND THE HIGHER EDUCATION EVALUATION MACHINERY -- 4: Performances and Gatekeepers: Quality assurance of education and research in Dutch higher education; Don F. …”
Link to Metadata