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

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 - Nearly-Time Optimal Smooth Path Planning Using Continuous Curvature Derivative Primitives....Pages 1-8 Wifigrams: Design of Hierarchical Wi-Fi Indoor Localization Systems Guided by Social Network Analysis....Pages 9-16 Impact of Signal Representations on the Performance of Hierarchical WiFi Localization Systems....Pages 17-24 Virtual Vehicle Approach for Longitudinal Control in Urban Environments....Pages 25-32 Obtaining a 3D Model from a Facial Recognition in 2D....Pages 33-38 Comparison of Local Obstacle Avoidance Algorithms....Pages 39-46 Acceleration Signal Based Linear Formation Driving Model: Algorithmic Description and Simulation Results....Pages 47-54 IoT Application in the Supply Chain Logistics....Pages 55-62 Dempster-Shafer Theory Based Ship-Ship Collision Probability Modelling....Pages 63-70 Automatic Thermal Leakage Detection in Building Facades Using Laser and Thermal Images....Pages 71-78 On Approximate Nearest Neighbour Field Algorithms in Template Matching for Surface Quality Inspection....Pages 79-86 Web Georeferenced Video Player with Super-Resolution Screenshot Feature....Pages 87-92 Traffic Light Recognition During the Night Based on Fuzzy Logic Clustering....Pages 93-100 Computation Time Optimization in Super-Resolution Applications....Pages 101-108 Photogrammetric Analysis of Images Acquired by an UAV....Pages 109-116 Optic Flow: Improving Discontinuity Preserving....Pages 117-124 Cost Function Selection for a Graph-Based Segmentation in OCT Retinal Images....Pages 125-132 Movement Analysis for the Assessment of Hearing in Patients with Cognitive Impairment: A Preliminary Study....Pages 133-139 Colour Texture Segmentation of Tear Film Lipid Layer Images....Pages 140-147 Why Is It That the Different University Specialties in General and Engineering More Specifically Are Not Mentioned When Talking about Medical Work and Health?....Pages 148-155 Internships as an Application of Cloud Computing Solutions for Education at Universities....Pages 156-165 Architecture and Design of a Generic Device Server for Virtual Reality Hardware Integration in Surgical Navigation....Pages 166-173 Assessing the Quality of WSAN Topologies....Pages 174-182 Augmented Reality Visualization for Computer Assisted Surgical Training....Pages 183-190 A MATLAB Toolbox for Upper Limb Movement Classification....Pages 191-198 Surface Area Under the Motion Curve as a New Tool for Gait Recognition....Pages 199-208 Training Surgical Skills under Accredited Education: Our Regional Experience....Pages 209-217 Boolean Function Complementation Based Algorithm for Data Discretization....Pages 218-225 Decision Support System for Cancer Chemotherapy Schedules....Pages 226-233 Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU....Pages 234-241 Using Fixed Point Arithmetic for Cardiac Pathologies Detection Based on Electrocardiogram....Pages 242-249 Hyper-bent Multiple-Valued Functions....Pages 250-257 Remarks on Systems, Beads, and Bead Sets....Pages 258-265 Cepstrum Coefficients of the RR Series for the Detection of Obstructive Sleep Apnea Based on Different Classifiers....Pages 266-271 Vibration Attenuation by Semi-active Dampers....Pages 272-278 Flatness Based Control of an Injection Moulding Machine....Pages 279-288 Nonlinear Control of a Gantry Crane....Pages 289-296 Static Positioning Accuracy of a Redundant Robotic System....Pages 297-304 Comparative Study on Sensorless Vibration Suppression of Fast Moving Flexible Linear Robots....Pages 305-312 AVORA I Successful Participation in SAUC-E’12....Pages 313-320 Glider Path-Planning for Optimal Sampling of Mesoscale Eddies....Pages 321-325 Building a Tourist Assistant with a Nao Aldebaran....Pages 326-332 Training Bioloid Robots for Playing Football....Pages 333-340 The Impact of New Multi-platform Observing Systems in Science, Technology Development and Response to Society Needs; from Small to Large Scales.......Pages 341-348 Novel Approaches to Geophysical Navigation of Autonomous Underwater Vehicles....Pages 349-356 Autonomous Marine Robots Assisting Divers....Pages 357-364 Towards Good Experimental Methodologies for Unmanned Marine Vehicles....Pages 365-372 Analysis of Lightweight Cryptographic Solutions for Authentication in IoT....Pages 373-380 Analysis of Compass Sensor Accuracy on Several Mobile Devices in an Industrial Environment....Pages 381-389 User-Friendly Authentication and Authorization Using a Smartphone Proxy....Pages 390-399 Mobile Surveys....Pages 400-408 Model-Driven Development of Cloud-Connected Mobile Applications Using DSLs with Xtext....Pages 409-416 Towards Secure Personal Device Unlock Using Stereo Camera Pan Shots....Pages 417-425 Rapid Protocol Development in Wireless Sensor Networks Using Wireshark Plugins....Pages 426-433 The ConWIZ Protocol: A Generic Protocol for Wizard of Oz Simulations....Pages 434-441 Towards Platform Independence of Mobile Applications....Pages 442-449 Navigating Indoors Using Decision Points....Pages 450-457 Enabling A/B Testing of Native Mobile Applications by Remote User Interface Exchange....Pages 458-466 Detecting Information Structures in Texts....Pages 467-474 Enabling Design and Development of Wireless BANs Using 802.15.x Standards....Pages 475-482 Managing Dynamism of Multimodal Detection in Machine Vision Using Selection of Phenotypes....Pages 483-490 Control System Design Based on Modern Embedded Systems....Pages 491-498 Morphotronics and Bond Graphs Representation....Pages 499-506 Geometry of a Sensor Networks....Pages 507-512 Circuit Diagram for Activity-Based Costing (ABC)....Pages 513-520 Application of Hierarchical Systems Technology in Design and Testing of Circuit Boards....Pages 521-526 Feasibility of Property-Based Testing for Time-Dependent Systems....Pages 527-535 Back Matter....Pages -