What lies beneath? : The pattern and abundance of the subterranean tuber bank of the invasive liana cat’s claw creeper, Macfadyena unguis-cati (Bignoniaceae)

Cat’s claw creeper, Macfadyena unguis-cati (L.) Gentry (Bignoniaceae) is a major environmental weed of riparian areas, rainforest communities and remnant natural vegetation in coastal Queensland and New South Wales, Australia. In densely infested areas, it smothers standing vegetation, including large trees, and causes canopy collapse. Quantitative data on the ecology of this invasive vine are generally lacking. The present study examines the underground tuber traits of M. unguis-cati and explores their links with aboveground parameters at five infested sites spanning both riparian and inland vegetation. Tubers were abundant in terms of density (~1000 per m2), although small in size and low in level of interconnectivity. M. unguis-cati also exhibits multiple stems per plant. Of all traits screened, the link between stand (stem density) and tuber density was the most significant and yielded a promising bivariate relationship for the purposes of estimation, prediction and management of what lies beneath the soil surface of a given M. unguis-cati infestation site. The study also suggests that new recruitment is primarily from seeds, not from vegetative propagation as previously thought. The results highlight the need for future biological-control efforts to focus on introducing specialist seed- and pod-feeding insects to reduce seed-output.

Variation in leaf morphology of the invasive cat's claw creeper Dolichandra unguis-cati (Bignoniaceae)

The invasive liana cat’s claw creeper Dolichandra unguis-cati (L.) L.G. Lohmann (syn. Macfadyena unguis-cati (L.) A.H. Gentry) exhibits intraspecific variation in leaf morphology, but this is rarely noted in the published literature. The present study documents variation in leaf morphology in two forms of the species that occur in Australia (long pod and short pod). Leaf morphology is compared between the two forms and the position of the shoots (trunk and ground) at the only two sites in which they co-occur. Leaves were categorised on the basis of leaflet number and the presence or absence of tendrils. Simple leaves were produced mainly on shoots growing along the ground and were more abundant in the short-pod form. Long-pod plants were dominated by bifoliate leaves with tendrils. Cat’s claw creeper exhibits considerably wider variation in leaf morphology than recorded previously. Variations in leaf morphology may be linked to differences in the genotype, developmental stage and plastic responses of the plants. Understanding these variations may have implications for taxonomic delimitation and improved management, particularly biological control involving leaf-feeding insects.

A tale of two solvers: Eager and lazy approaches to bit-vectors

The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.