Learn More
We have designed a modular protein tagging system that allows different functionalities to be linked onto a single genetic fusion, either in solution, in living cells, or in chemically fixed cells. The protein tag (HaloTag) is a modified haloalkane dehalogenase designed to covalently bind to synthetic ligands (HaloTag ligands). The synthetic ligands(More)
Cytochrome P450 (P450) assays use probe substrates to interrogate the influence of new chemical entities toward P450 enzymes. We report the synthesis and study of a family of bioluminogenic luciferin acetal substrates that are oxidized by P450 enzymes to form luciferase substrates. The luciferin acetals were screened against a panel of purified P450(More)
Over-expression and purification of soluble and functional proteins remain critical challenges for many aspects of biomolecular research. To address this, we have developed a novel protein tag, HaloTag7, engineered to enhance expression and solubility of recombinant proteins and to provide efficient protein purification coupled with tag removal. HaloTag7(More)
Affinity chromatography is one of the most diverse and powerful chromatographic methods for purification of a specific molecule or a group of molecules from complex mixtures. It is based on highly specific biological interactions between two molecules, such as interactions between enzyme and substrate, receptor and ligand, or antibody and antigen. These(More)
OBJECTIVE To determine whether detection of virus-specific serum antibodies correlates with resistance to challenge with virulent feline herpesvirus 1 (FHV-1), feline calicivirus (FCV), and feline parvovirus (FPV) in cats and to determine percentages of client-owned cats with serum antibodies to FHV-1, FCV, and FPV. DESIGN Prospective experimental study.(More)
13 main() { L1 : if (n==0) ; else { n=n-1; goto L1; } } which can be transformed into the while loop below using Ashcroft and Manna's algorithm [3]: main() { while (n!=0) n=n-1; } It is clear that transformation can be mixed with conventional slicing to produce good approximations to eect minimal slices. The side{eect removal transformations are a way of(More)
Program slicing is a technique by which statements are deleted from a program in such a way as to preserve a projection of the original program's semantics. It is shown that slicing algorithms based upon traditional defined and referenced variable sets do not preserve a projection of strict semantics with respect to computations which cause errors. Rather,(More)
Developments in software engineering have led to models of the system life cycle incorporating the use of prototyping and formal methods of program verification. These are becoming supported by integrated project support environments and permit the planning and monitoring of software development projects. In contrast, Knowledge Based Systems (KBS) are(More)
The RECOUP Project is investigating ways of making old Fortran code more intelligible. In particular, such code is likely to be very unstructured and to have inadequate documentation. We are attempting to solve both these problems.The two groups working on this project are approaching the problem from different angles with a view to meeting in the middle.(More)