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
Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamil ....Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamiltonian cycles in a graph. Analysis of the determinant objective function in terms of the eigenvalues may lead to new spectral properties of stochastic matrices. Algorithmic advances exploiting such a characterisation will significantly contribute to existing technologies for solving problems in a wide range of applications.Read moreRead less
Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as ....Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as new standards in the field are developed. Furthermore, the fund management industry (particularly superannuation) is significant to the Australian economy and development of this technology has the potential to enhance its performance and reputation.Read moreRead less
Identifying The Critical Pathways Which Regulate Vertebrate Craniofacial Development
Funder
National Health and Medical Research Council
Funding Amount
$552,131.00
Summary
Understanding the genes which underlie human birth defects is of immense clinical importance. Our laboratory is a world-leader investigating a gene responsible for facial skeleton development, Grhl2. With our wide range of models, we will discover how Grhl2 works to ensure the face and skull develop properly during birth.
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
RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this ....RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this project is to design new public-key cryptography hardware to provide faster, more secure communications for computers, networks and smart cards. Achieving this will require innovations in the way computers perform arithmetic and how this arithmetic is realised as an integrated circuit.Read moreRead less
Improved theory and practice in econometric modelling of nonlinear spatial time series. Modern Australia faces many challenges in economic and global climate changes, which require advanced statistical technologies in modeling and forecasting of econometric spatial time series data. This project will provide flexible models and methods that enable practitioners to more accurately measure and manage economic and climatic risks.
Understanding The Causes Of Childhood Congenital Anomalies Of The Kidney And Urinary Tract
Funder
National Health and Medical Research Council
Funding Amount
$609,748.00
Summary
Congenital anomalies of the kidney and urinary tract (CAKUT) is a common cause of renal failure in children. The majority of patients with CAKUT do not know the underlying cause of their renal anomalies. In this proposal we will characterise the developmental events that are perturbed in three mouse models of CAKUT and identify the causal gene responsible in each mouse model. We will translate this information to the clinic by screening patients with CAKUT for mutations in these newly identified ....Congenital anomalies of the kidney and urinary tract (CAKUT) is a common cause of renal failure in children. The majority of patients with CAKUT do not know the underlying cause of their renal anomalies. In this proposal we will characterise the developmental events that are perturbed in three mouse models of CAKUT and identify the causal gene responsible in each mouse model. We will translate this information to the clinic by screening patients with CAKUT for mutations in these newly identified genes.Read moreRead less
Targeting Sphingosine Kinase 1 To Sensitise Acute Myeloid Leukaemia To BH3 Mimetic Therapy
Funder
National Health and Medical Research Council
Funding Amount
$670,005.00
Summary
Acute Myeloid Leukaemia (AML) patients are currently treated with chemotherapeutics and despite their success at achieving disease remission these responses are often short lived, resulting in relapse and death. We have identified sphingosine kinase 1 as a new drug target in AML. This proposal aims to examine the role of targeting sphingosine kinase 1 in combination with new targeted therapies in patient samples and preclinical mouse models of AML.