2

A simple criterion for M,N-adhesivity

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) …

AbU: A calculus for distributed event-driven programming with attribute-based interaction

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 …

An information-oriented paradigm in evaluating accuracy and agreement in radiology

An information-oriented paradigm in evaluating accuracy and agreement in radiology

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 …

Automated verification of Telegram’s MTProto 2.0 in the symbolic model

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 …

Co-lexicographically Ordering Automata and Regular Languages - Part I

Co-lexicographically Ordering Automata and Regular Languages - Part I

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 …

Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains

Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains

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 …

Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE