In this paper we give a new abstract framework for the study of Knuth-Bendix type completion procedures, which are regarded as semidecision procedures for theorem proving. First, we extend the classical proof ordering approach started in [6] in such a way that proofs of different theorems can also be compared. This is necessary for the application of proof orderings to theorem proving derivatio...

We report procedures to allow incorporation and detection of 5-ethynyl-2'-deoxyuridine (EdU) in fission yeast, a thymidine analogue which has some technical advantages over use of bromodeoxyuridine. Low concentrations of EdU (1 µM) are sufficient to allow detection of incorporation in cells expressing thymidine kinase and human equilibrative nucleoside transporter 1 (hENT1). However EdU is toxi...

In the high-level synthesis domain, the integration of user defined RT components in the algorithmic specification plays an important role. The implementation of VHDL models emulating specific functional and timing behavior at the algorithmic level is expensive and time-consuming. Moreover, particular functional and timing behavior can only be implemented at the RT level, e.g. interrupt handlin...

Positron emission tomography (PET) is a powerful noninvasive tool for acquisition of the physiological parameters in human and animals with the help of PET tracers. Among all the PET tracers, radiolabeled peptides have been widely explored for cancer-related receptor imaging due to their high affinity and specificity to receptors. But radiochemistry procedures for production of peptide-based PE...

Recent advances in nanoscience and nanotechnology have also led to the development of novel nanomaterials, which ultimately increase potential health and environmental hazards. Interest in developing environmentally benign procedures for the synthesis of metallic nanoparticles has been increased. The purpose is to minimize the negative impacts of synthetic procedures, their accompanying chemica...