We resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem.
Peled and Wilke, [PW97], showed that the stutter-invariant languages expressible in linear propositional temporal logic (LTL) are precisely those expressible in LTL without the "next"-time operator
In this memorandum we study a delta-PCM quantizing scheme for real-valued signals with bonded derivative.
In raster graphics a line must be drawn as a "discrete segment", a set of integer grid points that lie close to it.
A statistician would be considered extremely incautious if, on designing an experiment to determine the regression of y on x, she/he sampled only from two values of x and ignored the possibility of
In the classic rank aggregation (RA) problem, we are given L input lists with potentially inconsistent orders of n elements: Our goal is to find a single order of all elements that minimizes the to
Concept of n-width and extremal subspaces, first introduced by Kolmogorov, plays an important part in mathematical problems of approximation of classes of functions and in engineering problems of s
T HE parallel-tuned transformer has been used in radio-frequency amplifiers for many years. 1 In an excellent paper, 2 Christopher based design formulas on the principles of the broad band filter.
We consider a fluid queue fed by sessions, arriving according to a Poisson process; a session has a heavy-tailed duration, during which traffic is send at a constant rate.
In [1], the unexpected hanging problem is used via analogy to clarify possible resolutions of the Schrodinger cat paradox.
