Physical Sciences and Mathematics Commons^™

Towards Securing Smart Contracts Systematically, Duy Tai Nguyen

Dissertations and Theses Collection (Open Access)

Smart contracts are a groundbreaking technique that allows users to programmatically modify the state of the blockchain. They are essentially self-enforcing programs that are deployed and executed on top of the blockchain. In recent years, we have witnessed various smart contract incidents that led to substantial financial losses and even business closures. These incidents mainly arise from design flaws in Solidity, a dominant programming language for writing smart contracts, which complicates the process of detecting and repairing vulnerabilities. Furthermore, there is a growing interest in attacking smart contracts by the attackers. This thesis is dedicated to developing effective methods to …

Stereochemical Engineering Yields A Multifunctional Peptide Macrocycle Inhibitor Of Akt2 By Fine-Tuning Macrocycle-Cell Membrane Interactions, Arundhati Nag, Amirhossein Mafi, Samir Das, Mary Beth Yu, Belen Alvarez-Villalonga, Soo-Kyung Kim, Yapeng Su, William A. Goddard, James R. Heath

Chemistry

Macrocycle peptides are promising constructs for imaging and inhibiting extracellular, and cell membrane proteins, but their use for targeting intracellular proteins is typically limited by poor cell penetration. We report the development of a cell-penetrant high-affinity peptide ligand targeted to the phosphorylated Ser474 epitope of the (active) Akt2 kinase. This peptide can function as an allosteric inhibitor, an immunoprecipitation reagent, and a live cell immunohistochemical staining reagent. Two cell penetrant stereoisomers were prepared and shown to exhibit similar target binding affinities and hydrophobic character but 2-3-fold different rates of cell penetration. Experimental and computational studies resolved that the ligands’ difference …

Including The Human Dimension Into Resilience Planning For Maine’S Lobster Fishery, Katherine Maltby, Katherine E. Mills

Maine Policy Review

The American lobster fishery is one of the most valuable in the US but is being affected by climate-driven shifts in lobster availability, impacting people’s ability to harvest the resource and sparking broader adaptation challenges. Since the late 1990s, lobster landings in the Gulf of Maine (GOM) have climbed to record levels while those in Southern New England (SNE) have experienced significant declines. The experiences of SNE lobstermen during these declines can offer important lessons for both individual lobstermen and communities in the GOM, where lobster abundance is currently at high levels but facing future uncertainty given continuing climate trends. …

The Surprising Oceanography Of The Gulf Of Maine, Nicholas R. Record, Benjamin Tupper, Johnathan Evanilla, Kyle Oliveira, Camille Ross, Logan Ngai, Karen Stamieszkin

Maine Policy Review

The oceanography of the Gulf of Maine has changed in ways that have not been seen previously but that are likely to be more common in the future–changes like extreme rapid warming and declines in primary productivity. The changing oceanography has underpinned surprising losses in commercial stocks and endangered species. Because of the rapid rate of change, some have viewed the Gulf of Maine as a window into the ocean’s future, with the idea that lessons learned can be applied in places that have yet to experience similar rapid changes. We can examine the dynamics, origin, and implications of surprising …

Statically Scheduling Circular Remote Attribute Grammars, Seyedamirhossein Hesamian

Theses and Dissertations

Classical attribute grammars invented by Knuth have been the subject of extensive study. Over the years there have been various extensions introduced, each with the goal of making attribute grammar more useful for applications such as program analysis. The first extension described here is circular attribute grammar by Farrow. It is followed by remote attribute grammar, which was introduced separately by Boyland and Hedin. More recently, Hedin introduced circular remote attribute grammars and a proof of concept implementation with demand evaluation. Remote attribute grammars make it possible for semantic rules to access attributes of nodes that are not local, and …

Analysis Of Triton Cg 110 Foaming Characteristics For Use As A Potential Fire Suppressant, Addison Cobb, Jeremy Cho

Undergraduate Research Symposium Lightning Talks

Background: Per-FluoroAlkyls (PFAs) are incredibly stable molecules which do not biodegrade. These chemicals have been linked with a series of health issues and environmental problems.

