Towards formal specification of a distributed computing system

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

BRCA1 and BRCA2 germline mutation analysis among Indian women from south India: identification of four novel mutations and high-frequency occurrence of 185delAG mutation

Mutations in the BRCA1 and BRCA2 genes profoundly increase the risk of developing breast and/or ovarian cancer among women. To explore the contribution of BRCA1 and BRCA2 mutations in the development of hereditary breast cancer among Indian women, we carried out mutation analysis of the BRCA1 and BRCA2 genes in 61 breast or ovarian cancer patients from south India with a positive family history of breast and/or ovarian cancer. Mutation analysis was carried out using conformation-sensitive gel electrophoresis (CSGE) followed by sequencing. Mutations were identified in 17 patients (28.0%); 15 (24.6%) had BRCA1 mutations and two (3.28%) had BRCA2 mutations. While no specific association between BRCA1 or BRCA2 mutations with cancer type was seen, mutations were more often seen in families with ovarian cancer. While 40% (4/10) and 30.8% (4/12) of families with ovarian or breast and ovarian cancer had mutations, only 23.1% (9/39) of families with breast cancer carried mutations in the BRCA1 and BRCA2 genes. In addition, while BRCA1 mutations were found in all age groups, BRCA2 mutations were found only in the age group of <= 40 years. Of the BRCA1 mutations, there were three novel mutations (295delCA; 4213T -> A; 5267T -> G) G) and three mutations that have been reported earlier. Interestingly, 185delAG, a BRCA1 mutation which occurs at a very high frequency in Ashkenazi Jews, was found at a frequency of 16.4% (10/61). There was one novel mutation (4866insT) and one reported mutation in BRCA2. Thus, our study emphasizes the importance of mutation screening in familial breast and/or ovarian cancers, and the potential implications of these findings in genetic counselling and preventive therapy.

Role of the Central Metal Ion and Ligand Charge in the DNA Binding and Modification by Metallosalen Complexes

Several metal complexes of three different functionalized salen derivatives have been synthesized. The salens differ in terms of the electrostatic character and the location of the charges. The interactions of such complexes with DNA were first investigated in detail by UV−vis absorption titrimetry. It appears that the DNA binding by most of these compounds is primarily due to a combination of electrostatic and other modes of interactions. The melting temperatures of DNA in the presence of various metal complexes were higher than that of the pure DNA. The presence of additional charge on the central metal ion core in the complex, however, alters the nature of binding. Bis-cationic salen complexes containing central Ni(II) or Mn(III) were found to induce DNA strand scission, especially in the presence of co-oxidant as revealed by plasmid DNA cleavage assay and also on the basis of the autoradiogram obtained from their respective high-resolution sequencing gels. Modest base selectivity was observed in the DNA cleavage reactions. Comparisons of the linearized and supercoiled forms of DNA in the metal complex-mediated cleavage reactions reveal that the supercoiled forms are more susceptible to DNA scission. Under suitable conditions, the DNA cleavage reactions can be induced either by preformed metal complexes or by in situ complexation of the ligand in the presence of the appropriate metal ion. Also revealed was the fact that the analogous complexes containing Cu(II) or Cr(III) did not effect any DNA strand scission under comparable conditions. Salens with pendant negative charges on either side of the precursor salicylaldehyde or ethylenediamine fragments did not bind with DNA. Similarly, metallosalen complexes with net anionic character also failed to induce any DNA modification activities.

Inferring molecular function: contributions from functional linkages

In the current era of high-throughput sequencing and structure determination, functional annotation has become a bottleneck in biomedical science. Here, we show that automated inference of molecular function using functional linkages among genes increases the accuracy of functional assignments by >= 8% and enriches functional descriptions in >= 34% of top assignments. Furthermore, biochemical literature supports >80% of automated inferences for previously unannotated proteins. These results emphasize the benefit of incorporating functional linkages in protein annotation.

Quantitation and characterization of glutathionyl haemoglobin as an oxidative stress marker in chronic renal failure by mass spectrometry

