[ספר][B] Handbook of satisfiability

A Biere, M Heule, H van Maaren - 2009‏ - books.google.com
“Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic,
applied areas such as planning, scheduling, operations research and combinatorial …

Influencer identification in dynamical complex systems

S Pei, J Wang, F Morone… - Journal of complex …, 2020‏ - academic.oup.com
The integrity and functionality of many real-world complex systems hinge on a small set of
pivotal nodes, or influencers. In different contexts, these influencers are defined as either …

A brief history of generative models for power law and lognormal distributions

M Mitzenmacher - Internet mathematics, 2004‏ - Taylor & Francis
Recently, I became interested in a current debate over whether file size distributions are best
modelled by a power law distribution or a lognormal distribution. In trying to learn enough …

The power of two choices in randomized load balancing

M Mitzenmacher - IEEE Transactions on Parallel and …, 2001‏ - ieeexplore.ieee.org
We consider the following natural model: customers arrive as a Poisson stream of rate/spl
lambda/n,/spl lambda/< 1, at a collection of n servers. Each customer chooses some …

Models of random regular graphs

NC Wormald - London mathematical society lecture note …, 1999‏ - books.google.com
This is a survey of results on properties of random regular graphs, to-gether with an
exposition of some of the main methods of obtaining these results. Related results on …

The size of the giant component of a random graph with a given degree sequence

M Molloy, B Reed - Combinatorics, probability and computing, 1998‏ - cambridge.org
Given a sequence of nonnegative real numbers λ0, λ1,… that sum to 1, we consider a
random graph having approximately λin vertices of degree i. In [12] the authors essentially …

Efficient erasure correcting codes

MG Luby, M Mitzenmacher… - IEEE Transactions …, 2001‏ - ieeexplore.ieee.org
We introduce a simple erasure recovery algorithm for codes derived from cascades of
sparse bipartite graphs and analyze the algorithm by analyzing a corresponding discrete …

Selenite: Scaffolding Online Sensemaking with Comprehensive Overviews Elicited from Large Language Models

MX Liu, T Wu, T Chen, FM Li, A Kittur… - Proceedings of the 2024 …, 2024‏ - dl.acm.org
Sensemaking in unfamiliar domains can be challenging, demanding considerable user
effort to compare different options with respect to various criteria. Prior research and our …

Resilience to contagion in financial networks

H Amini, R Cont, A Minca - Mathematical finance, 2016‏ - Wiley Online Library
We derive rigorous asymptotic results for the magnitude of contagion in a large counterparty
network and give an analytical expression for the asymptotic fraction of defaults, in terms of …

[PDF][PDF] The power of two random choices: A survey of techniques and results

R Sitaraman - 2001‏ - eecs.harvard.edu
To motivate this survey, we begin with a simple problem that demonstrates a powerful
fundamental idea. Suppose that n balls are thrown into n bins, with each ball choosing a bin …