Search Results - iWoz~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 167
- Technology: general issues 140
- History of engineering & technology 138
- Biology, life sciences 89
- Medicine 84
- Humanities 67
- History 47
- Chemistry 40
- Mathematics 39
- Archaeology 31
- Science 31
- Education 29
- Philosophy 23
- Physics 23
- Prehistoric archaeology 22
- Rhetoric 22
- Food & society 20
- Management 18
- Sociology 18
- Social sciences 16
- Data processing 15
- Social interaction 15
- Applied mathematics 14
- Literature: history & criticism 14
- Statistics 14
- Computer networks 13
- Political Science 13
- Political science 13
- Artificial intelligence 12
- Biotechnology 12
-
2161
Together The Science of Social Psychology
Published 2016Table 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 -
2162
Calculus-Based Physics I
Published 2008Table 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 -
2163
-
2164
-
2165
-
2166
-
2167
No Truth Without Beauty God, the Qur'an, and Women's Rights /
Published 2022Table 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 -
2168
Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /
Published 2022Table 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 -
2169
Schools and Society During the COVID-19 Pandemic How Education Systems Changed and the Road Ahead /
Published 2024Table 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 -
2170
Agricultural Development in Asia and Africa Essays in Honor of Keijiro Otsuka /
Published 2023Table 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 -
2171
The European Higher Education Area Between Critical Reflections and Future Policies /
Published 2015Table 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 -
2172
-
2173
-
2174
-
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 2021Table 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 -
2176
Agricultural Implications of the Fukushima Nuclear Accident
Published 2013Table 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 -
2177
Innovation, Economic Development, and Intellectual Property in India and China Comparing Six Economic Sectors /
Published 2019Table of Contents: “…India's Information technology Industry: A tale of two Halves -- Part III: Film Industry -- Chapter 6. …”
Link to Metadata
Electronic eBook -
2178
Algebra and Trigonometry 2e
Published 2021Table 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 -
2179
-
2180
Transforming Education for Sustainability Discourses on Justice, Inclusion, and Authenticity /
Published 2023Table of Contents: “…Perspectives on teaching climate change: Two decades of evolving approaches (Stephanie Pfirman) -- Chapter 12. …”
Link to Metadata
Electronic eBook