Giving and Receiving: Nuruddin Farah's Gifts, or, the Postcolonial Logic of Third World Aid

Woods, T. (2003). Giving and Receiving: Nuruddin Farah's Gifts, or, the Postcolonial Logic of Third World Aid. Journal of Commonwealth Literature, 38 (1), 91-112.

Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light

Chungui Lu, Olga A. Koroleva, John F. Farrar, Joe Gallagher, Chris J. Pollock, and A. Deri Tomos (2002). Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light. Plant Physiology, 130 (3) pp.1335-1348 Sponsorship: BBSRC RAE2008

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

An Infinite Pebble Game and Applications

We generalize the well-known pebble game to infinite dag's, and we use this generalization to give new and shorter proofs of results in different areas of computer science (as diverse as "logic of programs" and "formal language theory"). Our applications here include a proof of a theorem due to Salomaa, asserting the existence of a context-free language with infinite index, and a proof of a theorem due to Tiuryn and Erimbetov, asserting that unbounded memory increases the power of logics of programs. The original proofs by Salomaa, Tiuryn, and Erimbetov, are fairly technical. The proofs by Tiuryn and Erimbetov also involve advanced techniques of model theory, namely, back-and-forth constructions based on a variant of Ehrenfeucht-Fraisse games. By contrast, our proofs are not only shorter, but also elementary. All we need is essentially finite induction and, in the case of the Tiuryn-Erimbetov result, the compactness and completeness of first-order logic.

Self-Organizing Grammar Induction Using a Neural Network Model

This paper presents a self-organizing, real-time, hierarchical neural network model of sequential processing, and shows how it can be used to induce recognition codes corresponding to word categories and elementary grammatical structures. The model, first introduced in Mannes (1992), learns to recognize, store, and recall sequences of unitized patterns in a stable manner, either using short-term memory alone, or using long-term memory weights. Memory capacity is only limited by the number of nodes provided. Sequences are mapped to unitized patterns, making the model suitable for hierarchical operation. By using multiple modules arranged in a hierarchy and a simple mapping between output of lower levels and the input of higher levels, the induction of codes representing word category and simple phrase structures is an emergent property of the model. Simulation results are reported to illustrate this behavior.

Comparison of deterministic, stochastic and fuzzy logic uncertainty modelling for capacity extension projects of DI/WFI pharmaceutical plant utilities with variable/dynamic demand

The last 30 years have seen Fuzzy Logic (FL) emerging as a method either complementing or challenging stochastic methods as the traditional method of modelling uncertainty. But the circumstances under which FL or stochastic methods should be used are shrouded in disagreement, because the areas of application of statistical and FL methods are overlapping with differences in opinion as to when which method should be used. Lacking are practically relevant case studies comparing these two methods. This work compares stochastic and FL methods for the assessment of spare capacity on the example of pharmaceutical high purity water (HPW) utility systems. The goal of this study was to find the most appropriate method modelling uncertainty in industrial scale HPW systems. The results provide evidence which suggests that stochastic methods are superior to the methods of FL in simulating uncertainty in chemical plant utilities including HPW systems in typical cases whereby extreme events, for example peaks in demand, or day-to-day variation rather than average values are of interest. The average production output or other statistical measures may, for instance, be of interest in the assessment of workshops. Furthermore the results indicate that the stochastic model should be used only if found necessary by a deterministic simulation. Consequently, this thesis concludes that either deterministic or stochastic methods should be used to simulate uncertainty in chemical plant utility systems and by extension some process system because extreme events or the modelling of day-to-day variation are important in capacity extension projects. Other reasons supporting the suggestion that stochastic HPW models are preferred to FL HPW models include: 1. The computer code for stochastic models is typically less complex than a FL models, thus reducing code maintenance and validation issues. 2. In many respects FL models are similar to deterministic models. Thus the need for a FL model over a deterministic model is questionable in the case of industrial scale HPW systems as presented here (as well as other similar systems) since the latter requires simpler models. 3. A FL model may be difficult to "sell" to an end-user as its results represent "approximate reasoning" a definition of which is, however, lacking. 4. Stochastic models may be applied with some relatively minor modifications on other systems, whereas FL models may not. For instance, the stochastic HPW system could be used to model municipal drinking water systems, whereas the FL HPW model should or could not be used on such systems. This is because the FL and stochastic model philosophies of a HPW system are fundamentally different. The stochastic model sees schedule and volume uncertainties as random phenomena described by statistical distributions based on either estimated or historical data. The FL model, on the other hand, simulates schedule uncertainties based on estimated operator behaviour e.g. tiredness of the operators and their working schedule. But in a municipal drinking water distribution system the notion of "operator" breaks down. 5. Stochastic methods can account for uncertainties that are difficult to model with FL. The FL HPW system model does not account for dispensed volume uncertainty, as there appears to be no reasonable method to account for it with FL whereas the stochastic model includes volume uncertainty.

