Automata Books - Page 2

MagicBeanDip.com

Page 2 of 18 - Go to page: 1 2 3 4 5 6 7 13

Virtual Organisms: The Startling World of Artificial Life

Mark Ward

Virtual Organisms: The Startling World of Artificial Life Mark Ward List Price: $23.95
By: Thomas Dunne Books
Amazon Marketplace: 24 new & used starting at $0.68

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Business & Culture -> Culture
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Artificial Life
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata

Customer Reviews:
Total reviews: 6 Average rating: 3.0 of 5

Editorial Review:

Harmless artificial life forms are on the loose on the Internet. Computer viruses and even robots are now able to evolve like their biological counterparts. Telecommunications companies are sending small packets of software to go forth and multiply to cope with ever-increasing telephone traffic. Protein-based computers are on the agenda, and a team in Japan is building an organic brain as clever as a kitten. Welcome to the startling world of Artificial Life.

Artificial Life scientists are taking inanimate materials such as computer software and robots and making them behave just like living organisms. In the process they are discovering much about what drives evolution and just what it means to say that something is alive. Virtual Organisms traces the origins of this field from the days when it was practiced by a few maverick scientists to the present and the current boom in Alife research.

Leading technology correspondent Mark Ward presents a fascinating survey of current ideas about the origins of life and the engines of evolution. Through interviews with leading developers of Artificial Life, and through his own compelling research, Ward shows how the convergence of technology with biology has enormous implications.

In an accessible, entertaining manner, Virtual Organisms reveals an unexplored avenue in predicting the future of Artificial Life , and whether new forms of Alife may be evolving beyond their designer's control.

Modeling Nature: Cellular Automata Simulations with Mathematica

Richard J. Gaylord, Kazume Nishidate

Modeling Nature: Cellular Automata Simulations with Mathematica Richard J. Gaylord, Kazume Nishidate List Price: $69.95
By: Springer
Amazon Marketplace: 10 new & used starting at $42.98

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General

Customer Reviews:
Total reviews: 1 Average rating: 5.0 of 5

Editorial Review:

This is the first volume in a suite of short, inexpensive, paperbound volumes intended for student usage as textbooks, or course supplements, and for purchase as single-copy reference works for professionals in specific disciplines, and, in some cases, for interdisciplinary use. This title focuses on cellular automata simulations while using Mathematica, thus its audience is a generally broad one, although physicists, life scientists and engineers will find this title to be of particular interest.
Those familiar with Gaylord's previous book, coauthored with Paul Wellin, "Computer Simulations with Mathematica - Explorations in Complex Biological and Physical Systems", also published by TELOS, will find this new title to be an in-depth extension of some topics dealt with in that book. Modeling Nature: Cellular Automata Simulations with Mathematica, however, contains simulations not found in the Gaylord-Wellin volume. This book will have a DOS-diskette packaged with it, enabling cross-platform access to the code. These data files will also be made accessible online via the Internet at telospub.com FTP and WWW sites.

Fuzzy Logic

Paul Freilberger, Daniel Mcneill

Fuzzy Logic Paul Freilberger, Daniel Mcneill List Price: $22.00
By: Simon & Schuster
Amazon Marketplace: 82 new & used starting at $0.01

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Business & Culture -> Culture
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Customer Reviews:
Total reviews: 1 Average rating: 4.0 of 5

Learn a way to make computers more 4 out of 5 stars.
1 of 1 people found this review helpful.

Classical logic forces all actions to be described by a rigid sequence of two option rules. By applying enough such rules, it is possible to eventually reach a reasonable approximation to the problem in question. However, such a method is cumbersome at best, so in 1964, Lotfi Zadeh, a professor of electrical engineering, invented a new reasoning system base on imprecise rules. Since the values are now placed within specified ranges, the system was given the unfortunate name "fuzzy ." Eventually ignored and at times vilified by the academic community in the United States, fuzzy logic is now beginning to be widely used in commercial products.
In another instance of what seems to be the most common business theme of the decade of the '80s, it was Japanese industry that took the American ideas and made them commercially viable. Many products now incorporate fuzzy reasoning systems, with no end in sight regarding the spectrum of applications. The performance gains of fuzzy logic over other options is at times astounding.
Equally surprising is the simplicity of fuzzy reasoning. Most events in the human experience are not sharply demarcated. Night does not "fall," but slowly floats down like an aging helium balloon. Fuzzy systems mimic this by assigning a numeric value to qualifying words such as "very ," "slightly ," and "remotely ." The most common scale uses the range from zero to one inclusive. Since zero can be considered FALSE and one TRUE, classical logic is a limiting subset of fuzzy logic. For example, the phrase "very possible" could be assigned a truth value of 0.90, "slightly possible" a value of 0.05, and "remotely possible" a value of 0.005. Fuzzy OR then takes the largest value of the two variable, AND the minimum of the two and the negation is computed by taking one minus the fuzzy value.
This book introduces the basic notions of fuzziness, but concentrates more on the history as an ignored discipline and the recent commercial successes. It is amazing to learn that the vast majority of "fuzzy thinkers" are found in Asia. Comparisons between the differences in Western and Eastern philosophy are made in an attempt to explain this. For example, the Japanese language is inherently much more vague than western languages.
If you are interested in learning the first notions of fuzzy reasoning, this book is a good non-technical place to start. And if the applications continue to grow, that interest may become a required taste.

Published in Journal of Recreational Mathematics, reprinted with permission.

Editorial Review:

In a direct appeal to the short-sightedness of American companies, visionary computer scientists explain fuzzy logic--a revolutionary new computer technology--and show how it is already being used in Japan. 30,000 first printing. Tour.

Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))

Bakhadyr Khoussainov, Anil Nerode

Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS)) Bakhadyr Khoussainov, Anil Nerode Amazon Price: $89.95
List Price: $89.95
Usually ships in 24 hours
By: Birkhäuser Boston
Amazon Marketplace: 23 new & used starting at $19.85

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Editorial Review:

Textbook filling a gap in the literature by exposing early fundamental results in automata theory and its applications. Offers numerous examples, illustrations and exercises to supplement the theory and discussion offered, and requires no mathematical background. DLC: Machine theory.

Handbook of Automated Reasoning

Handbook of Automated Reasoning Amazon Price: $135.00
List Price: $135.00
Usually ships in 3 to 5 weeks
By: The MIT Press
Amazon Marketplace: 6 new & used starting at $50.00

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Theory of Computing
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General

Customer Reviews:
Total reviews: 2 Average rating: 4.5 of 5

Editorial Review:

Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to traditional topics, the book covers material that bridges the gap between automated reasoning and related areas. Examples include model checking, nonmonotonic reasoning, numerical constraints, description logics, and implementation of declarative programming languages. The book consists of eight parts. After an overview of the early history of automated deduction, the areas covered are reasoning methods in first-order logic; equality and other built-in theories; methods of automated reasoning using induction; higher-order logic, which is used in a number of automatic and interactive proof-development systems; automated reasoning in nonclassical logics; decidable classes and model building; and implementation-related questions.

Automata and Languages

John M. Howie

Automata and Languages John M. Howie List Price: $40.00
By: Oxford University Press, USA
Amazon Marketplace: 5 new & used starting at $20.00

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Business & Culture -> History
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Editorial Review:

Theoretical models of simple computing machines, known as automata, play a central role in computer science. This textbook presents an introduction to the theory of automata and to their connection with the study of languages. At the heart of the book is the notion that by considering a language as a set of words it is possible to construct automata which "recognize" words in the language. Consequently one can generate a correspondence between a hierarchy of machines and a corresponding hierarchy of grammars and languages. The author leads the reader from finite status automata through pushdown automata to Turing machines. He demonstrates clearly and elegantly the fundamental connections between automata and abstract algebra via the concepts of syntactic monoid and minimal automaton. The author presupposes a basic familiarity with algebra, but beyond this the book is self-contained. As a result, it will make ideal reading for students of mathematics and computer science approaching this subject for the first time.

Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Wavelets, Fuzzy Logic - With C++, Java and SymbolicC++ Programs

