This pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. The puzzle has its own beauty, which we hope to expose along the way.

An object-oriented model of an airport has been developed to assess the parallel object-oriented speciication language Maude. The model includes airplanes, gates, baggage handling, ground control and tower and has been implemented on the OBJ3 system, which serves as a rudimentary interpreter for Maude. We discuss two ways of specifying objects and present two notions of behavioral reenement in ...

in this paper the changes in the heat capacity of cooling towers has been investigated as a result of injecting combustion products of boilers. in the tower, the air is re-heated through mixing with hot flue gas after passing through the heat exchangers. as a result of this process, the draft of the cooling tower is increased. the additional produced draft depends on the ambient temperature and...

Due to the change of direct normal irradiance (DNI) and output power load, receiver solar tower is in an unstable state actual operation. In this paper, a 100 MW external cylindric designed modelled. The dynamic comprehensive model established for receiver, including thermal mechanical equations. temperature control strategy applied model. validity verified by disturbance experiments, DNI, inle...

We describe some recent refinements of the techniques of threshold resummation, with emphasis on the usefulness of dimensional regularization when applied to nonabelian exponentiation. Threshold resummation is now under theoretical control for DIS and electroweak annihilation cross sections all the way to the fourth tower of logarithms and up to corrections suppressed by powers of the threshold...

In our system-level approach to brain modeling, we define creative action as that originating in the basic knowledge elaboration activity of the cortex. We argue that cortical areas, particularly frontal areas, will also be involved in the selection and control of routine action which originates in the basal ganglia. They initiate routine action, and monitor and terminate it. We explain the ana...

Our theme bases on the classical Hanoi Towers Problem. In this paper we will define a new problem, permitting some positions, that were not legal in the classical problem. Our goal is to find an optimal (shortest possible) sequence of discs' moves. Besides that, we will research all versions of 3-pegs classical problem with some special constraints, when some types of moves are disallowed.

An L(2, 1)-labeling of a graph G is equitable if the number of elements in any two color classes differ by at most one. The equitable L(2, 1)-labeling number λe(G) of G is the smallest integer k such that G has an equitable L(2, 1)-labeling. Sierpiński graphs S(n, k) generalize the Tower of Hanoi graphs—the graph S(n, 3) is isomorphic to the graph of the Tower of Hanoi with n disks. In this pap...