As it was shown in [7], Monoidal t-norm based logic (MTL) is a logic of left-continuous t-norms. In other words, this means that MTL enjoys the standard completeness theorem. In this paper we present a different proof of this theorem. In fact, we prove even more since we show that MTL is complete w.r.t. the class of standard MTL-algebras with finite congruence lattices or equivalently with fini...

We present a formal framework based on metric temporal logic (MTL) for specifying and verifying real-time systems with a continuous environment. Metric temporal logic is extended to allow speciication of properties about duration of system's states. We prove that every formula of the duration calculus (DC) can be translated into an equivalent MTL-R formula. Expressiveness of DC and MTL-R are co...

TPTL and MTL are two classical timed extensions of LTL. In this paper, we answer a 15 year old conjecture that TPTL is strictly more expressive than MTL. But we show that, surprisingly, the TPTL formula proposed in [AH90] 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.

Multi-task learning (MTL) has led to successes in many applications of machine learning, from natural language processing and speech recognition to computer vision and drug discovery. This article aims to give a general overview of MTL, particularly in deep neural networks. It introduces the two most common methods for MTL in Deep Learning, gives an overview of the literature, and discusses rec...

Introduction Memory permits an organism to bridge the past with the present, providing information about prior encounters with a stimulus or context that can serve to build predictive models for the present. At the neurobiologic level, it is well established that the hippocampus and surrounding medial temporal lobe (MTL) cortices play an essential role in declarative memory (ie, long-term memor...

Mutanlallemand (mtl) and Belly Spot and Deafness (bsd) are two new spontaneous alleles of the Lmx1a gene in mice. Homozygous mutants show head tossing and circling behaviour, indicative of vestibular defects, and they have short tails and white belly patches of variable size. The analysis of auditory brainstem responses (ABR) showed that mtl and bsd homozygotes are deaf, whereas heterozygous an...

OBJECTIVE The study characterized the status of retrograde amnesia (RA) in amnestic mild cognitive impairment (MCI). METHOD We measured RA, anterograde amnesia (AA), brain measures, apolipoprotein-E status (ApoE), and conversion to probable Alzheimer's disease (AD) across 3 years in 15 individuals with MCI. We compared the severity of amnesia and brain atrophy in MCI to a group of patients wi...

Current approaches to monitoring real-time properties suffer either from unbounded space requirements or lack of expressiveness. In this paper, we adapt a separation technique enabling us to rewrite arbitrary MTL formulas into LTL formulas over a set of atoms comprising bounded MTL formulas. As a result, we obtain the first trace-length independent online monitoring procedure for full MTL.

We previously demonstrated that episodic autobiographical memories (EAMs) rely on a network of brain regions comprising the medial temporal lobe (MTL) and distributed neocortical regions regardless of their remoteness. The findings supported the model of memory consolidation, which proposes a permanent role of MTL during EAM retrieval (multiple-trace theory or MTT) rather than a temporary role ...