{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T04:22:03Z","timestamp":1751430123730,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319754161"},{"type":"electronic","value":"9783319754178"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75417-8_65","type":"book-chapter","created":{"date-parts":[[2018,2,13]],"date-time":"2018-02-13T11:13:28Z","timestamp":1518520408000},"page":"694-704","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data"],"prefix":"10.1007","author":[{"given":"Iv\u00e1n","family":"Calvo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,14]]},"reference":[{"key":"65_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"65_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Llana, L., N\u00fa\u00f1ez, M.: Self-adaptive fuzzy-timed systems. In: 13th IEEE Congress on Evolutionary Computation, CEC 2011, pp. 115\u2013122. IEEE Computer Society (2011)","DOI":"10.1109\/CEC.2011.5949607"},{"key":"65_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-59147-6_35","volume-title":"Advances in Computational Intelligence","author":"J Boubeta-Puig","year":"2017","unstructured":"Boubeta-Puig, J., Camacho, A., Llana, L., N\u00fa\u00f1ez, M.: A formal framework to specify and test systems with fuzzy-time information. In: Rojas, I., Joya, G., Catala, A. (eds.) IWANN 2017. LNCS, vol. 10306, pp. 403\u2013414. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59147-6_35"},{"key":"65_CR4","doi-asserted-by":"crossref","unstructured":"Camacho, A., Merayo, M.G., N\u00fa\u00f1ez, M.: Using fuzzy automata to diagnose and predict heart problems. In: 19th IEEE Congress on Evolutionary Computation, CEC 2017, pp. 846\u2013853. IEEE Computer Society (2017)","DOI":"10.1109\/CEC.2017.7969397"},{"key":"65_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.ic.2014.01.014","volume":"236","author":"T Chen","year":"2014","unstructured":"Chen, T., Diciolla, M., Kwiatkowska, M., Mereacre, A.: Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236, 87\u2013101 (2014)","journal-title":"Inf. Comput."},{"issue":"2","key":"65_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","volume":"38","author":"M Doostfatemeh","year":"2005","unstructured":"Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approx. Reason. 38(2), 175\u2013214 (2005)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"65_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.jelectrocard.2009.08.001","volume":"43","author":"C Haarmark","year":"2010","unstructured":"Haarmark, C., Graff, C., Andersen, M., Hardahl, T., Struijk, J., Toft, E., Xue, J., Rowlandson, G., Hansen, P., Kanters, J.: Reference values of electrocardiogram repolarization variables in a healthy population. J. Electrocardiol. 43(1), 31\u201339 (2010)","journal-title":"J. Electrocardiol."},{"issue":"1","key":"65_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2288-5-1","volume":"5","author":"S Hozo","year":"2005","unstructured":"Hozo, S., Djulbegovic, B., Hozo, I.: Estimating the mean and variance from the median, range, and the size of a sample. BMC Med. Res. Methodol. 5(1), 1 (2005)","journal-title":"BMC Med. Res. Methodol."},{"issue":"1","key":"65_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1146\/annurev.bioeng.5.040202.121537","volume":"5","author":"P Hunter","year":"2003","unstructured":"Hunter, P., Pullan, A., Smaill, B.: Modeling total heart function. Annu. Rev. Biomed. Eng. 5(1), 147\u2013177 (2003)","journal-title":"Annu. Rev. Biomed. Eng."},{"key":"65_CR10","doi-asserted-by":"crossref","unstructured":"Jiang, Z., Connolly, A., Mangharam, R.: Using the virtual heart model to validate the mode-switch pacemaker operation. In: 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2010, pp. 6690\u20136693. IEEE Computer Society (2010)","DOI":"10.1109\/IEMBS.2010.5626262"},{"issue":"5","key":"65_CR11","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1111\/j.1469-8986.1972.tb01809.x","volume":"9","author":"Z Khachaturian","year":"1972","unstructured":"Khachaturian, Z., Kerr, J., Kruger, R., Schachter, J.: A methodological note: comparison between period and rate data in studies of cardiac function. Psychophysiology 9(5), 539\u2013545 (1972)","journal-title":"Psychophysiology"},{"key":"65_CR12","unstructured":"Lichman, M.: UCI machine learning repository (2013). http:\/\/archive.ics.uci.edu\/ml"},{"key":"65_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-32355-3_9","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"D M\u00e9ry","year":"2012","unstructured":"M\u00e9ry, D., Singh, N.K.: Formalization of heart models based on the conduction of electrical impulses and cellular automata. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol. 7151, pp. 140\u2013159. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32355-3_9"},{"issue":"3","key":"65_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/51.932724","volume":"20","author":"GB Moody","year":"2001","unstructured":"Moody, G.B., Mark, R.G.: The impact of the MIT-BIH arrhythmia database. IEEE Eng. Med. Biol. 20(3), 45\u201350 (2001)","journal-title":"IEEE Eng. Med. Biol."},{"key":"65_CR15","unstructured":"Moody, G.B.: RR intervals, heart rate and HRV Howto (2016). https:\/\/www.physionet.org\/tutorials\/hrv\/"},{"key":"65_CR16","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643","volume-title":"Fuzzy Automata and Languages: Theory and Applications","author":"JN Mordeson","year":"2002","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall\/CRC, London\/Boca Raton (2002)"},{"issue":"6","key":"65_CR17","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1016\/j.jelectrocard.2014.07.022","volume":"47","author":"P Rijnbeek","year":"2014","unstructured":"Rijnbeek, P., van Herpen, G., Bots, M., Man, S., Verweij, N., Hofman, A., Hillege, H., Numans, M., Swenne, C., Witteman, J., et al.: Normal values of the electrocardiogram for ages 16\u201390 years. J. Electrocardiol. 47(6), 914\u2013921 (2014)","journal-title":"J. Electrocardiol."},{"issue":"3","key":"65_CR18","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSSC.1969.300263","volume":"5","author":"WG Wee","year":"1969","unstructured":"Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Sci. Cybern. 5(3), 215\u2013223 (1969)","journal-title":"IEEE Trans. Syst. Sci. Cybern."}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75417-8_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T19:57:38Z","timestamp":1751399858000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-75417-8_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319754161","9783319754178"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75417-8_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACIIDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Conference on Intelligent Information and Database Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dong Hoi City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 March 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 March 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aciids2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aciids.pwr.edu.pl\/2018\/index.php#about","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}