نتایج جستجو برای: semi quantification
تعداد نتایج: 221856 فیلتر نتایج به سال:
In this paper, we mainly study various notions of regularity for a finite collection {C1, · · · , Cm} of closed convex subsets of a Banach space X and their relations with other fundamental concepts. We show that a proper lower semicontinuous function f on X has a Lipschitz error bound (resp., Υ-error bound) if and only if the pair {epi(f), X×{0}} of sets in the product space X × R is linearly ...
This paper studies the problem of mechanism selection by an informed principal in semi-private environments: the agents’s payoffs and types are independent of the principal’s type, but the principal’s payoff may depend on the agents’ types, and the agents’ types may be interdependent. We show that a solution to the informed-principal problem exists under weak conditions. The essential condition...
TQL is a query language for semi-structured data. TQL binding mechanism is based upon the ambient logic. This binding mechanism is the key feature of TQL, but its implementation is far from obvious, being based on a logic which includes “difficult” operators such as negation, universal quantification, recursion, and new tree-related operators. In [6] an “implementation model” is presented, here...
A set is P-selective (Selman, 1979) if there is a polynomial-time semidecision algorithm for the set-an algorithm that given any two strings decides which is " more likely " to be in the set. This paper establishes a strict hierarchy among the various reductions and equivalences to P-selective sets. Given the large number of important problems that do not appear to have easy solutions, research...
BACKGROUND Intraplaque hemorrhage (IPH) is associated with atherosclerosis progression and subsequent cardiovascular events. We sought to develop a semi-automatic method with an optimized threshold for carotid IPH detection and quantification on MP-RAGE images using matched histology as the gold standard. METHODS Fourteen patients scheduled for carotid endarterectomy underwent 3D MP-RAGE card...
The conceptually simple step from cross-linking/mass spectrometry (CLMS) to quantitative cross-linking/mass spectrometry (QCLMS) is compounded by technical challenges. Currently, quantitative proteomics software is tightly integrated with the protein identification workflow. This prevents automatically quantifying other m/z features in a targeted manner including those associated with cross-lin...
Background In hypertrophic cardiomyopathy (HCM) assessment of late gadolinium enhancement (LGE) is increasingly important as LGE has been demonstrated to be an adverse prognosticator. Manual delineation of LGE after visual assessment is labour-intensive. Automatic quantification is limited by its dependence on signal/noise ratio and varying definition of LGE. Our aim is to assess inter-individu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید