Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less
Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.Read moreRead less
Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
A unified theory of performance in absolute identification tasks. The ability to identify stimuli is fundamentally important in human cognition and is studied in absolute identification tasks, where people must identify one out of a number of stimuli, varying on a single dimension, with an appropriate label. A remarkable finding is that people cannot reliably identify more than about seven different stimuli. This limit imposes severe practical restrictions on our ability to categorise stimuli an ....A unified theory of performance in absolute identification tasks. The ability to identify stimuli is fundamentally important in human cognition and is studied in absolute identification tasks, where people must identify one out of a number of stimuli, varying on a single dimension, with an appropriate label. A remarkable finding is that people cannot reliably identify more than about seven different stimuli. This limit imposes severe practical restrictions on our ability to categorise stimuli and constitutes a perplexing problem for cognitive theory. This project involves an international collaborative effort by five leading researchers in mathematical psychology to develop a comprehensive, integrative model of human performance in absolute identification tasks.
Read moreRead less
New clean and green aqueous metathesis. The technique of olefin metathesis has already yielded new pharmaceuticals and materials for use in consumer products and ballistic protection. This project will help move metathesis into the realms of natures aqueous environment, a key advance if metathesis is to reveal its full potential in biological, polymeric, and pharmaceutical applications. We specifically aim to target treatments for cataract (and other conditions associated with an aging populatio ....New clean and green aqueous metathesis. The technique of olefin metathesis has already yielded new pharmaceuticals and materials for use in consumer products and ballistic protection. This project will help move metathesis into the realms of natures aqueous environment, a key advance if metathesis is to reveal its full potential in biological, polymeric, and pharmaceutical applications. We specifically aim to target treatments for cataract (and other conditions associated with an aging population) and also important new biopolymers for use in health technologies of the future.Read moreRead less
Collision data for lighting industry and plasma modeling. The project's primary aim is to progress the design of more efficient
and environmentally friendly light sources. Given the number of light
sources in use worldwide even a small improvement in the efficiency
could lead to enormous benefits to society via reduction of energy
consumption. Design of new mercury-free light sources will eliminate a
major neuro-toxin pollution source. Collaboration with research groups
at the OSRAM-SYLVA ....Collision data for lighting industry and plasma modeling. The project's primary aim is to progress the design of more efficient
and environmentally friendly light sources. Given the number of light
sources in use worldwide even a small improvement in the efficiency
could lead to enormous benefits to society via reduction of energy
consumption. Design of new mercury-free light sources will eliminate a
major neuro-toxin pollution source. Collaboration with research groups
at the OSRAM-SYLVANIA Corporation (USA) and Sheffield University (UK)
will herald the beginning of industrial application for our successful
atomic collisions research program. The previous substantial ARC
investment towards this fundamental science program has now enabled
practical application.Read moreRead less
Development of Australian model systems for speciation research. Our project will contribute to an understanding of the process of speciation, a fundamental biological problem, for which there are few well-developed model systems in the world. We will further our understanding of how Australia's extraordinary diversity of animal species have evolved, knowledge which is valuable for understanding the future impact of climatic and environmental changes on species. Our research will generate furthe ....Development of Australian model systems for speciation research. Our project will contribute to an understanding of the process of speciation, a fundamental biological problem, for which there are few well-developed model systems in the world. We will further our understanding of how Australia's extraordinary diversity of animal species have evolved, knowledge which is valuable for understanding the future impact of climatic and environmental changes on species. Our research will generate further knowledge of the diversity and biological significance of subterranean fauna in the arid zone of Australia, providing important background data for assessing the impacts of mining activities on groundwater-dependent-ecosystems and improved strategies for their sustainable management. Read moreRead less
Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, ....Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, the fellowship further ensuring reciprocal understandings of the specificity of each research site, collaborative publications and consistency of methodological approaches. Adherence to common research aims and objectives and cross-cultural benchmarking will significantly enhance Australian leadership in international best practice in youth policy implementations and development programs.Read moreRead less
The Australian-Netherlands project on work and stress research. Rapid changes in the nature of work globally require critical surveillance for effects on worker well-being and productivity. Occupational health policy trends in Australia and The Netherlands support continuous monitoring of the work environment. This project therefore provides a timely opportunity structure for intellectual exchange and capacity building for Australian and Dutch work and organisational psychologists, specifically ....The Australian-Netherlands project on work and stress research. Rapid changes in the nature of work globally require critical surveillance for effects on worker well-being and productivity. Occupational health policy trends in Australia and The Netherlands support continuous monitoring of the work environment. This project therefore provides a timely opportunity structure for intellectual exchange and capacity building for Australian and Dutch work and organisational psychologists, specifically in work stress and unemployment research. Highly experienced and emerging researchers together will develop and implement projects transnationally. Outcomes will include: joint doctoral-post doctoral supervision; joint publications and grants; advanced knowledge and applications, with international policy implications for improving working life and productivity.Read moreRead less