Development of a second order closure model for computation of turbulent diffusion flames

A typical eddy box model for the second-order closure of turbulent, multispecies, reacting flows developed. The model structure was quite general and was valid for an arbitrary number of species. For the case of a reaction involving three species, the nine model parameters were determined from equations for nine independent first- and second-order correlations. The model enabled calculation of any higher-order correlation involving mass fractions, temperatures, and reaction rates in terms of first- and second-order correlations. Model predictions for the reaction rate were in very good agreement with exact solutions of the reaction rate equations for a number of assumed flow distributions

Constitutive Models for Tumour Classification

The aim of this paper is to formulate new mathematical models that will be able to differentiate not only between normal and abnormal tissues, but, more importantly, between benign and malignant tumours. We present preliminary results of a tri-phasic model and numerical simulations of the effect of cellular adhesion forces on the mechanical properties of biological tissues. We pursued the following three approaches: (i) the simulation of the time-harmonic linear elastic models to examine coarse scale effects and adhesion properties, (ii) the investigation of a tri-phasic model, with the intent of upscaling this model to determine effects of electro-mechanical coupling between cells, and (iii) the upscaling of a simple cell model as a framework for studying interface conditions at malignant cells. Each of these approaches has opened exciting new directions of research that we plan to study in the future

Cities within cities: Australian and New Zealand art in the 20th century

This paper argues for a new conception of both Australian and New Zealand art history based on their long-standing historical connection. The national histories of the art of both countries that dominated the 20th century are revealed as themselves historical, preceded and followed by non-national histories that are in effect part of a wider history of world art. The paper makes its case by looking at a number of artists whose careers cross between the two countries and at the expatriates from both countries who worked together in Europe

Genome-wide analysis of DNA replication timing in single cells : Yes! We're all individuals

Peer reviewedPublisher PD

Simulating operational memory models using off-the-shelf program analysis tools

Memory models allow reasoning about the correctness of multithreaded programs. Constructing and using such models is facilitated by simulators that reveal which behaviours of a given program are allowed. While extensive work has been done on simulating axiomatic memory models, there has been less work on simulation of operational models. Operational models are often considered more intuitive than axiomatic models, but are challenging to simulate due to the vast number of paths through the model’s transition system. Observing that a similar path-explosion problem is tackled by program analysis tools, we investigate the idea of reducing the decision problem of “whether a given memory model allows a given behaviour” to the decision problem of “whether a given C program is safe”, which can be handled by a variety of off-the-shelf tools. We report on our experience using multiple program analysis tools for C for this purpose—a model checker (CBMC), a symbolic execution tool (KLEE), and three coverage-guided fuzzers (libFuzzer, Centipede and AFL++)—presenting two case-studies. First, we evaluate the performance and scalability of these tools in the context of the x86 memory model, showing that fuzzers offer performance competitive with that of RMEM, a state-of-the-art bespoke memory model simulator. Second, we study a more complex, recently developed memory model for hybrid CPU/FPGA devices for which no bespoke simulator is available. We highlight how different encoding strategies can aid the various tools and show how our approach allows us to simulate the CPU/FPGA model twice as deeply as in prior work, leading to us finding and fixing several infidelities in the model. We also experimented with applying three analysis tools that won the “falsification” category in the 2023 Annual Software Verification Competition (SV-COMP). We found that these tools do not scale to our use cases, motivating us to submit example C programs arising from our work for inclusion in the set of SV-COMP benchmarks, so that they can serve as challenge examples

What Goods Do Countries Trade? A Quantitative Exploration of Ricardo’s Ideas

The Ricardian model predicts that countries should produce and export relatively more in industries in which they are relatively more productive. Though one of the most celebrated insights in the theory of international trade, this prediction has received little attention in the empirical literature since the mid-1960s. The main reason behind this lack of popularity is the absence of clear theoretical foundations to guide the empirical analysis. Building on the seminal work of Eaton and Kortum (“Technology, Geography, and Trade”, Econometrica, 70, 1741–1779 2002), we offer such foundations and use them to quantify the importance of Ricardian comparative advantage. In the process, we also provide a theoretically consistent alternative to Balassa's (1965, “An Empirical Demonstration of Classical Comparative Cost Theory”, Review of Economics and Statistics, 45, 231–238) well-known index of “revealed comparative advantage”

The ADHM Construction of Instantons on Noncommutative Spaces

We present an account of the ADHM construction of instantons on Euclidean space-time $\mathbb{R}^4$ from the point of view of noncommutative geometry. We recall the main ingredients of the classical construction in a coordinate algebra format, which we then deform using a cocycle twisting procedure to obtain a method for constructing families of instantons on noncommutative space-time, parameterised by solutions to an appropriate set of ADHM equations. We illustrate the noncommutative construction in two special cases: the Moyal-Groenewold plane $\mathbb{R}^4_\hbar$ and the Connes-Landi plane $\mathbb{R}^4_\theta$.Comment: Latex, 40 page