Physical Sciences and Mathematics Commons^™

Constructing Large Open-Source Corpora And Leveraging Language Models For Simulink Toolchain Testing And Analysis, Sohil Lal Shrestha

Computer Science and Engineering Dissertations - Archive

In several safety-critical industries such as automotive, aerospace, healthcare, and industrial automation, MATLAB/Simulink has emerged as the de-facto standard tool for system modeling and analysis, model compilation into executable code, and code deployment onto embedded hardware. Within the context of cyber-physical system (CPS) development, it is imperative to both rigorously test the development tools, such as MathWorks’ Simulink, and understand modeling practices and model evolution. The existing body of work faces limitations primarily stemming from two factors: (1) contemporary testing methodologies often prove inefficient in identifying critical toolchain bugs due to a paucity of explicit toolchain specifications and (2) there …

Uv-Optical Emission Of Ab Aur B Is Consistent With Scattered Stellar Light, Yifan Zhou, Brendan P. Bowler, Haifeng Yang, Aniket Sanghi, Gregory J. Herczeg, Adam L. Kraus, Jaehan Bae, Feng Long, Katherine B. Follette, Kimberly Ward-Duong, Zhaohuan Zhu, Lauren Biddle, Laird M. Close, Lillian Yushu Jiang, Ya Lin Wu

Astronomy: Faculty Publications

The proposed protoplanet AB Aur b is a spatially concentrated emission source imaged in the millimeter-wavelength disk gap of the Herbig Ae/Be star AB Aur. Its near-infrared spectrum and absence of strong polarized light have been interpreted as evidence supporting the protoplanet interpretation. However, the complex scattered-light structures in the AB Aur disk pose challenges in resolving the emission source and interpreting the true nature of AB Aur b. We present new images of the AB Aur system obtained using the Hubble Space Telescope Wide Field Camera 3 in the ultraviolet (UV) and optical bands. AB Aur b and the …

Computationally-Driven Insights Into The Ligand Environments Of Materials For Catalysis And Separations, Stephen Vicchio

All Dissertations

Designing new catalytic and sorption materials is necessary to limit global temperature rise below 1.5 ◦C by 2050, while also meeting global energy demands. Climate change and energy production are not mutually exclusive; global population growth has direct impacts on global energy demands and climate. In both catalysis and adsorption applications, new technologies are needed to address these challenges. Catalysis can provide alternate, low-energy routes for converting low-value gases into higher-value chemical commodities, thus altering our current energy production. Likewise, new sorption materials can capture previously emitted CO₂ from decades of energy production from fossil fuels, thus helping to …

Essence As Algorithm: Public Perceptions Of Ai-Powered Avatars Of Real People, James Hutson, Jay Ratican, Colleen Biri

Faculty Scholarship

This paper investigates the intersection of generative AI, Large Language Models (LLM), and robotics. Exemplified by systems like ChatGPT and technological marvels such as Ameca the Robot, the combination of technologies will allow humans to transcend the limitations of death. Through digital necromancy, a practice encompassing the technological resurrection of deceased individuals, the ability to not only passively see recordings of loved ones but to interact with them is made possible, leading to ethical and psychological considerations. Therefore, examining these trends extends into the motives underlying engagement with both incorporeal and corporeal reproductions of individuals, with reasons ranging from memory …

Evaluating Digital Creativity Support For Children: A Systematic Literature Review, Marte Hoff Hagen, Daniela Soares Cruzes, Letizia Jaccheri, Jerry Alan Fails

Computer Science Faculty Publications and Presentations

Creativity, the process of creating something new and valuable, benefits children by improving their skills and development, encouraging interaction and engagement, and enabling the generation and expression of novel ideas. In recent years, interactive digital tools have emerged to support the user’s creativity in the open-ended creation of new artifacts. However, the question of evaluating the creativity happening in the interplay between children, digital tools, and products is still open. This systematic literature review investigated the evaluations of digital creativity support tools for children and identified 81 peer-reviewed relevant articles from the last 10 years. This research contributes to practitioners …

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.

Subduction Initiation Recorded In The Dadeville Complex Of Alabama And Georgia, Southeastern United States, Naomi A. Becker, Freya R. George, George L. Guice, James L. Crowley, Wendy R. Nelson, Joseph F. Browning-Hanson, Supratik Roy, Daniel R. Viete

