147
Voted
GCB
2000
Springer
15 years 7 months ago
2000
Springer
Conventional phylogenetic tree estimation methods assume that all sites in a DNA multiple alignment have the same evolutionary history. This assumption is violated in data sets fro...
125
Voted
GCB
2000
Springer
15 years 7 months ago
2000
Springer
We describe an algorithm for the automatic discovery of recurring patterns in protein structures. The patterns consist of individual residues having a defined order along the prote...
110
Voted
GCB
2000
Springer
15 years 7 months ago
2000
Springer
163
Voted
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
131
Voted
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...