Features of consciousness difficult to understand in terms of conventional neuroscience have evoked application of quantum theory, which describes the fundamental behavior of matter and energy. In this paper we propose that aspects of quantum theory (e.g. quantum coherence) and of a newly...

In this paper we consider the problem of the algorithmic parametrization of a d-dimensional semialgebraic subset S of Rn (n d) by a semialgebraic and continuous mapping from a subset of Rd. Using the Cylindrical Algebraic Decomposition algorithm we easily obtain semialgebraic, bijective...

We present here some examples of using the “Dynamic Constructible Closure” program, which performs automatic case distinction in computations involving parameters over a base field K. This program is an application of the “Dynamic Evaluation” principle, which generalizes traditional...

This paper presents a bifurcation analysis of two symmetrically coupled Rössler systems. The assumed symmetry does not allow any one direction to become preferred, and the coupled system is therefore an example of a higher-dimensional dissipative system which does not become effectively...

The present paper deals with the application of the feedforward neural network in feedback control for dynamic systems. First, the problem of non-linear control is solved using the optimal control approach. Then assuming that prior knowledge is available in a certain form (input/output data-base...

In this paper we present an application of fuzzy techniques for the dynamic control of manipulators. The system proposed is divided into two levels. The low level is shared between classical methods of control and a fuzzy scheduling approach. The high level is a task dependent level where fuzzy...

For a simple model problem—the Laplace equation on the unit square with a Dirichlet boundary function vanishing for x = 0, x = 1 and y = 1, and equaling some suitable g(x) for y = 0—we present a proof of convergence for the so-called combination technique, a modern, efficient and easily...

The convergence rate of a numerical procedure based on Schwarz Alternating Method (SAM) for solving elliptic boundary value problems (BVPs) depends on the selection of the so-called interface conditions applied on the interior boundaries of the overlapping subdomains. It has been observed that...

The paper presents significant aspects of analytical and numerical simulation of a high-frequency converter with voltage-fed inverter, framing in over 10 years preoccupations of the Electric Powers Laboratory from our Technical University. Here some constructive-functional aspects are...

The aim of this paper is to present how the dynamic evaluation method can be used to deal with the real closure of an ordered field. Two kinds of questions, or tests, may be asked in an ordered field: equality tests (a = b?) and sign tests (a b?). Equality tests are handled through splittings,...