Theory and Algorithms Commons^™

Late-Night And Early-Morning Train Scheduling With Non-Traffic Hour Maintenance Window In Urban Rail Transit Systems, Yaochen Ma, Hai Yang, Hai Wang

Research Collection School Of Computing and Information Systems

Regular maintenance during non-traffic hours (NTH) is vital for the resilience of urban rail transit (URT) systems, yet an insufficient NTH maintenance window poses a challenge for URT systems in various cities. For instance, the Hong Kong MTR Corporation has noted that the required NTH maintenance time often exceeds the available window, prompting service adjustments such as earlier late-night closures and/or later early-morning starts. To address this challenge, this study develops an optimal scheduling framework that links late-night and early-morning URT services through the NTH maintenance window requirement to maximize public welfare. A Decoupled Optimization Model (DOM) first derives closed-form …

Extensive And Intensive Margin Labor Supply On Ride-Sourcing Platforms, Hao Sun, Hai Wang, Zhixi Wan

Research Collection School Of Computing and Information Systems

The rapid expansion of ride-sourcing platforms has enabled freelance drivers to flexibly determine both their participation and working hours. Understanding this flexible labor supply behavior is essential for managing platform capacity and evaluating the impacts of pricing and incentive policies on driver welfare. This study develops a labor supply model in which drivers optimally choose whether to participate (extensive margin) and how long to work (intensive margin) to maximize their utility from consumption and leisure. The model incorporates heterogeneity in drivers’ other income, idle time, and participation costs, allowing us to analytically characterize equilibrium labor supply decisions. The results show …

Computational Insights Into Nucleosome Dynamics In Epigenetics Using Molecular Dynamics Simulations, Rutika Patel

Dissertations, Theses, and Capstone Projects

Nucleosome core particles (NCP) are the building blocks that form a highly organized and compact chromatin structure. Nucleosomes package DNA in the nucleus of eukaryotic cells. The NCP consists of about 147 base pairs of DNA wrapped around the histone octamer, with 1.65 superhelical turns in a left-handed manner. The histone octamer is composed of two copies of H3, H4, H2A, and H2B. Together with histone H1 and linker DNA, they further assemble into a higher-order chromatin structure. The nucleosome complex is stabilized by electrostatic interactions between positively charged histone residues and the negatively charged DNA backbone. To effectively access …

Largest 2-Regular Subgraphs In Complete S-Partite Graphs, Yiyang Jiang

McKelvey School of Engineering Graduate Student Theses & Dissertations

In this thesis, we focus on the class of complete $S$-partite graphs, for $S$ an undirected graph possibly with self-loops, and address the problem of finding largest $2$-regular subgraphs of these graphs, which can be formulated as an integer linear program. Roughly speaking, a complete $S$-partite graph is obtained by replacing every single node of $S$ with a number of nodes, preserving the edge/non-edge relations of $S$. Our motivation in studying largest $2$-regular subgraphs is rooted in the structural systems theory, particularly in the problem of finding largest subnetworks that can sustain controllability or asymptotic stability of the corresponding subsystems. …

Learning Global Context For Sparse Activity Recognition In Lengthy Recordings With Limited Dataset Size, Zeyu Tang

All Dissertations

This dissertation describes methods to analyze lengthy recordings of data in order to detect sparsely occurring activities. The narrative below describes the progression of research that led to the development of these methods and their generalization into a unified framework. My research started with designing models for dietary monitoring, including detecting meals from day-long recordings and detecting intake gestures from meal-length recordings. Both tasks share some common characteristics: (a) the target event takes only a small portion of data recordings, and (b) there is global context within full-length data recordings that can help a model make better decisions. After finishing …

Study Of Output And Behavior Of Llms Using Confidence Framing In Prompt Engineering, Micah Parrilla

Doctoral Dissertations and Master's Theses

