1 - 25 of 11
| 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 |
 |
Redman, Simon | Critical Reroute | Due to network failure, underprovisioning, or temporary unanticipated increases in traffic, networks may become overloaded. In such situations, it may be desirable to prioritize some traffic flows over others, such as for public safety applications or priority customers. Solutions such as priority q... | 2018 | |
| 3 |
 |
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 | |
| 4 |
 |
Zhang, Conan | Fund Raising Game Development Through Crowdfunding | This paper seeks to formally review and evaluate a Kickstarter campaign launched by a team of five students at the University of Utah. First, an introduction to the topic and its environment is outlined to clarify where the project came from. Next, an overview of the product's design and development... | 2017 | |
| 5 |
 |
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 | |
| 6 |
 |
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 | |
| 7 |
 |
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 | |
| 8 |
 |
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 | |
| 9 |
 |
Blackburn, Alexander | Replicating Musical Style: Data-Driven Algorithmic Melody Composition | This thesis describes a novel technique to algorithmic composition which combines two data structures-an N-gram language model and an association network-with a user friendly interface meant for music producers. The MelodySmith is a music composition tool which incorporates this logic into a product... | 2018 | |
| 10 |
 |
Anderson, Sheyne | Sinap types a run-time language for data-description | Sinap IDE is an editor for graph-based programming languages (as distinct from textbased). To facilitate versatility in Sinap IDE it was necessary to design a language (Sinap's Type System) to generically describe families of well-formed cyclic data structures. This language can be used to maintain ... | 2017 | |
| 11 |
 |
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 11