Mitotic Cortical Waves Predict Future Division Sites by Encoding Positional and Size Information von Xiao, Shengping, Tong, Cheesan, Yang, Yang, Wu, Min

Volltext

Accelerate Safety Model Checking Based on Complementary Approximate Reachability von Zhang, Xiaoyu, Xiao, Shengping, Xia, Yechuan, Li, Jianwen, Chen, Mingsong, Pu, Geguang

Volltext

Frequency and amplitude control of cortical oscillations by phosphoinositide waves von Xiong, Ding, Xiao, Shengping, Guo, Su, Lin, Qingsong, Nakatsu, Fubito, Wu, Min

Volltext

Computing minimal unsatisfiable core for LTL over finite traces von Niu, Tong, Xiao, Shengping, Zhang, Xiaoyu, Li, Jianwen, Huang, Yanhong, Shi, Jianqi

Volltext

Competition and synergy of Arp2/3 and formins in nucleating actin waves von Chua, Xiang Le, Tong, Chee San, Su, Maohan, Xǔ, X.J., Xiao, Shengping, Wu, Xudong, Wu, Min

Volltext

Clinical significance of Spinal Muscular Atrophy carrier detection in Guangdong Province, China: Insights from quantitative polymerase chain reaction and multiplex ligation-depende... von Xu, Chenxia, Peng, Jianming, Wu, Xuewei, Xiao, Shengping, Zhang, Sheng, Li, Miaoyuan

Volltext

Corrigendum: Frequency and amplitude control of cortical oscillations by phosphoinositide waves von Xiong, Ding, Xiao, Shengping, Guo, Su, Lin, Qingsong, Nakatsu, Fubito, Wu, Min

Volltext

Erratum: Corrigendum: Frequency and amplitude control of cortical oscillations by phosphoinositide waves von Xiong, Ding, Xiao, Shengping, Guo, Su, Lin, Qingsong, Nakatsu, Fubito, Wu, Min

Volltext

Correction: Corrigendum: Frequency and amplitude control of cortical oscillations by phosphoinositide waves von Xiong, Ding, Xiao, Shengping, Guo, Su, Lin, Qingsong, Nakatsu, Fubito, Wu, Min

Volltext

Model-Guided Synthesis for LTL over Finite Traces von Xiao, Shengping, Li, Yongkang, Huang, Xinyue, Xu, Yicong, Li, Jianwen, Pu, Geguang, Strichman, Ofer, Vardi, Moshe Y.

Volltext

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts von Xiao, Shengping, Li, Yongkang, Zhu, Shufang, Sun, Jun, Li, Jianwen, Pu, Geguang, Vardi, Moshe Y

Volltext bestellen

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals von Xia, Yechuan, Li, Jianwen, Xiao, Shengping, Miao, Weikai, Pu, Geguang

Volltext bestellen

Water spraying device capable of enlarging spraying area von XIAO SHENGPING, CHEN PINYING

Volltext bestellen

High Cr white cast iron/carbon steel bimetal liner by lost foam casting with liquid-liquid composite process von Xiao, Xiaofeng, Ye, Shengping, Yin, Weixin, Zhou, Xiaoguang, Xue, Qiong

Volltext

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts von Xiao, Shengping, Li, Yongkang, Zhu, Shufang, Sun, Jun, Li, Jianwen, Pu, Geguang, Vardi, Moshe Y

Volltext

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals von Xia, Yechuan, Li, Jianwen, Xiao, Shengping, Miao, Weikai, Pu, Geguang

Volltext

Automatic tripod and steel needle assembling equipment von XIAO SHENGPING, XIONG YINGSHEN, ZHANG DONGMIN

Volltext bestellen

Multifunctional manipulator von XIAO SHENGPING, XIONG YINGSHEN, ZHANG DONGMIN

Volltext bestellen

Automatic water gap cutting blanking device von XIAO SHENGPING, XIONG YINGSHEN, ZHANG DONGMIN

Volltext bestellen

New strategy for reversing biofilm-associated antibiotic resistance through ferrocene-substituted carborane ruthenium（II）-arene complex von LI ShuiHong WU ChangYu TANG Xiao GAO ShengPing ZHAO XinQing YAN Hong WANG XueMei

Volltext