Physical Sciences and Mathematics Commons^™

Why Fully Consistent Quantum Field Theories Require That The Space-Time Be At Least 10-Dimensional: A Commonsense Field-Based Explanation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that quantum field theories that describe fields in our usual 4-dimensional space-times are not fully consistent: they predict meaningless infinite values for some physical quantities. There are some known tricks to avoid such infinities, but it is definitely desirable to have a fully consistent theory, a theory that would produce correct results without having to use additional tricks. It turns out that the only way to have such a theory is to consider space-times of higher dimensions, the smallest of which is 10. There are complex mathematical reasons for why 10 is the smallest such dimension. However, …

Why Is Grade Distribution Often Bimodal? Why Individualized Teaching Adds Two Sigmas To The Average Grade? And How Are These Facts Related?, Christian Servin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

To make education more effective, to better use emerging technologies in education, we need to better understand the education process, to gain insights on this process. How can we check whether a new idea is indeed a useful insight? A natural criterion is that the new idea should explain some previously-difficult-to-explain empirical phenomenon. Since one of the main advantages of emerging educational technologies -- such as AI -- is the possibility of individualized education, a natural phenomenon to explain is the fact -- discovered by Benjamin Bloom -- that individualization adds two sigmas to the average grade. In this paper, …

Towards A More Subtle (And Hopefully More Adequate) Fuzzy "And"-Operation: Normalization-Invariant Multi-Input Aggregation Operators, Yusuf Güven, Vladik Kreinovich

Departmental Technical Reports (CS)

Many reasonable conditions have been formulated for a fuzzy "and"-operation: idempotency, commutativity, associativity, etc. It is known that the only "and"-operation that satisfies all these conditions is minimum, but minimum is not the most adequate description of expert's "and", and it often does not lead to the best control or the best decision. Many other more adequate "and"-operations (t-norms) have been proposed and effectively used, but they do not satisfy the natural idempotency condition. In this paper, we show that a small relaxation of the usual description of "and"-operations leads to the possibility of non-minimum idempotent operations. We also show …

Refining Chatgpt-Generated Code: Characterizing And Mitigating Code Quality Issues, Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, David Lo

Research Collection School Of Computing and Information Systems

Since its introduction in November 2022, ChatGPT has rapidly gained popularity due to its remarkable ability in language understanding and human-like responses. ChatGPT, based on GPT-3.5 architecture, has shown great promise for revolutionizing various research fields, including code generation. However, the reliability and quality of code generated by ChatGPT remain unexplored, raising concerns about potential risks associated with the widespread use of ChatGPT-driven code generation.In this article, we systematically study the quality of 4,066 ChatGPT-generated programs of code implemented in two popular programming languages, i.e., Java and Python, for 2,033 programming tasks. The goal of this work is threefold. First, …

The Characteristics Of Digital Transformation Leadership: Theorizing The Practitioner Voice, Pat Mccarthy, David Sammon, Ibrahim Alhassan

Department of Computer Science Publications

Digital Transformation (DT) is more than simply integrating a new digital technology into the organization. Despite a growing volume of research, however, there is little coverage of the characteristics of DT leadership. Using a grounded approach, where 16 practitioner voices are central to the theorizing output, we present 10 DT leadership characteristics. Each characteristic links what action a DT leader needs to take and how a DT leader enables that action. We also asked 30 DT leaders to evaluate the importance of each of the 10 DT leadership characteristics. Our approach strengthens the relevance for practitioners striving for the best …

A Generic Blood Banking And Transfusion Process-Oriented Architecture For Virtual Organizations, Anwar Rjoop, Shaima Elhaj, Dina Tbaishat, Yousra Odeh, Asem Mansour, Mohammed Odeh

All Works

Background Blood banks are an important part of healthcare systems. They embrace critical processes that start with donor recruitment and blood collection, followed by blood processing to produce different types of blood components used in transfusions, blood storage, blood distribution, and transfusion. Blood components must be generated at high quality, preserved safely, and transfused in a timely manner. This can be achieved by operating interrelated processes within a complex network. There is no comprehensive blueprint of Blood Banking and Transfusion (BB&T) processes and their relationships; therefore, this study aims to develop and evaluate a BB&T process architecture using the Riva …

Simultaneous Chandra And Hst Observations Of The Quiescent Neutron Star Low-Mass X-Ray Binaries In 47 Tucanae, M. Van Den Berg, Liliana E. Rivera Sandoval, C O. Heinke, H. N. Cohn, P. M. Lugger, J. E. Grindlay, P. D. Edmonds, J. Anderson, A. Catuneanu

Physics and Astronomy Faculty Publications and Presentations

We present simultaneous Chandra X-ray Observatory and Hubble Space Telescope observations of three certain (X5, X7, W37) and two likely (X4, W17) quiescent neutron star low-mass X-ray binaries (qLMXBs) in the globular cluster 47 Tuc. We study these systems in the X-ray, optical, and near-ultraviolet (NUV) using the simultaneous data and additional non-contemporaneous HST data. We have discovered a blue and variable NUV counterpart to W17. We have not securely identified the eclipsing qLMXB W37 in the optical or NUV. Deeper high-resolution imaging is needed to further investigate the faint NUV excess near the centre of the W37 error circle. …

2024 June - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Monthly Report

No abstract provided.

Assessing Impact Of Urban Densification On Outdoor Microclimate And Thermal Comfort Using Envi-Met Simulations For Combined Spatial-Climatic Design (Cscd) Approach, Shreya Banerjee, Rachel X.Y. Pek, Sin Kang Yik, Graces N. Ching, Xiang Tian Ho, Dzyuban Yuliya, Peter J. Crank, Juan A. Acero, Winston T. L. Chow

Research Collection College of Integrative Studies

Future urban planning requires context-specific integration of spatial design and microclimate especially for tropical cities with extreme weather conditions. Thus, we propose a Combined Spatial-Climatic Design approach to assess impact of urban densification on annual outdoor thermal comfort performance employing ENVI-met simulations for Singapore. We first consider building bylaws and residential site guidelines to develop eight urban-density site options for a target population range. We further classify annual weather data into seven weather-types and use them as boundary conditions for the simulations. Comparing such fifty-six combined spatial-climatic simulation outputs by analyzing Outdoor Thermal Comfort Autonomy, we report the influence of …

Boring But Demanding: Using Secondary Tasks To Counter The Driver Vigilance Decrement For Partially Automated Driving, Scott Mishler, Jing Chen

Psychology Faculty Publications

Objective

We investigated secondary–task–based countermeasures to the vigilance decrement during a simulated partially automated driving (PAD) task, with the goal of understanding the underlying mechanism of the vigilance decrement and maintaining driver vigilance in PAD.

Background

Partial driving automation requires a human driver to monitor the roadway, but humans are notoriously bad at monitoring tasks over long periods of time, demonstrating the vigilance decrement in such tasks. The overload explanations of the vigilance decrement predict the decrement to be worse with added secondary tasks due to increased task demands and depleted attentional resources, whereas the underload explanations predict the vigilance …

Network-Based Representations And Dynamic Discrete Choice Models For Multiple Discrete Choice Analysis, Huy Hung Tran, Tien Mai

Research Collection School Of Computing and Information Systems

In many choice modeling applications, consumer demand is frequently characterized as multiple discrete, which means that consumer choose multiple items simultaneously. The analysis and prediction of consumer behavior in multiple discrete choice situations pose several challenges. In this paper, to address this, we propose a random utility maximization (RUM) based model that considers each subset of choice alternatives as a composite alternative, where individuals choose a subset according to the RUM framework. While this approach offers a natural and intuitive modeling approach for multiple-choice analysis, the large number of subsets of choices in the formulation makes its estimation and application …

Smart Hpa: A Resource-Efficient Horizontal Pod Auto-Scaler For Microservice Architectures, Hussain Ahmad, Christoph Treude, Markus Wagner, Claudia Szabo

Research Collection School Of Computing and Information Systems

Microservice architectures have gained prominence in both academia and industry, offering enhanced agility, reusability, and scalability. To simplify scaling operations in microservice architectures, container orchestration platforms such as Kubernetes feature Horizontal Pod Auto-scalers (HPAs) designed to adjust the resources of microservices to accommodate fluctuating workloads. However, existing HPAs are not suitable for resourceconstrained environments, as they make scaling decisions based on the individual resource capacities of microservices, leading to service unavailability and performance degradation. Furthermore, HPA architectures exhibit several issues, including inefficient data processing and a lack of coordinated scaling operations. To address these concerns, we propose Smart HPA, a …

