Libraries mechanically encoded

Radiofrequency tags encapsulated in grafted functionalized polymers have recently been reported (53), as have laser optical-encoded ceramics with grafted polystyrene supports (54). These devices have the properties of really big beads that contain the identifying tag and thus combine the features of chemically encoded libraries with the advantages of mechanically encoded libraries. 

Mechanically encoded libraries are best suited to synthesis of individual compounds rather than mixtures. The amount of each compound produced can be small or large and is limited only by the size of the packets and related physical limitations. Since reactions can be carried out in conventional glassware, mechanically encoded libraries offer an inexpensive entry into large-library synthesis. The method is applicable throughout most of the dmg discovery process with the possible exception of the very earliest discovery phase and the very latest candidate selection phase. 

In (Cau and Moszkowski 1996) we have embedded the ITL proof system within the Prototype Verification System (PVS). Some of the proofs generated in the paper are mechanically checked, see appendix for the ITL specification of the EP/3 encoded in PVS using the ITL library. Part of the refinement calculus of (Cau and Zedan 1997) has also been incorporated into PVS, so that refinement can also be mechanically checked (Cau et al. 1997). Furthermore a link between PVS and the Tempura simulator will be built which allows executable ITL specifications derived with PVS to be executed. So a general development tool is constructed in which you can verify, refine and execute TIL specifications. 

As discussed in Section IV,G the existence of episomes encoding hypervariable regions would account for the unusual pattern of amino acid substitutions seen in those regions (67). Where a large library of episomes would be stored in the cell and how they would be mobilized are difficult questions to answer on the basis of known genetic mechanisms. 

---