Humans are an increasingly common influence on the evolution of natural populations. Potential arenas of influence include altered evolutionary trajectories within populations and modifications of the process of divergence among populations. We consider this second arena in the medium ground finch (Geospiza fortis) on Santa Cruz Island, Galápagos, Ecuador. Our study compared the G. fortis popul...

We describe the physics behind a peculiar feeding mechanism of a certain class of shorebirds, in which they transport their prey in droplets from their beak tips mouthwards. The subtle interplay between the drop and the beak's tweezering motion allows the birds to defy gravity through driving the drop upwards. This mechanism provides a novel example of dynamic boundary-driven drop motion, and s...

We propose an extension of pure type systems with an algebraic presentation of inductive and co-inductive type families with proper indices. This type theory supports coercions toward from smaller sorts to bigger sorts via explicit type construction, as well as impredicative sorts. Type families in impredicative sorts are constructed with a bracketing operation. The necessary restrictions of pa...

Over thirty years ago anecdotal accounts of the undescribed Larger Pacific Striped Octopus suggested behaviors previously unknown for octopuses. Beak-to-beak mating, dens shared by mating pairs, inking during mating and extended spawning were mentioned in publications, and enticed generations of cephalopod biologists. In 2012-2014 we were able to obtain several live specimens of this species, w...

Theory shows that the presence of behavioural switching between alternative resources can contribute to coexistence when competitors differ in trophic-related traits. In addition, switching can generate disruptive selection on such traits in a low-diversity community, increasing the number of species. Both of these processes should produce communities in which species differ in their values of ...

Duck beak atrophy and dwarfism syndrome (BADS) is a newly emerged disease in China since 2015. In October 2017, an unidentified disease occurred in Cherry Valley ducks, Chongqing municipality, the southwest of China. The affected birds showed short beak and growth retardation clinical signs. The disease caused approximately 20.00% morbidity and serious weight loss due to retarded growth. In ord...