Social structure involving long-term associations with relatives should facilitate the learning of complex behaviours such as long-distance migration. In and around Hudson Bay (Canada), three stocks of beluga whales form a panmictic unit, but have different migratory behaviours associated with different summering areas. We analysed genetic variation at 13 microsatellite loci among 1524 belugas,...

Bisimulation proofs play a central role in programming languages in establishing rich properties such as contextual equivalence. They are also challenging to mechanize, since they require a combination of inductive and coinductive reasoning on open terms. In this paper we describe mechanizing the property that similarity in the call-by-name lambda calculus is a pre-congruence using Howe’s metho...

A behavioral response paradigm was used to measure masked underwater hearing thresholds in two bottlenose dolphins and one beluga whale before and after exposure to impulsive underwater sounds with waveforms resembling distant signatures of underwater explosions. An array of piezoelectric transducers was used to generate impulsive sounds with waveforms approximating those predicted from 5 or 50...

Beluga whale ( Delphinapterus leucas (Pallas, 1776)) movements, habitat use, and diving behaviour have been studied using satellite-linked transmitters for decades. The inaccessibility of Arctic subarctic habitats makes these instruments especially valuable beluga research. long-term effects that tags tag attachments on belugas, however, are not well known because resightings occur relatively i...

in this study, the cdna growth hormone (cgh) of the belugasturgeon (husohuso) and russian sturgeon (acipensergueldenstaedtii) were cloned and sequenced, and phylogenetic relationships were examined using nucleic acid and amino acid sequences. the nucleotide sequence of the beluga gh has an open reading frame of 645 nucleotides encoding a protein 214 amino acid residues. the signal peptide cleav...