Digital Commons Network^™

Finding Safety Violations Of Ai-Enabled Control Systems Through The Lens Of Synthesized Proxy Programs, Jieke Shi, Zhou Yang, Junda He, Bowen Xu, Dongsun Kim, Donggyun Han, David Lo

Research Collection School Of Computing and Information Systems

Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to testing control systems is falsification, which aims to find an input signal that causes the control system to violate a formal safety specification using optimization algorithms. However, applying falsification to AI-enabled control systems poses two significant challenges: (1) it requires the system to execute numerous candidate test inputs, which can be time-consuming, particularly for systems with AI models that have many parameters, and (2) multiple safety requirements are typically defined as a conjunctive specification, …

Exploring Parameter-Efficient Fine-Tuning Techniques For Code Generation With Large Language Models, Martin Weyssow, Xin Zhou, Kisub Kim, David Lo, Houari A. Sahraoui

Research Collection School Of Computing and Information Systems

Large language models (LLMs) demonstrate impressive capabilities to generate accurate code snippets given natural language intents in a zero-shot manner, i.e., without the need for specific fine-tuning. While prior studies have highlighted the advantages of fine-tuning LLMs, this process incurs high computational costs, making it impractical in resource-scarce environments, particularly for models with billions of parameters. To address these challenges, previous research explored in-context learning (ICL) and retrieval-augmented generation (RAG) as strategies to guide the LLM generative process with task-specific prompt examples. However, ICL and RAG introduce inconveniences, such as the need for designing contextually relevant prompts and the absence …

Ponzilens+: Visualizing Bytecode Actions For Smart Ponzi Scheme Identification, Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan, Qiaomu Shen, Jun Sun, Feida Zhu, Yong Wang

Research Collection School Of Computing and Information Systems

With the prevalence of smart contracts, smart Ponzi schemes have become a common fraud on blockchain and have caused significant financial loss to cryptocurrency investors in the past few years. Despite the critical importance of detecting smart Ponzi schemes, a reliable and transparent identification approach adaptive to various smart Ponzi schemes is still missing. To fill the research gap, we first extract semantic-meaningful actions to represent the execution behaviors specified in smart contract bytecodes, which are derived from a literature review and in-depth interviews with domain experts. We then propose PonziLens+, a novel visual analytic approach that provides an intuitive …

Managing Rumors On Electronic Interaction Platforms: How Management Responses Affect Investor Reaction, Runyu Wang, Zili Zhang, Keng Siau, Ziqiong Zhang

Research Collection School Of Computing and Information Systems

This study investigates how listed firms respond to investors’ rumor-related inquiries and examines the impact of these responses on investor reactions, as indicated by subsequent daily abnormal stock returns (ARs). Using a unique dataset of question-and-answer (Q&A) interactions from China’s major e-interaction platforms, established by the stock exchanges, our study provides insights into regulated firm-investor communications in a structured Q&A setting. Unlike informal social media channels, these platforms enable official responses from firm representatives, typically board secretaries, under direct regulatory oversight. By analyzing rumor-related Q&A pairs with regression models and several robustness checks, we find that firms can benefit from …

Shortcuts Everywhere And Nowhere: Exploring Multi-Trigger Backdoor Attacks, Yige Li, Jiabo He, Hanxun Huang, Jun Sun, Xingjun Ma, Yu-Gang Jiang

Research Collection School Of Computing and Information Systems

Backdoor attacks have become a significant threat to the pre-training and deployment of deep neural networks (DNNs). Although numerous methods for detecting and mitigating backdoor attacks have been proposed, most rely on identifying and eliminating the “shortcut” created by the backdoor, which links a specific source class to a target class. However, these approaches can be easily circumvented by designing multiple backdoor triggers that create shortcuts everywhere and therefore nowhere specific. In this study, we explore the concept of Multi-Trigger Backdoor Attacks (MTBAs), where multiple adversaries leverage different types of triggers to poison the same dataset. By proposing and investigating …

Robface: A Test Suite For Efficient Robustness Evaluation Of Face Recognition Systems, Ruihan Zhang, Jun Sun

Research Collection School Of Computing and Information Systems

Face recognition is a widely used authentication technology in practice, where robustness is required. It is thus essential to have an efficient and easy-to-use method for evaluating the robustness of (possibly third-party) trained face recognition systems. Existing approaches to evaluating the robustness of face recognition systems are either based on empirical evaluation (e.g., measuring attacking success rate using state-of-the-art attacking methods) or formal analysis (e.g., measuring the Lipschitz constant). While the former demands significant user efforts and expertise, the latter is extremely time-consuming. In pursuit of a comprehensive, efficient, easy-to-use, and scalable estimation of the robustness of face recognition systems, …

From Homeland To Hostland: Language Ownership Of Heritage Dialect And Narratives Of Third Culture Kids Of The Gulf, Maryam Aref

Theses and Dissertations

The main purpose of this study is to examine Arab Adult Third Culture Kids’ sense of heritage language ownership and their identity constructions in relation to their transnational Arab Gulf context. The present study has three main aims: to ascertain their sense of ownership towards their heritage dialects, to understand the basis for their claimed or denied ownership, and to investigate the positions they ascribed to themselves and others in relation to their belonging and transnational and linguistic experiences. The study aims to fill the gap where there is a scarcity of sociolinguistic research around Arab Third Culture Kids in …

Applying The Synergy Of Experience Accounting And Service Dominant Logic To Rank Customer Experiences In The Mainstream Cruising, Ganna Demydyuk, Mats Carlbäck

Journal of Global Hospitality and Tourism

This study analyzes how service-related experiences influence customer satisfaction and perceived value for money in the cruise industry. By integrating Service-Dominant Logic (S-D-L) and Experience Accounting (EA), it aims to support the development of customer-centric performance systems for managerial decision making in the all-inclusive hospitality sector. This is the first empirical study to merge data from three perspectives in service-for-service exchanges: customer review ratings from online platforms, ship-level operational characteristics, and financial metrics from corporate reports. This integrated approach allows for a holistic evaluation of the service ecosystem and cocreation of value onboard cruise ships. A quantitative analysis was conducted …

Request For Modification 25-031 To The Long-Term Monitoring And Maintenance Plan Of The Mixed Waste Landfill And The Resource Conservation And Recovery Act Facility Operating Permit Renewal Request, Sandia National Laboratories/New Mexico, Epa Id Nm5890110518, Sandia National Laboratories/Nm Snl

Facilities-Units

The Department of Energy/National Nuclear Security Administration (DOE/NNSA) and Sandia National Laboratories, New Mexico (SNL/NM) have requested modifications to the Resource Conservation and Recovery Act Facility Operating Permit (Permit) for Sandia National Laboratories/New Mexico. The requested modifications consist of revisions to the Mixed Waste Landfill (MWL) Long-Term Monitoring and Maintenance Plan (LTMMP), which is incorporated by reference into Permit Attachment M, "Long-Term Monitoring and Maintenance Plan for Solid Waste Management Units and Areas of Concern Granted Corrective Action Complete with Controls." The MWL is also known as Solid Waste Management Unit (SWMU) 76.

The DOE/NNSA and SNL/NM propose to update …

Blending Informing Literacy And Visual Literacy: Instructional Vignettes In Art, Architecture, And Design, Stephanie Beene, Sara Schumacher, Dana Statton Thompson, Mary Wegmann

University Libraries & Learning Sciences Faculty and Staff Publications

The ACRL Framework for Visual Literacy in Higher Education (Framework for Visual Literacy), based on empirical research into the trends, opportunities, and challenges facing the field of visual literacy in the twenty-first century,1 was codified in April 2022 and is an adaptable document to help learners grow their visual literacy competencies. In this chapter, written by four of the task force members charged with the creation of the Framework for Visual Literacy, we examine the relationship between the four themes in the Framework for Visual Literacy and the six frames of the ACRL Framework for Information Literacy for Higher Education …

