We discuss the design of programming languages for distributed computation, focussing on support for type-safe marshalling of arbitrary language values. In particular: (1) unmarshalling can involve rebinding to local resources; (2) values of abstract types can be communicated, and a globally-coherent notion of type equality ensures that unmarshalling respects abstraction; and (3) interoperation...

Anonymity with identity escrow attempts to allow users of a service to remain anonymous, while providing the possibility that the service owner can break the anonymity in exceptional circumstances, such as to assist in a criminal investigation. A protocol for achieving anonymity with identity escrow has been presented by Marshall and Molina-Jiminez. In this paper, we show that protocol suffers ...

The average American generates approximately 4.5 pounds of garbage per day, for a total of 196 million tons of trash per year, most of which ends up in landfills (Shortridge, 1993). Various government and private programs have been organized to divert part of this garbage (metals, plastics, paper and cardboard, and yard and food wastes) from landfills by recycling. Yard and food wastes often ar...

Seaport terminals recognise the need to change current practices in order to improve regional air quality while enhancing their terminals’ competitiveness. One area that terminals can do better at is to improve their yard crane operations and in turn reduce the trucks in-terminal delay. This study examines various container rehandling strategies by the yard cranes with the goal of improving the...

To the Editor: A recent important study1 addressing the prevalence of cardiovascular risk factors in a rural African population, reports that ‘... most participants followed a physically inactive lifestyle’. The validity of their findings is difficult to evaluate as the study provides little information regarding the physical activity questionnaire that was used. Questionnaire validity is relev...

This paper discusses a case study of the board game of Scotland Yard from a computational perspective. Interestingly, Scotland Yard is a genuine “playgame” with imperfect information. For reasons not completely clear to me, games with imperfect information have escaped the interest of researchers in Algorithmic combinatorial gametheory. I show by means of a powerset argument, that Scotland Yard...

In this paper, a method integrating Q-learning algorithm and simulation technique is proposed to optimize the operation scheduling in container terminals. Firstly Q-learning algorithms for yard cranes and yard trailers are designed to obtain the optimal scheduling strategy of yard cranes and yard trailers. Then Q-learning is combined with simulation to develop an integrating scheduling model in...

The interaction of the dye YD2 with a cluster of (anatase-phase) TiO2 (which is utilized in dye-sensitized solar cells, DSSCs) and electron injection by the dye into the cluster were studied by performing density functional theory (DFT) calculations at the B3LYP, PBE, and TPSS levels of theory, including dispersion effects. We studied and quantified the interaction of the metallomacrocycle with...