Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (2563)
- Earth Sciences (2249)
- Environmental Sciences (1684)
- Engineering (1577)
- Life Sciences (1382)
-
- Artificial Intelligence and Robotics (1206)
- Geology (1011)
- Social and Behavioral Sciences (784)
- Physics (783)
- Mathematics (750)
- Chemistry (729)
- Plant Sciences (674)
- Soil Science (650)
- Agronomy and Crop Sciences (599)
- Agricultural Science (593)
- Plant Biology (582)
- Weed Science (579)
- Environmental Monitoring (577)
- Plant Pathology (573)
- Sustainability (533)
- Environmental Indicators and Impact Assessment (520)
- Medicine and Health Sciences (448)
- Statistics and Probability (420)
- Environmental Health and Protection (399)
- Oil, Gas, and Energy (398)
- Oceanography and Atmospheric Sciences and Meteorology (374)
- Mining Engineering (366)
- Education (364)
- Computer Engineering (355)
- Institution
-
- Western Michigan University (844)
- University of Kentucky (747)
- Old Dominion University (354)
- Singapore Management University (347)
- Montana Tech Library (320)
-
- China Simulation Federation (211)
- China Coal Technology and Engineering Group (CCTEG) (210)
- Missouri University of Science and Technology (205)
- TÜBİTAK (203)
- University of Texas Rio Grande Valley (202)
- Embry-Riddle Aeronautical University (167)
- Utah State University (159)
- Kennesaw State University (151)
- City University of New York (CUNY) (148)
- University of Arkansas, Fayetteville (126)
- Portland State University (117)
- University of South Carolina (116)
- Chapman University (112)
- Claremont Colleges (111)
- Zayed University (108)
- Chinese Academy of Sciences (86)
- Florida Institute of Technology (79)
- East Tennessee State University (78)
- Dartmouth College (73)
- Edith Cowan University (73)
- MMU Press (72)
- Michigan Technological University (71)
- University of South Florida (69)
- University of Texas at El Paso (69)
- Virginia Commonwealth University (69)
- Keyword
-
- Machine learning (137)
- Artificial intelligence (120)
- Priority Soils (96)
- Machine Learning (94)
- Deep learning (82)
-
- Artificial Intelligence (67)
- AI (63)
- Field Sampling (62)
- Large language models (61)
- Computer Science (58)
- Consent Decree (57)
- Generative AI (51)
- Climate change (49)
- Cybersecurity (49)
- Unreclaimed Sites (48)
- Large Language Models (44)
- Quality Assurance (43)
- Groundwater (42)
- Deep Learning (41)
- Mathematics (40)
- Remote sensing (39)
- Sustainability (37)
- Neutrosophic with Applications (36)
- LLM (31)
- Physical Sciences (30)
- Reinforcement learning (28)
- Statistics (28)
- Water quality (27)
- Department of Physics (26)
- Explainable AI (26)
- Publication
-
- Thin Sections (835)
- IGC Proceedings (1977-2023) (571)
- Silver Bow Creek/Butte Area Superfund Site (319)
- Research Collection School Of Computing and Information Systems (271)
- Journal of System Simulation (211)
-
- Coal Geology & Exploration (210)
- Theses and Dissertations (197)
- Faculty Publications (127)
- Discovery Day - Daytona Beach (123)
- All Works (108)
- World of Coal Ash Proceedings (108)
- C-Day Computing Showcase (89)
- Bulletin of Chinese Academy of Sciences (Chinese Version) (86)
- Honors Theses (80)
- Master's Theses (74)
- Journal of Informatics and Web Engineering (72)
- Open Access Theses & Dissertations (67)
- Research outputs 2022 to 2026 (67)
- Journal of Humanistic Mathematics (65)
- Computer Science Faculty Publications (62)
- School of Mathematical & Statistical Sciences Faculty Publications (62)
- Publications and Research (59)
- All Graduate Theses and Dissertations, Fall 2023 to Present (53)
- Turkish Journal of Mathematics (53)
- Graduate Theses and Dissertations (51)
- Michigan Tech Publications (51)
- Turkish Journal of Electrical Engineering and Computer Sciences (51)
- Neutrosophic Systems with Applications (50)
- Physics Faculty Publications (49)
- Electronic Theses and Dissertations (47)
- Publication Type
- File Type
Articles 301 - 330 of 8993
Full-Text Articles in Physical Sciences and Mathematics
Voltage-Related Power Quality Issues And Impacts On Distribution Networks With Sensitive Loads - A Review, Godwin Elinazi Mnkeni, Jackson Justo, Aviti Thadei Mushi, Bakari M. M. Mwinyiwiwa
Voltage-Related Power Quality Issues And Impacts On Distribution Networks With Sensitive Loads - A Review, Godwin Elinazi Mnkeni, Jackson Justo, Aviti Thadei Mushi, Bakari M. M. Mwinyiwiwa
Tanzania Journal of Engineering and Technology (TJET)
Voltage disturbances are the most important power quality (PQ) complications that customers and power utilities face in this smart era. The growing adoption of sophisticated electronic equipment and integration of renewable energy sources (RES) into power grids has increased the susceptibility of power distribution networks (PDNs) to voltage sags, swells, interruptions, flicker, and voltage imbalance. These disturbances, mainly caused by upstream faults, switching operations, and RES integration, compromise voltage PQ and system reliability. Consequently, they accelerate equipment degradation, increase electronic waste (e-waste), raise reactive power demand and maintenance costs, increase power losses, and impose substantial economic losses on customers and …
Butte Priority Soils Operable Unit Draft Final Unreclaimed Sites Field Sampling And Investigation Plan: Ur-54 – East Of Main And Gagnon, Mike Mcanulty
Butte Priority Soils Operable Unit Draft Final Unreclaimed Sites Field Sampling And Investigation Plan: Ur-54 – East Of Main And Gagnon, Mike Mcanulty
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Direct Electrochemical Detection Of Carbaryl In Water Using Boron-Doped Diamond Electrodes, Natasha Fransisca, Chico Permana Putra, Salma Nur Zakiyyah, Muhammad Ihda Hamlu Liwaissunati Zein, Yeni Wahyuni Hartati, Irkham Irkham
Direct Electrochemical Detection Of Carbaryl In Water Using Boron-Doped Diamond Electrodes, Natasha Fransisca, Chico Permana Putra, Salma Nur Zakiyyah, Muhammad Ihda Hamlu Liwaissunati Zein, Yeni Wahyuni Hartati, Irkham Irkham
Chimica et Natura Acta
Carbaryl (1-naphthyl methylcarbamate) is a carbamate pesticide used to cause adverse environmental and health effects when misused through water contamination. Therefore, this research aimed to develop a direct electrochemical detection method for carbaryl in aqueous media using boron-doped diamond (BDD) electrodes. In this context, BDD electrodes exhibited superior electrochemical performance compared to conventional materials such as gold (Au), platinum (Pt), and glassy carbon electrodes (GCE) due to a wide potential window, low background current, and excellent chemical stability. Cyclic and differential pulse voltammetry reported a well-defined oxidation peak for carbaryl at 1.30 V, with significantly enhanced sensitivity. The results showed …
Exact Formulas For Restricted Coprime Representations Of Even Integers, Andres Mauricio Salazar
Exact Formulas For Restricted Coprime Representations Of Even Integers, Andres Mauricio Salazar
Communications on Number Theory and Combinatorial Theory
Let p ≥ 5 be prime, and let g(2n,p) denote the number of unordered representations by positive integers 2n = h + k, with h ≤ k and gcd(h,6p) = gcd(k,6p) = 1. Every positive integer coprime to 6 belongs to exactly one of the families 6z + 1 and 6z + 5. In each family, divisibility by p excludes one explicit residue class of z modulo p. We use these two excluded classes to derive an exact formula for g(2n,p) from finite residue counts and nonnegative lift counts. The formula is valid for every positive integer n, including all …
Radiological And Chemical Safety Assessment Of Drinking Water From Treatment Plants And Rivers In Kut City, Iraq, Ahmed A. Alswaty, Hadi D. Alattabi
Radiological And Chemical Safety Assessment Of Drinking Water From Treatment Plants And Rivers In Kut City, Iraq, Ahmed A. Alswaty, Hadi D. Alattabi
Karbala International Journal of Modern Science
Climate change and increasing anthropogenic activities, particularly wastewater discharge into rivers, have raised pollution levels in the water sources of Kut City, necessitating an assessment of the radiological and chemical safety of drinking water at the city's treatment plants. Thirteen water samples were collected, comprising ten treated and three raw water samples from the source rivers. An HPGe detector was used to measure the radionuclides 214Bi, 214Pb, 212Bi, 212Pb, 40K, and 137Cs. All measured radionuclides were below the minimum detectable activity (MDA). ICP-OES analysis supported these findings, as U concentrations in most samples were …
Statistical Modeling Of Solar Flares During Solar Cycle 24 (2010–2015), Walae Dahmany '28
Statistical Modeling Of Solar Flares During Solar Cycle 24 (2010–2015), Walae Dahmany '28
Annual Student Research Poster Session
Solar flares are energetic events driven by the rapid release of magnetic energy in the solar atmosphere and are an important source of space-weather disturbances. This study examined six years of solar flare activity during Solar Cycle 24 (2010–2015) using GOES X-ray observations and NOAA solar activity data. Flare frequency and intensity were analyzed alongside sunspot number, F10.7 cm radio flux, solar-cycle phase, Hale magnetic classification, previous flare activity, and waiting times between major flares. Statistical methods, including correlation and regression analyses, Cox proportional hazards modeling, and ARIMAX time-series forecasting, were used to investigate relationships between solar conditions and flare …
Electrical Characterization Of Pvdf–Bzt-Bct Composite Materials For Energy Storage Applications, Aidana Ospanova '28, Pumpkin Nguyen, Kenneth L. Brown, Guangjun Qu
Electrical Characterization Of Pvdf–Bzt-Bct Composite Materials For Energy Storage Applications, Aidana Ospanova '28, Pumpkin Nguyen, Kenneth L. Brown, Guangjun Qu
Annual Student Research Poster Session
This project focused on the synthesis of ceramics and polymer–ceramic composite materials for increasing energy storage density. Over ten weeks, BZT-BCT and CCTO ceramics were synthesized, and more than 50 ceramic and PVDF–ceramic composite samples were prepared with ceramic concentrations ranging from 0.5% to 30% by weight. Different synthesis and film-processing conditions were investigated, including ceramic-to-PVDF ratios, film sizes, temperatures, and hold times. Powder X-ray diffraction (XRD) was used to verify the synthesized ceramic phases. Later in the project, carbon nanotubes (CNTs) and PTFE were incorporated into selected composites, with different CNT concentrations investigated for their effects on energy storage …
(Si17-07) Application Of Triple Laplace Transform To Solve Poisson Equation, Ranjana Gothankar, Bhawna Agrawal
(Si17-07) Application Of Triple Laplace Transform To Solve Poisson Equation, Ranjana Gothankar, Bhawna Agrawal
Applications and Applied Mathematics: An International Journal (AAM)
The well-known Laplace equation, having an elliptical character, is popularly known as the Poisson partial differential equation. It occupies a central place in mathematical physics and engineering due to its ability to describe steady-state diffusion, electrostatics, gravitational potential, and heat conduction problems. The Poisson partial differential equation in three variables is solved by employing the triple Laplace transform in Laplace domain. In original domain, the solutions are obtained numerically using the Brancik technique. The numerous illustrative examples are presented to demonstrate the behavior and sensitivity of the solutions. This dual approach analytical simplification via the triple Laplace transform and accurate …
(Si17-06) Green-Naghdi Theory Of Two-Temperature Fractional Thermoelasticity Under Thermal Shock And Ramp-Type Heating, Sagar Sankeshwari, Vinayak Kulkarni
(Si17-06) Green-Naghdi Theory Of Two-Temperature Fractional Thermoelasticity Under Thermal Shock And Ramp-Type Heating, Sagar Sankeshwari, Vinayak Kulkarni
Applications and Applied Mathematics: An International Journal (AAM)
The linear thermoelasticity theory without energy dissipation developed by Green-Naghdi has been reconstructed by using two temperature theory in the context of a time fractional derivative. In half-space, the mathematical model is discussed for one-dimensional wave propagation subject to two different problems, viz., thermal shock and ramp-type heating at the bounding surface. Assume the bounding surface is traction-free. The analytical solutions are obtained in the Laplace domain. The Gaver-Stehfest technique is numerically used to perform time domain inversion of the Laplace transform, satisfying Kuznetsov’s convergence condition. The impact of fractional order parameters on the variations of various fields inside the …
(Si17-15) On Becker’S Conjecture, Jitender ., Shiv Datt Kumar
(Si17-15) On Becker’S Conjecture, Jitender ., Shiv Datt Kumar
Applications and Applied Mathematics: An International Journal (AAM)
In this paper, we explore identities that involve higher-degree versions of widely recognized composition formulae, specifically focusing on expressions of the form
(xk1 + xk2 + · · · + xkr ) · (yk1 + yk2 + · · · + yks ) = (zk1 + zk2 + · · · + zkn),
where k ≥ 2, y = (y1, y2, . . . , ys), x = (x1, x2, . …
(Si17-13) A Study Of Generalized (𝜶,𝜷)-Nonexpansive Type 1 Mapping In 𝒃-Metric Space, M. J. Ali, G. Aggarwal
(Si17-13) A Study Of Generalized (𝜶,𝜷)-Nonexpansive Type 1 Mapping In 𝒃-Metric Space, M. J. Ali, G. Aggarwal
Applications and Applied Mathematics: An International Journal (AAM)
In this research article, we generalized KF-iteration process in 𝑏-metric space for the generalised (𝛼,𝛽)−nonexpansive type 1 mappings. We present some convergence theorems for KF-iteration process with respect to generalised mappings in 𝑏-metric space. We discussed some numerical examples of generalised (𝛼,𝛽)-nonexpansive type 1 mappings and we proved that KF-iteration process is stronger than the other iterations. The results obtained in this research generalize and improve several related results of fixed-point convergence in the literature.
(Si17-05) Properties Of The Fermatean Fuzzy Matrix And Its Applications, Vineet Kumar, Anjana Gupta, H. C. Taneja
(Si17-05) Properties Of The Fermatean Fuzzy Matrix And Its Applications, Vineet Kumar, Anjana Gupta, H. C. Taneja
Applications and Applied Mathematics: An International Journal (AAM)
All real-world problems involve a significant amount of imprecision. To deal with the unpredictable environment, various methods and tools have been introduced. The Fermatean fuzzy matrix (FFM) is one of the important concepts for dealing with imprecision. In this paper, we explore the concept of Fermatean fuzzy matrix and introduce certain significant definitions. Some propositions and theorems of Fermatean fuzzy matrix are introduced with their proofs. The adjoint and determinant methods of Fermatean fuzzy matrices are also introduced. Finally, we have proposed a similarity measure and illustrated it via an application of Fermatean fuzzy matrix in decision-making problems.
(Si17-02) Integrated Mathematical Modeling And Optimization Approaches In Contemporary Engineering And Economic Applications, D. Christo Stalin, Ilakkia S., A. Parameshwari, Sahaya Brainy J., Aman Jolly, Vikas Pandey
(Si17-02) Integrated Mathematical Modeling And Optimization Approaches In Contemporary Engineering And Economic Applications, D. Christo Stalin, Ilakkia S., A. Parameshwari, Sahaya Brainy J., Aman Jolly, Vikas Pandey
Applications and Applied Mathematics: An International Journal (AAM)
This paper offers a calibrated synthesis of integrated modeling and optimization methods central to modern engineering and economic problems.We scrutinize the convergence of numerical methods, operations research, fuzzy-logical systems, and mathematical economics, demonstrating how these components conjointly illuminate complicated, real-world phenomena. Through an exhaustive review of prevailing frameworks, the investigation emphasizes the strategic role of stochastic modeling, queuing architecture, and optimization curricula within the twin arenas of system engineering design and economic construction. Empirical confrontation reveals that the synergistic coupling of distinct mathematical branches exponentially enhances our ability to resolve tightly-knit, largescale systems. Application re-routing is systematically demonstrated first on …
(Si17-16) Approximate Solution Of Fredholm Integral Equations Using Szász-Mirakyan Polynomials, Ruchi S. Rajawat, Shikha Pandey
(Si17-16) Approximate Solution Of Fredholm Integral Equations Using Szász-Mirakyan Polynomials, Ruchi S. Rajawat, Shikha Pandey
Applications and Applied Mathematics: An International Journal (AAM)
This manuscript examines a family of Szász-Mirakyan operators that approximate functions on the unbounded interval [0,∞). Furthermore, we examine the discretization method for Fredholm integral equations of the first and second kind based on Szász-Mirakyan operators.We offer numerical techniques and estimate the error bound of the solution in this direction. Finally, we demonstrate numerical analysis showing the effectiveness of the newly developed algorithm constructions in the domain of one-dimensional approximation.
Heavy-Duty Diesel Vehicle Deterioration: Impact Of Vehicle Age And Emission Control Technology On Nox Emissions - Preprint, Amber L. Gurecki Allen, Andrew R. Colman, Max D. Sommer, William D. Waddoups, Darrell B. Sonntag
Heavy-Duty Diesel Vehicle Deterioration: Impact Of Vehicle Age And Emission Control Technology On Nox Emissions - Preprint, Amber L. Gurecki Allen, Andrew R. Colman, Max D. Sommer, William D. Waddoups, Darrell B. Sonntag
FEAT Publications
Pre-print manuscript.
Abstract
This study examines the effect of aging and deterioration on NOx emissions from heavy-duty diesel trucks (HDDTs) with different emission control technologies, including Engine Control only, exhaust gas recirculation (EGR), and selective catalytic reduction (SCR). In-use tailpipe emissions were measured from 12,023 HDDTs from 13 roadside measurement campaigns conducted in California and Utah between 2008 and 2024. Vehicle registration records and the Environmental Protection Agency’s (EPA) engine certification database were used to identify engine NOx control technology. At younger ages, SCR-equipped HDDTs generally emitted significantly less NOx than non-SCR-equipped HDDTs. However, after several years …
Bridging Theory And Practice: A Data-Driven Community Partnership To Optimize Maintenance Effectiveness, Daniel Wu
Academic Affairs
This project established an immersive, industry-engaged learning experience that embedded Data Science students in a professional business environment through a partnership with Thiele Kaolin. Students applied advanced data mining, machine learning, and big data analytics techniques to large proprietary datasets to address authentic business challenges and generate actionable, data-driven insights. By working with complex real-world data, students bridged the gap between classroom theory and industry practice while gaining hands-on experience with the full data science workflow, including data preparation, exploratory analysis, predictive modeling, and results interpretation. The project also fostered critical thinking, teamwork, and professional competencies. Students collaborated in multidisciplinary …
Domain Knowledge-Informed Machine Learning Model To Study Weather-Induced Flight Delays, Gurvir Bawa
Domain Knowledge-Informed Machine Learning Model To Study Weather-Induced Flight Delays, Gurvir Bawa
Doctoral Dissertations and Master's Theses
Weather-induced Traffic Management Initiatives (TMIs) occur rarely relative to normal air traffic operations. This scarcity produces severe class imbalance that limits predictive models of flight delay. To address it, this dissertation leverages a physics- and domain- knowledge informed Variational Autoencoder (VAE), conditioned on airport identity, that generates physically plausible synthetic weather events for underrepresented TMI categories. The fidelity of the model is assessed with a calibrated discrepancy measure disclosed along- side the results rather than described in free-form terms. A multitask Graph Neural Network (GNN) is then trained on the augmented dataset to jointly classify airport-level TMI status and predict …
Ranking Stocks In The S&P 500 And Nasdaq-100 Using An Entropy-Weighted Topsis Method, Hyeseong Oh '27
Ranking Stocks In The S&P 500 And Nasdaq-100 Using An Entropy-Weighted Topsis Method, Hyeseong Oh '27
Annual Student Research Poster Session
This project ranks stocks in the S&P 500 and NASDAQ-100 using TOPSIS, a multi-criteria decision-making method. Instead of relying on a single financial ratio, each stock is scored on ten indicators covering valuation, profitability, cash flow, leverage, growth, efficiency, volatility, and momentum. Weights are set with the entropy method, which gives more weight to indicators that vary more across stocks, so the weights come from the data rather than personal judgment. TOPSIS then measures how close each stock is to a hypothetical best case and how far it is from a worst case. The S&P 500 is analyzed as two …
Exploring The Localization And Impact Of Nanoconfined Alcohols In The Aot Reverse Micelle Model System, Zoe Green '27, Minjung Lee '27, Gerardo A. Virgen, Nancy E. Levinger
Exploring The Localization And Impact Of Nanoconfined Alcohols In The Aot Reverse Micelle Model System, Zoe Green '27, Minjung Lee '27, Gerardo A. Virgen, Nancy E. Levinger
Annual Student Research Poster Session
Most chemical reactions involving water are studied on the bulk scale despite most biological reactions occurring in nanoscopic environments. To understand the complexities of aqueous chemistry occurring in confined spaces, this study utilizes the aerosol OT (AOT) reverse micelle (RM), a well characterized and widely adopted self-assembled model system to investigate nanoconfined water solutions. We introduced an alcohol and carboxylic acid species as molecular additives and found they fundamentally alter the properties of self-assembled systems, changing their size and stability. This work is the starting point for an in-depth study of different carbon length alcohols and carboxylic acids in nanoconfined …
Ethanol Vs. Acetic Acid In Aerosol Ot Reverse Micelles, Minjung Lee '27, Zoe Green '27, Bridget L. Gourley
Ethanol Vs. Acetic Acid In Aerosol Ot Reverse Micelles, Minjung Lee '27, Zoe Green '27, Bridget L. Gourley
Annual Student Research Poster Session
We explored different behavior of ethanol and acetic acid in reverse micelles by using DLS, Fluorescence, and absorption.
Clark Tailings Consolidated Waste Management Area Site Investigation Quality Assurance Project Plan (Qapp), Woodard & Curran
Clark Tailings Consolidated Waste Management Area Site Investigation Quality Assurance Project Plan (Qapp), Woodard & Curran
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Computational Study Of Irrational Rotations Via Exact Discontinuity Tracking: A New Experimental Framework, Hannah Kravitz
Computational Study Of Irrational Rotations Via Exact Discontinuity Tracking: A New Experimental Framework, Hannah Kravitz
Mathematics and Statistics Faculty Publications and Presentations
We present an algorithm for studying the sum𝐺𝑁(𝑥,𝜌)=𝑁∑𝑘=1[{𝑥+𝑘𝜌}−12],
which is closely related to the discrepancy of the irrational rotation. Computation of𝐺𝑁and associated statistics is notoriously difficult due to numerical instability and the failure of sampling to capture the discontinuities. Our algorithm instead fully defines𝐺𝑁through its discontinuities, which allows computation of𝐺𝑁(𝑥,𝜌)with errors on the order of𝑁times machine epsilon in𝑂(𝑁)time for practical𝑁. The associated probability density function can then be computed in𝑂(𝑁log𝑁)time. Presented as a tool for experimental mathematics, the algorithm enables reliable plots of the descriptive statistics of𝐺𝑁over𝑁, in particular the length of the support of the pdf (the discrepancy), revealing …
Fisheries Science Update - Pilbara Demersal Scalefish Resource - October 2026, Department Of Primary Industries And Regional Development, Western Australia
Fisheries Science Update - Pilbara Demersal Scalefish Resource - October 2026, Department Of Primary Industries And Regional Development, Western Australia
Fisheries Science Updates
The Department of Primary Industries and Regional Development (DPIRD) monitors the status of Western Australia’s demersal scalefish resources by undertaking periodic stock assessments on key indicator species.
This summary provides key outcomes of the 2026 Pilbara red emperor stock assessment (Resource Assessment Report No. 12).
Resource Assessment Report No. 12: North Coast Demersal Scalefish Resource: Pilbara Red Emperor 2026 Assessment, Fabian I. Trinnie, Rubie Evans-Powell, Brett Crisafulli, S. A. Hesp, Ainslie Denham, Dion Boddington, Craig L. Skepper
Resource Assessment Report No. 12: North Coast Demersal Scalefish Resource: Pilbara Red Emperor 2026 Assessment, Fabian I. Trinnie, Rubie Evans-Powell, Brett Crisafulli, S. A. Hesp, Ainslie Denham, Dion Boddington, Craig L. Skepper
Resource Assessment Reports
Executive Summary
The North Coast Demersal Scalefish Resource (NCDSR) comprises ecological suites of tropical demersal fish species that occur predominantly in inshore (20–250 m deep) and offshore (> 250 m deep) waters of the North Coast Bioregion (NCB). More than 60 demersal species are landed by fisheries operating in the Kimberley and Pilbara regions of the NCB each year, including higher-valued species, such as red emperor (Lutjanus sebae), goldband snapper (Pristipomoides multidens), rankin cod (Epinephelus rankini), and ruby snapper (Etelis boweni), and lower-valued species, such as bluespotted emperor (Lethrinus punctulatus).
The Pilbara Demersal Scalefish Resource (PDSR) is harvested by the …
Don’T Sweat Interaction Trees Proof-Guided Local Variable Lifting For Interaction Trees, Yiming Lin, Ian Kariniemi, Yao Li
Don’T Sweat Interaction Trees Proof-Guided Local Variable Lifting For Interaction Trees, Yiming Lin, Ian Kariniemi, Yao Li
Computer Science Faculty Publications and Presentations
Verifying existing software is hard: Programs are developed in languages not amenable to verification, involve complicated optimizations that obscure the underlying logic, and are gigantic in size. In this paper, we propose a way to ease this pain via a simplification framework that employs interaction trees as a language-agnostic interface. We show that local variable lifting, the technique underlying AutoCorres for the Simpl language, can be generalized to interaction trees via an implementation in Rocq. A key challenge with simplifying interaction trees is that they are highly dynamic structures and we would like our approach to work with mostly uninterpreted …
Chemnetworks: New Capabilities For High-Throughput, Real-Time Chemical Graph Construction And Analysis, Daniel J. Pope, Jackson Elowitt, Bo Zhang, Manish Parashar, Aurora E. Clark
Chemnetworks: New Capabilities For High-Throughput, Real-Time Chemical Graph Construction And Analysis, Daniel J. Pope, Jackson Elowitt, Bo Zhang, Manish Parashar, Aurora E. Clark
Michigan Tech Publications
A major revision of the ChemNetworks software (originally published in the Journal of Computational Chemistry, 2014, 35, 495–505) is presented. While the original ChemNetworks provided foundational graph construction capabilities for chemical systems, it was limited to simple distance and 3-body angular edge criteria, was not designed for high-performance computing environments or real-time operation alongside running simulations. This release addresses these limitations through three core contributions. First, a recursive Z-matrix-based search algorithm is introduced that enables chemically intuitive, arbitrarily descriptive three-dimensional structure searches, supporting geometric, energetic, and logical criteria. Second, the DataSpaces data staging framework is incorporated as an optional I/O …
Age-Related Lens Membrane Composition And N101d Deamidation Modulate Αa–Crystallin Membrane Interactions Relevant To Cataract, Preston Hazen, Jordyn Anderson, Navdeep Kalkat, Binod Aryal, Nawal K. Khadka, Laxman Mainali
Age-Related Lens Membrane Composition And N101d Deamidation Modulate Αa–Crystallin Membrane Interactions Relevant To Cataract, Preston Hazen, Jordyn Anderson, Navdeep Kalkat, Binod Aryal, Nawal K. Khadka, Laxman Mainali
Boise State University Publications and Presentations
Purpose: αA-crystallin (αAc), the predominant subunit comprising α-crystallin (αABc), becomes increasingly deamidated and membrane bound with cataract formation. Furthermore, the lens lipids and cholesterol (Chol) composition significantly change with age and cataract formation. Despite this, the relationship between αAc deamidation and lens membrane composition in cataractogenesis remains unclear. To address this, we analyzed the role of N101 deamidation and membrane composition in the membrane interactions of αAc.
Methods: Experimentation involved using electron paramagnetic resonance (EPR) to analyze wild-type (WT) and N101D-αAc membrane binding and its physical effects on the membrane properties of 60-year-old (yo) and 20-yo model human lens lipid …
Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria
Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria
Computer Science Faculty Research & Creative Works
The rapid proliferation of Unmanned Aerial Vehicles (UAVs) in safety–critical and time-sensitive applications such as disaster management, battlefield reconnaissance, urban surveillance and infrastructure inspection demands online path planning strategies. A fundamental requirement in such missions is generating flight paths that pass through some pre-specified waypoints while servicing dynamically requested spatio-temporal task points arriving randomly such as capturing aerial imagery. Existing UAV path planning approaches, including A* and its variants, meta-heuristic algorithms, and dynamic programming, find the shortest distance path from source to destination, but they are predominantly offline and assume complete prior environmental knowledge, thus, incur significantly higher computational cost …
Finite Mathematics: A Course Guide, Angela West Dixon, Hillary Dosser
Finite Mathematics: A Course Guide, Angela West Dixon, Hillary Dosser
Faculty Publications
Finite Mathematics: A Course Guide is a supplement to Mathematics for Business and Social Sciences by Kathryn Bollinger and Vanessa Coffelt. The authors of this Course Guide, Angela Dixon and Hilary Dosser, are instructors of Mathematics at Stephen F. Austin State University in Nacogdoches, Texas. This Course Guide was developed in response to adapting MATH 1324, Finite Mathematics to a zero-cost course, using an Open Educational Resource (OER) implemented in the Fall semester of 2026. According to the Texas Higher Education Coordinating Board’s Academic Course Guide Manual (ACGM), MATH 1324 Mathematics for Business and Social Sciences concerns the application of …
Rent-A-Rag: Embedding-Space Watermarks For Auditing Third-Party Rag, Alexandr Goultiaev Tolstokorov, Kyriakos Mouratidis, Javad Dogani, Nikolaos Laoutaris
Rent-A-Rag: Embedding-Space Watermarks For Auditing Third-Party Rag, Alexandr Goultiaev Tolstokorov, Kyriakos Mouratidis, Javad Dogani, Nikolaos Laoutaris
Research Collection School Of Computing and Information Systems
Third-party retrieval-augmented generation (RAG) marketplaces create a new auditing problem: data providers may license corpora to a RAG operator, yet later have no visibility into whether their documents are being reused without compensation. Auditing this misuse is difficult because the operator is non-cooperative, answers are paraphrased by the generator, and one response may combine evidence from many providers. We propose DirBucket, a provider-side semantic watermarking and black-box auditing framework for document-level reuse in multi-provider RAG. DirBucket watermarks documents by meaningpreserving paraphrases whose embeddings are biased toward provider-bucket secret directions, enabling detection from black-box answers while preserving retrieval utility. On a …