Expertini Research Research

Browse Research Papers

318+ open-access research outputs.

✕ Clear
🔍 david pravos 📂 Computer Science
Showing 318 results for "david pravos" in Computer Science
Computer Science Preprint PDF DOI

Pragmos: A Process Agentic Modeling System

Pedro-Aaron Hernandez-Avalos, Luciano Garcia-Banuelos · 2026

The advent of Large Language Models (LLMs) has significantly transformed tasks across Software Engineering. In the context of Business Process Management, LLMs are now being explored as tools to deriv…

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

APRVOS: 1st Place Winner of 5th PVUW MeViS-Audio Track

Deshui Miao, Yameng Gu, Chao Yang, Xin Li, Haijun Zhang, Ming-Hsuan Yang · 2026

This report presents an Audio-aware Referring Video Object Segmentation (Ref-VOS) pipeline tailored to the MEVIS\_Audio setting, where the referring expression is provided in spoken form rather than a…

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

PHAROS: Pipelined Heterogeneous Accelerators for Real-time Safety-critical Systems With Deadline Compliance

Shixin Ji, Jinming Zhuang, Sarah Schultz, Zhuoping Yang, Xingzhen Chen, Zheng Dong, Alex K. Jones, Yihui Ren, Peipei Zhou · 2026

Spatially partitioned heterogeneous accelerators (HAs) are increasingly adopted in embedded systems for their performance and flexibility. Yet most existing HA design frameworks optimize primarily for…

Read Paper →
Computer Science Preprint PDF DOI

The Three Praxes Framework - A Thematic Review and Map of Social Accessibility Research

JiWoong Jang, Patrick Carrington, Andrew Begel · 2026

Research in social accessibility aims to improve the lives of disabled people across diverse abilities and experiences by assisting with communication, relationships, and ecosystems of access. We seek…

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

The Promise and Reality of Continuous Integration Caching: An Empirical Study of Travis CI Builds

Taher A. Ghaleb, Daniel Alencar da Costa, Ying Zou · 2026

Continuous Integration (CI) provides early feedback by automatically building software, but long build durations can hinder developer productivity. CI services use caching to speed up builds by reusin…

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

Many-to-many. Usability challenges of entity reconciliation in art history and photographic studies

Marilena Daquino, Francesca Mambelli, Artem Kozlov · 2026

This article investigates challenges in reconciling heterogeneous records across cultural institutions, focusing on art historical photo archives within the PHAROS consortium. Through case studies, th…

Read Paper →
Computer Science Preprint PDF DOI

Research on Piano Timbre Transformation System Based on Diffusion Model

Chun-Chieh Hsu, Tsai-Ling Hsu, Chen-Chen Yeh, Shao-Chien Lu, Cheng-Han Wu, Bing-Ze Liu, Timothy K. Shih, Yu-Cheng Lin · 2026

We propose a timbre conversion model based on the Diffusion architecture de-signed to precisely translate music played by various instruments into piano ver-sions. The model employs a Pitch Encoder an…

Read Paper →
Computer Science Preprint PDF DOI

DAVOS: An Autonomous Vehicle Operating System in the Vehicle Computing Era

Yuxin Wang, Yuankai He, Boyang Tian, Lichen Xian, Weisong Shi · 2026

Vehicle computing represents a fundamental shift in how autonomous vehicles are designed and deployed, transforming them from isolated transportation systems into mobile computing platforms that suppo…

Read Paper →
Computer Science Preprint PDF DOI

Verifiable Off-Chain Governance

Jake Hartnell, Eugenio Battaglia (Neno) · 2025

Current DAO governance praxis limits organizational expressivity and reduces complex organizational decisions to token-weighted voting due to on-chain computational limits. This paper proposes verifia…

Read Paper →
Computer Science Preprint PDF DOI

PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis

Shengkun Cui, Rahul Krishna, Saurabh Jha, Ravishankar K. Iyer · 2025

Unresolved production cloud incidents cost an average of over $2M per hour. This paper introduces PRAXIS, an orchestrator that manages and deploys an agentic workflow for diagnosing code- and configur…

Read Paper →
Computer Science Preprint PDF DOI

Cybersecurity AI: The World's Top AI Agent for Security Capture-the-Flag (CTF)

Victor Mayoral-Vilches, Luis Javier Navarrete-Lozano, Francesco Balassone, Maria Sanz-Gomez, Cristobal R. J. Veas Chavez, Maite del Mundo de Torres, Vanesa Turiel · 2025

Are Capture-the-Flag competitions obsolete? In 2025, Cybersecurity AI (CAI) systematically conquered some of the world's most prestigious hacking competitions, achieving Rank #1 at multiple events and…

Read Paper →
Computer Science Preprint PDF DOI

Areon: Latency-Friendly and Resilient Multi-Proposer Consensus

Alvaro Castro-Castilla, Marcin Pawlowski, Hong-Sheng Zhou · 2025

We present Areon, a family of latency-friendly, stake-weighted, multi-proposer proof-of-stake consensus protocols. By allowing multiple proposers per slot and organizing blocks into a directed acyclic…

Read Paper →
Computer Science Preprint PDF DOI

Department-Specific Security Awareness Campaigns: A Cross-Organizational Study of HR and Accounting

Matthias Pfister, Giovanni Apruzzese, Irdin Pekaric · 2025

Many cyberattacks succeed because they exploit flaws at the human level. To address this problem, organizations rely on security awareness programs, which aim to make employees more resilient against …

Read Paper →
Page 1 of 16 Next →