Expertini Research Research

Browse Research Papers

182,110+ open-access research outputs.

โœ• Clear
๐Ÿ” program development
Showing 182110 results for "program development"
Computer Science Preprint PDF DOI

The Public Health and Environmental Surveillance Open Data Model (PHES-ODM) Version 3: An Open, Relational Data Model and Interoperability Framework for Wastewater Surveillance

Mathew Thomson, Jean-David Therrien, Nikho Hizon, Janet Lin, Martin Wellman, Eugen-Sorin Sion, Carol Bennett, Peter Van Rolleghem, Douglas Manuel ยท 2026

Wastewater surveillance (WWS) has emerged as a valuable tool for public health surveillance, particularly since the COVID-19 pandemic. Its long-term utility is constrained, however, by fragmented dataโ€ฆ

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

Beyond Coefficients: Forecast-Necessity Testing for Interpretable Causal Discovery in Nonlinear Time-Series Models

Valentina Kuskova, Dmitry Zaytsev, Michael Coppedge ยท 2026

Nonlinear machine-learning models are increasingly used to discover causal relationships in time-series data, yet the interpretation of their outputs remains poorly understood. In particular, causal sโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Multiparticle production in electron-positron annihilation

E. S. Kokoulina ยท 2026

Multiparticle production in hadron and lepton interactions still attracts our attention. Simulation by using Monte Carlo event generators is performed before planning any experiment. But it often overโ€ฆ

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

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris, Joao Marques-Silva ยท 2026

Many neural network (NN) verification systems represent the network's input-output relation as a constraint program. Sound and complete, representations involve integer constraints, for simulating theโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

CCOpt: an Open-Source Solver for Large-Scale Mathematical Programs with Complementarity Constraints

Anton Pozharskiy, Francois Pacaud, Moritz Diehl, Armin Nurkanovic ยท 2026

This paper presents the Julia package CCOpt, built on top of the interior-point solver MadNLP. CCOpt implements a suite of algorithms for Mathematical Programs with Complementarity Constraints (MPCCs)โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Optimizing Branch Predictor for Graph Applications

Upasna, Venkata Kalyan Tavva ยท 2026

Real-world graph applications are generally larger than the size of the cache itself. Due to this reason, the memory hierarchy was identified as a key bottleneck by the earlier works. Undoubtedly, theโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

The KM3NeT event: a primordial high energy neutrino?

Nicolas Grimbaum Yamamoto, Thomas Hambye ยท 2026

High energy neutrinos can be injected in the early Universe from the decay or annihilation of long lived primordial relics. We analyse the possibility that the ultrahigh energy neutrino event recentlyโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

All-order fluctuating hydrodynamics of the SYK lattice

Marta Bucca, Akash Jain, Mark Mezei, Alexey Milekhin ยท 2026

The SYK model has played an important role in recent developments in many-body quantum chaos. We study a spatially local generalisation of it: the SYK lattice. Starting from the nonlinear action of psโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Non-linear Lie Conformal Algebras and One-Loop Corrections of self-dual Yang-Mills amplitudes

Charles Igel, Jeremy Mancinas, Juan Villarreal ยท 2026

This work is motivated by recent developments in celestial holography. In \cite{CP}, the authors interpreted QCD collinear singularities in terms of operator product expansions in a two-dimensional CFโ€ฆ

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

Wasserstein Distributionally Robust Risk-Sensitive Estimation via Conditional Value-at-Risk

Feras Al Taha, Eilyan Bitar ยท 2026

We propose a distributionally robust approach to risk-sensitive estimation of an unknown signal x from an observed signal y. The unknown signal and observation are modeled as random vectors whose joinโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Towards Better Static Code Analysis Reports: Sentence Transformer-based Filtering of Non-Actionable Alerts

Tamas Aladics, Norbert Vandor, Rudolf Ferenc, Peter Hegedus ยท 2026

Static code analysis (SCA) tools are widely used as effective ways to detect bugs and vulnerabilities in software systems. However, the reports generated by these tools often contain a large number ofโ€ฆ

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

Faster by Design: Interactive Aerodynamics via Neural Surrogates Trained on Expert-Validated CFD

