Given a function as black box, where one can only query locations in the truth table of the function and each query will be charged, by querying only three locations one can tell whether the given function is linear or not with high probability.
The asymmetry in the translation of Natural language sentences involving existential and universal quantifiers is well known. It is possible to get rid of this asymmetry by postulating 'quantified typed' variables.
This talk describes a set of distributed services developed at Microsoft Research Silicon Valley to enable efficient parallel programming on very large datasets.
The issue of stability of stochastic networks continues to be one of the central issues in applications along with the computation of the stationary distribution.
Servers are always part of a distributed ecosystem. Less focus is given to the fact that servers are also deployed on internally distributed hardware, namely multicore/ multiprocessor machines.
An important aspect of the stock price process, which has often been ignored in the financial literature, is that prices on organized exchanges are restricted to lie on a grid.
