Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 121 - 150 of 63960

Full-Text Articles in Computer Sciences

Iot Applications In Fire Safety Management: Bibliometric Study On Resilience And Emergency Response, Nur ‘Amirah Mhd Noh, Nor Rima Muhamad Ariff, Ahmad Amru Mohamad Zaid, Rabeah Md Zin Oct 2026

Iot Applications In Fire Safety Management: Bibliometric Study On Resilience And Emergency Response, Nur ‘Amirah Mhd Noh, Nor Rima Muhamad Ariff, Ahmad Amru Mohamad Zaid, Rabeah Md Zin

Journal of Informatics and Web Engineering

In the past few years, the Internet of Things (IoT) has been used more often in fire safety. Simple devices like smoke sensors, alarms, and connected networks are now able to detect signs of fire earlier and send alerts faster. These systems are not perfect, but they do make it easier to react before a small incident becomes serious. This paper reviews how research in this area has developed. The study looked at three main databases—Scopus, Web of Science (WoS), and IEEE Xplore. At first, the searches gave thousands of results, most of which were not directly related to fire …


Designing A Predictive Expense Tracking Mobile Application: A Comparison Of Random Forest, Linear Regression, And Prophet-Based Models, Li Wei Tai, Li Zhe Poh, Md Ismail Hossen Oct 2026

Designing A Predictive Expense Tracking Mobile Application: A Comparison Of Random Forest, Linear Regression, And Prophet-Based Models, Li Wei Tai, Li Zhe Poh, Md Ismail Hossen

Journal of Informatics and Web Engineering

In today’s fast-paced world, people engage in various forms of daily consumption, yet many lack the habit of tracking their expenses due to low financial awareness. Without proper expense recording and budgeting, individuals often struggle to understand their consumption habits and are at a disadvantage when it comes to financial planning, especially during emergencies. To address these issues, this project proposes the development of a user-friendly expense tracking mobile application designed to help adults build healthy financial habits and utilize predictive algorithms to forecast future expenses. The application enables users to record daily transactions, analyse their spending patterns, plan budgets, …


Web Accessibility And Search Engine Optimization: Best Approach For Building Corporate Websites, Jeremiah Charles, Khaled Mahbub Oct 2026

Web Accessibility And Search Engine Optimization: Best Approach For Building Corporate Websites, Jeremiah Charles, Khaled Mahbub

Journal of Informatics and Web Engineering

The rapid digitization of products and services necessitates the development of safeguards to enforce equitable access to internet resources. Although legislative measures have been implemented to compel public-sector organizations to provide accessible web and mobile applications, most websites are still not fully accessible. There is an urgent need for organizations to integrate accessibility into current and future developments. The integration of solutions derived from decades of accessibility research into organizational processes and initiatives is beneficial to all users. This study provides a guide for businesses and organizations to improve their web accessibility and Search Engine Optimization (SEO). This research covers …


Predictive Test Case Prioritization In Agile Workflows: A Machine Learning Approach With Smote-Enn And Pca, Kavinraj Baskaran, Junaidi Abdullah, Sin-Ban Ho, Said Suleiman Naseer Al Harthy, Ian Chai Oct 2026

Predictive Test Case Prioritization In Agile Workflows: A Machine Learning Approach With Smote-Enn And Pca, Kavinraj Baskaran, Junaidi Abdullah, Sin-Ban Ho, Said Suleiman Naseer Al Harthy, Ian Chai

Journal of Informatics and Web Engineering

Test Case Prioritization (TCP) is an essential part of agile software development, allowing for the identification and execution of critical test cases early in the process to maximize fault detection efficiency. Traditional TCP techniques often depend on static metrics, like code complexity and historical pass/fail rates, that do not conform with the dynamic nature of Agile workflows. To overcome this, the proposed research presents a discriminative machine learning-based predictive prioritization model that incorporates historical defect data, execution history, as well as requirement criticality to improve auspiciousness of TCP. The study assesses a range of machine learning models like Logistic Regression, …


Deep Learning For Skin Cancer Classification Using Data Augmentation And Pre-Trained Cnn Models, Pa Pa Min, Fang Yong Lim, Jashila Nair Mogan, Astie Darmayantie Oct 2026

