Telephone: (Australia) +61 3 8300 0747 email: Abstract Knowledge strategies are often inflexible and unable to cope with the emergent properties that characterise the complex and dynamic environments of the ‘knowledge age’. Knowledge strategy should encompass (i) actions that are intended to result in anticipated business outcomes; and (ii) actions that emerge as a resul...

Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based—as Coq—on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its compone...

Abstract Hempcrete is a bio-based self-bearing envelope and thermal insulation building material that becoming more popular nowadays has low environmental impact, especially CO 2 emissions. This study looks for solutions hempcrete printing using custom-built gantry type 3D printer typically used concrete printing. Preliminary research shows can be printed at relatively density of 660 kg/m 3 ach...

There is a re-positioning of entrepreneurship towards the sustaining, frugal, local, and everyday. This poses challenges for peripheral policy work, especially around growth, at sectora...