Computational Science - Iccs 2001

by Alexandrov, Vassil N.; Dongarra, Jack J.; Juliano, Benjoe A.; Renner, Rene S.; Tan, C. J. Kenneth

• ISBN13: 9783540422327
• ISBN10: 3540422323
• Format: Paperback
• Copyright: 2001-12-01
• Publisher: Springer Nature

Summary

LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27 -31, 2001. The two volumes consist of more than 230 contributed and invited papers that reflect the aims of the conference to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

Table of Contents

Digital Imaging Applications
Densification of Digital Terrain Elevations Using Shape from Shading with Single Satellite Imagery	p. 3
PC-Based System for Calibration, Reconstruction, Processing, and Visualization of 3D Ultrasound Data Based on a Magnetic-Field Position and Orientation Sensing System	p. 13
Automatic Real-Time XRII Local Distortion Correction Method for Digital Linear Tomography	p. 23
Meeting the Computational Demands of Nuclear Medical Imaging Using Commodity Clusters	p. 27
An Image Registration Algorithm Based on Cylindrical Prototype Model	p. 37
An Area-Based Stereo Matching Using Adaptive Search Range and Window Size	p. 44
Environmental Modeling
Methods of Sensitivity Theory and Inverse Modeling for Estimation of Source Term and Risk/Vulnerability Areas	p. 57
The Simulation of Photochemical Smog Episodes in Hungary and Central Europe Using Adaptive Gridding Models	p. 67
Numerical Solution of the Aerosol Condensation/Evaporation Equation	p. 77
Efficient Treatment of Large-Scale Air Pollution Models on Supercomputers	p. 82
High Performance Computational Tools and Environments
Pattern Search Methods for Use-Provided Points	p. 95
	p. 99