While prompt engineering is pivotal for shaping Large Language Model (LLM) outputs, the impact of confidence framing on behavioral calibration remains underexplored. This study investigates the ways in which psychological framing, utilizing techniques such as capability praise, role amplification, and doubt induction, affects linguistic tone, objective accuracy, and internal calibration. A 1,080-trial experimental matrix evaluated six diverse models across factual, logical, coding, and cyber security domains. Analysis using the Kruskal-Wallis H-test revealed highly significant behavioral shifts across all measured dimensions, providing conclusive evidence that the applied frames exert a substantial influence on model performance.

The findings identify a distinct cognitive …

A Knowledge Transfer-Based Membrane Evolutionary Algorithm For Solving Large-Scale Sorted Waste Collection Problem With Timeliness, Wenxue Zhang, Boquan Gao, Aldy Gunawan, Yunyun Niu, Jianhua Xiao

Research Collection School Of Computing and Information Systems

The sorted collection of municipal solid waste has emerged as an effective waste management strategy due to varying timeliness requirements across different waste types, giving rise to the critical research challenge of timeliness-based waste collection. While existing algorithms primarily focus on small-scale versions of this problem, solving large-scale timeliness-based waste collection problems remains particularly challenging. To tackle this issue, this paper proposes a knowledge transfer-based membrane evolutionary algorithm. Specifically, the original problem and simplified problem are constructed in different membranes respectively, and the knowledge transfer learning mechanism is incorporated into the membrane evolutionary algorithm, enabling effective information exchange between the …

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

Light Cone Cancellation For Variational Quantum Eigensolver In Solving Noisy Max-Cut, Xinwei Lee, Xinjian Yan, Ningyi Xie, Yoshiyuki Saito, Leo Kurosawa, Nobuyoshi Asai, Dongsheng Cai, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

Variational Quantum Eigensolver (VQE) is a quantum-classical hybrid algorithm used to estimate the ground energy of a given Hamiltonian. It consists of a parameterized quantum circuit, which the parameters are optimized using a classical optimizer. With the increasing need in solving large-scale problems in real-world applications, solving those large problems with fewer qubits and fewer gates becomes essential, so that we reduce the simulation difficulty and mitigate the effect of noise in real quantum hardware. In this study, we applied the Light Cone Cancellation (LCC) method to reduce the number of qubits and gates required in a two-local ansatz. LCC …

A Virtual-Reality-Based Dental Simulator For Endodontics With Automated Formative Feedback, Yousef Salah Abo El Ela

Theses and Dissertations

Advancements in virtual reality (VR) and haptic technology are transforming the landscape of medical and dental education, offering new avenues for safe, immersive, and repeatable training experiences. Within dentistry, endodontics presents unique challenges for preclinical education due to anatomical complexity, limited access to extracted teeth, ethical concerns, and the shortcomings of conventional plastic models. Despite endodontics specific plastic teeth being available, they fall short of replicating the hardness of real extracted teeth, are relatively costly compared to generic plastic teeth, and are ultimately a disposable item which makes them inadequate as a sustainable long-term solution. Extracted teeth do a much …

Radial And Carotid Arterial Pulse Signals For Assessing Cardiovascular Function At Rest And During Post-Exercise Recovery In A Heart Transplant Patient: A Case Study, Md Mahfuzur Rahman, Mamun Hasan, Jennifer F. May, John M. Herre, Leryn Reynolds, Zhili Hao

Mechanical & Aerospace Engineering Faculty Publications

Aim: This study investigates the feasibility of using radial and carotid arterial pulse signals to assess cardiovascular (CV) function at rest and during post-exercise recovery in a heart transplant (HTx) patient. Method: Two micro-fabricated tactile sensors were used to simultaneously acquire arterial pulse signals at the radial artery (RA) and carotid artery (CA). Measurements were taken at rest and at multiple time points post-exercise on three subjects: an HTx patient, a percutaneous coronary intervention (PCI; coronary stent) patient and a healthy control. An SDOF-TF-based time-frequency analysis algorithm was applied to extract a comprehensive set of CV parameters, including heart rate …

A Specification-Driven Framework For Self-Supervised Learning In Specialized Vision Domains, Mahmut S. Gokmen

Theses and Dissertations--Computer Science

