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...

High energy scattering experiments involving nuclei are typically analyzed in terms of light front variables. The desire to provide realistic, relativistic wave functions expressed in terms of these variables led me to try to use light front dynamics to compute nuclear wave functions. Here calculations of infinite nuclear matter in the mean field approximation and also in a light front version ...

In scattering theory the far field pattern describes the directional dependence of a time-harmonic wave scattered by an obstacle or inhomogeneous medium, when observed sufficiently far away from these objects. Considering plane wave excitations, the far field pattern can be written as a function of two variables, namely the direction of propagation of the incident plane wave and the observation...

the spontaneous generation of inertia–gravity waves (igws) in the idealized simulation of vortical flows is investigated using the isentropic two-layer model on a sphere. the contour-advective semi-lagrangian (casl) algorithm is applied to solve the primitive equations using the potential vorticity (pv), velocity divergence, and acceleration divergence as the prognostic variables. the casl algo...

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...

The use of conventional two or three-dimensional visualizations of quantitative information have an inherent limitation of only being able to present the interactions of 2 to 4 variables. In exploration of a new visual metaphor, we have drawn on the natural phenomena of wave motion. Specifically, the interference of waves was used as the underlying metaphor. In visualizing a set of data points,...