Induction of tissue resorption in globiferous pedicellariae of the echinoid Sphaerechinus granularis

info:eu-repo/semantics/published

Induction of the mucosal immune response

info:eu-repo/semantics/published

Chondrogenesis of adult stem cells from adipose tissue and bone marrow: induction by growth factors and cartilage-derived matrix.

OBJECTIVES: Adipose-derived stem cells (ASCs) and bone marrow-derived mesenchymal stem cells (MSCs) are multipotent adult stem cells with potential for use in cartilage tissue engineering. We hypothesized that these cells show distinct responses to different chondrogenic culture conditions and extracellular matrices, illustrating important differences between cell types. METHODS: Human ASCs and MSCs were chondrogenically differentiated in alginate beads or a novel scaffold of reconstituted native cartilage-derived matrix with a range of growth factors, including dexamethasone, transforming growth factor beta3, and bone morphogenetic protein 6. Constructs were analyzed for gene expression and matrix synthesis. RESULTS: Chondrogenic growth factors induced a chondrocytic phenotype in both ASCs and MSCs in alginate beads or cartilage-derived matrix. MSCs demonstrated enhanced type II collagen gene expression and matrix synthesis as well as a greater propensity for the hypertrophic chondrocyte phenotype. ASCs had higher upregulation of aggrecan gene expression in response to bone morphogenetic protein 6 (857-fold), while MSCs responded more favorably to transforming growth factor beta3 (573-fold increase). CONCLUSIONS: ASCs and MSCs are distinct cell types as illustrated by their unique responses to growth factor-based chondrogenic induction. This chondrogenic induction is affected by the composition of the scaffold and the presence of serum.

Lactic acidosis triggers starvation response with paradoxical induction of TXNIP through MondoA.

Although lactic acidosis is a prominent feature of solid tumors, we still have limited understanding of the mechanisms by which lactic acidosis influences metabolic phenotypes of cancer cells. We compared global transcriptional responses of breast cancer cells in response to three distinct tumor microenvironmental stresses: lactic acidosis, glucose deprivation, and hypoxia. We found that lactic acidosis and glucose deprivation trigger highly similar transcriptional responses, each inducing features of starvation response. In contrast to their comparable effects on gene expression, lactic acidosis and glucose deprivation have opposing effects on glucose uptake. This divergence of metabolic responses in the context of highly similar transcriptional responses allows the identification of a small subset of genes that are regulated in opposite directions by these two conditions. Among these selected genes, TXNIP and its paralogue ARRDC4 are both induced under lactic acidosis and repressed with glucose deprivation. This induction of TXNIP under lactic acidosis is caused by the activation of the glucose-sensing helix-loop-helix transcriptional complex MondoA:Mlx, which is usually triggered upon glucose exposure. Therefore, the upregulation of TXNIP significantly contributes to inhibition of tumor glycolytic phenotypes under lactic acidosis. Expression levels of TXNIP and ARRDC4 in human cancers are also highly correlated with predicted lactic acidosis pathway activities and associated with favorable clinical outcomes. Lactic acidosis triggers features of starvation response while activating the glucose-sensing MondoA-TXNIP pathways and contributing to the "anti-Warburg" metabolic effects and anti-tumor properties of cancer cells. These results stem from integrative analysis of transcriptome and metabolic response data under various tumor microenvironmental stresses and open new paths to explore how these stresses influence phenotypic and metabolic adaptations in human cancers.

Muscle Logic: New Knowledge Resource for Anatomy Enables Comprehensive Searches of the Literature on the Feeding Muscles of Mammals.

