Journal: Science in China Series F: Information Sciences

Volume 59, Issue 9

92101 -- 0Jun Liu, Ke Xu. k-SAT
92102 -- 0Lili Mei, Heyan Huang, Xiaochi Wei, Xianling Mao. A novel unsupervised method for new word extraction
92103 -- 0Yadang Chen, Chuanyan Hao, Wen Wu, Enhua Wu. Robust dense reconstruction by range merging based on confidence estimation
92104 -- 0Jidong Zhai, Feng Zhang, Qingwen Li, Wenguang Chen, Weimin Zheng. Characterizing and optimizing TPC-C workloads on large-scale systems using SSD arrays
92105 -- 0Xinkui Zhao, Jianwei Yin, Zuoning Chen, Sheng He. vSpec: workload-adaptive operating system specialization for virtual machines in cloud computing
92106 -- 0Lu Lu, Fei Lyu, Feng Tian, Yineng Chen, Guozhong Dai, Hongan Wang. An exploratory study of multimodal interaction modeling based on neural computation
92201 -- 0Heyu Liu, Fuchun Sun, Shaoqing Wang. Virtual Strategy QoS routing in satellite networks
92202 -- 0Danfeng Chen, Cong Wang, Xunde Dong. Modeling of nonlinear dynamical systems based on deterministic learning and structural stability
92203 -- 0Lu Cao, Xiaoqian Chen. Stochastic stability of cubature predictive filter
92204 -- 0Kuize Zhang, Lijun Zhang. Controllability of probabilistic Boolean control networks with time-variant delays in states
92205 -- 0Tiantian Jiang, Hongxin Wu. Sampled-data feedback and stability for a class of uncertain nonlinear systems based on characteristic modeling method
92206 -- 0Qin Fu, Weiguo Gu, Panpan Gu, Jianrong Wu. Feedback control for a class of second order hyperbolic distributed parameter systems
92207 -- 0Yonggang Zhang, Yulong Huang. Gaussian approximate filter for stochastic dynamic systems with randomly delayed measurements and colored measurement noises
92208 -- 0Jun Yuan, Junzhi Yu, Zhengxing Wu, Min Tan. Precise planar motion measurement of a swimming multi-joint robotic fish
92209 -- 0Yuanhua Wang, Daizhan Cheng. Dynamics and stability for a class of evolutionary games with time delays in strategies
92210 -- 0Zhouhua Peng, Dan Wang, Tieshan Li. Predictor-based neural dynamic surface control for distributed formation tracking of multiple marine surface vehicles with improved transient performance
92301 -- 0Xiaochun Wu, Chunming Wu, Chang-Ting Lin, Qiang Wu, Bin Wang. A multipath resource updating approach for distributed controllers in software-defined network
93101 -- 0Wenbing Zhao 0001. A concise tutorial on human motion tracking and recognition with Microsoft Kinect
98101 -- 0Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su. Automated coverage-driven testing: combining symbolic execution and model checking
99101 -- 0Ruoxin Zhao, Rui Zhang, Yongqiang Li, Baofeng Wu. Construction of MDS block diffusion matrices for block ciphers and hash functions
99102 -- 0Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma. Single-view determinacy and rewriting completeness for a fragment of XPath queries
99103 -- 0Yanli Ren, Ning Ding, Tian-Yin Wang, Haining Lu, Dawu Gu. New algorithms for verifiable outsourcing of bilinear pairings
99104 -- 0Guo-qiang Liu, Chen-Hui Jin. Algebraic techniques in slender-set differential cryptanalysis of PRESENT-like cipher
99105 -- 0Kai Zhang, Jianfeng Ma, Jiajia Liu, Hui Li 0005. Adaptively secure multi-authority attribute-based encryption with verifiable outsourced decryption