Problem: PFAs have been identified in most drinking water supplies in the United States. Large Amounts of this is due to Aqueous Fire-Fighting Foams (AFFF’s), which contain PFAs, seeping into the groundwater supply.

Solution: While little can be done about PFAs currently in groundwater supplies, replacing PFA-based AFFFs with newer Eco-AFFFs can halt AFFF contamination, and maintain firefighting suppression.

Sensitive Capacitance Measurements Of The Quantum Hall Effect In Graphene, Vergil Schreiber, Justin Alvarez, Joshua Island

Undergraduate Research Symposium Podium Presentations

Research on how electrons respond to confinement holds potential for breakthroughs in quantum computing and more energy efficient electronics. In intense magnetic fields and near-zero temperatures, electrons in confined to 2D display unique quantum behaviors. These conditions quantize electron motion into circular orbits, resulting in discrete Landau energy levels.

Controls On Sediment Connectivity In Fluvial Networks Impacted By Wildfire Across Utah, Alec Arditti

All Graduate Theses and Dissertations, Fall 2023 to Present

Flooding and sedimentation caused by wildfire are among the greatest threats to watersheds, fish populations and reservoirs in the western US. Burned landscapes are at risk for increased runoff and erosion and have the potential to transport sediment that may put downstream resources at risk. The ability of the channel to transport sediment downstream, known as the connectivity, is important for determining where impacts may occur. Sediment bottlenecks are locations within the watershed where local conditions produce a persistent decrease in downstream connectivity of sediment, resulting in increased sediment deposition and potentially a substantial modification of the local channel and …

Private Ethereum Blockchain Implementation And Its Security Features For Smart Home Iot, Hasibul Grande Alam

Theses and Dissertations

The security and privacy of IoT devices have become primary concerns as smart home networks are connected to the internet. Ethereum blockchain can be a solution to mitigate or prevent attacks – sniffing attacks, malware attacks, Eavesdropping, and Distributed Denial of Services (DDoS) attacks. Deploying Ethereum in resource constraint IoT devices is challenging due to resultant energy consumption, computational overhead, and delay. We adopted smart home as a case study to examine our methodology as a model for general IoT applications. This thesis work presents the implementation of private Ethereum blockchain that is optimized and installable on smart home IoT. …

Intellibeehive, Christian Ivan Narcia-Macias

Theses and Dissertations

Utilizing computer vision and the latest technological advancements, in this study, we developed a honey bee monitoring system that aims to enhance our understanding of Colony Collapse Disorder, honey bee behavior, population decline, and overall hive health. The system is positioned at the hive entrance providing real-time data, enabling beekeepers to closely monitor the hive's activity and health through an account-based website. Using machine learning, our monitoring system can accurately track honey bees, monitor pollen-gathering activity, and detect Varroa mites, all without causing any disruption to the honey bees. Moreover, we have ensured that the development of this monitoring system …

A Combinatorial Proof Of Supercranks For Partitions With A Fixed Number Of Parts, Jacob J. Gutierrez

Theses and Dissertations

In a previous paper by Eichhorn and Kronholm, a selection of supercranks for p(n,m) was established by generating functions. In this paper we will reprove this result with combinatorial witnesses for the selection of supercranks via integer lattice points.

Attitudes Towards Mathematics Of Developmental Mathematics Students In A Community College, Benjamin Ortiz

Theses and Dissertations

Reformations to developmental mathematics aim to remove barriers for students entering higher education. Challenges like costly multi-course sequences and high failure rates prohibit students’ access to college-level math courses and prevent degree or certification completion. Understanding factors that foster student success is critical to increase student success. This study focuses on students’ attitudes towards mathematics, utilizing the novice-expert continuum through Code et al.’s Mathematical Attitude and Perceptions Survey (MAPS) instrument. Student expertise scores, including all MAPS dimensions and specific dimension scores, were assigned. Kruskal-Wallis Rank-Sum tests identified differences in student populations by course and attitude dimension. …

An Automatic Solver For Optimal Control Problems, Marcel Efren Benitez

Theses and Dissertations

