Computer Aided Systems Theory - EUROCAST 2005 (Record no. 91285)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 10006nam a22006495i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-31829-3 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240730182244.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 100725s2005 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540318293 |
-- | 978-3-540-31829-3 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/11556985 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | TA345-345.5 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UGC |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM007000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UGC |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 670.285 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | Computer Aided Systems Theory - EUROCAST 2005 |
Medium | [electronic resource] : |
Remainder of title | 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / |
Statement of responsibility, etc. | edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2005. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Date of production, publication, distribution, manufacture, or copyright notice | 2005. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XIV, 634 p. |
Other physical details | online resource. |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS | |
File type | text file |
Encoding format | |
Source | rda |
490 1# - SERIES STATEMENT | |
Series statement | Theoretical Computer Science and General Issues, |
International Standard Serial Number | 2512-2029 ; |
Volume/sequential designation | 3643 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine -- Optimization of a Class of Uncertain Systems Based on Uncertain Variables -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical Information -- Intelligent Information Systems -- On Recursive Functions and Well-Founded Relations in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information Retrieval and Large Text Structured Corpora -- Meteorological Image Descriptors -- Towards a Certified and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling Correction on Technical Documents -- Verification of Language Based Fault-Tolerance -- Applying Stacking and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements -- Integrating Syntactic Information by Means of Data Fusion Techniques -- Unsupervised Learning in Information Retrieval Using NOW Architectures -- An Iterative Method for Mining Frequent Temporal Patterns -- Information Applications Components -- Data Mining with Scatter Search -- Web Usage Mining Project for Improving Web-Based Learning Sites -- Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance -- AWEB-CASE Tool Prototype for Hybrid Software Development -- An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems -- The Gaps of the Thesaurus Wordnet Used in Information Retrieval -- Fuzzy Adaptive Objects (Logic of Monitors) -- A Model-Based Architecture for Fuzzy Temporal Diagnosis -- Extension of Ontologies Assisted by Automated Reasoning Systems -- A Software Architecture for Effective Document Identifier Reassignment -- An Ontology for Reusing Synthetic Tasks -- A Tractable Subclass of Fuzzy Constraint Networks -- Parallel State Space Generation and Exploration on Shared-Memory Architectures -- Towards Automated Controlling of Human Projectworking Based on Multiagent Systems -- Cryptography and Spectral Analysis -- Tree-Structured Legendre Multi-wavelets -- Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams -- A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines -- An Excellent Permutation Operator for Cryptographic Applications -- Fault Cryptanalysis of ElGamal Signature Scheme -- Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set -- Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers -- Protocol Analysis for Concrete Environments -- Computer Vision -- Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems -- Image Processing Techniques for Braille Writing Recognition -- Retinal Based Authentication via Distributed Web Application -- Skeleton Extraction of 2D Objects Using Shock Wavefront Detection -- Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions.-Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm -- Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment -- Biocomputing -- A Wiener Neuronal Model with Refractoriness -- On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential -- Feedback Effects in Simulated Stein's Coupled Neurons -- Upcrossing First Passage Times for Correlated Gaussian Processes -- Convergence of Iterations -- Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina -- Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System -- Intelligent Vehicular Sytems -- Soft Computing and Geometrical Control for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective Dynamic Optimization for Automatic Parallel Parking -- Electric Power Steering Automation for Autonomous Driving -- Computer Vision Application: Real Time Smart Traffic Light -- Permanency Memories in Scene Depth Analysis -- Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision -- Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles -- Robotic Soccer, Robotics and Control -- Advances in Robotics -- Current and Future Trends and Challenges in Robot Soccer -- Strategy and Communication in Robotic Soccer Game -- Rete Algorithm Applied to Robotic Soccer -- Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems -- A Controller Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism for the Evaluation of C-Spacefor Redundant Robots -- Global Modal Logics for Multiagent Systems: A Logical Fibering Approach -- Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems -- Hierarchical Control of a Distributed Solar Collector Field -- Explanatory Analysis of Data from a Distributed Solar Collector Field. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas February 1989), under the name EUROCAST 1989, a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001) and Las Palmas (2003) in addition to an extra-European CAST conference in Ottawa in 1994. Selected papers from those meetings were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational Journal. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer-aided engineering. |
9 (RLIN) | 14016 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer simulation. |
9 (RLIN) | 5106 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Artificial intelligence. |
9 (RLIN) | 3407 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science. |
9 (RLIN) | 9832 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Microprocessors. |
9 (RLIN) | 127644 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer architecture. |
9 (RLIN) | 3513 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Machine theory. |
9 (RLIN) | 127645 |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer-Aided Engineering (CAD, CAE) and Design. |
9 (RLIN) | 31735 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Modelling. |
9 (RLIN) | 127646 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Artificial Intelligence. |
9 (RLIN) | 3407 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Science Logic and Foundations of Programming. |
9 (RLIN) | 42203 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Processor Architectures. |
9 (RLIN) | 127647 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Formal Languages and Automata Theory. |
9 (RLIN) | 127648 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Moreno-Díaz, Roberto. |
Relator term | editor. |
Relationship | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
9 (RLIN) | 127649 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Pichler, Franz. |
Relator term | editor. |
Relationship | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
9 (RLIN) | 127650 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Quesada Arencibia, Alexis. |
Relator term | editor. |
Relationship | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
9 (RLIN) | 127651 |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
9 (RLIN) | 127652 |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783540290025 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783540815839 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Theoretical Computer Science and General Issues, |
International Standard Serial Number | 2512-2029 ; |
Volume/sequential designation | 3643 |
9 (RLIN) | 127653 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/11556985">https://doi.org/10.1007/11556985</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-Lecture Notes in CS |
No items available.