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.
An asynchronous or ``event-driven program is one that contains procedure calls which are not directly executed from the callsite, but stored and executed later by an external scheduler.
Queueing networks are ubiquitous, serving as models of computer networks, service stations, dams, etc. Their performance depends on their structure, parameters and on the service rules.
