Digital Commons Network^™

Xfuzz: Machine Learning Guided Cross-Contract Fuzzing, Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao

Research Collection School Of Computing and Information Systems

Smart contract transactions are increasingly interleaved by cross-contract calls. While many tools have been developed to identify a common set of vulnerabilities, the cross-contract vulnerability is overlooked by existing tools. Cross-contract vulnerabilities are exploitable bugs that manifest in the presence of more than two interacting contracts. Existing methods are however limited to analyze a maximum of two contracts at the same time. Detecting cross-contract vulnerabilities is highly non-trivial. With multiple interacting contracts, the search space is much larger than that of a single contract. To address this problem, we present xFuzz , a machine learning guided smart contract fuzzing framework. …

Pa2blo: Low-Power, Personalized Audio Badge, Hemanth Sabbella, Dulaj Sanjaya Weerakoon, Manoj Gulati, Archan Misra

Research Collection School Of Computing and Information Systems

We present the hardware design and software pipeline for an ultra-low power device, in the form factor of a wearable badge, that supports energy efficient sensing, processing and wireless transfer of human voice commands and interactions. The proposed system, called PA2BLO, is envisioned to support both: (a) real-time, scalable, authorized voice based interaction and control of devices and appliances, and (b) longitudinal, low-power logging of natural voice interactions. PA2BLO in-troduces two key novel capabilities. First, it includes a low power, low-complexity voice authentication module that is able to reliably authenticate an authorized user only using low sampling rate (500 Hz) …

Demystifying Faulty Code: Step-By-Step Reasoning For Explainable Fault Localization, Ratnadira Widyasari, Jia Wei Ang, Truong Giang Nguyen, Neil Sharma, David Lo

Research Collection School Of Computing and Information Systems

Fault localization is a critical process that involves identifying specific program elements responsible for program failures. Manually pinpointing these elements, such as classes, methods, or statements, which are associated with a fault is laborious and time-consuming. To overcome this challenge, various fault localization tools have been developed. These tools typically generate a ranked list of suspicious program elements. However, this information alone is insufficient. A prior study emphasized that automated fault localization should offer a rationale. In this study, we investigate the step-by-step reasoning for explainable fault localization. We explore the potential of Large Language Models (LLM) in assisting developers …

Gsword: Gpu-Accelerated Sampling For Subgraph Counting, Chang Ye, Yuchen Li, Shixuan Sun, Wentian Guo

Research Collection School Of Computing and Information Systems

Subgraph counting is a fundamental component for many downstream applications such as graph representation learning and query optimization. Since obtaining the exact count is often intractable, there have been a plethora of approximation methods on graph sampling techniques. Nonetheless, the state-of-the-art sampling methods still require massive samples to produce accurate approximations on large data graphs. We propose gSWORD, a GPU framework that leverages the massive parallelism of GPUs to accelerate iterative sampling algorithms for subgraph counting. Despite the embarrassingly parallel nature of the samples, there are unique challenges in accelerating subgraph counting due to its irregular computation logic. To address …

Understanding Newcomers' Onboarding Process In Deep Learning Projects, Junxiao Han, Jiahao Zhang, David Lo, Xin Xia, Shuigang Deng, Minghui Wu

Research Collection School Of Computing and Information Systems

Attracting and retaining newcomers are critical for the sustainable development of Open Source Software (OSS) projects. Considerable efforts have been made to help newcomers identify and overcome barriers in the onboarding process. However, fewer studies focus on newcomers’ activities before their successful onboarding. Given the rising popularity of deep learning (DL) techniques, we wonder what the onboarding process of DL newcomers is, and if there exist commonalities or differences in the onboarding process for DL and non-DL newcomers. Therefore, we reported a study to understand the growth trends of DL and non-DL newcomers, mine DL and non-DL newcomers’ activities before …

Random Forests For Detecting Weak Signals And Extracting Physical Information: A Case Study Of Magnetic Navigation, Mohammadamin Moradi, Zheng-Meng Zhai, Aaron Nielsen, Ying-Cheng Lai, Aaron P. Nielsen

Faculty Publications

It has been recently demonstrated that two machine-learning architectures, reservoir computing and time-delayed feed-forward neural networks, can be exploited for detecting the Earth’s anomaly magnetic field immersed in overwhelming complex signals for magnetic navigation in a GPS-denied environment. The accuracy of the detected anomaly field corresponds to a positioning accuracy in the range of 10–40 m. To increase the accuracy and reduce the uncertainty of weak signal detection as well as to directly obtain the position information, we exploit the machine-learning model of random forests that combines the output of multiple decision trees to give optimal values of the physical …

Neutron Spectrum Unfolding From Activation Foils Irradiated In Gamble Ii Using Deuterated Polyethylene Anodes, Christopher J. Smith

Theses and Dissertations

Neutrons can cause irreparable harm to electronics, and experiments are needed to understand their effects fully. This work explores using pulsed power, which is low-cost compared to other sources, to create a useful neutron-rich environment. Deuterated polyethylene was used as anode and catcher material to generate the neutrons from the Deuterium-Deuterium (DD) fusion reaction. A simple, effective, and repeatable method was employed to directly cast deuterated polyethylene onto polyethylene sheets to fabricate the anode and catcher. The DD reactions were made by an ion beam-driven pulsed power generator, Gamble II, with the catcher located in the cathode. Zinc, copper, aluminum, …

Seasonal Variability And Predictability Of Monsoon Precipitation In Southern Africa, Matthew F. Horan, Fred Kucharski, Moetasim Ashfaq

Faculty Publications

Rainfed agriculture is the mainstay of economies across Southern Africa (SA), where most precipitation is received during the austral summer monsoon. This study aims to further our understanding of monsoon precipitation predictability over SA. We use three natural climate forcings, El Niño–Southern Oscillation, Indian Ocean Dipole (IOD), and the Indian Ocean Precipitation Dipole (IOPD)—the dominant precipitation variability mode—to construct an empirical model that exhibits significant skill over SA during monsoon in explaining precipitation variability and in forecasting it with a five-month lead. While most explained precipitation variance (50%–75%) comes from contemporaneous IOD and IOPD, preconditioning all three forcings is key …

Large Monochromatic Components In Hypergraphs With Large Minimum Codegree, Deepak Bal, Louis Debiasio

Department of Mathematics Faculty Scholarship and Creative Works

A result of Gyárfás says that for every 3-coloring of the edges of the complete graph (Formula presented.), there is a monochromatic component of order at least (Formula presented.), and this is best possible when 4 divides (Formula presented.). Furthermore, for all (Formula presented.) and every (Formula presented.) -coloring of the edges of the complete (Formula presented.) -uniform hypergraph (Formula presented.), there is a monochromatic component of order at least (Formula presented.) and this is best possible for all (Formula presented.). Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which …

Autoantibodies, Antigen-Autoantibody Complexes And Antigens Complement Ca125 For Early Detection Of Ovarian Cancer, Chae Young Han, Jacob S Bedia, Wei-Lei Yang, Sarah J Hawley, Lindsay Bergan, Marika Hopper, Joseph Celestino, Jing Guo, Terrie G Gornet, Antoninus Soosaipillai, Hailing Yang, Samantha D Doskocil, Anna E Lokshin, Beverly C Handy, Eleftherios P Diamandis, Richard G Moore, Karen H Lu, Zhen Lu, Karen S Anderson, Charles W Drescher, Steven J Skates, Robert C Bast

Faculty, Staff and Student Publications

BACKGROUND: Multiple antigens, autoantibodies (AAb), and antigen-autoantibody (Ag-AAb) complexes were compared for their ability to complement CA125 for early detection of ovarian cancer.

METHODS: Twenty six biomarkers were measured in a single panel of sera from women with early stage (I-II) ovarian cancers (n = 64), late stage (III-IV) ovarian cancers (186), benign pelvic masses (200) and from healthy controls (502), and then split randomly (50:50) into a training set to identify the most promising classifier and a validation set to compare its performance to CA125 alone.

