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

The mesial temporal lobe (MTL) is typically understood as a memory structure in clinical settings, with the sine qua non of MTL damage in epilepsy being memory impairment. Recent models, however, understand memory as one of a number of higher cognitive functions that recruit the MTL through their reliance on more fundamental processes, such as "self-projection" or "association formation". We ex...

The past 30 years of research on human amnesia has yielded important changes in our understanding of the role of the medial temporal lobes (MTL) in memory. On the one hand, this body of evidence has highlighted that not all types of memory are impaired in patients with MTL lesions. On the other hand, this research has made apparent that the role of the MTL extends beyond the domain of long-term...

With a distinction made between two forms of task knowledge transfer, representational and functional, MTL, a modi ed version of the MTL method of functional (parallel) transfer, is introduced. The MTL method employs a separate learning rate, k, for each task output node k. k varies as a function of a measure of relatedness, Rk, between the kth task and the primary task of interest. Results of ...