{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:54:17Z","timestamp":1730224457999,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/healthcom.2015.7454483","type":"proceedings-article","created":{"date-parts":[[2016,4,28]],"date-time":"2016-04-28T20:19:26Z","timestamp":1461874766000},"page":"114-119","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing the movement of microparticles in a continuous flow microfluidic device for field flow fractionation"],"prefix":"10.1109","author":[{"given":"Amjad","family":"Gawanmeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anas","family":"Alazzam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bobby","family":"Mathew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Abutayeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyung Jin","family":"Sung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32355-3_1"},{"key":"ref11","first-page":"81","article-title":"Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example","author":"paolo","year":"2013","journal-title":"Proceedings of the ACM Symposium on Engineering Interactive Computing Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2011.260"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2008.62"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2014.6864444"},{"key":"ref15","first-page":"100","article-title":"Theorem proving verification of privacy in wbsn for healthcare systems","author":"al hamadi","year":"2013","journal-title":"Proc Int Conf Electronics Circuits Systems (ICECS)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001813"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICTRC.2015.7156454"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001811"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2013.6488581"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"5019","DOI":"10.1021\/ac0601314","article-title":"Continuous dielectrophoretic size-based particle sorting","volume":"78","author":"jason","year":"2006","journal-title":"Analytical Chemistry"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(97)78144-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.elstat.2008.09.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.snb.2007.02.047"},{"key":"ref8","first-page":"1","article-title":"Numerical analysis of nanoparticle behavior in a microfluidic channel under dielectrophoresis","volume":"14","author":"adrian","year":"2012","journal-title":"Journal of Nanoparticle Research"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"21106","DOI":"10.1117\/1.3142967","article-title":"Studies of particle levitation in a dielectrophoretic field-flow fraction-based microsorter","volume":"8","author":"tzong-shyng","year":"2009","journal-title":"Journal of Micro\/Nanolithography MEMS and MOEMS"},{"journal-title":"Formal Methods State of the Art and New Directions","year":"2010","author":"paul","key":"ref2"},{"key":"ref9","first-page":"1","article-title":"Dielectrophoretic cell motion model over periodic microelectrodes with unit-cell approach","author":"cheong lam","year":"2014","journal-title":"Microfluidics and Nanofluidics"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.ces.2015.07.014","article-title":"Modeling the trajectory of microparticles subjected to dielectrophoresis in a microfluidic device for field flow fractionation","volume":"138","author":"alazzam","year":"2015","journal-title":"Chemical Engineering Science"},{"journal-title":"Modeling in Event-B System and Software Engineering","year":"2010","author":"jean-raymond","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in event-b","volume":"12","author":"jean-raymond","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.32"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00216-009-2922-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.bios.2010.09.022"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1285(99)00013-1"}],"event":{"name":"2015 17th International Conference on E-Health Networking, Application & Services (HealthCom)","start":{"date-parts":[[2015,10,14]]},"location":"Boston, MA","end":{"date-parts":[[2015,10,17]]}},"container-title":["2015 17th International Conference on E-health Networking, Application & Services (HealthCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7449553\/7454459\/07454483.pdf?arnumber=7454483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,21]],"date-time":"2020-01-21T17:37:24Z","timestamp":1579628244000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7454483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/healthcom.2015.7454483","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}