Computational Science ICCS 2002

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems - such as biology environ mental and geo-sciences, physics, and chemistry - and synthetic systems such as electronics and financial and economic systems. The discipline is a bridge bet ween 'classical' computer science - logic, complexity, architecture, algorithm- mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this field. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transportsystems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): 'There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential of computational science'. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous sti mulus from the various international programs on advanced computing, e.g.

Includes supplementary material: sn.pub/extras

Inhalt
Workshop Papers II.- Recent Developments in Motion Planning.- Extreme Distances in Multicolored Point Sets.- Balanced Partition of Minimum Spanning Trees.- On the Quality of Partitions Based on Space-Filling Curves.- The Largest Empty Annulus Problem.- Mapping Graphs on the Sphere to the Finite Plane.- Impro ved Optimal Weighted Links Algorithms.- A Linear Time Heuristics for Trapezoidation of GIS Polygons.- The Morphology of Building Structures.- Voronoi and Radical Tessellations of Packings of Spheres.- Collision Detection Optimization in a Multi-particle System.- Optimization Techniques in an Event-Driven Simulation of a Shaker Ball Mill.- Modified DAG Location for Delaunay Triangulation.- TIN Meets CAD - Extending the TIN Concept in GIS.- Extracting Meaningful Slopes from Terrain Contours.- Duality in Disk Induced Flows.- Improvement of Digital Terrain Model Interpolation Using SFS Techniques with Single Satellite Imagery.- Implementing an Augmented Scene Delivery System.- Inspection Strategies for Complex Curved Surfaces Using CMM.- The Free Form Deformation of Phytoplankton Models.- Curvature Based Registration with Applications to MR-Mammography.- Full Scale Nonlinear Electromagnetic Inversion for Biological Objects.- Propagation of Excitation Waves and Their Mutual Interactions in the Surface Layer of the Ball with Fast Accessory Paths and the Pacemaker.- Computing Optimal Trajectories for Medical Treatmen t Planning and Optimization.- CAD Recognition Using Three Mathematical Models.- 3D Quantification Visualization of Vascular Structures in Magnetic Resonance Angiographic Images.- Quantitative Methods for Comparisons between Velocity Encoded MR-Measurements and Finite Element Modeling in Phantom Models.- High Performance Distributed Simulation for Interactive Simulated Vascular Reconstruction.- Fluid-Structure Interaction Modelling of Left Ventricular Filling.- Motion Decoupling and Registration for 3D Magnetic Resonance Myocardial Perfusion Imaging.- A Comparison of Factorization-Free Eigensolvers with Application to Cavity Resonators.- Direct Axisymmetric Vlasov Simulations of Space Charge Dominated Beams.- Fast Poisson Solver for Space Charge Dominated Beam Simulation Based on the Template Potential Technique.- Parallel Algorithms for Collective Processes in High Intensity Rings.- VORPAL as a Tool for the Study of Laser Pulse Propagation in LWFA.- OSIRIS: A Three-Dimensional, Fully Relativistic Particle in Cell Code for Modeling Plasma Based Accelerators.- Interactive Visualization of Particle Beams for Accelerator Design.- Generic Large Scale 3D Visualization of Accelerators and Beam Lines.- Tracking Particles In Accelerator Optics With Crystal Elements.- Precision Dynamic Aperture Tracking in Rings.- Numerical Simulation of Hydro- and Magnetohydrodynamic Processes in the Muon Collider Target.- Superconducting RF Accelerating Cavity Developments.- CEA Saclay Codes Review for High Intensities Linacs Computations.- Diagonalization of Time Varying Symmetric Matrices.- Conservation Properties of Symmetric BVMs Applied to Linear Hamiltonian Problems.- A Fixed Point Homotopy Method for Efficient Time-Domain Simulation of Power Electronic Circuits.- A Fortran90 Routine for the Solution of Orthogonal Differential Problems.- Two Step Runge-Kutta-Nyström Methods for y? = f(x,y) and P-Stability.- Some Remarks on Numerical Methods for Second Order Differential Equations on the Orthogonal Matrix Group.- Numerical Comparison between Different Lie-Group Methods for Solving Linear Oscillatory ODEs.- Multisymplectic Spectral Methods for the Gross-Pitaevskii Equation.- Solving Orthogonal Matrix Differential Systems in Mathematica.- Symplectic Methods for Separable Hamiltonian Systems.- Numerical Treatment of the Rotation Number for the Forced Pendulum.- Symplectic Methods Based on the Matrix Variational Equation for Hamiltonian System.- Variants of Learning Algorithm Based on Kolmogorov Theorem.- Genetic Neighborhood Search.- Application of Neural Networks Optimized by Genetic Algorithms to Higgs Boson Search.- Complex Situation Recognition on the Basis of Neural Networks in Shipboard Intelligence System.- Dynamic Model of the Machining Process on the Basis of Neural Networks: from Simulation to Real Time Application.- Incremental Structure Learning of Three-Layered Gaussian RBF Networks.- Hybrid Learning of RBF Networks.- Stability Analysis of Discrete-Time Takagi-Sugeno Fuzzy Systems.- Fuzzy Control System Using Nonlinear Friction Observer for the Mobile Robot.- Efficient Implementation of Operators on Semi-Unstructured Grids.- hypre: A Library of High Performance Preconditioners.- Data Layout Optimizations for Variable Coefficient Multigrid.- gridlib: Flexible and Efficient Grid Management for Simulation and Visualization.- Space Tree Structures for PDE Software.- The Design of a Parallel Adaptive Multi-level Code in Fortran 90.- OpenMP versus MPI for PDE Solvers Based on Regular Sparse Numerical Operators.-High-Level Scientific Programming with Python.- Using CORBA Middleware in Finite Element Software.- On Software Support for Finite Difference Schemes Based on Index Notation.- A Component-based Architecture for Parallel Multi-Physics PDE Simulation.- Using Design Patterns and XML to Construct an Extensible Finite Element System.- GrAL- The Grid Algorithms Library.- A Software Strategy Towards Putting Domain Decomposition at the Centre of a Mesh-Based Simulation Process.- A Software Framework for Mixed Finite Element Programming.- Fast, Adaptively Refined Computational Elements in 3D.- Preconditioning Methods for Linear Systems with Saddle Point Matrices.- Mixed-hybrid FEM Discrete Fracture Network Model of the Fracture Flow.- Parallel Realization of Difference Schemes of Filtration Problem in a Multilayer System.- Stokes Problem for the Generalized Navier-Stokes Equations.- Domain Decomposition Algorithm for Solving Contact of Elastic Bodies.- Parallel High-Performance Computing in Geomechanics with Inner/Outer Iterative Procedures.- Reliable Solution of a Unilateral Frictionless Contact Problem in Quasi-Coupled Thermo-Elasticity with Uncertain Input Data.- Computational Engineering Programs at the University of Erlangen-Nuremberg.- Teaching Mathematical…