Li, Wei A development calculus for specifications. (English) Zbl 1161.68573 Sci. China, Ser. F. 46, No. 5, 390-400 (2003). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: arXiv
Mo, Yaru; Xue, Xiaoping; Song, Shiji On stability of delayed cellular neural networks with sigmoid output functions. (English) Zbl 1186.34097 Sci. China, Ser. F 46, No. 5, 371-380 (2003). MSC: 34K20 37N25 × Cite Format Result Cite Review PDF
Gao, Huijun; Wang, Changhong New approaches to robust \(l_ 2\)-\(l_ \infty\) and \(H_ \infty\) filtering for uncertain discrete-time systems. (English) Zbl 1186.93073 Sci. China, Ser. F 46, No. 5, 355-370 (2003). MSC: 93E11 93B35 × Cite Format Result Cite Review PDF
Cai, Kaiyuan Optimal stopping of multi-project software testing in the context of software cybernetics. (English) Zbl 1186.62100 Sci. China, Ser. F 46, No. 5, 335-354 (2003). MSC: 62L15 68N30 62N05 93B52 65C40 68N99 × Cite Format Result Cite Review PDF
Zhang, Qiang; Ma, Runnian; Xu, Jin Global stability of bidirectional associative memory neural networks with continuously distributed delays. (English) Zbl 1185.92004 Sci. China, Ser. F 46, No. 5, 327-334 (2003). MSC: 92B20 34K20 × Cite Format Result Cite Review PDF
Yu, Jian; Shi, Hongbo; Huang, Houkuan; Sun, Xichen; Cheng, Qiansheng Counterexamples to convergence theorem of maximum-entropy clustering algorithm. (English) Zbl 1186.62092 Sci. China, Ser. F 46, No. 5, 321-326 (2003). MSC: 62H30 65C60 × Cite Format Result Cite Review PDF