Journal: Science in China Series F: Information Sciences

Volume 44, Issue 1

1 -- 7Chenming Hu. Scaling CMOS devices through alternative structures
8 -- 19Fuqing Yang, Qianxiang Wang, Hong Mei, Zhaoliang Chen. Reuse-based software production technology
20 -- 32Yuxi Fu. A functional presentation of Pi calculus
33 -- 49Lu Yang, Xiaorong Hou, Bican Xia. A complete algorithm for automated discovering of a class of inequality-type theorems
50 -- 59Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang. Geometric constraint solving with geometric transformation
60 -- 67Ru 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 -- 72Li Yao, Jiamin Liu, Yonggui Xie, Liu-qing Pei. Medical image segmentation based on cellular neural network
73 -- 80Guangxin Yang, Meilin Shi. Cova: A programming language for cooperative applications