Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 331 - 360 of 17307

Full-Text Articles in Engineering

Integrating Geometric Priors And Importance Sampling For High-Fidelity Indoor Scene Reconstruction, Tao Yang, Min Shi, Xigang Zhao, Suqin Wang, Qi Wang, Dengming Zhu Mar 2026

Integrating Geometric Priors And Importance Sampling For High-Fidelity Indoor Scene Reconstruction, Tao Yang, Min Shi, Xigang Zhao, Suqin Wang, Qi Wang, Dengming Zhu

Journal of System Simulation

Abstract: Gaussian splatting suffers from geometric distortion during scene reconstruction, particularly in weakly textured indoor scenes. To address this issue, this paper proposes a high-precision indoor scene reconstruction method that integrates geometric priors and importance sampling. The proposed method fully considers the effect of the initialization process on reconstruction quality. An advanced feed-forward model is employed to generate high-quality geometric initialization, thus improving overall reconstruction stability and accuracy. An importance sampling strategy is introduced to mitigate the adverse effects of blurry images. Furthermore, a supervision mechanism based on a geometric prior model is designed to constrain the scene structure, further …


Research On Gaussian Splatting Modeling Of Power Equipment In 3d Scenes, Haiying Li, Haonan Xu, Junfang Hao Mar 2026

Research On Gaussian Splatting Modeling Of Power Equipment In 3d Scenes, Haiying Li, Haonan Xu, Junfang Hao

Journal of System Simulation

Abstract: To address the issues of missing camera poses in captured images and poor reconstruction quality in 3D modeling of power equipment, a 3D Gaussian splatting 3D modeling method for power equipment based on video sequences was proposed. Theffmpeg was adopted to extract video frames at a reduced rate, and the Scharr operator was employed to quantify the sharpness of video frames to screen high-quality images for forming an input dataset, ensuring the completeness of equipment poses and the quality of modeling data. Through multi-view feature point extraction and matching, combined with an incremental structure-from-motion algorithm to optimize and …


A Precise Damage Assessment Method For Lethal Blast Warheads Against Quadruped Robots, Xueqian Wang, Jianbing Men, Xin Zhou, Shuyou Wang, Mei Li Mar 2026

A Precise Damage Assessment Method For Lethal Blast Warheads Against Quadruped Robots, Xueqian Wang, Jianbing Men, Xin Zhou, Shuyou Wang, Mei Li

Journal of System Simulation

Abstract: To accurately evaluate the damage efficiency of a lethal blast warhead on quadruped robots, a typical quadruped robot replication model and vulnerability damage tree were constructed through Autodesk Inventor. The power field calculation model of a lethal blast warhead was introduced. Based on the high-precision collision detection and graphic rendering technology of UE, this paper carried out the intersection detection of destructive elements and targets and realistic scene visualization. A visualization system for damage assessment of quadruped robots by a lethal blast warhead was developed, featuring capabilities such as parametric modeling of the lethal blast warhead, power field evolution …


Robot Path Planning By Reinforcement Learning Based On Sac3q-Hdm, Dequan Li, Wan Xiong Mar 2026

Robot Path Planning By Reinforcement Learning Based On Sac3q-Hdm, Dequan Li, Wan Xiong

Journal of System Simulation

Abstract: To address the issues of overestimated and underestimated biases, low sample utilization rate, and the inability to balance exploration and exploitation in reinforcement learning for path planning, an improved SAC method was proposed. The size balance of entropy was explored and utilized through adaptive temperature coefficient adjustment; on the basis of the SAC framework, a triple Critic architecture was introduced to dynamically weight and fuse the minimum and average values through Qvalue uncertainty, balancing overestimated and underestimated biases. A mixed dynamic sampling experience replay buffer was designed; experience data was partitioned based on reward thresholds; sampling ratios were dynamically …


Nerf Optimization Method And Simulation Research Based On Pre-Training And Differentiable Fuzzy Modeling, Yunjng Zhang, Minghui Yang, Hao Wang Mar 2026

Nerf Optimization Method And Simulation Research Based On Pre-Training And Differentiable Fuzzy Modeling, Yunjng Zhang, Minghui Yang, Hao Wang

Journal of System Simulation

