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