نتایج جستجو برای: mtl algebra
تعداد نتایج: 71268 فیلتر نتایج به سال:
A network of regions including the medial temporal lobe (MTL) and the striatum are integral to visuomotor associative learning. Here, we evaluated the contributions of the structures of the striatum and the MTL, as well as their interactions during an arbitrary associative learning task. We hypothesized that activity in the striatum would correlate with the rate of learning, while activity in t...
The hippocampus is necessary for the normal formation of enduring declarative memories, but its role in cognitive processes spanning short intervals is less well understood. Within the last decade, several reports have described modest behavioral deficits in medial temporal lobe (MTL)-lesion patients when they perform tasks that do not seem likely to rely on enduring memory. An intriguing but s...
The medial temporal lobe (MTL) plays an important role in memory encoding. The development and maturation of MTL and other brain regions involved in memory encoding are, however, poorly understood. We used functional magnetic resonance imaging to examine activation and effective connectivity of the MTL in children and adolescents during encoding of outdoor visual scenes. Here, we show that MTL ...
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we consider a fragment of MTL, called Safety MTL, capable of expressing properties such as invariance and time-bounded response. Our main result is that the satisfiability problem for Safety MTL is decidable. This is the first positive decidability result for MTL over timed ω-words that d...
Multiple task learning (MTL) neural networks are one of the better documented methods of inductive transfer of task knowledge (Caruana 1997). An MTL network is a feedforward multi-layer network with an output node for each task being learned. The standard back-propagation of error learning algorithm is used to train all tasks in parallel. The sharing of internal representation in the hidden nod...
We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL with timing constraints on modalities, and recently, its model-checking has been proved decidable in several cases. We investigate these decidable fragments of MTL (full MTL when interpreted over finite timed words, and Safety-MTL...
The striatum and connected cortical areas have been implicated in sequence learning (SL) tasks, in which performance increments are gradual and learning typically occurs in the absence of awareness. It has recently been shown that increasing striatal activation during SL may be accompanied by decreasing activation in the medial temporal lobe (MTL) across time, but the specific contribution of t...
The problem of multi-task learning (MTL) is considered for sequential data, such as that typically modeled via a hidden Markov model (HMM). A given task is composed of a set of sequential data, for which an HMM is to be learned, and MTL is employed to learn the multiple task-dependent HMMs jointly, through appropriate sharing of data. The HMM-MTL formulation is implemented in a Bayesian setting...
The selective transfer of task knowledge within the context of artificial neural networks is studied in the MTL learning framework, a modified version of the multiple task learning (MTL) method of functional transfer. MTL is a knowledge based inductive learning system that uses prior task knowledge to adjust its inductive bias. MTL employs a separate learning rate for each task output node. The...
The mating type locus (MTL) of Candida albicans contains the mating type genes and has, therefore, been assumed to play an exclusive role in the mating process. In mating-incompetent a/α cells, two of the mating type genes, MTLa1 and MTLα2, encode components of the a1-α2 corepressor that suppresses mating and switching. But the MTL locus of C. albicans also contains three apparently unrelated "...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید