A mathematical model relating neural activity to cerebral blood flow. An ageing population is increasingly prone to neurodegenerative disease and the associated mental impairment can severely disrupt the lives of both the sufferers and the carers. Non-invasive brain imaging techniques are used to both diagnose and supervise treatment of such disease, but at present a lack of understanding of the underlying physiology leaves these methods open to criticism. The construction of a detailed quanti ....A mathematical model relating neural activity to cerebral blood flow. An ageing population is increasingly prone to neurodegenerative disease and the associated mental impairment can severely disrupt the lives of both the sufferers and the carers. Non-invasive brain imaging techniques are used to both diagnose and supervise treatment of such disease, but at present a lack of understanding of the underlying physiology leaves these methods open to criticism. The construction of a detailed quantitative model of the basic processes underlying this imaging will enable precise interpretation of such brain scans and increase their usefulness both as a research and as a therapeutic tool.Read moreRead less
Mathematical measurement and modelling of neuronal degeneration. Currently about 150,000 Australian's suffer from cognitive impairment due to Alzheimer's disease or dementia and this number is expected to double over the next few decades. By combining newly developed mathematical methods in complex systems with sophisticated neural imaging we will develop new techniques to advance the diagnosis and treatment of cognitive decline in normal ageing and neurodegenerative disease.
This project will ....Mathematical measurement and modelling of neuronal degeneration. Currently about 150,000 Australian's suffer from cognitive impairment due to Alzheimer's disease or dementia and this number is expected to double over the next few decades. By combining newly developed mathematical methods in complex systems with sophisticated neural imaging we will develop new techniques to advance the diagnosis and treatment of cognitive decline in normal ageing and neurodegenerative disease.
This project will also maintain the collaborative link between researchers in Biomathematics at Mount Sinai School of Medicine, New York and researchers in Applied Mathematics at UNSW that enables training of Australian scientists in the vital area of mathematical bio-complexity.Read moreRead less
A mathematical model of calcium signalling in single cells and in multicellular systems. Calcium released from stores inside cells plays a vital signalling role in living organisms. It initiates cell division after fertilization, mediates communication and learning in the nervous system, causes contraction in the muscular walls of arteries and plays an important but as yet poorly understood role in the information processing that occurs in systems of coupled glial cells. We will construct a uni ....A mathematical model of calcium signalling in single cells and in multicellular systems. Calcium released from stores inside cells plays a vital signalling role in living organisms. It initiates cell division after fertilization, mediates communication and learning in the nervous system, causes contraction in the muscular walls of arteries and plays an important but as yet poorly understood role in the information processing that occurs in systems of coupled glial cells. We will construct a unified mathematical model of calcium signalling in multicellular systems, starting from the known processes in single cells, and use it to gain insight into the functioning and possible dysfunctioning of calcium-mediated intercellular communication.Read moreRead less
Special Research Initiatives - Grant ID: SR0354793
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a mul ....A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a multidisciplinary spectrum. This will drive an integrated and accelerated program of discovery and technological development, enhancing Australia's leadership in this crucial field and helping to highlight new biotechnology opportunities and capture social and economic benefits for the nation. Read moreRead less
Constructive control of interconnected systems. Sustainability and competitiveness of the Australian industry critically depends on the progress in the technological area of distributed information processing and control. This project will contribute to the existing Australian research effort in this area by advancing the control systems theory which underpins many cutting edge technologies in areas of immediate national interest.
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
Diffusion driven pattern formation and signal propagation in spatially complex excitable media. A basic understanding of the mechanisms for pattern formation, from the spots on leopards to electrical signalling of neurons, has been achieved through reaction-diffusion equations. However to obtain a complete understanding, which is vital for many applications, it is necessary to modify this mathematical model to incorporate spatial complexities in the underlying media. This project will develop ....Diffusion driven pattern formation and signal propagation in spatially complex excitable media. A basic understanding of the mechanisms for pattern formation, from the spots on leopards to electrical signalling of neurons, has been achieved through reaction-diffusion equations. However to obtain a complete understanding, which is vital for many applications, it is necessary to modify this mathematical model to incorporate spatial complexities in the underlying media. This project will develop a fractional calculus framework for pattern formation, including signal propagation, in spatially complex and excitable media. In a particular application we will model the way in which the signalling properties of neurons depend critically on their spatial complexity.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less