Digital Commons Network^™

Optimizing Scalability For Formal Analysis With Evolutionary Algorithm, Jianghao Wang

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Predominantly employed to tackle hardware validation challenges in the early years, formal methods have since expanded to software engineering, introducing a significant level of rigor and precision to software analysis. Its use of mathematical notations and logical reasoning allows for abstract modeling of programs, enabling researchers and engineers to perform a multitude of analysis tasks to verify system dependability and rigorously prove the correctness of system properties. Despite the availability of many automated analysis tools including those considered lightweight, the practical adoption of formal methods in software development has been limited due to scalability concerns, especially when applied to large …

Examining Executive Functions And Cognitive Emotion Regulation As Pathways From Childhood Adversity To Learning Effectiveness And Subsequent Functional Impairment In College Students, Fayth Walbridge

Dissertations

Adverse childhood experiences (ACEs) refer to childhood abuse, neglect, and household dysfunction that impact later behavioral and physical health, academic, and occupational outcomes (Felitti et al., 1998; Metzler et al., 2017). Prior, studies have more recently shown that ACEs predict deficits in executive functions (Lund et., 2022; Wilson, 2020) and emotional regulation (Badour & Feldner, 2013) and these variables have been found to impact the relation between ACEs and multiple domains of functioning (e.g., psychosocial, behavioral, physical health; Boles, 2021; Cameron et al., 2018; Rudenstine et al., 2019; Trossman et al., 2020). However, no known study has simultaneously examined executive …

Impact Of Thermal-Hydric Stress Of Physiological Performance And Mating Behavior Of Fiddler Crabs, Talene G. Yeghissian

Dissertations

Fiddler crabs live on the edge of their thermal tolerance limits, balancing the need to thermoregulate with the need to mate. Previous research suggests that increased temperature reduces fiddler crab surface activity time, thus decreasing mating opportunities, throughout the range species with greatest impacts to low latitude populations. The less studied missed mating opportunities associated with behavioral compensation for thermal stress are crucial to understanding species vulnerability to climate change. In this dissertation, I describe a combination of experimental and observational approaches in the field and in the laboratory to investigate the physiological and behavioral responses of fiddler crabs to …

The Effects Of Ambient Light Intensity On Affordance Perception, Tyler Overstreet

Dissertations

Humans can reliably perceive whether a slanted ground surface can be stood on or not. In the present study we investigated how differences in ambient lighting conditions affected the perception of stand-on-ability. The study manipulated lighting conditions (photopic, mesopic, scotopic) under which participants made affordance judgements about the stand -on-ability of a presented ramp in a virtual reality environment. We hypothesized that less visual information would be available in the scotopic condition, which would result in changes to affordance boundaries and movement complexity, when measured from head sway and center of pressure. Results indicated that participants’ affordance judgements were more …

Peer Victimization In College Student Mental Health And Well-Being: Moderating Effects Of Perceived Social Support, Erica Van Overloop

Dissertations

Peer victimization is associated with several short- and long-term psychosocial consequences for both children and adults. Although there is evidence that peer victimization negatively impacts college students, the degree to which it may affect students’ mental health and well-being remains unclear. Most studies of peer victimization among college students focus only on retrospective accounts of childhood victimization, leaving many unknowns about how recent or ongoing victimization may impact students. The present study examined both retrospective and recent experiences of peer victimization in a college student sample (N = 366, 18-29 years old) while considering the moderating role of perceived …

Examining The Association Between Parental Attachment, Fictive Kin Bonds, Psychological Needs Satisfaction, Emotional Distress, And Subjective Well-Being Among Black Americans, Roxanne Watts

Dissertations

Secure attachment with parents predicts less emotional distress and greater subjective well-being across the lifespan. One mechanism by which parental attachment supports mental health outcomes is through psychological needs satisfaction (PNS). In addition to the attachment to parents, relationships with fictive kin caregivers are prevalent and important among Black families. The present study investigated the association between parental attachment, fictive kin bonds, psychological needs satisfaction and mental health outcomes (i.e., emotional distress and subjective well-being) in a sample of Black American adults. Two hundred twenty-three (N = 223) participants completed measures of parental attachment, fictive-kin bonds, psychological needs satisfaction …

Adverse Childhood Experiences And Career Decision Making In College Students: Investigating The Moderating Effects Of Perceived Covid-19 Impact And Ambiguity Tolerance, Kendall Klumpp

