Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased function. However, shoulder arthroplasty is less successful than hip and knee replacement, mostly due to the complexity of the shoulder joint and the resultant complexity of the replacement operation. In this paper we p...

Machine recognition of mathematical expressions is not trivial even when all the individual characters and symbols in an expression can be recognized correctly. In this paper, we propose to use de"nite clause grammar (DCG) as a formalism to de"ne a set of replacement rules for parsing mathematical expressions. With DCG, we are not only able to de"ne the replacement rules concisely, but their de...

The kernel embedding of distributions is a popular machine learning technique to manipulate probability distributions and is an integral part of numerous applications. Its empirical counterpart is an estimate from a finite set of samples from the distribution under consideration. However, for large-scale learning problems the empirical kernel embedding becomes infeasible to compute and approxim...

We have developed an image-directed robotic system to augment the performance of human surgeons in precise bone machining procedures in orthopaedic surgery, initially targeted at cementless total hip replacement surgery. The total system consists of an interactive CT-based presurgical planning component and a surgical system consisting of a robot, redundant motion monitoring, and man-machine in...

We consider partially observable Markov decision processes with finite or countably infinite (core) state and observation spaces and finite action set. Following a standard approach, an equivalent completely observed problem is formulated, with the same finite action set but with an uncountable state space, namely the space of probability distributions on the original core state space. By devel...

Machine recognition of mathematical expressions is not trivial even when all the individual characters and symbols in an expression can be recognized correctly. In this paper, we propose to use Deenite Clause Grammar (DCG) as a formalism to deene a set of replacement rules for parsing mathematical expressions. With DCG, we are not only able to deene the replacement rules concisely, but their de...

Therapeutic plasma exchange (TPE) or plasmapheresis involves the separation of plasma from whole blood. In so doing, plasma-borne humoral disease mediators are removed from the body. This can attenuate the course and severity of the underlying disease. Diseases that can be treated with TPE are classified into the following categories: (1) endocrinological, (2) neurological, (3) renal/rheumatolo...

This paper proposes a stochastic model of investment with embodied technological progress, in which ...rms invest not only to expand the capacity as in Pindyck (1988) but also to replace old machines. The scrapping decision or the age of the oldest machine is then endogenous and evolves stochastically. Uncertainty increases the optimal age of the machines in use, and due to uncertainty, not onl...

When data analysis applicationsare employed in a multiclient environment, a data server must service multiple simultaneous queries, each of which may employ complex user-defined data structures and operations on the data. It is then necessary to harness interand intra-query commonalitiesand system resources to improve the performance of the data server. We have developed a framework and customi...