BACKGROUND: In recent years large bibliographic databases have made much of the published literature of biology available for searches. However, the capabilities of the search engines integrated into these databases for text-based bibliographic searches are limited. To enable searches that deliver the results expected by comparative anatomists, an underlying logical structure known as an ontology is required. DEVELOPMENT AND TESTING OF THE ONTOLOGY: Here we present the Mammalian Feeding Muscle Ontology (MFMO), a multi-species ontology focused on anatomical structures that participate in feeding and other oral/pharyngeal behaviors. A unique feature of the MFMO is that a simple, computable, definition of each muscle, which includes its attachments and innervation, is true across mammals. This construction mirrors the logical foundation of comparative anatomy and permits searches using language familiar to biologists. Further, it provides a template for muscles that will be useful in extending any anatomy ontology. The MFMO is developed to support the Feeding Experiments End-User Database Project (FEED, https://feedexp.org/), a publicly-available, online repository for physiological data collected from in vivo studies of feeding (e.g., mastication, biting, swallowing) in mammals. Currently the MFMO is integrated into FEED and also into two literature-specific implementations of Textpresso, a text-mining system that facilitates powerful searches of a corpus of scientific publications. We evaluate the MFMO by asking questions that test the ability of the ontology to return appropriate answers (competency questions). We compare the results of queries of the MFMO to results from similar searches in PubMed and Google Scholar. RESULTS AND SIGNIFICANCE: Our tests demonstrate that the MFMO is competent to answer queries formed in the common language of comparative anatomy, but PubMed and Google Scholar are not. Overall, our results show that by incorporating anatomical ontologies into searches, an expanded and anatomically comprehensive set of results can be obtained. The broader scientific and publishing communities should consider taking up the challenge of semantically enabled search capabilities.

Induction of anti-myelin antibodies in EAE and their possible role in demyelination.

Experimental allergic encephalomyelitis is characterized by invasion of lymphocytes and macrophages into the central nervous system resulting in inflammation, edema, and demyelination. Sera from Lewis rats from 7-95 days after immunization with purified guinea pig CNS myelin were examined with respect to their ability to opsonize myelin. This was correlated with the appearance of antibody components and the relative amounts of antibody to myelin basic protein (MBP) and proteolipid protein (PLP). Sera from rats 10-95 days after immunization preincubated with purified myelin induced phagocytosis of myelin by cultured macrophages with the resulting production of cholesterol ester. This opsonization activity as measured by the percentage of cholesterol esterified reached a peak at 26-27 days after immunization but remained significantly elevated up to 95 days post-immunization compared to the activity of serum from the Freund's adjuvant-injected controls. Immunoblots of the sera revealed a gradual increase in antibody activity against myelin components. ELISA assays for MBP and PLP antibody showed a similar pattern. Antibody to galactocerebroside (GC) was not detected by immunostains nor by the ELISA assay. Areas of demyelination were observed histologically by luxol-fast blue stained spinal cords up to 60 days post-immunization. These results indicate that antibodies to myelin protein when given access to myelin through or within the blood brain barrier could initiate or enhance the phagocytic response by peripheral or resident macrophages.

Salvianolic Acid B Inhibits Growth of Cervical Cancer Cells in vitro via Induction of Apoptosis through the Extrinsic Pathway

In 2014 alone, over 12,000 women are expected to be diagnosed with cervical cancer. Of these women who are diagnosed, about 3,909 will result in death. Despite developments in prevention methods, cervical cancer remains a major health concern for women. Growing evidence suggests that Salvianolic acid B (Sal B), a major component of the Chinese herb Danshen, may inhibit cancer cell growth and help fight against cervical cancer. This study characterizes the potential of Sal B as a cervical cancer drug through in vitro testing on HeLa cells. We hypothesized that application of Sal B to HeLa cells will result in decreased cell viability and increased apoptosis in a dose dependent manner. HeLa cells were treated with varying concentrations of Sal B: 25µM, 50µM, 100µM, and 200µM. Cell viability was determined through colony formation assay, cell death ELISA, and nuclear morphology. An inhibitor study was also conducted for further apoptosis pathway analysis. Colony formation assay demonstrated a significant decrease in cell viability with increasing concentrations of Sal B with 75% viability at 50µM down to 0% viability at 200µM. Cell death ELISA and the analysis of nuclear morphology via Hoechst staining reported significant levels of apoptosis at concentrations equal to 50µM and greater. Furthermore, experiments using caspase inhibitors indicated that Sal B’s apoptotic effects are caspase-8 dependent. In conclusion, our results demonstrate that Sal B inhibits cancer cell growth by a mechanism that involves apoptosis induction through the extrinsic pathway.

From clonal selection to immune networks: induction of silent idiotypes.

Journal Article

A reified temporal logic

This paper presents a reified temporal logic for representing and reasoning about temporal and non-temporal relationships between non-temporal assertions. A clear syntax and semantics for the logic is formally provided. Three types of predicates, temporal predicates, non-temporal predicates and meta-predicates, are introduced. Terms of the proposed language are partitioned into three types, temporal terms, non-temporal terms and propositional terms. Reified propositions consist of formulae with each predicate being either a temporal predicate or a meta-predicate. Meta-predicates may take both temporal terms and propositional terms together as arguments or take propositional terms alone. A standard formula of the classical first-order language with each predicate being a non-temporal predicate taking only non-temporal terms as arguments is reified as just a propositional term. A general time ontology has been provided which can be specialized to a variety of existing temporal systems. The new logic allows one to predicate and quantify over propositional terms while according a special status of time; for example, assertions such as ‘effects cannot precede their causes’ is ensured in the logic, and some problematic temporal aspects including the delay time between events and their effects can be conveniently expressed. Applications of the logic are presented including the characterization of the negation of properties and their contextual sentences, and the expression of temporal relations between actions and effects.