Implementing Slack-Free Custom Penalty Function For Qubo On Gate-Based Quantum Computers, Xin Wei Lee, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

Solving NP-hard constrained combinatorial optimization problems using quantum algorithms remains a challenging yet promising avenue toward quantum advantage. Variational Quantum Algorithms (VQAs), such as the Variational Quantum Eigensolver (VQE), typically require constrained problems to be reformulated as unconstrained ones using penalty methods. A common approach introduces slack variables and quadratic penalties in the QUBO formulation to handle inequality constraints. However, this leads to increased qubit requirements and often distorts the optimization landscape, making it harder to find high-quality feasible solutions. To address these issues, we explore a slack-free formulation that directly encodes inequality constraints using custom penalty functions, specifically the …

Optimizing Fire Detection In Remote Sensing Imagery For Edge Devices: A Quantization-Enhanced Hybrid Deep Learning Model, Syed Muhammad Salman Bukhari, Nadia Dahmani, Sujan Gyawali, Muhammad Hamza Zafar, Filippo Sanfilippo, Kiran Raja

All Works

Wildfires are increasing in frequency and severity, presenting critical challenges for timely detection and response, particularly in remote or resource-limited environments. This study introduces the Inception-ResNet Transformer with Quantization (IRTQ), a novel hybrid deep learning (DL) framework that integrates multi-scale feature extraction with global attention and advanced quantization. The proposed model is specifically optimized for edge deployment on platforms such as unmanned aerial vehicles (UAVs), offering a unique combination of high accuracy, low latency, and compact memory footprint. The IRTQ model achieves 98.9% accuracy across diverse datasets and shows strong generalization through cross-dataset validation. Quantization significantly reduces the parameter count …

Development Of The Negative Attitudes Toward Nonbinary Individuals Scale, Jenna Sue Lehmann

Tennessee State University Alumni Theses and Dissertations

Research within the field of psychology examining the experiences of transgender individuals and prejudice toward transgender individuals has increased in recent history alongside the conscious awareness of transgender individuals within the United States. The research that has been conducted has primarily focused on transgender individuals broadly as a group on binary transgender individuals. As, such measures of prejudice toward these groups have been developed and validated. Although the study of nonbinary experiences and prejudice is developing, there has been no extant measure of prejudice toward nonbinary individuals specifically. A measure of prejudice toward this group is needed to (1) examine …

I Am Scared Too: A Qualitative Study On The Influential Factors On The Fear Of Childbirth In Black Women, Imani Rivers

Tennessee State University Alumni Theses and Dissertations

Pregnancy and childbirth can evoke a range of emotions, including happiness, frustration, and fear. While some worry during pregnancy is expected, heightened and persistent fear can negatively impact a woman’s mental and physical health. Despite this, fear of childbirth remains underexplored, particularly in the context of Black women’s experiences. Existing literature lacks focus on the contextual and systemic factors contributing to this fear, creating a significant research gap (Reissig et al., 2021). Black women in the United States are disproportionately affected by medical mistreatment, often experiencing dismissal and silencing in clinical settings—an issue frequently rooted in implicit bias and racial …

Lung Injury Risk Curves From Behind Armor Blunt Trauma Using A Live Swine Model, Narayan Yoganandan, Lewis Somberg, Danielle Wilson, Alok Shah, Jared Michael Koser, Brian D. Stemper, Valeta Carol Chancey, Joseph Mcentire

Biomedical Engineering Faculty Research and Publications

Introduction

From structural, anatomical, and functional perspectives, components of the thoracoabdominal region are heterogeneous and physiologically and functionally different. Although their tolerances to injury are expected to be different, the current Roma Plastilina No. 1 clay penetration criterion for behind armor blunt trauma (BABT) is not specific to the body region. It is important to develop regional injury criteria to ensure its specificity. The objective of the study is to conduct impact tests on the lung region using a live animal model and develop injury risk curves using velocity and deflection metrics via parametric survival analysis.

