Objective(s): Gallium‐68 (Ga‐68) is an ideal research and hospital‐based PET radioisotope. Currently, the main form of Ga‐68 radiopharmaceutical that is being synthesised in‐house is Ga‐68 conjugated with DOTA based derivatives. The development of automated synthesis systems has increased the reliability, reproducibility and safety of radiopharmaceutical productions. Here we report on our three...

In this paper we present the theorem prover SBR3 for equational logic and its application in the many-valued logic of Lukasiewicz. We give a new equational axiomatization of many-valued logic and we prove by SBR3 that it is equivalent to the classical equational presentation of such logic given by Wajsberg. We feel that our equational axiomatization of Wajsberg algebras is more suited for autom...

We present a number of alternative ways of handling transitive binary relations that commonly occur in first-order problems, in particular equivalence relations, total orders, and reflexive, transitive relations. We show how such relations can be discovered syntactically in an input theory. We experimentally evaluate different treatments on problems from the TPTP, using resolution-based reasoni...

We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieved through an interaction of the HR machine learning system, the Otter theorem prover and the Mace model generator, and uses methods inspired by Lakatos’s philosophy of mathematics. We demonstrate the effectiveness of ...

We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result (i.e. that a knot is the unknot), whilst simultaneously using a model finder to try to establish a negative result (i.e. that the knot is not the unknot). The th...

Background: Since the introduction of the first radioimmunoassay, several improvements have been made in the design of immunoassays such as method of antibody production, labeling, automation and detection technology. We performed an analytical evaluation of the new electrochemiluminescent immunoassay (ECLIA) for serum TSH, FT4 and T3 in the Elecsys 2010 immunoassay system and compared the resu...