O Plan is a command planning and control ar chitecture with an open modular structure in tended to allow experimentation on or replace ment of various components The research is seeking to determine which functions are gener ally required in a number of application areas and across a number of di erent command planning scheduling and control systems O Plan aims to demonstrate how a planner sit ...

My thesis is that backwards time travel can occur without causal loops. Specifically, I shall show that assuming that backwards time travel (‘time travel’ for short) is logically possible, it is logically possible to have a world where time travel occurs and yet no causal loops occur. To formulate this thesis more precisely, I need to distinguish two types of causal loops, closed and open causa...

A semiautomated system for radiotherapy treatment plan quality control (QC), named AutoLock, is presented. AutoLock is designed to augment treatment plan QC by automatically checking aspects of treatment plans that are well suited to computational evaluation, whilst summarizing more subjective aspects in the form of a checklist. The treatment plan must pass all automated checks and all checklis...

A very important issue for business management is how well Information Systems (IS) strategy is supporting its business strategy and direction, in the current and future business and information technology (IT) circumstances. The issue of monitoring, reviewing and maintenance of IS strategies from a strategic perspective, (strategic IS control), have enjoyed little attention by IS researchers i...

This is especially true in smaller companies and those of fairly recent vintage because 401(k)s are likely to be the only retirement program offered in these organizations. But, even in large and old-line businesses in which traditional defined benefit (DB) pension plans remain common, it’s important for employees to take responsibility for their retirement planning and save for retirement in o...

In domains such as factory assembly, it is necessary to assemble many identical instances of a particular product. While modern planners can generate assembly plans for single instances of a complex product, generating plans to manufacture many instances of a product is beyond the capabilities of standard planners. We propose ACP, a system which, given a model of a single instance of a product,...