{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:44:17Z","timestamp":1726044257757},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030313036"},{"type":"electronic","value":"9783030313043"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-31304-3_10","type":"book-chapter","created":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T20:02:46Z","timestamp":1568664166000},"page":"188-206","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors"],"prefix":"10.1007","author":[{"given":"Josephine","family":"Lamp","sequence":"first","affiliation":[]},{"given":"Simone","family":"Silvetti","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Breton","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[]},{"given":"Lu","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,17]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"American Diabetes Association: 13. children and adolescents: standards of medical care in diabetes\u20132019. Diab. Care 42(Suppl. 1), S148\u2013S164 (2019)","DOI":"10.2337\/dc19-S013"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-10512-3_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"E Bartocci","year":"2014","unstructured":"Bartocci, E., Bortolussi, L., Sanguinetti, G.: Data-driven statistical learning of temporal logic properties. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 23\u201337. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10512-3_3"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bombara, G., Vasile, C.I., Penedo, F.: A decision tree approach to data classification using signal temporal logic, pp. 1\u201310 (2016)","DOI":"10.1145\/2883817.2883843"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-662-45231-8_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"S Bufo","year":"2014","unstructured":"Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L.: Temporal logic based monitoring of assisted ventilation in intensive care patients. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 391\u2013403. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-662-45231-8_30"},{"key":"10_CR5","unstructured":"Bumgardner, W.: The average steps per minute for different exercises. \n                      https:\/\/www.verywellfit.com\/pedometer-step-equivalents-for-exercises-and-activities-3435742"},{"issue":"8","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1422","DOI":"10.1016\/j.jprocont.2012.05.014","volume":"22","author":"F Cameron","year":"2012","unstructured":"Cameron, F., Niemeyer, G., Bequette, B.W.: Extended multiple model prediction with application to blood glucose regulation. J. Process Control 22(8), 1422\u20131432 (2012)","journal-title":"J. Process Control"},{"issue":"6","key":"10_CR7","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1080\/0960085X.2018.1485619","volume":"27","author":"S Chatterjee","year":"2018","unstructured":"Chatterjee, S., Byun, J., Dutta, K., Pedersen, R.U., Pottathil, A., Xie, H.: Designing an Internet-of-Things (IoT) and sensor-based in-home monitoring system for assisting diabetes patients: iterative learning from two case studies. Eur. J. Inf. Syst. 27(6), 670\u2013685 (2018)","journal-title":"Eur. J. Inf. Syst."},{"key":"10_CR8","unstructured":"Chen, S., Feng, L., Rickels, M.R., Peleckis, A., Sokolsky, O., Lee, I.: A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps Recommended Citation, Technical report (2015). \n                      http:\/\/repository.upenn.edu\/cis_papersrepository.upenn.edu\/cis_papers\/791"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Deshmukh, J., Donz\u00e9, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.: Robust online monitoring of signal temporal logic, pp. 1\u201326, July 2017","DOI":"10.1007\/s10703-017-0286-7"},{"key":"10_CR10","unstructured":"Prevention: Type 1 diabetes for Disease Control, C.C., August 2018. \n                      https:\/\/www.cdc.gov\/diabetes\/basics\/type1.html"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1177\/1932296815599177","volume":"10","author":"C Fabris","year":"2016","unstructured":"Fabris, C., Patek, S.D., Breton, M.D.: Are risk indices derived from CGM interchangeable with SMBG-based indices? J. Diab. Sci. Technol. 10(1), 50\u201359 (2016)","journal-title":"J. Diab. Sci. Technol."},{"issue":"42","key":"10_CR13","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"Georgios E. Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262 \u2013 4291 (2009). \n                      https:\/\/doi.org\/10.1016\/j.tcs.2009.06.021\n                      \n                    . \n                      http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397509004149","journal-title":"Theoretical Computer Science"},{"key":"10_CR14","unstructured":"Hoyos, J.D., Bolanos, F., Vallejo, M., Rivadeneira, P.S.: Population-based incremental learning algorithm for identification of blood glucose dynamics model for type-1 diabetic patients. In: Proceedings on the International Conference on Artificial Intelligence (ICAI), pp. 29\u201335. The Steering Committee of The World Congress in Computer Science, Computer (2018)"},{"key":"10_CR15","unstructured":"IDF: IDF diabetes atlas 8th edition 2017 (2017). \n                      https:\/\/diabetesatlas.org\/"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Klimek, R.: Behavior recognition and analysis in smart environments for context-aware applications, October 2015 (2016). \n                      https:\/\/doi.org\/10.1109\/SMC.2015.340","DOI":"10.1109\/SMC.2015.340"},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.1109\/TAC.2016.2585083","volume":"62","author":"Z Kong","year":"2017","unstructured":"Kong, Z., Jones, A., Belta, C.: Temporal logics for learning and detection of anomalous behavior. IEEE Trans. Autom. Control 62(3), 1210\u20131222 (2017). \n                      https:\/\/doi.org\/10.1109\/TAC.2016.2585083","journal-title":"IEEE Trans. Autom. Control"},{"issue":"7","key":"10_CR18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1038\/nrendo.2017.3","volume":"13","author":"BP Kovatchev","year":"2017","unstructured":"Kovatchev, B.P.: Metrics for glycaemic control-from HbA 1c to continuous glucose monitoring. Nat. Rev. Endocrinol. 13(7), 425 (2017)","journal-title":"Nat. Rev. Endocrinol."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"issue":"5","key":"10_CR20","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1016\/j.amepre.2009.01.021","volume":"36","author":"SJ Marshall","year":"2009","unstructured":"Marshall, S.J., et al.: Translating physical activity recommendations into a pedometer-based step goal: 3000 steps in 30 minutes. Am. J. Prev. Med. 36(5), 410\u2013415 (2009)","journal-title":"Am. J. Prev. Med."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-319-99154-2_20","volume-title":"Quantitative Evaluation of Systems","author":"L Nenzi","year":"2018","unstructured":"Nenzi, L., Silvetti, S., Bartocci, E., Bortolussi, L.: A robust genetic algorithm for learning temporal specifications from data. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 323\u2013338. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-99154-2_20"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-67471-1_13","volume-title":"Computational Methods in Systems Biology","author":"N Paoletti","year":"2017","unstructured":"Paoletti, N., Liu, K.S., Smolka, S.A., Lin, S.: Data-driven robust control for type 1 diabetes under meal and exercise uncertainties. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 214\u2013232. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67471-1_13"},{"issue":"5","key":"10_CR23","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/S2213-8587(17)30014-1","volume":"5","author":"MC Riddell","year":"2017","unstructured":"Riddell, M.C., et al.: Exercise management in type 1 diabetes: a consensus statement. Lancet Diab. Endocrinol. 5(5), 377\u2013390 (2017). \n                      https:\/\/doi.org\/10.1016\/S2213-8587(17)30014-1","journal-title":"Lancet Diab. Endocrinol."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Young, W., Corbett, J., Gerber, M.S., Patek, S., Feng, L.: DAMON: a data authenticity monitoring system for diabetes management. In: 2018 IEEE\/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI), pp. 25\u201336. IEEE (2018)","DOI":"10.1109\/IoTDI.2018.00013"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31304-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T20:03:27Z","timestamp":1568664207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31304-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030313036","9783030313043"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31304-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"17 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trieste","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2019.units.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7 tool papers were accepted; average number of reviewers\/paper for the short papers: 1.5","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}