Probabilistic Logic Programming (PLP) is gaining popularity due to its many applications in particular in Machine Learning. An important problem in PLP is how to compute the probability of queries. PITA is an algorithm for solving such a problem that exploits tabling, answer subsumption and Binary Decision Diagrams (BDDs). PITA does not impose any restriction on the programs. Other algorithms, ...

Genetic relationships among 62 Vibrio vulnificus strains of different geographical and host origins were analyzed by multilocus enzyme electrophoresis (MLEE), random amplification of polymorphic DNA (RAPD), and sequence analyses of the recA and glnA genes. Out of 15 genetic loci analyzed by MLEE, 11 were polymorphic. Cluster analysis identified 43 distinct electrophoretic types (ETs) separating...

The agranular insular cortex is transitional in location and structure between the ventrally adjacent olfactory allocortex primutivus and dorsally adjacent sensory-motor isocortex. Its ventral anterior division receives major afferent projections from olfactory areas of the limbic system (posterior primary olfactory cortex, posterolateral cortical amygdaloid nucleus and lateral entorhinal corte...

We show that intra-sentential binding constraints can act as global constraints that via transitivity enforce consistency on coreference sets. This yields about 5 % increase in performance. In our model, the probabilities of a baseline classi er for coreference resolution are used as weights in an optimization model. The underlying integer linear programming (ILP) speci cation is straightforwar...

The behaviour of neural progenitors in the intact vertebrate brain and spinal cord is poorly understood, chiefly because of the inaccessibility and poor optical qualities inherent in many model systems. To overcome these problems we have studied the optically superior brain of the zebrafish embryo and have monitored the in vivo behaviour of fluorescently labelled neural progenitors and their da...

BACKGROUND Both symmetric and asymmetric cell divisions are required for the generation of appropriate cell lineages during development. Wild-type Schizosaccharomyces pombe cells divide in a symmetric fashion to produce two similar rod-shaped daughter cells. Formins are proteins with conserved roles in cell polarity, cytokinesis, and the regulation of actin and microtubule cytoskeletons. RESU...