Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 69721 - 69750 of 302499

Full-Text Articles in Physical Sciences and Mathematics

Learning To Collaborate In Multi-Module Recommendation Via Multi-Agent Reinforcement Learning Without Communication, Xu He, An Bo, Yanghua Li, Haikai Chen, Rundong Wang, Xinrun Wang, Runsheng Yu, Xin Li, Zhirong Wang Sep 2020

Learning To Collaborate In Multi-Module Recommendation Via Multi-Agent Reinforcement Learning Without Communication, Xu He, An Bo, Yanghua Li, Haikai Chen, Rundong Wang, Xinrun Wang, Runsheng Yu, Xin Li, Zhirong Wang

Research Collection School Of Computing and Information Systems

With the rise of online e-commerce platforms, more and more customers prefer to shop online. To sell more products, online platforms introduce various modules to recommend items with different properties such as huge discounts. A web page often consists of different independent modules. The ranking policies of these modules are decided by different teams and optimized individually without cooperation, which might result in competition between modules. Thus, the global policy of the whole page could be sub-optimal. In this paper, we propose a novel multi-agent cooperative reinforcement learning approach with the restriction that different modules cannot communicate. Our contributions are …


Querying Recurrent Convoys Over Trajectory Data, Munkh-Erdene Yadamjav, Zhifeng Bao, Baihua Zheng, Farhana M. Choudhury, Hanan Samet Sep 2020

Querying Recurrent Convoys Over Trajectory Data, Munkh-Erdene Yadamjav, Zhifeng Bao, Baihua Zheng, Farhana M. Choudhury, Hanan Samet

Research Collection School Of Computing and Information Systems

Moving objects equipped with location-positioning devices continuously generate a large amount of spatio-temporal trajectory data. An interesting finding over a trajectory stream is a group of objects that are travelling together for a certain period of time. Existing studies on mining co-moving objects do not consider an important correlation between co-moving objects, which is the reoccurrence of the movement pattern. In this study, we define a problem of finding recurrent pattern of co-moving objects from streaming trajectories and propose an efficient solution that enables us to discover recent co-moving object patterns repeated within a given time period. Experimental results on …


Zone Path Construction (Zac) Based Approaches For Effective Real-Time Ridesharing, Meghna Lowalekar, Pradeep Varakantham, Patrick Jaillet Sep 2020

Zone Path Construction (Zac) Based Approaches For Effective Real-Time Ridesharing, Meghna Lowalekar, Pradeep Varakantham, Patrick Jaillet

Research Collection School Of Computing and Information Systems

Real-time ridesharing systems such as UberPool, Lyft Line, GrabShare have become hugely popular as they reduce the costs for customers, improve per trip revenue for drivers and reduce traffic on the roads by grouping customers with similar itineraries. The key challenge in these systems is to group the "right" requests to travel together in the "right" available vehicles in real-time, so that the objective (e.g., requests served, revenue or delay) is optimized. This challenge has been addressed in existing work by: (i) generating as many relevant feasible (with respect to the available delay for customers) combinations of requests as possible …


Coronavirus: Pandemics, Artificial Intelligence And Personal Data: How To Manage Pandemics Using Ai And What That Means For Personal Data Protection, Warren B. Chik Sep 2020

Coronavirus: Pandemics, Artificial Intelligence And Personal Data: How To Manage Pandemics Using Ai And What That Means For Personal Data Protection, Warren B. Chik

Research Collection Yong Pung How School Of Law

This chapter discusses the hearing of essential and urgent court matters in the Singapore courts during the COVID-19 pandemic. On 27 march 2020, the Singapore judiciary notified courst users that remote hearings were to be implemented for certain types of hearings by means of video and telephone conferencing facilities. Court users were also provided with indicative lists of matters which might be considered essential and urgent.


Emulating Condensed Matter Systems In Classical Wave Metamaterials, Matthew Weiner Sep 2020

