Economic potential for improving the nutritional characteristics of feed grains

A comprehensive set of potential new feed grains for Australia was evaluated to help establish the options with the highest priorities for research. The cost-reducing impacts of the different options were analysed using a linear-programming model that determined the least-cost feed rations for the different livestock industries. Economic welfare analysis was then used to estimate the size and distribution of the benefits of research from the feed grains quality-improving research. The analysis revealed that there are only limited opportunities to improve the productivity and competitiveness of Australia’s livestock industries by improving the nutritional characteristics of feed grains.Crop Production/Industries,

Economic Assessment of Improving Nutritional Characteristics of Feed Grains

Food Consumption/Nutrition/Food Safety,

A regularity criterion for solutions of the three-dimensional Cahn-Hilliard-Navier-Stokes equations and associated computations

We consider the 3D Cahn-Hilliard equations coupled to, and driven by, the forced, incompressible 3D Navier-Stokes equations. The combination, known as the Cahn-Hilliard-Navier-Stokes (CHNS) equations, is used in statistical mechanics to model the motion of a binary fluid. The potential development of singularities (blow-up) in the contours of the order parameter $\phi$ is an open problem. To address this we have proved a theorem that closely mimics the Beale-Kato-Majda theorem for the $3D$ incompressible Euler equations [Beale et al. Commun. Math. Phys., Commun. Math. Phys., ${\rm 94}$, $61-66 ({\rm 1984})$]. By taking an $L^{\infty}$ norm of the energy of the full binary system, designated as $E_{\infty}$, we have shown that $\int_{0}^{t}E_{\infty}(\tau)\,d\tau$ governs the regularity of solutions of the full 3D system. Our direct numerical simulations (DNSs), of the 3D CHNS equations, for (a) a gravity-driven Rayleigh Taylor instability and (b) a constant-energy-injection forcing, with $128^3$ to $512^3$ collocation points and over the duration of our DNSs, confirm that $E_{\infty}$ remains bounded as far as our computations allow.Comment: 11 pages, 3 figure

The role of BKM-type theorems in 3D3D Euler, Navier-Stokes and Cahn-Hilliard-Navier-Stokes analysis

The Beale-Kato-Majda theorem contains a single criterion that controls the behaviour of solutions of the $3D$ incompressible Euler equations. Versions of this theorem are discussed in terms of the regularity issues surrounding the $3D$ incompressible Euler and Navier-Stokes equations together with a phase-field model for the statistical mechanics of binary mixtures called the $3D$ Cahn-Hilliard-Navier-Stokes (CHNS) equations. A theorem of BKM-type is established for the CHNS equations for the full parameter range. Moreover, for this latter set, it is shown that there exists a Reynolds number and a bound on the energy-dissipation rate that, remarkably, reproduces the $Re^{3/4}$ upper bound on the inverse Kolmogorov length normally associated with the Navier-Stokes equations alone. An alternative length-scale is introduced and discussed, together with a set of pseudo-spectral computations on a $128^{3}$ grid.Comment: 3 figures and 3 table

Did Jesus teach obedience to the law?

My thesis is, Jesus always taught people to obey the law. The importance of this thesis is demonstrated by the fact that Jesus' attitude towards the law has been a continual debate within scholarship. Scholars cannot decide which law Jesus clearly disobeyed or rejected by his teaching or actions. It is the purpose of this thesis to show that all of Jesus' teaching and actions with respect to the law in the synoptic gospels are compatible with the kind of things law abiding Jews said and did. This thesis casts doubt on the view that Jesus must have disobeyed the law because he saw the will of God as something different from the law of GodThe thesis will make the following points:.1) Every pious Jew during this period believed that the will of God could not be separated and independent of the law of Moses.2) Every Jew knew that the law and extra-biblical practices (whether Pharisaic or not) were not equally authoritative. A Jew did not have to obey extra-biblical practices in order to be law abiding.3) The evidence of Matthew 5:17-20 suggests at the very least that Jesus believed in the eternality of the law and respected even its "least"commandments.4) The evidence of the "Antitheses" (Mt. 5:21-48) suggests that Jesus was able to make a contrast between different sins which the law condemns. It is not a contrast between the teaching of God in the law and the teaching of Jesus.5) The saying "Let the dead bury their dead" suggests that Jesus expected a man to forego a common custom of second burial but not the fifth commandment to honour one's parents.6) Jesus' teaching and actions in regards to the sabbath suggest that he thought the sabbath laws should be obeyed.7) Jesus' association with sinners does not contradict anything in the law but indicates that Jesus was willing to abandon some common safeguards in order to bring sinners to repentance.8) Jesus' saying about what defiles a man is not an attack on obeying the purity laws. Rather, it is an attack on following some cultic laws but not following other moral laws.9) Jesus' teaching on divorce is a criticism of divorce in general but is not an attempt to make divorce and remarriage illegal.10) Jesus' saying on the greatest commandment shows that he believed that loving God and loving others were the two goals of obeying the law.11) Jesus' demonstration in the Temple indicates that he supported the Templecult but he denounced the corruption which was associated with it

