xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

Table of Contents: “…Editorial -- xxAI - Beyond explainable Artificial Intelligence -- Current Methods and Challenges -- Explainable AI Methods - A Brief Overview -- Challenges in Deploying Explainable Machine Learning -- Methods for Machine Learning Models -- CLEVR-X: A Visual Reasoning Dataset for Natural Language Explanations -- New Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-box Model Decisions -- Explaining the Predictions of Unsupervised Learning Models -- Towards Causal Algorithmic Recourse -- Interpreting Generative Adversarial Networks for Interactive Image Generation -- XAI and Strategy Extraction via Reward Redistribution -- Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis -- Interpreting and improving deep-learning models with reality checks -- Beyond the Visual Analysis of Deep Model Saliency -- ECQ^2: Quantization for Low-Bit and Sparse DNNs -- A whale's tail - Finding the right whale in an uncertain world -- Explainable Artificial Intelligence in Meteorology and Climate Science: Model fine-tuning, calibrating trust and learning new science -- An Interdisciplinary Approach to Explainable AI.…”
Link to Metadata

Recommender Systems: Legal and Ethical Issues

Table of Contents: “…Chapter 1: Introduction: Understanding and Regulating Al-Powered Recommender systems -- Part I: Fairness and Transparency -- Chapter 2: Recommender Systems and Discrimination -- Chapter 3: From Algoritmic Transparency to Algorithmic Choice: European Perspectives on Recommender Systems and Platform Regulation -- Chapter 4: Black Hole instead of Black Box? - The Double Opaqueness of Recommender Systems on Gaming Platforms and its Legal Implications -- Chapter 5: Digital Labor as a Structural Fairness Issue in Recommender Systems -- Part II: Manipulation and Personal Autonomy -- Chapter 6: Recommender Systems, Manipulation and Private Autonomy - How European civil law regulates and should regulate recommender systems for the benefit of private autonomy -- Chapter 7: Reasoning with Recommender Systems? …”
Link to Metadata

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Talent Development in European Higher Education Honors programs in the Benelux, Nordic and German-speaking countries / by Wolfensberger, Dr. Marca V.C

Table of Contents: “…Breaking the academic lock step -- Appendix 1: List of all universities in Germany -- Appendix 2: Key links -- Appendix 3: Contact details honors programs -- Appendix 4: Interviews with key informants -- Appendix 5: Lists of tables, figures, maps and boxed texts -- Appendix 6: Eurypedia figures -- Appendix 7: Acknowledgements and thanks.  .…”
Link to Metadata

Blue Planet Law The Ecology of our Economic and Technological World /

Table of Contents: “…Between the Hobbesian nightmare and a new culture of the commons -- Human Responsibility for the Protection of our "Common Home" -- Scientific Knowledge: its Impacts on Judicial Decision-making and International Law in the Era of Sustainability -- Part II Climate, Ocean and Biodiversity Protection -- Climate Change and Sustainability -- Pollution and Law -- Suing States: The Role of Courts in Promoting States' Responsibility for Climate Change -- Marine biodiversity beyond national jurisdiction -- Climate Change and the Ocean: The Disruption of the Coral Reef -- Marine Protected Areas and Ocean Sustainability -- Part III Law, Policy and Ecological Sustainability -- Renewable Energies, Sustainability and Law -- The Impact of Ecolabels and Green Taxes on Market Outcomes -- Environmental Governance through Tax Law in the European Union -- The Legal and Normative Challenges behind Sustainable Seafood -- Economy of the Sea and Sustainable Development: The 2030 Agenda Beyond Boxes -- Part IV Law, Genetic Resources and Biotechnology -- A Legal Approach to Fostering Green Infrastructure for Improved Water and Energy Efficiency -- Law and Marine Genetic Resources -- Marine Bioprospecting: Understanding the Activity and Some Challenges related to Environmental Protection, Scientific Research, Ethics and the Law -- Biotechnological Patents, Compulsory Licensing and Sars-cov-2 in a pandemic and epidemic context -- Fighting Listeria monocytogenes with bacteriophages: Biotechnology for Food Safety -- Genetic Engineering and the Law - Past, Present and Beyond: 20+1 Criteria to Help Focus the Path to Our Common Future.…”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherla...

