Two-sided markets arise when two diļ¬erent types of users may realize gains by interacting with one another through one or more platforms or mediators. We initiate a study of the...
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a signiļ¬cant impact on how a scheduler treats different ...
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...