Reachability for dynamic parametric processes

In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent. We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.Comment: 31 page

QTLs for oil yield components in an elite oil palm (Elaeis guineensis) cross

Increased modern farming of superior types of the oil palm, Elaeis guineensis Jacq., which has naturally efficient oil biosynthesis, has made it the world’s foremost edible oil crop. Breeding improvement is, however, circumscribed by time and costs associated with the tree’s long reproductive cycle, large size and 10–15 years of field testing. Marker-assisted breeding has considerable potential for improving this crop. Towards this, quantitative trait loci (QTL) linked to oil yield component traits were mapped in a high-yield population. In total, 164 QTLs associated with 21 oil yield component traits were discovered, with cumulative QTL effects increasing in tandem with the number of QTL markers and matching the QT+ alleles for each trait. The QTLs confirmed all traits to be polygenic, with many genes of individual small effects on independent loci, but epistatic interactions are not ruled out. Furthermore, several QTLs maybe pleiotropic as suggested by QTL clustering of inter-related traits on almost all linkage groups. Certain regions of the chromosomes seem richer in the genes affecting a particular yield component trait and likely encompass pleiotropic, epistatic and heterotic effects. A large proportion of the identified additive effects from QTLs may actually arise from genic interactions between loci. Comparisons with previous mapping studies show that most of the QTLs were for similar traits and shared similar marker intervals on the same linkage groups. Practical applications for such QTLs in marker-assisted breeding will require seeking them out in different genetic backgrounds and environments