↓ Skip to main content

Computer Aided Systems Theory – EUROCAST 2005

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing
  3. Altmetric Badge
    Chapter 2 Approximation Problems Categories
  4. Altmetric Badge
    Chapter 3 Computation of Partial Automata Through Span Composition
  5. Altmetric Badge
    Chapter 4 Degenerate Arrays: A Framework for Uncertain Data Tables
  6. Altmetric Badge
    Chapter 5 Computer Aided Systems Theory – EUROCAST 2005
  7. Altmetric Badge
    Chapter 6 Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine
  8. Altmetric Badge
    Chapter 7 Optimization of a Class of Uncertain Systems Based on Uncertain Variables
  9. Altmetric Badge
    Chapter 8 Computational Simulation of Categorical Constructions
  10. Altmetric Badge
    Chapter 9 Composing Transitions into Transactions in UML Diagrams
  11. Altmetric Badge
    Chapter 10 Theory-Building with System Dynamics: Principles and Practices
  12. Altmetric Badge
    Chapter 11 Ontology Integration for Statistical Information
  13. Altmetric Badge
    Chapter 12 On Recursive Functions and Well–Founded Relations in the Calculus of Constructions
  14. Altmetric Badge
    Chapter 13 Longest Sorted Sequence Algorithm for Parallel Text Alignment
  15. Altmetric Badge
    Chapter 14 Information Retrieval and Large Text Structured Corpora
  16. Altmetric Badge
    Chapter 15 Meteorological Image Descriptors
  17. Altmetric Badge
    Chapter 16 Towards a Certified and Efficient Computing of Gröbner Bases
  18. Altmetric Badge
    Chapter 17 CheapTB: A Low Cost of Operation Distributed Filesystem
  19. Altmetric Badge
    Chapter 18 Spelling Correction on Technical Documents
  20. Altmetric Badge
    Chapter 19 Verification of Language Based Fault-Tolerance
  21. Altmetric Badge
    Chapter 20 Applying Stacking and Corpus Transformation to a Chunking Task
  22. Altmetric Badge
    Chapter 21 Extracting Computer Algebra Programs from Statements
  23. Altmetric Badge
    Chapter 22 Integrating Syntactic Information by Means of Data Fusion Techniques
  24. Altmetric Badge
    Chapter 23 Unsupervised Learning in Information Retrieval Using NOW Architectures
  25. Altmetric Badge
    Chapter 24 An Iterative Method for Mining Frequent Temporal Patterns
  26. Altmetric Badge
    Chapter 25 Data Mining with Scatter Search
  27. Altmetric Badge
    Chapter 26 Web Usage Mining Project for Improving Web-Based Learning Sites
  28. Altmetric Badge
    Chapter 27 Similarity Queries in Data Bases Using Metric Distances – from Modeling Semantics to Its Maintenance
  29. Altmetric Badge
    Chapter 28 A WEB-CASE Tool Prototype for Hybrid Software Development
  30. Altmetric Badge
    Chapter 29 An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems
  31. Altmetric Badge
    Chapter 30 The Gaps of the Thesaurus Wordnet Used in Information Retrieval
  32. Altmetric Badge
    Chapter 31 Fuzzy Adaptive Objects (Logic of Monitors)
  33. Altmetric Badge
    Chapter 32 A Model-Based Architecture for Fuzzy Temporal Diagnosis
  34. Altmetric Badge
    Chapter 33 Extension of Ontologies Assisted by Automated Reasoning Systems
  35. Altmetric Badge
    Chapter 34 A Software Architecture for Effective Document Identifier Reassignment
  36. Altmetric Badge
    Chapter 35 An Ontology for Reusing Synthetic Tasks
  37. Altmetric Badge
    Chapter 36 A Tractable Subclass of Fuzzy Constraint Networks
  38. Altmetric Badge
    Chapter 37 Parallel State Space Generation and Exploration on Shared-Memory Architectures
  39. Altmetric Badge
    Chapter 38 Towards Automated Controlling of Human Projectworking Based on Multiagent Systems
  40. Altmetric Badge
    Chapter 39 Tree-Structured Legendre Multi-wavelets
  41. Altmetric Badge
    Chapter 40 Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams
  42. Altmetric Badge
    Chapter 41 A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines
  43. Altmetric Badge
    Chapter 42 An Excellent Permutation Operator for Cryptographic Applications
  44. Altmetric Badge
    Chapter 43 Fault Cryptanalysis of ElGamal Signature Scheme
  45. Altmetric Badge
    Chapter 44 Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions
  46. Altmetric Badge
    Chapter 45 Algorithm for Proving the Knowledge of an Independent Vertex Set
  47. Altmetric Badge
    Chapter 46 Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers
  48. Altmetric Badge
    Chapter 47 Protocol Analysis for Concrete Environments
  49. Altmetric Badge
    Chapter 48 Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems
  50. Altmetric Badge
    Chapter 49 Image Processing Techniques for Braille Writing Recognition
  51. Altmetric Badge
    Chapter 50 Retinal Based Authentication via Distributed Web Application
  52. Altmetric Badge
    Chapter 51 Skeleton Extraction of 2D Objects Using Shock Wavefront Detection
  53. Altmetric Badge
    Chapter 52 Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions
  54. Altmetric Badge
    Chapter 53 Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm
  55. Altmetric Badge
    Chapter 54 Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment
  56. Altmetric Badge
    Chapter 55 A Wiener Neuronal Model with Refractoriness
  57. Altmetric Badge
    Chapter 56 On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential
  58. Altmetric Badge
    Chapter 57 Feedback Effects in Simulated Stein’s Coupled Neurons
  59. Altmetric Badge
    Chapter 58 Upcrossing First Passage Times for Correlated Gaussian Processes
  60. Altmetric Badge
    Chapter 59 Convergence of Iterations
  61. Altmetric Badge
    Chapter 60 Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography
  62. Altmetric Badge
    Chapter 61 Parallel Progressive Multiple Sequence Alignment
  63. Altmetric Badge
    Chapter 62 Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina
  64. Altmetric Badge
    Chapter 63 Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System
  65. Altmetric Badge
    Chapter 64 Soft Computing and Geometrical Control for Computer Aided Driving
  66. Altmetric Badge
    Chapter 65 A Monocular Solution to Vision-Based ACC in Road Vehicles
  67. Altmetric Badge
    Chapter 66 Multi-objective Dynamic Optimization for Automatic Parallel Parking
  68. Altmetric Badge
    Chapter 67 Electric Power Steering Automation for Autonomous Driving
  69. Altmetric Badge
    Chapter 68 Computer Vision Application: Real Time Smart Traffic Light
  70. Altmetric Badge
    Chapter 69 Permanency Memories in Scene Depth Analysis
  71. Altmetric Badge
    Chapter 70 Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision
  72. Altmetric Badge
    Chapter 71 Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles
  73. Altmetric Badge
    Chapter 72 Advances in Robotics
  74. Altmetric Badge
    Chapter 73 Current and Future Trends and Challenges in Robot Soccer
  75. Altmetric Badge
    Chapter 74 Strategy and Communication in Robotic Soccer Game
  76. Altmetric Badge
    Chapter 75 Rete Algorithm Applied to Robotic Soccer
  77. Altmetric Badge
    Chapter 76 Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems
  78. Altmetric Badge
    Chapter 77 A Controller Network for a Humanoid Robot
  79. Altmetric Badge
    Chapter 78 Programming by Integration in Robotics
  80. Altmetric Badge
    Chapter 79 A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
  81. Altmetric Badge
    Chapter 80 Global Modal Logics for Multiagent Systems: A Logical Fibering Approach
  82. Altmetric Badge
    Chapter 81 Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems
  83. Altmetric Badge
    Chapter 82 Hierarchical Control of a Distributed Solar Collector Field
  84. Altmetric Badge
    Chapter 83 Explanatory Analysis of Data from a Distributed Solar Collector Field
Overall attention for this book and its chapters
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
24 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 2005
Published by
Springer Berlin Heidelberg, October 2005
DOI 10.1007/11556985
ISBNs
978-3-54-029002-5, 978-3-54-031829-3
Editors

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

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 2 8%
United States 2 8%
Spain 1 4%
Unknown 19 79%

Demographic breakdown

Readers by professional status Count As %
Student > Master 5 21%
Student > Bachelor 4 17%
Professor > Associate Professor 3 13%
Professor 2 8%
Student > Ph. D. Student 2 8%
Other 5 21%
Unknown 3 13%
Readers by discipline Count As %
Computer Science 7 29%
Engineering 5 21%
Business, Management and Accounting 3 13%
Mathematics 2 8%
Environmental Science 1 4%
Other 3 13%
Unknown 3 13%