Expertini Research Research

Browse Research Papers

4,295+ open-access research outputs.

✕ Clear
🔍 oliver kosut 📂 Computer Science
Showing 4295 results for "oliver kosut" in Computer Science
Computer Science Preprint PDF DOI

Synthetic Biological Intelligence: System-Level Abstractions and Adaptive Bio-Digital Interaction

Martin Schottlender, Pengjie Zhou, Veronika Volkova, Fatima Rani, Ruifeng Zheng, Juan A. Cabrera, Frank H.P. Fitzek, Pit Hofmann · 2026

Concurrent advances across fields such as organoid technology, Microelectrode Arrays (MEAs), neuromorphic computing, and machine learning have given rise to a groundbreaking research paradigm: Synthet…

Read Paper →
Computer Science Preprint PDF DOI

I'm Fine, But My Voice Isn't: Cross-Modal Affective Dissonance Detection for Reflective Journaling

Sumin Lee · 2026

Digital journaling creates an authenticity gap: users consciously translate raw emotions into text, often sanitizing narratives even in private writing. We formalize this as Cross-Modal Affective Diss…

Read Paper →
Computer Science Preprint PDF DOI

Revealing NVIDIA Closed-Source Driver Command Streams for CPU-GPU Runtime Behavior Insight

Yuang Yan, Ian Karlin, Ryan Grant · 2026

For NVIDIA GPUs, CUDA is the primary interface through which applications orchestrate GPU execution, yet much of the logic that realizes CUDA operations resides in NVIDIA's closed-source userspace dri…

Read Paper →
Computer Science Preprint PDF DOI

FACT: Compositional Kernel Synthesis with a Three-Stage Agentic Workflow

Sina Heidari, Dimitrios S. Nikolopoulos · 2026

Deep learning compilers and vendor libraries deliver strong baseline performance but are bounded by finite, engineer-curated catalogs. When these omit needed optimizations, practitioners substitute ha…

Read Paper →
Computer Science Preprint PDF DOI

The Bandit's Blind Spot: The Critical Role of User State Representation in Recommender Systems

Pedro R. Pires, Gregorio F. Azevedo, Rafael T. Sereicikas, Pietro L. Campos, Tiago A. Almeida · 2026

With the increasing availability of online information, recommender systems have become an important tool for many web-based systems. Due to the continuous aspect of recommendation environments, these…

Read Paper →
Computer Science Preprint PDF DOI

GMT: A Geometric Multigrid Transformer Solver for Microstructure Homogenization

Yu Xing, Yang Liu, Tianyang Xue, Lin Lu · 2026

Lattice metamaterials enable lightweight, multifunctional structures, yet homogenization-based evaluation of their effective properties remains computationally expensive. Neural surrogates offer speed…

Read Paper →
Computer Science Preprint PDF DOI

Towards Intelligent Computation Offloading in Dynamic Vehicular Networks: A Scalable Multilayer Pipeline

Falk Dettinger, Matthias Wei{ss}, Baran Can Gul, Sruthi Mangala Suresh, Nasser Jazdi, Michael Weyrich · 2026

Software Defined Vehicles face an increasing computational gap as advanced algorithms and frequent software updates demand more processing power while onboard hardware remains static throughout a vehi…

Read Paper →
Computer Science Preprint PDF DOI

Do E-Scooter Speed Governance Policies Reduce Harsh Acceleration and Deceleration? Evidence from 19.5 Million Trips Around a Regulatory Ban

Seongjin Choi, Sunbin Yoo, Sugie Lee · 2026

Do e-scooter speed governance policies yield behavioral safety gains beyond the mechanical cap they impose? A firmware ceiling mechanically prevents speeding, but whether the same riders also generate…

Read Paper →
Computer Science Preprint PDF DOI

VisualNeo: Bridging the Gap between Visual Query Interfaces and Graph Query Engines

Kai Huang, Houdong Liang, Chongchong Yao, Xi Zhao, Yue Cui, Yao Tian, Ruiyuan Zhang, Xiaofang Zhou · 2026

Visual Graph Query Interfaces (VQIs) empower non-programmers to query graph data by constructing visual queries intuitively. Devising efficient technologies in Graph Query Engines (GQEs) for interacti…

