


default search action
ICCSA 2014: Guimarães, Portugal
- Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha

, Carmelo Maria Torre
, Jorge Gustavo Rocha
, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi
:
Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8579, Springer 2014, ISBN 978-3-319-09143-3
Workshop on Computational and Applied Mathematics (CAM 2014)
- Carla Cruz

, M. Irene Falcão
, Helmuth R. Malonek
:
On Numerical Aspects of Pseudo-Complex Powers in ℝ3. 1-16 - Andrei Bourchtein, Ludmila Bourchtein:

On Grid Generation for Numerical Models of Geophysical Fluid Dynamics. 17-29 - Ricardo Severino

, Maria Joana Soares
, Maria Emilia Athayde
:
Homogeneous Dynamics for Square Boolean Automata with Null Boundary Conditions. 30-43 - Amílcar Branquinho

, Edmundo J. Huertas, Fernando R. Rafaeli:
Zeros of Orthogonal Polynomials Generated by the Geronimus Perturbation of Measures. 44-59 - Regina Célia P. Leal-Toledo, Alexandre J. M. Antunes

, Elson Magalhães Toledo:
Efficient Explicit Finite Difference Method for Acoustic Wave Using Locally Adjustable Time-Steps. 60-74 - Graça Tomaz

, Helmuth R. Malonek
:
Matrix Approach to Frobenius-Euler Polynomials. 75-86 - Ricardo Costa

, Stéphane Clain
, Gaspar José Machado
:
Finite Volume Scheme Based on Cell-Vertex Reconstructions for Anisotropic Diffusion Problems with Discontinuous Coefficients. 87-102 - Isabel Cação

, João Morais
:
An Orthogonal Set of Weighted Quaternionic Zernike Spherical Functions. 103-116 - Luís L. Ferrás

, Neville J. Ford
, Maria Luísa Morgado
, Magda Rebelo
:
A Numerical Method for the Solution of the Time-Fractional Diffusion Equation. 117-131 - Maria Joana Soares

, Luís Aguiar-Conraria
:
Inflation Rate Dynamics Convergence within the Euro. 132-145 - Fernando Miranda

, M. Irene Falcão
:
Modified Quaternion Newton Methods. 146-161 - Islam A. Elshaarawy

, Walid Gomaa
:
Ideal Quantification of Chaos at Finite Resolution. 162-175 - Silvia Motto, Ezio Venturino

:
Migration Paths Saturations in Meta-epidemic Systems. 176-188 - Klaus Gürlebeck, Hung Manh Nguyen

, Dmitrii Legatiuk
:
An Additive Decomposition of Harmonic Functions in $\rm{I\!R}^{3}$. 189-203 - Carla Cruz

, M. Irene Falcão
, Helmuth R. Malonek
:
Monogenic Polynomials of Four Variables with Binomial Expansion. 204-220
Workshop on Advances in Spatio-Temporal Analytics (ST-Analytics 2014)
- Adrian Tear:

SQL or NoSQL? Contrasting Approaches to the Storage, Manipulation and Analysis of Spatio-temporal Online Social Network Data. 221-236 - Valeri Gitis, Alexander Derendyaev

:
Spatio-temporal Analysis of Earth's Surface Deformation by GPS and InSAR Data. 237-251 - Laurent Étienne

, Thomas Devogele, Gavin McArdle
:
State of the Art in Patterns for Point Cluster Analysis. 252-266 - André Sabino, Armanda Rodrigues

, João Araújo
, Pedro Poseiro
, Maria Teresa Reis
, Conceição Juana Fortes
:
Wave Overtopping Analysis and Early Warning Forecast System. 267-282 - Sebastián Villarroya

, José Ramon Rios Viqueira
, Manuel A. Regueiro
, José Manuel Cotos
:
Spatio-temporal Integrated Analysis with MAPAL. 283-297 - Pengdong Zhang, Min Deng, Nico Van de Weghe

