Modular alpha-helical mimetics with antiviral activity against respiratory syncitial virus

A 13-residue peptide sequence from a respiratory syncitial virus fusion protein was constrained in an alpha-helical conformation by fusing two back-to-back cyclic alpha-turn mimetics. The resulting peptide, Ac-(3 -> 7; 8 -> 12)-bicyclo-FP[KDEFD][KSIRD]V-NH2, was highly alpha-helical in water by CD and NMR spectroscopy, correctly positioning crucial binding residues (F488, I491, V493) on one face of the helix and side chain-side chain linkers on a noninteracting face of the helix. This compound displayed potent activity in both a recombinant fusion assay and an RSV antiviral assay (IC50 = 36 nM) and demonstrates for the first time that back-to-back modular alpha-helix mimetics can produce functional antagonists of important protein-protein interactions.

Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.

A technique for modular logic program refinement

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we introduce modules into a logic programming refinement calculus. Modules allow data types to be grouped together with sets of procedures that manipulate the data types. By placing restrictions on the way a program uses a module, we develop a technique for refining the module so that it uses a more efficient representation of the data type.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Virtual models of the HLA class I antigen processing pathway

Antigen recognition by cytotoxic CD8 T cells is dependent upon a number of critical steps in MHC class I antigen processing including proteosomal cleavage, TAP transport into the endoplasmic reticulum, and MHC class 1 binding. Based on extensive experimental data relating to each of these steps there is now the capacity to model individual antigen processing steps with a high degree of accuracy. This paper demonstrates the potential to bring together models of individual antigen processing steps, for example proteosome cleavage, TAP transport, and MHC binding, to build highly informative models of functional pathways. In particular, we demonstrate how an artificial neural network model of TAP transport was used to mine a HLA-binding database so as to identify H LA-binding peptides transported by TAP. This integrated model of antigen processing provided the unique insight that HLA class I alleles apparently constitute two separate classes: those that are TAP-efficient for peptide loading (HLA-B27, -A3, and -A24) and those that are TAP-inefficient (HLA-A2, -B7, and -B8). Hence, using this integrated model we were able to generate novel hypotheses regarding antigen processing, and these hypotheses are now capable of being tested experimentally. This model confirms the feasibility of constructing a virtual immune system, whereby each additional step in antigen processing is incorporated into a single modular model. Accurate models of antigen processing have implications for the study of basic immunology as well as for the design of peptide-based vaccines and other immunotherapies. (C) 2004 Elsevier Inc. All rights reserved.

Crystallization and preliminary X-ray diffraction studies of FHA domains of Dun1 and Rad53 protein kinases

Forkhead-associated (FHA) domains are modular protein–protein interaction domains of ~130 amino acids present in numerous signalling proteins. FHA-domain-dependent protein interactions are regulated by phosphorylation of target proteins and FHA domains may be multifunctional phosphopeptide-recognition modules. FHA domains of the budding yeast cell-cycle checkpoint protein kinases Dun1p and Rad53p have been crystallized. Crystals of the Dun1-FHA domain exhibit the symmetry of the space group P6122 or P6522, with unit-cell parameters a = b = 127.3, c = 386.3 Å; diffraction data have been collected to 3.1 Å resolution on a synchrotron source. Crystals of the N-terminal FHA domain (FHA1) of Rad53p diffract to 4.0 Å resolution on a laboratory X-ray source and have Laue-group symmetry 4/mmm, with unit-cell parameters a = b = 61.7, c = 104.3 Å.

Pyramidal neurones in macaque visual cortex: Interareal phenotypic variation of dendritic branching patterns

The basal dendritic arbors of over 500-layer III pyramidal neurones of the macaque cortex were compared by fractal analyses, which provides a measure of the space filling (or branching pattern) of dendritic arbors. Fractal values (D) of individual cells were compared between the cytochrome oxidase (CO)-rich blobs and CO-poor interblobs, of middle and upper layer III, and between sublaminae, in the primary visual area (Vi). These data were compared with those in the CO compartments in the second visual area (V2), and seven other extrastriate cortical areas. (V4, MT, LIP, 7a, TEO, TE and STP). There were significant differences in the fractal dimensions, and therefore the dendritic branching patterns, of cells in striate and extrastriate areas. Of the 55 possible pairwise comparisons of fractal dimension of neurones in different cortical areas (or CO compartments), 39 proved to be significantly different. The markedly different morphologies of pyramidal cells in the different cortical areas may be one of the features that determine the functional signatures of these cells by influencing the number of inputs received by, and propagation of potentials through, their dendritic arbors.

A multifunctional polyketide-peptide synthetase essential for albicidin biosynthesis in Xanthomonas albilineans

Albicidins, a family of potent antibiotics and phytotoxins produced by the sugarcane leaf scald pathogen Xanthomonas albilineans, inhibit DNA replication in bacteria and plastids. A gene located by Tn5-tagging was confirmed by complementation to participate in albicidin biosynthesis. The gene (xabB) encodes a large protein (predicted Mr 525695), with a modular architecture indicative of a multifunctional polyketide synthase (PKS) linked to a non-ribosomal peptide synthetase (NRPS). At 4801 amino acids in length, XabB is the largest reported PKS–NRPS. Twelve catalytic domains in this multifunctional enzyme are arranged in the order N terminus–acyl-CoA ligase (AL)–acyl carrier protein (ACP)–ß-ketoacyl synthase (KS)–ß-ketoacyl reductase (KR)–ACP–ACP–KS–peptidyl carrier protein (PCP)–condensation (C)–adenylation–PCP–C. The modular architecture of XabB indicates likely steps in albicidin biosynthesis and approaches to enhance antibiotic yield. The novel pattern of domains, in comparison with known PKS–NRPS enzymes for antibiotic production, also contributes to the knowledge base for rational design of enzymes producing novel antibiotics.