Digital Commons Network^™

Reless: A Framework For Assessing Safety In Deep Learning Systems, Nan Jia, Anita Raja, Raffi T. Khatchadourian

Publications and Research

Traditionally, software refactoring helps to improve a system's internal structure and enhance its non-functional features, such as reliability and run-time performance, while preserving external behavior including original program semantics. However, in the context of learning-enabled software systems (LESS), e.g., Machine Learning (ML) systems, it is unclear which portions of a software's semantics require preservation at the development phase. This is mainly because (a) the behavior of the LESS is not defined until run-time; and (b) the inherently iterative and non-deterministic nature of ML algorithms. Consequently, there is a knowledge gap in what refactoring truly means in the context of LESS …

Mapping Urban Tree Canopy Using Publicly Available Satellite Data, Rosemary Mcguinness

Theses and Dissertations

This project addresses the need for accessible, cost-effective tools for quantifying spatial and temporal changes in tree canopy cover in urban areas. Urban tree canopy provides a wide range of ecosystem services, including lowering air temperatures, reducing pollution, and mitigating stormwater runoff. Cities around the world have placed the expansion of their urban forests at the center of their sustainability goals. Consistent and timely data on urban tree canopy is essential for urban greening initiatives to succeed. Existing methods of accessing information about urban tree canopy are highly technical, costly, and labor-intensive, while the freely available source of tree canopy …

Development And Optimization Of A 1-Dimensional Convolutional Neural Network-Based Keyword Spotting Model For Fpga Acceleration, Trysten E. Dembeck

Masters Theses

Spoken Keyword Spotting (KWS) has steadily remained one of the most studied and implemented technologies in human-facing artificially intelligent systems and has enabled them to detect specific keywords in utterances. Modern machine learning models, such as the variants of deep neural networks, have significantly improved the performance and accuracy of these systems over other rudimentary techniques. However, they often demand substantial computational resources, use large parameter spaces, and introduce latencies that limit their real-time applicability and offline use. These speed and memory requirements have become a tremendous problem where faster and more efficient KWS methods dominate and better meet industry …

What If The Resulting Interval Is Too Wide: From A Heuristic Fuzzy-Technique Idea To A Mathematically Justified Approach, Marc Fina, Vladik Kreinovich

Departmental Technical Reports (CS)

In engineering designs, we usually need to make sure that the values of some characteristics y do not exceed a certain threshold y0 – e.g., that the stress at each location does not exceed a certain critical value. Usually, we know how each of these characteristics y depends on the design parameters x1, . . . ,xn, i.e., we know the function y= f (x1, . . . ,xn). However, it is not enough to use the nominal values of the design parameters in our analysis, since the actual values are, in general, somewhat different from the nominal values. Often, …

An Efficient Neutrosophic Approach For Evaluating Possible Industry 5.0 Enablers In Consumer Electronics: A Case Study, Mai Mohamed, Asmaa Elsayed, Bilal Arain, Jun Ye

Neutrosophic Systems with Applications

With the use of cutting-edge technologies like artificial intelligence (AI), robotics, and the Internet of Things (IoT), Industry 5.0 represents a breakthrough move towards a sustainable and human-centered industrial future. Industry 5.0 endeavors to transform industries such as consumer electronics by emphasizing sustainability and collaboration, in contrast to its predecessors, who only concentrated on automation and efficiency. Along with improved manufacturing efficiency and product innovation, this change in the consumer electronics sector also redefines the human-machine interaction. This paper proposes a novel hybrid integrating model that combines the Entropy Weight Method (EWM), Best-Worst Method (BWM), and an acronym in Portuguese …

Cubic Soft Ideals On B-Algebra For Solving Complex Problems: Trend Analysis, Proofs, Improvements, And Applications, Muhammad Saeed, Hafiz Inam Ul Haq, Mubashir Ali

Neutrosophic Systems with Applications

