human interferons (ifns) are key cytokines secreted by immune system. they have several effects such as antiviral and anti tumors activity, activating immune cells and healing of multiple sclerosis. the type ifns present in humans are α, β and υ. ifn β is a polypeptide, normally produced by fibroblasts and seems to be more species-specific than ifn . structural properties of i fns are importan...

Two distinct algorithms are presented to extract (schemata of) resolution proofs from closed tableaux for propositional schemata [4]. The first one handles the most efficient version of the tableau calculus but generates very complex derivations (denoted by rather elaborate rewrite systems). The second one has the advantage that much simpler systems can be obtained, however the considered proof...

The spatially localized bound states of two electrons in the adiabatic two-dimensional HolsteinHubbard model on a square lattice are investigated both numerically and analytically. The interplay between the electron-phonon coupling g, which tends to form bipolarons and the repulsive Hubbard interaction υ ≥ 0, which tends to break them, generates many different ground-states. There are four doma...

Let ξ be a smooth oriented vector bundle, with n-dimensional fibre, over a smooth manifold M . Denote by ξ̂ the fibrewise one-point compactification of ξ. The main purpose of this paper is to define geometrically a canonical element Υ(ξ) in H(ξ̂,Q) (H(ξ̂,Z) ⊗ 12 , to be more precise). The element Υ(ξ) is a secondary characteristic class to the Euler class in the fashion of Chern-Simons. Two proper...

In this proceedings contribution I review recent progress concerning the suppression of bottomonium production in quark-gluon plasma. Making use open quantum system methods applied to potential non-relativistic chromodynamics one can show that dynamics heavy-quarkonium bound states satisfying scale hierarchy 1/a0 » πT ∼ mD E obey a Lindblad equation whose solution provides evolution reduced den...

FETI 205 A conforming FEM for (2.7) results in the discrete optimality system   K1 0 B T 1 0 0 K̃2 −B2 −C2 Υ B1 −B2 0 0 0 −ΥC2 0 Υ     u1 u2 λ μ   =   f1 f2 0 0   (2.8) where K̃2 ≡ K2 +C2 ΥC2. Elimination of the primal variables in (2.8) results in the coarse grid problem [ B1K −1 1 B T 1 +B2K̃ −1 2 B T 2 B2K̃ −1 2 C T 2 Υ ΥC2K̃ −1 2 B T 2 ΥC2K̃ −1 2 C T 2 Υ−Υ ] [ λ μ ] = [ d1 d1 ] ...

The maximally-decoupled method has been considered as a theory to apply an basic idea of an integrability condition to certain multiple parametrized symmetries. The method is regarded as a mathematical tool to describe a symmetry of a collective submanifold in which a canonicity condition makes the collective variables to be an orthogonal coordinate-system. For this aim we adopt a concept of cu...