Ebook: Computational Science – ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

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.

---

The three-volume set LNCS 3514-3516 constitutes the refereed proceedings of the 5th International Conference on Computational Science, ICCS 2005, held in Atlanta, GA, USA in May 2005.

The 464 papers presented were carefully reviewed and selected from a total of 834 submissions for the main conference and its 21 topical workshops. The papers span the whole range of computational science, ranging from numerical methods, algorithms, and computational kernels to programming environments, grids, networking, and tools. These fundamental contributions dealing with computer science methodologies and techniques are complemented by papers discussing computational applications and needs in virtually all scientific disciplines applying advanced computational methods and tools to achieve new discoveries with greater accuracy and speed.

---

The three-volume set LNCS 3514-3516 constitutes the refereed proceedings of the 5th International Conference on Computational Science, ICCS 2005, held in Atlanta, GA, USA in May 2005.

The 464 papers presented were carefully reviewed and selected from a total of 834 submissions for the main conference and its 21 topical workshops. The papers span the whole range of computational science, ranging from numerical methods, algorithms, and computational kernels to programming environments, grids, networking, and tools. These fundamental contributions dealing with computer science methodologies and techniques are complemented by papers discussing computational applications and needs in virtually all scientific disciplines applying advanced computational methods and tools to achieve new discoveries with greater accuracy and speed.