In this paper, we introduce the concepts of cubic soft (CS) algebra, CS o-subalgebra, and CS ideals within the framework of B-algebra. We provide comprehensive characterizations of these new structures, elucidating their unique properties and interrelationships. Specifically, we present detailed conditions under which a CS subalgebra can be classified as a closed CS ideal. Our analysis explores the intricate relationships among closed cubic soft ideals, cubic soft subalgebras, and cubic soft o-subalgebras. By doing so, we aim to provide a deeper understanding of how these structures interact and coexist within the broader context of B-algebra The findings offer significant insights …

Divergence Measures And Aggregation Operators For Single-Valued Neutrosophic Sets With Applications In Decision-Making Problems, Surender Singh, Sonam Sharma

Neutrosophic Systems with Applications

Single-valued neutrosophic sets (SVNSs) facilitate the representation of uncertain information more extensively than conventional methods. The study of divergence measures of SVNSs is important due to their applications in different areas like multi-criteria decision-making (MCDM), pattern recognition, cluster analysis, machine learning, etc., In this paper, we introduce a divergence measure for SVNSs. The suggested divergence measure is applied to cluster analysis for the classification of imprecise data. For establishing the reasonability and advantage of the suggested divergence measure in a clustering problem over the existing measures, a comparative assessment is also presented. Furthermore, we introduce, an inferior ratio method for …

Feature Importance In The Context Of Traditional And Just-In-Time Software Defect Prediction Models, Susmita Haldar, Luiz Fernando Capretz

Electrical and Computer Engineering Publications

Software defect prediction models can assist software testing initiatives by prioritizing testing error-prone modules. In recent years, in addition to the traditional defect prediction model approach of predicting defects from class, modules, etc., Just-In- Time defect prediction research, which focuses on the change history of software products is getting prominent. For building these defect prediction models, it is important to understand which features are primary contributors to these classifiers. This study considered developing defect prediction models incorporating the traditional and the Just-In-Time approaches from the publicly available dataset of the Apache Camel project. A multi-layer deep learning algorithm was applied …

Shapley Value Under Interval Uncertainty And Partial Information, Kittawit Autchariyapanikul, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the 1950s, the future Nobelist Lloyd Shapley solved the problem of how to fairly divide the common gain. Namely, he showed that some reasonable requirements determine a unique division -- which is now known as the Shapley value. The main limitation of Shapley's solution is that it assumes that for each subgroup of the original group of participants, we know exactly how much this group could gain if it acted by itself, without involving others. In practice, we rarely know these exact values. At best, we know the bounds on each such value -- i.e., in other words, an …

Story Of Your Lazy Function's Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Li-Yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

Computer Science Faculty Publications and Presentations

Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost. Existing works either require manually annotating sharing, or rely on separation logic to reason about heaps of mutable cells. In this paper, we propose a bidirectional demand semantics that allows for extrinsic reasoning about the computation cost of lazy programs without relying on special program logics. To show the effectiveness of our approach, we apply the demand semantics to a variety of case studies including insertion sort, selection sort, Okasaki's banker's queue, and the …

Interpretation Models For Prostate Lesion: Detecting, Explaining, And Understanding., Mehmet Akif Gulum

Electronic Theses and Dissertations

Prostate cancer is a major public health concern, affecting millions of men worldwide. While early detection and treatment of prostate cancer is critical for improving patient outcomes, the detection of prostate lesions is even more important for timely intervention and management of the disease. Prostate lesions are abnormal growths or lumps within the prostate gland, which may or may not be cancerous. The timely detection and accurate diagnosis of prostate lesions is crucial for effective treatment and management of the disease. In recent years, deep learning models have shown promise in accurately detecting and characterizing prostate lesions using advanced imaging …

Artificial Intelligence, Work, And The Future Of Education, Daniel Brown

Library Presentations

No abstract provided.

Changes In Near-Field Perception And Reaching Behavior In Virtual Environments Over Time, Kristopher C. Kohm

All Dissertations

Near-field perception and reaching capabilities are fundamental for most interactions in immersive virtual environments (IVEs). To perform actions in IVEs accurately and efficiently, virtual reality (VR) users need to be able to adapt to changes in their perception. Some of these perceptual differences may be inherent to virtual environments, such as the difference in depth perception between the virtual and non-virtual worlds. Others may be deliberate alterations to the user's action capabilities or to their surroundings to make interactions easier. Both the alterations and the user's ability to adjust to them may change over time as they gain experience in …

