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

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

Unraveling Moral Reasoning in Amyotrophic Lateral Sclerosis: How Emotional Detachment Modifies Moral Judgment

In the last decade, scientific literature provided solid evidence of cognitive deficits in amyotrophic lateral sclerosis (ALS) patients and their effects on end-life choices. However, moral cognition and judgment are still poorly investigated in this population. Here we aimed at evaluating both socio-cognitive and socio-affective components of moral reasoning in a sample of 28 ALS patients. Patients underwent clinical and neuropsychological evaluation including basic cognitive and social cognition measures. Additionally, we administered an experimental task including moral dilemmas, with instrumental and incidental conditions. Patients’ performances were compared with a control group [healthy control (HC)], including 36 age-, gender-, and education-matched healthy subjects. Despite that the judgment pattern was comparable in ALS and HC, patients resulted less prone to carry out a moral transgression compared to HC. Additionally, ALS patients displayed higher levels of moral permissibility and lower emotional arousal, with similar levels of engagement in both instrumental and incidental conditions. Our findings expanded the current literature about cognitive deficits in ALS, showing that in judging moral actions, patients may present non-utilitarian choices and emotion flattening. Such a decision-making profile may have relevant implications in applying moral principles in real-life situations and for the judgment of end-of-life treatments and care in clinical settings