تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Computation Engineering : Applied Automata Theory and Logic
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
Chaos and fractals : New frontiers of science
Covers the central ideas and concepts of chaos and fractals as well as many related topics including: the Mandelbrot set, Julia sets, cellular automata, L-systems, percolation and strange attractors.
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Artificial life models in software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.
Applications of Membrane Computing
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages – among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
Algorithmic learning theory ; Vol. 3734 ; 16th international conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT 2005), which was held (Republic of Singapore), 2005. The main objective of theconference is to provide an interdisciplinary forum for the discussion of the the-oretical foundations of machine learning as well as their relevance to practicalapplications. The volume includes 30 technical contributions, which were selected by theprogram committee from 98 submissions.
Advances in Applied Self-organizing Systems
This book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance design and self organization in the context of applications.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
Leonardo´s Lost Robots
Reinterprets Leonardo's legacy of notes, showing that apparently unconnected fragments from dispersed manuscripts actually comprise cohesive designs for functioning automata. Using the rough sketches scattered throughout almost all of Leonardo's notebooks, the author has reconstructed Leonardo's programmable cart, which was the platform for other automata: a Robot Lion, a Robot Knight, and a hydraulically powered automaton for striking a bell.
Complex and Adaptive Dynamical Systems : A Primer
We are living in an ever more complex world, an epoch where human actions can accordingly acquire far-reaching potentialities. Complex and adaptive dynamical systems are ubiquitous in the world surrounding us and require us to adapt to new realities and the way of dealing with them. This primer has been developed with the aim of conveying a wide range of "commons-sense" knowledge in the field of quantitative complex system science at an introductory level, providing an entry point to this both fascinating and vitally important subject.
Cellular Automaton Modeling of Biological Pattern Formation: Characterization, Applications, and Analysis
This book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such as the growth of microorganisms, dynamics of cellular tissue and tumors, and formation of pigment cell patterns. These phenomena, resulting from complex cellular interactions, cannot be deduced solely from experimental analysis, but can be more easily examined using mathematical models, in particular, cellular automaton models.
An Introduction to Sequential Dynamical Systems
This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
