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 ...
Mohammad Mehdi Khalighi, Hamid Soltanian-Zadeh, Ja...
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
Anastassia Ailamaki, Yannis E. Ioannidis, Miron Li...
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...