نتایج جستجو برای: mtl جبر
تعداد نتایج: 3766 فیلتر نتایج به سال:
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...
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...
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 ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید