Sökt på: Sökresultat
totalt 4 träffar
Rigorous Global Search: Continuous Problems
This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed …
Numerical Software with Result Verification
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer …
Knowledge Processing with Interval and Soft Computing
Interval computing combined with fuzzy logic has become an emerging tool in studying artificial intelligence and knowledge processing (AIKP) applications since it models …
Applications of Interval Computations
Primary Audience for the Book • Specialists in numerical computations who are interested in algorithms with automatic result verification. • Engineers, scientists, and …