A term map is a map that visualizes the structure of a scientific field by showing the relations between important terms in the field. The terms shown in a term map are usually selected manually with the help of domain experts. Manual term selection has the disadvantages of being subjective and...

We describe an algorithmic approach to determine an efficient railway rolling stock circulation on a single line or on a set of interacting lines. Given the timetable and the passengers? seat demand, we develop a branch-and-price algorithm that results in an allocation of rolling stock material...

In this paper, we give an overview of state-of-the-art Operations Research models and techniques used in passenger railway transportation. For each planning phase (strategic, tactical and operational), we describe the planning problems arising there and discuss some models and algorithms to...

For a commercially operating railway company, providing a high level of service for the passengers is of utmost importance. The latter requires a high punctuality of the trains and an adequate rolling stock capacity. Unfortunately, the latter is currently (2002) one of the bottlenecks in the...

Railway rolling stock (locomotives, carriages, and train units) is one of the most significant cost sources for operatorsof passenger trains, both public and private. Rolling stock costsare due to material acquisition, power supply, and material maintenance. The efficient circulation of rolling...

We consider generalized monotone functions f: X -- {0,1} defined for an arbitrary binary relation = on X by the property x = y implies f(x) = f(y). These include the standard monotone (or positive) Boolean functions, regular Boolean functions and other interesting functions as special cases. It...

Sustainable energy systems of the future will need more than efficient, clean, low-cost, renewable energy sources; they will also need efficient price signals that motivate sustainable energy consumption as well as a better real-time alignment of energy demand and supply.

Many enterprises that participate in dynamic markets need to make product pricing and inventory resource utilization decisions in real-time. We describe a family of statistical models that address these needs by combining characterization of the economic environment with the ability to predict...

This is the specification for the Power Trading Agent Competition for 2012 (Power TAC 2012). Power TAC is a competitive simulation that models a “liberalized” retail electrical energy market, where competing business entities or “brokers” offer energy services to customers through tariff...

This is the specification for the Power Trading Agent Competition for 2013 (Power TAC 2013). Power TAC is a competitive simulation that models a “liberalized” retail electrical energy market, where competing business entities or “brokers” offer energy services to customers through tariff...