Expertini Research Research

Browse Research Papers

48,784+ open-access research outputs.

โœ• Clear
๐Ÿ” software
Showing 48784 results for "software"
AI & Data Science Preprint PDF DOI

Chronax: A Jax Library for Univariate Statistical Forecasting and Conformal Inference

Xan Carey, Yash Deshmukh, Aileen Huang, Sunit Jadhav, Omkar Tekawade, Lorraine Yang, Anvesha Tiwary, Gerardo Riano, Amy Greenwald, Denizalp Goktas ยท 2026

Time-series forecasting is central to many scientific and industrial domains, such as energy systems, climate modeling, finance, and retail. While forecasting methods have evolved from classical statiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Glitch in the Sky: Exploiting Voltage Fault Injection in UAV Flight Controllers

Yun-Ping Hsiao, Yanda Li, Youssef Gamal, Halima Bouzidi, Mohammad Abudllah Al Faruque ยท 2026

As Cyber-Physical Systems (CPS) become increasingly pervasive and autonomous, ensuring the resilience of their embedded logic is critical to maintaining safety and integrity. Among the most stealthy aโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

KAIROS: Stateful, Context-Aware Power-Efficient Agentic Inference Serving

Yichao Yuan, Mosharaf Chowdhury, Nishil Talati ยท 2026

Power has become a central bottleneck for AI inference. This problem is becoming more urgent as agentic AI emerges as a major workload class, yet prior power-management techniques focus almost entirelโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Resource-Efficient Quantum-Enhanced Compressive Imaging via Quantum Classical co-Design

Haowei Shi, Visuttha Manthamkarn, Christopher M. Jones, Zheshen Zhang, Quntao Zhuang ยท 2026

Quantum sensing can enhance imaging performance by reducing measurement noise below the classical limit, thereby improving the signal-to-noise ratio (SNR) of acquired data. In conventional quantum imaโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Investigating the Neutrino Mass Ordering Problem via Ternary Plots

Alexander Migala, Kate Scholberg ยท 2026

We explore what may be deduced about the neutrino mass ordering problem from the observation of core-collapse supernova burst neutrinos in modern terrestrial detectors. We employ ternary plots in a noโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Agentic Frameworks for Reasoning Tasks: An Empirical Study

Zeeshan Rasheed, Abdul Malik Sami, Muhammad Waseem, Kai-Kristian Kemell, Mika Saari, Pekka Abrahamsson ยท 2026

Recent advances in agentic frameworks have enabled AI agents to perform complex reasoning and decision-making. However, evidence comparing their reasoning performance, efficiency, and practical suitabโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

From Papers to Progress: Rethinking Knowledge Accumulation in Software Engineering

Jason Cusati, Chris Brown ยท 2026

Software engineering research has experienced rapid growth in both output and participation over the past decades. Yet concerns persist about the field's ability to accumulate, integrate, and reuse knโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

neuralCAD-Edit: An Expert Benchmark for Multimodal-Instructed 3D CAD Model Editing

Toby Perrett, Matthew Bouchard, William McCarthy ยท 2026

We introduce neuralCAD-Edit, the first benchmark for editing 3D CAD models collected from expert CAD engineers. Instead of text conditioning as in prior works, we collect realistic CAD editing requestโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Deterministic Task Scheduling in In-Vehicle Networks for Software-Defined Vehicles

Keyvan Aghababaiyan, Baldomero Coll-Perales, Luca Lusvarghi, Javier Gozalvez ยท 2026

Modern vehicles are embedding increasing levels of automation, connectivity, and intelligence, which require advanced in-vehicle networks and computational platforms to support the dependability and dโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Compositional Design, Implementation, and Verification of Swarms (Technical Report)

Florian Furbach, Lucas Clorius, Roland Kuhn, Hernan Melgratti, Alceste Scalas, Emilio Tuosto ยท 2026

Swarm protocols are a recently introduced formalism for specifying, implementing, and verifying peer-to-peer systems called swarms. A swarm consists of distributed agents called machines that communicโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

LLMSniffer: Detecting LLM-Generated Code via GraphCodeBERT and Supervised Contrastive Learning

Mahir Labib Dihan, Abir Muhtasim ยท 2026

The rapid proliferation of Large Language Models (LLMs) in software development has made distinguishing AI-generated code from human-written code a critical challenge with implications for academic inโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems

Ami Marowka ยท 2026

High-performance computing (HPC) applications are increasingly executed in heterogeneous environments, introducing new challenges for programming and software portability. SYCL has emerged as a leadinโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Neurosymbolic Repo-level Code Localization

Xiufeng Xu, Xiufeng Wu, Zejun Zhang, Yi Li ยท 2026

Code localization is a cornerstone of autonomous software engineering. Recent advancements have achieved impressive performance on real-world issue benchmarks. However, we identify a critical yet overโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

MATRIX: Multi-Layer Code Watermarking via Dual-Channel Constrained Parity-Check Encoding

Yuqing Nie, Chong Wang, Guosheng Xu, Guoai Xu, Chenyu Wang, Haoyu Wang, Kailong Wang ยท 2026

Code Large Language Models (Code LLMs) have revolutionized software development but raised critical concerns regarding code provenance, copyright protection, and security. Existing code watermarking aโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

From Code to Figure: A FAIR-Aligned Data Provenance Chain for Reproducible Simulation Research in Numerical Physics

Markus Uehlein, Tobias Held, Christopher Seibel, Lukas G. Jonda, Baerbel Rethfeld, Sebastian T. Weber ยท 2026

Computational physics increasingly depends on large simulation datasets generated by software that remains under active development for many years. In such settings, reproducibility requires not only โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR

Jiaying Zhu, Baoqi Zhang, Mengxia Tao, Kezhi Li, Hao Yan, Qiang Xu, Min Li ยท 2026

Ensuring functional consistency between high-level algorithmic models and low-level hardware implementations is a critical challenge, particularly as modern design flows increasingly span heterogeneouโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Impact of Nonlinear Power Amplifier on Massive MIMO: Machine Learning Prediction Under Realistic Radio Channel

Marcin Hoffmann, Pawe{l} Kryszkiewicz ยท 2026

M-MIMO is one of the crucial technologies for increasing spectral and energy efficiency of wireless networks. Most of the current works assume that M-MIMO arrays are equipped with a linear front end. โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Small Yet Configurable: Unveiling Null Variability in Software

Xhevahire Ternava, Georges Aaron Randrianaina, Luc Lesoil, Mathieu Acher ยท 2026

Many small-scale software systems, that is, with limited codebase or binary size, are widely used in everyday tasks, yet their configurability remains largely unexplored. At the same time, studies on โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Continuous benchmarking: Keeping pace with an evolving ecosystem of models and technologies

Jan Vogelsang, Melissa Lober, Catherine Mia Schofmann, Jose Villamar, Dennis Terhorst, Johanna Senk, Hans Ekkehard Plesser, Markus Diesmann, Susanne Kunkel, Anno C. Kurth ยท 2026

Drawing on ideas from continuous integration, we present concepts of an automated benchmarking pipeline for high performance applications. Customization and collaboration have been key design goals owโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Efficient Video Diffusion Models: Advancements and Challenges

Shitong Shao, Lichen Bai, Pengfei Wan, James Kwok, Zeke Xie ยท 2026

Video diffusion models have rapidly become the dominant paradigm for high-fidelity generative video synthesis, but their practical deployment remains constrained by severe inference costs. Compared wiโ€ฆ

Read Paper โ†’
โ† Prev Page 17 of 2440 Next โ†’