The prediction of sleep/wake behaviour based on physiological and social factors. The prevalence of shiftwork has increased in Australia over the last few decades. Shiftworkers obtain less sleep, have greater difficulty maintaining good relationships, have poorer health, and are more likely to be injured at work than others. Using the largest dataset of its kind, we will substantially contribute to understanding the relationships between work hours, sleep, performance and safety. Ultimately, the ....The prediction of sleep/wake behaviour based on physiological and social factors. The prevalence of shiftwork has increased in Australia over the last few decades. Shiftworkers obtain less sleep, have greater difficulty maintaining good relationships, have poorer health, and are more likely to be injured at work than others. Using the largest dataset of its kind, we will substantially contribute to understanding the relationships between work hours, sleep, performance and safety. Ultimately, the project will answer a question critical to workplace safety - how much time off between shifts is needed to be alert and safe at work? The project will also produce tools to help industry design fatigue-friendly rosters, improving the safety, productivity and general well-being of shiftworkers in Australia and overseas.Read moreRead less
Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.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
Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theor ....Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theories. This has two potential long-term benefits: it will give a stronger basis for understanding what goes wrong in people where face recognition does not develop normally; and, the improved knowledge from a biological system may also lead to improved computer face recognition algorithms (eg. for airport security).Read moreRead less
ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions i ....ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions in science. An essential function of the network will be introducing researchers end users to new tools and broadening the horizons of graduate students.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability a ....Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability and non-contextuality. This project will develop a new set of models of non-separable systems and complexity that will in turn lead to new frontier technologies and theories.Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
Wiring up the nervous system: how do axons detect molecular gradients? This project will improve our understanding of how the nervous system
becomes wired up during development. This will ultimately allow better
therapies for some types of developmental disorders, and for repairing
damaged connections for instance in the spinal cord. The theoretical
models developed will improve our understanding of the computations
necessary to generate appropriate wiring of the nervous system, which
may ....Wiring up the nervous system: how do axons detect molecular gradients? This project will improve our understanding of how the nervous system
becomes wired up during development. This will ultimately allow better
therapies for some types of developmental disorders, and for repairing
damaged connections for instance in the spinal cord. The theoretical
models developed will improve our understanding of the computations
necessary to generate appropriate wiring of the nervous system, which
may facilitate the development of self-organizing computing
devices. The project will also provide unique research training at the
interface of biology and computation, building capacity for such
interdisciplinary research throughout Australia.
Read moreRead less
The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in log ....The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in logic, there are spin-offs for mathematics, cognitive science, computer studies, and the arts and entertainment industries.Read moreRead less