A round the time of gastrulation, the stem cells of the early embryo surrender their pluripotency to begin assuming more specialized roles as stem cells for neuronal, skin, and other tissues. Several genetic pathways cooperate to regulate maintenance of the pluripotent state and to govern commitment to distinct differentiation states. Electrifi ed by this idea, Laurie Boyer has made it her miss...

Non-invariant solutions of the Boyer-Finley equation determine exact solutions of the Einstein field equations with only one rotational Killing vector. For the case of Euclidean signature such a metric was constructed by Calderbank and Tod. Recently Martina, Sheftel and Winternitz applied the method of group foliation to the Boyer-Finley equation and reproduced the Calderbank-Tod solution toget...

When synthesizing complex digital circuits, it is extremely important to have high conndence in the library of components and functions. This paper deals with the validation of two standardized VHDL packages that were developed for circuit synthesis and which, at the same time, are compatible with enhanced multi-valued simulation tools. The Boyer-Moore theorem prover has been used for this purp...

We demonstrate that partner symmetries provide a lift of noninvariant solutions of three-dimensional Boyer-Finley equation to noninvariant solutions of four-dimensional hyperbolic complex MongeAmpère equation. The lift is applied to noninvariant solutions of the Boyer-Finley equation, obtained earlier by the method of group foliation, to yield noninvariant solutions of the hyperbolic complex Mo...

We demonstrate that partner symmetries provide a lift of noninvariant solutions of three-dimensional Boyer-Finley equation to noninvariant solutions of four-dimensional hyperbolic complex MongeAmpère equation. The lift is applied to noninvariant solutions of the Boyer-Finley equation, obtained earlier by the method of group foliation, to yield noninvariant solutions of the hyperbolic complex Mo...

Th is paper focuses on the redevelopment of the Faculty of Built Environment and Engineering at Queensland University of Technology. It describes the theoretical framework upon which reconceptualisation for redevelopment was based and outlines some of the outcomes that have emerged through implementation of the model for change which developed. What emerges is a Faculty committed to transformat...