RESULTS: Eight biomarkers detected ≥ 8% of early stage cases at 98% specificity. …

Fixing Your Own Smells: Adding A Mistake-Based Familiarization Step When Teaching Code Refactoring, Ivan Wei Han Tan, Christopher M. Poskitt

Research Collection School Of Computing and Information Systems

Programming problems can be solved in a multitude of functionally correct ways, but the quality of these solutions (e.g. readability, maintainability) can vary immensely. When code quality is poor, symptoms emerge in the form of 'code smells', which are specific negative characteristics (e.g. duplicate code) that can be resolved by applying refactoring patterns. Many undergraduate computing curricula train students on this software engineering practice, often doing so via exercises on unfamiliar instructor-provided code. Our observation, however, is that this makes it harder for novices to internalise refactoring as part of their own development practices. In this paper, we propose a …

Hypergraphs With Attention On Reviews For Explainable Recommendation, Theis E. Jendal, Trung Hoang Le, Hady Wirawan Lauw, Matteo Lissandrini, Peter Dolog, Katja Hose

Research Collection School Of Computing and Information Systems

Given a recommender system based on reviews, the challenges are how to effectively represent the review data and how to explain the produced recommendations. We propose a novel review-specific Hypergraph (HG) model, and further introduce a model-agnostic explainability module. The HG model captures high-order connections between users, items, aspects, and opinions while maintaining information about the review. The explainability module can use the HG model to explain a prediction generated by any model. We propose a path-restricted review-selection method biased by the user preference for item reviews and propose a novel explanation method based on a review graph. Experiments on …

Application Of Collaborative Learning Paradigms Within Software Engineering Education: A Systematic Mapping Study, Rita Garcia, Christoph Treude, Andrew Valentine

Research Collection School Of Computing and Information Systems

Collaboration is used in Software Engineering (SE) to develop software. Industry seeks SE graduates with collaboration skills to contribute to productive software development. SE educators can use Collaborative Learning (CL) to help students develop collaboration skills. This paper uses a Systematic Mapping Study (SMS) to examine the application of the CL educational theory in SE Education. The SMS identified 14 papers published between 2011 and 2022. We used qualitative analysis to classify the papers into four CL paradigms: Conditions, Effect, Interactions, and Computer-Supported Collaborative Learning (CSCL). We found a high interest in CSCL, with a shift in student interaction research …

Representation Learning For Stack Overflow Posts: How Far Are We?, Junda He, Xin Zhou, Bowen Xu, Ting Zhang, Kisub Kim, Zhou Yang, Thung Ferdian, Ivana Clairine Irsan, David Lo

Research Collection School Of Computing and Information Systems

The tremendous success of Stack Overflow has accumulated an extensive corpus of software engineering knowledge, thus motivating researchers to propose various solutions for analyzing its content. The performance of such solutions hinges significantly on the selection of representation models for Stack Overflow posts. As the volume of literature on Stack Overflow continues to burgeon, it highlights the need for a powerful Stack Overflow post representation model and drives researchers’ interest in developing specialized representation models that can adeptly capture the intricacies of Stack Overflow posts. The state-of-the-art (SOTA) Stack Overflow post representation models are Post2Vec and BERTOverflow, which are built …

Jane Pickeringe's Lute Book: The Solo Lute Pieces In Her Hand, Lauren Jones

Electronic Theses and Dissertations Archive

A volume simply marked “Jane Pickeringe’s Lute Book” is held in the Egerton Collection at the British Library. It is an unassuming book filled with handwritten copies of lute pieces and is dated from 1616 to 1650. Some of the works are among the most famous lute opuses of the time, and some are simple, popular tunes. It includes duets, trios, and solo pieces, and a majority of the works are in one person’s handwriting, while there are over ten pieces in the back which are unclear sketches of music which are clearly in another person’s handwriting. Until now, this …