Optimal control theory is a study that is used to find a control for a dynamical system over a period of time such that a objection function is optimized. In this study we will be looking at optimal control problems for ordinary differential equations or ODEs and see that we can use an automatic solver using the forward-backward sweep using Matlab to solve for them from an 1 dimension to bounded cases and to nth dimension cases.

Enhancing Indoors Robotic Traversability Estimation With Sensor Fusion, Christos Sevastopoulos

Computer Science and Engineering Dissertations

Generally speaking, traversability estimation illustrates the ability to navigate or move through a particular environment (indoors or outdoors). Indoor environments are governed by uncertainty and stochasticity arising from their complex structures encapsulating both static elements like furniture and walls, as well as entities such as moving humans. In our research, we underline the importance of blending semantic and spatial information for ensuring secure navigation for a mobile robot. We show that RGB sensors suffer from constrained situational awareness of the surroundings, thus highlighting the need to incorporate spatial and geometric data, which can collaborate synergistically to enhance overall perception and …

Prospects And Constraints For A Recreational Fishery On East Canyon Creek At The 910 Ranch, S. Bishop, A. Garner, G. Mclaughlin, T. Oman, N. Omer, C. Stewart

Watershed Sciences Student Research

Summit County Lands and Natural Resources has retained students from Utah State University’s Management and Restoration of Aquatic Ecosystems program to evaluate current conditions of East Canyon Creek (ECC) in the 910 Ranch and propose prospects, constraints, and potential actions to establish a recreational trout fishery.

Good Practices And Common Pitfalls In Climate Time Series Changepoint Techniques: A Review, Robert B. Lund, Claudie Beaulieu, Rebecca Killick, Qiqi Lu, Xueheng Shi

Department of Statistics: Faculty Publications

Climate changepoint (homogenization) methods abound today, with a myriad of techniques existing in both the climate and statistics literature. Unfortunately, the appropriate changepoint technique to use remains unclear to many. Further complicating issues, changepoint conclusions are not robust to perturbations in assumptions; for example, allowing for a trend or correlation in the series can drastically change changepoint conclusions. This paper is a review of the topic, with an emphasis on illuminating the models and techniques that allow the scientist to make reliable conclusions. Pitfalls to avoid are demonstrated via actual applications. The discourse begins by narrating the salient statistical features …

Temporal And Spectral Analysis Of 1es 2344+514 In Two Flaring States Observed By Veritas, Connor Poggemann

Physics

VERITAS observed the bright blazar 1ES 2344+514 during two flaring periods, one from Dec. 17 to Dec. 18, 2015 (MJD 57373-57374) with a peak flux of ~60% of the Crab and another from Nov. 28 to Dec. 3, 2021 (MJD 59546-59551) with a peak flux of ~20% of the Crab. This blazar, located at a redshift of z = 0.044, is classified as an extreme high-frequency-peaked BL Lacertae object (HBL). It is known to be variable, including several previous day-scale flares: Whipple on Dec. 20, 1995, VERITAS on Dec. 7, 2007, and MAGIC on Aug. 11, 2016. The VERITAS near-nightly …

Exposure To Climate Change Information Predicts Public Support For Solar Geoengineering In Singapore And The United States, Sonny Rosenthal, Peter J. Irvine, Christopher L. Cummings, Shirley S. Ho

Research Collection College of Integrative Studies

Solar geoengineering is a controversial climate policy measure that could lower global temperature by increasing the amount of light reflected by the Earth. As scientists and policymakers increasingly consider this idea, an understanding of the level and drivers of public support for its research and potential deployment will be key. This study focuses on the role of climate change information in public support for research and deployment of stratospheric aerosol injection (SAI) in Singapore (n = 503) and the United States (n = 505). Findings were consistent with the idea that exposure to information underlies support for research and deployment. …

Algorithm Selection Using Edge Ml And Case-Based Reasoning, Rahman Ali, Muhammad Sadiq Hassan Zada, Asad Masood Khatak, Jamil Hussain

All Works