Willi-Hans Steeb

Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Wavelets, Fuzzy Logic - With C++, Java and SymbolicC++ Programs Willi-Hans Steeb Amazon Price: $88.00
List Price: $88.00
Usually ships in 24 hours
By: World Scientific Publishing Company
Amazon Marketplace: 5 new & used starting at $83.98

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Certification Central -> Exams -> Java
Subjects -> Computers & Internet -> Certification Central -> Java
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata

Customer Reviews:
Total reviews: 5 Average rating: 3.5 of 5

Helpful in some sections 3 out of 5 stars.
32 of 33 people found this review helpful.

The topics covered in this book are all important from the standpoint of applications in physics, engineering, computer science, financial engineering, and computational biology. It is written for the person just getting started in these topics, and the author does a fairly good job of discussing them. Readers should not expect, and they will not get, in-depth discussions on these topics, as this would swell the book to 10 times the size. They will however get preparation for moving on to more advanced and complete treatments.

Nonlinear and chaotic maps are considered in chapter 1, with elementary definitions given and six different examples of maps discussed. In discussing the calculation of numerical trajectories of maps, the author deals with the problem of large initial values for the maps and how to implement these in SymbolicC++ and Java. He also shows how to write/read data to a file using C, C++, and JAVA. The exception handling capability of JAVA comes out nicely, but no performance comparison between the three languages for simulating the maps is given by the author. The language REDUCE is used to discuss the stability of the fixed points of the logistic equation, but the code would be useless to the reader who did not have REDUCE since some of the function calls are hidden from the reader. Useful programs are given for calculating the Lyapunov and autocorrelation functions. In addition, C++ programs are given for evaluating the correlation integral for the Henon map. The programs he develops in this chapter can serve as a quick benchmark for one's own programs that calculate the same quantities.

In chapter 2, the author discusses methods for studying time series, including the Lyapunov and Hurst exponents. These two quantities are of enormous importance in the study of dynamical systems, financial data, and network performance. The C++ program that the author gives for calculating the Hurst exponent will not work for arbitrary time intervals. This is followed in the next chapter by a consideration of autonomous systems of ordinary differential equations. The classification of fixed points is considered, and the important concept of a homoclinic orbit. The author gives a nice JAVA program that finds the homoclinic orbit of an anharmonic differential equation using the Lie series technique. The phase portrait of the Van der Pol oscillator is calculated using the Runge-Kutta technique in a C++ program, along with the Lotka-Volterra system from mathematical biology.

Hamiltonian mechanics is discussed in chapter 4, with the important Henon-Heiles model from astrophysics is discussed and JAVA programs given for studying its behavior using the Poincare section technique. Newcomers to this technique will appreciate seeing it done here explicitly. Integrability of Hamiltonian systems using the Lax representation and Floquet theory are also treated, but only at a very rudimentary level. Dissipation is included in the next chapter, and the author discusses the classification of fixed points according to their stability. Lyapunov exponents are again brought into the picture, and the phenomenon of hyperchaos is discussed. Some bifurcation theory is introduced with an example of the Hopf bifurcation. Chapter 6 studies nonlinear driven systems, with the Duffing oscillator treated, and the author gives a useful program for calculating the autocorrelation function of this system. The controlling of chaos with feedback and non-feedback controls is the subject of the next chapter, mostly in the context of difference maps. Fractals finally get introduced in chapter 8, with iterated function systems defined but proofs of their properties omitted. The author gives programs for calculating various popular fractals, such as the dragon, Sierpinski gasket, Koch curve, the Mandelbrot set, and the Julia set. The main disappointment in this chapter is that the author does not give programs for calculating the Hausdorff dimension or capacity, quantities that are notoriously difficult to get a meaningful computational handle on.

The author switches gears in the next chapter and discusses cellular automata, which have recently made a comeback, especially in research on quantum computation. The discussion is too brief however, and does not allow the reader to gain an appreciation of the properties of these important objects. Chapter 10 gives a brief overview of some techniques for solving differential equations, such as the Euler method and the Lie series technique. The latter is not commonly treated in beginning books so its inclusion here is helpful. Symplectic integration is also discussed briefly, but the author does not discuss how to check the integrators using backward integration, which is commonly used in conservative systems modeled by symplectic maps.

