Computational Science — ICCS 2003: International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part I(2657 Lecture Notes in Computer Science)

Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital role in fundamental advances in biology, physics, chemistry, astronomy, and a host of other disciplines. This is through the coordination of computation, data management, access to instrumentation, knowledge synthesis, and the use of new devices. It has an impact on researchers and practitioners in the sciences and beyond. The sheer size of many challenges in computational science dictates the use of supercomputing, parallel and distri- ted processing, grid-based processing, advanced visualization and sophisticated algorithms. At the dawn of the 21st century the series of International Conferences on Computational Science (ICCS) was initiated with a ?rst meeting in May 2001 in San Francisco. The success of that meeting motivated the organization of the - cond meeting held in Amsterdam April 21–24, 2002, where over 500 participants pushed the research ?eld further. The International Conference on Computational Science 2003 (ICCS 2003) is the follow-up to these earlier conferences. ICCS 2003 is unique, in that it was a single event held at two di?erent sites almost opposite each other on the globe – Melbourne, Australia and St. Petersburg, Russian Federation. The conference ran on the same dates at both locations and all the presented work was published in a single set of proceedings, which you hold in your hands right now.

Table of Contents:
Russian Track.- Industrial Challenges for Numerical Simulation of Crystal Growth.- Three-Way Decomposition and Nuclear Magnetic Resonance.- Semi-lagrangian Semi-implicit Fully Splitted Hydrostatic Atmospheric Model.- Object-Oriented Framework for Modelling of Pollutant Transport in River Network.- Heat Transfer, Newton’s Law of Cooling and the Law of Entropy Increase Simulated by the Real-Time Computer Experiment in Java.- Parallel Solution of the Poisson-Boltzmann Equation for Proteins.- Monte Carlo Method for Calculating the Electrostatic Energy of a Molecule.- A Model of Immune Suppression and Repertoire Evolution.- Julia Sets and Yang-Lee Zeros of the Potts Model on Bethe Lattices.- Dynamic Mean Semi-variance Portfolio Selection.- Computer Simulations of Multiparticle-Contacts Dynamics.- Studying System Properties with Rough Sets.- Stochastic Modeling of Temporal Variability of HIV-1 Population.- Modeling Traffic of Information Packets on Graphs with Complex Topology.- An EfficientLoad Balancing Algorithm Employing a Symmetric Balanced Incomplete Block Design.- A Parallel Virtual Machine for Bulk Synchronous Parallel ML.- ParoC++: A Requirement-driven Parallel Object-oriented Programming Language.- Parallelization Scheme for an Approximate Solution to Time Constraint Problems.- About the Relationship between Election Problem and Failure Detector in Asynchronous Distributed Systems.- Two Phases Based Cluster Formation Scheme for Mobile Ad Hoc Networks.- Architecture of the Grid for Interactive Applications.- Monitoring and Performance Analysis of Grid Applications.- A Parallel Programming Environment on Grid.- Software Development in the Grid: The DAMIEN Tool-Set.- An XML-Based Framework for Loosely Coupled Applications on Grid Environments.- Grid Service Provider: How to Improve Flexibility of Grid User Interfaces?.- The NorduGrid Architecture and Middleware for Scientific Applications.- Efficient Synchronization of Replicated Data in Distributed Systems.- Experimental Grid Access for Dynamic Discovery and Data Transfer in Distributed Interactive Simulation Systems.- The Uniform Posture Map Algorithm for the Real-Time Interactive Motion Transitions of an Articulated Body.- The Inductive Inverse Kinematics Algorithm to Manipulate the Posture of an Articulated Body.- On the Extraction of the Valid Speech-Sound by the Merging Algorithm with the Discrete Wavelet Transform.- Higher Order Temporal Rules.- A Cellular Automata Model for Simulating Pyroclastic Flows and First Application to 1991 Pinatubo Eruption.- Properties of the Genetic Code under Directional, Asymmetric Mutational Pressure.- Nonlinear Internal Model Control Using Neural Networks and Fuzzy Logic: Application to an Electromechanical Process.- Computer Simulation of Stochastic Models with SDE-Solver Software Package.- Hierarchical Neural Network Based Compression of ECG Signals.- A Nonlinear Model for Predicting ECG R-R Interval Variation Based on the Evolutionary Computation Approach.- An Efficient Election Protocol in a Mobile Computing Environment.- Very Large Bayesian Networks in Text Classification.- Stochastic Simulation of Time Series by Using the Spatial-Temporal Weierstrass Function.- Nonlinear Time Series Prediction by Weighted Vector Quantization.- Simulation and Modelling of Computer Networks.- A Parallel 3D Piecewise Constant Reconstruction Algorithm for Asymmetric Virus Structures.- Computational Challenges in Multiple Wavetable Interpolation Synthesis.- Segment Self-Guide Reconstruction Algorithm Based on Object-Oriented Quantization.- Analytical Approach for Channel Assignments in Cellular Networks.- An Analysis of the Reliability Overhead Generated by the JRM-Protocol.- A New Reduced Rank Square Root Kalman Filter for Data Assimilation in Mathematical Models.- A Synchronization Problem on 1-Bit Communication Cellular Automata.- A New Approach to Survivability of Connection Oriented Networks.- Creativity and Delusions: The Dopaminergic Modulationof Cortical Maps.- Some Notes on Numerical Convergence of the Stochastic Perturbation Method.- Transforming Pseudo-Triangulations.- Extrapolated Multistep Methods and Local-Global Step Size Control.- Robust Multigrid Technique.- Comparison of 3D Flow Fields Arising in Mixed and Standard Unstructured Finite Elements.- Improved Objective Functions for Tetrahedral Mesh Optimisation.- A Flexible Infrastructure for the Support of Distributed Learning.- Maximum Disparity Threshold Estimation for Stereo Imaging Systems via Variogram Analysis.- A Fuzzy Artificial World: Zamin II.- Fast Parallel Algorithm for Volume Rendering and Its Experiment on Computational Grid.- A Hand Tracking for a Human Computer Interaction System by the Modified Block Matching Algorithm.- Flexible Component Architecture for Information WEB Portals.- A Problem Solving Environment for Modelling Stony Coral Morphogenesis.- Component Software Systems for Surface Water Simulation.- A Web Services Broker for E-learning.- 2D and 3D Numerical Models of the Growth of Foraminiferal Shells.- ISS-Studio: A Prototype for a User-Friendly Tool for Designing Interactive Experiments in Problem Solving Environments.- Romberg Integration: A Symbolic Approach with Mathematica.- Numerical Continuation of Fold Bifurcations of Limit Cycles in MATCONT.- Computer Algebra System Maple: A New Software Library.- Computer Aided Symbolic Linear Algebra.- Computing Maximal Tori Using LiE and Mathematica.- Error Correcting Codes with Mathematica.- Computer Algebra for Analyzing the Vibrations of Nonlinear Structures.- A webMathematica Application for Mathematics Learning.- Checking the Four-Valued Boolean Algebra by the Use PLANNER.- An Application with webMathematica.- CAS Mathematica in Random Studies.- Strategies for the Interactive Resolution of Calculus Problems.- A Web-Based Intelligent System for Geometric Discovery.- Computer Algebra for Fingerprint Matching.- Basic Calculus on Time Scale with Mathematica.- SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.- Symbolic Computation of High-Order Exact Picard Iterates for Systems of Linear Differential Equations with Time-Periodic Coefficients.- Binary Distillation Column Design Using Mathematica.- Symbolic Solution of Kepler’s Generalized Equation.- Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains.- Automatic Determination of Algebraic Surfaces as Loci of Points.- Probability Distribution of Index Distances in Normal Index Array for Normal Vector Compression.- A New Differential Approach for Parametric-Implicit Surface Intersection.- Accelerate Volume Splatting by Using Run Length Encoding.- A Fragment Culling Technique for Rendering Arbitrary Portals.- Efficient Representation of Triangle Meshes for Simultaneous Modification and Rendering.- A New Architecture for Simulating the Behavior of Virtual Agents.- Lattice Boltzmann Method to Study Hydrodynamic Properties of 2D Fractal Aggregates.- Lattice BoltzmannSimulation of Thermal Microflows with Heterogenuous Catalysis.- Flow Interference in Bluff Body Wakes.- Boundary Conditions for Thermal Lattice Boltzmann Simulations.- A Reduced-Storage Implementation of the Lattice Boltzmann Equation.- Lattice BGK Simulations of Unsteady Flow in a 2D Elastic Tube.- A Three-Parameter Non-linear Lattice-Boltzmann Model for Ideal Miscible Fluids.- Lattice Boltzmann Simulation of Bubble Flows.- Droplet Spreading on Heterogeneous Surfaces Using a Three-Dimensional Lattice Boltzmann Model.- Lattice Boltzmann, a Robust and Accurate Solver for Interactive Computational Hemodynamics.- Lattice Boltzmann Analysis of the Flow Reduction Mechanism in Stented Cerebral Aneurysms for the Endovascular Treatment.- Lattice Boltzmann Simulation and Visualisation of Adsorption Processes in Complex Geometries.- Virtual Fires Experiences with Developing a LBGK Based Real Time Tunnel fire Simulator for Virtual Environments.- Lattice Boltzmann Scheme for Diffusion on Triangular Grids.