Residues of hydroxylated (OH-) and methoxylated (MeO-) polybrominated diphenyl ethers (PBDEs) have been previously detected in precipitation, surface waters, wildlife, and humans. We report measured concentrations of OH-PBDEs, MeO-PBDEs, and Br3-Br7 PBDEs in sediments and biota from a Canadian Arctic marine food web. PBDEs exhibited very low trophic magnification factors (TMFs between 0.1-1.6),...

We discuss coverage checking for data that is dependently typed and is defined using higher-order abstract syntax. Unlike previous work on coverage checking that required objects to be closed, we consider open data objects, i.e. objects that may depend on some context. Our work may therefore provide insights into coverage checking in Twelf, and serve as a basis for coverage checking in function...

Over the past three decades, a variety of meta-reasoning systems which support reasoning about higher-order abstract specifications have been designed and developed. In this paper, we survey and compare four meta-reasoning systems, Twelf, Beluga, Abella and Hybrid, using several benchmarks from the open repository ORBI that describes challenge problems for reasoning with higher-order abstract s...

the study was performed to examine the efficacy of ginger (zingiber officinale) extract on growth performance, biochemical and hemato-immunological parameters in juvenile beluga (huso huso). fish were divided into 4 groups before fed diet for 8 weeks with 0.5%, 1% and 1.5% ginger extract and with unsupplemented commercial diet as the control. results showed that there was a significant differen...

The annual return of beluga whales, Delphinapterus leucas, to traditional seasonal locations across the Arctic may involve migratory culture, while the convergence of discrete summering aggregations on common wintering grounds may facilitate outbreeding. Natal philopatry and cultural inheritance, however, has been difficult to assess as earlier studies were of too short a duration, while geneti...

The capture of beluga whales, Delphinapterus leucas, for instrumentation or tagging afforded the opportunity to collect blood, which was analyzed to evaluate the animals’ health and gain information on basic physiological systems. Here, we report on hematological and plasma chemical constituents in samples obtained from 183 belugas, 55 of which were handled during attempts to apply tracking ins...

While gammacoronaviruses mainly comprise infectious bronchitis virus (IBV) and its closely related bird coronaviruses (CoVs), the only mammalian gammacoronavirus was discovered from a white beluga whale (beluga whale CoV [BWCoV] SW1) in 2008. In this study, we discovered a novel gammacoronavirus from fecal samples from three Indo-Pacific bottlenose dolphins (Tursiops aduncus), which we named bo...