Now showing items 21-30 of 42
An explicit closed-form solution to the limited-angle discrete tomography problem for finite-support objects
(John Wiley & Sons, Inc., 1998)
An explicit formula is presented for reconstructing a finite-support object defined on a lattice of points and taking on integer values from a finite number of its discrete projections over a limited range of angles. ...
Digital Topography from SAR Interferometry: Determination of and Correction for Vegetation Height : Continuation Proposal of NASA Grant NAGW-4555.
(University of Michigan. Radiation Laboratory, 1998-03)
List-Mode Maximum Likelihood Reconstruction of Compton Scatter Camera Images in Nuclear Medicine
(IEEE, 1998-11-08)
A Maximum Likelihood (ML) image reconstruction technique using list-mode data has been applied to Compton scattering camera imaging. List-mode methods are appealing in Compton camera image reconstruction because the total ...
Development of a Biosphere Model for Arctic Tundra with Linkages to Satellite Radiobrightness
(University of Michigan. Radiation Laboratory, 1998-09)
Implementation of a Provably Secure, Smartcard-based Key Distribution Protocol
(Center for Information Technology Integration, 1998-06-24)
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card to generate and distribute session keys ...
Edge-Preserving Tomographic Reconstruction With Nonlocal Regularization
(IEEE, 1998-10-04)
We propose a new objective function for the image reconstruction problem, where the image is comprised of piecewise smooth regions separated by sharp boundaries. We use alternating minimization to minimize our objective ...
Secondary Students' Dynamic Modeling Processes: Analyzing, Reasoning About, Synthesizing, and Testing Models of Stream Ecosystems
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1998-09)
In this paper, we explore dynamic modeling as an opportunity for students to think about the science content they are learning. We examined the “Cognitive Strategies for Modeling” (CSMs) in which students engaged as they ...
A Formal Study of Distributed Meeting Scheduling
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-05)
Automating routine organizational tasks, such as meeting scheduling, requires a careful balance between the individual (respecting his or her privacy and personal preferences) and the organization (making efficient use of ...
Spatial Resolution and Noise Tradeoffs in Pinhole Imaging System Design: A Density Estimation Approach
(Optical Society of America, 1998-03-16)
This paper analyzes the tradeo between spatial resolution and noise for simple pinhole imaging systems with photon-counting detectors. We consider image recovery algorithms based on density estimation methods using kernels ...
Scalable Test Generators for High-Speed Datapath Circuits
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-02)
This paper explores the design of efficient test sets and test-pattern generators for on-line BIST. The target applications are high-performance, scalable datapath circuits for which fast and complete fault coverage is ...