Transition between immune and disease states in a cellular automaton model of clonal immune response
In this paper we extend the Celada-Seiden (CS) model of the humoral immune response to include infectious virus and cytotoxic T lymphocytes (cellular response).
Abbas +26 more
core +2 more sources
Extending the Logic IM-SPDL with Impulse and State Rewards [PDF]
This report presents the logic SDRL (Stochastic Dynamic Reward Logic), an extension of the stochastic logic IM-SPDL, which supports the specication of complex performance and dependability requirements.
Haverkort, Boudewijn R., Kuntz, Matthias
core +1 more source
Confluence versus Ample Sets in Probabilistic Branching Time [PDF]
To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on
Hansen, Henri, Timmer, Mark
core +2 more sources
Social Play Behavior Is Critical for the Development of Prefrontal Inhibitory Synapses and Cognitive Flexibility in Rats. [PDF]
Bijlsma A +9 more
europepmc +1 more source
High resolution microfluidic assay and probabilistic modeling reveal cooperation between T cells in tumor killing. [PDF]
Ronteix G +6 more
europepmc +1 more source
Myeloid-Derived Suppressor-Cell Dynamics Control Outcomes in the Metastatic Niche. [PDF]
Kreger J, Roussos Torres ET, MacLean AL.
europepmc +1 more source
In-silico study of influence of HLA heterogeneity on CTL responses across ethnicities to SARS-CoV-2. [PDF]
Rao V, Chandra N.
europepmc +1 more source
Formal verification confirms the role of p53 protein in cell fate decision mechanism. [PDF]
Mahmoud EA +3 more
europepmc +1 more source
JOINT MODELING FOR LEARNING DECISION-MAKING DYNAMICS IN BEHAVIORAL EXPERIMENTS. [PDF]
Bian Y, Guo X, Wang Y.
europepmc +1 more source