Emulating Condensed Matter Systems In Classical Wave Metamaterials, Matthew Weiner

Dissertations, Theses, and Capstone Projects

One of the best tools we have for the edification of physics is the analogy. When we take our classical set of states and dynamical variables in phase space and treat them as vectors and Hermitian operators respectively in Hilbert space through the canonical quantization, we lose out on a lot of the intuition developed with the previous classical physics. With classical physics, through our own experiences and understanding of how systems should behave, we create easy-to-understand analogies: we compare the Bohr model of the atom to the motion of the planets, we compare electrical circuits to the flow of …


Role Of Influence In Complex Networks, Nur Dean Sep 2020

Role Of Influence In Complex Networks, Nur Dean

Dissertations, Theses, and Capstone Projects

Game theory is a wide ranging research area; that has attracted researchers from various fields. Scientists have been using game theory to understand the evolution of cooperation in complex networks. However, there is limited research that considers the structure and connectivity patterns in networks, which create heterogeneity among nodes. For example, due to the complex ways most networks are formed, it is common to have some highly “social” nodes, while others are highly isolated. This heterogeneity is measured through metrics referred to as “centrality” of nodes. Thus, the more “social” nodes tend to also have higher centrality.

In this thesis, …


Parametrically Excited Star-Shaped Patterns At The Interface Of Binary Bose-Einstein Condensates, D. K. Maity, K. Mukherjee, Simeon I. Mistakidis, S. Das, P. G. Kevrekidis, S. Majumder, P. Schmelcher Sep 2020

Parametrically Excited Star-Shaped Patterns At The Interface Of Binary Bose-Einstein Condensates, D. K. Maity, K. Mukherjee, Simeon I. Mistakidis, S. Das, P. G. Kevrekidis, S. Majumder, P. Schmelcher

Physics Faculty Research & Creative Works

A Faraday-Wave-Like Parametric Instability Is Investigated Via Mean-Field And Floquet Analysis In Immiscible Binary Bose-Einstein Condensates. The Condensates Form A So-Called Ball-Shell Structure In A Two-Dimensional Harmonic Trap. To Trigger The Dynamics, The Scattering Length Of The Core Condensate Is Periodically Modulated In Time. We Reveal That In The Dynamics The Interface Becomes Unstable Towards The Formation Of Oscillating Patterns. The Interface Oscillates Subharmonically, Exhibiting An M-Fold Rotational Symmetry That Can Be Controlled By Maneuvering The Amplitude And The Frequency Of The Modulation. Using Floquet Analysis We Are Able To Predict The Generated Interfacial Tension Of The Mixture And Derive …


Physics-Constrained Hyperspectral Data Exploitation Across Diverse Atmospheric Scenarios, Nicholas M. Westing Sep 2020

Physics-Constrained Hyperspectral Data Exploitation Across Diverse Atmospheric Scenarios, Nicholas M. Westing

Theses and Dissertations

Hyperspectral target detection promises new operational advantages, with increasing instrument spectral resolution and robust material discrimination. Resolving surface materials requires a fast and accurate accounting of atmospheric effects to increase detection accuracy while minimizing false alarms. This dissertation investigates deep learning methods constrained by the processes governing radiative transfer to efficiently perform atmospheric compensation on data collected by long-wave infrared (LWIR) hyperspectral sensors. These compensation methods depend on generative modeling techniques and permutation invariant neural network architectures to predict LWIR spectral radiometric quantities. The compensation algorithms developed in this work were examined from the perspective of target detection performance using …


Creating A Culture Of Data-Driven Decision-Making, Kevin Bryan Rogers Sep 2020

Creating A Culture Of Data-Driven Decision-Making, Kevin Bryan Rogers

Doctoral Dissertations and Projects

Researchers have consistently shown that a supportive culture is one of the most crucial success factors in the implementation of any big data solution. Creating a culture that supports data-driven decision-making is a difficult but ultimately required step in transforming an organization into one that can readily and successfully adopt business intelligence technologies. The purpose of this qualitative case study was to understand the ways in which organizations can foster a culture of smarter decision-making and accountability so that businesses can improve operational metrics and ultimately profitability. Participants identified three major themes that drive the adoption of a data-driven culture. …


Direct Digital Synthesis: A Flexible Architecture For Advanced Signals Research For Future Satellite Navigation Payloads, Pranav R. Patel Sep 2020

Direct Digital Synthesis: A Flexible Architecture For Advanced Signals Research For Future Satellite Navigation Payloads, Pranav R. Patel

Theses and Dissertations

In legacy Global Positioning System (GPS) Satellite Navigation (SatNav) payloads, the architecture does not provide the flexibility to adapt to changing circumstances and environments. GPS SatNav payloads have largely remained unchanged since the system became fully operational in April 1995. Since then, the use of GPS has become ubiquitous in our day-to-day lives. GPS availability is now a basic assumption for distributed infrastructure; it has become inextricably tied to our national power grids, cellular networks, and global financial systems. Emerging advancements of easy to use radio technologies, such as software-defined radios (SDRs), have greatly lowered the difficulty of discovery and …


Integrating Affect Perception Tasks From The New York Emotion Battery Into A Comprehensive Measure Of Neuropsychological Change Across The Lifespan, Melinda A. Cornwell Sep 2020

Integrating Affect Perception Tasks From The New York Emotion Battery Into A Comprehensive Measure Of Neuropsychological Change Across The Lifespan, Melinda A. Cornwell

Dissertations, Theses, and Capstone Projects

Background: The ability to perceive others’ emotions is a vital skill for social competency, impacting the success of personal and professional relationships (Brinton & Fujiki, 2011; Cassidy et al., 1992; Côté & Miners, 2006). According to Socioemotional Selectivity Theory (SST; Carstensen, 1991), human motivation develops to become more discerning in choosing milieus that yield the most gratifying return on the investment of personal resources (e.g., time, attention, and effort), perhaps explaining why some research findings indicate that older adults may demonstrate an affect perception (AP) bias described as a positivity effect (Reed et al., 2014). Moreover, AP predicts cognitive and …


An Approach To The Acquisition Of Tacit Knowledge Based On An Ontological Model, Wahid Chergui, Samir Zidat, Farhi Marir Sep 2020

An Approach To The Acquisition Of Tacit Knowledge Based On An Ontological Model, Wahid Chergui, Samir Zidat, Farhi Marir

All Works

© 2018 The Authors Our knowledge includes irreducible tacit elements which are related to the individual's personal nature that go beyond what we can express, which makes it very difficult to formalize, communicate and share. As this tacit knowledge consists of either actions or personal attitudes, we propose an approach to acquisition of tacit knowledge based on an ontological model. The ontology is built top down by changing the actors’ cognitive focus from the focal to the subsidiary, or from the aim of an action to its detailed objectives. We also use explicitation interviews and self-confrontation techniques to identify the …


Resveratrol And Tumor Microenvironment: Mechanistic Basis And Therapeutic Targets, Wamidh H. Talib, Ahmad Riyad Alsayed, Faten Farhan, Lina T. Al Kury Sep 2020

Resveratrol And Tumor Microenvironment: Mechanistic Basis And Therapeutic Targets, Wamidh H. Talib, Ahmad Riyad Alsayed, Faten Farhan, Lina T. Al Kury

All Works

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. Resveratrol (3,40,5 trihydroxystilbene) is a naturally occurring non-flavonoid polyphenol. It has various pharmacological effects including antioxidant, anti-diabetic, anti-inflammatory and anti-cancer. Many studies have given special attention to different aspects of resveratrol anti-cancer properties and proved its high efficiency in targeting multiple cancer hallmarks. Tumor microenvironment has a critical role in cancer development and progression. Tumor cells coordinate with a cast of normal cells to aid the malignant behavior of cancer. Many cancer supporting players were detected in tumor microenvironment. These players include blood and lymphatic vessels, infiltrating immune cells, stromal fibroblasts …


