Concept

Intersection (set theory)

Related publications (30)

Additive and geometric transversality of fractal sets in the integers

By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we in ...

2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Springer, Cham2022

On Approximations of Data-Driven Chance Constrained Programs over Wasserstein Balls

Daniel Kuhn, Wolfram Wiesemann

Distributionally robust chance constrained programs minimize a deterministic cost function subject to the satisfaction of one or more safety conditions with high probability, given that the probability distribution of the uncertain problem parameters affec ...

2023

Semi-Discrete Optimal Transport: Hardness, Regularization and Numerical Solution

Daniel Kuhn, Soroosh Shafieezadeh Abadeh, Bahar Taskesen

Semi-discrete optimal transport problems, which evaluate the Wasserstein distance between a discrete and a generic (possibly non-discrete) probability measure, are believed to be computationally hard. Even though such problems are ubiquitous in statistics, ...

2023

Guidelines for performing lignin-first biorefining

Jeremy Luterbacher

The valorisation of the plant biopolymer lignin is now recognised as essential to enabling the economic viability of the lignocellulosic biorefining industry. In this context, the "lignin-first" biorefining approach, in which lignin valorisation is conside ...

2021

QUAREP-LiMi: a community endeavor to advance quality assessment and reproducibility in light microscopy

Arne Seitz

The community-driven initiative Quality Assessment and Reproducibility for Instruments & Images in Light Microscopy (QUAREP-LiMi) wants to improve reproducibility for light microscopy image data through quality control (QC) management of instruments and im ...

Nature Publishing Group2021

A Unified Theory of Robust and Distributionally Robust Optimization via the Primal-Worst-Equals-Dual-Best Principle

Daniel Kuhn, Wolfram Wiesemann, Jianzhe Zhen

Robust and distributionally robust optimization are modeling paradigms for decision-making under uncertainty where the uncertain parameters are only known to reside in an uncertainty set or are governed by any probability distribution from within an ambigu ...

2023

Distributionally Robust Optimization with Polynomial Densities: Theory, Models and Algorithms

Daniel Kuhn

In distributionally robust optimization the probability distribution of the uncertain problem parameters is itself uncertain, and a fictitious adversary, e.g., nature, chooses the worst distribution from within a known ambiguity set. A common shortcoming o ...

2020

Distributionally Robust Mechanism Design

Daniel Kuhn, Wolfram Wiesemann, Cagil Kocyigit

We study a mechanism design problem where an indivisible good is auctioned to multiple bidders, for each of whom it has a private value that is unknown to the seller and the other bidders. The agents perceive the ensemble of all bidder values as a random v ...

2020

Engineered acoustic mismatch for anchor loss control in contour mode resonators

Luis Guillermo Villanueva Torrijo, Annalisa De Pastina, Andrea Lozzi

Improving the quality factor (Q) of electromechanical resonators is of paramount importance for different applications, ranging from RF filtering to sensing. In this paper, we present a modified fabrication process flow for contour mode resonators to simul ...

2019

Cross-sections of line configurations in R-3 and (d-2)-flat configurations in R-d

Andres Jacinto Ruiz Vargas

We consider sets L = {l(1),..., l(n)} of n labeled lines in general position in R-3, and study the order types of point sets {p(1),..., p(n)} that stem from the intersections of the lines in L with (directed) planes Pi, not parallel to any line of L, that ...

ELSEVIER SCIENCE BV2019

Computational Design of Steady 3D Dissection Puzzles

Bailin Deng, Peng Song

Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop ...

WILEY2019

Counting Intersecting and Pairs of Cross-Intersecting Families

Andrei Kupavskii

A family of subsets of {1, ... , n} is called intersecting if any two of its sets intersect. A classical result in extremal combinatorics due to Erdos, Ko and Rado determines the maximum size of an intersecting family of k-subsets of {1, ... , n}. In this ...

Cambridge Univ Press2018

Matching fields and lattice points of simplices

Georg Peter Loho

We show that the Chow covectors of a linkage matching field define a bijection of lattice points and we demonstrate how one can recover the linkage matching field from this bijection. This resolves two open questions from Sturmfels & Zelevinsky (1993) on l ...

2020

Uniform s-Cross-Intersecting Families

Andrei Kupavskii

In this paper we study a question related to the classical Erdos-Ko-Rado theorem, which states that any family of k-element subsets of the set [n] = {1,..., n} in which any two sets intersect has cardinality at most ((n-1)(k-1)). We say that two non-empty ...

Cambridge Univ Press2017

Ambiguous Joint Chance Constraints under Mean and Dispersion Information

Daniel Kuhn, Wolfram Wiesemann, Grani Adiwena Hanasusanto

We study joint chance constraints where the distribution of the uncertain parameters is only known to belong to an ambiguity set characterized by the mean and support of the uncertainties and by an upper bound on their dispersion. This setting gives rise t ...

Informs2017

Configuration logics: Modeling architecture styles

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

Systemic evaluation of actions toward developing practical broadband applications for elderly and people with disabilities

The paper reports results of a structured democratic dialogue Co-Laboratory that aimed to explore actions that could alleviate obstacles preventing the development of practical broadband applications for elderly people and people with disabilities. Thirty- ...

Springer Verlag2017

Structural Features of the Box C/D snoRNP Pre-assembly Process Are Conserved through Species

Benjamin Marcel Daniel Rothé

Box C/D small nucleolar ribonucleoparticles (snoRNPs) support 2'-O-methylation of several target RNAs. They share a common set of four core proteins (SNU13, NOP58, NOP56, and FBL) that are assembled on different guide small nucleolar RNAs. Assembly of thes ...

Cell Press2016