HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic von Sheng, Huanhuan, Bentkamp, Alexander, Zhan, Bohua

Volltext

Fuel permeability of anion exchange membranes under electric field von Chu, Wen, Jiang, Wei, Sheng, Huanhuan, Yuan, Guangzhong, Lin, Weihao, Lin, Longxia, Qin, Haiying, Meng, Liang, Liu, Jiabin

Volltext

Functionalization of polyvinyl alcohol composite membrane by CoOOH for direct borohydride fuel cells von Qin, Haiying, Hu, Yongping, Zhu, Cai, Chu, Wen, Sheng, Huanhuan, Dong, Zexi, He, Yan, Wang, Juan, Li, Aiguo, Chi, Hongzhong, Ni, Hualiang, Ji, Zhenguo, Liu, Jiabin

Volltext

Economic Incentive Structure for Blockchain Network von Sheng, Huanhuan, Fan, Xiang, Hu, Wei, Liu, Xing, Zhang, Kai

Volltext

HHLPy: Practical Verification of Hybrid Systems using Hoare Logic von Sheng, Huanhuan, Bentkamp, Alexander, Zhan, Bohua

Volltext bestellen

Offshore Adaptability of the CO2 Pre-Cooling Dual Nitrogen Expander Natural Gas Liquefaction Process von Liu, Yong Hao, Zhu, Jian Lu, Wang, Wu Chang, Li, Yu Xing, Sheng, Huan Huan, Xie, Bin, Yu, Xi Chong

Volltext

HHLPy: Practical Verification of Hybrid Systems using Hoare Logic von Sheng, Huanhuan, Bentkamp, Alexander, Zhan, Bohua

Volltext

Isolation and rapid genetic characterization of a novel T4-like bacteriophage von Sheng, Wang, Huanhuan, Jiang, Jiankui, Chen, Dabin, Liu, Cun, Li, Bo, Pan, Xiaoping, An, Xin, Zhang, Yusen, Zhou, Yigang, Tong

Volltext

Nanoscale color sensors made on semiconducting multi-wall carbon nanotubes von Wei, Nan, Huang, Huixin, Liu, Yang, Yang, Leijing, Wang, Fanglin, Xie, Huanhuan, Zhang, Yingying, Wei, Fei, Wang, Sheng, Peng, Lianmao

Volltext

Natural gas heating and throttling treatment device using combined cooling, heating and power von SHENG HUANHUAN, GUO HUILING, WANG ANPENG, YU SHAODONG

Volltext bestellen

Adjusting type communication landscape tower von DONG HONGSHUN, TANG MINGQIANG, LI HUAQI, ZHENG LONG, ZHU RONGHUO, WANG QILIN, SHENG HUANHUAN, TU SHOUXIN, LU PENG, GUO JIANGTAO, XIA MENG, SHEN MINGFU

Volltext bestellen

Staggered foldable communication landscape tower von LAN JIALU, WANG WEI, LU ZHOU, TANG MINGQIANG, YU QIUGEN, ZHU RONGHUO, SHENG HUANHUAN, ZHANG LINGTONG, CHEN JINGJING, TU SHOUXIN, LU PENG, GUO JIANGTAO

Volltext bestellen

Liftable lamp post type landscape tower von LAN JIALU, LU ZHOU, CHEN HAOYU, LI RONGHAI, WEN MING, YU QIUGEN, ZHANG YAN, SHENG HUANHUAN, ZHANG LINGTONG, CHEN JINGJING, TU SHOUXIN, GUO JIANGTAO

Volltext bestellen

Urban beautification communication landscape tower von LAN JIALU, WANG WEI, DONG HONGSHUN, TANG MINGQIANG, LI HUAQI, YU QIUGEN, ZHU RONGHUO, SHENG HUANHUAN, TU SHOUXIN, LU PENG, GUO JIANGTAO, XIA MENG

Volltext bestellen

Improved current sensor von WANG LINGLING, TENG WEIDONG, QU YONGJIE, DONG JUNLEI, CAO LEI, FENG XUAN, ZHONG GUOWEN, SUN SHENGQIANG, GUO KAI, DONG ZHENGCHU, SHENG HUANHUAN, SHI JUN, GAO JIE, YANG LIN

Volltext bestellen

Energy -efficient air conditioner von WANG LIN, YUAN MENGYONG, ZHAO YAKUN, SHENG HUANHUAN, ZHANG QIANG

Volltext bestellen

Energy-saving air conditioner and control method von WANG LIN, YUAN MENGYONG, ZHAO YAKUN, SHENG HUANHUAN, ZHANG QIANG

Volltext bestellen

Tooling for welding tower body and bottom flange of flanged tower von DONG HONGSHUN, TANG MINGQIANG, LI HUAQI, ZHENG LONG, ZHU RONGHUO, WANG QILIN, SHENG HUANHUAN, TU SHOUXIN, LU PENG, GUO JIANGTAO, XIA MENG, SHEN MINGFU

Volltext bestellen

Refrigerant recovery system von WANG LIN, YUAN MENGYONG, ZHAO YAKUN, SHENG HUANHUAN

Volltext bestellen

Roof fast-assembly tower based on 5G Internet of Things technology von LAN JIALU, DONG HONGSHUN, CHEN HAOYU, TANG MINGQIANG, LI HUAQI, YU QIUGEN, ZHU RONGHUO, SHENG HUANHUAN, TU SHOUXIN, LU PENG, GUO JIANGTAO, XIA MENG

Volltext bestellen