Physical Sciences and Mathematics Commons^™

Partial Solution Based Constraint Solving Cache In Symbolic Execution, Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang

Research Collection School Of Computing and Information Systems

Constraint solving is one of the main challenges for symbolic execution. Caching is an effective mechanism to reduce the number of the solver invocations in symbolic execution and is adopted by many mainstream symbolic execution engines. However, caching can not perform well on all programs. How to improve caching’s effectiveness is challenging in general. In this work, we propose a partial solution-based caching method for improving caching’s effectiveness. Our key idea is to utilize the partial solutions inside the constraint solving to generate more cache entries. A partial solution may satisfy other constraints of symbolic execution. Hence, our partial solution-based …

Esem: To Harden Process Synchronization For Servers, Zhanbo Wang, Jiaxin Zhan, Xuhua Ding, Fengwei Zhang, Ning Hu

Research Collection School Of Computing and Information Systems

Process synchronization primitives lubricate server computing involving a group of processes as they ensure those processes to properly coordinate their executions for a common purpose such as provisioning a web service. A malfunctioned synchronization due to attacks causes friction among processes and leads to unexpected, and often hard-to-detect, application transaction errors. Unfortunately, synchronization primitives are not naturally protected by existing hardware-assisted isolation techniques e.g., SGX, because their process-oriented isolation conflicts with the primitive's demand for cross-process operations.This paper introduces the Enclave-Semaphore service (ESem) which shelters application semaphores and their operations against kernel-privileged attacks. ESem encapsulates all semaphores in the platform …

Final 2024 Residential Metals Abatement Program (Rmap) Park Soil Sampling Field Sampling Plan (Fsp) Submittal #14 [Silver Bow Homes Park, Butte Koa, Fairmont Rv Park, And Cccs Gymnasium], Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Enhancing Adult Learner Success In Higher Education Through Decision Tree Models: A Machine Learning Approach, Emily Barnes, James Hutson, Karriem Perry

Faculty Scholarship

This article explores the use of machine learning, specifically Classification and Regression Trees (CART), to address the unique challenges faced by adult learners in higher education. These learners confront socio-cultural, economic, and institutional hurdles, such as stereotypes, financial constraints, and systemic inefficiencies. The study utilizes decision tree models to evaluate their effectiveness in predicting graduation outcomes, which helps in formulating tailored educational strategies. The research analyzed a comprehensive dataset spanning the academic years 2013–2014 to 2021–2022, evaluating the predictive accuracy of CART models using precision, recall, and F1 score. Findings indicate that attendance, age, and Pell Grant eligibility are key …

Strong Marine Heatwaves Trigger Flowering In Seagrass, Catalina A. García-Escudero, Victoria Litsi-Mizan, Pavlos T. Efthymiadis, Vasilis Gerakaris, Oscar Serrano, Eugenia T. Apostolaki

Research outputs 2022 to 2026

In recent decades, the global intensification of marine heatwaves has impacted several ecosystems and species, including the endemic Mediterranean seagrass Posidonia oceanica. However, the scarcity of research in Eastern Mediterranean meadows, where historical and present thermal conditions differ from those of the Western Mediterranean, hampers our ability to draw comprehensive conclusions regarding the species' response to elevated sea temperatures. Here, we studied flowering patterns of P. oceanica meadows (3–15 m depth) of the Greek seas and assessed their potential association with marine heatwaves, while also examining the effects on plant growth associated with the transition from vegetative to sexual reproduction. …

On Angles In Higher Order Brillouin Tessellations And Related Tilings In The Plane, Herbert Edelsbrunner, Alexey Garber, Mohadese Ghafari, Teresa Heiss, Morteza Saghafian

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

For a locally finite set in R 2 , the order-k Brillouin tessellations form an infinite sequence of convex face-to-face tilings of the plane. If the set is coarsely dense and generic, then the corresponding infinite sequences of minimum and maximum angles are both monotonic in k. As an example, a stationary Poisson point process in R 2 is locally finite, coarsely dense, and generic with probability one. For such a set, the distributions of angles in the Voronoi tessellations, Delaunay mosaics, and Brillouin tessellations are independent of the order and can be derived from the formula for angles in …

Mvmoe: Multi-Task Vehicle Routing Solver With Mixture-Of-Experts, Jianan Zhou, Zhiguang Cao, Yaoxin Wu, Wen Song, Yining Ma, Jie Zhang, Chi Xu

Research Collection School Of Computing and Information Systems

