traditional laboratory - based cancer research involves expensive trial and error experimental strategies applied to humans , animals , and their harvested tissues .  in silico experimentation ,  the coupling of current computing technologies with mathematical or theoretical characterizations of cancer cell biology , provides a novel approach to guiding the early stages of hypothesis development and experimental design that has the potential to create subsequent efficiencies and cost savings in the laboratory .
this computational approach is advantageous because it allows vast numbers of experiments to be carried out that are easily observed at any desired level of detail and can be repeated and controlled at will .
such studies involving in vitro and in vivo animal experiments involve hypothesis generation and testing to determine whether further trials are warranted and are extremely costly both in terms of researchers ' time and the associated financial investment .
costs , such as laboratory setup , equipment and space , time spent by academics training others , and the time , equipment , and materials costs involved in repetitive , hands - on experimental work , all contribute to the expense of laboratory - based experimental research .
our contention in this paper , a view shared by many researchers in the closely related fields of computational , theoretical and mathematical biology , is that in silico experiments can be used as precursors to , or in combination with , preclinical experimental studies to provide guidance for the development of more refined hypotheses and experimental studies . in silico and mathematical modeling lends itself to the determination of preliminary information such as toxicity , pharmacokinetics , and efficacy , which can then be used to guide preclinical and clinical studies
. 
 in silico experimentation involves the combination of biological data and expert opinion with mathematical and computer - based representations to construct models of biology .
computer - based experiments can then be carried out using these models rather than , or in combination with , laboratory research .
using parameter distributions based on current expert opinion (  fuzzy  inputs ) or actual biological data ( random variables ) as inputs into the in silico models , it is possible to create what are effectively  computational patients  upon which to experiment .
it is of course also possible to consider smaller - scale experiments and even multiscale experiments , conducted on molecular , cellular , and tissue / organ levels .
appropriate use of in silico models involves making predictions based on experimental data and expert information and allows the models to be effectively used to inform clinical trials with a view to reducing costs and increasing efficiency . to provide an example ,
consider the study of cell transfer therapy for metastatic melanoma patients of rosenberg et al . .
the authors commented on the difficulty of deriving meaningful results from human experiments because of the variations in cell types , tumor types , immune states , and more fundamentally the human subjects themselves . while rosenberg et al .
suggest a solution to such a problem is to treat the same patient in differing ways over a period of time , another more ethical and flexible , and less hazardous method is through the use of in silico models and experimentation .
there is a rich history of theoretical studies involving mathematical and computational approaches to studying cancer .
burton and greenspan pioneered the mathematical modeling of tumor growth with models of growth dynamics explained as a problem of diffusion [ 25 ] .
since that time , theoretical studies of most aspects of tumor growth and related processes have been investigated at least to some extent , using various different methodologies including differential equations , stochastic models , and cellular automata .
araujo and mcelwain provide an excellent review of the mathematical modeling work carried out up to middle of the last decade .
more recently , alarcn et al . , mallet and coworkers [ 8 , 9 ] , and ferreira et al .
[ 10 , 11 ] have used a new paradigm  that of spatiotemporal , stochastic models using hybrid cellular automata techniques  to represent  computational patients  or  in silico experiments  in a new direction for cancer research .
this experimental paradigm extends the traditional mathematical modeling of cancer to incorporate computational simulations that are parameterized in such a way to represent different patients or different experiments .
it is also becoming more common to find mathematical studies appearing in the cancer literature .
utley et al . , for example , discuss improvement in survival rates resulting from postoperative chemotherapy for lung cancer patients .
they note that the marginal ( 5% ) survival rate improvement due to chemotherapy may be outweighed for some patients by the morbidity due to the treatment and that further trials do not actually improve information provided to patients , but rather improve the certainty of that prediction .
propose the use of a mathematical model , utilizing patient - specific pathological cancer stage data combined with existing techniques , to arrive at better evidence for informing patients regarding their postoperative treatment choices .   in a study more at the preclinical stage of research , de pillis et al .
describe a differential equation - based model for the interactions between a growing tumor , natural killer cells , and cd8 t cells of the host immune system .
with a view to understanding how the immune system assists in rejecting growing tumors , de pillis et al .
present mathematical descriptions of key mechanisms in the immune response before fitting the model to data from published mouse and human studies .
a parameter sensitivity analysis reveals the key role of a patient - specific variable and that the model may in fact provide a means to predict positive response of particular patients to treatment .
mallet and de pillis   and later de pillis et al .   explored a particular type of in silico model known as a hybrid cellular automata - partial differential equation ( ca - pde ) model to describe the interactions between a growing tumor and the host immune response .
a hybrid ca - pde model combines the traditional continuum methods of applied mathematics , such as macroscale reaction - diffusion equations describing chemical concentrations , with more modern , individual , or grid - based automaton methods , which are used for describing individual cell - level phenomena .
the hybrid ca - pde modeling approach has been successfully used in the past to model tumor growth , chemotherapeutic treatment , and the effects of vascularization on a growing tumor [ 7 , 10 , 11 , 14 ] . in section 3
we discuss this model in some detail , explaining how the model is constructed as well as typical outputs of an in silico model of this type .
while in vitro and in vivo models use actual biological materials and/or actual animals to investigate hypotheses and , for example , predict effectiveness of treatment strategies , in silico models use specifically designed computer programs to mimic these  real  experimental environments and to conduct computational experiments .
there exist a number of different types of in silico model including differential equation models that track changes in quantities over time and/or space , network models that trace lines of probabilistic causation and/or correlation , discrete cellular automata- or individual - based models , and hybrids of all of these models . rather than providing models of real biological phenomena and structures that have a basis in some sort of extracted tissue or a somehow related animal species , these in silico models
are comprised of mathematical and computational representations such as formulae , equations , and/or computer programs .
parameterized  so that quantities or rates not known in the real world or which are specific to different experiments can be investigated via computational experiments , or as we dub them  in silico trials .
 the concept of the in silico trial can be thought of as akin to clinical trials . just as each patient in a clinical trial has their own set of characteristics such as height , age , and status with regard to smoking and alcohol consumption
