Computational Science and Its Applications - ICCSA 2011

Name: Computational Science and Its Applications - ICCSA 2011 | International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III
Brand: Springer
Price: 96.29 EUR
Availability: OnlineOnly

International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III

Beniamino Murgante Osvaldo Gervasi Andres Iglesias David Taniar Bernady O. Apduhan(Editor)

Springer (Publisher)

Published on 17. June 2011

LVII, 700 pages

E-Book

PDF with digital watermarking

System requirements

978-3-642-21931-3 (ISBN)

€96.29incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Title
Preface
Message from the Chairs of the Session: 6th International Workshop on "Geographical Analysis, Urban Modeling, Spatial Statistics" (GEOG-AN-MOD 2011)
Message from the Chairs of the Session: "Cities, Technologies and Planning" (CTP 2011)
Message from the Chairs of the Session: 11th Annual International Workshop on "Computational Geometry and Applications" (CGA 2011)
Message from the Chair of the Session: 3rd International Workshop on "Software Engineering Processes and Applications" (SEPA 2011)
Message from the Chair of the Session: 2nd International Workshop on "Software Quality" (SQ 2011)
Message from the Chairs of the Session: "Remote sensing Data Analysis, Modeling, Interpretation and Applications: From a Global View to a Local Analysis" (RS 2011)
Message from the Chairs of the Session: "Approximation, Optimization and Applications" (AOA 2011)
Message from the Chair of the Session: "Symbolic Computing for Dynamic Geometry" (SCDG 2011)
Message from the Chairs of the Session: "Computational Design for Technology Enhanced Learning" (CD4TEL 2011)
Message from the Chair of the Session: "Chemistry and Materials Sciences and Technologies" (CMST 2011)
Message from the Chairs of the Session: "Cloud for High Performance Computing" (C4HPC 2011)
ICCSA 2011 Invited Speakers
Evolving Future Information Systems: Challenges, Perspectives and Applications
Recent Advances and Trends in Biometric
Theories and Applications of Spatial-Temporal Data Mining and Knowledge Discovery
Organization
Table of Contents - Part III
Workshop on Computational Geometry and Applications (CGA 2011)
Optimizing the Layout of Proportional Symbol Maps
Introduction
Problem Description and Terminology
An Integer Linear Programming Model
Polyhedral Study of P
Strengthening the ILP Formulation
Decomposition Techniques
Computational Experiments
Numerical Results
Conclusion
References
An Optimal Hidden-Surface Algorithm and Its Parallelization
Introduction
A Simple Hidden-Surface Algorithm
The Interval-Union Problem
A Parallel Hidden-Line Algorithm
A Parallel Hidden-Surface Algorithm
Concluding Remarks
References
Construction of Pseudo-triangulation by Incremental Insertion
Introduction
Related Work
Terms and Definitions
The Incremental Insertion Algorithm
Point Location on a Pseudo-triangulation
Point Insertion and Creation of Two New Pseudo-triangles
Improvement of the Pseudo-triangulation by a Generalized Flip
Experiments and Discussion
Conclusion
References
Non-uniform Geometric Matchings
Introduction
From Geometric Matching Problems to Non-uniform Geometric Matching Problems
Problem Definition
Non-uniform Matchings for Point Sequences
Convex Programming Formulation
Constant-Factor Approximations
Approximation Scheme for Trees
Non-uniform Matchings for Point Sets
Exact Solutions
Complete Graphs in the Plane- with Hausdorff Distance
References
Multi-robot Visual Coverage Path Planning: Geometrical Metamorphosis of the Workspace through Raster Graphics Based Approaches
Introduction
Related Work in Multi Coverage Path Planning
Problem Statement and Assumptions
The Proposed Approach
Discretization
Borders Representation
Sub-areas Identification
Path Planning
Simulations Results
Conclusions and Upcoming Work
References
A Practical Solution for Aligning and Simplifying Pairs of Protein Backbones under the Discrete Fréchet Distance
Introduction
Background
Algorithm for Aligning 3D Polygonal Chains
Algorithm for Chain Pair Simplification
Some Empirical Results
Concluding Remarks
References
k-Enclosing Axis-Parallel Square
Introduction
Preliminaries
An Efficient Algorithm to Locate k-Square for Large Values of k
General Algorithm to Locate k-Square
An Algorithm to Locate k-Rectangle
Conclusions
References
Tree Transformation through Vertex Contraction with Application to Skeletons
Introduction
Preliminaries
Vertex and Edge Contraction
Skeletons
e-Equivalence
Vertex Contraction Matters for e-Equivalence
Algorithms on Trees
Contracting Arbitrary Inner Vertices
Maintaining a Tree Structure
Conclusion
References
Topology Construction for Rural Wireless Mesh Networks - A Geometric Approach
Introduction
Problem Formulation
Related Work
Contribution and Results
A Facility Location Problem
Candidate LOS-Disks
Algorithm
Bounded Range Tower Cover Problem
A Local Optimization
Connecting the Solution
Evaluation
Sample Topologies
Cost Function
Real Topologies
Synthetic Topologies
Running Time
Summary
Conclusions
References
An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curves Singularities
Introduction
Description of the Algorithm
Data Structures
Methods
Applications of the Algorithm
Implementation of the Algorithm
Conclusion
References
A Heuristic Homotopic Path Simplification Algorithm
Introduction
Motivation, Previous Results and Our Result
Homotopic Shortcut Identification Algorithm
Preprocessing Phase
Finding Eligible Shortcuts
Homotopic Simplification under the Hausdorff Measure
Conclusion
References
An Improved Approximation Algorithm for the Terminal Steiner Tree Problem
Introduction
A [omitted]-Approximation Algorithm for the TSTP
The Performance Ratio of [omitted] for the TSTP
The Performance Ratio of [omitted] for theTSTP
The Performance Ratio of [omitted] for the TSTP
Conclusion
References
Min-Density Stripe Covering and Applications in Sensor Networks
Introduction
Stripe Covering by Equal Disks
One-Level Covers
Two-Level Covers
Multi-level Covers
Stripe Covering by Disks of Two and Three Radii
Conclusion
References
Power Diagrams and Intersection Detection
Introduction
Previous Work
Definitions
The Main Result
General Query Object
Dealing with Redundant Generators
Query Ball
Conclusion
References
Workshop on Approximation, Optimization and Applications (AOA 2011)
Heuristic Pattern Search for Bound Constrained Minimax Problems
Minimax Problems
Pattern Search for Bound Constrained Optimization
Heuristic Pattern Search Algorithms
NumericalExperiments
Conclusions
References
Novel Fish Swarm Heuristics for Bound Constrained Global Optimization Problems
Introduction
The Artificial Fish Swarm Paradigm
The Modified AFS Algorithm
Initialize
The 'Visual Scope'
Search
Random
Swarm and Chase
Select
Leap
Local
Stopping Criteria
A Priority-Based AFS Strategy
NumericalExperiments
Parameters Effect Using Factorial Design
Comparison Based on Performance Profiles
Conclusions
References
Quaternions: A Mathematica Package for Quaternionic Analysis
Introduction
Algebra of Quaternions
Basic Results
Additional Functions
Quaternionic Analysis
The Concept of H-Regular Functions
From Quaternionic Analysis to Clifford Analysis
New Functionalities
Generating Monogenic Functions
A Basic Set of Polynomials
New Features
Applications
Final Remarks
References
Influence of Sampling in Radiation Therapy Treatment Design
Introduction
Sampling Issues
Head and Neck Clinical Example
Optimization Models
Results
Concluding Remarks
References
On Minimizing Objective and KKT Error in a Filter Line Search Strategy for an Interior Point Method
Introduction
The Primal-Dual Interior Point Paradigm
Minimizing the Objective and KKT Error in a Filter Strategy
The Four-Dimensional Filter
The Two-Dimensional Filter
Implementation Details
Numerical Results
Comparison Based on Performance Profiles
Comparison with IPOPT
Final Remarks
References
Modified Differential Evolution Based on Global Competitive Ranking for Engineering Design Optimization Problems
Introduction
Constraints Handling Technique
Modified Differential Evolution
Experimental Results
Conclusions
References
Laguerre Polynomials in Several Hypercomplex Variables and Their Matrix Representation
Introduction
Multivariate Hypercomplex Laguerre Polynomials
Preliminaries
Hypercomplex Laguerre Polynomials
Pascal Matrices and Special Multivariate Polynomials
Particular Block Matrices
Pascal Matrices and Hypercomplex Laguerre Polynomials
References
On Generalized Hypercomplex Laguerre-Type Exponentials and Applications
Introduction
Preliminary Results
Basic Notation
A Basic Set of Polynomials
The Hypercomplex Laguerre Derivative Operator
Definition and Properties
Monogenic Laguerre-Type Exponentials
L-Circular and L-Hyperbolic Functions
Definition
Properties
FinalRemarks
References
Branch-and-Bound Reduction Type Method for Semi-Infinite Programming
Introduction
First-Order Optimality Conditions and Reduction Method
The Multi-local Procedure
Finite Optimization Procedure
Globalization Procedure
Termination Criteria
Numerical Results and Conclusions
References
On Multiparametric Analysis in Generalized Transportation Problems
Introduction
Sensitivity Models and Results
Numerical Example
Extension: Multi-index Transportation Problem
Conclusion
References
Appendix
On an Hypercomplex Generalization of Gould-Hopper and Related Chebyshev Polynomials
Introduction
BasicNotions
Basic Homogeneous Monogenic Polynomial Sequence
Monogenic Exponential Function
Monogenic Generalized Hermite Polynomials
Monogenic Chebyshev Polynomials of First and Second Kinds
Concluding Remarks
References
Nonlinear Optimization for Human-Like Movements of a High Degree of Freedom Robotics Arm-Hand System
Introduction
Nonlinear Constrained Optimization Solvers
Movement Planning as a Nonlinear Constrained Optimization Problem
Problem Formulation
Modelling of Robot and Objects
Specifying Obstacles Constraints
Specifying the Problems
Results
Problem 1
Problem 2
Problem 3
Problem 4
Discussion and Future Work
References
Applying an Elitist Electromagnetism-Like Algorithm to Head Robot Stabilization
Introduction
Head Stabilization Problem
Specification of Trajectory for Head Motion
Problem Formulation
The Elitist Electromagnetism-Like Algorithm
Electromagnetism-Like Algorithm
Elitist Technique
Constraint Handling Technique
Experiments
Comparison with Different Population Sizes
Comparison with a Modified Movement Procedure
Comparison with a Combined Move Procedure
Discussion of Results
Conclusions and Future Work
References
3D Mappings by Generalized Joukowski Transformations
Introduction and Notations
Generalized Joukowski Transformations in the Complex Plane
Generalized Joukowski Transformations in R^{m+1}
3D Mappings by Generalized Joukowski Transformations
Final Remarks on Joukowski Type 3D Airfoils
References
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2011)
Evaluation of SOA Formation Using a Box Model Version of CMAQ and Chamber Experimental Data
Introduction
Smog Chamber Experiment Chemistry Description
The Community Multiscale Air Quality Modeling (CMAQ)
Box Model Set-Up
Meteorological Input Data
Inclusion of Wall Reactions in the Mechanisms
Initial Conditions for the Simulations
Chemistry Model Design
Evaluation of the Simulations
Gas Phase Compounds Results
Secondary Organic Aerosol Results
Conclusions
References
A Fault Tolerant Workflow for CPU Demanding Calculations
Introduction
The DL_POLY Porting Process
DL_POLY Program Overview
A Simple Distribution Workflow
The Performances
The New Features of the Workflow
The Developed Workflow
Grid Enabled Visualization Tool
Conclusions
References
A Grid Credit System Empowering Virtual Research Communities Sustainability
Introduction
The Grid Framework GriF and Quality Evaluation
The Parameters for a VRC Quality Evaluation
The Grid Credit System GCreS
The QoS formulation
The QoU Formulation
A Preliminary Benchmark
Conclusions and Future Work
References
A Parallel Code for Time Independent Quantum Reactive Scattering on CPU-GPU Platforms
Introduction
Parallel Computing on GPUs
The ABC Program
Program Execution Profile
The Parallel ABC Computational Schema
Experimental Evaluation
Conclusions
References
Time Dependent Quantum Reactive Scattering on GPU
Introduction
The Time Dependent Quantum Reactive Scattering Application
The Key Features of the Software and Hardware Platform
The CUDA Implementation of RWAVEPR
The Cl + H2 Case Study
Conclusions
References
Potential Decomposition in the Multiconfiguration Time-Dependent Hartree Study of the Confined H Atom
Introduction
Theoretical and Computational Aspects
The Six Dimensional Problem
The Natural Potentials
The Computational Code
Details of the Calculation and Results
Details of the Confined H System
Angular and Electronic Radial Degrees of Freedom
Contracted (Nuclear Radial) Degree of Freedom
Conclusions
References
An Extension of the Molecular Simulator GEMS to Calculate the Signal of Crossed Beam Experiments
Introduction
The GEMS Workflow and Its Extension
The Molecular Beam Experiment
Theoretical Calculations and Comparison of PADs and PTDs
Additional Theoretical Calculations and Comparison of the Experimental Signal
Conclusions
References
Federation of Distributed and Collaborative Repositories and Its Application on Science Learning Objects
Introduction
Beginning from a Centralized Architecture
The Platform Architecture
Clients Interface and Contents Access
Peer Network and a Hybrid Architecture
The Platform Architecture
Fault Tolerance and Up-Scalability of the Federation
Content Management
Content Creation and Synchronization
Management of the SAs and Related Dependencies
A Use Case
Testing the Federate Access
Conclusions and future work
References
Workshop on Mobile Systems and Applications (MoSA 2011)
HTAF: Hybrid Testing Automation Framework to Leverage Local and Global Computing Resources
Introduction
Background
Related Work
Framework
Performance Evaluation
Case Studies
Conclusion
References
Page Coloring Synchronization for Improving Cache Performance in Virtualization Environment
Introduction
Background and Motivation
Page Coloring
Memory Virtualization
Motivation
Design and Implementation
System Overview
Page Coloring Synchronization
Evaluation
Cache Performance
Performance Non-determinism
Conclusion
References
Security Enhancement of Smart Phones for Enterprises by Applying Mobile VPN Technologies
Introduction
Related Work
Security Enhancement by Mobile VPN Technologies
Security Level of Wireless LAN and VPN
VPN Technologies and VPN Client for Security Enhancement
VPN Client for Smart Phones: An Application Case
Conclusions
References
An Efficient Mapping Table Management in NAND Flash-Based Mobile Computers
Introduction
Address Mapping Schemes in FTL
SAT (Switchable Address Translation)
Overall Architecture
Mapping Table Management
Overall Architecture
Replacement
Experimental Results
Evaluation Setup
Evaluation Results
Conclusion
References
Performance Improvement of I/O Subsystems Exploiting the Characteristics of Solid State Drives
Introduction
Background and Related Works
Background
Related Works
Use of the SSD Parameters in I/O Systems Configuration
Extracting the Parameters in SSDs
Using the SSD Parameters in I/O System Configuration
I/O Scheduler Design for SSDs
I/O Scheduler Considering the Characteristics of SSDs
Performance Evaluation
Conclusions
References
A Node Placement Heuristic to Encourage Resource Sharing in Mobile Computing
Introduction
Problem Description
Related Work
Experimental Framework
Types of Devices and Sharing Strategy
Metrics for Resource Sharing Evaluation
Simulator
Hotspot Device Placement Algorithm Proposed
Discussion
Ratio between Mobile Devices and Desktop PCs
Impact of the Network Topology
Improving Nodes Placement Through Hotspot Algorithm
Lessons Learned
Conclusions and Further Work
References
Session on Cloud for High Performance Computing
Examples of WWW Business Application System Development Using a Numerical Value Identifier
Introduction
IMAH and Formula Expression
Incrementally Modular Abstraction Hierarchy
The Definition of Formula Expression
A Numerical Value Identifier on the Presentation Level
The Properties of a Numerical Value Identifier
A Numerical Value Identifier Calculation Map f
Implementation
A Case Study: A Product Variation Management by a Combination of Components
Outline
The Design of Topological Spaces
Data Input According to the Design
Data Output
Considerations
Related Works
Conclusions
References
Building a Front End for a Sensor Data Cloud
Introduction
Features of the Front End
The Sensor Table
Data Tabular Display
Data Visualization
OverviewoftheBackEnd
System Overview
The Data Model
Implementation of the Front End
Technologies Used
The HBase Interface
The Model-Based Data Approximations
Performance Measurements
Random Reads
Scans
Network Traffic
Conclusion and future work
References
Design of a New Cloud Computing Simulation Platform
Introduction
Simulators in Computer Science
iCanCloud Simulator
Features
Architecture of iCanCloud
Accuracy Experiments
Conclusions and Future Work
References
General Tracks
System Structure for Dependable Software Systems
Introduction
Reflective and Refractive Variables
RR vars and Their Potential
Performance and Reification Latency Assessment
Reflection and Reflective-Based Approaches: A Concise Survey
Conclusions
References
Robust Attributes-Based Authenticated Key Agreement Protocol Using Smart Cards over Home Network
Introduction
Related Works
Attribute-Based Encryption
Lee's Authenticated Key Agreement Protocol
Password Guessing Attack to EEAP_AAK
Robust Attribute-Based Authenticated Key Agreement Protocol
Registration Phase
Authenticated Key Agreement Phase
Security Analysis
Replay Attack
User Impersonation Attack
Man in the Middle Attack
Smart Card Lost Attacks
Password Guessing Attack
Perfect Forward Secrecy
Performance Evaluation
Conclusion
References
AUTH_HOTP - HOTP Based Authentication Scheme over Home Network Environment
Introduction
Related Works
Home Network Architecture
Vaidya et al.'s Authentication Scheme
Cryptanalysis of Vaidya et al.'s Authentication Scheme
Password Guessing Attack with Lost Smart Card
Forward Secrecy with Lost Smart Card
Improved One Time Password Based Authentication Scheme
Registration Phase
Login/Authentication Phase
Service Request Phase
Password Change Phase
Security Analysis
Replay Attack
Man-in-the-Middle Attack
Password Guessing Attack
Password Guessing Attack with Lost Smart Card
Forward Secrecy
Forward Secrecy with Lost Smart Card
Performance and Functionality Analysis
Conclusion
References
FRINGE: A New Approach to the Detection of Overlapping Communities in Graphs
Introduction
Related Work
Definitions
Basic Terminology
Extended Degree
General Elements of a Community
Community
The FRINGE Algorithm
Calculating the Initial Set of Communities
Classifying First Order Friends
Classifying n-th Order Friends
Finding All Possible Subsets
Experimental Results
Synthetic Data Set
Real-Life Data Set
Conclusions
References
Parallel Implementation of the Heisenberg Model Using Monte Carlo on GPGPU
Introduction
PhysicalModel
General-Purpose Computing on Graphics Processing Units - GPGPU
Computational Model
Multithreaded Version
CUDA Version
Experimental Evaluation
Related Works
Conclusions and Future Works
References
Lecture Notes in Computer Science: Multiple DNA Sequence Alignment Using Joint Weight Matrix
Introduction
Systems and Methods
Algorithm
Implementation
Discussion and Conclusions
References
Seismic Wave Propagation and Perfectly Matched Layers Using a GFDM
Introduction
Explicit Generalized Differences Schemes for the Seismic Waves Propagation Problem for a Perfectly Elastic, Homogeneous and Isotropic Medium
Equation of Motion
A GFDM Explicit Scheme
Stability Criterion
Star Dispersion
Star-Dispersion Relations for the P and S Waves
Star-Dispersion for Group Velocity
Irregularity of the Star (IIS) and Dispersion
Recursive Equations
Recursive Equations with PML in x-direction
Recursive Equations with PML in x-direction and y-direction
Numerical Results
Irregularity and Stability
Results for Several Wavelengths
Dispersion and Irregularity
GFDM with PML
Conclusions
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science and Its Applications - ICCSA 2011

Description

More details

Other editions

Additional editions

Content

System requirements