Timed temporal logics encompass a huge diversity of operators, as a result of which, the decidability and expressiveness properties vary considerably. Both pointwise and continuous interpretations of temporal logics can be defined (over finite words), and properties vary based on the interpretation too. The EhrenfeuchtFräıssé games (EF games) for Linear Temporal Logic, as defined by Etessami-Wi...

Regions in the medial temporal lobes (MTL) have long been implicated in the formation of new memories for events, however, it is unclear whether different MTL subregions support different memory processes. Here, we used event-related functional magnetic resonance imaging (fMRI) to examine the degree to which two recognition memory processes-recollection and familiarity-were supported by differe...

Multitask learning has been applied successfully to a range of tasks, mostly morphosyntactic. However, little is known on when MTL works and whether there are data characteristics that help to determine the success of MTL. In this paper we evaluate a range of semantic sequence labeling tasks in a MTL setup. We examine different auxiliary task configurations, amongst which a novel setup, and cor...

In this paper, the use of visualization techniques in teachingand learning programming is revisited. It is demonstrated thatMTL can be used to visualize most of programming aspects.MTL, as a tool for dry-running programs, tracing andcorrecting codes is used in a class experiment. Results showthat MTL can be used in teaching novice programmers toimprove their coding a...

This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the case of generic dense-time behaviors, MTL is proved to be fully decidable over models with bounded variability, if the variability bound is given. In these decidable cases, MTL complexity is shown to match that of sim...

A distinction between two forms of task knowledge transfer, representational and functional, is reviewed followed by a discussion of MTL, a modiied version of the multiple task learning (MTL) neural network method of functional transfer. 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, R k , between the kth tas...

Should the medial temporal lobe (MTL) of primates--which includes allocortical structures such as the hippocampus, neocortical structures such as the parahippocampal cortex, and nuclear structures such as the basolateral amygdala--be considered a single "thing"? According to the prevailing view, here termed the reification theory, the answer is yes. According to this theory, the MTL functions a...

Abundant research finds that in young adults explicit learning (EL) is more dependent on the medial temporal lobes (MTL) whereas implicit learning (IL) is more dependent on the striatum. Using fMRI, we investigated age differences in each task and whether this differentiation is preserved in older adults. Results indicated that, while young recruited the MTL for EL and striatum for IL, both act...

Purpose Drawing on the social-cognitive and motivational literature of leadership, present study examines influence young adults' self-perceptions leadership their self-efficacy (LSE) motivation to lead (MTL) in future career. The authors further examine gender socio-economic status (SES) as important moderators proposed relationships. Design/methodology/approach investigation consists a two-st...

A multi-task learning (MTL) algorithm learns an inductive bias to learn several tasks together. MTL is incredibly pervasive in machine learning: it has natural connections to random effects models [5]; user preference prediction (including collaborative filtering) can be framed as MTL [6]; multi-class classification admits the popular one-vs-all and all-pairs MTL reductions; and MTL admits prov...