Violet: Visual Analytics For Explainable Quantum Neural Networks, Shaolun Ruan, Zhiding Liang, Qiang Guan, Paul Robert Griffin, Xiaolin Wen, Yanna Lin, Yong Wang

Research Collection School Of Computing and Information Systems

With the rapid development of Quantum Machine Learning, quantum neural networks (QNN) have experienced great advancement in the past few years, harnessing the advantages of quantum computing to significantly speed up classical machine learning tasks. Despite their increasing popularity, the quantum neural network is quite counter-intuitive and difficult to understand, due to their unique quantum-specific layers (e.g., data encoding and measurement) in their architecture. It prevents QNN users and researchers from effectively understanding its inner workings and exploring the model training status. To fill the research gap, we propose VIOLET , a novel visual analytics approach to improve the explainability …

Dappscan: Building Large-Scale Datasets For Smart Contract Weaknesses In Dapp Projects, Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo, Zhijie Zhong, Mingxi Ye

Research Collection School Of Computing and Information Systems

The Smart Contract Weakness Classification Registry (SWC Registry) is a widely recognized list of smart contract weaknesses specific to the Ethereum platform. Despite the SWC Registry not being updated with new entries since 2020, the sustained development of smart contract analysis tools for detecting SWC-listed weaknesses highlights their ongoing significance in the field. However, evaluating these tools has proven challenging due to the absence of a large, unbiased, real-world dataset. To address this problem, we aim to build a large-scale SWC weakness dataset from real-world DApp projects. We recruited 22 participants and spent 44 person-months analyzing 1,199 open-source audit reports …

Inceptionnext: When Inception Meets Convnext, Weihao Yu, Pan Zhou, Shuicheng Yan, Xinchao Wang

Research Collection School Of Computing and Information Systems

Inspired by the long-range modeling ability of ViTs, large-kernel convolutions are widely studied and adopted recently to enlarge the receptive field and improve model performance, like the remarkable work ConvNeXt which employs 7×7 depthwise convolution. Although such depthwise operator only consumes a few FLOPs, it largely harms the model efficiency on powerful computing devices due to the high memory access costs. For example, ConvNeXtT has similar FLOPs with ResNet-50 but only achieves ∼ 60% throughputs when trained on A100 GPUs with full precision. Although reducing the kernel size of ConvNeXt can improve speed, it results in significant performance degradation, which …

Usability Versus Collectibility In Nft: The Case Of Web3 Domain Names, Ping Fan Ke, Yi Meng Lau

Research Collection School Of Computing and Information Systems

This study examines the market’s inclination towards usability and collectibility aspects of Non-Fungible Tokens (NFTs) within Web3 domain name marketplaces, drawing insights from resale records. Our findings reveal a prevailing preference for usability, as evidenced by consistently higher average resale prices observed for Ethereum Name Service (ENS) domains compared to Linagee Name Registrar (LNR) domains. However, domains with diminished usability, such as those containing non-ASCII characters, tend to attract investors due to their enhanced collectibility. Our analysis on the effect from previous resale suggests a potential aversion towards second-hand acquisitions among NFT investors when value derives primarily from usability, while …

Poster: Profiling Event Vision Processing On Edge Devices, Ila Nitin Gokarn, Archan Misra

Research Collection School Of Computing and Information Systems

As RGB camera resolutions and frame-rates improve, their increased energy requirements make it challenging to deploy fast, efficient, and low-power applications on edge devices. Newer classes of sensors, such as the biologically inspired neuromorphic event-based camera, capture only changes in light intensity per-pixel to achieve operational superiority in sensing latency (O(μs)), energy consumption (O(mW)), high dynamic range (140dB), and task accuracy such as in object tracking, over traditional RGB camera streams. However, highly dynamic scenes can yield an event rate of up to 12MEvents/second, the processing of which could overwhelm …

Predicting Mild Cognitive Impairment Through Ambient Sensing And Artificial Intelligence, Ah-Hwee Tan, Weng Yan Ying, Budhitama Subagdja, Anni Huang, Shanthoshigaa D, Tony Chin-Ian Tay, Iris Rawtaer

Research Collection School Of Computing and Information Systems

