677 search results - page 44 / 136 » Domain-Retargetable Reverse Engineering |
SEKE
1993
Springer
15 years 1 months ago
1993
Springer
100
click to vote
BIOCOMP
2008
14 years 11 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
BMCBI
2007
14 years 9 months ago
2007
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...
WCRE
2000
IEEE
15 years 1 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...