Self-supervised learning (SSL) has emerged as a principled approach to visual representation learning that derives supervisory signal directly from unlabeled data, enabling foundation models to be trained at scale without manual annotation. Deployments in medical imaging and biometric recognition have demonstrated the potential of this paradigm, yet the assumptions that make SSL effective on natural image benchmarks fail systematically in specialized domains. Generic SSL pipelines encode a tacit assumption that the most informative correspondence is spatial proximity within a single acquisition. In specialized domains this assumption breaks at the level of the data-generating process: the signal that carries domain-specific information …

Distilling The Complexity Of Agent-Based Simulations Into Textual Explanations Via Large Language Models, Noé Y. Flandre, Philippe J. Giabbanelli

VMASC Publications

Communicating the design and results of agent-based models (ABMs) to subject matter experts is challenging, which hinders participation and limits trust in simulation-based decision support. Large language models (LLMs) can communicate ABMs as textual summaries, thus complementing traditional disclosure through statistical and visualization techniques. While prior work translated the structure of conceptual models into narratives via LLMs, our extension covers the dynamics of simulation models via an automated simulation-to-text method that extracts contextual information from NetLogo ABMs, performs repeated simulations, and generates narrative descriptions (including the model’s purpose, parameters, and simulation dynamics) using mutimodal LLMs. Furthermore, four summarization algorithms spanning …

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 …

The Excess Path Length Distribution: A Stochastic Model For Sample-Based Path Planners, Chaz B. Cornwall

Dissertations, Master's Theses and Master's Reports

Through random sampling, sample-based path planners enable autonomous agents to quickly find paths without human intervention. However, due to the paths' randomness, sample-based path planners currently require additional verification, partially nullifying agents' ability to act autonomously. I set out to characterize this uncertainty so humans know what to expect from these path planners and know how to alter the path planner to desired specifications. To ensure the results are theoretical as well as practical, I first create a stochastic model of path length uncertainty using the trade-off between sampling time and optimality. By leveraging this model, my proposed algorithm reduces …

Untrained Position-Encoded Multilayer Perceptron Network For Structured Illumination Microscopy Reconstruction, Sahil Sharma, Leonidas Zimianitis, Krishnendu Samanta, Balpreet Singh Ahluwalia, Joby Joseph, Dushan N. Wadduwage

Computer Science Faculty Publications

Structured Illumination Microscopy (SIM) enables super-resolution imaging by encoding high-frequency spatial information through patterned light. While traditional Fourier-based reconstruction methods are prone to artifacts under suboptimal conditions, recent deep learning approaches often require large training datasets and lack adaptability across different imaging setups. In this work, we present Position Encoded Multi-Layer Perceptron (PEM) network that leverages implicit neural representations (INRs) and SIM forward-model-driven modeling to reconstruct super-resolved images without any training data. PEM-SIM represents each spatial coordinate as a combination of sinusoidal functions across multiple frequencies, enabling rich encoding of fine spatial detail. A forward model grounded in SIM image …

Machine Learning-Based Lifetime Prediction Of Lithium Batteries: A Comparative Assessment For Electric Vehicle Applications, Abdelilah Hammou, Raffaele Petrone, Demba Diallo, Boubekeur Tala-Ighil, Philippe Makany Boussiengue, Hicham Chaoui, Hamid Gualous

Electrical & Computer Engineering Faculty Publications

This paper evaluates and compares four data-driven methods (Gaussian Process Regression (GPR), echo state network (ESN), gated recurrent unit (GRU), and long short-term memory (LSTM)) for lithium-ion capacity prognostics adapted to electric vehicle conditions. This comparison aims to find the most efficient prognosis method considering two constraints: the limitation of computational power and the unavailability of on-board capacity measurement that requires full charge and discharge conditions. The machine learning models are trained using capacity values estimated under vehicle conditions. The ageing data is collected from cycling tests of two battery chemistries, Lithium Fer Phosphate (LFP) and Nickel Manganese Cobalt (NMC), …

Qubit Lattice Algorithm Simulations Of The Scattering Of A Bounded Two Dimensional Electromagnetic Pulse From The Infinite Planar Dielectric Interface, Min Soe, George Vahala, Linda Vahala, Efstratios Koukoutsis, Abhay K. Ram, Kyriakos Hizanidis