Objectives: Glutathionyl haemoglobin (GS-Hb) belonging to the class of glutathionylated proteins has been investigated as a possible marker of oxidative stress in different chronic diseases. The purpose of this study was to examine whether glutathionyl haemoglobin can serve as an oxidative stress marker in non-diabetic chronic renal failure patients on different renal replacement therapies (RRT) through its quantitation, and characterization of the specific binding site of glutathione in haemoglobin molecule by mass spectrometric analysis. Design and methods: The study group consisted of non-diabetic chronic renal failure patients on renal replacement therapy (RRT): hemodialysis (HD), continuous ambulatory peritoneal dialysis (CAPD) and renal allograft transplant (Txp) patients. Haemoglobin samples of these subjects were analyzed by liquid chromatography electrospray ionization mass spectrometry for GS-Hb quantitation. Characterization of GS-Hb was done by tandem mass spectrometry. Levels of erythrocyte glutathione (GSH) and lipid peroxidation (as thiobarbituric acid reacting substances) were measured spectrophotometrically, while glycated baernoglobin (HbA1c) was measured by HPLC. Results: GS-Hb levels were markedly elevated in the dialysis group and marginally in the transplant group as compared to the controls. GS-Hb levels correlated positively with lipid peroxidation and negatively with the erythrocyte glutathione levels in RRT groups indicating enhanced oxidative stress. De novo sequencing of the chymotryptic fragment of GS-Hb established that glutathione is attached to Cys-93 of the beta globin chain. Mass spectrometric quantitation of total glycated haemoglobin showed good agreement with HbA1c estimation by conventional HPLC method. Conclusions: Glutathionyl haemoglobin can serve as a clinical marker of oxidative stress in chronic debilitating therapies like RRT. Mass spectrometry provides a reliable analytical tool for quantitation and residue level characterization of different post-translational modifications of haemoglobin. (c) 2007 The Canadian Society of Clinical Chemists. Published by Elsevier Inc. All rights reserved.

Purification, characterization and molecular cloning of a monocot mannose-binding lectin from Remusatia vivipara with nematicidal activity

A mannose-binding lectin (RVL) was purified from the tubers of Remusatia vivipara, a monocot plant by single-step affinity chromatography on asialofetuin-Sepharose 4B. RVL agglutinated only rabbit erythrocytes and was inhibited by mucin, asialomucin, asialofetuin and thyroglobulin. Lectin activity was stable up to 80A degrees C and under wide range of pH (2.0-9.3). SDS-PAGE and gel filtration results showed the lectin is a homotetramer of Mr 49.5 kDa, but MALDI analysis showed two distinct peaks corresponding to subunit mass of 12 kDa and 12.7 kDa. Also the N-terminal sequencing gave two different sequences indicating presence of two polypeptide chains. Cloning of RVL gene indicated posttranslational cleavage of RVL precursor into two mature polypeptides of 116 and 117 amino-acid residues. Dynamic light scattering (DLS) and gel filtration studies together confirmed the homogeneity of the purified lectin and supported RVL as a dimer with Mr 49.5 kDa derived from single polypeptide precursor of 233 amino acids. Purified RVL exerts potent nematicidal activity on Meloidogyne incognita, a root knot nematode. Fluorescent confocal microscopic studies demonstrated the binding of RVL to specific regions of the alimentary-tract and exhibited a potent toxic effect on M. incognita. RVL-mucin complex failed to interact with the gut confirming the receptor mediated lectin interaction. Very high mortality (88%) rate was observed at lectin concentration as low as 30 A mu g/ml, suggesting its potential application in the development of nematode resistant transgenic-crops.

Evidence for an association with type 2 diabetes mellitus at the PPARG locus in a South Indian population