Assessment Of Switchgrass-Based Bioenergy Supply Using Gis-Based Fuzzy Logic And Network Optimization In Missouri (U.S.A.), Gia Nguyen, Erik Lyttek, Pankaj Lal, Taylor Wieczerak, Pralhad Burli Sep 2020

Assessment Of Switchgrass-Based Bioenergy Supply Using Gis-Based Fuzzy Logic And Network Optimization In Missouri (U.S.A.), Gia Nguyen, Erik Lyttek, Pankaj Lal, Taylor Wieczerak, Pralhad Burli

Department of Earth and Environmental Studies Faculty Scholarship and Creative Works

Bioenergy has been globally recognized as one of the sustainable alternatives to fossil fuels. An assured supply of biomass feedstocks is a crucial bottleneck for the bioenergy industry emanating from uncertainties in land-use changes and future prices. Analytical approaches deriving from geographical information systems (GIS)-based analysis, mathematical modeling, optimization analyses, and empirical techniques have been widely used to evaluate the potential for bioenergy feedstock. In this study, we propose a three-phase methodology integrating fuzzy logic, network optimization, and ecosystem services assessment to estimate potential bioenergy supply. The fuzzy logic analysis uses multiple spatial criteria to identify suitable biomass cultivating regions. …


2020 September - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University Sep 2020

2020 September - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Monthly Report

No abstract provided.


The Gap Of Semantic Parsing: A Survey On Automatic Math Word Problem Solvers, Dongxiang Zhang, Lei Wang, Luming Zhang, Bing Tian Dai, Heng Tao Shen Sep 2020

The Gap Of Semantic Parsing: A Survey On Automatic Math Word Problem Solvers, Dongxiang Zhang, Lei Wang, Luming Zhang, Bing Tian Dai, Heng Tao Shen

Research Collection School Of Computing and Information Systems

Solving mathematical word problems (MWPs) automatically is challenging, primarily due to the semantic gap between human-readable words and machine-understandable logics. Despite the long history dated back to the 1960s, MWPs have regained intensive attention in the past few years with the advancement of Artificial Intelligence (AI). Solving MWPs successfully is considered as a milestone towards general AI. Many systems have claimed promising results in self-crafted and small-scale datasets. However, when applied on large and diverse datasets, none of the proposed methods in the literature achieves high precision, revealing that current MWP solvers still have much room for improvement. This motivated …


Efficient Fine-Grained Data Sharing Mechanism For Electronic Medical Record Systems With Mobile Devices, Hui Ma, Rui Zhang, Guomin Yang, Zishuai Zong, Kai He, Yuting Xiao Sep 2020

Efficient Fine-Grained Data Sharing Mechanism For Electronic Medical Record Systems With Mobile Devices, Hui Ma, Rui Zhang, Guomin Yang, Zishuai Zong, Kai He, Yuting Xiao

Research Collection School Of Computing and Information Systems

Sharing digital medical records on public cloud storage via mobile devices facilitates patients (doctors) to get (offer) medical treatment of high quality and efficiency. However, challenges such as data privacy protection, flexible data sharing, efficient authority delegation, computation efficiency optimization, are remaining toward achieving practical fine-grained access control in the Electronic Medical Record (EMR) system. In this work, we propose an innovative access control model and a fine-grained data sharing mechanism for EMR, which simultaneously achieves the above-mentioned features and is suitable for resource-constrained mobile devices. In the model, complex computation is outsourced to public cloud servers, leaving almost no …


Accelerating All-Sat Computation With Short Blocking Clauses, Yueling Zhang, Geguang Pu, Jun Sun Sep 2020

Accelerating All-Sat Computation With Short Blocking Clauses, Yueling Zhang, Geguang Pu, Jun Sun

Research Collection School Of Computing and Information Systems

