Computer Engineering Commons^™

Cover And Contents

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.

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

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 …

Algorithms Of Stable Adaptive Observation Of A Multidimensional Undefinite Object, Tursunova Sadoqat Abdusalom Qizi

Chemical Technology, Control and Management

This article presents an algorithm for simultaneously estimating the parameters and state coordinates of a multidimensional control object when some of its state variables are not directly measured. The inability to measure all state variables (coordinates) of an object is a well-known drawback of identification schemes. Such conditions require the construction of adaptive state observers. This work demonstrates that when identifying the parameters of a mathematical model for an uncertain multidimensional object, the asymptotic stability of the object and the convergence of its parameters to the model parameters are ensured, provided the input vector is sufficiently informative. The construction of …

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 Capability Maturity Model For Artificial Intelligence Integration In Supply Chain Management, Lordt Becklines

Dissertations

Artificial Intelligence (AI) is transforming Supply Chain Management (SCM), yet many organizations struggle to assess their readiness for AI adoption and to understand how AI capabilities develop across maturity stages. This dissertation addresses this gap by developing a Capability Maturity Model (CMM) for AI integration in SCM, grounded in Organizational Information Processing Theory (OIPT), the Resource-Based View, and related capability frameworks. The model provides a structured approach for evaluating an organization's information-processing requirements, resource configurations, and alignment needed for effective AI-enabled supply chain operations.

Using a design science research approach, the AI-SCM CMM and its associated assessment instrument were derived …

Flexible Fault-Tolerant Multi-Die Fpga-Based Architectures For Varying Space Environments, Yosof Ali Seif El Din Ali Maklad

Theses and Dissertations

It is well-known fact that spacecraft’s electronic components operate in an extreme harsh and varying space environments, beside changing orbit or passing through Van Allan Belts during orbital course results of radiation levels change. This thesis focuses on SRAM-based FPGA systems on-board of such spacecrafts, that are commonly utilized in space applications’ critical applications due to their capabilities and flexibility to reconfigure, since these systems are vulnerable to frequent negative impacts of ionizing radiation, thus inducing soft and hard errors leading to disastrous failures that could jeopardize the entire spacecraft. The soft errors’ effects are frequent yet can be mitigated, …

Biologically-Inspired Multiscale Neuromorphic Architecture, Christian O'Reilly, Ramtin Zand

Publications

This white paper proposes a biologically-inspired multiscale neuromorphic architecture that bridges key gaps between artificial neural networks (ANNs), spiking neural networks (SNNs), and biological neural networks (BNNs). While SNNs offer promising energy efficiency, their broader adoption remains limited by suboptimal performance and the need for novel learning paradigms. To address these challenges, the proposed framework integrates structural and functional principles observed in the brain, including hierarchical organization, sparse and modular connectivity, predictive coding, and diverse neuronal dynamics.

The architecture operates across micro-, meso-, and macro-scales, incorporating neuron-level diversity (e.g., excitatory/inhibitory and principal/support cells), canonical microcircuits (CMCs), and large-scale hierarchical organization. …

The Risc-V Fpga (Rvfpga) Teaching Package, Daniel Chaver, Sarah Harris, Luis Pinuel, Olof Kindgren, Zubair Kakakhel, Chris Owen, Jose I. Gomez-Perez, Fernando Castro, Katzalin Olcoz, Julio Villalba-Moreno, Alexander Grinshpun, Freddy Gabbay, Luke Seed, Rui Duarte, Manuel Lopez, Oscar Alonso, Robert Owen

Electrical & Computer Engineering Faculty Research

RISC-V is a free and open-standard ISA based on RISC principles, allowing anyone to design, manufacture, and sell RISC-V chips and software. Its flexibility and growing ecosystem have made it popular in research, education, and industry, increasing the need for educational materials. This paper provides an in-depth description of the RVfpga course, which offers a solid introduction to computer architecture using the RISC-V instruction set and FPGA technology. It focuses on providing hands-on experience with real-world RISC-V cores, the VeeR EH1 and EL2 cores, developed by Western Digital and hosted by ChipsAlliance. The course targets students and educators in computing-related …

