Results 11 to 20 of about 5,120 (227)

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   +2 more sources

Improved Beluga Whale Optimization for RFID Network Planning [PDF]

Jisuanji kexue
With the development of radio frequency identification(RFID) technology,the demand for its application is getting higher and higher,and the research in reader deployment is gradually deepening.In order to solve the RFID reader location planning problem ...
CHEN Yijun, ZHENG Jiali, LI Zhiqian, ZHANG Jiangbo, ZHU Xinghong
doaj   +2 more sources

Inuvialuit traditional ecological knowledge of beluga whale (Delphinapterus leucas) under changing climatic conditions in Tuktoyaktuk, NT

Arctic Science, 2018
This paper documents Inuvialuit traditional ecological knowledge of beluga, including ecology and behavior, hunting techniques, and food preparation under changing climatic conditions in Tuktoyaktuk, NT.
Devin Waugh, Tristan Pearce, Sonja K. Ostertag, Verna Pokiak, Peter Collings, Lisa L. Loseto   +5 more
doaj   +3 more sources

Intraspecific variation of cochlear morphology in bowhead and beluga whales. [PDF]

Anat Rec (Hoboken)
Abstract The bony labyrinth of the petrosal bone, a distinctive feature of mammal skulls, is often identified in micro‐computed tomography imaging to infer species' physiological and ecological traits. When done as part of a comparative study, one individual specimen is normally considered representative of a species, and intraspecific variation is ...
Peacock J, Thewissen JGM.
europepmc   +2 more sources

Imitation of Novel Intransitive Body Actions in a Beluga Whale (Delphinapterus leucas): A “Do as Other Does” Study

, 2023
Cetaceans, including beluga whales, are known for their unique habits and behaviors that they display within their social groups, such as group-specific tactics or vocalizations.
Hernández-Lloreda, María Victoria, María Victoria Hernández-Lloreda (17591835), José Zamorano-Abramson (4042199), José Zamorano-Abramson, Hernández Lloreda, María Victoria, Zamorano-Abramson, José, María Victoria Hernández-Lloreda   +6 more
core   +2 more sources

Beluga whale age classification.

, 2022
Beluga whale age classification.
Steven H. Ferguson (2043523), Jeremy Davies (14093921), Kristin H. Westdal (14093918)   +2 more
core   +1 more source

Aerodynamic Improvements of Buses Inspired by Beluga Whales [PDF]

Journal of Applied Fluid Mechanics, 2023
The innovative bus designs, inspired by the whales, have been developed. The designs are confined to the frontal area of the buses. The new designs are named as the Beluga buses.
S. K. Arabacı, M. Pakdemirli
doaj   +1 more source

Investigating the relationship between the skin microbiome and flame retardant exposure of the endangered St. Lawrence Estuary beluga

Frontiers in Environmental Science, 2022
The endangered beluga (Delphinapterus leucas) population in the St. Lawrence Estuary (SLE) in eastern Canada, the largest estuary in the world, is declining.
Baofeng Jia, Emma Garlock, Michael J. Allison, Robert Michaud, Raymond Lo, Jessica M. Round, Caren C. Helbing, Jonathan Verreault, Fiona S. L. Brinkman   +8 more
doaj   +1 more source

“That’s how we know they’re healthy”: the inclusion of traditional ecological knowledge in beluga health monitoring in the Inuvialuit Settlement Region

Arctic Science, 2018
Belugas (Delphinapterus leucas) from the Eastern Beaufort Sea (EBS) population are harvested annually in the Inuvialuit Settlement Region (ISR) during their seasonal migration past coastal communities and harvest camps.
Sonja K. Ostertag, Lisa L. Loseto, Kathleen Snow, Jennifer Lam, Kristin Hynes, David Victor Gillman   +5 more
doaj   +1 more source

Development of conventional PCR and a Real-Time PCR assay to choose the most suitable method for residual DNA identification of Beluga, Huso huso, in concrete fish ponds [PDF]

Caspian Journal of Environmental Sciences
A unique research was developed to achieve an effective and efficient method for tracing and identifying Beluga sturgeon species, Huso huso using eDNA in concrete fish ponds.
Esmaeil Noghanchi Sabet, Shirin Jamshidi, Ali Bani   +2 more
doaj   +1 more source