Formation of rectifier with gold nanoclusters

Gold nanoclusters encapsulated with organic molecules are of great interest for its possible applications in the fields of molecular electronics, catalysis and medical science. Here we demonstrate that monolayer and bilayer films of thiol-capped gold nanoclusters can exhibit diode-like properties provided controlled spatial asymmetry exist between two tunnel junctions used to connect a thiol capped gold nanoclusters. Current-voltage characteristics of this rectifier were obtained from conducting probe atomic force microscopy measurements and also from conventional two probe resistance measurements. Systematic x-ray reflectivity and atomic force microscopy measurements were carried out to characterize the spatial asymmetry introduced by a monolayer of fatty acid salt gadolinium stearate used to deposit thiol-capped gold nanocluster molecules on hydrophilic SiO2-Si(001) substrate by Langmuir Blodgett technique. This information was used to explain prominent rectification observed in these nano-structured films.Comment: 13 pages, 3 figure

A fully resolved active musculo-mechanical model for esophageal transport

Esophageal transport is a physiological process that mechanically transports an ingested food bolus from the pharynx to the stomach via the esophagus, a multi-layered muscular tube. This process involves interactions between the bolus, the esophagus, and the neurally coordinated activation of the esophageal muscles. In this work, we use an immersed boundary (IB) approach to simulate peristaltic transport in the esophagus. The bolus is treated as a viscous fluid that is actively transported by the muscular esophagus, which is modeled as an actively contracting, fiber-reinforced tube. A simplified version of our model is verified by comparison to an analytic solution to the tube dilation problem. Three different complex models of the multi-layered esophagus, which differ in their activation patterns and the layouts of the mucosal layers, are then extensively tested. To our knowledge, these simulations are the first of their kind to incorporate the bolus, the multi-layered esophagus tube, and muscle activation into an integrated model. Consistent with experimental observations, our simulations capture the pressure peak generated by the muscle activation pulse that travels along the bolus tail. These fully resolved simulations provide new insights into roles of the mucosal layers during bolus transport. In addition, the information on pressure and the kinematics of the esophageal wall due to the coordination of muscle activation is provided, which may help relate clinical data from manometry and ultrasound images to the underlying esophageal motor function

Dependently Typing R Vectors, Arrays, and Matrices

The R programming language is widely used in large-scale data analyses. It contains especially rich built-in support for dealing with vectors, arrays, and matrices. These operations feature prominently in the applications that form R's raison d'\^etre, making their behavior worth understanding. Furthermore, ostensibly for programmer convenience, their behavior in R is a notable extension over the corresponding operations in mathematics, thereby offering some challenges for specification and static verification. We report on progress towards statically typing this aspect of the R language. The interesting aspects of typing, in this case, warn programmers about violating bounds, so the types must necessarily be dependent. We explain the ways in which R extends standard mathematical behavior. We then show how R's behavior can be specified in LiquidHaskell, a dependently-typed extension to Haskell. In the general case, actually verifying library and client code is currently beyond LiquidHaskell's reach; therefore, this work provides challenges and opportunities both for typing R and for progress in dependently-typed programming languages.Comment: 10 page