نتایج جستجو برای: mtl algebra
تعداد نتایج: 71268 فیلتر نتایج به سال:
Mannitol (Mtl) fermentation, with the subsequent production of acid, is a species signature of Staphylococcus aureus, and discriminates it from most other members of the genus. Inactivation of the gene mtlD, encoding Mtl-1-P dehydrogenase was found to markedly reduce survival in the presence of the antimicrobial fatty acid, linoleic acid. We demonstrate that the sugar alcohol has a potentiating...
Multi-Task Learning (MTL) is a learning paradigm in machine and its aim to leverage useful information contained multiple related tasks help improve the generalization performance of all tasks. In this paper, we give survey for MTL from perspective algorithmic modeling, applications theoretical analyses. For definition then classify different algorithms into five categories, including feature a...
The contributions of the hippocampal formation and adjacent regions of the medial temporal lobe (MTL) to memory are still a matter of debate. It is currently unclear, to what extent discrepancies between previous human lesion studies may have been caused by the choice of distinct patient models of MTL dysfunction, as disorders affecting this region differ in selectivity, laterality and mechanis...
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...
This paper revisits visualization as a technique to enhance programming comprehension. It points out that animation, being a machine-driven visualization, is inadequate. Memory Transfer Language (MTL), as a visualization technique which is absolutely programmer-driven is demonstrated and discussed. It is shown that MTL can be plugged into current materials for teaching programming. Register Tra...
A formal framework for specifying and verifying real-time systems with a continuous environment is presented. Metric Temporal Logic (MTL) is extended with a duration concept similar to the one in the Duration Calculus (DC). The resulting logic, called MTL-R , is compared with DC and is shown to be more expressive. Axioms for MTL-R and a sound rule to prove that a timed transition system satisse...
The study was conducted to assess the level of understanding and the ability to extract information from a nutrition information panel (NIP) among women (n = 232, 20-59 years) in the Klang Valley, an urban area in Malaysia. The study involved the currently used format in Malaysia and three other formats, namely (i) based on Guideline Daily Amount (GDA), (ii) Multiple Traffic Light (MTL) and (ii...
Task-dependent field potentials were recorded from implanted electrodes located in the hippocampus and other medial temporal lobe (MTL) structures of epileptic patients undergoing evaluation for possible surgery. In 2-alternative categorization tasks, low-probability auditory, somatic, and visual stimuli elicited potentials with large amplitudes and sharp spatial gradients having the following ...
Investigations of memory in rats and nonhuman primates have demonstrated functional specialization within the medial temporal lobe (MTL), a set of heavily interconnected structures including the hippocampal formation and underlying entorhinal, perirhinal, and parahippocampal cortices. Most studies in humans, however, especially in patients with brain damage, suggest that the human MTL is a unit...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید