Physical Sciences and Mathematics Commons^™

Implementation Of Uniform Interpolationalgorithms, Jose A. Castellanos Joo

Computer Science ETDs

This thesis discusses algorithms for the uniform interpolation problem and presents their implementation for the following theories: (quantifier-free) equality with uninterpreted functions (EUF), unit two-variable per inequality (UTVPI), and theoretic aspects for the combination of the two previous theories. The uniform interpolation algorithms implemented in this thesis were originally proposed in \cite{KAPUR2017}. Refutational proof-based solutions are the usual approach of many interpolation algorithms \cite{10.1007/978-3-642-00768-2_34, mcmillan2011interpolants, 10.1007/978-3-540-24730-2_2}. The approach taken in \cite{KAPUR2017} relies on quantifier-elimination heuristics to construct a uniform interpolant using one of the two formulas involved in the interpolation problem. The latter makes it possible to study the complexity …

Learning The Chain Fountain In Steady State Motion, Mark Ddamulira

Honor’s College Freeman Research Journal

A chain of metallic balls or spheres leaps over and above the rim of a container in which it rests tracing a path like a fountain when one end of the chain is given a push towards the ground. This interesting phenomenon was discovered by Steve Mould to describe at atomic level what happens to the molecules in a self-siphoning fluid. However, to his surprise, the chain of beads did not flow over the rim of the container as the self-siphoning fluid did.

But why does this chain do this and what forces cause this fountain? Propositions for the origin …

Sediment Phosphorus Release At Lake Fayetteville, Summer 2020, Brian E. Haggard, Abbie L. Lasater, Morgan B. Dulin, Bradley J. Austin

Technical Reports

The purpose of this project was to evaluate the release of dissolved phosphorus (P) from bottom sediment at Lake Fayetteville, and the potential use of aluminum sulfate (Al2(SO4)3) to remediate the P stored and released by bottom sediments. Intact sediment cores (n=18) were taken at three locations, named inlet, mid and dam sites at Lake Fayetteville. The cores were incubated with 1 L of overlying water with light excluded and bubbled with air (half, aerobic treatment) and N2 (other half, anaerobic). Water samples were pulled and analyzed for soluble reactive P (SRP), and that water was replaced with filtered lake …

Joint Spacing In The Caples Lake Granodiorite Of The Sierra Nevada Batholith In Eldorado National Forest, California: A Comparative Analysis Of Joint Sets And Data Resolution, Jimmy Wood

Theses/Capstones/Creative Projects

Joints are the most common deformation structure in the Earth’s upper crust and exert a significant influence on structural stability, landscape morphology, and fluid flow . Therefore, a greater understanding of fracture parameters (e.g., length, aperture, etc.) allows us to more accurately predict their presence, persistence, and prevalence, in the subsurface . We study the fracture spacing of two sub-orthogonal joint sets—66 NE-246 SW and 330 NW-150 SE—in the Caples Lake granodiorite of the Sierra Nevada Batholith, California. Specifically, we investigate 1) their spacing distributions with a keen interest in power-law (fractal) spacing, 2) distribution comparisons between master and cross …

The Impact Of Service-Learning On General Chemistry Ii Students At The University Of Nebraska At Omaha, Kayla Rud

Theses/Capstones/Creative Projects

Service-learning has been shown to enhance academic and leadership skills while promoting community engagement and exposing students to different career opportunities (Esson et al., 2005). While the benefits of service-learning courses are clear, few STEM courses include service-learning components (Esson et al., 2005). Here, students in a totally online 2nd semester UNO chemistry course completed a service-learning project where they remotely led a live, inquiry-based STEM activity for Girl Scouts. To quantify the impact of service-learning on professional development, future career plans, and future volunteerism, a series of pre and post surveys were administered. Paired-sample t-tests revealed a statistically significant …

Visual Analysis Of Historical Lessons Learned During Exercises For The United States Air Force Europe (Usafe), Samantha O'Rourke

Theses/Capstones/Creative Projects

Within the United States Air Force, there are repeated patterns of differences observed during exercises. After an exercise is completed, forms are filled out detailing observations, successes, and recommendations seen throughout the exercise. At the most, no two reports are identical and must be analyzed by personnel and then categorized based on common themes observed. Developing a computer application will greatly reduce the time and resources used to analyze each After Action Report. This application can visually represent these observations and optimize the effectiveness of these exercises. The visualization is done through graphs displaying the frequency of observations and recommendations. …

Investigation Of G Protein-Coupled Receptor Quaternary Structure Through Fluorescence Micro-Spectroscopy And Theoretical Modeling: Interdependence Between Receptor-Receptor And Receptor-Ligand Interactions, Joel David Paprocki

Theses and Dissertations

