Computer Sciences Commons^™

Concolic Testing For Scripting Languages, Zhe Li

Dissertations and Theses

Scripting languages, such as JavaScript and Lua, are becoming more and more popular. They are typically easy to learn and use, making them accessible to a wide range of developers, even those with limited programming experience. Lua, for instance, is a lightweight, efficient, and versatile scripting language. It is designed to be easy to integrate into other systems and is often used as an embedded scripting language in larger applications such as NMap, which is a network scanning tool.

As another example, web front-end development with JavaScript (JS) is a popular choice for developers due to its ability to add …

A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain

Neutrosophic Systems with Applications

Healthcare is a fundamental aspect of human life, impacting individuals, communities, and societies. Investing in healthcare infrastructure, services, and education is essential for fostering a healthy, thriving population. Healthcare waste management is a critical aspect of public health, and it requires a concerted effort from healthcare facilities, governments, and communities to ensure that waste is managed in a way that minimizes risks to human health and the environment. This paper proposes a hybrid methodology combining the Opinion Weight Criteria Method (OWCM) and the Combinative Distance-Based Assessment (CODAS) within the framework of Triangular Neutrosophic Sets (TNS) to evaluate and select the …

Waste Reduction And Recycling: Schweizer-Sklar Aggregation Operators Based On Neutrosophic Fuzzy Rough Sets And Their Application In Green Supply Chain Management, Zeeshan Ali, Hajra Bibi

Neutrosophic Systems with Applications

Green supply chain management (GSCM) is a valuable application that is used to reduce the overall environmental impact of the supply chain. Waste reduction and recycling are crucial components of sustainable technique that aims to reduce ecological impact and encourage reserve effectiveness. In this manuscript, we initiate the technique of Schweizer-Sklar (SS) operational laws based on neutrosophic fuzzy rough (NFR) values for SS t-norm (SSTN) and SS t-conorm (SSTCN). Further, we derive the NFR SS weighted averaging (NFRSSWA) operator and the NFR SS weighted geometric (NFRSSWG) operator. Some basic properties for the above-initiated techniques are derived. Additionally, we describe the …

Design And Implementation Of Truly Random Number Generation Using Memristors For In-Memory Computing, Nick Felker

Theses and Dissertations

This paper proposes a new security module based on non-volatile memory. The module uses a memristor-based true random number generator to generate random numbers which can be used for cryptography. The module is implemented in software using a modified RISC-V instruction set architecture. The paper evaluates the performance of the module using the RISC-V simulator Gem5. The results show that the module can generate random numbers at a rate of 63 microseconds per number, which is faster than the standard C library’s random number generator. The module can also be used to scramble strings of characters and generate hashes of …

Do Realistic Avatars Make Virtual Reality Better? Examining Human-Like Avatars For Vr Social Interactions, Alan D. Fraser, Isabella Branson, Ross C. Hollett, Craig P. Speelman, Shane L. Rogers

Research outputs 2022 to 2026

No abstract provided.

Experimental Design For Scientific Discovery, Quan Minh Nguyen

McKelvey School of Engineering Graduate Student Theses & Dissertations

Experimental design offers an elegant model of many problems where one navigates within a vast search space seeking data points with certain characteristics. A multitude of applications in science and engineering fall under this umbrella, with drug and materials discovery being prime examples. The experimental design approach maintains a probabilistic model of the search space, and uses Bayesian decision theory accounting for this model to guide the accumulation of observed data to maximize an experimentation objective of interest. This dissertation explores Bayesian optimization and active search, two realizations of the experimental design framework that model discovery tasks. While existing solutions …

Peatmoss: A Dataset And Initial Analysis Of Pre-Trained Models In Open-Source Software, Wenxin Jiang, Jerin Yasmin, Jason Jones, Nicholas Synovic, Jiashen Kuo, Nathaniel Bielanski, Yuan Tian, George K. Thiruvathukal, James C. Davis

Computer Science: Faculty Publications and Other Works

