Computer Aided Systems Theory – EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Front Matter....Pages -
A Framework for Combining Multivalued Data: A Practical Approach....Pages 1-8
On Modelling Metabolism-Repair by Convolution and Partial Realization....Pages 9-17
Cost Oriented Humanoid Robots....Pages 18-24
New Biomimetic Neural Structures for Artificial Neural Nets....Pages 25-31
Extending OLSR Functionalities to PKI Management....Pages 32-39
Bandwidth Usage Optimization for NNTP Protocol....Pages 40-47
The Dilemma of Choice in Management of Communication Processes in WSN....Pages 48-55
A Distributed Authorization System with Mobile Usage Control Policies....Pages 56-63
Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism....Pages 64-71
Neuronal Data Analysis Based on the Empirical Cumulative Entropy....Pages 72-79
On the Construction of Densities for Time Non-homogeneous Diffusion Processes....Pages 80-87
Rational Function Systems in ECG Processing....Pages 88-95
First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods....Pages 96-104
Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess....Pages 105-112
A Certified Module to Study Digital Images with the Kenzo System....Pages 113-120
Modelling the Psychographic Behaviour of Users Using Ontologies in Web Marketing Services....Pages 121-128
Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-In....Pages 129-136
R2RIF - Rule Integration Plugin for Protégé OWL....Pages 137-144
GenComp – A Generic Transformation System....Pages 145-152
Implementing the Universal Virtual Computer....Pages 153-160
Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps....Pages 161-168
On the Confluence of the Graphic Calculus with Penrose Diagrams (I)....Pages 169-176
System for Recommendation of Information Based on a Management Content Model Using Software Agents....Pages 177-183
Dynamic Cellular Automata-Based S-Boxes....Pages 184-191
People Transfer in City Transport Modeled via CPN....Pages 192-199
Adaptive Change Estimation in the Context of Online Market Monitoring....Pages 200-207
On Transforming a Knowledge Base from Topic Maps to OWL....Pages 208-215
Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand....Pages 216-223
Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem....Pages 224-231
Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution....Pages 232-239
Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation....Pages 240-247
Automatic Generation of 2-AntWars Players with Genetic Programming....Pages 248-255
A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem....Pages 256-263
Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process....Pages 264-271
GPU-Based Evaluation to Accelerate Particle Swarm Algorithm....Pages 272-279
Simulation-Based Fitness Landscape Analysis and Optimisation for Vehicle Scheduling Problem....Pages 280-286
An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem....Pages 287-294
Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location....Pages 295-302
Effectively Evolving Finite State Machines Compared to Enumeration....Pages 303-310
Heuristic Power Scheduling of Electric Vehicle Battery Charging Based on Discrete Event Simulation....Pages 311-318
Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics....Pages 319-326
Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem....Pages 327-334
Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling....Pages 335-342
Neural Networks Based System for Cancer Diagnosis Support....Pages 343-350
A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem....Pages 351-358
Effects of Data Grouping on Calibration Measures of Classifiers....Pages 359-366
Parameter Meta-optimization of Metaheuristic Optimization Algorithms....Pages 367-374
Systolic Optimization on GPU Platforms....Pages 375-383
Applying Heuristic Approaches for Predicting Defect-Prone Software Components....Pages 384-391
Improved Packing and Routing of Vehicles with Compartments....Pages 392-399
Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets....Pages 400-407
Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization....Pages 408-415
A Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware....Pages 416-423
Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab....Pages 424-431
Particle Swarm Optimization with Two Swarms for the Discrete ( r | p )-Centroid Problem....Pages 432-439
ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints....Pages 440-447
Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines....Pages 448-455
Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search....Pages 456-463
Market Basket Analysis of Retail Data: Supervised Learning Approach....Pages 464-471
A Flexible and Reliable Radar Simulator in Matlab OOP for Optimizing Tracking Algorithms....Pages 472-476
Frequency Estimation beyond Nyquist Using Sparse Approximation Methods....Pages 477-484
Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based Compensator Design....Pages 485-490
Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems....Pages 491-496
Clustering and Data Aggregation as Factors of Wireless Sensor Network Lifetime....Pages 497-504
Synthesis of Logic Circuits Based on Negative Differential Resistance Property....Pages 505-512
Simulation Based Optimization of Signal Processing for RFID....Pages 513-518
A Uniform Classification of Common Concurrency Errors....Pages 519-526
An Easy to Use Infrastructure for Building Static Analysis Tools....Pages 527-534
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems....Pages 535-542
Unfoldings of Bounded Hybrid Petri Nets....Pages 543-550
State Encoding and Minimization Methodology for Self-Checking Sequential Machines....Pages 551-558
A Novel Approach to Modechart Verification of Real-Time Systems....Pages 559-567
Cloud Computing in Educational Applications Methods of Virtual Desktops Deployment....Pages 568-575
Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures....Pages 576-583
Precise Segmentation of the Optic Disc in Retinal Fundus Images....Pages 584-591
Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU....Pages 592-599
Surface Classification for Road Distress Detection System Enhancement....Pages 600-607
Analysis of Recent Advances in Optical Flow Estimation Methods....Pages 608-615
Contextual and Skin Color Region Information for Face and Arms Location....Pages 616-623
Stereo-Vision Algorithm Based on Bio-Inspired Silicon Retinas for Implementation in Hardware....Pages 624-631
Back Matter....Pages -