Digital Commons Network^™

Certified Policy Verification And Synthesis For Mdps Under Distributional Reach-Avoidance Properties, S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Markov Decision Processes (MDPs) are a classical model for decision making in the presence of uncertainty. Often they are viewed as state transformers with planning objectives defined with respect to paths over MDP states. An increasingly popular alternative is to view them as distribution transformers, giving rise to a sequence of probability distributions over MDP states. For instance, reachability and safety properties in modeling robot swarms or chemical reaction networks are naturally defined in terms of probability distributions over states. Verifying such distributional properties is known to be hard and often beyond the reach of classical state-based verification techniques. In …

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, …

Macrohft : Memory Augmented Context-Aware Reinforcement Learning On High Frequency Trading, Chuqiao Zong, Chaojie Wang, Molei Qin, Lei Feng, Xinrun Wang, Xinrun Wang

Research Collection School Of Computing and Information Systems

High-frequency trading (HFT) that executes algorithmic trading in short time scales, has recently occupied the majority of cryptocurrency market. Besides traditional quantitative trading methods, reinforcement learning (RL) has become another appealing approach for HFT due to its terrific ability of handling high-dimensional financial data and solving sophisticated sequential decision-making problems, e.g., hierarchical reinforcement learning (HRL) has shown its promising performance on second-level HFT by training a router to select only one sub-agent from the agent pool to execute the current transaction. However, existing RL methods for HFT still have some defects: 1) standard RL-based trading agents suffer from the overfitting …

Reinforcement Tuning For Detecting Stances And Debunking Rumors Jointly With Large Language Models, Ruichao Yang, Wei Gao, Jing Ma, Hongzhan Ling, Bo Wang

Research Collection School Of Computing and Information Systems

Learning multi-task models for jointly detecting stance and verifying rumors poses challenges due to the need for training data of stance at post level and rumor veracity at claim level, which are difficult to obtain. To address this issue, we leverage large language models (LLMs) as the foundation annotators for the joint stance detection (SD) and rumor verification (RV) tasks, dubbed as JSDRV. We introduce a novel reinforcement tuning framework to enhance the joint predictive capabilities of LLM-based SD and RV components. Specifically, we devise a policy for selecting LLM-annotated data at the two levels, employing a hybrid reward mechanism …

Segac: Sample Efficient Generalized Actor Critic For The Stochastic On-Time Arrival Problem, Honglian Guo, Zhi He, Wenda Sheng, Zhiguang Cao, Yingjie Zhou, Weinan Gao

Research Collection School Of Computing and Information Systems

This paper studies the problem in transportation networks and introduces a novel reinforcement learning-based algorithm, namely. Different from almost all canonical sota solutions, which are usually computationally expensive and lack generalizability to unforeseen destination nodes, segac offers the following appealing characteristics. segac updates the ego vehicle’s navigation policy in a sample efficient manner, reduces the variance of both value network and policy network during training, and is automatically adaptive to new destinations. Furthermore, the pre-trained segac policy network enables its real-time decision-making ability within seconds, outperforming state-of-the-art sota algorithms in simulations across various transportation networks. We also successfully deploy segac …

Robust Asynchronous Federated Learning With Time-Weighted And Stale Model Aggregation, Yinbin Miao, Ziteng Liu, Xinghua Li, Meng Li, Hongwei Li, Kim-Kwang Raymond Choo, Robert H. Deng

Research Collection School Of Computing and Information Systems

Federated Learning (FL) ensures collaborative learning among multiple clients while maintaining data locally. However, the traditional synchronous FL solutions have lower accuracy and require more communication time in scenarios where most devices drop out during learning. Therefore, we propose an Asynchronous Federated Learning (AsyFL) scheme using time-weighted and stale model aggregation, which effectively solves the problem of poor model performance due to the heterogeneity of devices. Then, we integrate Symmetric Homomorphic Encryption (SHE) into AsyFL to propose Asynchronous Privacy-Preserving Federated Learning (Asy-PPFL), which protects the privacy of clients and achieves lightweight computing. Privacy analysis shows that Asy-PPFL is indistinguishable under …

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 …

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, …