:
Clustering Spatio-temporal Trajectories Based on Kernel Density Estimation. 298-311 - Bruno Filipe Faustino, João Moura-Pires, Maribel Yasmina Santos

, Guilherme Moreira
:
kd-SNN: A Metric Data Structure Seconding the Clustering of Spatial Data. 312-327 - João Moura-Pires, Ricardo Almeida Silva

, Maribel Yasmina Santos
:
Reasoning about Space and Time: Moving towards a Theory of Granularities. 328-343 - Sandy M. Porto, Marcos G. Quiles

:
A Methodology for Generating Time-Varying Complex Networks with Community Structure. 344-359
Workshop on Remote Sensing Data Analysis, Modeling, Interpretation and Applications: From a Global View to a Local Analysis (RS 2014)
- Andres Auquilla, Stien Heremans

, Pablo Vanegas
, Jos Van Orshoven
:
A Procedure for Semi-automatic Segmentation in OBIA Based on the Maximization of a Comparison Index. 360-375 - Bernd Fichtelmann, Erik Borg

, Kurt P. Guenther:
Adaption of a Self-Learning Algorithm for Dynamic Classification of Water Bodies to MERIS Data. 376-392 - Erik Borg

, Chris Schiller, Holger Daedelow, Bernd Fichtelmann, Dirk Jahncke, Frank Renke, Hans-Peter Tamm, Hartmut Asche:
Automated Generation of Value-Added Products for the Validation of Remote Sensing Information Based on In-Situ Data. 393-407 - Amélie Robert, Jean Louis Yengué, Sylvie Servain

:
Remote-Sensing and Landscapes, Limits of Smaller Scale Generalization and Reproducible Method - Case Study in Burkina Faso. 408-422 - Maria Danese

, Dario Gioia
, Marilisa Biscione
, Nicola Masini
:
Spatial Methods for Archaeological Flood Risk: The Case Study of the Neolithic Sites in the Apulia Region (Southern Italy). 423-439 - Dmitry A. Petrov, Elena N. Stankova

:
Use of Consolidation Technology for Meteorological Data Processing. 440-451
Workshop on Quantum Mechanics: Computational Strategies and Applications (QMCSA 2014)
- Andrea Lombardi

, Federico Palazzetti
, King-Chuen Lin
, Po-Yu Tsai:
Effective Four-Center Model for the Photodissociation Dynamics of Methyl Formate. 452-467 - Ana Carla Peixoto Bitencourt, Mirco Ragni, Robert G. Littlejohn, Roger W. Anderson, Vincenzo Aquilanti:

The Screen Representation of Vector Coupling Coefficients or Wigner 3j Symbols: Exact Computation and Illustration of the Asymptotic Behavior. 468-481 - Laurent Bonnet

:
Polyatomic Reaction Dynamics from the Barrier Top. 482-489 - Roger Anderson:

Discrete Orthogonal Transformations Corresponding to the Discrete Polynomials of the Askey Scheme. 490-507 - Dimitri Marinelli, Annalisa Marzuoli, Vincenzo Aquilanti, Roger W. Anderson, Ana Carla Peixoto Bitencourt, Mirco Ragni:

Symmetric Angular Momentum Coupling, the Quantum Volume Operator and the 7-spin Network: A Computational Perspective. 508-521 - Dmitri Sokolovski, Elena V. Akhmatskaya

:
Computer Software for Understanding Resonances and Resonance-Related Phenomena in Chemical Reactions. 522-537 - Mirco Ragni, Ana Carla Peixoto Bitencourt, Adna E. C. Silva, Frederico Vasconcellos Prudente

:
Umbrella Inversion Energy Levels of AB3 Like Molecules for J ≥ 0 - Numerical Methods Versus Analytic Solutions. 538-553
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2014)
- Stefano Falcinelli

, Marzio Rosi
, Pietro Candori, Franco Vecchiocattivi, James M. Farrar, Fernando Pirani, Nadia Balucani
, Michele Alagia
, Robert Richter
, Stefano Stranges:
The Escape Probability of Some Ions from Mars and Titan Ionospheres. 554-570 - Antonio Laganà, Sergio Rampino

:
A Grid Empowered Virtual Versus Real Experiment for the Barrierless Li + FH → LiF + H Reaction. 571-584 - Noelia Faginas Lago

, Margarita Albertí, Antonio Laganà, Andrea Lombardi
, Leonardo Pacifici, Alessandro Costantini
:
The Molecular Stirrer Catalytic Effect in Methane Ice Formation. 585-600 - Alessandro Costantini

, Daniele Cesini
, Diego Michelotto, Marco Bencivenni, Vania Boccia
, Emidio Giorgio
, Antonio Laganà:
On the Implementation of Three Popular Computational Chemistry Applications Using the EGI Distributed Computing Infrastructure. 601-614 - Sergio Tasso

, Simonetta Pallottelli
, Marina Rui, Antonio Laganà:
Learning Objects Efficient Handling in a Federation of Science Distributed Repositories. 615-626 - Andrea Lombardi

, Noelia Faginas Lago
, Antonio Laganà:
Grid Calculation Tools for Massive Applications of Collision Dynamics Simulations: Carbon Dioxide Energy Transfer. 627-639
Workshop on Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance (FMCICA 2014)
- Maximiliano Cristiá

, Claudia S. Frydman:
A Functional Verification of a Web Voting System. 640-655 - Brahim Djoudi, Chafia Bouanaka

, Nadia Zeghib:
On Specifying Reconfigurable Component-Based Systems Using Strategies. 656-670 - Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo:

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. 671-682 - Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis:

Synchronous Programs Testing Language (SPTL). 683-695 - Luciana Brasil Rebelo dos Santos

, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr.
, Nandamudi Lankalapalli Vijaykumar:
A Formal Verification Tool for UML Behavioral Diagrams. 696-711
Workshop on New Trends on Trust Computational Models (NTTCM 2014)
- Filipe Manuel Clemente

, Micael Santos Couceiro
, Fernando Manuel Lourenço Martins
, Rui Sousa Mendes
, António José Figueiredo
:
Practical Implementation of Computational Tactical Metrics for the Football Game - Towards an Augmenting Perception of Coaches and Sport Analysts. 712-727 - Michael W. Floyd, Michael Drinkwater, David W. Aha

:
Adapting Autonomous Behavior Using an Inverse Trust Estimation. 728-742 - Filipe Manuel Clemente

, Fernando Manuel Lourenço Martins
, Micael Santos Couceiro
, Rui Sousa Mendes
, António José Figueiredo
:
Developing a Football Tactical Metric to Estimate the Sectorial Lines: A Case Study. 743-753 - Rui Costa Cardoso, Abel João Padrão Gomes:

Towards a Trust Framework for Multi-User Virtual Environments. 754-768
Workshop on Virtual Reality and Applications (VRA 2014)
- Diego Roberto Colombo Dias

, Rafael Serapilha Durelli, José Remo Ferreira Brega, Bruno Barberi Gnecco, Luis Carlos Trevelin, Marcelo de Paiva Guimarães:
Data Network in Development of 3D Collaborative Virtual Environments: A Systematic Review. 769-785 - Stanislav Popelka

, Pavla Dedkova:
Extinct Village 3D visualization and its Evaluation with Eye-Movement Recording. 786-795 - Marcelo de Paiva Guimarães, Bruno Barberi Gnecco, Alexandro Stephanin, Fernando Teubl:

Virtual Home Decoration in Web and Mobile Platforms. 796-807 - Zheng Wang, Yumeng Wang:

Haptic Interaction with Fluid Based on Smooth Particles and Finite Elements. 808-823 - Björn Krüger

, Anna Vögele, Lukas Herwartz, Thomas Terkatz, Andreas Weber
, Carmen Garcia, Ingo Fietze, Thomas Penzel
:
Sleep Detection Using a Depth Camera. 824-835

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














