Computer Aided Systems Theory EUROCAST 2007

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007.

Computer Aided Systems Theory   EUROCAST 2007

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007. Coverage in the 144 revised full papers presented includes formal approaches, computation and simulation in modeling biological systems, intelligent information processing, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.

Computer Aided Systems Theory EUROCAST 2007

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007.

Computer Aided Systems Theory   EUROCAST 2007

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007. Coverage in the 144 revised full papers presented includes formal approaches, computation and simulation in modeling biological systems, intelligent information processing, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.

Computer Aided Systems Theory EUROCAST 2011

In: Conference Proceedings of Computer Aided Systems Theory, Eurocast 2007, Las Palmas, Spain (2009) de Castro, L.N.: Fundamentals of Natural Computing: Basic Concepts, Algorithms, and Applications. Chapman and Hall/CRC, ...

Computer Aided Systems Theory    EUROCAST 2011

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

Computer Aided Systems Theory EUROCAST 2009

1237–1240 (2007) 6. Mosshammer, R., Frank, F., Huemer, M.: Neural network based path detection for an FMCW positioning system. In: Moreno D ́ıaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 928–935.

Computer Aided Systems Theory   EUROCAST 2009

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009. The 120 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on systems theory and simulation: formal approaches, computation and simulation in modeling biological Systems, intelligent information processing, applied formal verification, computer vision and image processing, mobile and autonomous systems: robots and cars, simulation based system optimization, signal processing methods in systems design and cybernetics, polynomial models in control system design, heurist problem solving, simulation and formal methods in systems design and engineering, models of co-operative engineering systems.

Computer Aided Systems Theory EUROCAST 2013

In: Conference IEEE SENSOR (2007) 3. ... In: International IEEE Conference on Control, Automatic and Systems (2007) 4. ... In: EUROCAST 2011, 13th International Conference on Computer Aided System Theory (2011) Ballesteros, ...

Computer Aided Systems Theory    EUROCAST 2013

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on modelling biological systems; systems theory and applications; intelligent information processing; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation; process modeling simulation and system optimization; mobile and autonomous transportation systems; computer vision, sensing, image processing and medical applications; computer-based methods and virtual reality for clinical and academic medicine; digital signal processing methods and applications; mechatronic systems, robotics and marine robots; mobile computing platforms and technologies; systems applications.

Computer Aided Systems Theory EUROCAST 2017

In: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 339–348 (2007) 5. Grantcharov, T.P., Kristiansen, V.B., Bendix, J., Bardram, L., Rosenberg, J., ...

Computer Aided Systems Theory     EUROCAST 2017

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.

Computer Aided Systems Theory EUROCAST 93

A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, ... t 91 Δ ρ m 0.3 0.5 0.7 h = 0.01 0.1 0.1230595E + 01 -0.6587342E - 07 -0.5352972E - 07 0.4298450E - 01 0.1180677E + 01 ...

Computer Aided Systems Theory   EUROCAST  93

This volume contains a selection of papers presented at the third European Computer Aided Systems Theory workshop, EUROCAST '93, held in Spain in February 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas. The contributions in this volume are strongly related to current problems in CAST research. They emphasize an engineering point of view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications.

Computer Aided Systems Theory EUROCAST 2015

... T., Lindemann, P., Kranz, M.: Mobile AgeCI: insights from the development of a mobile training application for elderly users. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory, Eurocast 2015, pp.

Computer Aided Systems Theory     EUROCAST 2015

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators.

Computer Aided Systems Theory EUROCAST 2009

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009.

Computer Aided Systems Theory   EUROCAST 2009

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of 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'89. This proved to be 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. From 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), In- bruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) Las Palmas (2005) and Las Palmas (2007), in addition to an extra-European CAST c- ference in Ottawa in 1994.

Nature Inspired Problem Solving Methods in Knowledge Engineering

Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, ... Eleventh International Conference on Computer Aided Systems Theory, EUROCAST 2007. 9.

Nature Inspired Problem Solving Methods in Knowledge Engineering

The second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2007, held in La Manga del Mar Menor, Spain in June 2007. It contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains.

Datatype Generic Programming

Vol. 4878: E. Tovar, P. Tsigas, H. Fouchal (Eds.), Principles of Distributed Systems. XIII, 457 pages. 2007. Vol. ... 4739: R. Moreno Díaz, F. Pichler, A. Quesada Arencibia (Eds.), Computer Aided Systems TheoryEUROCAST 2007.

Datatype Generic Programming

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). All the lectures have been subjected to thorough internal review by the editors and contributors, supported by independent external reviews.

Theory and Engineering of Dependable Computer Systems and Networks

Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland Wojciech Zamojski, ... Computer Aided Systems TheoryEUROCAST 2007, pp. 523–530.

Theory and Engineering of Dependable Computer Systems and Networks

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also—the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.

Uncertainty Modeling

B. Kovalerchuk and G. Resconi, “Agent-based uncertainty logic network”, Proceedings of the 2010 IEEE World Congress on ... in Elkan's paradox”, Computer Aided Systems TheoryEUROCAST 2007, Spinger Lecture Notes in Computer Science, Vol.

Uncertainty Modeling

This book commemorates the 65th birthday of Dr. Boris Kovalerchuk, and reflects many of the research areas covered by his work. It focuses on data processing under uncertainty, especially fuzzy data processing, when uncertainty comes from the imprecision of expert opinions. The book includes 17 authoritative contributions by leading experts.

Genetic Programming Theory and Practice XII

Lecture Notes in Computer Science 4739: Computer Aided Systems Theory - EuroCAST 2007, pp 789–795 Zuo J, Tang Cj, Li C, Yuan Ca, Chen Al (2004) Time series prediction based on gene expression programming. In: Li Q, Wang G, ...

Genetic Programming Theory and Practice XII

These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. Topics in this volume include: gene expression regulation, novel genetic models for glaucoma, inheritable epigenetics, combinators in genetic programming, sequential symbolic regression, system dynamics, sliding window symbolic regression, large feature problems, alignment in the error space, HUMIE winners, Boolean multiplexer function, and highly distributed genetic programming systems. Application areas include chemical process control, circuit design, financial data mining and bioinformatics. Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.

ECGBL 2017 11th European Conference on Game Based Learning

Carretero-Dios, H. and Pérez, C. (2007) “Standards for the development and review of instrumental studies: ... Proceedings of the 11th International Conference on Computer Aided Systems TheoryEUROCAST 2007, Las Palmas de Gran Canaria ...

ECGBL 2017 11th European Conference on Game Based Learning


Integrated Model of Distributed Systems

The global state of the system is not available for individual servers making their own decisions. ... A. Quesada Arencibia (Eds.), International Conference on Computer Aided Systems TheoryEUROCAST 2007, Las Palmas, Spain, LNCS (Vol.

Integrated Model of Distributed Systems

In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly, in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS), which defines a system as two sets (states and messages), and a relation of the "actions" between these sets. The server view and the traveling agent’s view of the system provide communication duality, while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination, communication deadlock and resource deadlock. Automatic verification can support the rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.

Computer Aided Systems Theory EUROCAST 99

Computer Aided Systems Theory-EUROCAST'97 Lecture notes in Computer Science 1333. Springer-Verlag, Berlin (1997) 71-82 [3] Björnerstedt, A., Hulten,C.: Version Control in an Object-Oriented Architecture. In: W. Kim, Lochovsky (eds.).

Computer Aided Systems Theory   EUROCAST 99

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar ?elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re?ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the ?eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta?ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume.

Modern Trends and Techniques in Computer Science

Computer Aided Systems Theory EUROCAST 2007, pp. 1142–1150. No. 4739 in Lecture Notes in Computer Science, Springer, Berlin Heidelberg (2007). http://link.springer.com/chapter/10.1007/ 978-3-540-75867-9_143 7. Perrollaz, M., Labayrade ...

Modern Trends and Techniques in Computer Science

This book is based on the research papers presented in the 3rd Computer Science On-line Conference 2014 (CSOC 2014). The conference is intended to provide an international forum for discussions on the latest high-quality research results in all areas related to Computer Science. The topics addressed are the theoretical aspects and applications of Artificial Intelligences, Computer Science, Informatics and Software Engineering. The authors provide new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches in their field. Particular emphasis is laid on modern trends in selected fields of interest. New algorithms or methods in a variety of fields are also presented. This book is divided into three sections and covers topics including Artificial Intelligence, Computer Science and Software Engineering. Each section consists of new theoretical contributions and applications which can be used for the further development of knowledge of everybody who is looking for new knowledge or new inspiration for further research.

Artificial Neural Networks

An agents-based cooperative awareness model to cover load balancing delivery in grid environments, Proceedings of On the ... Neural Gas Classifier for Context Recognition, Proceedings of Computer Aided Systems TheoryEUROCAST'07, pp.

Artificial Neural Networks

This book covers 27 articles in the applications of artificial neural networks (ANN) in various disciplines which includes business, chemical technology, computing, engineering, environmental science, science and nanotechnology. They modeled the ANN with verification in different areas. They demonstrated that the ANN is very useful model and the ANN could be applied in problem solving and machine learning. This book is suitable for all professionals and scientists in understanding how ANN is applied in various areas.