Learning to solve vehicle routing problems (VRPs) has garnered much attention. However, most neural solvers are only structured and trained independently on a specific problem, making them less generic and practical. In this paper, we aim to develop a unified neural solver that can cope with a range of VRP variants simultaneously. Specifically, we propose a multi-task vehicle routing solver with mixture-of-experts (MVMoE), which greatly enhances the model capacity without a proportional increase in computation. We further develop a hierarchical gating mechanism for the MVMoE, delivering a good trade-off between empirical performance and computational complexity. Experimentally, our method significantly promotes …

Learning Topological Representations With Bidirectional Graph Attention Network For Solving Job Shop Scheduling Problem, Cong Zhang, Zhiguang Cao, Yaoxin Wu, Wen Song, Jing Sun

Research Collection School Of Computing and Information Systems

Existing learning-based methods for solving job shop scheduling problems (JSSP) usually use off-the-shelf GNN models tailored to undirected graphs and neglect the rich and meaningful topological structures of disjunctive graphs (DGs). This paper proposes the topology-aware bidirectional graph attention network (TBGAT), a novel GNN architecture based on the attention mechanism, to embed the DG for solving JSSP in a local search framework. Specifically, TBGAT embeds the DG from a forward and a backward view, respectively, where the messages are propagated by following the different topologies of the views and aggregated via graph attention. Then, we propose a novel operator based …

Adaptive Stabilization Based On Machine Learning For Column Generation, Yunzhuang Shen, Yuan Sun, Xiaodong Li, Zhiguang Cao, Eberhard Andrew, Guangquan Zhang

Research Collection School Of Computing and Information Systems

Column generation (CG) is a well-established method for solving large-scale linear programs. It involves iteratively optimizing a subproblem containing a subset of columns and using its dual solution to generate new columns with negative reduced costs. This process continues until the dual values converge to the optimal dual solution to the original problem. A natural phenomenon in CG is the heavy oscillation of the dual values during iterations, which can lead to a substantial slowdown in the convergence rate. Stabilization techniques are devised to accelerate the convergence of dual values by using information beyond the state of the current subproblem. …

The Application Of Carbonate And Sediment Budgets To Assess The Stability Of Marginal Reef Systems, Shannon Dee, Adi Zweifler, Michael Cuttler, Jake Nilsen, Joshua Bonesso, Michael O'Leary, Nicola K. Browne

Research outputs 2022 to 2026

Coral reefs and their associated landforms (carbonate islands and shorelines) are under increasing threat from the effects of anthropogenic climate change, including sea level rise (SLR). The ability of a reef to keep up with SLR depends on the rate of calcium carbonate accretion. Census-based carbonate budgets quantify rates of net calcium carbonate production on a reef and facilitate estimations of vertical reef accretion potential (RAP). To date, most carbonate budget studies have been undertaken in clear-water settings resulting in a limited understanding of how inshore reefs situated in more marginal environmental settings are functioning now and under future climate …

Application Of Event Cameras And Neuromorphic Computing To Vslam: A Survey, Sangay Tenzin, Alexander Rassau, Douglas Chai

Research outputs 2022 to 2026

Simultaneous Localization and Mapping (SLAM) is a crucial function for most autonomous systems, allowing them to both navigate through and create maps of unfamiliar surroundings. Traditional Visual SLAM, also commonly known as VSLAM, relies on frame-based cameras and structured processing pipelines, which face challenges in dynamic or low-light environments. However, recent advancements in event camera technology and neuromorphic processing offer promising opportunities to overcome these limitations. Event cameras inspired by biological vision systems capture the scenes asynchronously, consuming minimal power but with higher temporal resolution. Neuromorphic processors, which are designed to mimic the parallel processing capabilities of the human brain, …

Cellulosic Rich Biomass Production With Optimized Process Parameters By Using Glycerol Pretreatment For Biofuels Applications, Muhammad Sulaiman, Hamayoun Mahmood, Haris M. Khan, Tanveer Iqbal, Nehar U. Khan, Muhammad M. Abbas, Mohammad Nur-E-Alam, Manzoore E. M. Soudagar

Research outputs 2022 to 2026

In this work, we conduct acidified aqueous glycerol pre-treatment (AAG) on rice husks (RH) and utilize the response surface methodology (RSM) to assess the impact of pre-treatment parameters. The primary objective of this research is to optimize the parameters to maximize the cellulose content within RH. The parameters under consideration encompassed temperature (ranging from 80 to 110 °C), retention time (spanning 15 to 45 min), and biomass loading (varying from 5 to 10 wt. %). To achieve this optimization, we perform the Box-Behnken Design (BBD) within the framework of RSM. Additionally, we scrutinize the interactive effects of these parameters on …