The All-SAT (All-SATisfiable) problem focuses on finding all satisfiable assignments of a given propositional formula, whose applications include model checking, automata construction, and logic minimization. A typical ALL-SAT solver is normally based on iteratively computing satisfiable assignments of the given formula. In this work, we introduce BASOLVER, a backbone-based All-SAT solver for propositional formulas. Compared to the existing approaches, BASOLVER generates shorter blocking clauses by removing backbone variables from the partial assignments and the blocking clauses. We compare BASOLVER with 4 existing ALL-SAT solvers, namely MBLOCKING, BC, BDD, and NBC. Experimental results indicate that although finding all the backbone variables …


Towards Generating Thread-Safe Classes Automatically, Haichi Wang, Zan Wang, Jun Sun, Shuang Lin, Ayesha Sadiq, Yuan Fang Li Sep 2020

Towards Generating Thread-Safe Classes Automatically, Haichi Wang, Zan Wang, Jun Sun, Shuang Lin, Ayesha Sadiq, Yuan Fang Li

Research Collection School Of Computing and Information Systems

The existing concurrency model for Java (or C) requires programmers to design and implement thread-safe classes by explicitly acquiring locks and releasing locks. Such a model is error-prone and is the reason for many concurrency bugs. While there are alternative models like transactional memory, manually writing locks remains prevalent in practice. In this work, we propose AutoLock, which aims to solve the problem by fully automatically generating thread-safe classes. Given a class which is assumed to be correct with sequential clients, AutoLock automatically generates a thread-safe class which is linearizable, and does it in a way without requiring a specification …


Detectif: Unified Detection And Correction Of Iot Faults In Smart Homes, Madhumita Maliick, Archan Misra, Niloy Ganguly, Youngki Lee Sep 2020

Detectif: Unified Detection And Correction Of Iot Faults In Smart Homes, Madhumita Maliick, Archan Misra, Niloy Ganguly, Youngki Lee

Research Collection School Of Computing and Information Systems

This paper tackles the problem of detecting a comprehensive set of sensor faults that can occur in IoT-instrumented smart homes customized to infer Activities of Daily Living (ADL) from the activation of sensor sets. Specifically, sensors can suffer faults that (a) span durations that vary between several seconds to hours, (b) can result in both missing or false-alarm sensor-events. Previous fault detection approaches are geared primarily to identify missing faults (absence of sensor readings) of a permanent (very long-lived) nature, or sporadic false-alarm events. We propose DetectIF, a fault-detection framework that detects faults of varying time duration, and identifies both …


A Hybrid Framework Using A Qubo Solver For Permutation-Based Combinatorial Optimization, Siong Thye Goh, Sabrish Gopalakrishnan, Jianyuan Bo, Hoong Chuin Lau Sep 2020

A Hybrid Framework Using A Qubo Solver For Permutation-Based Combinatorial Optimization, Siong Thye Goh, Sabrish Gopalakrishnan, Jianyuan Bo, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

In this paper, we propose a hybrid framework to solve large-scale permutation-based combinatorial problems effectively using a high-performance quadratic unconstrained binary optimization (QUBO) solver. To do so, transformations are required to change a constrained optimization model to an unconstrained model that involves parameter tuning. We propose techniques to overcome the challenges in using a QUBO solver that typically comes with limited numbers of bits. First, to smooth the energy landscape, we reduce the magnitudes of the input without compromising optimality. We propose a machine learning approach to tune the parameters for good performance effectively. To handle possible infeasibility, we introduce …


Social Influence Attentive Neural Network For Friend-Enhanced Recommendation, Yuanfu Lu, Ruobing Xie, Chuan Shi, Yuan Fang, Wei Wang, Xu Zhang, Leyu Lin Sep 2020

Social Influence Attentive Neural Network For Friend-Enhanced Recommendation, Yuanfu Lu, Ruobing Xie, Chuan Shi, Yuan Fang, Wei Wang, Xu Zhang, Leyu Lin

