Imperial College London

About: Imperial College London is a education organization based out in London, Westminster, United Kingdom. It is known for research contribution in the topics: Population & Medicine. The organization has 90019 authors who have published 209164 publications receiving 9337534 citations. The organization is also known as: Imperial College of Science, Technology and Medicine & Imperial College.

The Semantics of Predicate Logic as a Programming Language

Abstract: Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.

Declining biodiversity can alter the performance of ecosystems

Abstract: COMMUNITIES of species and their associated biological, chemical and physical processes, collectively known as ecosystems, drive the Earth's biogeochemical processes1,2. Currently most ecosystems are experiencing loss of biodiversity associated with the activities of human expansion3–5, raising the issue of whether the biogeochemical functioning of ecosystems will be impaired by this loss of species6–8. Current ecological knowledge supports a wide range of views on the subject9–13, but empirical tests are few9,14–16. Here we provide evidence from direct experimental manipulation of diversity by over an order of magnitude, using multi-trophic level communities and simultaneous measures of several ecosystem processes, that reduced biodiversity may indeed alter the performance of ecosystems.

The Genome of the African Trypanosome Trypanosoma brucei

Abstract: African trypanosomes cause human sleeping sickness and livestock trypanosomiasis in sub-Saharan Africa. We present the sequence and analysis of the 11 megabase-sized chromosomes of Trypanosoma brucei. The 26-megabase genome contains 9068 predicted genes, including ∼900 pseudogenes and ∼1700 T. brucei–specific genes. Large subtelomeric arrays contain an archive of 806 variant surface glycoprotein (VSG) genes used by the parasite to evade the mammalian immune system. Most VSG genes are pseudogenes, which may be used to generate expressed mosaic genes by ectopic recombination. Comparisons of the cytoskeleton and endocytic trafficking systems with those of humans and other eukaryotic organisms reveal major differences. A comparison of metabolic pathways encoded by the genomes of T. brucei, T. cruzi, and Leishmania major reveals the least overall metabolic capability in T. brucei and the greatest in L. major. Horizontal transfer of genes of bacterial origin has contributed to some of the metabolic differences in these parasites, and a number of novel potential drug targets have been identified.

A pathogenic mutation for probable Alzheimer's disease in the APP gene at the N-terminus of beta-amyloid.

Abstract: Mutations at codon 717 in exon 17 of the beta-amyloid precursor protein (APP) gene have previously been shown to segregate with early onset Alzheimer's disease in some families. We have identified a double mutation at codons 670 and 671 (APP 770 transcript) in exon 16 which co-segregates with the disease in two large (probably related) early-onset Alzheimer's disease families from Sweden. Two base pair transversions (G to T, A to C) from the normal sequence predict Lys to Asn and Met to Leu amino acid substitutions at codons 670 and 671 of the APP transcript. This mutation occurs at the amino terminal of beta-amyloid and may be pathogenic because it occurs at or close to the endosomal/lysosomal cleavage site of the molecule. Thus, pathogenic mutations in APP frame the beta-amyloid sequence.