Given their inherent expense, space missions must utilize available resources efficiently. Allocating resources to a single mission or scientific instrument is in itself a challenging task, and this complexity becomes magnified as fleets of satellites and networks of groundstations and antennas are managed as resource pools. Techniques which perform well for generating schedules for unit capaci...

Triboelectric charging and free-fall separation are attractive technologies for lunar mineral beneficiation. Here, an optimised tribocharger design was built evaluated under terrestrial conditions. The behaviour of pure silica ilmenite were tested using the design, as mixtures ilmenite, samples regolith simulant JSC-1. Pure acquired negative positive charge, respectively, through contact with t...

In context-aware computing, the context aggregation is an important function of the context management. In an infrastructure-based smart space, a centralized context management system need not concern about its resource consumption for context aggregation. However, in a personal smart space which consists of only resource-constrained mobile devices, not only global resource consumption of the p...

Resource-bounded measure is a generalization of classical Lebesgue measure that is useful in computational complexity. The central parameter of resource-bounded measure is the resource bound ∆, which is a class of functions. When ∆ is unrestricted, i.e., contains all functions with the specified domains and codomains, resource-bounded measure coincides with classical Lebesgue measure. On the ot...

Resource-bounded measure is a generalization of classical Lebesgue measure that is useful in computational complexity. The central parameter of resource-bounded measure is the resource bound ∆, which is a class of functions. When ∆ is unrestricted, i.e., contains all functions with the specified domains and codomains, resource-bounded measure coincides with classical Lebesgue measure. On the ot...