Population genetic structure in Fennoscandian landrace rye (Secale cereale L.) spanning 350 years

Rye (Secale cereale L.) was for centuries the economically most important crop in Fennoscandia (Denmark, Finland, Norway and Sweden). Historical records tell of a range of different types adapted to climate and varying cultivation practices. Genetic analyses of genebank maintained landrace rye have yet failed, with a few exceptions, to detect differentiation between rye types. Concerns have been raised that genebank material does not truly reflect the historical variation in landrace rye. In this study, we have therefore genotyped old and historical samples of rye as well as extant material. Two historical seventeenth century samples were obtained from a grave and a museum archive respectively, and 35 old samples were taken from 100 to 140-year-old seed collections and museum artefacts made of straw. We could confirm the results of previous studies suggesting Fennoscandian landrace rye to be one major meta-population, genetically different from other European rye landraces, but with no support for slash-and-burn types of rye being genetically different from other rye landraces. Only small differences in genetic diversity and allele distribution was found between old landrace rye from museum collections and extant genebank accessions, arguing against a substantial change in the genetic diversity during twentieth century cultivation and several regenerations during genebank maintenance. The genotypes of the old and historical samples suggest that the genetic structure of Fennoscandian landrace rye has been relatively stable for 350years. In contrast, we find that the younger samples and early improved cultivars belong to a different genetic group, more related to landraces from Central Europe.info:eu-repo/semantics/publishedVersio

Context-sensitive multivariant assertion checking in modular programs

We propose a modular, assertion-based system for verification and debugging of large logic programs, together with several interesting models for checking assertions statically in modular programs, each with different characteristics and representing different trade-offs. Our proposal is a modular and multivariant extensión of our previously proposed abstract assertion checking model and we also report on its implementation in the CiaoPP system. In our approach, the specification of the program, given by a set of assertions, may be partial, instead of the complete specification required by raditional verification systems. Also, the system can deal with properties which cannot always be determined at compile-time. As a result, the proposed system needs to work with safe approximations: all assertions proved correct are guaranteed to be valid and all errors actual errors. The use of modular, context-sensitive static analyzers also allows us to introduce a new distinction between assertions checked in a particular context or checked in general

Nuclear Ground State Observables and QCD Scaling in a Refined Relativistic Point Coupling Model

We present results obtained in the calculation of nuclear ground state properties in relativistic Hartree approximation using a Lagrangian whose QCD-scaled coupling constants are all natural (dimensionless and of order 1). Our model consists of four-, six-, and eight-fermion point couplings (contact interactions) together with derivative terms representing, respectively, two-, three-, and four-body forces and the finite ranges of the corresponding mesonic interactions. The coupling constants have been determined in a self-consistent procedure that solves the model equations for representative nuclei simultaneously in a generalized nonlinear least-squares adjustment algorithm. The extracted coupling constants allow us to predict ground state properties of a much larger set of even-even nuclei to good accuracy. The fact that the extracted coupling constants are all natural leads to the conclusion that QCD scaling and chiral symmetry apply to finite nuclei.Comment: 44 pages, 13 figures, 9 tables, REVTEX, accepted for publication in Phys. Rev.

Shell Corrections of Superheavy Nuclei in Self-Consistent Calculations

Shell corrections to the nuclear binding energy as a measure of shell effects in superheavy nuclei are studied within the self-consistent Skyrme-Hartree-Fock and Relativistic Mean-Field theories. Due to the presence of low-lying proton continuum resulting in a free particle gas, special attention is paid to the treatment of single-particle level density. To cure the pathological behavior of shell correction around the particle threshold, the method based on the Green's function approach has been adopted. It is demonstrated that for the vast majority of Skyrme interactions commonly employed in nuclear structure calculations, the strongest shell stabilization appears for Z=124, and 126, and for N=184. On the other hand, in the relativistic approaches the strongest spherical shell effect appears systematically for Z=120 and N=172. This difference has probably its roots in the spin-orbit potential. We have also shown that, in contrast to shell corrections which are fairly independent on the force, macroscopic energies extracted from self-consistent calculations strongly depend on the actual force parametrisation used. That is, the A and Z dependence of mass surface when extrapolating to unknown superheavy nuclei is prone to significant theoretical uncertainties.Comment: 14 pages REVTeX, 8 eps figures, submitted to Phys. Rev.

Clustering of serotypes in a longitudinal study of Streptococcus pneumoniae carriage in three day care centres