The development and training of deep learning models have become increasingly costly and complex. Consequently, software engineers are adopting pre-trained models (PTMs) for their downstream applications. The dynamics of the PTM supply chain remain largely unexplored, signaling a clear need for structured datasets that document not only the metadata but also the subsequent applications of these models. Without such data, the MSR community cannot comprehensively understand the impact of PTM adoption and reuse. This paper presents the PeaTMOSS dataset, which comprises metadata for 281,638 PTMs and detailed snapshots for all PTMs with over 50 monthly downloads (14,296 PTMs), along with …

Waste Reduction And Recycling: Schweizer-Sklar Aggregation Operators Based On Neutrosophic Fuzzy Rough Sets And Their Application In Green Supply Chain Management, Zeeshan Ali, Hajra Bibi

Neutrosophic Systems with Applications

Green supply chain management (GSCM) is a valuable application that is used to reduce the overall environmental impact of the supply chain. Waste reduction and recycling are crucial components of sustainable technique that aims to reduce ecological impact and encourage reserve effectiveness. In this manuscript, we initiate the technique of Schweizer-Sklar (SS) operational laws based on neutrosophic fuzzy rough (NFR) values for SS t-norm (SSTN) and SS t-conorm (SSTCN). Further, we derive the NFR SS weighted averaging (NFRSSWA) operator and the NFR SS weighted geometric (NFRSSWG) operator. Some basic properties for the above-initiated techniques are derived. Additionally, we describe the …

A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain

Neutrosophic Systems with Applications

Healthcare is a fundamental aspect of human life, impacting individuals, communities, and societies. Investing in healthcare infrastructure, services, and education is essential for fostering a healthy, thriving population. Healthcare waste management is a critical aspect of public health, and it requires a concerted effort from healthcare facilities, governments, and communities to ensure that waste is managed in a way that minimizes risks to human health and the environment. This paper proposes a hybrid methodology combining the Opinion Weight Criteria Method (OWCM) and the Combinative Distance-Based Assessment (CODAS) within the framework of Triangular Neutrosophic Sets (TNS) to evaluate and select the …

If Subsequent Results Are Too Easy To Obtain, The Proof Most Probably Has Errors: Explanation Of The Empirical Observation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Many modern mathematical proofs are very complex, checking them is difficult; as a result, errors sneak into published proofs, even into proofs published in highly reputable journals. Sometimes, the errors are repairable, but sometimes, it turns out that the supposedly proven result is actually wrong. When the error is not noticed for some time, the published result is used to prove many other results -- and when the error is eventually found, all these new results are invalidated. This happened several times. Since it is not realistic to more thoroughly check all the proofs, and we want to minimize the …

Why Angles Between Galactic Center Filaments And Galactic Plane Follow A Bimodal Distribution: A Symmetry-Based Explanation, Julio C. Urenda, Vladik Kreinovich

Departmental Technical Reports (CS)

Recent observations have shown that the angles between the Galaxy Center filaments and the Galactic plane follow a bimodal distribution: a large number of filaments are approximately orthogonal to the Galactic plane, a large number of filaments are approximately parallel to the Galactic plane, and much fewer filaments have other orientations. In this paper, we show this bimodal distribution can be explained by natural geometric symmetries.

Why Seismicity In Ireland Is Low: A Possible Geometric Explanation, Julio C. Urenda, Aaron Velasco, Vladik Kreinovich

Departmental Technical Reports (CS)

For each geographic location, its seismicity level is usually determined by how close this location is to the boundaries of tectonic plates. However, there is one notable exception: while Ireland and Britain are at approximately the same distance from such boundaries, the seismicity level in Ireland is much lower than in Britain. A recent paper provided a partial explanation for this phenomenon: namely, it turns out that the lithosphere under Ireland is unusually thick, and this can potentially lead to lower seismicity. However, the current explanation of the relation between the lithosphere thickness and seismicity level strongly depends on the …

Effective Data Sharing In An Edge-Cloud Model: Security Challenges And Solutions, Arijit Karati, Sajal K. Das

Computer Science Faculty Research & Creative Works

The proposed protocol offers privacy-preserving authentication across several cloud platforms, flexible key management for consumer data protection, and effective user revocation. Performance evaluation demonstrates that the proposed framework supports low latency, safe unified remote access, and data privacy in the contemporary edge-enabled environment.

Learning From Oversampling: A Systematic Exploitation Of Oversampling To Address Data Scarcity Issues In Deep Learning- Based Magnetic Resonance Image Reconstruction, Ibsa Kumara Jalata, Reeshad Khan, Ukash Nakarmi

Computer Science and Computer Engineering Faculty Publications and Presentations

Data acquisitions in Magnetic Resonance Imaging (MRI) are inherently slow due to sequential acquisition protocol. Image reconstruction from under-sampled data is posed as an inverse problem in traditional model-based learning paradigms. Recent data-centric learning frameworks such as deep learning (DL) frameworks are data hungry, and demand a large, labeled training data sets. To address the lack of large training datasets, in MRI reconstructions, researchers approach the problem in two ways: (1) unsupervised method where the model is trained without the presence of fully sampled data. (2) using a method that efficiently use the limited dataset for training purpose. In this …

Energy And Environmental Analyses Of A Solar–Gas Turbine Combined Cycle With Inlet Air Cooling, Ahmad M. Abubaker, Adnan Darwish Ahmad, Binit B. Singh, Yaman M. Manaserh, Loiy Al-Ghussain

Institute of Research for Technology Development Faculty Publications

Sensitivity to ambient air temperatures, consuming a large amount of fuel, and wasting a significant amount of heat dumped into the ambient atmosphere are three major challenges facing gas turbine power plants. This study was conducted to simultaneously solve all three aforementioned GT problems using solar energy and introducing a new configuration that consists of solar preheating and inlet-air-cooling systems. In this study, air was preheated at a combustion chamber inlet using parabolic trough collectors. Then, inlet air to the compressor was cooled by these collectors by operating an absorption cooling cycle. At the design point conditions, this novel proposed …

Exploring The Application Of Digital Twin Technology In The Energy Sector Using Merec And Mairca Methods, Asmaa Elsayed, Bilal Arain, Karam M. Sallam

Neutrosophic Systems with Applications

Smart city sustainability initiatives prioritize creating environmentally, economically, and socially sustainable urban environments. Digital Twin (DT) technology creates precise digital replicas of physical assets, systems, or processes. These digital twins play a crucial role in advancing the goals of smart city sustainability. This paper explores the development and application of DT technology for integrated regional energy systems in smart cities, emphasizing its potential to optimize energy consumption, reduce costs, and enhance overall system performance. The CloudIEPS platform, an energy internet planning platform based on digital twin technology, is a great example of how digital twin technology can be applied in …

Leveraging An Uncertainty Methodology To Appraise Risk Factors Threatening Sustainability Of Food Supply Chain, Rehab Mohamed, Mahmoud M. Ismail

Neutrosophic Systems with Applications

By diminishing the risk factors associated with the food supply chain (FSC), we have recourse to strengthen the food supply chain's resilience, decrease food waste, and increase its sustainability. Prioritizing and identifying the risk factors impacting the sustainability of the food supply chain is essential for managing uncertainty and averting unfavorable consequences. This study attempts to identify and rank the most significant risks affecting the sustainability of the food supply chain under an uncertain environment. We use the α-Discounting multi-criteria decision-making (α-D MCDM) method for the main three risk factors: the risks of supply, the risks of demand, and the …

Single-Valued Neutrosophic Mcdm Approaches Integrated With Merec And Ram For The Selection Of Uavs In Forest Fire Detection And Management, Mai Mohamed, Amira Salam, Jun Ye, Rui Yong

Neutrosophic Systems with Applications

