[Front cover]

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-ix

Message from ICCSA 2011 General Chairs (PDF)

pp. x-xi

Message from ICCSA 2011 Program Committee Chairs (PDF)

pp. xii-xii

ICCSA 2011 Organizing Committee (PDF)

pp. xiii-xiv

ICCSA 2011 Program Committee (PDF)

pp. xv-xvi

ICCSA 2011 Welcome Message (PDF)

pp. xvii-xviii

ICCSA 2011 Sponsors (PDF)

pp. xix

Message from CASA 2011 Workshop Chairs (PDF)

pp. xx

CASA 2011 Program Committee (PDF)

pp. xxi

CASA 2011 Reviewers (PDF)

pp. xxii

Message from CGVR 2011 Workshop Chairs (PDF)

pp. xxiii-xxiii

CGVR 2011 Program Committee (PDF)

pp. xxiv

CGVR 2011 Reviewers (PDF)

pp. xxv

Message from FISTA 2011 Workshop Chairs (PDF)

pp. xxvi-xxvi

FISTA 2011 Program Committee (PDF)

pp. xxvii

FISTA 2011 Reviewers (PDF)

pp. xxviii

Message from TTSDP 2011 Workshop Chair (PDF)

pp. xxix-xxix

TTSDP 2011 Program Committee (PDF)

pp. xxx

TTSDP 2011 Reviewers (PDF)

pp. xxxi-xxxi

Towards a More Efficient Use of GPUs (Abstract)

Pedro Valero

Fernando L. Pelayo

pp. 3-9

PDF

Low Cost Virtual Animation Effects for Sports Broadcasting: Mosaics, Flags and Big-Sized Flags (Abstract)

pp. 10-16

PDF

Modular System for Haptic Interaction with Multi-contact Collision Detection (Abstract)

pp. 17-23

PDF

Planet Generation: Mimicking the Nature's Way (Abstract)

Jindrich Mor´vek

Vít Kovalcík

pp. 24-32

PDF

PCA Based Geometric Modeling for Automatic Face Detection (Abstract)

Padma Polash Paul

Marina Gavrilova

pp. 33-38

PDF

Multivariable Calculus on Time Scales (Abstract)

Sinan Kapçak

�?nal Ufuktepe

pp. 41-50

PDF

Trajectory of a Baseball and Its Characters Under the Influence of a Drag Force and the Magnus Effect (Abstract)

Haiduke Sarafian

pp. 51-59

PDF

Graphical User Interface for Drawing 3D Plots with KETpic (Abstract)

Yasuyuki Nakamura

Setsuo Takato

pp. 60-65

PDF

A Note on the Application of Elimination Ideal (Abstract)

Tadashi Takahashi

pp. 66-71

PDF

A CAS Macro Package as LaTeX Graphical Command Generator and Its Applications (Abstract)

Masataka Kaneko

Setsuo Takato

pp. 72-81

PDF

Automatic Generation of Loop-Invariants for Matrix Operations (Abstract)

Diego Fabregat-Traver

Paolo Bientinesi

pp. 82-92

PDF

Making Figures for Class Materials Using KETpic Based on Symbolic Thinking (Abstract)

Satoshi Yamashita

Setsuo Takato

pp. 93-101

PDF

Development of QC2AS -- A Computer Algebra System for Symbolic Quantum Chemical Computations (Abstract)

pp. 102-109

PDF

New Package in Maxima for Single-Valued Interval Computation on Real Numbers (Abstract)

Robert Ipanaqué

Arnulfo Sandoval

Henry Giuseppe Sosa

Andrés Iglesias Prieto

pp. 110-117

PDF

Automatic Translation of Computer Algebra Systems' Worksheets (Abstract)

pp. 118-123

PDF

Estimation of Ad Hoc Network Topology Preserving Neighbor Relations among Nodes (Abstract)

Kei Itoh

Hiroaki Higaki

pp. 127-134

PDF

Evaluation of Cognitive Wireless Networks in Rural Area for Disaster Information Network (Abstract)

pp. 135-142

PDF

Experiments and Functional Analysis in Integrating Sub-ontology Extraction and Tailoring (Abstract)

Toshihiro Uchibayashi

Bernady O. Apduhan

Norio Shiratori

pp. 143-149

PDF

GPU Computing in EGI Environment Using a Cloud Approach (Abstract)

Flavio Vella

Riccardo M. Cefal´

Alessandro Costantini

Osvaldo Gervasi

Claudio Tanci

pp. 150-155

PDF

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix (Abstract)

pp. 159-167

PDF

Approximation of a Digital Signal Using Estimate Wavelet Transform (Abstract)

Archit Yajnik

pp. 171-175

PDF

Development of Smart Devices for Secure Communication in the SCADA System (Abstract)

pp. 176-180

PDF

Controlling an Influenza Outbreak in Deterministic and Stochastic Models with the Emergence and Evolution of Drug Resistance (Abstract)

Fazeleh S. Salehi

S. Naser Hashemi

pp. 183-190

PDF

A Newly Developed Alternative Way to Describe Shape Memory Alloy Behaviour (Abstract)

pp. 191-197

PDF

Answering Conjunctive Fuzzy Query Using Views: Efficient Algorithm to Return the Best k-Tuples: Middleware Based Context-Aware Pervasive Healthcare Vase Study (Abstract)

Wissem Labbadi

pp. 198-203

PDF

An Evaluation of the Formal Concept Analysis-Based Document Vector on Document Clustering (Abstract)

pp. 207-210

PDF

New Approach in Machine Monitoring Using Blind Source Separation (Abstract)

Theodor D. Popescu

pp. 211-214

PDF

Design Consideration for 10 Gbps Signal Transmission Channel in Copper Backplane System (Abstract)

Jun Hu

pp. 215-218

PDF

Spatial Autocorrelation Analysis of Soil Pollution Data in Central Taiwan (Abstract)

pp. 219-222

PDF

Powder Compaction in the Axisymmetric Case (Abstract)

Andrey E. Buzyurkin

Evgeny I. Kraus

pp. 223-226

PDF

A Fast Lock-Free User Memory Space Allocator for Embedded Systems (Abstract)

pp. 227-230

PDF

A Study on the Generation of OLAP Data Cube Based on 3D Visualization Interaction (Abstract)

pp. 231-234

PDF

Computing of Extremal Characteristic Values of Symmetric Matrices by Individual Homotopy Algorithm (Abstract)

Ran Baik

pp. 235-238

PDF

A Few-Parameter Equation of State and Its Application to the High-Velocity Interaction of Solids (Abstract)

pp. 239-242

PDF

Ana Mª S´nchez de la Campa

Modelling Arsenic, Lead, Cadmium and Nickel Ambient Air Concentrations in Spain (Abstract)

pp. 243-246

PDF

New Methodology of Modal Analysis for a Dual Cooled Fuel Rod with and without Water in a Flow Channel (Abstract)

pp. 247-249

PDF

Molecular Dynamics Investigation of the Surface Coating Processes (Abstract)

pp. 250-253

PDF

Towards the Support of Scaffolding in Customizable Puzzle-Based Learning Games (Abstract)

Javier Melero

Davinia Hern´ndez-Leo

Josep Blat

pp. 254-257

PDF

SLA Based Scheduler for Cloud for Storage & Computational Services (Abstract)

Ravin Ahuja

Asok De

Goldie Gabrani

pp. 258-262

PDF

Morphological Correlation for Robust Image Recognition (Abstract)

Saul Martinez-Diaz

Vitaly Kober

pp. 263-266

PDF

Implementation and Deployment of Geographical Information System Services in the Municipality of Santander (Abstract)

pp. 267-270

PDF

Antonio F. Gómez Skarmeta

Oxygen Cylinders Management Architecture Based on Internet of Things (Abstract)

pp. 271-274

PDF

Experiments on the Virtual City: Three-Dimensional Reconfigurations of Missing, Never Realized or Destroyed Urban Areas (Abstract)

pp. 275-281

PDF

Embedded System Development by Lightweight Ruby (Abstract)

pp. 282-285

PDF

Plan4all: European Network of Best Practices for Interoperability of Spatial Planning Information (Abstract)

pp. 286-289

PDF

Efficient GA Approach Combined with Taguchi Method for Mixed Constrained Circuit Design (Abstract)

pp. 290-293

PDF

Management of Classified Information for Information Dispersion Technology (Abstract)

Kentaro Ishibashi

Kazuaki Tanaka

pp. 294-296

PDF

Author Index (PDF)

pp. 297-298

[Roster page] (PDF)

pp. 300