Electrical & Computer Engineering Faculty Publications

Qubit lattice algorithm (QLA) simulations are performed for a two-dimensional spatially bounded pulse propagating onto a plane interface between two dielectric slabs. QLA is an initial value scheme that consists of a sequence of unitary collision and streaming operators, with appropriate potential operators, that recover Maxwell equations in inhomogeneous dielectric media to the second order in the lattice discreteness. For the case of total internal reflection, there is transient energy transfer into the second medium due to the evanescent fields as the Poynting unit vector of the pulse is rotated from its incident to reflected direction. Because of the finite …

Consensus And Controversies Of International Guidelines For The Diagnosis, Surveillance, And Management Of Fetal Growth Restriction: An Updated Comparison, Daniele Diane Mascio, Suneet P. Chauhan, Tullio Ghi, Asma Khalil, Juliana G. Martins, Sara Sorrenti, Tamara Stampalija, Fabrizio Zullo, Francesc Figueras

Department of Obstetrics & Gynecology Faculty Publications

OBJECTIVE: To compare areas of consensus and disagreements across contemporary international and national guidelines on the diagnosis, surveillance, and management of fetal growth restriction (FGR).

DATA SOURCES: Electronic searches of MEDLINE from database inception up to March 2026 using MeSH terms and keywords related to FGR and guidelines. STUDY ELIGIBILITY CRITERIA: Critical, structured comparison of national or international guidelines on FGR published since 2010. Final inclusion required unanimous agreement from all authors.

STUDY APPRAISAL AND SYNTHESIS METHODS: Pre-specified extraction across domains: definition; prediction/prevention; surveillance tools and frequency; delivery timing and mode; and labor induction methods. Dual data …

Optimizing Maintenance Routes For Highway Infrastructure Using Leader-Follower Autonomous Vehicles, Qing Tang, Chenxi Chen, Xianbiao Hu, Yuxin Ding, Tianjia Yang

Civil & Environmental Engineering Faculty Publications

The Autonomous Truck Mounted Attenuator (ATMA), a leader–follower style connected and automated vehicle system, enhances safety during transportation infrastructure maintenance in work zones. However, the significantly lower speed of ATMA, compared to regular vehicles, causes moving bottlenecks that reduce roadway capacity and prolong queuing, leading to further delays. Different ATMA routes lead to varying patterns of time-dependent capacity drop, affecting the user equilibrium traffic assignment and resulting in differing system costs. This study aims to optimize ATMA routing within a network to minimize the system cost associated with its slow-moving operation. To this end, a queuing-based traffic assignment approach is …

Privacy Preserving-Based Artificial Intelligence For Precision Agriculture, Partha P. Sengupta

Dissertations

The research work finds a solution to precision agriculture of cotton cultivation using artificial intelligence (AI) models. Two sets of model performance based on the application are selected namely a low resource and a high resource setting. This is because using drone surveys to capture images identifying the classes of stressed and unstressed cotton plantation requires limited model architecture and CPU based computation. Thus, traditional AI models were selected for low resource settings. Again, for high computation intensive models like transfer learning-convolution neural network (CNN) based architectures were grouped into high resource settings. There was another issue of class imbalance …

Universal Systems Simulation Via Constraint Hypergraphs With Applications To Digital Twins, John Morris

All Dissertations

The characterization of systems encompasses a variety of modeling frameworks designed to capture specific behaviors and components of various system domains. Whatever the framework, the core elements of a system representation are the information of the system and a description of how that information is related. The relations in deterministic systems are functions, which, when composed to form executable processes, can be used to simulate system data. A declarative modeling framework is one that encodes mechanisms for preparing these simulations within the model structure, allowing an external agent to form the execution processes required for a given context. To date, …

Csc36000 - Modern Distributed Computing Assignment, Saptarashmi Bandyopadhyay

Open Educational Resources

