Results 181 to 190 of about 526,453 (338)

Formal specification and verification of control software for cryptographic equipment [PDF]

, 2002
D. Richard Kuhn, James F. Dray
openalex   +1 more source

Discovery of Natural Compound α‐Hederin via Large‐Scale Screening as a Targeted JAK/STAT3 Inhibitor for Ovarian Cancer Therapy

Advanced Science, EarlyView.
This study identifies α‐Hederin as a potent dual JAK1/JAK2 inhibitor that blocks STAT3 activation in ovarian cancer. By disrupting STAT3‐driven transcriptional programs, α‐Hederin suppresses tumor proliferation, invasion, and EMT, while enhancing cisplatin efficacy and overcoming chemoresistance.
Jiayu Wang, Pengzhan He, Cheng Liu, Xin Chen, Yilin Tan, Rui Qu, Yan Zhang, Zhou Li, Tailang Yin, Zhinang Yin   +9 more
wiley   +1 more source

The Potential of <i>Zanthoxylum acanthopodium</i> DC. as Immunomodulators: Formulation, Activity Testing, and Extract Profiling. [PDF]

Pharmaceuticals (Basel)
Hutapea DB, Susilawati Y, Muhaimin M, Amalia R, Mulyani AT, Chaerunisaa AY.   +5 more
europepmc   +1 more source

Derivation of formal representations from process-based specification and implementation models [PDF]

, 2002
S. Vercauteren, D. Verkest, G. de Jong, Bin Lin   +3 more
openalex   +1 more source

Formal Specification

The Journal of Aesthetics and Art Criticism, 1966
openaire   +1 more source

Single‐Cell RNA Sequencing Delineates Renal Anti‐Fibrotic Mechanisms Mediated by TRPC6 Inhibition

Advanced Science, EarlyView.
Single‐cell transcriptomics reveals how TRPC6 inhibition alters renal cell composition and gene expression in CKD. The study uncovers a novel endothelial subpopulation (ECRIN), highlights key inflammatory and fibrotic pathways, and identifies a Prnp‐driven network linked to fibrosis resolution, offering mechanistic insight into TRPC6 as a potential ...
Yao Xu, Zhihuang Zheng, Marleen Silke Oswald, Guozhe Cheng, Jun Liu, Qidi Zhai, Ute Kruegel, Michael Schaefer, Holger Gerhardt, Nicole Endlich, Maik Gollasch, Stefan Simm, Dmitry Tsvetkov   +12 more
wiley   +1 more source

HPRS: hierarchical potential-based reward shaping from task specifications. [PDF]

Front Robot AI
Berducci L, Aguilar EA, Ničković D, Grosu R.   +3 more
europepmc   +1 more source

Automated generation of protocol test sequences from formal specifications [PDF]

, 2002
G.M. Lundy, Cemaliye Başaran
openalex   +1 more source

RPL6 Interacts with HMGCS1 to Stabilize HIF‐1α by Promoting Cholesterol Production in Hepatocellular Carcinoma

Advanced Science, EarlyView.
The study found that RPL6 is frequently upregulated in HCC tissues with extrahepatic metastasis. Elevated RPL6 bound to and increased the stability of HMGCS1 mRNA, thereby enhancing intracellular cholesterol levels. Subsequently, increased cholesterol promotes cancer metastasis in HCC by stabilizing HIF‐1α protein.
Minli Yang, Shengtao Cheng, Huiying Gu, Shan Zhong, Dapeng Zhang, Xin He, Weixian Chen, Haijun Deng, Jihua Ren, Peng Chen, Ming Tan, Hui Zhang, Fan Li, Zhenzhen Zhang, Yuan Hu, Juan Chen   +15 more
wiley   +1 more source

On the Use of Graph Transformation in the Formal Specification of Model Interpreters [PDF]

, 2003
Gábor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle   +3 more
openalex   +1 more source