Label-Free Surface-Enhanced Raman Spectroscopy Coupled With Machine Learning Algorithms In Pathogenic Microbial Identification: Current Trends, Challenges, And Perspectives, Jia Wei Tang, Quan Yuan, Xin Ru Wen, Muhammad Usman, Alfred Chin Yen Tay, Liang Wang

Research outputs 2022 to 2026

Infectious diseases caused by microbial pathogens remain a primary contributor to global health burdens. Prompt control and effective prevention of these pathogens are critical for public health and medical diagnostics. Conventional microbial detection methods suffer from high complexity, low sensitivity, and poor selectivity. Therefore, developing rapid and reliable methods for microbial pathogen detection has become imperative. Surface-enhanced Raman Spectroscopy (SERS), as an innovative non-invasive diagnostic technique, holds significant promise in pathogenic microorganism detection due to its rapid, reliable, and cost-effective advantages. This review comprehensively outlines the fundamental theories of Raman Spectroscopy (RS) with a focus on label-free SERS strategy, reporting …

Testing Multiple Environmental Dna Substrates For Detection Of The Cryptic And Critically Endangered Burrowing Freshwater Crayfish Engaewa Pseudoreducta, Kathryn L. Dawkins, Paul Nevill, Brian Chambers, Shane Herbert, Quinton F. Burnham

Research outputs 2022 to 2026

Effective conservation of endangered species depends on knowledge of their distributions, but species detection can often be challenging. An example of this is provided by the Critically Endangered Margaret River burrowing crayfish (Engaewa pseudoreducta), which is highly cryptic. Due to the burrowing habit of this crayfish, detection of this species currently requires a great deal of effort, the results are often non-conclusive, and, as it involves manual excavation of their burrows, the habitat of this and other species is destroyed in the detection process. In response to these challenges, this study developed and optimized a species-specific probe-based qPCR assay targeting …

Unveiling The Dynamics Of Ai Applications: A Review Of Reviews Using Scientometrics And Bertopic Modeling, Raghu Raman, Debidutta Pattnaik, Laurie Hughes, Prema Nedungadi

Research outputs 2022 to 2026

In a world that has rapidly transformed through the advent of artificial intelligence (AI), our systematic review, guided by the PRISMA protocol, investigates a decade of AI research, revealing insights into its evolution and impact. Our study, examining 3,767 articles, has drawn considerable attention, as evidenced by an impressive 63,577 citations, underscoring the scholarly community's profound engagement. Our study reveals a collaborative landscape with 18,189 contributing authors, reflecting a robust network of researchers advancing AI and machine learning applications. Review categories focus on systematic reviews and bibliometric analyses, indicating an increasing emphasis on comprehensive literature synthesis and quantitative analysis. The …

On Weighted Sequence Spaces, Gilbert D. Acheampong

Mathematics & Statistics Theses & Dissertations

The space ℓ^p,α of complex sequences a = (a₀,a₁,a₂, . . .) for which

∞

∥a∥p,α = ( Σ|ak|^p(k+1)^α)^1/p < ∞

k=0

is studied. Each such sequence can be identified with the analytic function with power series

∞

f (z) = ∑ akz^k.

k=0

In this setting, the point evaluation and the difference quotient mappings are shown to be bounded; the cases are identified in which ℓ^p,α is boundedly contained in ℓ^r,β . …

Explainable Artificial Intelligence: Methods And Evaluation, Gayane Grigoryan

Engineering Management & Systems Engineering Theses & Dissertations

A wide array of techniques within explainable artificial intelligence (XAI) have been developed to measure the importance of features in machine learning models. A notable portion of these methods draws upon principles of cooperative game theory (CGT), with the Shapley value emerging as a widely used solution concept. Despite the rising prominence of the Shapley value, other promising solutions from cooperative game theory—such as the Nucleolus, Banzhaf power index, Shapley-Shubik power index, and solutions to conflicting claims problems—have been comparatively overlooked, even though they hold significant potential. In this dissertation, multiple XAI methods based on these other CGT solutions are …

Coherent Backscattering Under Conditions Of Electromagnetically Induced Transparency In Ultracold Rubidium, Joshua D. Carter

Physics Theses & Dissertations

