Honors Theses Open Access
 
Filters: Department: "Computing" Collection: "ir_htoa"
1 - 25 of 18
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Potter, HannahLifting Coach: Using Machine Learning to Battle Musculoskeletal DamageMany 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
2 Zhang, ConanFund Raising Game Development Through CrowdfundingThis 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
3 Sunkaraneni, TarunTransformer-Based Observers in PsychotherapyMotivational 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
4 Sivo, JacobAgile in the Wild - An in-Depth look into EAE Student Development PracticeThere 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
5 Machado, LiamExtending Support for Floating-Points in the Boogie and Smack Software VerifiersSoftware 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
6 Van der Merwe, MarkLearning 3D Reconstructions for Geometrically aware Robotic GraspingRobotic 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
7 Nelson, JenniferPartial-Order Ambiguous Observations of Fluents and Actions for Goal Recognition as PlanningThis 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, JiahuiPractical and Configurable Network Traffic Classification using Probabilistic Machine LearningNetwork 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 Redman, SimonCritical RerouteDue 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
10 Blackburn, AlexanderReplicating Musical Style: Data-Driven Algorithmic Melody CompositionThis 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
11 Anderson, SheyneSinap types a run-time language for data-descriptionSinap 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
12 Yehle, TobinMemoized parsing with derivativesDue to the computational complexity of parsing, constituent parsing is not preferred for tasks involving large corpora. However, the high similarity between sentences in natural language suggests that it is not necessary to pay the full computational price for each new sentence. In this work we p...Parsing (Computer grammar)2016-04
13 Bracken, KallieDefining learning: mystifying machine learning as a powerful tool in a data-driven worldUntil recently, the driving paradigm in software engineering has been to design applications for a predefined set of tasks. This approach, however, is quickly being dwarfed by data-driven applications which are designed to use knowledge and understanding to decide how they can best fulfill use...Machine learning - Case studies; Machine learning - Study and Teaching; Machine Learning - Technique2016-04
14 Delacenserie, JessicaUtilizing classroom technology to strengthen elementary educationThere is a disconnect in the current education system where there is an abundance of technology accessible to students but it is not being used in a way that enhances their education. The majority of software currently used in primary schools simply transfers books, homework assignments, etc. to mob...Education, Elementary; Computer-assisted instruction; Education - Effect of technological innovations on2016-05
15 Goller, NicholasIterative game development: What goes into making an effective game and the lessons learned from making two gamesImagine you are told you have two semesters to make a game. You have a team of over ten people ready to help out. You even have the basic idea of what the game will be about. How hard can it be? Well, it is not that hard to make "a game" in two semesters. A competent coder can hack together a game...Computer games - Design2016-04
16 Herbert-Voss, ArielGenerating audio mixtures using deep convolutional neural networksDeep neural networks have recently been used in a generative capacity to separate and convolve the content and style of two input images. This is done using a joint cost function during gradient descent that encodes information about style and content to iteratively calculate forward node activation...Computer sound processing; Computer music; Machine learning; Neural networks; Audio mixtures; Spectrograms; Split integer scaling2016-05
17 Eccles, Patrick NolanThe Cabal reflection: A post mortem of an entertainment arts and engineering capstone projectThis document will serve as Patrick Eccles' Honors Thesis at the University of Utah and will reflect upon the process and result of his and his team members' senior project within the Entertainment Arts and Engineering program: the 3D Puzzle Platformer A Divided Light . On the senior project team, P...Computer games - Design; Cabal Process2015-08
18 Meier, John E.An evaluation of the quality of contemporary ray tracing methods on architectural materialsPredictive computer graphics can be used to visualize the appearance of an object or scene from a virtual design. A seminal experiment in that field was performed in 1984 to evaluate the perceptual quality of computer graphics images with a physical model of the scene. The original study was limited...Ray tracing algorithms2009-05
1 - 25 of 18