This is a survey paper on various weak systems of Feferman’s explicit mathematics and their proof theory. The strength of the systems considered in measured in terms of their provably terminating operations typically belonging to some natural classes of computational time or space complexity.

In plants with alternately arranged foliage, such as the coconut palm (Cocos nucifera), leaves are attached to the stem in either an ascending clockwise (left handed [L]) or counterclockwise (right handed [R]) spiral (Fig. 1). Foliar spiral direction (FSD) is not genetically determined in coconut palms: All crosses (R 3 R, R 3L, L 3 R, L 3 L) yield R and L progeny in approximately equal numbers...

The invasion of the western Atlantic Ocean by the Indo-Pacific red lionfish (Pterois volitans) has had devastating consequences for marine ecosystems. Estimating the number of colonizing lionfish can be useful in identifying the introduction pathway and can inform policy decisions aimed at preventing similar invasions. It is well-established that at least ten lionfish were initially introduced....

Hook decoration with pig brain tubulin was used to assess the polarity of microtubules which mainly have 15 protofilaments in the transcellular bundles of late pupal Drosophila wing epidermal cells. The microtubules make end-on contact with cell surfaces. Most microtubules in each bundle exhibited a uniform polarity. They were oriented with their minus ends associated with their hemidesmosomal ...

Toxoplasma gondii invade host cells using a multi-step process that depends on the regulated secretion of adhesions. To identify key primary sequence features of adhesins in this parasite, we analyze the relative frequency of individual amino acids, their dipeptide frequencies, and the polarity, polarizability and Van der Waals volume of the individual amino acids by using cluster analysis. Thi...

Overlapping neuronal networks have been shown to generate a variety of behaviors or motor patterns in invertebrates, but the evidence for this is more circumstantial in vertebrates. The turtle spinal cord can produce multiple forms of hindlimb scratching movements as well as hindlimb withdrawal, but it is still uncertain whether individual spinal cord interneurons contribute to the motor output...

Previous research using a loud acoustic stimulus (LAS) to investigate motor preparation in reaction time (RT) tasks indicates that responses can be triggered well in advance of the presentation of an imperative stimulus (IS). This is intriguing given that high levels of response preparation cannot be maintained for long periods (≈ 200 ms). In the experiments reported here we sought to assess wh...

You need not look far to find a slew of articles, white papers, and research reports describing the vulnerability of voice over IP systems. VoIP systems are vulnerable, but currently, the threat of actual attack to these systems is moderate. New vulnerabilities are being reported at an accelerating rate, such as the one that recently affected Cisco’s Call Manager (http://www.techweb.com/wire/ s...

BACKGROUND Abuse of older people is a serious issue and is associated with an increased risk of morbidity and mortality, and professionals will encounter elderly victims of abuse in all areas of the health care system. An important health determinant is behavioral factors, including coping style, which will impact on how older people manage stress and maintain control in their lives, and thereb...