Computer Sciences Commons^™

Monocular Bev Perception Of Road Scenes Via Front-To-Top View Projection, Wenxi Liu, Qi Li, Weixiang Yang, Jiaxin Cai, Yuanhong Yu, Yuexin Ma, Shengfeng He, Jia Pan

Research Collection School Of Computing and Information Systems

HD map reconstruction is crucial for autonomous driving. LiDAR-based methods are limited due to expensive sensors and time-consuming computation. Camera-based methods usually need to perform road segmentation and view transformation separately, which often causes distortion and missing content. To push the limits of the technology, we present a novel framework that reconstructs a local map formed by road layout and vehicle occupancy in the bird's-eye view given a front-view monocular image only. We propose a front-to-top view projection (FTVP) module, which takes the constraint of cycle consistency between views into account and makes full use of their correlation to strengthen …

Granular3d: Delving Into Multi-Granularity 3d Scene Graph Prediction, Kaixiang Huang, Jingru Yang, Jin Wang, Shengfeng He, Zhan Wang, Haiyan He, Qifeng Zhang, Guodong Lu

Research Collection School Of Computing and Information Systems

This paper addresses the significant challenges in 3D Semantic Scene Graph (3DSSG) prediction, essential for understanding complex 3D environments. Traditional approaches, primarily using PointNet and Graph Convolutional Networks, struggle with effectively extracting multi-grained features from intricate 3D scenes, largely due to a focus on global scene processing and single-scale feature extraction. To overcome these limitations, we introduce Granular3D, a novel approach that shifts the focus towards multi-granularity analysis by predicting relation triplets from specific sub-scenes. One key is the Adaptive Instance Enveloping Method (AIEM), which establishes an approximate envelope structure around irregular instances, providing shape-adaptive local point cloud sampling, thereby …

Solving Fractional Differential Equations On A Quantum Computer: A Variational Approach, Fong Yew Leong, Dax Enshan Koh, Jian Feng Kong, Siong Thye Goh, Jun Yong Khoo, Wei Bin Ewe, Hongying Li, Jayne Thompson, Dario Poletti

Research Collection School Of Computing and Information Systems

We introduce an efficient variational hybrid quantum-classical algorithm designed for solving Caputo time-fractional partial differential equations. Our method employs an iterable cost function incorporating a linear combination of overlap history states. The proposed algorithm is not only efficient in terms of time complexity but also has lower memory costs compared to classical methods. Our results indicate that solution fidelity is insensitive to the fractional index and that gradient evaluation costs scale economically with the number of time steps. As a proof of concept, we apply our algorithm to solve a range of fractional partial differential equations commonly encountered in engineering …

Certified Continual Learning For Neural Network Regression, Hong Long Pham, Jun Sun

Research Collection School Of Computing and Information Systems

On the one hand, there has been considerable progress on neural network verification in recent years, which makes certifying neural networks a possibility. On the other hand, neural network in practice are often re-trained over time to cope with new data distribution or for solving different tasks (a.k.a. continual learning). Once re-trained, the verified correctness of the neural network is likely broken, particularly in the presence of the phenomenon known as catastrophic forgetting. In this work, we propose an approach called certified continual learning which improves existing continual learning methods by preserving, as long as possible, the established correctness properties …

Unraveling The Dynamics Of Stable And Curious Audiences In Web Systems, Rodrigo Alves, Antoine Ledent, Renato Assunção, Pedro Vaz-De-Melo, Marius Kloft

Research Collection School Of Computing and Information Systems

We propose the Burst-Induced Poisson Process (BPoP), a model designed to analyze time series data such as feeds or search queries. BPoP can distinguish between the slowly-varying regular activity of a stable audience and the bursty activity of a curious audience, often seen in viral threads. Our model consists of two hidden, interacting processes: a self-feeding process (SFP) that generates bursty behavior related to viral threads, and a non-homogeneous Poisson process (NHPP) with step function intensity that is influenced by the bursts from the SFP. The NHPP models the normal background behavior, driven solely by the overall popularity of the …

Certified Quantization Strategy Synthesis For Neural Networks, Yedi Zhang, Guangke Chen, Jun Sun, Jun Sun

Research Collection School Of Computing and Information Systems

Quantization plays an important role in deploying neural networks on embedded, real-time systems with limited computing and storage resources (e.g., edge devices). It significantly reduces the model storage cost and improves inference efficiency by using fewer bits to represent the parameters. However, it was recently shown that critical properties may be broken after quantization, such as robustness and backdoor-freeness. In this work, we introduce the first method for synthesizing quantization strategies that verifiably maintain desired properties after quantization, leveraging a key insight that quantization leads to a data distribution shift in each layer. We propose to compute the preimage for …

