中文
相关论文

相关论文: Fourier-Motzkin Elimination Software for Informati…

200 篇论文

Information-theoretic Bayesian optimisation techniques have demonstrated state-of-the-art performance in tackling important global optimisation problems. However, current information-theoretic approaches require many approximations in…

机器学习 · 统计学 2018-06-07 Binxin Ru , Mark McLeod , Diego Granziol , Michael A. Osborne

This contribution examines the capabilities of the Python ecosystem to solve nonlinear energy minimization problems, with a particular focus on transitioning from traditional MATLAB methods to Python's advanced computational tools, such as…

数学软件 · 计算机科学 2024-07-09 Michal Béreš , Jan Valdman

Since Feynman integrals (FIs) at higher spacetime dimensions are free of infrared and collinear divergence--and their ultraviolet divergences can be systematically subtracted--this allows us to construct a wide range of locally finite…

高能物理 - 唯象学 · 物理学 2025-04-25 Yan-Qing Ma , Cong-Hao Qin , Ao Tan , Kai Yan

Finite-element (FE) discretisations have emerged as a powerful real-space alternative to large-scale Kohn-Sham density functional theory (DFT) calculations, offering systematic convergence, excellent parallel scalability, while…

计算物理 · 物理学 2025-12-11 Gourab Panigrahi , Phani Motamarri

In this paper, we propose an efficient numerical scheme for solving some large scale ill-posed linear inverse problems arising from image restoration. In order to accelerate the computation, two different hidden structures are exploited.…

数值分析 · 数学 2024-12-20 Zixuan Chen , James Nagy , Yuanzhe Xi , Bo Yu

This paper considers \emph{volume minimization} (VolMin)-based structured matrix factorization (SMF). VolMin is a factorization criterion that decomposes a given data matrix into a basis matrix times a structured coefficient matrix via…

机器学习 · 统计学 2016-11-03 Xiao Fu , Kejun Huang , Bo Yang , Wing-Kin Ma , Nicholas D. Sidiropoulos

The proof of information inequalities and identities under linear constraints on the information measures is an important problem in information theory. For this purpose, ITIP and other variant algorithms have been developed and…

信息论 · 计算机科学 2024-01-29 Laigang Guo , Raymond W. Yeung , Xiao-Shan Gao

Proteomic matrix-assisted laser desorption/ionisation (MALDI) linear time-of-flight (TOF) mass spectrometry (MS) may be used to produce protein profiles from biological samples with the aim of discovering biomarkers for disease. However,…

定量方法 · 定量生物学 2016-03-24 Tyman E. Stanford , Christopher J. Bagley , Patty J. Solomon

In this paper we introduce Clause Cuts: linear inequalities obtained from clauses that are logically implied by a CNF formula, resembling strengthened no-good cuts. With these cuts, we tighten mixed-integer linear programming (MILP)…

最优化与控制 · 数学 2025-09-29 Max Engelhardt , Milan Adhikari , Jonasz Staszek , Alexander Martin

Previous studies have revealed that artificial intelligence (AI) systems are vulnerable to adversarial attacks. Among them, model extraction attacks fool the target model by generating adversarial examples on a substitute model. The core of…

计算机视觉与模式识别 · 计算机科学 2023-10-17 Renyang Liu , Jinhong Zhang , Kwok-Yan Lam , Jun Zhao , Wei Zhou

We propose a very simple preprocessing algorithm for semidefinite programming. Our algorithm inspects the constraints of the problem, deletes redundant rows and columns in the constraints, and reduces the size of the variable matrix. It…

最优化与控制 · 数学 2016-08-09 Preston Faulk , Gabor Pataki , Quoc Tran-Dinh

Feynman integral reduction by means of integration-by-parts identities is a major power gadget in a theorist toolbox indispensable for calculation of multiloop quantum effects relevant for particle phenomenology and formal theory alike. An…

高能物理 - 唯象学 · 物理学 2024-02-13 A. V. Belitsky , A. A. Kokosinskaya , A. V. Smirnov , V. V. Voevodin , M. Zeng

Hidden variables are well known sources of disturbance when recovering belief networks from data based only on measurable variables. Hence models assuming existence of hidden variables are under development. This paper presents a new…

人工智能 · 计算机科学 2017-07-18 Mieczysław A. Kłopotek

The evaluation of machine learning models typically relies mainly on performance metrics based on loss functions, which risk to overlook changes in performance in relevant subgroups. Auditing tools such as SliceFinder and SliceLine were…

机器学习 · 计算机科学 2026-04-22 Rudolf Debelak

In this paper we present a neural network based estimator system which performs well the frequency extraction from unevenly sampled signals. It uses an unsupervised Hebbian nonlinear neural algorithm to extract the principal components…

天体物理学 · 物理学 2007-05-23 R. Tagliaferri , A. Ciaramella , F. Barone , L. Milano

In recent years, multiple notions of algorithmic fairness have arisen. One such notion is individual fairness (IF), which requires that individuals who are similar receive similar treatment. In parallel, matrix estimation (ME) has emerged…

机器学习 · 计算机科学 2023-08-04 Cindy Y. Zhang , Sarah H. Cen , Devavrat Shah

In myriad statistical applications, data are collected from related but heterogeneous sources. These sources share some commonalities while containing idiosyncratic characteristics. One of the most fundamental challenges in such scenarios…

统计方法学 · 统计学 2024-03-29 Naichen Shi , Raed Al Kontar , Salar Fattahi

While most useful information theoretic inequalities can be deduced from the basic properties of entropy or mutual information, Shannon's entropy power inequality (EPI) seems to be an exception: available information theoretic proofs of the…

信息论 · 计算机科学 2016-11-17 Olivier Rioul

Deep neural networks have garnered widespread attention due to their simplicity and flexibility in the fields of engineering and scientific calculation. In this study, we probe into solving a class of elliptic partial differential…

数值分析 · 数学 2023-08-07 Xi'an Li , Jinran Wu , You-Gan Wang , Xin Tai , Jianhua Xu

Mutual exclusion is one of the most commonly used techniques to handle contention in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the assumption that a process does not fail while…

分布式、并行与集群计算 · 计算机科学 2021-10-19 Sahil Dhoked , Neeraj Mittal