Coverart for item
The Resource Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)

Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)

Label
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings
Title
Computer aided systems theory - EUROCAST'99
Title remainder
a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings
Statement of responsibility
Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Title variation
EUROCAST'99, computer aided systems theory
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
620/.0042/0285
Illustrations
illustrations
Index
index present
LC call number
TA345
LC item number
.I583 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
International Workshop on Computer Aided Systems Theory
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1936-
http://library.link/vocab/relatedWorkOrContributorName
  • Pichler, Franz
  • Moreno-Díaz, Roberto
  • Kopacek, Peter
Series statement
Lecture notes in computer science,
Series volume
1798
http://library.link/vocab/subjectName
  • Computer-aided engineering
  • Computer-aided design
Label
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
The CAST Project: Experiences and Future Perspectives / F. Pichler -- Cast Methods in Biocybernetics / R. Moreno-Diaz -- On the Way to the Next Generation of Robots / P. Kopacek -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language / E. Messina, Ch. Dabrowski and H.-M. Huang / [et al.] -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis / S. Dierneder and R. Scheidl -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? / G. Dittrich -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications / G. Del Castillo and U. Glasser -- Patterns for Embedded Systems Design / M. Sveda -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets / M. Ceska, V. Janousek and T. Vojnar -- Representing Petri Nets in an Action Based Formalism / R. P. Otero and J. M. Rodriguez -- Simplification of Proof Procedures Based on the Path Condition Concepts / M. Larnac, J. Magnier and V. Chapurlat -- Parallel Processor Array for Tomographic Reconstruction Algorithms / Th. Schmitt, D. Fimmel and M. Kortke / [et al.] -- A Formalized Description Approach to Continuos Time Systems / E. Jharko -- Modeling Complex Systems by Multi-agent Holarchies / F. Pichler -- Partition of Systems by General System Logical Theory (GSLT) / G. Resconi -- Multiagent Approach to Intelligent Control of Robot / W. Jacak and K. Proll -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools / R. Gernert and P. John -- System Integration Techniques in Robotics / L. Preucil and V. Marik -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots / Th. Borangiu, M. Manu and V. E. Oltean -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations / J. Voros -- Matrix Model of Robot in Matlab -- Simulink / F. Solc -- Integrating Two Dynamic Models of Business-Logistics Plant / R. Sato -- Assembly Reengineering Model / D. Noe and P. Peternel -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation / H. Zebedin -- Modeling the Emergence of Social Entities / G. Hanappi -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) / E. Hanappi-Egger -- Sociological Aspects of Data Acquisition and Processing / R. Klempous, B. Lysakowska and J. Nikodem -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference / M. Cabarcos, R. P. Otero and S. G. Pose -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation / E. Di Nardo, A. G. Nobile and E. Pirozzi / [et al.] -- Distributed Simulation with Multimedia Interface / P. Corcuera, M. Garces and E. Mora / [et al.] -- Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem / H. Lehmann -- Floating Car Data Analysis of Urban Road Networks / B. Kwella and H. Lehmann -- Information Lost in the Hologram Subdividing Process / G. Mulak, L. Magiera and A. Mulak -- Electronic Performance Support Systems Challenges and Problems / G. Chroust -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements / P. Grunbacher and J. Parets-Llorca -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching) / Y. Yamada, Y. Komura and J. Mizutani / [et al.] -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station / S. Fatikow, J. Seyfried and A. Faizullin -- A Formalisation of the Evolution of Software Systems / J. J. Torres Carbonell and J. Parets-Llorca -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems / M. J. Rodriguez, J. Parets and P. Paderewski / [et al.] -- Vertical Partitioning Algorithms in Distributed Databases / M. E. Zorilla, E. Mora and P. Corcuera / [et al.] -- Decision Based Adaptive Model for Managing Software Development Projects / M. Mauerkirchner -- A Fractal Software Complexity Metric Analyser / V. Podgorelec, P. Kokol and M. Zorman -- Systems Approach to Attention Mechanisms in the Visual Pathway / R. Moreno-Diaz, jr., J. C. Quevedo-Losada and A. Quesada-Arencibia -- On Completeness in Early Vision from Systems Theory / O. Bolivar-Toledo, J. A. Munoz Blanco and S. Candela Sola / [et al.] -- McCulloch Program II in Artificial Systems and Lastres Theorem / E. Rovaris, F. Eugenio and R. Moreno-Diaz -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases / M. Taboada, J. Des and M. Arguello / [et al.] -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems / Z. Bubnicki -- Variable-Structure Learning Controllers / A. Sala, P. Albertos and M. Olivares -- An Identification Algorithms Toolkit for Intelligent Control Systems / K. Chernyshov and F. Pashchenko -- Non Selective Gas Sensors and Artificial Neural Networks -- Determination of Gas Mixture / B. W. Licznerski, P. M. Szecowka and A. Szczurek / [et al.] -- The Supervision of Hybrid Control Systems -- A Layered Architecture / V. E. Oltean, T. Borangiu and M. Manu -- Automatic Players for Computer Games / Werner DePauli-Schimanovich-Gottig
Control code
44702174
Dimensions
24 cm
Extent
x, 602 pages
Isbn
9783540678229
Isbn Type
(softcover : alk. paper)
Lccn
00061233
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
The CAST Project: Experiences and Future Perspectives / F. Pichler -- Cast Methods in Biocybernetics / R. Moreno-Diaz -- On the Way to the Next Generation of Robots / P. Kopacek -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language / E. Messina, Ch. Dabrowski and H.-M. Huang / [et al.] -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis / S. Dierneder and R. Scheidl -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? / G. Dittrich -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications / G. Del Castillo and U. Glasser -- Patterns for Embedded Systems Design / M. Sveda -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets / M. Ceska, V. Janousek and T. Vojnar -- Representing Petri Nets in an Action Based Formalism / R. P. Otero and J. M. Rodriguez -- Simplification of Proof Procedures Based on the Path Condition Concepts / M. Larnac, J. Magnier and V. Chapurlat -- Parallel Processor Array for Tomographic Reconstruction Algorithms / Th. Schmitt, D. Fimmel and M. Kortke / [et al.] -- A Formalized Description Approach to Continuos Time Systems / E. Jharko -- Modeling Complex Systems by Multi-agent Holarchies / F. Pichler -- Partition of Systems by General System Logical Theory (GSLT) / G. Resconi -- Multiagent Approach to Intelligent Control of Robot / W. Jacak and K. Proll -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools / R. Gernert and P. John -- System Integration Techniques in Robotics / L. Preucil and V. Marik -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots / Th. Borangiu, M. Manu and V. E. Oltean -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations / J. Voros -- Matrix Model of Robot in Matlab -- Simulink / F. Solc -- Integrating Two Dynamic Models of Business-Logistics Plant / R. Sato -- Assembly Reengineering Model / D. Noe and P. Peternel -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation / H. Zebedin -- Modeling the Emergence of Social Entities / G. Hanappi -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) / E. Hanappi-Egger -- Sociological Aspects of Data Acquisition and Processing / R. Klempous, B. Lysakowska and J. Nikodem -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference / M. Cabarcos, R. P. Otero and S. G. Pose -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation / E. Di Nardo, A. G. Nobile and E. Pirozzi / [et al.] -- Distributed Simulation with Multimedia Interface / P. Corcuera, M. Garces and E. Mora / [et al.] -- Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem / H. Lehmann -- Floating Car Data Analysis of Urban Road Networks / B. Kwella and H. Lehmann -- Information Lost in the Hologram Subdividing Process / G. Mulak, L. Magiera and A. Mulak -- Electronic Performance Support Systems Challenges and Problems / G. Chroust -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements / P. Grunbacher and J. Parets-Llorca -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching) / Y. Yamada, Y. Komura and J. Mizutani / [et al.] -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station / S. Fatikow, J. Seyfried and A. Faizullin -- A Formalisation of the Evolution of Software Systems / J. J. Torres Carbonell and J. Parets-Llorca -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems / M. J. Rodriguez, J. Parets and P. Paderewski / [et al.] -- Vertical Partitioning Algorithms in Distributed Databases / M. E. Zorilla, E. Mora and P. Corcuera / [et al.] -- Decision Based Adaptive Model for Managing Software Development Projects / M. Mauerkirchner -- A Fractal Software Complexity Metric Analyser / V. Podgorelec, P. Kokol and M. Zorman -- Systems Approach to Attention Mechanisms in the Visual Pathway / R. Moreno-Diaz, jr., J. C. Quevedo-Losada and A. Quesada-Arencibia -- On Completeness in Early Vision from Systems Theory / O. Bolivar-Toledo, J. A. Munoz Blanco and S. Candela Sola / [et al.] -- McCulloch Program II in Artificial Systems and Lastres Theorem / E. Rovaris, F. Eugenio and R. Moreno-Diaz -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases / M. Taboada, J. Des and M. Arguello / [et al.] -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems / Z. Bubnicki -- Variable-Structure Learning Controllers / A. Sala, P. Albertos and M. Olivares -- An Identification Algorithms Toolkit for Intelligent Control Systems / K. Chernyshov and F. Pashchenko -- Non Selective Gas Sensors and Artificial Neural Networks -- Determination of Gas Mixture / B. W. Licznerski, P. M. Szecowka and A. Szczurek / [et al.] -- The Supervision of Hybrid Control Systems -- A Layered Architecture / V. E. Oltean, T. Borangiu and M. Manu -- Automatic Players for Computer Games / Werner DePauli-Schimanovich-Gottig
Control code
44702174
Dimensions
24 cm
Extent
x, 602 pages
Isbn
9783540678229
Isbn Type
(softcover : alk. paper)
Lccn
00061233
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...