中文
相关论文

相关论文: Directional Consistency for Continuous Numerical C…

200 篇论文

Constrained coding plays a key role in optimizing performance and mitigating errors in applications such as storage and communication, where specific constraints on codewords are required. While non-parametric constraints have been…

信息论 · 计算机科学 2025-05-05 Daniella Bar-Lev , Michael Shlizerman

Existing results on decomposition methods and algorithms for nonconvex problems are minimal. Parallel decomposition algorithms do not exist for nonconvex problems with coupling nonlinear equality constraints. Besides, decomposition…

最优化与控制 · 数学 2026-05-18 Yiqing Zhai , Ying Cui , Danny H. K. Tsang

Border complexity captures functions that can be approximated by low-complexity ones. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of…

计算复杂性 · 计算机科学 2025-10-16 Pranjal Dutta , Vladimir Lysikov

This study develops a framework for a class of constant modulus (CM) optimization problems, which covers binary constraints, discrete phase constraints, semi-orthogonal matrix constraints, non-negative semi-orthogonal matrix constraints,…

信号处理 · 电气工程与系统科学 2024-11-12 Junbin Liu , Ya Liu , Wing-Kin Ma , Mingjie Shao , Anthony Man-Cho So

Predefined-time stability enables convergence within a user-specified time independent of initial conditions. Existing results are predominantly based on autonomous Lyapunov inequalities, where the predefined-time is realized through…

系统与控制 · 电气工程与系统科学 2025-12-30 Özhan Bingöl

Consistency training regularizes a model by enforcing predictions of original and perturbed inputs to be similar. Previous studies have proposed various augmentation methods for the perturbation but are limited in that they are agnostic to…

计算与语言 · 计算机科学 2022-04-29 Jungsoo Park , Gyuwan Kim , Jaewoo Kang

By employing non-equispaced grid points near boundaries, boundary-optimized upwind finite-difference operators of orders up to nine are developed. The boundary closures are constructed within a diagonal-norm summation-by-parts (SBP)…

数值分析 · 数学 2026-02-06 Ken Mattsson , David Niemelä , Andrew R. Winters

It is proved in Chon{\'e} and Le Meur (2001) that the problem of minimizing a Dirichlet-like functional of the function $u\_h$ discretized with $P\_1$ Finite Elements, under the constraint that $u\_h$ be convex, cannot converge. Here, we…

偏微分方程分析 · 数学 2017-04-04 Hervé Le Meur

The constraint-preserving approach, which aim is to provide consistent boundary conditions for Numerical Relativity simulations, is discussed in parallel with other recent developments. The case of the Z4 system is considered, and…

广义相对论与量子宇宙学 · 物理学 2009-11-10 C. Bona , T. Ledvinka , C. Palenzuela-Luque , M. Zacek

We present a novel direct transcription method to solve optimization problems subject to nonlinear differential and inequality constraints. We prove convergence of our numerical method under reasonably mild assumptions: boundedness and…

最优化与控制 · 数学 2021-04-09 Martin P. Neuenhofen , Eric C. Kerrigan

This paper is concerned with the study of constrained statistical learning problems, the unconstrained version of which are at the core of virtually all of modern information processing. Accounting for constraints, however, is paramount to…

机器学习 · 计算机科学 2020-02-14 Luiz F. O. Chamon , Santiago Paternain , Miguel Calvo-Fullana , Alejandro Ribeiro

We have previously reported a Bayesian algorithm for determining the coordinates of points in three-dimensional space from uncertain constraints. This method is useful in the determination of biological molecular structure. It is limited,…

人工智能 · 计算机科学 2013-02-28 Russ B. Altman , Cheng C. Chen , William B. Poland , Jaswinder Pal Singh

For linear recurrence systems, the problem of finding rational solutions is reduced to the problem of computing polynomial solutions by computing a content bound or a denominator bound. There are several bounds in the literature. The…

符号计算 · 计算机科学 2020-07-07 Mark van Hoeij , Moulay Barkatou , Johannes Middeke

Dynamic nonlinear systems exhibit distortions arising from coupled static and dynamic effects. Their intertwined nature poses major challenges for data-driven modeling. This paper presents a theoretical framework grounded in structured…

机器学习 · 计算机科学 2025-09-23 Sri Satish Krishna Chaitanya Bulusu , Mikko Sillanpää

We propose a semi-discrete numerical scheme and establish well-posedness of a class of parabolic systems. Such systems naturally arise while studying the optimal control of grain boundary motions. The latter is typically described using a…

偏微分方程分析 · 数学 2018-10-26 Harbir Antil , Ken Shirakawa , Noriaki Yamazaki

An algorithm is proposed, analyzed, and tested for solving continuous nonlinear-equality-constrained optimization problems where the objective and constraint functions are defined by expectations or averages over large, finite numbers of…

最优化与控制 · 数学 2026-05-14 Frank E. Curtis , Lingjun Guo , Daniel P. Robinson

Binary optimization, a representative subclass of discrete optimization, plays an important role in mathematical optimization and has various applications in computer vision and machine learning. Usually, binary optimization problems are…

最优化与控制 · 数学 2021-05-18 Huan Xiong , Mengyang Yu , Li Liu , Fan Zhu , Fumin Shen , Ling Shao

This contribution examines optimization problems that involve stochastic dominance constraints. These problems have uncountably many constraints. We develop methods to solve the optimization problem by reducing the constraints to a finite…

最优化与控制 · 数学 2025-02-27 Rajmadan Lakshmanan , Alois Pichler , Miloš Kopa

Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with special functions. We identify a large class of existing…

符号计算 · 计算机科学 2026-01-14 Louis Gaillard

The focus of this paper is on causal consistency in a {\em partially replicated} distributed shared memory (DSM) system that provides the abstraction of shared read/write registers. Maintaining causal consistency in distributed shared…

分布式、并行与集群计算 · 计算机科学 2019-05-30 Zhuolun Xiang , Nitin H. Vaidya