Publications related to Automating Algebraic Proof Systems Is NP-Hard

Related publications (27)

The first Grushin eigenvalue on cartesian product domains

In this paper, we consider the first eigenvalue.1(O) of the Grushin operator.G :=.x1 + |x1|2s.x2 with Dirichlet boundary conditions on a bounded domain O of Rd = R d1+ d2. We prove that.1(O) admits a unique minimizer in the class of domains with prescribed ...

WALTER DE GRUYTER GMBH2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, Nirupam Gupta, Rafaël Benjamin Pinot, Le Nguyen Hoang, Sadegh Farhadkhani, John Stephan

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

A Statistical Framework to Investigate the Optimality of Signal-Reconstruction Methods

Michaël Unser, Pakshal Narendra Bohra, Pol del Aguila Pla

We present a statistical framework to benchmark the performance of reconstruction algorithms for linear inverse problems, in particular, neural-network-based methods that require large quantities of training data. We generate synthetic signals as realizati ...

2023

Global Frobenius liftability II: surfaces and Fano threefolds

Maciej Emilian Zdanowicz

In this article, a sequel to Global Frobenius liftability I, we continue the development of a comprehensive theory of Frobenius liftings modulo p(2). We study compatibility of divisors and closed subschemes with Frobenius liftings, Frobenius liftings of bl ...

SCUOLA NORMALE SUPERIORE2023

Democratizing Machine Learning

Nirupam Gupta, Rafaël Benjamin Pinot, Alexandre David Olivier Maurer

The increasing prevalence of personal devices motivates the design of algorithms that can leverage their computing power, together with the data they generate, in order to build privacy-preserving and effective machine learning models. However, traditional ...

IEEE2022

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022

Time Dependent Image Generation of Plants from Incomplete Sequences with CNN-Transformer

Marc Conrad Russwurm

Data imputation of incomplete image sequences is an essential prerequisite for analyzing and monitoring all development stages of plants in precision agriculture. For this purpose, we propose a conditional Wasserstein generative adversarial network TransGr ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Sensitivity analysis for bottleneck assignment problems

Tony Alan Wood

In assignment problems, decision makers are often interested in not only the optimal assignment, but also the sensitivity of the optimal assignment to perturbations in the assignment weights. Typically, only perturbations to individual assignment weights a ...

2022

Convergence of random walks with Markovian cookie stacks to Brownian motion perturbed at extrema

Thomas Mountford

We consider one-dimensional excited random walks (ERWs) with i.i.d. Markovian cookie stacks in the non-boundary recurrent regime. We prove that under diffusive scaling such an ERW converges in the standard Skorokhod topology to a multiple of Brownian motio ...

2022

The power of adaptivity in source identification with time queries on the path

Patrick Thiran, Gergely Odor

We study the problem of identifying the source of a stochastic diffusion process spreading on a graph based on the arrival times of the diffusion at a few queried nodes. In a graph

G=(V,E)

, an unknown source node

v^* \in V

is drawn uniformly at random, ...

2022

Editorial Issue 32.6

Daniel Thalmann

WILEY2021

OMiLAB: A Smart Innovation Environment for Digital Engineers

Dimitrios Kyritsis

This position paper introduces a Smart Innovation Environment for experimentation related to digital transformation projects, for the consolidation of a proposed "Digital Engineer" skill profile (with a business-oriented facet labelled as "Digital Innovato ...

SPRINGER INTERNATIONAL PUBLISHING AG2021

Non-Linear Behaviors Of Airy Type On Scales Space From A Fractal Perspective

Maria-Alexandra Paun

Several non-linear behaviors in scales space, in the framework of Scale Relativity Theory, are highlighted. All these are possible through the employment of fractal-type Airy functions, which allow a revaluation of the wave/corpuscle duality, from the pers ...

UNIV POLITEHNICA BUCHAREST, SCI BULL2021

Numerical Analysis - A physics-informed multi-fidelity approach for the estimation of differential equations parameters in low-data or large-noise regimes

Alfio Quarteroni

In this paper, we propose a multi-fidelity approach for parameter estimation problems based on Physics-Informed Neural Networks (PINNs). The proposed methods apply to models expressed by linear or nonlinear differential equations, whose parameters need to ...

EUROPEAN MATHEMATICAL SOC-EMS2021

Further development of the RDRA method for the optimal acquisition of data in process integration retrofit projects

Tuong-Van Nguyen

Process Integration techniques are powerful in analysing the energy usage of industrial plants and designing retrofit solutions for increasing their energy efficiency. However they are far from constituting the industrial practice. One primary cause for th ...

ELSEVIER SCI LTD2021

On some consistent tests of mutual independence among several random vectors of arbitrary dimensions

Soham Sarkar

Testing for mutual independence among several random vectors is a challenging problem, and in recent years, it has gained significant attention in statistics and machine learning literature. Most of the existing tests of independence deal with only two ran ...

SPRINGER2020

Health effects of power plant emissions through ambient air quality

Christine Choirat

Coal burning power plants are a frequent target of regulatory programmes because of their emission of chemicals that are known precursors to the formation of ambient particulate air pollution. Health impact assessments of emissions from coal power plants t ...

2020

i-PI 2.0: A universal force engine for advanced molecular simulations

Michele Ceriotti, Anne-Clémence Corminboeuf, David Mark Wilkins, Bingqing Cheng, Venkat Kapil, Mariana Rossi Carvalho, Riccardo Petraglia, Benjamin Aaron Helfrecht, Robert Horst Meissner

Progress in the atomic-scale modeling of matter over the past decade has been tremendous. This progress has been brought about by improvements in methods for evaluating interatomic forces that work by either solving the electronic structure problem explici ...

ELSEVIER SCIENCE BV2019

Low-Rank Updates And A Divide-And-Conquer Method For Linear Matrix Equations

Daniel Kressner, Stefano Massei

Linear matrix equations, such as the Sylvester and Lyapunov equations, play an important role in various applications, including the stability analysis and dimensionality reduction of linear dynamical control systems and the solution of partial differentia ...

SIAM PUBLICATIONS2019

Chemical machine learning with kernels: The impact of loss functions

Volkan Cevher, Quoc Tran Dinh, Sandip De, Junhong Lin, Van Quang Nguyen

Machine learning promises to accelerate materials discovery by allowing computational efficient property predictions from a small number of reference calculations. As a result, the literature has spent a considerable effort in designing representations tha ...

2019