Extensions Of Polynomial Plank Covering Theorems, Alexey Glazyrin, Roman Karasev, Alexandr Polyanskii

School of Mathematical & Statistical Sciences Faculty Publications

We prove the complex polynomial plank covering theorem for not necessarily homogeneous polynomials. As the consequence of this result, we extend the complex plank theorem of Ball to the case of planks that are not necessarily centrally symmetric and not necessarily round. We also prove a weaker version of the spherical polynomial plank covering conjecture for planks of different widths.

Improving Inpatient Hyperglycaemia In Non-Critically Ill Adults In Resident Wards Through Audit And Feedback, Chelsea H. Chang, Alcibiades Fleires, Alfarooq Alshaikhli, Hector Arredondo, Diana Gavilanes, Francisco J. Cabral-Amador, Jonathon Cantu, Daniela Bazan, Kathryn Oliveira Oliveira, Rene Verduzco, Lina Pedraza Sanchez

School of Medicine Publications

Inpatient hyperglycaemia is associated with an increase in morbidity and mortality, number of rehospitalisations and length of hospitalisation. Although the advantages of proper glycaemic control in hospitalised patients with diabetes are well established, a variety of barriers limit accomplishment of blood glucose targets. Our primary aim was to decrease the number of glucose values above 180 mg/dL in non-critical care hospitalised patients using an audit and feedback intervention with pharmacy and internal medicine residents. A resident-led multidisciplinary team implemented the quality improvement (QI) project including conception, literature review, educating residents, iterative development of audit and feedback tools and data analysis. …

Continual Online Learning-Based Optimal Tracking Control Of Nonlinear Strict-Feedback Systems: Application To Unmanned Aerial Vehicles, Irfan Ganie, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel optimal trajectory tracking scheme is introduced for nonlinear continuous-time systems in strict feedback form with uncertain dynamics by using neural networks (NNs). The method employs an actor-critic-based NN back-stepping technique for minimizing a discounted value function along with an identifier to approximate unknown system dynamics that are expressed in augmented form. Novel online weight update laws for the actor and critic NNs are derived by using both the NN identifier and Hamilton-Jacobi-Bellman residual error. A new continual lifelong learning technique utilizing the Fisher Information Matrix via Hamilton-Jacobi-Bellman residual error is introduced to obtain the significance of weights in …

An Impedance-Source-Based Soft-Switched High Step-Up Dc-Dc Converter With An Active Clamp, Saeed Habibi, Ramin Rahimi, Mehdi Ferdowsi, Pourya Shamsi

Electrical and Computer Engineering Faculty Research & Creative Works

This article proposes a high step-up dc-dc converter based on a trans-inverse impedance-source structure, in which the voltage gain of the converter is increased by using a lower number of turns ratio of the coupled inductors (CI) windings. The proposed converter achieves a very high voltage gain and a very low voltage stress on the switches. An active clamp is incorporated into the topology of the proposed converter, helping to absorb the energy of the leakage inductances of the CI, and to recycle that energy to the output of the converter to further increase the voltage gain. Furthermore, the active …

Jet-Driven Mixing Regimes Identified In The Unsteady Isothermal Filling Of Rectangular Municipal Water Storage Tanks, Pramod Narayan Bangalore, K. (Kelly) O. Homan

Mechanical and Aerospace Engineering Faculty Research & Creative Works

Poor mixing of old and new water in municipal water storage vessels is a well-documented basis for potentially harmful water quality degradation in drinking water distribution systems. This numerical study investigates the effects of inflow and operational variables on mixing in the jet-driven filling process, with a particular focus on the transition from inadequate to sufficient mixing levels. An isothermal unsteady reynolds-averaged-navier-stokes volume-of-fluid (RANS-VOF) simulation is used to model the variable-volume filling process, accounting for the moving free surface following a draw-down in the stored water volume. A low diffusivity tracer is used to mark the old-water volume, and a …

