
Computer Aided Systems Theory -- EUROCAST 2011
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

Persons
Content
- Title page
- Preface
- Organization
- IN MEMORIAM
- Table of Contents - Part I
- Concepts and Formal Tools
- A Framework for Combining Multivalued Data: A Practical Approach
- Introduction to Knowledge Discovery in Databases
- Fundamental Concepts
- Multivalued Algebra
- Operations between Arrays
- Array Expressions
- Combining Data Tables
- A Practical Approach
- Conclusion
- References
- On Modelling Metabolism-Repair by Convolution and Partial Realization
- Introduction
- Modelling Metabolism-Repair and Metabolism Replication
- Repair
- Replication
- Representation of the Model by Convolution
- Repair by Convolution
- Replication by Convolution
- Construction of Partial Realizations
- Computation Dynamical Representations
- Application of the Rissanen Method of Partial Realization
- Possible Use of Partial Realizations in Modelling Metabolism-Repair Systems
- Conclusion
- References
- Cost Oriented Humanoid Robots
- Introduction
- Categories of Humanoid Robots
- State of the Art
- Cost Oriented Design
- Mechanical Construction [10]
- Control
- Cloud Robots [11]
- Conclusions
- References
- New Biomimetic Neural Structures for Artificial Neural Nets
- Objectives
- Neural Nets with Interaction of Afferents
- Dendritic-Like Computation
- References
- Software Applications
- Extending OLSR Functionalities to PKI Management
- Introduction
- Foundations
- Mathematical MPR Modelling
- Alternatives for Extending PKI to MANETs
- Integrating MPR into the PKI Model
- Implementation Details and Experimental Results
- Conclusions
- References
- Bandwidth Usage Optimization for NNTP Protocol
- Introduction
- NNTP Traffic Measurement
- Improving the Bandwidth Usage
- NNTP Protocol Extension for Delayed Feeds
- Integration with the Existing Server Network
- Implementation Considerations
- References
- The Dilemma of Choice in Management of Communication Processes in WSN
- Introduction
- Problem Formulation
- The First Choice - A Mathematical Abstraction
- The Second Choice - Neighborhoods, Sectors or Clusters
- Global or Local Dilemma
- Concluding Remarks
- References
- A Distributed Authorization System with Mobile Usage Control Policies
- Overview
- Mobile Usage Control Policies
- Related Work
- Policy Specification
- Motivating Scenario: Cloud Computing
- Discussion and Conclusion
- References
- Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism
- Introduction
- Theoretical Framework
- The Nature of Innovation in Tourism
- Performance Assessment of the Innovation Management
- Fuzzy Logic and Innovation Management Assessment
- Methodological Frameworks
- Fuzzification
- Defuzzification
- Interface Decisions
- Conclusions and Future Works
- References
- Computation and Simulation in Modelling Biological Systems
- Neuronal Data Analysis Based on the Empirical Cumulative Entropy
- Introduction
- Entropies
- Empirical Cumulative Entropy
- Neural Coding
- Concluding Remarks
- References
- On the Construction of Densities for Time Non-homogeneous Diffusion Processes
- Introduction
- Construction of Transition Pdf's and FPT Densities
- Time Non-homogeneous Hyperbolic Process
- References
- Rational Function Systems in ECG Processing
- Introduction
- Rational Function Systems
- Orthogonal Rational Function Systems
- Biorthogonal Rational Function Systems
- Localization of Poles
- Discretization
- Summary
- References
- First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods
- Introduction
- Background and Notation
- Numerical and Simulative Approach
- Some Computional Results
- References
- Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess
- Introduction
- Dynamical Nonlinear State-Space Model of the Fed-Batch Bioprocess
- Classical Modelling
- Pseudo Bond Graph Modelling
- Structural Properties of the Model
- Conclusion
- References
- Intelligent Information Processing
- A Certified Module to Study Digital Images with the Kenzo System
- Introduction
- Mathematical Preliminaries
- The Simplicial Framework to Study Digital Images
- A New Kenzo Module
- Certification of the Kenzo Module in ACL2
- Conclusions and Further Work
- References
- Modelling the Psychographic Behaviour of Users Using Ontologies in Web Marketing Services
- Introduction
- Ad Recommendation Architecture
- Content Types and Their Relationships
- Ontologies
- Psychographic Segmentation
- Conclusions
- References
- Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-In
- Introduction
- The Structure of Pólya Processes
- Patterns of Behavior
- Understanding Market Dynamics
- Implications for the Management of Innovations
- Conclusions
- References
- R2RIF - Rule Integration Plugin for Protégé OWL
- Introduction
- Ontologies and Rules
- R2RIF in a Nutshell
- Workflow
- Related Work
- Conclusion and Future Work
- References
- GenComp - A Generic Transformation System
- Introduction
- Generic Compiler
- Design of GenComp
- Interpreter Pattern
- GenComp Architecture
- Implementation
- Parser for GenComp
- Parsing
- Generating the JavaScript Functions
- Further Work
- References
- Implementing the Universal Virtual Computer
- Introduction
- UVC and Related Work
- Evaluation Experiments
- CDC Cyber 180/960-31
- CDC 4680
- SUN Enterprise 10000
- Implementation for Personal Computers
- Lessons Learned
- Conclusion and Future Work
- References
- Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps
- Introduction
- Related Research
- Hotspot Detection
- Extracting Features from Object Traces
- Classification of Activities from Object Traces
- Extracting Significant Locations
- Example: Finding Hotspots in a Limited Test Area
- Tests and Experiments
- Spatial-temporal Reasoning
- Conclusion and Future Work
- References
- On the Confluence of the Graphic Calculus with Penrose Diagrams (I)
- Introduction
- Modeling Directly in Coq
- The Interchange Law
- References
- System for Recommendation of Information Based on a Management Content Model Using Software Agents
- Introduction
- Methodology
- SisMA Description
- Clustering Algorithm
- Evaluation
- Conclusions
- References
- Dynamic Cellular Automata-Based S-Boxes
- Introduction
- S-Boxes in Cryptography
- Cryptographic Characteristics of S-Boxes
- Cellular Automata and Designing of Dynamical S-boxes
- Analysis of Parameters of Dynamic CA-Based S-Boxes
- Analysis of Cryptographical Properties of Dynamic CA-Based S-Boxes
- Conclusions
- References
- People Transfer in City Transport Modeled via CPN
- Introduction
- Preliminaries
- Contribution
- Our Model
- Results
- Conclusion
- References
- Adaptive Change Estimation in the Context of Online Market Monitoring
- The Problem
- The Approach
- Related Work
- Adaptive Estimator
- Estimating
- Evaluation
- Evaluation Metrics
- Evaluation Results
- Conclusion
- References
- On Transforming a Knowledge Base from Topic Maps to OWL
- Introduction
- Topic Map Based Knowledge Modelling
- VCDECIS Knowledge Base
- Ontology Modelling Issues
- Final Solution
- Conclusions
- References
- Heuristic Problem Solving
- Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand
- Introduction
- Methodology
- Precise Modeling of the Building Environment and Construction Parameters
- Definition of the Efficiency Metrics
- Normalized Reference System
- Implementation
- Resulting Field of Application
- Quantitative Assessment of Construction Design Quality
- Automated Optimization of the Construction Plan Design
- Comparison of Construction Material and Processing Thickness
- Discussion
- References
- Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem
- Introduction
- Static RWA Problem
- Hybrid OpenMP+MPI Differential Evolution
- Experimental Results
- Conclusions and Future Work
- References
- Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution
- Introduction
- Motif Discovery Problem
- Description of the Parallel Algorithms
- Experimental Evaluation and Comparisons
- Conclusions and Future Lines
- References
- Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation
- Introduction
- Application of Genetic Algorithms to the Music Segmentation Problem
- Parameter Settings
- Crossover Operators
- Mutation Operators
- Results
- Selection Operators
- Crossover Operators
- Mutation Operators
- Mutation Rates
- Offspring Selection
- Conclusion
- References
- Automatic Generation of 2-AntWars Players with Genetic Programming
- Introduction and Applications
- Related Work
- Implementation
- Results
- Greedy Opponent
- Scorched Earth Opponent
- Hunting Opponent
- Evolving Opponent
- Additional Results
- Conclusion and Future Work
- References
- A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem
- Introduction
- Previous Work
- Ranking Score
- Ranking-Based Multilevel Heuristic (RBMH)
- Selecting Supervertices
- The Merge Process
- Experimental Results
- Conclusions and Future Work
- References
- Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process
- Introduction
- The Ehd-GP Process
- Test Setup
- Ehd-GP Performance Analysis
- A Bloat Control System for Ehd-GP
- Conclusions
- References
- GPU-Based Evaluation to Accelerate Particle Swarm Algorithm
- Introduction
- Related Work
- Methods and Materials
- Parallel Models of Evolutionary Algorithm
- Particle Swarm Optimizer
- Statistical Inference
- Production Setup and Code Adaptation
- Adaptation of PSO
- Results and Analysis
- Study of the Rosenbrock Function
- Study of Schwefel Problem 1.2
- Varying Population
- Conclusions and Future Work
- References
- Simulation-Based Fitness Landscape Analysis and Optimisation for Vehicle Scheduling Problem
- Problem Statement
- Fitness Landscape Analysis Tool
- Simulation Optimisation
- Experimental Results
- Fitness Landscape Analysis
- Optimisation Experiments
- Conclusions
- References
- An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem
- Introduction
- Evolutionary Algorithm for the GMSTP
- Solution Encodings
- Genetic Operators
- Solution Archives
- Computational Results
- Conclusions and Future Work
- References
- Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location
- Introduction
- Previous and Related Work
- Greedy Solution Construction
- Metaheuristic Approaches
- Variable Neighborhood Descent
- Variable Neighborhood Search
- Greedy Randomized Adaptive Search Procedure
- Computational Results
- Summary and Outlook
- References
- Effectively Evolving Finite State Machines Compared to Enumeration
- Introduction
- Modeling the MAS as CA
- Finding the Optimum by Enumeration
- Evolving FSMs with a Genetic Algorithm
- Conclusion
- References
- Heuristic Power Scheduling of Electric Vehicle Battery Charging Based on Discrete Event Simulation
- Introduction
- The Simulation-Based Approach
- Modelling Electric Mobility
- Formulation of the Optimization Problem
- Testcase
- Conclusion
- References
- Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics
- Introduction
- Parallel Cooperative Model Used
- Experimentation
- Optimization Problems
- Simulated Annealing
- Experimental Design
- Results
- Conclusions
- References
- Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem
- Introduction
- Genetic Encodings
- Analysis
- Success Analysis
- Runtime Analysis
- Results
- Conclusion
- References
- Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling
- Research Goal: Identification of Models for Tumor Markers
- Optimization of Feature Selections and Modeling Parameters Using Evolutionary Algorithms
- Population Diversity Analysis
- Empirical Tests
- The AKH Data Base and Selected Tumor Markers
- Modeling Algorithms
- Optimization Algorithms
- Results
- Conclusion
- References
- Neural Networks Based System for Cancer Diagnosis Support
- Introduction
- Tumor Marker Values Based Cancer Diagnosis Support System
- Group of Separate Neural Networks for Individual Marker (Cnet)
- Feed Forward and Pattern Recognition Neural Networks for Tumor Marker Group
- Case Study: Tumor Markers Based Breast Cancer Diagnosis Support System
- Setup
- Tumor Markers and Blood Parameters Based Cancer Diagnosis Support System
- System with Additional Networks for Cancer Occurrence Prediction Trained with Blood Parameter Data
- Results
- References
- A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem
- Introduction
- Memetic Algorithm
- Tackling Duplicates
- Computational Results
- Conclusions and Future Work
- References
- Effects of Data Grouping on Calibration Measures of Classifiers
- Introduction
- Previous Work
- Experiments
- Artificial Data Sets
- Acute Myocardial Infarction Data Set
- Conclusion
- References
- Parameter Meta-optimization of Metaheuristic Optimization Algorithms
- Introduction
- Parameter Optimization
- Parameter Meta-optimization for HeuristicLab
- HeuristicLab
- Solution Encoding
- Fitness Function
- Operators
- Experimental Results
- Conclusion and Outlook
- References
- Systolic Optimization on GPU Platforms
- Introduction
- Systolic Computation and Related Work
- Graphic Processing Units
- Systolic Neighborhood Search
- Other Variations
- Experimentation
- The Subset Sum Problem
- Parameterization
- Results
- Conclusion and Future Works
- References
- Applying Heuristic Approaches for Predicting Defect-Prone Software Components
- Introduction
- Background and Study Design
- Results
- Q1: Predictions for the Next Version
- Q2: Predictions for New or Modified Components in the Next Version
- Q3: Predictions for Future Versions
- Conclusions and Future Work
- References
- Improved Packing and Routing of Vehicles with Compartments
- Introduction
- Variable Neighborhood Search for the VRPC
- Initial Solution
- Shaking Neighborhoods
- Insertion of Orders
- Solving the Packing Problem
- Experimental Results
- Conclusions
- References
- Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets
- Introduction
- Symbolic Regression
- Methods
- Offspring Selection
- Fitness Function
- Sampling
- Experiments
- Datasets
- Results
- Conclusion
- References
- Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization
- Keyword Cluster Optimization
- Population Diversity Analysis
- Empirical Tests
- Test Setup
- Single-Objective Test Results
- Multi-objective Test Results
- Conclusion and Outlook
- References
- A Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware
- Introduction
- Motivation
- Project Background
- System Comparison
- Algorithm Toolkit, Resource Manager, Job Manager and Scheduler
- Scheduling
- Scheduling System Layout
- Heuristic Approach
- 'Primer Design' Use Case
- Results
- Conclusion
- Outlook
- References
- Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab
- Introduction
- Purpose
- Definition
- Existing Fitness Landscape Analysis Methods
- Local Methods
- Global Methods
- Isotropy
- Implementation
- Results
- Conclusions
- References
- Particle Swarm Optimization with Two Swarms for the Discrete (r|p)-Centroid Problem
- Introduction
- The Model
- The Discrete PSO for the (r|p)-Centroid Problem
- Computational Experiments
- Concluding Remarks
- References
- ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints
- Introduction
- Fuzzy Model for VRPTW
- Vehicle Routing Problem with Fuzzy Time Windows Constraints
- Fuzzy Optimization Approach
- The ACO-GRASP-VNS Hybrid Solution
- Experimentation and Results
- Conclusion
- References
- Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines
- Introduction
- Related Work
- The Probabilistic Traveling Salesman Problem with Deadlines
- Heuristics for the PTSPD Based on Monte Carlo Sampling and Statistical Tests
- Computational Studies
- Experimental Setup
- Computational Results
- Conclusions
- References
- Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search
- Introduction
- Related Work
- Construction Algorithms
- Metaheuristics
- A GRASP-Like Algorithm
- Variable Neighborhood Search
- Experimental Results
- Conclusions
- References
- Market Basket Analysis of Retail Data: Supervised Learning Approach
- Introduction
- Formalization
- Supervised Learning Approach to Frequent Itemset Mining
- Bump Hunting
- Comparison of Apriori and PRIM
- Experiments
- Results
- Summary
- References
- Computer Aided Systems Optimization
- A Flexible and Reliable Radar Simulator in Matlab OOP for Optimizing Tracking Algorithms
- Introduction
- Solution Approach
- Implementation
- Exemplary Results
- References
- Frequency Estimation beyond Nyquist Using Sparse Approximation Methods
- Introduction
- Sampling Scheme
- Estimation Methods
- Sparse Approximation Methods
- Pseudo Inverse
- Simulations
- Simulation Parameters
- Simulation Results
- Conclusion
- References
- Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based Compensator Design
- Introduction
- System Representation
- Experimental Results
- Conclusions
- References
- Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems
- Introduction
- Spectral Environment for an LTE UE
- Basic Filter Properties
- Comparison of Different Filter Implementations
- Conclusions
- References
- Clustering and Data Aggregation as Factors of Wireless Sensor Network Lifetime
- Introduction
- Algorithms and Procedures Verified
- Testing Methodology
- Results
- Conclusions
- References
- Synthesis of Logic Circuits Based on Negative Differential Resistance Property
- Introduction
- Synthesis of GTG Gates
- PPRM Synthesis Algorithm
- SOP Synthesis Algorithm
- MTTG Synthesis
- Synthesis of MTTG Gates
- Conclusions
- References
- Simulation Based Optimization of Signal Processing for RFID
- Introduction
- Simulation Model
- Circuit Representation
- Switching State Space Representation
- Equalization
- Simulation Results
- Simulation Speed
- Performance Evaluation of Signal Processing Algorithm
- Conclusion
- References
- Model-Based System Design, Simulation, and Verification
- A Uniform Classification of Common Concurrency Errors
- Introduction
- Safety Errors
- Data Races
- Atomicity Violation
- Order Violations
- Deadlocks
- Missed Signals
- Liveness and Mixed Errors
- Livelocks and Non-progress Behaviour
- Blocked Threads
- Conclusions
- References
- An Easy to Use Infrastructure for Building Static Analysis Tools
- Introduction
- Intermediate Representation of Source Programs
- Intermediate Instruction Set
- The Code Listener Infrastructure
- The Code Listener API
- Conclusion
- References
- Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems
- Introduction
- Preliminaries
- Choice of the Directions for the Approximations
- Experimental Results
- Conclusion
- References
- Unfoldings of Bounded Hybrid Petri Nets
- Introduction
- Hybrid Petri Nets
- Continuous Petri Nets
- Hybrid Petri Nets
- Unfoldings
- Conclusion and Future Work
- References
- State Encoding and Minimization Methodology for Self-Checking Sequential Machines
- Introduction
- Self-Checking Circuits
- Totally Self Checking Sequential Machines
- Unordered Codes
- Necessary and Sufficient Conditions for ST
- Inputs, Outputs and Internal States Encoding
- Design of TSC/STC Circuits
- Self-Testing Property of Minimized Circuits
- Numerical Results
- Conclusion
- References
- A Novel Approach to Modechart Verification of Real-Time Systems
- Introduction
- Preliminaries
- Modechart Verification
- System Specification
- Computation Description
- Conversion to RRTL Formulae and Their Reduction
- RRTL Verification
- Experimental Results
- Conclusion and Future Work
- References
- Cloud Computing in Educational Applications Methods of Virtual Desktops Deployment
- Introduction
- Cloud Computing
- Benefits and Concerns
- Trends and Examples
- Problem Description
- Optimization Problem and Its Properties
- Numerical Experiments
- Conclusions
- References
- Computer Vision and Image Processing
- Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures
- Introduction
- Related Work
- System Description
- Background Subtraction
- Shadow and Highlight Detection
- Feature Extraction and Tracking
- Implementation and Results
- Summary and Conclusions
- References
- Precise Segmentation of the Optic Disc in Retinal Fundus Images
- Introduction
- Methodology
- Luminosity and Contrast Normalization
- Optic Disc Location
- Optic Disc Segmentation
- Results
- Conclusions
- References
- Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU
- Introduction
- Related Work
- Methodology
- Algorithm
- Parallel Implementation
- Experimental Setup
- Results and Analysis
- OpenMP
- GPGPU
- Conclusions
- References
- Surface Classification for Road Distress Detection System Enhancement
- Introduction
- Distress Detection System Overview
- Features Vector
- Gray-Level Co-occurrence Matrix (GLCM)
- Maximally Stable Extremal Regions (MSER)
- Local Binary Patterns (LBP)
- Experimental Results
- Conclusions and Future Work
- References
- Analysis of Recent Advances in Optical Flow Estimation Methods
- Introduction
- A General Framework for Optical Flow Estimation
- Recent Contributions
- Conclusions
- References
- Contextual and Skin Color Region Information for Face and Arms Location
- Introduction
- Methodology
- Skin Pixel Classification and Face Detection
- Arms Detection
- Experimental Results
- Conclusions and Future Research
- References
- Stereo-Vision Algorithm Based on Bio-Inspired Silicon Retinas for Implementation in Hardware
- Introduction
- Related Work
- Concept of the Event-Based Algorithm
- Results
- Conclusion
- References
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.