Functional programming systems revisited

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Functional changes in rat liver mitochondria on administration of 2-methyl-4-dimethylaminoazobenzene

Administration of 2-methyl-4-dimethylaminobenzene in the diet (0.1%, w/w) for 85-90 days doubled the content of mitochondria in the livers of rats. The azodye was covalently bound to liver proteins, and about 15% of the amount found in liver was associated with the mitochondrial fraction. Mitochondria isolated from the livers of azodye-fed animals showed drastically lowered ability to oxidize NAD+-linked substrates. The inhibited electron-transfer step was the reduction of ubiquinone. The organelles showed a large increase in succinate oxidase activity. The activity of cytochrome oxidase and the content of cytochrome aa3 were substantially higher in these organelles. Azodye-fed animals showed depressed serum cholesterol concentrations. The content of ubiquinone in liver also registered a small increase.

Mitochondrial localization of functional ferrochelatase from Plasmodium falciparum

In the malarial parasite, enzymes of heme-biosynthetic pathway are distributed in different cellular compartments. The site of localization of ferrochelatase in the malarial parasite is crucial, since it will decide the ultimate site of heme synthesis. Earlier results have differed in terms of localization, being the mitochondrion or apicoplast and the functional enzyme has not been cloned, expressed and characterized. The present study reveals that Plasmodium falciparum ferrochelatase (PfFC) gene encodes multiple transcripts of which the one encoding the full length functional protein (PfFC) has been cloned and the recombinant protein over-expressed and purified from E. coli cells. The enzyme shows maximum activity with iron, while zinc is a poor substrate. Immunofluorescence studies with antibodies to functional ferrochelatase reveal that the native enzyme is localized to the mitochondrion of the parasite indicating that this organelle is the ultimate site of heme synthesis.

Identification and functional characterization of a cis-acting positive DNA element regulating CYP 2B1/B2 gene transcription in rat liver

A positive cis-acting DNA element in the near 5'-upstream region of the CYP2B1/B2 genes in rat liver was found to play an important role in the transcription of these genes. An oligonucleotide covering -69 to -98 nt mimicked the gel mobility shift pattern given by the fragment -179 to +29 nt, which was earlier found adequate to confer the regulatory features of this gene. Two major complexes were seen, of which the slower and faster moving complexes became intense under uninduced and Phenobarbitone-induced conditions respectively. Minigene cloned DNA plasmid covering -179 to +181 nt in pUC 19 and Bal 31 mutants derived from this parent were transcribed in whole nuclei and cell free transcription extracts and mutants containing only upto -75 nt of the upstream were poorly transcribed. Transcription extracts from phenobarbitone-injected rat liver nuclei were significantly more active than extracts from uninduced rats in transcribing the minigene constructs. Addition of the oligonucleotide (-69 to -98nt) specifically inhibited the transcription of the minigene construct (-179 to +181 nt) in the cell free transcription system. It is therefore, concluded that the region -69 to -98 nt acts as a positive cis-acting element in the transcription of the CYP2B1/B2 genes and in mediating the inductive effects of phenobarbitone.

Functional characterization of the precursor and spliced forms of RecA protein of Mycobacterium tuberculosis

The recA locus of pathogenic mycobacteria differs from that of nonpathogenic species because it contains large intervening sequences nested in the RecA homology region that are excised by an unusual protein-splicing reaction. In vivo assays indicated that Mycobacterium tuberculosis recA partially complemented Escherichia coli recA mutants for recombination and mutagenesis. Further, splicing of the 85 kDa precursor to 38 kDa MtRecA protein was necessary for the display of its activity, in vivo. To gain insights into the molecular basis for partial and lack of complementation by MtRecA and 85 kDa proteins, respectively, we purified both of them to homogeneity. MtRecA protein, but not the 85 kDa form, bound stoichiometrically to single-stranded DNA in the presence of ATP. MtRecA protein was cross-linked to 8-azidoadenosine 5'-triphosphate with reduced efficiency, and kinetic analysis of ATPase activity suggested that it is due to decreased affinity for ATP. In contrast, the 85 kDa form was unable to bind ATP, in the presence or absence of ssDNA and, consequently, was entirely devoid of ATPase activity. Molecular modeling studies suggested that the decreased affinity of MtRecA protein for ATP and the reduced efficiency of its hydrolysis might be due to the widening of the cleft which alters the hydrogen bonds and the contact area between the enzyme and the substrate and changes in the disposition of the amino acid residues around the magnesium ion and the gamma-phosphate. The formation of joint molecules promoted by MtRecA protein was stimulated by SSB when the former was added first. The probability of an association between the lack and partial levels of biological activity of RecA protein(s) to that of illegitimate recombination in pathogenic mycobacteria is considered.

Simple repetitive sequences in the genome: structure and functional significance

The current explosion of DNA sequence information has generated increasing evidence for the claim that noncoding repetitive DNA sequences present within and around different genes could play an important role in genetic control processes, although the precise role and mechanism by which these sequences function are poorly understood. Several of the simple repetitive sequences which occur in a large number of loci throughout the human and other eukaryotic genomes satisfy the sequence criteria for forming non-B DNA structures in vitro. We have summarized some of the features of three different types of simple repeats that highlight the importance of repetitive DNA in the control of gene expression and chromatin organization. (i) (TG/CA)n repeats are widespread and conserved in many loci. These sequences are associated with nucleosomes of varying linker length and may play a role in chromatin organization. These Z-potential sequences can help absorb superhelical stress during transcription and aid in recombination. (ii) Human telomeric repeat (TTAGGG)n adopts a novel quadruplex structure and exhibits unusual chromatin organization. This unusual structural motif could explain chromosome pairing and stability. (iii) Intragenic amplification of (CTG)n/(CAG)n trinucleotide repeat, which is now known to be associated with several genetic disorders, could down-regulate gene expression in vivo. The overall implications of these findings vis-à-vis repetitive sequences in the genome are summarized.

Surfactant-Mediated Synthesis of Functional Metal Oxide Nanostructures Via Microwave Irradiation-Assisted Chemical Synthesis

In the present work we report a rapid microwave irradiation-assisted chemical synthesis technique for the growth of nanoparticles, nanorods, and nanotubes of a variety of metal oxides in the presence of an appropriate surfactant (cationic, anionic, non ionic and polymeric), without the use of any templates. The method is simple, inexpensive, and helps one to prepare nanostructures in quick time, measured in seconds and minutes. This method has been applied successfully to synthesize nanostructures of a variety of binary and ternary metal oxides such as ZnO, CdO, Fe2O3, CuO, Ga2O3, Gd2O3, ZnFe2O4, etc. There is an observed variation in the morphology of the nanostructures with changes in different process parameters, such as microwave power, irradiation time, identity of solvent, type of surfactant, and its concentration.

Phenotypic and Functional Characterization of Human Mammary Stem/Progenitor Cells in Long Term Culture

