"This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"--Provided by publisher.

Section I. Introduction -- Chapter I. Artificial Neural Networks: Applications in Finance and Manufacturing / Joarder Kamruzzaman, Ruhul A. Sarker, Rezaul K. Begg -- Chapter II. Simultaneous Evolution of Network Architectures and Connection Weights in Artificial Neural Networks / Ruhul A....

This dissertation investigates important and cutting-edge issues surrounding new product development failure and its consequences for market values of innovation-driven firms. Although a substantial body of literature demonstrates that new product development failure harms some companies more...