Results 211 to 220 of about 1,643,554 (351)

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Specification and Verification of a Formal Model for a Real-Time System Using TLA+ [PDF]

Olena Shyshatska, Liubomyr Matiichuk, Andrii Shyshatskyy   +2 more
openalex   +1 more source

Long‐Term Elevated CO2 Improves Soil Health and Rice Yields in Paddy Fields

Advanced Science, EarlyView.
Combining the two longest‐running rice free‐air CO2 enrichment experiments with a global data synthesis, this study demonstrates that long‐term elevated CO2 consistently enhances soil health. In rice paddies, this improvement sustains the CO2 fertilization effect over decades.
Fan Jiang, Wenchao Du, Kees Jan van Groenigen, Josep Peñuelas, Scott X. Chang, Lian Song, Chuang Cai, Yu Wang, Lin Deng, Zhengkun Hu, Weishou Shen, Qicong Wu, Haiyang Yu, Ying Yin, Fuxun Ai, Wei Zhou, Dongming Wang, Jianqiang Sun, Xiaoyuan Yan, Renfang Shen, Jiabao Zhang, Hongyan Guo, Chunwu Zhu   +22 more
wiley   +1 more source

Molecular insights into heart field-specific cardiomyocyte differentiation - A computational study. [PDF]

PLoS One
Zeegelaar R, Argyris G, Post JN.
europepmc   +1 more source

Rupestonic Acid of Artemisia Rupestris L. Extract Treats Pulmonary Fibrosis in COPD by Targeting TGF‐β1

Advanced Science, EarlyView.
RA of EEAR inhibits TGF‐β1 ubiquitination and changes conformation by target binding TGF‐β1, regulating TGF‐β1/Smad2/3 signaling pathway. Thus it down‐regulated downstream protein expression, inhibited EMT and collagen deposition of ECM, in order to EEAR preventing PF in COPD.
Lingfeng Peng, Lulu Zhang, Yimeng Fan, Sijuan Huang, Qingyu Zhao, Chao Han, Zhihui Hao   +6 more
wiley   +1 more source

PRDM13 is required for specification of PAX2 lineage inhibitory neurons in the developing cerebellum. [PDF]

Dev Biol
Ma ZZ, Hale MA, Mona B, Uruena A, Johnson JE.   +4 more
europepmc   +1 more source

Icaritin Ameliorates Cisplatin‐Induced Mitochondrial Metabolic Dysfunction‐Associated Nephrotoxicity and Synergistically Potentiates Its Antitumor Efficacy

Advanced Science, EarlyView.
In this study, scRNA‐seq and chemoproteomics are integrated to characterize CDDP‐bound proteins at single‐cell resolution in tumor‐bearing mice. Additionally, the research demonstrates that ICA alleviates CDDP‐induced nephrotoxicity while enhancing its chemotherapeutic efficacy.
Piao Luo, Junhui Chen, Yehai An, Kun Meng, Wei Zhou, Wenhui Li, Jing Liu, Wentong Zhao, Weiyi He, Ting Cao, Jingnan Huang, Sha Feng, Shiguang Yang, Hongling Hu, Jiaxian Liao, Hengkai He, Mingjing Hao, Qian Zhang, Jigang Wang, Yue Gao   +19 more
wiley   +1 more source

BabelFSH-a toolkit for an effective HL7 FHIR-based terminology provision. [PDF]

J Biomed Semantics
Wiedekopf J, Ohlsen T, Kock-Schoppenhauer AK, Ingenerf J.   +3 more
europepmc   +1 more source

A Conflicts Detection Approach for Merging Formal Specification Views

, 2010
Fathi Taibi, F. M. Abbou, Md. Jahangir Alam   +2 more
openalex   +2 more sources

Mitochondrial Calcium Uniporter Drives Chemoresistance in Pancreatic Cancer via Glutathione‐Mediated Stemness Maintenance

Advanced Science, EarlyView.
PDAC has a poor prognosis due to chemoresistance. We revealed that MCU upregulation is associated with chemoresistance and stemness in PDAC. MCU‐mediated Ca2+ influx induced ER stress, activating the PERK‐ATF4/NRF2 axis to enhance PSAT1/SLC711 expression and glutathione synthesis, reducing ROS and maintaining stemness.
Zekun Li, Chenyang Meng, Guangcong Shen, Yueying Shan, Junjin Wang, Diliyaer Abudukeremu, Rui Zhao, Bo Ni, Chao Xu, Xiaofan Guo, Jun Yu, Kaiyuan Wang, Shengyu Yang, YunZhan Li, Yongjie Xie, Tianxing Zhou, Jihui Hao, Xiuchao Wang   +17 more
wiley   +1 more source