Marine mammals being among the top predators in the food web tend to accumulate organic and inorganic contaminants from the environment. The body burden of contaminants in these species could reflect their foods and thus contaminant levels could serve as proxies on the changes of ecosystem. A pilot study was carried out to investigate the possibility of radionuclide leakage at Amchitka using a ...

IVY is a veriied theorem prover for rst-order logic with equality. It is coded in ACL2, and it makes calls to the theorem prover Otter to search for proofs and to the program MACE to search for coun-termodels. Veriications of Otter and MACE are not practical because they are coded in C. Instead, Otter and MACE give detailed proofs and models that are checked by veriied ACL2 programs. In additio...

Sea otter (Enhydra lutris) populations experienced widespread reduction and extirpation due to the fur trade of the 18th and 19th centuries. We examined genetic variation within four microsatellite markers and the mitochondrial DNA (mtDNA) d-loop in one prefur trade population and compared it to five modern populations to determine potential losses in genetic variation. While mtDNA sequence var...

In January 2016, a 20-year-old female oriental small-clawed otter (Aonyx cinereus) from Night Safari in Singapore was euthanized and diagnosed with a thyroid gland carcinoma. Postmortem examination and histology also revealed metastasis to the regional lymph nodes and severe visceral pentastomiasis. Grossly, the lymph nodes were infested, and encapsulation was observed on the visceral serosal s...

Animals play a significant role in many cultures around the world. The southern river otter Lontra provocax (known locally as “huillin”) is endemic to Argentina and Chile, currently danger of extinction. Mapuche communities have always lived closely alongside their animal resources, generating unique bonds with them. objective this work obtain an overview importance given species literature reg...