Expertini Research Research

Browse Research Papers

12,714+ open-access research outputs.

โœ• Clear
๐Ÿ” program development ๐Ÿ“‚ Mathematics
Showing 12714 results for "program development" in Mathematics
Mathematics Preprint PDF DOI

Pricing Electric Vehicle Charging and Station Access via Copositive Duality

Nanfei Jiang, Yi Zhou, Josh A. Taylor, Mahnoosh Alizadeh ยท 2026

Optimized charging of electric vehicles (EVs) at public locations consists of two decisions: how much energy to deliver at what times, which is continuous, and where to plug in, which is binary. This โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Lightweight Real-Time ALADIN for Distributed Optimization

Yifei Wang, Xuhui Feng, Shimin Pan, Liangfan Zhu, Xu Du, Apostolos I. Rikos ยท 2026

This paper presents a real-time computational framework for multi-node distributed optimization by extending the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) algorithm. Our approโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Computer vision and converse theorems

Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver, Yidi Qi ยท 2026

Random matrices provide a well-established statistical model for a range of arithmetic phenomena. In this paper, we investigate the extent to which one- and two-dimensional convolutional neural networโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Formalizing Wu-Ritt Method in Lean 4

Yuxuan Xiao, Hao Shen, Junyu Guo, Dingkang Wang, Lihong Zhi ยท 2026

We formalize the Wu-Ritt characteristic set method for the triangular decomposition of polynomial systems in the Lean 4 theorem prover. Our development includes the core algebraic notions of the methoโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Spurious-mode-free finite element method for scattering resonances in transmission problems

Bo Gong, Jiguang Sun ยท 2026

Scattering resonances arise in wave phenomena and play an important role in many applications. While extensive theoretical studies have been conducted, effective numerical computation remains limited,โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Haar bases for multi-parameter twisted structures

Ji Li, Chong-Wei Liang, Brett D. Wick, Liangchuan Wu, Qingyan Wu ยท 2026

Motivated by the Cauchy--Szeg\H{o} projections on a broad class of Siegel domains and the geometric quotient structures of nilpotent Lie groups observed by Nagel, Ricci, and Stein, we develop a martinโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

The Ladyzhenskaya-Prodi-Serrin Conditions and the Search for Extreme Behavior in 3D Navier-Stokes Flows

Elkin Ramirez, Bartosz Protas ยท 2026

In this investigation, we conduct a systematic computational search for potential singularities in 3D Navier-Stokes flows on a periodic domain $\Omega$ based on the Ladyzhenskaya-Prodi-Serrin conditioโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees

Georgios Pantazis, Michelle S. Chong ยท 2026

We study finite horizon reachable set estimation for unknown discrete-time dynamical systems using only sampled state trajectories. Rather than treating scenario optimization as a black-box tool, we sโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Decision-Aware Predictions for Right-Hand Side Parameters in Linear Programs

Jackson Forner, Miju Ahn, Harsha Gangammanavar ยท 2026

This paper studies an integrated learning and optimization problem in which a prediction model estimates the right-hand-side parameters of a linear program (LP) using a contextual vector. Considering โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Deep Learning for Sequential Decision Making under Uncertainty: Foundations, Frameworks, and Frontiers

I. Esra Buyuktahtakin ยท 2026

Artificial intelligence (AI) is moving increasingly beyond prediction to support decisions in complex, uncertain, and dynamic environments. This shift creates a natural intersection with operations reโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Incentive Design without Hypergradients: A Social-Gradient Method

Georgios Vasileiou, Lantian Zhang, Silun Zhang ยท 2026

Incentive design problems consider a system planner who steers self-interested agents toward a socially optimal Nash equilibrium by issuing incentives in the presence of information asymmetry, that isโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

A Fixed Point Theorem for Random Asymptotically Pointwise Contractions

Jie Shi ยท 2026

This paper combines the decomposition technique ($\sigma$-stability) in random functional analysis with the deterministic theory of asymptotically pointwise contractions to provide a complete self-conโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

From Exact Space-Time Symmetry Conservation to Automatic Mesh Refinement in Discrete Initial Boundary Value Problems

Alexander Rothkopf, W.A. Horowitz, Jan Nordstrom ยท 2026

In this contribution we present recent developments in the formulation and solution of Initial Boundary Value Problems (IBVPs). Building upon a modern variational action formulation of classical dynamโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Extremal chromatic bounds for distance Laplacian eigenvalues

Bilal Ahmad Rather ยท 2026

For a connected simple graph $G$ on $n$ vertices with chromatic number $\chi$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, wherโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

A High-Order Conformal FEM for Multidimensional Nonlinear Collisional Breakage Equations: Analysis and Computation

Arushi Arushi, Naresh Kumar ยท 2026

Particle breakage due to collisional interactions plays a vital role in the development of several phenomena in science and engineering. The nonlinear collisional breakage equations (NCBEs) are a signโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Stable Finite-Time Singularity Formation for 3D Navier--Stokes via 5D-Lifted Axisymmetric Reductions

Rishad Shahmurov ยท 2026

We present a 5D-lifted analytic-profile program for finite-time singularity formation in the 3D incompressible Navier--Stokes equations on the periodic torus $\T^3$. The core of the construction is a โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Why the Bethe Ansatz Works: A Structural Explanation via Interaction Propagation

Joe Gildea ยท 2026

The Bethe Ansatz provides exact solutions for certain interacting quantum many-body systems, yet its success is confined to narrow regimes and breaks down abruptly outside them. Despite extensive deveโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Universal Inclusion of Prescribed Primes in 3x3 Magic Squares

David Salas, Eloy Timon, Pepa Montero, Miguel Leon Perez, Ruben Gonzalez Martinez ยท 2026

We present an integrated version of the global program proving that every prescribed prime \(q_0\ge 5\) occurs in some \(3\times 3\) magic square whose nine entries are distinct positive primes. The mโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

A reduced-order model for parametrized Optimal Transport problems

Elise Bonnet-Weill, Virginie Ehrlacher, Luca Nenna ยท 2026

In this work, we aim at efficiently solving a parametrized family of optimal transport problems by using model order reduction methods. We propose a reduced-order model by adding to the primal (respecโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

A Bayesian Perspective on the Data-Driven LQR

Thierry Schwaller, Feiran Zhao, Florian Dorfler ยท 2026

The data-driven linear quadratic regulator (ddLQR) is a widely studied control method for unknown dynamical systems with disturbance. Existing approaches, both indirect, i.e., those that identify a moโ€ฆ

Read Paper โ†’
โ† Prev Page 4 of 636 Next โ†’