Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 | Sacharny, David | A lane-based approach to large-scale unmanned aircraft systems traffic management | Robotics | 2022 | dissertation | |
2 | He, Shaobo | Improving automation and scalability of rigorous program reasoning | 2019 | dissertation | ||
3 | Tran, Deim-Trang Thi | Normalization RNA-SEQ towards the improvement of Gene expression signatures | 2022 | dissertation |