Sound And Complete Witnesses For Template-Based Verification Of Ltl Properties On Polynomial Programs, Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our witnesses are applicable to both verification (proving) and refutation (finding bugs) settings. We then consider LTL formulas in which atomic propositions can be polynomial constraints and turn our focus to polynomial arithmetic programs, i.e. programs in which every assignment and guard consists only of polynomial expressions. For this setting, we provide an efficient algorithm to automatically synthesize such LTL witnesses. Our synthesis procedure is both …

Text-Driven Video Prediction, Xue Song, Jingjing Chen, Bin Zhu, Yu-Gang Jiang

Research Collection School Of Computing and Information Systems

Current video generation models usually convert signals indicating appearance and motion received from inputs (e.g., image and text) or latent spaces (e.g., noise vectors) into consecutive frames, fulfilling a stochastic generation process for the uncertainty introduced by latent code sampling. However, this generation pattern lacks deterministic constraints for both appearance and motion, leading to uncontrollable and undesirable outcomes. To this end, we propose a new task called Text-driven Video Prediction (TVP). Taking the first frame and text caption as inputs, this task aims to synthesize the following frames. Specifically, appearance and motion components are provided by the image and caption …

Low/No-Code And Traditional Code Integration In Digital Banking, Kim Siang Yeo, Alan @ Ali Madjelisi Megargel

Research Collection School Of Computing and Information Systems

This paper seeks to combine the merits of Low/No-Code Programming (LNCP) with Traditional Programming (TP) systems to achieve true “agility” when creating banking infrastructure. While it is easy to fall prey to Shiny Object Syndrome in today’s dynamic and fast-paced banking technology world, it is not easy to pick out the right technology for today and tomorrow’s financial industry. Instead, LNCPs allow us to hedge all bets by equally lowering the technical entry barriers for each technology. The added integration of TP, when needed, also rounds out the faults related to sole LNCP use and provides any bank with a …

Probing Effects Of Contextual Bias On Number Magnitude Estimation, Xuehao Du, Ping Ji, Wei Qin, Lei Wang, Yunshi Lan

Research Collection School Of Computing and Information Systems

The semantic understanding of numbers requires association with context. However, powerful neural networks overfit spurious correlations between context and numbers in training corpus can lead to the occurrence of contextual bias, which may affect the network's accurate estimation of number magnitude when making inferences in real-world data. To investigate the resilience of current methodologies against contextual bias, we introduce a novel out-of- distribution (OOD) numerical question-answering (QA) dataset that features specific correlations between context and numbers in the training data, which are not present in the OOD test data. We evaluate the robustness of different numerical encoding and decoding methods …

Meta-Learning For Multi-Family Android Malware Classification, Yao Li, Dawei Yuan, Tao Zhang, Haipeng Cai, David Lo, Cuiyun Gao, Xiapu Luo, He Jiang

Research Collection School Of Computing and Information Systems

With the emergence of smartphones, Android has become a widely used mobile operating system. However, it is vulnerable when encountering various types of attacks. Every day, new malware threatens the security of users' devices and private data. Many methods have been proposed to classify malicious applications, utilizing static or dynamic analysis for classification. However, previous methods still suffer from unsatisfactory performance due to two challenges. First, they are unable to address the imbalanced data distribution problem, leading to poor performance for malware families with few members. Second, they are unable to address the zero-day malware (zero-day malware refers to malicious …

Comparison Of Evolutionary Algorithms: A Case Study On The Multi-Objective Carbon-Aware Mine Planning, Nurul Asyikeen Binte Azhar, Aldy Gunawan, Shih-Fen Cheng, Erwin Leonardi

Research Collection School Of Computing and Information Systems

The NP-hard precedence-constrained production scheduling problem (PCPSP) for mine planning chooses the ordered removal of materials from the mine pit and the next processing steps based on resource, geological, and geometrical constraints. Traditionally, it prioritizes the net present value (NPV) of profits across the lifespan of the mine. Yet, the growing shift in environmental concerns also requires shifts to more carbon-aware practices. In this paper, we use the enhanced multi-objective version of the generic PCPSP formulation by adding the NPV of carbon costs as another objective. We then compare how the Non-dominated Sorting Genetic Algorithm II (NSGA-II) and the Pareto …

A Two-Stage Matheuristic For The Home Healthcare Routing And Scheduling Problem With Perishable Products, Aldy Gunawan, Nabila Yuraisyah Salsabila, Vincent F. Yu, Pham Kien Minh Nguyen

