This volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. The work incorporates many new research ideas, and focuses on the role of continuous mathematics.
Audience: This book will be valuable to graduate students interested in theoretical computer topics, algorithms, expert systems, neural networks, and software engineering.

Targeted audience Specialists in numerical computations, especially in numerical optimiza tion, who are interested in designing algorithms with automatie result ver ification, and who would therefore be interested in knowing how general their algorithms caIi in principle be. Mathematicians and computer scientists who are interested in the theory 0/ computing and computational complexity, especially computational com plexity of numerical computations. Students in applied mathematics and computer science who are interested in computational complexity of different numerical methods and in...

Primary Audience for the Book Specialists in numerical computations who are interested in algorithms with automatic result verification. Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc cessful applications. Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli cations of numerical methods with automatic result verification, that were pre sented at an international...

This book presents a clear, systematic treatment of convergence theorems of set-valued random variables (random sets) and fuzzy set-valued random variables (random fuzzy sets). Topics such as strong laws of large numbers and central limit theorems, including new results in connection with the theory of empirical processes are covered. The author's own recent developments on martingale convergence theorems and their applications to data processing are also included. The mathematical foundations along with a clear explanation such as Holmander's embedding theorem, notions of various convergence...

Targeted audience Specialists in numerical computations, especially in numerical optimiza tion, who are interested in designing algorithms with automatie result ver ification, and who would therefore be interested in knowing how general their algorithms caIi in principle be. Mathematicians and computer scientists who are interested in the theory 0/ computing and computational complexity, especially computational com plexity of numerical computations. Students in applied mathematics and computer science who are interested in computational complexity of different numerical methods and in...

This volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. The work incorporates many new research ideas, and focuses on the role of continuous mathematics.
Audience: This book will be valuable to graduate students interested in theoretical computer topics, algorithms, expert systems, neural networks, and software engineering.

Primary Audience for the Book - Specialists in numerical computations who are interested in algorithms with automatic result verification. - Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc- cessful applications. - Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli- cations of numerical methods with automatic result verification, that were pre- sented at an...