A Model of the Immune-compatibility using the Install Problem in Computer Science

被引：0

作者：

Diaz, Felipe ^{[1
]}

机构：

[1] EAFIT Univ, Sch Sci & Humanities, Phys Engn Program, Log & Computat Grp, Medellin, Colombia

来源：

INDEPENDENT COMPONENT ANALYSES, COMPRESSIVE SAMPLING, WAVELETS, NEURAL NET, BIOSYSTEMS, AND NANOENGINEERING XII | 2014年 / 9118卷

关键词：

Immune-compatibility; Install problem; SMT-solver; Z3; !text type='Python']Python[!/text; SMT-; Lib; Sudoke game; Dihedral group; vaccination;

D O I：

10.1117/12.2049263

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

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 "Depends On", "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.

引用

页数：15

共 50 条

[1] Biomedical Nanoparticles: Overview of Their Surface Immune-Compatibility
Gamucci, Olimpia
Bertero, Alice
Gagliardi, Mariacristina
Bardi, Giuseppe
COATINGS, 2014, 4 (01) : 139 - 159
[2] Pectin-coated boron nitride nanotubes: In vitro cyto-/immune-compatibility on RAW 264.7 macrophages
Rocca, Antonella
Marino, Attilio
Del Turco, Serena
Cappello, Valentina
Parlanti, Paola
Pellegrino, Mario
Golberg, Dmitri
Mattoli, Virgilio
Ciofani, Gianni
BIOCHIMICA ET BIOPHYSICA ACTA-GENERAL SUBJECTS, 2016, 1860 (04): : 775 - 784
[3] Compatibility of Partnered Students in Computer Science Education
Sennett, Joshua
Sherriff, Mark
SIGCSE 10: PROCEEDINGS OF THE 41ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2010, : 244 - 248
[4] Computer science -: The other computer problem
Hayashi, AM
SCIENTIFIC AMERICAN, 1998, 279 (02) : 34 - 36
[5] USER MEETS COMPUTER - PROBLEM OF UPWARD COMPATIBILITY
PARKER, AJ
SILBEY, V
COMPUTERS AND PEOPLE, 1978, 27 (10): : 15 - 17
[6] AP Computer Science Principles' Impact on the Landscape of High School Computer Science using Maryland as a Model
Killen, Heather
Weintrop, David
Garvin, Megean
SIGCSE '19: PROCEEDINGS OF THE 50TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2019, : 1060 - 1066
[7] The Problem of Categorizing Conferences in Computer Science
Effendy, Suhendry
Yap, Roland H. C.
RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, TPDL 2016, 2016, 9819 : 447 - 450
[8] Pansystems Field Problem in Computer Science
Li, Xiaoxia
2015 International Conference on Identification, Information, and Knowledge in the Internet of Things (IIKI), 2015, : 45 - 49
[9] PROBABILITY AND STATISTICS IN THE SERVICE OF COMPUTER-SCIENCE - ILLUSTRATIONS USING THE ASSIGNMENT PROBLEM
STEELE, JM
COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 1990, 19 (11) : 4315 - 4329
[10] The Gender Gap: Is It a Computing Problem or Simply a Computer Science Problem?
Glass, Robert L.
IEEE SOFTWARE, 2012, 29 (02) : 88 - +

← 1 2 3 4 5 →