On the graph traversal method for evaluating linear binary-chain programs Yangjun Chen OriginalPaper Pages: 225 - 243
A unified linear-time temporal logic solution to the steam-boiler control specification problem An YanZhisong Tang OriginalPaper Pages: 244 - 251
Some equivalent conditions for exponential stabilization of linear systems with unbounded control Hanzhong Wu OriginalPaper Pages: 252 - 259
Error analysis in correlation computation of single particle reconstruction technique Yue HuSenfang Sui OriginalPaper Pages: 260 - 265
Critical driving force for martensitic transformation fcc(γ)→hcp(ε) in Fe−Mn−Si shape memory alloys Xuejun JinZuyao XuLin Li OriginalPaper Pages: 266 - 274
Chip-ejection interference in cutting processes of modern cutting tools Hanmin Shi OriginalPaper Pages: 275 - 281
Transient transport of electrons in thin film electroluminescent devices Hui ZhaoYongsheng WangXurong Xu OriginalPaper Pages: 282 - 287
Study of mechanism of strengthening materials with laser shock processing Dahao GuoHongxing WuChengye Yu OriginalPaper Pages: 288 - 293
Calculation formula for apparent electrical resistivity of high porosity metal materials Peisheng LiuChao FuTiefan Li OriginalPaper Pages: 294 - 301
Hydrothermal preparation and formation mechanism of titanium dioxide microcrystallites Yanqing ZhengErwei ShiXingfang Hu OriginalPaper Pages: 302 - 311
System partitioning on MCM using a new neural network model Weiming HuJunhua XuZhijun He OriginalPaper Pages: 312 - 320
Geometrical constraints of the synthetic method of estimating fundamental matrix and its analysing Peiyi ShenWei WangRoger Mohr OriginalPaper Pages: 321 - 329
Analysis of the residual stress in Al2O3−SiC nanocomposites Hongzhi WangLian GaoJingkun Guo OriginalPaper Pages: 330 - 336