Volume 61, Issue 5

Search all Science China Information Sciences articles

May 2018

Special Focus on Internetware: Research Progress and Current Trend

Filter by

Volume:

Sort by

Date published:

New to old Old to new

29 articles in this issue

Fingerprint-based access to personally controlled health records in emergency situations
Shaopeng Guan
Yongyu Wang
Jian Shen
Letter 09 November 2017 Article: 059103
New constructions for (multiparty) one-round key exchange with strong security
Zheng Yang
Junyu Lai
Letter 17 November 2017 Article: 059102
A lower dimension lattice attack on NTRU
Zhichao Yang
Shaojing Fu
Chao Li
Letter 30 October 2017 Article: 059101
Modern physiognomy: an investigation on predicting personality traits and intelligence from the human face
Rizhen Qin
Wei Gao
Zhanyi Hu
Highlight 17 November 2017 Article: 058105
Spatial image encryption algorithm based on chaotic map and pixel frequency
Guodong Ye
Xiaoling Huang
Highlight 20 November 2017 Article: 058104
Securely min and k-th min computations with fully homomorphic encryption
Bingbing Jiang
Yuan Zhang
Highlight 17 November 2017 Article: 058103
A non-alternate 3D structure and its practical security evaluation against differential and linear cryptanalysis
Qian Wang
Chenhui Jin
Highlight 21 November 2017 Article: 058102
LR-RRA-CCA secure functional encryption for randomized functionalities from trapdoor HPS and LAF
Huige Wang
Kefei Chen
Ziyuan Hu
Highlight 30 August 2017 Article: 058101
Can big data bring a breakthrough for software automation?
Hong Mei
Lu Zhang
Perspective 09 April 2018 Article: 056101
3D shape co-segmentation via sparse and low rank representations
Liyuan Yin
Kan Guo
Qinping Zhao
Moop 10 April 2018 Article: 054101
Path planning for mobile robot using self-adaptive learning particle swarm optimization
Guangsheng Li
Wusheng Chou
Research Paper 15 November 2017 Article: 052204
Guaranteed cost boundary control for cluster synchronization of complex spatio-temporal dynamical networks with community structure
Chengdong Yang
Jinde Cao
Jianlong Qiu
Research Paper 20 November 2017 Article: 052203
Non-fragility of multi-agent controllability
Bin Zhao
Yongqiang Guan
Long Wang
Research Paper 07 December 2017 Article: 052202
On the structural controllability of distributed systems with local structure changes
Jianbin Mu
Shaoyuan Li
Jing Wu
Research Paper 23 October 2017 Article: 052201
Symbolic model checking for discrete real-time systems
Xiangyu Luo
Lijun Wu
Zuxi Chen
Research Paper 26 December 2017 Article: 052106
Anti-chain based algorithms for timed/probabilistic refinement checking
Ting Wang
Tieming Chen
Ye Wang
Research Paper 06 December 2017 Article: 052105
Formula for computing knots with minimum stress and stretching energies
Xuemei Li
Fan Zhang
Caiming Zhang
Research Paper 01 September 2017 Article: 052104
Finger vein recognition based on deformation information
Xianjing Meng
Xiaoming Xi
Yilong Yin
Research Paper 23 August 2017 Article: 052103
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
Haitao Zhang
Zhuo Cheng
Shaoying Liu
Research Paper 11 August 2017 Article: 052102
Learning dynamic dependency network structure with time lag
Sizhen Du
Guojie Song
Dong Liu
Research Paper 30 August 2017 Article: 052101
Survey of recent progress in semantic image segmentation with CNNs
Qichuan Geng
Zhong Zhou
Xiaochun Cao
Review 17 November 2017 Article: 051101
Mining API usage change rules for software framework evolution
Ping Yu
Fei Yang
Xiaoxing Ma
Letter 18 April 2018 Article: 050108
LogPruner: detect, analyze and prune logging calls in Android apps
Xin Zhou
Kaidong Wu
Gang Huang
Letter 18 April 2018 Article: 050107
Personalized project recommendation on GitHub
Xiaobing Sun
Wenyuan Xu
Bin Li
Research Paper 20 April 2018 Article: 050106
Toward accurate link between code and software documentation
Yingkui Cao
Yanzhen Zou
Junfeng Zhao
Research Paper 20 April 2018 Article: 050105
IO dependent SSD cache allocation for elastic Hadoop applications
Zhen Tang
Wei Wang
Tao Huang
Research Paper 18 April 2018 Article: 050104
NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications
Yi Liu
Jue Wang
Jian Lü
Research Paper 20 April 2018 Article: 050103
RoboCloud: augmenting robotic visions for open environment modeling using Internet knowledge
Yiying Li
Huaimin Wang
Wei Zhou
Research Paper 18 April 2018 Article: 050102
Situation analytics — at the dawn of a new software engineering paradigm
Carl K. Chang
Research Paper 20 April 2018 Article: 050101

Volume 61, Issue 5

Search

Navigation