Extensions of the ML type system, based on constrained type schemes, have been proposed for languages with overloading. Type inference in these systems requires solving the following satissability problem. Given a set of type assumptions C over nite types and a type basis A, is there is a substitution S that satisses C in that A ` CS is derivable? Under arbitrary overloading, the problem is und...

KvYr, E. 1976. Whooping Cranes: The long road back. Nature Canada 5(2):2-8. KvYr, E. 1981a. Clutch size, hatch success, and survival of Whooping Crane chicks, Wood Buffalo National Park, Canada. Pages 126-129 in Crane research around the world (J. C. Lewis and H. Masatomi, Eds.). International Crane Foundation, Baraboo, Wisconsin. KvYr, E. 1981b. Population status, nest fidelity, and breeding h...

In clinical research and practice, vectorcardiography is now being used as an additional procedure to electrocardiography. It is expected that any additional diagnostic procedure in certain situations would give additional informations. The VCG and ECG present a different display of the same information; it is quite possible that some characteristics may be revealed in one type of display and m...

In an accompanying paper submitted concurrently to this conference, we present our first complete version of a generic and modular software framework for intelligent computer-automated product design. The framework has been implemented with a client-server software architecture that automates the design of offshore cranes. The framework was demonstrated by means of a case study where we used a ...

Keywords: Container terminal Maritime shipping Block length Yard crane deployment Simulation Terminal design Gross crane rate As more and more container terminals open up all over the world, terminal operators are discovering that they must increase quay crane work rates in order to remain competitive. In this paper we present a simulation study that shows how a terminal's long-run average quay...

The paper presents a laboratory model of the 3D tower crane. The arm of the crane is approx 1.2m long and the model is approx. 1.5m heigh. The crane is equipped with three DC motors that control: the rotary movement of the tower, the movement of the trolley and up and down movement of the load. The model is equipped with an unique unit for measuring an angle position of the load. The paper cont...

The natural sway of crane payloads is detrimental to safe and efficient operation. Under certain conditions, the problem is complicated when the payloads create a double-pendulum effect. Most crane control research to date has focused on single-mode dynamics. For example, several researchers have shown that signal-mode oscillations can be greatly reduced by properly shaping the inputs to the cr...