This thesis presents a development environment for Design Expert Systems that features a new language where the roles of knowledge and the way it is brought to bear are predefined by the solution method., The language also allows knowledge to…

This thesis addresses the problem of how to determine the optimum level of mesh discretization required to solve a magnetic device accurately and efficiently using finite elements. Currently, most finite element packages require user intervention to assure that the mesh…

Speaker-independence and large lexicon access are still two of the greatest problems in automatic speech recognition. Cognitive and information-theory approaches try to solve the recognition problem by proceeding in almost opposite directions. The former rely on knowledge representation, reasoning and…

We consider a nonlinear mathematical program, with twice continuously differentiable functions., If a point x$ sb0$ does not satisfy a certain Second Order Sufficient Condition (SOS) for optimality (that does not require any constraint qualification, see, e.g., BEN-ISRAEL, BEN-TAL and…