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.

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.

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.

Identification and characterization of innate immune receptor substrates of γ-secretase enzyme complex

The γ-secretase protease complexes and associated regulated intramembrane proteolysis play an important role in controlling receptor-mediated intracellular signalling events, which have a central role in Alzheimer’s disease, cancer progression and immune surveillance. It has previously been reported that the Interleukin-1 receptor, type 1, (IL-1R1) is a substrate for regulated intramembrane proteolysis, mediated by presenilin (PS)-dependent γ-secretase activity. The aims of this project were twofold. Firstly, to determine the conservation of regulated intramembrane proteolysis as a physiological occurrence amongst other cytokine receptors. In this regard, similar to IL-1R1, we identified the Tumour necrosis factor receptor type 1 (TNFR1) and the Toll like receptor 4 (TLR4) as novel γ-secretase substrates. Secondly, given that the diversity of signalling events mediated by the IL-1R1, TLR4 and TNFR1 are spatially segregated, we investigated the spatial distribution, subcellular trafficking and subcellular occurrence of regulated intramembrane proteolysis of IL-1R1, TLR4 and TNFR1. Using dynasore an inhibitor of clathrin-dependent receptor endocytosis, both ectodomain shedding and γ-secretase-mediated cleavage of IL-1R1 were observed post-internalization. In contrast, TNFR-1 underwent ectodomain shedding at the cell surface followed by endosomal γ-secretase-mediated cleavage. Furthermore, immortalised fibroblasts from PS1-deficient mice showed impaired γ-secretasemediated cleavage of IL-1R1 and TNFR1, indicating that both are cleaved by PS1-and not PS2-containing γ-secretase complexes. Subcellular fractionation and immunofluorescence studies revealed that the γ-secretase generated IL-1R1 ICD translocates to the nucleus on IL-1β stimulation. These observations further demonstrate the novel PS-dependent means of modulating IL-1β, LPS and TNFα- mediated immune responses by regulating IL-1R1/TLR4/TNFR1 protein levels within the cells.

Multiple phenotypic changes in mice after knockout of the B3gnt5 gene, encoding Lc3 synthase--a key enzyme in lacto-neolacto ganglioside synthesis.

BACKGROUND: Ganglioside biosynthesis occurs through a multi-enzymatic pathway which at the lactosylceramide step is branched into several biosynthetic series. Lc3 synthase utilizes a variety of galactose-terminated glycolipids as acceptors by establishing a glycosidic bond in the beta-1,3-linkage to GlcNaAc to extend the lacto- and neolacto-series gangliosides. In order to examine the lacto-series ganglioside functions in mice, we used gene knockout technology to generate Lc3 synthase gene B3gnt5-deficient mice by two different strategies and compared the phenotypes of the two null mouse groups with each other and with their wild-type counterparts. RESULTS: B3gnt5 gene knockout mutant mice appeared normal in the embryonic stage and, if they survived delivery, remained normal during early life. However, about 9% developed early-stage growth retardation, 11% died postnatally in less than 2 months, and adults tended to die in 5-15 months, demonstrating splenomegaly and notably enlarged lymph nodes. Without lacto-neolacto series gangliosides, both homozygous and heterozygous mice gradually displayed fur loss or obesity, and breeding mice demonstrated reproductive defects. Furthermore, B3gnt5 gene knockout disrupted the functional integrity of B cells, as manifested by a decrease in B-cell numbers in the spleen, germinal center disappearance, and less efficiency to proliferate in hybridoma fusion. CONCLUSIONS: These novel results demonstrate unequivocally that lacto-neolacto series gangliosides are essential to multiple physiological functions, especially the control of reproductive output, and spleen B-cell abnormality. We also report the generation of anti-IgG response against the lacto-series gangliosides 3'-isoLM1 and 3',6'-isoLD1.

A beta-adrenergic receptor kinase-like enzyme is involved in olfactory signal termination.

We have previously shown that second-messenger-dependent kinases (cAMP-dependent kinase, protein kinase C) in the olfactory system are essential in terminating second-messenger signaling in response to odorants. We now document that subtype 2 of the beta-adrenergic receptor kinase (beta ARK) is also involved in this process. By using subtype-specific antibodies to beta ARK-1 and beta ARK-2, we show that beta ARK-2 is preferentially expressed in the olfactory epithelium in contrast to findings in most other tissues. Heparin, an inhibitor of beta ARK, as well as anti-beta ARK-2 antibodies, (i) completely prevents the rapid decline of second-messenger signals (desensitization) that follows odorant stimulation and (ii) strongly inhibits odorant-induced phosphorylation of olfactory ciliary proteins. In contrast, beta ARK-1 antibodies are without effect. Inhibitors of protein kinase A and protein kinase C also block odorant-induced desensitization and phosphorylation. These data suggest that a sequential interplay of second-messenger-dependent and receptor-specific kinases is functionally involved in olfactory desensitization.

