Computer Sciences Commons^™

Trustworthy And Explainable Malware Threat Intelligence Through Social Media Analytics And Nature-Inspired Optimization, Feras Al-Obeidat, Muhammad Saad Rashad, Muhammad Amin, Waqas Ali, Bilal Khan, Sajid Anwar

All Works

The convergence of media analytics, Cyber threat Intelligence (CTI) and trustworthy artificial intelligence has become essential for modern cybersecurity systems operating over large-scale, heterogenous data sources. In particular, Social Media Intelligence (SOCMINT) and Open Source Intelligence (OSINT) provide high-volume, real-time signals that complement structured CTI frameworks for early-stage malware and adversarial threat detection. However, integrating these unstructured and dynamic sources with Structured Threat Information Expression (STIX) remains challenging due to its hierarchical complexity, semantic redundancy, and computational overhead in resource-constrained environments. This paper proposes an explainable and optimized intelligence pipeline (BERT-STIX) that unifies SOCMINT, OSINT, and STIX-based CTI using deep …

Benefits Of Traffic Reprofiling For Delay Sensitive Networking, Jiaming Qiu

McKelvey School of Engineering Graduate Student Theses & Dissertations

Deterministic networking systems, such as Time-Sensitive Networking (TSN) and Deterministic Networking (DetNet), require strict end-to-end delay guarantees while efficiently utilizing limited network resources. Conventional approaches typically focus on fixed traffic profiles, which can lead to suboptimal resource utilization in scheduling or admission control problems. This dissertation investigates traffic reprofiling—the proactive reshaping of traffic arrival patterns—as a complementary mechanism for improving both resource efficiency and delay performance under strict service guarantees. The dissertation consists of three parts. The first part studies bandwidth minimization under hard delay constraints for Service Curve Earliest Deadline First (SCED) schedulers. We show that traffic reprofiling can …

Detecting And Repairing Conflicting Constraints In Co-Trained Physics-Informed Neural Networks For Composite Curing Processes, Cooper J. Evans

Dissertations, Master's Theses and Master's Reports

Composite materials have become a critical component of modern manufacturing, especially in the automotive and aerospace industries. The curing process for these composites has been modeled using a variety of partial differential equations representing the heat transfer and composite curing kinetics. Optimizing the applied temperature profile is critical for maximizing the efficiency and capacity of composite part manufacturers. Constraints must be placed on the inputs and outputs of the model, including but not limited to, the applied temperature profile, part temperature, and final degree of cure. Conflicting sets of constraints are easy to unknowingly impose due to the highly coupled …

Multi-Objective Optimization Of Energy Costs And Ev Battery Health In V2g Enabled Homes, Dzifa M. Hodey

Theses and Dissertations--Computer Science

Electric vehicles (EVs) and rooftop solar photovoltaic (PV) systems are increasingly being integrated into residential settings, creating new opportunities for vehicle-to-grid (V2G) and vehicle-to-home (V2H) operations. In these systems, the EV battery functions as a controllable energy storage unit that can charge from the grid or PV and discharge energy to supply household load or export to the grid for a profit. By intelligently scheduling this bidirectional power exchange, households can reduce electricity costs and enhance PV utilization. Realizing these benefits requires optimization strategies that balance cost reduction with EV battery health preservation. However, existing V2G/V2H studies largely emphasize cost …

Multipacking On Graphs And Euclidean Metric Space, Sk Samim Islam

Doctoral Theses

A multipacking in an undirected graph G = (V,E) is a set M ⊆ V such that for every vertex v ∈ V and for every integer r ≥ 1, the ball of radius r around v contains at most r vertices of M, that is, there are at most r vertices in M at a distance at most r from v in G. The multipacking number of G is the maximum cardinality of a multipacking of G and is denoted by mp(G). The MULTIPACKING problem asks whether a graph contains a multipacking of size at least k. For more …

Improving Co-Decoding Based Security Hardening Of Code Llms Leveraging Knowledge Distillation, Dong Li, Shanfu Shu, Meng Yan, Zhongxin Liu, Chao Liu, Xiaohong Zhang, David Lo

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have been widely adopted by developers in software development. However, the massive pretraining code data is not rigorously filtered, allowing LLMs to learn unsafe coding patterns. Several prior studies have demonstrated that code LLMs tend to generate code with potential vulnerabilities. The widespread adoption of intelligent programming assistants poses a significant threat to the software development process. Existing approaches to mitigating this risk primarily involve constructing secure data that are free of vulnerabilities and then retraining or fine-tuning the models. However, such an effort is resource intensive and requires significant manual supervision. When the model parameters …

Sugar: A Sequence Unfolding Based Transformer Model For Group Activity Recognition, Yash U. Gondkar

Graduate Masters Theses

Large Language Models have improved significantly in the past couple of years due to the adoption of transformers. However, transformers still find it challenging to process videos due to limited context size caused by their quadratic computing cost. Therefore, we studied a booming field in machine learning which powers applications like social scene analysis and video surveillance systems called Group Activity Recognition (GAR). We found that recent models were able to achieve more than 90% accuracy on popular datasets like the Volleyball dataset, however, it turned out that even they relied on transformers.

Therefore, in this work, we developed a …

Tools To Design Algorithms For Implementing Control Over Quantum Computers, Shilpa Narashimhan, Jihan Abou Halloun, Kip Nieman, Helen Durand

Chemical Engineering and Materials Science Faculty Research Publications

Quantum computers (QCs) may find future applications within control systems that operate manufacturing processes. For application within control engineering, quantum algorithm development must be led by control engineers. However, control engineers may face challenges in designing quantum algorithms for control engineering problems. In this work, we provide several path-finding studies that leverage engineering tools such as optimization, encryption, and computational "short-cuts" toward making algorithm design for QC easier for control engineers.

Exploiting Compiler-Introduced Vulnerabilities In C: A Cross-Compiler And Cross-Architecture Analysis Of Undefined Behavior, Erik Mccutchen

Master's Theses

Compilers are a critical component in generating secure software across engineering disciplines. However, languages like C that permit undefined behavior introduce a fundamental tension between the compiler’s interpretation of undefined behavior and the security of the generated code. This tension can result in security vulnerabilities that, from the programmer's perspective, are ``created'' by the compiler. The widespread use of these languages, combined with the complexity of modern optimizations and limited developer visibility into compiler behavior, makes these vulnerabilities both pervasive and difficult to detect.

Building on prior work, this thesis refines a dataset of C code snippets that exhibit Compiler-Introduced …

Magic: The Gathering Deck Testing And Optimization, Ian B. Watson

Honors Theses

The goal of this project is to provide a tool for players of the trading card game Magic: the Gathering to determine whether or not a given deck is optimally built by outputting relevant information regarding its optimality. This is done through a simulator that plays a one-sided game, recording what cards are played, what turn they are played, and how much mana is left over at the end of every turn. The simulator was tested with both optimized and unoptimized decks to show how it can be used to diagnose both.

A Systemic Approach To Maximize Heterogeneous System Performance, Thomas L. Randall

All Dissertations

Continuous increases in high performance computing (HPC) throughput have served as catalysts for industry and scientific advancement in countless manners that have fundamentally shaped our modern world. Our demands on compute resources continue to scale, but the limitations of Ahmdal’s law and Dennard scaling have proven increasingly difficult to overcome when approached solely through hardware or software design. Furthermore, many HPC applications fail to utilize the collective system’s performance, even on the most advanced supercomputers.

However, the resurgence of AI in the industry has promoted an explosion of hardware and software codesign that have fueled massive improvements in GPU design …

Artificial Intelligence Applications For Grid-Connected Solar Inverters, Utkirjon Ubaydullaev, Sarvinoz Mirzaeva, Hasan Mustafoev

Chemical Technology, Control and Management

The increasing global demand for renewable energy has highlighted the importance of grid-connected solar inverters in ensuring efficient and stable power conversion. However, challenges such as fluctuations in solar energy generation, grid disturbances, and power quality issues necessitate advanced control strategies. The integration of artificial intelligence (AI) into solar inverters presents a transformative solution, enhancing performance, adaptability, and reliability in real-world applications.

This review explores the role of AI techniques, including machine learning (ML), deep learning (DL), fuzzy logic, and reinforcement learning (RL), in optimizing key inverter functionalities such as maximum power point tracking (MPPT), fault detection, power quality enhancement, …

Automating Course Scheduling With Linear Programming And The Python Pulp Framework: First Steps, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

This article presents a pragmatic approach to automating course scheduling in an academic setting using linear programming.

We explore how linear optimization via current open-source tools can efficiently handle scheduling constraints such as instructor preferences, teaching loads, course section requirements, and specific time slots. Using Python’s PuLP library and matplotlib for visualization, we built a flexible and accessible scheduling system.

Our research prototype balances course assignments while addressing department-specific needs, demonstrating how linear programming can simplify academic scheduling and improve efficiency.

Although this is a research prototype, our results already demonstrate the ability to generate a correct course schedule that …

Analytical Dispatch Strategies For Pumped Storage Hydro: A Conditional Dynamic Programming Approach To Discontinuous Multi-Period Optimization Problems, Jian Liu, Jianwen Zhang, Zaiwu Gong, Donald C. Wunsch, Rui Bo

Electrical and Computer Engineering Faculty Research & Creative Works

The increasing integration of renewable energy sources like wind and solar poses significant challenges to secure and stable grid operation. Energy storage systems, particularly pumped storage hydro (PSH), play a crucial role in balancing power supply and demand. Traditional analytical studies of PSH economic dispatch problems often assume zero lower bounds for generating and pumping rates to simplify analysis and derive analytical solutions for multi-period optimization problems. However, the inherent mechanical design constraints of PSH require non-zero minimum flow rates for efficient operation. We analyze two scenarios, merchants having PSH only and merchants having both PSH and wind farms. In …

Advances In Natural Fiber Polymer And Pla Composites Through Artificial Intelligence And Machine Learning Integration, Md Helal Uddin, Mohammed Huzaifa Mulla, Tarek Abedin, Abreeza Manap, Boon Kar Yap, Reji Kumar Rajamony, Kiran Shahapurkar, T. M.Yunus Khan, Manzoore Elahi M. Soudagar, Mohammad Nur-E-Alam

Research outputs 2022 to 2026

Natural Fibre Polymer (NFP) and Polylactic Acid (PLA) composites have received a lot of interest in a variety of sectors because they are environmentally friendly, renewable, and sustainable. Over the last decade, researchers have investigated the aspects of NFP/PLA composite development and optimization for a wide range of applications, including packaging materials, automotive components, construction materials, textile and apparel, biomedical devices, agricultural and horticultural applications, electronics, and consumer electronics. Furthermore, using Artificial Intelligence (AI) and Machine Learning (ML) methodologies has increased these polymer materials and associated technologies in their search for new potential ways to further progress in NFP and …

J-Necora: A Framework For Optimal Resource Allocation In Cloud-Edge-Things Continuum For Industrial Applications With Mobile Nodes, Marco Pettorali, Francesca Righetti, Carlo Vallati, Sajal K. Das, Giuseppe Anastasi

Computer Science Faculty Research & Creative Works

In the Industrial Internet of Things (IIoT) landscape, where the Cloud-to-Things Continuum (C2TC) paradigm is now a reality, industrial applications need to cope with highly heterogeneous network and computing resources. Moreover, many industrial applications also involve Mobile Nodes (MNs). Efficient allocation of network and computing resources to meet the stringent requirements of such applications is often a very challenging task. In this paper, we propose J-NECORA (Joint NEtwork and COmputing Resource Allocation), a comprehensive analytical framework to derive the optimal joint allocation of network and computing resources in the C2TC, that guarantees the application requirements, even in the presence of …

Harnessing The Power Of Gradient-Based Simulations For Multi-Objective Optimization In Particle Accelerators, Kishansingh Rajput, Malachi Schram, Auralee Edelen, Jonathan Colen, Armen Kasparian, Ryan Roussel, Adam Carpenter, He Zhang, Jay Benesch

Data Science Faculty Publications

Particle accelerator operation requires simultaneous optimization of multiple objectives. Multi-objective optimization (MOO) is particularly challenging due to trade-offs between the objectives. Evolutionary algorithms, such as genetic algorithms (GAs), have been leveraged for many optimization problems, however, they do not apply to complex control problems by design. This paper demonstrates the power of differentiability for solving MOO problems in particle accelerators using a deep differentiable reinforcement learning (DDRL) algorithm. We compare the DDRL algorithm with model-free reinforcement learning (MFRL), GA, and Bayesian optimization (BO) for simultaneous optimization of heat load and trip rates in the continuous electron beam accelerator facility. The …

Optimization Of Serum And Salivary Cortisol Interpolation For Time-Dependent Modeling Frameworks In Healthy Adult Males, Nathaniel T. Berry, Travis Anderson, Christopher K. Rhea, Laurie Wideman

Rehabilitation Sciences Faculty Publications

Cortisol is an important marker of hypothalamic-pituitary-adrenal function and follows robust circadian and diurnal rhythms. However, biomarker sampling protocols can be labor-intensive and cost-prohibitive. Objectives: Explore analytical approaches that can handle differing biological sampling frequencies to maximize these data in more detailed and time-dependent analyses. Methods: Healthy adult males [N = 8; 26.1 (±3.1) years; 176.4 (±8.6) cm; 73.1 (±12.0) kg)] completed two 24 h admissions: one at rest and one including a high-intensity exercise session on the cycle ergometer. Serum and salivary cortisol were sampled every 60 and 120 min, respectively. Six alternative sampling profiles were defined by downsampling …

Potsdam: Pareto Optimization Targeting Security, Data, And Mediation, J Peter Brady

Dartmouth College Ph.D Dissertations

Given the growing amount and variety of data handled by modern systems, it is crucial to guarantee the accuracy and protection of input data without errors or malicious intentions. The need to improve security in software programs often conflicts with the assurance of maximum performance, making developers and maintainers hesitant to incorporate more testing.

LangSec (Language-Theoretic Security) is a security approach that treats input validation as a formal language recognition problem, ensuring that only well-defined, unambiguous inputs are processed to eliminate exploitable parsing flaws. This dissertation explores integrating LangSec principles with Pareto optimization to enhance safety and robustness in digital …

Optimizing Ai Language Models: A Study Of Chatgpt-4 Vs. Chatgpt-4o, Md Nurul Absar Siddiky, Muhammad Enayetur Rahman, Md Fayaz Bin Hossen, Muhammad Rezaur Rahman, Md. Shahadat Jaman

Electrical & Computer Engineering Faculty Publications

This paper presents a comparative analysis of OpenAI's GPT-4 and its optimized variant, GPT-4o, focusing on their architectural differences, performance, and real-world applications. GPT-4, built upon the Transformer architecture, has set new standards in natural language processing (NLP) with its capacity to generate coherent and contextually relevant text across a wide range of tasks. However, its computational demands, requiring substantial hardware resources, make it less accessible for smaller organizations and real-time applications. In contrast, GPT-4o addresses these challenges by incorporating optimizations such as model compression, parameter pruning, and memory-efficient computation, allowing it to deliver similar performance with significantly lower computational …

Flux-Weakening Control Methods For Permanent Magnet Synchronous Machines In Electric Vehicles At High Speed, Samer Alwaqfi, Mohamad Alzayed, Hicham Chaoui

Electrical & Computer Engineering Faculty Publications

Permanent magnet synchronous motors (PMSMs) are widely favored by manufacturers for use in electric vehicles (EVs) because of their many benefits, which include high power density at high speeds, ruggedness, potential for high efficiency, and reduced control complexity. However, since the Back Electromotive Force (EMF) increases proportionally with the motor’s rotational speed, it must be carefully controlled at high speeds. Flux-weakening (FW) control is required to avoid excessive electromagnetic flux beyond the power source and inverter’s voltage restrictions. This paper aims to compare various FW control strategies and analyze their effectiveness in maximizing the speed of PMSMs in EV applications …

Development Of A Hybrid Methodology Of Deep Learning And Machine Learning For Lung Nodule Detection In Medical Computed Tomography Images, Zaed S. Mahdi, Rana M. Zaki, Alaa Kadhim Farhan, Negar Majma

Journal of Soft Computing and Computer Applications

Deep learning and machine learning play an important role in the medical field, helping doctors make accurate, fast and effective diagnosis. Despite the progress achieved in the use of modern technologies in detecting cancerous nodes, current studies still suffer from some challenges and limitations that must be addressed to obtain high efficiency in identifying cancerous nodes. These challenges include using image pre-processing, combining deep learning and machine learning techniques, and constantly adapting to clinical changes, in order to address this. A hybrid methodology has been proposed for detecting cancerous nodules in the lung in medical Computed Tomography (CT) images. It …

Real-Time Feedback-Driven Framework For Automated Cybersickness Mitigation, Md Jahirul Islam

Master's Theses

As technologies are becoming more advanced day by day, the embracement of virtual reality (VR) technology among users is also increasing in daily activities for various purposes, and subsequently, the barrier between the real and virtual world is fading. Despite the versatile uses, cybersickness (CS) is a major problem which is induced among users due to the immersive VR experience. There is a plethora of research findings and methods to measure the users’ CS such as virtual reality sickness questionnaire (VRSQ), simulator sickness questionnaire (SSQ), fast motion scale questionnaire (FMS), and others. Recently, machine learning approaches have also been adopted …

Optimal Algorithm For Managing On-Campus Student Transportation, Youssef Harrath, Jood Alyusuf, Zeena Ghulam, Muna Aldoseri

Research & Publications