Materials and Methods

Live …

Categorial Declinations & Democracy, Brenner M. Fissell

Faculty Publications

The most contentious action taken by reform prosecutors has been the issuance of categorical declination policies. Opponents decry this as bureaucratic nullification of democratically enacted offenses, while the prosecutors themselves counter that they are responding to the will of their local electorate. Democracy claims, it appears, have taken center stage in this debate, and they are deployed by both sides. How should we think about democracy and categorical declinations? The most comprehensive scholarly work on this subject is a 2021 article by Professor Kerrel Murray. In this essay, I hope to continue the work begun by Murray, offering additional insights …

Applying Artificial Intelligence And Chatbots To Enhance Collection Development In Health Sciences Libraries, Ivan Portillo, David Carson

Library Presentations, Posters, and Audiovisual Materials

The continuous advancement of artificial intelligence (AI) and large language models (LLMs) has presented several opportunities for librarians to reduce their workload and become more efficient. This session will explore the potential of generative AI chatbots in assisting health sciences librarians with collection development. Two methods that will be discussed include the potential of AI to help discover new titles and how AI can evaluate your library collection for any potential gaps based on a college program’s curriculum.

Skill Gaming, Pooled Prize Money, And Minor League Professional Tennis, Ryan Rodenberg, Seth Richey

UNLV Gaming Law Journal

No abstract provided.

Crazy Rich Asians At What Cost? The Role Of Target Marketing In Perpetuating Problem Gambling In Asian Communities, Jana Marquez

UNLV Gaming Law Journal

No abstract provided.

The House Always Learns: Integrating Ai Into Las Vegas Casino Surveillance And The Laws Behind The Lens, Taylor Dixon

UNLV Gaming Law Journal

No abstract provided.

Scientific Multimodal Summarization : Integrating Knowledge Across Textual, Visual And Auditory Content, Zusheng Tan

Lingnan Theses (MPhil & PhD)

As scientific publications increasingly incorporate multimodal content, ranging from textual descriptions to figures, tables, presentation videos, and audio, there is a growing need for summarization systems that can effectively process and integrate information across these diverse modalities.

This work presents a comprehensive exploration of Scientific Multimodal Summarization, introducing a series of novel architectures and datasets aimed at advancing this emerging field. 1): We begin by introducing CMT-Sum, which integrates multimodal scientific source content (i.e., primarily paper text and figures) to generate high-quality textual summaries and identify representative graphical abstracts. We refer to this task as Scientific Multimodal Summarization with …

Wind Turbine Rotor Design Using High-Fidelity Aerostructural Optimization, Marco Mangano, Sicheng He, Yingqian Liao, Denis-Gabriel Caprace, Andrew Ning, Joaquim R. R. A. Martins

Faculty Publications

Large wind turbines yield more energy but demand careful aeroelastic blade design. Coupled multiphysics design strategies can reduce wind energy costs exploiting fluid-structure interactions. This work presents the first high-fidelity aerostructural optimization study of a large wind turbine rotor.We use blade-resolved fluid dynamics and structural solvers in a monolithic gradient-based optimization framework to explore steady-state torque and blade mass trade-offs. The coupled-adjoint approach computes gradients efficiently, enabling the optimization of over 100 structural and geometric parameters simultaneously. Our optimization study modifies a DTU 10 MW benchmark with a simplified structure and isotropic material properties. The tightly coupled optimizations increase torque …

Effect Of Short-Chain Polymer Binders On The Mechanical And Electrochemical Performance Of Silicon Anodes, Fei Sun, L. Zurita-Garcia, Dean R. Wheeler

Faculty Publications

Polymer binders are crucial components in providing both mechanical support and chemical stability to the structure of porous Li-ion electrodes. Particularly in silicon anodes, the active material undergoes substantial volume expansion of up to 275%. Due to the mechanical constraint of the current collector, these silicon materials tend to expand in the normal direction while exhibiting substantial particle rearrangement and plastic deformation. Conventional rigid binders such as polyacrylic acid (PAA) and polyimide (PI), while providing satisfactory initial capacity, do not eliminate diminished long-term performance. Our research attempts to develop binder formulations that can accommodate sufficient flexibility for the substantial volume …

