Program
Please, find below the
tentative
schedule for the workshop. It will be organized in four sessions
(labelled acccording to the
ICCS'2006
general schedule)
of 100 minutes each as follows:
Tuesday 30th 2006
|
Tue, May 30
13:20 - 15:00
|
5
regular papers (20 min. each)
13:20 - 13:40 - (Paper ID: 23)
A.Yacizi
Normalizing Relational Database Schemas using Mathematica
13:40 - 14:00 - (Paper ID: 136)
A. Iglesias
Extending Maple Capabilities for Solving and Displaying Inequalities
14:00 - 14:20 - (Paper ID: 247)
B. Sautois
Phase response curves, delays and synchronization in
Matlab
14:20 - 14:40 - (Paper ID: 336)
N.K. Nicos Karcanias
A Hybrid Approach for Normal Factorization of
Polynomials
14:40 - 15:00 - (Paper ID: 920)
A. Cepulkauskas
Computer Algebra for the Formation of Structural
Matrices of Piezoceramic Finite Elements
|
Tue, May 30
16:20 - 18:00
|
5
regular papers (20 min. each)
16:20 - 16:40 - (Paper ID: 350)
A. Gálvez
Symbolic Analysis of Economical Models with
Mathematica
16:40 - 17:00 - (Paper ID: 423)
S.G. Jackson
Polarizable theta-stable parabolic subalgebras and Kc-saturation in the
non-compact real forms of G2 and F4
17:00 - 17:20 - (Paper ID: 750)
R.L. Carino
Dynamic Load Balancing with MatlabMPI
17:20 - 17:40 - (Paper ID: 896)
M. Araceli Queiruga Dios
Maple implementation of the Chor-Rivest cryptosystem
17:40 - 18:00 - (Paper ID: 967)
M. Gastineau
Development of TRIP : fast sparse multivariate
polynomial multiplication using burst tries
Wednesday 31st 2006
|
Wed, May 31
10:20 - 12:00
|
4
regular papers (20 min. each) + 2 short papers
(10 min. each)
10:20 - 10:40 - (Paper ID: 970)
A.F. Pereira
A
Symbolic Approach to Quantum Computation Simulation
10:40 - 11:00 - (Paper ID: 994)
H. Yanami
Development of SyNRAC- real quantifier elimination based on cylindrical
algebraic decomposition and visualization
11:00 - 11:20 - (Paper ID: 1176)
F. Botana
Automated Discovery in Elementary Extrema Problems
11:20 - 11:40 - (Paper ID: 1453)
L. Zhang
Stabilizing Second-order Linear Dynamic Systems Via Hybrid Output
Feedback Controls
11:40 - 12:00
SHORT PAPERS:
11:40 - 11:50 - (Paper ID: 57)
A. Akritas
Computation of the Adjoint Matrix
11:50 - 12:00 - (Paper ID: 1066)
H. Deguchi
MathBlackBoard as Effective Tool in Classroom
12:00
END OF WORKSHOP