A rolling stock circulation model for combining and splitting of passenger trains.

This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the rolling stock to the timetable services. We consider several objective criteria that are related to operational costs, service quality and reliability of the railway system. Our model is an extension of an existing rolling stock model for routing train units along a number of connected train lines. The extended model can also handle underway combining and splitting of trains. We illustrate our model by computational experiments based on instances of NS Reizigers, the main Dutch operator of passenger train

The supremum of a Gaussian process over a random interval

Brownian motion; Gaussian process; regular variation; he paper is concerned with the supremum of a centered Gaussian process with stationary increments over a random interval. The main result provides the exact asymptotics of the tail of the supremum distribution in the case that the length of the interval is regularly varying. In addition, we obtain explicit lower and upper bounds for the prefactor

Towards a multimedia formatting vocabulary

Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully integrate them in a complete document transformation processing chain. In order to achieve the desired processing of data-driven, time-based, media-centric presentations, the text-flow based formatting vocabularies used by style languages such as XSL, CSS and DSSSL need to be extended. The paper presents a selection of use cases which are used to derive a list of requirements for a multimedia style and transformation formatting vocabulary. The boundaries of applicability of existing text-based formatting models for media-centric transformations are analyzed. The paper then discusses the advantages and disadvantages of a fully-fledged time-based multimedia formatting model. Finally, the discussion is illustrated by describing the key properties of the example multimedia formatting vocabulary currently implemented in the back-end of our Cuypers multimedia transformation engine