Contemplating Existence: Ai And The Meaning Of Life, Emily Barnes, James Hutson

Faculty Scholarship

This article explores the intersection of artificial intelligence (AI) with existential philosophy, examining how AI technologies influence human conceptualizations of purpose and meaning. Despite rapid advancements in AI, the domain's implications for existential thought remain underexplored. By integrating interdisciplinary perspectives from psychology, philosophy, and AI ethics, this study elucidates how AI can shape, challenge, or enhance our understanding of life's purpose. It investigates theoretical frameworks and practical implementations of AI engaging in existential questions, analyzing both the capabilities and limitations of AI systems such as ChatGPT in simulating human existential thought. The ethical implications of AI's role in existential inquiries …

Beyond Automation: Ai As A Catalyst For New Job Creation In Software Development, Jill Willard, James Hutson

Faculty Scholarship

As artificial intelligence (AI) continues to evolve, its impact on software development and programming is profound, drawing parallels to the shift from assembler to object-oriented programming. This article explores how AI is reshaping the landscape of software jobs, creating new opportunities rather than diminishing them. By simplifying complex tasks and lowering barriers to coding, AI is expanding the technology "pie," introducing new use cases, and enhancing efficiency. The transition from monolithic services to microservices has reduced risks and accelerated deployment processes, and AI is poised to further this evolution by managing the complexities of service interactions through advanced orchestration layers. …

Exploring Healthcare Chatbot Information Presentation: Applying Hierarchical Bayesian Regression And Inductive Thematic Analysis In A Mixed Methods Study, Samuel Nelson Koscelny

All Theses

High blood pressure, also known as hypertension, significantly increases the risk of heart disease and stroke, which are leading causes of death in the United States. While contributing to over 691,000 deaths in 2021 alone in the United States (U.S.), it also imposes immense economic burden on the healthcare system, costing approximately $131 billion annually. One way to address this issue is for increased self-care behaviors and medication adherence, both of which require sufficient health literacy. Despite the importance of health literacy, 90% of U.S. adults struggle with health-related subjects. Overcoming the issues associated with health literacy requires addressing the …

Examining The Theory Of Planned Behavior As An Explanation For Why Some Creatives Learn To Use Generative Ai Tools, Navrose Bajwa

Theses, Dissertations and Culminating Projects

Artificial Intelligence (AI) can create art which earlier was restricted to humans. This involvement of AI in creating art poses risks of automation for the arts and design industry. One way with which artists can respond to this threat is to engage in proactive coping behavior and learn to use generative AI (GAI) for their work. Using an expanded version of Theory of Planned Behavior, this study looked at the predictors of graphic designer’s intentions to learn how to use GAI for art and design work. It was hypothesized that attitudes, social norms, perceived behavioral control and automation awareness would …

Cybersecurity In Education, Rahima Shelim

Theses, Dissertations and Culminating Projects

Cybersecurity is becoming increasingly important as we rely more on digital devices and programs to conduct our daily lives, including the transfer and storage of personal information. According to research, one of the most critical stages in improving cybersecurity is to implement an effective security awareness program. In this work, we seek to understand the existing level of security knowledge among college students, industry professionals and create a module to help raise the awareness. Our module's primary elements are interaction and the display of alarming effects of reckless cyber behaviors among common Internet/technology users. This report presents a simple systematic …

Chain-Of-Exemplar: Enhancing Distractor Generation For Multimodal Educational Question Generation, Haohao Luo, Yang Deng, Ying Shen, See-Kiong Ng, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Multiple-choice questions (MCQs) are important in enhancing concept learning and student engagement for educational purposes. Despite the multimodal nature of educational content, current methods focus mainly on text-based inputs and often neglect the integration of visual information. In this work, we study the problem of multimodal educational question generation, which aims at generating subject-specific educational questions with plausible yet incorrect distractors based on multimodal educational content. To tackle this problem, we introduce a novel framework, named Chain-of-Exemplar (CoE), which utilizes multimodal large language models (MLLMs) with Chain-of-Thought reasoning to improve the generation of challenging distractors. Furthermore, CoE leverages three-stage contextualized …