Research Collection School Of Computing and Information Systems

With the thriving of online social networks, there emerges a new recommendation scenario in many social apps, called FriendEnhanced Recommendation (FER) in this paper. In FER, a user is recommended with items liked/shared by his/her friends (called a friend referral circle). These friend referrals are explicitly shown to users. Different from conventional social recommendation, the unique friend referral circle in FER may significantly change the recommendation paradigm, making users to pay more attention to enhanced social factors. In this paper, we first formulate the FER problem, and propose a novel Social Influence Attentive Neural network (SIAN) solution. In order to …


The Future Of Work Now: The Multi-Faceted Mall Security Guard At A Multi-Faceted Jewel, Thomas H. Davenport, Steven M. Miller Sep 2020

The Future Of Work Now: The Multi-Faceted Mall Security Guard At A Multi-Faceted Jewel, Thomas H. Davenport, Steven M. Miller

Research Collection School Of Computing and Information Systems

One of the most frequently-used phrases at business events these days is “the future of work.” It’s increasingly clear that artificial intelligence and other new technologies will bring substantial changes in work tasks and business processes. But while these changes are predicted for the future, they’re already present in many organizations for many different jobs. The job and incumbents described below are an example of this phenomenon. Steve Miller of Singapore Management University and I co-authored the story.


Privacy-Preserving Outsourced Calculation Toolkit In The Cloud, Ximeng Liu, Robert H. Deng, Kim-Kwang Raymond Choo, Yang Yang, Hwee Hwa Pang Sep 2020

Privacy-Preserving Outsourced Calculation Toolkit In The Cloud, Ximeng Liu, Robert H. Deng, Kim-Kwang Raymond Choo, Yang Yang, Hwee Hwa Pang

Research Collection School Of Computing and Information Systems

In this paper, we propose a privacy-preserving outsourced calculation toolkit, Pockit, designed to allow data owners to securely outsource their data to the cloud for storage. The outsourced encrypted data can be processed by the cloud server to achieve commonly-used plaintext arithmetic operations without involving additional servers. Specifically, we design both signed and unsigned integer circuits using a fully homomorphic encryption (FHE) scheme, construct a new packing technique (hereafter referred to as integer packing), and extend the secure circuits to its packed version. This achieves significant improvements in performance compared with the original secure signed/unsigned integer circuit. The secure integer …


Fasts: A Satisfaction-Boosting Bus Scheduling Assistant (Demo), Momo Song, Zhifeng Bao, Baihua Zheng, Zhiyong Peng Sep 2020

Fasts: A Satisfaction-Boosting Bus Scheduling Assistant (Demo), Momo Song, Zhifeng Bao, Baihua Zheng, Zhiyong Peng

Research Collection School Of Computing and Information Systems

In this paper, we demonstrate a satisfaction-boosting bus scheduling assistant called FASTS, which assists users to find an optimal bus schedule. FASTS performs bus scheduling based on the constraints specified by the user in either a coarse-grained or a fine-grained manner, supports different explorations with a varying number of constraints, and provides analysis to quantify the performance of bus schedules and presents the results in a visually pleasing way. We demonstrate FASTS using real-world bus routes (396 routes) and one-week bus touch-on/touch-off records (28 million trip records) in Singapore.


Urban Scale Trade Area Characterization For Commercial Districts With Cellular Footprints, Yi Zhao, Zimu Zhou, Xu Wang, Tongtong Liu, Zheng Yang Sep 2020

Urban Scale Trade Area Characterization For Commercial Districts With Cellular Footprints, Yi Zhao, Zimu Zhou, Xu Wang, Tongtong Liu, Zheng Yang

Research Collection School Of Computing and Information Systems