Table of Contents: “…-- Towards a X-as-a-Service application in industrial laundry - A Case Study of information requirement engineering in Data Ecosystems -- Software StartupEcosystem in Namibia Industry Expectations for Product Ops Professionals: A Review of Job Advertisements -- Unveiling the Spectrum of Hybrid Work in Software Engineering: Research DIrections -- Defining a Remote Work Policy: Aligning Actions and Intentions -- Integrating Business Development in Large-Scale Agile Software Development: Barriers and Enablers -- ChatGPT as a tool for User Story Quality Evaluation: Trustworthy Out of the Box? -- Survey of AI tool usage in programming course: Early observations Turning Large Language Models into AI Assistants for Startups using Prompt Patterns -- ChatGPT as a fullstack web developer - early results -- Reviewing Crypto-agility and Quantum Resistance in the light of agile practices -- Empirical Investigation of Quantum Computing on Solving Complex Problems.…”
Link to Metadata

Mediation in Collective Labor Conflicts

Table of Contents: “…Part I: Mediation in collective labor conflicts: opening the black box -- Chapter 1. Introduction chapter (Ana Belén García) -- Chapter 2. …”
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

OER A Field Guide for Academic Librarians by Wesolek, Andrew, Lashley, Jonathan, Langley, Anne

Table of Contents: “…-- Section 2: The Pedagogical Implications of OER -- From Textbook Affordability to Transformative Pedagogy: Growing an OER Community -- Creating Opportunities in Open Education: An Exploration of the Intersections of Information Literacy and Scholarly Communication -- Experiential Learning and Open Education: Partnering with Students to Evaluate OER Accessibility -- Course Material Decisions and Factors: Unpacking the Opaque Box -- An Open Athenaeum: Creating an Institutional Home for Open Pedagogy -- Section 3: OER Advocacy, Partnerships, Sustainability, and Student Engagement -- Open Partnerships: Identifying and Recruiting Allies for Open Educational Resources Initiatives -- Getting to Know You: How We Turned Community Knowledge into Open Advocacy -- Advancing Access for First-Generation College Students: OER Advocacy at UT San Antonio -- Student-Driven OER: Championing the Student Voice in Campus-Wide Efforts -- From Conversation to Cultural Change: Strategies for Connecting with Students and Faculty to Promote OER Adoption -- Making the Connections: The Role of Professional Development in Advocating for OER -- Advocacy in OER: A Statewide Strategy for Building a Sustainable Library Effort -- Interinstitutional Collaborations to Forge Intracampus Connections: A Case Study from the Duke Endowment Libraries -- Section 4: Library-Supported Adoption and Creation Programs -- Seeking Alternatives to High-Cost Textbooks: Six Years of The Open Education Initiative at the University of Massachusetts Amherst -- From Start-Up to Adolescence: University of Oklahoma's OER Efforts -- A Grassroots Approach to OER Adoption: The University of Saskatchewan Experience -- Bringing OER to the Liberal Arts: An Innovative Grant Program -- Transforming Publishing with a Little Help From Our Friends: Supporting an Open Textbook Pilot Project with Friends of the Libraries Grant Funding -- Closing Reflections…”
Access online version

Evaluating Climate Change Action for Sustainable Development

Table of Contents: “…Sustainable Development, Climate Change, and Renewable Energy in Rural Central America -- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits -- Part 3. …”
Link to Metadata

Media Innovation and Entrepreneurship

Table of Contents: “…For Beta TestersSuggestion Box…”
Access online version

Advanced High School Statistics by Diez, David, Barr, Christopher, Çetinkaya-Rundel, Mine, Dorazio, Leah

