Computational Science -- ICCS 2005

The Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, May 22–25, 2005, continued in the tradition of p- vious conferences in the series: ICCS 2004 in Krakow, Poland; ICCS 2003 held simultaneously at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in Amsterdam, The Netherlands; and ICCS 2001 in San Francisco, California, USA. Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. ICCS 2005 wasorganizedasaforumforscientistsfromthecoredisciplinesofcomputational science and numerous application areas to discuss and exchange ideas, results, and future directions. ICCS participants included researchers from many app- cation domains, including those interested in advanced computational methods for physics, chemistry, life sciences, engineering, economics and ?nance, arts and humanities, as well as computer system vendors and software developers. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.

Numerical Methods.- Computing for Eigenpairs on Globally Convergent Iterative Method for Hermitian Matrices.- 2D FE Quad Mesh Smoothing via Angle-Based Optimization.- Numerical Experiments on the Solution of the Inverse Additive Singular Value Problem.- Computing Orthogonal Decompositions of Block Tridiagonal or Banded Matrices.- Adaptive Model Trust Region Methods for Generalized Eigenvalue Problems.- On Stable Integration of Stiff Ordinary Differential Equations with Global Error Control.- Bifurcation Analysis of Large Equilibrium Systems in Matlab.- Sliced-Time Computations with Re-scaling for Blowing-Up Solutions to Initial Value Differential Equations.- Application of the Pseudo-Transient Technique to a Real-World Unsaturated Flow Groundwater Problem.- Optimization of Spherical Harmonic Transform Computations.- Predictor-Corrector Preconditioned Newton-Krylov Method For Cavity Flow.- Algorithms and Computational Kernels.- A High-Order Recursive Quadratic Learning Algorithm.- Vectorized Sparse Matrix Multiply for Compressed Row Storage Format.- A Multipole Based Treecode Using Spherical Harmonics for Potentials of the Form r .- Numerically Stable Real Number Codes Based on Random Matrices.- On Iterated Numerical Integration.- Semi-Lagrangian Implicit-Explicit Two-Time-Level Scheme for Numerical Weather Prediction.- Occlusion Activity Detection Algorithm Using Kalman Filter for Detecting Occluded Multiple Objects.- A New Computer Algorithm Approach to Identification of Continuous-Time Batch Bioreactor Model Parameters.- Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations.- Regularization and Extrapolation Methods for Infrared Divergent Loop Integrals.- Use of a Least Squares Finite Element Lattice Boltzmann Method to Study Fluid Flow and Mass Transfer Processes.- Nonnumerical Algorithms.- On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks.- Minimal Load Constrained Vehicle Routing Problems.- Multilevel Static Real-Time Scheduling Algorithms Using Graph Partitioning.- A Multi-level Approach for Document Clustering.- A Logarithmic Time Method for Two’s Complementation.- Parallel Algorithms.- The Symmetric–Toeplitz Linear System Problem in Parallel.- Parallel Resolution with Newton Algorithms of the Inverse Non-symmetric Eigenvalue Problem.- Computational Challenges in Vector Functional Coefficient Autoregressive Models.- Multi-pass Mapping Schemes for Parallel Sparse Matrix Computations.- High-Order Finite Element Methods for Parallel Atmospheric Modeling.- Environments and Libraries.- Continuation of Homoclinic Orbits in Matlab.- A Numerical Tool for Transmission Lines.- The COOLFluiD Framework: Design Solutions for High Performance Object Oriented Scientific Computing Software.- A Problem Solving Environment for Image-Based Computational Hemodynamics.- MPL: A Multiprecision Matlab – Like Environment.- Performance and Scalability.- Performance and Scalability Analysis of Cray X1 Vectorization and Multistreaming Optimization.- Super-Scalable Algorithms for Computing on 100,000 Processors.- “gRpas”, a Tool for Performance Testing and Analysis.- Statistical Methods for Automatic Performance Bottleneck Detection in MPI Based Programs.- Programming Techniques.- Source Templates for the Automatic Generation of Adjoint Code Through Static Call Graph Reversal.- A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes.- Determining Consistent States of Distributed Objects Participating in a Remote Method Call.- Storage Formats for Sparse Matrices in Java.- Coupled Fusion Simulation Using the Common Component Architecture.- Networks and Distributed Algorithms.- A Case Study in Distributed Locking Protocol on Linux Clusters.- Implementation of a Cluster Based Routing Protocol for Mobile Networks.- A Bandwidth Sensitive Distributed Continuous Media File System Using the Fibre Channel Network.- A Distributed Spatial Index for Time-Efficient Aggregation Query Processing in Sensor Networks.- Fast Concurrency Control for Distributed Inverted Files.- An All-Reduce Operation in Star Networks Using All-to-All Broadcast Communication Pattern.- Parallel and Distributed Computing.- S 2 F 2 M – Statistical System for Forest Fire Management.- Concurrent Execution of Multiple NAS Parallel Programs on a Cluster.- Model-Based Statistical Testing of a Cluster Utility.- Accelerating Protein Structure Recovery Using Graphics Processing Units.- A Parallel Software Development for Watershed Simulations.- Grid Computing.- Design and Implementation of Services for a Synthetic Seismogram Calculation Tool on the Grid.- Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET.- GEDAS: A Data Management System for Data Grid Environments.- SPURport: Grid Portal for Earthquake Engineering Simulations.- Extending Existing Campus Trust Relationships to the Grid Through the Integration of Pubcookie and MyProxy.- Generating Parallel Algorithms for Cluster and Grid Computing.- Relationship Networks as a Survivable and Adaptive Mechanism for Grid Resource Location.- Deployment-Based Security for Grid Applications.- Grid Resource Selection by Application Benchmarking for Computational Haemodynamics Applications.- AGARM: An Adaptive Grid Application and Resource Monitor Framework.- Failure Handling.- Reducing Transaction Abort Rate of Epidemic Algorithm in Replicated Databases.- Snap-Stabilizing k-Wave Synchronizer.- A Service Oriented Implementation of Distributed Status Monitoring and Fault Diagnosis Systems.- Adaptive Fault Monitoring in Fault Tolerant CORBA.- Optimization.- Simulated Annealing Based-GA Using Injective Contrast Functions for BSS.- A DNA Coding Scheme for Searching Stable Solutions.- Study on Asymmetric Two-Lane Traffic Model Based on Cellular Automata.- Simulation of Parasitic Interconnect Capacitance for Present and Future ICs.- Self-optimization of Large Scale Wildfire Simulations.- Modeling and Simulation.- Description of Turbulent Events Through the Analysis of POD Modes in Numerically Simulated Turbulent Channel Flow.- Computational Modeling of Human Head Conductivity.- Modeling of Electromagnetic Waves in Media with Dirac Distribution of Electric Properties.- Simulation of Transient Mechanical Wave Propagation in Heterogeneous Soils.- Practical Modelling for Generating Self-similar VBR Video Traffic.- Image Analysis and Processing.- A Pattern Search Method for Image Registration.- Water Droplet Morphing Combining Rigid Transformation.- A Cost-Effective Private-Key Cryptosystem for Color Image Encryption.- On a Generalized Demosaicking Procedure: A Taxonomy of Single-Sensor Imaging Solutions.- Tile Classification Using the CIELAB Color Model.- Graphics and Visualization.- A Movie Is Worth More Than a Million Data Points.- A Layout Algorithm for Signal Transduction Pathways as Two-Dimensional Drawings with Spline Curves.- Interactive Fluid Animation and Its Applications.- ATDV: An Image Transforming System.- An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface.- Computation as a Scientific Paradigm.- Automatic Categorization of Traditional Chinese Painting Images with Statistical Gabor Feature and Color Feature.- Nonlinear Finite Element Analysis of Structures Strengthened with Carbon Fibre Reinforced Polymer: A Comparison Study.- Machine Efficient Adaptive Image Matching Based on the Nonparametric Transformations.- Non-gradient, Sequential Algorithm for Simulation of Nascent Polypeptide Folding.- Hybrid Computational Methods.- Time Delay Dynamic Fuzzy Networks for Time Series Prediction.- A Hybrid Heuristic Algorithm for the Rectangular Packing Problem.- Genetically Dynamic Optimization Based Fuzzy Polynomial Neural Networks.- Genetically Optimized Hybrid Fuzzy Neural Networks Based on Simplified Fuzzy Inference Rules and Polynomial Neurons.- Modelling and Constraint Hardness Characterisation of the Unique-Path OSPF Weight Setting Problem.- Complex Systems.- Application of Four-Dimension Assignment Algorithm of Data Association in Distributed Passive-Sensor System.- Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling.- Specifying Complex Systems with Bayesian Programming. An Alife Application.- Optimization Embedded in Simulation on Models Type System Dynamics – Some Case Study.- A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach.- Applications.- Mesoscopic Simulation for Self-organization in Surface Processes.- Computer Simulation of the Anisotropy of Fluorescence in Ring Molecular Systems.- The Deflation Accelerated Schwarz Method for CFD.- The Numerical Approach to Analysis of Microchannel Cooling Systems.- Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model.- A Computational Risk Assessment Model for Breakwaters.- Wavelets and Wavelet Packets Applied to Termite Detection.- Algorithms for the Estimation of the Concentrations of Chlorophyll A and Carotenoids in Rice Leaves from Airborne Hyperspectral Data.- Multiresolution Reconstruction of Pipe-Shaped Objects from Contours.- Biomedical Applications.- Multi-resolution LOD Volume Rendering in Medicine.- Automatic Hepatic Tumor Segmentation Using Statistical Optimal Threshold.- Spatio-Temporal Patterns in the Depth EEG During the Epileptic Seizure.- Prediction of Ribosomal Frameshift Signals of User-Defined Models.- Effectiveness of Vaccination Strategies for Infectious Diseases According to Human Contact Networks.- Data Mining and Computation.- A Shape Constraints Based Method to Recognize Ship Objects from High Spatial Resolution Remote Sensed Imagery.- Statistical Inference Method of User Preference on Broadcasting Content.- Density-Based Spatial Outliers Detecting.- The Design and Implementation of Extensible Information Services.- Approximate B-Spline Surface Based on RBF Neural Networks.- Efficient Parallelization of Spatial Approximation Trees.- Education in Computational Science.- The Visualization of Linear Algebra Algorithms in Apt Apprentice.- A Visual Interactive Framework for Formal Derivation.- ECVlab: A Web-Based Virtual Laboratory System for Electronic Circuit Simulation.- MTES: Visual Programming Environment for Teaching and Research in Image Processing.- Emerging Trends.- Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis.- Scale-Free Networks: A Discrete Event Simulation Approach.- Impediments to Future Use of Petaflop Class Computers for Large-Scale Scientific/Engineering Applications in U.S. Private Industry.- The SCore Cluster Enabled OpenMP Environment: Performance Prospects for Computational Science.