Journal: Science in China Series F: Information Sciences

Volume 62, Issue 10

0 -- 0Hong Mei, Lu Zhang. Special Focus on Software Automation
0 -- 0Jiajun Jiang, Yingfei Xiong, Xin Xia. A manual inspection of Defects4J bugs and its implications for automatic program repair
0 -- 0Hengzhou Xu, Huaan Li, Mengmeng Xu, Dan Feng 0002, Hai Zhu. Two classes of QC-LDPC cycle codes approaching Gallager lower bound
0 -- 0Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang 0001. Evaluation of model checkers by verifying message passing programs
0 -- 0Zexue He, Li Zhu, Minjie Li, Jinyao Li, Yiran Chen, Yanlin Luo. Rapid and high-quality 3D fusion of heterogeneous CT and MRI data for the human brain
0 -- 0Xiaokang Li, Baotong Zhang, Bowen Wang, Xiaoyan Xu, Yuancheng Yang, Shuang Sun, Qifeng Cai, Shijie Hu, Xia An, Ming Li, Ru Huang. Low power and high uniformity of HfO x -based RRAM via tip-enhanced electric fields
0 -- 0Zhi-Jie Zhou, Zhichao Feng, Changhua Hu, Xiaoxia Han, Zhiguo Zhou, Gai-Ling Li. A hidden fault prediction model based on the belief rule base with power set and considering attribute reliability
0 -- 0Jianzhou Liu, Li Wang. New solution bounds of the continuous algebraic Riccati equation and their applications in redundant control input systems
0 -- 0Yuanxiang Li, Zhenglong Xiang, Daomin Ji. Wave models and dynamical analysis of evolutionary algorithms
0 -- 0Qian Li, Ju Lin, Tianying Liu, Han Zheng, Jing Liu. Printed flexible thin-film transistors based on different types of modified liquid metal with good mobility
0 -- 0Shaolin Zhang, Shuo Wang 0001, Fengshui Jing, Min Tan 0001. Parameter estimation survey for multi-joint robot dynamic calibration case study
0 -- 0Xin Peng 0001, Zhenchang Xing, Jun Sun 0001. AI-boosted software automation: learning from human pair programmers
0 -- 0Ting Liu 0013, Luyao Ni, Shi Jin, Xiaohu You. Angular domain precoding-based PAPR reduction for massive MIMO systems
0 -- 0Fuyong Wang, Zhongxin Liu, Zengqiang Chen. Leader-following consensus of second-order nonlinear multi-agent systems with intermittent position measurements
0 -- 0Jingyu Hua, Yejia Yin, Anding Wang, Yu Zhang 0015, Weidang Lu. Geometry-based non-line-of-sight error mitigation and localization in wireless communications
0 -- 0Abhik Roychoudhury, Yingfei Xiong. Automated program repair: a step towards software automation
0 -- 0Mingxuan Shen, Chen Fei, Weiyin Fei, Xuerong Mao. Boundedness and stability of highly nonlinear hybrid neutral stochastic systems with multiple delays
202402 -- 0Fengle Wang, Dong Wu, Peng Jin, Yingchao Zhang, Yingyun Yang, Yinji Ma, Aiming Yang, Ji-Fu, Xue Feng. A flexible skin-mounted wireless acoustic device for bowel sounds monitoring and evaluation
209201 -- 0Shuang Hu, Jihong Zhu, Wei Yang. Progressive identification of lateral nonlinear unsteady aerodynamics from wind tunnel test data
209202 -- 0Zongjian Li, Cong Li, Xiang Li. Mining the rank of universities with Wikipedia
209203 -- 0Shuqi Li, Feiqi Deng, Xueyan Zhao. A new perspective on fuzzy control of the stochastic T-S fuzzy systems with sampled-data
209301 -- 0Yongrun Yu, Zhiwen Pan, Nan Liu 0001, Xiaohu You. Low-complexity polar code construction for higher order modulation
209302 -- 0Yuanhao Li, Dongyang Ao, Corneliu Octavian Dumitru, Cheng Hu 0001, Mihai Datcu. Super-resolution of geosynchronous synthetic aperture radar images using dialectical GANs
209303 -- 0Weijian Liu, Fei Gao, Yuwen Luo, Jun Liu, Yongliang Wang. GLRT-based generalized direction detector in partially homogeneous environment
209304 -- 0Chengqian Xu. Bounds and constructions of optimal optical orthogonal codes with low correlation zone