955 research outputs found
Evaluating performance of the Revised Trauma Score as a triage instrument in the prehospital setting
Word-level Symbolic Trajectory Evaluation
Symbolic trajectory evaluation (STE) is a model checking technique that has
been successfully used to verify industrial designs. Existing implementations
of STE, however, reason at the level of bits, allowing signals to take values
in {0, 1, X}. This limits the amount of abstraction that can be achieved, and
presents inherent limitations to scaling. The main contribution of this paper
is to show how much more abstract lattices can be derived automatically from
RTL descriptions, and how a model checker for the general theory of STE
instantiated with such abstract lattices can be implemented in practice. This
gives us the first practical word-level STE engine, called STEWord. Experiments
on a set of designs similar to those used in industry show that STEWord scales
better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International
Conference on Computer-Aided Verification (CAV) 201
Direct simulation of ion beam induced stressing and amorphization of silicon
Using molecular dynamics (MD) simulation, we investigate the mechanical
response of silicon to high dose ion-irradiation. We employ a realistic and
efficient model to directly simulate ion beam induced amorphization. Structural
properties of the amorphized sample are compared with experimental data and
results of other simulation studies. We find the behavior of the irradiated
material is related to the rate at which it can relax. Depending upon the
ability to deform, we observe either the generation of a high compressive
stress and subsequent expansion of the material, or generation of tensile
stress and densification. We note that statistical material properties, such as
radial distribution functions are not sufficient to differentiate between
different densities of amorphous samples. For any reasonable deformation rate,
we observe an expansion of the target upon amorphization in agreement with
experimental observations. This is in contrast to simulations of quenching
which usually result in denser structures relative to crystalline Si. We
conclude that although there is substantial agreement between experimental
measurements and most simulation results, the amorphous structures being
investigated may have fundamental differences; the difference in density can be
attributed to local defects within the amorphous network. Finally we show that
annealing simulations of our amorphized samples can lead to a reduction of high
energy local defects without a large scale rearrangement of the amorphous
network. This supports the proposal that defects in amorphous silicon are
analogous to those in crystalline silicon.Comment: 13 pages, 12 figure
Dysflective cones: Visual function and cone reflectivity in long-term follow-up of acute bilateral foveolitis.
PURPOSE:Confocal adaptive optics scanning laser ophthalmoscope (AOSLO) images provide a sensitive measure of cone structure. However, the relationship between structural findings of diminished cone reflectivity and visual function is unclear. We used fundus-referenced testing to evaluate visual function in regions of apparent cone loss identified using confocal AOSLO images. METHODS:A patient diagnosed with acute bilateral foveolitis had spectral-domain optical coherence tomography (SD-OCT) (Spectralis HRA + OCT system [Heidelberg Engineering, Vista, CA, USA]) images indicating focal loss of the inner segment-outer segment junction band with an intact, but hyper-reflective, external limiting membrane. Five years after symptom onset, visual acuity had improved from 20/80 to 20/25, but the retinal appearance remained unchanged compared to 3 months after symptoms began. We performed structural assessments using SD-OCT, directional OCT (non-standard use of a prototype on loan from Carl Zeiss Meditec) and AOSLO (custom-built system). We also administered fundus-referenced functional tests in the region of apparent cone loss, including analysis of preferred retinal locus (PRL), AOSLO acuity, and microperimetry with tracking SLO (TSLO) (prototype system). To determine AOSLO-corrected visual acuity, the scanning laser was modulated with a tumbling E consistent with 20/30 visual acuity. Visual sensitivity was assessed in and around the lesion using TSLO microperimetry. Complete eye examination, including standard measures of best-corrected visual acuity, visual field tests, color fundus photos, and fundus auto-fluorescence were also performed. RESULTS:Despite a lack of visible cone profiles in the foveal lesion, fundus-referenced vision testing demonstrated visual function within the lesion consistent with cone function. The PRL was within the lesion of apparent cone loss at the fovea. AOSLO visual acuity tests were abnormal, but measurable: for trials in which the stimulus remained completely within the lesion, the subject got 48% correct, compared to 78% correct when the stimulus was outside the lesion. TSLO microperimetry revealed reduced, but detectible, sensitivity thresholds within the lesion. CONCLUSIONS AND IMPORTANCE:Fundus-referenced visual testing proved useful to identify functional cones despite apparent photoreceptor loss identified using AOSLO and SD-OCT. While AOSLO and SD-OCT appear to be sensitive for the detection of abnormal or absent photoreceptors, changes in photoreceptors that are identified with these imaging tools do not correlate completely with visual function in every patient. Fundus-referenced vision testing is a useful tool to indicate the presence of cones that may be amenable to recovery or response to experimental therapies despite not being visible on confocal AOSLO or SD-OCT images
Prediction of Walking Disability by Disease-Related Factors in Patients with Rheumatoid Arthritis
Objective: To investigate the relationship between diseaserelated factors and walking disability in different phases of rheumatoid arthritis; and to predict future walking disability in rheumatoid arthritis, using disease-related factors assessed 2 years after diagnosis. Methods: A cohort of 848 newly diagnosed patients with rheumatoid arthritis was followed up for a maximum of 8 years. Walking disability and several disease-related and demographic factors were recorded during follow-up. A logistic regression model was used to study associations between walking disability and these factors at different time points. A multilevel logistic regression model for longitudinal data was used to predict walking disability during follow-up from potential predictors at year 2. Results: Global pain and disease activity were consistently related to walking disability at almost every time point. Significant predictors of future walking disability were: walking disability, knee pain, global pain, the passage of time during follow-up, and age. Conclusion: Global pain and disease activity are related to walking disability during the first 8 years of RA. Walking disability, knee pain, and global pain at 2 years follow-up predict walking disability later in the disease. In addition, the risk for walking disability increases during the disease process and with higher age at diagnosis. © 2010 Foundation of Rehabilitation Information
Directional optical coherence tomography provides accurate outer nuclear layer and Henle fiber layer measurements
Purpose: The outer nuclear layer (ONL) contains photoreceptor nuclei, and its thickness is an important biomarker for retinal degenerations. Accurate ONL thickness measurements are obscured in standard optical coherence tomography (OCT) images because of Henle fiber layer (HFL). Improved differentiation of the ONL and HFL boundary is made possible by using directional OCT, a method that purposefully varies the pupil entrance position of the OCT beam.
Methods: Fifty-seven normal eyes were imaged using multiple pupil entry positions with a commercial spectral domain OCT system. Cross-sectional image sets were registered to each other and segmented at the top of HFL, the border of HFL and the ONL and at the external limiting membrane. Thicknesses of the ONL and HFL were measured and analyzed.
Results: The true ONL and HFL thicknesses varied substantially by eccentricity and between individuals. The true macular ONL thickness comprised an average of 54.6% of measurements that also included HFL. The ONL and HFL thicknesses at specific retinal eccentricities were poorly correlated.
Conclusion: Accurate ONL and HFL thickness measurements are made possible by the optical contrast of directional OCT. Distinguishing these individual layers can improve clinical trial endpoints and assessment of disease progression
Knee joint stabilization therapy in patients with osteoarthritis of the knee and knee instability: Subgroup analyses in a randomized, controlled trial
- …