A Local Semi-Implicit Level-Set Method for Interface Motion

This paper proposes and implements a novel hybrid level set method which combines the numerical efficiency of the local level set approach with the temporal stability afforded by a semi-implicit technique. By introducing an extraction/insertion algorithm into the local level set approach, we can accurately capture complicated behaviors such as interface separation and coalescence. This technique solves a well known problem when treating a semi-implicit system with spectral methods, where spurious interface movements emerge when two interfaces are close to each other. Numerical experiments show that the proposed method is stable, efficient and scales up well into three dimensional problems.     

Attraction ofCarpophilus spp. (Coleoptera: Nitidulidae) to synthetic aggregation pheromones and host-related coattractants in Australian stone fruit orchards: Beetle phenology and pheromone dose studies

Synthetic aggregation pheromones ofCarpophilus hemipterus (L.) andCarpophilus mutilatus Erichson were field tested during a 10-month period in southern New South Wales stone fruit orchards to determineCarpophilus spp. phenology and the effect of two pheromone doses on attraction. Aggregation pheromones synergize the attraction of host volatiles toCarpophilus spp. Four major species,C. hemipterus, C. mutilatus, C. davidsoni Dobson andC. (Urophorus) humeralis (F.), were trapped, with greater numbers of each species inC. hemipterus pheromone/fermenting whole-wheat breaddough-baited traps, than in dough-only-traps. InC. mutilatus pheromone/ fermenting-dough-baited traps, onlyC. mutilatus andC. davidsoni responded in greater numbers than to dough-only traps. Beetles first appeared in traps in late September (early spring) when daily maximum temperatures averaged 17.5C. Trappings reached a peak during October and declined to very low levels in November–December (late spring-early summer). Numbers trapped of all species increased during February–March (late summer–early autumn), presumably due to the presence of abundant host resources (ripening and fallen fruit), and continued at high levels until May (late autumn). An 18-week study demonstrated significantly greater responses byCarpophilus spp. to 5000-g than to 500-g doses of C.hemipterus andC. mutilatus pheromones. Greatest responses to 5000g were recorded forC. hemipterus andC. mutilatus responding to their own pheromones (increased attraction over dough alone of 259x and 21.2x respectively). Implications of the study and the potential for using synthetic aggregation pheromones for managingCarpophilus spp. populations in Australian stone fruit are discussed.     

On measuring network robustness for weighted networks

Knowledge and Information Systems - Network robustness measures how well network structure is strong and healthy when it is under attack, such as vertices joining and leaving. It has been widely...     

Proof Lengths for Equational Completion

We first show that ground term-rewriting systems can be completed in a polynomial number of rewriting steps, if the appropriate data structure for terms is used. We then apply this result to study the lengths of critical pair proofs in non-ground systems, and obtain bounds on the lengths of critical pair proofs in the non-ground case. We show how these bounds depend on the types of inference steps that are allowed in the proofs.