Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modellin ....Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modelling tools that incorporate the complexity of the subsurface. We will develop a new computer algorithm that uses an innovative approach to model the Earth in three dimensions. Computer codes will be available through the national AuScope infrastructure facilities, so that researchers will have free access to algorithms, largely for the first time, to better interpret their data.Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
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
Strong Interaction Physics from Lattice QCD. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associates of h ....Strong Interaction Physics from Lattice QCD. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associates of high quality, who will benefit from participating in these state-of-the-art studies and from the advanced training in modeling, high-performance computer simulation and visualisation. This training will have major economic benefits for and provide strong links to Australian industry.Read moreRead less
Advanced studies of QCD and the strong interaction. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associa ....Advanced studies of QCD and the strong interaction. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associates of high quality, who will benefit from participating in these state-of-the-art studies and from the advanced training in modelling, high-performance computer simulation and visualisation. This training will have major economic benefits for and provide strong links to Australian industry.Read moreRead less
Advanced Studies of Non-Perturbative Quantum Electrodynamics (QED) and Relation to the Standard Model. The project is a high-precision study of nonperturbative quantum electrodynamics (QED). It will finally allow a detailed look into the inner workings of the "best theory we have". It will provide valuable guidance in understanding and constructing the "holy grail" of theoretical physics the so-called "theory of everything". It will place Australia at the cutting edge of fundamental theoretical ....Advanced Studies of Non-Perturbative Quantum Electrodynamics (QED) and Relation to the Standard Model. The project is a high-precision study of nonperturbative quantum electrodynamics (QED). It will finally allow a detailed look into the inner workings of the "best theory we have". It will provide valuable guidance in understanding and constructing the "holy grail" of theoretical physics the so-called "theory of everything". It will place Australia at the cutting edge of fundamental theoretical research. Australian graduate and undergraduate students will benefit from participating in this work and the state-of-the-art expertise that they will develop has a clear social and economic benefit for Australia.Read moreRead less
Studies of nonperturbative quantum electrodynamics. In order to test fundamental quantum field theories, which underlie all physical phenomena from galaxy formation to the behaviour of biological system, it is necessary to be able to solve these theories in all regions of interest. In particular, solving theories in the nonperturbative regime has proven a difficult and challenging problem. The most successful theory that we have in physics is perturbative quantum electrodynamics, even though in ....Studies of nonperturbative quantum electrodynamics. In order to test fundamental quantum field theories, which underlie all physical phenomena from galaxy formation to the behaviour of biological system, it is necessary to be able to solve these theories in all regions of interest. In particular, solving theories in the nonperturbative regime has proven a difficult and challenging problem. The most successful theory that we have in physics is perturbative quantum electrodynamics, even though in the nonperturbative regime it is widely believed to be a trivial or pathological theory. We will build on exciting recent successes in this field and use advanced supercomputers to understand the detailed nonperturbative behaviour of quantum electrodynamics.Read moreRead less
A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword ....A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword search, subgraph isomorphism and substructure query techniques. This project is expected to significantly accelerate the application of new technologies, for example, big data analytics and Internet of Things, in many of Australia's critical domains such as e-Health, smart cities, and cybersecurity.Read moreRead less
Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form ....Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form for multicodimensional Levi-nondegenerate CR-manifolds and extension of CR-mappings between them are major goals in complex analysis. Identification of Chern-Moser chains and equivariant linearisation of isotropy automorphisms are major goals in geometry.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less