Deep Learning For Skin Cancer Classification Using Data Augmentation And Pre-Trained Cnn Models, Pa Pa Min, Fang Yong Lim, Jashila Nair Mogan, Astie Darmayantie

Journal of Informatics and Web Engineering

Skin cancer is one of the most common forms of cancer worldwide, and its early detection is critical for effective treatment and improved survival rates. In recent years, advancements in Artificial Intelligence (AI), particularly deep learning, have shown great promise in enhancing the accuracy and efficiency of medical image analysis. This study aims to develop a non-invasive, AI-powered diagnostic system for the early detection and classification of skin cancer using dermoscopic images. The proposed approach leverages deep learning techniques to automatically recognize and differentiate between various types of skin lesions, including both malignant and benign cases. The project focuses on …


Adaptive And Learned Query Optimization: Techniques, Architectures, And Emerging Trends, Rehab Mohammed Abdelhalim Mokhtar, Palanichamy Naveen Oct 2026

Adaptive And Learned Query Optimization: Techniques, Architectures, And Emerging Trends, Rehab Mohammed Abdelhalim Mokhtar, Palanichamy Naveen

Journal of Informatics and Web Engineering

As databases continue to grow and complexity there is an urgent need to achieve more efficient and faster query processing. This paper presents a technical review of methods that work towards optimization of various types of queries. It progresses by focusing on basic approaches like rules-based optimization and cost-based optimization. Based on this basis, the paper presents a synthesized reference architecture for adaptive and learned query optimizers as a generic framework derived from prior system. It explains on how the classical optimizer components can be enhanced through runtime monitoring integration and feedback mechanisms. From this perspective, it becomes possible to …


An Intelligent Tourism Recommender System Using Retrieval-Guided Large Language Models, Wei-Jun Lim, Nabhan D. Salih, Hairulnizam Mahdin, Ammar Alazab Oct 2026

An Intelligent Tourism Recommender System Using Retrieval-Guided Large Language Models, Wei-Jun Lim, Nabhan D. Salih, Hairulnizam Mahdin, Ammar Alazab

Journal of Informatics and Web Engineering

Travel planning has become more complex nowadays due to the information overload from numerous online platforms causing travelers to be overwhelmed when selecting destinations, accommodations, and activities that match their preferences and constraints. Traditional tourism recommender systems usually provide static and generic suggestions that fail to match users’ needs and cannot understand natural user language. This research develops and evaluates a Generative AI Chatbot for Tourism Recommendations that use Large Language Models (LLMs) to generate personalized travel itineraries through natural language interaction to solve these limitations. The system can process user natural language inputs including travel origin and destination, trip …


A Framework For Pre-Pages Generator And Visualiser For Journal Publishing Systems: A Case Study, Karrthik Nadarajan, Jiaheng Lu Oct 2026

A Framework For Pre-Pages Generator And Visualiser For Journal Publishing Systems: A Case Study, Karrthik Nadarajan, Jiaheng Lu

Journal of Informatics and Web Engineering

In the domain of academic publishing, publishers must establish an efficient editorial workflow for managing their publication schedule while producing quality content, as these two processes will ultimately provide a good experience to readers. Many independent publishers utilizing Open Journal Systems (OJS) rely on a manual compilation of "pre-pages" (front matter), including the Issue Cover, the Editorial Board List, and the Table of Contents (TOC), through a manual workflow that is labourintensive and prone to formatting and metadata errors. This study presents a web-based Pre-Pages Generator and Visualiser that automates the pre-publishing process, developed using Python and the Streamlit framework. …


The Application Of Time Series Forecasting Model For Carbon Emissions Prediction In Electrical Grid: A Step Toward Climate Action, Khim Chen Jason Tan, Keat Soon Tioh, Poh Soon Joseph Ng, Felix Pasila Oct 2026

The Application Of Time Series Forecasting Model For Carbon Emissions Prediction In Electrical Grid: A Step Toward Climate Action, Khim Chen Jason Tan, Keat Soon Tioh, Poh Soon Joseph Ng, Felix Pasila

Journal of Informatics and Web Engineering

