We present an approach to semantics-based statistical machine translation that uses synchronous hyperedge replacement grammars to translate into and from graph-shaped intermediate meaning representations, to our knowledge the first work in NLP to make use of synchronous context free graph grammars. We present algorithms for each step of the semantics-based translation pipeline, including a nove...

For the aim of system health management, equipment and components are inspected periodically by manual or automatic systems to monitor their condition and to identify their level of degradation. A decision is then taken regarding replacement or maintenance, and this is based upon an analysis of the monitored data. In this view maintenance is carried out when a measurable machine condition shows...

One of commonly used approach to enhance the Web performance is Web proxy caching technique. In Web proxy caching, Least-Frequently-Used-Dynamic-Aging (LFU-DA) is one of the common proxy cache replacement methods, which is widely used in Web proxy cache management. LFU-DA accomplishes a superior byte hit ratio compared to other Web proxy cache replacement algorithms. However, LFU-DA may suffer ...

The provision of continuous renal replacement therapies (CRRT) to small children has generally required the adaptation of adult machines and modified operational characteristics. CRRT prescription for younger and smaller children versus adults differs significantly due to problems concerning the extracorporeal blood volume, the need for circuit blood priming, and the adaptation of machines desi...

Capital cost, resale value and running cost including maintenance costs, repairing costs, and operation costs of equipment are considered as crisp numbers in ordinary replacement problem. Nevertheless, in a special situation such as operating military equipments during wartime, the working efficiency of the machine and its related costs are no longer crisp but uncertain. This uncertainty can be...

In this note we show how the main result of Lou et al. [2] can be generalized to an unreliable machine with various quality levels. We consider a single machine which can process parts of di erent types. The machine can process at most one part at a time and it needs a setup period whenever it switches from one part-type to another. Parts enter the system in type-speci c input rates and require...