Sciweavers

2877 search results - page 80 / 576
» Computational Biology
Sort
View
90
Voted
ASM
2010
ASM
16 years 26 days ago
On an Extensible Rule-Based Prover for Event-B
Issam Maamria, Michael Butler, Andrew Edmunds, Abd...
95
Voted
AB
2007
Springer
15 years 10 months ago
On Proving the Absence of Oscillations in Models of Genetic Circuits
François Boulier, Marc Lefranc, Franç...
102
Voted
CIBCB
2006
IEEE
15 years 9 months ago
An Evolutionary Algorithm for the Selection of Geographically Informative Species
Dan Ashlock, Karl Cottenie, Lindsey Carson, Kennet...
87
Voted
ECCB
2005
IEEE
15 years 9 months ago
Data-adaptive test statistics for microarray data
Sach Mukherjee, Stephen J. Roberts, Mark J. van de...
103
Voted
ASM
2005
ASM
15 years 9 months ago
Retrenchment and the Mondex Electronic Purse
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...