Abstract: To address the challenges of significant geometric modeling errors, severe detail loss, and low training efficiency in neural radiance field(NeRF) reconstruction under defocused blurred input scenarios, this paper proposes two optimization strategies. One strategy is introducing Triplane features generated by the pre-trained LRM as prior knowledge, and combining a lightweight decoder and directional LoRA module to replace large MLP, thereby reducing parameters and shortening convergence time. The second strategy is integrating a differentiable blurring model into the volumetric rendering step. By jointly optimizing the radiation field and spatially variable blurring kernels, reconstruction accuracy under defocused blurred scenarios is enhanced …


Virtual Train Operation Platform Based On Digital Twin, Ziying Wang, Congjun Sun, Guihu Li, Tianhao Zhang Mar 2026

Virtual Train Operation Platform Based On Digital Twin, Ziying Wang, Congjun Sun, Guihu Li, Tianhao Zhang

Journal of System Simulation

Abstract: In response to the limitations of traditional train operation simulation modeling, such as simplification, lack of adaptive adjustment capability for parameters, and proneness to error accumulation, a virtual train operation platform based on digital twin technology was proposed. A train model under specific railway lines was constructed. By combining with the intelligent operation and maintenance platform of the railway line, real-time train operation data was obtained and preprocessed. The adaptive chaos optimization algorithm was used to optimize the key parameters of train operation simulation online and establish a digital twin model of the railway line. This model adopted a …


Large-Scale Scene Registration Technology Based On 3d Gaussian Splatting Fusing Gps Prior Information, Fei Wan, Yong Yin Mar 2026

Large-Scale Scene Registration Technology Based On 3d Gaussian Splatting Fusing Gps Prior Information, Fei Wan, Yong Yin

Journal of System Simulation

Abstract: To address the challenges of low computational efficiency, slow convergence, and limited accuracy in large-scale 3D scene registration, a 3D Gaussian splatting (3DGS) registration method integrating GPS prior information was proposed. Spatial position priors provided by GPS were utilized to establish initial alignment through coordinate system transformations, narrowing the registration search space. Dense point cloud models were efficiently reconstructed by combining 3DGS technology. Highprecision alignment was achieved through a two-stage optimization of GPS coarse registration and fine registration. Experiments demonstrate that the GPS-assisted method reduces translation errors by 25%~50% and increases success rates to 98% in vegetation-covered and …


Task Planning Method For Cross-Domain Cooperative Combat Operations Of Unmanned Systems Under Complex Constraints, Haojie Fang, Ziyang Zhen, Huajun Gong, Xu Xie, Wei Luo Mar 2026

Task Planning Method For Cross-Domain Cooperative Combat Operations Of Unmanned Systems Under Complex Constraints, Haojie Fang, Ziyang Zhen, Huajun Gong, Xu Xie, Wei Luo

Journal of System Simulation

Abstract: In pre-combat task planning for cross-domain cooperative combat operations, to solve the problems of diverse and complex constraints and difficulties in solving planning models caused by performance differences of unmanned systems and increased requirements for cooperative combat operations, a multi-strategy enhanced grey wolf optimization (MSEGWO) algorithm was proposed. By considering various complex constraints such as performance of each type of unmanned systems, munition usage, task timing, task time window, and flight path, a task planning mathematical model with minimizing the comprehensive cost as the objective was established. Improvement strategies such as nonlinear adjustment of convergence factor, alternative solution space …


Research On Uav Path Planning Method Based On Collision Free Trajectory, Jun Xie, Qi Zhang, Yanyun Peng, Haonan Shi, Dongyang Li, Xi Liu Mar 2026

Research On Uav Path Planning Method Based On Collision Free Trajectory, Jun Xie, Qi Zhang, Yanyun Peng, Haonan Shi, Dongyang Li, Xi Liu

Journal of System Simulation

Abstract: In view of the problems of poor quality, long time consumption, and low efficiency of the autonomous path planning method for unmanned aerial vehicles, a path planning method for unmanned aerial vehicles based on a collision-free trajectory was proposed. Under the premise of uncertainty, the time-related virtual points and collision threshold were set; the obstacle was modeled as a rectangle; the interest points around the rectangle were defined. The uncertainty optimization model between the unmanned aerial vehicles and the obstacle was established, so as to obtain the allowable edge of the collision-free trajectory of the unmanned aerial vehicles. The …


Construction Approach Of Llm-Empowered Tactical Wargame Decision-Making Agents, Dayong Liu, Zhiming Dong, Qisheng Guo, Ang Gao, Xuehuan Qiu Mar 2026

Construction Approach Of Llm-Empowered Tactical Wargame Decision-Making Agents, Dayong Liu, Zhiming Dong, Qisheng Guo, Ang Gao, Xuehuan Qiu

Journal of System Simulation

Abstract: Decision-making agents are critical enablers for implementing human-machine, machinemachine, and hybrid human-machine adversarial interaction in tactical wargaming, where the intelligence level of the agent is crucial. To address the limitations of traditional decision agents such as insufficient adaptability, simplistic strategies, and high construction costs, a fusion decision framework driven by the large and small models was proposed. It specifically investigated the fusion approach of large language models with conventional decision-making agent construction approaches, including behavior trees, finite state machines, heuristic search, and deep reinforcement learning. New ideas and technical pathways are provided for the construction of tactical wargame …


Research On Visual Place Recognition Algorithms For Complex Urban Environments, Peijin Liu, Minxin Zhang, Lin He, Yige Sun, Tingqi Su Mar 2026

Research On Visual Place Recognition Algorithms For Complex Urban Environments, Peijin Liu, Minxin Zhang, Lin He, Yige Sun, Tingqi Su

Journal of System Simulation

Abstract: Dynamic factors such as traffic flow and crowd density in complex urban environments reduce the accuracy of visual place recognition (VPR) algorithms. To solve these problems, a semantic-guided visual place recognition (SG-VPR) algorithm was proposed. A semantic-guided feature suppression module was designed. A semantic-guided module and feature suppression layer were constructed to reduce the dynamic object interference and more accurately extract the key static features. An adaptive triplet margin loss function (ATML) was proposed by improving the traditional triplet margin loss. The margins were adaptively adjusted according to the sample distribution, solving the problem of suboptimal solution convergence …


Enhanced Antenna Selection Techniques For Energy-Efficient Code Index Modulation Aided Spatial Modulated Wireless Communication Systems, Fati̇h Çögen, Burak Ahmet Özden, Erdoğan Aydin Mar 2026

Enhanced Antenna Selection Techniques For Energy-Efficient Code Index Modulation Aided Spatial Modulated Wireless Communication Systems, Fati̇h Çögen, Burak Ahmet Özden, Erdoğan Aydin

Turkish Journal of Electrical Engineering and Computer Sciences

This study proposes an integrated multiple-input multiple-output (MIMO) transceiver framework, termed CIM-HQAM-SM, which combines code index modulation (CIM) and spatial modulation (SM) with energy-efficient hexagonal quadrature amplitude modulation (HQAM). In the proposed bit mapping, the information bits jointly select (i) the active transmit-antenna index, (ii) the Walsh–Hadamard spreading-code indices for the in-phase and quadrature branches, and (iii) an HQAM symbol. Hence, the payload is conveyed through the constellation symbol as well as through antenna and code indices. For the considered Rayleigh-fading scenarios and matched spectral-efficiency settings, the proposed framework offers BER improvements over conventional SM and quadrature SM (QSM), while …


An Ensembled Two-Phase Deep Learning Approach For A Psychiatric Disorder Detection, Prajna Paramita Debata, Midhun Chakkaravarthy, Brojo Kishore Mishra Mar 2026

An Ensembled Two-Phase Deep Learning Approach For A Psychiatric Disorder Detection, Prajna Paramita Debata, Midhun Chakkaravarthy, Brojo Kishore Mishra

Turkish Journal of Electrical Engineering and Computer Sciences

Computational Psychiatry represents a burgeoning realm within scientific inquiry, delving into the intricate interplay of neurobiology within the brain. The escalating prevalence of mental illness underscores the urgency to confront this challenge. Among the prevalent disorders, Schizophrenia and Bipolar Disorder loom large, affecting a significant portion of the population at some point in their lives. However, pinpointing psychiatric disorders poses a formidable challenge. Genetic predispositions significantly influence the development of mental illnesses, with intriguing overlaps observed among certain disorders. This convergence complicates accurate diagnosis. Here, a deep learning approach is considered for significant gene biomarker identification and classification of Schizophrenia …


Cover And Contents Mar 2026

Cover And Contents

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.


Sentisec: Combining Keyword Heuristics And Sentiment Modeling For Ai-Powered Threat Detection, Ridho Surya Kusuma, Erum Ashraf, Selvakumar Manickam, Shankar Karuppayah Mar 2026

Sentisec: Combining Keyword Heuristics And Sentiment Modeling For Ai-Powered Threat Detection, Ridho Surya Kusuma, Erum Ashraf, Selvakumar Manickam, Shankar Karuppayah

Turkish Journal of Electrical Engineering and Computer Sciences

This work presents SENTISEC, a hybrid LLM-based threat detection framework designed to classify security logs by integrating keyword heuristics, domain-adapted sentiment scoring, and Retrieval-Augmented Generation (RAG). The system achieves an overall accuracy of 93.67%, with 91.46% macro recall, 89.07% macro F1, and 95.15% threat recall, while maintaining a low false-positive rate of 1.68%. Its methodology incorporates strict keyword and IOC matching, a domain-tuned DistilBERT sentiment module, hybrid BM25–MiniLM retrieval enhanced with BGE reranking, adaptive quantile-based threshold calibration, and SHAP-based explainability. Comparative evaluations against keyword-only, sentiment-only, classical machine-learning models, and DistilBERT-only baselines show that SENTISEC consistently improves both true-positive and true-negative …


Sgsc-Kko-Lstm: A Deeplearning Classifier Model For Smart Grid, Dushmanta Kumar Das, Samaniba Imchen Mar 2026

Sgsc-Kko-Lstm: A Deeplearning Classifier Model For Smart Grid, Dushmanta Kumar Das, Samaniba Imchen

Turkish Journal of Electrical Engineering and Computer Sciences

Maintaining smart grid stability is crucial for the reliable operation of decentralized electricity networks, especially as the energy sector becomes more complex. The process of ensuring grid stability begins with collecting consumer data and comparing it to power supply requirements. Ultimately, consumers receive a report showing their energy use and pricing details. However, this process is time-consuming and can be improved by leveraging artificial intelligence to predict smart grid stability more efficiently. Specifically, an optimized Long Short-Term Memory (LSTM) network is proposed to predict smart grid stability, addressing the challenges associated with traditional data collection and evaluation methods. Simulations from …


A Joint Optimization-Based Novel Attack For Genomic Beacon Reconstruction, Kousar Saleem, Si̇nem Sav Mar 2026

A Joint Optimization-Based Novel Attack For Genomic Beacon Reconstruction, Kousar Saleem, Si̇nem Sav

Turkish Journal of Electrical Engineering and Computer Sciences

Genomic data sharing has become an essential component of biomedical research, enabling large-scale collaborations and accelerating discoveries in human genetics. To balance the need for accessibility with privacy concerns, several controlled-access mechanisms have been proposed, including genomic beacons. Genomic beacons answer simple presence/absence queries about specific genetic variants. However, prior work has demonstrated that beacons remain vulnerable to genome reconstruction attacks, where an adversary can recover large portions of participants’ genomes using summary statistics. Building on insights from prior reconstruction attacks, we introduce an approach that unifies SNP correlation and allele frequency alignment objectives within a single-stage joint optimization framework. …


Automated Software Size Measurement Using Multilingual Domain-Adapted Language Models, Samet Tenekeci̇, Hüseyi̇n Ünlü, Burak Keçeci̇, Muhammed Efe İnci̇r, Onur Demi̇rörs Mar 2026

Automated Software Size Measurement Using Multilingual Domain-Adapted Language Models, Samet Tenekeci̇, Hüseyi̇n Ünlü, Burak Keçeci̇, Muhammed Efe İnci̇r, Onur Demi̇rörs

Turkish Journal of Electrical Engineering and Computer Sciences

Software Size Measurement (SSM) is crucial for estimating required project effort as well as budget and schedule. However, many small and medium-sized companies struggle to apply objective SSM due to limited resources and lack of expertise. This often leads to inaccurate estimates and project overruns. There is a need for practical, low-resource solutions that support these tasks without requiring expert involvement. Motivated by this challenge, this study proposes an automated software size measurement approach that formulates the measurement task as supervised regression over natural language requirements, using domain-adapted transformer models. We construct large-scale Turkish and English software engineering corpora to …


Reducing Complexity In Versatile Video Coding Intra-Coding Through Machine Learning-Based Optimization Of Partitioning And Prediction, Amina Kessentini, Amna Maraoui, Imen Werda, Fatma Ezahra Sayadi Mar 2026

Reducing Complexity In Versatile Video Coding Intra-Coding Through Machine Learning-Based Optimization Of Partitioning And Prediction, Amina Kessentini, Amna Maraoui, Imen Werda, Fatma Ezahra Sayadi

