Formal Verification of a Hybrid IoT Operating System Model von Guan, Yuqian, Guo, Jian, Li, Qin

Volltext

Convenient-to-disassemble and assemble clamping position for computer hard disk maintenance von GUAN YUQIAN

Volltext bestellen

Computer hard disk with outer wrapping protection mechanism von GUAN YUQIAN

Volltext bestellen

A Formal Modeling And Verification Method For A Microkernel Operating System Inter-Process Communication Mechanism Based on the Event-B Method von GEGUANG, Pu, JIAN, Guo, YUQIAN, Guan, QIN, Li

Volltext bestellen

Method and system for testing performance of memory management algorithm of real-time operating system based on multithreading POSIX standard von GUO JIAN, PU GEGUANG, ZHOU CHENGCHENG, GUAN YUQIAN

Volltext bestellen

Wang Ruowang Discusses Literary Policy and the Reform (Excerpts) von Yuqian, Guan

Volltext

Rockable booster bicycle von GUAN YUQIAN

Volltext bestellen

Formal modeling and verification method for inter-process communication mechanism of microkernel operating system based on Event-B method von LI QIN, GUO JIAN, PU GEGUANG, GUAN YUQIAN

Volltext bestellen

A service bus microkernel framework design method based on formal specifications von GUO JIAN, CHEN ZHILIANG, XIN YAOZHONG, PU GEGUANG, GUAN YUQIAN

Volltext bestellen

Contract management system capable of configuring contract templates von ZHAN JUNHUI, HU YANGFENG, ZOU KANG, GAO MUQING, WEI WENQIANG, LUO LINGYING, GUAN YUQIAN, SHAO CONG

Volltext bestellen

COVID-19: Coronavirus Vaccine Development Updates von Zhao, Jing, Zhao, Shan, Ou, Junxian, Zhang, Jing, Lan, Wendong, Guan, Wenyi, Wu, Xiaowei, Yan, Yuqian, Zhao, Wei, Wu, Jianguo, Chodosh, James, Zhang, Qiwei

Volltext

Ascorbate peroxidase 1 confers resistance to southern corn leaf blight in maize von Zhang, Jinghua, Jia, Xingmeng, Wang, Guan‐Feng, Ma, Shijun, Wang, Shunxi, Yang, Qin, Chen, Xueyan, Zhang, Yuqian, Lyu, Yajing, Wang, Xiaoxu, Shi, Jiawei, Zhao, Yangtao, Chen, Yanhui, Wu, Liuji

Volltext

De novo sequencing of tree peony (Paeonia suffruticosa) transcriptome to identify critical genes involved in flowering and floral organ development von Wang, Shunli, Gao, Jie, Xue, Jingqi, Xue, Yuqian, Li, Dandan, Guan, Yanren, Zhang, Xiuxin

Volltext

Application of Metagenomic Next-Generation Sequencing in the Diagnosis of Pulmonary Infectious Pathogens From Bronchoalveolar Lavage Samples von Chen, Yuqian, Feng, Wei, Ye, Kai, Guo, Li, Xia, Han, Guan, Yuanlin, Chai, Limin, Shi, Wenhua, Zhai, Cui, Wang, Jian, Yan, Xin, Wang, Qingting, Zhang, Qianqian, Li, Cong, Liu, Pengtao, Li, Manxiang

Volltext

Detection of SARS-CoV‑2 with Solid-State CRISPR-Cas12a-Assisted Nanopores von Nouri, Reza, Jiang, Yuqian, Tang, Zifan, Lian, Xiaojun Lance, Guan, Weihua

Volltext

Sequence-Specific Recognition of HIV‑1 DNA with Solid-State CRISPR-Cas12a-Assisted Nanopores (SCAN) von Nouri, Reza, Jiang, Yuqian, Lian, Xiaojun Lance, Guan, Weihua

Volltext

Main active components of Si-Miao-Yong-An decoction (SMYAD) attenuate autophagy and apoptosis via the PDE5A-AKT and TLR4-NOX4 pathways in isoproterenol (ISO)-induced heart failure... von Liao, Minru, Xie, Qiang, Zhao, Yuqian, Yang, Chengcan, Lin, Congcong, Wang, Guan, Liu, Bo, Zhu, Lingjuan

Volltext

Storage Time Detection of Torreya grandis Kernels Using Near Infrared Spectroscopy von Guan, Shihao, Shang, Yuqian, Zhao, Chao

Volltext

STAMP-Based Digital CRISPR-Cas13a for Amplification-Free Quantification of HIV‑1 Plasma Viral Loads von Nouri, Reza, Jiang, Yuqian, Politza, Anthony J., Liu, Tianyi, Greene, Wallace H., Zhu, Yusheng, Nunez, Jonathan J., Lian, Xiaojun, Guan, Weihua

Volltext

Organic mulching masks rhizosphere effects on carbon and nitrogen fractions and enzyme activities in urban greening space von Sun, Xiaodan, Ye, Yuqian, Guan, Qingwei, Jones, Davey L.

Volltext