This study evaluates the forecasting performance of three models of Autoregressive Integrated Moving Average (ARIMA), Prophet, and Bi-directional Long Short-Term Memory (BiLSTM) in predicting CO₂ emissions from the electricity grid in the United States. Using a real dataset from the California Independent System Operator (CAISO) that records CO₂ emissions at five-minute intervals between 2018 and 2020, the data underwent preprocessing steps including outlier removal, missing value imputation, and feature selection before model training. ARIMA parameters were determined using statistical tests such as ACF, Partial Autocorrelation Function (PACF), and Augmented Dickey Fuller (ADF), while Prophet addressed seasonality and calendar effects. BiLSTM, …


Intelligent Telemedicine Systems: Machine Learning For Remote Diagnosis And Patient Management, Oras Baker, Kasthuri Subaramaniam, Asiah Lokman Oct 2026

Intelligent Telemedicine Systems: Machine Learning For Remote Diagnosis And Patient Management, Oras Baker, Kasthuri Subaramaniam, Asiah Lokman

Journal of Informatics and Web Engineering

Telemedicine has experienced significant evolution in the past 10 years from a communication-driven health service to an intelligent, data-driven environment driven by AI (artificial intelligence), ML (machine learning), IoMT (Internet of Medical Things) and cloud–edge computing. This development has been further advanced through ongoing global health challenges that have seen an ageing population, rising burden of chronic, multi-morbid conditions, healthcare specialist shortage, soaring cost of healthcare and major disruptions like the COVID-19 pandemic. Modern telehealth services are now integrating more machine learning algorithms for remote diagnosis, real-time monitoring the patient, predictive risk stratification and proactive treatment. This paper offers a …


The Digital Responsibility Index: Quantifying Perceived Multi-Layered Responsibility In Cybersecurity, Mircea Ţălu Oct 2026

The Digital Responsibility Index: Quantifying Perceived Multi-Layered Responsibility In Cybersecurity, Mircea Ţălu

Journal of Cybersecurity Education, Research and Practice

In the evolving digital landscape, cybersecurity responsibility extends beyond technical safeguards to include individual behavior, organizational governance, and societal impact. This study introduces the Digital Responsibility Index (DRI), a novel metric that quantifies multi-layered accountability across four domains: technical, individual, organizational, and societal. Data were collected through scenario-based Likert-scale surveys with 120 cybersecurity professionals, supplemented by semi-structured interviews with senior leaders. Results reveal that while technical and organizational responsibilities are consistently prioritized, individual and societal accountability remain under-recognized. Leadership engagement significantly enhances responsibility scores across all layers. The proposed DRI framework provides a measurable and potentially actionable basis for assessing …


Design Implications For Teacher-Configurable Generative Ai Writing Tools: A Participatory Design Study With Storybot, Ariel Han, Shenshen Han, Zhenyao Cai, Joey Huang, Franceli Cibrian, Kylie Peppler Oct 2026

Design Implications For Teacher-Configurable Generative Ai Writing Tools: A Participatory Design Study With Storybot, Ariel Han, Shenshen Han, Zhenyao Cai, Joey Huang, Franceli Cibrian, Kylie Peppler

Engineering Faculty Articles and Research

As generative AI (GenAI) tools become accessible, their integration into K–12 writing presents opportunities and challenges. This study partnered with 21 primary school teachers in a participatory co-design process to develop StoryBot, a teacher-configurable GenAI story-authoring platform. Teachers identified instructional needs and learning outcomes that informed system features, including genre-specific writing scaffolds, configurable prompts, and constraints on full-text generation to preserve student voice. The platform positions educators as co-designers of AI behavior rather than passive users. We conducted a pilot writing workshop with 13 youth (ages 8–12) and a focus group with six educators to examine how the platform influenced …


Ai-Generated Phishing Attacks: Emerging Threats And Detection Strategies For Security Operations Centers, Bahzad Khalid Oct 2026

Ai-Generated Phishing Attacks: Emerging Threats And Detection Strategies For Security Operations Centers, Bahzad Khalid

Journal of Cybersecurity Education, Research and Practice

