{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T11:57:08Z","timestamp":1722772628667},"reference-count":36,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,2,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Cellular interactions of kinesin-1, an adenosine triphosphate (ATP)-driven motor protein capable of undergoing multiple steps on a microtubule (MT), affect its mechanical processivity, the number of steps taken per encounter with MT. Even though the processivity of kinesin has been widely studied, a detailed study of the factors that affect the stepping of the motor along MT is still lacking.<\/jats:p>\n               <jats:p>Results: We model the cellular interactions of kinesin as a probabilistic timed automaton and use the model to simulate the mechanical processivity of the motor. Theoretical analysis suggests: (i) backward stepping tends to be powered by ATP hydrolysis, rather than ATP synthesis, (ii) backward stepping powered by ATP synthesis is more likely to happen with limiting ATP concentration ([ATP]) at high loads and (iii) with increasing load the frequency of backward stepping powered by ATP hydrolysis at high [ATP] is greater than that powered by ATP synthesis at limiting [ATP]. Together, the higher frequency of backward stepping powered by ATP hydrolysis than by ATP synthesis is found to be a reason for the more dramatic falling of kinesin processivity with rising load at high [ATP] compared with that at low [ATP]. Simulation results further show that the processivity of kinesin can be determined by the number of ATP hydrolysis and synthesis kinetic cycles taken by the motor before becoming inactive. It is also found that the duration of a backward stepping cycle at high loads is more likely to be less than that of a forward stepping cycle.<\/jats:p>\n               <jats:p>Contact: \u00a0h.r.khataee@griffithuni.edu.au or a.liew@griffith.edu.au .<\/jats:p>","DOI":"10.1093\/bioinformatics\/btu664","type":"journal-article","created":{"date-parts":[[2014,10,11]],"date-time":"2014-10-11T03:33:58Z","timestamp":1412998438000},"page":"390-396","source":"Crossref","is-referenced-by-count":7,"title":["A stochastic automaton model for simulating kinesin processivity"],"prefix":"10.1093","volume":"31","author":[{"given":"Hamidreza","family":"Khataee","sequence":"first","affiliation":[{"name":"School of Information and Communication Technology, Gold Coast Campus, Griffith University, QLD 4222, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan Wee-Chung","family":"Liew","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Gold Coast Campus, Griffith University, QLD 4222, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,10,9]]},"reference":[{"key":"2023020116164196500_btu664-B1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theor. Comput. Sci."},{"key":"2023020116164196500_btu664-B2","first-page":"592","article-title":"Parametric real-time reasoning","volume-title":"Proc. 25th Ann. ACM Symp. on Theory of Comput (STOC)","author":"Alur","year":"1993"},{"key":"2023020116164196500_btu664-B3","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0304-3975(01)00215-8","article-title":"On probabilistic timed automata","volume":"292","author":"Beauquier","year":"2003","journal-title":"Theor. Comput. Sci."},{"key":"2023020116164196500_btu664-B4","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1038\/348348a0","article-title":"Bead movement by single kinesin molecules studied with optical tweezers","volume":"348","author":"Block","year":"1990","journal-title":"Nature"},{"key":"2023020116164196500_btu664-B5","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1038\/nature03528","article-title":"Mechanics of the kinesin step","volume":"435","author":"Carter","year":"2005","journal-title":"Nature"},{"key":"2023020116164196500_btu664-B6","doi-asserted-by":"crossref","first-page":"1020","DOI":"10.1038\/nsmb.2104","article-title":"A universal pathway for kinesin stepping","volume":"18","author":"Clancy","year":"2011","journal-title":"Nat. Struct. Mol. Biol."},{"key":"2023020116164196500_btu664-B7","doi-asserted-by":"crossref","first-page":"1203","DOI":"10.1002\/ar.20599","article-title":"Cellular motors for molecular manufacturing","volume":"290","author":"Dinu","year":"2007","journal-title":"Anat. Record"},{"key":"2023020116164196500_btu664-B8","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1038\/nnano.2008.393","article-title":"A smart dust biosensor powered by kinesin motors","volume":"4","author":"Fischer","year":"2009","journal-title":"Nature Nanotechnol."},{"key":"2023020116164196500_btu664-B9","doi-asserted-by":"crossref","first-page":"16209","DOI":"10.1073\/pnas.0507802102","article-title":"Kinesin crouches to sprint but resists pushing","volume":"102","author":"Fisher","year":"2005","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023020116164196500_btu664-B10","doi-asserted-by":"crossref","first-page":"7748","DOI":"10.1073\/pnas.141080498","article-title":"Simple mechanochemistry describes the dynamics of kinesin molecules, \n              Proc","volume":"98","author":"Fisher","year":"2001","journal-title":"Natl Acad. Sci. USA"},{"key":"2023020116164196500_btu664-B11","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1016\/j.tcb.2012.09.005","article-title":"Engineered, harnessed, and hijacked: synthetic uses for cytoskeletal systems","volume":"22","author":"Goodman","year":"2012","journal-title":"Trends. Cell. Biol."},{"key":"2023020116164196500_btu664-B12","doi-asserted-by":"crossref","first-page":"18338","DOI":"10.1073\/pnas.0505288102","article-title":"The tethered motor domain of a kinesin-microtubule complex catalyzes reversible synthesis of bound ATP","volume":"102","author":"Hackney","year":"2005","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023020116164196500_btu664-B13","doi-asserted-by":"crossref","first-page":"860","DOI":"10.1126\/science.1126399","article-title":"Toward devices powered by biomolecular motors","volume":"312","author":"Hess","year":"2006","journal-title":"Science"},{"key":"2023020116164196500_btu664-B14","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1038\/342154a0","article-title":"Movement of microtubules by single kinesin molecules","volume":"342","author":"Howard","year":"1989","journal-title":"Nature"},{"key":"2023020116164196500_btu664-B15","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1126\/science.1204824","article-title":"The structure of the kinesin-1 motor-tail complex reveals the mechanism of autoinhibition","volume":"333","author":"Kaan","year":"2011","journal-title":"Science"},{"key":"2023020116164196500_btu664-B16","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/bioinformatics\/btt698","article-title":"A mathematical model describing the mechanical kinetics of kinesin stepping","volume":"30","author":"Khataee","year":"2014","journal-title":"Bioinformatics"},{"key":"2023020116164196500_btu664-B17","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1146\/annurev.physchem.58.032806.104532","article-title":"Molecular motors: a theorist's perspective","volume":"58","author":"Kolomeisky","year":"2007","journal-title":"Annu. Rev. Phys. Chem."},{"key":"2023020116164196500_btu664-B18","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","article-title":"Automatic verification of real-time systems with discrete probability distributions","volume":"282","author":"Kwiatkowska","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"2023020116164196500_btu664-B19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-540-30206-3_21","article-title":"Symbolic model checking for probabilistic timed automata","volume":"3253","author":"Kwiatkowska","year":"2004","journal-title":"Lect. Notes Comput. Sci."},{"key":"2023020116164196500_btu664-B20","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1083\/jcb.121.6.1357","article-title":"Porters versus rowers: a unified stochastic model of motor proteins","volume":"121","author":"Leibler","year":"1993","journal-title":"J. Cell Biol."},{"key":"2023020116164196500_btu664-B21","doi-asserted-by":"crossref","first-page":"2581021","DOI":"10.1103\/PhysRevLett.98.258102","article-title":"Kinesin's network of chemomechanical motor cycles","volume":"98","author":"Liepelt","year":"2007","journal-title":"Phys. Rev. Lett."},{"key":"2023020116164196500_btu664-B22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/TNB.2012.2191570","article-title":"Molecular communication and networking: Opportunities and challenges","volume":"11","author":"Nakano","year":"2012","journal-title":"IEEE Trans. Nanobiosci."},{"key":"2023020116164196500_btu664-B23","doi-asserted-by":"crossref","first-page":"790","DOI":"10.1038\/ncb857","article-title":"Chemomechanical coupling of the forward and backward steps of single kinesin molecules","volume":"4","author":"Nishiyama","year":"2002","journal-title":"Nat. Cell Biol."},{"key":"2023020116164196500_btu664-B24","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1109\/JSAC.2010.100509","article-title":"A physical end-to-end model for molecular communication in nanonetworks","volume":"28","author":"Pierobon","year":"2010","journal-title":"IEEE J. Sel. Area. Commun."},{"key":"2023020116164196500_btu664-B25","first-page":"253","volume-title":"Molecular Motors","author":"Schliwa","year":"2003"},{"key":"2023020116164196500_btu664-B26","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1038\/35036345","article-title":"Force production by single kinesin motors","volume":"2","author":"Schnitzer","year":"2000","journal-title":"Nat. Cell Biol."},{"key":"2023020116164196500_btu664-B27","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1038\/sj.emboj.7600937","article-title":"Processive movement of single kinesins on crowded microtubules visualized using quantum dots","volume":"25","author":"Seitz","year":"2006","journal-title":"EMBO J."},{"key":"2023020116164196500_btu664-B28","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-642-15297-9_17","article-title":"Simulation and bisimulation for probabilistic timed automata","volume":"6246","author":"Sproston","year":"2010","journal-title":"Lect. Notes Comput. Sci."},{"key":"2023020116164196500_btu664-B29","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1038\/nchembio741","article-title":"Entropy rectifies the Brownian steps of kinesin","volume":"1","author":"Taniguchi","year":"2005","journal-title":"Nat. Chem. Biol."},{"key":"2023020116164196500_btu664-B30","doi-asserted-by":"crossref","first-page":"12717","DOI":"10.1073\/pnas.0808396106","article-title":"Why kinesin is so processive","volume":"106","author":"Toprak","year":"2009","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023020116164196500_btu664-B31","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1016\/S0968-0004(01)01931-4","article-title":"Kinesin carries the signal","volume":"26","author":"Verhey","year":"2001","journal-title":"Trends. Biochem. Sci"},{"key":"2023020116164196500_btu664-B32","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1038\/22146","article-title":"Single kinesin molecules studied with a molecular force clamp","volume":"400","author":"Visscher","year":"1999","journal-title":"Nature"},{"key":"2023020116164196500_btu664-B33","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1002\/smll.200901746","article-title":"Motion control at the nanoscale","volume":"6","author":"Wang","year":"2010","journal-title":"Small"},{"key":"2023020116164196500_btu664-B34","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0960-9822(01)00683-2","article-title":"Direct long-term observation of kinesin processivity at low load","volume":"12","author":"Yajima","year":"2002","journal-title":"Curr. Biol."},{"key":"2023020116164196500_btu664-B35","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1016\/j.cell.2008.07.018","article-title":"Intramolecular strain coordinates kinesin stepping behaviour along microtubules","volume":"134","author":"Yildiz","year":"2008","journal-title":"Cell"},{"key":"2023020116164196500_btu664-B36","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1126\/science.1093753","article-title":"Kinesin walks hand-over-hand","volume":"303","author":"Yildiz","year":"2004","journal-title":"Science"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/3\/390\/49013458\/bioinformatics_31_3_390.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/3\/390\/49013458\/bioinformatics_31_3_390.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T00:29:11Z","timestamp":1675297751000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/31\/3\/390\/2366213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,9]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btu664","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2015,2,1]]},"published":{"date-parts":[[2014,10,9]]}}}