<--- Back to Details
First PageDocument Content
Arrays / Computing / Computer science / Analysis of algorithms / Probabilistic complexity theory / Randomized algorithm / Entropy / Computer programming / Bit array / Dynamic connectivity / Locality-sensitive hashing
Date: 2016-01-03 06:46:15
Arrays
Computing
Computer science
Analysis of algorithms
Probabilistic complexity theory
Randomized algorithm
Entropy
Computer programming
Bit array
Dynamic connectivity
Locality-sensitive hashing

Succinct Sampling from Discrete Distributions ∗ † Karl Bringmann

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Download Document from Source Website

File Size: 256,86 KB

Share Document on Facebook

Similar Documents

System software / BIOS / Computer architecture / Boot loaders / Booting

Forth Day: Green Arrays, Inc.  Greg Bailey – Intro: The State of Green Arrays  Stefan Mauerhofer – Eval Board Application: Low Frequency Clock and UART

DocID: 1xVPy - View Document

Software engineering / Computer programming / Computing / Interpolation / Video / Video signal / Craig interpolation / Pure / Foreach loop

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

DocID: 1xViK - View Document

Software engineering / Computing / Computer programming / Array data type / Array data structure / D

Weakly Equivalent Arrays J¨ urgen Christ Jochen Hoenicke

DocID: 1xTgU - View Document

Theoretical computer science / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Mathematics / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Array data type / Literal / Matrix

A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis

DocID: 1xTfs - View Document

CHAPTER FIFTEEN Reconstitution of Contractile Actomyosin Arrays Michael Murrell*, Todd Thoresen†,{, Margaret Gardel†,{,1

DocID: 1vi0t - View Document