Sciweavers

2877 search results - page 80 / 576
» Computational Biology
Sort
View
ASM
2010
ASM
16 years 3 months ago
On an Extensible Rule-Based Prover for Event-B
Issam Maamria, Michael Butler, Andrew Edmunds, Abd...
ECCB
2005
IEEE
15 years 12 months ago
Data-adaptive test statistics for microarray data
Sach Mukherjee, Stephen J. Roberts, Mark J. van de...
ASM
2005
ASM
15 years 12 months ago
Retrenchment and the Mondex Electronic Purse
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...