Adjunctive albuterol enhances the response to enzyme replacement therapy in late-onset Pompe disease.

Effective dosages for enzyme replacement therapy (ERT) in Pompe disease are much higher than for other lysosomal storage disorders, which has been attributed to low cation-independent mannose-6-phosphate receptor (CI-MPR) in skeletal muscle. We have previously demonstrated the benefit of increased CI-MPR-mediated uptake of recombinant human acid-α-glucosidase during ERT in mice with Pompe disease following addition of albuterol therapy. Currently we have completed a pilot study of albuterol in patients with late-onset Pompe disease already on ERT for >2 yr, who were not improving further. The 6-min walk test (6MWT) distance increased in all 7 subjects at wk 6 (30±13 m; P=0.002), wk 12 (34±14 m; P=0.004), and wk 24 (42±37 m; P=0.02), in comparison with baseline. Grip strength was improved significantly for both hands at wk 12. Furthermore, individual subjects reported benefits; e.g., a female patient could stand up from sitting on the floor much more easily (time for supine to standing position decreased from 30 to 11 s), and a male patient could readily swing his legs out of his van seat (hip abduction increased from 1 to 2+ on manual muscle testing). Finally, analysis of the quadriceps biopsies suggested increased CI-MPR at wk 12 (P=0.08), compared with baseline. With the exception of 1 patient who succumbed to respiratory complications of Pompe disease in the first week, only mild adverse events have been reported, including tremor, transient difficulty falling asleep, and mild urinary retention (requiring early morning voiding). Therefore, this pilot study revealed initial safety and efficacy in an open label study of adjunctive albuterol therapy in patients with late-onset Pompe disease who had been stable on ERT with no improvements noted over the previous several years.

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.

Prevalence and incidence of liver enzyme elevations in a pooled oncology clinical trial cohort.

Few epidemiologic studies describe longitudinal liver chemistry (LC) elevations in cancer patients. A population-based retrospective cohort was identified from 31 Phase 2-3 oncology trials (excluding targeted therapies) conducted from 1985 to 2005 to evaluate background rates of LC elevations in patients (n = 3998) with or without liver metastases. Patients with baseline liver metastases (29% of patients) presented with a 3% prevalence of alanine transaminase (ALT) ≥ 3x upper limits normal (ULN) and 0.2% prevalence of bilirubin ≥ 3xULN. During follow-up, the incidence (per 1000 person-months) of new onset ALT elevations ≥3xULN was 6.1 (95% CI: 4.5, 8.0) and 2.2 (95% CI: 0.9, 4.5) in patients without and with liver metastases, respectively. No new incident cases of ALT and bilirubin elevations suggestive of severe liver injury occurred among those with liver metastases; a single case occurred among those without metastasis. Regardless of the presence of liver metastases, LC elevations were rare in cancer patients during oncology trials, which may be due to enrollment criteria. Our study validates uniform thresholds for detection of LC elevations in oncology studies and serves as an empirical referent point for comparing liver enzyme abnormalities in oncology trials of novel targeted therapies. These data support uniform LC stopping criteria in oncology trials.

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.

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Narrating the archive and archiving narrative: the electronic book and the logic of the index

The creation of my hypermedia work Index of Love, which narrates a love story as an archive of moments, images and objects recollected, also articulated for me the potential of the book as electronic text. The book has always existed as both narrative and archive. Tables of contents and indexes allow the book to function simultaneously as linear narrative and non-linear, searchable database. The book therefore has more in common with the so-called 'new media' of the 21st century than it does with the dominant 20th century media of film, video and audiotape, whose logic and mode of distribution are resolutely linear. My thesis is that the non-linear logic of new media brings to the fore an aspect of the book - the index - whose potential for the production of narrative is only just beginning to be explored. When a reader/user accesses an electronic work, such as a website, via its menu, they simultaneously experience it as narrative and archive. The narrative journey taken is created through the menu choices made. Within the electronic book, therefore, the index (or menu) has the potential to function as more than just an analytical or navigational tool. It has the potential to become a creative, structuring device. This opens up new possibilities for the book, particularly as, in its paper based form, the book indexes factual work, but not fiction. In the electronic book, however, the index offers as rich a potential for fictional narratives as it does for factual volumes. [ABSTRACT FROM AUTHOR]