This dissertation presents experimental results of coherent backscattering of light in an ultracold ensemble of rubidium atoms confined in a magneto optical trap under conditions of electromagnetically induced transparency (EIT) in a cascade-type system. Electromagnetically induced transparency was investigated experimentally in both a counterpropagating and orthogonal laser geometry and compared to theory. The experimental results were largely in good agreement with theory. Coherent backscattering was then measured with and without an EIT control field present to investigate the modification, if any, that EIT has on the enhancement of the coherent backscattering cone. The results indicated that the electromagnetically induced transparency …

Leveraging Blockchain For Trust Enhancement In Decentralized Marketplaces: A Reputation System Perspective, Meshari Mohammd Aljohani

Computer Science Theses & Dissertations

Centralized marketplaces provide reliable reputation services through a central authority, but this raises concerns about single points of failure, user privacy, and data security. Decentralized marketplaces have emerged to address these issues by enhancing user privacy and transparency and eliminating single points of failure. However, decentralized marketplaces face the challenge of maintaining user trust without a centralized authority. Current blockchain-based marketplaces rely on subjective buyer feedback. Additionally, the transparency in these systems can deter honest reviews due to fear of seller retaliation. To address these issues, we propose a trust and reputation system using blockchain and smart contracts. Our system …

Investigation Of Cooperative Subradiance In Dense Ultracold Rubidium Ensembles, Brent Michael Jones

Physics Theses & Dissertations

This dissertation presents results of an experimental investigation of the time resolved fluorescence from a cold and dense ensemble of ⁸⁷Rb atoms after the sample is illuminated by a short probe pulse. The goal of the experiment was to investigate cooperative subradiant behavior, characterized by a much longer decay time compared to the natural lifetime, induced in an off resonant probe regime. Such long lived states, if controllable, would provide a means to store quantum information. The samples were initially created in a magnetooptical trap before atoms were loaded into a far off resonance trap to achieve atomic densities …

Deep Learning In Reproducing Kernel Banach Spaces, Mingsong Yan

Mathematics & Statistics Theses & Dissertations

Deep learning has achieved immense success in the past decade. The goal of this dissertation is to understand deep learning through the framework of reproducing kernel Banach spaces (RKBSs), which were originally proposed for promoting sparse solutions. We begin by considering learning problems in a general functional setting, and establishing explicit and data-dependent representer theorems for both minimal norm interpolation (MNI) problems and regularization problems. These theorems provide a crucial foundation for the subsequent results derived for both sparse learning and deep learning. Next, we investigate the essential properties of RKBSs capable of encouraging sparsity in learning solutions. With the …

Safe And Efficient Operation Of Mobile Robots In Indoor Environments: A User-Centric Shared Control System With High-Level Navigation Capabilities, Ahmet Saglam

Electrical & Computer Engineering Theses & Dissertations

Hospitalization and isolation can be a traumatic experience for immunocompromised children, especially because they are separated from their families and friends. Social robots have been proposed as a way to improve the quality of care for children hospitalized in isolation by providing alternative means of social interaction and support. Remote control of such robots in a hospital setting, particularly where safety is a major concern, can be a daunting task for young patients.

This dissertation introduces a multilevel shared control system for mobile robots, specifically companion robots in hospital-like indoor spaces. The system integrates user inputs with algorithmic semi-autonomous control …

Development Of The Roadway Pothole Management Program, Dingxin Cheng

Mineta Transportation Institute

Addressing the issue of potholes is a primary concern for maintaining urban infrastructure. The research team has developed a prototype pothole management program. The program includes a mobile application and two machine learning models. The mobile app enables users to upload images of potholes, report relevant information, and provide driving directions to the pothole location. With the help of this application, the user can seamlessly capture images of the potholes, record pertinent information, and submit the data for necessary action. The mobile application is an essential tool in the Pothole Management Program (PMP), as it enhances the program's efficiency, effectiveness, …

Mapping Of Pavement Conditions Using Smartphone/Tablet Lidar Case Study: Sensor Performance Comparison, Calvin Beavers, Chad Day, Austin Krietemeyer, Scott M. Peterson, Yushin Ahn, Xiaojun Li

Mineta Transportation Institute

Poor road conditions affect millions of drivers, and assessing the condition of paved surfaces is a critical step towards repairing them. This project explores the feasibility of using the Apple iPad Pro LiDAR sensor as a cost-effective tool for assessing the damage and condition of paved surfaces. Our research aims to provide accurate and precise measurements using readily available consumer devices and compare the results to state-of-the-art equipment. This investigation involved visual inspection, identification, and classification of pavement distresses, followed by a comparison of the iPad and iPhone LiDAR data with a survey-grade terrestrial laser scanner. The project revealed several …