Turkish Journal of Electrical Engineering and Computer Sciences

The escalating demand for high-resolution multimedia content has necessitated more efficient video compression solutions. The Versatile Video Coding (VVC) standard, despite achieving remarkable compression gains, introduces significant computational complexity, primarily due to its exhaustive Rate-Distortion Optimization (RDO) process. To address this, we propose an intelligent approach leveraging supervised machine learning techniques to streamline the VVC encoding process. Specifically, we introduce a Lightweight Neural Network (LNN) for efficient coding unit partitioning decisions and a Decision Tree (DT) classifier for optimizing the intra prediction process. This dual-method framework, tailored for All Intra coding configuration, significantly reduces encoder complexity while maintaining compression performance …


Designing Risk-Aware Mixed-Mode Evacuation Strategies For Tsunamis: Insights From İstanbul, Vedat Bayram, Doruk Ergez, Ada Arikanoğlu Mar 2026

Designing Risk-Aware Mixed-Mode Evacuation Strategies For Tsunamis: Insights From İstanbul, Vedat Bayram, Doruk Ergez, Ada Arikanoğlu

Turkish Journal of Electrical Engineering and Computer Sciences

​Tsunamis pose severe and time-critical risks to densely populated coastal cities, where limited warning times and infrastructure constraints demand carefully coordinated evacuation strategies. This study develops an integrated, risk-aware optimization framework that jointly considers vertical and horizontal sheltering options together with mixed pedestrian-vehicular evacuation dynamics. The proposed mixed-integer second-order cone programming (MISOCP) model simultaneously determines vertical shelter location, evacuee assignment, road-use designation for pedestrians and vehicles, and route selection under congestion, capacity, and budget constraints. Vehicle travel times incorporate congestion effects through a convex flow-dependent function, while pedestrian routing ensures convergent and conflict free evacuation paths. A risk-minimization objective accounts …


Optimal Network Reconfiguration Based On Discrete Metaheuristic Techniques For Reduction Of Power Loss And Carbon Emission In Distribution Networks, Asad Ali, Hazlie Mokhlis, Nurulafiqah Nadzirah Mansor, Hussain Shareef, Hasmaini Mohamad, Munir Azam Muhammad Mar 2026

Optimal Network Reconfiguration Based On Discrete Metaheuristic Techniques For Reduction Of Power Loss And Carbon Emission In Distribution Networks, Asad Ali, Hazlie Mokhlis, Nurulafiqah Nadzirah Mansor, Hussain Shareef, Hasmaini Mohamad, Munir Azam Muhammad

Turkish Journal of Electrical Engineering and Computer Sciences

Power distribution systems play a crucial role in transmitting electrical power from generation sources to end users. During transmission, significant power losses occur in the form of heat as the current flowing along the lines/cables has resistance. To minimize power losses, distribution network reconfiguration (DNR) has been widely adopted. This paper proposes optimal DNR based on metaheuristic techniques with discrete mutation feature targeting active power loss reduction, which subsequently lowers carbon emissions and operational costs. Through the discrete mutation feature, computational time to find optimal solution has been reduced significantly with fewer iterations compared to conventional mutation techniques. The proposed …


Availability Model To Evaluate Ai Data Centers’ Role In Grid Stability, Troy Mcsimov, Trevor S. Kunz, Jeffrey Billo Mar 2026

Availability Model To Evaluate Ai Data Centers’ Role In Grid Stability, Troy Mcsimov, Trevor S. Kunz, Jeffrey Billo

SMU Data Science Review

The United States has made it clear; it is imperative that the US wins the global AI race. This paper focuses on one of the most challenging puzzle pieces surfaced at the POWER Data Center conference (San Antonio, Sept. 30.); for Electric Reliability Council of Texas (ERCOT) the limiting factor is not generation alone but the need to balance generation and load to preserve grid reliability.

