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 条

[51] Timing Robustness in the Budding and Fission Yeast Cell Cycles [J].

Mangla, Karan ;

Dill, David L. ;

Horowitz, Mark A. .

PLOS ONE, 2010, 5 (02)

[52] Stacking the odds for Golgi cisternal maturation [J].

Mani, Somya ;

Thattai, Mukund .

ELIFE, 2016, 5

[53] Conflict-driven clause learning SAT solvers [J].

Front. Artif. Intell. Appl., 2009, 1 (131-153) :131-153

[54] Compartmental specificity of cellular membrane fusion encoded in SNARE proteins [J].

McNew, JA ;

Parlati, F ;

Fukuda, R ;

Johnston, RJ ;

Paz, K ;

Paumet, F ;

Söllner, TH ;

Rothman, JE .

NATURE, 2000, 407 (6801) :153-159

[55] Reconstituted membrane fusion requires regulatory lipids, SNAREs and synergistic SNARE chaperones [J].

Mima, Joji ;

Hickey, Christopher M. ;

Xu, Hao ;

Jun, Youngsoo ;

Wickner, William .

EMBO JOURNAL, 2008, 27 (15) :2031-2042

[56] Small Molecules for Dissecting Endomembrane Trafficking: A Cross-Systems View [J].

Mishev, Kiril ;

Dejonghe, Wim ;

Russinova, Eugenia .

CHEMISTRY & BIOLOGY, 2013, 20 (04) :475-486

[57]

Muller Matthias P, 2018, Small GTPases, V9, P5, DOI 10.1080/21541248.2016.1276999

[58] Organelle identity and the organization of membrane traffic [J].

Munro, S .

NATURE CELL BIOLOGY, 2004, 6 (06) :469-472

[59] The Nutrient Stress-induced Small GTPase Rab5 Contributes to the Activation of Vesicle Trafficking and Vacuolar Activity [J].

Nakatsukasa, Kunio ;

Kanada, Akira ;

Matsuzaki, Mariko ;

Byrne, Stuart D. ;

Okumura, Fumihiko ;

Kamura, Takumi .

JOURNAL OF BIOLOGICAL CHEMISTRY, 2014, 289 (30) :20970-20978

[60]

Nickel W., 2018, SEMINARS CELL DEV BI

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