Sciweavers

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