This paper reports an emerging application leveraging ambient and artificial intelligence techniques for in-home sensing and cognitive health assessment. The application involves a prospective longitudinal study, wherein non-pervasive sensing devices are installed in homes of over 63 real users undergoing clinical cognitive assessment, and digital signals of the users’ activities and behaviour are transmitted to a central cloud-based data server for further processing and analysis. Based on the sensor readings, we identify a set of digital biomarkers covering four key aspects of daily living, namely physical, activity, cognitive, and sleep, and develop a suite of customized feature extraction methods for …

Efficient Cross-Modal Video Retrieval With Meta-Optimized Frames, Ning Han, Xun Yang, Ee-Peng Lim, Hao Chen, Qianru Sun

Research Collection School Of Computing and Information Systems

Cross-modal video retrieval aims to retrieve semantically relevant videos when given a textual query, and is one of the fundamental multimedia tasks. Most top-performing methods primarily leverage Vision Transformer (ViT) to extract video features [1]-[3]. However, they suffer from the high computational complexity of ViT, especially when encoding long videos. A common and simple solution is to uniformly sample a small number (e.g., 4 or 8) of frames from the target video (instead of using the whole video) as ViT inputs. The number of frames has a strong influence on the performance of ViT, e.g., using 8 frames yields better …

Enhancing Code Vulnerability Detection Via Vulnerability-Preserving Data Augmentation, Shangqing Liu, Wei Ma, Jian Wang, Xiaofei Xie, Ruitao Feng, Yang Liu

Research Collection School Of Computing and Information Systems

Source code vulnerability detection aims to identify inherent vulnerabilities to safeguard software systems from potential attacks. Many prior studies overlook diverse vulnerability characteristics, simplifying the problem into a binary (0-1) classification task for example determining whether it is vulnerable or not. This poses a challenge for a single deep-learning based model to effectively learn the wide array of vulnerability characteristics. Furthermore, due to the challenges associated with collecting large-scale vulnerability data, these detectors often overfit limited training datasets, resulting in lower model generalization performance. To address the aforementioned challenges, in this work, we introduce a fine-grained vulnerability detector namely FGVulDet. …

Applicability And Challenges Of Indoor Localization Using One-Sided Round Trip Time Measurements, Quang Hai Truong, Xi Kai Justin Lam, Guru Anand Anish, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

Radio Frequency fingerprinting, based on WiFi or cellular signals, has been a popular approach for localization. However, adoptions in real-world applications have confronted with challenges due to low accuracy, especially in crowded environments. The received signal strength (RSS) could be easily interfered by a large number of other devices or strictly depends on physical surrounding environments, which may cause localization errors of a few meters. On the other hand, the fine time measurement (FTM) round-trip time (RTT) has shown compelling improvement in indoor localization with ~1-2 meter accuracy in both 2D and 3D environments [13]. This method relies on the …

Fully Automated Selfish Mining Analysis In Efficient Proof Systems Blockchains, Krishnendu Chatterjee, Amirali Ebrahimzadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We study selfish mining attacks in longest-chain blockchains like Bitcoin, but where the proof of work is replaced with efficient proof systems - like proofs of stake or proofs of space - and consider the problem of computing an optimal selfish mining attack which maximizes expected relative revenue of the adversary, thus minimizing the chain quality. To this end, we propose a novel selfish mining attack that aims to maximize this objective and formally model the attack as a Markov decision process (MDP). We then present a formal analysis procedure which computes an ϵ-tight lower bound on the optimal expected …

Neuron Sensitivity Guided Test Case Selection, Dong Huang, Qingwen Bu, Yichao Fu, Yuhao Qing, Xiaofei Xie, Junjie Chen, Heming Cui

Research Collection School Of Computing and Information Systems

Deep Neural Networks (DNNs) have been widely deployed in software to address various tasks (e.g., autonomous driving, medical diagnosis). However, they can also produce incorrect behaviors that result in financial losses and even threaten human safety. To reveal and repair incorrect behaviors in DNNs, developers often collect rich, unlabeled datasets from the natural world and label them to test DNN models. However, properly labeling a large number of datasets is a highly expensive and time-consuming task. To address the above-mentioned problem, we propose NSS, Neuron Sensitivity Guided Test Case Selection, which can reduce the labeling time by selecting valuable test …

