Results 41 to 50 of about 18,439 (273)
Conservation Science and Practice, 2022 Endangered Cook Inlet beluga whales' (CIBWs; Delphinapterus leucas) abundance has declined nearly 80% since the 1970s, and continues to decline 2.3% annually with less than 300 whales remaining. Despite the Marine Mammal Protection Act and the Endangered
Mandy Migura, Celeste Bollini
doaj +1 more source
Acoustic behavior of melon-headed whales varies on a diel cycle. [PDF]
, 2015 Many terrestrial and marine species have a diel activity pattern, and their acoustic signaling follows their current behavioral state. Whistles and echolocation clicks on long-term recordings produced by melon-headed whales (Peponocephala electra) at ...
Baumann-Pickering, Simone +4 more
core +2 more sources
Inductive Beluga: Programming Proofs [PDF]
, 2015 beluga is a proof environment which provides a sophisticated infrastructure for implementing formal systems based on the logical framework LF together with a first-order reasoning language for implementing inductive proofs about them following the Curry-Howard isomorphism.
Brigitte Pientka, Andrew Cave
openaire +1 more source
Explicit Substitutions for Contextual Type Theory [PDF]
, 2010 In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory.
Adam Poswolsky +21 more
core +6 more sources
Identification of two novel papillomaviruses in belugas
Frontiers in Microbiology, 2023 IntroductionPapillomaviruses (PVs) can cause hyperplasia in the skin and mucous membranes of humans, mammals, and non-mammalian animals, and are a significant risk factor for cervical and genital cancers.MethodsUsing next-generation sequencing (NGS), we identified two novel strains of papillomavirus, PV-HMU-1 and PV-HMU-2, in swabs taken from belugas ...
Youyou Li +17 more
openaire +3 more sources
Известия ТИНРО, 2014 New eco-ethological data on the Anadyr stock of beluga whales are presented based on 14-year (2000-2013) studies by methods of satellite tracking telemetry, multi-spectral aerial surveys and genetic analysis, as well as traditional and ecosystem-based ...
Denis I. Litovka, Ludmila N. Khitzova
doaj +1 more source
Young Belugas Diversify Adult Beluga (Delphinapterus leucas) Behavior
Animal Behavior and Cognition, 2015 Across the animal kingdom, immature animals are characterized by their playfulness and diversity of behavior, but are their actions enriching to adult conspecifics? The purpose of this study was to assess if beluga (Delphinapterus leucas) calves influenced the behavioral repertoire of adult conspecifics, specifically with regard to play behaviors ...
Heather Hill +4 more
openaire +2 more sources
Arctic ScienceEach community across Inuit Nunaat has specific histories, geography, and cultural norms or practices when it comes to beluga (Delphinapterus leucas) harvesting.
E. Sudlovenick, V. Pokiak, L. Loseto
doaj +1 more source
Hormone profiles from Cook Inlet, Bristol Bay and aquarium beluga whales
Polar Research, 2022 Beluga whales (Delphinapterus leucas) from Cook Inlet (CI), Alaska, are listed as “endangered” because of dramatic declines in abundance, with no indications of population recovery. Serum samples from this population are exceedingly rare.
Shannon Atkinson +4 more
doaj +1 more source
A Case Study on Logical Relations using Contextual Types
, 2015 Proofs by logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize.
Cave, Andrew, Pientka, Brigitte
core +2 more sources