Search Results - "Machine"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 434
- Technology: general issues 396
- Artificial intelligence 257
- Research & information: general 256
- Computer science 125
- Machine learning 118
- Medicine 99
- Information technology industries 88
- Biology, life sciences 77
- Software Engineering 69
- Computer networking & communications 63
- linguistics 61
- Artificial Intelligence 55
- Electrical engineering 53
- Data mining 49
- Information technology: general issues 49
- Psychology 47
- Algorithms & data structures 46
- Environmental science, engineering & technology 46
- Neurosciences 45
- Mathematics & science 41
- Robotics 41
- Physics 39
- Mechanical engineering & materials 37
- Media studies 37
- Language: reference & general 34
- Computer vision 32
- Philosophy 32
- Production engineering 32
- Geography 31
-
11081
-
11082
-
11083
-
11084
-
11085
-
11086
-
11087
-
11088
-
11089
-
11090
-
11091
-
11092
-
11093
-
11094
-
11095
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 -
11096
Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /
Published 2021Table of Contents: “…Industrial Assistance Systems to Enhance Human-Machine Interaction and Operator's Capabilities in Assembly -- Section II: Implementing Industry 4.0 for Smart Logistics in SMEs -- 5. …”
Link to Metadata
Electronic eBook -
11097
Big Data in Bioeconomy Results from the European DataBio Project /
Published 2021Table of Contents: “…Part I - Technological Foundation: Big Data Technologies for BioIndustries: Big Data Technologies in DataBio -- Standards and EO data platforms -- Data Types: Sensor Data -- Remote sensing -- Crowdsourced Data -- Genomics Data -- Data Integration and Modelling: Linked Data and Metadata -- Linked Data usages in Databio -- Data Pipelines: Modeling and Evaluation of models -- Analytics and visualization: Data Analytics and Machine Learning -- Real-time Data Processing -- Privacy Preserving Analytics, Processing and Data Management -- Data Visualisation -- Part II - Applications in Agriculture: Introduction Smart Agriculture -- Smart farming for sustainable agricultural production -- Genomics Biomass pilots -- Yield Prediction in Sorghum (Sorghum bicolor (L.) …”
Link to Metadata
Electronic eBook -
11098
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 -
11099
Designing Data Spaces The Ecosystem Approach to Competitive Advantage /
Published 2022Table of Contents: “…Data Ecosystems: A New Dimension of Value Creation Using AI and Machine Learning -- 14. IDS as a Foundation for Open Data Ecosystems -- 15. …”
Link to Metadata
Electronic eBook -
11100