Proteins are of high interest in biophysics research due to the important roles they play within cells, such as sensing of chemical (ions and small molecules) and physical (e.g., light) stimuli, providing structure, transporting ions/molecules, signaling, and intercellular communication. The studies described in this dissertation focus on a particular type of membrane proteins known as G protein-coupled receptors (GPCR), which play a key role in cellular response to external stimuli. We used the sterile 2 α-factor mating pheromone receptor (Ste2), a prototypical class D GPCR present within Saccharomyces cerevisiae (baker’s yeast). Ste2 is responsible for initiating the second messenger signal …

Wound Image Classification Using Deep Convolutional Neural Networks, Behrouz Rostami

Theses and Dissertations

Artificial Intelligence (AI) includes subfields like Machine Learning (ML) and DeepLearning (DL) and discusses intelligent systems that mimic human behaviors. ML has been used in a wide range of fields. Particularly in the healthcare domain, medical images often need to be carefully processed via such operations as classification and segmentation. Unlike traditional ML methods, DL algorithms are based on deep neural networks that are trained on a large amount of labeled data to extract features without human intervention. DL algorithms have become popular and powerful in classifying and segmenting medical images in recent years. In this thesis, we shall study …

Section 7: The Future Of The Salish Sea? A Call To Action, Ginny Broadhurst, Natalie Baloy, Kathryn L. Sobocinski

Institute Publications

Section 7 provides perspective from the Salish Sea Institute, acknowledging that science alone will not resolve continuing problems or emerging issues. Stronger policies along with education, leadership, and collaboration are needed.

Section 2: Context, Kathryn L. Sobocinski

Institute Publications

Section 2 sets a foundation for understanding the Salish Sea ecosystem by describing its fundamental biophysical processes and structure, including estuarine circulation, ecological productivity, and an overview of several important biogenic habitats.

Section 3: Urbanization And Human Impacts To The Seascape, Kathryn L. Sobocinski

Institute Publications

Section 3 turns to an in-depth discussion of stressors and impacts to the ecosystem from population growth and urbanization, such as increases in impervious surfaces, hardening of shorelines, and the problems caused by a myriad of marine contaminants.

Section 4: Climate Change: A Global Problem With Local Impacts, Kathryn L. Sobocinski

Institute Publications

Section 4 shifts from the local impacts of urbanization to the locally realized impacts of global climate change, including ocean acidification and sea level rise, followed by evidence of climate change in the ecosystem, ranging from phytoplankton and kelp, to wetlands, salmon, and marine birds.

Vignette 02: Lower Trophic Levels In The Salish Sea, Ian Perry

Institute Publications

Plankton form the base of the pelagic marine food web in the Salish Sea, and are eaten by fishes, marine mammals, and seabirds. Plankton include microscopic plants (phytoplankton) and very small animals (zooplankton). This vignette presents an overview of monitoring observations of phytoplankton and zooplankton distribution and biomass in the Strait of Georgia. Climate change may lead to unusual and unexpected patterns of phytoplankton and zooplankton in the future.

Section 6: Opportunities For Improving Assessment And Understanding Of The Salish Sea, Kathryn L. Sobocinski

Institute Publications

Section 6 offers a list of science-based needs and opportunities brought to light by the report and various existing efforts within the Salish Sea science community, representing opportunities for greater collaboration across geographic and jurisdictional boundaries.

Vignette 06: Living Shorelines In Puget Sound, Jason Toft

Institute Publications

Nearly one third of Puget Sound’s shorelines are armored (e.g., seawall, bulkhead, riprap). Armoring has documented negative impacts on the flora and fauna that benefit from healthy intertidal beaches. Although shoreline armor may be necessary in some cases to protect people and property, there are often promising “living shoreline” options to restore natural features, also referred to as soft or green shorelines. These options can be applied to situations where complete restoration is either impractical or not feasible given human constraints. Living shoreline techniques often include a mix of design options, including armor removal, sediment nourishment of beaches, log placement, …

Vignette 09: Derelict Fishing Gear, Jason Morgan

Institute Publications

Derelict fishing gear—nets, pots, and other gear lost during fishing operations or vessel transit—has been implicated in several aspects of degradation in the Salish Sea. Derelict gear can degrade marine habitats by scouring or preventing habitat access through accumulation of gear or by fundamentally altering habitats by trapping fine sediments and changing the substrate. Derelict gear has also been implicated in the deaths of countless fish, marine mammals, seabirds, and invertebrates in the Salish Sea. The issue of derelict fishing gear affects all reaches of the Salish Sea, albeit on different scales, and the Northwest Straits Initiative has provided its …

Vignette 18: Bellingham Bay, Legacy Contamination Under Repair, Olivia Klein

Institute Publications

