Computational Science and Its Applications - ICCSA 2011: International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV

The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011. The five volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The topics of the fully refereed papers are structured according to the five major conference themes: geographical analysis, urban modeling, spatial statistics; cities, technologies and planning; computational geometry and applications; computer aided modeling, simulation, and analysis; and mobile communications. Front Matter....Pages - On the Stability of Fully-Explicit Finite-Difference Scheme for Two-Dimensional Parabolic Equation with Nonlocal Conditions....Pages 1-10 Numerical Solution of Multi-scale Electromagnetic Boundary Value Problems by Utilizing Transformation-Based Metamaterials....Pages 11-25 Coupled Finite Element - Scaled Boundary Finite Element Method for Transient Analysis of Dam-Reservoir Interaction....Pages 26-34 A Comparison of Different Advective Solvers in the CHIMERE Air Quality Model....Pages 35-49 Chinese Chess Recognition Based on Log-Polar Transform and FFT....Pages 50-58 Adaptive Discontinuous Galerkin B-Splines on Parametric Geometries....Pages 59-74 Development of a Didactic Model of the Hydrologic Cycle Using the TerraME Graphical Interface for Modeling and Simulation....Pages 75-90 Visual Quality Control of Planar Working Pieces: A Curve Based Approach Using Prototype Fitting....Pages 91-102 New Approaches for Model Generation and Analysis for Wire Rope....Pages 103-111 High-Quality Real-Time Simulation of a Turbulent Flame....Pages 112-122 Security Improvement on a Group Key Exchange Protocol for Mobile Networks....Pages 123-132 Energy and Path Aware Clustering Algorithm (EPAC) for Mobile Ad Hoc Networks....Pages 133-147 Employing Energy-Efficient Patterns for Coverage Problem to Extend the Network Lifetime....Pages 148-158 Cooperative Communication for Energy Efficiency in Mobile Wireless Sensor Networks....Pages 159-172 Towards Fast and Energy-Efficient Dissemination via Opportunistic Broadcasting in Wireless Sensor Networks....Pages 173-184 A Dynamic Multiagent-Based Local Update Strategy for Mobile Sinks in Wireless Sensor Networks....Pages 185-196 Multipath-Based Reliable Routing Protocol for Periodic Messages on Wireless Sensor Networks....Pages 197-208 A Multi-hop based Media Access Control Protocol using Magnetic Fields in Wireless Sensor Networks....Pages 209-224 A Study on Hierarchical Policy Model for Managing Heterogeneous Security Systems....Pages 225-234 Hashing-Based Lookup Service with Multiple Anchor Cluster Distribution System in MANETs....Pages 235-247 Performance Analysis of MIMO System Utilizing the Detection Algorithm....Pages 248-257 Overview and Comparison of Global Concentrating Solar Power Incentives Schemes by Means of Computational Models....Pages 258-269 Economical Analysis of SOFC System for Power Production....Pages 270-276 Modelling the Vertical Heat Exchanger in Thermal Basin....Pages 277-286 Optical Modelling of Square Solar Concentrator....Pages 287-295 Plant for the Production of Chips and Pellet: Technical and Economic Aspects of an Case Study in the Central Italy....Pages 296-306 Feasibility of the Electric Energy Production through Gasification Processes of Biomass: Technical and Economic Aspects....Pages 307-315 Soot Emission Modelization of a Diesel Engine from Experimental Data....Pages 316-327 Equal Bisectors at a Vertex of a Triangle....Pages 328-341 On the Parametric Representation of Dynamic Geometry Constructions....Pages 342-352 Using Free Open Source Software for Intelligent Geometric Computing....Pages 353-367 A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry....Pages 368-383 Teaching Geometry with TutorMates....Pages 384-398 On Equivalence of Conditions for a Quadrilateral to Be Cyclic....Pages 399-411 An Algorithm for Prediction of Overhead Messages in Client-Server Based Wireless Networks....Pages 412-423 TCP Hybla+: Making TCP More Robust against Packet Loss in Satellite Networks....Pages 424-435 A Secure Privacy Preserved Data Aggregation Scheme in Non Hierarchical Networks....Pages 436-451 An OWL-Based Context Model for U-Agricultural Environments....Pages 452-461 A Point-Based Inventive System to Prevent Free-Riding on P2P Network Environments....Pages 462-471 A Probability Density Function for Energy-Balanced Lifetime-Enhancing Node Deployment in WSN....Pages 472-487 Towards Combining Individual and Collaborative Work Spaces under a Unified E-Portfolio....Pages 488-501 A Scenario Editing Environment for Professional Online Training Systems....Pages 502-517 Standardization of Game Based Learning Design....Pages 518-532 Simplified Workflow Representation of IMS Learning Design....Pages 533-546 From a Pattern Language to a Pattern Ontology Approach for CSCL Script Design....Pages 547-561 Advanced Interface for the Pre-operative Planning and the Simulation of the Abdominal Access in Pediatric Laparoscopy....Pages 562-571 An Augmented Reality Application for the Radio Frequency Ablation of the Liver Tumors....Pages 572-581 Virtual Reality and Hybrid Technology for Neurorehabilitations....Pages 582-591 Virtual Angioscopy Based on Implicit Vasculatures....Pages 592-603 Improvement of Security and Feasibility for Chaos-Based Multimedia Cryptosystem....Pages 604-618 Recursion Formulas in Determining Isochronicity of a Cubic Reversible System....Pages 619-632 Skeletonization of Low-Quality Characters Based on Point Cloud Model....Pages 633-643 Family of Curves Based on Riemann Zeta Function....Pages 644-657 Back Matter....Pages -