MACIS 2006 Program

Program

Monday 24th July

	Chair: Dongming Wang
09:00-09:10	Welcome
09:10-10:00	Invited Talk: Computational Polynomial Algebra in System and Control Theory by Hirokazu Anai
10:00-10:25	On Rigorous Conditions for Cell-type Diversity by Algebraic Approach by Hiroshi Yoshida, Katsuhisa Horimoto and Hirokazu Anai
10:25-10:55	Tea Break
	Chair: Kazuhiro Yokoyama
10:55-11:20	Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring by Katsusuke Nabeshima
11:20-11:45	Automatic Weight Generator for the Buchberger Algorithm by Kinji Kimura and Masayuki Noro
11:45-12:10	On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring by Meng Zhou and Franz Winkler
12:10-14:00	Lunch
	Chair: Lihong Zhi
14:00-14:25	An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial by Songxin Liang and David J. Jeffrey
14:25-14:50	Generalized Critical Values and Testing Sign Conditions on a Polynomial by Mohab Safey El Din
14:50-15:15	A New Method for Real Root Isolation of Univariate Polynomials by Ting Zhang and Bican Xia
15:15-15:45	Tea Break
	Chair: Hoon Hong
15:45-16:10	Dynamic Symbolic Optimisation for Relation-Algebraic Programming in Haskell by Wolfram Kahl
16:10-16:35	Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process by Nong Gu, Daniel Lazard, Fabrice Rouillier and Yong Xiang
16:35-17:00	Unified Particle Swarm Optimization for Hadamard Matrices of Williamson Type by Ilias S. Kotsireas, Christos Koukouvinos, Konstantinos E. Parsopoulos and Michael N. Vrahatis
18:00-	Reception Dinner

Tuesday 25th July

	Chair: Zhiming Zheng
09:00-09:50	Invited Talk: On a Problem of Liao and Mañé for Nonsingular Star Flows by Lan Wen
09:50-10:15	Linear Ordinary Differential Equations Satisfied by Modular Forms by Yujie Ma
10:15-10:45	Tea Break
	Chair: Andreas W. M. Dress
10:45-11:10	Computing in Sporadic Groups by Baoshan Wang
11:10-11:35	Markov and Artin Normal Form Theorem for Braid Groups via Gröbner-Shirshov Bases by Leonid A. Bokut, Vladimir V. Chaynikov and Kar-Ping Shum
11:35-12:00	Composition of Rules of Frege-Hilbert Calculi by Elmar Eder
12:00-14:00	Lunch
	Chair: Bican Xia
14:00-14:25	On Algorithms for Calculus of Sets by Shutaro Inoue, Yosuke Sato and Akira Suzuki
14:25-14:50	On Exponential Time Algorithm for k-SAT by Subhas K. Ghosh
14:50-15:15	A Mixed Strategy Complete Algorithm for K-SAT by Hongbo Zhou and Zhiming Zheng
15:15-15:40	On the Complexities of Intersection Problems in Permutation Groups by Takunari Miyazaki
15:40-16:10	Tea Break
	Chair: Ilias Kotsireas
16:10-16:35	Structured Low Rank Approximation of a Bézout Matrix by Dongxia Sun and Lihong Zhi
16:35-17:00	Numerical Solutions of Some Flexible Mechanisms by a Hybrid Scheme by Ming-Gong Lee and Zwei-Wei Song
17:00-17:25	Discrete-time Queue with Multiple-places Reservation Discipline by Yutae Lee
19:00-	Banquet (Speaker: Hoon Hong)

Wednesday 26th July

	Chair: Lan Wen
09:00-09:50	Invited Talk: Networks in Computational Biology by Andreas W.M. Dress
09:50-10:15	Community Structures of Networks by William Y.C. Chen, Andreas W.M. Dress and Winking Q. Yu
10:15-10:45	Tea Break
	Chair: Fabrice Rouillier
10:45-11:10	Analysis of Node Degree Distribution in Ad Hoc Network by Ling Shen, Wei Wu, Zhaoyi Liu and Duoli Liu
11:10-11:35	A Robust Linear Program Solver for Reachability Analysis by Chao Yan, Mark Greenstreet and Marius Laza
11:35-12:00	Application of Quantifier Elimination and Discriminant Varieties to Stability Analysis of Biological Systems by Wei Niu
12:00-14:00	Lunch
	Chair: Hiroshi Yoshida
14:00-14:25	Realizing Finite State Machines Based on DNA Computing by Xueqing Yang and Zhongkan Liu
14:25-14:50	A Context Theory for Context-Aware Multi Agent Systems by Vasu Alagar and Kaiyu Wan
14:50-15:15	Bounding System Reliability by John T. Chen
15:15-15:45	Tea Break
	Chair: David J. Jeffrey
15:45-16:10	Parallel Difference Substitution and Inequality Proving by Liangyu Chen, Zhenbing Zeng and Lu Yang
16:10-16:35	Inequivalent Hadamard Matrices via Orthogonal Designs by Ilias S. Kotsireas, Christos Koukouvinos and Dimitris E. Simos
16:35-17:00	QoS Based Web Caching - A Markov Chain Model by Wenying Feng
17:00-17:10	Closing