Applied Mathematics Commons^™

(Si15-113) Augmenting Cryptographic Security Through Inventive Application Of The Kharrat-Toma Transform Algorithm, Prabakaran Raghavendran, Tharmalingam Gunasekar, K. Sakthivel, Kamalendra Kumar, Shalini Gupta

Applications and Applied Mathematics: An International Journal (AAM)

This paper introduces a cryptographic technique combining the Kharrat-Toma Transform and congruence modulo operators to improve the security of message encryption. The proposed model uses the mathematical properties of the Kharrat-Toma Transform and its inverse for direct scrambling and unscrambling processes while embedding sufficient complexity to resist modern cryptanalytic attacks. The model is subjected to experimental tests, including encryption quality analysis, Shannon entropy, and NIST randomness tests, in order to prove the strength of the model. Through encryption quality analysis, symbol frequencies in the ciphertext are masked heavily from having much correlation between plaintext and ciphertext. Entropy values indicate near-theoretical …

Meshless Discrete Velocity Boltzmann Model For Porous Media Flow, Amandine Maidenberg

Doctoral Dissertations and Master's Theses

This dissertation explores the combination of two sophisticated techniques for addressing computational fluid dynamics: the discrete velocity Boltzmann equation (DVBE) and the localized collocation meshless model with upwinding (U-LCMM). The DVBE is a high-level model that describes the foundations of transport phenomena by addressing the microscale motions of particles themselves and the effect of their aggregate behaviors on continuum principles. This equation integrates multiple scales of phenomena; while it can be used for fluid flow at Navier-Stokes scales, it can also resolve fine features that can only be described at the molecular level. This type of model is necessary for …

Solution Of Fractional Order Diffusion Equations With Clique Neural Network, Merve Zeynep Kaya, Mesut Karabacak, Ercan Çelik

Mathematical Modelling and Numerical Simulation with Applications

In this paper, the clique artificial neural network method is used to solve the fractional diffusion equation, which is a subclass of partial differential equations. The clique neural network architecture is constructed using input, hidden, and output layers. Several degrees of clique polynomials were used as activation functions, and the output layer was obtained by multiplying them with weight coefficients. Subsequently, the optimization equation was derived, and the exact solution, numerical solution, and error function graphs were obtained using a specialized algorithm. Analysis of the results demonstrates that the clique artificial neural network method provides quicker and more accurate results …

Synergistic Modeling Of Hydrogel Gelation Via Time-Delay Dynamics And Machine Learning Algorithms, Mine Babaoglu, Dipesh ., Pankaj Kumar, Jagjit Singh Dhatterwal, Mansoor Alsulami

Mathematical Modelling and Numerical Simulation with Applications

This paper presents an integrated framework in which delay differential equation (DDE) modeling and machine learning (ML) approaches are coupled to study hydrogel formation kinetics, with emphasis on delayed crosslinker addition. Conventional mechanistic models disclose many physical and kinetic complexities of reacting mixtures; they seldom depict the nonlinear and time-evolving complexities inherent in developing polymer networks. To address this, a mathematical model is developed that examines how the insertion of crosslinkers affects system stability and equilibrium. Analytical and numerical results show that delays nearing critical levels cause bifurcation behavior with substantial implications on gelation kinetics. Sophisticated machine learning systems, including …

Memoir On A General Property Of A Very Extensive Class Of Transcendental Functions, Niels Henrik Abel 1802--1829, John Little

Mathematics and Computer Science Department Faculty Scholarship

We present this new commentary and translation anticipating the 200th anniversary of the work, commonly known as Abel's ``Paris memoir.'' This is recognized today as one of Abel's most original and influential works. It is significant mostly because it marked the first appearance of a form of a result in the theory of algebraic curves and Riemann surfaces that has come to be known as ``Abel's theorem.'' However, Abel's original understanding of the meaning and context of his result was quite different from the typical modern formulation and the development of the modern understanding has been a long and tortuous …

Constructions Of Compact Dupin Hypersurfaces With Non-Constant Lie Curvatures, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

A hypersurface M in the unit sphere Sⁿ ⊂ Rⁿ⁺¹ is Dupin if along each curvature surface of M, the corresponding principal curvature is constant. If the number g of distinct principal curvatures is constant on M, then M is called proper Dupin. In this expository paper, we give a detailed description of two important types of constructions of compact proper Dupin hypersurfaces in Sⁿ. One construction was published in 1989 by Pinkall and Thorbergsson [35], and the second was published in 1989 by Miyaoka and Ozawa [26]. Both types of examples have the …

A Dual-Model Machine Learning Framework For Predictive Maintenance Of Industrial Digital Press Components, Richmond Darko, Emmanuel Adabor

African Conference on Information Systems and Technology

This study presents a novel dual-model predictive maintenance framework designed to improve maintenance scheduling for components in industrial digital presses. The framework integrates two complementary approaches: a Threshold-Based Maintenance Approach (TBMA) for components operating within acceptable usage limits, and an Overdue Severity-Based Maintenance Approach (OSBMA) for those that have exceeded their expected lifespans or show signs of critical degradation. This study uses real-world operational data from a Konica Minolta C6000 press. It applies advanced machine learning models, including Gradient Boosting Machines and Random Forest for classification, and Generalized Additive Models (GAM) for Remaining Useful Life (RUL) prediction. The goal is …

Cami: A Counselor Agent Supporting Motivational Interviewing Through State Inference And Topic Exploration, Yizhe Yang, Palakorn Achananuparp, Heyan Huang, Jing Jiang, Phey Ling Kit, Nicholas Gabriel Lim, Cameron Shi Ern Tan, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Conversational counselor agents have become essential tools for addressing the rising demand for scalable and accessible mental health support. This paper introduces CAMI, a novel automated counselor agent grounded in Motivational Interviewing (MI) – a client-centered counseling approach designed to address ambivalence and facilitate behavior change. CAMI employs a novel STAR framework, consisting of client’s state inference, motivation topic exploration, and response generation modules, leveraging large language models (LLMs). These components work together to evoke change talk, aligning with MI principles and improving counseling outcomes for diverse clients. We evaluate CAMI’s performance through both automated and expert evaluations, utilizing simulated …

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 …

Algebraic Multigrid Methods For Nonsymmetric And Indefinite Problems: Theory And Applications, Ahsan Ali

Mathematics & Statistics ETDs

Algebraic multigrid (AMG) is a well-established and highly efficient solver for symmetric positive definite (SPD) systems arising from elliptic and parabolic PDEs, while nonsymmetric systems from hyperbolic PDEs remain a significant challenge. This dissertation develops AMG methods and theory for nonsymmetric problems. First, we develop a novel approach combining mode constraints from energy-minimization AMG with local approximations of ideal restriction in $\ell$AIR, resulting in constrained $\ell$AIR (C$\ell$AIR), which demonstrates scalable convergence across advective and diffusive problems. Second, we extend optimal AMG theory by deriving spectral radius estimates for the two-grid error transfer operator using matrix-induced orthogonality, enabling convergence predictions for …

Fuzzy-Ahp Based Decision Support System For The Selection Of Optimal Maintenance Strategy For Meter Gauge Railway Infrastructure: A Review, Hamisi J. Maulid

Tanzania Journal of Engineering and Technology (TJET)

There are many uncertainties and complexities associated with maintaining Meter Gauge Railway (MGR) infrastructure, which calls for a methodical approach to decision-making. The development and application of a fuzzy-AHP-based decision support system (DSS) to select the optimal maintenance strategy for the MGR are presented in this study. The review covers research from 2013 to 2023 and focusses on the use of Multi-Criteria Decision Making (MCDM) and Fuzzy Analytic Hierarchy Process (Fuzzy-AHP) techniques in railway infrastructure maintenance. To manage the inherent uncertainties and subjective judgements involved in maintenance decision-making, the Fuzzy-AHP methodology combines fuzzy logic with the Analytic Hierarchy Process (AHP). …

Assessment Of Digital Solutions For Conformity Assessment Of Legally Controlled Measuring Instruments In Tanzania, Faraja Nyoni

Tanzania Journal of Engineering and Technology (TJET)

The advent of state-of-the-art digital technologies since 2011 has led to the digital transformation of legal metrology practices to ensure the trustworthiness of software-controlled measuring instruments globally. Despite the digital transformation in legal metrological practices, the conformity assessment of legally controlled measuring instruments is manually done (i.e., paper-based) in Tanzania. The paper-based conformity assessment of legally controlled measuring instruments is prone to error and lacks efficiency and effectiveness. This study aimed to assess digital solutions for improving conformity assessment through a comprehensive survey conducted across various regions in Tanzania, targeting a stratified sample of 51 respondents from organizations involved in …

Exploring The Potential Of Large Language Models (Llms) To Simulate Social Group Dynamics: A Case Study Using The Board Game "Secret Hitler", Kaj Hansteen Izora, Christof Teuscher

Northeast Journal of Complex Systems (NEJCS)

This study explores the capacity of large language model-powered agents to simulate human-like behavior in multi-agent social systems. Using Secret Hitler — a hidden-role board game centered on trust, deception, and strategic communication — we evaluate how LLM agents navigate dynamic group interactions. Our findings show that agents exhibit human-like behaviors, including strategic temporal adaptation, contextual reasoning, and complex social cognition such as theory of mind and implicit coordination. Notably, 85% of agent decisions factored in at least two other players’ mental states, highlighting their capacity for multi-agent mental state inference. However, they struggled with key aspects of human gameplay, …

Coarse-Graining Spiking Reservoirs: Reducing Reservoir Size While Preserving Critical Dynamics, Tucker X. Mastin, Christof Teuscher

Northeast Journal of Complex Systems (NEJCS)

We propose an extension of renormalization into the domain of spiking neural networks, thereby providing a novel framework for coarse-graining neural networks without disrupting their critical properties. The proposed coarse-graining technique merges neurons and synaptic connections based on a graph-theoretic distance derived from synaptic weight strength and is configured to effectively prune the reservoir size while preserving the scale-free spiking dynamics indicative of criticality. Criticality in spiking neural networks may provide information-theoretic advantages by optimizing information processing and sensitivity to input. Using time-series prediction benchmarks, we demonstrate that networks operating at criticality exhibit up to 32% higher prediction accuracy before …

Notes On The Invariance Of Tautness Under Lie Sphere Transformations, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

An embedding ϕ : V → Sⁿ of a compact, connected manifold V into the unit sphere Sⁿ ⊂ Rⁿ⁺¹ is said to be taut, if every nondegenerate spherical distance function d_p, p ∈ Sⁿ, is a perfect Morse function on V , i.e., it has the minimum number of critical points on V required by the Morse inequalities. In these notes, we give an exposition of the proof of the invariance of tautness under Lie sphere transformations due to ´Alvarez Paiva. First we extend the definition of tautness of submanifolds of S …

Multi-Level Differentiable Moving Particles With Partition Of Unity, Jinjin He

Dartmouth College Master’s Theses

Representing implicit geometry with intricate features has long been a challenge. Recent advances in Implicit Neural Representations (INRs) have shown great promise in applications such as 3D reconstruction, inverse rendering, and dynamic surface evolution. These methods leverage neural networks to model complex shapes continuously, offering advantages in resolution and flexibility over traditional discrete representations. Despite their success, efficiently handling fine geometric details and evolving dynamic scenes remains an open problem.

We introduce a differentiable moving particle representation based on the multi-level partition of unity (MPU) to model dynamic implicit geometries efficiently. Our approach employs two types of particles—feature particles and …

The Other Side Of The Equation: De-Simplification, A Prerequisite For Calculus, Stephen L. Brown

ACMS Conference Proceedings 2005

No abstract provided.

Filling Gaps In Scientific Data Sets Using Physics Informed Neural Networks: A Case Study In Velocity Fields, Ellen Saunders

Master's Theses

Gaps in scientific data sets are a persistent issue for researchers in a variety of fields, and while nothing makes up for missing out on real data, well-simulated synthetic data can be a useful tool. In the world of image processing, machine learning techniques have become quite sophisticated at taking an image with a missing component and filling in that space with something believable. The aim of this thesis is to take machine learning techniques similar to what gets used in image processing and repurpose them to infill gaps in scientific data sets in a realistic manner. This thesis compares …

Property Testing Ai: An Efficient Frontier, Paul Sopher Lintilhac

Dartmouth College Ph.D Dissertations

In this dissertation, we take a step towards addressing the major problem of a lack of standardized and rigorous approaches to testing and evaluation of AI systems. Taking inspiration from both the fields of Property Testing and Property Based Testing (for programs), we develop a novel taxonomy of partially overlapping classes of properties of AI systems, including simple properties, compound properties, higher order properties, data relation properties, and architecture-utility properties. We argue that this taxonomy categorizes a diverse set of AI traits -- including accuracy, fairness, robustness, monotonicity, point-wise and global privacy properties, sensitivity, and more -- according to the …

Machine Learning And Optimization For Intelligent Decision-Making, Elson Cibaku

Dissertations

This dissertation presents a series of innovative machine learning and optimization model designs that address complex operational challenges across logistics and power systems. By integrating advanced neural architectures with robust optimization techniques, the work delivers scalable solutions designed to improve efficiency, reliability, and decision-making in dynamic and real-world environments. The first study introduces a two-stage approach to effective vaccine distribution. This framework tackles the capacitated vehicle routing problem by combining adaptive clustering techniques with reinforcement learning and a simulated annealing pickup policy. Through extensive computational experiments, the approach demonstrates substantial improvements in routing efficiency, reducing both computational time and logistical …

From Neural Networks To Large Language Models: Innovations In Financial Ai, Mathematical Reasoning, And Structured Data Representation, Junyi Ye

Dissertations

This dissertation explores the evolution and application of artificial intelligence techniques across three critical domains: financial modeling, mathematical reasoning, and structured data analysis. The dissertation presents seven research projects that chart a progression from specialized neural architectures to sophisticated large language models (LLMs), contributing novel methodologies and frameworks at each stage.

In the financial domain, the research first introduces TS-Mixer, a MLP-based architecture for time-series forecasting that captures both feature relationships and temporal dependencies through a simple yet effective design, outperforming more complex models in S&P500 index prediction. The dissertation then presents DySTAGE, a dynamic graph representation learning framework that …

Applications Of The Mathieu Groups And Information Theory In Dna Encoding Functions, Juan C. Nava Jr

Theses and Dissertations

A foundational idea in mathematics lies in breaking down existing components into their bare fundamentals. As evidenced by prime numbers and composites, we learn this idea at an early age. Categorizing these broken-down components into their simplest form allows mathematicians to construct proofs from emergent patterns. John Conway’s Atlas of Finite Groups in the 1990s was particularly concerned with the categorization of structures known as groups. There are certain axioms a group must adhere to, which amount to the retention of symmetry; ultimately a group helps us to better understand symmetric actions performed on a set with a binary operation. …

Weak Formulation For Solving Inverse Problems In Reproducing Kernel Hilbert Spaces (With Applications To Learning Dynamical Systems), Victor William Rielly

Dissertations and Theses

We combine numerical and machine learning techniques to present a general framework for solving inverse problems using vector valued reproducing kernel Hilbert spaces in a variational formulation. We present this framework in two papers. In the first paper, we present an original state-of-the-art method derived in the context of our general framework for learning dynamical systems. In the second paper, we generalize the method from our first paper to arrive at the framework for solving inverse problems. Then we apply our general framework to the task of learning dynamical systems. In both papers we consider numerous applications of our methods …

Under Pressure: A Quantitative Approach To Measuring Clutch Performance In The Nba, Jack Dell'isola

Honors Projects in Information Systems and Analytics

This research investigates the existence and relevance of clutch performance in the 2023-2024 NBA regular season. Players are analyzed both individually and against league averages to determine their clutch performance levels using an original "clutch score formula". This research aims to answer the questions of whether clutch performance is a real phenomenon, how individual player performance is affected in clutch time, and to determine a formula that can effectively predict the winner of the Clutch Player of the Year Award. The findings and formulas developed in this research help to shed light on the complexities of clutch performance, which has …

Quantitative Runtime Monitoring Of Ethereum Transaction Attacks, Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David Basin, Jun Sun, Jingyi Wang

Research Collection School Of Computing and Information Systems

The rapid growth of decentralized applications, while revolutionizing financial transactions, has created an attractive target for malicious attacks. Existing approaches to detecting attacks often rely on predefined rules or simplistic and overly-specialized models, which lack the flexibility to handle the wide spectrum of diverse and dynamically changing attack types. To address this challenge, we present a general and extensible framework, MoE (Monitoring Ethereum), that leverages runtime verification to detect a wide range of attacks on Ethereum. MoE features an expressive attack modeling language, based on Metric First-order Temporal Logic (MFOTL), that can formalize a wide range of attacks. We integrate …

Divergence-Free Smoothed Particle Hydrodynamics In A Stream Digital Twin, Austin Hartley

All Theses

Digital Twins (DT) are being explored by the South Carolina (SC) water community to simulate how SC streams will flow at various water levels. Currently, a DT called Gilligan simulates these streams utilizing weakly-incompressible Smoothed Particle Hydrodynamics (SPH). This method does not strictly enforce incompressibility, which leads to unrealistic water flows and unwanted visual artifacts that require post-processing effects to hide. To address these problems and simulate more realistic water flows, the Gilligan stream logic is updated and a state-of-the-art SPH method that enforces incompressibility—Divergence-Free SPH (DFSPH)—is implemented within the Gilligan framework. DFSPH is able to make use of two …

Using Gaussian Process Regression To Learn Thermodynamic Equations Of State With Uncertainty Quantification, Austen T. Lee

Chemical Engineering Undergraduate Honors Theses

This study investigates the use of derivative-informed Gaussian Process (GP) models to estimate thermodynamic behavior across temperature and density by building a Helmholtz-based equation of state. Argon, a stable monatomic gas, was chosen as a case study within the vapor region. The GP model was trained using values of experimentally measurable properties found by taking first and second derivatives of the original potential function. Results show that while the GP model offered uncertainty quantification and informed thermodynamic behavior, it predicted values that deviated from the ground truth depending on the property. The model exhibited high confidence in regions with substantial …

Towards Advancing Streamflow And Peak Flow Prediction With Machine Learning: Identifying Infrastructure At Risk, Sudan Pokharel

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

Due to climate change and its impact, the need for adaptive strategies for natural disaster mitigation and resource management has never been more urgent. Central to this is water resource management, which is essential for sustainable human activities, ecological balance, and the mitigation of natural hazards like floods. Streamflow is a crucial element of water resource management and plays a vital role in planning and building water infrastructure, implementing emergency response plans, supporting flood mitigation initiatives, and regulating agricultural and industrial use. However, accurate prediction of streamflow still remains a challenge due to the complex non-linear and non-stationary interaction between …

Physics Embedded Neural Network: A Novel Data-Free Numerical Method For Solving Computational Physics Problems, Pawan Gaire

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

A novel approach for solving partial differential equations (PDEs) using neural networks for scientific computing is introduced. The proposed approach, referred to as physics-embedded neural network (PENN), features a unique architecture that incorporates the PDE and boundary conditions information directly within the final fully-connected layer of the feed-forward neural network (NN). The key aspect of PENN is the parallel numerical embedding of a differential equation associated with physical problems within the activation function of the network’s final layer. This integration leads to a new class of computational solvers competitive with classical methods like the Finite Element Method (FEM) and capable …

A Fuzzy Based Framework For Sustainable Technology Selection In Small-Scale Gold Mining Operations, John M. Kafuku

Tanzania Journal of Engineering and Technology (TJET)

Small-scale gold mining (SSGM) operations in Tanzania has been operating inefficiently due to inadequate mining processing technologies, poor working tools, lack of enough capital, and insufficient electricity. Despite the efforts made by different stakeholders in boosting the sustainability of SSGM yet the sector has not reached the expected goal. This paper proposes a framework for appropriate technology selection to help small scale gold miners in evaluating various gold mineral processing technologies. The framework utilizes the fuzzy logic set theory for technology evaluation and selection. The developed framework for technology selection upon validation provided results that technology adequacy of more than …