Research Collection School Of Computing and Information Systems

This study proposes a home healthcare routing and scheduling problem, where perishable products such as medicines, vaccines, or meals must be provided for some patients’ treatments. This problem is formulated as a mixed integer linear programming (MILP). A two-stage matheuristic is then developed as the solution approach. The first stage is a local search to solve the nurse routing problem, and the second stage is run as the relaxed MILP to solve the scheduling problem. The matheuristic is tested on newly generated instances and compared with the results of CPLEX. The proposed matheuristic is able to obtain CPLEX solutions within …

Imbalanced Graph Classification With Multi-Scale Oversampling Graph Neural Networks, Rongrong Ma, Guansong Pang, Ling Chen

Research Collection School Of Computing and Information Systems

One main challenge in imbalanced graph classification is to learn expressive representations of the graphs in under-represented (minority) classes. Existing generic imbalanced learning methods, such as oversampling and imbalanced learning loss functions, can be adopted for enabling graph representation learning models to cope with this challenge. However, these methods often directly operate on the graph representations, ignoring rich discriminative information within the graphs and their interactions. To tackle this issue, we introduce a novel multi-scale oversampling graph neural network (MOSGNN) that learns expressive minority graph representations based on intra- and inter-graph semantics resulting from oversampled graphs at multiple scales - …

Enhancing Stance Classification On Social Media Using Quantified Moral Foundations, Hong Zhang, Quoc-Nam Nguyen, Prasanta Bhattacharya, Wei Gao, Liang Ze Wong, Brandon Siyuan Loh, Joseph J. P. Simons, Jisun An

Research Collection School Of Computing and Information Systems

This study enhances stance detection on social media by incorporating deeper psychological attributes, specifically individuals’ moral foundations. These theoretically-derived dimensions aim to provide an interpretable profile of an individual’s moral concerns which, in recent work, has been linked to behaviour in a range of domains including society, politics, health, and the environment. In this paper, we investigate how moral foundation dimensions can contribute to detecting an individual’s stance on a given target. Specifically, we incorporate moral foundation features extracted from text, along with semantic features, to classify stances at both message-and user-levels using traditional machine learning and Large Language Models …

Quantum-Enhanced Simulation-Based Optimization For Newsvendor Problems, Monit Sharma, Hoong Chuin Lau, Rudy Raymond

Research Collection School Of Computing and Information Systems

Simulation-based optimization is a widely used method to solve stochastic optimization problems. This method aims to identify an optimal solution by maximizing the expected value of the objective function. However, due to its computational complexity, the function cannot be accurately evaluated directly, hence it is estimated through simulation. Exploiting the enhanced efficiency of Quantum Amplitude Estimation (QAE) compared to classical Monte Carlo simulation, it frequently outpaces classical simulation-based optimization, resulting in notable performance enhancements in various scenarios. In this work, we make use of a quantum-enhanced algorithm for simulation-based optimization and apply it to solve a variant of the classical …

Enabling Emg-Based Silent Speech Transcription Through Speech-To-Text Transfer Learning, Alexander T. Garcia

Master's Theses

In recent years, advances in deep learning have allowed various forms of electrographic signals, such as electroencephalography (EEG) and electromyography (EMG), to be used as a viable form of input in artificial intelligence applications, particularly for applications in the medical field. One such topic that EMG inputs have been used is in silent speech interfaces, or devices capable of processing speech without an audio-based input. The goal of this thesis is to explore a novel method of training a machine learning model to be used for silent speech interface development: using transfer learning to leverage a pre-trained speech recognition model …

Diabetes Technology Meeting 2023, Tiffany Tian, Rachel E Aaron, Ashley Y Dunova, Johan H Jendle, David Kerr, Eda Cengiz, Andjela Drincic, John C Pickup, Kong Y Chen, Naomi Schwartz, Douglas B Muchmore, Halis K Akturk, Carol J Levy, Signe Schmidt, Riccardo Bellazzi, Alan H B Wu, Elias K Spanakis, Bijan Najafi, James Geoffrey Chase, Jane Jeffrie Seley, David C Klonoff

Center on Aging Staff Publications

Diabetes Technology Society hosted its annual Diabetes Technology Meeting from November 1 to November 4, 2023. Meeting topics included digital health; metrics of glycemia; the integration of glucose and insulin data into the electronic health record; technologies for insulin pumps, blood glucose monitors, and continuous glucose monitors; diabetes drugs and analytes; skin physiology; regulation of diabetes devices and drugs; and data science, artificial intelligence, and machine learning. A live demonstration of a personalized carbohydrate dispenser for people with diabetes was presented.

