Reverse transcription quantitative PCR (RT-qPCR) is used for research in gene expression, and it is vital to choose appropriate housekeeping genes (HKGs) as reference genes to obtain correct results. The purpose of this study is to determine stably expressed HKGs in blood of beluga whales (Delphinapterus leucas) that can be the appropriate reference genes in relative quantification in gene expr...

belugais a proof environment that provides a rich 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

Broodstock selection programs are currently underway for sturgeon species. To complement and further these selection programs we need to develop sperm cryopreservation procedures. In the present study, we describe the effects of freezing rate (-10°C, -15°C, -20°C, -30°C and -40°C/min) on gamete quality characteristics (i.e., duration of motility (s), motility percentage (%), ATP content (nmol/1...

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...