1 | -- | 7 | Chenming Hu. Scaling CMOS devices through alternative structures |
8 | -- | 19 | Fuqing Yang, Qianxiang Wang, Hong Mei, Zhaoliang Chen. Reuse-based software production technology |
20 | -- | 32 | Yuxi Fu. A functional presentation of Pi calculus |
33 | -- | 49 | Lu Yang, Xiaorong Hou, Bican Xia. A complete algorithm for automated discovering of a class of inequality-type theorems |
50 | -- | 59 | Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang. Geometric constraint solving with geometric transformation |
60 | -- | 67 | Ru Huang, Weihai Bu, Xing Zhang, Yangyuan Wang. Quasi-two-dimensional subthreshold current model of deep submicrometer SOI drive-in gate controlled hybrid transistors with lateral non-uniform doping profile |
68 | -- | 72 | Li Yao, Jiamin Liu, Yonggui Xie, Liu-qing Pei. Medical image segmentation based on cellular neural network |
73 | -- | 80 | Guangxin Yang, Meilin Shi. Cova: A programming language for cooperative applications |