Scott Sturgeon has claimed to undermine the principal argument for Physicalism, in his words, the view that “actuality is exhausted by physical reality” (Sturgeon 1998, p. 410). In noting that actuality is exhausted by physical reality, the Physicalist is not claiming that all that there is in actuality are those things identified by physics. Rather the thought is that actuality is made up of a...

Sturgeon (order Acipenserformes) provide an ideal taxonomic context for examination of genome duplication events. Multiple levels of ploidy exist among these fish. In a novel microsatellite approach, data from 962 fish from 20 sturgeon species were used for analysis of ploidy in sturgeon. Allele numbers in a sample of individuals were assessed at six microsatellite loci. Species with approximat...

We report the isolation of a novel vitamin K-dependent protein from the calcified cartilage of Adriatic sturgeon (Acipenser nacarii). This 10.2-kDa secreted protein contains 16 gamma-carboxyglutamic acid (Gla) residues in its 74-residue sequence, the highest Gla percent of any known protein, and we have therefore termed it Gla-rich protein (GRP). GRP has a high charge density (36 negative+16 po...

caviar is one of the valuable and most popular fish products all over the world that are obtained from sturgeons. nowadays, the wild resources of these fishes are diminished, therefore, to meet the demand for the product, farming sturgeons has been considered. the chemical composition and the amino acids profiles of the wild and farmed roe obtained from beluga (huso huso) were compared and the ...

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

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

Many hydroelectric dams have been in place for 50 - >100 years, which for most fish species means that enough generations have passed for fragmentation induced divergence to have accumulated. However, for long-lived species such as Lake Sturgeon, Acipenser fulvescens, it should be possible to discriminate between historical population structuring and contemporary gene flow and improve the broad...

Veronaea botryosa is a melanized mold and cause of systemic fungal infections in cultured sturgeon (Acipenser spp.). Mortality in adult female sturgeon caused by this emergent pathogen results in significant economic losses for the caviar industry. Little is known regarding environmental conditions conducive to V. botryosa infection. This study evaluated the effect of temperature on V. botryosa...