Recently, we witness a significant amount of effort being put into a research of robustness of complex computer systems. Computer scientists noticed that, despite decades of investigations into dependability, computer systems still lack the degree of resilience which can be seen in biological systems. In the biological context, one of the main aspects that stand behind a system’s robustness is ...

This paper presents an approach to a system based on fuzzy logic for the design of interpolative curves and surfaces in the context of Computer Aided Geometric Design (CAGD). Some problems arising from a previous model are studied by using a similarity approach. Keywords— Fuzzy interpolation, indistinguishability operator, fuzzy number, Computer Aided Geometric Design,approximate reasoning, t-n...

This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational methods. The computational language will include formulations such as quantum state, superposition and quantum operator.

In this paper we extend unification of terms with flexible arity function symbols with regular expression operators such as repetition (*), alternation, etc, that are used as types allowing a compact representation of terms with functors with an arbitrary number of arguments. This new unification can then be used to unify subterms in the middle of complexes sequences of terms leading to a quite...

One of the most significant achievements from theoretical computer science was to show that there are non-computable problems, which cannot be solved through algorithms. Although the formulation of such problems is mathematical, they often can be interpreted as problems derived from other fields, like physics or computer science. However no noncomputable problem with economical or financial ins...

One of the fundamental problems of the theoretical physics is the search of the axioms, which ought to be the basis for the one-valued construction of Lagrangians of the relativistic fields. The creation of the gauge fields theory was the great success in the solution of this problem. The gauge formalism allowed to derive the total Lagrangians of the interacting fields from the postulated Lagra...

An analysis of extension of Hamiltonian operators from lower order to higher order of matrix paves a way for constructing Hamiltonian pairs which may result in hereditary operators. Based on a specific choice of Hamiltonian operators of lower order, new local bi-Hamiltonian coupled KdV systems are proposed. As a consequence of bi-Hamiltonian structure, they all possess infinitely many symmetrie...

We shall show that every differential operator of 2-nd order in a real separable Hilbert space can be decomposed into a regular and an irregular operator. Then we shall characterize irregular operators and differential operators satisfying the maximum principle. Results obtained for the Lévy laplacian in [3] will be generalized for irregular differential operators satisfying the maximum principle.

The operator product expansion in four-dimensional superconformal field theory is discussed. It is demonstrated that the OPE takes a particularly simple form for certain classes of operators. These are chiral operators, principally of interest in theories with N = 1 or N = 2 supersymmetry, and analytic operators, of interest in N = 2 and N = 4. It is argued that the Green's functions of such op...