Adaptive Load Balancing for MPI Programs	p. 108
Performance and Irregular Behavior of Adaptive Task Partitioning	p. 118
Optimizing Register Spills for Eager Functional Languages	p. 128
A Protocol for Multi-threaded Processes with Choice in $$-Calculus	p. 138
Mapping Parallel Programs onto Distributed Computer Systems with Faulty Elements	p. 148
Enabling Interoperation of High Performance, Scientific Computing Applications: Modeling Scientific Data with the Sets and Fields (SAF) Modeling System	p. 158
Intelligent Systems Design and Applications
ALEC: An Adaptive Learning Framework for Optimizing Artificial Neural Networks	p. 171
Solving Nonlinear Differential Equations by a Neural Network Method	p. 181
Fuzzy Object Blending in 2D	p. 190
An Adaptive Neuro-Fuzzy Approach for Modeling and Control of Nonlinear Systems	p. 198
The Match Fit Algorithm-ATestbed for Computational Motivation of Attention	p. 208
Automatic Implementation and Simulation of Qualitative Cognitive Maps	p. 217
Inclusion-Based Approximate Reasoning	p. 221
Attractor Density Models with Application to Analyzing the Stability of Biological Neural Networks	p. 231
MARS: Still an Alien Planet in Soft Computing?	p. 235
Data Reduction Based on Spatial Partitioning	p. 245
Alternate Methods in Reservoir Simulation	p. 253
Intuitionistic Fuzzy Sets in Intelligent Data Analysis for Medical Diagnosis	p. 263
Design of a Fuzzy Controller Using a Genetic Algorithm for Stator Flux Estimation	p. 272
Object Based Image Ranking Using Neural Networks	p. 281
A Genetic Approach for Two Dimensional Packing with Constraints	p. 291
Task Environments for the Dynamic Development of Behavior	p. 300
Wavelet Packet Multi-layer Perceptron for Chaotic Time Series Prediction: Effects of Weight Initialization	p. 310
Genetic Line Search	p. 318
HARPIC, an Hybrid Architecture Based on Representations, Perceptions, and Intelligent Control: A Way to Provide Autonomy to Robots	p. 327
Hybrid Intelligent Systems for Stock Market Analysis	p. 337
On the Emulation of Kohonen's Self-Organization via Single-Map Metropolis-Hastings Algorithms	p. 346
Quasi Analog Formal Neuron and Its Learning Algorithm Hardware	p. 356
Producing Non-verbal Output for an Embodied Agent in an Intelligent Tutoring System	p. 366
Co-evolving a Neural-Net Evaluation Function for Othello by Combining Genetic Algorithms and Reinforcement Learning	p. 377
Modeling the Effect of Premium Changes on Motor Insurance Customer Retention Rates Using Neural Networks	p. 390
On the Predictability of Rainfall in Kerala - An Application of ABF Neural Network	p. 400
A Job-Shop Scheduling Problem with Fuzzy Processing Times	p. 409
Speech Synthesis Using Neural Networks Trained by an Evolutionary Algorithm	p. 419
A Two-Phase Fuzzy Mining and Learning Algorithm for Adaptive Learning Environment	p. 429
Applying Genetic Algorithms and Other Heuristic Methods to Handle PC Configuration Problems	p. 439
Forecasting Stock Market Performance Using Hybrid Intelligent System	p. 441
Multimedia
The MultiMedia Maintenance Management (M4) System	p. 459
Visualisations; Functionality and Interaction	p. 470
DMEFS Web Portal: A METOC Application	p. 476
The Validation Web Site: A Combustion Collaboratory over the Internet	p. 485
The Policy Machine for Security Policy Management	p. 494
Multi-spectral Scene Generation and Projection
The Javelin Integrated Flight Simulation	p. 507
A Multi-spectral Test and Simulation Facility to Support Missile Development, Production, and Surveillance Programs	p. 515
Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance Computing	p. 521
Infrared Scene Projector Digital Model Development	p. 531
Infrared Scene Projector Digital Model Mathematical Description	p. 540
Distributed Test Capability Using Infrared Scene Projector Technology	p. 550
Development of Infrared and Millimeter Wave Scene Generators for the P3I BAT High Fidelity Flight Simulation	p. 558
Novel Models for Parallel Computation
A Cache Simulator for Shared Memory Systems	p. 569
Coarse Grained Parallel On-Line Analytical Processing (OLAP) for Data Mining	p. 589
Architecture Independent Analysis of Parallel Programs	p. 599
Strong Fault-Tolerance: Parallel Routing in Networks with Faults	p. 609
Parallel Algorithm Design with Coarse-Grained Synchronization	p. 619
Parallel Bridging Models and Their Impact on Algorithm Design	p. 628
A Coarse-Grained Parallel Algorithm for Maximal Cliques in Circle Graphs	p. 638
Parallel Models and Job Characterization for System Scheduling	p. 648
Optimization
Heuristic Solutions for the Multiple-Choice Multi-dimension Knapsack Problem	p. 659
Tuned Annealing for Optimization	p. 669
A Hybrid Global Optimization Algorithm Involving Simplex and Inductive Search	p. 680
Applying Evolutionary Algorithms to Combinatorial Optimization ProblemsEnrique Alba TorresTorres, Enrique Alba	p. 689
Program and Visualization
Exploratory Study of Scientific Visualization Techniques for Program Visualization	p. 701
Immersive Visualization Using AVS/Express	p. 711
VisBench: A Framework for Remote Data Visualization and Analysis	p. 718
The Problem of Time Scales in Computer Visualization	p. 728
Making Movies: Watching Software Evolve through Visualisation	p. 738
Tools and Environments for Parallel and Distributed Programming
Performance Optimization for Large Scale Computing: The Scalable VAMPIR Approach	p. 751
TRaDe: Data Race Detection for Java	p. 761
Automation of Data Traffic Control on DSM Architectures
The Monitoring and Steering Environment	p. 781
Token Finding Using Mobile Agents	p. 791
Load Balancing for the Electronic Structure Program GREMLIN in a Very Heterogenous SSH-Connected WAN-Cluster of UNIX-Type Hosts	p. 801
DeWiz - Modular Debugging for Supercomputers and Computational Grids	p. 811
Fiddle: A Flexible Distributed Debugger Architecture	p. 821
Visualization of Distributed Applications for Performance Debugging	p. 831
Achieving em Performance Portability with em SKaMPI for High-Performance MPI Programs	p. 841
Cyclic Debugging Using Execution Replay	p. 851
Visualizing the Memory Access Behavior of Shared Memory Applications on NUMA Architectures	p. 861
CUMULVS Viewers for the ImmersaDesk	p. 871
Simulation
N-Body Simulation on Hybrid Architectures	p. 883
Quantum Mechanical Simulation of Vibration-Torsion-Rotation Levels of Methanol	p. 893
Simulation-Visualization Complexes as Generic Exploration Environment	p. 903
Efficient Random Process Generation for Reliable Simulation of Complex Systems	p. 912
Replicators & Complementarity: Solving the Simplest Complex System without Simulation	p. 922
Soft Computing: Systems and Applications
More Autonomous Hybrid Models in Bang2	p. 935
Model Generation of Neural Network Ensembles Using Two-Level Cross-Validation	p. 943
A Comparison of Neural Networks and Classical Discriminant Analysis in Predicting Students' Mathematics Placement Examination Scores	p. 952
Neural Belief Propagation without Multiplication	p. 958
Fuzzy Logic Basis in High Performance Decision Support Systems	p. 965
Scaling of Knowledge in Random Conceptual Networks	p. 976
Implementation of Kolmogorov Learning Algorithm for Feedforward Neural Networks	p. 986
Noise-Induced Signal Enhancement in Heterogeneous Neural Networks	p. 996
Phylogenetic Inference for Genome Rearrangement Data Evolutionary Puzzles: An Introduction to Genome Rearrangement	p. 1003
High-Performance Algorithmic Engineering for Computationa Phylogenetics	p. 1012
Phylogenetic Inference from Mitochondrial Genome Arrangement Data	p. 1022
Late Submissions
Genetic Programming: A Review of Some Concerns	p. 1031
Numerical Simulation of Quantum Distributions: Instability and Quantum Chaos	p. 1041
Identification of MIMO Systems by Input-Output Takagi-Sugeno Fuzzy Model	p. 1050
Control of Black Carbon, the Most Effective Means of Slowing Global Warming	p. 1060
Comparison of Two Schemes for the Redistribution of Moments for Modal Aerosol Model Application	p. 1061
A Scale-Dependent Dynamic Model for Scalar Transport in the Atmospheric Boundary Layer	p. 1062
Advances in Molecular Algorithms
MDT - The Molecular Dynamics Test Set	p. 1065
Numerical Methods for the Approximation of Path Integrals Arising in Quantum Statistical Mechanics	p. 1066
The Multigrid N-Body Solver	p. 1067
Do Your Hard-Spheres Have Tails? A Molecular Dynamics Integration Algorithm for Systems with Mixed Hard-Core/Continuous Potentials	p. 1068
An Improved Dynamical Formulation for Constant Temperature and Pressure Dynamics, with Application to Particle Fluid Models	p. 1069
Author Index	p. 1071
Table of Contents provided by Publisher. All Rights Reserved.