نتایج جستجو برای: mtl جبر

تعداد نتایج: 3766  

Journal: :IEEE Transactions on Knowledge and Data Engineering 2022

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...

Journal: :Neuropsychologia 2016
Nazli Esfahani-Bayerl Carsten Finke Mischa Braun Emrah Düzel Hauke R Heekeren Martin Holtkamp Dietrich Hasper Christian Storm Christoph J Ploner

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...

Journal: :iranian journal of fuzzy systems 2015
m. dyba v. novak

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...

Journal: :Fundam. Inform. 2004
Matthias Baaz Agata Ciabattoni Franco Montagna

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...

2011
Leonard J. Mselle

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...

2007
Jozef Hooman

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...

Journal: :Malaysian journal of nutrition 2010
S Fatimah N D Nik Ismail E S Tee

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...

Journal: :The Journal of neuroscience : the official journal of the Society for Neuroscience 1989
G McCarthy C C Wood P D Williamson D D Spencer

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 ...

Journal: :Information and Computation 2010

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید