TO
1 - 25 of 9
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by com bining the strengths of model checking and a formal testing procedure for parallel machines We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety p... | Formal memory models; Shared memory multiprocessors; Formal testing; Model; Checking | 1998 |
| 2 |
 | Gopalakrishnan, Ganesh | The 'Test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by combining the strengths of model-checking and a formal testing procedure for parallel machines. We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety proper... | Test Model-checking; Formal memory; Verification | 1998 |
| 3 |
 | Gerig, Guido | 3D tensor normalization for improved accuracy in DTI tensor registration methods | This paper presents a method for normalization of diffusion tensor images (DTI) to a xed DTI template, a pre-processing step to improve the performance of full tensor based registration methods. The proposed method maps the individual tensors of the subject image in to the template space based on ma... | 2012-01-01 | |
| 4 |
 | Gerig, Guido | 4D active cut: an interactive tool for pathological anatomy modeling | 4D pathological anatomy modeling is key to understanding complex pathological brain images. It is a challenging problem due to the difficulties in detecting multiple appearing and disappearing lesions across time points and estimating dynamic changes and deformations between them. We propose a novel... | 2014-01-01 | |
| 5 |
 | Gerig, Guido | Brain Changes in Traumatic Brain Injury | Traumatic brain injury (TBI) occurs when an external force traumatically in- jures the brain, typically due to car accidents, accidental falls, and wartime injuries. It is a major cause of death and disability worldwide, especially in children and young adults, and it affects 1.7 million Americans a... | 2012 | |
| 6 |
 | Gerig, Guido | Brain imaging studies: high throughput by automatic processing pipeline | We have collected 711 neonate brain MR images from an ongoing autism study (Autism Centers of Excellence - Infant Brain Imaging Study ACE-IBIS) . Each infant gets 3 scans at 6month, 1year and 2 years of age in order to characterize brain growth trajetories. | 2012 | |
| 7 |
 | Gerig, Guido | Continuous Trajectories from Discrete Anatomical Shapes | The study of time dependent shapes is an emerging field in Computational Anatomy, with potential application to early brain development, aging studies, or the analysis of evolving pathologic structures. As longitudinal data becomes more widely available, the need for computer models of anatomical ev... | 2012 | |
| 8 |
 | Gerig, Guido | Down syndrome: Bridging Genes, Brain and Cognition | Down syndrome subjects show cognitive differences that can be characterized in the white matter integrity of specific brain connectivity pathways. Brain white matter analysis can highlight relationship of genotype and brain connectivity analysis. | 2012 | |
| 9 |
 | Gerig, Guido | Neuro imaging research lab | Current key research topics are segmentation of MRI/DTI of the early developing brain in healthy and high-risk sub- jects, longitudinal analysis of multi-shape complexes to describe growth trajectories of brain structures, building of nor- mative population atlases of volumetric images and embedded ... | 2012 |
1 - 25 of 9