Sciweavers

262 search results - page 8 / 53
» Conformal Mapping in Linear Time
Sort
View
143
Voted
BMCBI
2007
143views more  BMCBI 2007»
15 years 3 months ago
An adaptive bin framework search method for a beta-sheet protein homopolymer model
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
Alena Shmygelska, Holger H. Hoos
97
Voted
ISBI
2008
IEEE
15 years 10 months ago
Comparative assessment of different energy mapping methods for generation of 511-keV attenuation map from CT images in PET/CT sy
The use of X-ray CT images for CT-based attenuation correction (CTAC) of PET data results in the decrease of overall scanning time and creates a noise-free attenuation map (μmap)...
Maryam Shirmohammad, Mohammad Reza Ay, Saeed Sarka...
109
Voted
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
15 years 7 months ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
139
Voted
PKC
2005
Springer
114views Cryptology» more  PKC 2005»
15 years 9 months ago
Cryptanalysis of the Tractable Rational Map Cryptosystem
In this paper, we present the cryptanalysis of a public key scheme based on a system of multivariate polynomial equations, the ”tractable rational map” cryptosystem. We show co...
Antoine Joux, Sébastien Kunz-Jacques, Fr&ea...
113
Voted
TCS
1998
15 years 3 months ago
Dynamical Recognizers: Real-Time Language Recognition by Analog Computers
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
Cristopher Moore