Geosciences Faculty Publications and Presentations

The Dadeville Complex of Alabama and Georgia (southeastern United States) represents the largest suite of exposed mafic-ultramafic rocks in the southern Appalachians. Due to poor preservation, chemical alteration, and tectonic reworking, a specific tectonic origin for the Dadeville Complex has been difficult to deduce. We obtained new whole-rock and mineral geochemistry coupled with zircon U-Pb geochronology to investigate the magmatic and metamorphic processes recorded by the Dadeville Complex, as well as the timing of these processes. Our data reveal an up-stratigraphic evolution in the geochemistry of the volcanic rocks, from forearc basalts to boninites. Our new U-Pb zircon crystallization data—obtained …

Geophysics-Informed Hydrologic Modeling Of A Mountain Headwater Catchment For Studying Hydrological Partitioning In The Critical Zone, Hang Chen, Qifei Niu, Aida Mendieta, John Bradford, James Mcnamara

Geosciences Faculty Publications and Presentations

Hydrologic modeling has been a useful approach for analyzing water partitioning in catchment systems. It will play an essential role in studying the responses of watersheds under projected climate changes. Numerous studies have shown it is critical to include subsurface heterogeneity in the hydrologic modeling to correctly simulate various water fluxes and processes in the hydrologic system. In this study, we test the idea of incorporating geophysics-obtained subsurface critical zone (CZ) structures in the hydrologic modeling of a mountainous headwater catchment. The CZ structure is extracted from a three-dimensional seismic velocity model developed from a series of two-dimensional velocity sections …

Rapid Evolution Of A(H5n1) Influenza Viruses After Intercontinental Spread To North America, Ahmed Kandeil, Christopher Patton, Jeremy C. Jones, Trushar Jeevan, Walter N. Harrington, Sanja Trifkovic, Jon P. Seiler, Thomas Fabrizio, Karlie Woodard, Jasmine C. Turner, Jeri Carol Crumpton, Lance Miller, Adam Rubrum, Jennifer Debeauchamp, Charles J. Russell, Elena A. Govorkova, Peter Vogel, Mia Kim-Torchetti, Yohannes Berhane, David Stallknecht, Rebecca Poulson, Lisa Kercher, Richard J. Webby

United States Department of Agriculture Wildlife Services: Staff Publications

Highly pathogenic avian influenza A(H5N1) viruses of clade 2.3.4.4b underwent an explosive geographic expansion in 2021 among wild birds and domestic poultry across Asia, Europe, and Africa. By the end of 2021, 2.3.4.4b viruses were detected in North America, signifying further intercontinental spread. Here we show that the western movement of clade 2.3.4.4b was quickly followed by reassortment with viruses circulating in wild birds in North America, resulting in the acquisition of different combinations of ribonucleoprotein genes. These reassortant A(H5N1) viruses are genotypically and phenotypically diverse, with many causing severe disease with dramatic neurologic involvement in mammals. The proclivity of …

Iowa Waste Reduction Center Newsletter, December 2023, University Of Northern Iowa. Iowa Waste Reduction Center.

Iowa Waste Reduction Center Newsletter

Contents:

--- Grain PTE and 6X Reporting Deadlines
--- 2024-2025 Compliance Calendars for Dry Cleaners
--- 2024-2025 Compliance Calendar/Logbook for Bulk Gasoline Plants
--- Alluvial Brewing Company Achieves Gold Certification

Deep Generative Sculpting Models For Single Image 3d Reconstruction, Jason Jennings

Computer Science and Engineering Dissertations - Archive

In the field of computer vision, learning representations of images is an important task. This dissertation introduces deep generative sculpting models (DGSM), deep learning models that learn 3D representations of objects from 2D images. DGSMs use convolutional networks combined with a differentiable renderer to attempt to "sculpt" a base 3D mesh, such as a sphere, to faithfully represent an object in the scene, and render it to reconstruct the input image. The core methodology revolves around the encoding of the input image into latent variables. These variables are decoded into interpretable scene parameters, describing the object's translation, rotation, scale, texture, …

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 …

Regioselective Catalytic Synthesis Of Potentially Bioactive 1,3,4-Selenadiazole, Mohamed Ali Mahmoud

Theses