Peroxisome proliferator activated receptor-gamma 2 (PPARG2) is a nuclear hormone receptor of ligand-dependent ranscription factor involved in adipogenesis and a molecular target of the insulin sensitizers thiazolidinediones. We addressed the question of whether the 3 variants (-1279G/A, Pro12Ala, and His478His) in the PPARG2 gene are associated with type 2 diabetes mellitus and its related traits in a South Indian population. The study subjects (1000 type 2 diabetes mellitus and 1000 normal glucose-tolerant subjects) were chosen randomly from the Chennai Urban Rural Epidemiology Study, an ongoing population-based study in southern India. The variants were screened by single-stranded conformational variant, direct sequencing, and restriction fragment length polymorphism. Linkage disequilibrium was estimated from the estimates of haplotypic frequencies. The -1279G/A, Pro12Ala, and His478His variants of the PPARG2 gene were not associated with type 2 diabetes mellitus. However, the 2-loci analyses showed that, in the presence of Pro/Pro genotype of the Pro12Ala variant, the -1279G/A promoter variant showed increased susceptibility to type 2 diabetes mellitus (odds ratio, 2.092; 95% confidence interval, 1.22-3.59; P = .008), whereas in the presence of 12Ala allele, the -1279G/A showed a protective effect against type 2 diabetes mellitus (odds ratio, 0.270; 95% confidence interval, 0.15-0.49; P < .0001). The 3-loci haplotype analysis showed that the A-Ala-T (-1279G/A-Pro12Ala-His478His) haplotype was associated with a reduced risk of type 2 diabetes mellitus (P < .0001). Although our data indicate that the PPARG2 gene variants, independently, have no association with type 2 diabetes mellitus, the 2-loci genotype analysis involving -1279G/A and Pro12Ala variants and the 3-loci haplotype analysis have shown a significant association with type 2 diabetes mellitus in this South Indian population. (C) 2010 Elsevier Inc. All rights reserved.

Amino acid sequence of the winged bean (Psophocarpus tetragonolobus) basic lectin. Adenine binding and identification of the active-site tryptophan residue

The complete amino acid sequence of winged bean basic agglutinin (WBA I) was obtained by a combination of manual and gas-phase sequencing methods. Peptide fragments for sequence analyses were obtained by enzymatic cleavages using trypsin and Staphylococcus aureus V8 endoproteinase and by chemical cleavages using iodosobenzoic acid, hydroxylamine, and formic acid. COOH-terminal sequence analysis of WBA I and other peptides was performed using carboxypeptidase Y. The primary structure of WBA I was homologous to those of other legume lectins and more so to Erythrina corallodendron. Interestingly, the sequence shows remarkable identities in the regions involved in the association of the two monomers of E. corallodendron lectin. Other conserved regions are the double metal-binding site and residues contributing to the formation of the hydrophobic cavity and the carbohydrate-binding site. Chemical modification studies both in the presence and absence of N-acetylgalactosamine together with sequence analyses of tryptophan-containing tryptic peptides demonstrate that tryptophan 133 is involved in the binding of carbohydrate ligands by the lectin. The location of tryptophan 133 at the active center of WBA I for the first time subserves to explain a role for one of the most conserved residues in legume lectins.

Diversity of DNA methyltransferases that recognize asymmetric target sequences

DNA methyltransferases (MTases) are a group of enzymes that catalyze the methyl group transfer from S-adenosyl-L-methionine in a sequence-specific manner. Orthodox Type II DNA MTases usually recognize palindromic DNA sequences and add a methyl group to the target base (either adenine or cytosine) on both strands. However, there are a number of MTases that recognize asymmetric target sequences and differ in their subunit organization. In a bacterial cell, after each round of replication, the substrate for any MTase is hemimethylated DNA, and it therefore needs only a single methylation event to restore the fully methylated state. This is in consistent with the fact that most of the DNA MTases studied exist as monomers in solution. Multiple lines of evidence suggest that some DNA MTases function as dimers. Further, functional analysis of many restriction-modification systems showed the presence of more than one or fused MTase genes. It was proposed that presence of two MTases responsible for the recognition and methylation of asymmetric sequences would protect the nascent strands generated during DNA replication from cognate restriction endonuclease. In this review, MTases recognizing asymmetric sequences have been grouped into different subgroups based on their unique properties. Detailed characterization of these unusual MTases would help in better understanding of their specific biological roles and mechanisms of action. The rapid progress made by the genome sequencing of bacteria and archaea may accelerate the identification and study of species- and strain-specific MTases of host-adapted bacteria and their roles in pathogenic mechanisms.

Diversity of DNA methyltransferases that recognize asymmetric target sequences

