Samans et al. (2014) reported the enrichment of nucleosomes in human and bovine spermatozoa at centromere repeats and retrotransposon sequences such as LINE-1 and SINE. We demonstrate here that nucleosomal enrichments at repetitive sequences as reported result from bioinformatic analyses that make redundant use of sequencing reads that map to multiple locations in the genome. To illustrate that...

We revisit quantum institutions as in [2] and solve some problems identified therein. Global, probabilistic and quantum exogenous enrichments of logics are adapted to a new notion of global model. For simplicity sake, all the constructions are presented in the realm of satisfaction systems, which proves to be an appropriate framework for defining the new logics. It also provides suitable constr...

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for chec...

We investigate the effect on Cauchy complete objects of the change of base 2-functor V-Cat → W-Cat induced by a two-sided enrichment V → W. We restrict our study to the case of locally partially ordered bases. The reversibility notion introduced in [Wal82] is extended to two-sided enrichments and Cauchy completion. We show that a reversible left adjoint two-sided enrichment F : V → W between lo...

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in th...

Objective: The recent growth of highly resoluted crystallographic structures, together with the continuous improvements computing power, has established molecular docking as a leading drug design technique. However, problems concerning receptor flexibility and lowered ability software to correctly score occurred interactions in some receptors are still relevant. Methods: Recently, several resea...

Genome-wide assays and screens typically result in large lists of genes or proteins. Enrichments of functional or other biological properties within such lists can provide valuable insights and testable hypotheses. To systematically detect these enrichments can be challenging and time-consuming, because relevant data to compare against query gene lists are spread over many different sources. We...

With increasing pressures to reduce or eliminate the use of antimicrobials for growth promotion purposes in production animals, there is a growing need to better understand the effects elicited by these agents in order to identify alternative approaches that might be used to maintain animal health. Antibiotic usage at subtherapeutic levels is postulated to confer a number of modulations in the ...