Results 211 to 220 of about 4,657 (242)

Modularly Certified Dynamic Storage Allocation in SCAP

2006 Sixth International Conference on Quality Software (QSIC'06), 2006
Critical applications and increasing scale of software has made software assurance a big problem. Currently, programmers can write type-safe codes in typed languages with sound type systems, such as Java, Cyclone, even typed assembly language (TAL). But high assurance does mean not only type safe, but also correctness and security.
Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li   +3 more
openaire   +2 more sources

Scap structures highlight key role for rotation of intertwined luminal loops in cholesterol sensing

Cell, 2021
Lindsay D Clark, Daniel L Kober, Michael Stuart Brown   +2 more
exaly  

PIDDosome-SCAP crosstalk controls high-fructose-diet-dependent transition from simple steatosis to steatohepatitis

Cell Metabolism, 2022
Junlai Liu
exaly  

SCAP deficiency facilitates obesity and insulin resistance through shifting adipose tissue macrophage polarization

Journal of Advanced Research, 2023
Seung-Soon Im, Byung-Chul Oh
exaly  

Flow Upregulated Scap Dictates Hematopoiesis

Blood
Surbhi Chauhary1, Michihiro Kobayashi2, Pamela Wenzel3, Momoko Yoshimoto2, Longhou Fang1,4 1Center for Cardiovascular Regeneration, Department of Cardiovascular Sciences, Houston Methodist Research Institute. Houston Methodist, 6550 Fannin Street, Texas 77030, USA.
openaire   +1 more source

Discovery of a potent SCAP degrader that ameliorates HFD-induced obesity, hyperlipidemia and insulin resistance via an autophagy-independent lysosomal pathway

Autophagy, 2021
Xiao-Wei Chen, Qing Zhong, Ming Ding
exaly  

SCAP compliant android vulnerability scanner

2017
This thesis attempts to explain the SCAP compliance of a preliminary vulnerability scanner which is in the form of an OVAL interpreter (and thus, SCAP compliant) , which scans for vulnerabilities reported because of the telephony feature in android, in the year 2016 as reported in the national vulnerability database (NVD).
openaire   +1 more source

Sterol-resistant SCAP Overexpression in Vascular Smooth Muscle Cells Accelerates Atherosclerosis by Increasing Local Vascular Inflammation through Activation of the NLRP3 Inflammasome in Mice

Aging and disease, 2021
Xiong Z Ruan, Yaxi Chen, Mihua Liu
exaly  

Numerical simulation of a new heterostructure CIGS/GaSe solar cell system using SCAPS-1D software

Solar Energy, 2021
Mohammed Khenfouch, Mohamed Al-Hattab, Rahmani Khalid   +2 more
exaly  

Experimental and SCAPS simulated formamidinium perovskite solar cells: A comparison of device performance

Solar Energy, 2020
Karthick SEKAR, Subramaniam, Velumani, Johann Bouclé   +2 more
exaly