Attack trees profile the sub-goals of the proponent of an attack. Attack trees have a variety of semantics depending on the kind of question posed about the attack, where questions are captured by an attribute domain. We observe that one of the most general semantics for attack trees, the multiset semantics, coincides with a semantics expressed using linear logic propositions. The semantics can...

Invariance is an attractive principle for specifying image processing algorithms. In this presentation, we promote affine invariance—more precisely, invariance with respect to translation, scaling and rotation. As starting point, we identify the corresponding class of invariant 2D operators: these are combinations of the (fractional) Laplacian and the complex gradient (or Wirtinger operator). W...

we consider the transitive linear maps on the operator algebra $b(x)$for a separable banach space $x$. we show if a bounded linear map is norm transitive on $b(x)$,then it must be hypercyclic with strong operator topology. also we provide a sot-transitivelinear map without being hypercyclic in the strong operator topology.

In this paper, we state some results on product of operators with closed ranges and we solve the operator equation $TXS^*-SX^*T^*= A$ in the general setting of the adjointable operators between Hilbert $C^*$-modules, when $TS = 1$. Furthermore, by using some block operator matrix techniques, we nd explicit solution of the operator equation $TXS^*-SX^*T^*= A$.

as a generalization of the triple i method, the universal triple imethod is investigated from the viewpoints of both fuzzy reasoningand fuzzy controller. the universal triple i principle is putforward, which improves the previous triple i principle. then,unified form of universal triple i method is established based onthe (0,1)-implication or r-implication. moreover, the reversibilityproperty o...

We summarise recent advances in the predicates-as-processes paradigm. In particular, we note the non-commutative logic MAV1 featuring choice and a novel dual pair of nominal quantifiers. For fragments of MAV1, we have shown the soundness of implication with respect to both weak simulation and pomset trace inclusion; hence implication is a branching-time causality-preserving precongruence. The s...

‎in this paper we try to extend geometric concepts in the context of operator valued tensors‎. ‎to this end‎, ‎we aim to replace the field of scalars $ mathbb{r} $ by self-adjoint elements of a commutative $ c^star $-algebra‎, ‎and reach an appropriate generalization of geometrical concepts on manifolds‎. ‎first‎, ‎we put forward the concept of operator-valued tensors and extend semi-riemannian...

This paper is devoted to the research of full implication triple I method under Pythagorean fuzzy environment. We first propose concepts t-norm, t-conorm, residual operator (RPFIO) and biresiduum. The for modus ponens (PFMP) tollens (PFMT) are also established. In addition, properties PFMP PFMT models including robustness, continuity reversibility analyzed. Finally, a practical problem discusse...