In the context of “session behaviors” for client/server systems, we propose a weakening of the compliance and sub-behaviour relations where the bias toward the client (whose “requests” must be satisfied) is pushed further with respect to the usual definitions, by admitting that “not needed” output actions from the server side can be skipped by the client. Both compliance and sub-behaviour relat...

‎In this paper we take $mathcal A$ to be the category {bf Pos-S}‎ ‎of $S$-posets‎, ‎for a posemigroup $S$‎, ${mathcal M}_{pd}$ to‎ ‎be the class of partially ordered sequantially-dense‎ ‎monomorphisms and study the categorical properties‎, ‎such as‎ ‎limits and colimits‎, ‎of this class‎. ‎These properties are usually‎ ‎needed to study the homological notions‎, ‎such as injectivity‎, ‎of‎ ‎$S$-...

•We address the problem of projecting data in different representations into a shared space, such that the Euclidean distance in this space provides a meaningful within-view as well as between-view similarity; •We formulate an objective function that expresses the intuitive concept that matching samples are mapped closely together in the output space, whereas non-matching samples are pushed apa...

This paper presents an algebraic attack against Trivium that breaks 625 rounds using only 4096 bits of output in an overall time complexity of 2 Trivium computations. While other attacks can do better in terms of rounds (799), this is a practical attack with a very low data usage (down from 2 output bits) and low computation time (down from 2). From another angle, our attack can be seen as a pr...

in 2001, s. bulman-fleming et al. initiated the study of three flatness properties (weakly kernel flat, principally weakly kernel flat, translation kernel flat) of right acts $a_{s}$ over a monoid $s$ that can be described by means of when the functor $a_{s} otimes -$ preserves pullbacks. in this paper, we extend these results to$s$-posets and present equivalent descriptions of weakly kernel po...