Search Results - "robustness"
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 102
- History of engineering & technology 99
- Research & information: general 57
- Education 28
- Artificial intelligence 26
- Computer science 26
- Automatic control engineering 19
- Information technology industries 18
- Politics & government 18
- Environmental policy & protocols 16
- Biology, life sciences 15
- Literature: history & criticism 15
- Medicine 15
- Neurosciences 14
- Psychology 13
- Higher & further education, tertiary education 12
- Mathematics & science 12
- Electrical engineering 11
- Environmental science, engineering & technology 11
- Geography 11
- Artificial Intelligence 10
- Humanities 10
- International relations 10
- Sociology 10
- Sustainability 10
- Computer vision 9
- Environmental economics 9
- Environmental management 9
- Meteorology & climatology 9
- Software Engineering 9
-
581
-
582
-
583
-
584
-
585
-
586
-
587
-
588
-
589
-
590
-
591
-
592
-
593
-
594
-
595
-
596
-
597
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 -
598
-
599
-
600