Expertini Research Research

Browse Research Papers

198+ open-access research outputs.

โœ• Clear
๐Ÿ” david pantoja ๐Ÿ“‚ Computer Science
Showing 198 results for "david pantoja" in Computer Science
Computer Science Preprint PDF DOI

Call-Chain-Aware LLM-Based Test Generation for Java Projects

Guancheng Wang, Qinghua Xu, Lionel C. Briand, Zhaoqiang Guo, Kui Liu ยท 2026

Large language models (LLMs) have recently shown strong potential for generating project-level unit tests. However, existing state-of-the-art approaches primarily rely on execution-path information toโ€ฆ

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

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

ImmCOGNITO: Identity Obfuscation in Millimeter-Wave Radar-Based Gesture Recognition for IoT Environments

Ying Liu, Si Zuo, Chao Yang, Yuqing Song, Dariush Salami, Stephan Sigg ยท 2026

Millimeter-Wave (mmWave) radar enables camera-free gesture recognition for Internet of Things (IoT) interfaces, with robustness to lighting variations and partial occlusions. However, recent studies rโ€ฆ

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

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

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 โ†’
Computer Science Preprint PDF DOI

Neural Atlas Graphs for Dynamic Scene Decomposition and Editing

Jan Philipp Schneider, Pratik Singh Bisht, Ilya Chugunov, Andreas Kolb, Michael Moeller, Felix Heide ยท 2025

Learning editable high-resolution scene representations for dynamic scenes is an open problem with applications across the domains from autonomous driving to creative editing - the most successful appโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

When Content is Goliath and Algorithm is David: The Style and Semantic Effects of Generative Search Engine

Lijia Ma, Juan Qin, Xingchen Xu, Yong Tan ยท 2025

Generative search engines (GEs) leverage large language models (LLMs) to deliver AI-generated summaries with website citations, establishing novel traffic acquisition channels while fundamentally alteโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Gentle Introduction to Blind signatures: From RSA to Lattice-based Cryptography

Aditya Bhardwaj, Peter Kutas ยท 2025

Blind signatures were first introduced by David Chaum. They allow a user to have a message signed by a signer without revealing the message itself. This property is particularly useful in applicationsโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Arithmetics within the Linear Time Hierarchy

Chris Pollett ยท 2025

We identify fragments of the arithmetic $S_1$ that enjoy nice closure properties and have exact characterization of their definable multifunctions. To do this, in the language of $S_1$, $L_1$, startinโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

When are two algorithms the same? Towards addressing Hilbert's 24th problem

Konstantin Doubrovinski ยท 2025

The informal question of when two theorem proofs are "essentially the same" goes back to David Hilbert, who considered adding it (or something largely equivalent) to his famous list of open problems, โ€ฆ

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