Journal: J. Systems Science & Complexity

Volume 19, Issue 3

301 -- 306Zhenya Yan. 2
307 -- 330Deepak Kapur. A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs
331 -- 339Jia Li, Xiao-Shan Gao. The Proper Parametrization of a Special Class of Rational Parametric Equations
340 -- 351Kin Keung Lai, Jun Ma, Shouyang Wang. On Managerial Decision Problem of the Auction Sites
352 -- 364Ziming Li, Dabin Zheng. Determining Whether a Multivariate Hyperexponential Function is Algebraic
365 -- 385Jian Zhang. Projection-Pursuit Based Principal Component Analysis: a Large Sample Theory
386 -- 392Lincheng Zhao, Chaofeng Kou, Yaohua Wu. Maximum Score Change-Point Estimation in Binary Response Model
393 -- 402Helong Liu, Jingyuan Yu, Guangtian Zhu. Global Asymptotic Stable Eradication for the Siv Epidemic Model with Impulsive Vaccination and Infection-Age
403 -- 408Jianlin Zhang. Two-Weight Norm Inequality for Imaginary Powers of a Laplace Operator
409 -- 413Jiaqi Mo, Yihua Lin, Hui Wang. Perturbed Method for Sea-Air Oscillator Model of Interdecadal Climate Fluctuations
414 -- 422Xueqing Zhang, Shigeng Hu, Haijun Wang. A Stochastic Growth Model with Environmental Pollution
423 -- 430Qian Liu, Changyu Wang, Xinmin Yang. On the Convergence of a New Hybrid Projection Algorithm
431 -- 435Cuixia Miao, Yuzhong Zhang. On-Line Scheduling with Rejection on Identical Parallel Machines
436 -- 440Xi Liu, Qingling Zhang, Lichun Zhao. Stabilization of a Kind of Prey-Predator Model with Holling Functional Response
441 -- 446Erling Wei, Yanpei Liu. Strong Embedding of HP-Graphs on Surface with Higher Genus