Genetic diversity of hatchery-bred brown trout (Salmo trutta) compared with the wild population: Potential effects of stocking on the indigenous gene pool of a Norwegian reservoir

This study was conducted in Lake Savalen in southeastern Norway, focusing on genetic diversity and the structure of hatchery-reared brown trout (Salmo trutta) as compared with wild fish in the lake and in two tributaries. The genetic analysis, based on eight simple sequence repeat (SSR) markers, showed that hatchery bred single cohorts and an age structured sample of stocked and recaptured fish were genetically distinctly different from each other and from the wild fish groups. The sample of recaptured fish showed the lowest estimated effective population size Ne = 8.4, and the highest proportion of siblings, despite its origin from five different cohorts of hatchery fish, counting in total 84 parent fish. Single hatchery cohorts, originating from 13–24 parental fish, showed Ne = 10.5–19.9, suggesting that the recaptured fish descended from a narrow group of parents. BayeScan analysis indicated balancing selection at several loci. Genetic indices of wild brown trout collected in the lake in 1991 and 2010 suggested temporal genetic stability, i.e., the genetic differentiation (FST) was non-significant, although the Ne, the number of alleles per locus and the number of private alleles were lower in the 2010 sample. artificial breeding; effective population size; genetic diversity; siblings; bottleneck events; genetic structurepublishedVersio

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Prevalence of Neuropathy and Peripheral Arterial Disease and the Impact of Treatment in People With Screen-Detected Type 2 Diabetes

OBJECTIVE: There is limited evidence on how intensive multifactorial treatment (IT) improves outcomes of diabetes when initiated in the lead time between detection by screening and diagnosis in routine clinical practice. We examined the effects of early detection and IT of type 2 diabetes in primary care on the prevalence of diabetic peripheral neuropathy (DPN) and peripheral arterial disease (PAD) 6 years later in a pragmatic, cluster-randomized parallel group trial. RESEARCH DESIGN AND METHODS: A stepwise screening program in 190 general practices in Denmark was used to identify 1,533 people with type 2 diabetes. General practices were randomized to deliver either IT or routine care (RC) as recommended through national guidelines. Participants were followed for 6 years and measures of DPN and PAD were applied. RESULTS: We found no statistically significant effect of IT on the prevalence of DPN and PAD compared with RC. The prevalence of an ankle brachial index ≤0.9 was 9.1% (95% CI 6.0–12.2) in the RC arm and 7.3% (5.0–9.6) in the IT arm. In participants tested for vibration detection threshold and light touch sensation, the prevalence of a least one abnormal test was 34.8% (26.7–43.0) in the RC arm and 30.1% (24.1–36.1) in the IT arm. CONCLUSIONS: In a population with screen-detected type 2 diabetes, we did not find that screening followed by IT led to a statistically significant difference in the prevalence of DPN and PAD 6 years after diagnosis. However, treatment levels were high in both groups

Hourly resolved cloud modification factors in the ultraviolet

Cloud impacts on the transfer of ultraviolet (UV) radiation through the atmosphere can be assessed by using a cloud modification factor (CMF). CMF, which is based on total global solar irradiation (SOL<sub>CMF</sub>), has proved to be a solid basis to derive CMFs for the UV radiation (UV<sub>CMF</sub>). This is an advantage, because total global irradiance, the basis for SOL<sub>CMF</sub>, is frequently measured and forecasted by numerical weather prediction systems and includes all relevant effects for radiation transmission, such as cloud optical depth, different cloud layers, multiple reflection, as well as the distinct difference as to whether the solar disc is obscured by clouds or not. In the UV range clouds decrease the irradiance to a lesser extent than in the visible and infrared spectral range. Thus the relationship between CMFs for solar radiation and for UV-radiation is not straight forward, but will depend on whether, for example, the solar zenith angle (SZA) and wavelength band or action spectrum in the UV have been taken into consideration. Den Outer et al. provide a UV<sub>CMF</sub> algorithm on a daily basis, which accounts for these influences. It requires as input a daily SOL<sub>CMF</sub> and the SZA at noon. The calculation of SOL<sub>CMF</sub> uses the clear-sky algorithm of the European Solar Radiation Atlas to account for varying turbidity impacts. The algorithm's capability to derive hourly UV<sub>CMFs</sub> based on the SZA at the corresponding hour and its worldwide applicability is validated for erythemal UV using observational data retrieved from the databases of the COST-Action 726 on "Long-term changes and climatology of UV radiation over Europe" and the USDA UV-B Monitoring Program. The clear-sky part of the models has proved to be of good quality. Accumulated to daily doses it forms a tight cluster of points to the highest measured daily sums. All sky model performances for hourly resolution are shown to be comparable in accuracy with the well performing daily models of the COST-726 model intercomparison