Dissertations

College students face many difficult decisions as they navigate adulthood, including making a decision about their career. Although much research has already been conducted to explore these difficulties, little has explored the potential impact of adverse childhood experiences (ACEs) on one’s career-related cognitions. Further, the COVID-19 pandemic has provided a new context in which difficulties with career-related decisions may be exacerbated. Through the lens of psychological stress, the current study examined the responses of 231 undergraduate students using a university-based online participant recruiting site, SONA. It was predicted that level of ACEs would be positively related with levels of negative …

Understanding The Relations Between Parental Psychological Distress And Child Emotional And Behavioral Problems: A Path Analysis, Lauren S. Erp

Dissertations

Maternal psychological distress has consistently been linked to emotional and behavioral problems in school-aged children. Given the high prevalence and negative outcomes of child emotional and behavioral problems, parenting variables have been examined as mechanisms underlying this relation. Research has demonstrated that mothers who endorse high psychological distress report high parenting stress, which contributes to the use of more negative parenting practices. Moreover, parenting stress has been shown to relate to negative parenting practices through parenting inflexibility. Yet, no known study has examined parenting stress, negative parenting practices, and parenting inflexibility as pathways through which parental psychological distress relates to …

Sparks, Belonging, And Relationships: High School Teachers' Use Of Developmental Context To Engage Students In Career Pathways, Dave Francis

All Graduate Theses and Dissertations, Fall 2023 to Present

The 4-H Thriving Model outlines how a foundation for youth sparks, belonging, and relationships can lead to short and long-term outcomes. This study explored how high school teachers in Utah integrate the elements of the foundation of the 4-H Thriving Model in environmental science and natural resources management classroom teaching. A mixed method of interviews and surveys was used to understand teaching practices. Teachers described helping students discover their interests (sparks), nurturing these interests, and linking them to careers using methods like guest speakers, field trips, contests, and student presentations. They also worked on creating a sense of belonging in …

An Examination Of Traumatic Brain Injury And Genes For Neurotrophins And Apolipoprotein E In Predicting Cognitive Function In Older Adults: The Cache County Study, Mikaela A. Drewel

All Graduate Theses and Dissertations, Fall 2023 to Present

Recovery from a traumatic brain injury (TBI) is influenced by a wide array of factors including age at incidence, number, and severity as well as genetic factors, some of which exhibit sex-dependent effects. This study examines how TBI history influences rate of cognitive decline in older adults, exploring the characteristics of TBI (e.g., number, severity, and timing) as predictors and interactions of TBI history with genetic variants suspected to play a role in brain health and late-life cognitive functioning. These genes include the Apolipoprotein E (APOE) as well as brain derived neurotrophic factor (BDNF) and its receptors. This study analyzed …

Cerebrovascular Reactivity Mri As A Biomarker For Cerebral Small Vessel Disease–Related Cognitive Decline: Multi-Site Validation In The Markvcid Consortium, Peiying Liu, Zixuan Lin, Kaisha Hazel, George Pottanat, Cuimei Xu, Dengrong Jiang, Jay J. Pillai, Emma Lucke, Christopher E. Bauer, Brian T. Gold, Steven M. Greenburg, Karl G. Helmer, Kay Jann, Gregory Jicha, Joel Kramer, Pauline Maillard, Rachel M. Mulavelil, Pavel Rodriguez, Claudia L. Satizabal, Kristin Schwab, Sudha Seshadri, Herpreet Singh, Ángel G. Velarde Dediós, Danny J. J. Wang, Rita R. Kalyani, Abhay Moghekar, Paul B. Rosenberg, Sevil Yasar, Marilyn Albert, Hanzhang Lu

Neurology Faculty Publications

INTRODUCTION: Vascular contributions to cognitive impairment and dementia (VCID) represent a major factor in cognitive decline in older adults. The present study examined the relationship between cerebrovascular reactivity (CVR) measured by magnetic resonance imaging (MRI) and cognitive function in a multi-site study, using a predefined hypothesis.

METHODS: We conducted the study in a total of three analysis sites and 263 subjects. Each site performed an identical CVR MRI procedure using 5% carbon dioxide inhalation. A global cognitive measure of Montreal Cognitive Assessment (MoCA) and an executive function measure of item response theory (IRT) score were used as outcomes.

RESULTS: CVR …

An Experimental Investigation Of Printing Speed, Layer Thickness, And Nozzle Temperature On The Mechanical Properties Of Silk-Pla Printed Specimens, Razaul Islam

