Riassunto
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.
Contenuti
Invited Paper.- Exploiting OpenMP to Provide Scalable SMP BLAS and LAPACK Routines.- Scientific Discovery through Advanced Computing.- Quantification of Uncertainty for Numerical Simulatons with Confidence Intervals.- Large-Scale Simulation and Visualization in Medicine: Applications to Cardiology, Neuroscience, and MedicaL Imaging.- Can Parallel Programming Be Made Easy for Scientists.- Software Support for High Performance Problem-Solving on Computational Grids.- Lattice Rules and Randomized Quasi-Monte Carlo.- Blue Gene: A Massively Parallel System.- Dynamic Grid Computing.- Robust Geometric Computation Based on Topological Consistency.- Metacomputing with the Harness and IceT Systems.- Computational Biology: IT Challenges and Opportunities.- Architecture-Specific Automatic Performance Tuning.- A Data Broker for Distributed Computing Environments.- Towards an Accurate Model for Collective Communications.- A Family of High-Performance Matrix Multiplication Algorithms.- Performance Evaluation of Heuristics for Scheduling Pipelined Multiprocessor Tasks.- Automatic Performance Tuning in the UHFFT Library.- A Modal Model of Memory.- Fast Automatic Generation of DSP Algorithms.- Cache-Efficient Multigrid Algorithms.- Statistical Models for Automatic Performance Tuning.- Optimizing Sparse Matrix Computations for Register Reuse in SPARSITY.- Rescheduling for Locality in Sparse Matrix Computations.- Climate Modeling.- The DOE Parallel Climate Model (PCM): The Computational Highway and Backroads.- Conceptualizing a Collaborative Problem Solving Environment for Regional Climate Modeling and Assessment of Climate Impacts.- Computational Design and Performance of the Fast Ocean Atmosphere Model, Version One.- The Model Coupling Toolkit.- Parallelization of a Subgrid Orographic Precipitation Scheme in an MM5-Based Regional Climate Model.- Resolution Dependence in Modeling Extreme Weather Events.- Visualizing High-Resolution Climate Data.- Global Computing — Internals and Usage.- Improving Java Server Performance with Interruptlets.- Protocols and Software for Exploiting Myrinet Clusters.- Cluster Configuration Aided by Simulation.- Application Monitoring in the Grid with GRM and PROVE.- Extension of Macrostep Debugging Methodology Towards Metacomputing Applications.- Capacity and Capability Computing Using Legion.- Component Object Based Single System Image Middleware for Metacomputer Implementation of Genetic Programming on Clusters.- The Prioritized and Distributed Synchronization in Distributed Groups.- Collaborative Computing.- On Group Communication Systems: Insight, a Primer and a Snapshot.- Overview of the InterGroup Protocols.- Introducing Fault-Tolerant Group Membership Into The Collaborative Computing Transport Layer.- A Modular Collaborative Parallel CFD Workbench.- Distributed Name Service in Harness.- Fault Tolerant MPI for the HARNESS Meta-computing System.- A Harness Control Application for Hand-Held Devices.- Flexible Class Loader Framework: Sharing Java Resources in Harness System.- Mobile Wide Area Wireless Fault-Tolerance.- Tools for Collaboration in Metropolitan Wireless Networks.- A Repository System with Secure File Access for Collaborative Environments.- Authentication Service Model Supporting Multiple Domains in Distributed Computing.- Performance and Stability Analysis of a Message Oriented Reliable Multicast for Distributed Virtual Environments in Java.- A Secure and Efficient Key Escrow Protocol for Mobile Communications.- Complex Physical System Simulation.- High-Performance Algorithms for Quantum Systems Evolution.- Complex Situations Simultation When Testing Intelligence System Knowledge Base.- Peculiarities of Computer Simulation and Statistical Representation of Time—Spatial Metocean Fields.- Numerical Investigation of Quantum Chaos in the Problem of Multichannel Scattering in Three Body System.- Distributed Simulation of Amorphous Hydrogenated Silicon Films: Numerical Experiments on a Linux Based Computing Environment.- Performance Prediction for Parallel Local Weather Forecast Programs.- The NORMA Language Application to Solution of Strong Nonequilibrium Transfer Processes Problem with Condensation of Mixtures on the Multiprocessor System.- Adaptive High-Performance Method for Numerical Simulation of Unsteady Complex Flows with Number of Strong and Weak Discontinuities.- Cellular Automata as a Mesoscopic Approach to Model and Simulate Complex Systems.- Computational Chemistry.- Ab-Initio Kinetics of Heterogeneous Catalysis: NO+N+O/Rh(111).- Interpolating Wavelets in Kohn-Sham Electronic Structure Calculations.- Simulations of Surfactant-Enhanced Spreading.- Supporting Car-Parrinello Molecular Dynamics with UNICORE.- Parallel Methods in Time Dependent Approaches to Reactive Scattering Calculations.- Computational Finance.- Construction of Multinomial Lattice Random Walks for Optimal Hedges.- On Parallel Pseudo-Random Number Generation.- A General Framework for Trinomial Trees.- On the Use of Quasi-Monte Carlo Methods in Computational Finance.- Computational Geometry and Applications.- An Efficient Algorithm to Calculate the Minkowski Sum of Convex 3D Polyhedra.- REGTET: A Program for Computing Regular Tetrahedralizations.- Fast Maintenance of Rectilinear Centers.- Exploring an Unknown Polygonal Environment with Bounded Visibility.- Parallel Optimal Weighted Links.- Robustness Issues in Surface Reconstruction.- On a Nearest-Neighbour Problem in Minkowski and Power Metrics.- On Dynamic Generalized Voronoi Diagrams in the Euclidean Metric.- Computing Optimal Hatching Directions in Layered Manufacturing.- Discrete Local Fairing of B-Spline Surfaces.- Computational Methods for Geometric Processing. Applications to Industry.- Graph Voronoi Regions for Interfacing Planar Graphs.- Robust and Fast Algorithm for a Circle Set Voronoi Diagram in a Plane.- Apollonius Tenth Problem as a Point Location Problem.- Crystal Voronoi Diagram and Its Applications to Collision-Free Paths.- The Voronoi-Delaunay Approach for Modeling the Packing of Balls in a Cylindrical Container.- Multiply Guarded Guards in Orthogonal Art Galleries.- Reachability on a region bounded by two attached squares.- Illuminating Polygons with Vertex ?-Floodlights.- Computational Methods.- Performance Tradeoffs in Multi-tier Formulation of a Finite Difference Method.- On the Use of a Differentiated Finite Element Package for Sensitivity Analysis.- Parallel Factorizations with Algorithmic Blocking.- Bayesian Parameter Estimation: A Monte Carlo Approach.- Recent Progress in General Sparse Direct Solvers.- On Efficient Application of Implicit Runge-Kutta Methods to Large-Scale Systems of Index 1 Differential-Algebraic Equations.- On the Efficiency of Nearest Neighbor Searching with Data Clustered in Lower Dimensions.- A Spectral Element Method for Oldroyd-B Fluid in a Contraction Channel.- SSE Based Parallel Solution for Power Systems Network Equations.- Implementation of Symmetric Nonstationary Phase-Shift Wavefield Extrapolator on an Alpha Cluster.- Generalized High-Level Synthesis of Wavelet-Based Digital Systems via Nonlinear I/O Data Space Transformations.- Solvable Map Method for Integrating Nonlinear Hamiltonian Systems.- A Parallel ADI Method for a Nonlinear Equation Describing Gravitational Flow of Ground Water.- The Effect of the Cusp on the Rate of Convergence of the Rayleigh-Ritz Method.- The AGEB Algorithm for Solving the Heat Equation in Three Space Dimensions and Its Parallelization Using PVM.- A Pollution Adaptive Mesh Generation Algorithm in r-h Version of the Finite Element Method.- An Information Model for the Representation of Multiple Biological Classifications.- A Precise Integration Algorithm for Matrix Riccati Differential Equations.- Computational Models of Natural Language Arguments.- GEA: A Complete, Modular System for Generating Evaluative Arguments.- Argumentation in Explanations to Logical Problems.- Analysis of the Argumentative Effect of Evaluative Semantics in Natural Language.- Getting Good Value Facts, Values, and Goals in Computational Linguistics.- Computational Models of Natural Language Argument.- An Empirical Study of Multimedia Argumentation.- Exploiting Uncertainty and Incomplete Knowledge in Deceptive Argumentation.- Computational Physics in the Undergraduate Curriculum.- Integrating Computation into the Physics Curriculum.- Musical Acoustics and Computational Science.- Developing Components and Curricula for a Research-Rich Undergraduate Degree in Computational Physics.- Physlets: Java Tools for a Web-Based Physics Curriculum.- Computation in Undergraduate Physics: The Lawrence Approach.- Computational Science Applications and Case Studies.- Recent Developments of a Coupled CFD/CSD Methodology.- Towards a Coupled Environmental Prediction System.- New Materials Design.- Parallelization of an Adaptive Mesh Refinement Method for Low Mach Number Combustion.- Combustion Dynamics of Swirling Turbulent Flames.- Parallel CFD Computing Using Shared Memory OpenMP.- Plasma Modeling of Ignition for Combustion Simulations.- Computational Science Education: Standards, Learning Outcomes and Assesment Techniques.- Computational Science Education: Standards, Learning Outcomes, and Assessment.- Learning Computational Methods for Partial Differential Equations from the Web.- Computational Engineering and Science Program at the University of Utah.- High Performance and Parallel Computing in Manufacturing and Testing Environments.- Influences on the Solution Process for Large, Numeric-Intensive Automotive Simulations.- Scalable Large Scale Process Modeling and Simulations in Liquid Composite Molding.- An Object-Oriented Software Framework for Execution of Real-Time, Parallel Algorithms.- A Multiagent Architecture Addresses the Complexity of Industry Process Re-engineering.- Diagnosis Algorithms for a Symbolically Modeled Manufacturing Process.- Time-Accurate Turbine Engine Simultation in a Parallel Computing Environment Part II - Software Alpha Test.- Monte Carlo Numerical Methods.- Finding Steady State of Safety Systems Using the Monte Carlo Method.- Parallel High-Dimensional Integration: Quasi-Monte Carlo versus Adaptive Cubature Rules.- Path Integral Monte Carlo Simulations and Analytical Approximations for High-Temperature Plasmas.- A Feynman-Kac Path-Integral Implementation for Poisson’s Equation.- Relaxed Monte Carlo Linear Solver.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