Nicholas Thumiger, Andrea Bartezzaghi, Mattia Rigotti, Cezary Skura, Thomas Frick, Elisa Serioli, Fabrizio Arbucci, A. Cristiano I. Malossi ยท 2026

Computational Fluid Dynamics (CFD) is central to race-car aerodynamic development, yet its cost -- tens of thousands of core-hours per high-fidelity evaluation -- severely limits the design space explโ€ฆ

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

WorldDB: A Vector Graph-of-Worlds Memory Engine with Ontology-Aware Write-Time Reconciliation

Harish Santhanalakshmi Ganesan ยท 2026

Persistent memory is the bottleneck separating stateless chatbots from long-running agentic systems. Retrieval-augmented generation (RAG) over flat vector stores fragments facts into chunks, loses croโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

High-fidelity and Network-based Spatio-temporal Mathematical Models of Alzheimer's Disease Progression and their Validation Against PET-SUVR Imaging Data

Beatrice Caon, Mattia Corti, Francesca Bonizzoni, Paola F. Antonietti ยท 2026

Alzheimer's disease is the most common neurodegenerative disorder. Its pathological development is connected with the misfolding and accumulation of two toxic proteins: amyloid-beta and tau proteins. โ€ฆ

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

Asset Harvester: Extracting 3D Assets from Autonomous Driving Logs for Simulation

Tianshi Cao, Jiawei Ren, Yuxuan Zhang, Jaewoo Seo, Jiahui Huang, Shikhar Solanki, Haotian Zhang, Mingfei Guo, Haithem Turki, Muxingzi Li, Yue Zhu, Sipeng Zhang, Zan Gojcic, Sanja Fidler, Kangxue Yin ยท 2026

Closed-loop simulation is a core component of autonomous vehicle (AV) development, enabling scalable testing, training, and safety validation before real-world deployment. Neural scene reconstruction โ€ฆ

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

ESsEN: Training Compact Discriminative Vision-Language Transformers in a Low-Resource Setting

Clayton Fields, Casey Kennington ยท 2026

Vision-language modeling is rapidly increasing in popularity with an ever expanding list of available models. In most cases, these vision-language models have parameters in the tens of billions, whichโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Real-Time Algorithms for Model Predictive Control of Hybrid Dynamical Systems

Armin Nurkanovic, Anton Pozharskiy, Moritz Diehl ยท 2026

Model predictive control (MPC) of hybrid dynamical systems is challenging because the associated optimization problem is nonsmooth and the resulting feedback law is discontinuous. This paper develops โ€ฆ

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

MedProbeBench: Systematic Benchmarking at Deep Evidence Integration for Expert-level Medical Guideline

Jiyao Liu, Jianghan Shen, Sida Song, Tianbin Li, Xiaojia Liu, Rongbin Li, Ziyan Huang, Jiashi Lin, Junzhi Ning, Changkai Ji, Siqi Luo, Wenjie Li, Chenglong Ma, Ming Hu, Jing Xiong, Jin Ye, Bin Fu, Ningsheng Xu, Yirong Chen, Lei Jin, Hong Chen, Junjun He ยท 2026

Recent advances in deep research systems enable large language models to retrieve, synthesize, and reason over large-scale external knowledge. In medicine, developing clinical guidelines critically deโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

The Rise of Quantum Computing -- Take a BITE for Built Environment and Urban Microclimate Research

Liangzhu Leon Wang, Huiheng Liu, Honghao Fu, Zhipeng Deng, Bing Dong, Naiping Gao ยท 2026

Quantum computing is a new approach to computation that utilizes superposition, entanglement, interference, and tunneling to solve problems too complex for classical computers. This paper discusses thโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Capturing Monetarily Exploitable Vulnerability in Smart Contracts via Auditor Knowledge-Learning Fuzzing

Bowen Cai, Weiheng Bai, Hangyun Tang, Youshui Lu, Kangjie Lu ยท 2026

Smart contracts extended blockchain functionality beyond simple transactions, powering complex applications like decentralized finance (DeFi). However, this complexity introduces serious security chalโ€ฆ

Read Paper โ†’
โ† Prev Page 32 of 9106 Next โ†’