All Theses

Fused Deposition Modeling (FDM) is a popular 3D printing technique used across various industries. Choosing the right printing parameters is essential for ensuring the overall quality and integrity of 3D-printed products. These parameters greatly affect the quality and strength of 3D-printed items. The focus of this study was the influence of printing parameters such as layer thickness, nozzle temperature, and printing speed on the mechanical behavior of 3D-printed silk polylactic acid (PLA). Tensile tests were conducted on a universal testing machine to analyze the mechanical behavior of the printed materials. Moreover, Digital Image Correlation (DIC) analyses were utilized on the …

Effect Of Male Partners' Involvement And Support On Reproductive, Maternal And Child Health And Well-Being In East Africa: A Scoping Review, Richard Fletcher, Faye Forbes, Abel Fekadu Dadi, Getachew Mullu Kassa, Casey Regan, Anna Galle, Addisu Beyene, Rebecca Liackman, Marleen Temmerman

Centre of Excellence in Women and Child Health

Background and Aims: East African countries have high rates of maternal and childmortality and morbidity. Studies have shown that the involvement of male partners inreproductive health can benefit maternal and child health (MCH). This scoping reviewaims to provide an overview of the evidence across East Africa that describes malepartner involvement and its effect on maternal, reproductive, and child well‐being.

Methods: Ten databases were searched to identify quantitative data on male'sinvolvement in East Africa. Studies reporting qualitative data, “intention to use” dataor only reporting on male partner's education or economic status were excluded.Studies were organized into five a priori categories: antenatal …

Marriage Of Heaven, Marriage Of Hell: The Marital Relationship In Asian American Poems, John J. Han

KAUPA Letters

This paper discusses the marital relationship among Asian Americans, a sociological issue that has not received much critical attention, by examining spousal love or lack thereof in four Asian American poems by Yone Noguchi (1875-1947), Li-Young Lee (b. 1957), Ronald Phillip Tanaka (1944-2007), and Marilyn Chin (b. 1955), respectively. Across cultures, love and hate are two elements that exist in most marriages, yet the four poems discussed in this paper reveal something significant about Asian thought and culture.

Regarding The Proclamation, “Private Property Is The Source Of Freedom In America, Yeomin Yoon

KAUPA Letters

No abstract provided.

Kaupa Letters: Volume 11, Issue 6, Korean American University Professors Association

KAUPA Letters

No abstract provided.

Coal Creek Carbon Capture, University Of North Dakota. Energy And Environmental Research Center

EERC Brochures and Fact Sheets

Fact sheet about Coal Creek Carbon Capture project, a CarbonSAFE initiative. The Coal Creek Carbon Capture project is investigating the feasibility of developing safe, permanent geologic storage of CO₂ captured from Coal Creek Station.

Accretion Of Warm Chondrules In Weakly Metamorphosed Ordinary Chondrites And Their Subsequent Reprocessing, Alex M. Ruzicka, Richard C. Hugo, Jon M. Friedrich, Michael T. Ream

Geology Faculty Publications and Presentations

To better understand chondrite accretion and subsequent processes, the textures, crystallography, deformation, and compositions of some chondrite constituents in ten lithologies of different cluster texture strength were studied in seven weakly metamorphosed (Type 3) and variably shocked ordinary chondrites (Ragland—LL3 S1, Tieschitz—H/L3 S1, NWA 5421—LL3 S2, NWA 5205—LL3 S2, NWA 11905—LL3-5 S3, NWA 5781—LL3 S3, NWA 11351—LL3-6 S4) using optical and electron microscopy and microtomography techniques.

Results support a four-stage model for chondrite formation. This includes 1) limited annealing following collisions during chondrule crystallization and rapid cooling in space prior to accretion, as evidenced by olivine microstructures consistent with dislocation …

A Multimodal Foundation Agent For Financial Trading : Tool-Augmented, Diversified, And Generalist, Wentao Zhang, Lingxuan Zhao, Haochong Xia, Shuo Sun, Jiaze Sun, Molei Qin, Xinyi Li, Yuqing Zhao, Yilei Zhao, Xinyu Cai, Longtao Zheng, Xinrun Wang, Bo An

Research Collection School Of Computing and Information Systems

