The class of all MTL-algebras is a variety, denoted MTL. Alternatively, an MTL-algebra is a representable, commutative, integral residuated lattice with a least element.

Mannitol (Mtl), not previously reported as an intracellular component of bacteria, although it has been found as an extracellular end product of anaerobic carbohydrate metabolism, accumulated within strains of all 10 staphylococcal species tested after aerobic incubation of washed cell suspensions in phosphate-buffered 1% glucose for 2 h. Phenol extracts of the cells, before and after incubatio...

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages. In this paper, we consider the class of data languages of non-monotonic data words over the natural numbers. We prove that, in this setting, TPTL is strictly more expressive than MTL. To this end, we introduce Ehrenfeucht-Fraı̈ssé...

We study translations from Metric Temporal Logic (MTL) over the natural numbers to Linear Temporal Logic (LTL). In particular, we present two approaches for translating from MTL to LTL which preserve the EXPSPACE complexity of the satisfiability problem for MTL. Our translations, thus, allow us to utilise LTL provers to solve MTL satisfiability problems.

Lung cancer has been the leading cause of death for many decades. With advent artificial intelligence, various machine learning models have proposed lung detection (LCD). Typically, challenges in building an accurate LCD model are small-scale datasets, poor generalizability to detect unseen data, and selection useful source domains prioritization multiple transfer learning. In this paper, a mul...

In this paper we investigate the logic MTL∼ obtained by extending Esteva and Godo’s logic MTL with an involutive negation ∼ not dependent on the t-norm and with the Baaz’s operator ∆. Moreover, we also introduce and study the related predicate calculus MTL∀∼. Algebraic and standard completeness results are shown to hold for both MTL∼ and MTL∀∼.

1 1 General Introduction 3 1.1 Traditional models of the medial temporal lobe 3 1.1.1 The medial temporal lobe memory system 3 1.1.2 Functional segregations within the MTL 5 1.2 A perceptual role of the MTL 8 1.2.1 The effect of MTL lesions on visual discrimination 8 1.2.2 fMRI studies of visual discrimination in the MTL 10 1.2.3 The importance of working memory 11 1.2.4 The role of the fornix ...

The non-Mendelian erythromycin resistance mutation ery-u1 shows bidirectional uniparental inheritance in crosses between homothallic ery-u1 and ery-u1(+) strains of Chlamydomonas monoica . This inheritance pattern supports a general model for homothallism invoking intrastrain differentiation into opposite compatible mating types and, further, suggests that non-Mendelian inheritance is under mat...

In this study, we present long-term results from patients with medial temporal lobe (MTL) epilepsy treated with deep brain stimulation (DBS). Since 2001, 11 patients (8M) with refractory MTL epilepsy underwent MTL DBS. When unilateral DBS failed to decrease seizures by > 90%, a switch to bilateral MTL DBS was proposed. After a mean follow-up of 8.5 years (range: 67-120 months), 6/11 patients ha...

TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show that, surprisingly, the TPTL formula proposed in [4] for witnessing this conjecture can be expressed in MTL. More generally, we show that TPTL formulae using only the F modality can be translated into MTL.