Matroid prophet inequalities

R Kleinberg, SM Weinberg - Proceedings of the forty-fourth annual ACM …, 2012 - dl.acm.org
Consider a gambler who observes a sequence of independent, non-negative random
numbers and is allowed to stop the sequence at any time, claiming a reward equal to the …

Neurosymbolic Programming in Scallop: Principles and Practice

Z Li, J Huang, J Liu, M Naik - Foundations and Trends® in …, 2024 - nowpublishers.com
Neurosymbolic programming combines the otherwise complementary worlds of deep
learning and symbolic reasoning. It thereby enables more accurate, interpretable, and …

An introduction to tile-based self-assembly and a survey of recent results

MJ Patitz - Natural Computing, 2014 - Springer
We first give an introduction to the field of tile-based self-assembly, focusing primarily on
theoretical models and their algorithmic nature. We start with a description of Winfree's …

Theory of algorithmic self-assembly

D Doty - Communications of the ACM, 2012 - dl.acm.org
Theory of algorithmic self-assembly Page 1 78 communications of the acm | december 2012 |
vol. 55 | no. 12 review articles PHO T O g RAPH B Y ZUBEIR TAI seLF-asseMBLY is the process …

The tile assembly model is intrinsically universal

D Doty, JH Lutz, MJ Patitz, RT Schweller… - 2012 IEEE 53rd …, 2012 - ieeexplore.ieee.org
We prove that the abstract Tile Assembly Model (aTAM) of nanoscale self-assembly is
intrinsically universal. This means that there is a single tile assembly system U that, with …

Matroid prophet inequalities and applications to multi-dimensional mechanism design

R Kleinberg, SM Weinberg - Games and Economic Behavior, 2019 - Elsevier
Consider a gambler who observes a sequence of independent random numbers and is
allowed to stop at any time, claiming reward equal to the most recent observation. The …

Temperature 1 self-assembly: Deterministic assembly in 3D and probabilistic assembly in 2D

M Cook, Y Fu, R Schweller - Proceedings of the twenty-second annual ACM …, 2011 - SIAM
We investigate the power of the Wang tile self-assembly model at temperature 1, a threshold
value that permits attachment between any two tiles that share even a single bond. When …

Inclusion–exclusion principle for open quantum systems with bosonic bath

S Yang, Z Cai, J Lu - New Journal of Physics, 2021 - iopscience.iop.org
We present two fast algorithms which apply inclusion–exclusion principle to sum over the
bosonic diagrams in bare diagrammatic quantum Monte Carlo and inchworm Monte Carlo …

Self-assembly with geometric tiles

B Fu, MJ Patitz, RT Schweller, R Sheline - International Colloquium on …, 2012 - Springer
In this work we propose a generalization of Winfree's abstract Tile Assembly Model (aTAM)
in which tile types are assigned rigid shapes, or geometries, along each tile face. We …

Randomized self-assembly for exact shapes

D Doty - SIAM Journal on Computing, 2010 - SIAM
Working in Winfree's abstract tile assembly model, we show that a constant-sized tile
assembly system can be programmed through relative tile concentrations to build an n*n …