BACKGROUND: SARS-CoV-2 is a severe respiratory infection that infects humans. Its outburst entitled it as a pandemic emergence. To get a grip on this outbreak, specific preventive and therapeutic interventions are urgently needed. It must be said that, until now, there are no existing vaccines for coronaviruses. To promptly and rapidly respond to pandemic events, the application of in silico trials can be used for designing and testing medicines against SARS-CoV-2 and speed-up the vaccine discovery pipeline, predicting any therapeutic failure and minimizing undesired effects. RESULTS: We present an in silico platform that showed to be in very good agreement with the latest literature in predicting SARS-CoV-2 dynamics and related immune system host response. Moreover, it has been used to predict the outcome of one of the latest suggested approach to design an effective vaccine, based on monoclonal antibody. Universal Immune System Simulator (UISS) in silico platform is potentially ready to be used as an in silico trial platform to predict the outcome of vaccination strategy against SARS-CoV-2. CONCLUSIONS: In silico trials are showing to be powerful weapons in predicting immune responses of potential candidate vaccines. Here, UISS has been extended to be used as an in silico trial platform to speed-up and drive the discovery pipeline of vaccine against SARS-CoV-2.

BACKGROUND: In 2018, about 10 million people were found infected by tuberculosis, with approximately 1.2 million deaths worldwide. Despite these numbers have been relatively stable in recent years, tuberculosis is still considered one of the top 10 deadliest diseases worldwide. Over the years, Mycobacterium tuberculosis has developed a form of resistance to first-line tuberculosis treatments, specifically to isoniazid, leading to multi-drug-resistant tuberculosis. In this context, the EU and Indian DBT funded project STriTuVaD-In Silico Trial for Tuberculosis Vaccine Development-is supporting the identification of new interventional strategies against tuberculosis thanks to the use of Universal Immune System Simulator (UISS), a computational framework capable of predicting the immunity induced by specific drugs such as therapeutic vaccines and antibiotics. RESULTS: Here, we present how UISS accurately simulates tuberculosis dynamics and its interaction within the immune system, and how it predicts the efficacy of the combined action of isoniazid and RUTI vaccine in a specific digital population cohort. Specifically, we simulated two groups of 100 digital patients. The first group was treated with isoniazid only, while the second one was treated with the combination of RUTI vaccine and isoniazid, according to the dosage strategy described in the clinical trial design. UISS-TB shows to be in good agreement with clinical trial results suggesting that RUTI vaccine may favor a partial recover of infected lung tissue. CONCLUSIONS: In silico trials innovations represent a powerful pipeline for the prediction of the effects of specific therapeutic strategies and related clinical outcomes. Here, we present a further step in UISS framework implementation. Specifically, we found that the simulated mechanism of action of RUTI and INH are in good alignment with the results coming from past clinical phase IIa trials.

The central nervous system is the most complex network of the human body. The existence and functionality of a large number of molecular species in human brain are still ambiguous and mostly unknown, thus posing a challenge to Science and Medicine. Neurological diseases inherit the same level of complexity, making effective treatments difficult to be found. Multiple sclerosis (MS) is a major neurological disease that causes severe inabilities and also a significant social burden on health care system: between 2 and 2.5 million people are affected by it, and the cost associated with it is significantly higher as compared with other neurological diseases because of the chronic nature of the disease and to the partial efficacy of current therapies. Despite difficulties in understanding and treating MS, many computational models have been developed to help neurologists. In the present work, we briefly review the main characteristics of MS and present a selection criteria of modeling approaches.

The immune system is a critical regulator of tumor biology with the capacity to support or inhibit tumor onset, growth, invasion and metastasis. Medical approaches designed to harness the immune system are the focus of several recent promising therapeutic approaches for cancer patients. However, not all tumors appear to respond to these immunomodulatory schemes. A major challenge for cancer immunotherapy, therefore, lies in understanding resistance mechanisms for selecting patients who are most likely to benefit. Moreover, tumors may also escape elimination either by recruiting immunosuppressive leukocytes which orchestrate a microenvironment that spoils the productivity of an anti-tumor immune response or underexpose cell-surface molecules. Therefore, predicting the clinical benefit of T cell immunotherapy is likely to require an understanding of each of these steps and their combinations as it relates to a patient's individual tumor. Trial and errors approaches should be avoided in the clinical practice. Computer simulations based on mathematical model can help physician in evaluating in advance the effects of a given therapy on a class of patients. This paper describes a simple tumor escape mathematical model as first contribution toward a simulation based personalized medical treatment.