T. Boudieri Extract Potentiates The Effects Of Capecitabine Treatment In Human Colon Cancer Cells, Katia Sawaya, Mahmoud Khalil, Ghada Khawaja

BAU Journal - Science and Technology

Resistance to chemotherapy remains a major challenge for colorectal cancer patients worldwide, hence the persistent need to uncover alternative treatments as well as new adjunct therapies in the fight against cancer. Natural extracts constitute an excellent source of bioactive substances that have a promising potential in that regard, with minimal negative side effects. We have previously demonstrated that both the ethanolic as well as the water extracts of Terfezia boudieri, a black desert truffle abundant in and part of the cuisine of the Mediterranean region, have significant antiproliferative effects against colon cancer cells. Our aim in this study was …

Water Body Satellite Images Segmentation Using Maxwell Boltzmann Distribution, Lama Affara, Ali El-Zaart, Rabih Damaj

BAU Journal - Science and Technology

Images can exhibit diverse attributes and characteristics, because of variations in both the quantity of each intensity level and their respective positions, histograms display varying distributions. Some images feature symmetric histograms, while others exhibit asymmetry. In image segmentation tasks, traditional mean-based thresholding methods work well with symmetric histograms, relying on Gaussian distribution definitions. However, situations arise where asymmetric distributions must be considered. Threshold-based segmentation entails the partitioning of intensity levels into separate regions determined by the threshold value. Within this category of thresholding methods, Minimum Cross Entropy Thresholding (MCET) stands out as a mean-based thresholding technique with a unique self-contained …

Accelerator Based Techniques Iba To Characterize Archeological Artefacts: Case Study Of Ancient Ceramics, Ahmad Reslan, Mohamad Roumie, Sandrine Elaigne, Bilal Nsouli, Mahmoud Korek

BAU Journal - Science and Technology

Ion beam analysis techniques IBA, in particular proton induced X-ray emission PIXE, play an effective and efficient role in the characterization of cultural heritage objects. As early as the 1970s, PIXE technique was applied as reliable analytical technique to determine the elemental composition of archeological artefacts, where many accelerator laboratories worldwide are still involved in such applications. It has the advantage to be multi-elemental (Na to Pb) with major, minor and trace element analysis down to part per million or ppm, fast (few minutes per sample), non-destructive and its possible combination with other IBA techniques that can reveal other information. …

Bivariate Polynomials Of Low Degree And Small Mahler Measure, Souad El Otmani

BAU Journal - Science and Technology

In this work, we highlight that many of the known limit points of the Mahler measure of univariate polynomials can be obtained as the Mahler measure of low-degree bivariate polynomials. To this end, we provide for each relevant measure the corresponding original bivariate polynomial found in the literature, along with the corresponding low-degree polynomial with an analogous measure.

Effects Of The Biochar Of Senna Tora On The Soil Fertility Of Misau Farmlands, Bauchi State, Northern Nigeria, Ozoilo Onyeka Calistus, Umar Faruk Hassan, Auwal Adamu Mahmoud, Haruna Baba, Hamza Badamasi, Hannatu Akanang

Journal of Bioresource Management

The use of biochar as an amendment to the soil is attracting the scientific community's attention because of its cost-effectiveness, eco-friendliness, and its promising success in increasing the fertility of the soil and crop yield. In the present study, the effects of biochar from Senna tora applications on soil characteristics and the availability of micronutrients in Misau, Bauchi State, Nigeria, were explored. A completely randomized approach was adopted and duplicated three times, with reference soil (no biochar), 30-day, and 60-day biochar treatments. The biochar was removed at the end of the treatment, and soil samples from the various treatments were …

Can Corporate Sustainability Performance (Csp) Overcome Indonesia's Corporate Debt Problems?, Johnson Ferry Febrian, Nora Sri Hendriyeni

Jurnal Akuntansi dan Keuangan Indonesia

Based on IMF publications (2022), Indonesian companies have a risky debt level that may cause bankruptcy, so companies are required to make leverage adjustments to return the debt to its optimal level. In recent years, corporate sustainability performance (CSP) practices have been proven to improve performance and overcome financial problems such as debt by integrating sustainability aspects into business processes. Based on stakeholder theory and trade-off theory, this study aims to examine the effect of CSP on leverage adjustment and the role of competitive advantage, equity mispricing, profitability, and firm size in moderating this relationship. This study used a sample …