The purpose of this master thesis is to investigate the basic concepts of propositional logic for knowledge representation and formalization of reasoning in Artificial Intelligence. The different properties of logical ...

It is of practical interest to know whether a biological network contains mass-preserving and state-preserving subnetworks. In a mass-preserving subnetwork, the total mass remains constant. In any state-preserving subnetwork, ...

This study surveys the mathematical structure of a quantum error correcting codes and the way they are developed through certain stages of error correction. In particular, the families of Calderbank-Shor-Steane codes ...

In every field of scientific research and application, where the masses of data is available in multivariate form, the use of multivariate statistical analysis techniques can be implemented to achieve proper statistical ...

In this thesis, process of Riemann integral is tackled. Firstly, theorems and their proofs of Proper Riemann integral are explained. After that, improper Riemann integral with the same proof techniques is handled. Riemann ...

In any process that produces useful output, more than one and in many cases tens or hundreds of variables are involved. With the advancement of technology the number of observations has also dramatically increased, to ...

The current thesis investigates four different nonlinear systems of fractional differential equations and deals with the existence, uniqueness, and stability of their solutions. The first studied problem is a coupled system ...

Expression trees are well-known tools to visualize the syntactical structure of the expressions. They are helpful also in evaluations, e.g., decision trees are widely used. Games and game theory form an important field ...

In our current society, technology is advancing at a very high pace, and these new inventions also generates large amount of data. Data is now increasing at an exponential rate, and this alarming growth rate has led to ...

The concept of the grid is broadly used in digital geometry and other fields of computer science; it consists of discrete points with integer coordinates. Coordinate systems are essential for making grids easy to use. ...