Adhesive categories, and variants such as M,N-adhesive ones, marked a watershed moment for the algebraic approaches to the rewriting of graph-like structures, since they provide an abstract framework where many general results (on e.g. parallelism) …
In recent years, event-driven programming languages, in particular those based on Event Condition Action (ECA) rules, have emerged as a promising paradigm for implementing ubiquitous and pervasive systems. These implementations are mostly …
The goal of any radiological diagnostic process is to gain information about the patient’s status. However, the mathematical notion of information is usually not adopted to measure the performance of a diagnostic test or the agreement among readers …
MTProto 2.0 is the suite of security protocols for instant messaging at the core of the popular Telegram messenger application. In this paper we analyse MTProto 2.0 using ProVerif, a state-of-the-art symbolic security protocol verifier based on the …
The states of a finite-state automaton can be identified with collections of words in the prefix closure of the regular language accepted by . But words can be ordered, and among the many possible orders a very natural one is the co-lexicographic …
Lactobacilli have a fundamental role in the food industry as starters and probiotics, therefore, requiring special attention concerning food safety. In this work, 14 strains selected accordingly to their genetic fingerprint and physiologic …