Model verification tools: a computational framework for verification assessment of mechanistic agent-based models.

BACKGROUND: Nowadays, the inception of computer modeling and simulation in life science is a matter of fact. This is one of the reasons why regulatory authorities are open in considering in silico trials evidence for the assessment of safeness and efficacy of medicinal products. In this context, mechanistic Agent-Based Models are increasingly used. Unfortunately, there is still a lack of consensus in the verification assessment of Agent-Based Models for regulatory approval needs. VV&UQ is an ASME standard specifically suited for the verification, validation, and uncertainty quantification of medical devices. However, it can also be adapted for the verification assessment of in silico trials for medicinal products. RESULTS: Here, we propose a set of automatic tools for the mechanistic Agent-Based Model verification assessment. As a working example, we applied the verification framework to an Agent-Based Model in silico trial used in the COVID-19 context. CONCLUSIONS: Using the described verification computational workflow allows researchers and practitioners to easily perform verification steps to prove Agent-Based Models robustness and correctness that provide strong evidence for further regulatory requirements.

A machine learning approach for predicting high risk hospitalized patients with COVID-19 SARS-Cov-2.

BACKGROUND: This study aimed to explore whether explainable Artificial Intelligence methods can be fruitfully used to improve the medical management of patients suffering from complex diseases, and in particular to predict the death risk in hospitalized patients with SARS-Cov-2 based on admission data. METHODS: This work is based on an observational ambispective study that comprised patients older than 18 years with a positive SARS-Cov-2 diagnosis that were admitted to the hospital Azienda Ospedaliera "SS Antonio e Biagio e Cesare Arrigo", Alessandria, Italy from February, 24 2020 to May, 31 2021, and that completed the disease treatment inside this structure. The patients'medical history, demographic, epidemiologic and clinical data were collected from the electronic medical records system and paper based medical records, entered and managed by the Clinical Study Coordinators using the REDCap electronic data capture tool patient chart. The dataset was used to train and to evaluate predictive ML models. RESULTS: We overall trained, analysed and evaluated 19 predictive models (both supervised and unsupervised) on data from 824 patients described by 43 features. We focused our attention on models that provide an explanation that is understandable and directly usable by domain experts, and compared the results against other classical machine learning approaches. Among the former, JRIP showed the best performance in 10-fold cross validation, and the best average performance in a further validation test using a different patient dataset from the beginning of the third COVID-19 wave. Moreover, JRIP showed comparable performances with other approaches that do not provide a clear and/or understandable explanation. CONCLUSIONS: The ML supervised models showed to correctly discern between low-risk and high-risk patients, even when the medical disease context is complex and the list of features is limited to information available at admission time. Furthermore, the models demonstrated to reasonably perform on a dataset from the third COVID-19 wave that was not used in the training phase. Overall, these results are remarkable: (i) from a medical point of view, these models evaluate good predictions despite the possible differences entitled with different care protocols and the possible influence of other viral variants (i.e. delta variant); (ii) from the organizational point of view, they could be used to optimize the management of health-care path at the admission time.

In silico trial to test COVID-19 candidate vaccines: a case study with UISS platform.

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.

Generation of digital patients for the simulation of tuberculosis with UISS-TB.

BACKGROUND: The STriTuVaD project, funded by Horizon 2020, aims to test through a Phase IIb clinical trial one of the most advanced therapeutic vaccines against tuberculosis. As part of this initiative, we have developed a strategy for generating in silico patients consistent with target population characteristics, which can then be used in combination with in vivo data on an augmented clinical trial. RESULTS: One of the most challenging tasks for using virtual patients is developing a methodology to reproduce biological diversity of the target population, ie, providing an appropriate strategy for generating libraries of digital patients. This has been achieved through the creation of the initial immune system repertoire in a stochastic way, and through the identification of a vector of features that combines both biological and pathophysiological parameters that personalise the digital patient to reproduce the physiology and the pathophysiology of the subject. CONCLUSIONS: We propose a sequential approach to sampling from the joint features population distribution in order to create a cohort of virtual patients with some specific characteristics, resembling the recruitment process for the target clinical trial, which then can be used for augmenting the information from the physical the trial to help reduce its size and duration.