In-Situ Eval: A Modular Framework For Custom And Real-Time Rag Benchmarking, Ritvik Garimella, Kaushik Roy, Chathurangi Shyalika, Amit Sheth

Publications

Retrieval-Augmented Generation (RAG) has become the standard approach for integrating domain knowledge into Large Language Models (LLMs). However, fair comparison of RAG pipelines remains difficult: data preparation is often ad hoc, subsampling methods are opaque, parameters vary across implementations, and evaluation is fragmented. We present In-Situ Eval, a unified and reproducible framework that operationalizes the full RAG pipeline with configurable subsampling strategies and both RAG-specific and generic evaluation metrics. The platform supports two execution modes: an offline Dataset mode for evaluating precomputed outputs, and a live Retrieval mode for benchmarking RAG variants with state-of-the-art LLMs. Users can flexibly select datasets, …

Cover And Contents

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.

Exploitation Prioritization And Residual Risk Assessment Based On Hybrid Mcdm Model, Zibo Wang, Yaofang Zhang, Sicai Lv, Yingzhou Wang, Hongri Liu, Bailing Wang

Turkish Journal of Electrical Engineering and Computer Sciences

Exploitation is one of the most significant ways to launch attacks using vulnerabilities. The increasing number of vulnerabilities and limited allocation of security resources make it impossible to eliminate all exploitations. Because not every vulnerability can be fixed, it is necessary to rank exploitations and subsequently assess the residual risk, which is defined as the remaining threat potential after each elimination. In this paper, a structured and flexible decision support framework based on a hybrid multicriteria decision-making model is proposed for prioritizing exploitations and assessing residual risk. Metrics are treated as criteria in the model. The hybrid model is developed …

A Deep Learning-Based Real-Time No-Reference Image Decolorization Network With Perceptual Preservation, Mengjuan Zhao, Yitao Liang, Weiya Shi, Juan Xia

Turkish Journal of Electrical Engineering and Computer Sciences

Currently, grayscale images are preferred as input data for some specific vision tasks. Decolorization is the transformation of a color image into a grayscale image. Efficient decolorization algorithms can improve the overall task efficiency, while perceptual preservation in decolorization can provide more information for further processing. In recent research, traditional methods focus on preserving contrast or detail information with little attention to perceptual features. Deep-learning methods are beginning to consider perceptual preservation, but they run inefficiently. In addition, the decolorization methods lack the optimal target grayscale images for reference. Therefore, we propose a new deep learning-based real-time no-reference decolorization network …

Noninvasive Condition Monitoring For Eccentricity Fault Detection In Large Hydro Generators, Atena Tazikeh Lemeski, Di̇dem Tekgün, Ozan Keysan, Kemal Leblebi̇ci̇oğlu, Murat Göl

Turkish Journal of Electrical Engineering and Computer Sciences

Eccentricity faults in electric machines remain a critical concern, as they generate uneven magnetic forces that increase vibration and noise, ultimately raising the risk of premature motor failure. This study proposes a method for the early detection of dynamic eccentricity (DE) faults in hydropower plants through an advanced optimization-based parameter identification technique integrated with finite element analysis (FEA). Finite element modeling (FEM) is first used to analyze an existing salient-pole synchronous generator (SPSG) from a hydroelectric power plant in Türkiye. The effects of DE faults on the SPSG’s magnetic equivalent circuit parameters are then examined under various fault severities. A …

A Deep Learning Model For Accurate Tomato Leaf Disease Identification, Maheen Shahzad, Muhammad Abdullah Javed, Erum Ashraf, Hafiz Ishfaq Ahmad, Sabeen Masood

Turkish Journal of Electrical Engineering and Computer Sciences

Recent advances in machine learning and deep learning have greatly improved how we detect plant diseases, making diagnoses more accurate, faster, and easier to scale. However, many existing solutions depend on large, pretrained models that need powerful hardware, which limits their use in the field, especially in areas with limited resources. To tackle this, we designed a custom lightweight convolutional neural network (CNN) built from scratch using 20,000 carefully selected images from the PlantVillage tomato dataset. Our model uses Squeeze-and-Excitation (SE) blocks and Swish activation functions to boost performance, reaching an accuracy of 97.7% while using far fewer computing resources …

Influence Of Sinr And Noise Variance On Outage Probability For Mimo-Noma System In 5g And Beyond, Sadiq Ur Rehman, Jawwad Ahmed, Muhammad Zubair, Syed Sajjad Hussain Rizvi

Turkish Journal of Electrical Engineering and Computer Sciences

Nonorthogonal multiple access (NOMA) communication presents a promising solution to the limitations of traditional orthogonal multiple access techniques, offering potential improvements in achievable rates. Multiple-input multiple-output (MIMO), when combined with NOMA (MIMO-NOMA), further enhances these benefits by leveraging the diversity advantages of multiple antennas. Looking ahead, the future of wireless communication hinges on deploying heterogeneous networks (HetNets), facilitating the coexistence of various wireless access networks in a hierarchical fashion. However, the advent of 5G and 6G communications brings shorter channel coherence times, rendering channel reciprocity unreliable. Consequently, conventional channel estimation methods relying on uplink (UL) pilots for downlink (DL) transmission …

A Novel Approach To Maximum Weighted Traffic Flow Method For Effective Signal Control, Zülal Hi̇lal Yildiz Budak, Seyi̇t Alperen Çeltek, Aki̇f Durdu

Turkish Journal of Electrical Engineering and Computer Sciences

Traffic signal management is a critical challenge due to its environmental, economic, and public health impacts. The maximum weighted flow method (MaxWeightedFlow) was developed to optimize traffic flow at isolated and coordinated urban intersections. This study proposes a new method, the novel MaxWeightedFlow, which includes two key strategies to enhance the classical approach. The first strategy reduces computational burden by estimating vehicle approach times based on instantaneous speeds, improving real-time performance. The second employs regression analysis to optimize the alpha parameter, representing the vehicle waiting coefficient. The proposed approach, the novel MaxWeightedFlow, was evaluated using real-world traffic data from Kilis, …

Improving Rail System Signaling Efficiency Through Ai-Based Driving Profile Generation: A Comparative Performance Analysis, Mehmet Taci̇ddi̇n Akçay, Abdurrahi̇m Akgündoğdu

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a dataset comprising 3600 discrete operational snapshots (rather than continuous time-series data) derived from real-field operations is used to obtain a high-accuracy driving profile equation using a second-degree Polynomial Regression method. This equation demonstrates the model’s interpretability. The performance metrics obtained with the second-degree polynomial regression model’s equation are as follows: a coefficient of determination (R2) of 0.84, a Pearson Correlation Coefficient of 0.91, and an RMSE of 11.13. These results indicate the effectiveness of artificial intelligence-based approaches in improving the efficiency of the railway signaling system. The same dataset is also utilized with other machine learning …

Distribution System Reliability Evaluation Considering Protection Coordination Using Petri Nets, Rani Kumari, Bhukya Krishna Naick

Turkish Journal of Electrical Engineering and Computer Sciences

Maintaining reliable and high-quality power delivery becomes increasingly complex with expanding power grids. The lack of protection coordination poses a significant threat, compromising overall system reliability. This research addresses this challenge by proposing a method for coordinating protective devices within the distribution system, specifically during network faults. The proposed approach utilizes a stochastic timed Petri net (STPN) based methodology to model protective device coordination across various fault scenarios. This technique effectively captures the dynamic behavior and interactions of protective equipment, allowing for the anticipation of potential disturbances. This proactive insight facilitates preventative measures to address prewarning situations, thereby preventing cascading …

Dataless Neural Networks For Boolean Satisfiability And Network Optimization, Andrew Evan Gautier

Graduate Theses, Dissertations, and Problem Reports (ETD)

