82 research outputs found
Argumentation Theory for Mathematical Argument
To adequately model mathematical arguments the analyst must be able to
represent the mathematical objects under discussion and the relationships
between them, as well as inferences drawn about these objects and relationships
as the discourse unfolds. We introduce a framework with these properties, which
has been used to analyse mathematical dialogues and expository texts. The
framework can recover salient elements of discourse at, and within, the
sentence level, as well as the way mathematical content connects to form larger
argumentative structures. We show how the framework might be used to support
computational reasoning, and argue that it provides a more natural way to
examine the process of proving theorems than do Lamport's structured proofs.Comment: 44 pages; to appear in Argumentatio
Recommended from our members
Building information modeling â A game changer for interoperability and a chance for digital preservation of architectural data?
Digital data associated with the architectural design-andconstruction
process is an essential resource alongside -and even
past- the lifecycle of the construction object it describes. Despite
this, digital architectural data remains to be largely neglected in
digital preservation research â and vice versa, digital preservation
is so far neglected in the design-and-construction process. In the
last 5 years, Building Information Modeling (BIM) has seen a
growing adoption in the architecture and construction domains,
marking a large step towards much needed interoperability. The
open standard IFC (Industry Foundation Classes) is one way in
which data is exchanged in BIM processes. This paper presents a
first digital preservation based look at BIM processes,
highlighting the history and adoption of the methods as well as
the open file format standard IFC (Industry Foundation Classes)
as one way to store and preserve BIM data
Measuring knowledge sharing processes through social network analysis within construction organisations
The construction industry is a knowledge intensive and information dependent industry. Organisations risk losing valuable knowledge, when the employees leave them. Therefore, construction organisations need to nurture opportunities to disseminate knowledge through strengthening knowledge-sharing networks. This study aimed at evaluating the formal and informal knowledge sharing methods in social networks within Australian construction organisations and identifying how knowledge sharing could be improved. Data were collected from two estimating teams in two case studies. The collected data through semi-structured interviews were analysed using UCINET, a Social Network Analysis (SNA) tool, and SNA measures. The findings revealed that one case study consisted of influencers, while the other demonstrated an optimal knowledge sharing structure in both formal and informal knowledge sharing methods. Social networks could vary based on the organisation as well as the individualsâ behaviour. Identifying networks with specific issues and taking steps to strengthen networks will enable
to achieve optimum knowledge sharing processes. This research offers knowledge sharing good practices for construction organisations to optimise their knowledge sharing processes
The 45th Australasian Universities Building Education Association Conference: Global Challenges in a Disrupted World: Smart, Sustainable and Resilient Approaches in the Built Environment, Conference Proceedings, 23 - 25 November 2022, Western Sydney University, Kingswood Campus, Sydney, Australia
This is the proceedings of the 45th Australasian Universities Building Education Association (AUBEA) conference which will be hosted by Western Sydney University in November 2022. The conference is organised by the School of Engineering, Design, and Built Environment in collaboration with the Centre for Smart Modern Construction, Western Sydney University. This yearâs conference theme is âGlobal Challenges in a Disrupted World: Smart, Sustainable and Resilient Approaches in the Built Environmentâ, and expects to publish over a hundred double-blind peer review papers under the proceedings
University Studentsâ Ability to Interpret Visual Representations in Plant Anatomy
This case study investigated first year university studentsâ ability to interpret visual representationsâmicrographsâin plant anatomy following instruction. Quantitative and qualitative data were collected through diagnostic tests, lesson observations, interviews, and document reviews. The findings revealed that studentsâ difficulties when interpreting plant micrographs was due to insufficient conceptual understanding and inadequate skills in reasoning and identification. A greater focus on these skills should support studentsâ ability to interpret visual representations in plant anatomy
Multi-dimensional assessment of student capabilities in mathematics and science
This study investigated relationships between students’ understanding, performance, and disposition in mathematics and science. The results indicated that assessments should be used to promote all aspects of student capability. Separate frameworks of student capability in mathematics and science need to be created to capture the individual nuances within each subject
- âŠ