1061 search results - page 181 / 213 » Co-authoring with structured annotations |
115
click to vote
IHI
2010
14 years 6 months ago
2010
As the fields of translational research and personalized medicine evolve, the need clinicians and scientists have to exchange experimental results is growing. As different termino...
101
click to vote
TMI
2010
14 years 6 months ago
2010
Abstract--We aim at improving quantitative measures of emphysema in computed tomography (CT) images of the lungs. Current standard measures, such as the relative area of emphysema ...
NAR
2011
14 years 2 months ago
2011
Despite the availability of a large number of protein– protein interactions (PPIs) in several species, researchers are often limited to using very small subsets in a few organis...
NI
2011
14 years 2 months ago
2011
We present a novel probabilistic approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local...
78
Voted
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...