ASM
1998
ASM
14 years 3 months ago
1998
ASM
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
The abundance of information provided by completely sequenced genomes de nes a starting point for new insights in the multilevel organization of organisms and their evolution. At ...
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
We consider the problem of identifying common three-dimensional substructures between proteins. Our method is based on comparing the shape of the α-carbon backbone structures of ...
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
An important goal in bioinformatics is determining the homology and function of proteins from their sequences. Pairwise sequence similarity algorithms are often employed for this ...
RECOMB
1999
Springer
14 years 3 months ago
1999
Springer
ASM
2000
ASM
14 years 3 months ago
2000
ASM
ASM
2000
ASM
14 years 3 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
ASM
2000
ASM
14 years 3 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...