Sciweavers

13383 search results - page 2620 / 2677
» Abstractions from proofs
Sort
View
BMCBI
2005
107views more  BMCBI 2005»
13 years 10 months ago
An edit script for taxonomic classifications
Abstract. Taxonomy provides one of the most powerful ways to navigate sequence data bases but currently, users are forced to formulate queries according to a single taxonomic class...
Roderic D. M. Page, Gabriel Valiente
TMC
2008
192views more  TMC 2008»
13 years 10 months ago
A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks
Abstract-- This article proposes a scheme for bandwidth allocation in wireless ad hoc networks. The quality of service (QoS) levels for each end-to-end flow are expressed using a r...
Calin Curescu, Simin Nadjm-Tehrani
TMI
2008
101views more  TMI 2008»
13 years 10 months ago
Robust Linearized Image Reconstruction for Multifrequency EIT of the Breast
Abstract--Electrical impedance tomography (EIT) is a developing imaging modality that is beginning to show promise for detecting and characterizing tumors in the breast. At Renssel...
Gregory Boverman, Tzu-Jen Kao, Rujuta Kulkarni, Bo...
TMI
2008
162views more  TMI 2008»
13 years 10 months ago
Generalized Tensor-Based Morphometry of HIV/AIDS Using Multivariate Statistics on Deformation Tensors
Abstract--This paper investigates the performance of a new multivariate method for tensor-based morphometry (TBM). Statistics on Riemannian manifolds are developed that exploit the...
Natasha Lepore, Caroline A. Brun, Yi-Yu Chou, Ming...
JCM
2007
101views more  JCM 2007»
13 years 10 months ago
Security and Privacy Risks of Embedded RFID in Everyday Things: the e-Passport and Beyond
Abstract— New applications for Radio Frequency Identification (RFID) technology include embedding transponders in everyday things used by individuals, such as library books, pay...
Marci Meingast, Jennifer King, Deirdre K. Mulligan
« Prev « First page 2620 / 2677 Last » Next »