Share Email Print
cover

Proceedings Paper

A model of the immune-compatibility using the install problem in computer science
Author(s): Felipe Díaz
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 22 May 2014
PDF: 15 pages
Proc. SPIE 9118, Independent Component Analyses, Compressive Sampling, Wavelets, Neural Net, Biosystems, and Nanoengineering XII, 911817 (22 May 2014); doi: 10.1117/12.2049263
Show Author Affiliations
Felipe Díaz , Univ. EAFIT (Colombia)


Published in SPIE Proceedings Vol. 9118:
Independent Component Analyses, Compressive Sampling, Wavelets, Neural Net, Biosystems, and Nanoengineering XII
Harold H. Szu; Liyi Dai, Editor(s)

© SPIE. Terms of Use
Back to Top