Fisheries Science Update - Pilbara Demersal Scalefish Resource - September 2025, Department Of Primary Industries And Regional Development, Western Australia

Fisheries Science Updates

The Department of Primary Industries and Regional Development (DPIRD) monitors the status of Western Australia’s demersal scalefish resources by undertaking periodic stock assessments on key indicator species.

This summary provides key outcomes of the 2024 assessment of the Pilbara Demersal Scalefish Resource (Fisheries Research Report No. 338).

A Consensus Guide To Preclinical Indirect Calorimetry Experiments, Alexander S Banks, David B Allison, Thierry Alquier, Ansarullah, Steven N Austad, Johan Auwerx, Julio E Ayala, Joseph A Baur, Stefania Carobbio, Gary A Churchill, Morten Dall, Rafael De Cabo, Jose Donato, Nathalia R V Dragano, Carol F Elias, Anthony W Ferrante, Brian N Finck, Jose E Galgani, Zachary Gerhart-Hines, Laurie J Goodyear, Justin L Grobe, Rana K Gupta, Kirk M Habegger, Sean M Hartig, Andrea L Hevener, Steven B Heymsfield, Corey D Holman, Martin Hrabě De Angelis, David E James, Lawrence Kazak, Jae Bum Kim, Martin Klingenspor, Xingxing Kong, Sander Kooijman, Louise Lantier, K C Kent Lloyd, James C Lo, Irfan J Lodhi, Paul S Maclean, Owen P Mcguinness, Gema Medina-Gómez, Raghavendra G Mirmira, Christopher D Morrison, Gregory J Morton, Timo D Müller, Yoshihiro Ogawa, David Pajuelo-Reguera, Matthew J Potthoff, Nathan Qi, Marc L Reitman, Patrick C N Rensen, Jan Rozman, Jennifer M Rutkowsky, Kei Sakamoto, Philipp E Scherer, Gary J Schwartz, Radislav Sedlacek, Mohammed Selloum, Saame Raza Shaikh, Shuai Chen, Gerald I Shulman, Vojtěch Škop, Alexander A Soukas, John R Speakman, Bruce M Spiegelman, Gregory R Steinberg, Katrin J Svensson, John P Thyfault, Tony Tiganis, Paul M Titchenell, Nigel Turner, Licio A Velloso, Antonio Vidal-Puig, Christopher S Ward, Ashley S Williams, Christian Wolfrum, Allison W Xu, Ying Xu, Juleen R Zierath, International Indirect Calorimetry Consensus Committee (Iiccc)

Children’s Nutrition Research Center Staff Publications

Understanding the complex factors influencing mammalian metabolism and body weight homeostasis is a long-standing challenge requiring knowledge of energy intake, absorption and expenditure. Using measurements of respiratory gas exchange, indirect calorimetry can provide non-invasive estimates of whole-body energy expenditure. However, inconsistent measurement units and flawed data normalization methods have slowed progress in this field. This guide aims to establish consensus standards to unify indirect calorimetry experiments and their analysis for more consistent, meaningful and reproducible results. By establishing community-driven standards, we hope to facilitate data comparison across research datasets. This advance will allow the creation of an in-depth, machine-readable data …

Coenzyme Q Headgroup Intermediates Can Ameliorate A Mitochondrial Encephalopathy, Guangbin Shi, Claire Miller, Sota Kuno, Alejandro G Rey Hipolito, Salsabiel El Nagar, Giulietta M Riboldi, Megan Korn, Wyatt C Tran, Zixuan Wang, Lia Ficaro, Tao Lin, Quentin Spillier, Begoña Gamallo-Lana, Drew R Jones, Matija Snuderl, Soomin C Song, Adam C Mar, Alexandra L Joyner, Roy V Sillitoe, Robert S Banh, Michael E Pacold