MOTIVATION: Vaccines represent the most effective and cost-efficient weapons against a wide range of diseases. Nowadays new generation vaccines based on subunit antigens reduce adverse effects in high risk individuals. However, vaccine antigens are often poor immunogens when administered alone. Adjuvants represent a good strategy to overcome such hurdles, indeed they are able to: enhance the immune response; allow antigens sparing; accelerate the specific immune response; and increase vaccine efficacy in vulnerable groups such as newborns, elderly or immuno-compromised people. However, due to safety concerns and adverse reactions, there are only a few adjuvants approved for use in humans. Moreover, in practice current adjuvants sometimes fail to confer adequate stimulation. Hence, there is an imperative need to develop novel adjuvants that overcome the limitations of the currently available licensed adjuvants. RESULTS: We developed a computational framework that provides a complete pipeline capable of predicting the best citrus-derived adjuvants for enhancing the immune system response using, as a target disease model, influenza A infection. In silico simulations suggested a good immune efficacy of specific citrus-derived adjuvant (Beta Sitosterol) that was then confirmed in vivoAvailability: The model is available visiting the following URL: http://vaima.dmi.unict.it/AdjSim CONTACT: [email protected]; [email protected].

BACKGROUND: Mathematical and computational models showed to be a very important support tool for the comprehension of the immune system response against pathogens. Models and simulations allowed to study the immune system behavior, to test biological hypotheses about diseases and infection dynamics, and to improve and optimize novel and existing drugs and vaccines. Continuous models, mainly based on differential equations, usually allow to qualitatively study the system but lack in description; conversely discrete models, such as agent based models and cellular automata, permit to describe in detail entities properties at the cost of losing most qualitative analyses. Petri Nets (PN) are a graphical modeling tool developed to model concurrency and synchronization in distributed systems. Their use has become increasingly marked also thanks to the introduction in the years of many features and extensions which lead to the born of "high level" PN. RESULTS: We propose a novel methodological approach that is based on high level PN, and in particular on Colored Petri Nets (CPN), that can be used to model the immune system response at the cellular scale. To demonstrate the potentiality of the approach we provide a simple model of the humoral immune system response that is able of reproducing some of the most complex well-known features of the adaptive response like memory and specificity features. CONCLUSIONS: The methodology we present has advantages of both the two classical approaches based on continuous and discrete models, since it allows to gain good level of granularity in the description of cells behavior without losing the possibility of having a qualitative analysis. Furthermore, the presented methodology based on CPN allows the adoption of the same graphical modeling technique well known to life scientists that use PN for the modeling of signaling pathways. Finally, such an approach may open the floodgates to the realization of multi scale models that integrate both signaling pathways (intra cellular) models and cellular (population) models built upon the same technique and software.

MOTIVATION: Many important problems in cell biology require dense non-linear interactions between functional modules to be considered. The importance of computer simulation in understanding cellular processes is now widely accepted, and a variety of simulation algorithms useful for studying certain subsystems have been designed. Expansion of hematopoietic stem and progenitor cells (HSC/HPC) in ex vivo culture with cytokines and small molecules is a method to increase the restricted numbers of stem cells found in umbilical cord blood (CB), while also enhancing the content of early engrafting neutrophil and platelet precursors. The efficacy of the expanded product depends on the composition of the cocktail of cytokines and small molecules used for culture. Testing the influence of a cytokine or small molecule on the expansion of HSC/HPC is a laborious and expensive process. We therefore developed a computational model based on cellular signaling interactions that predict the influence of a cytokine on the survival, duplication and differentiation of the CD133(+) HSC/HPC subset from human umbilical CB. RESULTS: We have used results from in vitro expansion cultures with different combinations of one or more cytokines to develop an ordinary differential equation model that includes the effect of cytokines on survival, duplication and differentiation of the CD133(+) HSC/HPC. Comparing the results of in vitro and in silico experiments, we show that the model can predict the effect of a cytokine on the fold expansion and differentiation of CB CD133(+) HSC/HPC after 8-day culture on a 3D scaffold. Supplementary data are available at Bioinformatics online.

Mathematical and computational models are increasingly used to help interpret biomedical data produced by high-throughput genomics and proteomics projects. The application of advanced computer models enabling the simulation of complex biological processes generates hypotheses and suggests experiments. Appropriately interfaced with biomedical databases, models are necessary for rapid access to, and sharing of knowledge through data mining and knowledge discovery approaches.

Cancer vaccine research is a hot topic for medical treatments of cancer. Identification of candidate antigenic stimuli for the vaccine is already improved using immune-informatics. Subsequent test in vivo are expensive and time consuming. There is an increasing request to a modeling approach to speed up this phase of vaccine research. In this paper we report our experience in dealing with cancer vaccine models and we will discuss two different models, Sim Triplex and Metasta Sim, which model the same vaccine but different scenarios. Cancer vaccine modeling is an interdisciplinary research and cannot be carried out without the contribution of all different scientific expertise. We now experience that biologists and medical doctors are progressively convinced that modeling can be of great help in understanding experimental results and planning new experiments. This will boost this research in future.

BACKGROUND: The Triplex cell vaccine is a cancer cellular vaccine that can prevent almost completely the mammary tumor onset in HER-2/neu transgenic mice. In a translational perspective, the activity of the Triplex vaccine was also investigated against lung metastases showing that the vaccine is an effective treatment also for the cure of metastases. A future human application of the Triplex vaccine should take into account several aspects of biological behavior of the involved entities to improve the efficacy of therapeutic treatment and to try to predict, for example, the outcomes of longer experiments in order to move faster towards clinical phase I trials. To help to address this problem, MetastaSim, a hybrid Agent Based - ODE model for the simulation of the vaccine-elicited immune system response against lung metastases in mice is presented. The model is used as in silico wet-lab. As a first application MetastaSim is used to find protocols capable of maximizing the total number of prevented metastases, minimizing the number of vaccine administrations. RESULTS: The model shows that it is possible to obtain "in silico" a 45% reduction in the number of vaccinations. The analysis of the results further suggests that any optimal protocol for preventing lung metastases formation should be composed by an initial massive vaccine dosage followed by few vaccine recalls. CONCLUSIONS: Such a reduction may represent an important result from the point of view of translational medicine to humans, since a downsizing of the number of vaccinations is usually advisable in order to minimize undesirable effects. The suggested vaccination strategy also represents a notable outcome. Even if this strategy is commonly used for many infectious diseases such as tetanus and hepatitis-B, it can be in fact considered as a relevant result in the field of cancer-vaccines immunotherapy. These results can be then used and verified in future "in vivo" experiments, and their outcome can be used to further improve and refine the model.

Vaccine research is a combinatorial science requiring computational analysis of vaccine components, formulations and optimization. We have developed a framework that combines computational tools for the study of immune function and vaccine development. This framework, named ImmunoGrid combines conceptual models of the immune system, models of antigen processing and presentation, system-level models of the immune system, Grid computing, and database technology to facilitate discovery, formulation and optimization of vaccines. ImmunoGrid modules share common conceptual models and ontologies. The ImmunoGrid portal offers access to educational simulators where previously defined cases can be displayed, and to research simulators that allow the development of new, or tuning of existing, computational models. The portal is accessible at .

MOTIVATION: Atherosclerosis is a disease that is present in almost all humans, typically beginning in early adolescence. It is a human disease broadly investigated, that is amenable to quantitative analysis. Oxidized low-density lipoproteins (LDLs) and their autoantibodies are involved in the development of atherosclerosis in animal models, but their role in humans is still not clear. Computer models may represent a virtual environment to perform experiments not possible in human volunteers that can provide a useful instrument for monitoring both the evolution of atherosclerotic lesions and to quantify the efficacy of treatments, including vaccines, oriented to reduce the LDLs and their oxidized fraction. RESULTS: We report the application of an agent-based model to model both the immune response to atherogenesis and the atheromatous plaque progression in a generic artery wall. The level of oxidized LDLs, the immune humoral response with production of autoantibodies, the macrophages activity and the formation of foam cells are in good agreement with available clinical data, including the formation of atheromatous plaques in patients affected by hypercholesterolemia. AVAILABILITY: The model is available at http://www.immunogrid.eu/atherogenesis/

