Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is ....Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is relevant to public-key cryptography, where breaking an encryption scheme should be infeasible, and to many real-life situations where NP-complete problems need to be solved, either exactly or approximately.Read moreRead less
The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced gen ....The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced genetic engineering, the development of new principles and systems for information storage and transmission, and the design of artificial systems capable of self-referential assembly in other environments.Read moreRead less
Logic and language: Foundations of cognitive growth. This project investigates children's competence in using language, from a biological perspective. The past twenty years has witnessed innovative developments in behavioral measures (e.g., eye-movement recording) and computational models of language development. I propose to integrate this research with the study of the neural basis of cognitive processes, using a new methodology for functional brain imaging, magnetoencephalography (MEG), The p ....Logic and language: Foundations of cognitive growth. This project investigates children's competence in using language, from a biological perspective. The past twenty years has witnessed innovative developments in behavioral measures (e.g., eye-movement recording) and computational models of language development. I propose to integrate this research with the study of the neural basis of cognitive processes, using a new methodology for functional brain imaging, magnetoencephalography (MEG), The project combines behavioral, computational, and biological methods to better understand (a) the nature of linguistic knowledge, (b) how logical expressions are acquired, and (c) how knowledge of logic and language are put to use by children in production and comprehension.Read moreRead less
Reducing health inequities and social exclusion: improved theory, understanding and policies. This research will provide knowledge to help understanding of why some groups are less healthy and less included in the mainstream of society than others. Research evidence indicates that reducing differences in health status & making more citizens included in the activities of society has overall health benefits & is good for economic development. The program will provide Australian and other governmen ....Reducing health inequities and social exclusion: improved theory, understanding and policies. This research will provide knowledge to help understanding of why some groups are less healthy and less included in the mainstream of society than others. Research evidence indicates that reducing differences in health status & making more citizens included in the activities of society has overall health benefits & is good for economic development. The program will provide Australian and other governments with much improved evidence about what works, what does not work in terms of improving population health and so enable better decisions about which public programs to invest in. Thus the research conducted under this program will inform ways in which Australian and overseas populations can achieve long and more productive livesRead moreRead less
Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also s ....Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also solve existing logistics and manufacturing applications better, making these industries more effective and reactive. The project also aims at establishing a center of excellence in optimization in Melbourne with an international reputation in research, teaching, and industrial collaboration.Read moreRead less
Precision Pulsar Timing and its Applications. The rapidly rotating pulsars known as millisecond pulsars have period stabilities which rival that of the best terrestrial clocks. Observations of many millisecond pulsars spread across the sky should allow detection of the gravitational-wave background - likely to be the first direct detection of gravity waves. It will also enable establishment of a long-term time standard which is independent of and probably superior to that derived from terrestria ....Precision Pulsar Timing and its Applications. The rapidly rotating pulsars known as millisecond pulsars have period stabilities which rival that of the best terrestrial clocks. Observations of many millisecond pulsars spread across the sky should allow detection of the gravitational-wave background - likely to be the first direct detection of gravity waves. It will also enable establishment of a long-term time standard which is independent of and probably superior to that derived from terrestrial clocks. New analysis techniques and establishment of an international observing network will be required. Investigation and application of techniques for overcoming radio interference will be an important part of the project.Read moreRead less
The New Paradigm of International Migration to and from Australia: Dimensions, Causes and Implications. Population movement to and from Australia is undergoing a major transformation but much thinking about immigration in Australia remains based on paradigms of the past. Yet debates such as those on immigration's contribution to national population size and growth, the significance of skilled migration, the response to asylum seekers, undocumented movement and the role of temporary versus settle ....The New Paradigm of International Migration to and from Australia: Dimensions, Causes and Implications. Population movement to and from Australia is undergoing a major transformation but much thinking about immigration in Australia remains based on paradigms of the past. Yet debates such as those on immigration's contribution to national population size and growth, the significance of skilled migration, the response to asylum seekers, undocumented movement and the role of temporary versus settlement migration have increased. This study identifies emerging trends of migration, examines global and domestic drivers of the movement in the context of developing migration theory, explores the economic, social and demographic consequences and draws out the implications for immigration and population policy.Read moreRead less
Understanding and Modeling Individual Choices in Applied Economics. The fellowship will create a critical mass of researchers in choice modeling theory and methods in areas that Australia needs to sustain economic progress and plan for the future. It will significantly advance knowledge in several major areas: design of health insurance markets; tests for adverse selection in insurance markets; ability of people to plan for retirement (superannuation choices); ability of people to plan and choos ....Understanding and Modeling Individual Choices in Applied Economics. The fellowship will create a critical mass of researchers in choice modeling theory and methods in areas that Australia needs to sustain economic progress and plan for the future. It will significantly advance knowledge in several major areas: design of health insurance markets; tests for adverse selection in insurance markets; ability of people to plan for retirement (superannuation choices); ability of people to plan and choose in dynamic environments; and decisions to adopt new technologies/products in evolving technology markets. The outcome will be new ways to understand and predict choices that can significantly improve practices in business and other organisations.Read moreRead less
Molecular machines that drive microbial pathogens. We will provide a comprehensive understanding of molecular machines situated at the surface of bacteria. This ground-breaking research will provide excellent outcomes in the training of research students and staff: this project entails frontier technology, and the transfer of technological capabilities not currently available in Australia. Our study on a non-pathogenic species of bacteria is timely too for National security: related species of b ....Molecular machines that drive microbial pathogens. We will provide a comprehensive understanding of molecular machines situated at the surface of bacteria. This ground-breaking research will provide excellent outcomes in the training of research students and staff: this project entails frontier technology, and the transfer of technological capabilities not currently available in Australia. Our study on a non-pathogenic species of bacteria is timely too for National security: related species of bacteria were amongst the first organisms trialed as biological weapons, and the pathogenic species remain rated as Class 3 organisms by the Centers for Disease Control.Read moreRead less
Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power f ....Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less