Expertini Research Research

Browse Research Papers

5,059+ open-access research outputs.

โœ• Clear
๐Ÿ” lei yu ๐Ÿ“‚ Computer Science
Showing 5059 results for "lei yu" in Computer Science
Computer Science Preprint PDF DOI

NetSatBench: A Distributed LEO Constellation Emulator with an SRv6 Case Study

Andrea Detti, Shahram Dadras, Giuseppe Tropea ยท 2026

NetSatBench is a distributed emulation platform for evaluating communication protocols and application workloads over large-scale LEO satellite systems. Satellites, gateways, and user terminals are imโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Line Segment Clipping using Quadrilateral Concavity and Convexity

Bimal Kumar Ray ยท 2026

This paper proposes an algorithm for clipping line segment against an axis-aligned rectangular window. The conventional algorithms for line segment clipping treat the clipping boundary and/or the lineโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Multi-Connectivity for UAVs: A Measurement Study of Integrating Cellular, Aerial Mesh, and LEO Satellite Links

Aygun Baltaci, Irshad A. Meer, Mustafa Ozger, Cicek Cavdar, Dominic Schupke ยท 2026

Future uncrewed aerial vehicle (UAV) systems increasingly combine heterogeneous communication technologies, such as low-latency aerial mesh, terrestrial cellular, and satellite links, to improve robusโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

New Diameter Approximations via Distance Oracle Techniques

Yael Kirkpatrick, Liam Roditty, Richard Qi, Virginia Vassilevska Williams ยท 2026

Computing the diameter of a graph is a problem of great interest both in general algorithms research and specifically within fine-grained complexity, where it is a cornerstone hard problem. Recent worโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Emotive Architectures: The Role of LLMs in Adjusting Work Environments

Lara Vartziotis, Tina Vartziotis, Frank Beutenmueller, Stella Salta, Konstantinos Moraitis, Miltiadis Katsaros, Sotirios Kotsopoulos ยท 2026

In remote and hybrid work contexts, the integration of physical and digital environments is revolutionizing spatial experiences, collaboration, and interpersonal interactions. This study examines threโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

Marvin Grosser, Carsten Lutz ยท 2026

We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigatโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Offline Evaluation Measures of Fairness in Recommender Systems

Theresia Veronika Rampisela ยท 2026

The evaluation of recommender system fairness has become increasingly important, especially with recent legislation that emphasises the development of fair and responsible artificial intelligence. Thiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Theory of Hanoi Omega-Automata and Games

Emmanuel Filiot, Allen Joseph, Guillermo A. Perez, Saina Sunny ยท 2026

The Hanoi Omega-Automata (HOA) format has established itself as the definitive standard for encoding $\omega$-regular automata in modern synthesis tools. While HOA is widely adopted due to its succincโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

AI-Assisted Code Review as a Scaffold for Code Quality and Self-Regulated Learning: An Experience Report

Eduardo Oliveira, Michael Fu, Patanamon Thongtanunam, Sonsoles Lopez-Pernas, Mohammed Saqr ยท 2026

Code review is central to software engineering education but hard to scale in capstone projects due to tight deadlines, uneven peer feedback, and limited prior experience. We investigate an LLM-as-revโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Entrywise Low-Rank Approximation and Matrix $p \rightarrow q$ Norms via Global Correlation Rounding

Prashanti Anderson, Ainesh Bakshi, Samuel B. Hopkins ยท 2026

Given a matrix $A$, the goal of the entrywise low-rank approximation problem is to find $\operatorname{argmin} \|A-B\|_p$ over all rank-$k$ matrices $B$, where $\| \cdot \|_p$ is the entrywise $\ell_pโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

StarLoc: Pinpointing Transmitting LEO Satellites from a Single Passive Array

Ishani Janveja, Jida Zhang, Emerson Sie, Deepak Vasisht ยท 2026

This paper focuses on 3D localization of transmitting satellites in low Earth orbits (LEO). 3D localization of transmitters in low orbits is an important emerging problem for many applications such asโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Scaling Worst-Case Optimal Datalog to GPUs

Yihao Sun, Kunting Qi, Thomas Gilray, Sidharth Kumar, Kristopher Micinski ยท 2026

Datalog is a declarative logic-programming language used for complex analytic reasoning workloads such as program analysis and graph analytics. Datalog's popularity is due to its unique price-point, mโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

LEO: Tracing GPU Stall Root Causes via Cross-Vendor Backward Slicing

Yuning Xia, John Mellor-Crummey ยท 2026

More than half of the Top 500 supercomputers employ GPUs as accelerators. On GPU-accelerated platforms, developers face a key diagnostic gap: profilers show source lines where stalls occur, but not whโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set

Zhengyu Li, Curtis Bright, Stefan Trandafir, Adan Cabello, Vijay Ganesh ยท 2026

We present a search for small Kochen-Specker (KS) sets in dimension 3, specifically targeting extensions of the 13-ray Yu-Oh set, which has been proven to be the minimal witness to state-independent cโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

"We are currently clean on OPSEC": Why JD Can't Encrypt

Maurice Chiodo, Toni Erskine, Dennis Muller, James G. Wright ยท 2026

We analyse the 2025 Signalgate leak of sensitive US military information by the Trump administration, addressing why confidentiality was violated (messages leaked to the press) in spite of encryption โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fairness Audits of Institutional Risk Models in Deployed ML Pipelines

Kelly McConvey, Dipto Das, Maya Ghai, Angelina Zhai, Rosa Lee, Shion Guha ยท 2026

Fairness audits of institutional risk models are critical for understanding how deployed machine learning pipelines allocate resources. Drawing on multi-year collaboration with Centennial College, wheโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Revisiting Framing Codebooks with AI: Employing Large Language Models as Analytical Collaborators in Deductive Content Analysis

Diego Gomez-Zara, Hernan Valdivieso, Jorge Perez, Denis Parra, Sebastian Valenzuela ยท 2026

Codebooks are central to framing research, providing theoretically grounded criteria for analyzing news content. While traditionally codebooks are built from theoretical frameworks and researchers' knโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Relationships Between Trust, Compliance, and Performance for Novice Programmers Using AI Code Generation

Nicholas Gardella, Matthew L. Bolton, Sara L. Riggs ยท 2026

Objective. To explore how novice programmers' trust in Artificial Intelligence-driven Development Environments (AIDEs) relates to their coding performance and AI compliance while programming under timโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Community-Led AI Integration for Wildfire Risk Assessment: A Participatory AI Literacy and Explainability Integration (PALEI) Framework in Los Angeles, CA

Sanaz Sadat Hosseini, Mona Azarbayjani, Mohammad Pourhomayoun, Hamed Tabkhi ยท 2026

Climate-driven wildfires are intensifying, particularly in urban regions such as Southern California. Yet, traditional fire risk communication tools often fail to gain public trust due to inaccessibleโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Safety-Aware AoI Scheduling for LEO Satellite-Assisted Autonomous Driving

Kangkang Sun, Junyi He, Juntong Liu, Xiuzhen Chen, Jianhua Li, Minyi Guo ยท 2026

Autonomous platoons traversing infrastructure gaps increasingly depend on LEO satellite backhaul for safety-critical updates, yet no existing framework jointly addresses compound Doppler from simultanโ€ฆ

Read Paper โ†’
Page 1 of 253 Next โ†’