In practical data mining, a wide range of classification algorithms is employed for prediction tasks. However, selecting the best algorithm poses a challenging task for machine learning practitioners and experts, primarily due to the inherent variability in the characteristics of classification problems, referred to as datasets, and the unpredictable performance of these algorithms. Dataset characteristics are quantified in terms of meta-features, while classifier performance is evaluated using various performance metrics. The assessment of classifiers through empirical methods across multiple classification datasets, while considering multiple performance metrics, presents a computationally expensive and time-consuming obstacle in the pursuit of selecting the optimal …

The Persuasive Effect Of Ai-Synthesized Voices, Hannah H. Chang, Anirban Mukherjee

Research Collection Lee Kong Chian School Of Business

Artificial intelligence (AI) technology seeks to emulate humans. One aspect is AI-synthesized voices, used in voice assistants (such as Amazon Alexa, Apple Siri, and Google Assistant) to assistive technologies (such as voiceover narration in product videos). For example, there are currently more than 3.25 billion voice assistants; a number that is expected to touch about 8 billion by next year (i.e., 2023) (Statista 2022). With the extensive availability and enhanced accuracy of AI-synthesized voices, consumer research is starting to examine the impact of AI-synthesized voices on consumer information processing and decision making. The extant literature, however, is relatively limited because …

Technical Maturity And Network Effects Of Xf Artificial Intelligence Open Platform, Tao Jiang

Dissertations and Theses Collection (Open Access)

Studying the impact mechanism of the commercial value of artificial intelligence open technology platforms has theoretical and practical significance. This article aims to enrich and expand the theoretical research on technology maturity, value co creation, and network effects on open technology platforms at home and abroad through empirical research on artificial intelligence open technology platforms and ecology. This study takes XF's open technology platform case as the research object, and based on technology maturity theory, value co creation, and network effects theory, examines the network effect value creation mechanism of open technology platforms driven by technology maturity in three development …

The Construction Of Khovanov Homology, Shiaohan Liu

Master's Theses

Knot theory is a rich topic in topology that studies the how circles can be embedded in Euclidean 3-space. One of the main questions in knot theory is how to distinguish between different types of knots efficiently. One way to approach this problem is to study knot invariants, which are properties of knots that do not change under a standard set of deformations. We give a brief overview of basic knot theory, and examine a specific knot invariant known as Khovanov homology. Khovanov homology is a homological invariant that refines the Jones polynomial, another knot invariant that assigns a Laurent …

Complex Dimensions Of 100 Different Sierpinski Carpet Modifications, Gregory Parker Leathrum

Master's Theses

We used Dr. M. L. Lapidus's Fractal Zeta Functions to analyze the complex fractal dimensions of 100 different modifications of the Sierpinski Carpet fractal construction. We will showcase the theorems that made calculations easier, as well as Desmos tools that helped in classifying the different fractals and computing their complex dimensions. We will also showcase all 100 of the Sierpinski Carpet modifications and their complex dimensions.

Costs Of Wind Erosion In The Northern Agricultural Region, Anne Bennett

Natural resources published reports

Summary

• To date, the Department of Primary Industries and Regional Development’s (DPIRD) estimated opportunity cost of wind erosion for Western Australia’s (WA) agricultural region has only included the costs of forgone production income and therefore underestimates the broader costs of wind erosion events.
• This underestimation of costs was the impetus to create a case study to give an indication of the magnitude of the costs of wind erosion from agricultural land.
• Farmers in the Northern Agricultural Region (NAR) were contacted to seek information about the on-farm costs of wind erosion events that occurred in 2020. Seventeen farmers responded to the …

Status Of The Western Australian Pastoral Rangelands 2023: Total Vegetative Cover And Cover Risk, Department Of Primary Industries And Regional Development

Natural resources published reports

The Department of Primary Industries and Regional Development (DPIRD) monitors and reports on the vegetation condition of pastoral rangelands in Western Australia. This 2023 short report uses remotely sensed total cover data available to the end of October 2023, rainfall data to the end of November 2023 and Stock Return data reported in 2022 (the most recent available) to determine cover risk. Cover risk at the land conservation district (LCD) level is an indicator of the likelihood of total cover declining to, or remaining at, low or very low levels. Total cover and cover risk may not be indicative of …

