208
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
151
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We construct a model without precipitous ideals but so that for each < 3 there is a normal ideal over 1 with generic ultrapower wellfounded up to the image of .
191
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
The inverse protein folding problem is that of designing an amino acid sequence which has a prescribed native protein fold. This problem arises in drug design where a particular st...
197
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...