Table of Contents: “…1 Data collection -- 1.1 Case study -- 1.2 Data basics -- 1.3 Overview of data collection principles -- 1.4 Observational studies and sampling strategies -- 1.5 Experiments -- 2 Summarizing data -- 2.1 Examining numerical data -- 2.2 Numerical summaries and box plots -- 2.3 Considering categorical data -- 2.4 Case study: malaria vaccine (special topic) -- 3 Probability -- 3.1 Defining probability -- 3.2 Conditional probability -- 3.3 The binomial formula -- 3.4 Simulations -- 3.5 Random variables -- 3.6 Continuous distributions -- 4 Distributions of random variables -- 4.1 Normal distribution -- 4.2 Sampling distribution of a sample mean -- 4.3 Geometric distribution -- 4.4 Binomial distribution -- 4.5 Sampling distribution of a sample proportion -- 5 Foundation for inference -- 5.1 Estimating unknown parameters -- 5.2 Confidence intervals -- 5.3 Introducing hypothesis testing -- 5.4 Does it make sense? …”
Access online version

The Spec UI framework by Fabry, Johan, Ducasse, Stephane

Table of Contents: “…Illustrations1 Introduction2 First Contact With Examples -- 2.1 A customer satisfaction UI -- 2.2 Fun with Lists -- 2.3 Conclusion -- 3 Reusing and composing elements -- 3.1 First requirements -- 3.2 Creating a basic UI to be reused as a widget -- 3.3 Combining two basic widgets into a reusable UI -- 3.4 Managing three widgets and their interactions -- 3.5 Changing the layout of a reused widget -- 3.6 Considerations about a public configuration API -- 3.7 Conclusion -- 4 The fundamentals of Spec -- 4.1 User interface building: a composition -- 4.2 The initializeWidgets method -- 4.3 Defining UI Layouts -- 4.4 The initializePresenter method -- 4.5 Conclusion -- 5 Layout Construction -- 5.1 About layouts -- 5.2 Row and column layouts -- 5.3 Combining rows and columns -- 5.4 Setting row and column size -- 5.5 Layouts without rows or columns -- 5.6 Conclusion -- 6 Managing windows -- 6.1 Opening a window or a dialog box -- 6.2 Modal windows and the closing of windows -- 6.3 Window size and decoration -- 6.4 The final details: title, icon and about text -- 6.5 Conclusion -- 7 Advanced Widgets -- 7.1 TextModel -- 7.2 RadioButtonModel -- 7.3 TabModel -- 7.4 Toolbars and Pop-up Menus -- 7.5 Conclusion -- 8 Dynamic Spec -- 8.1 Dynamically changing an already opened UI -- 8.2 Dynamically populating a UI with widgets -- 8.3 Hacking together a UI in the Playground -- 8.4 Conclusion -- 9 Tips and Tricks -- 9.1 Integrating the different UI frameworks -- 9.2 Lists, trees and tables -- 9.3 Using the underlying widget library -- 9.4 Testing the functionality of a Spec UI…”
Access online version

Regenerative Territories Dimensions of Circularity for Healthy Metabolisms /

Table of Contents: “…Designing new soils through a systemic approach(Marina Rigillo) -- Chapter 10. Interlude: Box of examples/pictures of realised projects on wastescape regeneration(Libera) -- Part III: Methodology and representation -- Chapter 11. …”
Link to Metadata

Equity, Equality and Diversity in the Nordic Model of Education

Table of Contents: “…Wagner & Knut Schwippert -- Section 4. The black box of Nordic education held against the light of large-scale international assessment resources-a critical commentary (Commentary chapter). …”
Link to Metadata

EU Integrated Urban Initiatives Policy Learning and Quality of Life Impacts in Spain /

Table of Contents: “…Navarro -- Chapter 6. Opening the black box of integrated urban development strategies: on causal mechanisms and policy theories. …”
Link to Metadata

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

The Interconnected Arctic - UArctic Congress 2016

Table of Contents: “…Chapter 30 Where is gender? Cracking the Arctic box and its persistent "gender neutral" research agendas -- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking.…”
Link to Metadata

The Palgrave Handbook of International Energy Economics

Table of Contents: “…Energy scenarios: comparative analysis of black boxes - Manfred Hafner (IFP School, Switzerland) -- 4.2. …”
Link to Metadata