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...

This paper considers broadband signal transmission via high-voltage/broadband over power lines (HV/BPL) channels associated with overhead power transmission. To determine the end-to-end channel characteristics of various overhead HV/BPL multiconductor transmission line (MTL) configurations, the chain scattering matrix or T -Matrix (TM) method is adopted. The overhead HV/BPL transmission channel...

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.

Learning with awareness is believed to require the involvement of the medial temporal lobe (MTL). In this study, the hypothesis tested was that this involvement is best appreciated by the pattern of MTL functional connectivity with other brain areas. In a sensory learning paradigm, human subjects were classified as AWARE or UNAWARE, on the basis of whether they noted that one of two tones predi...