White Light Specular Reflection Data Augmentation For Polyp Detection, Jose Angel Nunez

Theses and Dissertations

Colorectal cancer is among the deadliest cancers, but fortunately, this type of cancer can be prevented. The best current method of prevention is via detecting the bad polyps in the colon in time. Furthermore, the best method we have available to detect these bad polyps is through colonoscopies. Even though a lot of lives have been saved via these methods, it is still not perfect because of human error. Integrating artificial intelligence into colonoscopy procedures is our next evolution in increasing our prevention of colorectal cancer. Polyp detectors are one of the tools brought by advancements in technology that may …

Comparative Analysis Of Transfer Learning Strategies For Polyp Detection In Colonoscopy Images Using Yolov8, Fabian Vazquez Jr.

Theses and Dissertations

The early detection of polyps during colonoscopy procedures is crucial for preventing colorectal cancer, a leading cause of cancer-related deaths globally. Traditional methods for polyp detection are often time-consuming and prone to human error. This thesis investigates the effectiveness of transfer learning, the process of taking a pre-trained model that was trained on a large dataset and adapting it to a new, but related task, requiring less data and time for training. This research compares whether the YOLOv8 model trained from scratch on a specific polyp dataset is outperformed by transfer learning methods such as utilizing a pretrained model on …

Fishing Vessel Detection In Exclusive Economic Zones From Low Earth Orbit Satellites With Power And Computational Constraints, Kyler E. Nelson

All Graduate Theses and Dissertations, Fall 2023 to Present

Illegal fishing activities pose a significant threat to the sustainability of marine ecosystems and the economies and societies which rely on them. Detection of fishing vessels engaging in illegal activity is difficult, as many ships engaging in such activity actively avoid detection through radio systems used for maritime traffic monitoring. Satellite imagery provides a promising means for detecting fishing vessels, though designing an effective system is difficult due to limited availability of labeled image datasets of fishing vessels. This research proposes a system to detect illegal fishing activity through the use of a low-power ship detection satellite and proposes a …

Informed Intervention Design, Deployment, And Analysis For The Computer Science Classroom, Jaxton J. Winder

All Graduate Theses and Dissertations, Fall 2023 to Present

Improving the teaching of computer science is a challenging task. Educators and computing education researchers devote large amounts of time, energy, and resources towards doing so effectively. One of the ways this is done is through research-informed design, deployment, and analysis of targeted interventions to the classroom. This thesis will detail research conducted at Utah State University targeting classroom interventions: centered around their design, deployment, and analysis.

One of these interventions aims to tackle student procrastination through the offering of “grace points”–forgiving a small amount of mistakes on a student’s assignment–for analyzing a homework assignment early. Through studying this intervention, …

Creating A Virtual Hierarchy From A Relational Database, Yucong Mo

All Graduate Theses and Dissertations, Fall 2023 to Present

In data management and modeling, the value of the hierarchical model is that it does not require expensive JOIN operations at runtime; once the hierarchy is built, the relationships among data are embedded in the tree-like hierarchical structure, and thus querying data could be much faster than using a relational database. Today most data is stored in relational databases, but if the data were stored in hierarchies, what would these hierarchies look like? And more importantly, would this transition lead to a more efficient database? This thesis explores these questions by introducing a set of algorithms to convert a relational …

High Prevalence Of Artifacts In Optical Coherence Tomography With Adequate Signal Strength, Wei-Chun Lin, Aaron Coyner, Charles Amankwa, Abigail Lucero, Gadi Wollstein, Joel Schuman, Hiroshi Ishikawa

Wills Eye Hospital Papers

PURPOSE: This study aims to investigate the prevalence of artifacts in optical coherence tomography (OCT) images with acceptable signal strength and evaluate the performance of supervised deep learning models in improving OCT image quality assessment.

METHODS: We conducted a retrospective study on 4555 OCT images from 546 patients, with each image having an acceptable signal strength (≥6). A comprehensive analysis of prevalent OCT artifacts was performed, and five pretrained convolutional neural network models were trained and tested to infer images based on quality.

RESULTS: Our results showed a high prevalence of artifacts in OCT images with acceptable signal strength. Approximately …

