{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T03:40:24Z","timestamp":1773286824447,"version":"3.50.1"},"reference-count":49,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computational Biology"],"published-print":{"date-parts":[[2025,4,1]]},"abstract":"<jats:p>Subject-specific dosage estimation for primary hypothyroidism using subject-specific parameters of the thyrotropic regulation system is presented in this work. The data needed for such personalized modeling are usually sparse. This is addressed by utilizing available data along with domain knowledge for estimation of model parameters but with some uncertainty. Optimization-based dosage estimation approaches may not be applicable in the presence of such uncertainty. In this work, the optimal drug dosage range based on estimated parameter ranges for primary hypothyroid condition is estimated using the mathematical model through satisfiability modulo theory (SMT)-based analysis. The salient features of this work are as follows: (1) estimation of subject-specific model parameters with uncertainty using subject-specific pre-treatment and post-treatment observations, (2) modeling periodic drug administration as part of the ordinary differential equation model of thyrotropic regulation pathway through Fourier series approximation, (3) application of SMT-based analysis for determining optimal dosage range using this model and estimated parameter ranges, and (4) an initial dosage estimation method using the regression model. Results have been obtained to support the working of the developed computational procedures.<\/jats:p>","DOI":"10.1089\/cmb.2024.0752","type":"journal-article","created":{"date-parts":[[2025,2,17]],"date-time":"2025-02-17T03:24:47Z","timestamp":1739762687000},"page":"417-443","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Subject-Specific Dosage Estimation for Primary Hypothyroidism Using Sparse Data"],"prefix":"10.1177","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1110-1259","authenticated-orcid":false,"given":"DEVLEENA","family":"GHOSH","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHITTARANJAN","family":"MANDAL","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_3_7_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_7_3_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2021.633587"},{"key":"e_1_3_7_4_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1742-4658.2008.06844.x"},{"key":"e_1_3_7_5_1","first-page":"195","article-title":"Periodically-scheduled controller analysis using hybrid systems reachability and continuization","author":"Bak S","year":"2015","unstructured":"Bak S, , Johnson TT. Periodically-scheduled controller analysis using hybrid systems reachability and continuization. Real-Time Systems Symposium, 2015:195\u2013205; doi: 10.1109\/RTSS.2015.26","journal-title":"Real-Time Systems Symposium"},{"key":"e_1_3_7_6_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1004591"},{"key":"e_1_3_7_7_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2018.00091"},{"key":"e_1_3_7_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11599128_8"},{"key":"e_1_3_7_9_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2022.888429"},{"key":"e_1_3_7_10_1","doi-asserted-by":"publisher","DOI":"10.1089\/thy.2011.0029"},{"key":"e_1_3_7_11_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2019.00746"},{"key":"e_1_3_7_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12325-019-01078-2"},{"key":"e_1_3_7_13_1","doi-asserted-by":"publisher","DOI":"10.1089\/thy.2007.0388"},{"key":"e_1_3_7_14_1","doi-asserted-by":"publisher","DOI":"10.1089\/thy.2009.0349"},{"key":"e_1_3_7_15_1","doi-asserted-by":"publisher","DOI":"10.1089\/thy.1998.8.903"},{"key":"e_1_3_7_16_1","article-title":"Delta-complete analysis for bounded reachability of hybrid systems","author":"Gao S","year":"2014","unstructured":"Gao S, , Kong S, , Chen W, et al. Delta-complete analysis for bounded reachability of hybrid systems. arXiv, 2014 arXiv:1404.7171.","journal-title":"arXiv"},{"key":"e_1_3_7_17_1","doi-asserted-by":"crossref","unstructured":"Gao S Kong S Clarke EM. dReal: An SMT solver for nonlinear theories over the reals. In: Proceedings of International Conference on Automated Deduction (CADE). 2013: 208\u2013214; doi: 10.1007\/978-3-642-38574-2_14","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_7_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2020.2995589"},{"key":"e_1_3_7_19_1","doi-asserted-by":"publisher","DOI":"10.1159\/000504218"},{"key":"e_1_3_7_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2014.01.001"},{"key":"e_1_3_7_21_1","doi-asserted-by":"publisher","DOI":"10.4103\/2230-8210.83337"},{"key":"e_1_3_7_22_1","doi-asserted-by":"publisher","DOI":"10.1089\/thy.2015.0373"},{"key":"e_1_3_7_23_1","doi-asserted-by":"publisher","DOI":"10.1381\/096089206777346673"},{"key":"e_1_3_7_24_1","doi-asserted-by":"crossref","unstructured":"Henzinger TA. The theory of hybrid automata. In: Proceedings of Annual IEEE Symposium on Logic in Computer Science. 1996 pp. 278\u2013292; doi: 10.1109\/LICS.1996.561342","DOI":"10.1109\/LICS.1996.561342"},{"key":"e_1_3_7_25_1","doi-asserted-by":"crossref","unstructured":"Hu J Wu W-C Sastry S. Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: Proceedings of International Workshop on Hybrid Systems: Computation and Control (HSCC). 2004 pp. 417\u2013431; doi: 10.1007\/978-3-540-24743-2_28","DOI":"10.1007\/978-3-540-24743-2_28"},{"key":"e_1_3_7_26_1","volume-title":"Pharmacy Education Series","author":"Jambhekar SS","year":"2012","unstructured":"Jambhekar SS, , Breen PJ. Basic pharmacokinetics. In: Pharmacy Education Series; Taylor & Francis\/CRC Press; 2012."},{"key":"e_1_3_7_27_1","doi-asserted-by":"publisher","DOI":"10.1097\/CCO.0000000000000242"},{"key":"e_1_3_7_28_1","doi-asserted-by":"crossref","unstructured":"Kong S Gao S Chen W et al. dReach: \u03b4-reachability analysis for hybrid systems. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2015 pp. 200\u2013205; doi: 10.1007\/978-3-662-46681-0_15","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_7_29_1","doi-asserted-by":"publisher","DOI":"10.1373\/clinchem.2004.047399"},{"key":"e_1_3_7_30_1","doi-asserted-by":"publisher","DOI":"10.1186\/1742-4682-11-35"},{"key":"e_1_3_7_31_1","unstructured":"Levothyroxine Dosage. 2024. Available from: https:\/\/www.drugs.com\/dosage\/levothyroxine.html [Last accessed: February6 2024]."},{"key":"e_1_3_7_32_1","doi-asserted-by":"crossref","unstructured":"Liu B Kong S Gao S et al. Parameter synthesis for cardiac cell hybrid models using \u03b4-decisions. In: Proceedings of International Conference on Computational Methods in Systems Biology (CMSB). 2014 pp. 99\u2013113; doi: 10.1007\/978-3-319-12982-2_8","DOI":"10.1007\/978-3-319-12982-2_8"},{"key":"e_1_3_7_33_1","doi-asserted-by":"crossref","unstructured":"Liu B Kong S Gao S et al. Towards personalized prostate cancer therapy using delta-reachability analysis. In: Proceedings of International Conference on Hybrid Systems: Computation and Control (HSCC). 2015 pp. 227\u2013232; doi: 10.1145\/2728606.2728634","DOI":"10.1145\/2728606.2728634"},{"key":"e_1_3_7_34_1","doi-asserted-by":"crossref","unstructured":"Madsen C Shmarov F Zuliani P. Biopsy: An SMT-based tool for guaranteed parameter set synthesis of biological models. In: Proceedings of International Conference on Computational Methods in Systems Biology. 2015 pp. 182\u2013194; doi: 10.1007\/978-3-319-23401-4_16","DOI":"10.1007\/978-3-319-23401-4_16"},{"key":"e_1_3_7_35_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2020.626268"},{"key":"e_1_3_7_36_1","unstructured":"Molina PE. Appendix: Normal Values of Metabolic Parameters and Tests of Endocrine Function. The McGraw-Hill Companies: New York NY; 2013. Available from: accessmedicine.mhmedical.com\/content.aspx?aid=57308413 [Last accessed: September7 2024]."},{"issue":"2","key":"e_1_3_7_37_1","first-page":"224","article-title":"Prediction of blood volume in normal human adults","volume":"51","author":"Nadler SB","year":"1962","unstructured":"Nadler SB, , Hidalgo JU, , Bloch T. Prediction of blood volume in normal human adults. Surgery, 1962; 51(2):224\u2013232.","journal-title":"Surgery"},{"key":"e_1_3_7_38_1","unstructured":"Normal Thyroid Hormone Level. 2024. Available from: https:\/\/www.uclahealth.org\/medical-services\/surgery\/endocrine-surgery\/conditions-treated\/thyroid\/normal-thyroid-hormone-levels [Last accessed: April10 2024]."},{"issue":"5","key":"e_1_3_7_39_1","first-page":"e15031","article-title":"Weight and body mass index for predicting thyroxine dose in primary hypothyroidism","volume":"13","author":"Raashid K","year":"2021","unstructured":"Raashid K, , Ishtiaq O, , Kamin M, et al. Weight and body mass index for predicting thyroxine dose in primary hypothyroidism. Cureus, 2021; 13(5):e15031; doi: 10.7759\/cureus.15031","journal-title":"Cureus"},{"key":"e_1_3_7_40_1","doi-asserted-by":"publisher","DOI":"10.7326\/0003-4819-96-1-53"},{"key":"e_1_3_7_41_1","doi-asserted-by":"publisher","DOI":"10.1210\/jc.2007-2674"},{"key":"e_1_3_7_42_1","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan S Fainekos G. Simulating insulin infusion pump risks by in-silico modeling of the insulin-glucose regulatory system. In: International Conference on Computational Methods in Systems Biology. Springer; 2012 pp. 322\u2013341; doi: 10.1007\/978-3-642-33636-2_19","DOI":"10.1007\/978-3-642-33636-2_19"},{"key":"e_1_3_7_43_1","doi-asserted-by":"crossref","unstructured":"Sharma R Sharma S. Physiology Blood Volume. StatPearls Publishing; 2018. Available from: https:\/\/www.ncbi.nlm.nih.gov\/books\/NBK526077 \/ [Last accessed: July23 2024].","DOI":"10.1093\/database\/bay006"},{"key":"e_1_3_7_44_1","doi-asserted-by":"crossref","unstructured":"Shmarov F Zuliani P. ProbReach: Verified probabilistic delta-reachability for stochastic hybrid systems. In: Proceedings of International Conference on Hybrid Systems: Computation and Control (HSCC). 2015 pp. 134\u2013139; doi: 10.1145\/2728606.2728625","DOI":"10.1145\/2728606.2728625"},{"key":"e_1_3_7_45_1","unstructured":"Simalatsar A You W Sun D et al. Mixed Measurement and Model-based Dose Recommending Control Flow with Fixed Sample Library Size; 2014. Available from: https:\/\/infoscience.epfl.ch\/handle\/20.500.14299\/104701 [Last accessed: July23 2024]."},{"key":"e_1_3_7_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11095-016-2076-0"},{"key":"e_1_3_7_47_1","doi-asserted-by":"publisher","DOI":"10.1137\/15M1008245"},{"key":"e_1_3_7_48_1","doi-asserted-by":"publisher","DOI":"10.3389\/fendo.2022.884018"},{"key":"e_1_3_7_49_1","doi-asserted-by":"publisher","DOI":"10.1093\/ageing\/13.5.299"},{"key":"e_1_3_7_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.surg.2018.04.097"}],"container-title":["Journal of Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1089\/cmb.2024.0752","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1089\/cmb.2024.0752","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1089\/cmb.2024.0752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T11:59:27Z","timestamp":1773230367000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1089\/cmb.2024.0752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,1]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,4,1]]}},"alternative-id":["10.1089\/cmb.2024.0752"],"URL":"https:\/\/doi.org\/10.1089\/cmb.2024.0752","relation":{},"ISSN":["1066-5277","1557-8666"],"issn-type":[{"value":"1066-5277","type":"print"},{"value":"1557-8666","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,1]]}}}