This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we have defined and implemented. Acute extends an OCaml core to support distributed development, deployment, and execution, allowing typesafe interaction between separately-built programs. It is expressive enough to enable a wide vari...

This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we have defined and implemented. Acute extends an OCaml core to support distributed development, deployment, and execution, allowing typesafe interaction between separately-built programs. It is expressive enough to enable a wide vari...

In order to reduce the conflict of yard, vehicles and quay crane in the process of loading container, and upgrade safety of the ship stowage and transport economics, this paper took minimizing reshuffle times in yard and ship, minimizing the ship center of gravity, getting appropriate trim and minimizing the total moving distance of quay crane as optimization objectives to guarantee the balance...

As the flagship of Hutchison Port Holdings (HPH), Hongkong International Terminals (HIT) is the busiest container terminal on the planet. HIT receives over 10,000 trucks and 15 vessels a day, about six million twenty-foot equivalent units (TEUs) a year. HIT makes hundreds of operational decisions a minute. HIT’s terminal management system, the productivity plus program (3P), optimizes resources...

Parental co-participation in physical activity (PA) may be a beneficial parenting practice for diminishing children's sedentary time (ST). Less information is available, however, on the explanatory role of co-participation in PA regarding parental educational differences in children's ST. Preschool-aged children (N = 864, mean age 4.8, 52% boys) with their parents participated in a cross-sectio...

Olympic weightlifting movements and their variations are believed to be among the most effective ways to improve power, strength, and speed in athletes. This study investigated the effects of two Olympic weightlifting variations (hang cleans and hang snatches), on power (vertical jump height), strength (1RM back squat), and speed (40-yard sprint) in female collegiate athletes. 23 NCAA Division ...

St. Thomas's Jany. 7th. 1802, Dear Father I write to acknowledge ye. reciept of ye. Lewis bank note value £10, with wh. I will go with Mr. Sparrow for a good Brussels Carpet, I this day have been asking Mr. Whitfield what he gave for his B.C. that he has in ye. drawing Room he told me 7s. pr. Yd. made up, but at ye. place where Mr. S. recommends me I hope to be able to get one cheaper, I must c...

UNLABELLED U.S. Marines perform mission tasks under heavy loads which may compromise performance of combat tasks. However, data supporting this performance decrement are limited. PURPOSE The aim of this study was to determine the effects of load on performance of combat-related tasks. METHODS Subjects (N=18) ran a modified Maneuver Under Fire ([MANUF], 300 yards [yd] total: two 25-yd sprint...

Crane sequencing in container terminals determines the order of ship discharging and loading jobs that quay cranes (QCs) perform so that the duration of vessels’ stay is minimized. The ship’s load profile, berthing time, number of available bays and QCs are considered. More importantly, clearance and yard congestion constraints need to be included, which respectively ensure that a minimum dista...