Financial trading is a crucial component of the markets, informed by a multimodal information landscape encompassing news, prices, and Kline charts, and encompasses diverse tasks such as quantitative trading and high-frequency trading with various assets. While advanced AI techniques like deep learning and reinforcement learning are extensively utilized in finance, their application in financial trading tasks often faces challenges due to inadequate handling of multimodal data and limited generalizability across various tasks. To address these challenges, we present FinAgent, a multimodal foundational agent with tool augmentation for financial trading. FinAgent's market intelligence module processes a diverse range of data-numerical, textual, …

How To Avoid Jumping To Conclusions: Measuring The Robustness Of Outstanding Facts In Knowledge Graphs, Hanhua Xiao, Yuchen Li, Yanhao Wang, Panagiotis Karras, Kyriakos Mouratidis, Natalia Rozalia Avlona

Research Collection School Of Computing and Information Systems

An outstanding fact (OF) is a striking claim by which some entities stand out from their peers on someattribute. OFs serve data journalism, fact checking, and recommendation. However, one could jump to conclusions by selecting truthful OFs while intentionally or inadvertently ignoring lateral contexts and data that render them less striking. This jumping conclusion bias from unstable OFs may disorient the public, including voters and consumers, raising concerns about fairness and transparency in political and business competition. It is thus ethically imperative for several stakeholders to measure the robustness of OFs with respect to lateral contexts and data. Unfortunately, a …

Empathyear : An Open-Source Avatar Multimodal Empathetic Chatbot, Hao Fei, Han Zhang, Bin Wang, Lizi Liao, Qian Liu, Erik Cambria

Research Collection School Of Computing and Information Systems

This paper introduces EmpathyEar, a pioneering open-source, avatar-based multimodal empathetic chatbot, to fill the gap in traditional text-only empathetic response generation (ERG) systems. Leveraging the advancements of a large language model, combined with multimodal encoders and generators, EmpathyEar supports user inputs in any combination of text, sound, and vision, and produces multimodal empathetic responses, offering users, not just textual responses but also digital avatars with talking faces and synchronized speeches. A series of emotion-aware instruction-tuning is performed for comprehensive emotional understanding and generation capabilities. In this way, EmpathyEar provides users with responses that achieve a deeper emotional resonance, closely emulating …

Examination And Improvement Of The Taguchi-Based Nanofluids Impact On Co2 Absorption Using Al2o3 Nanoparticles, Safa Waleed Shakir, Saif Saleh Hussein, Shaymaa Hasan Khazaal, Hyder Akram Al-Naseri, Ahmed Mohammed Ahmed, Rana Najah Hachim, Muthanna Hikmat Al-Dahhan

Chemical and Biochemical Engineering Faculty Research & Creative Works

In this study, a batch absorption reactor was used to evaluate the nanofluid of a binary aqueous solution of monoethanolamine and 2-amino-2-methyl-1-propanol (MEA/AMP) with nanoparticles of aluminium oxide (Al₂O₃) as a solvent used to remove carbon dioxide (CO₂) from simulated flue gas. Furthermore, the application of the Taguchi experiment design method determined the optimal conditions for the absorption process. This research focuses on the CO₂ absorption process and the optimal conditions related to nanoparticle addition. The main effects of using nanofluid were investigated. The concentration of nanoparticles, nanoparticle size, and stirrer speeds were …

Artificial Intelligence And Administrative Justice: An Analysis Of Predictive Justice In France, Zouhaier Nouri, Walid Ben Salah, Nayel Al Omrane

All Works

This article critically analyzes the ethical and legal implications of adopting predictive analytics by the French administrative justice system. It raises a key question: Is it wise to integrate artificial intelligence into the administrative justice system, considering its potential benefits, despite the associated risks, ethical dilemmas, and legal challenges? The research employs a method based on an extensive literature review, a qualitative analysis of the adoption by the French administrative justice of predictive analytics tools, and a critical evaluation of the benefits and issues these tools bring. The study finds that AI can make the administrative justice system more efficient, …

A Nuremberg Woman And The Hague Academy, Diane Marie Amann

Scholarly Works

This article, which forms part of the journal's special review series marking the centenary of the Hague Academy of International Law, draws from the author's ongoing research into the roles that lawyers and other women professionals played at post-World War II trials. The article focuses on the life of one “Nuremberg woman,” Dr. Aline Chalufour, who attended the Academy in 1937 and again in 1957. In between, she worked in what is now Vietnam as a colonial schoolteacher, in Canada as a Free French propagandist for de Gaulle, at Nuremberg and Hamburg as a war crimes prosecutor, and in France …

