Computer Aided Systems Theory – EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Which State Feedback Control Laws will not Alter the System’s Transfer Function?....Pages 3-9
A Simple Linearisation of the Self-shrinking Generator....Pages 10-17
Systems Theory and Model of Diversification in Building of Information Systems....Pages 18-24
Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System....Pages 25-32
Use of the  Automatic Identification System in Academic Research....Pages 33-40
Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives....Pages 41-48
Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations....Pages 49-56
Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies....Pages 57-63
Constrained Pole Assignment Control for a 2nd Order Oscillatory System....Pages 64-71
Parallel and Distributed Metaheuristics....Pages 72-79
Dynamic Similarity and Distance Measures Based on Quantiles....Pages 80-87
Eulerian Numbers Weigths in Distributed Computing Nets....Pages 88-94
Autonomous Paracopter Control Design....Pages 95-102
A Class of 3-D Distributed Modular Computing Nets....Pages 103-109
Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud....Pages 110-117
Structuring the Model of Complex System Using Parallel Computing Techniques....Pages 118-125
The Evolution of Models: Uncovering the Path of Model Improvement....Pages 126-132
Front Matter....Pages 133-133
Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes....Pages 135-142
A Sequential Test for Evaluating Air Quality....Pages 143-149
Population Models and Enveloping....Pages 150-157
Front Matter....Pages 133-133
Fractional Growth Process with Two Kinds of Jumps....Pages 158-165
Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal....Pages 166-173
A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate....Pages 174-182
On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling....Pages 183-191
Front Matter....Pages 193-193
A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks....Pages 195-202
Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach....Pages 203-210
Adaptive Flood Forecasting for Small Catchment Areas....Pages 211-218
A Scalable Monitoring Solution for Large-Scale Distributed Systems....Pages 219-227
Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production....Pages 228-235
Sitting Property-Based Testing at the Desktop....Pages 236-243
Adaptation Engine for Large-Scale Distributed Systems....Pages 244-251
Front Matter....Pages 252-252
A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal....Pages 255-262
A Greedy Randomized Adaptive Search Procedure for Solving the Uncapacitated Plant Cycle Problem....Pages 263-270
On the Comparison of Decoding Strategies for a Memetic Algorithm for the Multi Layer Hierarchical Ring Network Design Problem....Pages 271-278
Metaheuristics and Cloud Computing: A Case Study on the Probabilistic Traveling Salesman Problem with Deadlines....Pages 279-285
Optimizing Set-Up Times Using the HeuristicLab Optimization Environment....Pages 286-293
The Bike Request Scheduling Problem....Pages 294-301
Classification of the States of Human Adaptive Immune Systems by Analyzing Immunoglobulin and T Cell Receptors Using ImmunExplorer....Pages 302-309
Classifying Human Blood Samples Using Characteristics of Single Molecules and Cell Structures on Microscopy Images....Pages 310-317
Prediction of Stem Cell Differentiation in Human Amniotic Membrane Images Using Machine Learning....Pages 318-325
Front Matter....Pages 252-252
Dynamics of Predictability and Variable Influences Identified in Financial Data Using Sliding Window Machine Learning....Pages 326-333
Modeling a Lot-Aware Slab Stack Shuffling Problem....Pages 334-341
Heuristic Approaches for the Probabilistic Traveling Salesman Problem....Pages 342-349
Increasing the Sensitivity of Cancer Predictors Using Confidence Based Ensemble Modeling....Pages 350-358
Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems....Pages 359-366
On the Effectiveness of Genetic Operations in Symbolic Regression....Pages 367-374
Smooth Symbolic Regression: Transformation of Symbolic Regression into a Real-Valued Optimization Problem....Pages 375-383
A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size....Pages 384-392
Diversity-Based Offspring Selection Criteria for Genetic Algorithms....Pages 393-400
CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem....Pages 401-408
Complexity Measures for Multi-objective Symbolic Regression....Pages 409-416
Using Contextual Information in Sequential Search for Grammatical Optimization Problems....Pages 417-424
A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles....Pages 425-432
Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection....Pages 433-438
A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems....Pages 439-446
Front Matter....Pages 447-447
MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi....Pages 449-456
Applicability of Patient-Specific Simulation....Pages 457-462
Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures....Pages 463-470
Differential Evolution Multi-objective Optimisation for Chemotherapy Treatment Planning....Pages 471-478
Automatic Selection of Video Frames for Hyperemia Grading....Pages 479-486
Front Matter....Pages 447-447
A Texture-Based Method for Choroid Segmentation in Retinal EDI-OCT Images....Pages 487-493
Analysis of Global and Local Intensity Distributions for the Segmentation of Computed Tomography Images....Pages 494-501
Complexity Analysis of HEVC Decoding for Multi-core Platforms....Pages 502-509
Front Matter....Pages 511-511
On the Sensitivity Degradation Caused by Short-Range Leakage in FMCW Radar Systems....Pages 513-520
Parameter Optimization for Step-Adaptive Approximate Least Squares....Pages 521-528
Extrinsic LLR Computation by the SISO LMMSE Detector: Four Different Approaches....Pages 529-536
CWCU LMMSE Estimation Under Linear Model Assumptions....Pages 537-545
Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation....Pages 546-551
Front Matter....Pages 553-553
Dynamic Validation of Contracts in Concurrent Code....Pages 555-564
Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation....Pages 565-572
Modeling Accuracy of Indoor Localization Systems....Pages 573-580
Request Driven Generation of RFLP Elements at Product Definition....Pages 581-588
Modeling of a High Voltage Ignition Coil with Nonlinear Magnetic Behavior....Pages 589-596
Simple Models of Central Heating System with Heat Exchangers in the Quasi-static Conditions....Pages 597-604
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems....Pages 605-614
Front Matter....Pages 615-615
Evaluation and Optimization of GPU Based Unate Covering Algorithms....Pages 617-624
On the Complexity of Rules for the Classification of Patterns....Pages 625-631
Remarks on Characterization of Bent Functions in Terms of Gibbs Dyadic Derivatives....Pages 632-639
The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem....Pages 640-647
Statistically Characterizing Void Density by Ultrasonic Speckles....Pages 648-654
Front Matter....Pages 615-615
The Quantization Effect on Audio Signals for Wildlife Intruder Detection Systems....Pages 655-662
Combining Relational and NoSQL Database Systems for Processing Sensor Data in Disaster Management....Pages 663-670
Front Matter....Pages 671-671
An Almost Time Optimal Route Planning Method for Complex Manufacturing Topologies....Pages 673-680
Serre-Frenet Frame in n-dimensions at Regular and Minimally Singular Points....Pages 681-688
An Efficient Method for the Dynamical Modeling of Serial Elastic Link/Joint Robots....Pages 689-697
On Impact Behavior of Force Controlled Robots in Environments with Varying Contact Stiffness....Pages 698-705
A Robotic Platform Prototype for Telepresence Sessions....Pages 706-713
Ocean Glider Path Planning Based on Automatic Structure Detection and Tracking....Pages 714-719
Front Matter....Pages 721-721
Mobile AgeCI: Potential Challenges in the Development and Evaluation of Mobile Applications for Elderly People....Pages 723-730
Cross Pocket Gait Authentication Using Mobile Phone Based Accelerometer Sensor....Pages 731-738
SIFT and SURF Performance Evaluation and the Effect of FREAK Descriptor in the Context of Visual Odometry for Unmanned Aerial Vehicles....Pages 739-747
Stereo Road Detection Based on Ground Plane....Pages 748-755
Clustering Traffic Flow Patterns by Fuzzy C-Means Method: Some Preliminary Findings....Pages 756-764
Platoon Driving Intelligence. A Survey....Pages 765-772
How to Simulate Traffic with SUMO....Pages 773-778
Front Matter....Pages 779-779
Using Data Mining to Improve the Public Transport in Gran Canaria Island....Pages 781-788
A New Large Neighborhood Search Based Matheuristic Framework for Rich Vehicle Routing Problems....Pages 789-796
A Cloud Architecture Approximation to Collaborative Environments for Image Analysis Applications....Pages 797-804
Deployment Models and Optimization Procedures in Cloud Computing....Pages 805-812
A Model for Intelligent Treatment of Floodwaters....Pages 813-821
Front Matter....Pages 779-779
Hybrid Method for Forecasting Next Values of Time Series for Intelligent Building Control....Pages 822-829
Front Matter....Pages 831-831
Low-Cost Plug-and-Play Optical Sensing Technology for USVs’ Collision Avoidance....Pages 833-840
Experimental Evaluation of Sealing Materials in 6-Axis Force/Torque Sensors for Underwater Applications....Pages 841-852
Underwater Glider Path Planning and Population Size Reduction in Differential Evolution....Pages 853-860
On Underwater Vehicle Routing Problem....Pages 861-868
Belief Space Planning for an Underwater Floating Manipulator....Pages 869-876
Intervention Payload for Valve Turning with an AUV....Pages 877-884
Back Matter....Pages 885-887