1 - 25 of 7
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Sivo, Jacob | Agile in the Wild - An in-Depth look into EAE Student Development Practice | There have been works produced on Agile techniques and their e#11;ectiveness in terms of both actual project progress as well as human factors, especially in industry. There are many training programs that companies enroll their employees in, such as ASPE. In these training programs, individuals are... | 2019 | |
| 2 |
 |
Machado, Liam | Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | Software veri#12;cation, which aims to prove critical properties about programs using rigorous formal methods based on logic, is an active area of research in the #12;eld of computer science. In particular, the veri#12;cation of oating-points is a topic of paramount importance, given their ubiquity... | 2019 | |
| 3 |
 |
Van der Merwe, Mark | Learning 3D Reconstructions for Geometrically aware Robotic Grasping | Robotic grasping is a crucial subtask of many important robotic applications, such as in-home robotic assistance, emergency responce robots, and industrial robotics. Deep learning has enabled remarkable improvements in robotic grasp synthesis for previously unseen objects from partial object views. ... | 2020 | |
| 4 |
 |
Potter, Hannah | Lifting Coach: Using Machine Learning to Battle Musculoskeletal Damage | Many manual laborers develop musculoskeletal disorders performing their work duties. The prevalence of these issues is concerning because of the negative effects on workers' health and well-being, the great cost to workers who are not able to work temporarily or permanently, and the great cost to co... | 2019 | |
| 5 |
 |
Nelson, Jennifer | Partial-Order Ambiguous Observations of Fluents and Actions for Goal Recognition as Planning | This work readies goal recognition for real-world scenarios by adapting a foundational compilation by Ram´ırez and Geffner to work with partial-order, ambiguous observations of both facts and actions. We first redefine what observations can be and what it means to satisfy them. We provide a compil... | 2020 | |
| 6 |
 |
Chen, Jiahui | Practical and Configurable Network Traffic Classification using Probabilistic Machine Learning | Network traffic classification that is generally applicable and highly accurate is extremely valuable for many network security and management tasks. A flexible and easily configurable classification framework is ideal so it can be customized for use in many different networks. In this thesis we pro... | 2020 | |
| 7 |
 |
Sunkaraneni, Tarun | Transformer-Based Observers in Psychotherapy | Motivational Interviewing is a style of psychotherapy which has shown success as a method for treating addiction and substance abuse problems. In recent years, Natural Language Processing (NLP) techniques have shown promising results in assisting Motivational Interviewing (MI) training and advancing... | 2020 |
1 - 25 of 7