نتایج جستجو برای: beluga
تعداد نتایج: 508 فیلتر نتایج به سال:
Proofs with logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe two case studies using the proof environment Beluga: first, we explain the mechanization of the weak normalization proof for the simply-typed lambda-calculus; second, we outline how to mechanize the complet...
to compare the reproductive performance of the wild and cultured stocks of beluga, huso huso males, some spermatological parameters were measured including: sperm motility, sperm density, spermatocrit and also fertilization rate, hatching rate and larval growth and survival rates. the semen samples were sampled from 11 wild spawners and 12 cultured brooders. a half of each semen sample was allo...
The distribution and size of ganglion cells in the retina of three retinal wholemounts of beluga whales (Delphinapterus leucas) were investigated. Cell sizes were from 12 to 48 #m with monomodal size distribution. Ganglion cells concentrated at two spots of high density in the nasal and temporal quadrants, 50 to 60% from the optic disk. Both areas appeared as vertically elongated spots. The mea...
We present a core programming language that supports writing well-founded structurally recursive functions using simultaneous pattern matching on contextual LF objects and contexts. The main technical tool is a coverage checking algorithm that also generates valid recursive calls. To establish consistency, we define a call-by-value small-step semantics and prove that every well-typed program te...
The beluga whale is a cetacean that inhabits arctic and subarctic regions, and is the only living member of the genus Delphinapterus. The genome of the beluga whale was determined using DNA sequencing approaches that employed both microfluidic partitioning library and non-partitioned library construction. The former allowed for the construction of a highly contiguous assembly with a scaffold N5...
Odontocete cetaceans use biosonar clicks to acoustically probe their aquatic environment with an aptitude unmatched by man-made sonar. A cornerstone of this ability is their use of short, broadband pulses produced in the region of the upper nasal passages. Here we provide empirical evidence that a beluga whale (Delphinapterus leucas) uses two signal generators simultaneously when echolocating. ...
For Canadian Arctic indigenous populations, marine mammal (MM) traditional foods (TFs) represent sources of both important nutrients and hazardous environmental contaminants. Food preparation is known to impact the nutrient and environmental contaminant content of processed items, yet the impacts of preparation on indigenous Arctic MM TFs remain poorly characterized. In order to determine how t...
Lactic acid bacteria are characterized as gram-positive, usually non-motile, non-sporulating bacteria that produce lactic acid as a major or sole product of their fermentative metabolism. In this study, the presence of lactobacilli were investigated in the intestines of beluga ( Huso huso) and Persian sturgeon ( Acipenser persicus ), inhabiting Caspian sea. The obtained data showed that various...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید