نتایج جستجو برای: mtl جبر
تعداد نتایج: 3766 فیلتر نتایج به سال:
The medial temporal lobe (MTL) has been associated with declarative learning of flexible relational rules and the basal ganglia with implicit learning of stimulus-response mappings. It remains an open question of whether MTL or basal ganglia are involved when learning flexible relational contingencies without awareness. We studied learning of an explicit stimulus-response association with fMRI....
Event-related potentials (ERPs) were recorded from epileptic patients with electrodes chronically implanted in the medial temporal lobe (MTL) and other intracranial locations, and from monkeys with epidural, transcortical, and MTL electrodes. For both humans and monkeys, the eliciting events consisted of trains of auditory or visual stimuli in which a random 10-20% deviated in pitch or pattern ...
Multi-task learning (MTL) can be an effective way to improve the generalization performance of singly learning tasks if the tasks are related, especially when the amount of training data is small. Our previous work applied MTL to the joint training of triphone and trigrapheme acoustic models using deep neural networks (DNNs) for low-resource speech recognition. Significant recognition improveme...
Medial temporal lobe (MTL) function is well established as necessary for memory of facts and events. It is likely that lateral cortical regions critically guide cognitive control processes to tune in high-fidelity details that are most relevant for memory retrieval. Here, convergent results from functional and structural MRI show that retrieval of detailed episodic memory arises from lateral co...
Existing deep multitask learning (MTL) approaches align layers shared between tasks in a parallel ordering. Such an organization significantly constricts the types of shared structure that can be learned. The necessity of parallel ordering for deep MTL is first tested by comparing it with permuted ordering of shared layers. The results indicate that a flexible ordering can enable more effective...
Damage to the medial temporal lobe (MTL) has long been known to impair declarative memory, and recent evidence suggests that it also impairs visual perception. A theory termed the representational-hierarchical account explains such impairments by assuming that MTL stores conjunctive representations of items and events, and that individuals with MTL damage must rely upon representations of simpl...
Early studies of memory-impaired patients with medial temporal lobe (MTL) damage led to the view that the hippocampus and related MTL structures are involved in the formation of long-term memory and that immediate memory and working memory are independent of these structures. This traditional idea has recently been revisited. Impaired performance in patients with MTL lesions on tasks with short...
In the context of real-time systems, Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent and widely used extensions of Linear Temporal Logic. In this paper, we examine the possibility of using MTL and TPTL to specify properties about classes of non-monotonic data languages over the natural numbers. Words in this class may model the behaviour of, e.g., one-cou...
In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL<+∞ +pt ) over sampled traces of Cyber-Physical Systems. We implemented our tool in Matlab as a Simulink block that can be used in a...
We study modal team logic MTL and the dependence-free fragment FO2[∼] of two-variable team logic, which extend modal logic ML and two-variable logic FO2 with team semantics by a Boolean negation ∼. We settle the open question of the complexity of their respective satisfiability problems, and prove that both are complete for a non-elementary complexity class. We also prove that the model checkin...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید