Digital Commons Network^™

Logupdater: Automated Detection And Repair Of Specific Defects In Logging Statements, Renyi Zhong, Yichen Li, Jinxi Kuang, Wenwei Gu, Yintong Huo, R. Michael Lyu

Research Collection School Of Computing and Information Systems

Developers write logging statements to monitor software runtime behaviors and system state. However, poorly constructed or misleading log messages can inadvertently obfuscate actual program execution patterns, thereby impeding effective software maintenance. Existing research on analyzing issues within logging statements is limited, primarily focusing on detecting a singular type of defect and relying on manual intervention for fixes rather than automated solutions.To address the limitation, we initiate a systematic study that pinpoints four specific types of defects in logging statements (i.e., statement code inconsistency, static dynamic inconsistency, temporal relation inconsistency, and readability issues) through the analysis of real-world log-centric changes. We …

Sar Ship Detection Based On Shallow Feature Guidance, Chenxu Xia, Peng Chen, Ya Zhang, Ying Li

Journal of Marine Science and Technology–Taiwan

Maritime ship detection is of great significance for both military security and civilian applications. Synthetic Aperture Radar (SAR), with its all-weather and all-day imaging capability, plays a vital role in maritime surveillance. Nevertheless, SAR ship targets typically appear small in scale, embedded in complex backgrounds, blurred at boundaries, and easily confused with near-shore features, which pose substantial challenges for accurate detection. To address these issues, we propose a SAR ship detection network that integrates dual enhancements of small-object representation and edge information. The network introduces two key components: the Small Target Refine Pyramid (STRP) to strengthen shallow feature representation for …

A Projector-Rank Partition Theorem For Exact Degrees Of Freedom In Experimental Design, K. G. Nagananda

Mathematics and Statistics Faculty Publications and Presentations

In many experimental designs—split-plots, blocked or nested layouts, fractional factorials, and studies with missing or unequal replication—standard ANOVA procedures no longer tell us exactly how many independent pieces of information each effect truly contributes. We provide a general degrees of freedom (df) partition theorem that resolves this ambiguity. For N observations, we show that the total information in the data (i.e., N −1 df) can be split exactly across experimental effects and randomization strata by projecting the data onto each stratum and counting the df each effect contributes there. This yields integer df—not approximations—for any mix of fixed and random …

Extending Geometric Acoustic Ray Tracing To Multi-Room Environments: A Case Study On Gunshot Sound Transmission Between Adjacent Rooms, Tyler Ton

Theses and Dissertations

Accurate localization of gunshots in multi-room building environments remains a challenging problem in acoustic forensics and public safety applications. Existing approaches model sound propagation within a single room, neglecting the transmission of acoustic energy through walls and other building materials. This thesis presents a study on modeling multi-room gunshot acoustic transmission, combining geometric ray tracing with structural acoustic transmission-loss modeling to generate impulse responses for two horizontally adjacent rooms separated by a shared wall, providing a foundation for future inter-room gunshot localization work. The proposed system uses GSound-SIR, a geometric acoustics engine, to simulate sound propagation in both of the …

A Finite Element Model For Thermomechanical Stress-Strain Fields In Transversely Isotropic Strain-Limiting Materials, Saugata Ghosh, Dambaru Bhatta, S. M. Mallikarjunaiah

School of Mathematical & Statistical Sciences Faculty Publications

This paper presents a comprehensive computational framework for investigating thermo-elastic fracture in transversely isotropic materials, where classical linear elasticity fails to predict physically realistic behavior near stress concentrations. We address the challenge of unphysical strain singularities at crack tips by employing a strain-limiting theory of elasticity. This theory is characterized by an algebraically nonlinear constitutive relationship between stress and strain, which intrinsically enforces a limit on the norm of the strain tensor. This approach allows the development of very large stresses, as expected near a crack tip, while ensuring that the corresponding strains remain physically bounded. A loosely coupled system …

Study Of A Nonlinear Delayed Parabolic Model For Prion Disease Dynamics With The Unfolded Protein Response, Gangadhara Boregowda, Laurent Pujo-Menjouet, Zhaosheng Feng, Michael R. Lindstrom

School of Mathematical & Statistical Sciences Faculty Publications

Prion diseases are neurodegenerative disorders characterized by the dynamic spread of misfolded toxic proteins in the brain. In this process, the normal cellular prion protein (PrPC) produced by neurons misfolds into a toxic form known as scrapie prion protein (PrPSc). These misfolded proteins propagate through the brain by converting healthy prions into their toxic form. This biological mechanism can be modeled by a system of nonlinear parabolic partial differential equations, accompanied by a nonlinear delayed integral boundary condition. Our primary objective is to establish the existence of nonnegative classical solutions to this system. Furthermore, we derive a priori estimates for …

Spatiotemporal Variations Of Tidal Asymmetry Along The Coast Of Taiwan: Characteristics And Implications, Ting-Chieh Lin, Tai-Wen Hsu, Tzu-Chun Huang, Chun-Yuan Lin

Journal of Marine Science and Technology–Taiwan

This study presents the first systematic investigation into the spatiotemporal characteristics and evolutionary trends of tidal asymmetry along the coast of Taiwan from 2003 to 2022, employing a moving window method combined with the S_TIDE toolbox.  By quantifying the skewness of the Main Tidal Asymmetry Combinations (MTAC) and their temporal variations, the study reveals significant regional disparities between the eastern and western coasts.  The western coast is primarily dominated by the M2-M4 combination, with the northwestern region exhibiting a flood dominance pattern and the southwestern region characterized by ebb dominance.  Conversely, the eastern coast, attributed to its open topography and …

Reliable Performance Analysis Of Polyurea Coatings Used In Offshore Wind Turbines, Yu-Chang Lin, Yen-Fu Liu, I-Ming Pan, Ming-Yuan Lin, Kang-Yu Liao, Hung-Hua Sheu, Hung-Bin Lee

Journal of Marine Science and Technology–Taiwan

This study explores the weather resistance, mechanical properties and corrosion resistance of polyurea coatings in marine environments. The relevant analysis results can be used as a reliability assessment of offshore wind turbine structural coatings during their service life under the influence of marine environments. The long-term experiment uses seawater and 70°C thermal aging conditions as coating reliability assessment items. The microstructure of the samples that have been immersed in seawater for a long time and thermally aged is observed using a scanning electron microscope (SEM). The results show that the surface of the 100 and 125 series polyurea coatings is …

A Resilience Early Warning Assessment Of The Maritime Supply Chain: A Case Study Of China’S New Energy Vehicle Exports, Xiuqian Chen, Liangyong Chu, Mengyao Wang, Jiayin Du, Yiming Zhang, Xiyao Xu

Journal of Marine Science and Technology–Taiwan

Enhancing resilience through early warning is a critical strategy for mitigating disruption risks in the maritime supply chain (MSC). This study proposes a novel early warning assessment framework to determine the resilience of the MSC. It is referred to as a resilience early warning system. An evaluation index system for shipping enterprises is developed based on four dimensions: withstand capacity, adaptive capacity, learning capability, and the external environment. A resilience assessment model that uses the Bayesian best-worst method (BBWM) and the extension cloud model (ECM) is established to quantify MSC resilience. An early warning evaluation model based on a Bayesian …

Sedimentary Dynamics In Tubular Sandstone Caves, Porto União, Southern Brazil, Leandro Bianchini, Julio Cesar Paisani

International Journal of Speleology

Clastic sedimentation in sandstone caves remains poorly understood, particularly in systems with tubular morphology. This study investigates sedimentation, reworking, and sediment removal dynamics in the Legru Cave system, southern Brazil, based on the integrated analysis of sedimentary facies, microstructures, and microfeatures, combined with optically stimulated luminescence dating. The results indicate that conduit infilling is dominated by high-density flows, including cohesive debris flows, partially diluted multiphase flows, and flows with intermediate rheological behavior between mud flow and hyperconcentrated flow, in addition to shallow flow alternations. Sediment supply is predominantly allochthonous, related to hillslope-derived material delivered by overland flow and mud flows, …

How Euler Could Have Done It: Euler And An Integral Of Ramanujan, Alexander Aycock

Euleriana

We present a derivation of a definite integral discovered by Ramanujan (1887–1920) in his 1915 paper "Some Definite Integrals," from formulas and ideas already developed by Euler (1707–1783). Additionally, it is argued why Euler did not discover Ramanujan's integral himself, although he had all tools required for this task at his disposal.

A Note On Euler's Definition Of The Sum Of A Divergent Series, Alexander Aycock

Euleriana

We outline Euler's theory of divergent series and present another approach he could have taken to sum his ``factorial series". Finally, we address the contradictions that arise from his concept of a sum of a divergent series.

Euler's Explorations Of Extremal Ellipses, Jonathan David Evans

Euleriana

In the 1770s, Euler wrote a series of papers (E563, E691 and E692) about finding the ellipse with minimal area or perimeter in the family of all ellipses passing through a fixed set of points. This is a translation of all three papers from the original Latin, together with a commentary which discusses Euler's results and an appendix which addresses a question from E691 which Euler left for others to consider.

Arithmetic Theorems, Demonstrated By A New Method: An English Translation Of E271, Brendon Lasell

Euleriana

After defending in general terms the value of arithmetic demonstrations, where, according to Euler, the force of genius shines more brightly than in any other kind of demonstration, he goes on to let the force of his own genius shine forth in demonstrating the fact that, for any pair of relatively prime numbers a and N, a^ϕ(N) − 1 is always divisible by N, where we anachronistically denote by ϕ(N) the number of numbers less than N that are relatively prime to it. He approaches this theorem by considering the remainders that result when the numbers in an arithmetic …

From Data To Decision-Making: The Role Of Local Digital Twins In Cross-Domain Management Within Municipalities – A Research-In-Progress Study In Veenendaal, Diana M.E. Boekman, Koen Smit, Guido Ongena, Rob Peters

Communications of the IIMA

Municipalities are facing increasingly complex, interconnected challenges in areas like housing, climate adaptation, mobility, and social policy. Local Digital Twins (LDTs) are seen as a promising tool to make this complexity more understandable and support decision-making. At the same time, both literature and practice show that few initiatives get past the pilot phase, even though getting through that phase is essential for successful long-term adoption.

This paper presents a research-in-progress study on the development and application of an implementation method for LDT technology within the municipality of Veenendaal, based on human values rather than driven by technological possibilities. Based on …

A Fundamental Study Of Fatty Acid Ionic Liquids And Their Effects On Biomolecules, Achismita Dutta

Theses and Dissertations

Fatty acid ionic liquids (FAILs) are a class of ionic liquids (ILs) with relatively low toxicity and potential applications in biological systems. This study examined the interactions of tetramethylguanidinium decanoate, tetramethylguanidinium octanoate, choline decanoate, and choline octanoate with lipid membranes, proteins, and nucleic acids. Membrane leakage experiments using model lipid vesicles showed that decanoate-based FAILs produced greater membrane permeabilization than octanoate-based analogues, consistent with their higher membrane permeability. These effects were stronger for the ILs than for decanoate alone and occurred below the critical micelle concentration (CMC), suggesting that micelle formation may not be essential for membrane disruption. The ability …

Monitoring System In The Georeactor Area During The Underground Coal Gasification Process, Aleksandra Tokarz, Jacek Grabowski, Krzysztof Korczak

Journal of Sustainable Mining

Safety control of the underground coal gasification (UCG) process involves ensuring that the process runs smoothly, monitoring changes occurring on the surface and in the rock mass, and counteracting the negative environmental impact of the process. The article presents the application of a monitoring system implemented in Poland, both in pilot tests conducted in shallow coal seams at the Barbara Experimental Mine and in deep coal seams at the Wieczorek mine, where a full-scale gasification process was tested. The analysis of the monitoring results carried out during the gasification experiment in an operating mine allowed for the identification of key …

Motivating Second-Order Differential Equation Models Beyond The Spring–Mass System, Katherine E. Rutherford, John C. Borger

CODEE Journal

Students in introductory differential equations courses often learn to associate specific equation types with familiar physical systems. While this approach supports procedural fluency, it can inhibit transfer learning: students recognize familiar forms rather than construct models from first principles. This paper presents a modeling-first instructional approach designed to help students recognize the shared structure of second-order differential equations across diverse contexts. Students derive governing equations from fundamental physical laws for multiple systems, including an Inductor, Resistor, and Capacitor (LRC) electrical circuit, a simple pendulum, and viscous pipe flow. Through guided comparison, students identify common components such as inertia, damping, restoring …

Characterizations Of Bi-Riordan Arrays, Nai̇m Tuğlu, Fatma Yeşi̇l Baran

Turkish Journal of Mathematics

In this study, we introduce the concept of a bi-Riordan array. As part of this construction, we define new composition and power operations. We then establish an analogue of the well-known fundamental theorem of Riordan arrays (FTRA), which we call the fundamental theorem of bi-Riordan arrays. Next, we show that the product of two bi-Riordan matrices is again a bi-Riordan matrix. Using this product structure, we prove that the set of bi-Riordan matrices forms a monoid.

​Compact And Am-Compact Orthogonally Additive Operators, Bahri̇ Turan, Bi̇rol Altin

Turkish Journal of Mathematics

We show that compactness of orthogonally additive operators between Banach lattices is not preserved under taking the modulus by providing a nonlinear analogue of Krengel’s example. In contrast, for operators acting from a Banach lattice into an AM-space, AM-compactness is stable under lattice operations. Moreover, the space of absolutely norm bounded AM-compactorthogonally additive operators from a Banach lattice into an AM-space is a Banach lattice, and on such AM-spaces with the weak Fatou property, norm boundedness coincides with absolute norm boundedness.

Exponential Stability For A Strongly Damped Wave Equation With Distributed Internal Delay, Manal Alotaibi, Nasser-Eddine Tatar, Waled Al-Khulaif

Turkish Journal of Mathematics

This paper investigates the exponential stability of a strongly damped wave equation subject to an internal distributed time delay. Two distinct analytical frameworks are developed: the first employs a modified energy method based on auxiliary functionals, while the second introduces a transformation that rewrites the delay term as the derivative of a convolution integral. Both approaches yield explicit decay conditions and establish exponential convergence of the energy under weaker assumptions on the damping coefficient and the delay kernel. Notably, the transformation method allows for a wider class of admissible delay weights than those permitted by classical techniques. Numerical simulations based …

Clairaut Conformal Submersions From Ricci Solitons, Murat Polat

Turkish Journal of Mathematics

In this study, we investigate Clairaut conformal submersions in the context of total manifolds that support a Ricci soliton structure. We begin by deriving the scalar curvature and Ricci tensor expressions associated with these manifolds, and we establish criteria under which the fibres can be characterized as almost Ricci solitons or Einstein manifolds. Additionally, we identify the conditions required for the base manifold to admit Ricci soliton and Einstein structures. We also determine the necessary conditions for a vector field ζ to be conformal or Killing. Moreover, we demonstrate that when the potential vector field of the Ricci soliton is …

Hyers-Ulam And Hyers-Ulam Rassias Stability Of Caputo Fractional Hahn Difference Equations, Karima Mohamed Oraby, Alaa E. Hamza, Afrah Al-Bossly

Turkish Journal of Mathematics

​In this paper, we investigate Hyers–Ulam and Hyers–Ulam–Rassias stability for fractional linear Hahn difference equations of Caputo Type. To the best of our knowledge, this is the first work concerning Hyers–Ulam type stability in the framework of Caputo fractional Hahn difference equations, thereby filling a significant gap in the literature on fractional stability theory. Our approach is based on establishing an equivalence between the fractional Hahn difference initial value problem and a corresponding fractional integral equation, via the Caputo–Hahn inversion formula. These results lay a strong groundwork for analyzing the stability of Hahn fractional systems, which could be useful in …

Catalytic Synthesis Of Protoberberine Alkaloids And Their Evaluation As Selective Dopamine Receptor Ligands, Ashok Reddy Gudipally

Dissertations, Theses, and Capstone Projects

Dopamine regulates motor control, cognition, reward, motivation, and neuroendocrine signaling. Disruption of dopaminergic neurotransmission is closely linked to central nervous system disorders, including Parkinson’s disease, schizophrenia, addiction, and related neuropsychiatric conditions. Because these functions are mediated by multiple dopamine receptor subtypes with distinct roles in physiology and disease, the discovery of subtype-selective ligands remains an important goal in neuropharmacology. Within this context, protoberberine alkaloids, particularly tetrahydroprotoberberines (THPBs), are attractive molecular frameworks because they combine structural complexity with broad biological relevance, including measurable activity in CNS-related diseases. Prior work from our laboratory and others established (–)-stepholidine (1.60) as an important lead …

Bank Soundness Index For Indonesia: The Generalized Dynamic Principal Component Analysis Approach, Yusita Octina Budiyanti, Nasrudin Nasrudin

Bulletin of Monetary Economics and Banking

In Indonesia, the Bank Soundness Index (BSI) serves as an early warning instrument for assessing the stability of Conventional Commercial Banks (CCBs) and Islamic Commercial Banks (ICBs). This study develops the BSI employing the Generalized Dynamic Principal Component Analysis (GDPCA) methodology and incorporates the fundamental indicators from the Financial Soundness Indicators released by the IMF. The BSI for CCBs is formulated using three primary components, with the Operating Expense to Operating Income ratio assigned the greatest weight. Likewise, the BSI for ICBs is constituted by three primary components, with the Liquid Asset ratio carrying the greatest weight. The developed BSI …

Aligning Tenure With Institutional Values: Supporting And Rewarding Engaged Scholarship In College Tenure Policies, Sian Bareket, Alexander R. Barron, Abigail O’Meara, Charavee Basnet Chettri

Environmental Science and Policy: Faculty Publications

Scholars have described the current era as a polycrisis, with climate change overlapping and interacting with other social justice and environmental challenges. While the expertise and capacity housed in academia has tremendous potential to help society face these threats, scholars and others have long critiqued academia as too isolated from the practical problems of society and front-line communities. While engaged scholarship (ES) connects academia and real-world problems, tenure policies are usually designed to primarily reward “traditional” scholarship focused on journal articles and academic books. This study sought to investigate the contrast between higher education institutions’ publicly shared values aligned with …

Clinic-In-A-Box: A Portable, Software-Defined Cyber Range For Realistic, Scenario-Based Cybersecurity Training, Ethan Chumley, Aaron Nair, Royce Yaezenko, Joshua Payne, Veronika Kyles, Paul Wagner, Robert J. Honomichl, Ryan Straight, Shengjie Xu

Journal of Cybersecurity Education, Research and Practice

Realistic, hands-on cybersecurity training has traditionally depended on fixed infrastructure such as dedicated lab hardware, cloud subscriptions, or permanent network connectivity, limiting where and how often it can be delivered. This paper presents the design and implementation of a portable, scenario-based cybersecurity training platform housed in a single travel case and built from commodity hardware, type-1 hypervisor virtualization, containerized service orchestration, and software-defined networking. The platform clones, isolates, and resets complete lab environments on demand, allowing the same physical system to support repeated classroom, workshop, or field deployments with minimal manual reconfiguration. Training scenarios are grounded in generated organizational profiles …

Between Digital Transformation And Regulatory Vacuum: Cybersecurity Of Public Services In Mozambique, Faztudo Languisse Eng.

Journal of Cybersecurity Education, Research and Practice

The rapid expansion of digital public services in Mozambique—including e-government platforms, digital health systems, and electronic tax administration—has outpaced the development of a coherent legal framework for cybersecurity. While Law No. 3/2017 (Electronic Transactions Law) of 9 January 2017 introduced foundational data-protection principles, Mozambique long lacked a dedicated cybersecurity regulatory authority, mandatory security standards, and formal incident-notification mechanisms. This regulatory vacuum exposed critical public services to escalating cyber risks as digital transformation was actively promoted as a development priority. This article examines the legal and institutional gaps in Mozambique's cybersecurity governance framework prior to the 2026 Cybersecurity and Cybercrime Laws, …

Solar Wind - Magnetosphere - Ionosphere Coupling Processes Through Small-Scale Magnetic Flux Ropes, Youra Shin

Dissertations

Small-scale magnetic flux ropes (SMFRs) in the solar wind are examined to determine their properties in the near-Earth upstream region and their effects on geospace. Although SMFRs are observed frequently in the solar wind, their statistical behavior near Earth and their role in solar wind-magnetosphere-ionosphere coupling remain insufficiently constrained. In this dissertation, an automated Grad-Shafranov reconstruction technique is applied to magnetic field and plasma measurements from MMS and Wind, and ionospheric responses are investigated using geomagnetic indices and SuperDARN observations. During the survey period, MMS has an apogee of approximately 25-29 R_E. This orbital configuration allows the near-Earth …

Synthesizing Viscoelasticity: Living Polymers, Micro-Macro Relations, And Paths For Resolution, Adam M. Hasler

Graduate Masters Theses

This thesis investigates the relationship between macroscopic rheological signals and underlying microscopic dynamics in complex fluids, specifically focusing on ”living polymers” within the cetyltrimethylammonium bromide (CTAB) and sodium salicylate (NaSal) surfactant system. The research addresses the inverse parameterization problem, demonstrating how bulk measurements like zero-shear viscosity can mask fundamentally different physical topologies, such as purely cylindrical, reptating micelles versus highly branched networks. Through the successful synthesis of viscoelastically ”degenerate” samples, the study utilizes an array of characterization techniques including frequency sweeps, Large Amplitude Oscillatory Shear (LAOS) to resolve these unique underlying states. Furthermore, the work explores further avenues of study …