A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, math ....A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, mathematics, linguistics and psychology, and will provide students with skills and analytic techniques that will be valuable in future pure and applied research.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190100113
Funder
Australian Research Council
Funding Amount
$420,437.00
Summary
Interactions between volumetric units in modular buildings. This project aims to develop an in-depth understanding of the interactions between volumetric units in modular buildings to develop integration strategies for the interconnection of modules. The uptake of modular construction has been hindered by the technical complexities of the design process for manufacture and assembly, in particular the flexible connection of services. By addressing significant gaps in the guidance on the design of ....Interactions between volumetric units in modular buildings. This project aims to develop an in-depth understanding of the interactions between volumetric units in modular buildings to develop integration strategies for the interconnection of modules. The uptake of modular construction has been hindered by the technical complexities of the design process for manufacture and assembly, in particular the flexible connection of services. By addressing significant gaps in the guidance on the design of modular interconnections and their integration strategies, this project expects to enhance the industry’s capacity to adopt safe, economical and standardised designs of modular systems. This project should significantly reduce the risk in decision making in modular construction, and transformation to advanced building manufacturing technologies in Australia and beyond.Read moreRead less
Surfacing urban wetlands in two urban renewal sites in Sydney. Urban wetlands in Australia provide benefits for climate change mitigation, pollution reduction, habitat provision and socioecological connection. However, in large cities like Sydney, urban wetlands are unseen because undergrounded, and, therefore not adequately understood. This illegibility, and loss of understanding by residents, planners and policy makers impedes wetlands' good management. This project surfaces wetlands through v ....Surfacing urban wetlands in two urban renewal sites in Sydney. Urban wetlands in Australia provide benefits for climate change mitigation, pollution reduction, habitat provision and socioecological connection. However, in large cities like Sydney, urban wetlands are unseen because undergrounded, and, therefore not adequately understood. This illegibility, and loss of understanding by residents, planners and policy makers impedes wetlands' good management. This project surfaces wetlands through visualisation in a multimodal knowledge platform focusing on two urban renewal sites, Green Square and Marrickville South. We leverage design ethnography to develop resources for strengthening multiple stakeholders’ socioecological engagement through methods empowering just, creative and open participation.Read moreRead less
Using acoustic retroreflection in architecture to improve rooms for speech. This project aims to discover how a novel form of acoustic treatment can improve acoustics for speech in rooms such as classrooms and open-plan offices. The project will generate new knowledge on the theory, design, and effects of acoustically retroreflective surfaces in room acoustics. Expected outcomes include solutions for effective acoustic retroreflectors, knowledge on how retroreflection influences people’s voice r ....Using acoustic retroreflection in architecture to improve rooms for speech. This project aims to discover how a novel form of acoustic treatment can improve acoustics for speech in rooms such as classrooms and open-plan offices. The project will generate new knowledge on the theory, design, and effects of acoustically retroreflective surfaces in room acoustics. Expected outcomes include solutions for effective acoustic retroreflectors, knowledge on how retroreflection influences people’s voice regulation and sound quality perception, and guidelines and simulation tools for integrating retroreflective treatments to improve speaking comfort. This should provide significant benefits including opportunities to resolve seemingly intractable design dilemmas in the acoustics of education and workplace environments.Read moreRead less
Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less
Place and parametricism: Provocations for the rethinking of design. This project aims to explore whether quantitative methods of digital and parametric design can adequately encompass place. Quantitative digital and parametric approaches increasingly dominate contemporary architecture, but people assume architectural design should be essentially oriented to questions of place. The project will operate through a set of studio provocations based on the fictional places of Mervyn Peake's Gormenghas ....Place and parametricism: Provocations for the rethinking of design. This project aims to explore whether quantitative methods of digital and parametric design can adequately encompass place. Quantitative digital and parametric approaches increasingly dominate contemporary architecture, but people assume architectural design should be essentially oriented to questions of place. The project will operate through a set of studio provocations based on the fictional places of Mervyn Peake's Gormenghast novels. The project is expected to clarify the nature of place and parametricism, and rethink what design itself might be.Read moreRead less
Built-up cold-formed steel structures. The building industry is seeing a rapid uptake of joining two or more cold-formed steel sections to form large built-up sections with high carrying capacities. The joining consists of screws, or similar fasteners, placed intermittently along the member. The ease of joining encourages innovation in forming versatile new built-up section shapes in expanding areas of application. The project will provide guidelines and numerical tools for the efficient structu ....Built-up cold-formed steel structures. The building industry is seeing a rapid uptake of joining two or more cold-formed steel sections to form large built-up sections with high carrying capacities. The joining consists of screws, or similar fasteners, placed intermittently along the member. The ease of joining encourages innovation in forming versatile new built-up section shapes in expanding areas of application. The project will provide guidelines and numerical tools for the efficient structural design of built-up sections through experimental and theoretical research, studying the new failure modes pertaining to built-up sections, the increase in strength achievable from composite action and the optimum arrangement of fasteners. Read moreRead less
Integrated Autonomous Housing for Remote Australian Communities: Analysis, Synthesis and Testing. At remote mining communities, little consideration is given to comfort or energy efficiency in housing - services have not been optimised to minimise greenhouse gas emissions, water consumption and solid waste. This project will address these environmental issues and the associated social problems by combining the resources of BHP Billiton and the University of Newcastle to develop a model for remot ....Integrated Autonomous Housing for Remote Australian Communities: Analysis, Synthesis and Testing. At remote mining communities, little consideration is given to comfort or energy efficiency in housing - services have not been optimised to minimise greenhouse gas emissions, water consumption and solid waste. This project will address these environmental issues and the associated social problems by combining the resources of BHP Billiton and the University of Newcastle to develop a model for remote housing. The project aims to design and test an integrated low impact or autonomous transportable house. The results of this research are applicable to remote defence sites, small rural townships and Aboriginal communities as well as for international export.Read moreRead less
Shallow foundations in unsaturated soils: mechanistic design through numerical modelling, analysis and experimental investigation. This project will close the knowledge gap of how shallow foundations perform in variably saturated soils. It will integrate expertise in unsaturated soil mechanics, theory of elasto-plasticity, numerical modelling, limit analysis and experimental investigation. It will achieve a rigorous understanding of footings founded on unsaturated soils subjected to monotonic lo ....Shallow foundations in unsaturated soils: mechanistic design through numerical modelling, analysis and experimental investigation. This project will close the knowledge gap of how shallow foundations perform in variably saturated soils. It will integrate expertise in unsaturated soil mechanics, theory of elasto-plasticity, numerical modelling, limit analysis and experimental investigation. It will achieve a rigorous understanding of footings founded on unsaturated soils subjected to monotonic loading using a recently developed experimental testing facility, and analyses using finite elements, the method of characteristics and zero extension line theory. Impact and adoption in industry will be direct through world first design tools which incorporate the influence of suction on bearing capacity, settlement and safety.Read moreRead less