Estimating Dis Performance Using Mininet, Ryan D. Winz

Theses and Dissertations

Real time distributed simulation is an exceptionally useful tool for training and wargaming used by the military and industry alike. This research aims to provide scenarios and structures to evaluate the effect of distributing simulations among different compute nodes. Specific scenarios involve the analysis of performance as a function of latency and the degree network protocols and reliability affect simulation performance. Various standards exist for administering geographically separated simulations. The focus of this thesis will be on the Distributed Interactive Simulation standard, a peer-to-peer open standard for simulation messages to adhere to, but lessons can be extended to other standards.

Detecting Anomalies In Blockchain Transactions Using Machine Learning Classifiers And Explainability Analysis, Mohammad Hasan, Mohammad Shahriar Rahman, Helge Janicke, Iqbal H. Sarker

Research outputs 2022 to 2026

As the use of blockchain for digital payments continues to rise, it becomes susceptible to various malicious attacks. Successfully detecting anomalies within blockchain transactions is essential for bolstering trust in digital payments. However, the task of anomaly detection in blockchain transaction data is challenging due to the infrequent occurrence of illicit transactions. Although several studies have been conducted in the field, a limitation persists: the lack of explanations for the model's predictions. This study seeks to overcome this limitation by integrating explainable artificial intelligence (XAI) techniques and anomaly rules into tree-based ensemble classifiers for detecting anomalous Bitcoin transactions. The shapley …

Multi-Label Classification Using Conformal Prediction, Chhavi Tyagi

Dissertations

In many machine learning applications, such as image tagging, document classi-fication, and medical diagnosis, a data instance can be associated with multiple classes in parallel so that each instance is associated with multiple response variables simultaneously defining multi-label classification. Standard multi-label classification methods that provide point predictions have been developed. They lack in quantifying the uncertainty of predictions. These methods also lack in accounting for label dependencies and are very computationally expensive. This dissertation develops two methods of multi-label classification using conformal prediction that quantify the uncertainty of predictions. Chapter 1 introduces notations and tools that have been used in …

Certifying Stability In Runge-Kutta Schemes: Algebraic Conditions And Semidefinite Programming, Austin Juhl

Dissertations

Numerical stability is a critical property for a time-integration scheme. In the context of Runge-Kutta methods applied to stiff differential equations, A-stability is one of the most basic and practically important notions of stability. Dating back to the work of Dahlquist, it has been known that A-stability is equivalent to the Runge-Kutta stability function satisfying a particular convex feasibility problem. Specifically, up to a transformation, the stability function lies in the convex cone of positive functions. In recent years, sum-of-squares optimization and semidefinite programming have become valuable tools in developing rigorous certificates of stability in dynamical systems. Therefore, it is …

Federated Learning Systems For Mobile Sensing Data, Xiaopeng Jiang

Dissertations

Federated Learning (FL) has emerged as a new distributed Deep Learning (DL) paradigm that enables privacy-aware training and inference on mobile devices with help from the cloud. This dissertation presents a comprehensive exploration of FL with mobile sensing data, covering systems, applications, and optimizations.

First, a mobile-cloud FL system, FLSys, is designed to balance model performance with resource consumption, tolerate communication failures, and achieve scalability. In FLSys, different DL models with different FL aggregation methods can be trained and accessed concurrently by different apps. In addition, FLSys provides advanced privacy-preserving mechanisms and a common API for third-party app developers to …

A Methodological Framework For Ontology Development, Enrichment, And Application In Natural Language Processing Tasks, Navya Martin Kollapally

Dissertations

Electronic Health Records (EHRs) have been widely used in healthcare to record demographics, vital signs, test results, immunizations, medical imaging reports, differential diagnoses, etc. It is now accepted that non-clinical (e.g., social) factors have a substantial influence on health outcomes. Hence, it is desirable to record these Social and Commercial Determinants of Health (SDoH & CDoH) in an EHR. The "non-text parts" of EHR notes (e.g., data tables) rely on coded terms from underlying ontologies or terminologies to facilitate semantic interoperability. Ontologies help define concepts, the relationships between them, and instances that can be utilized in research.

The first accomplishment …

Numerical Techniques For Improving Simulations Of Tropical Cyclones, Yassine Tissaoui

Dissertations

The increasing frequency and intensity of tropical cyclones (TCs) due to climate change pose significant challenges for forecasting and mitigating their impacts. Despite advancements, accurately predicting TC rapid intensification (RI) remains a challenge. Large eddy simulation (LES) allows for explicitly resolving the large eddies involved in TC turbulence, thus providing an avenue for studying the mechanisms behind their intensification and RI. LES of a full tropical cyclone is very computationally expensive and its accuracy will depend on both explicit and implicit dissipation within an atmospheric model. This dissertation presents two novel numerical methodologies with the potential to improve the efficiency …

