Results 211 to 220 of about 1,613,251 (354)

English as a formal specification language [PDF]

, 2004
Rolf Schwitter
openalex   +1 more source

Redox Cascade in Chicken Skeletal Muscle: SELENOT Suppression in Selenium Deficiency Triggers Disulfidptosis via mtROS‐NADPH Dysregulation

Advanced Science, EarlyView.
Se deficiency downregulates SELENOT, disrupting mitochondrial function and elevating mtROS to induce glucose metabolic reprogramming, NADPH depletion, cysteine accumulation, and disulfidptosis‐mediated actin cytoskeleton collapse in chicken skeletal muscle.
Huanyi Liu, Hao Wu, Ziyu Zhang, Shiwen Xu, Cong Zhou, Tong Xu   +5 more
wiley   +1 more source

Design of Semi-Rigid Composite Highway Pavements Using Cementitious Grouting and Porous Asphalt. [PDF]

Materials (Basel)
Kofteci S, Nazary M, Masbah AK, Burgan HI.   +3 more
europepmc   +1 more source

A formal approach to the specification and transformation of constraints in MDE

J. Log. Algebraic Methods Program., 2012
Adrian Rutle, A. Rossini, Yngve Lamo, U. Wolter   +3 more
semanticscholar   +1 more source

The Role of Operating Temperature on Pore‐Scale Gas Transport in Polymer Electrolyte Membrane Electrolyzers

Advanced Science, EarlyView.
This study clarifies the critical relationship between operating temperature and two‐phase flow behavior in polymer electrolyte membrane (PEM) electrolyzers by investigating pore‐scale gas bubble transport in the anode porous transport layer. Higher temperatures (80 °C vs 40 °C) result in a lower total bubble volume fraction and smaller bubble ...
Chaeyoung T. Ham, Pranay Shrestha, Leya Kober, Sergey Gasilov, M. Adam Webb, Aimy Bazylak   +5 more
wiley   +1 more source

Cell fate specification modes shape transcriptome evolution in the highly conserved spiral cleavage. [PDF]

EMBO Rep
Liang Y, Wei J, Kang Y, Carrillo-Baltodano AM, Martín-Durán JM.   +4 more
europepmc   +1 more source

Tumor‐Targeted FABP5/STING Cascade Promote Radiofrequency Ablation Induced Ferroptosis and Intratumoral Immune Rewiring in Hepatocellular Carcinoma

Advanced Science, EarlyView.
Targeted FABP5 co‐delivery nanoparticles amplify RFA‐induced ferroptosis and intratumoral immune rewiring via STING/TBK1 pathway activation in HCC. The pH‐responsive lipid nanoshell was integrated with cyclic RGD peptide (cRGD) and red blood cell membrane (RBCM), and encapsulated with superparamagnetic iron oxide (SPIO) and sgFABP5 to construct FS@RBCM/
Bufu Tang, Xiaojie Zhang, Yiting Sun, Jinhua Luo, Qiaoyou Weng, Cong Zhang, Zilin Wang, Shiji Fang, Yangrui Xiao, Liyun Zheng, Jianfei Tu, Rongfang Qiu, Yang Yang, Zhongwei Zhao, Weiqian Chen, Minjiang Chen, Jiansong Ji   +16 more
wiley   +1 more source

Evaluating Transport Layer Security 1.3 Optimization Strategies for 5G Cross-Border Roaming: A Comprehensive Security and Performance Analysis. [PDF]

Sensors (Basel)
Lastre JK, Ko Y, Kwon H, You I.
europepmc   +1 more source

A formal specification and verification framework for Time Warp-based parallel simulation

, 2002
Peter W. Frey, R. Radhakrishnan, H.W. Carter, Philip A. Wilsey, Perry Alexander   +4 more
openalex   +2 more sources

The Construction of Formal Specifications [PDF]

The Computer Journal, 1995
openaire   +2 more sources