Isoselenocyanates have a crucial role as reactants in chemical processes, facilitating the efficient synthesis of significant chemical intermediates and physiologically active chemicals. The utilization of (Z)-2-oxo-N-phenylpropanehydrazonoyl chlorides in a one-step procedure for the synthesis of the core structure of various heterocyclic compounds has been widely explored. This study focuses on the synthesis of 5-arylimino-1,3,4-selenadiazole derivatives through the reaction of isoselenocyanates with various substituted (Z)-2-oxo-N-phenylpropanehydrazonoyl chlorides. The objective is to achieve selective and accurate formation of these derivatives. The derivatives exhibit a diverse range of functional groups on both aryl rings. The synthetic procedure is conducted under ambient conditions, promoting environmental …

Assessing Open Source Tools For Enhanced Forensic Analysis Of Unmanned Aerial Vehicles (Uavs), Nura Shifa Hamed

Theses

The widespread applications of Unmanned Aerial Vehicles (UAVs), commonly referred to as drones, has given rise to significant national security threats due to their illicit activities. Consequently, the domain of UAV forensics is rapidly evolving, presenting a substantial knowledge deficit among forensic experts. Open source tools provide accessible and affordable resources, making it easier for investigators to bridge this gap by gaining expertise in the use of these tools. This helps ensure that forensic professionals can keep up with the ever-changing UAV technology landscape. This thesis undertakes the mission of navigate the complex field of drone forensics and conducting a …

Analysis Of Pharmaceutical Residues In Wastewater From Al Ain, United Arab Emirates Using Liquid Chromatography - Tandem Mass Spectrometry And Circular Dichroism: Potential Hazardous Emergent Contaminants, Maya Iyad Berakdar

Theses

Although water is the second essential substance to life after air, clean water resources in many regions of the world have become limited because of climate change, establishing rivers’ dams and contaminations with hazardous life-threatening chemicals. Pharmaceutical residues in aquatic environments have been recognized as emerging contaminants causing adverse ecological and human health risks. Hundreds of pharmaceutical compounds and their metabolites were found in surface, underground, drinking, and sewage waters in many countries. In the United Arab Emirates, millions of drugs’ dosages are annually used for human, poultry, and veterinary treatments. Drugs execrated as unchanged, metabolites or excesses can find …

Multitasking Scheduling With Shared Processing, Bin Fu, Yumei Huo, Hairong Zhao

Computer Science Faculty Publications

Recently, the problem of multitasking scheduling has raised a lot of interest in the service industries. Hall et al. (Discrete Applied Mathematics, 2016) proposed a shared processing multitasking scheduling model which allows a team to continue to work on the primary tasks while processing the routinely scheduled activities as they occur. With a team being modeled as a single machine, the processing sharing of the machine is achieved by allocating a fraction of the processing capacity to routine jobs and the remaining fraction, which we denote as sharing ratio, to the primary jobs. In this paper, we generalize this model …

Development Of A Methodology For The Quantification Of Reaerosolization Of A Biological Contaminate Surrogate Particle From A Military Uniform Fabric, George Cooksey, Jeremy M. Slagley, Casey W. Cooper, Douglas Lewis, Alisha Helm

Faculty Publications

In a mass casualty medical evacuation after a bioaerosol (BA) dispersal event, a decontamination (DC) method is needed that can both decontaminate and prevent biological particle (BP) re-aerosolization (RA) of contaminated clothes. However, neither the efficacy of current DC methods nor the risk of BP RA is greatly explored in the existing literature. The goals of this study were to develop a repeatable method to quantify the RA of a biological contaminant off military uniform fabric swatches and to test the efficacy of one DC protocol (high-volume, low-pressure water) using 1 µm polystyrene latex (PSL) spheres as a surrogate. A …

The Biological, Physical And Chemical Response Of The Little Creek Watershed To The 2020 Czu Lighting Complex Fire, Natalie Fontana

Master's Theses

This post-fire study was conducted to characterize and observe fire induced changes in physical habitat parameters, water-quality conditions and macroinvertebrate assemblages in the Little Creek watershed, a tributary to Scotts Creek located in Cal Poly’s Swanton Pacific Ranch in Davenport, California. Pre-fire data was collected by a Cal Poly student, John Hardy, for his 2017 thesis. Post-burn bioassessment surveys for this study were repeated at four of the same study sites used by Hardy to provide comparisons to the California Stream Condition Index via a modified version of the State of California’s Surface Water Ambient Monitoring Program protocol. Macroinvertebrates were …

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 …

