Sciweavers

32 search results - page 7 / 7
» Effective interactive proofs for higher-order imperative pro...
Sort
View
FOAL
2008
ACM
13 years 7 months ago
Incremental analysis of interference among aspects
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
Emilia Katz, Shmuel Katz
BIOCOMP
2007
13 years 7 months ago
Stability Analysis of Genetic Regulatory Network with Additive Noises
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
Yufang Jin