Yak is one of the largest native mammalian species at the Himalayas, the highest plateau area in the world with an average elevation of >4,000 m above the sea level. Yak is well adapted to high altitude environment with a set of physiological features for a more efficient blood flow for oxygen delivery under hypobaric hypoxia. Yet, the genetic mechanism underlying its adaptation remains elusive. We conducted a cross-tissue, cross-altitude, and cross-species study to characterize the transcriptomic landscape of domestic yaks. The generated multi-tissue transcriptomic data greatly improved the current yak genome annotation by identifying tens of thousands novel transcripts. We found that among the eight tested tissues (lung, heart, kidney, liver, spleen, muscle, testis, and brain), lung and heart are two key organs showing adaptive transcriptional changes and >90% of the cross-altitude differentially expressed genes in lung display a nonlinear regulation. Pathways related to cell survival and proliferation are enriched, including PI3K-Akt, HIF-1, focal adhesion, and ECM–receptor interaction. These findings, in combination with the comprehensive transcriptome data set, are valuable to understanding the genetic mechanism of hypoxic adaptation in yak.

No abstract

Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala offers implicit parameters which are used pervasively, but which cannot be abstracted over. This paper describes a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code is run. We provide a formalization based on bidirectional type-checking that closely follows the semantics implemented by the Scala compiler. To demonstrate their range of abstraction capabilities, we present several applications that make use of implicit function types. We show how to encode the builder pattern, tagless interpreters, reader and free monads and we assess the performance of the monadic structures presented.

Cellular antioxidant activity (CAA) and inhibition of hepato‐cellular carcinoma (HepG2) proliferation were evaluated for the first time in the pulp and peel of mango cultivars. Comparatively, peel had high flavonoids and tocopherols content and showed significant antioxidant activity. Among all the studied cultivars, the Xiao Tainong peel was predominant with highest fistein, mangiferin and alpha‐tocopherol content and significant cellular antioxidant activity value 2986 ± 380 μmol QE/100 g FW. The HepG2 cells antiproliferation was maximum in the peel of Da Tainong and pulp of Aozhou with lowest EC50 values, 2.35 ± 0.65 (peel) and 185.4 ± 10.9 (pulp) mg mL−1, in a dose‐dependent manner. Negative associations of flavonoids and tocopherol compounds with CAA and antiproliferative activity in mango confirmed synergistic, additive or antagonistic actions of phytochemicals. The current study suggests that mango peel could be used as a value added ingredient or functional food and may contribute considerably to promote consumer health.

No abstract