Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- University of Nebraska - Lincoln (25776)
- Western Michigan University (20684)
- University of Kentucky (14836)
- TÜBİTAK (10712)
- Singapore Management University (9331)
-
- Utah State University (7941)
- Missouri University of Science and Technology (7297)
- Old Dominion University (7279)
- Portland State University (4181)
- University of South Florida (4079)
- Wright State University (3960)
- University of Nevada, Las Vegas (3927)
- China Simulation Federation (3880)
- City University of New York (CUNY) (3736)
- Louisiana State University (3660)
- Brigham Young University (3435)
- University of Texas Rio Grande Valley (3125)
- Chulalongkorn University (3121)
- University of Arkansas, Fayetteville (3087)
- Air Force Institute of Technology (3059)
- Department of Primary Industries and Regional Development, Western Australia (2910)
- Purdue University (2868)
- Claremont Colleges (2860)
- California Polytechnic State University, San Luis Obispo (2725)
- University of Texas at El Paso (2642)
- Chinese Chemical Society | Xiamen University (2392)
- Technological University Dublin (2385)
- University of South Carolina (2378)
- Montana Tech Library (2372)
- Wayne State University (2315)
- Keyword
-
- Machine learning (2184)
- Western Australia (1954)
- Climate change (1647)
- Mathematics (1411)
- Sustainability (1182)
-
- Deep learning (1173)
- Chemistry (1130)
- Artificial intelligence (1103)
- Machine Learning (1035)
- Physics (1035)
- Geology (974)
- Groundwater (971)
- Water quality (899)
- Computer Science (818)
- United States (808)
- Simulation (787)
- Nebraska (774)
- Education (744)
- Remote sensing (712)
- Agriculture (702)
- Climate (700)
- Grains and field crops (698)
- Water (694)
- Statistics (687)
- Security (683)
- Optimization (663)
- Conservation (645)
- Environment (622)
- Humans (602)
- Algorithms (585)
- Publication Year
-
- 2026 (8118)
- 2025 (11976)
- 2024 (14033)
- 2023 (14107)
- 2022 (18211)
-
- 2021 (27721)
- 2020 (14796)
- 2019 (13027)
- 2018 (11787)
- 2017 (11099)
- 2016 (10868)
- 2015 (9570)
- 2014 (9791)
- 2013 (8919)
- 2012 (8509)
- 2011 (7738)
- 2010 (6940)
- 2009 (6347)
- 2008 (5869)
- 2007 (5730)
- 2006 (4903)
- 2005 (4760)
- 2004 (3873)
- 2003 (3322)
- 2002 (3014)
- 2001 (2761)
- 2000 (2644)
- 1999 (2336)
- 1998 (2334)
- 1997 (2181)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- IGC Proceedings (1977-2023) (9261)
- Theses and Dissertations (8754)
- Research Collection School Of Computing and Information Systems (8496)
- Thin Sections (6677)
-
- Faculty Publications (4113)
- Journal of System Simulation (3880)
- Electronic Theses and Dissertations (3549)
- Nebraska Tractor Tests (3397)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Turkish Journal of Chemistry (2720)
- Turkish Journal of Mathematics (2595)
- Journal of Electrochemistry (2392)
- Physics Faculty Publications (2158)
- Masters Theses (2075)
- Dissertations (2023)
- Physics Faculty Research & Creative Works (1961)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (1876)
- Silver Bow Creek/Butte Area Superfund Site (1846)
- Coal Geology & Exploration (1799)
- USF Tampa Graduate Theses and Dissertations (1773)
- School of Natural Resources: Faculty Publications (1733)
- Department of Computer Science Technical Reports (1721)
- United States Department of Agriculture Wildlife Services: Staff Publications (1622)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1435)
- Publications and Research (1404)
- Publications (1401)
- LSU Doctoral Dissertations (1390)
- Open Access Theses & Dissertations (1389)
- Turkish Journal of Physics (1374)
- Publication Type
Articles 5131 - 5160 of 293044
Full-Text Articles in Entire DC Network
Fsc Will Have A 'Big Eye', Bob Dixon
Fsc Will Have A 'Big Eye', Bob Dixon
Documents
News article from The Florence Times about the new 14 1/2-inch reflector telescope built and donated to Florence State College.
Florence State University Planetarium-Observatory Information And Schedule, Florence Herald Offset
Florence State University Planetarium-Observatory Information And Schedule, Florence Herald Offset
Documents
Florence State University Planetarium & Observatory Information and Schedule Brochure for Academic Year 1970-1971
The Psychology Behind Ai-Generated Phishing And Social Engineering Attacks, A’Shya Reynolds
The Psychology Behind Ai-Generated Phishing And Social Engineering Attacks, A’Shya Reynolds
School of Cybersecurity Master's Level Projects and Papers
Cybercrime has evolved significantly with the integration of artificial intelligence (AI), transforming traditional phishing and social engineering attacks into highly sophisticated and personalized threats. While early phishing attempts relied on generic messaging and low success rates, modern AI-driven attacks leverage advanced data analytics, natural language processing, and behavioral prediction to manipulate victims more effectively.
This research examines how cybercriminals utilize AI to enhance psychological manipulation techniques in phishing and social engineering attacks, increasing victim susceptibility. Drawing from interdisciplinary literature in cybersecurity and psychology, this study explores key psychological mechanisms, including cognitive biases, emotional triggers, and decision-making processes that influence victim …
Directory Of Landscape Professionals Trained In Ecological Landscaping For Water Quality Protection, Julia Peterson
Directory Of Landscape Professionals Trained In Ecological Landscaping For Water Quality Protection, Julia Peterson
UNH Cooperative Extension
The individuals and businesses listed have completed UNH Cooperative Extension training programs for professionals as indicated, and have agreed to be listed in the directory. Individuals looking for related products or services are encouraged to contact one or more of the professionals listed in your area.
Deep Learning Based Approaches For Low Cost Defense Detection, Adele J. Noel-Rickert
Deep Learning Based Approaches For Low Cost Defense Detection, Adele J. Noel-Rickert
All NMU Master's Theses
Pulmonary fibrosis is a progressive interstitial lung disease characterized by the accumulation of fibrotic tissue within the lungs, leading to impaired respiratory function and reduced quality of life. Early detection is important for disease management; however, accurate diagnosis often relies on high-resolution computed tomography (CT), which may not be accessible in all clinical settings. Chest radiography provides a lower-cost and widely available imaging modality, but interpretation of chest X-rays for fibrotic disease can be challenging due to subtle radiographic patterns and overlapping anatomical structures. This thesis investigates the use of multimodal deep learning techniques to assist in pul- monary fibrosis …
Monitoring Terrestrial Ecosystem Productivity Using Hyperspectral Satellite Data, Serge Tuyambaze
Monitoring Terrestrial Ecosystem Productivity Using Hyperspectral Satellite Data, Serge Tuyambaze
School of Natural Resources: Dissertations, Theses, and Student Research
Accurate estimation of terrestrial Gross Primary Productivity (GPP) is critical for quantifying global carbon sequestration and understanding the terrestrial carbon cycle. While eddy covariance (EC) towers provide standard flux measurements, upscaling these measurements to continuous global coverage remains challenging due to the sparse distribution of flux towers and their small footprints. Remote sensing (RS), especially coupled with eddy covariance data, has been used to estimate GPP at the global scale. Different RS derived productivity models have been developed, including vegetation indices, light use efficiency (LUE) models, solar-induced fluorescence (SIF), dynamic global vegetation models (DGVM), and machine learning. One widely adapted …
Impact Of In Situ Observations From Three Torus Cases On Model Analyses And Forecasts Of Severe Convection, Robert M. Szot
Impact Of In Situ Observations From Three Torus Cases On Model Analyses And Forecasts Of Severe Convection, Robert M. Szot
Department of Earth and Atmospheric Sciences: Dissertations, Theses, and Student Research
The quality of forecasts of severe deep convection in high-resolution numerical weather prediction is dependent on the representativeness of the model initial conditions. This representativeness may be negatively impacted by limited observation availability and by the presence of mesoscale heterogeneities that were not detected by conventional observations assimilated into convection-allowing models. By assimilating storm-scale observations from the Targeted Observation by Radars and Uncrewed Aircraft Systems (UAS) of Supercells (TORUS) campaign into an ensemble styled after the Warn-on-Forecast System, this study aims to investigate if data from field work platforms can improve the quality of initial conditions in the ensemble, potentially …
Explainable Artificial Intelligence In The Image Domain And Its Applications To The Medical Field, Mirtha Lucas
Explainable Artificial Intelligence In The Image Domain And Its Applications To The Medical Field, Mirtha Lucas
Theses and Dissertations from DePaul University
This dissertation investigates the development of Explainable Artificial Intelligence (XAI) methods for deep learning models in the image domain, with a particular focus on medical imaging applications. Although neural networks achieve high predictive performance, their lack of interpretability limits their adoption in critical domains such as healthcare, where transparency and trust are essential. This work addresses this challenge by proposing novel approaches that improve the interpretability and reliability of model predictions. A primary contribution is the introduction of Riemann–Stieltjes Integrated Grad-CAM (RSI Grad-CAM), a gradient-based attribution method that generates more relevant and spatially localized saliency maps. The method is evaluated …
Continuum Observations Of Water Maser Sites, Aman Khan
Continuum Observations Of Water Maser Sites, Aman Khan
Theses and Dissertations from DePaul University
Stars form in cores deep within cold (10 K) clouds of hydrogen gas. As material is accreted onto the central object inside these cores (the protostar), powerful outflows that channel mass away from the protostar are also launched. The launching mechanism for these outflows is still not fully understood. This thesis presents observations of the 22 GHz continuum emission from two star-forming regions, NGC 7129 FIRS2 and IC 1396-n. The immediate aim of these observations is to find where this continuum emission is coming from, particularly if it is free-free emission from a jet or outflow, and the long term …
Factors Associated With Lapses In Care Among People Living With Hiv In South Carolina, Xueying Yang Ph.D., Fanghui Shi, Shujie Chen, Gavi Samuel, Bankole Olatosi Ph.D., Sharon Weissman, Xiaoming Li Ph.D., Jiajia Zhang Ph.D.
Factors Associated With Lapses In Care Among People Living With Hiv In South Carolina, Xueying Yang Ph.D., Fanghui Shi, Shujie Chen, Gavi Samuel, Bankole Olatosi Ph.D., Sharon Weissman, Xiaoming Li Ph.D., Jiajia Zhang Ph.D.
Faculty Publications
Utilizing statewide electronic health records (EHR) data, this study aims to assess the factors determining the occurrence of lapses in HIV care among people with HIV (PWH) in South Carolina (SC). All adult (≥ 18 years old) PWH who were diagnosed with HIV between 2006 and 2018 with at least two HIV care encounters and at least 1-year follow-up record were included in the analysis. The outcome, a lapse in care, was defined as a repeated measure of HIV care encounter that occurs over a year following the previous visit. Generalized Estimation Equation models were employed. The study cohort had …
Structural Silence: When Ai Infrastructure Fails Speakers Of Underrepresented Languages, Avijit Roy, Proma Roy
Structural Silence: When Ai Infrastructure Fails Speakers Of Underrepresented Languages, Avijit Roy, Proma Roy
Publications and Research
Artificial intelligence tools for education and language support are increasingly framed as scalable responses to access gaps in under-resourced communities. Yet the infrastructure underlying these tools—training corpora, tokenization schemes, evaluation benchmarks, and deployment architectures—encodes a set of assumptions that systematically disadvantages speakers of underrepresented languages before a single model is trained. This paper examines those assumptions through the lens of Bengali, one of the world’s most widely spoken languages with roughly 285 million speakers (Ethnologue, 2025; International Communication and Leadership School, 2026), and the structural barriers that emerge when attempting to build AI-assisted educational tools for Bengali-speaking learners in low-connectivity …
Freedom Readers And Sustainable Development Goal 4: Advancing Literacy In Low-Income Communities Of South Carolina, Madison Hayes
Freedom Readers And Sustainable Development Goal 4: Advancing Literacy In Low-Income Communities Of South Carolina, Madison Hayes
Goal 4: Quality Education
No abstract provided.
Generative Ai In Enterprises: Optimizing Applications With Large Language Models, Donghao Huang
Generative Ai In Enterprises: Optimizing Applications With Large Language Models, Donghao Huang
Dissertations and Theses Collection (Open Access)
This dissertation investigates how to deploy Large Language Models (LLMs) effectively in enterprise settings, where accuracy, reliability, cost, privacy, and operational constraints often matter more than benchmark performance alone. Drawing on seventeen peer-reviewed publications (eleven published and six accepted for publication), the work develops and validates optimization strategies across three connected themes: retrieval-augmented generation (RAG), agentic AI for workflow automation, and deployment guidelines for real-world enterprise environments.
First, we study RAG optimization through systematic evaluation of open and proprietary models, highlighting conditions under which efficient open-weight models can match or exceed proprietary alternatives. To address a pervasive failure mode in …
Implementation And Costs Of A Food Insecurity Resource Navigation Program For Primary Care Patients With Diabetes And Hypertension In South Carolina, Deeksha Gupta, Darin Thomas, Stella Coker Watson Self Ph.D., Ms, Edward A. Frongillo Jr. Ph.D., Alain H. Litwin, Joseph A. Ewing, Lynnette Ramos-Gonzalez, Lynnette Ramos-Gonzalez
Implementation And Costs Of A Food Insecurity Resource Navigation Program For Primary Care Patients With Diabetes And Hypertension In South Carolina, Deeksha Gupta, Darin Thomas, Stella Coker Watson Self Ph.D., Ms, Edward A. Frongillo Jr. Ph.D., Alain H. Litwin, Joseph A. Ewing, Lynnette Ramos-Gonzalez, Lynnette Ramos-Gonzalez
Faculty Publications
Objective
To examine food insecurity resource navigation program costs and how navigation intensity relates to clinical outcomes, healthcare costs, and quality of life (QOL) for diabetes and/or hypertension patients.
Methods
This retrospective study included patients receiving resource navigation (July 12, 2021-December 31, 2022 with twelve-month follow-up) across three primary care practices in South Carolina's largest health system. Participants were 18+ years old (from electronic medical records/Epic), had food insecurity (from Hunger Vital Sign™), and diabetes and/or hypertension (from Epic registries). Matched controls came from food insecurity screening-only practices. Patients in each group (n= 219) had diabetes (9.13%), hypertension …
Math 242: Elements Of Probability And Statistics (Syllabus), Ahmad Almomani Ph.D.
Math 242: Elements Of Probability And Statistics (Syllabus), Ahmad Almomani Ph.D.
School of Arts & Sciences
This syllabus was developed by SUNY Geneseo Professor Ahmad Almomani during the spring 2026 semester.
Course Objectives:
Upon successful completion of Math 242, R/Elements of Probability and Statistics, a student will be able to:
- Organize, present and interpret statistical data, both numerically and graphically;
- Use various methods to compute the probabilities of events;
- Analyze and interpret statistical data using appropriate probability distributions, e.g. binomial and normal.
- Apply central limit theorem to describe inferences;
- Construct and interpret confidence intervals to estimate means, standard deviations and proportions for populations;
- Perform parameter testing techniques, including single and multi-sample tests for means, standard deviations …
Statistical Investigation Project, Ahmad Almomani Ph.D.
Statistical Investigation Project, Ahmad Almomani Ph.D.
School of Arts & Sciences
The assignment was developed by SUNY Geneseo Professor Ahmad Almomani for the course, MATH 242: Elements of Probability and Statistics in the spring 2026 semester.
The objective for this assignment is that students will apply statistical methods to analyze real-world data and communicate meaningful conclusions.
A Comparative Study On Performance Of Iot-Driven Ml-Enabled Forecasting Models For Efficient Air Quality Monitoring, Bara Ksiksi
A Comparative Study On Performance Of Iot-Driven Ml-Enabled Forecasting Models For Efficient Air Quality Monitoring, Bara Ksiksi
Theses
Air pollution is one of the most critical environmental challenges affecting public health globally, responsible for approximately 4.2 million premature deaths annually according to the World Health Organisation. This thesis presents a comparative study of IoT-driven machine learning forecasting models for air quality monitoring in Abu Dhabi, UAE, introducing a zonal approach combined with satellite-based spatial validation. The primary objective is to evaluate forecasting performance across three distinct activity zones using ground station data from the Environment Agency Abu Dhabi (EAD), and to incorporate a spatial validation component using satellite imagery to assess the consistency of ground-based predictions at a …
Ideals And Lattices In Number Fields, Sarah Ali Alyammahi
Ideals And Lattices In Number Fields, Sarah Ali Alyammahi
Theses
This thesis investigates algebraic number fields and their rings of integers, which
generalize the ring of integers ℤ in ℚ. The study focuses on ideals, units, and ideal class
groups, which describe the arithmetic structure of number fields and the failure of unique factorization. Key invariants such as the norm, trace, and discriminant are developed and applied, with particular emphasis on quadratic number fields and classical examples such as the Gaussian and Eisenstein integers. Some explicit computations of ideal class groups are carried out. The thesis also explores connections with lattice theory by interpreting rings of integers as lattices and …
Llm-Driven Mission Control And Autonomous Planning For Search-And-Rescue Uavs: A Simulation-Based Evaluation, Naser Bader Alsaedi
Llm-Driven Mission Control And Autonomous Planning For Search-And-Rescue Uavs: A Simulation-Based Evaluation, Naser Bader Alsaedi
Theses
Unmanned aerial vehicles (UAVs) are increasingly used in search‑and‑rescue (SAR) missions, yet many systems still rely on fragmented software where mission design, perception, and flight control are configured separately. This thesis examines whether a unified AI‑driven framework can reduce configuration effort and operator workload in UAV‑based SAR operations. The proposed system integrates natural‑language mission specification using a large language model (LLM) (LLaMA 3.1), autonomous coverage planning, YOLOv8‑based victim detection, and PX4/MAVSDK control within a single architecture. Operators describe missions through free‑form text or a graphical interface; the model converts these descriptions into structured mission parameters that are automatically planned and …
Transport Of Quantum Walks In Electric Fields, Yousef Mohammad Yousef Salah
Transport Of Quantum Walks In Electric Fields, Yousef Mohammad Yousef Salah
Theses
This thesis presents an analysis of transport in one-dimensional discrete-time quantum walks (DTQWs) on the Hilbert space ℓ²(ℤ) ⊗ ℂ². Quantum walks serve as fundamental models of coherent quantum transport and exhibit ballistic spreading driven by superposition and interference. The primary focus of this work is the review and derivation of sharp maximal velocity bounds for several classes of quantum walk step operators, including the shift-coin walk, the split-step walk, and models with constant as well as position-dependent coin operators. We establish general a priori bounds that remain valid beyond the translation-invariant regime. For homogeneous models, Fourier and spectral analysis …
Application Of The Tridiagonal Representation Approach And The J- Matrix Method Of Scattering In Theoretical Physics, Tunde Joseph Osunmusanmi
Application Of The Tridiagonal Representation Approach And The J- Matrix Method Of Scattering In Theoretical Physics, Tunde Joseph Osunmusanmi
Dissertations
This dissertation is about the application of the Tridiagonal Representation Approach (TRA) in handling linear phenomenons, and for the first time, the J-matrix method of scattering in handling nonlinear phenomenons. The TRA is an algebraic method for solving linear ordinary differential equations of the second order. The advantage of the method in being algebraic is reinforced by the analytic power of orthogonal polynomials and special functions. On the computational side, it is favored as being reliant on powerful numerical techniques that deal with tridiagonal matrices such as Gauss quadrature and continued fraction. In the method, the solution of the differential …
Federated Retrieval-Augmented Generation For Cybersecurity In Resource-Constrained Iot And Edge Environments: A Deployment-Oriented Scoping Review, Hangyu He, Yuan, Kai Wu, Wei Ni
Federated Retrieval-Augmented Generation For Cybersecurity In Resource-Constrained Iot And Edge Environments: A Deployment-Oriented Scoping Review, Hangyu He, Yuan, Kai Wu, Wei Ni
Research outputs 2022 to 2026
Cybersecurity operations in IoT and edge environments require fast, evidence-grounded decisions under strict resource and trust constraints. While large language models can support triage and incident analysis, their parametric knowledge may be outdated and prone to hallucination. Retrieval-augmented generation (RAG) improves grounding by conditioning responses on retrieved evidence, but also introduces new risks such as knowledge-base poisoning, indirect prompt injection, and embedding leakage. Federated learning enables collaborative adaptation without centralizing sensitive data, motivating federated RAG (FedRAG) architectures for distributed cybersecurity deployments. This study presents a deployment-oriented scoping review of FedRAG for cybersecurity. The review follows PRISMA-ScR reporting guidance and synthesizes …
Upper Ocean Cycling Of Iron South Of The Polar Front: Biological Patterns And Processes, Luis M. Laglera, Santos-Echeandía, Viena Puigcorbé, Christine Klass, Dieter Wolf-Gladrow
Upper Ocean Cycling Of Iron South Of The Polar Front: Biological Patterns And Processes, Luis M. Laglera, Santos-Echeandía, Viena Puigcorbé, Christine Klass, Dieter Wolf-Gladrow
Research outputs 2022 to 2026
Samples from the upper 300 m along the 52°S band, south of the Antarctic Polar Front in the Atlantic sector of the Southern Ocean, including a 3-week monitoring of a persistent bloom, were analyzed to advance our understanding of iron cycling and supply to recurrent phytoplankton blooms. We measured dissolved Fe (dFe, <0.2 μm) and labile particulate iron using a mild acid leach (pLFe48h) targeting primarily detrital and fecal material. Particulate iron was partitioned into size classes to distinguish small, “slow” sinking particles (<53 μm) from large, “fast” sinking particles (>53 μm), while intermediate fractions were analyzed to investigate aggregation and export processes. Across all stations, dFe exhibited a consistent vertical structure, including a previously undescribed …53>0.2>
Think First, Chatgpt Later: Guiding Human-Ai Collaboration For Learning Gains In Independent Human Creativity, Sarah Shi Hui Wong, Sophia Xuefei Qiu
Think First, Chatgpt Later: Guiding Human-Ai Collaboration For Learning Gains In Independent Human Creativity, Sarah Shi Hui Wong, Sophia Xuefei Qiu
Research Collection School of Social Sciences
Generative artificial intelligence (AI) tools such as ChatGPT can boost creative performance, but do these boosts translate into learning gains? This study examined whether the benefits of ChatGPT for creativity persist even when its assistance is removed, and how people can effectively use ChatGPT to enhance their learning and independent creativity. University students (N = 196) solved a creative product improvement task either independently (human-only group) or using ChatGPT freely (general-AI group) or using ChatGPT in a guided way (regulated-AI group). Specifically, the regulated-AI group used a novel “think first, ChatGPT later” approach—they first generated their own ideas, then collaborated …
Portrait Shadow Removal Via Self-Exemplar Illumination Equalization, Qian Huang, Cheng Xu, Guiqing Li, Ziheng Wu, Shengxin Liu, Shengfeng He
Portrait Shadow Removal Via Self-Exemplar Illumination Equalization, Qian Huang, Cheng Xu, Guiqing Li, Ziheng Wu, Shengxin Liu, Shengfeng He
Research Collection School Of Computing and Information Systems
We introduce the Self-Exemplar Illumination Equalization Network, designed specifically for effective portrait shadow removal. The core idea of our method is that partially shadowed portraits can find ideal exemplars within their non-shadowed facial regions. Rather than directly fusing two distinct classes of facial features, our approach utilizes non-shadowed regions as an illumination indicator to equalize the shadowed regions, generating deshadowed results without boundary-merging artifacts. Our network comprises cascaded Self-Exemplar Illumination Equalization Blocks (SExmBlock), each containing two modules: a self-exemplar feature matching module and a feature-level illumination rectification module. The former identifies and applies internal illumination exemplars to shadowed areas, producing …
Weakly Supervised Video Anomaly Detection And Localization With Spatio-Temporal Prompts, Peng Wu, Xuerong Zhou, Guansong Pang, Zhiwei Yang, Qingsen Yan, Peng Wang, Yanning Zhang
Weakly Supervised Video Anomaly Detection And Localization With Spatio-Temporal Prompts, Peng Wu, Xuerong Zhou, Guansong Pang, Zhiwei Yang, Qingsen Yan, Peng Wang, Yanning Zhang
Research Collection School Of Computing and Information Systems
Current weakly supervised video anomaly detection (WSVAD) task aims to achieve frame-level anomalous event detection with only coarse video-level annotations available. Existing works typically involve extracting global features from full-resolution video frames and training frame-level classifiers to detect anomalies in the temporal dimension. However, most anomalous events tend to occur in localized spatial regions rather than the entire video frames, which implies existing frame-level feature based works may be misled by the dominant background information and lack the interpretation of the detected anomalies. To address this dilemma, this paper introduces a novel method called STPrompt that learns spatio-temporal prompt embeddings …
Agentspec: Customizable Runtime Enforcement For Safe And Reliable Llm Agents, Haoyu Wang, Christopher M. Poskitt, Jun Sun
Agentspec: Customizable Runtime Enforcement For Safe And Reliable Llm Agents, Haoyu Wang, Christopher M. Poskitt, Jun Sun
Research Collection School Of Computing and Information Systems
Agents built on LLMs are increasingly deployed across diverse domains, automating complex decision-making and task execution. However, their autonomy introduces safety risks, including security vulnerabilities, legal violations, and unintended harmful actions. Existing mitigation methods, such as model-based safeguards and early enforcement strategies, fall short in robustness, interpretability, and adaptability. To address these challenges, we propose AgentSpec, a lightweight domain-specific language for specifying and enforcing runtime constraints on LLM agents. With AgentSpec, users define structured rules that incorporate triggers, predicates, and enforcement mechanisms, ensuring agents operate within predefined safety boundaries. We implement AgentSpec across multiple domains, including code execution, embodied agents, …
Trace: Securing Smart Contract Repository Against Access Control Vulnerability, Chong Chen, Lingfeng Bao, David Lo, Yanlin Wang, Zhenyu Shan, Ting Chen, Guangqiang Yin, Jianxing Yu, Zibin Zheng, Jiachi Chen
Trace: Securing Smart Contract Repository Against Access Control Vulnerability, Chong Chen, Lingfeng Bao, David Lo, Yanlin Wang, Zhenyu Shan, Ting Chen, Guangqiang Yin, Jianxing Yu, Zibin Zheng, Jiachi Chen
Research Collection School Of Computing and Information Systems
Smart contract vulnerabilities have led to billions of dollars in economic losses. Among these, improper Access Control, which allows unauthorized users to execute restricted functions, is particularly prevalent and has caused significant financial damage. Smart contract repositories contain source code, documentation, configuration files, and other artifacts necessary for building and deploying smart contracts. GitHub hosts numerous open-source repositories of this kind, which serve as intermediate artifacts in development and require compilation and packaging to produce deployable contracts. Third-party developers often reference, reuse, or fork code from these repositories during custom development. However, if the referenced code contains vulnerabilities, it can …
Causality-Aware Safety Testing For Autonomous Driving Systems, Wenbing Tang, Mingfei Cheng, Renzhi Wang, Yuan Zhou, Chengwei Liu, Yang Liu, Zuohua Ding
Causality-Aware Safety Testing For Autonomous Driving Systems, Wenbing Tang, Mingfei Cheng, Renzhi Wang, Yuan Zhou, Chengwei Liu, Yang Liu, Zuohua Ding
Research Collection School Of Computing and Information Systems
Simulation-based testing is essential for evaluating the safety of Autonomous Driving Systems (ADSs). Comprehensive evaluation requires testing across diverse scenarios that can trigger various types of violations under different conditions. While existing methods typically focus on individual diversity metrics, such as input scenarios, ADS-generated motion commands, and system violations, they often fail to capture the complex interrelationships among these elements. For instance, identical motion commands can produce different collision risks in varying scenes, and the same collision may result from different commands under different scenarios. This oversight leads to gaps in testing coverage, potentially missing critical issues in the ADS …
Super Lidar Intensity For Robotic Perception, Wei Gao, Jie Zhang, Mingle Zhao, Zhiyuan Zhang, Shu Kong, Maani Ghaffari, Dezhen Song, Chengzhong Xu, Hui Kong
Super Lidar Intensity For Robotic Perception, Wei Gao, Jie Zhang, Mingle Zhao, Zhiyuan Zhang, Shu Kong, Maani Ghaffari, Dezhen Song, Chengzhong Xu, Hui Kong
Research Collection School Of Computing and Information Systems
Conventionally, human intuition defines vision as a modality of passive optical sensing, relying on ambient light to perceive the environment. However, active optical sensing, which involves emitting and receiving signals, offers unique advantages by capturing both radiometric and geometric properties of the environment, independent of external illumination conditions. This work focuses on advancing active optical sensing using Light Detection and Ranging (LiDAR), which captures intensity data, enabling the estimation of surface reflectance that remains invariant under varying illumination. Such properties are crucial for robotic perception tasks, including detection, recognition, segmentation, and Simultaneous Localization and Mapping (SLAM). A key challenge with …