Background: Cancer stem cells exhibit close resemblance to normal stem cells in phenotype as well as function. Hence, studying normal stem cell behavior is important in understanding cancer pathogenesis. It has recently been shown that human breast stem cells can be enriched in suspension cultures as mammospheres. However, little is known about the behavior of these cells in long-term cultures. Since extensive self-renewal potential is the hallmark of stem cells, we undertook a detailed phenotypic and functional characterization of human mammospheres over long-term passages. Methodology: Single cell suspensions derived from human breast `organoids' were seeded in ultra low attachment plates in serum free media. Resulting primary mammospheres after a week (termed T1 mammospheres) were subjected to passaging every 7th day leading to the generation of T2, T3, and T4 mammospheres. Principal Findings: We show that primary mammospheres contain a distinct side-population (SP) that displays a CD24(low)/CD44(low) phenotype, but fails to generate mammospheres. Instead, the mammosphere-initiating potential rests within the CD44(high)/CD24(low) cells, in keeping with the phenotype of breast cancer-initiating cells. In serial sphere formation assays we find that even though primary (T1) mammospheres show telomerase activity and fourth passage T4 spheres contain label-retaining cells, they fail to initiate new mammospheres beyond T5. With increasing passages, mammospheres showed an increase in smaller sized spheres, reduction in proliferation potential and sphere forming efficiency, and increased differentiation towards the myoepithelial lineage. Significantly, staining for senescence-associated beta-galactosidase activity revealed a dramatic increase in the number of senescent cells with passage, which might in part explain the inability to continuously generate mammospheres in culture. Conclusions: Thus, the self-renewal potential of human breast stem cells is exhausted within five in vitro passages of mammospheres, suggesting the need for further improvisation in culture conditions for their long-term maintenance.

Structure-Based Phylogeny as a Diagnostic for Functional Characterization of Proteins with a Cupin Fold

Background: The members of cupin superfamily exhibit large variations in their sequences, functions, organization of domains, quaternary associations and the nature of bound metal ion, despite having a conserved beta-barrel structural scaffold. Here, an attempt has been made to understand structure-function relationships among the members of this diverse superfamily and identify the principles governing functional diversity. The cupin superfamily also contains proteins for which the structures are available through world-wide structural genomics initiatives but characterized as ``hypothetical''. We have explored the feasibility of obtaining clues to functions of such proteins by means of comparative analysis with cupins of known structure and function. Methodology/Principal Findings: A 3-D structure-based phylogenetic approach was undertaken. Interestingly, a dendrogram generated solely on the basis of structural dissimilarity measure at the level of domain folds was found to cluster functionally similar members. This clustering also reflects an independent evolution of the two domains in bicupins. Close examination of structural superposition of members across various functional clusters reveals structural variations in regions that not only form the active site pocket but are also involved in interaction with another domain in the same polypeptide or in the oligomer. Conclusions/Significance: Structure-based phylogeny of cupins can influence identification of functions of proteins of yet unknown function with cupin fold. This approach can be extended to other proteins with a common fold that show high evolutionary divergence. This approach is expected to have an influence on the function annotation in structural genomics initiatives.

Functional diversity of human protein kinase splice variants marks significant expansion of human kinome

Background: Protein kinases are involved in diverse spectrum of cellular processes. Availability of draft version of the human genomic data in the year 2001 enabled recognition of repertoire of protein kinases. However, over the years the human genomic data is being refined and the current release of human genomic data has helped us to recognize a larger repertoire of over 900 human protein kinases represented mainly by splice variants. Results: Many of these identified protein kinases are alternatively spliced products. Interestingly, some of the human kinase splice variants appear to be significantly diverged in terms of their functional properties as represented by incorporation or absence of one or more domains. Many sets of protein kinase splice variants have substantially different domain organization and in a few sets of splice variants kinase domains belong to different subfamilies of kinases suggesting potential participation in different signal transduction pathways. Conclusions: Addition or deletion of a domain between splice variants of multi-domain kinases appears to be a means of generating differences in the functional features of otherwise similar kinases. It is intriguing that marked sequence diversity within the catalytic regions of some of the splice variant kinases result in kinases belonging to different subfamilies. These human kinase splice variants with different functions might contribute to diversity of eukaryotic cellular signaling.

Structural and functional characteristics of homing endonucleases

Mobile genetic elements constitute a remarkably diverse group of nonessential selfish genes that provide no apparent function to the host. These selfish genes have been implicated in host extinction, speciation and architecture of genetic systems. Homing endonucleases, encoded by the open reading frames embedded in introns or inteins of mobile genetic elements, possess double-stranded DNA-specific endonuclease activity. They inflict sequence-specific double-strand breaks at or near the homing site in intron- or intein-less allele. Subsequently, through nonreciprocal exchange the insertion sequence (intron or intein) is transferred from an intein- or intron-containing allele to an intein- or intron-less allele. The components of host double-strand break repair pathway are thought to finish the "homing" process. Several lines of evidence suggest that homing endonucleases are capable of promoting transposition into ectopic sites within or across genomes for their survival as well as dispersal in natural populations. The occurrence of inteins at high frequencies serves as instructive models for understanding the mechanistic aspects of the process of homing and its evolution. This review focuses on genetic, biochemical, structural, and phylogenetic aspects of homing endonucleases, and their comparison with restriction endonucleases.