English
Related papers

Related papers: On Quadratization of Pseudo-Boolean Functions

200 papers

Recent advances in Schramm-Loewner evolution have driven increasing interest in non-standard Loewner flows. In this work, we propose a novel splitting algorithm to simulate random Loewner curves with rigorous convergence analysis in…

Probability · Mathematics 2025-07-04 Jiaming Chen , Vlad Margarint

We consider polynomials of a few linear forms and show how exploit this type of sparsity for optimization on some particular domains like the Euclidean sphere or a polytope. Moreover, a simple procedure allows to detect this form of…

Optimization and Control · Mathematics 2022-04-05 Jean-Bernard Lasserre

The umbral restyling of hypergeometric functions is shown to be a useful and efficient approach in simplifying the associated computational technicalities. In this article, the authors provide a general introduction to the umbral version of…

Classical Analysis and ODEs · Mathematics 2024-01-31 Giuseppe Dattoli , Mehnaz Haneef , Subuhi Khan , Silvia Licciardi

We discuss a unified approach to stochastic optimization of pseudo-Boolean objective functions based on particle methods, including the cross-entropy method and simulated annealing as special cases. We point out the need for auxiliary…

Computation · Statistics 2012-04-09 Christian Schäfer

Estimating statistical models within sensor networks requires distributed algorithms, in which both data and computation are distributed across the nodes of the network. We propose a general approach for distributed learning based on…

Machine Learning · Computer Science 2012-07-03 Qiang Liu , Alexander Ihler

We present a geometric interpretation of the integration-by-parts formula on an arbitrary vector bundle. As an application we give a new geometric formulation of higher-order variational calculus.

Differential Geometry · Mathematics 2015-06-04 Michał Jóźwikowski , Mikołaj Rotkiewicz

We use the combination of argumentative zoning [1] and a legal argumentative scheme to create legal argumentative segments. Based on the argumentative segmentation, we propose a novel task of classifying argumentative segments of legal case…

Computation and Language · Computer Science 2023-07-12 Huihui Xu , Kevin Ashley

We describe a new way of rewriting the partition function of scalar field theory on fuzzy complex projective spaces as a solvable multitrace matrix model. This model is given as a perturbative high-temperature expansion. At each order, we…

High Energy Physics - Theory · Physics 2015-04-14 Christian Saemann

A novel algorithm is proposed for segmenting an image into multiple levels using its mean and variance. Starting from the extreme pixel values at both ends of the histogram plot, the algorithm is applied recursively on sub-ranges computed…

Computer Vision and Pattern Recognition · Computer Science 2007-05-23 Siddharth Arora , Jayadev Acharya , Amit Verma , Prasanta K. Panigrahi

This paper addresses the minimization of a finite sum of prox-convex functions under Lipschitz continuity of each component. We propose two variants of the splitting proximal point algorithms proposed in \cite{Bacak,Bertsekas}: one…

Optimization and Control · Mathematics 2026-01-13 Jose de Brito , Felipe Lara , Tran Van Thang

We present semi-analytic techniques for finding bubble wall profiles during first order phase transitions with multiple scalar fields. Our method involves reducing the problem to an equation with a single field, finding an analytic solution…

High Energy Physics - Phenomenology · Physics 2017-01-04 Sujeet Akula , Csaba Balázs , Graham A. White

Semantic segmentation is a critical task in computer vision aiming to identify and classify individual pixels in an image, with numerous applications in for example autonomous driving and medical image analysis. However, semantic…

Computer Vision and Pattern Recognition · Computer Science 2024-11-18 Halil Ibrahim Aysel , Xiaohao Cai , Adam Prügel-Bennett

Multivariate global polynomial approximations - such as polynomial chaos or stochastic collocation methods - are now in widespread use for sensitivity analysis and uncertainty quantification. The pseudospectral variety of these methods uses…

Numerical Analysis · Mathematics 2013-04-09 Paul G. Constantine , Michael S. Eldred , Eric T. Phipps

This is the first part of a series devoting to the generalizations and applications of common theorems in variational bifurcation theory. Using parameterized versions of splitting theorems in Morse theory we generalize some famous…

Dynamical Systems · Mathematics 2021-11-17 Guangcun Lu

Abstract argumentation frameworks are formal systems that facilitate obtaining conclusions from non-monotonic knowledge systems. Within such a system, an argumentation semantics is defined as a set of arguments with some desired qualities,…

Artificial Intelligence · Computer Science 2018-08-14 Renata Wong

Recently, significant progress has been made on semantic segmentation. However, the success of supervised semantic segmentation typically relies on a large amount of labelled data, which is time-consuming and costly to obtain. Inspired by…

Computer Vision and Pattern Recognition · Computer Science 2021-08-26 Jianlong Yuan , Yifan Liu , Chunhua Shen , Zhibin Wang , Hao Li

In various contexts, the zeta function of an object splits into a product of $L$-functions. We categorify this product formula for quadratic covers of objects in the following contexts: quadratic extensions of number fields, ramified double…

Number Theory · Mathematics 2025-02-13 Jon Aycock , Andrew Kobin

To solve hard problems, AI relies on a variety of disciplines such as logic, probabilistic reasoning, machine learning and mathematical programming. Although it is widely accepted that solving real-world problems requires an integration…

Artificial Intelligence · Computer Science 2020-01-14 Vaishak Belle , Luc De Raedt

Numerical approaches to higher-order calculations often employ subtraction terms, both for the real emission and the virtual corrections. These subtraction terms have to be added back. In this paper we show that at NLO the real subtraction…

High Energy Physics - Phenomenology · Physics 2016-07-06 Satyajit Seth , Stefan Weinzierl

This paper develops upper and lower bounds for the probability of Boolean functions by treating multiple occurrences of variables as independent and assigning them new individual probabilities. We call this approach dissociation and give an…

Artificial Intelligence · Computer Science 2015-06-30 Wolfgang Gatterbauer , Dan Suciu