<p>Abstract</p> <p>Background</p> <p><it>Streptococcus pneumoniae </it>(pneumococcus) causes a wide range of clinical manifestations that together constitute a major burden of disease worldwide. The main route of pneumococcal transmission is through asymptomatic colonisation of the nasopharynx. Studies of transmission are currently of general interest because of the impact of the new conjugate-polysaccharide vaccines on nasopharyngeal colonisation (carriage). Here we report the first longitudinal study of pneumococcal carriage that records serotype specific exposure to pneumococci simultaneously within the two most important mixing groups, families and day care facilities.</p> <p>Methods</p> <p>We followed attendees (N = 59) with their family members (N = 117) and the employees (N = 37) in three Finnish day care centres for 9 months with monthly sampling of nasopharyngeal carriage. Pneumococci were cultured, identified and serotyped by standard methods.</p> <p>Results</p> <p>Children in day care constitute a core group of pneumococcal carriage: of the 36 acquisitions of carriage with documented exposure to homologous pneumococci, the attendee had been exposed in her/his day care centre in 35 cases and in the family in 9 cases. Day care children introduce pneumococci to the family: 66% of acquisitions of a new serotype in a family were associated with simultaneous or previous carriage of the same type in the child attending day care. Consequently, pneumococcal transmission was found to take place as micro-epidemics driven by the day care centres. Each of the three day care centres was dominated by a serotype of its own, accounting for 100% of the isolates of that serotype among all samples from the day care attendees.</p> <p>Conclusion</p> <p>The transmission of pneumococci is more intense within than across clusters defined by day care facilities. The ensuing micro-epidemic behaviour enhances pneumococcal transmission.</p

Graphitization of amorphous carbon by swift heavy ion impacts : Molecular dynamics simulation

Stable C-C bonds existing in several sp hybridizations place carbon thin films of different structural compositions among the materials most tolerant to radiation damage, for applications in extreme environments. One of such applications, solid state electron stripper foils for heavy-ion accelerators, requires the understanding of the structural changes induced by high-energy ion irradiation. Tolerance of carbon structure to radiation damage, thermal effects and stress waves due to swift heavy ion impacts defines the lifetime and operational efficiency of the foils. In this work, we analyze the consequences of a single swift heavy ion impact on two different amorphous carbon structures by means of molecular dynamic simulations. The structures are constructed by using two different recipes to exclude the correlation of the evolution of sp2-to-sp3 hybridization with the initial condition. Both initial structures contain approximately 60% of sp2-bonded carbon atoms, however, with different degree of clustering of atoms with sp3 hybridization. We simulate the swift heavy ion impact employing an instantaneous inelastic thermal spike model. The analysis of changes in density, bonding content and the number and size of carbon primitive rings reveals graphitization of the material within the ion track, with higher degree of disorder in the core and more order in the outer shell. Simulated track dimensions are comparable to those observed in small angle x-ray scattering measurements of evaporation-deposited amorphous carbon stripper foils irradiated by 1.14 GeV U ions.Peer reviewe

Lifetime measurements in the transitional nucleus Gd-138

n/

Spectroscopic factor and proton formation probability for the d3/2 proton emitter 151mLu

The quenching of the experimental spectroscopic factor for proton emission from the short-lived d3/2 isomeric state in 151mLu was a long-standing problem. In the present work, proton emission from this isomer has been reinvestigated in an experiment at the Accelerator Laboratory of the University of Jyväskylä. The proton-decay energy and half-life of this isomer were measured to be 1295(5) keV and 15.4(8) μs, respectively, in agreement with another recent study. These new experimental data can resolve the discrepancy in the spectroscopic factor calculated using the spherical WKB approximation. Using the R-matrix approach it is found that the proton formation probability indicates no significant hindrance for the proton decay of 151mLu

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

We address the problem of proving the satisfiability of Constrained Horn Clauses (CHCs) with Algebraic Data Types (ADTs), such as lists and trees. We propose a new technique for transforming CHCs with ADTs into CHCs where predicates are defined over basic types, such as integers and booleans, only. Thus, our technique avoids the explicit use of inductive proof rules during satisfiability proofs. The main extension over previous techniques for ADT removal is a new transformation rule, called differential replacement, which allows us to introduce auxiliary predicates corresponding to the lemmas that are often needed when making inductive proofs. We present an algorithm that uses the new rule, together with the traditional folding/unfolding transformation rules, for the automatic removal of ADTs. We prove that if the set of the transformed clauses is satisfiable, then so is the set of the original clauses. By an experimental evaluation, we show that the use of the differential replacement rule significantly improves the effectiveness of ADT removal, and we show that our transformation-based approach is competitive with respect to a well-established technique that extends the CVC4 solver with induction.Comment: 10th International Joint Conference on Automated Reasoning (IJCAR 2020) - version with appendix; added DOI of the final authenticated Springer publication; minor correction