Search Results - "neural network"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 332
- Technology: general issues 266
- Research & information: general 164
- Artificial intelligence 77
- Computer science 74
- Information technology industries 65
- Neurosciences 41
- Biology, life sciences 40
- Medicine 38
- Mathematics & science 36
- Machine learning 30
- Computer networking & communications 26
- Neural networks & fuzzy systems 23
- Software Engineering 22
- Environmental science, engineering & technology 19
- Algorithms & data structures 16
- Physics 16
- Artificial Intelligence 15
- Energy industries & utilities 14
- Chemistry 13
- Data mining 13
- Electrical engineering 13
- Geography 13
- Mechanical engineering & materials 13
- Robotics 13
- Information technology: general issues 12
- Computer networks 11
- Technology, engineering, agriculture 11
- Computer Engineering and Networks 10
- Computer engineering 10
-
1581
-
1582
-
1583
-
1584
-
1585
Drug Properties Prediction Based on Deep Learning
Published 2022Connect to this object online.
Book -
1586
-
1587
-
1588
-
1589
-
1590
-
1591
-
1592
-
1593
Generating Mosaic Images Based On Texture Analysis
Published 2018Connect to this object online.
Book -
1594
-
1595
-
1596
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata
Electronic eBook -
1597
-
1598
-
1599
-
1600