There is compelling evidence that typical decision-makers, including individual investors and even professional money managers, care about the difference between their portfolio returns and a reference point, or benchmark return. In the context of financial markets, likely benchmarks against which investors compare their own returns include easy-to-focus-on numbers such as one’s own past payoff...

This paper presents a method of computing snow accumulation as a per pixel effect while rendering the scene. The method is similar to the shadow mapping method for shadow calculations. A depth buffer is used to find out how much snow a particular surface should receive. The amount of snow is then modified depending on the slope of the surface. To render the snow in a convincing way 3D noise is ...

We present a veri cation algorithm for duration properties of real-time systems. While simple real-time properties constrain the total elapsed time between events, duration properties constrain the accumulated satisfaction time of state predicates. We formalize the concept of durations by introducing duration measures for timed automata. A duration measure assigns to each nite run of a timed au...

Routing protocols that have been designed to run within a single administrative domain (IGPs) generally do so by assigning a metric to each link and then choosing, as the installed path between two nodes, the path for which the total distance (sum of the metric of each link along the path) is minimized. BGP, designed to provide routing over a large number of independent administrative domains (...