Vol. 62, No. 12, 2019

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 0

Design for reliability with the advanced integrated circuit (IC) technology: challenges and opportunities
Ji, Zhigang; Chen, Haibao; Li, Xiuyan
Sci China Inf Sci, 2019, 62(12): 226401
Keywords: Reliability; Variability; CMOS; BTI; Defect; Modelling; Electronic Design Automation
Cite as: Ji Z G, Chen H B, Li X Y. Design for reliability with the advanced integrated circuit (IC) technology: challenges and opportunities. Sci China Inf Sci, 2019, 62(12): 226401, doi: 10.1007/s11432-019-2643-5

Vol. 62, No. 10, 2019 Cover Contents

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 0

Automated program repair: a step towards software automation
Roychoudhury, Abhik; Xiong, Yingfei
Sci China Inf Sci, 2019, 62(10): 200103
Keywords: Program Repair; Software Automation; Bug; Weak Specification; Overfitting; Reference Implementation; Big Data
Cite as: Roychoudhury A, Xiong Y F. Automated program repair: a step towards software automation. Sci China Inf Sci, 2019, 62(10): 200103, doi: 10.1007/S11432-019-9947-6

Vol. 62, No. 9, 2019 Cover Contents

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 0

Keywords: Perspective; Software System; Post-Moore's Law Era; Ecosystems; computing ecosystem
Cite as: Zhang X D. Software system research in post-Moore's Law era: a historical perspective for the future. Sci China Inf Sci, 2019, 62(9): 196101, doi: 10.1007/s11432-019-9860-1

Vol. 62, No. 7, 2019 Cover Contents

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 0

Abductive learning: towards bridging machine learning and logical reasoning
Zhou, Zhi-Hua
Sci China Inf Sci, 2019, 62(7): 076101
Keywords: Abductive Learning; Machine Learning; Logical Reasoning; arti cial intelligence; Perspective
Cite as: Zhou Z-H. Abductive learning: towards bridging machine learning and logical reasoning. Sci China Inf Sci, 2019, 62(7): 076101, doi: 10.1007/s11432-018-9801-4

Vol. 62, No. 5, 2019 Cover Contents

Special Focus on Human-Robot Hybrid Intelligence
PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 0

Challenges and countermeasures of interaction in autonomous vehicles
Li, Deyi; Liu, Meng; Zhao, Fei; Liu, Yu
Sci China Inf Sci, 2019, 62(5): 050201
Keywords: Interaction; Autonomous driving; Interactive Cognition; Driving brain; Self-learning
Cite as: Li D Y, Liu M, Zhao F, et al. Challenges and countermeasures of interaction in autonomous vehicles. Sci China Inf Sci, 2019, 62(5): 050201, doi: 10.1007/s11432-018-9766-3

Vol. 62, No. 2, 2019 Cover Contents

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 2

Keywords: Multi-agent systems; Actuator saturation; Nonlinear control; Constrained control; Coordinated control
Cite as: Lin Z L. Control design in the presence of actuator saturation: from individual systems to multi-agent systems. Sci China Inf Sci, 2019, 62(2): 026201, doi: 10.1007/s11432-018-9698-x

Vol. 61, No. 5, 2018 Cover Contents

PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 8

Can big data bring a breakthrough for software automation?
Mei, Hong; Zhang, Lu
Sci China Inf Sci, 2018, 61(5): 056101
Keywords: software automation; big data; program synthesis; software evolution; software reuse
Cite as: Mei H, Zhang L. Can big data bring a breakthrough for software automation?. Sci China Inf Sci, 2018, 61(5): 056101, doi: 10.1007/s11432-017-9355-3