Search Results - "machines"
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
-
5001
-
5002
-
5003
-
5004
-
5005
-
5006
-
5007
-
5008
-
5009
-
5010
-
5011
-
5012
Quantum Computing for the Quantum Curious
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5013
Measurement and Control of Charged Particle Beams
Published 2003OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5014
-
5015
-
5016
-
5017
Nanoinformatics
Published 2018Table of Contents: “…Machine Learning-based Experimental Design in Materials Science -- 5. …”
Link to Metadata
Electronic eBook -
5018
Robotics, AI, and Humanity Science, Ethics, and Policy /
Published 2021Table of Contents: “…Human-robot interactions and affecting computing: the ethical implications -- 18. Humans Judged by Machines: the Rise of big data in Finance, Insurance, and Real Estate -- 19. mpact of robotics/AI on human relations: the process of hybridization and how to deal with it -- 20. …”
Link to Metadata
Electronic eBook -
5019
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata
Electronic eBook -
5020