Experience with statically-generated proxies for facilitating Java runtime specialisation

Issues pertaining to mechanisms which can be used to change the behaviour of Java classes at runtime are discussed. The proxy mechanism is compared to, and contrasted with other standard approaches to this problem. Some of the problems the proxy mechanism is subject to are expanded upon. The question of whether statically-developed proxies are a viable alternative to bytecode rewriting was investigated by means of the JavaCloak system, which uses statically-generated proxies to alter the runtime behaviour of externally-developed code. The issues addressed include ensuring the type safety, dealing with the self problem, object encapsulation, and issues of object identity and equality. Some performance figures are provided which demonstrate the load the JavaCloak proxy mechanism places on the system

The g-periodic subvarieties for an automorphism g of positive entropy on a compact Kahler manifold

For a compact Kahler manifold X and a strongly primitive automorphism g of positive entropy, it is shown that X has at most rank NS(X) of g-periodic prime divisors B_i (i.e., g^s(B_i) = B_i for some s > 0). When X is a projective threefold, every prime divisor containing infinitely many g-periodic curves, is shown to be g-periodic itself (a result in the spirit of the Dynamic Manin-Mumford conjecture).Comment: Advances in Mathematics (to appear), 11 page

Elliptic systems with measurable coefficients of the type of Lam\'e system in three dimensions

We study the $3 \times 3$ elliptic systems $\nabla \times (a(x) \nabla\times u)-\nabla (b(x) \nabla \cdot u)=f$, where the coefficients $a(x)$ and $b(x)$ are positive scalar functions that are measurable and bounded away from zero and infinity. We prove that weak solutions of the above system are H\"older continuous under some minimal conditions on the inhomogeneous term $f$. We also present some applications and discuss several related topics including estimates of the Green's functions and the heat kernels of the above systems.Comment: Proof of Theorem 3.1 is correcte

Lower bounds on the blow-up rate of the axisymmetric Navier-Stokes equations II

Consider axisymmetric strong solutions of the incompressible Navier-Stokes equations in $\R^3$ with non-trivial swirl. Let $z$ denote the axis of symmetry and $r$ measure the distance to the z-axis. Suppose the solution satisfies either $|v (x,t)| \le C_*{|t|^{-1/2}}$ or, for some \e > 0, $|v (x,t)| \le C_* r^{-1+\epsilon} |t|^{-\epsilon /2}$ for $-T_0\le t < 0$ and $0<C_*<\infty$ allowed to be large. We prove that $v$ is regular at time zero.Comment: More explanations and a new appendi

A Geometric Morphometric Analysis of Heterochrony in the Cranium of Chimpanzees and Bonobos

Despite several decades of research, there remains a lack of consensus on the extent to which bonobos are paedomorphic (juvenilized) chimpanzees in terms of cranial morphology. This study reexamines the issue by comparing the ontogeny of cranial shape in cross-sectional samples of bonobos (Pan paniscus) and chimpanzees (Pan troglodytes) using both internal and external 3D landmarks digitized from CT scans. Geometric morphometric methods were used to quantify shape and size; dental-maturation criteria were used to estimate relative dental age. Heterochrony was evaluated using combined size-shape (allometry) and shape-age relationships for the entire cranium, the face, and the braincase. These analyses indicate that the bonobo skull is paedomorphic relative to the chimpanzee for the first principal component of size-related shape variation, most likely via a mechanism of postformation (paedomorphosis due to initial shape underdevelopment). However, the results also indicate that not all aspects of shape differences between the two species, particularly in the face, can be attributed to heterochronic transformation and that additional developmental differences must also have occurred during their evolution.Anthropolog

The ant abdomen: The skeletomuscular and soft tissue anatomy of Amblyopone australis workers (Hymenoptera: Formicidae)

