English
Related papers

Related papers: On the resolution of the sensitivity conjecture

200 papers

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations \cite{Parker2009,…

Other Computer Science · Computer Science 2019-04-03 Juan M. Durán , Nico Formanek

The amount of data for processing and categorization grows at an ever increasing rate. At the same time the demand for collaboration and transparency in organizations, government and businesses, drives the release of data from internal…

Machine Learning · Computer Science 2020-08-26 Jan Neerbek

The resilience of a Boolean query is the minimum number of tuples that need to be deleted from the input tables in order to make the query false. A solution to this problem immediately translates into a solution for the more widely known…

Databases · Computer Science 2020-06-17 Cibele Freire , Wolfgang Gatterbauer , Neil Immerman , Alexandra Meliou

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satisfiability threshold has centered around the structure and…

Computational Complexity · Computer Science 2007-10-03 Parikshit Gopalan , Phokion G. Kolaitis , Elitza Maneva , Christos H. Papadimitriou

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2013-01-08 Jef Wijsen

We show an alternative way of representing a Bayesian belief network by sensitivities and probability distributions. This representation is equivalent to the traditional representation by conditional probabilities, but makes dependencies…

Artificial Intelligence · Computer Science 2013-02-21 Alexander V. Kozlov , Jaswinder Pal Singh

We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We compare several different possible definitions. Our main…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Ilan Newman , Hein Roehrig , Ronald de Wolf

Existing work in data fusion has covered identification of causal estimands when integrating data from heterogeneous sources. These results typically require additional assumptions to make valid estimation and inference. However, there is…

Methodology · Statistics 2023-01-10 Ngoc Q. Duong , Amy J. Pitts , Soohyun Kim , Caleb H. Miles

While deep neural networks have become the go-to approach in computer vision, the vast majority of these models fail to properly capture the uncertainty inherent in their predictions. Estimating this predictive uncertainty can be crucial,…

Machine Learning · Computer Science 2020-04-08 Fredrik K. Gustafsson , Martin Danelljan , Thomas B. Schön

We consider the problem of late multi-modal fusion for discriminative learning. Motivated by noisy, multi-source domains that require understanding the reliability of each data source, we explore the notion of credibility in the context of…

Machine Learning · Computer Science 2024-07-18 Sahil Sidheekh , Pranuthi Tenali , Saurabh Mathur , Erik Blasch , Kristian Kersting , Sriraam Natarajan

Data-agnostic quasi-imperceptible perturbations on inputs are known to degrade recognition accuracy of deep convolutional networks severely. This phenomenon is considered to be a potential security issue. Moreover, some results on…

Computer Vision and Pattern Recognition · Computer Science 2019-04-19 Yusuke Tsuzuku , Issei Sato

Items in a test are often used as a basis for making decisions and such tests are therefore required to have good psychometric properties, like unidimensionality. In many cases the sum score is used in combination with a threshold to decide…

Methodology · Statistics 2020-07-14 Lourens Waldorp , Maarten Marsman , Denny Borsboom

During the past decade, there has been an extensive investigation of the computational complexity of the consistent answers of Boolean conjunctive queries under primary key constraints. Much of this investigation has focused on…

Databases · Computer Science 2015-03-03 Foto N. Afrati , Phokion G. Kolaitis , Angelos Vasilakopoulos

Many proposed applications of neural networks in machine learning, cognitive/brain science, and society hinge on the feasibility of inner interpretability via circuit discovery. This calls for empirical and theoretical explorations of…

Artificial Intelligence · Computer Science 2025-04-02 Federico Adolfi , Martina G. Vilas , Todd Wareham

This paper approaches, using structural complexity theory, the question of whether there is a chasm between knowing an object exists and getting one's hands on the object or its properties. In particular, we study the nontransparency of…

Artificial Intelligence · Computer Science 2019-01-15 Lane A. Hemaspaandra , David E. Narváez

Recent legislative regulations have underlined the need for accountable and transparent artificial intelligence systems and have contributed to a growing interest in the Explainable Artificial Intelligence (XAI) field. Nonetheless, the lack…

Machine Learning · Computer Science 2025-10-14 Ilaria Vascotto , Alex Rodriguez , Alessandro Bonaita , Luca Bortolussi

Causal inference, especially in observational studies, relies on untestable assumptions about the true data-generating process. Sensitivity analysis helps us determine how robust our conclusions are when we alter these underlying…

Machine Learning · Computer Science 2026-05-11 Nikita Dhawan , Daniel Shen , Leonardo Cotta , Chris J. Maddison

Holant problem is a general framework to study the computational complexity of counting problems. We prove a complexity dichotomy theorem for Holant problems over Boolean domain with non-negative weights. It is the first complete Holant…

Computational Complexity · Computer Science 2017-02-21 Jiabao Lin , Hanpin Wang

This paper considers the problem of approximating a Boolean function $f$ using another Boolean function from a specified class. Two classes of approximating functions are considered: $k$-juntas, and linear Boolean functions. The $n$ input…

Information Theory · Computer Science 2019-07-09 Mohsen Heidari , S. Sandeep Pradhan , Ramji Venkataramanan

We use critical block sensitivity, a new complexity measure introduced by Huynh and Nordstr\"om (STOC 2012), to study the communication complexity of search problems. To begin, we give a simple new proof of the following central result of…

Computational Complexity · Computer Science 2016-07-12 Mika Göös , Toniann Pitassi