The Impact Of The Covid-19 Pandemic Response On Food Safety Violations Observed In Southern Nevada Food Establishments, Samantha Morales

UNLV Theses, Dissertations, Professional Papers, and Capstones

Food poisoning is a common term used to describe what is actually foodborne illness. Despite the fact these illnesses can become deadly, foodborne illnesses are endemic and common in the United States. Nonetheless, they are completely preventable simply by following proper food safety procedures. The Food and Drug Administration identified the most common foodborne pathogens responsible for most foodborne infections, as well as the five risk factor categories to target in order to decrease the risk of cases and outbreaks.

To ensure foodborne outbreaks and cases are prevented, health authorities are tasked with conducting routine inspections on permitted food establishments. …

Synthesis Of Block Copolymer Additives For Examining Phase Morphology And Improving Mechanical Properties Of Thermoplastics Elastomers., Bishal Upadhyay

Masters Theses

Polystyrene-block-poly(1,4-butaidene)-block-polystyrene (PS-PB-PS) triblock copolymers are one of the most widely studied thermoplastic elastomers (TPEs) due to their ease of synthesis, non-polar nature, and commercial applicability. Like many block copolymers, incompatibility between PS and PB causes these TPEs to undergo microphase segregation. Many studies have examined the mechanical properties of blends of TPEs and PS homopolymer additives. However, there have been few studies focused on understanding the morphology and mechanical properties of blends of TPEs and copolymer additives with different architectures. Herein, I describe the synthesis of linear and graft copolymer additives based on the random copolymers poly(methyl methacrylate-random-cyclohexyl methacrylate) (PrC). …

The Impacts Of Tilled-In Biodegradable Plastic Mulch On Soil Microbial Communities, Corissa L. Martin

Masters Theses

Plastics mulch films are used in agriculture to help increase crop production by regulating soil water retention and soil temperature while also preventing weed growth. Despite these benefits, plastic mulches have led to higher levels of microplastic pollution as weathering occurs. In response to this issue, biodegradable plastic mulches (BDMs) have been introduced to help reduce plastic pollution as they are designed to be tilled into soil after each growing season to continue degradation. Degradation of these mulch films is dependent on climate and, in some areas, complete degradation can take years. Since some biodegradable plastic mulches are made of …

Post-Wildfire Effects On A Headwater Stream In The San Bernardino National Forest, Kelley Giron

Electronic Theses, Projects, and Dissertations

Southern California has experienced prolonged drought conditions that have supported frequent wildfires that adversely impact ecosystems, natural resources, and human development. A primary consequence of these events is the impact on water quality and quantity. Of equal concern is evaluating how diverse land use configurations within a watershed can alter the physio-chemical properties of headwater reaches where drought and wildfire conditions are prevalent. To better understand the extent to which wildfires impact water quality and quantity across a headwater watershed, this study investigates wildfire impacts from the 2021 South Fire to Lytle Creek, a headwater stream of the Santa Ana …

How Low Can You Go?: Widespread Challenges In Measuring Low Stream Discharge And A Path Forward, Erin C. Seybold, Anna Bergstrom, C. Nathan Jones, Amy J. Burgin, Sam Zipper, Sarah E. Godsey, Walter K. Dodds, Margaret A. Zimmer, Margaret Shanafield, Thibault Datry, Raphael D. Mazor, Mathis L. Messager, Julian D. Olden, Adam Ward, Songyan Yu, Kendra E. Kaiser, Arial Shogren, Richard H. Walker

Geosciences Faculty Publications and Presentations

Low flows pose unique challenges for accurately quantifying streamflow. Current field methods are not optimized to measure these conditions, which in turn, limits research and management. In this essay, we argue that the lack of methods for measuring low streamflow is a fundamental challenge that must be addressed to ensure sustainable water management now and into the future, particularly as climate change shifts more streams to increasingly frequent low flows. We demonstrate the pervasive challenge of measuring low flows, present a decision support tool (DST) for navigating best practices in measuring low flows, and highlight important method developmental needs.