DNA methyltransferases (MTases) are a group of enzymes that catalyze the methyl group transfer from S-adenosyl-L-methionine in a sequence-specific manner. Orthodox Type II DNA MTases usually recognize palindromic DNA sequences and add a methyl group to the target base (either adenine or cytosine) on both strands. However, there are a number of MTases that recognize asymmetric target sequences and differ in their subunit organization. In a bacterial cell, after each round of replication, the substrate for any MTase is hemimethylated DNA, and it therefore needs only a single methylation event to restore the fully methylated state. This is in consistent with the fact that most of the DNA MTases studied exist as monomers in solution. Multiple lines of evidence suggest that some DNA MTases function as dimers. Further, functional analysis of many restriction-modification systems showed the presence of more than one or fused MTase genes. It was proposed that presence of two MTases responsible for the recognition and methylation of asymmetric sequences would protect the nascent strands generated during DNA replication from cognate restriction endonuclease. In this review, MTases recognizing asymmetric sequences have been grouped into different subgroups based on their unique properties. Detailed characterization of these unusual MTases would help in better understanding of their specific biological roles and mechanisms of action. The rapid progress made by the genome sequencing of bacteria and archaea may accelerate the identification and study of species- and strain-specific MTases of host-adapted bacteria and their roles in pathogenic mechanisms.

sRNAscanner: A Computational Tool for Intergenic Small RNA Detection in Bacterial Genomes

Background:Bacterial non-coding small RNAs (sRNAs) have attracted considerable attention due to their ubiquitous nature and contribution to numerous cellular processes including survival, adaptation and pathogenesis. Existing computational approaches for identifying bacterial sRNAs demonstrate varying levels of success and there remains considerable room for improvement. Methodology/Principal Findings: Here we have proposed a transcriptional signal-based computational method to identify intergenic sRNA transcriptional units (TUs) in completely sequenced bacterial genomes. Our sRNAscanner tool uses position weight matrices derived from experimentally defined E. coli K-12 MG1655 sRNA promoter and rho-independent terminator signals to identify intergenic sRNA TUs through sliding window based genome scans. Analysis of genomes representative of twelve species suggested that sRNAscanner demonstrated equivalent sensitivity to sRNAPredict2, the best performing bioinformatics tool available presently. However, each algorithm yielded substantial numbers of known and uncharacterized hits that were unique to one or the other tool only. sRNAscanner identified 118 novel putative intergenic sRNA genes in Salmonella enterica Typhimurium LT2, none of which were flagged by sRNAPredict2. Candidate sRNA locations were compared with available deep sequencing libraries derived from Hfq-co-immunoprecipitated RNA purified from a second Typhimurium strain (Sittka et al. (2008) PLoS Genetics 4: e1000163). Sixteen potential novel sRNAs computationally predicted and detected in deep sequencing libraries were selected for experimental validation by Northern analysis using total RNA isolated from bacteria grown under eleven different growth conditions. RNA bands of expected sizes were detected in Northern blots for six of the examined candidates. Furthermore, the 5'-ends of these six Northern-supported sRNA candidates were successfully mapped using 5'-RACE analysis. Conclusions/Significance: We have developed, computationally examined and experimentally validated the sRNAscanner algorithm. Data derived from this study has successfully identified six novel S. Typhimurium sRNA genes. In addition, the computational specificity analysis we have undertaken suggests that similar to 40% of sRNAscanner hits with high cumulative sum of scores represent genuine, undiscovered sRNA genes. Collectively, these data strongly support the utility of sRNAscanner and offer a glimpse of its potential to reveal large numbers of sRNA genes that have to date defied identification. sRNAscanner is available from: http://bicmku.in:8081/sRNAscanner or http://cluster.physics.iisc.ernet.in/sRNAscanner/.

Identifying N60D mutation in omega subunit of Escherichia coli RNA polymerase by bottom-up proteomic approach

Escherichia coli RNA polymerase is a multi-subunit enzyme containing alpha(2)beta beta'omega sigma, which transcribes DNA template to intermediate RNA product in a sequence specific manner. Although most of the subunits are essential for its function, the smallest subunit omega (average molecular mass similar to 10,105 Da) can be deleted without affecting bacterial growth. Creating a mutant of the omega subunit can aid in improving the understanding of its role. Sequencing of rpoZ gene that codes for omega subunit from a mutant variant suggested a substitution mutation at position 60 of the protein: asparagine (N) -> aspartic acid (D). This mutation was verified at the protein level by following a typical mass spectrometry (MS) based bottom-up proteomic approach. Characterization of in-gel trypsin digested samples by reverse phase liquid chromatography (LC) coupled to electrospray ionization (ESI)-tandem mass spectrometry (MS/MS) enabled in ascertaining this mutation. Electron transfer dissociation (ETD) of triply charged (M + 3H)(3+)] tryptic peptides (residues 53-67]), EIEEGLINNQILDVR from wild-type and EIEEGLIDNQILDVR from mutant, facilitated in unambiguously determining the site of mutation at residue 60.