Artificial intelligence (AI) is transforming cybersecurity by strengthening defensive capabilities while simultaneously enabling more sophisticated phishing attacks. AI generated phishing emails increasingly evade traditional detection methods through improved grammar, contextual relevance and realistic communication styles creating significant challenges for Security Operations Centers (SOCs). This study investigates the effectiveness of current email security systems in detecting AI generated phishing emails compared with traditional phishing emails. A mixed method experimental approach was employed using controlled Gmail and Outlook environments to evaluate the detection and classification of multiple phishing scenarios. The results demonstrate that several AI generated phishing emails successfully bypassed initial security …


A Narrative-Driven, Socratic Instructional Framework For Teaching Adversarial Cognition In Cybersecurity, Joshua K. Goossen Oct 2026

A Narrative-Driven, Socratic Instructional Framework For Teaching Adversarial Cognition In Cybersecurity, Joshua K. Goossen

Journal of Cybersecurity Education, Research and Practice

The Socratic method has demonstrated, in studies across law, medicine, and nursing, that dialectic structured questioning improves expert reasoning. Cybersecurity currently teaches tools and techniques but lacks Socratic dialogic leaving graduates underprepared for novel scenarios requiring cross-domain reasoning. Because law, medicine and nursing cultivate similar reasoning as security there is principled reason to expect reasoning benefits could transfer to security students. This paper argues that the correspondence warrants investigation. Investigation requires a named, teachable reasoning target analogous to clinical reasoning and we specify that target as adversarial cognition, a framework integrating adversary features, system architecture, implementation logic, governance structure, human …


Reading, Writing, Speaking & Listening: Leveraging Ai Tools For Effective Pre-Service Teacher Education, Brittany E. Kiser, Kelly A. Burlison Oct 2026

Reading, Writing, Speaking & Listening: Leveraging Ai Tools For Effective Pre-Service Teacher Education, Brittany E. Kiser, Kelly A. Burlison

College of Education Faculty Publications & Presentations

This interactive roundtable examines how AI tools can enhance pre-service teacher education and support multilingual learners in K–6 classrooms. Participants will explore practical applications for lesson planning, language scaffolding, differentiation, and assessment through real-world ESOL teaching experiences. Discussion will focus on aligning WIDA standards with content instruction and integrating evidence-based ESOL strategies across reading, writing, speaking, and listening. Attendees will leave with actionable approaches for the effective and ethical use of AI to support ELLs.


Buffeted By Change, Researchers Seek Continuity And Investment: Results From The Ithaka S+R Us Researcher Survey, Chelsea Mccracken, Dylan Ruediger, Ruby Macdougall Oct 2026

Buffeted By Change, Researchers Seek Continuity And Investment: Results From The Ithaka S+R Us Researcher Survey, Chelsea Mccracken, Dylan Ruediger, Ruby Macdougall

Copyright, Fair Use, Scholarly Communication, etc.

Executive summary

The research enterprise in the United States, established after the second world war, is experiencing massive disruption. US colleges and universities are grappling with federal and state disinvestment and intervention at a time when AI and other technologies are reshaping how research is conducted and its findings are communicated. As a result, researchers at US higher education institutions are operating in an unstable environment. Against this backdrop, the findings from our survey of 4,003 researchers, fielded in late 2025, demonstrate that they remain committed to carrying out essential work and that they are doing so in innovative ways—through …


Complementary Global–Local Feature Fusion And Ensemble Refinement For Facial-Expression Recognition On Fer2013, H. M. Shahzad, Hassan A. Ahmed Oct 2026

Complementary Global–Local Feature Fusion And Ensemble Refinement For Facial-Expression Recognition On Fer2013, H. M. Shahzad, Hassan A. Ahmed

Business Faculty Publications

Facial-expression recognition (FER) on FER2013 remains challenging because of low-resolution images, class imbalance, and label ambiguity. This study presents a global–local feature-fusion framework that integrates complementary representations with validation-based ensemble refinement. A frozen DINOv2 ViT-Base captures global facial semantics, while EfficientNetB3 extracts complementary local texture features. Their fused representation is used for seven-class facial-expression classification. The classification head is first trained with targeted feature-space SMOTE, and the EfficientNetB3 branch is then partially fine-tuned. Five-view test-time augmentation (TTA) is further incorporated at inference, together with an independently trained ConvNeXt-Tiny branch to provide additional architectural diversity. Ensemble weights are selected using a …


Progress Towards An Analog Of The Darboux-Griffiths Converse Of Abel's Theorem In Characteristic P, John B. Little Oct 2026

Progress Towards An Analog Of The Darboux-Griffiths Converse Of Abel's Theorem In Characteristic P, John B. Little

Mathematics and Computer Science Department Faculty Scholarship

In this working paper, we report our recent efforts concerning a possible characteristic p analog of the so-called converse of Abel's theorem discussed by Darboux and Griffiths.  The characteristic zero version is used in one proof of the Lie-Wirtinger theorem on double translation manifolds and also in related aspects of the geometry of webs.  In informal terms, our results indicate that, apart from some isolated counterexamples, formal power series Abel relations over an algebraically closed field of characteristic p essentially only arise in the (generalized) Jacobians of algebraic curves.  The ultimate goal is to complete thevwork started in the author's …


Designing For Who Actually Shows Up: A Signal Framework For Online Adult Learners In Cybersecurity And Information Technology, Chad Whistle, Mayyada Al-Hammoshi Oct 2026

Designing For Who Actually Shows Up: A Signal Framework For Online Adult Learners In Cybersecurity And Information Technology, Chad Whistle, Mayyada Al-Hammoshi

Journal of Cybersecurity Education, Research and Practice

Online adult learners pursuing cybersecurity and information technology credentials represent one of the fastest-growing student populations in American higher education, yet the frameworks institutions use to support their success were not designed for them. This population, disproportionately drawn from the 41.9 million Americans who hold some college credit but no credential, arrives workforce-embedded, time-constrained, and skeptical of institutional systems that previously failed to serve them. Existing persistence models grounded in traditional student integration theory inadequately account for the behavioral patterns, motivational structures, and credential expectations that define this learner. This paper proposes the SIGNAL Framework (Skills-based credential architecture, Integrated AI-informed …


Integrating Gis With Interim Payment Valuation In Road Construction Projects: A Conceptual Framework, Abdulrahman I. Iro, Juma M. Matindana, Julian Ijumulana Oct 2026

Integrating Gis With Interim Payment Valuation In Road Construction Projects: A Conceptual Framework, Abdulrahman I. Iro, Juma M. Matindana, Julian Ijumulana

Tanzania Journal of Engineering and Technology (TJET)

Abstract

Interim Payment Valuation is a critical process in road construction contract administration, yet conventional valuation practices remain heavily dependent on manual measurements, fragmented documentation, spreadsheets, and professional judgement. These limitations can affect measurement accuracy, transparency, traceability, and the timeliness of payment certification. Although Geographic Information Systems have increasingly been applied to construction planning, quantity measurement, progress monitoring, infrastructure management, and decision support, their integration with contractual and financial processes for interim payment valuation remains insufficiently explored. This study therefore develops a conceptual framework for integrating GIS with Interim Payment Valuation in road construction projects. A PRISMA-guided structured literature review …


Navigating Text-To-Speech (Tts): Ethical Leadership In The Use Of Generative Ai For Extension, Xue A Dong, Paul A Hill Oct 2026

Navigating Text-To-Speech (Tts): Ethical Leadership In The Use Of Generative Ai For Extension, Xue A Dong, Paul A Hill

Journal of Extension

Text-to-speech (TTS) AI technology transforms written content into natural-sounding speech, offering a useful tool to enhance accessibility and inclusivity in Extension work. This article examines the role of TTS AI in bridging communication gaps, particularly for diverse and multilingual communities, and demonstrates the importance of ethical leadership in its adoption. By prioritizing diversity, equity, and inclusion, Extension professionals can leverage TTS AI to foster greater connection and engagement. Practical applications and examples are provided to guide the integration of TTS AI into programs. The article also offers recommendations for experimenting with innovative technologies to improve educational outcomes and increase the …


Interrater Reliability Of Software Optimized Movement Assessment With Traditional Methods And Video-Based Functional Movement Screen Scoring And Compensatory Movement Identification, Joshua Paul Verdillo, Nj Ermina, Tanya Mariel Capilla, Russel James Balane, Evriel Prince Apura, Daryl Reymon Apla-On, Ressyl Love Salvador Oct 2026

Interrater Reliability Of Software Optimized Movement Assessment With Traditional Methods And Video-Based Functional Movement Screen Scoring And Compensatory Movement Identification, Joshua Paul Verdillo, Nj Ermina, Tanya Mariel Capilla, Russel James Balane, Evriel Prince Apura, Daryl Reymon Apla-On, Ressyl Love Salvador

Philippine Journal of Physical Therapy

Introduction: The Functional Movement Screen (FMS) is a seven-part movement assessment used to identify injury risks caused by faulty biomechanics. There are three barriers in traditional FMS assessments that could affect the tool’s validity: the subjectivity of human scores that could cause bias, the need for in-person evaluations which limit access for remote patients, and the requirement of specialized training to use the tool, which makes it less accessible. This study investigates the effectiveness of SOMA, an AI-based web application that uses the MediaPipe framework to automatically assess (FMS) performances.

Methods: This study employs a quantitative, cross-sectional, comparative design to …


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 Oct 2026

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 …


De Novo Molecular Design With Agentic Ai: Integrating Tree Search And Iterative Refinement, Yukhe Lavinia, Dony Ang, Hagop S. Atamian Oct 2026

De Novo Molecular Design With Agentic Ai: Integrating Tree Search And Iterative Refinement, Yukhe Lavinia, Dony Ang, Hagop S. Atamian

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Agentic AI frameworks that couple language model generation with iterative tool feedback offer a promising paradigm for automating complex molecular design tasks, yet systematic comparisons of agentic design patterns, such as exploration-focused, refinement-focused, and hybrid, remain scarce. Here, we evaluate three such strategies applied to structure-based de novo molecular design. Language Agent Tree Search (LATS) frames generation as Monte Carlo Tree Search-guided exploration of chemical space. A Reflexion-inspired Self-Improvement (SI) loop critiques and revises candidates using cheminformatics filters and docking feedback. A Hybrid strategy uses LATS to generate diverse, high-quality seeds, which are then refined with SI. We benchmark these …


Radiological And Chemical Safety Assessment Of Drinking Water From Treatment Plants And Rivers In Kut City, Iraq, Ahmed A. Alswaty, Hadi D. Alattabi Oct 2026

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 …


Domain Knowledge-Informed Machine Learning Model To Study Weather-Induced Flight Delays, Gurvir Bawa Oct 2026

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 …


Models For Second Courses In Data Science: Insights From Five Different Institutions, Ben Baumer, Gillian D. Beltz-Mohrmann, Brianna C. Heggeseth, Nicholas J. Horton, Leslie Myint, Michael A. Posner, Paul Roback Oct 2026

Models For Second Courses In Data Science: Insights From Five Different Institutions, Ben Baumer, Gillian D. Beltz-Mohrmann, Brianna C. Heggeseth, Nicholas J. Horton, Leslie Myint, Michael A. Posner, Paul Roback

Statistical and Data Sciences: Faculty Publications

As data science continues to mature as an academic discipline, curricular standardization remains elusive. While a number of groups have defined program-level learning outcomes for data science, there is no consensus surrounding course-level learning outcomes. We present five different models for a second course in data science, each of which comes with its own learning goals, coverage of topics, points of emphasis, prerequisites, and role in our respective (statistics and) data science curricula. We use the data science topic, subtopic, and competency/concept framework created by the MASDER project to analyze the content of our courses, and present areas of similarity …


Don’T Sweat Interaction Trees Proof-Guided Local Variable Lifting For Interaction Trees, Yiming Lin, Ian Kariniemi, Yao Li Oct 2026

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 …


Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria Oct 2026

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 …


Rent-A-Rag: Embedding-Space Watermarks For Auditing Third-Party Rag, Alexandr Goultiaev Tolstokorov, Kyriakos Mouratidis, Javad Dogani, Nikolaos Laoutaris Oct 2026

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 …