A formal methods approach to predicting new features of the eukaryotic vesicle traffic system

被引：5

作者：

Bhattacharyya, Arnab ^{[1
]}

Gupta, Ashutosh ^{[2
]}

Kuppusamy, Lakshmanan ^{[3
]}

Mani, Somya ^{[4
]}

Shukla, Ankit ^{[5
]}

Srivas, Mandayam ^{[6
]}

Thattai, Mukund ^{[7
]}

机构：

[1] Natl Univ Singapore, NUS Sch Comp, 13 Comp Dr, Singapore 117417, Singapore

[2] Indian Inst Technol, Mumbai 400076, Maharashtra, India

[3] VIT, Sch Comp Sci & Engn, Vellore 632014, Tamil Nadu, India

[4] IBS CSLM, Ulsan 44919, South Korea

[5] Johannes Kepler Univ Linz, A-4040 Linz, Austria

[6] Chennai Math Inst, Chennai 603103, Tamil Nadu, India

[7] NCBS TIFR, Simons Ctr Study Living Machines, Bengaluru 560065, India

来源：

ACTA INFORMATICA | 2021年 / 58卷 / 1-2期

基金：

奥地利科学基金会;

关键词：

GOLGI; MACHINERY; SNARES; GLYCOPROTEIN; PRINCIPLES; EVOLUTION; TRANSPORT; MEMBRANES; PROGRAM; COMPLEX;

D O I：

10.1007/s00236-019-00357-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Vesicle traffic systems (VTSs) transport cargo among the intracellular compartments of eukaryotic cells. The compartments are viewed as nodes that are labeled by their chemical identity and the transport vesicles are similarly viewed as labeled edges between the nodes. Several interesting questions about VTSs translate to combinatorial search and synthesis problems. We present novel encodings for the problems based on Boolean satisfiability (SAT), satisfiability modulo theories and quantified Boolean formula of the properties over vesicle traffic systems. We have implemented the presented encodings in a tool that searches for the networks that satisfy properties related to transport consistency conditions using these solvers. In our numerical experiments, we show that our tool can search for networks of sizes that are relevant to real cellular systems. Our work illustrates the potential of novel biological applications of SAT solving technology.

引用

页码：57 / 93

页数：37

共 91 条

[1]

Alberts B., 2002, Molecular BIology of the Cell, V4th ed.

[2] Syntax-Guided Synthesis [J].

Alur, Rajeev ;

Bodik, Rastislav ;

Dallal, Eric ;

Fisman, Dana ;

Garg, Pranav ;

Juniwal, Garvit ;

Kress-Gazit, Hadas ;

Madhusudan, P. ;

Martin, Milo M. K. ;

Raghothaman, Mukund ;

Saha, Shamwaditya ;

Seshia, Sanjit A. ;

Singh, Rishabh ;

Solar-Lezama, Armando ;

Torlak, Emina ;

Udupa, Abhishek .

DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2015, 40 :1-25

[3]

[Anonymous], 2018, QDIMACS STAND VER 1

[4] Chaperoning SNARE assembly and disassembly [J].

Baker, Richard W. ;

Hughson, Frederick M. .

NATURE REVIEWS MOLECULAR CELL BIOLOGY, 2016, 17 (08) :465-479

[5]

Barlow L., 2017, SEMINARS CELL DEV BI

[6]

Barrett C., 2018, Handbook of model checking, P305, DOI DOI 10.1007/978-3-319-10575-8_11

[7]

Benedetti M., 2008, J SATISFIABILITY BOO, V5, P133

[8] Human Diseases Associated with Form and Function of the Golgi Complex [J].

Bexiga, Mariana G. ;

Simpson, Jeremy C. .

INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2013, 14 (09) :18670-18681

[9]

Biere A, 2003, ADV COMPUT, V58, P117

[10]

Biere A, 1999, LECT NOTES COMPUT SC, V1579, P193

← 1 2 3 4 5 6 7 8 9 10 →