Sökt på: Sökresultat
totalt 6 träffar
Algorithms for Optimization
A comprehensive introduction to optimization with a focus on practical algorithms for the design of engineering systems.This book offers a comprehensive introduction to …
Algorithms for Verifying Deep Neural Networks
Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks …
Decision Making Under Uncertainty
An introduction to decision making under uncertainty from a computational perspective, covering both theory and applications ranging from speech recognition to airborne collision …
Decision Making Under Uncertainty
An introduction to decision making under uncertainty from a computational perspective, covering both theory and applications ranging from speech recognition to airborne collision …
Algorithms for Optimization
A comprehensive introduction to optimization with a focus on practical algorithms for the design of engineering systems.This book offers a comprehensive introduction to …