The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Chinese hamster ovary cells produce sufficient recombinant insulin-like growth factor I to support growth in serum-free medium - Serum-free growth of IGF-I producing CHO cells

Insulin-like growth factor I has similar mitogenic effects to insulin, a growth factor required by most cells in culture, and it can replace insulin in serum-free formulations for some cells. Chinese Hamster Ovary cells grow well in serum-free medium with insulin and transferrin as the only exogenous growth factors. An alternative approach to addition of exogenous growth factors to serum-free medium is transfection of host cells with growth factor-encoding genes, permitting autocrine growth. Taking this approach, we constructed an IGF-I heterologous gene driven by the cytomegalovirus promoter, introduced it into Chinese Hamster Ovary cells and examined the growth characteristics of Insulin-like growth factor I-expressing clonal cells in the absence of the exogenous factor. The transfected cells secreted up to 500 ng/10(6) cells/day of mature Insulin-like growth factor I into the conditioned medium and as a result they grew autonomously in serum-free medium containing transferrin as the only added growth factor. This growth-stimulating effect, observed under both small and large scale culture conditions, was maximal since no further improvement was observed in the presence of exogenous insulin.

Expression of recombinant human follicle stimulating hormone mRNA in Chinese hamster ovary cells under different promoters

Levels of recombinant human follicle stimulating hormone (r-hFSH) mRNA expressed under butyrate and zinc treatment were compared in two CHO-K1 derived cell lines. In King cells under the metallothionein promoter, butyrate induced the increase in both r-hFSH productivity (q(FSH)) and mRNA levels proportionally. In the presence of 1 mM butyrate and 40 mu M zinc, a 4-fold increase in q(FSH) and mRNA levels was achieved as compared to zinc (40) alone; this wasa approximately 6 times higher than in serum free medium. In Darren cells under the beta-actin promotor butyrate induced an increase in q(SFH) but not in mRNA levels.

Leprosy in transplant recipients: report of a case after liver transplantation and review of the literature

P>Leprosy still is an important public health problem in several parts of the world including Brazil. Unlike the diseases caused by other mycobacteria, the incidence and clinical presentation of leprosy seems little affected in immunosuppressed patients. We report the first case, to our knowledge, of a liver transplant patient who developed multi-bacillary leprosy. The patient presented with papules and infiltrated plaques with loss of sensation suggestive of leprosy 3.5 years after living-related liver transplantation for autoimmune hepatitis. A skin biopsy showing non-caseating macrophagic granulomas, neuritis, and intact acid-fast bacilli on Fite-Faraco stain, confirmed the diagnosis of borderline lepromatous leprosy. The donor of the liver did not show any evidence of leprosy. During follow-up, the patient presented 2 episodes of upgrading leprosy type I reactions, 1 mild before leprosy treatment, and 1 moderate 3 months after receiving standard multi-drug treatment (rifampicin, clofazimine, and dapsone). These reactions were accompanied by increase in liver function tests, especially of canalicular enzymes. This reaction occurred despite the patient`s triple immunosuppression regimen. The moderate reaction was successfully treated with further immunosuppression (prednisone, 0.5 mg/kg). Currently, the patient is asymptomatic, off leprosy medication, with routine liver transplant follow-up. The dilemmas in diagnosis and management of such a case are discussed and the literature on leprosy in transplant recipients is reviewed.

Effects of process modification and heat pump drying on physical and sensory properties of Chinese style shredded beef

Chinese-style dried, shredded meat is traditionally prepared by sequential cooking, shredding, pre-drying, and final drying (roasting) of lean meat. In this study, shredded dried beef (a(w)<0.6) was prepared by omitting roasting but prolonging pre-drying. Sensory scores of the modified product were lower than those for the traditional product. When heat pump drying replaced traditional oven drying, drying time was shortened without significant difference in quality attributes. Desorption curves were established for shredded beef at several drying temperatures.

Chinese wool auctions: Failed agribusiness reform or future marketing channel?

The spectacular though short-lived operation of China's wool auctions graphically illustrates problems in reforming China's agribusiness sector. A selective coverage of product type and participants, a highly contrived process of price discovery, and an urgent need for parallel reform in related areas all led to the demise of the auctions and are a barrier to their re-emergence as a viable wool marketing channel. Despite the challenges facing wool auctions, this paper argues that they still have much to offer the marketing of wool in China.