Adaptively secure multi-authority attribute-based encryption with verifiable outsourced decryption Kai ZhangJianfeng MaHui Li Letter 18 August 2016 Article: 99105
Algebraic techniques in slender-set differential cryptanalysis of PRESENT-like cipher Guo-Qiang LiuChen-Hui Jin Letter 11 August 2016 Article: 99104
New algorithms for verifiable outsourcing of bilinear pairings Yanli RenNing DingDawu Gu Letter 23 August 2016 Article: 99103
Single-view determinacy and rewriting completeness for a fragment of XPath queries Lixiao ZhengShuai MaTiejun Ma Letter 23 August 2016 Article: 99102
Construction of MDS block diffusion matrices for block ciphers and hash functions Ruoxin ZhaoRui ZhangBaofeng Wu Letter 02 June 2016 Article: 99101
Automated coverage-driven testing: combining symbolic execution and model checking Ting SuGeguang PuZhendong Su Insight 23 August 2016 Article: 98101
A concise tutorial on human motion tracking and recognition with Microsoft Kinect Wenbing Zhao Moop 23 August 2016 Article: 93101
A multipath resource updating approach for distributed controllers in software-defined network Xiaochun WuChunming WuBin Wang Research Paper 27 June 2016 Article: 92301
Predictor-based neural dynamic surface control for distributed formation tracking of multiple marine surface vehicles with improved transient performance Zhouhua PengDan WangTieshan Li Research Paper 23 August 2016 Article: 92210
Dynamics and stability for a class of evolutionary games with time delays in strategies Yuanhua WangDaizhan Cheng Research Paper 23 August 2016 Article: 92209
Precise planar motion measurement of a swimming multi-joint robotic fish Jun YuanJunzhi YuMin Tan Research Paper 23 August 2016 Article: 92208
Gaussian approximate filter for stochastic dynamic systems with randomly delayed measurements and colored measurement noises Yonggang ZhangYulong Huang Research Paper 23 August 2016 Article: 92207
Feedback control for a class of second order hyperbolic distributed parameter systems Qin FuWeiguo GuJianrong Wu Research Paper 23 August 2016 Article: 92206
Sampled-data feedback and stability for a class of uncertain nonlinear systems based on characteristic modeling method Tiantian JiangHongxin Wu Research Paper 23 August 2016 Article: 92205
Controllability of probabilistic Boolean control networks with time-variant delays in states Kuize ZhangLijun Zhang Research Paper 23 August 2016 Article: 92204
Stochastic stability of cubature predictive filter Lu CaoXiaoqian Chen Research Paper 23 August 2016 Article: 92203
Modeling of nonlinear dynamical systems based on deterministic learning and structural stability Danfeng ChenCong WangXunde Dong Research Paper 27 May 2016 Article: 92202
Virtual Strategy QoS routing in satellite networks Heyu LiuFuchun SunShaoqing Wang Research Paper 23 August 2016 Article: 92201
An exploratory study of multimodal interaction modeling based on neural computation Lu LuFei LyuHongan Wang Research Paper 23 August 2016 Article: 92106
vSpec: workload-adaptive operating system specialization for virtual machines in cloud computing Xinkui ZhaoJianwei YinSheng He Research Paper 23 August 2016 Article: 92105
Characterizing and optimizing TPC-C workloads on large-scale systems using SSD arrays Jidong ZhaiFeng ZhangWeimin Zheng Research Paper 23 August 2016 Article: 92104
Robust dense reconstruction by range merging based on confidence estimation Yadang ChenChuanyan HaoEnhua Wu Research Paper 18 August 2016 Article: 092103
A novel unsupervised method for new word extraction Lili MeiHeyan HuangXianling Mao Research Paper 11 August 2016 Article: 92102