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
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
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
Muscle memory: The key to novel interactive memory support systems. This project aims to investigate how the use of muscle memory as a deliberate interaction design resource can effectively support declarative memory. The project brings together memory interaction design and bodily activity design to address increasing concerns surrounding Australians’ memory. By investigating muscle memory in interaction design, the project is expected to advance international understanding of scholarly and pra ....Muscle memory: The key to novel interactive memory support systems. This project aims to investigate how the use of muscle memory as a deliberate interaction design resource can effectively support declarative memory. The project brings together memory interaction design and bodily activity design to address increasing concerns surrounding Australians’ memory. By investigating muscle memory in interaction design, the project is expected to advance international understanding of scholarly and practical processes that complement design for declarative memory. The project will lay the foundation for extending research which will assist movement, rehabilitation, health and educational sports practitioners that can create engaging experiences that use muscle memory for the benefit of all Australians.Read moreRead less
Behaviour of ultra-high strength double-skin composite tubular construction. Ultra-high strength (UHS) steel tubes are currently used mainly in the vehicle industry due to their high strength and light weight. This project aims to enable the building of more resilient and sustainable infrastructure by utilising these UHS steel tubes in double-skin composite tubular construction. To date there has been little work to understand the effects of fire, earthquake and impact related incidents on these ....Behaviour of ultra-high strength double-skin composite tubular construction. Ultra-high strength (UHS) steel tubes are currently used mainly in the vehicle industry due to their high strength and light weight. This project aims to enable the building of more resilient and sustainable infrastructure by utilising these UHS steel tubes in double-skin composite tubular construction. To date there has been little work to understand the effects of fire, earthquake and impact related incidents on these structures. This project aims to access unique testing facilities for full size impact and fire testing and the state-of-the-art hybrid testing simulation. It is expected to increase the competitiveness of the Australian manufacturing industry by overcoming the bottleneck in the manufacture of steel sections.Read moreRead less