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