English
Related papers

Related papers: Three applications of coverings to difference patt…

200 papers

We introduce succinct lossless representations of query results called covers. They are subsets of the query results that correspond to minimal edge covers in the hypergraphs of these results. We first study covers whose structures are…

Databases · Computer Science 2018-01-12 Ahmet Kara , Dan Olteanu

Based on rectangle theory of formal concept and set covering theory, the concept reduction preserving binary relations is investigated in this paper. It is known that there are three types of formal concepts: core concepts, relative…

Artificial Intelligence · Computer Science 2021-11-02 Jianqin Zhou , Sichun Yang , Xifeng Wang , Wanquan Liu

Density matrix embedding theory (DMET) describes finite fragments in the presence of a surrounding environment. In contrast to most embedding methods, DMET explicitly allows for quantum entanglement between both. In this chapter, we discuss…

Strongly Correlated Electrons · Physics 2018-02-19 Sebastian Wouters , Carlos A. Jiménez-Hoyos , Garnet K. -L. Chan

We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…

Logic in Computer Science · Computer Science 2023-06-22 Daniel Gratzer , G. A. Kavvos , Andreas Nuyts , Lars Birkedal

In many causal inference applications, only one or a few units (or clusters of units) are treated. An important challenge in such settings is that standard inference methods relying on asymptotic theory may be unreliable, even with large…

Econometrics · Economics 2026-05-22 Luis Alvarez , Bruno Ferman , Kaspar Wüthrich

One among several advantages of measure transport methods is that they allow for a unified framework for processing and analysis of data distributed according to a wide class of probability measures. Within this context, we present results…

Quantitative Methods · Quantitative Biology 2024-05-14 Vanessa Lopez-Marrero , Patrick R. Johnstone , Gilchan Park , Xihaier Luo

Variational methods are widely used for approximate posterior inference. However, their use is typically limited to families of distributions that enjoy particular conjugacy properties. To circumvent this limitation, we propose a family of…

Machine Learning · Computer Science 2012-06-22 Samuel Gershman , Matt Hoffman , David Blei

We seek a practical method for establishing dense correspondences between two images with similar content, but possibly different 3D scenes. One of the challenges in designing such a system is the local scale differences of objects…

Computer Vision and Pattern Recognition · Computer Science 2016-04-20 Moria Tau , Tal Hassner

We study three covering problems in the plane. Our original motivation for these problems come from trajectory analysis. The first is to decide whether a given set of line segments can be covered by up to four unit-sized, axis-parallel…

Computational Geometry · Computer Science 2022-05-03 Joachim Gudmundsson , Mees van de Kerkhof , André van Renssen , Frank Staals , Lionov Wiratma , Sampson Wong

We propose a new approach towards approximating the density-to-pair-density map based on copula theory from statistics. We extend the copula theory to multi-dimensional marginals, and deduce that one can describe any (exact or approximate)…

Computational Physics · Physics 2025-03-11 Geneviève Dusson , Claudia Klüppelberg , Gero Friesecke

A convergence theorem is proved for a class of Nystrom methods for weakly singular integral equations on surfaces in three dimensions. Fredholm equations of the second kind as arise in connection with linear elliptic boundary value problems…

Numerical Analysis · Mathematics 2012-05-24 Oscar Gonzalez , Jun Li

Recently, topic modeling has been widely used to discover the abstract topics in text corpora. Most of the existing topic models are based on the assumption of three-layer hierarchical Bayesian structure, i.e. each document is modeled as a…

Computation and Language · Computer Science 2017-04-10 Yi-Kun Tang , Xian-Ling Mao , Heyan Huang , Guihua Wen

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

Functional Analysis · Mathematics 2013-10-30 Biagio Ricceri

Scientific expertise often requires recognizing subtle visual differences that remain challenging to articulate even for domain experts. We present a system that leverages generative models to automatically discover and visualize minimal…

Computer Vision and Pattern Recognition · Computer Science 2025-05-16 Mia Chiquier , Orr Avrech , Yossi Gandelsman , Berthy Feng , Katherine Bouman , Carl Vondrick

The bootstrap is a popular data-driven method to quantify statistical uncertainty, but for modern high-dimensional problems, it could suffer from huge computational costs due to the need to repeatedly generate resamples and refit models. We…

Methodology · Statistics 2023-06-21 Henry Lam , Zhenyuan Liu

Word embeddings are useful for a wide variety of tasks, but they lack interpretability. By rotating word spaces, interpretable dimensions can be identified while preserving the information contained in the embeddings without any loss. In…

Computation and Language · Computer Science 2019-09-16 Philipp Dufter , Hinrich Schütze

Many real phenomena may be modelled as random closed sets in $\mathbb{R}^d$, of different Hausdorff dimensions. In many real applications, such as fiber processes and $n$-facets of random tessellations of dimension $n\leq d$ in spaces of…

Statistics Theory · Mathematics 2010-01-14 Luigi Ambrosio , Vincenzo Capasso , Elena Villa

Distributional models are derived from co-occurrences in a corpus, where only a small proportion of all possible plausible co-occurrences will be observed. This results in a very sparse vector space, requiring a mechanism for inferring…

Computation and Language · Computer Science 2016-08-25 Thomas Kober , Julie Weeds , Jeremy Reffin , David Weir

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Dynamical Systems · Mathematics 2022-12-02 Kan Jiang

We give a survey of the foundations of statistical queries and their many applications to other areas. We introduce the model, give the main definitions, and we explore the fundamental theory statistical queries and how how it connects to…

Machine Learning · Computer Science 2020-05-15 Lev Reyzin