—The Florida Scrub-jay (Aphelocoma coerulescens) is listed as a threatened species primarily because of habitat loss throughout much of its range. The Ocala National Forest in Florida contains one of three main subpopulations that must be stable or increasing before the species can be considered for removal from federal listing. However, little information is available on Florida Scrub-jay repr...

The relationship between individual fitness and antioxidants and oxidative stress has come under increasing scrutiny of late. In particular, associations between oxidative balance indicators and reproductive success in the wild have been inconsistent in the limited prior work on this topic. Studies spanningmultiple seasons and antioxidant types are particularly lacking. Here, we examined associ...

Four experiments examined whether food-storing scrub jays remember when and where they cached different foods. The scrub jays cached and recovered perishable and nonperishable foods in visuospatially distinct and trial-unique cache sites. They rapidly learned to avoid searching for foods that had perished by the time of recovery, while continuing to search for the same foods after shorter reten...

In Phalaris coerulescens, gametophytic self-incompatibility is controlled by two unlinked genes: S and Z. A probable S gene has now been isolated and sequenced. This represents a novel self-incompatibility gene isolated from pollen in the multilocus system of a monocotyledonous plant. The gene is approximately 3 kb long, split by five introns, and exclusively expressed in the mature pollen. The...

Plants whose morphological characteristics correspond to those of Orobanche filicicola Nakai ex Hyun, Lim et Shin as described by (1952) and validated Huyn al. (2003), were in 2012 found for the first time Russia (Far East, Primorye Territory) growing on banks Ussuri River Chuguyevsky District a mixed population with O. amurensis (Beck) Kom. SE flank Sikhote-Alin Mountains (Lazovsky District). ...

Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for establishing whether an inductively defined term, typically a program, satisfies a specification. Examples of verification systems include Hoare logics and type systems. Freefinement first extends the term lan...