↓ Skip to main content

Computer Aided Systems Theory – EUROCAST 2007

Overview of attention for book
Cover of 'Computer Aided Systems Theory – EUROCAST 2007'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On Evolutionary Systems
  3. Altmetric Badge
    Chapter 2 A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions
  4. Altmetric Badge
    Chapter 3 Modelling an Activity in Wireless Sensors Network
  5. Altmetric Badge
    Chapter 4 Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan’s Paradox
  6. Altmetric Badge
    Chapter 5 Entropy-Based Modeling and Simulation of Evolution in Biological Systems
  7. Altmetric Badge
    Chapter 6 Logistic Regression as a Computational Tool for Dealing with Intransitivity
  8. Altmetric Badge
    Chapter 7 Synoptic Maps Forecast Using Spatio-temporal Models
  9. Altmetric Badge
    Chapter 8 Ontology-Based Modelling of Session Management Policies for Groupware Applications
  10. Altmetric Badge
    Chapter 9 Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft
  11. Altmetric Badge
    Chapter 10 A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks
  12. Altmetric Badge
    Chapter 11 An Open Modular System for Monitoring Remote Sensors
  13. Altmetric Badge
    Chapter 12 A Structure for Generalized Space-Time Processing: The Feedforward Visual Case
  14. Altmetric Badge
    Chapter 13 Arrays and Continuous Attributes
  15. Altmetric Badge
    Chapter 14 Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility
  16. Altmetric Badge
    Chapter 15 Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot
  17. Altmetric Badge
    Chapter 16 Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?
  18. Altmetric Badge
    Chapter 17 An Object-Oriented and Generic Compiler Generator
  19. Altmetric Badge
    Chapter 18 A k-NN Based Perception Scheme for Reinforcement Learning
  20. Altmetric Badge
    Chapter 19 On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes
  21. Altmetric Badge
    Chapter 20 Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials
  22. Altmetric Badge
    Chapter 21 Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling
  23. Altmetric Badge
    Chapter 22 A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth
  24. Altmetric Badge
    Chapter 23 On First-Passage Problems for Asymmetric One-Dimensional Diffusions
  25. Altmetric Badge
    Chapter 24 Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium
  26. Altmetric Badge
    Chapter 25 Neonatal EEG Sleep Stages Modelling by Temporal Profiles
  27. Altmetric Badge
    Chapter 26 On the Representation of Imperative Programs in a Logical Framework
  28. Altmetric Badge
    Chapter 27 Using Coq to Understand Nested Datatypes
  29. Altmetric Badge
    Chapter 28 Towards a Decentralized and Structured Network of P2P Public Information Screens
  30. Altmetric Badge
    Chapter 29 NowOnWeb: News Search and Summarization
  31. Altmetric Badge
    Chapter 30 Verification of Program Properties Using Different Theorem Provers: A Case Study
  32. Altmetric Badge
    Chapter 31 Temporal Equilibrium Logic: A First Approach
  33. Altmetric Badge
    Chapter 32 A Distributed Filesystem for Spare Storage
  34. Altmetric Badge
    Chapter 33 Generation of Indexes for Compiling Efficient Parsers from Formal Specifications
  35. Altmetric Badge
    Chapter 34 From Text to Knowledge
  36. Altmetric Badge
    Chapter 35 XML Rules for Enclitic Segmentation
  37. Altmetric Badge
    Chapter 36 Certified Genetic Algorithms: Crossover Operators for Permutations
  38. Altmetric Badge
    Chapter 37 Contextual Spelling Correction
  39. Altmetric Badge
    Chapter 38 Multiple Label Text Categorization on a Hierarchical Thesaurus
  40. Altmetric Badge
    Chapter 39 A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
  41. Altmetric Badge
    Chapter 40 Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic
  42. Altmetric Badge
    Chapter 41 An Integrated Approach to Filtering Phishing E-mails
  43. Altmetric Badge
    Chapter 42 Formal Reasoning on a Web Coordination System
  44. Altmetric Badge
    Chapter 43 A Multi-agent System for Information Retrieval
  45. Altmetric Badge
    Chapter 44 Knowledge Integration from Multidimensional Data Sources
  46. Altmetric Badge
    Chapter 45 Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses
  47. Altmetric Badge
    Chapter 46 Using Videogames in Special Education
  48. Altmetric Badge
    Chapter 47 Facing the Challenges of the European Higher Education Area: The dMath Project
  49. Altmetric Badge
    Chapter 48 A Study of Tool Support for the Evaluation of Programming Exercises
  50. Altmetric Badge
    Chapter 49 Aplying a Semantic Hypermedia Model to Adaptive Concept Maps in Education
  51. Altmetric Badge
    Chapter 50 Towards Virtual Course Evaluation Using Web Intelligence
  52. Altmetric Badge
    Chapter 51 KRRT: Knowledge Representation and Reasoning Tutor System
  53. Altmetric Badge
    Chapter 52 Fuzzy Adaptive Objects (Logic of Monitors as Agents)
  54. Altmetric Badge
    Chapter 53 E-Learning Platform as a Teaching Support in Psychology
  55. Altmetric Badge
    Chapter 54 Wiki Use in Learning for Topography Spanish Students
  56. Altmetric Badge
    Chapter 55 An Interactive Job Manager for Globus
  57. Altmetric Badge
    Chapter 56 Interactive Molecular Dynamics Simulations on the Grid
  58. Altmetric Badge
    Chapter 57 Extending the Globus Architecture with Role-Based Trust Management
  59. Altmetric Badge
    Chapter 58 GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms
  60. Altmetric Badge
    Chapter 59 An Intelligent Scatter with Estimation of Distribution for Tabu Search
  61. Altmetric Badge
    Chapter 60 A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search
  62. Altmetric Badge
    Chapter 61 A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources
  63. Altmetric Badge
    Chapter 62 Pattern-Based Verification for Trees
  64. Altmetric Badge
    Chapter 63 Using Verification Technology to Specify and Detect Malware
  65. Altmetric Badge
    Chapter 64 A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions
  66. Altmetric Badge
    Chapter 65 Efficient Model Checking of Applications with Input/Output
  67. Altmetric Badge
    Chapter 66 Ant Colony Optimization for Model Checking
  68. Altmetric Badge
    Chapter 67 On Combining 01X-Logic and QBF
  69. Altmetric Badge
    Chapter 68 Model Checking a Video–on–Demand Server Using McErlang
  70. Altmetric Badge
    Chapter 69 Compressing Propositional Proofs by Common Subproof Extraction
  71. Altmetric Badge
    Chapter 70 Verification of ACTL Properties by Bounded Model Checking
  72. Altmetric Badge
    Chapter 71 Application of Linear Hybrid Cellular Automata to Stream Ciphers
  73. Altmetric Badge
    Chapter 72 A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers
  74. Altmetric Badge
    Chapter 73 Variations on Neighborhoods in CA
  75. Altmetric Badge
    Chapter 74 Hardware Modelling of Cellular Automata: The Game of Life Case
  76. Altmetric Badge
    Chapter 75 Solving the Exploration’s Problem with Several Creatures More Efficiently
  77. Altmetric Badge
    Chapter 76 A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays
  78. Altmetric Badge
    Chapter 77 3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV
  79. Altmetric Badge
    Chapter 78 Helicopter Flight Dynamics Using Soft Computing Models
  80. Altmetric Badge
    Chapter 79 Movement Identification Analysis Based on Motion Capture
  81. Altmetric Badge
    Chapter 80 Algorithmic Lateral Inhibition Formal Model for Real-Time Motion Detection
  82. Altmetric Badge
    Chapter 81 Second Order Variational Optic Flow Estimation
  83. Altmetric Badge
    Chapter 82 An Application of Optical Flow: Slow Motion Effect on Streaming Image Sequences
  84. Altmetric Badge
    Chapter 83 Comparing Self-calibration Methods for Static Cameras
  85. Altmetric Badge
    Chapter 84 Automation of Snakes in Medical Images
  86. Altmetric Badge
    Chapter 85 Symmetric Optical Flow
  87. Altmetric Badge
    Chapter 86 Real-Time Stereo Visual SLAM in Large-Scale Environments Based on SIFT Fingerprints
  88. Altmetric Badge
    Chapter 87 Tool for Creation Realistic Animation of Human-Like Figures: TRAF
  89. Altmetric Badge
    Chapter 88 An Annotation Tool for Video Understanding
  90. Altmetric Badge
    Chapter 89 Temporal Constraints in Large Optical Flow Estimation
  91. Altmetric Badge
    Chapter 90 Comparing Improved Versions of ‘K-Means’ and ‘Subtractive’ Clustering in a Tracking Application
  92. Altmetric Badge
    Chapter 91 FPGA Real Time Lane Departure Warning Hardware System
  93. Altmetric Badge
    Chapter 92 Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector
  94. Altmetric Badge
    Chapter 93 Using Fisher Kernel on 2D-Shape Identification
  95. Altmetric Badge
    Chapter 94 Benefits of Plugin-Based Heuristic Optimization Software Systems
  96. Altmetric Badge
    Chapter 95 Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs
  97. Altmetric Badge
    Chapter 96 The Influence of Data Implementation in the Performance of Evolutionary Algorithms
  98. Altmetric Badge
    Chapter 97 Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System
  99. Altmetric Badge
    Chapter 98 Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions
  100. Altmetric Badge
    Chapter 99 Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification
  101. Altmetric Badge
    Chapter 100 Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method
  102. Altmetric Badge
    Chapter 101 Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem
  103. Altmetric Badge
    Chapter 102 Optimization Methods for Large-Scale Production Scheduling Problems
  104. Altmetric Badge
    Chapter 103 Self-adaptive Population Size Adjustment for Genetic Algorithms
  105. Altmetric Badge
    Chapter 104 Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows
  106. Altmetric Badge
    Chapter 105 Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem
  107. Altmetric Badge
    Chapter 106 Using GAs to Obtain an Optimal Set of Codes for an Ultrasonic Local Positioning System
  108. Altmetric Badge
    Chapter 107 Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem
  109. Altmetric Badge
    Chapter 108 Fast Generation of Production Schedules on a Single Machine
  110. Altmetric Badge
    Chapter 109 Determining Orbital Elements of Extrasolar Planets by Evolution Strategies
  111. Altmetric Badge
    Chapter 110 Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface
  112. Altmetric Badge
    Chapter 111 Selective Association in Associative Memories – An Extension of the Model NEUNET
  113. Altmetric Badge
    Chapter 112 Towards Constraint-Based Preservation in Systems Specification
  114. Altmetric Badge
    Chapter 113 Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow
  115. Altmetric Badge
    Chapter 114 Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm
  116. Altmetric Badge
    Chapter 115 Extending the Growing Neural Gas Classifier for Context Recognition
  117. Altmetric Badge
    Chapter 116 Neural Network Based Path Detection for an FMCW Positioning System
  118. Altmetric Badge
    Chapter 117 Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems
  119. Altmetric Badge
    Chapter 118 A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission
  120. Altmetric Badge
    Chapter 119 Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission
  121. Altmetric Badge
    Chapter 120 Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images
  122. Altmetric Badge
    Chapter 121 ”Chameleon” Software Defined Control Platform
  123. Altmetric Badge
    Chapter 122 Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals
  124. Altmetric Badge
    Chapter 123 Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit
  125. Altmetric Badge
    Chapter 124 Ant-Based Topology Convergence Algorithms for Resource Management in VANETs
  126. Altmetric Badge
    Chapter 125 Simulation of a Signal Arbitration Algorithm for a Sensor Array
  127. Altmetric Badge
    Chapter 126 Mini Robots for Soccer
  128. Altmetric Badge
    Chapter 127 Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip
  129. Altmetric Badge
    Chapter 128 An Embedded Vision Sensor for Robot Soccer
  130. Altmetric Badge
    Chapter 129 MTVS: A Multi-task Active-Vision System
  131. Altmetric Badge
    Chapter 130 DES-Based Coordination of Space-Sharing Mobile Robots
  132. Altmetric Badge
    Chapter 131 CASIMIRO, The Sociable Robot
  133. Altmetric Badge
    Chapter 132 Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses
  134. Altmetric Badge
    Chapter 133 The Anglet Experiment: A Cybercar on the Beach
  135. Altmetric Badge
    Chapter 134 Crossroad Cooperative Driving Based on GPS and Wireless Communications
  136. Altmetric Badge
    Chapter 135 Free Space in Front of an Autonomous Guided Vehicle in Inner-City Conditions
  137. Altmetric Badge
    Chapter 136 Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars
  138. Altmetric Badge
    Chapter 137 Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance
  139. Altmetric Badge
    Chapter 138 Road Approximation in Euclidean and v-Disparity Space: A Comparative Study
  140. Altmetric Badge
    Chapter 139 Vision-Based Blind Spot Detection Using Optical Flow
  141. Altmetric Badge
    Chapter 140 Ego-Motion Computing for Vehicle Velocity Estimation
  142. Altmetric Badge
    Chapter 141 PSPRT: A Case of Pervasive System for Public Road Transport
  143. Altmetric Badge
    Chapter 142 Study of Correlation Among Several Traffic Parameters Using Evolutionary Algorithms: Traffic Flow, Greenhouse Emissions and Network Occupancy
  144. Altmetric Badge
    Chapter 143 Robust Obstacle Detection Based on Dense Disparity Maps
  145. Altmetric Badge
    Chapter 144 Cooperative Maneuver Study Between Autonomous Cars: Overtaking
  146. Altmetric Badge
    Chapter 145 Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles
  147. Altmetric Badge
    Chapter 146 Secure and Scalable Communication in Vehicle Ad Hoc Networks
  148. Altmetric Badge
    Chapter 147 Speed Supervisor for Intelligent Vehicles
  149. Altmetric Badge
    Chapter 148 Efficient On-Board Stereo Vision Pose Estimation
  150. Altmetric Badge
    Chapter 149 Computer Aided Systems Theory – EUROCAST 2007
  151. Altmetric Badge
    Chapter 150 Active MIB: Addressing Challenges of Wireless Mesh Networks
  152. Altmetric Badge
    Chapter 151 Fuzzy Integration of Web Data Sources for Data Warehousing
  153. Altmetric Badge
    Chapter 152 Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems
  154. Altmetric Badge
    Chapter 153 A Practical Agent-Based Approach for Pattern Layout Design
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
18 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Aided Systems Theory – EUROCAST 2007
Published by
Springer Berlin Heidelberg, January 2007
DOI 10.1007/978-3-540-75867-9
ISBNs
978-3-54-075866-2, 978-3-54-075867-9
Authors

Moreno-Díaz, Roberto, Pichler, Franz, Quesada Arencibia, Alexis

Editors

Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 18 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Brazil 2 11%
Spain 1 6%
Germany 1 6%
Portugal 1 6%
Unknown 13 72%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 39%
Student > Master 3 17%
Professor 3 17%
Student > Bachelor 1 6%
Professor > Associate Professor 1 6%
Other 1 6%
Unknown 2 11%
Readers by discipline Count As %
Computer Science 10 56%
Engineering 2 11%
Psychology 1 6%
Business, Management and Accounting 1 6%
Unknown 4 22%