In August 2020, banana plants with characteristic symptoms of bunchy top disease (BBTD) caused by the Banana virus (BBTV) were observed on two different (Musa sp.) mats in backyard gardens Arua City (GPS coordinates: 2o59’36’’N 30o54’40’’E), West Nile region Uganda. The severely stunted short, narrow leaves, chlorotic leaf margins and dark green streaks petioles midribs. affected had a rosette-...

The editorial materials in top medical and public health journals are opportunities for experts to offer thoughts that might influence the trajectory of the field. To date, while some studies have examined gender bias in the publication of editorial materials in medical journals, none have studied public health journals. In this perspective, we studied the gender ratio ...

We extend first-order logic with sequence variables and sequence functions. We describe syntax, semantics and inference system for the extension, define an inductive theory with sequence variables and formulate induction rules. The calculus forms a basis for the top-down systematic theory exploration paradigm.

It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top-down evaluation. There are a number of formalizations of this in the literature. However, the naive formalization is false: As shown by Ross, SLD-resolution can be much more efficient than bottom-up evaluation with magic sets on tail-recursive programs. We show that thi...