Reuse-based software production technology Yang FuqingWang QianxiangChen Zhaoliang Scientific Papers Pages: 8 - 19
A complete algorithm for automated discovering of a class of inequality-type theorems Yang LuHou XiaorongXia Bican Scientific Papers Pages: 33 - 49
Geometric constraint solving with geometric transformation Gao XiaoshanHuang LeidongJiang Kun Scientific Papers Pages: 50 - 59
Quasi-two-dimensional subthreshold current model of deep submicrometer SOI drive-in gate controlled hybrid transistors with lateral non-uniform doping profile Huang RuBu WeihaiWang Yangyuan Scientific Papers Pages: 60 - 67
Medical image segmentation based on cellular neural network Yao LiLiu JiaminPei Liuqing Scientific Papers Pages: 68 - 72
Cova: A programming language for cooperative applications Yang GuangxinShi Meilin Research Note Pages: 73 - 80