Canonical forms for complex matrix congruence and *congruence

Canonical forms for congruence and *congruence of square complex matrices were given by Horn and Sergeichuk in [Linear Algebra Appl. 389 (2004) 347-353], based on Sergeichuk's paper [Math. USSR, Izvestiya 31 (3) (1988) 481-501], which employed the theory of representations of quivers with involution. We use standard methods of matrix analysis to prove directly that these forms are canonical. Our proof provides explicit algorithms to compute all the blocks and parameters in the canonical forms. We use these forms to derive canonical pairs for simultaneous congruence of pairs of complex symmetric and skew-symmetric matrices as well as canonical forms for simultaneous *congruence of pairs of complex Hermitian matrices.Comment: 31 page

The TTC 2013 Flowgraphs Case

This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there's a model-to-text problem, there are two in-place transformation problems, and finally there's a task dealing with validation of models resulting from the transformations. The tasks build upon each other, but the transformation case project also provides all intermediate models, thus making it possible to skip tasks that are not suited for a particular tool, or for parallelizing the work among members of participating teams.Comment: In Proceedings TTC 2013, arXiv:1311.753

Telling Stories - A History of Growth Management in the Gauteng Province (South Africa)

The sprawled nature of major South African cities can be attributed to a variety of reasons. The 1994 (post-apartheid) political shift, however, prompted cities and regions to plan for more equitable and accessible cities. Together with its three metropolitan municipalities, the Gauteng Province proved to be a pioneer in adopting an urban growth management approach (the Gauteng Urban Edge). Against the backdrop of a Provincial Spatial Development Framework, a Provincial Urban Edge was delineated within which local authorities were awarded the opportunity to refine a custom-made growth management strategy. In the absence of clear provincial direction, these strategies achieved various levels of success. This paper explores the urban growth management movement, its approaches and its expressions as witnessed in the case of Gauteng