Cytosine methylation is a DNA modification that has great impact on the regulation of gene expression and important implications for the biology and health of several living beings, including humans. Bisulfite conversion followed by next generation …
Every new desktop or laptop come equipped with a multicore, programmable graphic processing unit (GPU). The computation power of this kind of unit is fully exploited by some graphical software but GPU is mostly idle during common PC use. Moreover, …
In this paper we propose a hybrid model of a neural oscillator, obtained by partially discretizing a well-known continuous model. Our construction points out that in this case the standard techniques, based on replacing sigmoids with step functions, …
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot be fully captured by either continuous nor discrete models: they evolve in accordance to continuous laws, but these laws are controlled by a finite …
Methods to predict the structure of a protein often rely on the knowledge of macro-sub-structures and their exact or approximate relative positions in space. The parts connecting these sub-structures are called loops and, in general, they are …
The simulation preorder is widely used both as a behavioral relation in concurrent systems, and as an abstraction tool to reduce the state space in model checking, were memory requirement is clearly a critical issue. Therefore, in this context a …