|
|
Creator | Title | Description | Subject | Date |
1 |
|
Couldwell, William T.; Gottfried, Oren N. | Distal ventriculoperitoneal shunt failure secondary to clostridium difficile colitis | Distal ventriculoperitoneal shunt obstruction is typically associated with cerebrospinal fluid (CSF) infection, fluid pseudocysts, bowel obstruction, bowel perforation, or improper shunt placement in the abdomen. We describe a unique etiology for distal shunt obstruction secondary to Clostridium di... | | 2005-01-01 |
2 |
|
Caserta, Michael; Telonidis, Jacqueline Slattery; Lund, Dale A. | Effects of widowhood on disabled older women (the women's health and aging study)* | This study examined the effects of becoming widowed for older women with pre-existing physical disability. Data from three consecutive interviews from the Women's Health and Aging Study (WHAS) were used to compare depression, quality of life, and functional difficulty for widowed and nonwidowed wome... | Women's Health and Aging Study; WHAS; Disabled older women | 2005-01-01 |
3 |
|
Simpson, Jamesina J. | Electrokinetic effect of the loma prieta earthquake calculated by an entire-earth FDTD solution of Maxwell's equations | We report what we believe to be the first three-dimensional computational solution of the full-vector Maxwell's equations for hypothesized pre-seismic electromagnetic phenomena propagated within the entire Earth-ionosphere cavity. Periodic boundary conditions are used in conjunction with a variable-... | | 2005-01-01 |
4 |
|
Regehr, John | Eliminating stack overflow by abstract interpretation | An important correctness criterion for software running on embedded microcontrollers is stack safety: a guarantee that the call stack does not overflow. Our first contribution is a method for statically guaranteeing stack safety of interrupt-driven embedded software using an approach based on contex... | | 2005-01-01 |
5 |
|
Gerig, Guido | Hypothesis testing with nonlinear shape models | We present a method for two-sample hypothesis testing for statistical shape analysis using nonlinear shape models. Our approach uses a true multivariate permutation test that is invariant to the scale of different model parameters and that explicitly accounts for the dependencies between variables. ... | | 2005-01-01 |
6 |
|
Furse, Cynthia M. | Intergrated dual band GSM microstrip monopole using GA and FDTD | The genetic algorithm (GA) has been used extensively by the electromagnetic community [1]. Much of that work has been to develop compact broad and multiband antennas. Microstrip antennas have been optimized with the GA for polarized, dual band operation [2]. Building solid microstrip structures with... | | 2005-01-01 |
7 |
|
Harrison, Reid R. | Micropower circuits for bidirectional wireless telemetry in neural recording applications | State-of-the art neural recording systems require electronics allowing for transcutaneous, bidirectional data transfer. As these circuits will be implanted near the brain, they must be small and low power. We have developed micropower integrated circuits for recovering clock and data signals over ... | Micropower circuits; Neural recording systems; Low-power CMOS circuits, RF telemetry; Transcutaneous data link; Transmitter | 2005-01-01 |
8 |
|
Regehr, John | Proofs as a substrate for tool integration supporting high-confidence embedded software | As the size and complexity of software in safety-critical embedded systems increases, the ability of programmers to deliver these systems in a timely fashion decreases. Specific difficulties are that embedded software must interact with the physical world in real time and that it must make efficient... | | 2005-01-01 |
9 |
|
Regehr, John | Random testing of interrupt-driven software | Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using random interrupt testing-firing random interrupt handlers at random times. Unfortunately, na¨ıve application of random test... | | 2005-01-01 |
10 |
|
Gerig, Guido | Unbiased atlas formation via large deformations metric mapping | The construction of population atlases is a key issue in medical image analysis, and particularly in brain mapping. Large sets of images are mapped into a common coordinate system to study intrapopulation variability and inter-population differences, to provide voxelwise mapping of functional sites,... | Computational anatomy; Brain atlases; Image metric space | 2005-01-01 |
11 |
|
Gerig, Guido | Vessel tortuosity and brain tumor malignancy: a blinded study | Rationale-Malignancy provokes regional changes to vessel shape. Characteristic vessel tortuosity abnormalities appear early during tumor development, affect initially healthy vessels, spread beyond the confines of tumor margins, and do not simply mirror tissue perfusion. The ability to detect and qu... | Computer; Cancer; Blood vessels; Tortuosity; MRA; Brain tumor | 2005-01-01 |