Checklist For Reproducibility Of Deep Learning In Medical Imaging, Mana Moassefi, Yashbir Singh, Gian Marco Conte, Bardia Khosravi, Pouria Rouzrokh, Sanaz Vahdati, Nabile Safdar, Linda Moy, Felipe Kitamura, Amilcare Gentili, Paras Lakhani, Nina Kottler, Safwan Halabi, Joseph Yacoub, Yuankai Hou, Khaled Younis, Bradley Erickson, Elizabeth Krupinski, Shahriar Faghani

Department of Radiology Faculty Papers

The application of deep learning (DL) in medicine introduces transformative tools with the potential to enhance prognosis, diagnosis, and treatment planning. However, ensuring transparent documentation is essential for researchers to enhance reproducibility and refine techniques. Our study addresses the unique challenges presented by DL in medical imaging by developing a comprehensive checklist using the Delphi method to enhance reproducibility and reliability in this dynamic field. We compiled a preliminary checklist based on a comprehensive review of existing checklists and relevant literature. A panel of 11 experts in medical imaging and DL assessed these items using Likert scales, with two survey …

Ensuring The Privacy Compliance Of Voice Personal Assistant Applications, Song Liao

All Dissertations

Voice Personal Assistants (VPA) such as Amazon Alexa and Google Assistant are quickly and seamlessly integrating into people’s daily lives. Meanwhile, the increased reliance on VPA services raises privacy concerns, such as the leakage of private conversations and sensitive information. Privacy policies play an important role in addressing users’ privacy concerns and developers are required to provide privacy policies to disclose their apps’ data practices. In addition, voice apps targeting users in European countries are required to comply with the GDPR (General Data Protection Regulation). However, little is known about whether these privacy policies are informative and trustworthy on emerging …

Genomic Data Science Approaches For Understanding Human Diseases, Snehal Shah

All Dissertations

The intricate interplay of genetic predisposition, environmental influences, and lifestyle acts as the multifactorial landscape of diseases. Understanding this complexity presents a significant challenge. Molecular insights into disease mechanisms, particularly the interactions of DNA, RNA, and proteins with environmental and lifestyle factors, have revolutionized disease diagnosis, prognosis, and treatment. High-throughput technologies, such as next-generation sequencing, generate large amounts of molecular data, holding a wealth of knowledge. These datasets unveil the roles of genes and their interactions with various factors through analysis, shedding light on previously unknown molecular mechanisms underlying disease pathogenesis. Furthermore, they facilitate the discovery of biomarkers crucial for …

Exploratory Analysis In Rio Grande Valley Real Estate Development, Mathew C. Sosa

Theses and Dissertations

The aim of this thesis is to apply exploratory data analysis and machine learning (ML) to answer critical questions in real estate development within the Rio Grande Valley (RGV). The real estate development sector is highly dynamic and relies on multiple integrated systems and planning to bring new homes to the market. Customer Relationship Management (CRM) software and real estate listing services, such as Redfin, are utilized to manage the customer lifecycle and analyze the local market, respectively. Two of the most crucial aspects of the customer lifecycle are the first home tour and deal closing. This paper explores the …

Neural Networks For Decisions Under Uncertainty, Edwin Tomy George

Open Access Theses & Dissertations

Neural networks are used in many real-world applications, ranging from classification tasks to medical diagnostics. For each task, a neural network is typically able to make predictions due to its ability to extract meaningful patterns from processing large amounts of data. Thus, given the increases in available data in recent decades, the performance of neural networks in making accurate predictions has greatly increased. However, this data often comes with ingrained uncertainties due to measurement errors or the inherent variability of individual data points. Neural networks can learn despite the errors in the overall data, but what if we want them …

Semantic Linguistic User Profiles For Automatic Computational Narrative Creation For Scientific Models, Angel Uriel Ortega Castillo

Open Access Theses & Dissertations

The outcomes of scientific models can be hard to understand given the need for context, domain knowledge, and many variables and data being used. This research aims to provide users of scientific models with understandable information that can be automatically generated. For the context of this research, understandable is defined as being correctly interpreted (i.e., with respect to the original intent of the data). Scientific information can be conveyed to users in the form of a narrative or visualizations, and these are not necessarily separate from each other, but rather complimentary. One of the objectives of this research is to …

