Vol. 62, No. 10, 2019

PERSPECTIVE Website SpringerLink Google Scholar

Automated program repair: a step towards software automation
Roychoudhury A, Xiong Y F
Sci China Inf Sci, 2019, 62(10): 200103
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: 0

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: 4

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