Chapter 11, covering neural networks, is the most well-written in the book, and the newcomer to the field will get a fairly decent introduction to the subject. The supplied programs serve to illustrate some of the important concepts in neural networks, such as the Hopfield model, the Kohonen network, the perceptron learning algorithm, and the back-propagation algorithm.

Chapter 12 is an introduction to genetic algorithms, and I find this one particularly nice also, as it does give a rudimentary introduction to what evolutionary algorithms are all about, and gives some elementary genetic programs that find the maximum of one- and two-dimensional maps. He also discusses simulated annealing, and gives a useful program that allows the reader to see clearly how this technique works.

The last chapter covers fuzzy sets and fuzzy logic, which has also taken on importance in recent years, especially in data mining and financial engineering. The programs given to illustrate the concepts are particularly interesting from the standpoint of coding in C++, as the author uses friend functions and operating overloading in some of them. The reader gets a good overview of fuzzy reasoning and fuzzy rule-based systems.

Editorial Review:

The study of nonlinear dynamical systems has advanced tremendously in the last 15 years, making a big impact on science and technology. This book provides all the techniques and methods used in nonlinear dynamics. The concepts and underlying mathematics are discussed in detail.

The numerical and symbolic methods are implemented in C++, SymbolicC++ and Java. Object-oriented techniques are also applied. The book contains more than 100 ready-to-run programs.

The text has also been designed for a one-year course at both the junior and senior levels in nonlinear dynamics. The topics discussed in the book are part of e-learning and distance learning courses conducted by the International School for Scientific Computing.

Automated Theorem Proving: Theory and Practice

Monty Newborn

Automated Theorem Proving: Theory and Practice Monty Newborn Amazon Price: $87.00
List Price: $109.00
Usually ships in 24 hours
By: Springer
Amazon Marketplace: 21 new & used starting at $39.95

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Customer Reviews:
Total reviews: 1 Average rating: 4.0 of 5

Editorial Review:

As the 21st century begins, the power of our new tool and partner, the computer, is increasing at an astonishing rate. Increasingly computers are expected to be more intelligent, to reason, to be able to draw conclusions from facts, or abstractly, to prove theorems, the subject of this book. "Automated Theorem Proving" describes how this process is performed. It first introduces the mathematical language of predicate calculus and then discusses the basic inferencing rules of binary resolution and binary factoring. Using these rules, two theorem-proving systems are described. The first (HERBY) is based on constructing closed sematic trees, whereas the second (THEO) is based on the classic resolution-refutation approach. These programs are included on the accompanying CD-ROM, which includes their source code and runs on both Unix and Linux. Topics and features: *clear, concise presentation of the fundamentals*extensive end-of-chapter exercises, with solutions*HERBY, an excellent and unique semantic-tree theorem-proving program*THEO, a strong resolution-refutation theorem-proving program*approximately 200 theorems included on the CD-ROM for experimentation The book and software are an excellent text/reference for advanced students, practitioners, and professionals in computer science, applied math, logical computation and artificial intelligence. Anyone with an interest in automated reasoning will find the book an essential guide and hands-on tool for learning about the theorem-proving process.

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Amazon Price: $61.62
List Price: $69.95
Usually ships in 24 hours
By: Springer
Amazon Marketplace: 20 new & used starting at $49.48

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Human Vision & Language Systems

Customer Reviews:
Total reviews: 1 Average rating: 5.0 of 5

Isabelle is wonderful 5 out of 5 stars.
1 of 1 people found this review helpful.

Isabelle is fantastic, and this is an excellent tutorial.
With Isabelle, all the mystery of math and proof goes away
and everything becomes concrete... just like programming.
The only improvement that I'd like to see is that the
tutorial be rewritten using the Isar proof language.

Editorial Review:

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory. Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.

Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5)

W. Kuich

Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5) W. Kuich List Price: $116.00
By: Springer
Amazon Marketplace: 5 new & used starting at $43.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> Pure Mathematics -> Logic
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> General AAS


Page 2 of 18 - Go to page: 1 2 3 4 5 6 7 13

Return to MagicBeanDip.com

This page was created in 1.7267 seconds.