Browsing Faculty of Design and Creative Technologies (Te Ara Auaha) by Author "Zhang, T"
Now showing items 1-2 of 2
-
An Empirical Examination of Green Star Certification Uptake and Its Relationship With BIM Adoption in New Zealand
Doan, DT; GhaffarianHoseini, A; Naismith, N; GhaffarianHoseini, A; Zhang, T; Tookey, JPurpose Green building information modelling (BIM) has been highlighted as an essential topic owing to its potential benefits. However, both Green Star and BIM are still in their earlier stages in New Zealand. This paper ... -
Towards combining dense linear order with random graphs
Liu, J; Zhang, T (4th International Joint Conference on Automated Reasoning (IJCAR 2008), 2008)In this paper we present our work in progress towards obtaining a Nelson-Oppen style combination for combining quantified theories, where each individual component theory admits quantifier elimination. We introduces the ...