Page 1
Page 1
Modeling, Simulation and Optimization of Complex Processes ; Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam
This proceedings volume contains a selection of papers presented at the symposium "International Conference on High Performance Scientific Computing'' held at the Hanoi Institute of Mathematics of the Vietnam National Center for Natural Science and Technology (NCST). The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and optimal control, parallel computing, symbolic computing, software development, applications of scientific computing in physics, chemistry, biology and mechanics, environmental and hydrology problems, transport, logistics and site location, communication networks, production scheduling, industrial and commercial problems.
Combinatorial pattern matching ; Vol. 3537 ; 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings
This volume presents the proceedings of The 16th Annual Symposium on Combinatorial Pattern Matching was heldon Jeju Island, Korea on June 19–22, 2005. the Program Committee accepted 37 of the submissionsto be presented at the conference. This collection of papers offers original research contributionsin combinatorial pattern matching and its applications.In addition to the selected papers
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