This study analyzed the transportation issues at the University of Bahrain Sakhir campus, where a bus system with an unorganized and fixed number of buses allocated each semester was in place. Data was collected through a survey, onsite observations, and student schedules to estimate the number of buses needed. The study was limited to students who require to move between buildings for academic purposes and not those who choose to ride buses for other reasons. An algorithm was designed to calculate the optimal number of buses for each time slot, and for each day. This solution could improve transportation efficiency, …

Addressing Inference Time Of Machine Learning Models In Embedded Systems, Samuel Black

UNLV Theses, Dissertations, Professional Papers, and Capstones

Embedded Systems are used for a wide range of specialized computing purposes including surveyal, safety, security, and quality of life. Many areas that embedded systems are used in require the use of machine learning models. Constraints can be placed on embedded systems. Timeliness of execution, user satisfaction, security, power, and resource limitations must be considered when designing for embedded systems. Neural networks excel at complex tasks that are otherwise intractable, but their relatively high computational cost poses a challenge for inclusion in embedded systems. Neural network architectures should be optimized to reduce the total number of operations performed while maintaining …

Machine Learning-Driven Process Analysis And Optimization In Solid-State Welding And Fusion-Based Additive Manufacturing, Radif Uddin Ahmed

Master's Theses

In the modern era of advanced manufacturing, optimizing process parameters is pivotal in ensuring the quality and reliability of sophisticated component fabrication. This study presents a novel, data-driven approach to parameter optimization in two cutting-edge manufacturing techniques: Friction Stir Welding (FSW) and Laser Powder Bed Fusion (LPBF). By leveraging machine learning methodologies, this research addresses the critical challenge of efficiently determining optimal process parameters, a task traditionally relying on time-consuming and resource-intensive trial-and-error methods. This study will lead to a robust data-driven framework for process analysis of more advanced manufacturing techniques like the Additive Friction Stir Deposition (AFSD) process. Friction …

An Introduction To The Time-Independent Schrödinger Equation And Methods To Solve It, Vu Giang, Alex Gnech

OUR Journal: ODU Undergraduate Research Journal

The Time-Independent Schrödinger Equation is a linear elliptic PDE that describes quantum-mechanical systems. Its significance in the science of submicroscopic phenomena, particularly quantum mechanics, is as central as Newton’s laws of motion are to classical mechanics. This study uses various methods, including novel neural networks and finite difference schemes, to solve the one-dimensional two-body equation.

Visual Parsing Algorithms For An Equitable Augmented Reality Learning System, Pushpita Saha '25, Matthew L. Furber Mfa, Paul W. Bible

Annual Student Research Poster Session

Giving instructions for a character to navigate around a scene provides a simple analog for the planning needed in computer programming. While many children’s navigation games exist, most require the child to use a combination of input devices such as keyboard, mouse, and controllers for play. Children under the age of five may struggle to use a mouse, but they can easily construct the plans needed for such a game. This research explores layout and graph connectivity algorithms to connect tactile game pieces for a navigation game. A web camera identifies the position of action cards and numerical modifiers (card: …

Groundwater Modeling Of The Ogallala Aquifer: Use Of Machine Learning For Model Parameterization And Sustainability Assessment, Tewodros Aboret Tilahun

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Addressing groundwater depletion problems in heterogeneous aquifer systems is a challenge. The heterogeneous Ogallala Aquifer, a critical source of groundwater in the central United States, has undergone decades of decline in water levels due to pumping. This project aims to build a robust groundwater model to evaluate optimal scenarios for sustainable use of the groundwater resource within a section of the Ogallala aquifer located in the Middle Republican Natural Resources District (MRNRD). This study follows a comprehensive approach involving parameterization, construction, and optimization. The model is parametrized using hydraulic conductivity and recharge values obtained from a random forest-based machine learning …

Leveraging Generative Ai For Sustainable Farm Management Techniques Correspond To Optimization And Agricultural Efficiency Prediction, Samira Samrose

All Graduate Reports and Creative Projects, Fall 2023 to Present

Sustainable farm management practice is a multifaceted challenge. Uncovering the optimal state for production while reduction of environmental negative impacts and guaranteed inter-generational assets supervision needs balanced management. Also, considering lots of different factors (cost, profit, employment etc), the agricultural based management technique requires rigorous concentration. In this project machine learning models are applied to develop, achieve and improve the farm management techniques. This experiment ensures the resultant impacts being environment friendly and necessary resource availability and efficiency. Predicting the type of crop and rotational recommendations will disclose potentiality of productive agricultural based farming. Additionally, this project is designed to …