{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:42:57Z","timestamp":1729665777918,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748272","type":"proceedings-article","created":{"date-parts":[[2016,11,22]],"date-time":"2016-11-22T02:23:51Z","timestamp":1479781431000},"page":"170-177","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans"],"prefix":"10.1109","author":[{"given":"Md. Ariful","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinsi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin M.","family":"Hasani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ondrej","family":"Balun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728625"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88562-7_27"},{"article-title":"Executable symbolic models of neural processes","year":"0","author":"iyengar","key":"ref30"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"2434","DOI":"10.1523\/JNEUROSCI.15-03-02434.1995","article-title":"Integration of mechanosensory stimuli in Caenorhabditis Elegans","volume":"15","author":"wicks","year":"1995","journal-title":"The Journal of Neuroscience"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"4017","DOI":"10.1523\/JNEUROSCI.16-12-04017.1996","article-title":"A dynamic network simulation of the nematode tap withdrawal circuit: Predictions concerning synaptic function using behavioral criteria","volume":"16","author":"wicks","year":"1996","journal-title":"The Journal of Neuroscience"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26916-0_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23401-4_3"},{"article-title":"Wormweb","year":"0","author":"bhatla","key":"ref15"},{"journal-title":"Methods in Neuronal Modeling From Ions to Networks","year":"1998","author":"koch","key":"ref16"},{"key":"ref17","volume":"4","author":"kandel","year":"2000","journal-title":"Principles of Neural Science"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","article-title":"A quantitative description of membrane current and its application to conduction and excitation in nerve","volume":"117","author":"hodgkin","year":"1952","journal-title":"The Journal of Physiology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuron.2011.09.005"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(91)82149-X"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2015.09.034"},{"key":"ref27","article-title":"The nematode Caenorhabditis elegans","author":"wood","year":"1987","journal-title":"Cold Spring Harbor Laboratory"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1101\/lm.960510"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0896-6273(00)81014-4"},{"key":"ref29","first-page":"221","article-title":"A comparison of electrically and chemically mediated transmission","author":"bennett","year":"1972","journal-title":"Structure and Function of Synapses"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.conb.2015.03.009"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1101\/lm.37801"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/science.6289442"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1986.0056"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0091-679X(08)61390-4"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/genetics\/77.1.71","article-title":"The genetics of caenorhabditis elegans","volume":"77","author":"brenner","year":"1974","journal-title":"Genetics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0409009101"},{"key":"ref22","article-title":"6-complete analysis for bounded reachability of hybrid systems","volume":"arxiv 1404 7171","author":"gao","year":"2014","journal-title":"CoRR"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"9557","DOI":"10.1523\/JNEUROSCI.19-21-09557.1999","article-title":"The fundamental role of pirouettes in caenorhabditis elegans chemotaxis","volume":"19","author":"pierce-shimomura","year":"1999","journal-title":"The Journal of Neuroscience"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.1868"},{"key":"ref23","first-page":"200","article-title":"dReach: 6-reachability analysis for hybrid systems","author":"kong","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1976.0086"},{"key":"ref25","first-page":"9","article-title":"Cable theory for dendritic neurons","author":"rall","year":"1989","journal-title":"Methods in Neuronal Modeling"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748272.pdf?arnumber=7748272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T12:24:31Z","timestamp":1657801471000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748272\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748272","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}