Computational modeling of the immune response in multiple sclerosis using epimod framework.

BACKGROUND: Multiple Sclerosis (MS) represents nowadays in Europe the leading cause of non-traumatic disabilities in young adults, with more than 700,000 EU cases. Although huge strides have been made over the years, MS etiology remains partially unknown. Furthermore, the presence of various endogenous and exogenous factors can greatly influence the immune response of different individuals, making it difficult to study and understand the disease. This becomes more evident in a personalized-fashion when medical doctors have to choose the best therapy for patient well-being. In this optics, the use of stochastic models, capable of taking into consideration all the fluctuations due to unknown factors and individual variability, is highly advisable. RESULTS: We propose a new model to study the immune response in relapsing remitting MS (RRMS), the most common form of MS that is characterized by alternate episodes of symptom exacerbation (relapses) with periods of disease stability (remission). In this new model, both the peripheral lymph node/blood vessel and the central nervous system are explicitly represented. The model was created and analysed using Epimod, our recently developed general framework for modeling complex biological systems. Then the effectiveness of our model was shown by modeling the complex immunological mechanisms characterizing RRMS during its course and under the DAC administration. CONCLUSIONS: Simulation results have proven the ability of the model to reproduce in silico the immune T cell balance characterizing RRMS course and the DAC effects. Furthermore, they confirmed the importance of a timely intervention on the disease course.

Moving forward through the in silico modeling of tuberculosis: a further step with UISS-TB.

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.

Computational modeling reveals MAP3K8 as mediator of resistance to vemurafenib in thyroid cancer stem cells.

MOTIVATION: Val600Glu (V600E) mutation is the most common BRAF mutation detected in thyroid cancer. Hence, recent research efforts have been performed trying to explore several inhibitors of the V600E mutation-containing BRAF kinase as potential therapeutic options in thyroid cancer refractory to standard interventions. Among them, vemurafenib is a selective BRAF inhibitor approved by Food and Drug Administration for clinical practice. Unfortunately, vemurafenib often displays limited efficacy in poorly differentiated and anaplastic thyroid carcinomas probably because of intrinsic and/or acquired resistance mechanisms. In this view, cancer stem cells (CSCs) may represent a possible mechanism of resistance to vemurafenib, due to their self-renewal and chemo resistance properties. RESULTS: We present a computational framework to suggest new potential targets to overcome drug resistance. It has been validated with an in vitro model based upon a spheroid-forming method able to isolate thyroid CSCs that may mimic resistance to vemurafenib. Indeed, vemurafenib did not inhibit cell proliferation of BRAF V600E thyroid CSCs, but rather stimulated cell proliferation along with a paradoxical over-activation of ERK and AKT pathways. The computational model identified a fundamental role of mitogen-activated protein kinase 8 (MAP3K8), a serine/threonine kinase expressed in thyroid CSCs, in mediating this drug resistance. To confirm model prediction, we set a suitable in vitro experiment revealing that the treatment with MAP3K8 inhibitor restored the effect of vemurafenib in terms of both DNA fragmentation and poly (ADP-ribose) polymerase cleavage (apoptosis) in thyroid CSCs. Moreover, MAP3K8 expression levels may be a useful marker to predict the response to vemurafenib. AVAILABILITY AND IMPLEMENTATION: The model is available in GitHub repository visiting the following URL: https://github.com/francescopappalardo/MAP3K8-Thyroid-Spheres-V-3.0. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

Parallelisation strategies for agent based simulation of immune systems.

