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

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 -