Computational Science and Its Applications -- ICCSA 2012

Name: Computational Science and Its Applications -- ICCSA 2012 | 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I

Beniamino Murgante Osvaldo Gervasi Sanjay Misra Nadia Nedjah Ana Maria Alves Coutinho Rocha David Taniar Bernady O. Apduhan(Editor)

Springer (Publisher)

Published on 16. June 2012

XXXIX, 759 pages

E-Book

PDF with digital watermarking

System requirements

978-3-642-31125-3 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Persons

Content

Title
Preface
Organization
Table of Contents
Workshop on Advances in High Performance Algorithms and Applications (AHPAA 2012)
Processor Allocation for Optimistic Parallelization of Irregular Programs
Introduction
Modeling Optimistic Parallelization
Control Optimization Goal
Exploiting Parallelism
Analysis of the Worst-Case Performance
Controlling Processors Allocation
Experimental Evaluation
Conclusions and Future Work
References
Feedback-Based Global Instruction Scheduling for GPGPU Applications
Introduction
Related Work
FALIS
Extracting Mobile Instructions
Calculating Mobility of Instructions on Linear Code Sections
Multi-Objective Genetic Algorithm Specification
Evaluation
Experimental Environment and Theoretical Evaluation
Results
Conclusion
References
Parallel Algorithm for Landform Attributes Representation on Multicore and Multi-GPU Systems
Introduction
Mathematical Model
Parallel Computational Model
The Parallel Algorithm
The CUDA Kernel
Experimental Results
Characterization of the Execution Environment
Landform Attributes Representation Analysis
Experiments Using Double Precision Data
Conclusion and Future Works
References
The Performance Model of an Enhanced Parallel Algorithm for the SOR Method
Introduction
SOR Overview
Parallel Algorithm
The Analytical Performance Model
Model Validation
Iso-efficiency Analysis
Conclusions
References
Performance Driven Cooperation between Kernel and Auto-tuning Multi-threaded Interval B&B Applications
Introduction
Measuring Thread Information
Parallel B&B Application
Application-Kernel Communications
Kernel Idle Thread (KIT)
Blocked Times of the Threads of the Application
Determining the Maximum Number of Threads (MNT)
Experiments
Comparing Local-PAMIGO and Local-PAMIGO-KIT with ThreadAlloc Memory Allocation Library
Comparing Local-PAMIGO and Local-PAMIGO-KIT with the Standard C Dynamic Memory Allocation
Conclusions and Future Work
References
kNN-Bor°uvka-GPU: A Fast and Scalable MST Construction from kNN Graphs on GPU
Introduction
Related Background
GPGPU Programming Model
The k Nearest Neighbor (kNN) Graph
The Boruvka's MST Algorithm and Parallel Computing
The Proposed Algorithm: kNN-Boruvka
Data Parallel Implementation on GPU
Implementation
Experimental Results
Datasets
Comparison Algorithms
Performances
Conclusions
References
Workshop on Bio-inspired Computing and Applications (BIOCA 2012)
Global Hybrid Ant Bee Colony Algorithm for Training Artificial Neural Networks
Introduction
Boolean Function Classification
Learning Algorithms of Artificial Neural Networks
Swarm Intelligence (SI)
Ant Colony Optimization (ACO)
Artificial Bee Colony (ABC) Algorithm
Hybrid Ant Bee Colony Algorithm (HABC)
Global Hybrid Ant Bee Colony (GHABC) Algorithm
Simulation Results and Discussion
Conclusion
References
The Effect of Intelligent Escape on Distributed SER-Based Search
Introduction
Distributed Search
SERS: SER-Based Search and Intelligent Escape
SERD: SER-Based Decontamination
SER Application to Search
Quantitative Results
Setup
Results
Conclusion
References
ACO-Based Static Routing for Network-on-Chips
Introduction
Related Work
Ant Colony Optimization
ACO Based Routing
Network Specification
Proposed Routing Algorithms
Evaluation Experiments and Results
Tests with Synthetic Traffic Patterns
Simulation Results
Conclusions
References
A Genetic Algorithm Assisted by a Locally Weighted Regression Surrogate Model
Introduction
Surrogate-Assisted Evolutionary Framework
Extended Generations Approach
Surrogate Model Management
Locally Weighted Regression Surrogate Model (LWR)
Surrogate-Assisted GA
Numerical Experiments
Conclusions
References
Swarm Robots with Queue Organization Using Infrared Communication
Introduction
Hardware - IR Sensors and LEDs
Processes and Algorithms
Avoiding Obstacles
The Following the Light Process
Using Agendas
Digital Filter
Results
Conclusions
References
Swarm Grid: A Proposal for High Performance of Parallel Particle Swarm Optimization Using GPGPU
Introduction
Related Works
Particle Swarm Optimization
Global Best PSO
GPU Computing
Implementation of PSO on GPGPU
Swarm Grid Parallel PSO
PSO Implementation in CUDA
Random Number Generation
Fitness Functions
Results and Analysis
Changing the Swarm Number
Changing the Swarm Size
Conclusion
References
An Artificial Immune System Approach to Associative Classification
Introduction
Background
The Immune System
The Clonal Selection (CS)
Associative Classification (AC)
The AC-CS Algorithm
Experimental Results
Conclusions and Future Work
References
Workshop on Computational Geometry and Applications (CGA 2012)
A Review on Delaunay Refinement Techniques
Introduction
Freely-Available Computational Codes to Implement a Delaunay Triangulation
Voronoi Diagram
Point Insertion into a Delaunay Triangulation
Incremental Approaches
Lawson's Technique
Green-Sibson Algorithm
Bowyer-Watson Algorithm
Ruppert's Technique
Chew's Techniques
Ung¨or's Off-Center Solutions and Improvements
The Hierarchical Delaunay Triangulations
The Longest-Edge Based Triangle Partition within Delaunay Triangulation
Other Approaches
Final Considerations
References
Axis-Parallel Dimension Reduction for Biometric Research
Introduction
Biometric Security and Optimization
Biometric Security
Biometric Optimization
Geometric Methods and Neural Networks in Biometrics
Chaotic Neural Networks and Dimensionality Reduction
New Multi-biometric System Architecture
Conclusions
References
An Overview of Procedures for Refining Triangulations
Introduction
Some Features for Refinement in High-Quality Triangulations
Powell-Sabin Splits
Bisecting the Longest Edge of Triangles and Variations
Centroid Point Insertion
Splitting Points
TheV3-Subdivision
LavesNets
Stellar Subdivision Grammar
7-Triangle Trisection Partition Processes
RGB Subdivision
Concluding Remarks
References
DEM Interpolation from Contours Using Medial Axis Transformation
Introduction
Geometric Preliminaries
Terrain Features
Terrain Model by Contours
Medial Axis of a Polygon
Terrain Feature Extraction from Contours
Interpolation Method
Monotone Hermite Interpolation
Convex Hermite Interpolation
Experiments
Conclusion
References
Analysis of a High Definition Camera-Projector Video System for Geometry Reconstruction
Introduction
Structured Light Pattern and Camera-Projector Calibration
Geometry and Photometry Extraction
Pre-processing Images
Boundary Detection
Boundaries over Time
Error Evaluation Protocol
Quantitative Analysis
Experimental Results
Conclusion and Future Work
References
Video-Based Face Verification with Local Binary Patterns and SVM Using GMM Supervectors
Introduction
Face Description Using Local Binary Patterns
GMM-Based Classifier
SVM-Based Classifier
SVM-Based Classifier with GMM Supervectors
MOBIO Database and Protocol
Pre-processing, Segmentation and Feature Extraction
GMM-Based Classifier Configuration
SVM-Based Classifier Configuration
SVM-Based Classifier with GMM Supervectors
Results
Conclusion
References
GPU-Based Influence Regions Optimization
Introduction
Preliminaries
Higher Order Voronoi Diagrams
The Weighted Area of a Region
CUDA and GPU Computing
Solving Multiple Proximity Queries on the GPU
Order-k Influence Regions
Optimizing the Weighted Area of a New Influence Region
Solving the Problem on the GPU Using CUDA
Complexity Analysis
Experimental Results
Conclusions
References
Fast and Simple Approach for Polygon Schematization
Introduction
Preliminaries
The Algorithm
Experimental Evaluation
Self-adapting Error
Conclusion and Future Work
References
On Counting and Analyzing Empty Pseudo-triangles in a Point Set
Introduction
Preliminaries
Counting Problems
General Empty Pseudo-triangles
Empty Star-Shaped Pseudo-triangles
Optimization Problems
Empty Pseudo-triangles with Arbitrary Corners
Conclusion
References
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2012)
Quantum Reactive Scattering Calculations on GPU
Introduction
The Basic CUDA Implementation of RWAVEPR
The Restructured CUDA Implementation of RWAVEPR
The Case Study Cl + H2
Conclusions
References
Tuning Heme Functionality: The Cases of Cytochrome c Oxidase and Myoglobin Oxidation
Introduction
The Case of Cytochrome c Oxidase
The Case of Myoglobin Oxidation
Computational Details
Computational Methods
Computational Efficiency
Results and Discussion
Conclusions and Comparison between CcO and Mb
References
Theoretical and Experimental Study of the Energy and Structure of Fragment Ions Produced by Double Photoionization of Benzene Molecules
Introduction
Experimental
Computational
Discussion
Conclusions
References
Theoretical Study of Reactions Relevant for Atmospheric Models of Titan: Interaction of Excited Nitrogen Atoms with Small Hydrocarbons
Introduction
Computational Details
Results and Discussion
N(2D) + CH4
N(2D) + C2H4
N(2D) + C2H6
Conclusions
References
Efficient Workload Distribution Bridging HTC and HPC in Scientific Computing
Introduction
High Level Description of the Work
The Prototype Case Study
The Service-Oriented Approach to the Problem
The GriF Implementation
Headings for Future Evolution
Conclusions
References
Taxonomy Management in a Federation of Distributed Repositories: A Chemistry Use Case
Introduction
The G-LOREP Federation and LOR Taxonomies
Implementation of the Taxonomy Management
The Taxonomy Assistant
A Chemistry Use Case
Conclusions and Future Work
References
Grid Enabled High Level ab initio Electronic Structure Calculations for the N2+N2 Exchange Reaction
Introduction
A First Grid Based ab initio Investigation of the Potential Energy
The Coordinate System and the Investigated Arrangements
The Lower Level of Theory Calculations
The Supercomputer Based Higher-Level of Theory Calculations
The Supercomputer Based Calculations
The Analysis of the Improved Results
The Fit of the ab initio Potential Energy Values
The Adopted Fitting Procedure
The Actual Fit of the PES
Conclusions
References
A Bond-Bond Portable Approach to Intermolecular Interactions: Simulations for N-methylacetamide and Carbon Dioxide Dimers
Introduction
The Intermolecular Interaction: Background Formulation
The Van der Waals Component
The Electrostatic Component
Prototypical Applications
The CO2-CO2 System
The NMA-NMA System
Dynamical Calculations and Results
CO2-CO2
NMA-NMA
Conclusions
References
A Grid Execution Model for Computational Chemistry Applications Using the GC3Pie Framework and the AppPot VM Environment
Introduction
Previous and Related Work
The GC3Pie High-Throughput Framework
Workflow Composition
Command-Line Scripts
The AppPot Virtual Machine
Overview of the Considered Computational Applications
The Grid Empowered Molecular Simulator
GFIT3C
ABC
Implementation of the Grid-Based Workflow
Workflow Description
Implemented Application Classes
Experimental Results and Performance
Performance
Conclusions
References
The MPI Structure of Chimere
Introduction
The Implementation of the Chimere Application
Parallel Structure of the Code
Execution Time Analysis
The Effect of Subdomain Partitioning
Conclusions and Possible Developments
References
A New Statistical Method for the Determination of Dynamical Features of Molecular Dication Dissociation Processes
Introduction
Time-of-Flight Mass Spectrometry Generalized Simulated Annealing Method
Global Optimization and Discussion
References
Workshop on Cities, Technologies and Planning (CTP 2012)
SWOT Analysis of Information Technology Industry in Beijing, China Using Patent Data
Introduction
Research Structure
Sources of Patent Data
Research Framework
SWOT Analysis Based on Patent
Strengths
Weaknesses
Opportunities
Threats
Policy and Strategies Recommendations
Further Actions on Improving Quality and Efficiency of IT Industry
Based on the R&D Advantages of Universities and Research Institutes, and Award for Enterprises Technology Innovation
Strengthen the Obtained Technology Advantages, and Grasp the Future Technology Opportunities
Pay More Attention to International Patents, and Broaden the International Cooperation Ways
Conclusion
References
Using 3D GeoDesign for Planning of New Electricity Networks in Spain
Introduction
Related Works
Method
Context
Requirement Analysis
Modelling Constraints and Relationships
Workflow Proposal and Prototype Implementation
Visualisation and Interaction Tools
Summary, Conclusions and Future Works
References
Assessment of Online PPGIS Study Cases in Urban Planning
Introduction
Public Participation in Urban Planning
Online Participatory Planning Tools
PPGIS Applications
Study Cases
Selection
Description
Assessment Criteria
Assessment
Final Considerations
References
e-Participation: Social Media and the Public Space
Introduction
Urban Public Space, Place and Digital Space
Creating Spaces for Collaboration and Citizenship
Emergent Initiatives, New Opportunities
References
Ubicomp and Environmental Designers:Assembling a Collective Work towards the Development of Sustainable Technologies
Introduction
Crisis of the Concepts of Place and Space
Changing the Paradigm of Information
Elements of Ubicomp
Supporting Projects in Brazil
Examples
Conclusions
References
Sustainable Micro-business in Environmental Unsustainability and Economic Inefficiency
Introduction
Different Aspects of Sustainable Development
Sustainable Development
Economic Sustainability
Environmental Sustainability
The Case of Micro and Small Business Enterprises Involved in the Exploitation of Tule typha spp from the Lake of Zapotlán
Discussion and Comments on Organizational Sustainability Based on the Research Results
Environmental Sustainability
Economic Benefit
Conclusion
Recommendations
References
Efficient Visualization of the Geometric Information of CityGML: Application for the Documentation of Built Heritage
Introduction
State of the Art
Technological Review
3D Representation Standards
Web 3D Visualization
CityGML
Implementation
End User Requirements
Architecture
Data Storage
Web Services
End User Applications
Conclusions
References
ICT to Evaluate Participation in Urban Planning: Remarks from a Case Study
Evaluating Participation in Urban Planning
ICT to Evaluate Participation in Urban Planning
The Evaluation of Participation in Urban Planning
The Possible Support of ICT in the Evaluation of Participation in Urban Planning
"PartecipaPUG": A Participation Process in the South of Italy
"PartecipaPUG" in Brief
Assessing Participation in the "PartecipaPUG" Process
Conclusions
References
A Spatial Data Infrastructure Situation-Aware to the 2014 World Cup
Introduction
Related Works
Architecture for Situation-Aware SDIs
Context Model
Final Considerations
References
Towards a Two-Way Participatory Process
Motivation
Introduction
VGI
Traditional One-Way PPGIS
Goal
Designing a Two-Way PPGIS
The Case Study
Design Principles
Developing a Social Media Strategy
When Social Media Meets Our Requirements
Implementing the "Fix my Street" as a Social Network
Conclusions
References
An Automatic Procedure to Select Areas for Transfer Development Rights in the Urban Market
Introduction: Equalisation: Why?
Equalisation: How?
The Infrastructure of Data in Town Planning
The Infrastructure of Data in Property Archives
A Case Study of GIS Supported TDR Application to Improve Local Land Use Planning
Final Remarks
References
General Track on Computational Methods, Algorithms and Scientific Application
Magnetic Net and a Bouncing Magnetic Ball
Objectives
Analysis
Impact of the Viscosity
Conclusions
References
Autonomous Leaves Graph Applied to the Simulation of the Boundary Layer around a Non-symmetric NACA Airfoil
Introduction
Boundary Layer Problem
A Finite Volume Discretization of the Boundary Layer Problem
Experimental Tests
Conclusion
References
Sinimbu - Multimodal Queries to Support Biodiversity Studies
Introduction
Basic Concepts
Observations and Occurrence Records
Content-Based Image Retrieval and Multimodal Queries
Multimodal Search in Sinimbu
Overview
Data Structures
The Taxonomic Ontology
Architecture
Module Invocation
Content-Based Image Retrieval Module
Ontology Management Modules
Implementation
Data Sets and Technological Issues
User Session - Example
Related Work
Conclusions and Ongoing Work
References
Comparison between Genetic Algorithms and Differential Evolution for Solving the History Matching Problem
Introduction
Reservoir Simulator: The Forward Problem
History Matching
Evolutionary Algorithms
Genetic Algorithms
Differential Evolution
NumericalExperiments
Results
Conclusion
References
An Adaptive Mesh Algorithm for the Numerical Solution of Electrical Models of the Heart
Introduction
Monodomain Model
The Finite Volume Method
Monodomain Discretization Using FVM
Mesh Adaptivity and ALG
Data Structure
Mesh Refinement
Mesh Derefinement
ALG and the Monodomain Problem
Methods
Computational Simulations
Metrics and Computational Environment
Results
Coarse Meshes
Adaptive Meshe
Conclusion
References
Decision Model to Predict the Implant Success
Introduction
Methodology
Results
Logistic Regression
ROC Curves
Conclusions
References
Multiscale Modeling of Heterogeneous Media Applying AEH to 3D Bodies
Introduction
AEH Applied to Linear Elasticity
FEM Applied to AEH
Sequential Version
Matrix-Vector Multiplication
Parallel Versions
OpenMP
CUDA
Numerical Experiments
Speedups
OpenMP
CUDA
Conclusion
References
A Three-Dimensional Computational Model of the Innate Immune System
Introduction
Biological Background
Mathematical Model
LPS
Macrophage
Neutrophil
Cytokines
Protein Granules
Computational Model
Numerical Results
Parallel Implementation
CUDA
Parallel Version
Experimental Evaluation
Conclusion
References
System Dynamics Metamodels Supporting the Development of Computational Models of the Human Innate Immune System
Introduction
System Dynamics
System Dynamics Metamodels
Domain Model
Instance Model
HIS
Methods
Mathematical Model
Jynacore API
Jynacore SIM
Results
Modeling the Antigen, Neutrophil and Cytokine Relations
Modeling Diffusion in 1D
Modeling the Neutrophil Chemotaxis in 1D
Two-Dimensional Tissue of HIS
Conclusions
References
Exact and Asymptotic Computations of Elementary Spin Networks: Classification of the Quantum-Classical Boundaries
Introduction
Background Information
The Screen: Mirror, Piero and Regge Symmetries
Features of the Tetrahedron Volume Functions: Caustics and Ridges
Symmetric and Limiting Cases
Symmetric Cases
Limiting Cases
Remarks and Conclusion
References
Performance of DFT and MP2 Approaches for Geometry of Rhenium Allenylidenes Complexes and the Thermodynamics of Phosphines Addition
Introduction
Computational and Methodological Details
Results and Discussion
Allenylidene Complex
Reaction with Phosphines
Conclusions
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science and Its Applications -- ICCSA 2012

Description

More details

Other editions

Additional editions

Persons

Content

System requirements