Interpretable Tensor Fusion, Saurabh Varshneya, Antoine Ledent, Philipp Liznerski, Andriy Balinskyy, Purvanshi Mehta, Waleed Mustafa, Marius Kloft

Research Collection School Of Computing and Information Systems

Conventional machine learning methods are predominantly designed to predict outcomes based on a single data type. However, practical applications may encompass data of diverse types, such as text, images, and audio. We introduce interpretable tensor fusion (InTense), a multimodal learning method training a neural network to simultaneously learn multiple data representations and their interpretable fusion. InTense can separately capture both linear combinations and multiplicative interactions of the data types, thereby disentangling higher-order interactions from the individual effects of each modality. InTense provides interpretability out of the box by assigning relevance scores to modalities and their associations, respectively. The approach is …

Reachability-Aware Fair Influence Maximization, Wenyue Ma, Maximilian K. Egger, Andreas Pavlogiannis, Yuchen Li, Panagiotis Karras

Research Collection School Of Computing and Information Systems

How can we ensure that an information dissemination campaign reaches every corner of society and also achieves high overall reach? The problem of maximizing the spread of influence over a social network has commonly been considered with an aggregate objective. Less attention has been paid to achieving equality of opportunity, reducing information barriers, and ensuring that everyone in the network has a fair chance to be reached. To that end, the fairness objective aims to maximize the minimum probability of reaching an individual. To address this inapproximable problem, past research has proposed heuristics, which, however, perform less well when the …

The Health Belief Model And Phishing: Determinants Of Preventative Security Behaviors, Jie Du, Andrew Kalafut, Gregory Schymik

Open Access Publishing Support Funded Articles

Email is frequently the attack vector of choice for hackers and is a large concern for campus IT organizations. This paper attempts to gain insight into what drives the email security behaviors of students, faculty, and staff at one midwestern public, master’s granting university. The survey relies on the health belief model as its theoretical basis and measures eight constructs including email security behavior, perceived barriers to practice, self-efficacy, cues to action, prior security experience, perceived vulnerability, perceived benefits, and perceived severity. Barriers to practice, self-efficacy, vulnerability, benefits, and prior experience variables were found to be significant determinants of self-reported …

Development Of Feature Extraction Models To Improve Image Analysis Applications In Cancer, Yu Shi

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

Cancer poses a significant global health challenge. With an estimated 20 million new cases diagnosed worldwide in 2022 and 9.7 million fatalities attributable to the disease, the economic burden of cancer is immense. It impacts healthcare systems and imposes substantial costs for its care on patients and their families. Despite advancements in early detection, prevention, and treatment that have reduced overall cancer mortality rates, the growing prevalence of cancer, particularly among younger individuals, remains a pressing issue.

Recent advancements in medical imaging technology have progressed significantly with the help of emerging computer vision and artificial intelligence (AI) technology. Despite these …

A Data-Driven Discovery System For Studying Extracellular Microrna Sorting And Rna-Protein Interactions, Sasan Azizian

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

Interactions between microRNAs (miRNAs) and RNA-binding proteins (RBPs) are pivotal in miRNA-mediated sorting, yet the molecular mechanisms underlying these interactions remain largely understudied. Few miRNA-binding proteins have been verified, typically requiring extensive laboratory work. This study introduces DeepMiRBP, a novel hybrid deep learning model designed to predict microRNA-binding proteins. The model integrates Bidirectional Long Short-Term Memory (Bi-LSTM) networks with attention mechanisms, transfer learning, and cosine similarity to offer a robust computational approach for inferring miRNA-protein interactions.

DeepMiRBP is implemented through two distinct architectures. The first architecture employs a Y-shaped model that uses Bi-LSTM networks and transfer learning to extract contextual …

Long Term Ultrasonic Monitoring And Machine Learning Investigation Of Micro-Crack Damaged Concrete, Yalei Tang

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

The thermal modulation method is a recently developed nonlinear ultrasonic technique for evaluating material damage. This method utilizes thermal strain changes resulting from temperature variations to excite the nonlinear behavior of materials and modulate high-frequency ultrasonic waves within them. Its working principle suggests significant potential for application in large-scale concrete structures and in-situ monitoring of real structures. Despite numerous laboratory demonstrations of its effectiveness, several gaps remain before it can be applied to in-service large concrete structures.