The Association of Alcohol and Alcohol Metabolizing Gene Variants with Diabetes and Coronary Heart Disease Risk Factors in a White Population

BACKGROUND: Epidemiological studies have shown a J- or U-shaped relation between alcohol and type 2 diabetes and coronary heart disease (CHD). The underlying mechanisms are not clear. The aim was to examine the association between alcohol intake and diabetes and intermediate CHD risk factors in relation to selected ADH and ALDH gene variants. METHODOLOGY/PRINCIPAL FINDINGS: Cross-sectional study including 6,405 Northern European men and women aged 30-60 years from the general population of Copenhagen, Denmark. Data were collected with self-administered questionnaires, a physical examination, a 2 hour oral glucose tolerance test, and various blood tests. J shaped associations were observed between alcohol and diabetes, metabolic syndrome (MS), systolic and diastolic blood pressure, triglyceride, total cholesterol, and total homocysteine. Positive associations were observed with insulin sensitivity and HDL cholesterol, and a negative association with insulin release. Only a few of the selected ADH and ALDH gene variants was observed to have an effect. The ADH1c (rs1693482) fast metabolizing CC genotype was associated with an increased risk of impaired glucose tolerance (IGT)/diabetes compared to the CT and TT genotypes. Significant interactions were observed between alcohol and ADH1b (rs1229984) with respect to LDL and between alcohol and ALDH2 (rs886205) with respect to IGT/diabetes. CONCLUSIONS/SIGNIFICANCE: The selected ADH and ALDH gene variants had only minor effects, and did not seem to markedly modify the health effects of alcohol drinking. The observed statistical significant associations would not be significant, if corrected for multiple testing

Capturing metal-support interactions in situ during the reduction of a Re promoted Co/γ-Al₂O₃ catalyst

The diffusion of Co2+ cations into the γ-Al2O3 support is probed during the reduction of a Re/Co/γ-Al2O3 catalyst by in situ by synchrotron X-ray powder diffraction resulting in the expansion of its crystal lattice.</p

Temperature dependence of binary and ternary recombination of H3+ ions with electron

We study binary and the recently discovered process of ternary He-assisted recombination of H3+ ions with electrons in a low temperature afterglow plasma. The experiments are carried out over a broad range of pressures and temperatures of an afterglow plasma in a helium buffer gas. Binary and He-assisted ternary recombination are observed and the corresponding recombination rate coefficients are extracted for temperatures from 77 K to 330 K. We describe the observed ternary recombination as a two-step mechanism: First, a rotationally-excited long-lived neutral molecule H3* is formed in electron-H3+ collisions. Second, the H3* molecule collides with a helium atom that leads to the formation of a very long-lived Rydberg state with high orbital momentum. We present calculations of the lifetimes of H3* and of the ternary recombination rate coefficients for para and ortho-H3+. The calculations show a large difference between the ternary recombination rate coefficients of ortho- and para-H3+ at temperatures below 300 K. The measured binary and ternary rate coefficients are in reasonable agreement with the calculated values.Comment: 15 page