Identification of control targets in Boolean molecular network models via computational algebra
Background Many problems in biomedicine and other areas of the life sciences can be
characterized as control problems, with the goal of finding strategies to change a disease or …
characterized as control problems, with the goal of finding strategies to change a disease or …
Formal modelling of toll like receptor 4 and JAK/STAT signalling pathways: insight into the roles of SOCS-1, interferon-β and proinflammatory cytokines in sepsis
Sepsis is one of the major causes of human morbidity and results in a considerable number
of deaths each year. Lipopolysaccharide-induced sepsis has been associated with TLR4 …
of deaths each year. Lipopolysaccharide-induced sepsis has been associated with TLR4 …
Formal reasoning about systems biology using theorem proving
System biology provides the basis to understand the behavioral properties of complex
biological organisms at different levels of abstraction. Traditionally, analysing systems …
biological organisms at different levels of abstraction. Traditionally, analysing systems …
On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance
Dengue virus can ignite both protective and pathogenic responses in human. The
pathogenesis is related with modified functioning of our immune system during infection …
pathogenesis is related with modified functioning of our immune system during infection …
Modelling and analysis of the feeding regimen induced entrainment of hepatocyte circadian oscillators using petri nets
SHK Tareen, J Ahmad - PloS one, 2015 - journals.plos.org
Circadian rhythms are certain periodic behaviours exhibited by living organism at different
levels, including cellular and system-wide scales. Recent studies have found that the …
levels, including cellular and system-wide scales. Recent studies have found that the …
Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression
The alteration of glucose metabolism, through increased uptake of glucose and glutamine
addiction, is essential to cancer cell growth and invasion. Increased flux of glucose through …
addiction, is essential to cancer cell growth and invasion. Increased flux of glucose through …
[HTML][HTML] Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques
HMF Azhar, MT Saeed, I Jabeen - Frontiers in Molecular …, 2024 - pmc.ncbi.nlm.nih.gov
Hypoxia-inducible factor-1 (HIF-1) regulates cell growth, protein translation, metabolic
pathways and therefore, has been advocated as a promising biological target for the …
pathways and therefore, has been advocated as a promising biological target for the …
Structural evaluation of BTK and PKCδ mediated phosphorylation of MAL at positions Tyr86 and Tyr106
A number of diseases including sepsis, rheumatoid arthritis, diabetes, cardiovascular
diseases and hyperinflammatory immune disorders have been associated with Toll like …
diseases and hyperinflammatory immune disorders have been associated with Toll like …
Logical modelling reveals the PDC-PDK interaction as the regulatory switch driving metabolic flexibility at the cellular level
Background Metabolic flexibility is the ability of an organism to switch between substrates for
energy metabolism, in response to the changing nutritional state and needs of the organism …
energy metabolism, in response to the changing nutritional state and needs of the organism …
Parameter estimation of qualitative biological regulatory networks on high performance computing hardware
Abstract Background Biological Regulatory Networks (BRNs) are responsible for
developmental and maintenance related functions in organisms. These functions are …
developmental and maintenance related functions in organisms. These functions are …