The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, top ....The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, topology, geometry, and computer graphics will be developed to characterise system/graph growth and stability. The aim is two-fold: first to reduce real complex systems (mainly financial systems) to computationally manageable structures (including direct visualisation) and second to construct realistic models of the evolution of such systems.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Beyond Scenarios: Testable Models of the Evolution of Norms. The aim of this project is to investigate the evolution of social norms, and their causal role in social life and its breakdown. It expects to generate new knowledge in this area through the application of new formal techniques to existing hypotheses; especially causal analysis, evolutionary game theory, and phylogenetic cross-cultural testing for empirically plausibility. Expected outcomes include theory development, improved research ....Beyond Scenarios: Testable Models of the Evolution of Norms. The aim of this project is to investigate the evolution of social norms, and their causal role in social life and its breakdown. It expects to generate new knowledge in this area through the application of new formal techniques to existing hypotheses; especially causal analysis, evolutionary game theory, and phylogenetic cross-cultural testing for empirically plausibility. Expected outcomes include theory development, improved research infrastructure and training in collaboration with international partners, and theoretical recommendations for policy intervention. This should allow greater insight and control over the levers of peaceful social life, both in traditional societies, and in large, open, multi-cultural nations like Australia. Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140101770
Funder
Australian Research Council
Funding Amount
$327,841.00
Summary
Secularism and Philosophy: The Challenge of Spinozism. With the resurgence of religious conflict throughout the world, the question of secularism has acquired renewed importance. Nowhere has the plausibility of a secular worldview been more rigorously debated than within the history of philosophy, and no philosopher has aroused more controversy on this subject than Benedict de Spinoza (1632-1677). This project will result in the first history of Spinozism's pivotal role in the history of secular ....Secularism and Philosophy: The Challenge of Spinozism. With the resurgence of religious conflict throughout the world, the question of secularism has acquired renewed importance. Nowhere has the plausibility of a secular worldview been more rigorously debated than within the history of philosophy, and no philosopher has aroused more controversy on this subject than Benedict de Spinoza (1632-1677). This project will result in the first history of Spinozism's pivotal role in the history of secularism, focusing on three distinct episodes of philosophical conflict generated by Spinoza's thought from the late eighteenth century to the present. The study will make clear that secularism is not simply a social and political phenomenon, but a philosophical conundrum, thus far irresolvable.Read moreRead less
The Indian Roots of Modern Chinese Thought. The Project will strengthen Australia's capacity to interpret and engage with our regional and global environments by demonstrating the need for greater understanding of the nationalistic appeal that Yogâcâra thought has held for Chinese intellectuals; and the rise of New Confucianism as a philosophical movement associated with robust expressions of cultural nationalism. It will also further enhance Australia's international intellectual profile by bri ....The Indian Roots of Modern Chinese Thought. The Project will strengthen Australia's capacity to interpret and engage with our regional and global environments by demonstrating the need for greater understanding of the nationalistic appeal that Yogâcâra thought has held for Chinese intellectuals; and the rise of New Confucianism as a philosophical movement associated with robust expressions of cultural nationalism. It will also further enhance Australia's international intellectual profile by bringing together leading researchers to forge innovative research networks and methodologies to advance the knowledge bases of Chinese intellectual history, Chinese Philosophy and Buddhist Studies, and contribute to building Australian research capacity in these three key areas.Read moreRead less
Changing your mind by changing your brain: An interventionist perspective on cognitive neuroscience. Functional neuroimaging provides a tremendous amount of information about the brain, but what it shows about the mind is less clear. Addressing this fundamental philosophical question requires developing a detailed account of theory-testing in cognitive neuroscience. This project aims to connect neuroimaging to theories of explanation that focus on the way one variable can make a difference to an ....Changing your mind by changing your brain: An interventionist perspective on cognitive neuroscience. Functional neuroimaging provides a tremendous amount of information about the brain, but what it shows about the mind is less clear. Addressing this fundamental philosophical question requires developing a detailed account of theory-testing in cognitive neuroscience. This project aims to connect neuroimaging to theories of explanation that focus on the way one variable can make a difference to another. By linking neuroimaging to facts about manipulable relationships between the brain and the mind, it will also provide a bridge between neuroimaging and complementary technologies for directly intervening on the brain. This, in turn, will provide a platform from which to explore the theoretical and ethical consequences of direct brain manipulation.Read moreRead less
The Intellectual Construction of Confucianism in Contemporary China and Taiwan. Since the 1980s China and Taiwan have witnessed the most sustained resurgence of intellectual interest in Confucianism of the twentieth century. This project will provide the first critical analysis of that revival by addressing the complex interaction of institutional, philosophical and ideological factors, rather than study one or the other in isolation. This will enable us to understand the processes by which Chi ....The Intellectual Construction of Confucianism in Contemporary China and Taiwan. Since the 1980s China and Taiwan have witnessed the most sustained resurgence of intellectual interest in Confucianism of the twentieth century. This project will provide the first critical analysis of that revival by addressing the complex interaction of institutional, philosophical and ideological factors, rather than study one or the other in isolation. This will enable us to understand the processes by which Chinese intellectuals have sought to make Confucianism a viable philosophical and cultural resource in the modern world; and to evaluate how successful they have been in achieving these goals.
Results: One monograph; one edited volume; several essays.
Read moreRead less
Living on the edge: how do Australian plants cope with extreme temperature? Of all the climatic factors determining species distributions, temperature is arguably the most important. It is extremes – rather than averages – that drive species evolution. So it is concerning that although extreme temperature events are increasing in frequency and intensity little is known about the breadth of thermal tolerance of plants from extreme environments. This information is crucial to understand species di ....Living on the edge: how do Australian plants cope with extreme temperature? Of all the climatic factors determining species distributions, temperature is arguably the most important. It is extremes – rather than averages – that drive species evolution. So it is concerning that although extreme temperature events are increasing in frequency and intensity little is known about the breadth of thermal tolerance of plants from extreme environments. This information is crucial to understand species distribution and survival under future climate regimes. This project will ascertain the thermal breadth of Australian species growing in situ and under controlled environments. The project will contribute to development of effective conservation, restoration and rehabilitation plans for Australian native plant communities. Read moreRead less
Understanding the role of trauma in alcohol and other drug-related problems. This project aims to investigate the relationship between trauma and alcohol and other drug (AOD)-related problems. Using a robust set of qualitative and ethnographic methods, the project expects to advance international knowledge on how experiences of trauma influence AOD consumption, and the diverse factors that shape variation in experience and outcomes for individuals. Expected outcomes include targeted recommendati ....Understanding the role of trauma in alcohol and other drug-related problems. This project aims to investigate the relationship between trauma and alcohol and other drug (AOD)-related problems. Using a robust set of qualitative and ethnographic methods, the project expects to advance international knowledge on how experiences of trauma influence AOD consumption, and the diverse factors that shape variation in experience and outcomes for individuals. Expected outcomes include targeted recommendations to improve AOD responses, policy and trauma-informed AOD care, and increased capacity of the Australian health workforce to respond to trauma and AOD-related problems. This should provide significant benefit by reducing the harms, and economic and social costs associated with AOD consumption.Read moreRead less