Search Results - "Natural science"
Suggested Topics within your search.
Suggested Topics within your search.
- History 20
- Education 19
- Archaeology 18
- History of science 15
- Human geography 12
- Ecological science, the Biosphere 10
- Literary studies: general 9
- Philosophy of science 9
- Research & information: general 9
- Sustainability 9
- Climate change 8
- Energy technology & engineering 8
- Universities 8
- Conservation of the environment 7
- Philosophy 7
- Philosophy: metaphysics & ontology 7
- Sociology & anthropology 7
- Biography & True Stories 6
- Biology, life sciences 6
- Development studies 6
- Environmental management 6
- Environmental science, engineering & technology 6
- Ethics & moral philosophy 6
- European history 6
- Literature: history & criticism 6
- Media studies 6
- Natural history 6
- Primary & middle schools 6
- Sociology 6
- The environment 6
-
861
-
862
-
863
-
864
-
865
The Science of Citizen Science
Published 2021Table of Contents: “…The Challenges of Definition -- Chapter 2: Citizen Science in Europe -- Part I: Citizen Science as Science -- Chapter 3: Science as a Commons: Improving the Governance of Knowledge through Citizen Science -- Chapter 4: Citizen Science in the Natural Sciences -- Chapter 5: Citizen Humanities -- Chapter 6: Citizen Social Science: New and Established Approaches to Participation in Social Research -- Chapter 7: Data Quality in Citizen Science -- Chapter 8: A Conceptual Model for Participants and Activities in Citizen Science Projects -- Chapter 9: Machine Learning in Citizen Science: Promises and Implications -- Chapter 10: Participation and Co-creation in Citizen Science -- Chapter 11: Citizen Science, Health, and Environmental Justice -- Part II: Citizen Science in Society -- Chapter 12: Participants in Citizen Science -- Chapter 13: Inclusiveness and Diversity in Citizen Science -- Chapter 14: Learning in Citizen Science Chapter -- Chapter 15: Citizen Science Case Studies and Their Impacts on Social Innovation -- Chapter 16: Science as a Lever: The Roles and Power of Civil Society Organisations in Citizen Science -- Chapter 17: Citizen Science and Policy -- Chapter 18: Creating Positive Environmental Impact through Citizen Science -- Chapter 19: Ethical Challenges and Dynamic Informed Consent -- Part III: Citizen Science in Practice -- Chapter 20: Finding What You Need: A Guide to Citizen Science Guidelines -- Chapter 21: Citizen Science Platforms -- Chapter 22: Citizen Science in the Digital World of Apps -- Chapter 23: Communication and Dissemination in Citizen Science -- Chapter 24: Evaluation in Citizen Science: The Art of Tracing a Moving Target Part IV: Conclusions / Lessons Learnt -- Chapter 25: The Recent Past and Possible Futures of Citizen Science: Final Remarks. .…”
Link to Metadata
Electronic eBook -
866
-
867
-
868
-
869
-
870
-
871
-
872
-
873
-
874
-
875
-
876
-
877
-
878
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata
Electronic eBook -
879
-
880