Reward Penalties On Augmented States For Solving Richly Constrained Rl Effectively, Jiang Hao, Tien Mai, Pradeep Varakanthan, Minh Huy Hoang

Research Collection School Of Computing and Information Systems

Constrained Reinforcement Learning employs trajectory-based cost constraints (such as expected cost, Value at Risk, or Conditional VaR cost) to compute safe policies. The challenge lies in handling these constraints effectively while optimizing expected reward. Existing methods convert such trajectory-based constraints into local cost constraints, but they rely on cost estimates, leading to either aggressive or conservative solutions with regards to cost. We propose an unconstrained formulation that employs reward penalties over states augmented with costs to compute safe policies. Unlike standard primal-dual methods, our approach penalizes only infeasible trajectories through state augmentation. This ensures that increasing the penalty parameter always …

Transiam: Aggregating Multi-Modal Visual Features With Locality For Medical Image Segmentation, Xuejian Li, Shiqiang Ma, Junhai Xu, Jijun Tang, Shengfeng He, Fei Guo

Research Collection School Of Computing and Information Systems

Automatic segmentation of medical images plays an important role in the diagnosis of diseases. On single-modal data, convolutional neural networks have demonstrated satisfactory performance. However, multi-modal data encompasses a greater amount of information rather than single-modal data. Multi-modal data can be effectively used to improve the segmentation accuracy of regions of interest by analyzing both spatial and temporal information. In this study, we propose a dual-path segmentation model for multi-modal medical images, named TranSiam. Taking into account that there is a significant diversity between the different modalities, TranSiam employs two parallel CNNs to extract the features which are specific to …

Decentralized Multimedia Data Sharing In Iov: A Learning-Based Equilibrium Of Supply And Demand, Jiani Fan, Minrui Xu, Jiale Guo, Lwin Khin Shar, Jiawen Kang, Dusit Niyato, Kwok-Yan Lam

Research Collection School Of Computing and Information Systems

The Internet of Vehicles (IoV) has great potential to transform transportation systems by enhancing road safety, reducing traffic congestion, and improving user experience through onboard infotainment applications. Decentralized data sharing can improve security, privacy, reliability, and facilitate infotainment data sharing in IoVs. However, decentralized data sharing may not achieve the expected efficiency if there are IoV users who only want to consume the shared data but are not willing to contribute their own data to the community, resulting in incomplete information observed by other vehicles and infrastructure, which can introduce additional transmission latency. Therefore, in this paper, by modeling the …

Non-Monotonic Generation Of Knowledge Paths For Context Understanding, Pei-Chi Lo, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Knowledge graphs can be used to enhance text search and access by augmenting textual content with relevant background knowledge. While many large knowledge graphs are available, using them to make semantic connections between entities mentioned in the textual content remains to be a difficult task. In this work, we therefore introduce contextual path generation (CPG) which refers to the task of generating knowledge paths, contextual path, to explain the semantic connections between entities mentioned in textual documents with given knowledge graph. To perform CPG task well, one has to address its three challenges, namely path relevance, incomplete knowledge graph, and …

Ddos Family: A Novel Perspective For Massive Types Of Ddos Attacks, Ziming Zhao, Zhaoxuan Li, Zhihao Zhou, Jiongchi Yu, Zhuoxue Song, Xiaofei Xie, Fan Zhang, Rui Zhang

Research Collection School Of Computing and Information Systems

Distributed Denial of Service (DDoS) defense is a profound research problem. In recent years, adversaries tend to complicate their attack strategies by crafting vast DDoS variants. On the one hand, this trend exacerbates both extremes of classification granularity (i.e., binary and attack level) in existing machine learning methods. On the other hand, massive attack categories make the filter rule table bulky, as well as cause problems of slow reaction presented in the recent state-of-the-art DDoS mitigation system. Therefore, we propose the concept of a DDoS family to reconcile/cope with these issues. The specific technical roadmap includes traffic pattern characterization, attack …