Recent studies of insect anatomy evince a trend towards a comprehensive and integrative investigation of individual traits and their evolutionary relationships. The abdomen of ants, however, remains critically understudied. To address this shortcoming, we describe the abdominal anatomy of Amblyopone australis Erichson, using a multimodal approach combining manual dissection, histology, and microcomputed tomography. We focus on skeletomusculature, but additionally describe the metapleural and metasomal exocrine glands, and the morphology of the circulatory, digestive, reproductive, and nervous systems. We describe the muscles of the dorsal vessel and the ducts of the venom and Dufour\u27s gland, and characterize the visceral anal musculature. Through comparison with other major ant lineages, apoid wasps, and other hymenopteran outgroups, we provide a first approximation of the complete abdominal skeletomuscular groundplan in Formicidae, with a nomenclatural schema generally applicable to the hexapod abdomen. All skeletal muscles were identifiable with their homologs, while we observe potential apomorphies in the pregenital skeleton and the sting musculature. Specifically, we propose the eighth coxocoxal muscle as an ant synapomorphy; we consider possible transformation series contributing to the distribution of states of the sternal apodemes in ants, Hymenoptera, and Hexapoda; and we address the possibly synapomorphic loss of the seventh sternal–eighth gonapophyseal muscles in the vespiform Aculeata. We homologize the ovipositor muscles across Hymenoptera, and summarize demonstrated and hypothetical muscle functions across the abdomen. We also give a new interpretation of the proximal processes of gonapophyses VIII and the ventromedial processes of gonocoxites IX, and make nomenclatural suggestions in the context of evolutionary anatomy and ontology. Finally, we discuss the utility of techniques applied and emphasize the value of primary anatomical research

TREX1 DNA exonuclease deficiency, accumulation of single stranded DNA and complex human genetic disorders

Aicardi-Goutieres syndrome (AGS) is an unusual condition that clinically mimics a congenital viral infection. Several genes have recently been implicated in the aetiology of this disorder. One of these genes encodes the DNA exonuclease TREX1. Recent work from Yang, Lindahl and Barnes has provided insight into the cellular consequence of TREX1-deficiency. They found that TREX1-deficiency resulted in the intracellular accumulation of single stranded DNA resulting in chronic activation of the DNA damage response network, even in cells from Trex1-mutated AGS patients. Here, I summarise their findings and discuss them in context with the other AGS causative genes which encode subunits of the RNase H2 complex. I describe mechanisms by which the inappropriate intracellular accumulation of nucleic acid species might deleteriously impact upon normal cell cycle progression. Finally, using the example of Systemic Lupus Erythematosus (SLE), I also summarise the evidence suggesting that the failure to process intermediates of nucleic acid metabolism can result in the activation of uncontrolled autoimmunity

Optimal modelling and experimentation for the improved sustainability of microfluidic chemical technology design

Optimization of the dynamics and control of chemical processes holds the promise of improved sustainability for chemical technology by minimizing resource wastage. Anecdotally, chemical plant may be substantially over designed, say by 35-50%, due to designers taking account of uncertainties by providing greater flexibility. Once the plant is commissioned, techniques of nonlinear dynamics analysis can be used by process systems engineers to recoup some of this overdesign by optimization of the plant operation through tighter control. At the design stage, coupling the experimentation with data assimilation into the model, whilst using the partially informed, semi-empirical model to predict from parametric sensitivity studies which experiments to run should optimally improve the model. This approach has been demonstrated for optimal experimentation, but limited to a differential algebraic model of the process. Typically, such models for online monitoring have been limited to low dimensions. Recently it has been demonstrated that inverse methods such as data assimilation can be applied to PDE systems with algebraic constraints, a substantially more complicated parameter estimation using finite element multiphysics modelling. Parametric sensitivity can be used from such semi-empirical models to predict the optimum placement of sensors to be used to collect data that optimally informs the model for a microfluidic sensor system. This coupled optimum modelling and experiment procedure is ambitious in the scale of the modelling problem, as well as in the scale of the application - a microfluidic device. In general, microfluidic devices are sufficiently easy to fabricate, control, and monitor that they form an ideal platform for developing high dimensional spatio-temporal models for simultaneously coupling with experimentation. As chemical microreactors already promise low raw materials wastage through tight control of reagent contacting, improved design techniques should be able to augment optimal control systems to achieve very low resource wastage. In this paper, we discuss how the paradigm for optimal modelling and experimentation should be developed and foreshadow the exploitation of this methodology for the development of chemical microreactors and microfluidic sensors for online monitoring of chemical processes. Improvement in both of these areas bodes to improve the sustainability of chemical processes through innovative technology. (C) 2008 The Institution of Chemical Engineers. Published by Elsevier B.V. All rights reserved