This paper demonstrates that genetic programming can be used to automatically create the design for both the topology and parameter values (tuning) for a common parameterized controller for all the plants in two families of plants that are representative of typical industrial processes. The genetically evolved controller is "general" in the sense that it contains free variables representing the...

We make a formal sociologic study of the concept of free will. By using the language of mathematics and logic, we define what we call everlasting societies. Everlasting societies never age: persons never age, and the goods of the society are indestructible. The infinite history of an everlasting society unfolds by following deterministic and probabilistic laws that do their best to satisfy the ...

In ordinary rst order logic, a valid inference in a language L is one in which the conclusion is true in every model of the language in which the premises are true. To accommodate inductive/uncertain/probabilistic/nonmonotonic inference, we weaken that demand to the demand that the conclusion be true in a large proportion of the models in which the relevant premises are true. More generally, we...

Methods are described for the nonperturbative calculation of wave functions and scattering amplitudes in light-cone quantization. Form factors are computed from the boost-invariant wave functions, which appear as coefficients in a Fock-state expansion of the field-theoretic eigenstate. A technique is proposed for calculating scattering amplitudes from matrix elements of a T operator between suc...

We show how and why it makes sense to use a relational formalisation instead of the usual functional one in the treatment of term graphs. Special attention is paid to term graphs with bound variables, that have, to our knowledge, never been formalised with such a generality before. Besides the novel treatment of term graphs themselves, we present an innovative relational homomorphism concept th...

in the several past years, extended kalman filter (ekf) and unscented kalman filter (ukf) havebecame basic algorithm for state-variables and parameters estimation of discrete nonlinear systems.the ukf has consistently outperformed for estimation. sometimes least estimation error doesn't yieldwith ukf for the most nonlinear systems. in this paper, we use a new approach for a two variablesta...

Ala~traet--Errors-in-variables problems are considered for the case of three variables, where the underlying relations among the noise-free variables are linear, and covariance information for the noisy variables is available. The static problem where the variables are complex (which can arise when narrowband filtering is used) is analysed in detail. Some results are also presented for the case...