This study investigates the potential of the thermal modulation technique for evaluating concrete structures in ambient conditions, addressing key uncertainties for practical implementation. …

Integration Of Matlab And Machine Learning To Accelerate Evaluation Of Biological Activity In Agricultural Soils And Promote Soil Health Improvement Goals, Andrew Stiven Ortiz Balsero

Department of Agricultural and Biological Systems Engineering: Dissertations, Theses, and Student Research

Traditionally, assessments of soil biological activity have been confined to laboratory settings, creating a disconnect with practical in-field methods. To bridge this gap, cotton fabric degradation has been used to illustrate soil microbial activity under different management practices. While effective, these demonstrations are subjective and labor-intensive.

Researchers have explored using image processing software like ImageJ and Adobe Photoshop to streamline this process. Although these tools accurately quantified fabric degradation under varying soil conditions, the methods remained labor-intensive and complex. Consequently, these methods were still not ideal for on-farm use by agricultural practitioners.

To further address labor and complexity limitations, the …

Optimization Of Customer Service And Driver Dispatch Areas For On-Demand Food Delivery, Jingfeng Yang, Hoong Chuin Lau, Hai Wang

Research Collection School Of Computing and Information Systems

With the rapid development and popularization of mobile and wireless communication technologies, on-demand food delivery (OFD) platforms have been able to connect restaurants, customers, and drivers in real time, drastically changing dining and food delivery services. Motivated by the critical need for supply and demand management in the on-demand food delivery market, we focus on the optimization of customer service area and driver dispatch area for on-demand food delivery services. Specifically, for each restaurant, the platform needs to decide the (1) customer service area (CSA), i.e., the surrounding area within which customers can see the restaurant’s information and order food …

Image Processing Techniques For Water Droplet Penetration Time And Contact Angle Estimation, Sai Balaji Jai Kumar

UNLV Theses, Dissertations, Professional Papers, and Capstones

Water droplet behavior on soil surfaces plays a critical role in numerous environmental processes, including soil erosion, hydrological dynamics, and ecosystem health. Accurate characterization of soil water repellency, quantified by parameters such as water droplet penetration time (WDPT) and contact angles (WDCA), is essential for informed decision-making in agricultural management, forestry practices, and land-use planning. Despite the significance of these parameters, challenges exist in reliably estimating them due to the complex and dynamic nature of soil-water interactions. This thesis address challenges in estimating WDPT and WDCA, by leveraging state-of-the-art image processing techniques and machine learning algorithms. The research focuses on …

Scoring Single-Sample Pathway Expression Level Using Graph Autoencoder, Eunyoung Jang

UNLV Theses, Dissertations, Professional Papers, and Capstones

Single-sample pathway analysis (ssPA) is a bioinformatics technique used to assess the activity of biological pathways in individual samples, rather than relying on aggregated data from multiple samples. This approach allows for the detection of pathway activation or suppression in single samples, making it a valuable approach in research and clinical applications where individual variability is critical. In this paper, we propose a deep-learning method that scores individual pathway expression levels using a graph autoencoder. The proposed method provides insights into the biological processes and leverages the high dimensionality of gene expression data by setting the nodes in the neural …

Interpretable And Evidential Deep Learning For Medical Image Analysis, Sai Chandra Kosaraju

UNLV Theses, Dissertations, Professional Papers, and Capstones

Automatic histopathological Whole Slide Image (WSI) analysis has been highlighted along with the advancements in microscopic imaging techniques, but manual examination and diagnosis of WSIs are time-consuming and tiresome. Recently, deep convolutional neural networks have succeeded in histopathological image analysis. Especially, Convolutional Neural Networks CNN models such as Inception and DenseNet have achieved effective performance. However, automatic histopathological WSI analysis still has significant drawbacks such as considering deep learning as black-box models, predicting disease independently on a small part of images (patch images) extracted from WSIs, limitations in predicting a single slide-based score for a patient, and capturing disease-specific morphology …