On a functional satisfying a weak Palais-Smale condition

In this paper we study a quasilinear elliptic problem whose functional satisfies a weak version of the well known Palais-Smale condition. An existence result is proved under general assumptions on the nonlinearities.Comment: 18 page

Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming

A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks because their simplicity allows us to model large systems encompassing hundreds of proteins. An approach to train (Boolean) logic models to high-throughput phospho-proteomics data was recently introduced and solved using optimization heuristics based on stochastic methods. Here we demonstrate how this problem can be solved using Answer Set Programming (ASP), a declarative problem solving paradigm, in which a problem is encoded as a logical program such that its answer sets represent solutions to the problem. ASP has significant improvements over heuristic methods in terms of efficiency and scalability, it guarantees global optimality of solutions as well as provides a complete set of solutions. We illustrate the application of ASP with in silico cases based on realistic networks and data

Stochastic series expansion method for quantum Ising models with arbitrary interactions

A quantum Monte Carlo algorithm for the transverse Ising model with arbitrary short- or long-range interactions is presented. The algorithm is based on sampling the diagonal matrix elements of the power series expansion of the density matrix (stochastic series expansion), and avoids the interaction summations necessary in conventional methods. In the case of long-range interactions, the scaling of the computation time with the system size N is therefore reduced from N^2 to Nln(N). The method is tested on a one-dimensional ferromagnet in a transverse field, with interactions decaying as 1/r^2.Comment: 9 pages, 5 figure

RBC barcoding allows for the study of erythrocyte population dynamics and P. falciparum merozoite invasion.

Plasmodium falciparum invasion of host erythrocytes is essential for the propagation of the blood stage of malaria infection. Additionally, the brief extracellular merozoite stage of P. falciparum represents one of the rare windows during which the parasite is directly exposed to the host immune response. Therefore, efficient invasion of the host erythrocyte is necessary not only for productive host erythrocyte infection, but also for evasion of the immune response. Host traits, such as hemoglobinopathies and differential expression of erythrocyte invasion ligands, can protect individuals from malaria by impeding parasite erythrocyte invasion. Here we combine RBC barcoding with flow cytometry to study P. falciparum invasion. This novel high-throughput method allows for the (i) direct comparison of P. falciparum invasion into different erythrocyte populations and (ii) assessment of the impact of changing erythrocyte population dynamics on P. falciparum invasion

CNI-1493 inhibits monocyte/macrophage tumor necrosis factor by suppression of translation efficiency

Tumor necrosis factor (TNF) mediates a wide variety of disease states including septic shock, acute and chronic inflammation, and cachexia. Recently, a multivalent guanylhydrazone (CNI-1493) developed as an inhibitor of macrophage activation was shown to suppress TNF production and protect against tissue inflammation and endotoxin lethality [Bianchi, M., Ulrich, P., Bloom, O., Meistrell, M., Zimmerman, G. A., Schmidtmayerova, H., Bukrinsky, M., Donnelley, T., Bucala, R., Sherry, B., Manogue, K. R., Tortolani, A. J., Cerami, A. & Tracey, K. J. (1995) Mol. Med. 1, 254-266, and Bianchi, M., Bloom, O., Raabe, T., Cohen, P. S., Chesney, J., Sherry, B., Schmidtmayerova, H., Zhang, X., Bukrinsky, M., Ulrich, P., Cerami, A. & Tracey, J. (1996) J. Exp. Med., in press]. We have now elucidated the mechanism by which CNI-1493 inhibits macrophage TNF synthesis and show here that it acts through suppression of TNF translation efficiency. CNI-1493 blocked neither the lipopolysaccharide (LPS)-induced increases in the expression of TNF mRNA nor the translocation of nuclear factor NF-kappa B to the nucleus in macrophages activated by 15 min of LPS stimulation, indicating that CNI-1493 does not interfere with early NF-kappa B-mediated transcriptional regulation of TNF. However, synthesis of the 26-kDa membrane form of TNF was effectively blocked by CNI-1493. Further evidence for the translational suppression of TNF is given by experiments using chloram-phenicol acetyltransferase (CAT) constructs containing elements of the TNF gene that are involved in TNF translational regulation. Both the 5' and 3' untranslated regions of the TNF gene were required to elicit maximal translational suppression by CNI-1493. Identification of the molecular target through which CNI-1493 inhibits TNF translation should provide insight into the regulation of macrophage activation and mechanisms of inflammation

Singularly perturbed elliptic problems with nonautonomous asymptotically linear nonlinearities

We consider a class of singularly perturbed elliptic problems with nonautonomous asymptotically linear nonlinearities. The dependence on the spatial coordinates comes from the presence of a potential and of a function representing a saturation effect. We investigate the existence of nontrivial nonnegative solutions concentrating around local minima of both the potential and of the saturation function. Necessary conditions to locate the possible concentration points are also given

Dietary strategies for improving iron status: balancing safety and efficacy.

In light of evidence that high-dose iron supplements lead to a range of adverse events in low-income settings, the safety and efficacy of lower doses of iron provided through biological or industrial fortification of foodstuffs is reviewed. First, strategies for point-of-manufacture chemical fortification are compared with biofortification achieved through plant breeding. Recent insights into the mechanisms of human iron absorption and regulation, the mechanisms by which iron can promote malaria and bacterial infections, and the role of iron in modifying the gut microbiota are summarized. There is strong evidence that supplemental iron given in nonphysiological amounts can increase the risk of bacterial and protozoal infections (especially malaria), but the use of lower quantities of iron provided within a food matrix, ie, fortified food, should be safer in most cases and represents a more logical strategy for a sustained reduction of the risk of deficiency by providing the best balance of risk and benefits. Further research into iron compounds that would minimize the availability of unabsorbed iron to the gut microbiota is warranted

Influence of host iron status on Plasmodium falciparum infection

Iron deficiency affects one quarter of the world's population and causes significant morbidity, including detrimental effects on immune function and cognitive development. Accordingly, the World Health Organization (WHO) recommends routine iron supplementation in children and adults in areas with a high prevalence of iron deficiency. However, a large body of clinical and epidemiological evidence has accumulated which clearly demonstrates that host iron deficiency is protective against falciparum malaria and that host iron supplementation may increase the risk of malaria. Although many effective antimalarial treatments and preventive measures are available, malaria remains a significant public health problem, in part because the mechanisms of malaria pathogenesis remain obscured by the complexity of the relationships that exist between parasite virulence factors, host susceptibility traits, and the immune responses that modulate disease. Here we review (i) the clinical and epidemiological data that describes the relationship between host iron status and malaria infection and (ii) the current understanding of the biological basis for these clinical and epidemiological observations

Agile methods in biomedical software development: a multi-site experience report

BACKGROUND: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully used agile development approaches to create and maintain biomedical software, including software for bioinformatics. This paper reports on a qualitative study of our experiences using these methods. RESULTS: We have found that agile methods are well suited to the exploratory and iterative nature of scientific inquiry. They provide a robust framework for reproducing scientific results and for developing clinical support systems. The agile development approach also provides a model for collaboration between software engineers and researchers. We present our experience using agile methodologies in projects at six different biomedical software development organizations. The organizations include academic, commercial and government development teams, and included both bioinformatics and clinical support applications. We found that agile practices were a match for the needs of our biomedical projects and contributed to the success of our organizations. CONCLUSION: We found that the agile development approach was a good fit for our organizations, and that these practices should be applicable and valuable to other biomedical software development efforts. Although we found differences in how agile methods were used, we were also able to identify a set of core practices that were common to all of the groups, and that could be a focus for others seeking to adopt these methods