Tiefpreis
CHF170.40
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the 100 revised papers from 14 workshops were carefully reviewed and selected for inclusion in the three volumes. The main conference track was divided into approximately 20 parallel sessions addressing topics such as e-science applications and systems, scheduling and load balancing, software services and tools, new hardware and its applications, computer networks, simulation of complex systems, image processing and visualization, optimization techniques, numerical linear algebra, and numerical algorithms. The second volume contains workshop papers related to various computational research areas, e.g.: computer graphics and geometric modeling, simulation of multiphysics multiscale systems, computational chemistry and its applications, computational finance and business intelligence, physical, biological and social networks, geocomputation, and teaching computational science. The third volume is mostly related to computer science topics such as bioinformatics' challenges to computer science, tools for program development and analysis in computational science, software engineering for large-scale computing, collaborative and cooperative environments, applications of workflows in computational science, as well as intelligent agents and evolvable systems.
Inhalt
Keynote Lectures.- Intrinsic Limitations in Context Modelling.- EU Research in Software and Services: Activities and Priorities in FP7.- Computational Materials Science at the Cutting Edge.- Multiple Criteria Mathematical Programming and Data Mining.- HPC Opportunities and Challenges in e-Science.- Integrated Data and Task Management for Scientific Applications.- Why Petascale Visualization and Analysis Will Change the Rules.- Computational Modeling of Collective Human Behavior: The Example of Financial Markets.- Intel's Technology Vision and Products for HPC.- e-Science Applications and Systems.- Grid-Supported Simulation of Vapour-Liquid Equilibria with GridSFEA.- Towards a System-Level Science Support.- Incorporating Local Ca2?+?Dynamics into Single Cell Ventricular Models.- Grid-Enabled Non-Invasive Blood Glucose Measurement.- Simulating N-Body Systems on the Grid Using Dedicated Hardware.- Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research.- Comparing Grid Computing Solutions for Reverse-Engineering Gene Regulatory Networks.- Interactive In-Job Workflows.- Pattern Based Composition of Web Services for Symbolic Computations.- DObjects: Enabling Distributed Data Services for Metacomputing Platforms.- Behavioural Skeletons Meeting Services.- Functional Meta-programming for Parallel Skeletons.- Interoperable and Transparent Dynamic Deployment of Web Services for Service Oriented Grids.- Pollarder: An Architecture Concept for Self-adapting Parallel Applications in Computational Science.- The Design and Evaluation of MPI-Style Web Services.- Automatic Data Reuse in Grid Workflow Composition.- Performance Analysis of GRID Middleware Using Process Mining.- Scheduling and Load Balancing.- Bi-criteria Pipeline Mappings for Parallel Image Processing.- A Simulation Framework for Studying Economic Resource Management in Grids.- Improving Metaheuristics for Mapping Independent Tasks into Heterogeneous Memory-Constrained Systems.- A2DLT: Divisible Load Balancing Model for Scheduling Communication-Intensive Grid Applications.- Evaluation of Eligible Jobs Maximization Algorithm for DAG Scheduling in Grids.- Parallel Path-Relinking Method for the Flow Shop Scheduling Problem.- A Fast and Efficient Algorithm for Topology-Aware Coallocation.- Software Services and Tools.- View-OS: A New Unifying Approach Against the Global View Assumption.- Evaluating Sparse Data Storage Techniques for MPI Groups and Communicators.- Method of Adaptive Quality Control in Service Oriented Architectures.- Ontology Supported Selection of Versions for N-Version Programming in Semantic Web Services.- Hybrid Index for Metric Space Databases.- Structural Testing for Semaphore-Based Multithread Programs.- Algorithms of Basic Communication Operation on the Biswapped Network.- Rule Engine Based Lightweight Framework for Adaptive and Autonomic Computing.- A Monitoring Module for a Streaming Server Transmission Architecture.- BSP Functional Programming: Examples of a Cost Based Methodology.- On the Modeling Timing Behavior of the System with UML(VR).- Reducing False Alarm Rate in Anomaly Detection with Layered Filtering.- New Hardware and Its Applications.- Performance of Multicore Systems on Parallel Data Clustering with Deterministic Annealing.- Second Generation Quad-Core Intel Xeon Processors Bring 45 nm Technology and a New Level of Performance to HPC Applications.- Heuristics Core Mapping in On-Chip Networks for Parallel Stream-Based Applications.- Max-Min-Fair Best Effort Flow Control in Network-on-Chip Architectures.- Fast Quadruple Precision Arithmetic Library on Parallel Computer SR11000/J2.- Characterizing the Basic Synchronization and Communication Operations in Dual Cell-Based Blades.- Performance Evaluation of the NVIDIA GeForce 8800 GTX GPU for Machine Learning.- Hardware Implementation Aspects of New Low Complexity Image Coding Algorithm for Wireless Capsule Endoscopy.- Computer Networks.- Database Prebuffering as a Way to Create a Mobile Control and Information System with Better Response Time.- Network Traffic Classification by Common Subsequence Finding.- A Hierarchical Leader Election Protocol for Mobile Ad Hoc Networks.- Distributed Algorithms to Form Cluster Based Spanning Trees in Wireless Sensor Networks.- The Effect of Network Topology and Channel Labels on the Performance of Label-Based Routing Algorithms.- On the Probability of Facing Fault Patterns: A Performance and Comparison Measure of Network Fault-Tolerance.- Cost-Minimizing Algorithm for Replica Allocation and Topology Assignment Problem in WAN.- Bluetooth ACL Packet Selection Via Maximizing the Expected Throughput Efficiency of ARQ Protocol.- Simulation of Complex Systems.- High Performance Computer Simulations of Cardiac Electrical Function Based on High Resolution MRI Datasets.- Statistical Modeling of Plume Exhausted from Herschel Small Nozzle with Baffle.- An Individual-Based Model of Influenza in Nosocomial Environments.- Modeling Incompressible Fluids by Means of the SPH Method: Surface Tension and Viscosity.- Optimal Experimental Design in the Modelling of Pattern Formation.- Self-Organised Criticality as a Function of Connections' Number in the Model of the Rat Somatosensory Cortex.- Approximate Clustering of Noisy Biomedical Data.- Domain Decomposition Techniques for Parallel Generation of Tetrahedral Meshes.- The Complete Flux Scheme for Spherically Symmetric Conservation Laws.- Computer Simulation of the Anisotropy of Fluorescence in Ring Molecular Systems: Tangential vs. Radial Dipole Arrangement.- Functional Availability Analysis of Discrete Transport System Realized by SSF Simulator.- Parallel Implementation of Vascular Network Modeling.- Some Remarks about Modelling of Annular Three-Layered Plate Structure.- Parallel Quantum Computer Simulation on the CUDA Architecture.- Comparison of Numerical Models of Impact Force for Simulation of Earthquake-Induced Structural Pounding.- Image Processing and Visualisation.- Large-Scale Image Deblurring in Java.- A New Signature-Based Indexing Scheme for Trajectories of Moving Objects on Spatial Networks.- Effective Emission Tomography Image Reconstruction Algorithms for SPECT Data.- New Sky Pattern Recognition Algorithm.- A Generic Context Information System for Intelligent Vision Applications.- Automated Positioning of Overlapping Eye Fundus Images.- Acceleration of High Dynam…