English

Technical Report List 2003

http://www.u-aizu.ac.jp/
2003-1-001
Taro Suzuki, Formalization of π Calculus based on Abstract Higher-Order Rewrite Systems, March 25, 2003. 11pgs.

2003-1-002
Taro Suzuki, Narrowing in Higher-Order Rewrite Systems, March 25, 2003. 14pgs.

2003-1-004
Roman Durikovic, Geometric Modeling, Computing, and Visualization, June 3, 2003. 78pgs.

2003-1-005
Mohamed Hamada, Queuing networks: regenerative analysis,simulation, and ants-like approach, June 20, 2003. 28pgs.

2003-1-006
ierre-Alain Fayolle, Alexander Pasko, Benjamin Schmitt, Nikolay Mirenkov, Distance Function Approximation for Constructive Shape Modeling, November 19, 2003. 30pgs.

2003-2-001
Lothar M. Schmitt, Coevolutionary Convergence to Global Optima, January 23, 2003. 12pgs.

2003-2-002
Lothar M. Schmitt, Tunnelling effects in concentric disk quantum dots: discrete discrete and discrete-continuum limits, February 20, 2003. 4pgs.

2003-2-003
Lothar M. Schmitt, Optimization with Genetic Algorithms in Multi-Species Environments, February 26, 2003. 5pgs.

2003-2-004
Lothar M. Schmitt, Recent Advances in Theory of Coevolutionary Genetic Algorithms, February 26, 2003. 11pgs.

2003-2-005
Lothar M. Schmitt, Coevolution Convergence to Global Optimaposter in GECCO 2003, April 3, 2003. 2pgs.

2003-2-006
LotharM.Schmitt, A Coevolutionary Genetic Algorithm that Converges to Global Optima, April 3, 2003. 20pgs.

2003-2-007
Lothar M. Schmitt, Theory of Coevolutionary Genetic Algorithms, May 2. 2003. 9pgs.

2003-2-008
Lothar M. Schmitt, Portfolio optimization with hedging in strictly convergent coevolutionary markets, May 2. 2003. 4pgs.

2003-2-011
Lothar M. Schmitt, Optimization with Genetic Algorithms in Multi-Species Environments Contribution to ICCIMA'03, May 21, 2003. 5pgs.

2003-2-012
Lothar M. Schmitt, Modeling Genetic Algorithms from a Linear Operator Point of View A Survey of Recent Advances and Future Perspectives, May 21, 2003. 12pgs.

2003-5-001
KennethJ.CrankerandNanL.Washburn, Revision and Paraphrasing Courseware for Thesis Writing, April 8, 2003. 24pgs.

2003-5-002
Nancy L. Washburn, CLR Vocabulary Curriculum Evaluation Using Range Software, April 9, 2003. 31pgs.

2003-5-003
Kenneth J Cranker, The Results of Implementing Relatively Free Reading with Accountability into an Introductory English Course for Japanese Freshmen Studying Computer Science, October 15, 2003.

2003-5-004
Kenneth Cranker, Language Choice for Japanese Undergraduate Graduation Thesis Drafts: Translation from L1 or Direct Writing in L2, November 18, 2003. 9pgs.

2003-5-005
Kenneth Cranker, Evidence of Stagnation in English Development between Freshman and Senior Years (A Preliminary Reports), November 18, 2003. 7pgs.