Sciweavers

2801 search results - page 255 / 561
» On the Adequateness of the Connection Method
Sort
View
CORR
2010
Springer
115views Education» more  CORR 2010»
15 years 6 months ago
The complexity of solving reachability games using value and strategy iteration
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, P...
INFOCOM
2010
IEEE
15 years 6 months ago
Walking in Facebook: A Case Study of Unbiased Sampling of OSNs
With more than 250 million active users, Facebook (FB) is currently one of the most important online social networks. Our goal in this paper is to obtain a representative (unbiased...
Minas Gjoka, Maciej Kurant, Carter T. Butts, Athin...
BMCBI
2006
125views more  BMCBI 2006»
15 years 6 months ago
Automated functional classification of experimental and predicted protein structures
Background: Proteins that are similar in sequence or structure may perform different functions in nature. In such cases, function cannot be inferred from sequence or structural si...
Kai Wang, Ram Samudrala
TMI
2008
101views more  TMI 2008»
15 years 6 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
116views more  TMI 2008»
15 years 6 months ago
Reduced Encoding Diffusion Spectrum Imaging Implemented With a Bi-Gaussian Model
Diffusion spectrum imaging (DSI) can map complex fiber microstructures in tissues by characterizing their 3-D water diffusion spectra. However, a long acquisition time is required ...
Chun-Hung Yeh, Kuan-Hung Cho, Hsuan-Cheng Lin, Jiu...