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 条
  • [41] USING A COMPUTER TO ASSIST IN THE TEACHING AND LEARNING OF SCIENCE
    HARRIS, J
    ASPECTS OF EDUCATION, 1980, (23): : 11 - 19
  • [42] Model selection in science: The problem of language variance
    Forster, MR
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1999, 50 (01): : 83 - 102
  • [43] Model selection in cognitive science as an inverse problem
    Myung, JI
    Pitt, MA
    Navarro, DJ
    COMPUTATIONAL IMAGING III, 2005, 5674 : 219 - 228
  • [44] Science as a model for ecosystem management - Panacea or problem
    Cooperrider, AY
    ECOLOGICAL APPLICATIONS, 1996, 6 (03) : 736 - 737
  • [45] THE PROBLEM OF COORDINATION IN ENGINEERING DEGREES: THE CASE OF COMPUTER SCIENCE AND COMMUNICATIONS ENGINEERING
    Fernandez-Gago, C.
    Diaz-Zayas, A.
    Cortes-Reyes, M.
    Rosas, J. M.
    13TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2019), 2019, : 5149 - 5152
  • [46] Empirical Evidence for the Existence and Uses of Metacognition in Computer Science Problem Solving
    Parham, Jennifer
    Gugerty, Leo
    Stevenson, D. E.
    SIGCSE 10: PROCEEDINGS OF THE 41ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2010, : 416 - 420
  • [47] No Computers? No Problem! Active and Cooperative Learning in an Introductory Computer Science Course
    Dugas, Cheryl A.
    FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, 2008, : 188 - 191
  • [48] Computer Science Problem Solving in the Escape Game "Room-X"
    Hacke, Alexander
    INFORMATICS IN SCHOOLS: NEW IDEAS IN SCHOOL INFORMATICS, ISSEP 2019, 2019, 11913 : 281 - 292
  • [49] Hour of Code: We can solve the diversity problem in computer science
    Wilson, Cameron
    ACM Inroads, 2014, 5 (04)
  • [50] An immune-based model for computer virus detection
    Li, T
    Liu, XJ
    Li, HB
    CRYPTOLOGY AND NETWORK SECURITY, PROCEEDINGS, 2005, 3810 : 59 - 71
12345