Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure von Xie, Dingbao, Xiong, Wen, Bu, Lei, Li, Xuandong

Volltext

Radar track prediction method based on BP neural network von Song, Li, Shengli, Wang, Dingbao, Xie

Volltext

Research on radar clutter recognition method based on LSTM von Song, Li, Shengli, Wang, Dingbao, Xie

Volltext

SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata von Xie, Dingbao, Bu, Lei, Zhao, Jianhua, Li, Xuandong

Volltext

Multiple Hypothesis Tracking with Mixed Integer Linear Programming von Xie, Dingbao, Liu, Zhaolei

Volltext

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online von Bu, Lei, Xie, Dingbao, Chen, Xin, Wang, Linzhang, Li, Xuandong

Volltext bestellen

Multi-sensor cooperative detection task group adaptive division method based on group intelligence von WANG JIN, GU WANLI, MA TIANGANG, ZHU CHANGRONG, GUI YOULIN, XIE DINGBAO, SUN ZIQIANG

Volltext bestellen

Reachability analysis method of hybrid system von LI XUANDONG, BU LEI, XIE DINGBAO

Volltext bestellen

Accessibility analyzing method for hybrid system guided by minimum dissatisfied tree von LI XUANDONG, BU LEI, XIE DINGBAO

Volltext bestellen

Clinicopathological features and differential diagnosis of hepatocellular carcinoma in extrahepatic metastases von Chen, Dingbao, Li, Zhao, Song, Qiujing, Qian, Lihua, Xie, Batubaiyin, Zhu, Jiye

Volltext

Verification of a New Spatial Distribution Function of Soil Water Storage Capacity Using Conceptual and SWAT Models von Xie, Kang, Liu, Pan, Zhang, Jianyun, Libera, Dominic A, Wang, Guoqing, Li, Zejun, Wang, Dingbao

Volltext

Effects of extract of Ginkgo biloba with venlafaxine on brain injury in a rat model of depression von Qin, Xiao-song, Jin, Kui-he, Ding, Bao-kun, Xie, Shou-fu, Ma, Hui

Volltext

Feeding control device von LUO XUNQI, XIE TINGJIN, LIU DINGBAO, CAI DONGKAI

Volltext bestellen

Pipe reeling device von LUO XUNQI, XIE TINGJIN, LIU DINGBAO, ZHONG SHAOTAO, LYU ZERONG

Volltext bestellen

Pouring frame fixing template structure for constructional engineering construction von JIA HAIXING, WANG ZHANMING, ZHAO DINGBAO, WU DONGYUN, WANG JING, YANG QIUSHUANG, XIE CHAO, JIANG YU, XIE QIUWEN, LIU LIJUN, HOU WANLIANG

Volltext bestellen

Vertical steel bar deviation prevention structure for constructional engineering and construction method von JIA HAIXING, WANG ZHANMING, ZHAO DINGBAO, WU DONGYUN, WANG JING, YANG QIUSHUANG, XIE CHAO, JIANG YU, XIE QIUWEN, LIU LIJUN, HOU WANLIANG

Volltext bestellen

梅州山区生态农业发展现状与对策探讨 von 林新 丁宝 谢岳昌 黄静 陈宏达 李艳梅

Volltext