본문

  1. Home
  4. Search
3 Results:SS:INTEGERPROGRAMMING 0.125 sec.
RSS 
Multilingual
 Búsqueda Avanzada
 Nueva llegada Buscar
Selected Print 선택엑셀내보내기
1
Neural Network Verification for Nonlinear Systems.
Neural Network Verification for Nonlinear Systems.
Sidrane, Chelsea Rose. | Stanford University. | 2022
impresión
2
Trustworthy Machine Learning by Efficiently Verifying Compressed Models.
Trustworthy Machine Learning by Efficiently Verifying Compressed Models.
Lazarus, Christopher. | Stanford University. | 2022
impresión
3
Optimization and Simulation Models for the Design of Resilient Election Voting Systems.
Optimization and Simulation Models for the Design of Resilient Election Voting Systems.
Schmidt, Adam P.Industrial Engineering. | The University of Wisconsin - Madison. | 2022
impresión
처음1마지막