{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:56:06Z","timestamp":1725515766282},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540697374"},{"type":"electronic","value":"9783540697442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69744-2_2","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:34Z","timestamp":1217486374000},"page":"17-27","source":"Crossref","is-referenced-by-count":2,"title":["Timed Automata-Based Rehabilitation Training Game Design for the Affected Lower Extremity of Hemiparetic Patient"],"prefix":"10.1007","author":[{"given":"Gi Sook","family":"Jung","sequence":"first","affiliation":[]},{"given":"Sang Yun","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Soon Ki","family":"Jung","sequence":"additional","affiliation":[]},{"given":"Seung Deuk","family":"Byun","sequence":"additional","affiliation":[]},{"given":"Yang Soo","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. In: Proceedings of the 17th International Collquium on Automata, Language, and Programming, vol.\u00a0126(2), pp. 183\u2013236 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools, UNU-IIST Report No.316 (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Fleury, E., Larsen, K.G.: Optimal Strategies in Priced Timed Game Automata, BRICS, Department of Computer Science, University of Aarhus (2004)","DOI":"10.7146\/brics.v11i4.21829"},{"issue":"2","key":"2_CR4","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1152\/jappl.1984.56.2.296","volume":"56","author":"J. Duchateau","year":"1984","unstructured":"Duchateau, J., Hainaut, K.: Isometric or dynamic training: differential effects on mechanical properties of a human muscle. Journal of applied physiology: respiratory, environmental and exercise physiology\u00a056(2), 296\u2013301 (1984)","journal-title":"Journal of applied physiology: respiratory, environmental and exercise physiology"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Jonathan, P., Folland, A., Hawker, K., Leach, B., Little, T., Jones, D.A.: Strength Training: Isometric Training at a Range of Joint Angles versus Dynamic Training. Journal of Sports Sciences, 817\u2013824 (2005)","DOI":"10.1080\/02640410400021783"},{"key":"2_CR6","unstructured":"Kim, S.Y., Jung, S.D., Kim, S.H., Jung, S.K., Lee, Y.S., Kim, C.H.: Rehabilitation Training System for Leg Rehabilitation Based on Motion Capture. In: Proceedings of HCI, South Korea, vol.\u00a01, pp. 109\u2013114 (2007)"},{"key":"2_CR7","unstructured":"Kim, S.Y., Jung, G.S., Oh, S.H., Lee, Y.S., Jung, S.K.: A Motion Capture Based Rehabilitation Training System for the Affected Lower Extremity of Hemiparetic Patient. In: Proceedings of the 7th International Conference on Applications and Principles of Information Science, Auckland, New Zealand, pp. 583\u2013587 (2008)"},{"key":"2_CR8","first-page":"265","volume-title":"Proc. of 6th Intl Conf. Disability","author":"R. Kizony","year":"2006","unstructured":"Kizony, R., Weiss, P.L., Shahar, M., Rand, D.: TheraGame\u2013a Home Based Virtual Reality Rehabilitation System. In: Proc. of 6th Intl Conf. Disability, pp. 265\u2013269. Virtual Reality & Assoc. Tech, Esbjerg, Denmark (2006)"},{"key":"2_CR9","unstructured":"Lee, Y.S.: Appraratus for Rehabilitation Training and Method of the Rehabilitation Training Using the Weight Load and the Angel of Articulation For Variable, Korea Patent: 10-2005-0024333 (2005)"},{"issue":"2","key":"2_CR10","first-page":"196","volume":"31","author":"Y.S. Lee","year":"2007","unstructured":"Lee, Y.S., Kim, C.H., Byun, S.D.: Correlation between Maximal Inclination of Sliding Rehabilitation Machine and Gait Parameters. Journal of Korean Academy of Rehabilitation Medicine\u00a031(2), 196\u2013201 (2007)","journal-title":"Journal of Korean Academy of Rehabilitation Medicine"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Naughton, M., McGrath, J., Heffernan, D.: Real-time Software Modeling Using Statecharts and Timed Automata Approaches. In: IEE Irish Signals and Systems Conference, Dublin, June 28-30 (2006)","DOI":"10.1049\/cp:20060425"},{"key":"2_CR12","unstructured":"CAREN (Computer Assisted Rehabilitation Environment), http:\/\/www.motekmedical.com"},{"key":"2_CR13","unstructured":"Uppaal, http:\/\/www.Uppaal.com"},{"key":"2_CR14","unstructured":"Wikipedia, http:\/\/www.wikipedia.org"}],"container-title":["Lecture Notes in Computer Science","Transactions on Edutainment I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69744-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T02:01:40Z","timestamp":1557712900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69744-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540697374","9783540697442"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69744-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}