Antioxidant, Photoprotective, And Cytotoxic Activities Of Tristaniopsis Merguensis Leaf Fractions With Molecular Docking Study Of Potential Fraction, Boima Situmeang, Respati Tri Swasono, Tri Joko Raharjo

Karbala International Journal of Modern Science

Through experimental along with molecular docking techniques of potential fraction, this study intended to evaluate the essential phytochemical elements of Tristaniopsis merguensis leaflets as well as potential antioxidant, photoprotective, along with cytotoxic activities. The DPPH and ABTS tests were used to evaluate the antioxidant efficacy of the n-hexane (HPF), ethyl acetate (EPF), and methanol (MPF) fractions. Using an in-vitro solar protection factor (SPF) assessment, the photoprotective ability of T. merguensis components against UV damage was examined. Subsequently, invitro cytotoxic research were carried out against MCF-7 cell line (breast cancer line) assay. This was followed by molecular docking stimulation testing against …

Health Benefits And Adverse Effects Of Kratom: A Social Media Text-Mining Approach, Abdullah Wahbeh, Mohammad A. Al-Ramahi, Omar El-Gayar, Tareq Nasralah, Ahmed El Noshokaty

All Faculty Scholarship (Archived)

Background: Kratom is a substance that alters one’s mental state and is used for pain relief, mood enhancement, and opioid withdrawal, despite potential health risks. In this study, we aim to analyze the social media discourse about kratom to provide more insights about kratom’s benefits and adverse effects. Also, we aim to demonstrate how algorithmic machine learning approaches, qualitative methods, and data visualization techniques can complement each other to discern diverse reactions to kratom’s effects, thereby complementing traditional quantitative and qualitative methods. Methods: Social media data were analyzed using the latent Dirichlet allocation (LDA) algorithm, PyLDAVis, and t-distributed stochastic neighbor …

Adversarial Variational Autoencoders To Extend And Improve Generative Model, Loc Nguyen, Hassan I. Abdalla, Ali A. Amer

All Works

Generative artificial intelligence (GenAI) has been advancing with many notable achievements like ChatGPT and Bard. The deep generative model (DGM) is a branch of GenAI, which is preeminent in generating raster data such as image and sound due to the strong role of deep neural networks (DNNs) in inference and recognition. The built-in inference mechanism of DNN, which simulates and aims at synaptic plasticity of the human neuron network, fosters the generation ability of DGM, which produces surprising results with the support of statistical flexibility. Two popular approaches in DGM are the variational autoencoder (VAE) and generative adversarial network (GAN). …

Advancing Endovascular Neurosurgery Training With Extended Reality: Opportunities And Obstacles For The Next Decade, Shray Patel, Michael Covell, Saarang Patel, Sandeep Kandregula, Sai Krishna Palepu, Avi Gajjar, Oleg Shekhtman, Georgios Sioutas, Ali Dhanaliwala, Terence Gade, Jan-Karl Burkhardt, Visish Srinivasan

SKMC Student Presentations and Publications

Background: Extended reality (XR) includes augmented reality (AR), virtual reality (VR), and mixed reality (MR). Endovascular neurosurgery is uniquely positioned to benefit from XR due to the complexity of cerebrovascular imaging. Given the different XR modalities available, as well as unclear clinical utility and technical capabilities, we clarify opportunities and obstacles for XR in training vascular neurosurgeons. Methods: A systematic review following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines was conducted. Studies were critically appraised using ROBINS-I. Results: 19 studies were identified. 13 studies used VR, while 3 studies used MR, and 3 studies used AR. …

Hristudio: A Framework For Wizard-Of-Oz Experiments In Human-Robot Interaction Studies, Luiz Felipe Perrone, Sean O'Connor

Faculty Conference Papers and Presentations

Human-robot interaction (HRI) research plays a pivotal role in shaping how robots communicate and collaborate with humans. However, conducting HRI studies, particularly those employing the Wizard-of-Oz (WoZ) technique, can be challenging. WoZ user studies can have complexities in technical and methodological level that may render the results irreproducible. We propose to address these challenges with HRIStudio, a novel web-based platform designed to streamline the design, execution, and analysis of WoZ experiments. HRIStudio offers an intuitive interface for experiment creation, real-time control and monitoring during experimental runs, and comprehensive data logging and playback tools for analysis and reproducibility. By lowering technical …