so too we can run the program of an in silico model multiple times with varied parameters to produce  computational patients  in an in silico trial .  
the development of in silico model is often a process of cross - disciplinary collaboration between cancer biologists and mathematicians or modelers .
generally , the initial stages involve the model builder obtaining an understanding of the tumor biology required for developing the in silico model
. this will be a period of intense collaborative work involving discussions between all investigators and a review of the theoretical and experimental literature .
the next stage involves abstraction of biological information into a mathematical or computational form , that is , building the update rules .
this requires the creation of mathematical representations of relevant micro level biological phenomena and mechanisms ( such as rates and results of cell division , methods for representing distributions of chemical molecules , and interactions between antigen and antigen presenting cells ) and the compilation of these into a macrolevel description of the real experimental situation . following the development of the update rules , the algorithm for the entire process
is computerized usually employing generic programming languages such as c++ or with mathematical software such as matlab .
this algorithm allows for the solution of the in silico model and facilitates easy simulation of large numbers of experiments , that is , repeated simulation of the model using many different parameter sets in order to mimic running slightly different experiments in the laboratory .
this could reflect , for example , an investigation of the effect of different quantities of gold nanoparticles on effectiveness of radiotherapy or the effect of different concentrations of chemotherapeutic treatments .
while largely automated via the computer program , the simulation of the in silico model requires careful and continuous monitoring to ensure that computations converge ( i.e. , solutions are obtained rather than computational errors ) and to make adjustments to investigations when results of interest are observed .
following simulation of the in silico model , the results of the computational experiments are analyzed and interpreted .
the investigators use the outputs of the model to determine what results are already useful for informing any associated experimental studies as well as what parts of the in silico model are deficient and require refinement along with a follow - up round of in silico experiments .
the whole process can be repeated , with refinement , as often as new information is required , and in general the costs of follow - up in silico experimentation decrease as the fundamental computational framework has already been developed . in the remainder of this section
, we present an oversimplified and generic model along with the computational algorithm to further illuminate this concept .
a cellular automaton ( ca ) is a type of mathematical model , discrete in both space and time .
here we consider a two - dimensional ca , such as that which could be used to model the surface of the skin or possibly a petri dish , but note that three - dimensional models are simple , if computationally expensive , extensions of the same concepts .
a two - dimensional ca consists of a lattice or grid of ca elements covering a region of space ( see figure 1 ) .
applied in the biological context , each element is allowed to house one or more biological cells and , depending on the experimental situation being modeled , may also hold other matter such as molecules , debris , fluid , or bacteria .
the cells in the ca elements are allowed to interact with one another via update rules .
the set of update rules defines how the state of each element changes in response to its current state and the current state of its neighbors  the definition of these rules is the fundamental modelling stage in the development of the in silico model ( see figure 2 ) .
the accuracy of the model is heavily dependent on designing rules that adequately reflect the real interactions between cells .
the system is first initialized so that the computational representation presented in the cellular automata grid matches some initial condition for the ensuing computational experiment .
next , a sequence of  time steps  is carried out such that the model time is incremented by a small amount at each step . within each time step , every spatial location or element in the ca grid is investigated to identify its contents . depending on the contents ,
an appropriate update rule is applied which may involve the states of the neighboring elements .
updates are made throughout the grid , time is incremented , and the process continues . to extend this model to allow in silico trials ,
the computer program for the algorithm described in the above paragraph is wrapped in a further program .
this involves providing a collection of two or more ( depending on the number of experiments or trials required ) parameter value sets to the algorithm and running the algorithm once with each set .
the output data , for example , cell counts over time , for each trial is exported to memory at the completion of each trial . as mentioned earlier , with regard to developing an accurate description of the biological process of interest
, the specification of the update rules for a cellular automata - based in silico model is the most important part of the modelling process . to demonstrate this ,
consider the seemingly simple case of the movement of one cell to a neighboring location and the following increasingly complex but increasingly accurate rules .  

rule 1if there is one or more empty ca elements surrounding a cell , move to a randomly chosen empty element , otherwise , do not move . 
 
if there is one or more empty ca elements surrounding a cell , move to a randomly chosen empty element , otherwise , do not move . 

rule 2if there is one or more empty ca elements surrounding a cell and moving to one would increase the cell 's satisfaction in some way , move to a randomly chosen element of this type , otherwise , do not move . 
 
if there is one or more empty ca elements surrounding a cell and moving to one would increase the cell 's satisfaction in some way , move to a randomly chosen element of this type , otherwise , do not move . 

rule 3if there is one or more empty ca elements surrounding a cell , consider moving to one of these locations with a probability that depends on factors such as cell adhesion levels , nutrient supply , and chemoattractants , otherwise , do not move . 
 
if there is one or more empty ca elements surrounding a cell , consider moving to one of these locations with a probability that depends on factors such as cell adhesion levels , nutrient supply , and chemoattractants , otherwise , do not move .
each of these rules could be implemented in an in silico model as the determining factor regarding whether or not a cell moves . clearly moving from rule 1 to rule 3 , the amount of realism increases , but , simultaneously , the amount of information required to design the rule also increases .
rule 1 does not require any information about the cells of interest  the cell simply moves if it can , and the location it moves to is randomly chosen .
on the other hand , rule 3 requires that the modeler has some preexisting or obtainable understanding regarding how cells respond to chemoattractants , how cell adhesion affects motility , and what impact nutrient levels have on the decision of a cell to move from location to location .
thus we note that with more information about the biological process , the modeler can construct more realistic update rules , but at the same time , a lack of information by no means rules out in silico modeling .
in fact , in silico models can yield rich information when they are used from the very early stages as part of hypothesis generation and testing when there is a dearth of biological information .
mallet and de pillis   presented a so - called  hybrid cellular automata model  of the interactions between the cells of a growing tumor and those of the host immune system .
mallet and de pillis successfully designed a computational method for investigating the interactions between an idealized host immune system and a growing tumor .
the simulated tumor growth experiments were found to be in qualitative agreement with both the experimental and theoretical literature .
it was found that even with quite simple mathematical descriptions of the biological processes and with an overly simplified description of the host immune system , the computational model had the potential to produce the behavior observed in laboratory experiments including spherical and papillary tumor growth geometries , stable and oscillatory tumor growth dynamics , and the infiltration of the tumor by immune cells .
it was also possible to show the dependence of these different morphologies on key model parameters related to the immune response .
numerical solutions produced using the mallet and de pillis model agreed qualitatively with the experimental results demonstrated by zhang et al . , schmollinger et al . , and soiffer et al .
while a laboratory model is usually designed to focus on a particular stage of a process or a specific event , in silico models can be designed to focus on arbitrarily small or large - scale phenomena .
mallet and de pillis chose to focus on the early stages of tumor growth during which the tumor is adjacent to , but not yet infiltrated by , nutrient supplying vasculature in order to allow for an investigation of the initial interactions between the immune system and the emerging tumor .
the simple model incorporated a simplified immune system comprised of two cell types , namely , the natural killer ( nk ) cells of the innate immune system and the cytotoxic t lymphocytes ( ctls ) of the specific immune system . a hybrid cellular automata and partial differential equation model
was constructed with an aim to demonstrate the combined effects of the innate and specific immune systems on the growth of a two - dimensional representation of a growing tumor .
this was accomplished by constructing a model with computerized cell behaviors built from descriptions in the experimental literature and findings of dynamic models of tumor  immune system interactions developed in the theoretical literature such as the work of kuznetsov and knott   and de pillis and radunskaya [ 19 , 20 ] .
mallet and de pillis ' hybrid cellular automata model employed a coupled deterministic - stochastic approach that had the benefit of being conceptually accessible as well as computationally straightforward to implement .
the authors used reaction - diffusion equations , to describe chemical species such as growth nutrients , and a cellular automata strategy to track the tumor cells and two distinct immune cell species .
together , these elements simulated the growth of the tumor and the interactions of the immune cells with the tumor growth .  
the model tracked cells both through time and through space  a clear advantage over dynamic models that assume a spatially well - mixed population of cells , which is not often the case in reality .
unlike continuum - based spatiotemporal models , which are generally comprised entirely of partial differential equations , the hybrid cellular automata approach allows for the consideration of individual cell behavior and associated randomness , rather than applying a general rule to a collection of cells , as is the case with continuum models .
while the mallet and de pillis model considered only four cell species with an overly simplistic view of the immune system , it is easily modified to cater for the inclusion of more cell types or new chemical species .
the evolution of the cell species considered in the mallet and de pillis model proceeds according to a combination of probabilistic and deterministic rules , developed in an attempt to describe the phenomena considered important in the theoretical model .
in particular , mallet and de pillis imposed a simplifying assumption to the host cells such that , other than their consumption of nutrients , they allow tumor cells to freely divide and migrate and were more or less passive bystanders to tumor growth .
tumor cells on the other hand were able to move , divide , die due to nutrient levels and die because of the immune response , each with a probability that depended on some combination of nutrient levels , local immune response , and crowding due to the presence of other tumor cells .
level by recruitment from outside the domain of interest whenever the local density dropped too far below its equilibrium level . both natural killer cells and cytotoxic t cells
were able to lyse tumor cells , although ctls could do so more than once and were able to attract other ctls to the local area .
ctls were also subject to removal from the local region with a probability depending on the local tumor cell density .
the rules used to represent these phenomena are developed as approximations of reality and involve considering individual events , such as an interaction between a cell on the periphery of a tumor and a natural killer cell , and attempting to quantify what happens as a result of this interaction .
this act of quantifying is guided by accepted results in the experimental and theoretical literature , expert elicitation , and simple physical arguments . as mentioned in the previous section , the development of these rules is the most important step in model development .
while the design and statement of all the ca rules are presented in the original paper , here we expand on the design of one of the rules to elucidate how such objects are constructed .
just as an experimentalist in the laboratory does not consider each of these explicitly , we do not attempt to represent each of them in the computational model either . instead , we distil what information is available in the literature and from collaborators to arrive at a model representation of the chance that the event occurs given certain conditions .
this distilled model representation is the cellular automata rule . for the case of cell division , mallet and
de pillis consider that given a tumor cell , the probability of division increases with the ratio of nutrient concentration to the number of tumor cells already present in the local region .
note that there is no mention of subcellular signal processing and neither is there any consideration of macrolevel pressure fields .
instead , the chance of the occurrence of a cell division is condensed into a consideration of whether or not there are sufficient nutrients nearby and whether or not the region is already crowded with tumor cells .
this rule is interesting because it also incorporates a second subrule  that of the placement of the daughter cell .
the model dictates that the grid location upon which the daughter cell is placed depends upon the cells occupying the neighborhood of the mother cell .
for example , a dividing cell with at least one host cell or necrotic space surrounding it will place its daughter cell randomly in one of those noncancerous locations and either destroy the host cell or simply replace the necrotic material . on the other hand ,
if all elements around the dividing cell are filled with tumor cells , the daughter cell will be placed in the neighboring element containing the fewest tumor cells .
in silico models such as that of mallet and de pillis can produce an array of different outputs . in this particular work , the authors focused on presenting growth curves and two - dimensional spatial snapshots in time of growing tumors that were compared with experimental results .
figures 3 and 4 , for example , show a growth curve and two - dimensional snapshot of a tumor growing in the absence of the immune system .
this result was used as a baseline to compare with experimental and previous mathematical results prior to investigating the effects of the immune system with this new model .
note , in figure 3 , the initially exponential growth phase ( cycle 0200 ) , before a phase of linear growth ( cycle 200800 ) .
these growth characteristics mimic the growth rates described in the experimental work of folkman and hochberg   and mathematically by greenspan .  
figure 4 is a snapshot in time ( 800 cell cycles ) of the same simulation where we see a roughly circular tumor with a radius of about 200 cells growing steadily outward toward the sources of the nutrient .
higher tumor cell densities are seen at the periphery of the tumor while in the center , a necrotic core is beginning to form with some necrotic material already appearing .  
mallet and de pillis also presented a particularly interesting application of their model that produced qualitatively similar simulated tumors to the results of some recent experimental studies of immune response to tumor growth .
and kuznetsov and knott   discussed the relationship between increased survival rates of cancer patients , tumor necrosis , and fibrosis , and the presence of intratumoral t cells or infiltrated t lymphocytes . in figures 5(a ) and 5(b ) , immune cells are shown to have infiltrated a growing tumor .
in particular , the darker regions in figure 5(a ) are evidence of tumor necrosis while lighter regions of figure 5(b ) are indicative of high immune cell populations .
, soiffer et al . , and kuznetsov and knott   where strings of immune cells are moving into the tumor , surrounding individual cells , and causing tumor cell necrosis .
the simulation results showed employee parameters for a compact tumor ( in the absence of the immune system ) , low - level ctl recruitment , and low ctl death probability .
we emphasize again that the same computer program is used to implement these simulations as those considered in the previous figures ; varying system parameters is all that is required to consider quite a different experiment when using the in silico modeling technology .
the example of an in silico model presented in this section employed a moderately complex , hybrid cellular automata - partial differential equation methodology to describe interactions between the host immune system and a growing tumor . in the absence of a simulated immune system ,
the model was capable of reproducing both compact - circular and wild papillary tumor morphologies .
morphology change was directly related to the relative rates of consumption of the survival and mitosis nutrients by both tumor and host tissue cells , and the results presented correspond qualitatively with the experimental literature ( such as folkman and hochberg ) .
when the model allowed for a simulated immune system , with different choices of t - lymphocyte recruitment and/or death parameters , oscillatory growth curves were observed for nearly all parameter sets .
depending on the strength of the immune system recruitment and death parameters , the tumor growth either increased without bound or resulted in destruction of the invasive growth .
the model was also able to reproduce experimentally observed immune cell infiltration of growing tumors .
the different sets of parameter values used in the simulation of the mallet and de pillis model are the primary method for computationally mimicking different strengths of immune systems of , for example , healthy individuals , capable of early tumor detection and destruction , and individuals in poor immune health , for whom tumors grow easily . in summary , even though the update rules proposed in the mallet and de pillis model were relatively simple and the number of cell types considered was far from exhaustive , the authors created an in silico model that was able to produce results in qualitative agreement with both the experimental and theoretical literature and which could be improved upon to provide useful preclinical results of relevance for further model development for guiding experimental work related to various treatment and vaccination strategies .

 in silico experimental modeling of cancer involves combining findings from biological literature with computer - based models of biological systems in order to conduct investigations of hypotheses entirely in the computer laboratory . in this paper
we have presented a discussion of the concept of in silico modeling and how in silico models are constructed in practice .
we have presented an example of in silico modeling that is relevant to the study of cancer and discussed its application and use as a hypothesis - generating tool as a precursor to or in combination with traditional clinical and laboratory research .
this type of computational tool , when used in transdisciplinary research teams , has the potential to allow researchers to refine their experimental programs with an aim to reducing costs and increasing research efficiency , and we advocate increased use of such strategies by research groups .
 
 in silico experimental modeling of cancer involves combining findings from biological literature with computer - based models of biological systems in order to conduct investigations of hypotheses entirely in the computer laboratory . in this paper , we discuss the use of in silico modeling as a precursor to traditional clinical and laboratory research , allowing researchers to refine their experimental programs with an aim to reducing costs and increasing research efficiency . 
 we explain the methodology of in silico experimental trials before providing an example of in silico modeling from the biomathematical literature with a view to promoting more widespread use and understanding of this research strategy . 
1. Introduction
2. Methods
3. An Example in Cancer Biology
4. Conclusions