A5101849690- Smart Grid Security and Resilience
- Cardiac Fibrosis and Remodeling
- Fault Detection and Control Systems
- Cardiovascular Function and Risk Factors
- Tissue Engineering and Regenerative Medicine
- Anomaly Detection Techniques and Applications
- Flame retardant materials and properties
- Advanced Malware Detection Techniques
- Wnt/β-catenin signaling in development and cancer
- Calpain Protease Function and Regulation
- Formal Methods in Verification
- Additive Manufacturing and 3D Printing Technologies
- 3D Printing in Biomedical Research
- Radiative Heat Transfer Studies
- Physical Unclonable Functions (PUFs) and Hardware Security
- Phase Change Materials Research
- Security and Verification in Computing
- Heat shock proteins research
Kunming University
2024
Yangzhou University
2024
Harvard University Press
2023
Second Affiliated Hospital of Nanchang University
2018-2021
Nanchang University
2018-2021
In recent years, 3D bioprinting with various types of bioinks has been widely used in tissue engineering to fabricate human tissues and organs appropriate biological functions. Decellularized extracellular matrix (dECM) is an excellent bioink candidate because it enriched a variety bioactive proteins factors can provide suitable environment for repair or regeneration while reducing the likelihood severe immune rejection. this Review, we systematically review advances decellularization...
Myocardial infarction (MI) is a big health threat in the world, and it characterized by high morbidity mortality. However, current treatments are not effective enough, novel therapeutic strategies need to be explored. ZFAS1 has been proved involved regulation of MI, but specific mechanism remains unclear. MI rats were constructed through left anterior descending artery ligation, hypoxia cell model was also established. The proliferation, invasion, migration cells detected via CCK8, traswell,...
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism differential dynamic logic. Given precondition and postcondition system, we formalize two safety notions, forward backward safety, which respectively express (1) how strong strongest system is with respect to specified postcondition, (2) weakest needed ensure holds. We introduce robustness, characterize robustness against as loss safety. Two simulation...
One of the pathological functions heat shock protein 22 (HSP22) is association with inflammatory diseases and atherosclerosis. However, effects a high‑fat diet (HFD) or oxidized low‑density lipoprotein (ox‑LDL) combined atorvastatin (ATV) on HSP22 expression are entirely unknown. The present study investigated ATV in HFD‑induced atherosclerotic apolipoprotein E‑deficient (ApoE‑/‑) mice ox‑LDL‑induced human umbilical vein endothelial cells (HUVECs). Furthermore, influence HSP22‑knockdown HFD-...
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism differential dynamic logic. Given precondition and postcondition system, we formalize two safety notions, forward backward safety, which respectively express (1) how strong strongest system is with respect to specified postcondition, (2) weakest needed ensure holds. We introduce robustness, characterize robustness against as loss safety. To reason about...