English
Related papers

Related papers: Modern Lower Bound Techniques in Database Theory a…

200 papers

In typical high dimensional statistical inference problems, confidence intervals and hypothesis tests are performed for a low dimensional subset of model parameters under the assumption that the parameters of interest are unconstrained.…

Methodology · Statistics 2019-11-19 Ming Yu , Varun Gupta , Mladen Kolar

We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic…

Databases · Computer Science 2013-03-14 Sergio Flesca , Filippo Furfaro , Francesco Parisi

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski

We model the algorithmic task of geometric elimination (e.g., quantifier elimination in the elementary field theories of real and complex numbers) by means of certain constraint database queries, called geometric queries. As a particular…

Databases · Computer Science 2011-10-14 Marc Giusti , Joos Heintz , Bart Kuijpers

The question whether the Simplex Algorithm admits an efficient pivot rule remains one of the most important open questions in discrete optimization. While many natural, deterministic pivot rules are known to yield exponential running times,…

Optimization and Control · Mathematics 2020-11-02 Yann Disser , Oliver Friedmann , Alexander V. Hopp

We prove lower bounds for higher-order methods in smooth non-convex finite-sum optimization. Our contribution is threefold: We first show that a deterministic algorithm cannot profit from the finite-sum structure of the objective, and that…

Optimization and Control · Mathematics 2021-07-05 Nicolas Emmenegger , Rasmus Kyng , Ahad N. Zehmakan

This paper proposes a new approach for approximate evaluation of #P-hard queries with probabilistic databases. In our approach, every query is evaluated entirely in the database engine by evaluating a fixed number of query plans, each…

Databases · Computer Science 2014-12-03 Wolfgang Gatterbauer , Dan Suciu

The analysis of randomized search heuristics on classes of functions is fundamental for the understanding of the underlying stochastic process and the development of suitable proof techniques. Recently, remarkable progress has been made in…

Neural and Evolutionary Computing · Computer Science 2011-12-16 Carsten Witt

The process of database knob tuning has always been a challenging task. Recently, database knob tuning methods has emerged as a promising solution to mitigate these issues. However, these methods still face certain limitations.On one hand,…

Databases · Computer Science 2024-06-04 Jian Geng , Hongzhi Wang , Yu Yan

Dependence logics are a modern family of logics of independence and dependence which mimic notions of database theory. In this paper, we aim to initiate the study of enumeration complexity in the field of dependence logics and thereby get a…

Logic in Computer Science · Computer Science 2018-03-13 Arne Meier , Christian Reinbold

We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constraints should inform such inference or when little or no data…

Artificial Intelligence · Computer Science 2017-05-16 Paul Beaumont , Michael Huth

Convex sample approximations of chance-constrained optimization problems are considered, in which chance constraints are replaced by sets of sampled constraints. We propose a randomized sample selection strategy that allows tight bounds to…

Optimization and Control · Mathematics 2018-05-22 Mark Cannon

Databases derived from electronic health records (EHRs) are commonly subject to left truncation, a type of selection bias induced due to patients needing to survive long enough to satisfy certain entry criteria. Standard methods to adjust…

Methodology · Statistics 2022-03-01 Arjun Sondhi

Subset-Sum and k-SAT are two of the most extensively studied problems in computer science, and conjectures about their hardness are among the cornerstones of fine-grained complexity. One of the most intriguing open problems in this area is…

Data Structures and Algorithms · Computer Science 2021-02-22 Amir Abboud , Karl Bringmann , Danny Hermelin , Dvir Shabtay

There has been a resurgence of interest in lower bounds whose truth rests on the conjectured hardness of well known computational problems. These conditional lower bounds have become important and popular due to the painfully slow progress…

Data Structures and Algorithms · Computer Science 2015-04-09 Raphael Clifford , Allan Grønlund , Kasper Green Larsen

Probabilistic inference over large data sets is a challenging data management problem since exact inference is generally #P-hard and is most often solved approximately with sampling-based methods today. This paper proposes an alternative…

Databases · Computer Science 2016-06-15 Wolfgang Gatterbauer , Dan Suciu

We address the approximation of entropy solutions to initial-boundary value problems for nonlinear strictly hyperbolic conservation laws using neural networks. A general and systematic framework is introduced for the design of efficient and…

Analysis of PDEs · Mathematics 2025-09-16 Igor Ciril , Khalil Haddaoui , Yohann Tendero

Algorithms for learning the conditional probabilities of Bayesian networks with hidden variables typically operate within a high-dimensional search space and yield only locally optimal solutions. One way of limiting the search space and…

Artificial Intelligence · Computer Science 2013-01-18 Frank Wittig , Anthony Jameson

Many machine learning approaches are characterized by information constraints on how they interact with the training data. These include memory and sequential access constraints (e.g. fast first-order methods to solve stochastic…

Machine Learning · Computer Science 2014-10-29 Ohad Shamir

In this paper, we take a closer look at the claims made by Xu and Zhou in their paper "SAT Requires Exhaustive Search" [XZ23], which claims to provide a lower bound on the complexity of the so-called Model RB. Xu and Zhou conclude that…

Computational Complexity · Computer Science 2023-12-05 Michael C. Chavrimootoo , Yumeng He , Matan Kotler-Berkowitz , Harry Liuson , Zeyu Nie