The regulatory landscape fundamentally changed with the passage of Texas Senate Bill 6 in June 2025, which mandates new large loads must "contribute to the recovery of the interconnecting electric utility’s costs" (Texas Legislature, …


Impediments To Transforming The Healthcare Delivery System: Shifting The Paradigm From Provider Centric To Patient Centric, Elizabeth A. Regan, Manasa Devi Chinta Mar 2026

Impediments To Transforming The Healthcare Delivery System: Shifting The Paradigm From Provider Centric To Patient Centric, Elizabeth A. Regan, Manasa Devi Chinta

Faculty Publications

Introduction: 

Stated aims for digital healthcare transformation frequently cite goals for better coordinated patient-centric systems. However, despite advances in medical science, digital technologies, health policies, and billions of dollars invested over the past 25 years, most healthcare providers are far from fully realizing the demonstrated benefits of today's digital technologies for improving patient care. Sharing information across healthcare systems remains challenging. Problems with fragmentation, quality, inequities, and rising costs of care delivery persist. A recent study of 1,026 U.S. hospital systems found that only 15.8 percent achieved a digital maturity level needed to provide digitally enabled healthcare services to better …


Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu Mar 2026

Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu

Research Collection School Of Computing and Information Systems

Robotic guidance systems have shown promise in supporting blind and visually impaired (BVI) individuals with wayfinding and obstacle avoidance. However, most existing systems assume a clear path and do not support a critical aspect of navigation—environmental interactions that require manipulating objects to enable movement. These interactions are challenging for a human–robot pair because they demand (i) precise localization and manipulation of interaction targets (e.g., pressing elevator buttons) and (ii) dynamic coordination between the user’s and robot’s movements (e.g., pulling out a chair to sit). We present a collaborative human–robot approach that combines our robotic guide dog’s precise sensing and localization …


Efficient Active Training For Deep Lidar Odometry, Beibei Zhou, Zhiyuan Zhang, Zhenbo Song, Jianhui Guo, Hui Kong Mar 2026

Efficient Active Training For Deep Lidar Odometry, Beibei Zhou, Zhiyuan Zhang, Zhenbo Song, Jianhui Guo, Hui Kong

Research Collection School Of Computing and Information Systems

Robust and efficient deep LiDAR odometry models are crucial for accurate localization and 3D reconstruction, but typically require extensive and diverse training data to adapt to diverse environments, leading to inefficiencies. To tackle this, we introduce an active training framework designed to selectively extract training data from diverse environments, thereby reducing the training load and enhancing model generalization. Our framework is based on two key strategies: Initial Training Set Selection (ITSS) and Active Incremental Selection (AIS). ITSS begins by breaking down motion sequences from general weather into nodes and edges for detailed trajectory analysis, prioritizing diverse sequences to form a …


The Illusion Of Causality In Llms: A Developmentally Grounded Analysis Of Semantic Scaffolding And Benchmark–Capability Mismatches, Daisuke Akiba Mar 2026

The Illusion Of Causality In Llms: A Developmentally Grounded Analysis Of Semantic Scaffolding And Benchmark–Capability Mismatches, Daisuke Akiba

Publications and Research

Recent benchmarks increasingly report that large language models (LLMs) exhibit human-like causal reasoning abilities, including counterfactual inference and intervention planning. However, many such evaluations rely on domains that are heavily represented in training data and embed strong semantic cues, raising the possibility that apparent causal competence may reflect semantic pattern recombination rather than structure-sensitive causal reasoning. Drawing on human developmental theories of causal induction, this perspective argues that genuine causal understanding requires robustness to novelty and reliance on conditional structure rather than semantic familiarity. To illustrate the testability of this claim, the paper includes a pilot demonstration using synthetic causal …


Plm-Effector: Unleashing The Potential Of Protein Language Models For Bacterial Secreted Protein Prediction, Dandan Zheng, Lihong Chen, Guansong Pang, Jian Yang Mar 2026

Plm-Effector: Unleashing The Potential Of Protein Language Models For Bacterial Secreted Protein Prediction, Dandan Zheng, Lihong Chen, Guansong Pang, Jian Yang

Research Collection School Of Computing and Information Systems

Bacterial secreted proteins, particularly effectors delivered by specialized secretion systems, are key mediators of virulence and host-pathogen interactions. However, accurate computational identification remains challenging, as many existing methods rely heavily on sequence similarity or handcrafted features, and often focus on a single secretion system. Recent studies have reported that some bacterial effectors may be associated with more than one secretion system, highlighting the complexity of secretion system annotation and motivating the development of system-aware computational prediction approaches. Here, we present PLM-Effector, a hybrid deep learning framework that integrates modern protein language models (PLMs) with multiple neural architectures via a two-layer …


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

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 …


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 Mar 2026

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 Mar 2026

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, …