Understanding customer mobility patterns to commercial districts is crucial for urban planning, facility management, and business strategies. Trade areas are a widely applied measure to quantify where the visitors are from. Traditional trade area analysis is limited to small-scale or store-level studies, because information such as visits to competitor commercial entities and place of residence is collected by labour-intensive questionnaires or heavily biased location-based social media data. In this article, we propose CellTradeMap, a novel district-level trade area analysis framework using mobile flow records (MFRs), a type of fine-grained cellular network data. We show that compared to traditional cellular data …


Attribute-Based Encryption For Cloud Computing Access Control: A Survey, Yinghui Zhang, Robert H. Deng, Shengmin Xu, Jianfei Sun, Qi Li, Dong Zheng Sep 2020

Attribute-Based Encryption For Cloud Computing Access Control: A Survey, Yinghui Zhang, Robert H. Deng, Shengmin Xu, Jianfei Sun, Qi Li, Dong Zheng

Research Collection School Of Computing and Information Systems

Attribute-based encryption (ABE) for cloud computing access control is reviewed in this article. A taxonomy and comprehensive assessment criteria of ABE are first proposed. In the taxonomy, ABE schemes are assorted into key-policy ABE (KP-ABE) schemes, ciphertext-policy ABE (CP-ABE) schemes, anti-quantum ABE schemes, and generic constructions. In accordance with cryptographically functional features, CP-ABE is further divided into nine subcategories with regard to basic functionality, revocation, accountability, policy hiding, policy updating, multi-authority, hierarchy, offline computation, and outsourced computation. In addition, a systematical methodology for discussing and comparing existing ABE schemes is proposed. For KP-ABE and each type of CP-ABE, the corresponding …


Smart Contract Repair, Xiao Liang Yu, Omar Al-Bataineh, David Lo, Abhik Roychoudhury Sep 2020

Smart Contract Repair, Xiao Liang Yu, Omar Al-Bataineh, David Lo, Abhik Roychoudhury

Research Collection School Of Computing and Information Systems

Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used smart contracts are vulnerable to serious malicious attacks, which may enable attackers to steal valuable assets of involving parties. There is, therefore, a need to apply analysis and automated repair techniques to detect and repair bugs in smart contracts before being deployed. In this work, we present the first general-purpose automated …


How (Not) To Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, And Bugs, Luis Amaral, Marcos C. Oliveira, Welder Luz, José Fortes, Rodrigo Bonifacio, Daniel Alencar, Eduardo Monteiro, Gustavo Pinto, David Lo Sep 2020

How (Not) To Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, And Bugs, Luis Amaral, Marcos C. Oliveira, Welder Luz, José Fortes, Rodrigo Bonifacio, Daniel Alencar, Eduardo Monteiro, Gustavo Pinto, David Lo

Research Collection School Of Computing and Information Systems

Context: In a seminal work, Ball et al. [1] investigate if the information available in version control systems could be used to predict defect density, arguing that practitioners and researchers could better understand errors "if [our] version control system could talk". In the meanwhile, several research works have reported that conflict merge resolution is a time consuming and error-prone task, while other contributions diverge about the correlation between co-change dependencies and defect density. Problem: The correlation between conflicting merge scenarios and bugs has not been addressed before, whilst the correlation between co-change dependencies and bug density has been only investigated …


The Impact Of Automated Feature Selection Techniques On The Interpretation Of Defect Models, Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Christoph Treude Sep 2020

The Impact Of Automated Feature Selection Techniques On The Interpretation Of Defect Models, Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Christoph Treude

Research Collection School Of Computing and Information Systems

The interpretation of defect models heavily relies on software metrics that are used to construct them. Prior work often uses feature selection techniques to remove metrics that are correlated and irrelevant in order to improve model performance. Yet, conclusions that are derived from defect models may be inconsistent if the selected metrics are inconsistent and correlated. In this paper, we systematically investigate 12 automated feature selection techniques with respect to the consistency, correlation, performance, computational cost, and the impact on the interpretation dimensions. Through an empirical investigation of 14 publicly-available defect datasets, we find that (1) 94–100% of the selected …