Muutke küpsiste eelistusi

E-raamat: Computer Aided Systems Theory - EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 3643
  • Ilmumisaeg: 19-Oct-2005
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540318293
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 3643
  • Ilmumisaeg: 19-Oct-2005
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540318293
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Formal Approaches in Modelling
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing
1(8)
Jose Mira Mira
Approximation Problems Categories
9(6)
Liara Aparecida dos Santos Leal
Dalcidio Moraes Claudio
Laira Vieira Toscani
Paulo Blauth Menezes
Computation of Partial Automata Through Span Composition
15(6)
Karina Girardi Roggia
Marnes Augusto Hoff
Paulo Blauth Menezes
Degenerate Arrays: A Framework for Uncertain Data Tables
21(6)
Margaret Miro-Julia
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix
27(6)
Przemyslaw M. Szecowka
Andrzej Szczurek
Maciej Mazurowski
Benedykt W. Licznerski
Franz Pichler
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine
33(5)
Jose Antonio Martin
Teresa de Pedro
Carlos Gonzalez
Ricardo Garcia
Luis Arguelles
Jose M. Rivas
Javier Torano
Optimization of a Class of Uncertain Systems Based on Uncertain Variables
38(6)
Zdzislaw Bubnicki
Computational Simulation of Categorical Constructions
44(6)
Rodrigo Born Vieira
Paulo Blauth Menezes
Composing Transitions into Transactions in UML Diagrams
50(6)
Julio Pereira Machado
Paulo Blauth Menezes
Theory-Building with System Dynamics: Principles and Practices
56(7)
Markus Schwaninger
Thomas K. Hamann
Ontology Integration for Statistical Information
63(6)
Wilfried Grossmann
Markus Moschner
Intelligent Information Systems
On Recursive Functions and Well--Founded Relations in the Calculus of Constructions
69(12)
Jose L. Freire
Enrique Freire
Antonio Blanco
Longest Sorted Sequence Algorithm for Parallel Text Alignment
81(10)
Tiago Ildefonso
Gabriel Pereira Lopes
Information Retrieval and Large Text Structured Corpora
91(10)
Fco. Mario Barcala
Miguel A. Molinero
Eva Dominguez
Meteorological Image Descriptors
101(10)
Jose L. Crespo
Pilar Bernardos
Marta E. Zorrilla
Eduardo Mora
Towards a Certified and Efficient Computing of Grobner Bases
111(10)
J. Santiago Jorge
Victor M. Gulias
Jose L. Freire
Juan J. Sanchez
CheapTB: A Low Cost of Operation Distributed Filesystem
121(10)
Javier Paris
Victor M. Gulias
Carlos Abalde
Spelling Correction on Technical Documents
131(9)
Manuel Vilares
Juan Otero
Jorge Grana
Verification of Language Based Fault-Tolerance
140(10)
Clara Benac Earle
Lars-Ake Fredlund
Applying Stacking and Corpus Transformation to a Chunking Task
150(9)
Jose A. Troyano
Victor J. Diaz
Fernando Enriquez
Vicente Carrillo
Fermin Cruz
Extracting Computer Algebra Programs from Statements
159(10)
Jesus Aransay
Clemens Ballarin
Julio Rubio
Integrating Syntactic Information by Means of Data Fusion Techniques
169(10)
Francisco J. Ribadas
Jesus Vilares
Miguel A. Alonso
Unsupervised Learning in Information Retrieval Using NOW Architectures
179(10)
E.F. Combarro
J. Ranilla
R. Mones
N. Vazquez
I. Diaz
E. Montanes
An Iterative Method for Mining Frequent Temporal Patterns
189(10)
Francisco Guil
Antonio Bailon
Alfonso Bosch
Roque Marin
Information Applications Components
Data Mining with Scatter Search
199(6)
I.J. Garcia del Amo
M. Garcia Torres
B. Melian Batista
J.A. Moreno Perez
J.M. Moreno Vega
Raquel Rivero Martin
Web Usage Mining Project for Improving Web-Based Learning Sites
205(6)
M.E. Zorrilla
E. Menasalvas
D. Marin
E. Mora
J. Segovia
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
211(6)
Josef Kung
Roland Wagner
A Web-Case Tool Prototype for Hybrid Software Development
217(6)
Francisco J. Orellana
Francisco Guil
Isabel M. del Aguila
Samuel Tunez
An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems
223(6)
M. Visitacion Hurtado
Nuria Medina
Lina Garcia-Cabrera
Maria L. Rodriguez
The Gaps of the Thesaurus Wordnet Used in Information Retrieval
229(6)
Javier de la Mata
Jose A. Olivas
Jesus Serrano-Guerrero
Fuzzy Adaptive Objects (Logic of Monitors)
235(6)
Germano Resconi
Javier Alonso
Raul Izquierdo
A Model-Based Architecture for Fuzzy Temporal Diagnosis
241(6)
Jose M. Juarez
Jose Palma
Manuel Campos
Jose Salort
Antonio Morales
Roque Marin
Extension of Ontologies Assisted by Automated Reasoning Systems
247(7)
Joaquin Borrego-Diaz
Antonia M. Chavez-Gonzalez
A Software Architecture for Effective Document Identifier Reassignment
254(9)
Roi Blanco
Alvaro Barreiro
An Ontology for Reusing Synthetic Tasks
263(6)
Abraham Rodriguez-Rodriguez
Francisca Quintana-Dominguez
A Tractable Subclass of Fuzzy Constraint Networks
269(6)
Alfonso Bosch
Francisco Guil
Roque Marin
Parallel State Space Generation and Exploration on Shared-Memory Architectures
275(6)
Milan Ceska
Bohuslav Krena
Tomas Vojnar
Towards Automated Controlling of Human Projectworking Based on Multiagent Systems
281(10)
Manfred Mauerkirchner
Gerhard Hoefer
Cryptography and Spectral Analysis
Tree-Structured Legendre Multi-wavelets
291(10)
Ekaterina Pogossova
Karen Egiazarian
Atanas Gotchev
Jaakko Astola
Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams
301(10)
Radomir S. Stankovic
Mark G. Karpovsky
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines
311(6)
Dominik Jochinger
Franz Pichler
An Excellent Permutation Operator for Cryptographic Applications
317(10)
Josef Scharinger
Fault Cryptanalysis of ElGamal Signature Scheme
327(10)
Janusz Biernat
Maciej Nikodem
Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions
337(9)
Juan David Gonzalez Cobas
Jose Antonio Lopez Brugos
Algorithm for Proving the Knowledge of an Independent Vertex Set
346(9)
Pino Caballero-Gil
Candelaria Hernandez-Goya
Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers
355(10)
Pino Caballero-Gil
Amparo Fuster-Sabater
Protocol Analysis for Concrete Environments
365(8)
Dieter Gollmann
Computer Vision
Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems
373(6)
Jose Antonio Piedra
Francisco Guindos
Alberto Molina
Manuel Canton
Image Processing Techniques for Braille Writing Recognition
379(7)
Nestor Falcon
Carlos M. Travieso
Jesus B. Alonso
Miguel A. Ferrer
Retinal Based Authentication via Distributed Web Application
386(6)
Castor Marino
Manuel G. Penedo
Marta Penas
Skeleton Extraction of 2D Objects Using Shock Wavefront Detection
392(6)
Ruben Cardenes
Juan Ruiz-Alzola
Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions
398(6)
Modesto Castrillon-Santana
Oscar Deniz-Suarez
Cayetano Guerra-Artal
Jose Isern-Gonzalez
Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm
404(6)
Cristian Munteanu
Agostinho Rosa
Manuel Galan
Enrique Rubio Royo
Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment
410(6)
Min-Soo Jang
Yong-Guk Kim
Sang-Jun Kim
Jeong-Eom Lee
Soek-Joo Lee
Gwi-Tae Park
Biocomputing
A Wiener Neuronal Model with Refractoriness
416(10)
Virginia Giorno
Amelia G. Nobile
Luigi M. Ricciardi
On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential
426(10)
Aniello Buonocore
Ludovico Caputo
Enrica Pirozzi
Luigi M. Ricciardi
Feedback Effects in Simulated Stein's Coupled Neurons
436(11)
Antonio Di Crescenzo
Barbara Martinucci
Enrica Pirozzi
Upcrossing First Passage Times for Correlated Gaussian Processes
447(10)
Virginia Giorno
Amelia G. Nobile
Enrica Pirozzi
Convergence of Iterations
457(10)
Paul Cull
Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography
467(6)
Miguel Aleman-Flores
Patricia Aleman-Flores
Luis Alvarez-Leon
M. Belen Esteban-Sanchez
Rafael Fuentes-Pavon
Jose M. Santana-Montesdeoca
Parallel Progressive Multiple Sequence Alignment
473(10)
Erik Pitzer
Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina
483(9)
Roberto Moreno-Diaz
Gabriel de Blasio
Arminda Moreno-Diaz
Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System
492(9)
A. Quesada-Arencibia
J.C. Rodriguez-Rodriguez
Roberto Moreno-Diaz Jr
Intelligent Vehicular Systems
Soft Computing and Geometrical Control for Computer Aided Driving
501(6)
Javier Alonso Ruiz
Teresa de Pedro
Carlos Gonzalez
Ricardo Garcia
A Monocular Solution to Vision-Based ACC in Road Vehicles
507(6)
Miguel Angel Sotelo
Jesus Nuevo
Manuel Ocana
Luis Miguel Bergasa
Multi-objective Dynamic Optimization for Automatic Parallel Parking
513(6)
Javier de Lope
Dario Maravall
Electric Power Steering Automation for Autonomous Driving
519(6)
Jose E. Naranjo
Carlos Gonzalez
Ricardo Garcia
Teresa de Pedro
Computer Vision Application: Real Time Smart Traffic Light
525(6)
Angel Serrano
Cristina Conde
Licesio J. Rodriguez-Aragon
Raquel Montes
Enrique Cabello
Permanency Memories in Scene Depth Analysis
531(6)
Miguel A. Fernandez
Jose M. Lopez-Valles
Antonio Fernandez-Caballero
Maria T. Lopez
Jose Mira
Ana E. Delgado
Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision
537(6)
C. Hilario
J.M. Collado
J. Ma Armingol
A. de la Escalera
Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles
543(6)
Miguel Angel Garcia-Garrido
Miguel Angel Sotelo
Ernesto Martin-Gorostiza
Robotic Soccer, Robotics and Control
Advances in Robotics
549(10)
Peter Kopacek
Current and Future Trends and Challenges in Robot Soccer
559(6)
Norman Weiss
Bernd Reusch
Strategy and Communication in Robotic Soccer Game
565(6)
Bobumil Horak
Marek Obitko
Jan Smid
Vaclav Snasel
Rete Algorithm Applied to Robotic Soccer
571(6)
Manuel Palomo
Francisco J. Martin-Mateos
Jose A. Alonso
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems
577(7)
Jochen Pfalzgraf
Bernhard Mitterauer
A Controller Network for a Humanoid Robot
584(6)
Peter Kopacek
Edmund Schierer
Markus Wuerzl
Programming by Integration in Robotics
590(6)
Jose L. Fernandez-Perez
Antonio C. Dominguez-Brito
Daniel Hernandez-Sosa
Jorge Cabrera-Gamez
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
596(6)
Roberto Theron
Vidal Moreno
Belen Curto
Francisco J. Blanco
Global Modal Logics for Multiagent Systems: A Logical Fibering Approach
602(6)
Johann Edtmayr
Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems
608(6)
Jesus Rodriguez-Millan
Carla Gonzalez
Anna Patete
Hierarchical Control of a Distributed Solar Collector Field
614(7)
Manuel Berenguel
Cristina M. Cirre
Ryszard Klempous
Henryk Maciejewski
Maciej Nikodem
Jan Nikodem
Imre Rudas
Loreto Valenzuela
Explanatory Analysis of Data from a Distributed Solar Collector Field
621(6)
Manuel Berenguel
Ryszard Klempous
Henryk Maciejewski
Jan Nikodem
Maciej Nikodem
Loreto Valenzuela
Author Index 627