21 |
|
Policy-Based Planning for Robust Robot Navigation
가야대학교 대출불가(별치)
|
Goeddel, Robert T.
|
University of Michigan. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
22 |
|
Practical Verification of Safety-Critical Systems
가야대학교 대출불가(별치)
|
Pernsteiner, Stuart.
|
University of Washington. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
23 |
|
Pushing the Limits of Compiler Verification
가야대학교 대출불가(별치)
|
Mullen, Eric.
|
University of Washington. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
24 |
|
Query-Driven Analysis and Visualization for Large-Scale Scientific Dataset using Geometry Summarization and Bitmap Indexing
가야대학교 대출불가(별치)
|
Wei, Tzu-Hsuan.
|
The Ohio State University. : ProQuest Dissertations & Theses
|
004
|
2017
|
|
|
25 |
|
Robust and Scalable Algorithms for Bayesian Nonparametric Machine Learning
가야대학교 대출불가(별치)
|
Roychowdhury, Anirban.
|
The Ohio State University. : ProQuest Dissertations & Theses
|
004
|
2017
|
|
|
26 |
|
Security in Software Defined Networking an Analysis of New Attack and Defense Vectors
가야대학교 대출불가(별치)
|
Achleitner, Stefan.
|
The Pennsylvania State University. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
27 |
|
Selecting and Generating Computational Meaning Representations for Short Texts
가야대학교 대출불가(별치)
|
Finegan-Dollak, Catherine.
|
University of Michigan. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
28 |
|
Self-Powered Internet-of-Things Nonvolatile Processor and System Exploration and Optimization
가야대학교 대출불가(별치)
|
Ma, Kaisheng.
|
The Pennsylvania State University. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|