BACKGROUND Diacylglycerol (DAG), which has health-enhancing properties, is sometimes added to bakery shortening to produce baked products with enhanced physical functionality. Nevertheless, the quantity present is often too little to exert any positive healthful effects. This research aimed to produce bakery shortenings containing significant amounts of palm diacyglycerol (PDG). Physicochemical...

A metastable copper(II) 3D hybrid with 4,4'-bipyridine (4,4'-bipy) and P,P'-diphenylethylenediphosphinate (pc2p(2-)) undergoes a spontaneous, quantitative, transformation to a stable 2D polymorphic species either spontaneously in water, or after thermal dehydration followed by hydration.

PURPOSE The aim of this study was to determine the progressive processes of polymorphic transformation of different gabapentin (GBP) polymorphs by using hot-stage Fourier transform infrared (FTIR) microspectroscopy. METHODS Four polymorphs of GBP were previously prepared and then identified by differential scanning calorimetry (DSC), thermogravimetric (TG) analysis, FTIR microspectroscopy and...

This thesis describes a new implementation architecture for polymorphic methods in Generic Java using the NextGen compiler framework. The standard Generic Java (Java 1.5) compiler erases generic types at compilation. This transformation prohibits type-dependent operations, limiting generic expressivity. Type erasure causes unchecked warnings at compilation, and unexpected behavior or exceptions...

We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin and one by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close to that of hand-written proofs and compilers. To simplify treatment of fresh variables introduced by the transformation we introduce parameterized first order abstract syntax implemented as a polymorphic datat...

In this paper, we propose Simplified Regular Expression (SRE) signature, which uses multiple sequence alignment techniques, drawn from bioinformatics, in a novel approach to generating more accurate exploit-based signatures. We also provide formal definitions of what is ‘‘a more specific’’ and what is ‘‘the most specific’’ signature for a polymorphic worm and show that the most specific exploit...