Results 91 to 100 of about 5,613,073 (287)
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
Tools and Methods for RTCP-Nets Modeling and Verification
Archives of Control Sciences, 2016 RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems.
Szpyrka Marcin +2 more
doaj +1 more source
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
, 2020 Dynamic modeling is a valuable technique used to understand different systems on a temporal basis. This approach resulted in a more practical, intuitive endeavor modeling.
Sveriges lantbruksuniversitet. +1 more
core +1 more source
Survey of memory modeling methods in static verification tools
Труды Института системного программирования РАН, 2018 The paper presents a survey of existing approaches to modeling memory states of C programs with SMT-formulas in context of static verification. The paper highlights the essential problems of C memory model development and describes two major groups of C ...
M. U. Mandrykin, V. S. Mutilin
doaj +1 more source
Synergistic perspectives—How single‐molecule biophysics complement biochemical understanding
FEBS Letters, EarlyView.In this review, we discuss how ensemble biochemistry and single‐molecule approaches are complementary, outline commonly used single‐molecule techniques, and illustrate their relevance through two representative case studies: chromatin organization by SMC complexes and pathway choice during DNA double‐strand break repair.
Sara De Bragança +2 more
wiley +1 more source
Editorial: Data driven modeling in mathematical biology
Frontiers in Applied Mathematics and Statistics, 2023 Jacques Demongeot, Pierre Magal
doaj +1 more source
Simulation modeling tools in training environmental science students
Вісник Харківського національного університету імені В.Н. Каразіна: Серія ЕкологіяThe use of computer modeling and forecasting for the analysis and prediction of complex systemic processes, particularly in the field of environmental protection, is extremely important.
А. G. Kot +3 more
doaj +1 more source
A structured evaluation of genome-scale constraint-based modeling tools for microbial consortia. [PDF]
PLoS Comput Biol, 2023 Scott WT +6 more
europepmc +1 more source