Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"anzsrc-for: 46 INFORMATION AND COMPUTING SCIENCES"”.
-
Efficient Deep Learning: Model Design and Algorithmic Innovation
… rapid evolution of Artificial Intelligence (AI) and Deep Learning (DL) has revolutionized numerous domains, from computer vision to natural language processing and intelligent recommendation systems. However, this progress has been accompanied by escalating computational demands that challenge …
-
Order-Leading Branch and Bound for Neural Network Verification
Certifying the correctness, robustness, and safety of deep neural networks has become a pressing imperative. Despite their ubiquitous deployment in image classification, software engineering, and bug detection, the field still lacks rigorous methodologies to verify their behavior. Although …