Double dispatch is the ability of selecting dynamically a method not only according to the run-time type of the receiver (single dispatch), but also to the run-time type of the argument. This mechanism unleashes the power of dynamic binding in object-oriented languages, so enhancing re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., C++ and Java,...

In programming we some times need to choose between several implementations of the same functionality based on the run-time types of several arguments. This is called Dynamic Multiple Dispatch. One example of Dynamic Multiple Dispatch is the geometry dispatcher in OpenTissue, which takes a pair of geometry objects and selects a collision-detection function based on the objects type. Unfortunate...

A common paradigm in machine translation is analysis, transfer, and synthesis. In French-to-English translation, for example, a French sentence is analyzed into an intermediate structure in which various ambiguities present in the surface form have been resolved. This structure is then transferred to a similar English structure. Finally, an English sentence is synthesized from the intermediate ...

Economists know how to calculate optimal prices for electricity transmission. These are rarely applied in practice. This paper develops a thirteen node model, based on the transmission system in England and Wales, incorporating losses and transmission constraints. It is solved with optimal prices, and with uniform prices for demand and for generation, but re-dispatching to take account of trans...

This paper explores a mathematical method for detecting groups of generators in an electric power system that have the potential to benefit from exercising market power. Applications of this method include metrics for measuring or detecting the possibility of market power. This paper focuses on the properties of revenue and dispatch to bid sensitivity matrices, and develops methods of identifyi...

Dispatch reliability is the key parameters to reflect the overall reliability of civil aircraft, and it is also the important technical parameters needs to be considered in the original design of civil aircraft. According to the actual delay rate data of airlines, combined with the relationship between delay rate and dispatch reliability, from the perspective of civil aircraft design, author fi...

In this paper we provide a simulations-based demonstration of a hybrid electricity market that combines the distributed competitive advantages of decentralized markets with the system security guarantees of centralized markets. In this market, the transmission service provider (TSP) guides an electricity market towards the optimal power flow (OPF) solution, even when maximizing its own revenue....

This paper presents a clone-detection method/tool currently under development. This tool is useful as a code-clone search through the entire lifecycle of a software product; The tool searches code examples and analyzes of code clones in both preventive and postmortem ways[LRHK10]. The approach is based on a sequence equivalence on execution paths[Kam13] and extends the equivalence to include ga...

We study the effect of stochastically delayed communication on common knowledge acquisition (common learning). If messages do not report dispatch times, communication prevents common learning under general conditions even if common knowledge is acquired without communication. If messages report dispatch times, communication can destroy common learning under more restrictive conditions. The fail...