Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I

Front Matter....Pages -
On Numerical Aspects of Pseudo-Complex Powers in ℝ 3 ....Pages 1-16
On Grid Generation for Numerical Models of Geophysical Fluid Dynamics....Pages 17-29
Homogeneous Dynamics for Square Boolean Automata with Null Boundary Conditions....Pages 30-43
Zeros of Orthogonal Polynomials Generated by the Geronimus Perturbation of Measures....Pages 44-59
Efficient Explicit Finite Difference Method for Acoustic Wave Using Locally Adjustable Time-Steps....Pages 60-74
Matrix Approach to Frobenius-Euler Polynomials....Pages 75-86
Finite Volume Scheme Based on Cell-Vertex Reconstructions for Anisotropic Diffusion Problems with Discontinuous Coefficients....Pages 87-102
An Orthogonal Set of Weighted Quaternionic Zernike Spherical Functions....Pages 103-116
A Numerical Method for the Solution of the Time-Fractional Diffusion Equation....Pages 117-131
Inflation Rate Dynamics Convergence within the Euro....Pages 132-145
Modified Quaternion Newton Methods....Pages 146-161
Ideal Quantification of Chaos at Finite Resolution....Pages 162-175
Migration Paths Saturations in Meta-epidemic Systems....Pages 176-188
An Additive Decomposition of Harmonic Functions in $\rm{I\!R}^{3}$ ....Pages 189-203
Monogenic Polynomials of Four Variables with Binomial Expansion....Pages 204-220
SQL or NoSQL? Contrasting Approaches to the Storage, Manipulation and Analysis of Spatio-temporal Online Social Network Data....Pages 221-236
Spatio-temporal Analysis of Earth’s Surface Deformation by GPS and InSAR Data....Pages 237-251
State of the Art in Patterns for Point Cluster Analysis....Pages 252-266
Wave Overtopping Analysis and Early Warning Forecast System....Pages 267-282
Spatio-temporal Integrated Analysis with MAPAL....Pages 283-297
Clustering Spatio-temporal Trajectories Based on Kernel Density Estimation....Pages 298-311
 k d-SNN: A Metric Data Structure Seconding the Clustering of Spatial Data....Pages 312-327
Reasoning about Space and Time: Moving towards a Theory of Granularities....Pages 328-343
A Methodology for Generating Time-Varying Complex Networks with Community Structure....Pages 344-359
A Procedure for Semi-automatic Segmentation in OBIA Based on the Maximization of a Comparison Index....Pages 360-375
Adaption of a Self-Learning Algorithm for Dynamic Classification of Water Bodies to MERIS Data....Pages 376-392
Automated Generation of Value-Added Products for the Validation of Remote Sensing Information Based on In-Situ Data....Pages 393-407
Remote-Sensing and Landscapes, Limits of Smaller Scale Generalization and Reproducible Method....Pages 408-422
Spatial Methods for Archaeological Flood Risk: The Case Study of the Neolithic Sites in the Apulia Region (Southern Italy)....Pages 423-439
Use of Consolidation Technology for Meteorological Data Processing....Pages 440-451
Effective Four-Center Model for the Photodissociation Dynamics of Methyl Formate....Pages 452-467
The Screen Representation of Vector Coupling Coefficients or Wigner 3 j Symbols: Exact Computation and Illustration of the Asymptotic Behavior....Pages 468-481
Polyatomic Reaction Dynamics from the Barrier Top....Pages 482-489
Discrete Orthogonal Transformations Corresponding to the Discrete Polynomials of the Askey Scheme....Pages 490-507
Symmetric Angular Momentum Coupling, the Quantum Volume Operator and the 7-spin Network: A Computational Perspective....Pages 508-521
Computer Software for Understanding Resonances and Resonance-Related Phenomena in Chemical Reactions....Pages 522-537
Umbrella Inversion Energy Levels of AB 3 Like Molecules for J  ≥ 0....Pages 538-553
The Escape Probability of Some Ions from Mars and Titan Ionospheres....Pages 554-570
A Grid Empowered Virtual Versus Real Experiment for the Barrierless Li + FH → LiF + H Reaction....Pages 571-584
The Molecular Stirrer Catalytic Effect in Methane Ice Formation....Pages 585-600
On the Implementation of Three Popular Computational Chemistry Applications Using the EGI Distributed Computing Infrastructure....Pages 601-614
Learning Objects Efficient Handling in a Federation of Science Distributed Repositories....Pages 615-626
Grid Calculation Tools for Massive Applications of Collision Dynamics Simulations: Carbon Dioxide Energy Transfer....Pages 627-639
A Functional Verification of a Web Voting System....Pages 640-655
On Specifying Reconfigurable Component-Based Systems Using Strategies....Pages 656-670
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation....Pages 671-682
Synchronous Programs Testing Language (SPTL)....Pages 683-695
A Formal Verification Tool for UML Behavioral Diagrams....Pages 696-711
Practical Implementation of Computational Tactical Metrics for the Football Game....Pages 712-727
Adapting Autonomous Behavior Using an Inverse Trust Estimation....Pages 728-742
Developing a Football Tactical Metric to Estimate the Sectorial Lines: A Case Study....Pages 743-753
Towards a Trust Framework for Multi-User Virtual Environments....Pages 754-768
Data Network in Development of 3D Collaborative Virtual Environments: A Systematic Review....Pages 769-785
Extinct Village 3D visualization and its Evaluation with Eye-Movement Recording....Pages 786-795
Virtual Home Decoration in Web and Mobile Platforms....Pages 796-807
Haptic Interaction with Fluid Based on Smooth Particles and Finite Elements....Pages 808-823
Sleep Detection Using a Depth Camera....Pages 824-835
Back Matter....Pages -