Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Artificial Intelligence (2)
- Deep Learning (2)
- Machine Learning (2)
- ACL2 (1)
- ADCIRC (1)
-
- Activity Monitoring (1)
- Basketball (1)
- Brown Laboratory Rat (1)
- Clandestine Remains (1)
- Computational Neuroscience (1)
- Computer Vision (1)
- Convolutional Neural Network (1)
- Daily Fantasy Basketball (1)
- Deconvolution (1)
- Deep-Learning (1)
- Diamond Dye (1)
- Evolutionary Algorithms (1)
- Fluorescence (1)
- Formal Methods (1)
- GEBCO (1)
- Genetic Search (1)
- Hierarchy (1)
- Hurricanes (1)
- IPhone (1)
- Image Classification (1)
- Interference (1)
- Latent Diffusion Models (1)
- MARIS (1)
- Memory Capacity (1)
- Microscopy (1)
Articles 1 - 11 of 11
Full-Text Articles in Physical Sciences and Mathematics
Foundations Of Memory Capacity In Models Of Neural Cognition, Chandradeep Chowdhury
Foundations Of Memory Capacity In Models Of Neural Cognition, Chandradeep Chowdhury
Master's Theses
A central problem in neuroscience is to understand how memories are formed as a result of the activities of neurons. Valiant’s neuroidal model attempted to address this question by modeling the brain as a random graph and memories as subgraphs within that graph. However the question of memory capacity within that model has not been explored: how many memories can the brain hold? Valiant introduced the concept of interference between memories as the defining factor for capacity; excessive interference signals the model has reached capacity. Since then, exploration of capacity has been limited, but recent investigations have delved into the …
Smartphone Based Object Detection For Shark Spotting, Darrick W. Oliver
Smartphone Based Object Detection For Shark Spotting, Darrick W. Oliver
Master's Theses
Given concern over shark attacks in coastal regions, the recent use of unmanned aerial vehicles (UAVs), or drones, has increased to ensure the safety of beachgoers. However, much of city officials' process remains manual, with drone operation and review of footage still playing a significant role. In pursuit of a more automated solution, researchers have turned to the usage of neural networks to perform detection of sharks and other marine life. For on-device solutions, this has historically required assembling individual hardware components to form an embedded system to utilize the machine learning model. This means that the camera, neural processing …
An Empirical Evaluation Of Neural Process Meta-Learners For Financial Forecasting, Kevin G. Patel
An Empirical Evaluation Of Neural Process Meta-Learners For Financial Forecasting, Kevin G. Patel
Master's Theses
Challenges of financial forecasting, such as a dearth of independent samples and non- stationary underlying process, limit the relevance of conventional machine learning towards financial forecasting. Meta-learning approaches alleviate some of these is- sues by allowing the model to generalize across unrelated or loosely related tasks with few observations per task. The neural process family achieves this by con- ditioning forecasts based on a supplied context set at test time. Despite promise, meta-learning approaches remain underutilized in finance. To our knowledge, ours is the first application of neural processes to realized volatility (RV) forecasting and financial forecasting in general.
We …
Predicting Location And Training Effectiveness (Plate), Erik Rolf Bruenner
Predicting Location And Training Effectiveness (Plate), Erik Rolf Bruenner
Master's Theses
Abstract Predicting Location and Training Effectiveness (PLATE)
Erik Bruenner
Physical activity and exercise have been shown to have an enormous impact on many areas of human health and can reduce the risk of many chronic diseases. In order to better understand how exercise may affect the body, current kinesiology studies are designed to track human movements over large intervals of time. Procedures used in these studies provide a way for researchers to quantify an individual’s activity level over time, along with tracking various types of activities that individuals may engage in. Movement data of research subjects is often collected through …
A Novel Approach To Extending Music Using Latent Diffusion, Keon Roohparvar, Franz J. Kurfess
A Novel Approach To Extending Music Using Latent Diffusion, Keon Roohparvar, Franz J. Kurfess
Master's Theses
Using deep learning to synthetically generate music is a research domain that has gained more attention from the public in the past few years. A subproblem of music generation is music extension, or the task of taking existing music and extending it. This work proposes the Continuer Pipeline, a novel technique that uses deep learning to take music and extend it in 5 second increments. It does this by treating the musical generation process as an image generation problem; we utilize latent diffusion models (LDMs) to generate spectrograms, which are image representations of music. The Continuer Pipeline is able to …
Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson
Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson
Master's Theses
Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …
Understanding The Impacts Of Topobathymetric Data On Storm Surge Model Predictions, Sydni Crain
Understanding The Impacts Of Topobathymetric Data On Storm Surge Model Predictions, Sydni Crain
Master's Theses
The topobathymetric characteristics of a region are regularly altered by natural and anthropogenic causes. This directly impacts the resulting storm surge during a hurricane. The primary goal of this research was to gain a better understanding of the impact that topography and bathymetry have on storm surge models, particularly the Advanced Circulation (ADCIRC) Model. Hurricane Zeta (2020) and Hurricane Ida (2021) were chosen as case studies; therefore, the Gulf of Mexico (GOM) was chosen as the study site. This research was completed by comparing ADCIRC storm surge results which were based on older, lower-resolution data with results derived from more …
Rattus Norvegicus As A Biological Detector Of Clandestine Remains And The Use Of Ultrasonic Vocalizations As A Locating Mechanism, Gabrielle M. Johnston
Rattus Norvegicus As A Biological Detector Of Clandestine Remains And The Use Of Ultrasonic Vocalizations As A Locating Mechanism, Gabrielle M. Johnston
Master's Theses
In investigations, locating missing persons and clandestine remains are imperative. One way that first responder and police agencies can search for the remains is by using cadaver dogs as biological detectors. Cadaver dogs are typically used due to their olfactory sensitivity and ability to detect low concentrations of volatile organic compounds produced by biological remains. Cadaver dogs are typically chosen for their stamina, agility, and olfactory sensitivity. However, what is not taken into account often is the size of the animal and the expense of maintaining and training the animal. Cadaver dogs are typically large breeds that cannot fit in …
Trace Dna Detection Using Diamond Dye: A Recovery Technique To Yield More Dna, Leah Davis
Trace Dna Detection Using Diamond Dye: A Recovery Technique To Yield More Dna, Leah Davis
Master's Theses
This study aspires to find a new screening approach to trace DNA recovery techniques to yield a higher quantity of trace DNA from larger items of evidence. It takes the path of visualizing trace DNA on items of evidence with potential DNA so analysts can swab a more localized area rather than attempting to recover trace DNA through the general swabbing technique currently used for trace DNA recovery. The first and second parts consisted of observing trace DNA interaction with Diamond Dye on porous and non-porous surfaces.
The third part involved applying the Diamond Dye solution by spraying it onto …
Psf Sampling In Fluorescence Image Deconvolution, Eric A. Inman
Psf Sampling In Fluorescence Image Deconvolution, Eric A. Inman
Master's Theses
All microscope imaging is largely affected by inherent resolution limitations because of out-of-focus light and diffraction effects. The traditional approach to restoring the image resolution is to use a deconvolution algorithm to “invert” the effect of convolving the volume with the point spread function. However, these algorithms fall short in several areas such as noise amplification and stopping criterion. In this paper, we try to reconstruct an explicit volumetric representation of the fluorescence density in the sample and fit a neural network to the target z-stack to properly minimize a reconstruction cost function for an optimal result. Additionally, we do …
Modeling Daily Fantasy Basketball, Martin Jiang
Modeling Daily Fantasy Basketball, Martin Jiang
Master's Theses
Daily fantasy basketball presents interesting problems to researchers due to the extensive amounts of data that needs to be explored when trying to predict player performance. A large amount of this data can be noisy due to the variance within the sport of basketball. Because of this, a high degree of skill is required to consistently win in daily fantasy basketball contests. On any given day, users are challenged to predict how players will perform and create a lineup of the eight best players under fixed salary and positional requirements. In this thesis, we present a tool to assist daily …