Computer Sciences Commons^™

Next-Generation Dns Rpz For Automated Threat Intelligence, Risk-Aware Filtering, And User-Centric Security, Jinu S, Kishore V. Krishnan, Rajarshi Middya, Annasamy Bagubali

Journal of Cybersecurity Education, Research and Practice

The Domain Name System (DNS) remains a critical attack vector exploited by adversaries for command-and-control (C2) communication, data exfiltration, and phishing campaigns. DNS Response Policy Zones (RPZ) have emerged as an effective defense mechanism by enabling the redirection or blocking of queries to malicious domains. However, current RPZ implementations encounter significant challenges related to scalability, adaptability, and user awareness, often resulting in static policies, delayed updates, and a high incidence of false positives. To address these limitations, this paper proposes an enhanced RPZ framework that integrates adaptive threat intelligence, machine learning-driven dynamic policy updates, and user-context-aware security controls. The proposed …

Edge Ai And Iot-Based Intelligent Smart Irrigation System For Sustainable Agriculture, Afra Alshamsi

Thesis/ Dissertation Defenses

Traditional agriculture faces several challenges, including excessive water consumption, inefficient irrigation practices, and the increasing demand for sustainable food production. The rapid advancement of the Internet of Things (IoT) and Artificial Intelligence (AI) provides opportunities to develop intelligent agricultural systems that improve resource management and support precision farming. This thesis presents an Edge AI and IoT-based smart irrigation system designed for real-time environmental monitoring, automated irrigation control, and intelligent irrigation prediction to support the optimal growth of arugula plants. The proposed system continuously monitors key cultivation parameters, including soil moisture, temperature, humidity, light intensity, pH, nutrient levels (NPK), and water …

A Machine Learning Framework For Contractor Scope Matching Using Profile Characteristics And Work Package Vector Similarity, Pedro Fonseca, Sergei Chuprov

Computer Science Faculty Publications

This paper presents a machine learning-based framework for predicting contractor performance in the construction industry by integrating contractor profile information with work package characteristics. The proposed approach addresses procurement challenges arising from the misalignment between contractor expertise and assigned scopes, a key contributor to cost overruns and schedule delays. Unlike existing models that rely on aggregated project-level indicators, the framework enables scope-aware performance prediction by leveraging the Work Breakdown Structure (WBS) to capture similarity among work packages. Contractor profiles are encoded using historical performance data, while WBS elements are vectorized to quantify scope similarity and contextualize predictions. Experimental results demonstrate …

A Protestant Response To The Pope’S Magnifica Humanitas On Ai, Derek Schuurman

University Faculty Publications and Creative Works

Pope Leo XIV released his first papal encyclical, Magnifica Humanitas, on May 25, a roughly 42,000-word document outlining a Catholic response to recent developments in AI. I had been eagerly anticipating this encyclical and spent much of the release day poring over the text. While there have been other Christian efforts to release statements about AI, this is the first comprehensive statement from the Catholic Church. What follows is a summary of the document, followed by my own response.

Chatgpt, Where Should I Go? A Qualitative Exploration Of How Large Language Models Are Experienced As Support For Travel Planning, Mohammad Amin Kuhail, Asbjørn Følstad, Saifeddin Alimamy

All Works

Large language models (LLMs) are increasingly used for travel planning. Yet, little is known about how travellers experience and interact with such language models. This qualitative study explores how users employ LLMs to plan trips, drawing on the hedonic/pragmatic model of user experience to examine functional and affective dimensions. We collected data from 104 participants with prior experience using LLMs for travel advice through open-ended questionnaire responses. Thematic analysis revealed three key insights: (1) users value the pragmatic benefits of LLMs, such as efficiency, clarity, and confidence in decision-making, while also appreciating hedonic qualities, including inspiration, enjoyment, and authenticity; (2) …

Extraction Of Key Themes In Online Health Discourse Using Unsupervised Learning And Large Language Models, Miranda G. Scully

Computer Science Senior Theses