The Tidal Prism, Viable Eelgrass Habitat, And The Effects Of Sea Level Rise In Morro Bay, Kaden A. Caliendo

Master's Theses

The tidal prism, or the volume of water exchanged from the sea to an estuary from mean low to mean high tide, influences system hydrodynamics and ecological functioning. Since 1884, the tidal prism in Morro Bay, California has been estimated to be decreasing over time due to sedimentation from upstream practices. What is the current tidal prism in Morro Bay and how will that change with sea level rise? How will eelgrass respond to rising sea levels?

For this study, inexpensive tidal gauges were deployed at four locations in Morro Bay from March to August 2023 to measure spatially varying …

Nanoparticles And The Environment: Biopolymer Grafted Cellulose And Screen-Printed Carbon Nanotube Composites, Dominique Henry Porcincula

Master's Theses

A host of environmental issues will define the state of the environment in the 21^st century, with plastic pollution and water shortages among them. While solutions to these problems require large-scale, multipronged solutions, one way we can address them is through material innovation and the use of nanoparticles.

In the first project, we address the issue of plastic pollution by creating nanocomposites of biodegradable polymers (PLA and PCL) with cellulose nanofibrils. Here, PLA and PCL are grafted from the surface of cellulose nanofibrils via ring-opening polymerization of cyclic ester monomers. Polymer-grafted cellulose (PGC) is characterized with structural analysis, solubility …

A Multidisciplinary Approach To Resolving The End-Guadalupian Extinction, Christopher R. Fielding, Scott E. Bryan, James L. Crowley, Tracy D. Frank, Michael T. Hren, Chris Mays, Stephen Mcloughlin, Jun Shen, Peter J. Wagner, Arne Winguth, Cornelia Winguth

Geosciences Faculty Publications and Presentations

The transition from the middle to late Permian (Guadalupian–Lopingian) is claimed to record one or more extinction events that rival the ‘Big Five’ in terms of depletion of biological diversity and reorganization of ecosystem structure. Yet many questions remain as to whether the events recorded in separate regions were synchronous, causally related, or were of a magnitude rivaling other major crises in Earth's history. In this paper, we survey some major unresolved issues related to the Guadalupian–Lopingian transition and offer a multidisciplinary approach to advance understanding of this under-appreciated biotic crisis by utilizing records in Southern Hemisphere high-palaeolatitude settings. We …

A Survey Of Non-Usgs Continuous Streamflow Gaging Networks In The Pacific Northwest, Kendra E. Kaiser, Kyle Blasch, Mcallister Hall

Geosciences Faculty Publications and Presentations

Extensive streamflow data sources exist beyond the largest streamflow data provider in the United States, the U.S. Geological Survey. We developed and distributed a survey to about 300 individuals and organizations that collect streamflow data across the Pacific Northwest (Idaho, Oregon, Washington). We received 100 responses with 56% of those sufficiently complete to include in the analysis. From these responses, there are about 2000 streamflow monitoring locations in the region beyond the USGS monitoring network. The duration of record for gages is related to the size of the streamflow gaging network, with small and large networks generally operating monitoring locations …

Triple Helix: Ai-Artist-Audience Collaboration In A Performative Art Experience, Xuedan Zou

Dartmouth College Master’s Theses

Imagine an art exhibition that morphs its content according to the audience’s experience like a chameleon, reflecting the audience’s mind and culture and turning the artist’s exhibition into the viewer’s. But when the viewers leave, the work fades back to the creator’s original work and waits for the next audience. In this project, my team introduced an interactive exhibition called "Triple Helix," where audience members were provided the opportunity to alter the artworks created by the artist, thus imbuing them with their own perspectives. This interactive exhibition was held at three physical-locations and online, and a comprehensive user study was …

End-To-End Task-Oriented Dialogue: A Survey Of Tasks, Methods, And Future Directions, Libo Qin, Wenbo Pan, Qiguang Chen, Lizi Liao, Zhou Yu, Yue Zhang, Wanxiang Che, Min Li

Research Collection School Of Computing and Information Systems

End-to-end task-oriented dialogue (EToD) can directly generate responses in an end-to-end fashion without modular training, which attracts escalating popularity. The advancement of deep neural networks, especially the successful use of large pre-trained models, has further led to significant progress in EToD research in recent years. In this paper, we present a thorough review and provide a unified perspective to summarize existing approaches as well as recent trends to advance the development of EToD research. The contributions of this paper can be summarized: (1) First survey: to our knowledge, we take the first step to present a thorough survey of this …

Large Language Models As Source Planner For Personalized Knowledge-Grounded Dialogues, Hongru Wang, Minda Hu, Yang Deng, Rui Wang, Fei Mi, Weichao Wang, Yasheng Wang, Wai-Chung Kwan, Irwin King, Kam-Fai Wong

Research Collection School Of Computing and Information Systems

Open-domain dialogue system usually requires different sources of knowledge to generate more informative and evidential responses. However, existing knowledge-grounded dialogue systems either focus on a single knowledge source or overlook the dependency between multiple sources of knowledge, which may result in generating inconsistent or even paradoxical responses. To incorporate multiple knowledge sources and dependencies between them, we propose SAFARI, a novel framework that leverages the exceptional capabilities of large language models (LLMs) in planning, understanding, and incorporating under both supervised and unsupervised settings. Specifically, SAFARI decouples the knowledge grounding into multiple sources and response generation, which allows easy extension to …

Controlling Type Confounding In Ad Hoc Teamwork With Instance-Wise Teammate Feedback Rectification, Dong Xing, Pengjie Gu, Qian Zheng, Xinrun Wang, Shanqi Liu, Longtao Zheng, Bo An, Gang Pan

Research Collection School Of Computing and Information Systems

Ad hoc teamwork requires an agent to cooperate with unknown teammates without prior coordination. Many works propose to abstract teammate instances into high-level representation of types and then pre-train the best response for each type. However, most of them do not consider the distribution of teammate instances within a type. This could expose the agent to the hidden risk of type confounding. In the worst case, the best response for an abstract teammate type could be the worst response for all specific instances of that type. This work addresses the issue from the lens of causal inference. We first theoretically …

Cvii: Enhancing Interpretability In Intelligent Sensor Systems Via Computer Vision Interpretability Index, Hossein Mohammadi, Krishnaprasad Thirunarayan, Lingwei Chen

Computer Science and Engineering Faculty Publications

In the realm of intelligent sensor systems, the dependence on Artificial Intelligence (AI) applications has heightened the importance of interpretability. This is particularly critical for opaque models such as Deep Neural Networks (DNN), as understanding their decisions is essential, not only for ethical and regulatory compliance, but also for fostering trust in AI-driven outcomes. This paper introduces the novel concept of a Computer Vision Interpretability Index (CVII). The CVII framework is designed to emulate human cognitive processes, specifically in tasks related to vision. It addresses the intricate challenge of quantifying interpretability, a task that is inherently subjective and varies across …

An Integrated Neutrosophic Approach For The Urban Energy Internet Assessment Under Sustainability Dimensions, Walaa M. Sabry

Neutrosophic Systems with Applications

The urgent issue of climate change has resulted in an increasing preoccupation with the transition to low-carbon energy. The urban energy internet (UEI) enables the efficient utilization of renewable energy via the integration of contemporary energy grids, smart energy services, and cyber-physical systems. Consequently, the assessment of urban energy is vital for the construction of low-carbon cities. This study intends to provide an integrated decision-making approach for addressing assessment challenges related to UEI, with a focus on sustainability. The introduced approach adopts the opinions of three experts to express their opinions through semantic terms in evaluating sustainability factors and evaluating …

A History Of Complex Simple Lie Algebras, Avrila Frazier

Electronic Theses and Dissertations

In 1869, prompted by his work in differential equations, Sophus Lie wondered about categorizing what he called “closed systems of commutative transformations,” while around the same time, Wilhelm Killing’s work on non-Euclidean geometry encountered related topics. As mathematicians recognized this as a division of abstract algebra, the area became known as “continuous transformation groups," but we now refer to them as Lie groups.

Patterns and structures emerged from their work, such as describing Lie groups in connection with their associated Lie algebras, which can be categorized in many important ways. In this paper, we focus on Lie algebras over the …