Book picks similar to
Concrete Semantics: With Isabelle/Hol by Tobias Nipkow
interactive-theorem-proving
computer-science
denotational
Neural Networks, Fuzzy Logic And Genetic Algorithms: Synthesis And Applications
S. Rajasekaran - 2004
The constituent technologies discussed comprise neural networks, fuzzy logic, genetic algorithms, and a number of hybrid systems which include classes such as neuro-fuzzy, fuzzy-genetic, and neuro-genetic systems. The hybridization of the technologies is demonstrated on architectures such as Fuzzy-Back-propagation Networks (NN-FL), Simplified Fuzzy ARTMAP (NN-FL), and Fuzzy Associative Memories. The book also gives an exhaustive discussion of FL-GA hybridization. This book with a wealth of information that is clearly presented and illustrated by many examples and applications is designed for use as a text for courses in soft computing at both the senior undergraduate and first-year postgraduate engineering levels.