Health online discussion boards are a modern platform that allow patients to interact with each other and the healthcare system as a whole, making them valuable sources of information for clinicians seeking to better anticipate treatment experiences and barriers. This study focuses on one such community, r/suboxone, a subreddit where patients using Suboxone share their experiences and ask questions. Our analysis is motivated by previous work that proposes event-based classification systems for such posts which buckets posts from r/suboxone into one or more of five high-level labels (Access Logistics, Co-Occurring Drug Usage, Medication for Opioid Use Disorder Administration, Psychophysical Effects, …

Rehabvr: A Virtual Reality System For Upper-Body Orthopaedic Physical Therapy Rehabilitation, Winnie Brenda Wanjiru Waiya

Computer Science Senior Theses

Physical therapy is a central component of rehabilitation for musculoskeletal conditions, yet adherence to prescribed treatment remains persistently poor. Jack et al. identified pain, boredom, and insufficient feedback as key barriers to treatment adherence in physiotherapy outpatient settings,¹ and Rucinski et al. confirmed that non-adherence rates in orthopaedic populations remain between 50 and 70%, with patients who disengage facing elevated risk of reoperation, progressive functional decline, and poor clinical outcomes.² According to the World Health Organization, approximately 1.71 billion people globally live with musculoskeletal conditions,³ with shoulder pain specifically carrying a community prevalence ranging from 0.67 to 55.2% worldwide and …

Probabilistic Characterization Of Voltage Glitching Attacks, Anna Filyurina

Computer Science Senior Theses

Glitching, or Fault Injection, is an effective hardware hacking technique used in industry but largely unstudied in academia. Industry-led study of glitching is result-driven and overwhelmingly proprietary, meaning that a scientific approach to glitching is seen infrequently and published even less.

This thesis aims to be part of the effort to bring glitching to the attention of the academic side of the cyber security community. Specifically, this work aims to characterize and explore the probabilistic nature of fault injection that has been previously overlooked. Although from a purely result-driven point of view probabilistic nature of a phenomenon suggests unreliability and …

[Birds-Of-A-Feather] A Tri-Level Roadmap To Ai-Ready Universities: Strategy, Operations, Deployment, Sarah Forzetting, Rochelle Lundy, Ahmad Pratama, Karryl Kim Sagun Trajano, Antara Chakraborthy, Yasmine Wong

FORCE 2026

This panel discussion by three institutions will offer three approaches to conceptualizing and supporting AI use at the national, local, and individual levels.

Nanyang Technological University will frame the discussion by examining AI as a social good, highlighting how even advanced initiatives such as Singapore’s face equity gaps that risk leaving vulnerable populations behind. The panelist will further outline how information professionals and other key stakeholders can play a critical role in bridging these gaps in the pursuit of widespread public AI literacy. Stanford University Libraries will outline difficulties institutions have in operationalizing guidelines to help researchers bring a project …

Developing An Assessment Framework To Support Critical Evaluation Of Ai-Powered Academic Search Engines, Huajin Wang

FORCE 2026

As AI-powered tools are emerging in all aspects of research, it’s challenging for researchers, students, and librarians alike to assess the benefit, usefulness, and risks associated with a new AI-powered tool or AI-enhanced features of an existing one. To address this challenge, Carnegie Mellon University Libraries is developing a Tool Evaluation Framework to help users understand how AI-powered tools work, initially focused on AI-enhanced academic search engines. By evaluating criteria such as mechanisms for document retrieval, processes for content generation, and the quality of outputs, this framework guides users to carefully consider the strengths and weaknesses of a tool before …

Supporting Fair Practices In Scholarly Publishing With The Editorial Reference Handbook, Susanna-Assunta Sansone, Allyson Lister, Rebecca Taylor-Grant, Matthew Cannon

FORCE 2026

Co-produced by academics and publishers (incl. CUP, Cell Press, EMBO Press, Taylor & Francis, GigaScience Press, OUP, PLOS, Springer Nature), the Editorial Reference Handbook (https://publishers.fairassist.org) assists scholarly publishers in supporting the sharing of digital research objects and in operationalising FAIR research practices by addressing gaps in editorial workflows, policy implementation and stakeholder alignment. The Handbook comprises three interrelated components—a checklist, detailed guidance documentation, and a flowchart—intended primarily for in-house editorial staff while also providing value to reviewers, authors, and service providers.

Beside this practical collaboratively developed product, the Handbook is also a socio-technical pilot to improve the culture …

Ten Years Of Tuwhera: A Commitment To Sustaining Open Access Publishing, Donna Coventry

FORCE 2026

Tucked away, far from the conference circuit, is a part of the world which doesn’t tend to make the headlines when it comes to open access initiatives. New Zealand and by extension, the South Pacific, is a region struggling with a history of colonisation and trying to make systematic change around decolonisation - open access to research about ‘our place in the world’ is vitally important. 

Ten years ago Auckland University of Technology’s library (Te Mātāpuna) made the decision to start hosting Diamond open access journals. Starting with two established journals, the service was named Tuwhera which can be translated …

Asian Open Research Data And Its Potential For Ai: Bridging The Digital Divide Through Strategic Data Sharing, Mark Hahnel, Simon Porter

FORCE 2026

The growing momentum for open research data in Asia intersects with global advances in artificial intelligence (AI). Open data policies and infrastructures are increasingly recognized as critical enablers of research equity, reproducibility, and innovation. This talk examines the current state of open academic data, highlights economic and scientific arguments for its adoption, and explores the transformative potential of Asian open data ecosystems in powering AI-driven discovery. Drawing on global examples such as the Protein Data Bank and emerging health datasets, the discussion positions Asian institutions to leverage open strategies that simultaneously meet compliance mandates, enhance visibility, and accelerate breakthroughs in …

Managing Ai Bot Access To Open Scholarly Infrastructures, Petr Knoth

FORCE 2026

The rapid rise of generative AI has created unprecedented demand for large, high-quality research corpora. Open access repositories and other open scholarly infrastructures have therefore become primary sources for AI bots, because they host research that is not universally reliable, but remains far more evidence-based than most web content. This is both an opportunity and a strain: repositories are now more valuable than ever, but machine traffic brings sustainability, capacity and policy challenges. Repositories may be able to scale, but who should fund that scaling, and under what conditions?

The core dilemma is how to curb abusive high-load bot activity …

Beyond The Launch: Seven Years Of Sustaining An Open Educational Resource After The Grant Ends, Susan Gardner Archambault

FORCE 2026

This presentation shares seven years of lessons from maintaining Project CORA (Community of Online Research Assignments), an award-winning, open-access platform where librarians and educators share adaptable information literacy assignments. Launched in 2016 with grant support and strong community engagement, CORA saw early success: international page views across 150+ countries, 200+ shared assignments and teaching resources, and community-building features like "adapt this assignment" and leaderboards.

But when funding ended in 2018, Project CORA entered what many open projects experience but few discuss publicly: the precarious post-grant phase, when initial funding and enthusiasm fade but infrastructure still needs support. Annual contributions dropped …

[Birds-Of-A-Feather] Understanding And Handling Software Plagiarism In The Age Of Generative Ai, Daniel S. Katz, Scott C. Edmunds

FORCE 2026

Computing and software have supported research since their inception, and continue to play a significant role in knowledge production. However, the means of communicating research methods and results were developed long before computing existed, and the research community lacks best practices for documenting computational research elements transparently, reproducibly, and reusably.
Publishers are now more accepting of the inclusion of software (typically, source code) associated with submitted manuscripts, and many want to support processes to vouch for the integrity of software just as they do for other content, such as ensuring that ethical and legal concerns such as authorship, plagiarism, copyrights …

Diamond Open Access Journals In India: Status, Sustainability And Challenges, Mallikarjun Dora, Kanagasabai K, Raj Kishor Kampa

FORCE 2026

Open-access publishing has transformed scholarly communication in recent decades. The share of OA articles between 2014 and 2024 increased by 26%, from a modest 14% in 2014 to 40% in 2024. OA journals have evolved over time and exist in various models based on funding mechanisms, including the Gold, Green, Hybrid, and Diamond models. While OA publishing emerged in response to scientific inequality, middle- and low-income countries face the barrier of high Article Processing Charges (APC), which hinder them from publishing in those journals (Alperin, 2022). The Article Processing Charges are part of the Gold and Hybrid OA models, where …

Can Ai Help In Systematic Reviews? A Comparative Study Of Manual, Ai-Assisted, And Ai-Dominant Workflows For Librarians And Researchers, Aster Zhao

FORCE 2026

Systematic reviews are essential to evidence-based research but are often time-consuming and labor-intensive, for researchers to conduct, and for librarians to participate in, or teach. The rapid advances in Generative AI and AI-powered research tools, have created a growing interest in whether these technologies can assist—or even automate—parts of the systematic review process. However, questions remain about their effectiveness, reproducibility, and potential bias. This study explores the role of GenAI tools in the early stages of a systematic review: from literature discovery and screening, up to the identification of included studies.

We propose a comparative case study of one systematic …

Genai In Qualitative Data Analysis: Framework-Guided Prompt Engineering In Library Research Practice, Debby R. Wegener

FORCE 2026

As Generative AI (GenAI) tools become increasingly integrated across the research lifecycle, researchers need practical, reproducible methods for the responsible use of these technologies. This presentation will demonstrate a systematic approach to using GenAI for qualitative data analysis through a case study of thematic coding in a library website usability study at the Singapore Institute of Technology.

Drawing on prompt engineering frameworks like CLEAR, this session will illustrate how structured prompts can maintain academic rigour and enhance the reliability of GenAI-assisted analysis. The presentation will walk through the complete workflow, that is, from initial data preparation and tool selection to …

Using Ai-Assisted Programming To Develop Research Services Tools For Research Impact, Open Access Publishing & More, Gary Lee

FORCE 2026

Academic libraries play a vital role in scholarly communication, As research practices become more data‑driven and interdisciplinary, librarians can help scholars by creating and sharing flexible, customizable tools that align with local workflows and user needs.

AI Assisted programming (sometimes called “vibe coding”) offers a new way for librarians without extensive programming knowledge to develop such tools . This allows previously non-expert librarians to go from conceptual goals to working applications by rapid prototyping, experimentation, and roll-out, resulting in service innovation and improvement.

This presentation illustrates how librarians at HKUST have explored vibe coding with tools like GROK, POE, and …

Obstructions To Some Injective Oriented Colourings, Russell J. Campbell, Nancy E. Clarke, Gary Macgillivray

Theory & Applications of Graphs

Each of several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ leads to an injective oriented colouring problem. For each case in which such a problem is solvable in polynomial time, we identify a set $\mathcal{F}$ of oriented graphs such that an oriented graph $G$ has an injective oriented colouring with the given number of colours if and only if there is no $F \in \mathcal{F}$ for which there is a locally-injective homomorphism of $F$ to $G$.

Flip It And Reverse It: Probing Consistency Of Llm World Knowledge Under Logical Transformations, Rhianna Smith

Computer Science Senior Theses

When assessing the extent to which someone truly understands the topics they discuss, you might ask them a series of questions that examine their knowledge from different angles. As Large Language Models (LLMs) are increasingly integrated into real-world tasks, they are often required to reason through ambiguous and uncertain scenarios that rarely have a single correct answer. In these settings, their usefulness is contingent on more than accuracy alone. Rather, it depends on the strength of the reasoning that underlies their responses. This begs the question: how might we extend these types of tests to LLMs? We formalize this informal …

Investigating How Llm Trading Agents Integrate External Signals, Rohan Ray

Computer Science Senior Theses

Large Language Models are increasingly deployed in systems that assume more information leads to better decisions: RAG pipelines inject retrieved documents, tool-augmented agents call external APIs, and multi-model architectures route signals between specialized components. Whether this holds when both the information and the outcomes are noisy, and decisions compound over time, has received limited empirical attention. This thesis tests that assumption on LLM-based trading agents. Using StockBench (Chen et al., 2025) as our benchmark, we ran 150 backtests across 2 frontier LLMs (Kimi K2 and Qwen3-235B-Instruct), 12 augmentation strategies, and 5 random seeds, over 82 trading days — a period …

Recognizing And Rewarding Peer Review: Rethinking Research Assessment For Openness, Fairness, And Global Equity, Tung Tung Chan, Bernd Pulverer, Johan Rooryck

FORCE 2026

The Coalition for Advancing Research Assessment (CoARA) Working Group on Recognizing and Rewarding Peer Review has developed a comprehensive framework for reforming how scholarly review is valued within research careers. Our recommendations address a fundamental question: how can peer review, a critical yet often invisible scholarly contribution, be made visible, credited, and meaningfully integrated into research assessment?

Developed through a collaborative effort across 16 European organisations, the Working Group’s outputs offer targeted recommendations for four key stakeholder groups: research performing organizations, research funding bodies, publishers and editors, and individual researchers. These recommendations are structured across five key dimensions:
(1) Openness: …

Open Research Information - How To Support Publishers To Make Metadata Openly Availble, Bianca Kramer

FORCE 2026

Research information, or scholarly metadata, is important for decision making around strategic priorities, distribution of resources, and evaluation of researchers and institutions. It is also used to assess the effect of policies, and to find and assess research results. Open research information (free to access and free to (re)use) is increasingly valued for fair assessment and equitable decision making, and is also important in digital sovereignty.


The Barcelona Declaration on Open Research Information calls on organizations performing, funding and evaluating research to make openness of research information the default, work with services and systems that support and enable open research …

Biologically Informed Negative Samplingfor Antibody Chain Pairing Classification, Ishita Singh

Computer Science Senior Theses

Antibody heavy and light chain (H/L) pairing is fundamental to antigen recognition and stability. While single-cell sequencing preserves native pairing information, widely used bulk repertoire and spatial transcriptomics platforms do not, motivating the need for efficient ML methods to infer H/L pairing. Training a binary classifier for this task faces the methodological challenge of a lack of true biological negatives, since natural selection eliminates B cells with incompatible H/L pairs.

In this thesis, I introduce a biologically informed negative sampling strategy for H/L pairing classification, drawing on known V-gene biases in heavy and light chain pairing. Pseudo-negatives are constructed by …

Mimic: A Multimodal Dataset For Affective Incongruity In Video, Ethan M. Baird

Computer Science Senior Theses

This thesis investigates the computational challenges of constructing a database for affective incongruity, exploring the difficulties in automating the collection of contradictory affective states. Capturing these incongruities is essential for advancing Vision-Language Models (VLMs) and sentiment analysis, which struggle to interpret signals deviating from basic emotional archetypes. Curating non-congruent affect provides the data necessary for models to navigate complex social contexts, which is critical for applications like automated Audio Description (AD) for the visually impaired and nuanced Human-Computer Interaction (HCI). To capture these signals, two distinct methodologies were employed. The first utilized a tripartite decomposition of video data, isolating textual, …

Representing Lean Proofs: Tactics, Trajectories, Search, Elisaveta Samoylov

Computer Science Senior Theses

In neural theorem proving for interactive proof assistants such as Lean, tactic prediction models score proof steps by surface likelihood, missing whether a move actually advances the proof. This thesis proposes representing each step by the symbolic edit it induces on the proof state rather than by its token-level surface form, and shows that this effect-grounded view yields better tactic embeddings, reveals structured geometry in complete proofs, and enables a practical proof search prior.

We introduce Delta Tokens — token-level state edits augmented with structural indicators — and show they outperform surface-only representations on tactic retrieval and operator-analogy benchmarks. Embedding …

Llzk-Symex: Building A Circuit Verification Framework For The Llzk Zero-Knowledge Intermediate Language, Nicolás Iair Schaievitch

Computer Science Senior Theses

The rising adoption of ZK (Zero-Knowledge) technology has led to a plethora of DSLs (Domain Specific Languages) for facilitating the development of ZK circuits. At the same time, there has also been an increase in the number of compilation targets for these languages, with different cryptographic foundations and performance optimizations. LLZK, by Veridise, aims to unify the ecosystem by providing a single IR (Intermediate Representation) for the different frontend DSLs, that would then also allow choosing between different backends. Given the high stakes (particularly financial) that a lot of ZK circuits are under, together with their high level of complexity, …

Capturing Large Language Model Similarity Through Spectral Analysis, Ishan Verma Prasad

Computer Science Senior Theses

With the rapid development of open-sourced models on Huggingface, there is a strong need for a way to systematically determine the similarity between models. More strongly, for intellectual property and organization, we need a way to determine the "lineage" of models. We borrow principles from Heavy-Tailed Self-Regularization and Random Matrix Theory to provide an inference-free method to accomplish this. We cluster a corpus of several model families by their spectral fingerprints and demonstrate that each model family occupies a distinct region in weight space. This confirms prior ideas of training setups leaving artifacts on model weights and allows us to …