This paper proposes a dead time compensator based on a combination of the linear algebra control methodology (proposed by Scaglia, 2009) and an internal model structure (Smith predictor), to solve elevated dead time system ...

The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean ...

Let U be a regular Banach algebra and let D:U→U∗ be a bounded linear operator, where U∗ is the topological dual space of U. We seek conditions under which the transpose of D becomes a bounded derivation on U∗∗. We focus ...

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms ...