[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-seo-329624-105":3,"detail-sidebar-cat-0-en-105":81,"doc-detail-329624-en":130},{"code":4,"msg":5,"data":6},0,"ok",{"site_id":7,"language":8,"slug":9,"title":10,"keywords":11,"description":12,"schema_data":13,"social_meta":74,"head_meta":76,"extra_data":78,"updated_unix":80},105,"en","dynamics-simulations-of-hypoxia-inducible-factor-1-regulatory-network-in-cancer-using-formal-verification-techniques-research-paper","Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques - Research paper","","Hypoxia-inducible factor-1 (HIF-1) is investigated as a therapeutic target in cancer by modeling the signaling dynamics of HIF-1 and its interlinked proteins, including VEGF, ERK, AKT, GLUT-1, β-catenin, C-MYC, OGT, and p53. A Rene Thomas qualitative modeling framework is used, and dynamic simulations in cyclic conditions indicate oscillations linked to homeostasis or stable recovery. Perturbations drive cancerous or pathogenic states, while VEGF overexpression activates ERK and GLUT-1 and promotes aggressive tumor growth. The work further suggests coordinated modulation of VEGF, ERK, and β-catenin and uses SimBiology to support targeted therapeutic strategies.",{"@graph":14,"@context":73},[15,34,56],{"@type":16,"itemListElement":17},"BreadcrumbList",[18,23,27,31],{"item":19,"name":20,"@type":21,"position":22},"https://docshare.wps.com","Home","ListItem",1,{"item":24,"name":25,"@type":21,"position":26},"https://docshare.wps.com/document/","Document",2,{"item":28,"name":29,"@type":21,"position":30},"https://docshare.wps.com/document/research-report/","Research & Report",3,{"item":32,"name":10,"@type":21,"position":33},"https://docshare.wps.com/document/dynamics-simulations-of-hypoxia-inducible-factor-1-regulatory-network-in-cancer-using-formal-verification-techniques-research-paper/329624/",4,{"url":32,"name":10,"@type":35,"image":36,"author":41,"headline":10,"publisher":44,"fileFormat":47,"inLanguage":8,"description":12,"dateModified":48,"datePublished":49,"encodingFormat":47,"isAccessibleForFree":50,"interactionStatistic":51},"DigitalDocument",{"url":37,"@type":38,"width":39,"height":40},"https://docshare.wps.com/thumbnails/dynamics-simulations-of-hypoxia-inducible-factor-1-regulatory-network-in-cancer-using-formal-verification-techniques-research-paper/329624.png","ImageObject",300,407,{"name":42,"@type":43},"Seraphina","Person",{"url":19,"name":45,"@type":46},"DocShare","Organization","application/pdf","2026-11-04","2026-09-21",true,{"@type":52,"interactionType":53,"userInteractionCount":55},"InteractionCounter",{"@type":54},"ViewAction",8,{"@type":57,"mainEntity":58},"FAQPage",[59,65,69],{"name":60,"@type":61,"acceptedAnswer":62},"What biological role does HIF-1 play in cancer according to the study?","Question",{"text":63,"@type":64},"HIF-1 regulates cell growth, protein translation, and metabolic pathways, and its hyperactivation in cancer increases GLUT-1 expression and glucose consumption.","Answer",{"name":66,"@type":61,"acceptedAnswer":67},"Which modeling approach is used to study the HIF-1 regulatory network?",{"text":68,"@type":64},"The study uses a Rene Thomas qualitative modeling framework to comprehend HIF-1 signaling dynamics and interactions among related proteins.",{"name":70,"@type":61,"acceptedAnswer":71},"What do the simulations indicate about cyclic activation in the model?",{"text":72,"@type":64},"Continuous activation of p53, β-catenin, and AKT under cyclic conditions produces oscillations representing homeostasis or stable recovery, while deviations lead to cancerous or pathogenic states.","https://schema.org",{"og:url":32,"og:type":75,"og:title":10,"og:site_name":45,"og:description":12},"article",{"robots":77,"canonical":32},"index,follow",{"doc_id":79,"site_id":7},329624,1789996230,{"code":4,"msg":82,"data":83},"success",[84,88,92,96,101,106,111,114,119,122,126],{"id":22,"doc_module":4,"doc_module_name":25,"category_name":85,"show_sort_weight":86,"slug":87},"Story & Novel",90,"story-novel",{"id":26,"doc_module":4,"doc_module_name":25,"category_name":89,"show_sort_weight":90,"slug":91},"Literature",80,"literature",{"id":33,"doc_module":4,"doc_module_name":25,"category_name":93,"show_sort_weight":94,"slug":95},"Exam",70,"exam",{"id":97,"doc_module":4,"doc_module_name":25,"category_name":98,"show_sort_weight":99,"slug":100},5,"Comic",60,"comic",{"id":102,"doc_module":4,"doc_module_name":25,"category_name":103,"show_sort_weight":104,"slug":105},6,"Technology",50,"technology",{"id":107,"doc_module":4,"doc_module_name":25,"category_name":108,"show_sort_weight":109,"slug":110},7,"Healthcare",40,"healthcare",{"id":55,"doc_module":4,"doc_module_name":25,"category_name":29,"show_sort_weight":112,"slug":113},30,"research-report",{"id":115,"doc_module":4,"doc_module_name":25,"category_name":116,"show_sort_weight":117,"slug":118},9,"Religion & Spirituality",20,"religion-spirituality",{"id":117,"doc_module":4,"doc_module_name":25,"category_name":120,"show_sort_weight":117,"slug":121},"World Cup","world-cup",{"id":123,"doc_module":4,"doc_module_name":25,"category_name":124,"show_sort_weight":123,"slug":125},10,"Lifestyle","lifestyle",{"id":127,"doc_module":4,"doc_module_name":25,"category_name":128,"show_sort_weight":97,"slug":129},19,"General","general",{"code":4,"msg":82,"data":131},{"doc_id":79,"user_id":132,"nickname":42,"user_avatar":133,"doc_module":4,"category_id":55,"category_name":29,"doc_title":10,"doc_description":12,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":55,"is_deleted":4,"is_public":22,"is_downloadable":22,"audit_status":22,"page_count":127,"language":139,"language_code":8,"site_id":7,"html_lang":8,"table_of_contents":140,"faqs":141,"seo_title":142,"seo_description":12,"update_tm":143,"read_time":144,"preview_page_count":4},962075114101,"https://ap-avatar.wpscdn.com/avatar/e000253a75eb197efd?x-image-process=image/resize,m_fixed,w_180,h_180&k=1780044092746381165","TYPE Original Research  \nPUBLISHED 07 November 2024 DOI 10.3389/fmolb.2024.1386930  \nOPEN ACCESS  \nEDITED BY  \nValentina Audrito,  \nUniversità del Piemonte Orientale, Italy  \nREVIEWED BY  \nIram Murtaza,  \nQuaid-i-Azam University, Pakistan Saba Munawar,  \nUniversity of Wisconsin-Madison, United States  \nAbrar Ahmed,  \nPunjab University, Pakistan  \n*CORRESPONDENCE  \nIshrat Jabeen,  \n [ishrat.jabeen@sines.nust.edu.pk](ishrat.jabeen@sines.nust.edu.pk)  \nRECEIVED 16 February 2024  \nACCEPTED 28 October 2024  \nPUBLISHED 07 November 2024  \nCITATION  \nAzhar HMF, Saeed MT and Jabeen I (2024) Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques.  \nFront. Mol. Biosci. 11:1386930 .  \ndoi: 10.3389/fmolb.2024.1386930  \nCOPYRIGHT  \n© 2024 Azhar, Saeed and Jabeen. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY) . The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.  \nDynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques  \nHafiz Muhammad Faraz Azhar, Muhammad Tariq Saeed and Ishrat Jabeen*  \nSchool of Interdisciplinary Engineering and Sciences (SINES), National University of Sciences and Technology (NUST), Islamabad, Pakistan  \nHypoxia-inducible factor-1 (HIF-1) regulates cell growth, protein translation, metabolic pathways and therefore, has been advocated as a promising biological target for the therapeutic interventions against cancer. In general, hyperactivation of HIF-1 in cancer has been associated with increases in the expression of glucose transporter type-1 (GLUT-1) thus, enhancing glucose consumption and hyperactivating metabolic pathways. The collective behavior of GLUT-1 along with previously known key players AKT, OGT, and VEGF isnot fully characterized and lacks clarity of how glucose uptake through this pathway (HIF-1) probes the cancer progression. This study uses a Rene Thomas qualitative modeling framework to comprehend the signaling dynamics of HIF-1 and its interlinked proteins, including VEGF, ERK, AKT, GLUT-1, β-catenin, C-MYC, OGT, and p53 to elucidate the regulatory mechanistic of HIF-1 in cancer. Our dynamic model reveals that continuous activation of p53, β-catenin, and AKTin cyclic conditions, leads to oscillations representing homeostasis or a stable recovery state. Any deviation from this cycle results in a cancerous or pathogenic state. The model shows that overexpression of VEGF activates ERK and GLUT- 1, leads to more aggressive tumor growth in a cancerous state. Moreover, it is observed that collective modulation of VEGF, ERK, and β-catenin is required for therapeutic intervention because these genes enhance the expression of GLUT-1 and play a significant role in cancer progression and angiogenesis. Additionally, SimBiology simulation unveils dynamic molecular interactions, emphasizing the need for targeted therapeutics to effectively regulate VEGF and ERK concentrations to modulate cancer cell proliferation.  \nKEYWORDS  \nhypoxia-inducible factor-1 (HIF-1), vascular endothelial growth factor (VEGF), oglycosylation transferase (OGT), glucose transporter-1 (GLUT-1), extracellular single regulated kinase (ERK), cellular myelocytomatosis oncogene (C-MYC)  \n1 Introduction  \nCancer cell growth is a fundamental biological process characterized by cell proliferation, and an increase in cellular mass typically occurs under stress conditions. This complex process is strictly regulated and relies on vital nutrients like lipids and nucleic acids to provide sufficient energy to synthesize new cellular components.  \nFrontiers in Molecular Biosciences 01 [fronti","cbCaipVNQD6lxA76","https://ap.wps.com/l/cbCaipVNQD6lxA76","pdf",52934448,"English","# Introduction\n## HIF-1 regulation under hypoxia\n## Dysregulation and disease relevance","[{\"question\":\"What biological role does HIF-1 play in cancer according to the study?\",\"answer\":\"HIF-1 regulates cell growth, protein translation, and metabolic pathways, and its hyperactivation in cancer increases GLUT-1 expression and glucose consumption.\"},{\"question\":\"Which modeling approach is used to study the HIF-1 regulatory network?\",\"answer\":\"The study uses a Rene Thomas qualitative modeling framework to comprehend HIF-1 signaling dynamics and interactions among related proteins.\"},{\"question\":\"What do the simulations indicate about cyclic activation in the model?\",\"answer\":\"Continuous activation of p53, β-catenin, and AKT under cyclic conditions produces oscillations representing homeostasis or stable recovery, while deviations lead to cancerous or pathogenic states.\"}]","Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques - Research paper | PDF",1789984950,48]