SmallEi el is an Ei el compiler which uses a fast simple type inference mechanism to remove most late binding calls, replacing them by static bindings. Starting from the system's entry point, it compiles only statically living code, which saves compiling and then removing dead code. As the whole system is analyzed at compile time, multiple inheritance and genericity do not cause any overhead. S...

SmallEi el is an Ei el compiler which uses a fast simple type inference mechanism to remove most late binding calls, replacing them by static bindings. Starting from the system's entry point, it compiles only statically living code, which saves compiling and then removing dead code. As the whole system is analyzed at compile time, multiple inheritance and genericity do not cause any overhead. S...

The increasing growth of non-dispatchable renewable energy sources (RES) such as solar and wind and the upcoming plug-in electric vehicles (PEVs) makes the secure power dispatch a challenging optimisation. In this paper, a coordinated power dispatch strategy in microgrids with a battery management system is proposed. The power dispatch strategy dynamically fits the power production to the power...

We have implemented a new method for eliminating reference parameter aliases. This method allows procedure calls with overlapping call-by-reference parameters, but at the same time guarantees that procedure bodies are alias-free. The method involves writing multiple bodies for a procedure: one per aliasing combination. Calls are automatically dispatched to the appropriate procedure body based o...

We study same-day delivery (SDD) systems by formulating the Dynamic Dispatch Waves Problem(DDWP), which models a depot where delivery requests arrive dynamically throughout a service day.At any dispatch epoch (wave), the information available to the decision maker is (1) a set of known,open requests which remain unfulfilled, and (2) a set of potential requests that may arrive later ...

Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...

Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...

In this paper, the development of decision support tools for dynamic ambulance relocation and automatic ambulance dispatching is described. The ambulance dispatch problem is to choose which ambulance to send to a patient. The dynamic ambulance relocation problem occurs in the operational control of ambulances. The objective is to find new locations for some of the ambulances, to increase the pr...

Shipment consolidation has been advocated by researchers and politicians as a means to reduce cost and improve environmental performance of logistics activities. This paper investigates consolidated transport solutions with a common shipment frequency. When a service provider designs such a solution for its customers, she faces a trade-o : to have the most time-sensitive customers join the cons...