Search Results - iWoz~

Refine Results
  1. 2161

    Together The Science of Social Psychology

    Published 2016
    Table of Contents: “…Mehl -- 5 Social NeuroscienceTiffany A. Ito & Jennifer T. Kubota -- Understanding the Self and Others -- 6 Self and IdentityDan P. …”
    Access online version
    Electronic eBook
  2. 2162

    Calculus-Based Physics I by Schnick, Jeffrey

    Published 2008
    Table of Contents: “…1 Mathematical Prelude -- 2 Conservation of Mechanical Energy I: Kinetic Energy & Gravitational Potential Energy -- 3 Conservation of Mechanical Energy II: Springs, Rotational Kinetic Energy -- 4 Conservation of Momentum -- 5 Conservation of Angular Momentum -- 6 One-Dimensional Motion (Motion Along a Line): Definitions and Mathematics -- 7 One-Dimensional Motion: The Constant Acceleration Equations -- 8 One-Dimensional Motion: Collision Type II -- 9 One-Dimensional Motion Graphs -- 10 Constant Acceleration Problems in Two Dimensions -- 11 Relative Velocity -- 12 Gravitational Force Near the Surface of the Earth, First Brush with Newton's 2nd Law -- 13 Freefall, a.k.a. …”
    Access online version
    Electronic eBook
  3. 2163
  4. 2164

    COVID-19, Time to Change Course by Olen R Brown

    Published 2021
    Connect to this object online.
    Book
  5. 2165
  6. 2166
  7. 2167

    No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

    Published 2022
    Table of Contents: “…Witnesses: A Woman's Testimony Is Worth the Same as a Man's, Except in Two Cases Where It May Count for More or Less -- AT A GLANCE: Some Inconvenient Truths -- Part V Carnal Matters -- 19. …”
    Link to Metadata
    Electronic eBook
  8. 2168

    Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

    Published 2022
    Table of Contents: “…Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop -- Probability Estimation of Uncertain Process Trace Realizations -- Visualizing Trace Variants From Partially Ordered Event Data -- Analyzing Multi-level BOM-structured Event Data -- Linac: A Smart Environment Simulator of Human Activities -- Root Cause Analysis in Process Mining with Probabilistic Temporal Logic -- xPM: A Framework for Process Mining with Exogenous Data -- A Bridging Model for Process Mining and IoT -- Exploiting Instance Graphs and Graph Neural Networks for next activity prediction -- Can deep neural networks learn process modelstructure? …”
    Link to Metadata
    Electronic eBook
  9. 2169

    Schools and Society During the COVID-19 Pandemic How Education Systems Changed and the Road Ahead /

    Published 2024
    Table of Contents: “…Reimers) -- Chapter 2. Brazil. How two municipalities achieved above-average results in reading in the early years of elementary school during the Covid-19 pandemic (Carlos Palacios, Alicia Bonamino) -- Chapter 3. …”
    Link to Metadata
    Electronic eBook
  10. 2170

    Agricultural Development in Asia and Africa Essays in Honor of Keijiro Otsuka /

    Published 2023
    Table of Contents: “…-- Property Rights and Natural Resource Management in Developing Countries Sustaining Natural Resources in African Agriculture: What Have We Learned in the Past Two Decades? -- Integrated Farming Management Practices in Sub-Saharan Africa: Toward a Sustainable African Green Revolution -- Impacts of Transboundary Crop Diseases on Sustainable Crop Production: The Case of Maize Lethal Necrosis (MLN) in Africa -- Sustainable Green Growth in Agriculture:The Role of Regional Cooperation -- Facilitating Inclusive Use of ICTs in Rural China EdTech for Equity in China: Can Technology Improve Teaching for Millions of Rural Students?.…”
    Link to Metadata
    Electronic eBook
  11. 2171

    The European Higher Education Area Between Critical Reflections and Future Policies /

    Published 2015
    Table of Contents: “…On the Use of Student Surveys. Manja Klemenčič, Igor Chirikov -- 25. Understanding the Quality of Learning in Digital Learning Environments: State of the Art and Research Needed. …”
    Link to Metadata
    Electronic eBook
  12. 2172
  13. 2173
  14. 2174
  15. 2175

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

    Published 2021
    Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  16. 2176

    Agricultural Implications of the Fukushima Nuclear Accident

    Published 2013
    Table of Contents: “…Changes in the transfer of fallout radiocesium from pasture harvested in Ibaraki Prefecture, Japan, to cow milk two months after theFukushima Daiichi nuclear power plant accident (N. …”
    Link to Metadata
    Electronic eBook
  17. 2177

    Innovation, Economic Development, and Intellectual Property in India and China Comparing Six Economic Sectors /

    Published 2019
    Table of Contents: “…India's Information technology Industry: A tale of two Halves -- Part III: Film Industry -- Chapter 6. …”
    Link to Metadata
    Electronic eBook
  18. 2178

    Algebra and Trigonometry 2e by Abramson, Jay

    Published 2021
    Table of Contents: “…Systems of Equations and Inequalities -- Introduction to Systems of Equations and Inequalities -- 11.1 Systems of Linear Equations: Two Variables -- 11.2 Systems of Linear Equations: Three Variables -- 11.3 Systems of Nonlinear Equations and Inequalities: Two Variables -- 11.4 Partial Fractions -- 11.5 Matrices and Matrix Operations -- 11.6 Solving Systems with Gaussian Elimination -- 11.7 Solving Systems with Inverses -- 11.8 Solving Systems with Cramer's Rule -- Chapter Review -- Exercises -- Chapter 12. …”
    Access online version
    Electronic eBook
  19. 2179
  20. 2180

    Transforming Education for Sustainability Discourses on Justice, Inclusion, and Authenticity /

    Published 2023
    Table of Contents: “…Perspectives on teaching climate change: Two decades of evolving approaches (Stephanie Pfirman) -- Chapter 12. …”
    Link to Metadata
    Electronic eBook