− The radioactivity measurement techniques being developed within the EMRP “MetroFission” Joint Research Project (JRP) [1], are aimed at performing on-site activity measurements, by the development of a portable Triple to Double Coincidence Ratio (TDCR) system along with associated digital electronics. The TDCR standardisation method for beta-emitting radionuclides (e.g. H and Pu) produces an e...

Drospirinone is a new generation of progestogen that possesses antimineralocorticoid effect. Progestogen of this type has been used as a component in combined contraceptives. The combined contraceptives of old generation contained progestogen component of testosterone derivative. Progestogen of this type does not have antimineralcorticoid effect, such that it could cause fluid retention. As a r...

Many sensor networks have been deployed to monitor Earth's environment, and more will follow in the future. Environmental sensors have improved continuously by becoming smaller, cheaper, and more intelligent. Due to the large number of sensor manufacturers and differing accompanying protocols, integrating diverse sensors into observation systems is not straightforward. A coherent infrastructure...

Formal methods have been considered one possible solution to the so-called software crisis. Tools are valuable companions to formal methods: they assist in analysis and understanding of formal speci cations and enable the use of rigorous techniques in industrial projects. In this paper, an overview of the new DisCo toolset is given. DisCo is a formal speci cation method for reactive and distrib...

The analytic center cutting plane method (ACCPM) is one of successful methods to solve nondifferentiable optimization problems. In this paper ACCPM is used for the first time in the vehicle routing problem with time windows (VRPTW) to accelerate lagrangian relaxation procedure for the problem. At first the basic cutting plane algorithm and its relationship with column generation method is clari...

Iron overload from genetic disorders and/or regular blood transfusions is a serious health problem in many regions of the world. As liver and spleen iron stores account for more than 70 % of total body iron stores, the precise quantification and the continuous monitoring of these stores is of particular importance in the diagnosis and treatment of these disorders. During the last two decades se...

Parasites cause some of the most devastating and prevalent diseases in humans and animals. Moreover, parasitic infections increase mortality rates of other serious non-parasitic infections caused by pathogens such as HIV-1. The impact of parasitic diseases in both industrialised and developing countries is further exacerbated by the resistance of some parasites to anti-parasitic drugs and the a...

We present recent developments on the implementation of a new PEPA Workbench, a cross-platform application for editing, analysing, and output management of PEPA models. The workbench is designed on top of the Eclipse API, allowing it to be plugged into the Eclipse IDE, as well as released as a standalone application. The new workbench employs improved static and dynamic analysis features and us...

This paper describes an investigation into the development of a new generation of threephase rectifier, used to power telecommunications equipment. Traditionally, the topology used is a single-phase two-stage design, with a boost converter at the input to the first stage and an isolated dcdc converter making up the second stage. The boost converter provides power factor correction which is nece...