Content:
Front Matter....Pages -
Computing for Eigenpairs on Globally Convergent Iterative Method for Hermitian Matrices....Pages 1-8
2D FE Quad Mesh Smoothing via Angle-Based Optimization....Pages 9-16
Numerical Experiments on the Solution of the Inverse Additive Singular Value Problem....Pages 17-24
Computing Orthogonal Decompositions of Block Tridiagonal or Banded Matrices....Pages 25-32
Adaptive Model Trust Region Methods for Generalized Eigenvalue Problems....Pages 33-41
On Stable Integration of Stiff Ordinary Differential Equations with Global Error Control....Pages 42-49
Sliced-Time Computations with Re-scaling for Blowing-Up Solutions to Initial Value Differential Equations....Pages 50-57
Application of the Pseudo-Transient Technique to a Real-World Unsaturated Flow Groundwater Problem....Pages 58-65
Optimization of Spherical Harmonic Transform Computations....Pages 66-73
Predictor-Corrector Preconditioned Newton-Krylov Method For Cavity Flow....Pages 74-81
A High-Order Recursive Quadratic Learning Algorithm....Pages 82-89
Vectorized Sparse Matrix Multiply for Compressed Row Storage Format....Pages 90-98
Numerically Stable Real Number Codes Based on Random Matrices....Pages 99-106
On Iterated Numerical Integration....Pages 107-114
Semi-Lagrangian Implicit-Explicit Two-Time-Level Scheme for Numerical Weather Prediction....Pages 115-122
Occlusion Activity Detection Algorithm Using Kalman Filter for Detecting Occluded Multiple Objects....Pages 123-130
A New Computer Algorithm Approach to Identification of Continuous-Time Batch Bioreactor Model Parameters....Pages 131-138
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations....Pages 139-146
Regularization and Extrapolation Methods for Infrared Divergent Loop Integrals....Pages 147-154
Use of a Least Squares Finite Element Lattice Boltzmann Method to Study Fluid Flow and Mass Transfer Processes....Pages 155-164
On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks....Pages 165-171
Minimal Load Constrained Vehicle Routing Problems....Pages 172-179
Multilevel Static Real-Time Scheduling Algorithms Using Graph Partitioning....Pages 180-187
A Multi-level Approach for Document Clustering....Pages 188-195
A Logarithmic Time Method for Two’s Complementation....Pages 196-203
The Symmetric–Toeplitz Linear System Problem in Parallel....Pages 204-211
Parallel Resolution with Newton Algorithms of the Inverse Non-symmetric Eigenvalue Problem....Pages 212-219
Computational Challenges in Vector Functional Coefficient Autoregressive Models....Pages 220-228
Multi-pass Mapping Schemes for Parallel Sparse Matrix Computations....Pages 229-236
High-Order Finite Element Methods for Parallel Atmospheric Modeling....Pages 237-244
A Numerical Tool for Transmission Lines....Pages 245-255
The COOLFluiD Framework: Design Solutions for High Performance Object Oriented Scientific Computing Software....Pages 256-262
A Problem Solving Environment for Image-Based Computational Hemodynamics....Pages 263-270
MPL: A Multiprecision Matlab – Like Environment....Pages 271-278
Performance and Scalability Analysis of Cray X1 Vectorization and Multistreaming Optimization....Pages 279-286
Super-Scalable Algorithms for Computing on 100,000 Processors....Pages 287-294
“gRpas”, a Tool for Performance Testing and Analysis....Pages 295-303
Statistical Methods for Automatic Performance Bottleneck Detection in MPI Based Programs....Pages 304-312
Source Templates for the Automatic Generation of Adjoint Code Through Static Call Graph Reversal....Pages 313-321
A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes....Pages 322-329
Determining Consistent States of Distributed Objects Participating in a Remote Method Call....Pages 330-337
Storage Formats for Sparse Matrices in Java....Pages 338-346
Coupled Fusion Simulation Using the Common Component Architecture....Pages 347-354
A Case Study in Distributed Locking Protocol on Linux Clusters....Pages 355-363
Implementation of a Cluster Based Routing Protocol for Mobile Networks....Pages 364-371
A Bandwidth Sensitive Distributed Continuous Media File System Using the Fibre Channel Network....Pages 372-379
A Distributed Spatial Index for Time-Efficient Aggregation Query Processing in Sensor Networks....Pages 380-387
Fast Concurrency Control for Distributed Inverted Files....Pages 388-395
An All-Reduce Operation in Star Networks Using All-to-All Broadcast Communication Pattern....Pages 396-404
Concurrent Execution of Multiple NAS Parallel Programs on a Cluster....Pages 405-410
Model-Based Statistical Testing of a Cluster Utility....Pages 411-418
Accelerating Protein Structure Recovery Using Graphics Processing Units....Pages 419-426
A Parallel Software Development for Watershed Simulations....Pages 427-434
Design and Implementation of Services for a Synthetic Seismogram Calculation Tool on the Grid....Pages 435-442
Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET....Pages 443-450
GEDAS: A Data Management System for Data Grid Environments....Pages 451-459
SPURport: Grid Portal for Earthquake Engineering Simulations....Pages 460-468
Extending Existing Campus Trust Relationships to the Grid Through the Integration of Pubcookie and MyProxy....Pages 469-476
Generating Parallel Algorithms for Cluster and Grid Computing....Pages 477-484
Relationship Networks as a Survivable and Adaptive Mechanism for Grid Resource Location....Pages 485-492
Deployment-Based Security for Grid Applications....Pages 493-500
Grid Resource Selection by Application Benchmarking for Computational Haemodynamics Applications....Pages 501-508
AGARM: An Adaptive Grid Application and Resource Monitor Framework....Pages 509-516
Reducing Transaction Abort Rate of Epidemic Algorithm in Replicated Databases....Pages 517-525
Snap-Stabilizing k-Wave Synchronizer....Pages 526-533
A Service Oriented Implementation of Distributed Status Monitoring and Fault Diagnosis Systems....Pages 534-543
Adaptive Fault Monitoring in Fault Tolerant CORBA....Pages 544-551
Simulated Annealing Based-GA Using Injective Contrast Functions for BSS....Pages 552-559
A DNA Coding Scheme for Searching Stable Solutions....Pages 560-567
Study on Asymmetric Two-Lane Traffic Model Based on Cellular Automata....Pages 568-575
Simulation of Parasitic Interconnect Capacitance for Present and Future ICs....Pages 576-584
Self-optimization of Large Scale Wildfire Simulations....Pages 585-592
Description of Turbulent Events Through the Analysis of POD Modes in Numerically Simulated Turbulent Channel Flow....Pages 593-598
Computational Modeling of Human Head Conductivity....Pages 599-606
Modeling of Electromagnetic Waves in Media with Dirac Distribution of Electric Properties....Pages 607-614
Simulation of Transient Mechanical Wave Propagation in Heterogeneous Soils....Pages 615-622
Practical Modelling for Generating Self-similar VBR Video Traffic....Pages 623-630
A Pattern Search Method for Image Registration....Pages 631-638
Water Droplet Morphing Combining Rigid Transformation....Pages 639-646
A Cost-Effective Private-Key Cryptosystem for Color Image Encryption....Pages 647-654
On a Generalized Demosaicking Procedure: A Taxonomy of Single-Sensor Imaging Solutions....Pages 655-663
Tile Classification Using the CIELAB Color Model....Pages 664-670
A Movie Is Worth More Than a Million Data Points....Pages 671-678
A Layout Algorithm for Signal Transduction Pathways as Two-Dimensional Drawings with Spline Curves....Pages 679-686
Interactive Fluid Animation and Its Applications....Pages 687-694
ATDV: An Image Transforming System....Pages 695-702
An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface....Pages 703-710
Automatic Categorization of Traditional Chinese Painting Images with Statistical Gabor Feature and Color Feature....Pages 711-718
Nonlinear Finite Element Analysis of Structures Strengthened with Carbon Fibre Reinforced Polymer: A Comparison Study....Pages 719-726
Machine Efficient Adaptive Image Matching Based on the Nonparametric Transformations....Pages 727-734
Non-gradient, Sequential Algorithm for Simulation of Nascent Polypeptide Folding....Pages 735-742
Time Delay Dynamic Fuzzy Networks for Time Series Prediction....Pages 743-750
A Hybrid Heuristic Algorithm for the Rectangular Packing Problem....Pages 751-756
Genetically Dynamic Optimization Based Fuzzy Polynomial Neural Networks....Pages 757-765
Genetically Optimized Hybrid Fuzzy Neural Networks Based on Simplified Fuzzy Inference Rules and Polynomial Neurons....Pages 766-774
Modelling and Constraint Hardness Characterisation of the Unique-Path OSPF Weight Setting Problem....Pages 775-782
Application of Four-Dimension Assignment Algorithm of Data Association in Distributed Passive-Sensor System....Pages 783-791
Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling....Pages 792-797
Specifying Complex Systems with Bayesian Programming. An Alife Application....Pages 798-803
Optimization Embedded in Simulation on Models Type System Dynamics – Some Case Study....Pages 804-811
A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach....Pages 812-819
Mesoscopic Simulation for Self-organization in Surface Processes....Pages 820-827
Computer Simulation of the Anisotropy of Fluorescence in Ring Molecular Systems....Pages 828-836
The Deflation Accelerated Schwarz Method for CFD....Pages 837-842
The Numerical Approach to Analysis of Microchannel Cooling Systems....Pages 843-851
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model....Pages 852-859
A Computational Risk Assessment Model for Breakwaters....Pages 860-867
Wavelets and Wavelet Packets Applied to Termite Detection....Pages 868-875
Algorithms for the Estimation of the Concentrations of Chlorophyll A and Carotenoids in Rice Leaves from Airborne Hyperspectral Data....Pages 876-883
Multiresolution Reconstruction of Pipe-Shaped Objects from Contours....Pages 884-891
Multi-resolution LOD Volume Rendering in Medicine....Pages 892-899
Automatic Hepatic Tumor Segmentation Using Statistical Optimal Threshold....Pages 900-907
Spatio-Temporal Patterns in the Depth EEG During the Epileptic Seizure....Pages 908-915
Prediction of Ribosomal Frameshift Signals of User-Defined Models....Pages 916-924
Effectiveness of Vaccination Strategies for Infectious Diseases According to Human Contact Networks....Pages 925-933
A Shape Constraints Based Method to Recognize Ship Objects from High Spatial Resolution Remote Sensed Imagery....Pages 934-940
Statistical Inference Method of User Preference on Broadcasting Content....Pages 941-947
Density-Based Spatial Outliers Detecting....Pages 948-955
The Design and Implementation of Extensible Information Services....Pages 956-962
Approximate B-Spline Surface Based on RBF Neural Networks....Pages 963-970
Efficient Parallelization of Spatial Approximation Trees....Pages 971-978
The Visualization of Linear Algebra Algorithms in Apt Apprentice....Pages 979-986
A Visual Interactive Framework for Formal Derivation....Pages 987-994
ECVlab: A Web-Based Virtual Laboratory System for Electronic Circuit Simulation....Pages 995-1002
MTES: Visual Programming Environment for Teaching and Research in Image Processing....Pages 1003-1010
Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis....Pages 1011-1018
Scale-Free Networks: A Discrete Event Simulation Approach....Pages 1019-1026
Impediments to Future Use of Petaflop Class Computers for Large-Scale Scientific/Engineering Applications in U.S. Private Industry....Pages 1027-1034
The SCore Cluster Enabled OpenMP Environment: Performance Prospects for Computational Science....Pages 1035-1042
Back Matter....Pages 1043-1050
....Pages 1051-1058