Duncan NRI Faculty and Staff Publications

Decreased brain levels of coenzyme Q10 (CoQ10), an endogenously synthesized lipophilic antioxidant1,2, underpin encephalopathy in primary CoQ10 deficiencies3,4 and are associated with common neurodegenerative diseases and the ageing process5,6. CoQ10 supplementation does not increase CoQ10 pools in the brain or in other tissues. The recent discovery of the mammalian CoQ10 headgroup synthesis pathway, in which 4-hydroxyphenylpyruvate dioxygenase-like protein (HPDL) makes 4-hydroxymandelate (4-HMA) to synthesize the CoQ10 headgroup precursor 4-hydroxybenzoate (4-HB)7, offers an opportunity to pharmacologically restore CoQ10 synthesis and mechanistically treat CoQ10 deficiencies. To test whether 4-HMA …

Advancing U.S. Competitiveness In Agentic Gen Ai: A Strategic Framework For Interoperability And Governance, Satyadhar Joshi

Harrisburg University Other Works

Abstract : The rapid evolution of artificial intelligence has given rise to agentic AI systems—autonomous entities capable of perceiving their environment, making decisions, and executing actions with minimal human intervention. This work provides a systematic analysis of agentic AI frameworks, governance models, and implementation strategies. Drawing on a comprehensive review of the literature, we examine the current state of agentic AI technologies, highlight key challenges in governance, security, and ethical oversight, and compare architectural frameworks for responsible deployment. Our results, illustrated through detailed framework comparisons and governance analyses, demonstrate that while agentic AI holds transformative potential across multiple sectors, notable …

Resource Assessment Report No. 02: West Coast Demersal Scalefish Resource 2025 Assessment, Emily A. Fisher, David V. Fairclough, Elaine Lek, Jeremy Briggs, Sybrand Alex Hesp, Ainslie Denham

Resource Assessment Reports

The West Coast Demersal Scalefish Resource (WCDSR) comprises over 100 species inhabiting inshore (20-250 m deep) and offshore ( > 250 m deep) waters of the West Coast Bioregion (WCB; north of Kalbarri to east of Augusta). The WCDSR is primarily targeted by commercial, charter and recreational boat-based line fishers, including the commercial West Coast Demersal Scalefish (Interim) Managed Fishery (WCDSIMF). Indicator species selected for monitoring and assessing the status of the inshore suite of the WCDSR include Snapper, WA Dhufish and Baldchin Groper, while indicators for the offshore suite include Hapuku, Bass Groper and Blue-eye Trevalla.

The WCDSR is more …

Challenges In Providing Equitable Education For Primary School Students With Learning Disabilities In Zimbabwe: Teachers’ Experiences., Joyce Madzinga

Dissertations

This study examines the challenges primary school teachers in Zimbabwe face when supporting students with learning disabilities (LDs). Many learners with LDs are excluded from adequate classroom support due to systemic, cultural, and resource limitations. Learning disabilities are often under-recognized as compared to other disabilities because they are invisible. Raising awareness and empowering educators are crucial steps toward addressing these hidden needs and ensuring they are recognized and met. Six teachers were interviewed using a qualitative ethnographic approach. Findings reveal obstacles, including insufficient training in special education, limited teaching resources, high pupil-teacher ratios, negative societal attitudes, and poverty-related constraints. Additional …

Nursing Education For Type 2 Diabetes And Nutrition Using Individual 1:1 Sessions In Rural Health Care, Meagan F. Wheat

Electronic Theses and Dissertations

What if proper nutrition were a nonpharmacological treatment for health problems? Nutrition is an important key to overall wellness. When patients receive the right education, they not only get the proper nutrition in their diet but also can manage their diabetes and live a better quality of life. In rural U.S. health areas, lack of access to nutrition is a barrier to patient care. Rural areas are at an even higher risk due to a lack of resources for good nutrition. One-to-one nutrition education with a nurse specialized in diabetes helps teach patients at a learning level they will comprehend. …