In recent times, the world has experienced a rise in the frequency of forest fires. These fires cause severe economic damage and pose a significant threat to human lives. Therefore, it is essential to search for solutions that can help combat fires and detect them early. Once a fire reaches a certain level, it becomes challenging to control it. Various systems have been proposed to collect data and detect forest fires, such as satellites and other traditional methods. However, these solutions have been ineffective in terms of cost, coverage of large areas, accuracy, and the safety of human lives. To …

The Impacts Of Dimensionality, Diffusion, And Directedness On Intrinsic Cross-Model Simulation In Tile-Based Self-Assembly, Daniel Hader, Matthew J. Patitz

Computer Science and Computer Engineering Faculty Publications and Presentations

Motivated by applications in DNA-nanotechnology, theoretical investigations in algorithmic tile-assembly have blossomed into a mature theory. In addition to computational universality, the abstract Tile Assembly Model (aTAM) was shown to be intrinsically universal (FOCS 2012), a strong notion of completeness where a single tile set is capable of simulating the full dynamics of all systems within the model; however, this construction fundamentally required non-deterministic tile attachments. This was confirmed necessary when it was shown that the class of directed aTAM systems, those where all possible sequences of tile attachments result in the same terminal assembly, is not intrinsically universal (FOCS …

Reinforcement Learning Based Proactive Entanglement Swapping For Quantum Networks, Tasdiqul Islam, Md Arifuzzaman, Engin Arslan

Computer Science Faculty Research & Creative Works

Entanglement generation and swapping is a difficult process due to probabilistic nature of quantum mechanics. To overcome this issue, existing quantum routing algorithms try to create entanglement on multiple paths between source and destination. Although it is possible to save entangled qubits on unused links using quantum memories, the quantum routing algorithms discard them and try creating new entanglement in each time slot. In this work, we leverage the longevity of entanglement and introduce two enhancements to improve the performance of existing routing algorithms: (i) The generation and caching of entanglements across multiple time slots, and (ii) the proactively executing …

Is Alaska Negative-Tax Arrangement Fair? Almost: Mathematical Analysis, Chon Van Le, Vladik Kreinovich

Departmental Technical Reports (CS)

In the State of Alaska there is no state income tax. Instead, there is a negative tex: every year every resident gets some money from the state. At present, every resident -- from the poorest to the richest -- gets the exact same amount of money: in 2024, it is expected to be around $1500. A natural question is: Is this fair? Maybe poor people should get more since their needs are greater? Maybe the rich people should get proportionally more, since fairness means equal added happiness for all, and for rich people, extra $1500 is barely noticeable? There have …

For 2 X N Cases, Proportional Fitting Problem Reduces To A Single Equation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, for each of two classifications, we know the probabilities that a randomly selected object belong to different categories. For example, we know what proportion of people are below 20 years old, what proportion is between 20 and 30, etc., and we also know what proportion of people earns less than 10K, between 10K and 20K, etc. In such situations, we are often interested in proportion of people who are classified by two classifications into two given categories. For example, we are interested in the proportion of people whose age is between 20 and 30 and whose …

Stochastic Dominance: Cases Of Interval And P-Box Uncertainty, Kittawit Autchariyapanikul, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Traditional decision theory recommendation about making a decision assume that we know both the probabilities of different outcomes of each possible decision, and we know the utility function -- that describes the decision maker's preferences. Sometimes, we can make a recommendation even when we only have partial information about utility. Such cases are known as cases of stochastic dominance. In other cases, in addition to not knowing the utility function, we also only have partial information about the probabilities of different outcomes. For example, we may only known bounds on the outcomes (case of interval uncertainty) or bounds on the …

Leveraging An Uncertainty Methodology To Appraise Risk Factors Threatening Sustainability Of Food Supply Chain, Rehab Mohamed, Mahmoud M. Ismail

Neutrosophic Systems with Applications

By diminishing the risk factors associated with the food supply chain (FSC), we have recourse to strengthen the food supply chain's resilience, decrease food waste, and increase its sustainability. Prioritizing and identifying the risk factors impacting the sustainability of the food supply chain is essential for managing uncertainty and averting unfavorable consequences. This study attempts to identify and rank the most significant risks affecting the sustainability of the food supply chain under an uncertain environment. We use the α-Discounting multi-criteria decision-making (α-D MCDM) method for the main three risk factors: the risks of supply, the risks of demand, and the …

True Contraction Decomposition And Almost Eth-Tight Bipartization For Unit-Disk Graphs, Sayan Bandyapadhyay, William Lochet, Daniel Lokshtanov, Saket Saurabh, Jie Xue

Computer Science Faculty Publications and Presentations

We prove a structural theorem for unit-disk graphs, which (roughly) states that given a set D of n unit disks inducing a unit-disk graph ...

Sequential Decision Learning For Social Good And Fairness, Dexun Li

Dissertations and Theses Collection (Open Access)

Sequential decision learning is one of the key research areas in artificial intelligence. Typically, a sequence of events is observed through a transformation that introduces uncertainty into the observations and based on these observations, the recognition process produces a hypothesis of the underlying events. This learning process is characterized by maximizing the sum of the reward signals. However, many real-life problems are inherently constrained by limited resources. Besides, when the learning algorithms are used to inform decisions involving human beings (e.g., Security and justice, health intervention, etc), they may inherit the potential, pre-existing bias in the dataset and exhibit similar …

Introduction To Programming And Applied Analytics Using Python, Matt Brown

ATU Faculty OER Books and Materials

This open electronic textbook is a collection of lecture notes, assignments, and additional background material for a junior level analytics course targeted for business students, it is free to use and copy. The text assumes readers have not had prior programming or computing courses, but have had at least one analytics course. The textbook differs from other textbooks because it serves a dual purpose, to first introduce to students the Python programming language and secondly to introduce analytics programming in Python. It is not meant to be a comprehensive book on the Python language or data analytics, rather a semester’s …

Empirical Insights Into Ai-Assisted Game Development: A Case Study On The Integration Of Generative Ai Tools In Creative Pipelines, Andrew Begemann, James Hutson

Student Scholarship

This study conducts an empirical exploration of generative Artificial Intelligence (AI) tools across the game development pipeline, from concept art creation to 3D model integration in a game engine. Employing AI generators like Leonardo AI, Scenario AI, Alpha 3D, and Luma AI, the research investigates their application in generating game assets. The process, documented in a diary-like format, ranges from producing concept art using fantasy game prompts to optimizing 3D models in Blender and applying them in Unreal Engine 5. The findings highlight the potential of AI to enhance the conceptualization phase and identify challenges in producing optimized, high-quality 3D …

Research On The Solutions Generation And Evaluation In Scenario-Based Intelligence Service Based On Multi-Source Data Aggregation, Yuefen Wang, Xiaoyi Dong, Jin He

Journal of Scientific Information Research

[Purpose/significance]Faced with the challenges of big data and artificial intelligence technology, knowledge services are undergoing profound changes, starting from the task scenarios of user needs, this paper explores the scenario-based intelligence service process that supports and matches different industries and their business scenarios. [Method/process]This paper takes the scenario-based intelligence service R-S model as the core, builds the scenario-based intelligence service solutions generation and evaluation process framework based on multi-source data aggregation, briefly describes the main contents and operation of multi-source data aggregation, and takes an organization's "Russia-Ukraine conflict" equipment information quick perception intelligence service as an example, discusses in detail …

Analysis Of American Think Tanks' Views On China-Us Chip Competition And Its Enlightenment, Bingcheng He, Guoli Yang

Journal of Scientific Information Research

[Purpose/significance]This paper focuses on the viewpoints of leading American think tanks on chip competition with China, aiming to unravel the logic behind the formulation of U.S. chip policies towards China. It also seeks to explore innovative pathways for the development of China's chip industry and provide strategic recommendations beneficial to Sino-American chip competition. [Method/process]The study selects 20 representative research reports from 9 prominent think tanks and employs a literature analysis approach to dissect the viewpoints, motives, and potential influences found in these reports. [Result/conclusion]The results reveal that most American think tanks adopt a firm stance, perceiving the rise of China's …