Expertini Research Research

Browse Research Papers

261+ open-access research outputs.

✕ Clear
🔍 david lo 📂 Computer Science
Showing 261 results for "david lo" in Computer Science
Computer Science Preprint PDF DOI

AnTi-MiCS: Analytical Framework for Bounding Time in Embedded Mixed-Criticality Systems

Behnaz Ranjbar, Akash Kumar · 2026

In Mixed-Criticality (MC) systems, although the high Worst-Case Execution Time (WCET) serves as a conservative upper bound representing the task's maximum execution time under all conditions, obtainin…

Read Paper →
Computer Science Preprint PDF DOI

Analysis of AWW (Anganwadi Workers) Training Content, ILA (Incremental Learning Approach) Modules Following CDT (Component Display Theory)

Arka Majhi, Satish B. Agnihotri · 2026

POSHAN Abhiyan envisages capacity building of AWWs or frontline health workers through 21 training modules of ILA (Incremental Learning Approach), modularising the net learning content into smaller le…

Read Paper →
Computer Science Preprint PDF DOI

AVID: A Benchmark for Omni-Modal Audio-Visual Inconsistency Understanding via Agent-Driven Construction

Zixuan Chen, Depeng Wang, Hao Lin, Li Luo, Ke Xu, Ya Guo, Huijia Zhu, Tanfeng Sun, Xinghao Jiang · 2026

We present AVID, the first large-scale benchmark for audio-visual inconsistency understanding in videos. While omni-modal large language models excel at temporally aligned tasks such as captioning and…

Read Paper →
Computer Science Preprint PDF DOI

A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding

Cheuk Ting Li · 2026

Probabilistic settings (e.g., vanishing-error channel coding) and non-probabilistic settings (e.g., zero-error channel coding and adversarial channels) were considered two related but different branch…

Read Paper →
Computer Science Preprint PDF DOI

The Theorems of Dr. David Blackwell and Their Contributions to Artificial Intelligence

Napoleon Paxton · 2026

Dr. David Blackwell was a mathematician and statistician of the first rank, whose contributions to statistical theory, game theory, and decision theory predated many of the algorithmic breakthroughs t…

Read Paper →
Computer Science Preprint PDF DOI

Dominating Set with Quotas: Balancing Coverage and Constraints

Sobyasachi Chatterjee, Sushmita Gupta, Saket Saurabh, Sanjay Seetharaman, Anannya Upasana · 2026

We study a natural generalization of the classical \textsc{Dominating Set} problem, called \textsc{Dominating Set with Quotas} (DSQ). In this problem, we are given a graph \( G \), an integer \( k \),…

Read Paper →
Computer Science Preprint PDF DOI

LLY Ricci Reweighting in Stochastic Block Models: Uniform Curvature Concentration and Finite-Horizon Tracking

Varun Kotharkar · 2026

We study curvature-driven edge reweighting for community recovery in the balanced two-block stochastic block model. Given a graph G with initial weights equal to the adjacency matrix, we iteratively u…

Read Paper →
Computer Science Preprint PDF DOI

Teen Vigilance: Navigating Risky Social Interactions on Discord

Elena Koung, Yunhan Liu, Zinan Zhang, Xinning Gui, Yubo Kou · 2026

Teenagers are avid users of Discord, a fast growing platform for synchronous communication where they often interact with strangers. Because Discord combines private DMs, semi-private voice channels, …

Read Paper →
Computer Science Preprint PDF DOI

Three Lessons from Citizen-Centric Participatory AI Design

Eike Schneiders, Sarah Kiden, Beining Zhang, Bruno Rafael Queiros Arcanjo, Zhaoxing Li, Ezhilarasi Periyathambi, Vahid Yazdanpanah, Sebastian Stein · 2026

This workshop paper examines challenges in designing agentic AI systems from a citizen-centric perspective. Drawing on three participatory workshops conducted in 2025 with members of the general publi…

Read Paper →
Computer Science Preprint PDF DOI

Multi-target DoA estimation with a single Rydberg atomic receiver by spectral analysis of spatially-resolved fluorescence

