A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

The complementation of yeast with human or Plasmodium falciparum Hsp90 confers differential inhibitor sensitivities

Developing novel drugs against the unicellular parasite Plasmodium is complicated by the paucity of simple screening systems. Heat-shock proteins are an essential class of proteins for the parasite's cyclical life style between different cellular milieus and temperatures. The molecular chaperone Hsp90 assists a large variety of proteins, but its supporting functions for many proteins that are important for cancer have made it into a well-studied drug target. With a better understanding of the differences between Hsp90 of the malarial parasite and Hsp90 of its human host, new therapeutic options might become available. We have generated a set of isogenic strains of the budding yeast Saccharomyces cerevisiae where the essential yeast Hsp90 proteins have been replaced with either of the two human cytosolic isoforms Hsp90 alpha or Hsp90 beta, or with Hsp90 from Plasmodium falciparum (Pf). All strains express large amounts of the Flag-tagged Hsp90 proteins and are viable. Even though the strain with Pf Hsp90 grows more poorly, it provides a tool to reconstitute additional aspects of the parasite Hsp90 complex and its interactions with substrates in yeast as a living test tube. Upon exposure of the set of Hsp90 test strains to the two Hsp90 inhibitors radicicol (Rd) and geldanamycin (GA), we found that the strain with Pf Hsp90 is relatively more sensitive to GA than to Rd compared to the strains with human Hsp90's. This indicates that this set of yeast strains could be used to screen for new Pf Hsp90 inhibitors with a wider therapeutic window.

Salmonella pathogenicity island 2 mediates protection of intracellular Salmonella from reactive nitrogen intermediates.

Salmonella typhimurium causes an invasive disease in mice that has similarities to human typhoid. A type III protein secretion system encoded by Salmonella pathogenicity island 2 (SPI2) is essential for virulence in mice, as well as survival and multiplication within macrophages. Reactive nitrogen intermediates (RNI) synthesized by inducible nitric oxide synthase (iNOS) are involved in the control of intracellular pathogens, including S. typhimurium. We studied the effect of Salmonella infection on iNOS activity in macrophages. Immunofluorescence microscopy demonstrated efficient colocalization of iNOS with bacteria deficient in SPI2 but not wild-type Salmonella, and suggests that the SPI2 system interferes with the localization of iNOS and Salmonella. Furthermore, localization of nitrotyrosine residues in the proximity was observed for SPI2 mutant strains but not wild-type Salmonella, indicating that peroxynitrite, a potent antimicrobial compound, is excluded from Salmonella-containing vacuoles by action of SPI2. Altered colocalization of iNOS with intracellular Salmonella required the function of the SPI2-encoded type III secretion system, but not of an individual "Salmonella translocated effector." Inhibition of iNOS increased intracellular proliferation of SPI2 mutant bacteria and, to a lesser extent, of wild-type Salmonella. The defect in systemic infection of a SPI2 mutant strain was partially restored in iNOS(-/-) mice. In addition to various strategies to detoxify RNI or repair damage due to RNI, avoidance of colocalization with RNI is important in adaptation of a pathogen to an intracellular life style.

A self-adaptive migration model genetic algorithm for data mining applications

Data mining involves nontrivial process of extracting knowledge or patterns from large databases. Genetic Algorithms are efficient and robust searching and optimization methods that are used in data mining. In this paper we propose a Self-Adaptive Migration Model GA (SAMGA), where parameters of population size, the number of points of crossover and mutation rate for each population are adaptively fixed. Further, the migration of individuals between populations is decided dynamically. This paper gives a mathematical schema analysis of the method stating and showing that the algorithm exploits previously discovered knowledge for a more focused and concentrated search of heuristically high yielding regions while simultaneously performing a highly explorative search on the other regions of the search space. The effective performance of the algorithm is then shown using standard testbed functions and a set of actual classification datamining problems. Michigan style of classifier was used to build the classifier and the system was tested with machine learning databases of Pima Indian Diabetes database, Wisconsin Breast Cancer database and few others. The performance of our algorithm is better than others.