Draft Final Bpsou Unreclaimed Sites Anderson Shaft Remedial Action Work Plan (Rawp), Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Draft Final Quarterly Operations And Maintenance Report Butte Treatment Lagoon System – First Quarter 2024, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Development And Applications Of Flexible Piezoelectric Nanogenerators Using Batio3, Pdms, And Mwcnts For Energy Harvesting And Sensory Integration In Smart Systems, Islam Uddin Shipu, Dipasree Bhowmick, Nondon Lal Dey

Chemistry Faculty Publications and Presentations

Mechanical energy is a versatile and accessible green energy source, increasingly harnessed to power small-scale devices via innovative flexible piezoelectric nanogenerators (F- PNGs). These devices convert mechanical energy into electricity using lightweight materials such as Barium Titanate (BaTiO3), poly dimethyl siloxane (PDMS), and multi-walled carbon nanotubes (MWCNTs). In this design, BaTiO3 nanoparticles were embedded in a composite film with PDMS and MWCNTs, sandwiched between two copper electrodes. The BaTiO3/PDMS/MWCNT composite PENGs, synthesized for this study, produce an output voltage of ∼8 V through periodic cyclic beating. This represents an increase of about 16% compared to the PENGs without MWCNT doping. …

Phase Error Scaling Law In Two-Wavelength Adaptive Optics, Milo W. Hyde Iv, Matthew Kalensky, Michael J. Spencer

Faculty Publications

We derive a simple, physical, closed-form expression for the optical-path difference (OPD) of a two-wavelength adaptive-optics (AO) system. Starting from Hogge and Butts’ classic OPD variance integral expression, we apply Mellin transform techniques to obtain series and asymptotic solutions to the integral. For realistic two-wavelength AO systems, the former converges slowly and has limited utility. The latter, on the other hand, is a simple formula in terms of the separation between the AO sensing (i.e., the beacon) and compensation (or observation) wavelengths. We validate this formula by comparing it to the OPD variances obtained from the aforementioned series and direct …

Using Bayesian Multispecies Models To Evaluate Fish And Invertebrate Detection Probability And Distribution In The Hypersaline Bahia Grande Tidal Basin, Roy M. Ulibarri, Catherine M. Eckert, David Hicks, David Montagne, Brandon Jones, David R. Stewart

School of Earth, Environmental, and Marine Sciences Faculty Publications and Presentations

Objective

In 2000, the Laguna Atascosa National Wildlife Refuge acquired the Bahia Grande (Texas) management unit, a space that had lain barren and arid for 70 years. A large cooperative partnership launched a restoration project to replenish the basin and recover its original tidal hydrology. In 2005, the construction of a pilot channel successfully restored water throughout the basin, and plans to eventually widen the channel were developed. Our study aims to evaluate an estuarine habitat restoration by assessing ecological drivers and the impacts on species diversity.

Methods

We evaluated species richness, detection/occupancy rates, and species–habitat relationships, and we estimated …

Multivalued Variational Inequalities With Generalized Fractional Φ-Laplacians, Vy Khoi Le

Mathematics and Statistics Faculty Research & Creative Works

In this article, we examine variational inequalities of the form (Formula presented.), where (Formula presented.) is a generalized fractional (Formula presented.) -Laplace operator, K is a closed convex set in a fractional Musielak–Orlicz–Sobolev space, and (Formula presented.) is a multivalued integral operator. We consider a functional analytic framework for the above problem, including conditions on the multivalued lower order term (Formula presented.) such that the problem can be properly formulated in a fractional Musielak–Orlicz–Sobolev space, and the involved mappings have certain useful monotonicity–continuity properties. Furthermore, we investigate the existence of solutions contingent upon certain coercivity conditions.

Differential Methylation Region Detection Via An Array-Adaptive Normalized Kernelweighted Model, Daniel Alhassan, Gayla R. Olbricht, Akim Adekpedjou

Mathematics and Statistics Faculty Research & Creative Works

A differentially methylated region (DMR) is a genomic region that has significantly different methylation patterns between biological conditions. Identifying DMRs between different biological conditions is critical for developing disease biomarkers. Although methods for detecting DMRs in microarray data have been introduced, developing methods with high precision, recall, and accuracy in determining the true length of DMRs remains a challenge. In this study, we propose a normalized kernel-weighted model to account for similar methylation profiles using the relative probe distance from "nearby" CpG sites. We also extend this model by proposing an array-adaptive version in attempt to account for the differences …