Science China(Information Sciences)(2015年09期)
中國科學 信息科學(英文版)

目 錄

• The sound and complete R-calculus for revising propositional theories
• Automatic tuning of sparse matrix-vector multiplication on multicore clusters
• Auxo: an architecture-centric framework supporting the online tuning of software adaptivity
• Enhancement of cooperation between file systems and applications — VFS extensions for optimized performance
• Segmentation of Hematoxylin-Eosin stained breast cancer histopathological images based on pixel-wise SVM classifier
• The binocular neural mechanism: disparity coding schemes and population coding
• On the k-error linear complexity of binary sequences derived from polynomial quotients
• A strongly secure identity-based authenticated group key exchange protocol
• Image completion with perspective constraint based on a single image
• Image composite authentication using a single shadow observation
• Information diffusion network inferring and pathway tracking
• On the measurement complexity of differentially private query answering
• Relative position determination between Chang‘E-3lander and rover using in-beam phase referencing
• A dynamic games approach to H∞control design of Do S with application to longitudinal flight control
• Dynamic decoupling tracking control for the polytopic LPV model of hypersonic vehicle