From Asset Flow To Status, Action And Intention Discovery: Early Malice Detection In Cryptocurrency, Ling Cheng, Feida Zhu, Yong Wang, Ruicheng Liang, Huiwen Liu

Research Collection School Of Computing and Information Systems

Cryptocurrency has been subject to illicit activities probably more often than traditional financial assets due to the pseudo-anonymous nature of its transacting entities. An ideal detection model is expected to achieve all three critical properties of early detection, good interpretability, and versatility for various illicit activities. However, existing solutions cannot meet all these requirements, as most of them heavily rely on deep learning without interpretability and are only available for retrospective analysis of a specific illicit type. To tackle all these challenges, we propose Intention Monitor for early malice detection in Bitcoin, where the on-chain record data for a certain …

Environmental Dna Metabarcoding Of Pan Trap Water To Monitor Arthropod-Plant Interactions, Joshua H. Kestel, David L. Field, Philip W. Bateman, Nicole E. White, Karen L. Bell, Paul Nevill

Research outputs 2022 to 2026

Globally, the diversity of arthropods and the plants upon which they rely are under increasing pressure due to a combination of biotic and abiotic anthropogenic stressors. Unfortunately, conventional survey methods used to monitor ecosystems are often challenging to conduct on large scales. Pan traps are a commonly used pollinator survey method and environmental DNA (eDNA) metabarcoding of pan trap water may offer a high-throughput alternative to aid in the detection of both arthropods and the plant resources they rely on. Here, we examined if eDNA metabarcoding can be used to identify arthropods and plant species from pan trap water, and …

Analyzing Biomedical Datasets With Symbolic Tree Adaptive Resonance Theory, Sasha Petrenko, Daniel B. Hier, Mary A. Bone, Tayo Obafemi-Ajayi, Erik J. Timpson, William E. Marsh, Michael Speight, Donald C. Wunsch

Chemistry Faculty Research & Creative Works

Biomedical Datasets Distill Many Mechanisms Of Human Diseases, Linking Diseases To Genes And Phenotypes (Signs And Symptoms Of Disease), Genetic Mutations To Altered Protein Structures, And Altered Proteins To Changes In Molecular Functions And Biological Processes. It Is Desirable To Gain New Insights From These Data, Especially With Regard To The Uncovering Of Hierarchical Structures Relating Disease Variants. However, Analysis To This End Has Proven Difficult Due To The Complexity Of The Connections Between Multi-Categorical Symbolic Data. This Article Proposes Symbolic Tree Adaptive Resonance Theory (START), With Additional Supervised, Dual-Vigilance (DV-START), And Distributed Dual-Vigilance (DDV-START) Formulations, For The Clustering Of …

Utilizing Hyperspectral Remote Sensing For Saline Soil Assessment In The Emirate Of Abu Dhabi, United Arab Emirates, Alya Hassan Aldhaheri

Theses

This study presents the application of hyperspectral remote sensing techniques to measure soil salinity. Soil salinity is a major concern in many arid and semi-arid regions, affecting crop productivity and ecosystem health. In most arid and semi-arid areas various levels of salinity can be encountered including sabkhas. Sabkha (salt flat) is a geological feature composed of saline and salt marshes that typically occur in shallow or coastal environments within arid and semi-arid climates. Traditional methods of measuring soil salinity are time-consuming and labor-intensive, making remote sensing techniques an attractive alternative. This study employed a hyperspectral sensor specifically the SVC-XHR-1024i to …

Advanced Nanostructured Materials For Water Harvesting And Energy Storage, Ahmed Elsir Ali

Theses

This thesis presents the work done developing nanotechnology-based compositions contributing to the advancement of two main sectors: Water and Energy. For they present vital impact and correspondence for sustainability and development worldwide. Composites constituted following the most recent trends in material science and nanotechnology while revolving around Manganese Oxide as the material of investigation. Water security is one of the most important challenges in our current times. Moreover, reports warn of the predicted restricted access to clean water by 2050, which is expected to impact more than half the population. Thus, many scientists and societies are exerting efforts to develop …