Computer Sciences Commons^™

Neutrosophic Approach To Water Quality Assessment: A Case Study Of Gomati River, The Largest River In Tripura, India, Ajoy Kanti Das, Nandini Gupta, Carlos Granados, Rakhal Das, Suman Das

Neutrosophic Systems with Applications

This study addresses the complexity of assessing river water quality, a multifaceted process influenced by numerous water quality parameters (WQPs) characterized by inherent uncertainties and diverse judgment information from decision-makers. These uncertainties and diverse judgment information can be effectively represented and simulated using Neutrosophic sets. In this study, we propose an effective water pollution rating system, the Neutrosophic water quality index (NWQI), to derive a water pollution score (NWQI-score) for rating water pollution levels. We demonstrate the application of our methodology through an assessment of water quality indices for rating pollution in the Gomati River, the largest river in Tripura, …

Evaluation Of Renewable Energy Sources For A Sustainable Future: A Multi-Criteria Decision-Making Approach, Mai Mohamed, Asmaa Elsayed

Neutrosophic Systems with Applications

The urgent global challenges of climate change, energy security, and environmental degradation highlight the need for sustainable energy solutions. Renewable energy sources (RES) present a viable pathway towards sustainability by mitigating greenhouse gas emissions, reducing reliance on fossil fuels, and fostering economic resilience. Purpose: The purpose of this paper is to propose an advanced Multi-Criteria Decision-Making (MCDM) approach to evaluate various RES by integrating environmental, economic, technological, social acceptance, and resource availability criteria, to identify the most suitable RES for sustainable energy solutions. Methodology: The study employs a hybrid method combining Type-2 Neutrosophic Numbers (T2NN) with LOPCOW (Logarithmic Percentage Change …

Influence Of Artificial Intelligence (Ai) On Decision-Making For Market-Entry Strategies In Emerging Economies, Tejas Deshpande

Dissertations and Theses Collection (Open Access)

International firms with growth-oriented business models face a complex array of factors when planning to enter emerging markets. These markets are characterized by dynamic socio-economic and geopolitical conditions, often resulting in limited market intelligence and a fragmented understanding of the business ecosystem. To succeed, firms must align their short-term objectives and long-term strategic goals with the specific characteristics of these target markets.

Decision-making in such environments is fraught with uncertainty and is critical in determining the success or failure of market-entry strategies. While business leaders rely on their cognition and heuristics to navigate these challenges, the complexity and volume of …

A Study On The Polarity Of Generalized Neutrosophic Ideals In Bck-Algebra, Bavanari Satyanarayana, Shake Baji

Neutrosophic Systems with Applications

In this study, we apply k-polar generalized neutrosophic logic to the ideal of BCK-algebra and consequently introduce the notion of a k-polar generalized neutrosophic ideal in BCK-algebra with an example. We provide conditions for a k-polar generalized neutrosophic set to be a k-polar generalized neutrosophic ideal. We prove that every k-polar generalized neutrosophic ideal is a k-polar generalized neutrosophic subalgebra, but the converse is not true, which can be illustrated with an example. Furthermore, we prove that a k-polar generalized neutrosophic set is a k-polar generalized neutrosophic ideal if and only if its corresponding cut sets are ideals of the …

Equipping Future Physicians With Artificial Intelligence Competencies Through Student Associations, Spencer Hopson, Carson Mildon, Kyle Hassard, Paul Urie, Dennis Della Corte

Faculty Publications

Advances in artificial intelligence (AI) in the medical sector necessitate the development of AI literacy among future physicians. This article explores the pioneering efforts of the AI in Medicine Association (AIM) at Brigham Young University, which offers a framework for undergraduate pre-medical students to gain hands-on experience, receive principled education, explore ethical considerations, and learn appraisal of AI models. By supplementing formal, university-organized pre-medical education with a student-led, faculty-supported introduction to AI through an extracurricular academic association, AIM alleviates apprehensions regarding AI in medicine early and empowers students preparing for medical school to navigate the evolving landscape of AI in …

An Efficient Fourier Caching Algorithm For Walk On Spheres, Zihong Zhou

Dartmouth College Master’s Theses

Walk on Spheres (WoS) is a grid-free Monte Carlo method for solving elliptic partial differential equations (PDEs).
Rather than discretizing the domain, WoS leverages the mean-value principle to obtain Monte Carlo estimates by recursively averaging the solution over the largest contained sphere, terminating upon reaching the boundary.
Unfortunately, WoS requires many independent estimates to achieve noise-free results.

We propose an acceleration technique for WoS, inspired by irradiance caching methods, that computes the solution at a sparse set of locations, and extrapolates these cached values to local neighborhoods. A key insight is that WoS can be extended to compute not only …

Exploring The Relationship Between Intrinsic Motivation And Receptivity To Mhealth Interventions, Varun Mishra, Sarah Hong, David Kotz

Dartmouth Scholarship

Just-in-Time Adaptive Interventions aim to deliver the right type and amount of support at the right time. This involves determining a user's state of receptivity - the degree to which a user is willing to accept, process, and use the intervention. Although past work has found that users are more receptive to notifications they view as useful, there is no existing research on whether users' intrinsic motivation for the underlying topic of mHealth interventions affects their receptivity. To explore this, we conducted a study with 20 participants over three weeks, where participants interacted with a chatbot-based digital coach to receive …

Trust And Robotics: A Multi-Staged Decision-Making Approach To Robots In Community, Wenxi Zhang, Willow Wong, Mark Findlay

Research Collection Yong Pung How School Of Law

With the desired outcome of social good within the wider robotics ecosystem, trust is identified as the central adhesive of the human–robot interaction (HRI) interface. However, building trust between humans and robots involves more than improving the machine’s technical reliability or trustworthiness in function. This paper presents a holistic, community-based approach to trust-building, where trust is understood as a multifaceted and multi-staged looped relation that depends heavily on context and human perceptions. Building on past literature that identifies dispositional and learned stages of trust, our proposed decision to trust model considers more extensively the human and situational factors influencing how …

Measurement And Prediction Of Transit System Performance Using Probe Data Generated Through Dsrc And Non-Dsrc Technologies, Gregory L. Newmark

Mineta Transportation Institute

This research explores the application of two different probe data standards to transit performance measurement. The first section chronicles the proposed and implemented transit uses of dedicated short-range communication (DSRC) technologies during the two decades between the standard’s emergence and its announced sunset. The research finds that, despite proposed applications across safety, operation, and information domains, DSRC never became embedded in transit operations. By contrast, the general transit feed specification (GTFS) standard with its real-time (RT) extension has been widely embraced and offers the potential to use the associated VehiclePosition messages as probe data to generate detailed transit performance metrics. …

Stagedvulbert: Multi-Granular Vulnerability Detection With A Novel Pre-Trained Code Model, Yuan Jiang, Yujian Zhang, Xiaohong Su, Christoph Treude, Tiantian Wang

Research Collection School Of Computing and Information Systems

The emergence of pre-trained model-based vulnerability detection methods has significantly advanced the field of automated vulnerability detection. However, these methods still face several challenges, such as difficulty in learning effective feature representations of statements for fine-grained predictions and struggling to process overly long code sequences. To address these issues, this study introduces StagedVulBERT, a novel vulnerability detection framework that leverages a pre-trained code language model and employs a coarse-to-fine strategy. The key innovation and contribution of our research lies in the development of the CodeBERT-HLS component within our framework, specialized in hierarchical, layered, and semantic encoding. This component is designed …

Themis: Automatic And Efficient Deep Learning System Testing With Strong Fault Detection Capability, Dong Huang, Tsz On Li, Xiaofei Xie, Heming Cui

Research Collection School Of Computing and Information Systems

Deep Learning Systems (DLSs) have been widely applied in safety-critical tasks such as autopilot. However, when a perturbed input is fed into a DLS for inference, the DLS often has incorrect outputs (i.e., faults). DLS testing techniques (e.g., DeepXplore) detect such faults by generating perturbed inputs to explore data flows that induce faults. Since a DLS often has infinitely many data flows, existing techniques require developers to manually specify a set of activation values in a DLS’s neurons for exploring fault-inducing data flows. Unfortunately, recent studies show that such manual effort is tedious and can detect only a tiny proportion …

Brushbuds: Toothbrushing Tracking Using Earphone Imus, Qiang Yang, Yang Liu, Jake Stuchbury-Wass, Kayla-Jade Butkow, Dong Ma, Cecilia Mascolo

Research Collection School Of Computing and Information Systems

Inadequate toothbrushing habits are a leading cause of oral health problems such as tooth decay. Many individuals are uncertain if they are brushing effectively or over-focusing on specific areas. While high-end electric toothbrushes can address these concerns, manual toothbrushes remain widely used due to their simplicity and affordability. In this paper, we introduce BrushBuds, an earphone-based toothbrushing monitoring system aimed at tracking brushing areas, which leverages the ubiquitous presence of earphones to enhance manual toothbrushing. BrushBuds utilizes Inertial Measurement Units (IMUs) in earphones to detect subtle head movements incurred by toothbrushing. By capturing distinct motion patterns specific to brushing for …

Beat-It : Beat-Synchronized Multi-Condition 3d Dance Generation, Zikai Huang, Xuemiao Xu, Cheng Xu, Huaidong Zhang, Chenxi Zheng, Jing Qin, Shengfeng He

Research Collection School Of Computing and Information Systems

Dance, as an art form, fundamentally hinges on the precise synchronization with musical beats. However, achieving aesthetically pleasing dance sequences from music is challenging, with existing methods often falling short in controllability and beat alignment. To address these shortcomings, this paper introduces Beat-It, a novel framework for beat-specific, key pose-guided dance generation. Unlike prior approaches, Beat-It uniquely integrates explicit beat awareness and key pose guidance, effectively resolving two main issues: the misalignment of generated dance motions with musical beats, and the inability to map key poses to specific beats, critical for practical choreography. Our approach disentangles beat conditions from music …

An Empirical Study Of Api Misuses Of Data-Centric Libraries, Akalanda Galappaththi, Sarah Nadi, Christoph Treude

Research Collection School Of Computing and Information Systems

Developers rely on third-party library Application Programming Interfaces (APIs) when developing software. However, libraries typically come with assumptions and API usage constraints, whose violation results in API misuse. API misuses may result in crashes or incorrect behavior. Even though API misuse is a well-studied area, a recent study of API misuse of deep learning libraries showed that the nature of these misuses and their symptoms are different from misuses of traditional libraries, and as a result highlighted potential shortcomings of current misuse detection tools. We speculate that these observations may not be limited to deep learning API misuses but may …

Constrained Assortment Optimization Under The Cross-Nested Logit Model, Cuong Le, Tien Mai

Research Collection School Of Computing and Information Systems

We study the assortment optimization problem under general linear constraints, where the customer choice behavior is captured by the cross-nested logit model. In this problem, there is a set of products organized into multiple subsets (or nests), where each product can belong to more than one nest. The aim is to find an assortment to offer to customers so that the expected revenue is maximized. We show that, under the cross-nested logit model, the unconstrained assortment problem is NP-hard even when there are only two nests, and the problem is generally NP-hard to approximate to any constant factors. To tackle …

Ocapo: Fine-Grained Occupancy-Aware, Empirically-Driven Pdc Control In Open-Plan, Shared Workspaces, Ravi Anuradha, Dulaj Sanjaya Weerakoon, Archan Misra

Research Collection School Of Computing and Information Systems

Passive Displacement Cooling (PDC) is a relatively recent technology gaining attention as a means of significantly reducing building energy consumption overheads, especially in tropical climates. PDC eliminates the use of mechanical fans, instead using chilled-water heat exchangers to perform convective cooling. In this paper, we identify and characterize the impact of several key parameters affecting occupant comfort in a 1000m2 open-floor area (consisting of multiple zones) of a ZEB (Zero Energy Building) deployed with PDC units and tackle the problem of setting the temperature setpoint of the PDC units to assure occupant thermal comfort and yet conserve energy. We tackle …

On The Lossiness Of 2k-Th Power And The Instantiability Of Rabin-Oaep, Haiyang Xue, Bao Li, Xianhui Lu, Kunpeng Wang, Yamin Liu

Research Collection School Of Computing and Information Systems

Seurin PKC 2014 proposed the 2-ï /4-hiding assumption which asserts the indistinguishability of Blum Numbers from pseudo Blum Numbers. In this paper, we investigate the lossiness of 2 k -th power based on the 2 k -ï /4-hiding assumption, which is an extension of the 2-ï /4-hiding assumption. And we prove that 2 k -th power function is a lossy trapdoor permutation over Quadratic Residuosity group. This new lossy trapdoor function has 2 k -bits lossiness for k -bits exponent, while the RSA lossy trapdoor function given by Kiltz et al. Crypto 2010 has k -bits lossiness for k -bits …

Foss: Towards Fine-Grained Unknown Class Detection Against The Open-Set Attack Spectrum With Variable Legitimate Traffic, Ziming Zhao, Zhaoxuan Li, Xiaofei Xie, Jiongchi Yu, Fan Zhang, Rui Zhang, Binbin Chen, Xiangyang Luo, Ming Hu, Wenrui Ma

Research Collection School Of Computing and Information Systems

Anomaly-based network intrusion detection systems (NIDSs) are essential for ensuring cybersecurity. However, the security communities realize some limitations when they put most existing proposals into practice. The challenges are mainly concerned with (i) fine-grained unknown attack detection and (ii) ever-changing legitimate traffic adaptation. To tackle these problem, we present three key design norms. The core idea is to construct a model to split the data distribution hyperplane and leverage the concept of isolation, as well as advance the incremental model update. We utilize the isolation tree as the backbone to design our model, named FOSS, to echo back three norms. …

Large-Scale Graph Label Propagation On Gpus, Chang Ye, Yuchen Li, Bingsheng He, Zhao Li, Jianling Sun

Research Collection School Of Computing and Information Systems

Graph label propagation (LP) is a core component in many downstream applications such as fraud detection, recommendation and image segmentation. In this paper, we propose GLP, a GPU-based framework to enable efficient LP processing on large-scale graphs. By investigating the data processing pipeline in a large e-commerce platform, we have identified two key challenges on integrating GPU-accelerated LP processing to the pipeline: (1) programmability for evolving application logics; (2) demand for real-time performance. Motivated by these challenges, we offer a set of expressive APIs that data engineers can customize and deploy efficient LP algorithms on GPUs with ease. To achieve …

Calibrated One-Class Classification For Unsupervised Time Series Anomaly Detection, Hongzuo Xu, Yijie Wang, Songlei Jian, Qing Liao, Yongjun Wang, Guansong Pang

Research Collection School Of Computing and Information Systems

Time series anomaly detection is instrumental in maintaining system availability in various domains. Current work in this research line mainly focuses on learning data normality deeply and comprehensively by devising advanced neural network structures and new reconstruction/prediction learning objectives. However, their one-class learning process can be misled by latent anomalies in training data (i.e., anomaly contamination) under the unsupervised paradigm. Their learning process also lacks knowledge about the anomalies. Consequently, they often learn a biased, inaccurate normality boundary. To tackle these problems, this paper proposes calibrated one-class classification for anomaly detection, realizing contamination-tolerant, anomaly-informed learning of data normality via uncertainty …

Nigerian Software Engineer Or American Data Scientist? Github Profile Recruitment Bias In Large Language Models, Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula, Christoph Treude, Marc Cheong, Kenichi Matsumoto

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have taken the world by storm, demonstrating their ability not only to automate tedious tasks, but also to show some degree of proficiency in completing software engineering tasks. A key concern with LLMs is their “black-box” nature, which obscures their internal workings and could lead to societal biases in their outputs. In the software engineering context, in this early results paper, we empirically explore how well LLMs can automate recruitment tasks for a geographically diverse software team. We use OpenAI's ChatGPT to conduct an initial set of experiments using GitHub User Profiles from four regions to …

Retrofitting A Legacy Cutlery Washing Machine Using Computer Vision, Hua Leong Fwa

Research Collection School Of Computing and Information Systems

Industry 4.0, the digitalization of manufacturing promises to lead to lowered cost, efficient processes and even discovery of new business models. However, many of the enterprises have huge investments in legacy machines which are not 'smart'. In this study, we thus designed a cost-efficient solution to retrofit a legacy conveyor belt-based cutlery washing machine with a commodity web camera. We then applied computer vision (using both traditional image processing and deep learning techniques) to infer the speed and utilization of the machine. We detailed the algorithms that we designed for computing both speed andutilization. With the existing operational constraints of …

An Empirical Study To Evaluate Aigc Detectors On Code Content, Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li

Research Collection School Of Computing and Information Systems

Artificial Intelligence Generated Content (AIGC) has garnered considerable attention for its impressive performance, with Large Language Models (LLMs), like ChatGPT, emerging as a leading AIGC model that produces high-quality responses across various applications, including software development and maintenance. Despite its potential, the misuse of LLMs, especially in security and safetycritical domains, such as academic integrity and answering questions on Stack Overflow, poses significant concerns. Numerous AIGC detectors have been developed and evaluated on natural language data. However, their performance on code-related content generated by LLMs remains unexplored. To fill this gap, in this paper, we present an empirical study evaluating …

Audio Description Customization, Rosiana Natalie, Ruei-Che Chang, Sheshadri Smitha, Anhong Guo, Kotaro Hara

Research Collection School Of Computing and Information Systems

Blind and low-vision (BLV) people use audio descriptions (ADs) to access videos. However, current ADs are unalterable by end users, thus are incapable of supporting BLV individuals’ potentially diverse needs and preferences. This research investigates if customizing AD could improve how BLV individuals consume videos. We conducted an interview study (Study 1) with fifteen BLV participants, which revealed desires for customizing properties like length, emphasis, speed, voice, format, tone, and language. At the same time, concerns like interruptions and increased interaction load due to customization emerged. To examine AD customization’s effectiveness and tradeoffs, we designed CustomAD, a prototype that enables …

Direct Range Proofs For Paillier Cryptosystem And Their Applications, Zhikang Xie, Mengling Liu, Haiyang Xue, Man Ho Au, Robert H. Deng, Siu-Ming Yiu

Research Collection School Of Computing and Information Systems

The Paillier cryptosystem is renowned for its applications in electronic voting, threshold ECDSA, multi-party computation, and more, largely due to its additive homomorphism. In these applications, range proofs for the Paillier cryptosystem are crucial for maintaining security, because of the mismatch between the message space in the Paillier system and the operation space in application scenarios. In this paper, we present novel range proofs for the Paillier cryptosystem, specifically aimed at optimizing those for both Paillier plaintext and affine operation. We interpret encryptions and affine operations as commitments over integers, as opposed to solely over ZN. Consequently, we propose direct …

A Survey Of Protocol Fuzzing, Xiaohan Zhang, Cen Zhang, Xinghua Li, Zhengjie Du, Bing Mao, Yeting Li, Pan Li

Research Collection School Of Computing and Information Systems

Communication protocols form the bedrock of our interconnected world, yet vulnerabilities within their implementations pose significant security threats. Recent developments have seen a surge in fuzzing-based research dedicated to uncovering these vulnerabilities within protocol implementations. However, there still lacks a systematic overview of protocol fuzzing for answering the essential questions such as what the unique challenges are, how existing works solve them, and so on. To bridge this gap, we conducted a comprehensive investigation of related works from both academia and industry. Our study includes a detailed summary of the specific challenges in protocol fuzzing and provides a systematic categorization …

Self-Supervised Learning For Time Series Analysis : Taxonomy, Progress, And Prospects, Zhang Kexin, Qingsong Wen, Chaoli Zhang, Rongyao Cai, Ming Jin, Yong Liu, James Y. Zhang, Guansong Pang, Guansong Pang, Pan Shirui

Research Collection School Of Computing and Information Systems

Self-supervised learning (SSL) has recently achieved impressive performance on various time series tasks. The most prominent advantage of SSL is that it reduces the dependence on labeled data. Based on the pre-training and fine-tuning strategy, even a small amount of labeled data can achieve high performance. Compared with many published self-supervised surveys on computer vision and natural language processing, a comprehensive survey for time series SSL is still missing. To fill this gap, we review current state-of-the-art SSL methods for time series data in this article. To this end, we first comprehensively review existing surveys related to SSL and time …

Demystifying And Extracting Fault-Indicating Information From Logs For Failure Diagnosis, Junjie Huang, Zhihan Jiang, Jinyang Liu, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Cong Feng, Hui Dong, Zengyin Yang, Michael R. Lyu

Research Collection School Of Computing and Information Systems

Logs are imperative in the maintenance of online service systems, which often encompass important information for effective failure mitigation. While existing anomaly detection methodologies facilitate the identification of anomalous logs within extensive runtime data, manual investigation of log messages by engineers remains essential to comprehend faults, which is labor-intensive and error-prone. Upon examining the log-based troubleshooting practices at CloudA 1, we find that engineers typically prioritize two categories of log information for diagnosis. These include fault-indicating descriptions, which record abnormal system events, and fault-indicating parameters, which specify the associated entities. Motivated by this finding, we propose an approach to automatically …

Multi-Scale Ai-Assisted Gene Expression Decoding, Fengyao Yan

Theses and Dissertations

Genes can be treated as a graph that can be mapped. Tremendous information is coded in genes to ensure a complex functioning organism. Decoding this information is critical to understanding our biology and developing treatments for various diseases including cancer. Deep learning, a new branch of computer science, has gained traction over the past decade. It offers more insight into the data that is processed by the deeplearning models. Our study has shown that deep-learning models can be an effective tool in decoding genetic data such as gene tissue-deconvolution, gene graph mapping and genomic imputation. In tasks such as tissue …

Using Machine Learning And Deep Learning Algorithms To Improve Low Birthweight Prediction, Yang Ren

Theses and Dissertations

Low birthweight (LBW) is a major public health issue resulting in increased neonatal mortality and long-term health complications. Traditional LBW analysis methods, focusing on incidence rates and risk factors through statistical models, often struggle with complex unseen data, and thus, their effectiveness is limited in early prevention of LBW, requiring more advanced LBW prediction models. Therefore, this dissertation delves into this important research area by proposing and examining novel machine learning (ML) and deep learning (DL) algorithms, aiming to predict LBW more accurately during the early stage of pregnancy. This dissertation consists of three studies, strategically designed to build upon …