22 May 2014 A model of the immune-compatibility using the install problem in computer science
Author Affiliations +
Abstract
We simulate the immune compatibility using the Install Problem: The idea is to define a Boolean variable for each antibody. This variable is true if the antibody must be in the immune system. The Install Problem refers to the incompatibility that some programs may have with an specific operative system making it impossible to be installed. The analysis was implemented using SMT-solvers, specifically Z3, and the code was wrote using the commands “DependsOn”, “Conflict” and “Compatibility_check”, making it possible to check the antibody compatibility. The programming languages used to build up the code were Z3-Python and Z3-SMT-Lib. The results can be used in systems biology and in the analysis of immunological therapies. As future line of research it could be developed a more complex algorithm to verify the immunological compatibility.
© (2014) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Felipe Díaz , Felipe Díaz , "A model of the immune-compatibility using the install problem in computer science", Proc. SPIE 9118, Independent Component Analyses, Compressive Sampling, Wavelets, Neural Net, Biosystems, and Nanoengineering XII, 911817 (22 May 2014); doi: 10.1117/12.2049263; https://doi.org/10.1117/12.2049263
PROCEEDINGS
15 PAGES


SHARE
Back to Top