BACKGROUND: In recent years, the study of immune response behaviour using bottom up approach, Agent Based Modeling (ABM), has attracted considerable efforts. The ABM approach is a very common technique in the biological domain due to high demand for a large scale analysis tools for the collection and interpretation of information to solve biological problems. Simulating massive multi-agent systems (i.e. simulations containing a large number of agents/entities) requires major computational effort which is only achievable through the use of parallel computing approaches. RESULTS: This paper explores different approaches to parallelising the key component of biological and immune system models within an ABM model: pairwise interactions. The focus of this paper is on the performance and algorithmic design choices of cell interactions in continuous and discrete space where agents/entities are competing to interact with one another within a parallel environment. CONCLUSIONS: Our performance results demonstrate the applicability of these methods to a broader class of biological systems exhibiting typical cell to cell interactions. The advantage and disadvantage of each implementation is discussed showing each can be used as the basis for developing complete immune system models on parallel hardware.

Toward computational modelling on immune system function.

The 2nd Computational Methods for the Immune System function Workshop has been held in Madrid in conjunction with the IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2018) in Madrid, Spain, from December 3 to 6, 2018. The workshop has been obtained 100% more submissions in respect to the first edition, highlighting a growing interest for the treated topics. The best papers (9) have been selected for extension in this special issue, with themes about immune system and disease simulation, computer-aided design of novel candidate vaccines, methods for the analysis of immune system involved diseases based on statistical methods, meta-heuristics and game theory, and modelling strategies for improving the simulation of the immune system dynamics.

A computational approach based on the colored Petri net formalism for studying multiple sclerosis.

BACKGROUND: Multiple Sclerosis (MS) is an immune-mediated inflammatory disease of the Central Nervous System (CNS) which damages the myelin sheath enveloping nerve cells thus causing severe physical disability in patients. Relapsing Remitting Multiple Sclerosis (RRMS) is one of the most common form of MS in adults and is characterized by a series of neurologic symptoms, followed by periods of remission. Recently, many treatments were proposed and studied to contrast the RRMS progression. Among these drugs, daclizumab (commercial name Zinbryta), an antibody tailored against the Interleukin-2 receptor of T cells, exhibited promising results, but its efficacy was accompanied by an increased frequency of serious adverse events. Manifested side effects consisted of infections, encephalitis, and liver damages. Therefore daclizumab has been withdrawn from the market worldwide. Another interesting case of RRMS regards its progression in pregnant women where a smaller incidence of relapses until the delivery has been observed. RESULTS: In this paper we propose a new methodology for studying RRMS, which we implemented in GreatSPN, a state-of-the-art open-source suite for modelling and analyzing complex systems through the Petri Net (PN) formalism. This methodology exploits: (a) an extended Colored PN formalism to provide a compact graphical description of the system and to automatically derive a set of ODEs encoding the system dynamics and (b) the Latin Hypercube Sampling with PRCC index to calibrate ODE parameters for reproducing the real behaviours in healthy and MS subjects.To show the effectiveness of such methodology a model of RRMS has been constructed and studied. Two different scenarios of RRMS were thus considered. In the former scenario the effect of the daclizumab administration is investigated, while in the latter one RRMS was studied in pregnant women. CONCLUSIONS: We propose a new computational methodology to study RRMS disease. Moreover, we show that model generated and calibrated according to this methodology is able to reproduce the expected behaviours.

EpiMethEx: a tool for large-scale integrated analysis in methylation hotspots linked to genetic regulation.

BACKGROUND: DNA methylation is an epigenetic mechanism of genomic regulation involved in the maintenance of homeostatic balance. Dysregulation of DNA methylation status is one of the driver alterations occurring in neoplastic transformation and cancer progression. The identification of methylation hotspots associated to gene dysregulation may contribute to discover new prognostic and diagnostic biomarkers, as well as, new therapeutic targets. RESULTS: We present EpiMethEx (Epigenetic Methylation and Expression), a R package to perform a large-scale integrated analysis by cyclic correlation analyses between methylation and gene expression data. For each gene, samples are segmented according to the expression levels to select genes that are differentially expressed. This stratification allows to identify CG methylation probesets modulated among gene-stratified samples. Subsequently, the methylation probesets are grouped by their relative position in gene sequence to identify wide genomic methylation events statically related to genetic modulation. CONCLUSIONS: The beta-test study showed that the global methylation analysis was in agreement with scientific literature. In particular, this analysis revealed a negative association between promoter hypomethylation and overexpression in a wide number of genes. Less frequently, this overexpression was sustained by intragenic hypermethylation events.

