본문

  1. Home
  4. 소장자료검색
20 Results:SS:INTEGERPROGRAMMING 0.218 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
11
Trustworthy Machine Learning by Efficiently Verifying Compressed Models.
Trustworthy Machine Learning by Efficiently Verifying Compressed Models.
Lazarus, Christopher. | Stanford University. | 2022
프린트
12
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
프린트
13
Quantitative Privilege Separation with Pointer Supports.
Quantitative Privilege Separation with Pointer Supports.
Liu, Shen. | The Pennsylvania State University. | 2020
프린트
14
Techniques for Mapping Deep Neural Network Frameworks to Programmable Accelerators.
Techniques for Mapping Deep Neural Network Frameworks to Programmable Accelerators.
Hadjis, Stefan. | Stanford University. | 2021
프린트
15
Convex Optimization Methods for Adaptive Radiation Therapy.
Convex Optimization Methods for Adaptive Radiation Therapy.
Fu, Anqi. | Stanford University. | 2021
프린트
16
Design and Verification of Modular Components in Thermodynamic Binding Networks.
Design and Verification of Modular Components in Thermodynamic Binding Networks.
Haley, David Russell.Applied Mathematics. | University of California, Davis. | 2021
프린트
17
Algorithms for Stochastic Mixed-Integer Nonlinear Programming and Long Term Optimization of Electric Power Systems.
Algorithms for Stochastic Mixed-Integer Nonlinear Programming and Long Term Optimization of Electric Power Systems.
Li, Can.Chemical Engineering. | Carnegie Mellon University. | 2021
프린트
18
Theoretical and Practical Advances in Computational Social Choice and Crowdsourcing.
Theoretical and Practical Advances in Computational Social Choice and Crowdsourcing.
Yoo, Yeawon.Industrial Engineering. | Arizona State University. | 2021
프린트
19
Enhancing Power System Resilience through Computational Optimization
Enhancing Power System Resilience through Computational Optimization
Patsakis, Georgios. | University of California, Berkeley | 2020
프린트
20
Discrete optimization
Discrete optimization
Aardal, K. | Elsevier | 2005
프린트
처음이전12마지막