Bellingham Bay, home to twelve designated hazardous waste cleanup sites, illustrates the harm of past practices as well as the effectiveness of cleanup efforts. Since 2000, the Bellingham Bay cleanup has focused on the removal of contaminated sediment and soils introduced from a wide variety of sources, including construction and other industrial and municipal activities. Bellingham Bay cleanup is managed by the Washington State Department of Ecology (under the authority of Washington State’s Model Toxic Control Act) in coordination with a multi- agency Bellingham Bay Action Team.

Vignette 19: Invasive European Green Crab, Jeff Adams, Emily Grason, P. Sean Mcdonald, Allen Pleus, Jude Apple, Roger Fuller, Lucas Hart, Alexandra Simpson

Institute Publications

European green crab pose documented threats to cultured and wild shellfish, eelgrass, and shoreline habitats and ecosystems. Because they can prey on juvenile crabs and shellfish, dense populations of EGC in the Salish Sea region could put fisheries and aquaculture resources in peril. After Fisheries and Oceans Canada researchers reported an established EGC population in Sooke Basin, BC in 2012, the Washington Department of Fish and Wildlife (WDFW) worked with Washington Sea Grant (WSG) to secure Puget Sound Marine and Nearshore Grant Program funding and establish a volunteer-based early detection and monitoring program. WSG launched Crab Team in 2015 with …

Vignette 22: Sense Of Place, David J. Trimbach

Institute Publications

Sense of place refers to peoples’ bonds and meanings associated with place. Sense of place tends to include: place attachment (bond or connection to place); place dependence (reliance on place for need or goal achievement); place identity (identification with place); and place meaning (descriptions or imagery that define a place). Sense of place is subjective, yet patterned, providing researchers with the ability to assess shared connections, understandings, meanings, and the potential to predict behaviors or perceptions. Sense of place is recognized as integral to ecosystem health and recovery. Sense of place can be understood, if not harnessed to address ecosystem …

Vignette 23: Indigenous Management Systems Can Promote More Sustainable Salmon Fisheries In The Salish Sea, William I. Atlas, Natalie C. Ban, Jonathan W. Moore, Adrian M. Tuohy, Spencer Greening, Andrea J. Reid, Nicole Morven, Elroy White, William G. Housty, Jess A. Housty, Christina N. Service, Larry Greba, Sam Harrison, Katherine Ir Butts, Elissa Sweeney-Bergen, Donna Macintyre, Matthew R. Sloat, Katrina Connors

Institute Publications

Indigenous peoples of the Northern Pacific Rim have harvested salmon for more than 10,000 years, and Pacific salmon (Oncorhynchus spp.) form the foundation of social-ecological systems encompassing communities from California to Kamchatka and Northern Japan. Through continuous placed-based interdependence with salmon, Indigenous societies formed deliberate and well-honed systems of salmon management. These systems promoted the sustained productivity of salmon fisheries. In Canada and the United States, Indigenous sovereignty and resource stewardship were forcibly disrupted by colonial government authority. Despite the destructive impacts of colonization, Indigenous culture and knowledge are resurgent in Canada and the United States. Indigenous fishing technologies and …

Randomized Tax Deadlines Can Help Economy, Julio C. Urenda, Olga Kosheleva

Departmental Technical Reports (CS)

Purpose: While the main purpose of reporting -- e.g., reporting for taxes -- is to gauge the economic state of a company, the fact that reporting is done at pre-determined dates distorts the reporting results. For example, to create a larger impression of their productivity, companies fire temporary workers before the reporting date and re-hire then right away. The purpose of this study is to decide how to avoid such distortion.

Design/methodology/approach: We want to make our solution applicable for all possible reasonable optimality criteria. Thus, we use a general formalism for describing and analyzing all such criteria.

Findings: We …

Five Revolutionary Ideas In The 1950s-70s Science: 90th Birthday Of Revolt Pimenov, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

This year, Revolt Pimenov, a philosophical thinker whose main ideas were in geometry of space-time, would have turned 90. In this essay, we explain how in the 1950s-70s, when he was most productive, his were two of the five natural and important revolutionary scientific ideas -- along with fuzzy logic, constructive mathematics, and scalar-tensor theory of gravitation, ideas that, in our opinions, still have potential to change the world.

A New Family Of Bivariate Exponential Distributions With Negative Dependence Based On Counter-Monotonic Shock Method, Rachid Bentoumi, Farid El Ktaibi, Mhamed Mesfioui

All Works

We introduce a new family of bivariate exponential distributions based on the counter-monotonic shock model. This family of distribution is easy to simulate and includes the Fréchet lower bound, which allows to span all degrees of negative dependence. The construction and distributional properties of the proposed bivariate distribution are presented along with an estimation of the parameters involved in our model based on the method of moments. A simulation study is carried out to evaluate the performance of the suggested estimators. An extension to the general model describing both negative and positive dependence is sketched in the last section of …