This assignment covers standard performance metrics for Distributed Systems and the basics of Multiprocessing for CSC36000 - Modern Distributed Computing at the City College of New York CUNY. It is an interactive coding assignment intended to be executed in a Python notebook.

Advancing Real-World Implementation Of The Well Optimized Linear Finder (Wolf) High-Speed Atmospheric Turbulence Compensation Method, Timothy Evan Coon

Theses and Dissertations

This dissertation advances the real-world implementation of the Well Optimized Linear Finder (WOLF) method for high-speed Atmospheric Turbulence Compensation (ATC). Atmospheric turbulence introduces phase aberrations into optical wavefronts and degrades image quality in terrestrial imaging systems. Traditional phase diversity methods are computationally intensive and poorly suited to real-time operation. The WOLF method addresses these limitations through a novel, point-wise formulation of the optical transfer function (OTF) as a structured autocorrelation of the generalized pupil function (GPF). This formulation enables the estimation of phase aberrations at individual spatial coordinates with distributed computational complexity.

The research begins by developing a MATLAB-based simulation …

Syntax-Enhanced Boundary-Aware Named Entity Recognition Model, Chuanming Yu, Bin Deng, Zhengang Zhang

Journal of Scientific Information Research

[Purpose/significance] This study addresses the issue of inadequate perception of entity boundaries in traditional character-level modeling-based named entity recognition models by integrating syntax information containing entity boundary features into the task using a multi-head graph attention network with dense connections. This integration enhances the effectiveness of named entity recognition.

[Method/process] This study proposes a Syntax-enhanced Boundary-aware Named Entity Recognition Model (SynBNER), which utilizes BERT for text semantic representation and integrates syntax information using a dense-connected graph attention network. This integration incorporates implicit entity boundary information from syntax information into word representations, thereby enhancing the model's entity boundary perception capability.

[Result/conclusion] …

Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri

McKelvey School of Engineering Graduate Student Theses & Dissertations

Neural networks are an increasingly ubiquitous tool in systems of varying complexity across a range of domains. While these tools can be used to learn and predict complex functions, their opaque nature limits the scope of their acceptable applications. In particular, a lack of performance guarantees means that they are unsuitable for safety-critical applications such as self-driving cars and scheduling systems. Neural networks trained to solve NP-complete problems, in particular, are unlikely to be able to solve the problem exactly. However, a weaker soundness guarantee may be sufficient for some systems, e.g., that positive instances of the problem may be …

Praxly: An Online Ide For The Praxis Cs Test Pseudocode, Benjamin Saupp

James Madison Undergraduate Research Journal (JMURJ)

No abstract provided.

Advancing Precision And Autonomy In Agriculture And Medical Imaging Through Ai And Computer Visions, Tan-Hanh Pham

Theses and Dissertations

Deep learning has revolutionized numerous fields by enhancing precision, automation, and decision-making capabilities. This dissertation explores its applications in agriculture and medical image processing, introducing novel methodologies to improve accuracy and efficiency in these domains. These fields hold critical societal importance -- agriculture underpins global food security and sustainability, while medical imaging drives advancements in diagnostics and personalized healthcare, both benefiting significantly from data-driven innovations. In agriculture, deep learning is applied to precision spray systems through droplet analysis. Specifically, a generative model is designed to create synthetic droplet images, addressing the challenge of limited training samples, which are expensive …

Towards Visual Inertial Navigation With Fixed Tetrahedral Targets, Joao Leonardo Silva Cotta

Theses and Dissertations

This dissertation presents a robust method for 6DoF position estimation under impaired visual conditions utilizing a minimum 4-point Perspective-n-Point (P4P) solver designed for tetrahedral targets. Using SO(3) × R 3 instead of SE(3), the method uses a Lie group-based formulation to discriminate between rotation and translation, thereby enabling computationally efficient, resource-conscious op- optimization while preserving correct geometric behavior. Designed using the contemporary C++17 library ShomerTarget, the solver is analytically formulated and assessed under pragmatic robotic conditions. Particularly in low-light and high-dynamic environments, experiments on embedded systems, UAVs, and NASA’s Astrobee show that the proposed solver attains enhanced accuracy compared to …