Liangcheng Han, Haifan Yin, Merouane Debbah · 2026

Rydberg-based Direction-of-Arrival (DoA) estimation has been hampered by the complexity of receiver arrays and the single-target, narrow-band limitations of existing single-receiver methods. This pape…

Read Paper →
Computer Science Preprint PDF DOI

Frequency as Aperture: Enabling Embeddable Near-Field Sensing for 6G Wireless Radios

Pin-Han Ho, Limei Peng, Yiming Miao, Xu Fan, Kairan Liang, Haoran Mei, Wei Duan · 2026

Integrated sensing and communication (ISAC) is expected to be natively supported by future 6G wireless radios, yet most mmWave sensing solutions still rely on dedicated radar hardware incompatible wit…

Read Paper →
Computer Science Preprint PDF DOI

Remarks on Algebraic Reconstruction of Types and Effects

Patrycja Balik, Szymon Jedras, Piotr Polesiuk · 2026

In their 1991 paper "Algebraic Reconstruction of Types and Effects," Pierre Jouvelot and David Gifford presented a type-and-effect reconstruction algorithm based on an algebraic structure of effects. …

Read Paper →
Computer Science Preprint PDF DOI

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)

Matteo Acclavio, Roberto Maieli · 2026

Bayesian networks are a canonical formalism for representing probabilistic dependencies, yet their integration within logic programming frameworks remains a nontrivial challenge, mainly due to the com…

Read Paper →
Computer Science Preprint PDF DOI

Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment

Holger I. Meinhardt · 2025

Recently, Maggiorano et al. (2025) claimed that they have developed a strongly polynomial-time combinatorial algorithm for the nucleolus in convex games that is based on the reduced game approach and …

Read Paper →
Computer Science Preprint PDF DOI

The Future of Food: How Artificial Intelligence is Transforming Food Manufacturing

Xu Zhou, Ivor Prado, AIFPDS participants, Ilias Tagkopoulos · 2025

Artificial intelligence is accelerating a new era of food innovation, connecting data from farm to consumer to improve formulation, processing, and health outcomes. Recent advances in deep learning, n…

Read Paper →
Computer Science Preprint PDF DOI

Library and Culture: A Scientometric Analysis and Visualization of Research Trends

Auwalu Abdullahi Umar, Muneer Ahmad, Dr M Sadik Batcha · 2025

The significance of libraries in preserving and maintaining history and traditional culture cannot be overlooked. It is from this purpose that libraries are to envisage in their programmes cultural ac…

Read Paper →
Computer Science Preprint PDF DOI

Online 3-Taxi on General Metrics

Christian Coester, Tze-Yang Poon · 2025

The online $k$-taxi problem, introduced in 1990 by Fiat, Rabani and Ravid, is a generalization of the $k$-server problem where $k$ taxis must serve a sequence of requests in a metric space. Each reque…

Read Paper →
Computer Science Preprint PDF DOI

Bilateralist base-extension semantics with incompatible proofs and refutations

Victor Barroso-Nascimento, Maria Osorio Costa, Elaine Pimentel · 2025

Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic, its constructive var…

Read Paper →
Computer Science Preprint PDF DOI

David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation

Philipp Bauerfeind, Amir Salarpour, David Fernandez, Pedram MohajerAnsari, Johannes Reschke, Mert D. Pese · 2025

Scenario simulation is central to testing autonomous driving systems. Scenic, a domain-specific language (DSL) for CARLA, enables precise and reproducible scenarios, but NL-to-Scenic generation with l…

Read Paper →
Computer Science Preprint PDF DOI

Vector sketch animation generation with differentiable motion trajectories

Xinding Zhu, Xinye Yang, Shuyang Zheng, Zhexin Zhang, Fei Gao, Jing Huang, Jiazhou Chen · 2025

Sketching is a direct and inexpensive means of visual expression. Though image-based sketching has been well studied, video-based sketch animation generation is still very challenging due to the tempo…

Read Paper →
Page 1 of 14 Next →