| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 26 |
 |
Disjunctive normal shape models for image segmentation and tracking | 2018 | Text | ir_etd |
| 27 |
 |
Continuous-time optimization of power systems operation | 2019 | Text | ir_etd |
| 28 |
 |
Computational diffractive optics for imaging and nonimaging applications | 2016 | Text | ir_etd |
| 29 |
 |
Word-level abstractions for sequential design verification using algebraic geometry | 2017 | Text | ir_etd |