Computational Science -- Iccs 2005

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.