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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Ran Baik, Karabi Datta, Yoopyo Hong (auth.), Vaidy S. Sunderam, Geert Dick van Albada, Peter M. A. Sloot, Jack J. Dongarra (eds.)
Series: Lecture Notes in Computer Science 3514 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005

Language: English
Pages: 1089
Tags: Software Engineering/Programming and Operating Systems; Theory of Computation; Numeric Computing; Information Systems and Communication Service; Computer Imaging, Vision, Pattern Recognition and Graphics; Simulation and Modeling

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