A Real-Time Iot-Based Data Acquisition And Monitoring System For Photovoltaic Applications, Adam Barbosa, Hamza Mubarak, Fazel Mohammadi, Mohammad J. Sanjari, Mehrdad Saif

Electrical & Computer Engineering and Computer Science Faculty Publications

The transition to low-carbon energy systems, driven by climate change and fossil fuel scarcity, highlights technologies, such as Photovoltaic (PV) technology, for sustainable energy generation. This paper focuses on enhancing the efficiency of PV monitoring systems by leveraging Internet of Things (IoT) technology for accurate and real-time monitoring of essential parameters, such as voltage, current, and output power. Significant gaps in cost-effective and reliable IoT integration for PV monitoring are addressed, with an emphasis on predictive modeling. In this regard, a low-cost real-time IoT-based data acquisition and monitoring system for PV systems, as a proof of concept for future endeavors …

Querymate: A Custom Llm Powered By Llamacpp, Pegah Khosravi

Open Educational Resources

No abstract provided.

Tool-Sensed Object Information Effectively Supports Vision For Multisensory Grasping, Ivan Camponogara, Alessandro Farnè, Robert Volcic

All Works

Tools enable humans to extend their sensing abilities beyond the natural limits of their hands, allowing them to sense objects as if they were using their hands directly. The similarities between direct hand interactions with objects (hand-based sensing) and the ability to extend sensory information processing beyond the hand (tool-mediated sensing) entail the existence of comparable processes for integrating tool- and hand-sensed information with vision, raising the question of whether tools support vision in bimanual object manipulations. Here, we investigated participants' performance while grasping objects either held with a tool or with their hand and compared these conditions with visually …

Deep Representation Learning For Time Series Forecasting, Gerald Woo

Dissertations and Theses Collection (Open Access)

Time series forecasting has critical applications across business and scien- tific domains, such as demand forecasting, capacity planning and management, and anomaly detection. Being able to predict the future yields immense value, allowing us to make downstream decisions with more confidence. Deep learning for time series forecasting is a burgeoning area of research, moving away from simple linear models found in classical time series analysis literature, towards more expressive, data hungry neural network architectures.

In this thesis, we develop methods leveraging deep representation learning for time series forecasting, from exploring neural network architecture designs which encode inductive biases specific to …

Topic Modeling On Document Networks With Dirichlet Optimal Transport Barycenter, Ce Zhang, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

Text documents are often interconnected in a network structure, e.g., academic papers via citations, Web pages via hyperlinks. On the one hand, though Graph Neural Networks (GNNs) have shown promising ability to derive effective embeddings for such networked documents, they do not assume a latent topic structure and result in uninterpretable embeddings. On the other hand, topic models can infer semantically interpretable topic distributions for documents by associating each topic with a group of understandable key words. However, most topic models mainly focus on plain text within documents and fail to leverage network structure across documents. Network connectivity reveals topic …

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 …

Mining Gambling Data For Modeling Gambling Behavior Patterns, Piyush Aniruddha Puranik

UNLV Theses, Dissertations, Professional Papers, and Capstones

Understanding player behavior for responsible gambling research is a difficult task due to the lack of data on players’ activities. Past studies in this area are largely limited to publicly available behavioral data or aggregated players data. Problem gambling in gamblers is typically identified only after they have already been addicted or have already been engaging in problematic gambling behavior. Furthermore, “risky” gambling behavior has historically been difficult to define due to the varying patterns of gambling activity that could potentially be attributed to it.In this dissertation we illustrate the methodology and algorithms used to engineer financial data for further …

Towards High Performance And Energy Efficient Data Centers., Bryan Harris

Electronic Theses and Dissertations

Our modern society has become ever more connected and reliant on ever larger quantities of data, which must be collected and processed over large geographic areas. The data centers that store, compute, and share this data have grown to such a scale that many data centers use as much electricity as a city. Priorities in research have shifted from not only seeking greater performance, but also towards greater energy efficiency. The control and management of computer systems has an impact on power consumption beyond the needs of individual components. In this dissertation, we examine techniques for improved performance and energy …

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 …