Uncoupling Protein 2 and 3 Gene Polymorphisms and Their Association with Type 2 Diabetes in Asian Indians

Background: This study examined the association of -866G/A, Ala55Val, 45bpI/D, and -55C/T polymorphisms at the uncoupling protein (UCP) 3-2 loci with type 2 diabetes in Asian Indians. Methods: A case-control study was performed among 1,406 unrelated subjects (487 with type 2 diabetes and 919 normal glucose-tolerant NGT]), chosen from the Chennai Urban Rural Epidemiology Study, an ongoing population-based study in Southern India. The polymorphisms were genotyped using polymerase chain reaction-restriction fragment length polymorphism and direct sequencing. Haplotype frequencies were estimated using an expectation-maximization algorithm. Linkage disequilibrium was estimated from the estimates of haplotypic frequencies. Results: The genotype (P = 0.00006) and the allele (P = 0.00007) frequencies of Ala55Val of the UCP2 gene showed a significant protective effect against the development of type 2 diabetes. The odds ratios (adjusted for age, sex, and body mass index) for diabetes for individuals carrying Ala/Val was 0.72, and that for individuals carrying Val/Val was 0.37. Homeostasis insulin resistance model assessment and 2-h plasma glucose were significantly lower among Val-allele carriers compared to the Ala/Ala genotype within the NGT group. The genotype (P = 0.02) and the allele (P = 0.002) frequencies of -55C/T of the UCP3 gene showed a significant protective effect against the development of diabetes. The odds ratio for diabetes for individuals carrying CT was 0.79, and that for individuals carrying TT was 0.61. The haplotype analyses further confirmed the association of Ala55Val with diabetes, where the haplotypes carrying the Ala allele were significantly higher in the cases compared to controls. Conclusions: Ala55Val and -55C/T polymorphisms at the UCP3-2 loci are associated with a significantly reduced risk of developing type 2 diabetes in Asian Indians.

Architecture of Physalis Mottle Tymovirus as Probed by Monoclonal Antibodies and Cross-Linking Studies

Physalis mottle tymovirus (previously named belladonna mottle virus, Iowa strain) RNA was cross-linked to its coat protein by exposure of the intact virus to ultraviolet light. The site of cross-linking of the coat protein with the RNA was identified as Lys-10 by sequencing the oligonucleotide-linked tryptic peptide obtained upon HPLC separation subsequent to enzymetic digestion of the cross-linked and dissociated virus. Three monoclonal antibodies PA3B2, PB5G9, and PF12C9, obtained using denatured coat protein as antigen, cross-reacted effectively with the intact virus indicating that the epitopes recognized by these monoclonals are on the surface of the virus. Using the peptides generated by digestion with CNBr, clostripain, V-8 protease, or trypsin and a recombinant protein lacking the N-terminal 21 residues expressed from a cDNA clone, it was shown that PA3B2 recognizes the sequence 22-36 on the coat protein while PB5G9 and PF12C9 recognize region 75-110. These results suggest that Lys-10 is one of the specific sites through which the RNA interacts in the intact virus. The polypeptide segment (region 22-36) following this buried portion as well as the epitope within the region 75-110 are exposed in the intact virus. These observations are consistent with the canonical β-barrel structure observed in certain other plant viruses.

Genome analysis: A new approach for visualization of sequence organization in genomes

In this article we describe and demonstrate the versatility of a computer program, GENOME MAPPING, that uses interactive graphics and runs on an IRIS workstation. The program helps to visualize as well as analyse global and local patterns of genomic DNA sequences. It was developed keeping in mind the requirements of the human genome sequencing programme, which requires rapid analysis of the data. Using GENOME MAPPING one can discern signature patterns of different kinds of sequences and analyse such patterns for repetitive as well as rare sequence strings. Further, one can visualize the extent of global homology between different genomic sequences. An application of our method to the published yeast mitochondrial genome data shows similar sequence organizations in the entire sequence and in smaller subsequences.