let $s$ be an inverse semigroup and let $e$ be its subsemigroup of idempotents. in this paper we define the $n$-th module cohomology group of banach algebras and show that the first module cohomology group $hh^1_{ell^1(e)}(ell^1(s),ell^1(s)^{(n)})$ is zero, for every odd $ninmathbb{n}$. next, for a clifford semigroup $s$ we show that $hh^2_{ell^1(e)}(ell^1(s),ell^1(s)^{(n)})$ is a banach space,...

in the present paper, the concepts of module (uniform) approximate amenability and contractibility of banach algebras that are modules over another banach algebra, are introduced. the general theory is developed and some hereditary properties are given. in analogy with the banach algebraic approximate amenability, it is shown that module approximate amenability and contractibility are the same ...

By extending previous studies of the phenobarbital (PB)-responsive 132-base pair (bp) enhancer sequence in the CYP2B10 gene, we have delimited a 51-bp enhancer element that is fully inducible by PB in mouse primary hepatocytes. Sixteen structurally unrelated phenobarbital-type inducers activated the 51-bp enhancer element in transient transfection assays. The results thus indicate that most PB-...

The concept of (A,B)-invariant subspace is the fundamental concept of the geometric approach of control design. It has been extended by many authors to that of (A,B)-invariant module or semimodule, for the sake of extending the solution of various control problems to the case of systems over rings or semi rings. In this paper is discussed the use of dynamic feedback control laws for systems ove...

In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...

MOTIVATION The reasons for distortions from optimal α-helical geometry are widely unknown, but their influences on structural changes of proteins are significant. Hence, their prediction is a crucial problem in structural bioinformatics. Here, we present a new web server, called SKINK, for string kernel based kink prediction. Extending our previous study, we also annotate the most probable kink...

Extending results for space curves we establish bounds for the cohomology of a non-degenerate curve in projective n-space. As a consequence, for any given n we determine all possible pairs (d, g) where d is the degree and g is the (arithmetic) genus of the curve. Furthermore, we show that curves attaining our bounds always exist and describe properties of these extremal curves. In particular, w...

GIIMP addresses the criticism that in many interactive music systems the machine simply reacts. Interaction is addressed by extending Winkler’s [18] model toward adapting Paine’s [10] conversational model of interaction. Realized using commercial tools, GIIMP implements a machine/human generative improvisation system using human gesture input, machine gesture capture, and a gesture mutation mod...

In this article we exploit the discrete-time dynamics of a single neuron with self-connection to systematically design simple signal filters. Due to hysteresis effects and transient dynamics, this single neuron behaves as an adjustable low-pass filter for specific parameter configurations. Extending this neuro-module by two more recurrent neurons leads to versatile highand band-pass filters. Th...

This short paper describes our plans and progress towards construction of verified ML implementations of HOL Light: the first formally proved soundness result for an LCF-style prover. Building on Harrison’s formalisation of the HOL Light logic and our previous work on proof-producing synthesis of ML, we have produced verified implementations of each of HOL Light’s kernel functions. What remains...