Muutke küpsiste eelistusi

Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers 2001 ed. [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 672 pages, kõrgus x laius: 235x155 mm, kaal: 2090 g, XI, 672 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 2178
  • Ilmumisaeg: 28-Nov-2001
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 354042959X
  • ISBN-13: 9783540429593
Teised raamatud teemal:
  • Pehme köide
  • Hind: 95,02 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 111,79 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 672 pages, kõrgus x laius: 235x155 mm, kaal: 2090 g, XI, 672 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 2178
  • Ilmumisaeg: 28-Nov-2001
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 354042959X
  • ISBN-13: 9783540429593
Teised raamatud teemal:
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build 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 EUROCAST89. This was 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, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994.

Muu info

Springer Book Archives
Invited Lectures
Grobner Bases: A Short Introduction for Systems Theorists
1(19)
B. Buchberger
Design for Reuse via Structuring Techniques for ASMs
20(16)
E. Borger
Computer Aided Systems Theory
Mathematical and Logic Formalisms
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
36(9)
M. Affenzeller
F. Pichler
R. Mittelmann
A Holarchical Organized Design Assistant for Hierarchical Decompositions
45(7)
S. Meine
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
52(15)
W. Jacak
K. Proll
S. Dreiseitl
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
67(12)
E. Di Nardo
A.G. Nobile
E. Pirozzi
L.M. Ricciardi
Hybrid Systems' Properties - Classification and Relation to Computer Science
79(15)
T. Stauner
Assertion-Based Analysis of Hybrid Systems with PVS
94(16)
E. Abraham-Mumm
U. Hannemann
M. Steffen
Algebraic Description of Physical Systems
110(15)
H. von Issendorff
Information and Decision
Information Structure and Logical Design of Social Rules
125(14)
T. Shimogawa
Towards a Generic Model of Information Processing Systems
139(7)
G. Nemeth
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
146(14)
M. V. Hurtado
J. Parets
A Proposal for Project Management Using CommonKADS
160(12)
I. del Aguila
S. Tunez
J. Canadas
A. Bosch
R. Marin
A General Planning Method for Allocation of Human Resource Groups
172(10)
M. Mauerkirchner
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
182(14)
M. Schwaninger
A Planning under Uncertainty Model
196(13)
E. Paniagua-Aris
J. T. Palma-Mendez
F. Martin-Rubio
Complexity
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
209(14)
J.F. Bienvenido
I.M. Flores-Parra
R. Guirado
R.L. Marin
Complexity Analysis of Systems from a Functional and Technical Viewpoint
223(10)
S. Dierneder
R. Scheidl
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
233(9)
J. D. Gonzalez Cobas
J. A. Lopez Brugos
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
242(15)
C.A. P. Campani
P. B. Menezes
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution
257(13)
J. Scharinger
Toward a Formalization of Evolutionary Hypermedia Systems Based on System Theory
270(15)
L. Garcia-Cabrera
M.J. Rodriguez-Fortiz
J. Parets-Llorca
Optimization Problems Categories
285(15)
L. A. dos Santos Leal
P.B. Menezes
D. Moraes Claudio
L. Vieira Toscani
CAST in Neural-like Computation. Applications
Systems Methodology for Classical Neural Nets at Various Levels
300(16)
R. Moreno-Diaz
G. de Blasio
Biologically Based CAST-mechanism for Visual Motion Analysis
316(12)
A. Quesada-Arencibia
R. Moreno-Diaz, jr.
M. Aleman-Flores
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach
328(15)
C. P. Suarez Araujo
P. Fernandez Lopez
P. Garcia Baez
An Online Information Retrieval Systems by Means of Artificial Neural Networks
343(9)
M. E. Zorrilla
J. L. Crespo
E. Mora
Kinematic in Robotics by the Morphogenetic Neuron
352(17)
G. Resconi
A. Borboni
R. Faglia
M. Tiboni
Analysis and Verification Queries over Object-Oriented Petri Nets
369(16)
M. Ceska
V. Janousek
T. Vojnar
CAST in Automation and Control
Integrated Design and Implementation of Digital Controllers
385(8)
P. Albertos
A. Crespo
Symbolic Computation Tools for Dynamical Nonlinear Control Systems
393(12)
J. Rodriguez-Millan
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica
405(16)
J. Rodriguez-Millan
Towards a Computer-Aided Design of Reactive Systems
421(16)
M. Frappier
R. St-Denis
Contributions to the Control and Stabilization of the Pole-Cart System
437(13)
A. Raya
D. Maravall
A Qualitative System as a Frame to Control Unmanned Vehicles
450(7)
R. Garcia Rosa
T. de Pedro
Hyper-Automation System Applied to Geometry Demonstration Environment
457(12)
J. P. Machado
M. R. Notare
S. A. da Costa
T. A. Diverio
P. B. Menezes
Computer Algebra and Automated Theorem Proving
The PCS Prover in THEOREMA
469(10)
B. Buchberger
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
479(15)
T. Ida
M. Marin
T. Suzuki
Classifying Isomorphic Residue Classes
494(15)
A. Meier
M. Pollet
V. Sorge
CAL: A Computer Assisted Learning System for Computation and Logic
509(16)
M. Sato
Y. Kameyama
T. Izumi
A Set Theory Prover Within Theorema
525(15)
W. Windsteiger
Functional Programming and λ Calculus
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
540(15)
M. Barreiro
V. M. Gulias
J.J. Sanchez
S. Jorge
Hidden Specification of a Functional System
555(15)
C. Dominguez
L. Lamban
V. Pascual
J. Rubio
Distributed Execution of Functional Programs Using the JVM
570(13)
A. R. Du Bois
A. C. da Rocha Costa
Fusion in Coq
583(14)
J.L. Freire Nistal
J.E. Freire Branas
A. Blanco Ferro
J. J. Sanchez Penas
A Language Prototyping Tool Based on Semantic Building Blocks
597(15)
J.E. Labra Gayo
J.M. Cueva Lovelle
M.C. Luengo Diez
B.M. Gonzalez Rodriguez
Verifying an Applicative ATP Using Multiset Relations
612(15)
F.J. Martin-Mateos
J.A. Alonso
M.J. Hidalgo
J.L. Ruiz-Reina
Adding Traces to a Lazy Monadic Evaluator
627(15)
C. Pareja
R. Pena
F. Rubio
C. Segura
Functional Vs Object-Oriented Distributed Languages
642(15)
R.F. Pointon
S. Priebe
H.-W. Loidl
R. Loogen
P.W. Trinder
Persistent Haskell
657(12)
J. Quintela
J.J. Sanchez
Author Index 669