ThingLab is a system that provides an environment fo r bui ld ing simulations. Wi th in this environment, a simulation is organized as a collection of objects that interact wi th one another by sending and receiving messages. Each object has a table of named properties, which describe both the internal state of the object and its protocol fo r sending and receiving messages. An object may have ...

The species of Kokeshia Miyamoto, 1960 from China are reviewed, K. hsiaoi Ren & Zheng, 1992 is redescribed, and ten new described. Among these species, baii sp. nov., was collected Hong Kong, the other nine, acutiformis bui caii drepanoides hilli pengae redeii renae nov. weirauchae Yunnan. Thus, number known this genus increased eight to eighteen. Photographs habitus, forewing, abdomen geni...

A b s t r a c t . T h e d is tr ibut ion of environmental tritium concentrat ions in several samples taken near the K y o t o U n i v e r s i t y Research Reactor (KURR) was studied. The KURR Institute (KURRI) supports three major sources o f trit ium: a D 2 0 (heavy water) fac i l i ty and a Cold Neutron Source ( C N S ) fac i l i ty in the K U R R conta inment , and a tritium target fabricate...

This paper discusses the computation of derivatives for optimization problems governed by linear hyperbolic systems of partial differential equations (PDEs) that are discretized by the discontinuousGalerkin (dG)method.An efficient and accurate computation of these derivatives is important, for instance, in inverse problems and optimal control problems. This computation is usually based on an ad...

By studying the problem-solving techniques that people use to design algor i thms we can learn something about bui ld ing systems that automatical ly derive algor i thms or assist human designers. In this paper we present a model of a lgor i thm design based on our analysis of the protocols of two subjects designing three convex hull algori thms. The subjects work mainly in a data-f low problem...