Expertini Research Research

Browse Research Papers

8,695+ open-access research outputs.

✕ Clear
🔍 manuel carro 📂 Computer Science
Showing 8695 results for "manuel carro" in Computer Science
Computer Science Preprint PDF DOI

Non-negative Rational Semantic Numeration Systems

Alexander Chunikhin · 2026

A new class of Semantic Numeration Systems, namely, positive rational Semantic Numeration Systems is introduced. For cardinal semantic operators, differences in the formation of carry (common carry) a…

Read Paper →
Computer Science Preprint PDF DOI

WOOTdroid: Whole-system Online On-device Tracing for Android

Simon Althaus, Nikolaos Alexopoulos, Max Muhlhauser, Christian Reuter, Ephraim Zimmer · 2026

System auditing on Android faces two problems. First, existing syscall tracers lose events under load, silently overwriting entries faster than a user space reader can drain them. Second, security-rel…

Read Paper →
Computer Science Preprint PDF DOI

The Grand Software Supply Chain of AI Systems

Carmine Cesarano, Martin Monperrus · 2026

AI systems rest on software with low integrity mechanisms, leaving AI systems exposed across every stage from data acquisition to final inference. This paper makes the AI supply chain a first-class ob…

Read Paper →
Computer Science Preprint PDF DOI

SQuadGen: Generating Simple Quad Layouts via Chart Distance Fields

Youkang Kong, Yang Liu, Yue Dong, Xin Tong, Heung-Yeung Shum · 2026

3D shapes from scanning, reconstruction, or AI-generated content often lack simple quad mesh layouts -- critical for efficient editing and modeling. Existing quad-remeshing techniques typically produc…

Read Paper →
Computer Science Preprint PDF DOI

Toward Autonomous SOC Operations: End-to-End LLM Framework for Threat Detection, Query Generation, and Resolution in Security Operations

Md Hasan Saju, Akramul Azim · 2026

Security Operations Centers (SOCs) face mounting operational challenges. These challenges come from increasing threat volumes, heterogeneous SIEM platforms, and time-consuming manual triage workflows.…

Read Paper →
Computer Science Preprint PDF DOI

Predicting Upcoming Stuttering Events from Three-Second Audio: Stratified Evaluation Reveals Severity-Selective Precursors, and the Model Deploys Fully On-Device

Nazar Kozak · 2026

Audio-based stuttering systems to date have been trained for detection -- what disfluency is present now -- leaving prediction, the capability needed for closed-loop intervention, unstudied at deploya…

Read Paper →
Computer Science Preprint PDF DOI

The Synthetic Social Graph: Emergent Behavior in AI Agent Communities

Sungguk Cha, DongWook Kim · 2026

Large language model (LLM) agents are increasingly deployed in social settings, yet little is known about how they interact in open-ended environments. We present the first comprehensive sociological …

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

BLINC: Context-Specific Causal Learning for Automated RAN Configuration

Reshma Prasad, Michele Polese, Tommaso Melodia · 2026

Radio Access Network (RAN) configuration has traditionally required significant manual effort due to indirect causal dependencies between observable Key Performance Indicators (KPIs), and context-depe…

Read Paper →
Computer Science Preprint PDF DOI

Transferability of Token Usage Rights: A Design Space Analysis of Generative AI Services

Jaeyong Lee, Heeju Kang, Ahra Cho, Baek Eunkyung · 2026

With the rapid spread of generative AI services, the token has gained value not only as a technical unit of language processing but also as an economic currency for accessing AI services. Major AI mod…

Read Paper →
Computer Science Preprint PDF DOI

Breaking Bad Financial Habits: How LLM Conversations Correct Financial Misconceptions

Jillian Ross, Eric So, Andrew W. Lo · 2026

Financial misconceptions carry direct economic costs, from panic selling to equity market avoidance, yet they are notoriously resistant to correction. Traditional financial literacy interventions are …

Read Paper →
Computer Science Preprint PDF DOI

Identifying and Characterizing Semantic Clones of Solidity Functions

Ermanno Francesco Sannini, Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi, Corrado Aaron Visaggio, Andrea Di Sorbo · 2026

Smart Contracts are essential blockchain components, mainly written in Solidity. The high availability of public Solidity code leads to frequent reuse and high clone ratios. Since cloning can propagat…

Read Paper →
Computer Science Preprint PDF DOI

Quantifying the Cost of Manual Navigation: A Comparison of Gesture-Based Magnification versus Direct Access Reading in Digital Layout-based Documents

Sebastian Gallardo (BIOVISION, DAJ), Hui-Yin Wu (BIOVISION), Dorian Mazauric (ABSLab (Poitiers), Terra Numerica), Pierre Kornprobst (UniCA, BIOVISION, ABSLab (Poitiers)), Monica Di Meo (CHU), Stephanie Baillif (CHU), Aurelie Calabrese (AMU, LPC) · 2026

Understanding how diverse audiences engage with structured media is critical to ensure a consistent quality of experience. In this context, we quantify the behavioral and performance cost of manual na…

Read Paper →
Computer Science Preprint PDF DOI

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering

Om Parkash, Jannik Bauer, Vincent Schmitt, Thomas Greiner, Rainer Drath · 2026

Increasing complexity of modern enterprise systems and the demand for automation and interoperability require consistent and semantically validated models in Model-Based Systems Engineering (MBSE). Th…

Read Paper →
Computer Science Preprint PDF DOI

PiLLar: Matching for Pivot Table Schema via LLM-guided Monte-Carlo Tree Search

Yunjun Gao, Chuangyu Ouyang, Congcong Ge, Yifan Zhu · 2026

Pivot tables are ubiquitous in data lakes of modern data ecosystems, making accurate schema matching over pivot tables a key prerequisite for data integration. In this paper, we focus on matching for …

Read Paper →
Computer Science Preprint PDF DOI

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches

Michael Wienczkowski · 2026

Modern software systems are increasingly developed within rapid continuous integration and deployment (CI/CD) pipelines, where ensuring security prior to release presents significant technical and org…

Read Paper →
Computer Science Preprint PDF DOI

LLM-Guided Issue Generation from Uncovered Code Segments

Diany Pressato, Honghao Tan, Mariam Elmoazen, Shin Hwei Tan · 2026

Developers are increasingly overwhelmed by AI-generated issue reports that lack actionability and reproducibility, eroding trust in automated bug detection tools. In this paper, we present IssueSpecte…

Read Paper →
Computer Science Preprint PDF DOI

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade

Bowen Cai, Weiheng Bai, Youshui Lu, Haoran Xu, Yuannan Yang, Yajin Zhou, Kangjie Lu · 2026

As blockchain ecosystems grow, financially motivated attackers increasingly exploit decentralized finance (DeFi) protocols, causing frequent and severe losses. Unlike conventional cyberattacks, DeFi e…

Read Paper →
Computer Science Preprint PDF DOI

Towards Agentic Investigation of Security Alerts

Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov · 2026

Security analysts are overwhelmed by the volume of alerts and the low context provided by many detection systems. Early-stage investigations typically require manual correlation across multiple log so…

Read Paper →
Computer Science Preprint PDF DOI

Using Large Language Models for Black-Box Testing of FMU-Based Simulations

Abdullah Mughees, Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Mikael Manng{aa}rd, Kristian Klemets · 2026

We propose a human in the loop approach for black-box testing of Functional Mock-up Units (FMUs) using Large Language Models (LLMs). The goal is to reduce the manual effort in defining test scenarios …

Read Paper →
Page 1 of 435 Next →