Cross-Modal Food Retrieval: Learning A Joint Embedding Of Food Images And Recipes With Semantic Consistency And Attention Mechanism;, Hao Wang, Doyen Sahoo, Chenghao Liu, Ke Shu, Achananuparp Palakorn, Ee Peng Lim, Steven Hoi

Research Collection School Of Computing and Information Systems

Food retrieval is an important task to perform analysis of food-related information, where we are interested in retrieving relevant information about the queried food item such as ingredients, cooking instructions, etc. In this paper, we investigate cross-modal retrieval between food images and cooking recipes. The goal is to learn an embedding of images and recipes in a common feature space, such that the corresponding image-recipe embeddings lie close to one another. Two major challenges in addressing this problem are 1) large intra-variance and small inter-variance across cross-modal food data; and 2) difficulties in obtaining discriminative recipe representations. To address these …

The Synthesis Of Photoswitchable Triptan Derivatives, Chelsea Sainsbury

Honors College

Serotonin has various functions throughout the body and directly effects many neurological diseases/disorders, like depression, that are linked to the dysregulation of serotonin. Triptans are indole containing drugs that bind to a subset of serotonin receptors (5-HT1Band 5-HT1D) and are used to treat migraines. In this project, the synthesis of anindole intermediate is attempted. Ideally, an azobenzene would have been added to the 5th position (replacing the primary amine). Azobenzenes are compounds composed of 2 benzene rings connected by a nitrogen-nitrogen double bond that can switch between cis and trans conformations by absorbing different wavelengths of light. The transformation of …

Spatio-Temporal Modeling Of Crime In Chicago, Illinois, Shelby Scott

Doctoral Dissertations

Gun crime is a major public health concern in the United States. In Chicago, Illinois, gun crime incurs a significant cost of life along with monetary costs and community unrest. Due to past legislation, there is limited research applying quantitative methods to gun crime in Chicago. The overall purpose of this work is to create a cellular automata model to observe and project the epidemic spread of gun crime in Chicago. To create that model, t-test analyses of temporal patterns, a Bayesian point process model, a negative binomial Bayesian subset selection, and a k-selection algorithm are used. The cellular automata …

Seasonal Differences In The Impacts Of Ipo And Amo On Temperature And Precipitation Over South America, Thomas Favata

Legacy Theses & Dissertations (2009 - 2024)

The Atlantic Multidecadal Oscillation (AMO) and Interdecadal Pacific Oscillation (IPO) have been shown to impact temperature and precipitation across the globe. However, the seasonal differences in their impacts are not well studied. This study analyzes the seasonal differences in the impacts of the AMO and IPO on South American temperature and precipitation. Observational and reanalysis data with enough temporal coverage to isolate the multidecadal modes were used first to identify the regions impacted by the AMO and IPO through a correlation analysis. Then Empirical Orthogonal Functions (EOF) and a Maximum Covariance Analysis (MCA) were used to determine the seasonal spatial …

Braided Brin-Thompson Groups, Robert Spahn

Legacy Theses & Dissertations (2009 - 2024)

We construct braided versions of the Brin-Thompson groups and prove that they are of type F infinity. The proof involves showing that the matching complexes of colored arcs on surfaces are highly connected. In order to do so we develop the tools and definitions from algebraic topology and group theory, including results about some other Thompson-like groups. The main result, and the thesis as a whole, provides an infinite family of braided relatives of Thompson groups that are all of type F infinity.

Gravel Geology And Muskoxen Paleontology Of A Late Pleistocene Fossil Site In Saltville, Virginia, Nickolas A. Brand

Electronic Theses and Dissertations

Two distinct studies within the Saltville Valley of southwestern Virginia revealed insights into local Pleistocene geology and paleontology. A variety of analytical techniques were applied to gravel deposits within the paleontological site of SV-5/7 that revealed this unit is very poorly sorted, has a subangular matrix, and contains significant components of silt and sand in addition to rounded cobbles. These results suggest that rather than being deposited by fluvial processes as previously suggested, these gravels were likely the result of one or many debris flows. Additionally, the identity of fossil muskoxen from Saltville was reassessed using cranial and dental material. …

Zeta Function Regularization And Its Relationship To Number Theory, Stephen Wang

Electronic Theses and Dissertations

While the "path integral" formulation of quantum mechanics is both highly intuitive and far reaching, the path integrals themselves often fail to converge in the usual sense. Richard Feynman developed regularization as a solution, such that regularized path integrals could be calculated and analyzed within a strictly physics context. Over the past 50 years, mathematicians and physicists have retroactively introduced schemes for achieving mathematical rigor in the study and application of regularized path integrals. One such scheme was introduced in 2007 by the mathematicians Klaus Kirsten and Paul Loya. In this thesis, we reproduce the Kirsten and Loya approach to …