Read Paper →
Computer Science Preprint PDF DOI

The Blahut--Arimoto Algorithm as a Dynamical System with Exact $\chi^2$ Dissipation

Qiao Wang · 2026

This paper uncovers an exact $\chi^2$ dissipation identity for the Blahut--Arimoto (BA) flow and establishes its fundamental information-geometric structure. While prior works have analyzed BA converg…

Read Paper →
Computer Science Preprint PDF DOI

Spark Policy Toolkit: Semantic Contracts and Scalable Execution for Policy Learning in Spark

Zeyu Bai · 2026

Custom policy-learning pipelines in Spark fail for two coupled systems reasons: rowwise Python execution makes inference impractical, and driver-side candidate materialization makes split search fragi…

Read Paper →
Computer Science Preprint PDF DOI

On the Benefits of Traffic "Reprofiling" -- The Multiple Hops Case -- Part II

Jiaming Qiu, Roch Guerin · 2026

Delivering hard delay guarantees over packet networks is increasingly important to applications ranging from automotive systems, avionics, industrial control, etc. Traffic control and schedulers play …

Read Paper →
Computer Science Preprint PDF DOI

SDSL-Solver: Scalable Distributed Sparse Linear Solvers for Large-Scale Interior Point Methods

Shaofeng Yang, Yunting Wang, Yingying Cheng, Fan Zhang, Xin He, Guangming Tan · 2026

The solution of sparse linear systems constitutes the dominant computational bottleneck in interior point methods (IPMs), frequently consuming over 70% of the total solution time. As optimization prob…

Read Paper →
Computer Science Preprint PDF DOI

GLIER: Generative Legal Inference and Evidence Ranking for Legal Case Retrieval

Minghan Li, Tianrui Lv, Chao Zhang, Guodong Zhou · 2026

The semantic gap between colloquial user queries and professional legal documents presents a fundamental challenge in Legal Case Retrieval (LCR). Existing dense retrieval methods typically treat LCR a…

Read Paper →
Computer Science Preprint PDF DOI

Objective Shaping with Hard Negatives: Windowed Partial AUC Optimization for RL-based LLM Recommenders

Wentao Shi, Qifan Wang, Chen Chen, Fei Liu, Dongfang Liu, Xu Liu, Wanli Ma, Junfeng Pan, Linhong Zhu, Fuli Feng · 2026

Reinforcement learning (RL) effectively optimizes Large Language Model (LLM)-based recommenders by contrasting positive and negative items. Empirically, training with beam-search negatives consistentl…

Read Paper →
Computer Science Preprint PDF DOI

HGQ-LUT: Fast LUT-Aware Training and Efficient Architectures for DNN Inference

Chang Sun, Zhiqiang Que, Bakhtiar Zadeh, Qibin Liu, Kevin H. Alvarez, Wayne Luk, Maria Spiropulu · 2026

Lookup-table (LUT) based neural networks can deliver ultra-low latency and excellent hardware efficiency on FPGAs by mapping arithmetic operations directly onto the logic primitives. However, state-of…

Read Paper →
Computer Science Preprint PDF DOI

Evaluating LLM-Based Goal Extraction in Requirements Engineering: Prompting Strategies and Their Limitations

Anna Arnaudo, Riccardo Coppola, Maurizio Morisio, Flavio Giobergia, Andrea Bioddo, Angelo Bongiorno, Luca Dadone · 2026

Due to the textual and repetitive nature of many Requirements Engineering (RE) artefacts, Large Language Models (LLMs) have proven useful to automate their generation and processing. In this paper, we…

Read Paper →
Computer Science Preprint PDF DOI

A general optimization solver based on OP-to-MaxSAT reduction

Yuxin Zhao, Han Huang, Zhifeng Hao · 2026

Optimization problems are fundamental in diverse fields, such as engineering, economics, and scientific computing. However, current algorithms are mostly designed for specific problem types and exhibi…

Read Paper →
Computer Science Preprint PDF DOI

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures

Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic · 2026

The automotive domain is transitioning: vehicles act as rolling servers, persistently connected to numerous external entities. This connectivity, combined with rising on-board computing power for adva…

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 →
Page 1 of 215 Next →