491 search results - page 51 / 99 » Linear Quantifier Elimination |
ISBI
2002
IEEE
14 years 1 months ago
2002
IEEE
We develop noninvasive MRI techniques that quantify the permeability of the Blood-Brain Barrier (BBB). Using such gadolinium compounds as Gd-DTPA and gadomer17, changes in R1 (R1 ...
MCS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Classifier decision fusion has been shown to act in a manner analogous to the back-projection of Radon transformations when individual classifier feature sets are non o...
IJON
2007
13 years 8 months ago
2007
We investigate a recently proposed method for the analysis of oscillatory patterns in EEG data, with respect to its capacity of further quantifying processes on slower (< 1 Hz)...
BMCBI
2006
13 years 8 months ago
2006
Background: The use of exogenous small interfering RNAs (siRNAs) for gene silencing has quickly become a widespread molecular tool providing a powerful means for gene functional s...
APAL
2002
13 years 8 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...