Computer Aided Systems Theory -- EUROCAST 2013 : 14th International Conference, Las Palmas De Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part I

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on modelling biological systems; systems theory and applications; intelligent information processing; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation; process modeling simulation and system optimization; mobile and autonomous transportation systems; computer vision, sensing, image processing and medical applications; computer-based methods and virtual reality for clinical and academic medicine; digital signal processing methods and applications; mechatronic systems, robotics and marine robots; mobile computing platforms and technologies; systems applications. Front Matter....Pages - A Note on Some Past and Present Advances in Neuroscience: A Personal Perspective....Pages 1-11 Solving Towers of Hanoi and Related Puzzles....Pages 12-19 Some Remarks on the First-Crossing Area of a Diffusion Process with Jumps over a Constant Barrier....Pages 20-27 On a Bilateral Linear Birth and Death Process in the Presence of Catastrophes....Pages 28-35 On the Dynamics of a Couple of Mutually Interacting Neurons....Pages 36-44 Soft Control of Self-organized Locally Interacting Brownian Planar Agents....Pages 45-52 Some Results on Brownian Motion Perturbed by Alternating Jumps in Biological Modeling....Pages 53-60 A Stochastic Gompertz Model with Jumps for an Intermittent Treatment in Cancer Growth....Pages 61-68 A New Diffusion Process to Epidemic Data....Pages 69-76 Physical Activity Classification Using Resilient Backpropagation (RPROP) with Multiple Outputs....Pages 77-83 On the Relevance of Discrepancy Norm for Similarity-Based Clustering of Delta-Event Sequences....Pages 84-91 Escaping the Linearity Trap: Better Simulation Models for Management Support....Pages 92-101 A Contribution to the Study of Classification and Regression Trees Using Multivalued Array Algebra....Pages 102-109 Modelling of Collective Animal Behavior Using Relations and Set Theory....Pages 110-117 Design of Decimation-Based Sequence Generators over Extended Fields....Pages 118-125 Control and Command Systems Concepts from Early Work on a Mars Rover....Pages 126-133 Transaction-Level Modeling and Refinement Using State Charts....Pages 134-141 Analysis of the New Standard Hash Function....Pages 142-149 Simulating Energy Efficiency of Routing and Link-Layer Protocols in Wireless Sensor Networks....Pages 150-157 Business Operation Improvement through Integrated Infrastructure Management....Pages 158-165 Implementation of an IT-Services Practical Standard in Hotel and Tourism Industries....Pages 166-173 On the Relevance of Graphical Causal Models for Failure Detection for Industrial Machinery....Pages 174-181 A Hybrid Cloud Computing Approach for Intelligent Processing and Storage of Scientific Data....Pages 182-188 Formal Definition of Service Availability in Cloud Computing Using OWL....Pages 189-194 Declarative Modeling and Bayesian Inference of Dark Matter Halos....Pages 195-202 Feature Selection for Unsupervised Learning via Comparison of Distance Matrices....Pages 203-210 Statistical Analysis of the Relationship between Spots and Structures in Microscopy Images....Pages 211-218 A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem....Pages 219-226 DNA Base-Code Generation for Bio-molecular Computing by Using a Multiobjective Approach Based on SPEA2....Pages 227-234 A Multiobjective SFLA-Based Technique for Predicting Motifs in DNA Sequences....Pages 235-242 Optimizing the Location Areas Planning in the SUMATRA Network with an Adaptation of the SPEA2 Algorithm....Pages 243-250 Efficient Multi-Objective Optimization Using 2-Population Cooperative Coevolution....Pages 251-258 Solving a Vehicle Routing Problem with Ant Colony Optimisation and Stochastic Ranking....Pages 259-266 The Influence of Routing on Lateral Transhipment....Pages 267-275 Structural Synthesis of Dispatching Rules for Dynamic Dial-a-Ride Problems....Pages 276-283 On the Evolutionary Behavior of Genetic Programming with Constants Optimization....Pages 284-291 Fitness Landscape Based Parameter Estimation for Robust Taboo Search....Pages 292-299 Bridging the Gap between Rich Supply Chain Problems and the Effective Application of Metaheuristics through Ontology-Based Modeling....Pages 300-307 Evolution of Covariance Functions for Gaussian Process Regression Using Genetic Programming....Pages 308-315 Improving the Accuracy of Cancer Prediction by Ensemble Confidence Evaluation....Pages 316-323 Optimization of Container Terminal Problems: An Integrated Solution Approach....Pages 324-331 An Improved Heuristic for the Probabilistic Traveling Salesman Problem with Deadlines Based on GPGPU....Pages 332-339 Measurement of Anisotropy in Fitness Landscapes....Pages 340-347 Optimization as a Service: On the Use of Cloud Computing for Metaheuristic Optimization....Pages 348-355 Yard Storage Assignment Optimisation with Neutral Walks....Pages 356-363 An Analysis of the Intensification and Diversification Behavior of Different Operators for Genetic Algorithms....Pages 364-371 A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems....Pages 372-379 Enhancing a Genetic Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents....Pages 380-387 An Integrated Clustering and Classification Approach for the Analysis of Tumor Patient Data....Pages 388-395 An Efficient and Self-adaptive Model Based on Scatter Search: Solving the Grid Resources Selection Problem....Pages 396-403 A Parallel Two-Level Multiobjective Artificial Bee Colony Approach for Traffic Grooming....Pages 404-411 A Parallel Multiobjective Algorithm Inspired by Fireflies for Inferring Evolutionary Trees on Multicore Machines....Pages 412-419 Nonlinear Least Squares Optimization of Constants in Symbolic Regression....Pages 420-427 Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets....Pages 428-435 Petri Net Dynamic Partial Reconfiguration in FPGA....Pages 436-443 Operating System for Petri Nets-Specified Reconfigurable Embedded Systems....Pages 444-451 Notification Concept for BPMN Workflow Interpreter Using the ASM Method....Pages 452-459 An Abstraction of Multi-port Memories with Arbitrary Addressable Units....Pages 460-468 Battery Internal State Estimation: Simulation Based Analysis on EKF and Auxiliary PF....Pages 469-475 Computer-Aided Optimization for Predictive Battery State-of-Charge Determination....Pages 476-482 Application of Artificial Neuron Networks and Hurst Exponent to Forecasting of Successive Values of a Time Series Representing Environmental Measurements in an Intelligent Building....Pages 483-490 Data Improvement to Enable Process Mining on Integrated Non-log Data Sources....Pages 491-498 Comparing Some Estimate Methods in a Gompertz-Lognormal Diffusion Process....Pages 499-506 Delta Analysis of Role-Based Access Control Models....Pages 507-514 Back Matter....Pages -