2019年第10期目录 | SCIENCE CHINA Information Sciences

点击上方“中国科学信息科学”, 及时获取期刊动态!

Guest Editor:  Hong MEI & Lu ZHANG

Special focus on software automation

Hong MEI & Lu ZHANG

Sci China Inf Sci, 2019, 62(10): 200100

Evaluation of model checkers by verifying message passing programs

Weijiang HONG, Zhenbang CHEN, Hengbiao YU & Ji WANG

Sci China Inf Sci, 2019, 62(10): 200101

A manual inspection of Defects4J bugs and its implications for automatic program repair

Jiajun JIANG, Yingfei XIONG & Xin XIA

Sci China Inf Sci, 2019, 62(10): 200102

Automated program repair: a step towards software automation

Abhik ROYCHOUDHURY & Yingfei XIONG

Sci China Inf Sci, 2019, 62(10): 200103

AI-boosted software automation: learning from human pair programmers

Xin PENG, Zhenchang XING & Jun SUN

Sci China Inf Sci, 2019, 62(10): 200104

Wave models and dynamical analysis of evolutionary algorithms

Yuanxiang LI, Zhenglong XIANG & Daomin JI

Sci China Inf Sci, 2019, 62(10): 202101

New solution bounds of the continuous algebraic Riccati equation and their applications in redundant control input systems

Jianzhou LIU & Li WANG

Sci China Inf Sci, 2019, 62(10): 202201

A hidden fault prediction model based on the belief rule base with power set and considering attribute reliability

Zhijie ZHOU, Zhichao FENG, Changhua HU, Xiaoxia HAN, Zhiguo ZHOU & Gailing LI

Sci China Inf Sci, 2019, 62(10): 202202

Parameter estimation survey for multi-joint robot dynamic calibration case study

Shaolin ZHANG, Shuo WANG, Fengshui JING & Min TAN

Sci China Inf Sci, 2019, 62(10): 202203

Leader-following consensus of second-order nonlinear multi-agent systems with intermittent position measurements

Fuyong WANG, Zhongxin LIU & Zengqiang CHEN

Sci China Inf Sci, 2019, 62(10): 202204

Boundedness and stability of highly nonlinear hybrid neutral stochastic systems with multiple delays

Mingxuan SHEN, Chen FEI, Weiyin FEI & Xuerong MAO

Sci China Inf Sci, 2019, 62(10): 202205

Geometry-based non-line-of-sight error mitigation and localization in wireless communications

Jingyu HUA, Yejia YIN, Anding WANG, Yu ZHANG & Weidang LU

Sci China Inf Sci, 2019, 62(10): 202301

Low power and high uniformity of HfOx-based RRAM via tip-enhanced electric fields

Xiaokang LI, Baotong ZHANG, Bowen WANG, Xiaoyan XU, Yuancheng YANG, Shuang SUN, Qifeng CAI, Shijie HU, Xia AN, Ming LI & Ru HUANG

Sci China Inf Sci, 2019, 62(10): 202401

A flexible skin-mounted wireless acoustic device for bowel sounds monitoring and evaluation

Fengle WANG, Dong WU, Peng JIN, Yingchao ZHANG, Yingyun YANG, Yinji MA, Aiming YANG, Ji FU & Xue FENG

Sci China Inf Sci, 2019, 62(10): 202402

Printed flexible thin-film transistors based on different types of modified liquid metal with good mobility

Qian LI, Ju LIN, Tianying LIU, Han ZHENG & Jing LIU

Sci China Inf Sci, 2019, 62(10): 202403

Rapid and high-quality 3D fusion of heterogeneous CT and MRI data for the human brain

Zexue HE, Li ZHU, Minjie LI, Jinyao LI, Yiran CHEN & Yanlin LUO

Sci China Inf Sci, 2019, 62(10): 204101

Progressive identification of lateral nonlinear unsteady aerodynamics from wind tunnel test data

Shuang HU, Jihong ZHU & Wei YANG

Sci China Inf Sci, 2019, 62(10): 209201

Mining the rank of universities with Wikipedia

Zongjian LI, Cong LI & Xiang LI

Sci China Inf Sci, 2019, 62(10): 209202

A new perspective on fuzzy control of the stochastic T-S fuzzy systems with sampled-data

Shuqi LI, Feiqi DENG & Xueyan ZHAO

Sci China Inf Sci, 2019, 62(10): 209203

Low-complexity polar code construction for higher order modulation

Yongrun YU, Zhiwen PAN, Nan LIU & Xiaohu YOU

Sci China Inf Sci, 2019, 62(10): 209301

Super-resolution of geosynchronous synthetic aperture radar images using dialectical GANs

Yuanhao LI, Dongyang AO, Corneliu Octavian DUMITRU, Cheng HU, & Mihai DATCU

Sci China Inf Sci, 2019, 62(10): 209302

GLRT-based generalized direction detector in partially homogeneous environment

Weijian LIU, Fei GAO, Yuwen LUO, Jun LIU & Yongliang WANG

Sci China Inf Sci, 2019, 62(10): 209303

Bounds and constructions of optimal optical orthogonal codes with low correlation zone

Chengqian XU

Sci China Inf Sci, 2019, 62(10): 209304

Two classes of QC-LDPC cycle codes approaching Gallager lower bound

Hengzhou XU, Huaan LI, Mengmeng XU, Dan FENG & Hai ZHU

Sci China Inf Sci, 2019, 62(10): 209305

Angular domain precoding-based PAPR reduction for massive MIMO systems

Ting LIU, Luyao NI, Shi JIN & Xiaohu YOU

Sci China Inf Sci, 2019, 62(10): 209306