Genetic disequilibria between the αS1-, β-, κ-casein and the β-lactoglobulin loci of the Bavarian Brown and Bavarian Simmental cattle

International audienc

Einfluss genetischer varianten der milchproteine auf milchzusammensetzung

International audienc

A Factorization Algorithm for G-Algebras and Applications

It has been recently discovered by Bell, Heinle and Levandovskyy that a large class of algebras, including the ubiquitous $G$-algebras, are finite factorization domains (FFD for short). Utilizing this result, we contribute an algorithm to find all distinct factorizations of a given element $f \in \mathcal{G}$, where $\mathcal{G}$ is any $G$-algebra, with minor assumptions on the underlying field. Moreover, the property of being an FFD, in combination with the factorization algorithm, enables us to propose an analogous description of the factorized Gr\"obner basis algorithm for $G$-algebras. This algorithm is useful for various applications, e.g. in analysis of solution spaces of systems of linear partial functional equations with polynomial coefficients, coming from $\mathcal{G}$. Additionally, it is possible to include inequality constraints for ideals in the input

The effectiveness of interventions in workplace health promotion as to maintain the working capacity of health care personal

Background: The increasing proportion of elderly people with respective care requirements and within the total population stands against aging personnel and staff reduction in the field of health care where employees are exposed to high load factors. Health promotion interventions may be a possibility to improve work situations and behavior. Methods: A systematic literature search is conducted in 32 databases limited to English and German publications since 1990. Moreover, internet-searches are performed and the reference lists of identified articles are scanned. The selection of literature was done by two reviewers independently according to inclusion and exclusion criteria. Data extraction and tables of evidence are verified by a second expert just like the assessment of risk of bias by means of the Cochrane Collaboration’s tool. Results: We identified eleven intervention studies and two systematic reviews. There were three randomized controlled trials (RCT) and one controlled trial without randomization (CCT) on the improvement of physical health, four RCT and two CCT on the improvement of psychological health and one RCT on both. Study duration ranged from four weeks to two years and the number of participants included from 20 to 345, with a median of 56. Interventions and populations were predominantly heterogeneous. In three studies intervention for the improvement of physical health resulted in less complaints and increased strength and flexibility with statistically significant differences between groups. Regarding psychological health interventions lead to significantly decreased intake of analgesics, better stress management, coping with workload, communication skills and advanced training. Discussion: Taking into consideration the small to very small sample sizes, other methodological flaws like a high potential of bias and poor quality of reporting the validity of the results has to be considered as limited. Due to the heterogeneity of health interventions, study populations with differing job specializations and different lengths of study durations and follow-up periods, the comparison of results would not make sense. Conclusions: Further research is necessary with larger sample sizes, with a sufficient study duration and follow-up, with a lower risk of bias, by considering of relevant quality criteria and with better reporting in publications

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Exotic solutions in string theory

Solutions of classical string theory, correspondent to the world sheets, mapped in Minkowsky space with a fold, are considered. Typical processes for them are creation of strings from vacuum, their recombination and annihilation. These solutions violate positiveness of square of mass and Regge condition. In quantum string theory these solutions correspond to physical states |DDF>+|sp> with non-zero spurious component.Comment: accepted in Il Nuovo Cimento A for publication in 199

Hierarchical Assembly of Nucleic Acid/Coiled-Coil Peptide Nanostructures

DNA and peptides are two of the most commonly used biomolecules for building self-assembling materials, but few examples exist of hybrid nanostructures that contain both components. Here we report the modification of two peptides that comprise a coiled-coil heterodimer pair with unique DNA handles in order to link DNA origami nanostructures bearing complementary strands into micrometer-long one-dimensional arrays. We probed the effect of number of coils on self-assembly and demonstrated the formation of structures through multiple routes: one-pot assembly, formation of dimers and trimers and an alternating copolymer of two different origami structures, and stepwise assembly of purified structures with coiled-coil conjugates. Our results demonstrate the successful merging of two distinct self-assembly modes to create hybrid bionanomaterials expected to have a range of potential applications in the future

On elliptic solutions of the quintic complex one-dimensional Ginzburg-Landau equation

The Conte-Musette method has been modified for the search of only elliptic solutions to systems of differential equations. A key idea of this a priory restriction is to simplify calculations by means of the use of a few Laurent series solutions instead of one and the use of the residue theorem. The application of our approach to the quintic complex one-dimensional Ginzburg-Landau equation (CGLE5) allows to find elliptic solutions in the wave form. We also find restrictions on coefficients, which are necessary conditions for the existence of elliptic solutions for the CGLE5. Using the investigation of the CGLE5 as an example, we demonstrate that to find elliptic solutions the analysis of a system of differential equations is more preferable than the analysis of the equivalent single differential equation.Comment: LaTeX, 21 page