Predicting the artificial immunity induced by RUTI® vaccine against tuberculosis using universal immune system simulator (UISS).

BACKGROUND: Tuberculosis (TB) represents a worldwide cause of mortality (it infects one third of the world's population) affecting mostly developing countries, including India, and recently also developed ones due to the increased mobility of the world population and the evolution of different new bacterial strains capable to provoke multi-drug resistance phenomena. Currently, antitubercular drugs are unable to eradicate subpopulations of Mycobacterium tuberculosis (MTB) bacilli and therapeutic vaccinations have been postulated to overcome some of the critical issues related to the increase of drug-resistant forms and the difficult clinical and public health management of tuberculosis patients. The Horizon 2020 EC funded project "In Silico Trial for Tuberculosis Vaccine Development" (STriTuVaD) to support the identification of new therapeutic interventions against tuberculosis through novel in silico modelling of human immune responses to disease and vaccines, thereby drastically reduce the cost of clinical trials in this critical sector of public healthcare. RESULTS: We present the application of the Universal Immune System Simulator (UISS) computational modeling infrastructure as a disease model for TB. The model is capable to simulate the main features and dynamics of the immune system activities i.e., the artificial immunity induced by RUTI® vaccine, a polyantigenic liposomal therapeutic vaccine made of fragments of Mycobacterium tuberculosis cells (FCMtb). Based on the available data coming from phase II Clinical Trial in subjects with latent tuberculosis infection treated with RUTI® and isoniazid, we generated simulation scenarios through validated data in order to tune UISS accordingly to STriTuVaD objectives. The first case simulates the establishment of MTB latent chronic infection with some typical granuloma formation; the second scenario deals with a reactivation phase during latent chronic infection; the third represents the latent chronic disease infection scenario during RUTI® vaccine administration. CONCLUSIONS: The application of this computational modeling strategy helpfully contributes to simulate those mechanisms involved in the early stages and in the progression of tuberculosis infection and to predict how specific therapeutical strategies will act in this scenario. In view of these results, UISS owns the capacity to open the door for a prompt integration of in silico methods within the pipeline of clinical trials, supporting and guiding the testing of treatments in patients affected by tuberculosis.

Combining agent based-models and virtual screening techniques to predict the best citrus-derived vaccine adjuvants against human papilloma virus.

BACKGROUND: Human papillomavirus infection is a global social burden that, every year, leads to thousands new diagnosis of cancer. The introduction of a protocol of immunization, with Gardasil and Cervarix vaccines, has radically changed the way this infection easily spreads among people. Even though vaccination is only preventive and not therapeutic, it is a strong tool capable to avoid the consequences that this pathogen could cause. Gardasil vaccine is not free from side effects and the duration of immunity is not always well determined. This work aim to enhance the effects of the vaccination by using a new class of adjuvants and a different administration protocol. Due to their minimum side effects, their easy extraction, their low production costs and their proven immune stimulating activity, citrus-derived molecules are valid candidates to be administered as adjuvants in a vaccine formulation against Hpv. RESULTS: With the aim to get a stronger immune response against Hpv infection we built an in silico model that delivers a way to predict the best adjuvants and the optimal means of administration to obtain such a goal. Simulations envisaged that the use of Neohesperidin elicited a strong immune response that was then validated in vivo. CONCLUSIONS: We built up a computational infrastructure made by a virtual screening approach able to preselect promising citrus derived compounds, and by an agent based model that reproduces HPV dynamics subject to vaccine stimulation. This integrated methodology was able to predict the best protocol that confers a very good immune response against HPV infection. We finally tested the in silico results through in vivo experiments on mice, finding good agreement.

A computational model to predict the immune system activation by citrus-derived vaccine adjuvants.

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: francesco.pappalardo@unict.it; fp@francescopappalardo.net.

A methodological approach for using high-level Petri Nets to model the immune system response.

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.

Computational modeling of the expansion of human cord blood CD133+ hematopoietic stem/progenitor cells with different cytokine combinations.

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.

Induction of T-cell memory by a dendritic cell vaccine: a computational model.

MOTIVATION: Although results from phase III clinical trials substantially support the use of prophylactic and therapeutic vaccines against cancer, what has yet to be defined is how many and how frequent boosts are needed to sustain a long-lasting and protecting memory T-cell response against tumor antigens. Common experience is that such preclinical tests require the sacrifice of a relatively large number of animals, and are particularly time- and money-consuming. RESULTS: As a first step to overcome these hurdles, we have developed an ordinary differential equation model that includes all relevant entities (such as activated cytotoxic T lymphocytes and memory T cells), and investigated the induction of immunological memory in the context of wild-type mice injected with a dendritic cell-based vaccine. We have simulated the biological behavior both in the presence and in the absence of memory T cells. Comparing results of ex vivo and in silico experiments, we show that the model is able to envisage the expansion and persistence of antigen-specific memory T cells. The model might be applicable to more complex vaccination schedules and substantially in any biological condition of prime-boosting. AVAILABILITY AND IMPLEMENTATION: The model is fully described in the article.

Computational modelling approaches to vaccinology.

Excepting the Peripheral and Central Nervous Systems, the Immune System is the most complex of somatic systems in higher animals. This complexity manifests itself at many levels from the molecular to that of the whole organism. Much insight into this confounding complexity can be gained through computational simulation. Such simulations range in application from epitope prediction through to the modelling of vaccination strategies. In this review, we evaluate selectively various key applications relevant to computational vaccinology: these include technique that operates at different scale that is, from molecular to organisms and even to population level.

Agent based modeling of Treg-Teff cross regulation in relapsing-remitting multiple sclerosis.

BACKGROUND: Multiple sclerosis (MS) is a disease of central nervous system that causes the removal of fatty myelin sheath from axons of the brain and spinal cord. Autoimmunity plays an important role in this pathology outcome and body's own immune system attacks on the myelin sheath causing the damage. The etiology of the disease is partially understood and the response to treatment cannot easily be predicted. RESULTS: We presented the results obtained using 8 genetically predisposed randomly chosen individuals reproducing both the absence and presence of malfunctions of the Teff-Treg cross-balancing mechanisms at a local level. For simulating the absence of a local malfunction we supposed that both Teff and Treg populations had similar maximum duplication rates. Results presented here suggest that presence of a genetic predisposition is not always a sufficient condition for developing the disease. Other conditions such as a breakdown of the mechanisms that regulate and allow peripheral tolerance should be involved. CONCLUSIONS: The presented model allows to capture the essential dynamics of relapsing-remitting MS despite its simplicity. It gave useful insights that support the hypothesis of a breakdown of Teff-Treg cross balancing mechanisms.

Mathematical modeling of the immune system recognition to mammary carcinoma antigen.

The definition of artificial immunity, realized through vaccinations, is nowadays a practice widely developed in order to eliminate cancer disease. The present paper deals with an improved version of a mathematical model recently analyzed and related to the competition between immune system cells and mammary carcinoma cells under the action of a vaccine (Triplex). The model describes in detail both the humoral and cellular response of the immune system to the tumor associate antigen and the recognition process between B cells, T cells and antigen presenting cells. The control of the tumor cells growth occurs through the definition of different vaccine protocols. The performed numerical simulations of the model are in agreement with in vivo experiments on transgenic mice.