SUMMARY: Since few years the problem of finding optimal solutions for drug or vaccine protocols have been tackled using system biology modeling. These approaches are usually computationally expensive. Our previous experiences in optimizing vaccine or drug protocols using genetic algorithms required the use of a high performance computing infrastructure for a couple of days. In the present article we show that by an appropriate use of a different optimization algorithm, the simulated annealing, we have been able to downsize the computational effort by a factor 10(2). The new algorithm requires computational effort that can be achieved by current generation personal computers. AVAILABILITY: Software and additional data can be found at http://www.immunomics.eu/SA/

MOTIVATION: Highly Active AntiRetroviral Therapies (HAART) can prolong life significantly to people infected by HIV since, although unable to eradicate the virus, they are quite effective in maintaining control of the infection. However, since HAART have several undesirable side effects, it is considered useful to suspend the therapy according to a suitable schedule of Structured Therapeutic Interruptions (STI). In the present article we describe an application of genetic algorithms (GA) aimed at finding the optimal schedule for a HAART simulated with an agent-based model (ABM) of the immune system that reproduces the most significant features of the response of an organism to the HIV-1 infection. RESULTS: The genetic algorithm helps in finding an optimal therapeutic schedule that maximizes immune restoration, minimizes the viral count and, through appropriate interruptions of the therapy, minimizes the dose of drug administered to the simulated patient. To validate the efficacy of the therapy that the genetic algorithm indicates as optimal, we ran simulations of opportunistic diseases and found that the selected therapy shows the best survival curve among the different simulated control groups. AVAILABILITY: A version of the C-ImmSim simulator is available at http://www.iac.cnr.it/~filippo/c-ImmSim.html

BACKGROUND: Immunological prevention of cancer has been obtained in HER-2/neu transgenic mice using a vaccine that combines 3 different immune stimuli (Triplex vaccine) that is repeatedly administered for the entire lifespan of the host (Chronic protocol). Biological experiments leave open the question of whether the Chronic protocol is indeed the minimal vaccination schedule affording 100% protection, or whether shorter protocols could be applied that would result in the same efficacy. A biological solution would require an enormous number of experiments, each lasting at least one year. Therefore we approached this problem by developing a simulator (SimTriplex) which describes the immune response activated by Triplex vaccine. This simulator, tested against in vivo experiments on HER-2/neu mice, reproduces all the vaccination protocols used in the in vivo experiments. The simulator should describe any vaccination protocol within the tested range. A possible solution to the former open question using a minimal search strategy based on a genetic algorithm is presented. This is the first step toward a more general approach of biological or clinical constraints for the search of an effective vaccination schedule. RESULTS: The results suggest that the Chronic protocol included a good number of redundant vaccine administrations, and that maximal protection could still be obtained with a number of vaccinations approximately 40% less than with the Chronic protocol. CONCLUSION: This approach may have important connotations with regard to translation of cancer immunopreventive approaches to human situations, in which it is desirable to minimize the number of vaccinations. We are currently setting up experiments in mice to test whether the actual effectiveness of the vaccination protocol agrees with the genetic algorithm.

UNLABELLED: We present an in silico model that simulates the immune system responses to tumor cells in naive and vaccinated mice. We have demonstrated the ability of this model to accurately reproduce the experimental results. MOTIVATION: In vivo experiments on HER-2/neu mice have shown the effectiveness of Triplex vaccine in the protection of mice from mammary carcinoma. Full protection was conferred using chronic (prophylactic) vaccination protocol while therapeutic vaccination was less efficient. Our in silico model was able to closely reproduce the effects of various vaccination protocols. This model is the first step towards the development of in silico experiments searching for optimal vaccination protocols. RESULTS: In silico experiments carried out on two large statistical samples of virtual mice showed very good agreements with in vivo experiments for all experimental vaccination protocols. They also show, as supported by in vivo experiments, that the humoral response is fundamental in controlling the tumor growth and therefore suggest the selection and timing of experiments for measuring the activity of T cells. CONTACT: [email protected] SUPPLEMENTARY INFORMATION: http://www.dmi.unict.it/CIG/suppdata_bioinf.html.