Combinatorial optimization problems (COPs) require searching over a finite solution space subject to constraints, with the goal of satisfying an objective function. They arise in operations research, scheduling, resource allocation, circuit design, and many other fields. Many problems in combinatorial optimization (including satisfiability and network design) are NP-hard. Traditionally, researchers have built approximate solvers that return near- optimal solutions efficiently by developing increasingly sophisticated heuristics and meta- heuristics. Deep learning has provided new opportunities for improving combinatorial solvers by leveraging neural guidance to prune the search space. Traditional neural networks have distinct drawbacks in this context: separate training and …

Data Augmentation And The Reliability Of Conformal Prediction For Uncertainty Quantification In Medical Imaging, Rizwan Ahamed

Graduate Theses, Dissertations, and Problem Reports (ETD)

The safe clinical deployment of deep learning models for high-stakes medical imaging tasks requires more than high average accuracy; it requires demonstrable, per-case reliability. Uncertainty quantification (UQ) provides the missing signal that tells a clinician when a model prediction can be trusted and when a case should be escalated for expert review. Among UQ approaches, conformal prediction (CP) is especially attractive because it produces prediction sets that are guaranteed, under the assumption of exchangeability, to contain the true label with a user chosen probability, and it does so without assumptions about the model or the data distribution. This report first …

Deep Learning Frameworks For Functional Genomics: Lncrna–Mirna Interactions, Dose-Specific Graph Modeling, And Complete Graph-Based Lncrna Functional Annotation Using Cross-Layer Attention, Sachit Satyal

Computer Science and Engineering Dissertations

Functional genomics seeks to understand how genes and regulatory elements orchestrate biological processes and adapt under diverse conditions. Two critical challenges in this field are deciphering the regulatory roles of long noncoding RNAs (lncRNAs) and modeling cellular transcriptional dynamics under therapeutic perturbations. While lncRNAs are increasingly recognized as key regulators in health and disease, their functions remain incompletely characterized. Concurrently, advances in single-cell transcriptomics reveal how gene and pathway activities rewire across drug dosage gradients, highlighting the need for computational frameworks that are predictive, interpretable, and capable of integrating molecular interactions with dynamic cellular states. This dissertation develops a unified …

End-To-End Development And Experimental Validation Of A 1/10-Scale Autonomous Vehicle, Rikkin Pankaj Panchal

Electrical Engineering Theses

Autonomous vehicle development demands vast resources, making scaled down platforms a critical alternative for solving core algorithmic challenges. The primary contribution of this thesis is the end to end development and validation of a complete real time autonomous driving pipeline deployed on a one tenth scale vehicle. To streamline platform development, an AI assisted annotation framework automates dataset generation, significantly reducing manual labor while improving training data quality. The system perception stack features a reinforcement learning guided online multi camera calibration framework that enables adaptive surround view stitching without the need for offline recalibration. This is paired with robust lane …

Advancing Task-Oriented Dialog Systems: Scalability, Generalization, And Evaluation, Adib Mosharrof

Theses and Dissertations--Computer Science

Task-oriented dialog (TOD) systems enable conversational interfaces for complex tasks like flight booking and restaurant reservations. However, deploying TOD systems at scale faces three critical barriers: scalability, generalization, and evaluation. Scalability is primarily restricted by the human-annotation bottleneck, as current systems depend on vast quantities of manually labeled data for every new domain, making deployment prohibitively expensive. Generalization remains a persistent challenge, as systems optimized for known domains often suffer significant performance degradation when encountering new, unseen ones. Existing evaluation metrics measure response quality and fluency, but fail to measure functional task success. As TOD systems are deployed across diverse …

Brrbox, Shawn J. Myers, Lane Cline, Michael Davis, Christian Secrest

Williams Honors College, Honors Research Projects

This report details the project known as “The BRRBOX”, a reusable, insulated thermoelectric cooler developed to keep internal temperatures at refrigeration levels or cooler for at least 48 hours. The cooler will track its internal temperature during this period and be able to give the data at the end of its delivery cycle to keep up with food and pharmaceutical standards during delivery. The BRRBOX uses Peltier-based cooling alongside vacuum insulation panels and fans to achieve efficient thermal control. An onboard microcontroller will monitor temperature, record the data, and adjust the cooling output to minimize power consumption. The box will …

Nanomagnet Based Reservoir Computing And Quantum Control, Fahim F. Chowdhury

Theses and Dissertations

Conventional CMOS scaling has driven remarkable advances in computing but faces increasing physical and energy constraints, motivating alternative computing paradigms that integrate memory and computation while improving energy efficiency. Nanoscale magnetic systems offer a promising platform for such approaches because their intrinsic nonlinear dynamics and localized magnetic fields can support both classical and quantum information processing. This thesis investigates nanomagnetic systems for physical reservoir computing and, with primary emphasis, for localized quantum control of spin qubits.

The first part explores dipole-coupled nanomagnet arrays as physical reservoirs. Micromagnetic simulations demonstrate nonlinear dynamical behavior with high short-term memory and parity-check capacity, enabling …

Formalizing Asymmetric Control-Telemetry Separation In Distributed Industrial Control Systems, Andrew Manison

College of Graduate Studies: Theses & Dissertations

Distributed industrial control systems often place control and telemetry traffic on the same communication substrate even though the two workloads impose different requirements. Control paths need bounded request-response latency and predictable acknowledgement semantics, whereas telemetry paths benefit from scalable publish-subscribe fanout and tolerance for consumer-side delay. This thesis argues that, for the tested class of mixed workloads on shared commodity infrastructure, these communication roles should be separated architecturally rather than forced through a single protocol. To evaluate that claim, the thesis formalizes an asymmetric control- telemetry pattern and instantiates it in the Asymtra framework using gRPC for synchronous control and …

Solving High-Dimensional Differential Equations Using Recurrent And Residual Neural Network Architectures, Hind Khaled Kolaib

Knowledge Engineering and Data Science

High-dimensional Partial Differential Equations (PDEs) form the foundation of complex process modeling in various scientific and engineering applications, including finance, physics, and optimal control. However, classical numerical methods are adversely affected by the curse of dimensionality, making them inapplicable for large-scale problems. Recently, however, deep learning-based approaches have provided a new toolbox for these high-dimensional PDEs, including methods such as the Deep Backward Stochastic Differential Equation (Deep BSDE) method. Our approach draws on a more sophisticated deep learning backbone, using neural networks (in our case, a Residual Neural Network and a Long Short-Term Memory network (LSTM) integrated into the Deep …

Optimizing Dense Single-Precision Matrix Multiplication With Sse And Avx On Modern X86 Processors, Mohammed H. Najajra, Dmitry Tsukanov, Kirill Nepochatykh, Eduard Vatutin, Ismail F. Amer

Knowledge Engineering and Data Science

Matrix–matrix multiplication plays an important role in numerical linear algebra (finite element method, dynamical-system stability analysis, principal component analysis, data compression) and deep learning (batch processing, im2col-based convolution, and transformer attention). Moreover, all Level-3 BLAS operations rely on the GEMM kernel, which makes the development of high-performance matrix-multiplication algorithms a highly relevant task. This study evaluates the attainable single-threaded performance of square-matrix multiplication using SSE and AVX instructions on modern x86 processors. It investigates how the algorithm, cache-blocking strategy, horizontal operations, and loop-unrolling depth affect performance. Three matrix multiplication algorithms are examined: classical, column-buffered, and block-based, each implemented with and …

Abig4l: A Semantic Reasoning Engine For Verilog Via Abstract Interpretation, Alicia Thoney

Graduate Studies Theses and Dissertations 2026

Modern Electronic Design Automation (EDA) flows treat structural and semantic reasoning as separate concerns. Synthesis structurally optimizes RTL, while dedicated verification teams validate functional behavior through testbenches and formal methods. This organizational divide means designers have no automatic, sound way to understand what their RTL does at the moment they are writing it. This thesis introduces AbIG4L (Abstract Interpretation of Generic 4-valued Logic), a static analysis framework that bridges this gap by delivering sound semantic reasoning automatically, directly within the hardware design loop.

The framework operates on a language-agnostic intermediate representation to compute sound over-approximations of hardware behavior across 0, …