Multi-Scale Ocean Modeling Using The Discontinuous Galerkin Method, Yao Gahounzo

Boise State University Theses and Dissertations

Ocean models often employ the hydrostatic assumption for large-scale applications when the horizontal scale is larger than the depth. Nonetheless, the non-hydrostatic effects are of great importance in submesoscale studies, such as modeling the physical processes of ice-ocean interactions. Most non-hydrostatic ocean models used in ice-ocean interaction studies are low-order finite-difference and finite-volume methods, often with significant dispersive errors. Therefore, there is a need for a high-order ocean model for ice-ocean interaction applications.

The first part of this thesis focuses on deriving the boundary conditions at the ice-ocean interface and incorporating them into the high-order discontinuous Galerkin (DG) method-based ocean …

Development Of Recyclable Materials For Industry Using Non-Petroleum Feedstocks, Terra M. Miller-Cassman

Boise State University Theses and Dissertations

Plastics have been an essential material for over 80 years, yet we have been unable to manage the accumulation of plastic waste. The available solutions for recycling or replacing plastics are complex and costly, and thus have not kept pace with the increasing quantity of plastic waste. This dissertation describes a comprehensive, materials design approach to solving the current and future challenges of plastic waste. Recycled and recyclable materials are developed using commercial feedstocks to reduce barriers for industry adoption. In one approach, unsorted municipal solid waste is compressed at a low temperature and pressure to form rigid composite boards …

Contributing Factors That Affect The Perception Of Canis Lupus, The Grey Wolf, In Idaho, Karl Michael Prokop

Boise State University Theses and Dissertations

Human-wildlife coexistence has become a hot topic of late, especially in the case of the grey wolf, where there are generally two distinct camps; those that strongly support wolf conservation and those that strongly support wolf eradication. This research explores the factors influencing a person’s perception of the wolf. Some previous research suggests that formal education may be one important factor, where more formal education leads to more positive perceptions of the wolf. Other factors, such as geographic location (e.g., urban versus rural), have also been proposed as important contributors to wolf perception. While studies of these factors have been …

Development And Implementation Of A Gps-Agnostic Drone Localization System, Alex Peterson

Boise State University Theses and Dissertations

This research develops a GPS-denied state estimation system to localize and orient a drone for touch-based installations on power line towers and cables. As opposed to environments like underground tunnels or building interiors, our system effectively identifies and utilizes sparse landmarks such as towers, cables, and ground features. Our approach utilizes Simultaneous Localization and Mapping (SLAM) to create and reference three-dimensional maps in real time. Specifically, we employ Georgia Tech Smoothing and Mapping (GTSAM), proposed by Georgia Tech's BORG Lab, a factor graph-based data structure consisting of measurement factors and unknown pose variables that we are implementing for solving the …

Effects Of Antifreeze Proteins On Lipid Membrane Stabilization At Cold Temperatures, Emily Vernon

Boise State University Theses and Dissertations

Cold-adapted organisms use antifreeze proteins (AFPs) and antifreeze glycoproteins (AFGPs) to enable survival in freezing habitats. AF(G)Ps have been proposed to prevent leakage of intracellular metabolites by stabilizing cellular membranes, a property that could be of great physiological and biomedical relevance. The generality of this effect is not understood, and for the known examples of membrane leakage prevention by AF(G)Ps, the mechanisms remain unclear. Here, we report a comprehensive evaluation of the effects of different AFPs on the leakage of ions and dyes from model membrane systems. We find that leakage is best prevented by AFGPs, while insect AFPs showed …

Selective Bacterial Biofilm Removal Using Image-Guided Detection And Cold Atmospheric Pressure Plasma, Michael Okebiorun

Boise State University Theses and Dissertations

This dissertation explores the use of cold atmospheric pressure plasma (CAP) technology in eradicating bacterial biofilms from tissue surfaces, using Ps. fluorescens on chicken tissue to model human chronic wounds. It introduces a novel image-guided technique for precise biofilm removal, employing trypan blue staining coupled with advanced computer vision analysis, enhancing the CAP treatment's precision and efficacy. The study demonstrates the CAP device's ability to effectively disrupt biofilms through a non-thermal mechanism, based on its electrical characteristics and operational parameters. The success of the treatment is evident in the significant reduction of biofilm thickness of 49 -185 µm, with the …