This thesis considers an object-oriented approach to dimensional analysis for engineering design. A dimensional analysis system is developed which can be applied to the knowledge-based engineering design especially of electromagnetic devices. All the system is coded in C++. A shell…

Simulation is the technique by which a physical system can be represented mathematically by a computer program for the solution of a problem. This technique of problem solving is used when it is not feasible due to time, cost, or…

The discipline of automated theorem proving encompasses techniques which allow us to find a justification of a logical statement expressing an assertion in some domain of knowledge. Beside obvious importance for mathematics, many of the tasks traditionally associated with human…

With the increasing demands of transforming raw data into information and knowledge, data mining becomes an important field to the discovery of useful information and hidden patterns in huge datasets. Both machine learning and database research have made major contributions…

An 1 out of 2 Oblivious Transfer (( 21 )-OT) is a two-party computation in which a sender A owning two secret bits b0, b 1 can transfer one to them, bc, to receiver Bob who chooses c. This is…

With the wide availability of huge amounts of data and the imminent demands to transform the raw data into useful information and knowledge, data mining has become an important research field both in the database area and the machine learning…

Reinforcement Learning is a class of methods for solving sequential decision problems when the model of the environment is not known. In this framework, the agent must explore the environment to gather more information about the model and the utility…